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.

Complexity of Fermionic 2-SAT

An Almost Sudden Jump in Quantum Complexity

Quantum 2-SAT on low dimensional systems is $\mathsf{QMA}_1$-complete: Direct embeddings and black-box simulation

Succinct Fermion Data Structures

Complexity of fermionic states

3-SAT solver for two-way quantum computers

Fermionic Independent Set and Laplacian of an independence complex are QMA-hard

Complexity of Supersymmetric Systems and the Cohomology Problem

Solving Free Fermion Problems on a Quantum Computer

Commuting Local Hamiltonian Problem on 2D beyond qubits

Classical-Quantum Separations in Certain Classes of Boolean Functions-- Analysis using the Parity Decision Trees

A Polynomial Time Bounded-error Quantum Algorithm for Boolean Satisfiability

Towards a universal gateset for $\mathsf{QMA}_1$

SAT problem and statistical distance

(2+ f(n))-SAT and Its Properties.

On the solution space of Quantum 2-SAT problems

Quantum Computational Complexity and Symmetry

Second-quantized fermionic operators with polylogarithmic qubit and gate complexity

A Graph-Theoretic Framework for Free-Parafermion Solvability

Adiabatic Quantum Computation with the Fermionic Position Space Schrödinger Equation