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.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: **How to find the optimal Fermion - to - Qubit Encoding for a specific fermionic system Hamiltonian in order to minimize the costs such as the number of gates and circuit depth in the quantum circuit implementation, thereby improving the efficiency and accuracy of quantum simulation.** Specifically, the Fermion - to - Qubit Encoding is a crucial step in simulating fermionic systems in quantum computing. Since fermions and qubits have different statistical properties, this encoding is not unique, and different encodings will lead to significantly different execution costs. Therefore, finding the optimal encoding scheme is essential for efficiently simulating fermionic systems. The paper proposes a compilation framework named **Fermihedral**, which solves this problem in the following ways: 1. **Using Pauli algebra to transform complex constraints into Boolean satisfiability problems (SAT problems)**: - Fermihedral redefines the complex constraints and goals in the Fermion - to - Qubit Encoding and transforms them into Boolean satisfiability problems. - It uses efficient SAT solvers to solve these Boolean expressions, thereby finding the optimal encoding scheme. 2. **Proposing two new strategies to handle approximate optimal solutions in large - scale scenarios**: - In response to the exponential growth of the number of Boolean clauses in large - scale scenarios, two strategies are proposed to provide approximate optimal solutions, thereby reducing the computational cost. - These strategies include ignoring algebraic independence and using the simulated annealing algorithm. 3. **Evaluation and experimental verification**: - Evaluations were carried out on multiple fermionic systems, and the results show that Fermihedral performs excellently in reducing implementation costs, the number of gates, and circuit depth. - Experimental results indicate that Fermihedral can significantly improve the simulation accuracy on ion - trap devices. In summary, Fermihedral successfully finds the optimal encoding scheme by formulating the Fermion - to - Qubit Encoding problem as a Boolean satisfiability problem and combining efficient solution strategies, thereby improving the efficiency and accuracy of quantum simulation of fermionic systems. ### Related Formulas - **Anticommutation Relations**: \[ \{a_i, a_j\} = \{a^\dagger_i, a^\dagger_j\} = 0 \] \[ \{a^\dagger_i, a_j\} = I \delta_{ij} \] - **Pauli Operator Multiplication Encoding**: \[ E(\sigma_3).1 = E(\sigma_1).1 \oplus E(\sigma_2).1 \] \[ E(\sigma_3).2 = E(\sigma_1).2 \oplus E(\sigma_2).2 \] - **Boolean Expression of Anticommutativity Constraints**: \[ \text{acomm}(E(\sigma_1), E(\sigma_2))=(E(\sigma_1).1 \land \neg E(\sigma_2).1 \land E(\sigma_2).2) \lor (E(\sigma_1).2 \land E(\sigma_2).1 \land \neg E(\sigma_2).2) \lor (E(\sigma_2).1 \land \neg E(\sigma_1).1 \land E(\sigma_1).2) \lor (E(\sigma_2).2 \land E(\sigma_1).1 \land \neg E(\sigma_1).2) \] - **Vacuum State Preservation Constraints**: \[ M_{2j}+iM_{2j + 1}|0\rangle^{\otimes N}=0 \] - **Pauli Weight Constraints**: \[ \text{weight}(E(\sigma)) = E(\sigma).1 \lor E(\sigma)

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

Ever more optimized simulations of fermionic systems on a quantum computer

Discovering optimal fermion-qubit mappings through algorithmic enumeration

Bosehedral: Compiler Optimization for Bosonic Quantum Computing

Fermionic quantum processing with programmable neutral atom arrays

Succinct Fermion Data Structures

Qompress: Efficient Compilation for Ququarts Exploiting Partial and Mixed Radix Operations for Communication Reduction

Fermionic Simulators for Enhanced Scalability of Variational Quantum Simulation

Compilation for Dynamically Field-Programmable Qubit Arrays with Efficient and Provably Near-Optimal Scheduling

Q-Pilot: Field Programmable Qubit Array Compilation with Flying Ancillas

Qubit-efficient encoding scheme for quantum simulations of electronic structure

2QAN: A quantum compiler for 2-local qubit Hamiltonian simulation algorithms

Experimental Demonstration of Break-Even for the Compact Fermionic Encoding

Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors

Optimal Particle-Conserved Linear Encoding for Practical Fermionic Simulation

Highly optimized quantum circuits synthesized via data-flow engines

Fermion-qubit fault-tolerant quantum computing

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

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

Quantum CISC Compilation by Optimal Control and Scalable Assembly of Complex Instruction Sets beyond Two-Qubit Gates