Efekan Kökcü,Daan Camps,Lindsay Bassman Oftelie,Wibe A. de Jong,Roel Van Beeumen,A. F. Kemper
Abstract:Recently we developed a local and constructive algorithm based on Lie algebraic methods for compressing Trotterized evolution under Hamiltonians that can be mapped to free fermions. The compression algorithm yields a circuit which scales linearly in the number of qubits, is fixed depth for for arbitrarily long evolution times and is applicable to time dependent Hamiltonians, although is limited to simple nearest-neighbor spin interactions and fermionic hopping. In this work, we extend the algorithm to compress circuits simulating evolution with long-range spin interactions and fermionic hopping, thereby enabling embedding of arbitrary lattices onto a chain of qubits. Moreover, we show that controlled time evolution, as well as fermion creation and annihilation operators can also be compressed. We demonstrate our results by adiabatically preparing the ground state for a half-filled fermionic chain, and simulating a $4 \times 4$ tight binding model on ibmq_washington. With these new developments, our results enable the simulation of a wider range of models of interest and the efficient compression of subcircuits.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the efficiency problem encountered when quantum circuits simulate the time evolution of free fermion systems. Specifically, the authors developed a local construction algorithm based on the Lie algebra method to compress the time evolution of Hamiltonians that can be mapped to free fermions. The circuits generated by this compression algorithm have the following characteristics:
1. **Linear Scaling**: The size of the circuit grows linearly with the number of qubits.
2. **Fixed Depth**: For any long evolution time, the depth of the circuit remains unchanged.
3. **Applicable to Time - Dependent Hamiltonians**: Although currently limited to simple nearest - neighbor spin interactions and fermion hopping, the algorithm can handle time - dependent Hamiltonians.
In this paper, the authors further extended this algorithm to solve the following problems:
1. **Long - Range Spin Interactions and Fermion Hopping**: Enable the algorithm to embed any lattice onto a qubit chain.
2. **Controlled Time Evolution**: And the compression of fermion creation and annihilation operators.
3. **Enhanced Circuit Compression Ability**: By introducing new B - block and P - block mappings, more types of quantum circuit elements can be compressed.
These improvements enable the algorithm to be more widely applied to the quantum simulation of physical and chemical systems and can efficiently compress sub - circuits.
### Main Contributions
1. **Compression of Long - Range Fermion Hopping**: By introducing the fermion - swap gate (FSWAP), the compression of long - range fermion hopping is achieved.
2. **Compression of Single - Particle Creation/Annihilation Operators**: By extending the TFIM and TFXY block mappings, the compression of single - particle creation/annihilation operators is achieved.
3. **Compression of Controlled Free Fermion Evolution**: By defining a new P - block and its properties, the compression of controlled free fermion evolution is achieved.
### Application Examples
1. **Adiabatic State Preparation**: Prepare the ground state of a one - dimensional free fermion chain through an adiabatic process.
2. **Simulation of a 4x4 Tight - Binding Model**: Successfully simulate a 16 - qubit 2D free fermion evolution on an IBM quantum computer, demonstrating high fidelity in both ordered and disordered regions.
### Mathematical Foundations
- **Block Mapping**: Define blocks (B - block) that satisfy the fusion, exchange, and flipping properties.
- **P - block**: Define a new P - block and its properties, including P - fusion, P - exchange, and P - flipping.
- **Diamond Structure**: By combining P - block and B - block, it is proved that any circuit composed of these blocks can be compressed into a diamond structure.
### Formulas
- **Hamiltonian**:
\[
H(t)=\sum_{i,j}\left(h_{ij}(t)c_i^{\dagger}c_j + p_{ij}(t)c_ic_j+q_i(t)c_i\right)+\text{h.c.}
\]
- **Fermion - Swap Gate**:
\[
F_{i,i + 1}=i\begin{bmatrix}
1&0&0&0\\
0&0&1&0\\
0&1&0&0\\
0&0&0&- 1
\end{bmatrix}
\]
- **Controlled TFXY Block**:
\[
P_{\text{TFXY}}(\theta)=e^{i\theta Z_0Z_1}
\]
Through these improvements, the authors significantly improve the efficiency of quantum circuits, enabling them to be better applied to actual physical and chemical problems.