Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2512.04174

Deformed LDPC codes with spontaneously broken non-invertible duality symmetries

Pranay Gorantla, Tzu-Chen Huang

cond-mat.str-elhep-thquant-phSubmitted Dec 3, 2025• Announced Dec 5, 2025• 0 citations
arXivHTMLPDF

Abstract

Low-density parity check (LDPC) codes are a well known class of Pauli stabiliser Hamiltonians that furnish fixed-point realisations of nontrivial gapped phases such as symmetry breaking and topologically ordered (including fracton) phases. In this work, we propose symmetry-preserving deformations of these models, in the presence of a transverse field, and identify special points along the deformations with interesting features: (i) the special point is frustration-free, (ii) its ground states include a product state and the code space of the underlying code, and (iii) it remains gapped in the thermodynamic (infinite volume) limit. So the special point realises a first-order transition between (or the coexistence of) the trivial gapped phase and the nontrivial gapped phase associated with the code. In addition, if the original model has a non-invertible duality symmetry, then so does the deformed model. In this case, the duality symmetry is spontaneously broken at the special point, consistent with the associated anomaly. A key step in proving the gap is a coarse-graining/blocking procedure on the Tanner graph of the code that allows us to apply the martingale method successfully. Our model, therefore, provides the first application of the martingale method to a frustration-free model, that is not commuting projector, defined on an arbitrary Tanner graph. We also discuss several familiar examples on Euclidean spatial lattice. Of particular interest is the 2+1d transverse field Ising model: while there is no non-invertible duality symmetry in this case, our results, together with known numerical results, suggest the existence of a tricritical point in the phase diagram.

Comments
53+1 pages, 3 figures

Related papers

Duality-preserving deformation of 3 + 1 d lattice Z 2 gauge theory with exact gapped ground states

Pranay Gorantla, Tzu-Chen Huang

We propose and analyze a deformation of the $3+1\mathrm{d}$ lattice ${\mathbb{Z}}_{2}$ gauge theory that preserves the noninvertible Wegner duality symmetry at the self-dual point. We identify a frustration-free point along this deformation where there are nine exactly degenerate ground states (on a periodic cubic lattice) even at finite volume. One of these ground states is a trivial product state and the rest are the topologically ordered ground states of the $3+1\mathrm{d}$ toric code, and they are exchanged by the Wegner duality. We also prove that the frustration-free point is gapped in the thermodynamic limit. Our model, therefore, realizes a gapped phase with spontaneously broken Wegner duality symmetry. Furthermore, by imposing the Gauss law constraints energetically, all the above features can be realized on a tensor product Hilbert space. Finally, we discuss a generalization of this deformation to the $3+1\mathrm{d}$ lattice ${\mathbb{Z}}_{N}$ gauge theory and conjecture the possible phase diagram.

arXiv:2409.10612•Physical review. B./Physical review. B•Jun 3, 2025•6 citations

Low-Density Parity-Check Stabilizer Codes as Gapped Quantum Phases: Stability under Graph-Local Perturbations

Wojciech De Roeck, Vedika Khemani, Yaodong Li +2 more

We generalize the proof of stability of topological order, due to Bravyi, Hastings, and Michalakis, to stabilizer Hamiltonians corresponding to low-density parity-check (LDPC) codes without the restriction of geometric locality in Euclidean space. We consider Hamiltonians H 0 defined by ⟦ N , K , d ⟧ LDPC codes, which obey certain topological quantum order conditions: (i) code distance d ≥ c log  ( N ) , implying local indistinguishability of ground states, and (ii) a mild condition on local and global compatibility of ground states—these include good quantum LDPC codes and the toric code on a hyperbolic lattice, among others. We consider stability under weak perturbations that are quasilocal on the interaction graph defined by H 0 and that can be represented as sums of bounded-norm terms. As long as the local perturbation strength is smaller than a finite constant, we show that the perturbed Hamiltonian has well-defined spectral bands originating from the O ( 1 ) smallest eigenvalues of H 0 . The band originating from the smallest eigenvalue has 2 K states, is separated from the rest of the spectrum by a finite energy gap, and has exponentially narrow bandwidth δ = C N e − Θ ( d ) , which is tighter than the best-known bounds even in the Euclidean case. We also obtain that the new ground-state subspace is related to the initial-code subspace by a quasilocal unitary, allowing one to relate their physical properties. Our proof uses an iterative procedure that performs successive rotations to eliminate non-frustration-free terms in the Hamiltonian. Our results extend to quantum Hamiltonians built from classical LDPC codes, which give rise to stable symmetry-breaking phases. These results show that LDPC codes very generally define stable gapped quantum phases, even in the non-Euclidean setting, initiating a systematic study of such phases of matter.

arXiv:2411.02384•PRX Quantum•Jul 2, 2025•10 citations

The Physics of (good) LDPC Codes II. Product constructions

Tibor Rakovszky, Vedika Khemani

We continue the study of classical and quantum low-density parity check (LDPC) codes from a physical perspective. We focus on constructive approaches and formulate a general framework for systematically constructing codes with various features on generic Euclidean and non-Euclidean graphs. These codes can serve as fixed-point limits for phases of matter. To build our machinery, we unpack various product constructions from the coding literature in terms of physical principles such as symmetries and redundancies, introduce a new cubic product, and combine these products with the ideas of gauging and Higgsing introduced in Part I. We illustrate the usefulness of this approach in finite Euclidean dimensions by showing that using the one-dimensional Ising model as a starting point, we can systematically produce a very large zoo of classical and quantum phases of matter, including type I and type II fractons and SPT phases with generalized symmetries. We also use the balanced product to construct new Euclidean models, including one with topological order enriched by translation symmetry, and another exotic fracton model whose excitations are formed by combining those of a fractal spin liquid with those of a toric code, resulting in exotic mobility constraints. Moving beyond Euclidean models, we give a review of existing constructions of good qLDPC codes and classical locally testable codes and elaborate on the relationship between quantum code distance and classical energy barriers, discussed in Part I, from the perspective of product constructions.

arXiv:2402.16831•Feb 26, 2024•2 citations

The Physics of (good) LDPC Codes I. Gauging and dualities

Tibor Rakovszky, Vedika Khemani

Low-depth parity check (LDPC) codes are a paradigm of error correction that allow for spatially non-local interactions between (qu)bits, while still enforcing that each (qu)bit interacts only with finitely many others. On expander graphs, they can give rise to ``good codes'' that combine a finite encoding rate with an optimal scaling of the code distance, which governs the code's robustness against noise. Such codes have garnered much recent attention due to two breakthrough developments: the construction of good quantum LDPC codes and good locally testable classical LDPC codes, using similar methods. Here we explore these developments from a physics lens, establishing connections between LDPC codes and ordered phases of matter defined for systems with non-local interactions and on non-Euclidean geometries. We generalize the physical notions of Kramers-Wannier (KW) dualities and gauge theories to this context, using the notion of chain complexes as an organizing principle. We discuss gauge theories based on generic classical LDPC codes and make a distinction between two classes, based on whether their excitations are point-like or extended. For the former, we describe KW dualities, analogous to the 1D Ising model and describe the role played by ``boundary conditions''. For the latter we generalize Wegner's duality to obtain generic quantum LDPC codes within the deconfined phase of a Z_2 gauge theory. We show that all known examples of good quantum LDPC codes are obtained by gauging locally testable classical codes. We also construct cluster Hamiltonians from arbitrary classical codes, related to the Higgs phase of the gauge theory, and formulate generalizations of the Kennedy-Tasaki duality transformation. We use the chain complex language to discuss edge modes and non-local order parameters for these models, initiating the study of SPT phases in non-Euclidean geometries.

arXiv:2310.16032•Oct 24, 2023•4 citations

Invertible Symmetry and Spontaneous Duality Breaking in the Transverse-Field Ising Model

José Dupont, Jasper van Wezel

The self-duality of the transverse-field Ising model is an archetype for dualities that, alongside symmetry and topology, are used as an organizing principle throughout modern physics. This duality, however, is not exact. The original and dual models have different symmetries and numbers of ground states, and the duality is implemented by a non-invertible operator giving rise to a non-invertible symmetry at the quantum critical point. Here, we show that by adjusting the model to accommodate open rather than periodic boundary conditions, it allows for an exact duality implemented by a unique invertible operator. In the model with exact duality, the symmetry at the quantum critical point is also exact, and hence invertible. Moreover, we find that the exact duality necessitates the presence of an anomalous edge degree of freedom, thus realizing a duality rather than topology based bulk-boundary correspondence. Finally, the exactness of the duality implies that the spontaneous breakdown of a global symmetry in terms of the original model can equivalently be described as spontaneously breaking a local symmetry in the dual system. We show that this seeming contradiction of Elitzur's theorem can be explained by the original and dual models obtaining different sensitivities to spatially local perturbations in any physical implementation of the Hamiltonian. Although the dual partners are mathematically equivalent, their physical implementations therefore are not. In analogy to the spontaneous breakdown of symmetries, we term this emergent distinction due to arbitrarily small environmental influences spontaneous duality breaking.

cond-mat.str-elCross-listedarXiv:2605.13363•May 14, 2026•0 citations

Non-onsite symmetry breaking: Topological phase coexistence and criticality

Zhehao Zhang, Yabo Li, Tsung-Cheng Lu

We explore the states of matter arising from the spontaneous symmetry breaking (SSB) of $\mathbb{Z}_2$ non-onsite symmetries. In one spatial dimension, we construct a frustration-free lattice model exhibiting SSB of a non-onsite symmetry, which features the coexistence of two ground states with distinct symmetry-protected topological (SPT) orders. We analytically prove the two-fold ground-state degeneracy and the existence of a finite energy gap. Fixing the symmetry sector yields a long-range entangled ground state that features long-range correlations among non-invertible charged operators. We also present a constant-depth measurement-feedback protocol to prepare such a state with a constant success probability in the thermodynamic limit, which may be of independent interest. Under a symmetric deformation, the SSB persists up to a critical point, beyond which a gapless phase characterized by a conformal field theory emerges. In two spatial dimensions, the SSB of 1-form non-onsite symmetries leads to a long-range entangled state (SPT soup) - a condensate of 1d SPT along any closed loops. On a torus, there are four such locally indistinguishable states that exhibit algebraic correlations between local operators, which we derived via a mapping to the critical $O(2)$ loop model. This constitutes an intriguing example of `topological quantum criticality'.

arXiv:2411.05004•Physical review. B./Physical review. B•Feb 5, 2026•3 citations
Low-density parity check (LDPC) codes are a well known class of Pauli stabiliser Hamiltonians that furnish fixed-point realisations of nontrivial gapped phases such as symmetry breaking and topologically ordered (including fracton) phases. In this work, we propose symmetry-preserving deformations of these models, in the presence of a transverse field, and identify special points along the deformations with interesting features: (i) the special point is frustration-free, (ii) its ground states include a product state and the code space of the underlying code, and (iii) it remains gapped in the thermodynamic (infinite volume) limit. So the special point realises a first-order transition between (or the coexistence of) the trivial gapped phase and the nontrivial gapped phase associated with the code. In addition, if the original model has a non-invertible duality symmetry, then so does the deformed model. In this case, the duality symmetry is spontaneously broken at the special point, consistent with the associated anomaly.
A key step in proving the gap is a coarse-graining/blocking procedure on the Tanner graph of the code that allows us to apply the martingale method successfully. Our model, therefore, provides the first application of the martingale method to a frustration-free model, that is not commuting projector, defined on an arbitrary Tanner graph.
We also discuss several familiar examples on Euclidean spatial lattice. Of particular interest is the 2+1d transverse field Ising model: while there is no non-invertible duality symmetry in this case, our results, together with known numerical results, suggest the existence of a tricritical point in the phase diagram.
We propose and analyze a deformation of the 3+1d3+1\mathrm{d}3+1d lattice Z2{\mathbb{Z}}_{2}Z2​ gauge theory that preserves the noninvertible Wegner duality symmetry at the self-dual point. We identify a frustration-free point along this deformation where there are nine exactly degenerate ground states (on a periodic cubic lattice) even at finite volume. One of these ground states is a trivial product state and the rest are the topologically ordered ground states of the 3+1d3+1\mathrm{d}3+1d toric code, and they are exchanged by the Wegner duality. We also prove that the frustration-free point is gapped in the thermodynamic limit. Our model, therefore, realizes a gapped phase with spontaneously broken Wegner duality symmetry. Furthermore, by imposing the Gauss law constraints energetically, all the above features can be realized on a tensor product Hilbert space. Finally, we discuss a generalization of this deformation to the 3+1d3+1\mathrm{d}3+1d lattice ZN{\mathbb{Z}}_{N}ZN​ gauge theory and conjecture the possible phase diagram.
We generalize the proof of stability of topological order, due to Bravyi, Hastings, and Michalakis, to stabilizer Hamiltonians corresponding to low-density parity-check (LDPC) codes without the restriction of geometric locality in Euclidean space. We consider Hamiltonians H 0 defined by ⟦ N , K , d ⟧ LDPC codes, which obey certain topological quantum order conditions: (i) code distance d ≥ c log  ( N ) , implying local indistinguishability of ground states, and (ii) a mild condition on local and global compatibility of ground states—these include good quantum LDPC codes and the toric code on a hyperbolic lattice, among others. We consider stability under weak perturbations that are quasilocal on the interaction graph defined by H 0 and that can be represented as sums of bounded-norm terms. As long as the local perturbation strength is smaller than a finite constant, we show that the perturbed Hamiltonian has well-defined spectral bands originating from the O ( 1 ) smallest eigenvalues of H 0 . The band originating from the smallest eigenvalue has 2 K states, is separated from the rest of the spectrum by a finite energy gap, and has exponentially narrow bandwidth δ = C N e − Θ ( d ) , which is tighter than the best-known bounds even in the Euclidean case. We also obtain that the new ground-state subspace is related to the initial-code subspace by a quasilocal unitary, allowing one to relate their physical properties. Our proof uses an iterative procedure that performs successive rotations to eliminate non-frustration-free terms in the Hamiltonian. Our results extend to quantum Hamiltonians built from classical LDPC codes, which give rise to stable symmetry-breaking phases. These results show that LDPC codes very generally define stable gapped quantum phases, even in the non-Euclidean setting, initiating a systematic study of such phases of matter.
We continue the study of classical and quantum low-density parity check (LDPC) codes from a physical perspective. We focus on constructive approaches and formulate a general framework for systematically constructing codes with various features on generic Euclidean and non-Euclidean graphs. These codes can serve as fixed-point limits for phases of matter. To build our machinery, we unpack various product constructions from the coding literature in terms of physical principles such as symmetries and redundancies, introduce a new cubic product, and combine these products with the ideas of gauging and Higgsing introduced in Part I. We illustrate the usefulness of this approach in finite Euclidean dimensions by showing that using the one-dimensional Ising model as a starting point, we can systematically produce a very large zoo of classical and quantum phases of matter, including type I and type II fractons and SPT phases with generalized symmetries. We also use the balanced product to construct new Euclidean models, including one with topological order enriched by translation symmetry, and another exotic fracton model whose excitations are formed by combining those of a fractal spin liquid with those of a toric code, resulting in exotic mobility constraints. Moving beyond Euclidean models, we give a review of existing constructions of good qLDPC codes and classical locally testable codes and elaborate on the relationship between quantum code distance and classical energy barriers, discussed in Part I, from the perspective of product constructions.
Low-depth parity check (LDPC) codes are a paradigm of error correction that allow for spatially non-local interactions between (qu)bits, while still enforcing that each (qu)bit interacts only with finitely many others. On expander graphs, they can give rise to ``good codes'' that combine a finite encoding rate with an optimal scaling of the code distance, which governs the code's robustness against noise. Such codes have garnered much recent attention due to two breakthrough developments: the construction of good quantum LDPC codes and good locally testable classical LDPC codes, using similar methods. Here we explore these developments from a physics lens, establishing connections between LDPC codes and ordered phases of matter defined for systems with non-local interactions and on non-Euclidean geometries. We generalize the physical notions of Kramers-Wannier (KW) dualities and gauge theories to this context, using the notion of chain complexes as an organizing principle. We discuss gauge theories based on generic classical LDPC codes and make a distinction between two classes, based on whether their excitations are point-like or extended. For the former, we describe KW dualities, analogous to the 1D Ising model and describe the role played by ``boundary conditions''. For the latter we generalize Wegner's duality to obtain generic quantum LDPC codes within the deconfined phase of a Z_2 gauge theory. We show that all known examples of good quantum LDPC codes are obtained by gauging locally testable classical codes. We also construct cluster Hamiltonians from arbitrary classical codes, related to the Higgs phase of the gauge theory, and formulate generalizations of the Kennedy-Tasaki duality transformation. We use the chain complex language to discuss edge modes and non-local order parameters for these models, initiating the study of SPT phases in non-Euclidean geometries.
The self-duality of the transverse-field Ising model is an archetype for dualities that, alongside symmetry and topology, are used as an organizing principle throughout modern physics. This duality, however, is not exact. The original and dual models have different symmetries and numbers of ground states, and the duality is implemented by a non-invertible operator giving rise to a non-invertible symmetry at the quantum critical point. Here, we show that by adjusting the model to accommodate open rather than periodic boundary conditions, it allows for an exact duality implemented by a unique invertible operator. In the model with exact duality, the symmetry at the quantum critical point is also exact, and hence invertible. Moreover, we find that the exact duality necessitates the presence of an anomalous edge degree of freedom, thus realizing a duality rather than topology based bulk-boundary correspondence. Finally, the exactness of the duality implies that the spontaneous breakdown of a global symmetry in terms of the original model can equivalently be described as spontaneously breaking a local symmetry in the dual system. We show that this seeming contradiction of Elitzur's theorem can be explained by the original and dual models obtaining different sensitivities to spatially local perturbations in any physical implementation of the Hamiltonian. Although the dual partners are mathematically equivalent, their physical implementations therefore are not. In analogy to the spontaneous breakdown of symmetries, we term this emergent distinction due to arbitrarily small environmental influences spontaneous duality breaking.
We explore the states of matter arising from the spontaneous symmetry breaking (SSB) of Z2\mathbb{Z}_2Z2​ non-onsite symmetries. In one spatial dimension, we construct a frustration-free lattice model exhibiting SSB of a non-onsite symmetry, which features the coexistence of two ground states with distinct symmetry-protected topological (SPT) orders. We analytically prove the two-fold ground-state degeneracy and the existence of a finite energy gap. Fixing the symmetry sector yields a long-range entangled ground state that features long-range correlations among non-invertible charged operators. We also present a constant-depth measurement-feedback protocol to prepare such a state with a constant success probability in the thermodynamic limit, which may be of independent interest. Under a symmetric deformation, the SSB persists up to a critical point, beyond which a gapless phase characterized by a conformal field theory emerges. In two spatial dimensions, the SSB of 1-form non-onsite symmetries leads to a long-range entangled state (SPT soup) - a condensate of 1d SPT along any closed loops. On a torus, there are four such locally indistinguishable states that exhibit algebraic correlations between local operators, which we derived via a mapping to the critical O(2)O(2)O(2) loop model. This constitutes an intriguing example of `topological quantum criticality'.