BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Jeongwan Haah appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We introduce a simple construction of boundary conditions for the honeycomb code that uses only pairwise checks and allows parallelogram geometries at the cost of modifying the bulk measurement sequence. We discuss small instances of the code.
Triorthogonal codes are a class of quantum error correcting codes used in magic state distillation protocols. We classify all triorthogonal codes with $n+k \le 38$, where $n$ is the number of physical qubits and $k$ is the number of logical qubits of the code. We find $38$ distinguished triorthogonal subspaces and show that every triorthogonal code with $n+k\le 38$ descends from one of these subspaces through elementary operations such as puncturing and deleting qubits. Specifically, we associate each triorthogonal code with a Reed-Muller polynomial of weight $n+k$, and classify the Reed-Muller polynomials of low weight using the results of Kasami, Tokura, and Azumi and an extensive computerized search. In an appendix independent of the main text, we improve a magic state distillation protocol by reducing the time variance due to stochastic Clifford corrections.
We study locality preserving automorphisms of operator algebras on $D$-dimensional uniform lattices of prime $p$-dimensional qudits (QCA), specializing in those that are translation invariant (TI) and map every prime $p$-dimensional Pauli matrix to a tensor product of Pauli matrices (Clifford). We associate antihermitian forms of unit determinant over Laurent polynomial rings to TI Clifford QCA with lattice boundaries, and prove that the form determines the QCA up to Clifford circuits and shifts (trivial). It follows that every 2D TI Clifford QCA is trivial since the antihermitian form in this case is always trivial. Further, we prove that for any $D$ the fourth power of any TI Clifford QCA is trivial. We present explicit examples of nontrivial TI Clifford QCA for $D=3$ and any odd prime $p$, and show that the Witt group of the finite field $\mathbb F_p$ is a subgroup of the group $\mathfrak C(D = 3, p)$ of all TI Clifford QCA modulo trivial ones. That is, $\mathfrak C(D = 3, p \equiv 1 \mod 4) \supseteq \mathbb Z_2 \times \mathbb Z_2$ and $\mathfrak C(D = 3, p \equiv 3 \mod 4) \supseteq \mathbb Z_4$. The examples are found by disentangling the ground state of a commuting Pauli Hamiltonian which is constructed by coupling layers of prime dimensional toric codes such that an exposed surface has an anomalous topological order that is not realizable by commuting Pauli Hamiltonians strictly in two dimensions. In an appendix independent of the main body of the paper, we revisit a recent theorem of Freedman and Hastings that any two-dimensional QCA, which is not necessarily Clifford or translation invariant, is a constant depth quantum circuit followed by a shift. We give a more direct proof of the theorem without using any ancillas.
Motivated by recent work showing that a quantum error correcting code can be generated by hybrid dynamics of unitaries and measurements, we study the long time behavior of such systems. We demonstrate that even in the "mixed" phase, a maximally mixed initial density matrix is purified on a time scale equal to the Hilbert space dimension (i.e., exponential in system size), albeit with noisy dynamics at intermediate times which we connect to Dyson Brownian motion. In contrast, we show that free fermion systems -- i.e., ones where the unitaries are generated by quadratic Hamiltonians and the measurements are of fermion bilinears -- purify in a time quadratic in the system size. In particular, a volume law phase for the entanglement entropy cannot be sustained in a free fermion system.
We introduce a notion of homogeneous topological order, which is obeyed by most, if not all, known examples of topological order including fracton phases on quantum spins (qudits). The notion is a condition on the ground state subspace, rather than on the Hamiltonian, and demands that given a collection of ball-like regions, any linear transformation on the ground space be realized by an operator that avoids the ball-like regions. We derive a bound on the ground state degeneracy $\mathcal D$ for systems with homogeneous topological order on an arbitrary closed Riemannian manifold of dimension $d$, which reads \[ \log \mathcal D \le c μ(L/a)^{d-2}.\] Here, $L$ is the diameter of the system, $a$ is the lattice spacing, and $c$ is a constant that only depends on the isometry class of the manifold, and $μ$ is a constant that only depends on the density of degrees of freedom. If $d=2$, the constant $c$ is the (demi)genus of the space manifold. This bound is saturated up to constants by known examples.
Magic state distillation uses special codes to suppress errors in input states, which are often tailored to a Clifford-twirled error model. We present detailed measurement sequences for magic state distillation protocols which can suppress arbitrary errors on any part of a protocol, assuming the independence of errors across qubits. Provided with input magic states, our protocol operates on a two-dimensional square grid by measurements of $ZZ$ on horizontal pairs of qubits, $XX$ on vertical pairs, and $Z,X$ on single qubits.
We construct an exactly solvable commuting projector model for a $4+1$ dimensional ${\mathbb Z}_2$ symmetry-protected topological phase (SPT) which is outside the cohomology classification of SPTs. The model is described by a decorated domain wall construction, with "three-fermion" Walker-Wang phases on the domain walls. We describe the anomalous nature of the phase in several ways. One interesting feature is that, in contrast to in-cohomology phases, the effective ${\mathbb Z}_2$ symmetry on a $3+1$ dimensional boundary cannot be described by a quantum circuit and instead is a nontrivial quantum cellular automaton (QCA). A related property is that a codimension-two defect (for example, the termination of a ${\mathbb Z}_2$ domain wall at a trivial boundary) will carry nontrivial chiral central charge $4$ mod $8$. We also construct a gapped symmetric topologically-ordered boundary state for our model, which constitutes an anomalous symmetry enriched topological phase outside of the classification of arXiv:1602.00187, and define a corresponding anomaly indicator.
We prove that on any two-dimensional lattice of qudits of a prime dimension, every translation invariant Pauli stabilizer group with local generators and with code distance being the linear system size, is decomposed by a local Clifford circuit of constant depth into a finite number of copies of the toric code (abelian discrete gauge theory) stabilizer group. This means that under local Clifford circuits the number of toric code copies is the complete invariant of topological Pauli stabilizer codes. Previously, the same conclusion was obtained under the assumption of nonchirality for qubit codes or the Calderbank-Shor-Steane structure for prime qudit codes; we do not assume any of these.
We consider an algorithm to approximate complex-valued periodic functions $f(e^{iθ})$ as a matrix element of a product of $SU(2)$-valued functions, which underlies so-called quantum signal processing. We prove that the algorithm runs in time $\mathcal O(N^3 \mathrm{polylog}(N/ε))$ under the random-access memory model of computation where $N$ is the degree of the polynomial that approximates $f$ with accuracy $ε$; previous efficiency claim assumed a strong arithmetic model of computation and lacked numerical stability analysis.
We consider the group structure of quantum cellular automata (QCA) modulo circuits and show that it is abelian even without assuming the presence of ancillas, at least for most reasonable choices of control space; this is a corollary of a general method of ancilla removal. Further, we show how to define a group of QCA that is well-defined without needing to use families, by showing how to construct a coherent family containing an arbitrary finite QCA; the coherent family consists of QCA on progressively finer systems of qudits where any two members are related by a shallow quantum circuit. This construction applied to translation invariant QCA shows that all translation invariant QCA in three dimensions and all translation invariant Clifford QCA in any dimension are coherent.
We introduce a generalization of conventional lattice gauge theory to describe fracton topological phases, which are characterized by immobile, point-like topological excitations, and sub-extensive topological degeneracy. We demonstrate a duality between fracton topological order and interacting spin systems with symmetries along extensive, lower-dimensional subsystems, which may be used to systematically search for and characterize fracton topological phases. Commutative algebra and elementary algebraic geometry provide an effective mathematical toolset for our results. Our work paves the way for identifying possible material realizations of fracton topological phases.
Topological entanglement entropy has been regarded as a smoking-gun signature of topological order in two dimensions, capturing the total quantum dimension of the topological particle content. An extrapolation method on cylinders has been used frequently to measure the topological entanglement entropy. Here, we show that a class of short-range entangled 2D states, when put on an infinite cylinder of circumference $L$, exhibits the entanglement Rényi entropy of any integer index $α\ge 2$ that obeys $S_α= a L - γ$ where $a, γ> 0 $. Under the extrapolation method, the subleading term $γ$ would be identified as the topological entanglement entropy, which is spurious. A nonzero $γ$ is always present if the 2D state reduces to a certain symmetry-protected topological 1D state, upon disentangling spins that are far from the entanglement cut. The internal symmetry that stabilizes $γ> 0$ is not necessarily a symmetry of the 2D state, but should be present after the disentangling reduction. If the symmetry is absent, $γ$ decays exponentially in $L$ with a characteristic length, termed as a replica correlation length, which can be arbitrarily large compared to the two-point correlation length of the 2D state. We propose a simple numerical procedure to measure the replica correlation length through replica correlation functions. We also calculate the replica correlation functions for representative wave functions of abelian discrete gauge theories and the double semion theory in 2D, to show that they decay abruptly to zero. This supports a conjecture that the replica correlation length being small implies that the subleading term from the extrapolation method determines the total quantum dimension.
We introduce exactly solvable models of interacting (Majorana) fermions in $d \ge 3$ spatial dimensions that realize a new kind of topological quantum order, building on a model presented in ref. [1]. These models have extensive topological ground-state degeneracy and a hierarchy of point-like, topological excitations that are only free to move within sub-manifolds of the lattice. In particular, one of our models has fundamental excitations that are completely stationary. To demonstrate these results, we introduce a powerful polynomial representation of commuting Majorana Hamiltonians. Remarkably, the physical properties of the topologically-ordered state are encoded in an algebraic variety, defined by the common zeros of a set of polynomials over a finite field. This provides a "geometric" framework for the emergence of topological order.
For an anyon model in two spatial dimensions described by a modular tensor category, the topological S-matrix encodes the mutual braiding statistics, the quantum dimensions, and the fusion rules of anyons. It is nontrivial whether one can compute the S-matrix from a single ground state wave function. Here, we define a class of Hamiltonians consisting of local commuting projectors and an associated matrix that is invariant under local unitary transformations. We argue that the invariant is equivalent to the topological S-matrix. The definition does not require degeneracy of the ground state. We prove that the invariant depends on the state only, in the sense that it can be computed by any Hamiltonian in the class of which the state is a ground state. As a corollary, we prove that any local quantum circuit that connects two ground states of quantum double models (discrete gauge theories) with non-isomorphic abelian groups, must have depth that is at least linear in the system's diameter. As a tool for the proof, a manifestly Hamiltonian-independent notion of locally invisible operators is introduced. This gives a sufficient condition for a many-body state not to be generated from a product state by any small depth quantum circuit; this is a many-body entanglement witness.
We study a translation invariant spin model in a three-dimensional regular lattice, called the cubic code model, in the presence of arbitrary extensive perturbations. Below a critical perturbation strength, we show that most states with finite energy are localized; the overwhelming majority of such states have energy concentrated around a finite number of defects, and remain so for a time that is near-exponential in the distance between the defects. This phenomenon is due to an emergent superselection rule and does not require any disorder. An extensive number of local integrals of motion for these finite energy sectors are identified as well. Our analysis extends more generally to systems with immobile topological excitations.
We study entanglement renormalization group transformations for the ground states of a spin model, called cubic code model $H_A$ in three dimensions, in order to understand long-range entanglement structure. The cubic code model has degenerate and locally indistinguishable ground states under periodic boundary conditions. In the entanglement renormalization, one applies local unitary transformations on a state, called disentangling transformations, after which some of the spins are completely disentangled from the rest and then discarded. We find a disentangling unitary to establish equivalence of the ground state of $H_A$ on a lattice of lattice spacing $a$ to the tensor product of ground spaces of two independent Hamiltonians $H_A$ and $H_B$ on lattices of lattice spacing $2a$. We further find a disentangling unitary for the ground space of $H_B$ with the lattice spacing $a$ to show that it decomposes into two copies of itself on the lattice of the lattice spacing $2a$. The disentangling transformations yield a tensor network description for the ground state of the cubic code model. Using exact formulas for the degeneracy as a function of system size, we show that the two Hamiltonians $H_A$ and $H_B$ represent distinct phases of matter.
We study unfrustrated spin Hamiltonians that consist of commuting tensor products of Pauli matrices. Assuming translation-invariance, a family of Hamiltonians that belong to the same phase of matter is described by a map between modules over the translation-group algebra, so homological methods are applicable. In any dimension every point-like charge appears as a vertex of a fractal operator, and can be isolated with energy barrier at most logarithmic in the separation distance. For a topologically ordered system in three dimensions, there must exist a point-like nontrivial charge. If the ground-state degeneracy is upper bounded by a constant independent of the system size, then the topological charges in three dimensions always appear at the end points of string operators. A connection between the ground state degeneracy and the number of points on an algebraic set is discussed. Tools to handle local Clifford unitary transformations are given.
This thesis addresses whether it is possible to build a robust memory device for quantum information. A three-dimensional gapped lattice spin model is found which demonstrates for the first time that a reliable quantum memory at finite temperature is possible, at least to some extent. When quantum information is encoded into a highly entangled ground state of this model and subjected to thermal errors, the errors remain easily correctable for a long time without any active intervention, because a macroscopic energy barrier keeps the errors well localized. As a result, stored quantum information can be retrieved faithfully for a memory time which grows exponentially with the square of the inverse temperature. In contrast, for previously known types of topological quantum storage in three or fewer spatial dimensions the memory time scales exponentially with the inverse temperature, rather than its square. This spin model exhibits a previously unexpected topological quantum order, in which ground states are locally indistinguishable, pointlike excitations are immobile, and the immobility is not affected by small perturbations of the Hamiltonian. The degeneracy of the ground state, though also insensitive to perturbations, is a complicated number-theoretic function of the system size, and the system bifurcates into multiple noninteracting copies of itself under real-space renormalization group transformations. The degeneracy, the excitations, and the renormalization group flow can be analyzed using a framework that exploits the spin model's symmetry and some associated free resolutions of modules over polynomial algebras.
We study the structure of logical operators in local D-dimensional quantum codes, considering both subsystem codes with geometrically local gauge generators and codes defined by geometrically local commuting projectors. We show that if the code distance is d, then any logical operator can be supported on a set of specified geometry containing \tilde d qubits, where \tilde d d^{1/(D-1)} = O(n) and n is the code length. Our results place limitations on partially self-correcting quantum memories, in which at least some logical operators are protected by energy barriers that grow with system size. We also show that for any two-dimensional local commuting projector code there is a nontrivial logical "string" operator supported on a narrow strip, where the operator is only slightly entangling across any cut through the strip.
We propose a new family of error detecting stabilizer codes with an encoding rate 1/3 that permit a transversal implementation of the pi/8-rotation $T$ on all logical qubits. The new codes are used to construct protocols for distilling high-quality `magic' states $T|+>$ by Clifford group gates and Pauli measurements. The distillation overhead has a poly-logarithmic scaling as a function of the output accuracy, where the degree of the polynomial is $\log_2{3}\approx 1.6$. To construct the desired family of codes, we introduce the notion of a triorthogonal matrix --- a binary matrix in which any pair and any triple of rows have even overlap. Any triorthogonal matrix gives rise to a stabilizer code with a transversal $T$-gate on all logical qubits, possibly augmented by Clifford gates. A powerful numerical method for generating triorthogonal matrices is proposed. Our techniques lead to a two-fold overhead reduction for distilling magic states with output accuracy $10^{-12}$ compared with the best previously known protocol.
A big open question in the quantum information theory concerns feasibility of a self-correcting quantum memory. A quantum state recorded in such memory can be stored reliably for a macroscopic time without need for active error correction if the memory is put in contact with a cold enough thermal bath. In this paper we derive a rigorous lower bound on the memory time $T_{mem}$ of the 3D Cubic Code model which was recently conjectured to have a self-correcting behavior. Assuming that dynamics of the memory system can be described by a Markovian master equation of Davies form, we prove that $T_{mem}\ge L^{cβ}$ for some constant $c>0$, where $L$ is the lattice size and $β$ is the inverse temperature of the bath. However, this bound applies only if the lattice size does not exceed certain critical value $L^*\sim e^{β/3}$. We also report a numerical Monte Carlo simulation of the studied memory indicating that our analytic bounds on $T_{mem}$ are tight up to constant coefficients. In order to model the readout step we introduce a new decoding algorithm which might be of independent interest. Our decoder can be implemented efficiently for any topological stabilizer code and has a constant error threshold under random uncorrelated errors.
We suggest concrete models for self-correcting quantum memory by reporting examples of local stabilizer codes in 3D that have no string logical operators. Previously known local stabilizer codes in 3D all have string-like logical operators, which make the codes non-self-correcting. We introduce a notion of "logical string segments" to avoid difficulties in defining one dimensional objects in discrete lattices. We prove that every string-like logical operator of our code can be deformed to a disjoint union of short segments, and each segment is in the stabilizer group. The code has surface-like logical operators whose partial implementation has unsatisfied stabilizers along its boundary.
We explore feasibility of a quantum self-correcting memory based on 3D spin Hamiltonians with topological quantum order in which thermal diffusion of topological defects is suppressed by macroscopic energy barriers. To this end we characterize the energy landscape of stabilizer code Hamiltonians with local bounded-strength interactions which have a topologically ordered ground state but do not have string-like logical operators. We prove that any sequence of local errors mapping a ground state of such Hamiltonian to an orthogonal ground state must cross an energy barrier growing at least as a logarithm of the lattice size. Our bound on the energy barrier is shown to be tight up to a constant factor for one particular 3D spin Hamiltonian.