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

Geometry of Kirkwood-Dirac classical states: A case study based on discrete Fourier transform

Geometry of Kirkwood-Dirac classical states: A case study based on discrete Fourier transform

Characterizing the geometry of the Kirkwood-Dirac positive states

Kirkwood-Dirac classical pure states

The set of Kirkwood-Dirac positive states is almost always minimal

Characterizing Kirkwood-Dirac nonclassicality and uncertainty diagram based on discrete Fourier transform

Sufficient conditions, lower bounds and trade-off relations for quantumness in Kirkwood-Dirac quasiprobability

Convex roofs witnessing Kirkwood-Dirac nonpositivity

General quantum correlation from nonreal values of Kirkwood-Dirac quasiprobability over orthonormal product bases

On Kirkwood--Dirac quasiprobabilities and unravelings of quantum channel assigned to a tight frame

Properties and Applications of the Kirkwood-Dirac Distribution

Kirkwood-Dirac representations beyond quantum states (and their relation to noncontextuality)

Advantages of the Kirkwood–Dirac distribution among general quasi-probabilities on finite-state quantum systems

Quantifying quantum coherence via nonreal Kirkwood-Dirac quasiprobability

Quantum coherence from Kirkwood-Dirac nonclassicality, some bounds, and operational interpretation

Advantages of the Kirkwood-Dirac distribution among general quasi-probabilities for finite-state quantum systems

Some Characterizations for Partial Classical Correlation States in Multipartite Quantum Systems

Distinguishing quantum states using Clifford orbits

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

A practical framework for analyzing high-dimensional QKD setups