Abstract:Simulating fermionic systems on a quantum computer requires a high-performing mapping of fermionic states to qubits. A characteristic of an efficient mapping is its ability to translate local fermionic interactions into local qubit interactions, leading to easy-to-simulate qubit Hamiltonians. All fermion-qubit mappings must use a numbering scheme for the fermionic modes in order for translation to qubit operations. We make a distinction between the unordered labelling of fermions and the ordered labelling of the qubits. This separation shines light on a new way to design fermion-qubit mappings by making use of the enumeration scheme for the fermionic modes. The purpose of this paper is to demonstrate that this concept permits notions of fermion-qubit mappings that are optimal with regard to any cost function one might choose. Our main example is the minimisation of the average number of Pauli matrices in the Jordan-Wigner transformations of Hamiltonians for fermions interacting in square lattice arrangements. In choosing the best ordering of fermionic modes for the Jordan-Wigner transformation, and unlike other popular modifications, our prescription does not cost additional resources such as ancilla qubits. We demonstrate how Mitchison and Durbin's enumeration pattern minimises the average Pauli weight of Jordan-Wigner transformations of systems interacting in square lattices. This leads to qubit Hamiltonians consisting of terms with average Pauli weights 13.9% shorter than previously known. By adding only two ancilla qubits we introduce a new class of fermion-qubit mappings, and reduce the average Pauli weight of Hamiltonian terms by 37.9% compared to previous methods. For $n$-mode fermionic systems in cellular arrangements, we find enumeration patterns which result in $n^{1/4}$ improvement in average Pauli weight over naïve schemes.

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

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

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

Discovering optimal fermion-qubit mappings through algorithmic enumeration

Ultrafast Hybrid Fermion-to-Qubit mapping

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

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

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

A Sierpinski Triangle Fermion-to-Qubit Transform

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

PauliForest: Connectivity-Aware Synthesis and Pauli-Oriented Qubit Mapping for Near Term Quantum Simulation

Hungarian Qubit Assignment for Optimized Mapping of Quantum Circuits on Multi-Core Architectures

Riemannian quantum circuit optimization for Hamiltonian simulation

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

Lowering qubit requirements for quantum simulations of fermionic systems

Gate Efficient Composition of Hamiltonian Simulation and Block-Encoding with its Application on HUBO, Fermion Second-Quantization Operators and Finite Difference Method

Hybrid Oscillator-Qubit Quantum Processors: Simulating Fermions, Bosons, and Gauge Fields

Fermionic Simulators for Enhanced Scalability of Variational Quantum Simulation

Low-depth simulations of fermionic systems on square-grid quantum hardware

Efficient Hamiltonian programming in qubit arrays with nearest-neighbour couplings