Jeongwan Haah

Local stabilizer codes in three dimensions without string logical operators

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 stringlike 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 stringlike logical operator of our code can be deformed to a disjoint union of short segments, each of which is in the stabilizer group. The code has surfacelike logical operators whose partial implementation has unsatisfied stabilizers along its boundary.

Quantum self-correction in the 3D cubic code model.

A big open question in the quantum information theory concerns feasibility of a selfcorrecting 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 Tmem 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 Tmem ≥ L 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∗ ∼ e. We also report a numerical Monte Carlo simulation of the studied memory indicating that our analytic bounds on Tmem 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.

Fracton Topological Order, Generalized Lattice Gauge Theory and Duality

We introduce a generalization of conventional lattice gauge theory to describe fracton topological phases, which are characterized by immobile, pointlike topological excitations, and subextensive 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 tool set for our results. Our work paves the way for identifying possible material realizations of fracton topological phases.

A new kind of topological quantum order: A dimensional hierarchy of quasiparticles built from stationary excitations

We introduce exactly solvable models of interacting (Majorana) fermions in d≥3 spatial dimensions that realize a new kind of fermion topological quantum order, building on a model presented by S. Vijay, T. H. Hsieh, and L. Fu [Phys. Rev. X 5, 041038 (2015)10.1103/PhysRevX.5.041038]. These models have extensive topological ground-state degeneracy and a hierarchy of pointlike, topological excitations that are only free to move within submanifolds 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.

Energy Landscape of 3D Spin Hamiltonians with Topological Order

We explore the 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 stringlike logical operators. We prove that any sequence of local errors mapping a ground state of such a 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 tight up to a constant factor for one particular 3D spin Hamiltonian.

An Invariant of Topologically Ordered States Under Local Unitary Transformations

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.

Commuting Pauli Hamiltonians as Maps between Free Modules

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. 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.

Bifurcation in entanglement renormalization group flow of a gapped spin model

We study entanglement renormalization group transformations for the ground states of a spin model, called cubic code model

Logical-operator tradeoff for local quantum codes

H_A

Localization from Superselection Rules in Translationally Invariant Systems

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