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:2201.05153 · PRX Quantum

Equivalence between Fermion-to-Qubit Mappings in two Spatial Dimensions

Yu-An Chen, Yijia Xu

Published Mar 13, 2023• 37 citations
arXivHTMLPDF

Abstract

We argue that all locality-preserving mappings between fermionic observables and Pauli matrices on a two-dimensional lattice can be generated from the exact bosonization in Chen et al. [Ann.Phys.(N.Y) 393, 234 (2018)], whose gauge constraints project onto the subspace of the toric code with emergent fermions.Starting from the exact bosonization and applying Clifford finite-depth generalized local unitary transformation, we can achieve all possible fermion-to-qubit mappings (up to the re-pairing of Majorana fermions).In particular, we discover a new supercompact encoding using 1.25 qubits per fermion on the square lattice.We prove the existence of finite-depth quantum circuits to obtain fermion-to-qubit mappings with qubit-fermion ratios r = 1 + 1/2k for positive integers k, utilizing the trivialness of quantum cellular automata in two spatial dimensions.Also, we provide direct constructions of fermion-to-qubit mappings with ratios arbitrarily close to 1.When the ratio reaches 1, the fermion-to-qubit mapping reduces to the one-dimensional Jordan-Wigner transformation along a certain path in the two-dimensional lattice.Finally, we explicitly demonstrate that the Bravyi-Kitaev superfast simulation, the Verstraete-Cirac auxiliary method, Kitaev's exactly solved model, the Majorana loop stabilizer codes, and the compact fermion-to-qubit mapping can all be obtained from the exact bosonization.

DOI
10.1103/prxquantum.4.010326

Related papers

Quantum codes for quantum simulation of fermions on a square lattice of qubits

Mark Steudtner, Stephanie Wehner

Quantum simulation of fermionic systems is a promising application of quantum computers, but to program them, we need to map fermionic states and operators to qubit states and quantum gates. While quantum processors may be built as two-dimensional qubit networks with couplings between nearest neighbors, standard fermion-to-qubit mappings do not account for that kind of connectivity. In this work we concatenate the (one-dimensional) Jordan-Wigner transform with specific quantum codes defined under the addition of a certain number of auxiliary qubits. This yields a class of mappings with which any fermionic system can be embedded in a two-dimensional qubit setup, fostering scalable quantum simulation. Our technique is demonstrated on the two-dimensional Fermi-Hubbard model, which we transform into a local Hamiltonian. What is more, we adapt the Verstraete-Cirac transform and Bravyi-Kitaev superfast simulation to the square lattice connectivity and compare them to our mappings. An advantage of our approach in this comparison is that it allows us to encode and decode a logical state with a simple unitary quantum circuit.

arXiv:1810.02681•Physical Review A•Feb 8, 2019•59 citations

Operator locality in the quantum simulation of fermionic models

Vojtěch Havlíček, Matthias Troyer, James Daniel Whitfield

Simulating fermionic lattice models with qubits requires mapping fermionic degrees of freedom to qubits. The simplest method for this task, the Jordan-Wigner transformation, yields strings of Pauli operators acting on an extensive number of qubits. This overhead can be a hindrance to implementation of qubit-based quantum simulators, especially in the analog context. Here we thus review and analyze alternative fermion-to-qubit mappings, including the two approaches by Bravyi and Kitaev and the auxiliary fermion transformation. The Bravyi-Kitaev transform is reformulated in terms of a classical data structure and generalized to achieve a further locality improvement for local fermionic models on a rectangular lattice. We conclude that the most compact encoding of the fermionic operators can be done using ancilla qubits with the auxiliary fermion scheme. Without introducing ancillas, a variant of the Bravyi-Kitaev transform provides the most compact fermion-to-qubit mapping for Hubbard-like models.

arXiv:1701.07072•Physical Review A•Mar 29, 2017•96 citations

Ultrafast hybrid fermion-to-qubit mapping

Oliver O'Brien, Sergii Strelchuk

Fermion-to-qubit mappings play a crucial role in representing fermionic interactions on a quantum computer. Efficient mappings translate fermionic modes of a system to qubit interactions with a high degree of locality while using few auxiliary resources. We present a family of locality-preserving fermion-to-qubit mappings that require fewer auxiliary qubits than all existing schemes known to date. One instance requires only 1.016 qubits-per-fermion compared with 1.25 for the best-known locality-preserving mapping by Chen and Xu []. Our family of mappings (parameterized by integer n ) establishes a direct trade-off between the number of auxiliary qubits ( 1/n2 ) and the circuit length [O(logn)] . Furthermore, we present a nonlocal variant that combines the strengths of the Jordan-Wigner and Bravyi-Kitaev mappings to give 98% shorter circuits than the Jordan-Wigner mapping. This is achieved by applying seemingly incompatible mappings at different scales, making it possible for their respective strengths to complement each other. Published by the American Physical Society 2024

arXiv:2211.16389•Physical review. B./Physical review. B•Mar 22, 2024•12 citations

Fermion lattices can be simulated by same-size qubit lattices with $\mathcal{O}(1)$ interaction overhead

Gregor Aigner, Berend Klaver, Martin Lanthaler +1 more

Local interactions among electrons underlie many complex properties of correlated materials. While the Jordan-Wigner transformation can preserve this locality along one spatial dimension, interactions along the remaining dimensions typically incur substantial overhead. We show how to simulate all geometrically local interactions on an $N$-site two-dimensional fermion lattice with no asymptotic overhead in the number of interactions and no space overhead. The primary overhead of our method is circuit depth, which on a qubit lattice matches that of fermionic swap networks, scaling as $\mathcal{O}(\sqrt{N})$, but reduces to $\mathcal{O}(\log N)$ on reconfigurable qubit arrays and to $\mathcal{O}(1)$ in lattice-surgery-based surface-code architectures. This is enabled by dynamically reorienting the Jordan-Wigner transformation to switch the lattice dimension along which locality is preserved. Furthermore, we study fermion routing, as required for the simulation of non-local interactions. When using qubit lattices, we reach resource scaling that asymptotically matches that of qubit routing, whilst on fully connected qubit devices, a depth scaling arbitrarily close to $\mathcal{O}(\log N)$ is reached. This allows the fermionic fast Fourier transform to be implemented on qubit lattices with asymptotically optimal resource scaling under these locality constraints. Notably, all of our constructions naturally extend to $d$-dimensional lattices. Beyond scaling improvements, we show explicit examples of our method, including Fermi-Hubbard-model simulations of the square-, Lieb- and kagome lattice and the fermionic fast Fourier transform.

quant-pharXiv:2605.12600•May 14, 2026•0 citations

Majorana-Pauli stabilizer codes and duality webs of fermionic topological phases

Meng Sun, Zongyuan Wang, Nathanan Tantivasadakarn +1 more

Stabilizer codes provide exact lattice realizations of bosonic topological orders. In contrast, systematic stabilizer descriptions of intrinsically fermionic topological phases remain much less developed. In this work, we introduce Majorana-Pauli stabilizer codes, a class of exactly solvable fermionic lattice models whose stabilizers are built from both generalized Pauli operators and Majorana operators. As a main example, we construct an exactly solvable stabilizer realization of the fermionic toric code: an intrinsically fermionic $\mathbb Z_2$ topological order in $(2{+}1)$ dimensions, using $\mathbb Z_8$ Pauli operators coupled to Majorana modes. Within this stabilizer framework, the anyons, string operators, fusion rules, and braiding statistics all follow naturally from the stabilizer algebra. More broadly, we show that the fermionic toric code belongs to a duality web generated by anyon condensation and by gauging or ungauging bosonic or fermionic symmetries. This web connects bosonic topological orders, symmetry-enriched topological (SET) phases, and both bosonic and fermionic symmetry-protected topological (SPT) phases, all within a common stabilizer description. We extend this construction to all Abelian fermionic topological orders with gapped boundaries and to fermionic SPT phases whose fully gauged theories are Abelian. Going beyond Majorana operators, we introduce fermionic versions of the clock and shift operators and use them to construct an exact bosonization map for $\mathbb Z_D^F$ symmetries for $D$ even. Using this, we realize a stabilizer model for a nontrivial $\mathbb Z_8^F$ fermionic SPT phase with no free-fermion analog. Altogether, these results extend the stabilizer-code paradigm to a broad class of intrinsically fermionic phases bridging fermionic quantum many-body physics to quantum error correction.

quant-pharXiv:2606.25048•Jun 25, 2026•0 citations

Exact Bosonization in All Dimensions: the Duality Between Fermionic and Bosonic Phases of Matter

Chen, Yu-An

We describe an n-dimensional (n≥2) analog of the Jordan-Wigner transformation, which maps an arbitrary fermionic system to Pauli matrices while preserving the locality of the Hamiltonian. When the space is simply-connected, this bosonization gives a duality between any fermionic system in arbitrary n spatial dimensions and a new class of (n-1)-form Z₂ gauge theories in n dimensions with a modified Gauss’s law. We describe several examples of 2d bosonization, including free fermions on square and honeycomb lattices and the Hubbard model, and 3d bosonization, including a solvable Z₂ lattice gauge theory with Dirac cones in the spectrum. This bosonization formalism has an explicit dependence on the second Stiefel-Whitney class and a choice of spin structure on the manifold, a key feature for defining fermions. A new formula for Stiefel-Whitney homology classes on lattices is derived. We also derive the Euclidean actions for the corresponding lattice gauge theories from the bosonization. The topological actions contain Chern-Simons terms for (2+1)D or Steenrod Square terms for general dimensions. Finally, we apply the bosonization to construct various bosonic or fermionic symmetry-protectedtopological (SPT) phases. It has been shown that supercohomology fermionic SPT phases are dual to bosonic higher-group SPT phases.

•Jun 9, 2020•0 citations
We argue that all locality-preserving mappings between fermionic observables and Pauli matrices on a two-dimensional lattice can be generated from the exact bosonization in Chen et al. [Ann.Phys.(N.Y) 393, 234 (2018)], whose gauge constraints project onto the subspace of the toric code with emergent fermions.Starting from the exact bosonization and applying Clifford finite-depth generalized local unitary transformation, we can achieve all possible fermion-to-qubit mappings (up to the re-pairing of Majorana fermions).In particular, we discover a new supercompact encoding using 1.25 qubits per fermion on the square lattice.We prove the existence of finite-depth quantum circuits to obtain fermion-to-qubit mappings with qubit-fermion ratios r = 1 + 1/2k for positive integers k, utilizing the trivialness of quantum cellular automata in two spatial dimensions.Also, we provide direct constructions of fermion-to-qubit mappings with ratios arbitrarily close to 1.When the ratio reaches 1, the fermion-to-qubit mapping reduces to the one-dimensional Jordan-Wigner transformation along a certain path in the two-dimensional lattice.Finally, we explicitly demonstrate that the Bravyi-Kitaev superfast simulation, the Verstraete-Cirac auxiliary method, Kitaev's exactly solved model, the Majorana loop stabilizer codes, and the compact fermion-to-qubit mapping can all be obtained from the exact bosonization.
Quantum simulation of fermionic systems is a promising application of quantum computers, but to program them, we need to map fermionic states and operators to qubit states and quantum gates. While quantum processors may be built as two-dimensional qubit networks with couplings between nearest neighbors, standard fermion-to-qubit mappings do not account for that kind of connectivity. In this work we concatenate the (one-dimensional) Jordan-Wigner transform with specific quantum codes defined under the addition of a certain number of auxiliary qubits. This yields a class of mappings with which any fermionic system can be embedded in a two-dimensional qubit setup, fostering scalable quantum simulation. Our technique is demonstrated on the two-dimensional Fermi-Hubbard model, which we transform into a local Hamiltonian. What is more, we adapt the Verstraete-Cirac transform and Bravyi-Kitaev superfast simulation to the square lattice connectivity and compare them to our mappings. An advantage of our approach in this comparison is that it allows us to encode and decode a logical state with a simple unitary quantum circuit.
Simulating fermionic lattice models with qubits requires mapping fermionic degrees of freedom to qubits. The simplest method for this task, the Jordan-Wigner transformation, yields strings of Pauli operators acting on an extensive number of qubits. This overhead can be a hindrance to implementation of qubit-based quantum simulators, especially in the analog context. Here we thus review and analyze alternative fermion-to-qubit mappings, including the two approaches by Bravyi and Kitaev and the auxiliary fermion transformation. The Bravyi-Kitaev transform is reformulated in terms of a classical data structure and generalized to achieve a further locality improvement for local fermionic models on a rectangular lattice. We conclude that the most compact encoding of the fermionic operators can be done using ancilla qubits with the auxiliary fermion scheme. Without introducing ancillas, a variant of the Bravyi-Kitaev transform provides the most compact fermion-to-qubit mapping for Hubbard-like models.
Fermion-to-qubit mappings play a crucial role in representing fermionic interactions on a quantum computer. Efficient mappings translate fermionic modes of a system to qubit interactions with a high degree of locality while using few auxiliary resources. We present a family of locality-preserving fermion-to-qubit mappings that require fewer auxiliary qubits than all existing schemes known to date. One instance requires only 1.016 qubits-per-fermion compared with 1.25 for the best-known locality-preserving mapping by Chen and Xu []. Our family of mappings (parameterized by integer n ) establishes a direct trade-off between the number of auxiliary qubits ( 1/n2 ) and the circuit length [O(logn)] . Furthermore, we present a nonlocal variant that combines the strengths of the Jordan-Wigner and Bravyi-Kitaev mappings to give 98% shorter circuits than the Jordan-Wigner mapping. This is achieved by applying seemingly incompatible mappings at different scales, making it possible for their respective strengths to complement each other. Published by the American Physical Society 2024
Fermion lattices can be simulated by same-size qubit lattices with O(1)\mathcal{O}(1)O(1) interaction overhead
Local interactions among electrons underlie many complex properties of correlated materials. While the Jordan-Wigner transformation can preserve this locality along one spatial dimension, interactions along the remaining dimensions typically incur substantial overhead. We show how to simulate all geometrically local interactions on an NNN-site two-dimensional fermion lattice with no asymptotic overhead in the number of interactions and no space overhead. The primary overhead of our method is circuit depth, which on a qubit lattice matches that of fermionic swap networks, scaling as O(N)\mathcal{O}(\sqrt{N})O(N​), but reduces to O(log⁡N)\mathcal{O}(\log N)O(logN) on reconfigurable qubit arrays and to O(1)\mathcal{O}(1)O(1) in lattice-surgery-based surface-code architectures. This is enabled by dynamically reorienting the Jordan-Wigner transformation to switch the lattice dimension along which locality is preserved. Furthermore, we study fermion routing, as required for the simulation of non-local interactions. When using qubit lattices, we reach resource scaling that asymptotically matches that of qubit routing, whilst on fully connected qubit devices, a depth scaling arbitrarily close to O(log⁡N)\mathcal{O}(\log N)O(logN) is reached. This allows the fermionic fast Fourier transform to be implemented on qubit lattices with asymptotically optimal resource scaling under these locality constraints. Notably, all of our constructions naturally extend to ddd-dimensional lattices. Beyond scaling improvements, we show explicit examples of our method, including Fermi-Hubbard-model simulations of the square-, Lieb- and kagome lattice and the fermionic fast Fourier transform.
Stabilizer codes provide exact lattice realizations of bosonic topological orders. In contrast, systematic stabilizer descriptions of intrinsically fermionic topological phases remain much less developed. In this work, we introduce Majorana-Pauli stabilizer codes, a class of exactly solvable fermionic lattice models whose stabilizers are built from both generalized Pauli operators and Majorana operators. As a main example, we construct an exactly solvable stabilizer realization of the fermionic toric code: an intrinsically fermionic Z2\mathbb Z_2Z2​ topological order in (2+1)(2{+}1)(2+1) dimensions, using Z8\mathbb Z_8Z8​ Pauli operators coupled to Majorana modes. Within this stabilizer framework, the anyons, string operators, fusion rules, and braiding statistics all follow naturally from the stabilizer algebra. More broadly, we show that the fermionic toric code belongs to a duality web generated by anyon condensation and by gauging or ungauging bosonic or fermionic symmetries. This web connects bosonic topological orders, symmetry-enriched topological (SET) phases, and both bosonic and fermionic symmetry-protected topological (SPT) phases, all within a common stabilizer description. We extend this construction to all Abelian fermionic topological orders with gapped boundaries and to fermionic SPT phases whose fully gauged theories are Abelian. Going beyond Majorana operators, we introduce fermionic versions of the clock and shift operators and use them to construct an exact bosonization map for ZDF\mathbb Z_D^FZDF​ symmetries for DDD even. Using this, we realize a stabilizer model for a nontrivial Z8F\mathbb Z_8^FZ8F​ fermionic SPT phase with no free-fermion analog. Altogether, these results extend the stabilizer-code paradigm to a broad class of intrinsically fermionic phases bridging fermionic quantum many-body physics to quantum error correction.
We describe an n-dimensional (n≥2) analog of the Jordan-Wigner transformation, which maps an arbitrary fermionic system to Pauli matrices while preserving the locality of the Hamiltonian. When the space is simply-connected, this bosonization gives a duality between any fermionic system in arbitrary n spatial dimensions and a new class of (n-1)-form Z₂ gauge theories in n dimensions with a modified Gauss’s law. We describe several examples of 2d bosonization, including free fermions on square and honeycomb lattices and the Hubbard model, and 3d bosonization, including a solvable Z₂ lattice gauge theory with Dirac cones in the spectrum. This bosonization formalism has an explicit dependence on the second Stiefel-Whitney class and a choice of spin structure on the manifold, a key feature for defining fermions. A new formula for Stiefel-Whitney homology classes on lattices is derived. We also derive the Euclidean actions for the corresponding lattice gauge theories from the bosonization. The topological actions contain Chern-Simons terms for (2+1)D or Steenrod Square terms for general dimensions. Finally, we apply the bosonization to construct various bosonic or fermionic symmetry-protectedtopological (SPT) phases. It has been shown that supercohomology fermionic SPT phases are dual to bosonic higher-group SPT phases.