Fermihedral: On the Optimal Compilation for Fermion-to-Qubit Encoding
arXiv:2403.17794 · doi:10.1145/3620666.3651371
Abstract
This paper introduces Fermihedral, a compiler framework focusing on discovering the optimal Fermion-to-qubit encoding for targeted Fermionic Hamiltonians. Fermion-to-qubit encoding is a crucial step in harnessing quantum computing for efficient simulation of Fermionic quantum systems. Utilizing Pauli algebra, Fermihedral redefines complex constraints and objectives of Fermion-to-qubit encoding into a Boolean Satisfiability problem which can then be solved with high-performance solvers. To accommodate larger-scale scenarios, this paper proposed two new strategies that yield approximate optimal solutions mitigating the overhead from the exponentially large number of clauses. Evaluation across diverse Fermionic systems highlights the superiority of Fermihedral, showcasing substantial reductions in implementation costs, gate counts, and circuit depth in the compiled circuits. Real-system experiments on IonQ's device affirm its effectiveness, notably enhancing simulation accuracy.
References in corpus (15)
- Gapless Spin-Fluid Ground State in a Random Quantum Heisenberg Magnet
- Quantum computational chemistry
- Fermionic quantum computation
- Tapering off qubits to simulate fermionic Hamiltonians
- A comparison of the Bravyi-Kitaev and Jordan-Wigner transformations for the quantum simulation of quantum chemistry
- Optimal Layout Synthesis for Quantum Computing
- Phase Gadget Synthesis for Shallow Circuits
- Optimal fermion-to-qubit mapping via ternary trees with applications to reduced quantum states learning
- Circuit optimization of Hamiltonian simulation by simultaneous diagonalization of Pauli clusters
- Optimal Qubit Mapping with Simultaneous Gate Absorption
- Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems
- Architecture-Aware Synthesis of Phase Polynomials for NISQ Devices
- Term Grouping and Travelling Salesperson for Digital Quantum Simulation
- A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz
- Analysis of Superfast Encoding Performance for Electronic Structure Simulations