-
Tensor networks for non-invertible symmetries in 3+1d and beyond
Authors:
Pranay Gorantla,
Shu-Heng Shao,
Nathanan Tantivasadakarn
Abstract:
Tensor networks provide a natural language for non-invertible symmetries in general Hamiltonian lattice models. We use ZX-diagrams, which are tensor network presentations of quantum circuits, to define a non-invertible operator implementing the Wegner duality in 3+1d lattice $\mathbb{Z}_2$ gauge theory. The non-invertible algebra, which mixes with lattice translations, can be efficiently computed…
▽ More
Tensor networks provide a natural language for non-invertible symmetries in general Hamiltonian lattice models. We use ZX-diagrams, which are tensor network presentations of quantum circuits, to define a non-invertible operator implementing the Wegner duality in 3+1d lattice $\mathbb{Z}_2$ gauge theory. The non-invertible algebra, which mixes with lattice translations, can be efficiently computed using ZX-calculus. We further deform the $\mathbb{Z}_2$ gauge theory while preserving the duality and find a model with nine exactly degenerate ground states on a torus, consistent with the Lieb-Schultz-Mattis-type constraint imposed by the symmetry. Finally, we provide a ZX-diagram presentation of the non-invertible duality operators (including non-invertible parity/reflection symmetries) of generalized Ising models based on graphs, encompassing the 1+1d Ising model, the three-spin Ising model, the Ashkin-Teller model, and the 2+1d plaquette Ising model. The mixing (or lack thereof) with spatial symmetries is understood from a unifying perspective based on graph theory.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
Non-invertible symmetry-protected topological order in a group-based cluster state
Authors:
Christopher Fechisin,
Nathanan Tantivasadakarn,
Victor V. Albert
Abstract:
Despite growing interest in beyond-group symmetries in quantum condensed matter systems, there are relatively few microscopic lattice models explicitly realizing these symmetries, and many phenomena have yet to be studied at the microscopic level. We introduce a one-dimensional stabilizer Hamiltonian composed of group-based Pauli operators whose ground state is a $G\times \text{Rep}(G)$-symmetric…
▽ More
Despite growing interest in beyond-group symmetries in quantum condensed matter systems, there are relatively few microscopic lattice models explicitly realizing these symmetries, and many phenomena have yet to be studied at the microscopic level. We introduce a one-dimensional stabilizer Hamiltonian composed of group-based Pauli operators whose ground state is a $G\times \text{Rep}(G)$-symmetric state: the $G \textit{ cluster state}$ introduced in Brell, New Journal of Physics 17, 023029 (2015) [at http://doi.org/10.1088/1367-2630/17/2/023029]. We show that this state lies in a symmetry-protected topological (SPT) phase protected by $G\times \text{Rep}(G)$ symmetry, distinct from the symmetric product state by a duality argument. We identify several signatures of SPT order, namely protected edge modes, string order parameters, and topological response. We discuss how $G$ cluster states may be used as a universal resource for measurement-based quantum computation, explicitly working out the case where $G$ is a semidirect product of abelian groups.
△ Less
Submitted 12 June, 2024; v1 submitted 14 December, 2023;
originally announced December 2023.
-
Fracton models from product codes
Authors:
Yi Tan,
Brenden Roberts,
Nathanan Tantivasadakarn,
Beni Yoshida,
Norman Y. Yao
Abstract:
We explore a deep connection between fracton order and product codes. In particular, we propose and analyze conditions on classical seed codes which lead to fracton order in the resulting quantum product codes. Depending on the properties of the input codes, product codes can realize either Type-I or Type-II fracton models, in both nonlocal and local constructions. For the nonlocal case, we show t…
▽ More
We explore a deep connection between fracton order and product codes. In particular, we propose and analyze conditions on classical seed codes which lead to fracton order in the resulting quantum product codes. Depending on the properties of the input codes, product codes can realize either Type-I or Type-II fracton models, in both nonlocal and local constructions. For the nonlocal case, we show that a recently proposed model of lineons on an irregular graph can be obtained as a hypergraph product code. Interestingly, constrained mobility in this model arises only from glassiness associated with the graph. For the local case, we introduce a novel type of classical LDPC code defined on a planar aperiodic tiling. By considering the specific example of the pinwheel tiling, we demonstrate the systematic construction of local Type-I and Type-II fracton models as product codes. Our work establishes product codes as a natural setting for exploring fracton order.
△ Less
Submitted 9 April, 2024; v1 submitted 13 December, 2023;
originally announced December 2023.
-
A holographic view of topological stabilizer codes
Authors:
Thomas Schuster,
Nathanan Tantivasadakarn,
Ashvin Vishwanath,
Norman Y. Yao
Abstract:
The bulk-boundary correspondence is a hallmark feature of topological phases of matter. Nonetheless, our understanding of the correspondence remains incomplete for phases with intrinsic topological order, and is nearly entirely lacking for more exotic phases, such as fractons. Intriguingly, for the former, recent work suggests that bulk topological order manifests in a non-local structure in the b…
▽ More
The bulk-boundary correspondence is a hallmark feature of topological phases of matter. Nonetheless, our understanding of the correspondence remains incomplete for phases with intrinsic topological order, and is nearly entirely lacking for more exotic phases, such as fractons. Intriguingly, for the former, recent work suggests that bulk topological order manifests in a non-local structure in the boundary Hilbert space; however, a concrete understanding of how and where this perspective applies remains limited. Here, we provide an explicit and general framework for understanding the bulk-boundary correspondence in Pauli topological stabilizer codes. We show -- for any boundary termination of any two-dimensional topological stabilizer code -- that the boundary Hilbert space cannot be realized via local degrees of freedom, in a manner precisely determined by the anyon data of the bulk topological order. We provide a simple method to compute this "obstruction" using a well-known map** to polynomials over finite fields. Leveraging this map**, we generalize our framework to fracton models in three-dimensions, including both the X-Cube model and Haah's code. An important consequence of our results is that the boundaries of topological phases can exhibit emergent symmetries that are impossible to otherwise achieve without an unrealistic degree of fine tuning. For instance, we show how linear and fractal subsystem symmetries naturally arise at the boundaries of fracton phases.
△ Less
Submitted 7 December, 2023;
originally announced December 2023.
-
Subsystem CSS codes, a tighter stabilizer-to-CSS map**, and Goursat's Lemma
Authors:
Michael Liaofan Liu,
Nathanan Tantivasadakarn,
Victor V. Albert
Abstract:
The CSS code construction is a powerful framework used to express features of a quantum code in terms of a pair of underlying classical codes. Its subsystem extension allows for similar expressions, but the general case has not been fully explored. Extending previous work of Aly, Klappenecker, and Sarvepalli [quantph/0610153], we determine subsystem CSS code parameters, express codewords, and deve…
▽ More
The CSS code construction is a powerful framework used to express features of a quantum code in terms of a pair of underlying classical codes. Its subsystem extension allows for similar expressions, but the general case has not been fully explored. Extending previous work of Aly, Klappenecker, and Sarvepalli [quantph/0610153], we determine subsystem CSS code parameters, express codewords, and develop a Steane-type decoder using only data from the two underlying classical codes. Generalizing a result of Kovalev and Pryadko [Phys. Rev. A 88 012311 (2013)], we show that any subsystem stabilizer code can be "doubled" to yield a subsystem CSS code with twice the number of physical, logical, and gauge qudits and up to twice the code distance. This map** preserves locality and is tighter than the Majorana-based map** of Bravyi, Terhal, and Leemhuis [New J. Phys. 12 083039 (2010)]. Using Goursat's Lemma, we show that every subsystem stabilizer code can be constructed from two nested subsystem CSS codes satisfying certain constraints, and we characterize subsystem stabilizer codes based on the nested codes' properties.
△ Less
Submitted 2 July, 2024; v1 submitted 29 November, 2023;
originally announced November 2023.
-
Realizing the Nishimori transition across the error threshold for constant-depth quantum circuits
Authors:
Edward H. Chen,
Guo-Yi Zhu,
Ruben Verresen,
Alireza Seif,
Elisa Bäumer,
David Layden,
Nathanan Tantivasadakarn,
Guanyu Zhu,
Sarah Sheldon,
Ashvin Vishwanath,
Simon Trebst,
Abhinav Kandala
Abstract:
Preparing quantum states across many qubits is necessary to unlock the full potential of quantum computers. However, a key challenge is to realize efficient preparation protocols which are stable to noise and gate imperfections. Here, using a measurement-based protocol on a 127 superconducting qubit device, we study the generation of the simplest long-range order -- Ising order, familiar from Gree…
▽ More
Preparing quantum states across many qubits is necessary to unlock the full potential of quantum computers. However, a key challenge is to realize efficient preparation protocols which are stable to noise and gate imperfections. Here, using a measurement-based protocol on a 127 superconducting qubit device, we study the generation of the simplest long-range order -- Ising order, familiar from Greenberger-Horne-Zeilinger (GHZ) states and the repetition code -- on 54 system qubits. Our efficient implementation of the constant-depth protocol and classical decoder shows higher fidelities for GHZ states compared to size-dependent, unitary protocols. By experimentally tuning coherent and incoherent error rates, we demonstrate stability of this decoded long-range order in two spatial dimensions, up to a critical point which corresponds to a transition belonging to the unusual Nishimori universality class. Although in classical systems Nishimori physics requires fine-tuning multiple parameters, here it arises as a direct result of the Born rule for measurement probabilities -- locking the effective temperature and disorder driving this transition. Our study exemplifies how measurement-based state preparation can be meaningfully explored on quantum processors beyond a hundred qubits.
△ Less
Submitted 8 December, 2023; v1 submitted 6 September, 2023;
originally announced September 2023.
-
Engineering 3D Floquet codes by rewinding
Authors:
Arpit Dua,
Nathanan Tantivasadakarn,
Joseph Sullivan,
Tyler D. Ellison
Abstract:
Floquet codes are a novel class of quantum error-correcting codes with dynamically generated logical qubits arising from a periodic schedule of non-commuting measurements. We utilize the interpretation of measurements in terms of condensation of topological excitations and the rewinding of measurement sequences to engineer new examples of Floquet codes. In particular, rewinding is advantageous for…
▽ More
Floquet codes are a novel class of quantum error-correcting codes with dynamically generated logical qubits arising from a periodic schedule of non-commuting measurements. We utilize the interpretation of measurements in terms of condensation of topological excitations and the rewinding of measurement sequences to engineer new examples of Floquet codes. In particular, rewinding is advantageous for obtaining a desired set of instantaneous stabilizer groups on both toric and planar layouts. Our first example is a Floquet code with instantaneous stabilizer codes that have the same topological order as 3D toric code(s). This Floquet code also exhibits a splitting of the topological order of the 3D toric code under the associated sequence of measurements, i.e., an instantaneous stabilizer group of a single copy of 3D toric code in one round transforms into an instantaneous stabilizer group of two copies of 3D toric codes up to nonlocal stabilizers in the following round. We further construct boundaries for this 3D code and argue that stacking it with two copies of 3D subsystem toric code allows for a transversal implementation of the logical non-Clifford $CCZ$ gate. We also show that the coupled-layer construction of the X-cube Floquet code can be modified by a rewinding schedule such that each of the instantaneous stabilizer codes is finite-depth-equivalent to the X-cube model up to toric codes; the X-cube Floquet code exhibits a splitting of the X-cube model into a copy of the X-cube model and toric codes under the measurement sequence. Our final 3D example is a generalization of the 2D Floquet toric code on the honeycomb lattice to 3D, which has instantaneous stabilizer codes with the same topological order as the 3D fermionic toric code.
△ Less
Submitted 20 March, 2024; v1 submitted 25 July, 2023;
originally announced July 2023.
-
Quantum computation from dynamic automorphism codes
Authors:
Margarita Davydova,
Nathanan Tantivasadakarn,
Shankar Balasubramanian,
David Aasen
Abstract:
We propose a new model of quantum computation comprised of low-weight measurement sequences that simultaneously encode logical information, enable error correction, and apply logical gates. These measurement sequences constitute a new class of quantum error-correcting codes generalizing Floquet codes, which we call dynamic automorphism (DA) codes. We construct an explicit example, the DA color cod…
▽ More
We propose a new model of quantum computation comprised of low-weight measurement sequences that simultaneously encode logical information, enable error correction, and apply logical gates. These measurement sequences constitute a new class of quantum error-correcting codes generalizing Floquet codes, which we call dynamic automorphism (DA) codes. We construct an explicit example, the DA color code, which is assembled from short measurement sequences that can realize all 72 automorphisms of the 2D color code. On a stack of $N$ triangular patches, the DA color code encodes $N$ logical qubits and can implement the full logical Clifford group by a sequence of two- and, more rarely, three-qubit Pauli measurements. We also make the first step towards universal quantum computation with DA codes by introducing a 3D DA color code and showing that a non-Clifford logical gate can be realized by adaptive two-qubit measurements.
△ Less
Submitted 24 October, 2023; v1 submitted 19 July, 2023;
originally announced July 2023.
-
String operators for Cheshire strings in topological phases
Authors:
Nathanan Tantivasadakarn,
Xie Chen
Abstract:
Elementary point charge excitations in 3+1D topological phases can condense along a line and form a descendant excitation called the Cheshire string. Unlike the elementary flux loop excitations in the system, Cheshire strings do not have to appear as the boundary of a 2d disc and can exist on open line segments. On the other hand, Cheshire strings are different from trivial excitations that can be…
▽ More
Elementary point charge excitations in 3+1D topological phases can condense along a line and form a descendant excitation called the Cheshire string. Unlike the elementary flux loop excitations in the system, Cheshire strings do not have to appear as the boundary of a 2d disc and can exist on open line segments. On the other hand, Cheshire strings are different from trivial excitations that can be created with local unitaries in 0d and finite depth quantum circuits in 1d and higher. In this paper, we show that to create a Cheshire string, one needs a linear depth circuit that acts sequentially along the length of the string. Once a Cheshire string is created, its deformation, movement and fusion can be realized by finite depths circuits. This circuit depth requirement applies to all nontrivial descendant excitations including symmetry-protected topological chains and the Majorana chain.
△ Less
Submitted 26 April, 2024; v1 submitted 6 July, 2023;
originally announced July 2023.
-
Sequential Quantum Circuits as Maps between Gapped Phases
Authors:
Xie Chen,
Arpit Dua,
Michael Hermele,
David T. Stephen,
Nathanan Tantivasadakarn,
Robijn Vanhove,
**g-Yu Zhao
Abstract:
Finite-depth quantum circuits preserve the long-range entanglement structure in quantum states and map between states within a gapped phase. To map between states of different gapped phases, we can use Sequential Quantum Circuits which apply unitary transformations to local patches, strips, or other sub-regions of a system in a sequential way. The sequential structure of the circuit on the one han…
▽ More
Finite-depth quantum circuits preserve the long-range entanglement structure in quantum states and map between states within a gapped phase. To map between states of different gapped phases, we can use Sequential Quantum Circuits which apply unitary transformations to local patches, strips, or other sub-regions of a system in a sequential way. The sequential structure of the circuit on the one hand preserves entanglement area law and hence the gapped-ness of the quantum states. On the other hand, the circuit has generically a linear depth, hence it is capable of changing the long-range correlation and entanglement of quantum states and the phase they belong to. In this paper, we discuss systematically the definition, basic properties, and prototypical examples of sequential quantum circuits that map product states to GHZ states, symmetry-protected topological states, intrinsic topological states, and fracton states. We discuss the physical interpretation of the power of the circuits through connection to condensation, Kramers-Wannier duality, and the notion of foliation for fracton phases.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Assembling Kitaev honeycomb spin liquids from arrays of 1D symmetry protected topological phases
Authors:
Yue Liu,
Nathanan Tantivasadakarn,
Kevin Slagle,
David F. Mross,
Jason Alicea
Abstract:
The Kitaev honeycomb model, which is exactly solvable by virtue of an extensive number of conserved quantities, supports a gapless quantum spin liquid phase as well as gapped descendants relevant for fault-tolerant quantum computation. We show that the anomalous edge modes of 1D cluster-state-like symmetry protected topological (SPT) phases provide natural building blocks for a variant of the Kita…
▽ More
The Kitaev honeycomb model, which is exactly solvable by virtue of an extensive number of conserved quantities, supports a gapless quantum spin liquid phase as well as gapped descendants relevant for fault-tolerant quantum computation. We show that the anomalous edge modes of 1D cluster-state-like symmetry protected topological (SPT) phases provide natural building blocks for a variant of the Kitaev model that enjoys only a subextensive number of conserved quantities. The symmetry of our variant allows a single additional nearest-neighbor perturbation, corresponding to an anisotropic version of the $Γ$ term studied in the context of Kitaev materials. We determine the phase diagram of the model using exact diagonalization. Additionally, we use DMRG to show that the underlying 1D SPT building blocks can emerge from a ladder Hamiltonian exhibiting only two-spin interactions supplemented by a Zeeman field. Our approach may inform a new pathway toward realizing Kitaev honeycomb spin liquids in spin-orbit-coupled Mott insulators.
△ Less
Submitted 18 May, 2023;
originally announced May 2023.
-
Non-Abelian Topological Order and Anyons on a Trapped-Ion Processor
Authors:
Mohsin Iqbal,
Nathanan Tantivasadakarn,
Ruben Verresen,
Sara L. Campbell,
Joan M. Dreiling,
Caroline Figgatt,
John P. Gaebler,
Jacob Johansen,
Michael Mills,
Steven A. Moses,
Juan M. Pino,
Anthony Ransford,
Mary Rowe,
Peter Siegfried,
Russell P. Stutz,
Michael Foss-Feig,
Ashvin Vishwanath,
Henrik Dreyer
Abstract:
Non-Abelian topological order (TO) is a coveted state of matter with remarkable properties, including quasiparticles that can remember the sequence in which they are exchanged. These anyonic excitations are promising building blocks of fault-tolerant quantum computers. However, despite extensive efforts, non-Abelian TO and its excitations have remained elusive, unlike the simpler quasiparticles or…
▽ More
Non-Abelian topological order (TO) is a coveted state of matter with remarkable properties, including quasiparticles that can remember the sequence in which they are exchanged. These anyonic excitations are promising building blocks of fault-tolerant quantum computers. However, despite extensive efforts, non-Abelian TO and its excitations have remained elusive, unlike the simpler quasiparticles or defects in Abelian TO. In this work, we present the first unambiguous realization of non-Abelian TO and demonstrate control of its anyons. Using an adaptive circuit on Quantinuum's H2 trapped-ion quantum processor, we create the ground state wavefunction of $D_4$ TO on a kagome lattice of 27 qubits, with fidelity per site exceeding $98.4\%$. By creating and moving anyons along Borromean rings in spacetime, anyon interferometry detects an intrinsically non-Abelian braiding process. Furthermore, tunneling non-Abelions around a torus creates all 22 ground states, as well as an excited state with a single anyon -- a peculiar feature of non-Abelian TO. This work illustrates the counterintuitive nature of non-Abelions and enables their study in quantum devices.
△ Less
Submitted 14 February, 2024; v1 submitted 5 May, 2023;
originally announced May 2023.
-
Fracton Self-Statistics
Authors:
Hao Song,
Nathanan Tantivasadakarn,
Wilbur Shirley,
Michael Hermele
Abstract:
Fracton order describes novel quantum phases of matter that host quasiparticles with restricted mobility, and thus lies beyond the existing paradigm of topological order. In particular, excitations that cannot move without creating multiple excitations are called fractons. Here we address a fundamental open question -- can the notion of self-exchange statistics be naturally defined for fractons, g…
▽ More
Fracton order describes novel quantum phases of matter that host quasiparticles with restricted mobility, and thus lies beyond the existing paradigm of topological order. In particular, excitations that cannot move without creating multiple excitations are called fractons. Here we address a fundamental open question -- can the notion of self-exchange statistics be naturally defined for fractons, given their complete immobility as isolated excitations? Surprisingly, we demonstrate how fractons can be exchanged, and show that their self-statistics is a key part of the characterization of fracton orders. We derive general constraints satisfied by the fracton self-statistics in a large class of Abelian fracton orders. Finally, we show the existence of nontrivial fracton self-statistics in some twisted variants of the checkerboard model and Haah's code, establishing that these models are in distinct quantum phases as compared to their untwisted cousins.
△ Less
Submitted 28 March, 2024; v1 submitted 31 March, 2023;
originally announced April 2023.
-
Structured volume-law entanglement in an interacting, monitored Majorana spin liquid
Authors:
Guo-Yi Zhu,
Nathanan Tantivasadakarn,
Simon Trebst
Abstract:
Monitored quantum circuits allow for unprecedented dynamical control of many-body entanglement. Here we show that random, measurement-only circuits, implementing the competition of bond and plaquette couplings of the Kitaev honeycomb model, give rise to a structured volume-law entangled phase with subleading $L \ln L$ liquid scaling behavior. This interacting Majorana liquid takes up a highly-symm…
▽ More
Monitored quantum circuits allow for unprecedented dynamical control of many-body entanglement. Here we show that random, measurement-only circuits, implementing the competition of bond and plaquette couplings of the Kitaev honeycomb model, give rise to a structured volume-law entangled phase with subleading $L \ln L$ liquid scaling behavior. This interacting Majorana liquid takes up a highly-symmetric, spherical parameter space within the entanglement phase diagram obtained when varying the relative coupling probabilities. The sphere itself is a critical boundary with quantum Lifshitz scaling separating the volume-law phase from proximate area-law phases, a color code or a toric code. An exception is a set of tricritical, self-dual points exhibiting effective (1+1)d conformal scaling at which the volume-law phase and both area-law phases meet. From a quantum information perspective, our results define error thresholds for the color code in the presence of projective error and stochastic syndrome measurements. We show that an alternative realization of our model circuit can be implemented using unitary gates plus ancillary single-qubit measurements only.
△ Less
Submitted 30 March, 2023;
originally announced March 2023.
-
Topological Order from Measurements and Feed-Forward on a Trapped Ion Quantum Computer
Authors:
Mohsin Iqbal,
Nathanan Tantivasadakarn,
Thomas M. Gatterman,
Justin A. Gerber,
Kevin Gilmore,
Dan Gresh,
Aaron Hankin,
Nathan Hewitt,
Chandler V. Horst,
Mitchell Matheny,
Tanner Mengle,
Brian Neyenhuis,
Ashvin Vishwanath,
Michael Foss-Feig,
Ruben Verresen,
Henrik Dreyer
Abstract:
Quantum systems evolve in time in one of two ways: through the Schrödinger equation or wavefunction collapse. So far, deterministic control of quantum many-body systems in the lab has focused on the former, due to the probabilistic nature of measurements. This imposes serious limitations: preparing long-range entangled states, for example, requires extensive circuit depth if restricted to unitary…
▽ More
Quantum systems evolve in time in one of two ways: through the Schrödinger equation or wavefunction collapse. So far, deterministic control of quantum many-body systems in the lab has focused on the former, due to the probabilistic nature of measurements. This imposes serious limitations: preparing long-range entangled states, for example, requires extensive circuit depth if restricted to unitary dynamics. In this work, we use mid-circuit measurement and feed-forward to implement deterministic non-unitary dynamics on Quantinuum's H1 programmable ion-trap quantum computer. Enabled by these capabilities, we demonstrate for the first time a constant-depth procedure for creating a toric code ground state in real-time. In addition to reaching high stabilizer fidelities, we create a non-Abelian defect whose presence is confirmed by transmuting anyons via braiding. This work clears the way towards creating complex topological orders in the lab and exploring deterministic non-unitary dynamics via measurement and feed-forward.
△ Less
Submitted 30 August, 2023; v1 submitted 3 February, 2023;
originally announced February 2023.
-
Boundary states of Three Dimensional Topological Order and the Deconfined Quantum Critical Point
Authors:
Wenjie Ji,
Nathanan Tantivasadakarn,
Cenke Xu
Abstract:
We study the boundary states of the archetypal three-dimensional topological order, i.e. the three-dimensional $\mathbb{Z}_2$ toric code. There are three distinct elementary types of boundary states that we will consider in this work. In the phase diagram that includes the three elementary boundaries there may exist a multi-critical point, which is captured by the so-called deconfined quantum crit…
▽ More
We study the boundary states of the archetypal three-dimensional topological order, i.e. the three-dimensional $\mathbb{Z}_2$ toric code. There are three distinct elementary types of boundary states that we will consider in this work. In the phase diagram that includes the three elementary boundaries there may exist a multi-critical point, which is captured by the so-called deconfined quantum critical point (DQCP) with an "easy-axis" anisotropy. Moreover, there is an emergent $\mathbb{Z}_{2,\text{d}}$ symmetry that swaps two of the boundary types, and it becomes part of the global symmetry of the DQCP. The emergent $\mathbb{Z}_{2,\text{d}}$ symmetry on the boundary is originated from a type of surface defect in the bulk. We further find a gapped boundary with a surface topological order that is invariant under the emergent symmetry.
△ Less
Submitted 11 December, 2023; v1 submitted 19 December, 2022;
originally announced December 2022.
-
Pauli topological subsystem codes from Abelian anyon theories
Authors:
Tyler D. Ellison,
Yu-An Chen,
Arpit Dua,
Wilbur Shirley,
Nathanan Tantivasadakarn,
Dominic J. Williamson
Abstract:
We construct Pauli topological subsystem codes characterized by arbitrary two-dimensional Abelian anyon theories--this includes anyon theories with degenerate braiding relations and those without a gapped boundary to the vacuum. Our work both extends the classification of two-dimensional Pauli topological subsystem codes to systems of composite-dimensional qudits and establishes that the classific…
▽ More
We construct Pauli topological subsystem codes characterized by arbitrary two-dimensional Abelian anyon theories--this includes anyon theories with degenerate braiding relations and those without a gapped boundary to the vacuum. Our work both extends the classification of two-dimensional Pauli topological subsystem codes to systems of composite-dimensional qudits and establishes that the classification is at least as rich as that of Abelian anyon theories. We exemplify the construction with topological subsystem codes defined on four-dimensional qudits based on the $\mathbb{Z}_4^{(1)}$ anyon theory with degenerate braiding relations and the chiral semion theory--both of which cannot be captured by topological stabilizer codes. The construction proceeds by "gauging out" certain anyon types of a topological stabilizer code. This amounts to defining a gauge group generated by the stabilizer group of the topological stabilizer code and a set of anyonic string operators for the anyon types that are gauged out. The resulting topological subsystem code is characterized by an anyon theory containing a proper subset of the anyons of the topological stabilizer code. We thereby show that every Abelian anyon theory is a subtheory of a stack of toric codes and a certain family of twisted quantum doubles that generalize the double semion anyon theory. We further prove a number of general statements about the logical operators of translation invariant topological subsystem codes and define their associated anyon theories in terms of higher-form symmetries.
△ Less
Submitted 10 October, 2023; v1 submitted 7 November, 2022;
originally announced November 2022.
-
Floquet codes without parent subsystem codes
Authors:
Margarita Davydova,
Nathanan Tantivasadakarn,
Shankar Balasubramanian
Abstract:
We propose a new class of error-correcting dynamic codes in two and three dimensions that has no explicit connection to any parent subsystem code. The two-dimensional code, which we call the CSS honeycomb code, is geometrically similar to that of the honeycomb code by Hastings and Haah, and also dynamically embeds an instantaneous toric code. However, unlike the honeycomb code it possesses an expl…
▽ More
We propose a new class of error-correcting dynamic codes in two and three dimensions that has no explicit connection to any parent subsystem code. The two-dimensional code, which we call the CSS honeycomb code, is geometrically similar to that of the honeycomb code by Hastings and Haah, and also dynamically embeds an instantaneous toric code. However, unlike the honeycomb code it possesses an explicit CSS structure and its gauge checks do not form a subsystem code. Nevertheless, we show that our dynamic protocol conserves logical information and possesses a threshold for error correction. We generalize this construction to three dimensions and obtain a code that fault-tolerantly alternates between realizing two type-I fracton models, the checkerboard and the X-cube model. Finally, we show the compatibility of our CSS honeycomb code protocol and the honeycomb code by showing the possibility of randomly switching between the two protocols without information loss while still measuring error syndromes. We call this more general aperiodic structure `dynamic tree codes', which we also generalize to three dimensions. We construct a probabilistic finite automaton prescription that generates dynamic tree codes correcting any single-qubit Pauli errors and can be viewed as a step towards the development of practical fault-tolerant random codes.
△ Less
Submitted 24 October, 2023; v1 submitted 5 October, 2022;
originally announced October 2022.
-
Hierarchy of topological order from finite-depth unitaries, measurement and feedforward
Authors:
Nathanan Tantivasadakarn,
Ashvin Vishwanath,
Ruben Verresen
Abstract:
Long-range entanglement--the backbone of topologically ordered states--cannot be created in finite time using local unitary circuits, or equivalently, adiabatic state preparation. Recently it has come to light that single-site measurements provide a loophole, allowing for finite-time state preparation in certain cases. Here we show how this observation imposes a complexity hierarchy on long-range…
▽ More
Long-range entanglement--the backbone of topologically ordered states--cannot be created in finite time using local unitary circuits, or equivalently, adiabatic state preparation. Recently it has come to light that single-site measurements provide a loophole, allowing for finite-time state preparation in certain cases. Here we show how this observation imposes a complexity hierarchy on long-range entangled states based on the minimal number of measurement layers required to create the state, which we call "shots". First, similar to Abelian stabilizer states, we construct single-shot protocols for creating any non-Abelian quantum double of a group with nilpotency class two (such as $D_4$ or $Q_8$). We show that after the measurement, the wavefunction always collapses into the desired non-Abelian topological order, conditional on recording the measurement outcome. Moreover, the clean quantum double ground state can be deterministically prepared via feedforward--gates which depend on the measurement outcomes. Second, we provide the first constructive proof that a finite number of shots can implement the Kramers-Wannier duality transformation (i.e., the gauging map) for any solvable symmetry group. As a special case, this gives an explicit protocol to prepare twisted quantum double for all solvable groups. Third, we argue that certain topological orders, such as non-solvable quantum doubles or Fibonacci anyons, define non-trivial phases of matter under the equivalence class of finite-depth unitaries and measurement, which cannot be prepared by any finite number of shots. Moreover, we explore the consequences of allowing gates to have exponentially small tails, which enables, for example, the preparation of any Abelian anyon theory, including chiral ones. This hierarchy paints a new picture of the landscape of long-range entangled states, with practical implications for quantum simulators.
△ Less
Submitted 11 June, 2023; v1 submitted 13 September, 2022;
originally announced September 2022.
-
Shortest Route to Non-Abelian Topological Order on a Quantum Processor
Authors:
Nathanan Tantivasadakarn,
Ruben Verresen,
Ashvin Vishwanath
Abstract:
A highly coveted goal is to realize emergent non-Abelian gauge theories and their anyonic excitations, which encode decoherence-free quantum information. While measurements in quantum devices provide new hope for scalably preparing such long-range entangled states, existing protocols using the experimentally established ingredients of a finite-depth circuit and a single round of measurement produc…
▽ More
A highly coveted goal is to realize emergent non-Abelian gauge theories and their anyonic excitations, which encode decoherence-free quantum information. While measurements in quantum devices provide new hope for scalably preparing such long-range entangled states, existing protocols using the experimentally established ingredients of a finite-depth circuit and a single round of measurement produce only Abelian states. Surprisingly, we show there exists a broad family of non-Abelian states -- namely those with a Lagrangian subgroup -- which can be created using these same minimal ingredients, bypassing the need for new resources such as feed-forward. To illustrate that this provides realistic protocols, we show how $D_4$ non-Abelian topological order can be realized, e.g., on Google's quantum processors using a depth-11 circuit and a single layer of measurements. Our work opens the way towards the realization and manipulation of non-Abelian topological orders, and highlights counter-intuitive features of the complexity of non-Abelian phases.
△ Less
Submitted 18 September, 2023; v1 submitted 8 September, 2022;
originally announced September 2022.
-
Nishimori's cat: stable long-range entanglement from finite-depth unitaries and weak measurements
Authors:
Guo-Yi Zhu,
Nathanan Tantivasadakarn,
Ashvin Vishwanath,
Simon Trebst,
Ruben Verresen
Abstract:
In the field of monitored quantum circuits, it has remained an open question whether finite-time protocols for preparing long-range entangled states lead to phases of matter which are stable to gate imperfections, which can convert projective into weak measurements. Here we show that in certain cases, long-range entanglement persists in the presence of weak measurements, and gives rise to novel fo…
▽ More
In the field of monitored quantum circuits, it has remained an open question whether finite-time protocols for preparing long-range entangled states lead to phases of matter which are stable to gate imperfections, which can convert projective into weak measurements. Here we show that in certain cases, long-range entanglement persists in the presence of weak measurements, and gives rise to novel forms of quantum criticality. We demonstrate this explicitly for preparing the two-dimensional Greenberger-Horne-Zeilinger cat state and the three-dimensional toric code as minimal instances. In contrast to the monitored random unitary circuits, In contrast to random monitored circuits, our circuit of gates and measurements is deterministic; the only randomness is in the measurement outcomes. We show how the randomness in these weak measurements allows us to track the solvable Nishimori line of the random-bond Ising model, rigorously establishing the stability of the glassy long-range entangled states in two and three spatial dimensions. Away from this exactly solvable construction, we use hybrid tensor network and Monte Carlo simulations to obtain a nonzero Edwards-Anderson order parameter as an indicator of long-range entanglement in the two-dimensional scenario. We argue that our protocol admits a natural implementation in existing quantum computing architectures, requiring only a depth-3 circuit on IBM's heavy-hexagon transmon chips.
△ Less
Submitted 20 November, 2023; v1 submitted 23 August, 2022;
originally announced August 2022.
-
Codimension-2 defects and higher symmetries in (3+1)D topological phases
Authors:
Maissam Barkeshli,
Yu-An Chen,
Sheng-Jie Huang,
Ryohei Kobayashi,
Nathanan Tantivasadakarn,
Guanyu Zhu
Abstract:
(3+1)D topological phases of matter can host a broad class of non-trivial topological defects of codimension-1, 2, and 3, of which the well-known point charges and flux loops are special cases. The complete algebraic structure of these defects defines a higher category, and can be viewed as an emergent higher symmetry. This plays a crucial role both in the classification of phases of matter and th…
▽ More
(3+1)D topological phases of matter can host a broad class of non-trivial topological defects of codimension-1, 2, and 3, of which the well-known point charges and flux loops are special cases. The complete algebraic structure of these defects defines a higher category, and can be viewed as an emergent higher symmetry. This plays a crucial role both in the classification of phases of matter and the possible fault-tolerant logical operations in topological quantum error correcting codes. In this paper, we study several examples of such higher codimension defects from distinct perspectives. We mainly study a class of invertible codimension-2 topological defects, which we refer to as twist strings. We provide a number of general constructions for twist strings, in terms of gauging lower dimensional invertible phases, layer constructions, and condensation defects. We study some special examples in the context of $\mathbb{Z}_2$ gauge theory with fermionic charges, in $\mathbb{Z}_2 \times \mathbb{Z}_2$ gauge theory with bosonic charges, and also in non-Abelian discrete gauge theories based on dihedral ($D_n$) and alternating ($A_6$) groups. The intersection between twist strings and Abelian flux loops sources Abelian point charges, which defines an $H^4$ cohomology class that characterizes part of an underlying 3-group symmetry of the topological order. The equations involving background gauge fields for the 3-group symmetry have been explicitly written down for various cases. We also study examples of twist strings interacting with non-Abelian flux loops (defining part of a non-invertible higher symmetry), examples of non-invertible codimension-2 defects, and examples of interplay of codimension-2 defects with codimension-1 defects. We also find an example of geometric, not fully topological, twist strings in (3+1)D $A_6$ gauge theory.
△ Less
Submitted 8 December, 2022; v1 submitted 15 August, 2022;
originally announced August 2022.
-
Three-dimensional quantum cellular automata from chiral semion surface topological order and beyond
Authors:
Wilbur Shirley,
Yu-An Chen,
Arpit Dua,
Tyler D. Ellison,
Nathanan Tantivasadakarn,
Dominic J. Williamson
Abstract:
We construct a novel three-dimensional quantum cellular automaton (QCA) based on a system with short-range entangled bulk and chiral semion boundary topological order. We argue that either the QCA is nontrivial, i.e. not a finite-depth circuit of local quantum gates, or there exists a two-dimensional commuting projector Hamiltonian realizing the chiral semion topological order (characterized by…
▽ More
We construct a novel three-dimensional quantum cellular automaton (QCA) based on a system with short-range entangled bulk and chiral semion boundary topological order. We argue that either the QCA is nontrivial, i.e. not a finite-depth circuit of local quantum gates, or there exists a two-dimensional commuting projector Hamiltonian realizing the chiral semion topological order (characterized by $U(1)_2$ Chern-Simons theory). Our QCA is obtained by first constructing the Walker-Wang Hamiltonian of a certain premodular tensor category of order four, then condensing the deconfined bulk boson at the level of lattice operators. We show that the resulting Hamiltonian hosts chiral semion surface topological order in the presence of a boundary and can be realized as a non-Pauli stabilizer code on qubits, from which the QCA is defined. The construction is then generalized to a class of QCAs defined by non-Pauli stabilizer codes on ${2^n}$-dimensional qudits that feature surface anyons described by $U(1)_{2^n}$ Chern-Simons theory. Our results support the conjecture that the group of nontrivial three-dimensional QCAs is isomorphic to the Witt group of non-degenerate braided fusion categories.
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
Pauli stabilizer models of twisted quantum doubles
Authors:
Tyler D. Ellison,
Yu-An Chen,
Arpit Dua,
Wilbur Shirley,
Nathanan Tantivasadakarn,
Dominic J. Williamson
Abstract:
We construct a Pauli stabilizer model for every two-dimensional Abelian topological order that admits a gapped boundary. Our primary example is a Pauli stabilizer model on four-dimensional qudits that belongs to the double semion (DS) phase of matter. The DS stabilizer Hamiltonian is constructed by condensing an emergent boson in a $\mathbb{Z}_4$ toric code, where the condensation is implemented b…
▽ More
We construct a Pauli stabilizer model for every two-dimensional Abelian topological order that admits a gapped boundary. Our primary example is a Pauli stabilizer model on four-dimensional qudits that belongs to the double semion (DS) phase of matter. The DS stabilizer Hamiltonian is constructed by condensing an emergent boson in a $\mathbb{Z}_4$ toric code, where the condensation is implemented by making certain two-body measurements. We rigorously verify the topological order of the DS stabilizer model by identifying an explicit finite-depth quantum circuit (with ancillary qubits) that maps its ground state subspace to that of a DS string-net model. We show that the construction of the DS stabilizer Hamiltonian generalizes to all twisted quantum doubles (TQDs) with Abelian anyons. This yields a Pauli stabilizer code on composite-dimensional qudits for each such TQD, implying that the classification of topological Pauli stabilizer codes extends well beyond stacks of toric codes - in fact, exhausting all Abelian anyon theories that admit a gapped boundary. We also demonstrate that symmetry-protected topological phases of matter characterized by type I and type II cocycles can be modeled by Pauli stabilizer Hamiltonians by gauging certain 1-form symmetries of the TQD stabilizer models.
△ Less
Submitted 14 December, 2022; v1 submitted 21 December, 2021;
originally announced December 2021.
-
Efficiently preparing Schrödinger's cat, fractons and non-Abelian topological order in quantum devices
Authors:
Ruben Verresen,
Nathanan Tantivasadakarn,
Ashvin Vishwanath
Abstract:
Long-range entangled quantum states -- like cat states and topological order -- are key for quantum metrology and information purposes, but they cannot be prepared by any scalable unitary process. Intriguingly, using measurements as an additional ingredient could circumvent such no-go theorems. However, efficient schemes are known for only a limited class of long-range entangled states, and their…
▽ More
Long-range entangled quantum states -- like cat states and topological order -- are key for quantum metrology and information purposes, but they cannot be prepared by any scalable unitary process. Intriguingly, using measurements as an additional ingredient could circumvent such no-go theorems. However, efficient schemes are known for only a limited class of long-range entangled states, and their implementation on existing quantum devices via a sequence of gates and measurements is hampered by high overheads. Here we resolve these problems, proposing how to scalably prepare a broad range of long-range entangled states with the use of existing experimental platforms. Our two-step process finds an ideal implementation in Rydberg atom arrays, only requiring time-evolution under the intrinsic atomic interactions, followed by measuring a single sublattice (by using, e.g., two atom species). Remarkably, this protocol can prepare the 1D Greenberger-Horne-Zeilinger (GHZ) 'cat' state and 2D toric code with fidelity per site exceeding $0.9999$, and a 3D fracton state with fidelity $\gtrapprox 0.998$. In light of recent experiments showcasing 3D Rydberg atom arrays, this paves the way to the first experimental realization of fracton order. While the above examples are based on efficiently preparing and measuring cluster states, we also propose a multi-step procedure to create $S_3$ and $D_4$ non-Abelian topological order in Rydberg atom arrays and other quantum devices -- offering a route towards universal topological quantum computation.
△ Less
Submitted 6 January, 2022; v1 submitted 2 December, 2021;
originally announced December 2021.
-
Long-range entanglement from measuring symmetry-protected topological phases
Authors:
Nathanan Tantivasadakarn,
Ryan Thorngren,
Ashvin Vishwanath,
Ruben Verresen
Abstract:
A fundamental distinction between many-body quantum states are those with short- and long-range entanglement (SRE and LRE). The latter cannot be created by finite-depth circuits, underscoring the nonlocal nature of Schrödinger cat states, topological order, and quantum criticality. Remarkably, examples are known where LRE is obtained by performing single-site measurements on SRE, such as the toric…
▽ More
A fundamental distinction between many-body quantum states are those with short- and long-range entanglement (SRE and LRE). The latter cannot be created by finite-depth circuits, underscoring the nonlocal nature of Schrödinger cat states, topological order, and quantum criticality. Remarkably, examples are known where LRE is obtained by performing single-site measurements on SRE, such as the toric code from measuring a sublattice of a 2D cluster state. However, a systematic understanding of when and how measurements of SRE give rise to LRE is still lacking. Here, we establish that LRE appears upon performing measurements on symmetry-protected topological (SPT) phases -- of which the cluster state is one example. For instance, we show how to implement the Kramers-Wannier transformation by adding a cluster SPT to an input state followed by measurement. This transformation naturally relates states with SRE and LRE. An application is the realization of double-semion order when the input state is the $\mathbb Z_2$ Levin-Gu SPT. Similarly, the addition of fermionic SPTs and measurement leads to an implementation of the Jordan-Wigner transformation of a general state. More generally, we argue that a large class of SPT phases protected by $G \times H$ symmetry gives rise to anomalous LRE upon measuring $G$-charges, and we prove that this persists for generic points in the SPT phase under certain conditions. Our work introduces a new practical tool for using SPT phases as resources for creating LRE, and uncovers the classification result that all states related by sequentially gauging Abelian groups or by Jordan-Wigner transformation are in the same equivalence class, once we augment finite-depth circuits with single-site measurements. In particular, any topological or fracton order with a solvable finite gauge group can be obtained from a product state in this way.
△ Less
Submitted 8 June, 2024; v1 submitted 2 December, 2021;
originally announced December 2021.
-
Building models of topological quantum criticality from pivot Hamiltonians
Authors:
Nathanan Tantivasadakarn,
Ryan Thorngren,
Ashvin Vishwanath,
Ruben Verresen
Abstract:
Progress in understanding symmetry-protected topological (SPT) phases has been greatly aided by our ability to construct lattice models realizing these states. In contrast, a systematic approach to constructing models that realize quantum critical points between SPT phases is lacking, particularly in dimension $d>1$. Here, we show how the recently introduced notion of the pivot Hamiltonian -- gene…
▽ More
Progress in understanding symmetry-protected topological (SPT) phases has been greatly aided by our ability to construct lattice models realizing these states. In contrast, a systematic approach to constructing models that realize quantum critical points between SPT phases is lacking, particularly in dimension $d>1$. Here, we show how the recently introduced notion of the pivot Hamiltonian -- generating rotations between SPT phases -- facilitates such a construction. We demonstrate this approach by constructing a spin model on the triangular lattice, which is midway between a trivial and SPT phase. The pivot Hamiltonian generates a $U(1)$ pivot symmetry which helps to stabilize a direct SPT transition. The sign-problem free nature of the model -- with an additional Ising interaction preserving the pivot symmetry -- allows us to obtain the phase diagram using quantum Monte Carlo simulations. We find evidence for a direct transition between trivial and SPT phases that is consistent with a deconfined quantum critical point with emergent $SO(5)$ symmetry. The known anomaly of the latter is made possible by the non-local nature of the $U(1)$ pivot symmetry. Interestingly, the pivot Hamiltonian generating this symmetry is nothing other than the staggered Baxter-Wu three-spin interaction. This work illustrates the importance of $U(1)$ pivot symmetries and proposes how to generally construct sign-problem-free lattice models of SPT transitions with such anomalous symmetry groups for other lattices and dimensions.
△ Less
Submitted 2 February, 2023; v1 submitted 18 October, 2021;
originally announced October 2021.
-
Pivot Hamiltonians as generators of symmetry and entanglement
Authors:
Nathanan Tantivasadakarn,
Ryan Thorngren,
Ashvin Vishwanath,
Ruben Verresen
Abstract:
It is well-known that symmetry-protected topological (SPT) phases can be obtained from the trivial phase by an entangler, a finite-depth unitary operator $U$. Here, we consider obtaining the entangler from a local 'pivot' Hamiltonian $H_{piv}$ such that $U = e^{iπH_{piv}}$. This perspective of Hamiltonians pivoting between the trivial and SPT phase opens up two new directions which we explore here…
▽ More
It is well-known that symmetry-protected topological (SPT) phases can be obtained from the trivial phase by an entangler, a finite-depth unitary operator $U$. Here, we consider obtaining the entangler from a local 'pivot' Hamiltonian $H_{piv}$ such that $U = e^{iπH_{piv}}$. This perspective of Hamiltonians pivoting between the trivial and SPT phase opens up two new directions which we explore here. (i) Since SPT Hamiltonians and entanglers are now on the same footing, can we iterate this process to create other interesting states? (ii) Since entanglers are known to arise as discrete symmetries at SPT transitions, under what conditions can this be enhanced to $U(1)$ 'pivot' symmetry generated by $H_{piv}$? In this work we explore both of these questions. With regard to the first, we give examples of a rich web of dualities obtained by iteratively using an SPT model as a pivot to generate the next one. For the second question, we derive a simple criterion guaranteeing that the direct interpolation between the trivial and SPT Hamiltonian has a $U(1)$ pivot symmetry. We illustrate this in a variety of examples, assuming various forms for $H_{piv}$, including the Ising chain, and the toric code Hamiltonian. A remarkable property of such a $U(1)$ pivot symmetry is that it shares a mutual anomaly with the symmetry protecting the nearby SPT phase. We discuss how such anomalous and non-onsite $U(1)$ symmetries explain the exotic phase diagrams that can appear, including an SPT multicritical point where the gapless ground state is given by the fixed-point toric code state.
△ Less
Submitted 2 February, 2023; v1 submitted 14 October, 2021;
originally announced October 2021.
-
Symmetric Finite-Time Preparation of Cluster States via Quantum Pumps
Authors:
Nathanan Tantivasadakarn,
Ashvin Vishwanath
Abstract:
It has recently been established that cluster-like states -- states that are in the same symmetry-protected topological phase as the cluster state -- provide a family of resource states that can be utilized for Measurement-Based Quantum Computation. In this work, we ask whether it is possible to prepare cluster-like states in finite time without breaking the symmetry protecting the resource state.…
▽ More
It has recently been established that cluster-like states -- states that are in the same symmetry-protected topological phase as the cluster state -- provide a family of resource states that can be utilized for Measurement-Based Quantum Computation. In this work, we ask whether it is possible to prepare cluster-like states in finite time without breaking the symmetry protecting the resource state. Such a symmetry-preserving protocol would benefit from topological protection to errors in the preparation. We answer this question in the positive by providing a Hamiltonian in one higher dimension whose finite-time evolution is a unitary that acts trivially in the bulk, but pumps the desired cluster state to the boundary. Examples are given for both the 1D cluster state protected by a global symmetry, and various 2D cluster states protected by subsystem symmetries. We show that even if unwanted symmetric perturbations are present in the driving Hamiltonian, projective measurements in the bulk along with feedforward correction is sufficient to recover a cluster-like state.
△ Less
Submitted 22 August, 2022; v1 submitted 8 July, 2021;
originally announced July 2021.
-
Non-Abelian Hybrid Fracton Orders
Authors:
Nathanan Tantivasadakarn,
Wenjie Ji,
Sagar Vijay
Abstract:
We introduce lattice gauge theories which describe three-dimensional, gapped quantum phases exhibiting the phenomenology of both conventional three-dimensional topological orders and fracton orders, starting from a finite group $G$, a choice of an Abelian normal subgroup $N$, and a choice of foliation structure. These hybrid fracton orders -- examples of which were introduced in arXiv:2102.09555 -…
▽ More
We introduce lattice gauge theories which describe three-dimensional, gapped quantum phases exhibiting the phenomenology of both conventional three-dimensional topological orders and fracton orders, starting from a finite group $G$, a choice of an Abelian normal subgroup $N$, and a choice of foliation structure. These hybrid fracton orders -- examples of which were introduced in arXiv:2102.09555 -- can also host immobile, point-like excitations that are non-Abelian, and therefore give rise to a protected degeneracy. We construct solvable lattice models for these orders which interpolate between a conventional, three-dimensional $G$ gauge theory and a pure fracton order, by varying the choice of normal subgroup $N$. We demonstrate that certain universal data of the topological excitations and their mobilities are directly related to the choice of $G$ and $N$, and also present complementary perspectives on these orders: certain orders may be obtained by gauging a global symmetry which enriches a particular fracton order, by either fractionalizing on or permuting the excitations with restricted mobility, while certain hybrid orders can be obtained by condensing excitations in a stack of initially decoupled, two-dimensional topological orders.
△ Less
Submitted 11 September, 2021; v1 submitted 7 June, 2021;
originally announced June 2021.
-
Hybrid Fracton Phases: Parent Orders for Liquid and Non-Liquid Quantum Phases
Authors:
Nathanan Tantivasadakarn,
Wenjie Ji,
Sagar Vijay
Abstract:
We introduce hybrid fracton orders: three-dimensional gapped quantum phases that exhibit the phenomenology of both conventional three-dimensional topological orders and fracton orders. Hybrid fracton orders host both (i) mobile topological quasiparticles and loop excitations, as well as (ii) point-like topological excitations with restricted mobility, with non-trivial fusion rules and mutual braid…
▽ More
We introduce hybrid fracton orders: three-dimensional gapped quantum phases that exhibit the phenomenology of both conventional three-dimensional topological orders and fracton orders. Hybrid fracton orders host both (i) mobile topological quasiparticles and loop excitations, as well as (ii) point-like topological excitations with restricted mobility, with non-trivial fusion rules and mutual braiding statistics between the two sets of excitations. Furthermore, hybrid fracton phases can realize either conventional three-dimensional topological orders or fracton orders after undergoing a phase transition driven by the condensation of certain gapped excitations. Therefore, they serve as parent orders for both long-range-entangled quantum liquid and non-liquid phases. We study the detailed properties of hybrid fracton phases through exactly solvable models in which the resulting orders hybridize a three-dimensional $\mathbb Z_2$ topological order with (i) the X-Cube fracton order, or (ii) Haah's code. The hybrid orders presented here can also be understood as the deconfined phase of a gauge theory whose gauge group is given by an Abelian global symmetry $G$ and subsystem symmetries of a normal subgroup $N$ along lower-dimensional sub-regions. A further generalization of this construction to non-Abelian gauge groups is presented in arXiv:2106.03842.
△ Less
Submitted 24 June, 2021; v1 submitted 18 February, 2021;
originally announced February 2021.
-
Jordan-Wigner Dualities for Translation-Invariant Hamiltonians in Any Dimension: Emergent Fermions in Fracton Topological Order
Authors:
Nathanan Tantivasadakarn
Abstract:
Inspired by recent developments generalizing Jordan-Wigner dualities to higher dimensions, we develop a framework of such dualities using an algebraic formalism for translation-invariant Hamiltonians proposed by Haah. We prove that given a translation-invariant fermionic system with general $q$-body interactions, where $q$ is even, a local map** preserving global fermion parity to a dual Pauli s…
▽ More
Inspired by recent developments generalizing Jordan-Wigner dualities to higher dimensions, we develop a framework of such dualities using an algebraic formalism for translation-invariant Hamiltonians proposed by Haah. We prove that given a translation-invariant fermionic system with general $q$-body interactions, where $q$ is even, a local map** preserving global fermion parity to a dual Pauli spin model exists and is unique up to a choice of basis. Furthermore, the dual spin model is constructive, and we present various examples of these dualities. As an application, we bosonize fermionic systems where free-fermion hop** terms are absent ($q \ge 4$) and fermion parity is conserved on submanifolds such as higher-form, line, planar or fractal symmetry. For some cases in 3+1D, bosonizing such a system can give rise to fracton models where the emergent particles are immobile but yet can behave in certain ways like fermions. These models may be examples of new nonrelativistic 't Hooft anomalies. Furthermore, fermionic subsystem symmetries are also present in various Majorana stabilizer codes, such as the color code or the checkerboard model, and we give examples where their duals are cluster states or new fracton models distinct from their doubled CSS codes.
△ Less
Submitted 18 June, 2020; v1 submitted 26 February, 2020;
originally announced February 2020.
-
Searching for Fracton Orders via Symmetry Defect Condensation
Authors:
Nathanan Tantivasadakarn,
Sagar Vijay
Abstract:
We propose a set of constraints on the ground-state wavefunctions of fracton phases, which provide a possible generalization of the string-net equations used to characterize topological orders in two spatial dimensions. Our constraint equations arise by exploiting a duality between certain fracton orders and quantum phases with "subsystem" symmetries, which are defined as global symmetries on lowe…
▽ More
We propose a set of constraints on the ground-state wavefunctions of fracton phases, which provide a possible generalization of the string-net equations used to characterize topological orders in two spatial dimensions. Our constraint equations arise by exploiting a duality between certain fracton orders and quantum phases with "subsystem" symmetries, which are defined as global symmetries on lower-dimensional manifolds, and then studying the distinct ways in which the defects of a subsystem symmetry group can be consistently condensed to produce a gapped, symmetric state. We numerically solve these constraint equations in certain tractable cases to obtain the following results: in $d=3$ spatial dimensions, the solutions to these equations yield gapped fracton phases that are distinct as conventional quantum phases, along with their dual subsystem symmetry-protected topological (SSPT) states. For an appropriate choice of subsystem symmetry group, we recover known fracton phases such as Haah's code, along with new, symmetry-enriched versions of these phases, such as non-stabilizer fracton models which are distinct from both the X-cube model and the checkerboard model in the presence of global time-reversal symmetry, as well as a variety of fracton phases enriched by spatial symmetries. In $d=2$ dimensions, we find solutions that describe new weak and strong SSPT states, such as ones with both line-like subsystem symmetries and global time-reversal symmetry. In $d=1$ dimension, we show that any group cohomology solution for a symmetry-protected topological state protected by a global symmetry, along with lattice translational symmetry necessarily satisfies our consistency conditions.
△ Less
Submitted 29 April, 2020; v1 submitted 5 December, 2019;
originally announced December 2019.
-
Disentangling the Generalized Double Semion Model
Authors:
Lukasz Fidkowski,
Jeongwan Haah,
Matthew B. Hastings,
Nathanan Tantivasadakarn
Abstract:
We analyze the class of Generalized Double Semion (GDS) models in arbitrary dimensions from the point of view of lattice Hamiltonians. We show that on a $d$-dimensional spatial manifold $M$ the dual of the GDS is equivalent, up to constant depth local quantum circuits, to a group cohomology theory tensored with lower dimensional cohomology models that depend on the manifold $M$. We comment on the…
▽ More
We analyze the class of Generalized Double Semion (GDS) models in arbitrary dimensions from the point of view of lattice Hamiltonians. We show that on a $d$-dimensional spatial manifold $M$ the dual of the GDS is equivalent, up to constant depth local quantum circuits, to a group cohomology theory tensored with lower dimensional cohomology models that depend on the manifold $M$. We comment on the space-time topological quantum field theory (TQFT) interpretation of this result. We also investigate the GDS in the presence of time reversal symmetry, showing that it forms a non-trivial symmetry enriched toric code phase in odd spatial dimensions.
△ Less
Submitted 9 November, 2020; v1 submitted 10 June, 2019;
originally announced June 2019.
