Homological Quantum Error Correction with Torsion
- URL: http://arxiv.org/abs/2405.03559v1
- Date: Mon, 6 May 2024 15:28:21 GMT
- Title: Homological Quantum Error Correction with Torsion
- Authors: Samo Novák,
- Abstract summary: This work is an exploration of the relevant topics, a journey from classical error correction, through homology theory, to CSS codes acting on qudit systems.
We prove an original result, the Structure Theorem for the Qudit Logical Space.
This work introduces our own abstracted and restricted version of the general notion of a cell complex, suited exactly to our needs.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Homological quantum error correction uses tools of algebraic topology and homological algebra to derive Calderbank-Shor-Steane quantum error correcting codes from cellulations of topological spaces. This work is an exploration of the relevant topics, a journey from classical error correction, through homology theory, to CSS codes acting on qudit systems. Qudit codes have torsion in their logical spaces. This is interesting to study because it gives us extra logical qudits, of possibly different dimension. Apart from examples and comments on the topic, we prove an original result, the Structure Theorem for the Qudit Logical Space, an application of the Universal Coefficient Theorem from homological algebra, which gives us information about the logical space when torsion is involved, and that improves on a previous result in the literature. Furthermore, this work introduces our own abstracted and restricted version of the general notion of a cell complex, suited exactly to our needs.
Related papers
- Qudit stabiliser codes for $\mathbb{Z}_N$ lattice gauge theories with matter [42.418429168532406]
We show that a $mathbbZ_N$ gauge theory with prime dimension $N$ coupled to dynamical matter can be expressed as a qudit stabilizer code.<n>Using the stabilizer formalism we show how to formulate an exact mapping of the encoded $mathbbZ_N$ gauge theory onto two different bosonic models.
arXiv Detail & Related papers (2026-02-24T08:07:05Z) - Spectral Codes: A Geometric Formalism for Quantum Error Correction [0.0]
We present a new geometric perspective on quantum error correction based on spectral triples in noncommutative geometry.<n>We show that leakage out of the code space is controlled by the spectral gap of the Dirac operator.
arXiv Detail & Related papers (2026-01-27T16:27:31Z) - Note on Logical Gates by Gauge Field Formalism of Quantum Error Correction [0.0]
We show that logical gates can be expressed as exponential qubits of the electric and magnetic gauge fields.<n>Our results offer new insights into the interplay between quantum error correction, topology, and quantum field theory.
arXiv Detail & Related papers (2025-11-19T08:23:50Z) - Homology, Hopf Algebras and Quantum Code Surgery [55.2480439325792]
We study quantum error-correction codes from an algebraic perspective.<n>We derive new methods of performing fault-tolerant quantum computation.<n>At its core, this thesis asks: what is lattice surgery?
arXiv Detail & Related papers (2025-08-02T21:38:33Z) - On Infinite Tensor Networks, Complementary Recovery and Type II Factors [39.58317527488534]
We study local operator algebras at the boundary of infinite tensor networks.<n>We decompose the limiting Hilbert space and the algebras of observables in a way that keeps track of the entanglement in the network.
arXiv Detail & Related papers (2025-03-31T18:00:09Z) - Anyon Theory and Topological Frustration of High-Efficiency Quantum LDPC Codes [12.383649662360302]
Quantum low-density parity-check (QLDPC) codes present a promising route to low-overhead fault-tolerant quantum computation.
We establish a topological framework for studying the bivariate-bicycle codes, a prominent class of QLDPC codes tailored for real-world quantum hardware.
Novel phenomena are unveiled, including topological frustration, where ground-state degeneracy on a torus deviates from the total anyon number.
arXiv Detail & Related papers (2025-03-06T18:46:14Z) - Geometric structure and transversal logic of quantum Reed-Muller codes [51.11215560140181]
In this paper, we aim to characterize the gates of quantum Reed-Muller (RM) codes by exploiting the well-studied properties of their classical counterparts.
A set of stabilizer generators for a RM code can be described via $X$ and $Z$ operators acting on subcubes of particular dimensions.
arXiv Detail & Related papers (2024-10-10T04:07:24Z) - Error-corrected Hadamard gate simulated at the circuit level [42.002147097239444]
We simulate the logical Hadamard gate in the surface code under a circuit-level noise model.
Our paper is the first to do this for a unitary gate on a quantum error-correction code.
arXiv Detail & Related papers (2023-12-18T19:00:00Z) - Connecting classical finite exchangeability to quantum theory [45.76759085727843]
Exchangeability is a fundamental concept in probability theory and statistics.
It allows to model situations where the order of observations does not matter.
It is well known that both theorems do not hold for finitely exchangeable sequences.
arXiv Detail & Related papers (2023-06-06T17:15:19Z) - Stabilizer Formalism for Operator Algebra Quantum Error Correction [0.0]
We introduce a stabilizer formalism for the general quantum error correction framework called operator algebra quantum error correction (OAQEC)
We formulate a theorem that fully characterizes the Pauli errors that are correctable for a given code.
We show how some recent hybrid subspace code constructions are captured by the formalism.
arXiv Detail & Related papers (2023-04-22T16:45:50Z) - Holographic Codes from Hyperinvariant Tensor Networks [70.31754291849292]
We show that a new class of exact holographic codes, extending the previously proposed hyperinvariant tensor networks into quantum codes, produce the correct boundary correlation functions.
This approach yields a dictionary between logical states in the bulk and the critical renormalization group flow of boundary states.
arXiv Detail & Related papers (2023-04-05T20:28:04Z) - General quantum algorithms for Hamiltonian simulation with applications
to a non-Abelian lattice gauge theory [44.99833362998488]
We introduce quantum algorithms that can efficiently simulate certain classes of interactions consisting of correlated changes in multiple quantum numbers.
The lattice gauge theory studied is the SU(2) gauge theory in 1+1 dimensions coupled to one flavor of staggered fermions.
The algorithms are shown to be applicable to higher-dimensional theories as well as to other Abelian and non-Abelian gauge theories.
arXiv Detail & Related papers (2022-12-28T18:56:25Z) - Quantum Worst-Case to Average-Case Reductions for All Linear Problems [66.65497337069792]
We study the problem of designing worst-case to average-case reductions for quantum algorithms.
We provide an explicit and efficient transformation of quantum algorithms that are only correct on a small fraction of their inputs into ones that are correct on all inputs.
arXiv Detail & Related papers (2022-12-06T22:01:49Z) - Quantum Error Correction with Gauge Symmetries [69.02115180674885]
Quantum simulations of Lattice Gauge Theories (LGTs) are often formulated on an enlarged Hilbert space containing both physical and unphysical sectors.
We provide simple fault-tolerant procedures that exploit such redundancy by combining a phase flip error correction code with the Gauss' law constraint.
arXiv Detail & Related papers (2021-12-09T19:29:34Z) - Understanding holographic error correction via unique algebras and
atomic examples [0.25782420501870296]
We introduce a fully constructive characterisation of holographic quantum error-correcting codes.
We employ quantum circuits to construct a number of examples of holographic codes.
arXiv Detail & Related papers (2021-10-27T18:17:37Z) - Quantum minimal surfaces from quantum error correction [0.0]
We show that complementary state-specific reconstruction of logical (bulk) operators is equivalent to the existence of a quantum minimal surface prescription for physical (boundary) entropies.
We also formalize a definition of bulk reconstruction that we call "state-specific product unitary" reconstruction.
arXiv Detail & Related papers (2021-09-29T18:00:00Z) - Commutative d-Torsion K-Theory and Its Applications [0.0]
Commutative $d$-torsion $K$-theory is a variant of topological $K$-theory constructed from unitary matrices of order dividing $d$.
We modify commutative $d$-torsion $K$-theory into a cohomology theory which can be used for studying operator solutions of linear constraint systems.
arXiv Detail & Related papers (2020-06-13T03:13:28Z) - Ground Subspaces of Topological Phases of Matter as Error Correcting
Codes [0.9306768284179177]
We prove that a lattice implementation of the disk axiom and annulus axiom in TQFTs is essentially the equivalence of TQO1 and TQO2 conditions.
We propose to characterize topological phases of matter via error correcting properties, and refer to gapped fracton models as lax-topological.
arXiv Detail & Related papers (2020-04-24T20:38:10Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.