Error-correcting codes for fermionic quantum simulation

Abstract

Utilizing the framework of ${\mathbb{Z}}_2$ lattice gauge theories in the context of Pauli stabilizer codes, we present methodologies for simulating fermions via qubit systems on a two-dimensional square lattice. We investigate the symplectic automorphisms of the Pauli module over the Laurent polynomial ring. This enables us to systematically increase the code distances of stabilizer codes while fixing the rate between encoded logical fermions and physical qubits. We identify a family of stabilizer codes suitable for fermion simulation, achieving code distances of $d=2,3,4,5,6,7$, allowing correction of any $\lfloor \frac{d-1}{2}\rfloor$-qubit error. In contrast to the traditional code concatenation approach, our method can increase the code distances without decreasing the (fermionic) code rate. In particular, we explicitly show all stabilizers and logical operators for codes with code distances of $d=3,4,5$. We provide syndromes for all Pauli errors and invent a syndrome-matching algorithm to compute code distances numerically.

arXiv comment29 pages, 7 figures. Fixed typos

References in corpus (54)

• Fault-tolerant quantum computation by anyons
• Anyons in an exactly solved model and beyond
• Surface codes: Towards practical large-scale quantum computation
• Improved Simulation of Stabilizer Circuits
• Fermionic quantum computation
• Experimental realization of a long-range antiferromagnet in the Hubbard model with ultracold atoms
• Stabilizer Codes and Quantum Error Correction
• Instantaneous non-local computation of low T-depth quantum circuits
• The Heisenberg Representation of Quantum Computers
• Quantum orders in an exact soluble model
• A New Kind of Topological Quantum Order: A Dimensional Hierarchy of Quasiparticles Built from Stationary Excitations
• Topological Order with a Twist: Ising Anyons from an Abelian Model
• Quantum simulation of a Fermi-Hubbard model using a semiconductor quantum dot array
• Digital quantum simulation of fermionic models with a superconducting circuit
• Mapping local Hamiltonians of fermions to local Hamiltonians of spins
• Quantum LDPC Codes with Almost Linear Minimum Distance
• Poking holes and cutting corners to achieve Clifford gates with the surface code
• A Compact Fermion to Qubit Mapping
• Lowering qubit requirements for quantum simulations of fermionic systems
• Superfast encodings for fermionic quantum simulation
• Commuting Pauli Hamiltonians as maps between free modules
• Observation of separated dynamics of charge and spin in the Fermi-Hubbard model
• Fermionic quantum processing with programmable neutral atom arrays
• Fermions without fermi fields
• Exact bosonization in two spatial dimensions and a new class of lattice gauge theories
• Local spin operators for fermion simulations
• Bosonization in three spatial dimensions and a 2-form gauge theory
• Optimal fermion-to-qubit mapping via ternary trees with applications to reduced quantum states learning
• Bifurcation in entanglement renormalization group flow of a gapped spin model
• Quantum codes for quantum simulation of Fermions on a square lattice of qubits
• Majorana loop stabilizer codes for error correction of fermionic quantum simulations
• Sorting topological stabilizer models in three dimensions
• Algebraic Methods for Quantum Codes on Lattices
• Clifford Quantum Cellular Automata: Trivial group in 2D and Witt group in 3D
• Exact bosonization in arbitrary dimensions
• Jordan-Wigner Dualities for Translation-Invariant Hamiltonians in Any Dimension: Emergent Fermions in Fracton Topological Order
• Classification of translation invariant topological Pauli stabilizer codes for prime dimensional qudits on two-dimensional lattices
• Equivalence between fermion-to-qubit mappings in two spatial dimensions
• Boson-fermion duality with subsystem symmetry
• Variational solutions to fermion-to-qubit mappings in two spatial dimensions
• Bosonization based on Clifford algebras and its gauge theoretic interpretation
• Optimizing fermionic encodings for both Hamiltonian and hardware
• A unified framework of transformations based on the Jordan-Wigner transformation
• A Compact Fermion to Qubit Mapping Part 2: Alternative Lattice Geometries
• Discovering optimal fermion-qubit mappings through algorithmic enumeration
• Constraints of kinematic bosonization in two and higher dimensions
• Berry Phases of Vison Transport in ${\mathbb{Z}}_2$ Topologically Ordered States from Exact Fermion-Flux Lattice Dualities
• Good quantum LDPC codes with linear time decoder from lossless expanders
• Benchmarking a novel efficient numerical method for localized 1D Fermi-Hubbard systems on a quantum simulator
• Symmetric Jordan-Wigner transformation in higher dimensions
• Bosonization of Majorana modes and edge states
• Logical fermions for fault-tolerant quantum simulation
• Simulating quantum error mitigation in fermionic encodings
• Reducing the qubit requirement of Jordan-Wigner encodings of $N$-mode, $K$-fermion systems from $N$ to $\lceil {\log }_2\left(\genfrac{}{}{0ex}{}{N}{K}\right)\rceil$

Cited by in corpus (7)

• Quantum Computing for High-Energy Physics: State of the Art and Challenges. Summary of the QC4HEP Working Group
• Extracting topological orders of generalized Pauli stabilizer codes in two dimensions
• Generalized toric codes on twisted tori for quantum error correction
• Fault-tolerant simulation of Lattice Gauge Theories with gauge covariant codes
• Accelerating Fermionic System Simulation on Quantum Computers
• Near-Term Fermionic Simulation with Subspace Noise Tailored Quantum Error Mitigation
• Quantum Error Correction Codes for Truncated SU(2) Lattice Gauge Theories