Abstract:Simulating fermionic systems on a quantum computer requires representing fermionic states using qubits. The complexity of many simulation algorithms depends on the complexity of implementing rotations generated by fermionic creation-annihilation operators, and the space depends on the number of qubits used. While standard fermion encodings like Jordan-Wigner are space optimal for arbitrary fermionic systems, physical symmetries like particle conservation can reduce the number of physical configurations, allowing improved space complexity. Such space saving is only feasible if the gate overhead is small, suggesting a (quantum) data structures problem, wherein one would like to minimize space used to represent a fermionic state, while still enabling efficient rotations. We define a structure which naturally captures mappings from fermions to systems of qubits. We then instantiate it in two ways, giving rise to two new second-quantized fermion encodings of $F$ fermions in $M$ modes. An information theoretic minimum of $\mathcal{I}:=\lceil\log \binom{M}{F}\rceil$ qubits is required for such systems, a bound we nearly match over the entire parameter regime. (1) Our first construction uses $\mathcal I+o(\mathcal I)$ qubits when $F=o(M)$, and allows rotations generated by creation-annihilation operators in $O(\mathcal I)$ gates and $O(\log M \log \log M)$ depth. (2) Our second construction uses $\mathcal I+O(1)$ qubits when $F=\Theta(M)$, and allows rotations generated by creation-annihilation operators in $O(\mathcal I^3)$ gates. In relation to comparable prior work, the first represents a polynomial improvement in both space and gate complexity (against Kirby et al. 2022), and the second represents an exponential improvement in gate complexity at the cost of only a constant number of additional qubits (against Harrison et al. or Shee et al. 2022), in the described parameter regimes.

A Sierpinski Triangle Fermion-to-Qubit Transform

Ternary tree transformations are equivalent to linear encodings of the Fock basis

Ternary Tree Fermion-to-Qubit Mapping with Hamiltonian Aware Optimization

The Bonsai algorithm: grow your own fermion-to-qubit mapping

A unified framework of transformations based on the Jordan–Wigner transformation

Succinct Fermion Data Structures

Treespilation: Architecture- and State-Optimised Fermion-to-Qubit Mappings

Quantum Register of Fermion Pairs

Discovering optimal fermion-qubit mappings through algorithmic enumeration

Fermihedral: On the Optimal Compilation for Fermion-to-Qubit Encoding

Fermionic quantum processing with programmable neutral atom arrays

Ultrafast Hybrid Fermion-to-Qubit mapping

Quantum simulation of Fermi-Hubbard model based on transmon qudit interaction

Quantum Computation and Simulation using Fermion-Pair Registers

Reducing Entanglement With Physically-Inspired Fermion-To-Qubit Mappings

Efficient Representation of Gaussian Fermionic Pure States in Non-Computational Bases

Fermion-qubit fault-tolerant quantum computing

Quantum Simulations of SO(5) Many-Fermion Systems using Qudits

Quantum Algorithms for Fermionic Simulations

Experimental Demonstration of Break-Even for the Compact Fermionic Encoding

Optimal Particle-Conserved Linear Encoding for Practical Fermionic Simulation