 NSFPAR ID:
 10357953
 Date Published:
 Journal Name:
 The 1st International Workshop on Network Science for Quantum Communication Networks (NetSciQCom 2022)
 Page Range / eLocation ID:
 1 to 6
 Format(s):
 Medium: X
 Sponsoring Org:
 National Science Foundation
More Like this

Although functional programming languages simplify writing safe parallel programs by helping programmers to avoid data races, they have traditionally delivered poor performance. Recent work improved performance by using a hierarchical memory architecture that allows processors to allocate and reclaim memory independently without any synchronization, solving thus the key performance challenge afflicting functional programs. The approach, however, restricts mutation, or memory effects, so as to ensure "disentanglement", a lowlevel memory property that guarantees independence between different heaps in the hierarchy. This paper proposes techniques for supporting entanglement and for allowing functional programs to use mutation at will. Our techniques manage entanglement by distinguishing between disentangled and entangled objects and shielding disentangled objects from the cost of entanglement management. We present a semantics that formalizes entanglement as a property at the granularity of memory objects, and define several cost metrics to reason about and bound the time and space cost of entanglement. We present an implementation of the techniques by extending the MPL compiler for Parallel ML. The extended compiler supports all features of the Parallel ML language, including unrestricted effects. Our experiments using a variety of benchmarks show that MPL incurs a small time and space overhead compared to sequential runs, scales well, and is competitive with languages such as C++, Go, Java, OCaml. These results show that our techniques can marry the safety benefits of functional programming with performance.more » « less

We present microscopic, multiple Landau level, (frustrationfree and positive semidefinite) parent Hamiltonians whose ground states, realizing different quantum Hall fluids, are partonlike and whose excitations display either Abelian or nonAbelian braiding statistics. We prove ground state energy monotonicity theorems for systems with different particle numbers in multiple Landau levels, demonstrate Sduality in the case of toroidal geometry, and establish complete sets of zero modes of special Hamiltonians stabilizing partonlike states, specifically at filling factor
. The emergent Entangled Pauli Principle (EPP), introduced in [Phys. Rev. B 98, 161118(R) (2018)] and which defines the “DNA” of the quantum Hall fluid, is behind the exact determination of the topological characteristics of the fluid, including charge and braiding statistics of excitations, and effective edge theory descriptions. When the closedshell condition is satisfied, the densest (i.e., the highest density and lowest total angular momentum) zeroenergy mode is a unique parton state. We conjecture that partonlike states generally span the subspace of manybody wave functions with the twobody\nu=2/3 $\nu =2/3$ clustering property within any given number of Landau levels, that is, wave functions withM $M$ thorder coincidence plane zeroes and both holomorphic and antiholomorphic dependence on variables. General arguments are supplemented by rigorous considerations for theM $M$ case of fermions in four Landau levels. For this case, we establish that the zero mode counting can be done by enumerating certain patterns consistent with an underlying EPP. We apply the coherent state approach of [Phys. Rev. X 1, 021015 (2011)] to show that the elementary (localized) bulk excitations are Fibonacci anyons. This demonstrates that the DNA associated with fractional quantum Hall states encodes all universal properties. Specifically, for partonlike states, we establish a link with tensor network structures of finite bond dimension that emerge via root level entanglement.M=3 $M=3$ 
Given a data matrix 𝐷, a submatrix 𝑆 of 𝐷 is an orderpreserving submatrix (OPSM) if there is a permutation of the columns of 𝑆, under which the entry values of each row in 𝑆 are strictly increasing. OPSM mining is widely used in reallife applications such as identifying coexpressed genes and finding customers with similar preference. However, noise is ubiquitous in real data matrices due to variable experimental conditions and measurement errors, which makes conventional OPSM mining algorithms inapplicable. No previous work on OPSM has ever considered uncertain value intervals using the wellestablished possible world semantics. We establish two different definitions of significant OPSMs based on the possible world semantics: (1) expected supportbased and (2) probabilistic frequentnessbased. An optimized dynamic programming approach is proposed to compute the probability that a row supports a particular column permutation, with a closedform formula derived to efficiently handle the special case of uniform value distribution and an accurate cubic spline approximation approach that works well with any uncertain value distributions. To efficiently check the probabilistic frequentness, several effective pruning rules are designed to efficiently prune insignificant OPSMs; two approximation techniques based on the Poisson and Gaussian distributions, respectively, are proposed for further speedup. These techniques are integrated into our two OPSM mining algorithms, based on prefixprojection and Apriori, respectively. We further parallelize our prefixprojectionbased mining algorithm using PrefixFPM, a recently proposed framework for parallel frequent pattern mining, and we achieve a good speedup with the number of CPU cores. Extensive experiments on real microarray data demonstrate that the OPSMs found by our algorithms have a much higher quality than those found by existing approaches.more » « less

Recent constructions of quantum lowdensity paritycheck (QLDPC) codes provide optimal scaling of the number of logical qubits and the minimum distance in terms of the code length, thereby opening the door to faulttolerant quantum systems with minimal resource overhead. However, the hardware path from nearestneighborconnectionbased topological codes to longrangeinteractiondemanding QLDPC codes is likely a challenging one. Given the practical difficulty in building a monolithic architecture for quantum systems, such as computers, based on optimal QLDPC codes, it is worth considering a distributed implementation of such codes over a network of interconnected mediumsized quantum processors. In such a setting, all syndrome measurements and logical operations must be performed through the use of highfidelity shared entangled states between the processing nodes. Since probabilistic manyto1 distillation schemes for purifying entanglement are inefficient, we investigate quantum error correction based entanglement purification in this work. Specifically, we employ QLDPC codes to distill GHZ states, as the resulting highfidelity logical GHZ states can interact directly with the code used to perform distributed quantum computing (DQC), e.g. for faulttolerant Steane syndrome extraction. This protocol is applicable beyond the application of DQC since entanglement distribution and purification is a quintessential task of any quantum network. We use the minsum algorithm (MSA) based iterative decoder with a sequential schedule for distilling$3$qubit GHZ states using a rate$0.118$family of lifted product QLDPC codes and obtain an input fidelity threshold of$\approx 0.7974$under i.i.d. singlequbit depolarizing noise. This represents the best threshold for a yield of$0.118$for any GHZ purification protocol. Our results apply to larger size GHZ states as well, where we extend our technical result about a measurement property of$3$qubit GHZ states to construct a scalable GHZ purification protocol.

null (Ed.)A bstract We derive the holographic entanglement entropy functional for a generic gravitational theory whose action contains terms up to cubic order in the Riemann tensor, and in any dimension. This is the simplest case for which the socalled splitting problem manifests itself, and we explicitly show that the two common splittings present in the literature — minimal and nonminimal — produce different functionals. We apply our results to the particular examples of a boundary disk and a boundary strip in a state dual to 4 dimensional Poincaré AdS in Einsteinian Cubic Gravity, obtaining the bulk entanglement surface for both functionals and finding that causal wedge inclusion is respected for both splittings and a wide range of values of the cubic coupling.more » « less