Abstract:Dissipative engineering is a powerful tool for quantum state preparation, and has drawn significant attention in quantum algorithms and quantum many-body physics in recent years. In this work, we introduce a novel approach using the Lindblad dynamics to efficiently prepare the ground state for general ab initio electronic structure problems on quantum computers, without variational parameters. These problems often involve Hamiltonians that lack geometric locality or sparsity structures, which we address by proposing two generic types of jump operators for the Lindblad dynamics. Type-I jump operators break the particle number symmetry and should be simulated in the Fock space. Type-II jump operators preserves the particle number symmetry and can be simulated more efficiently in the full configuration interaction space. For both types of jump operators, we prove that in a simplified Hartree-Fock framework, the spectral gap of our Lindbladian is lower bounded by a universal constant. For physical observables such as energy and reduced density matrices, the convergence rate of our Lindblad dynamics with Type-I jump operators remains universal, while the convergence rate with Type-II jump operators only depends on coarse grained information such as the number of orbitals and the number of electrons. To validate our approach, we employ a Monte Carlo trajectory-based algorithm for simulating the Lindblad dynamics for full ab initio Hamiltonians, demonstrating its effectiveness on molecular systems amenable to exact wavefunction treatment.
What problem does this paper attempt to address?
This paper attempts to address the problem of efficiently preparing the ground state of general ab initio electronic structure problems on a quantum computer without using variational parameters. Specifically, the authors introduce a new method that utilizes Lindblad dynamics to achieve this goal. This method is particularly suitable for Hamiltonians that lack geometric locality or sparse structure, which is a common issue in quantum chemistry and materials science.
### Main Problems
1. **Ground State Preparation**: How to efficiently prepare the ground state of general ab initio electronic structure problems on a quantum computer?
2. **Complexity of Hamiltonians**: Many ab initio Hamiltonians lack specific geometric locality or sparse structure, making it very difficult to design dissipative terms.
3. **No Variational Parameters**: How to achieve efficient ground state preparation without using variational parameters?
### Solution
1. **Lindblad Dynamics**: The authors propose using Lindblad dynamics to prepare the ground state. Lindblad dynamics is an equation that describes the evolution of open quantum systems and can guide the system to the desired ground state by designing appropriate jump operators.
2. **Two Types of Jump Operators**:
- **Type-I Jump Operators**: Break particle number symmetry and must be simulated in Fock space.
- **Type-II Jump Operators**: Preserve particle number symmetry and can be more efficiently simulated in the Full Configuration Interaction (FCI) space.
3. **Theoretical Analysis**: The authors prove that the spectral gap of the Lindbladian has a universal lower bound within the simplified Hartree-Fock framework. For physical observables such as energy and reduced density matrices, the convergence rate of Type-I jump operators is universal, while the convergence rate of Type-II jump operators depends only on coarse-grained information such as the number of orbitals and electrons.
4. **Numerical Validation**: The authors use a Monte Carlo trajectory-based algorithm to simulate Lindblad dynamics and validate its effectiveness on molecular systems, particularly those that allow for exact wavefunction treatment.
### Key Contributions
1. **Generality**: This method is applicable to general ab initio electronic structure problems without the need for adjustments based on specific chemical details.
2. **Efficiency**: By designing appropriate jump operators, the mixing time can be significantly reduced, thereby improving the efficiency of ground state preparation.
3. **Theoretical Guarantee**: Within the Hartree-Fock framework, the authors prove that the spectral gap of the Lindbladian has a universal lower bound, ensuring the reliability of the method.
### Application Examples
The authors conducted numerical validation on several molecular systems, including BeH₂, H₂O, Cl₂, etc., which allow for exact wavefunction treatment. Additionally, they applied the method to the H₄ system with nearly degenerate low-energy states, demonstrating that the method can achieve chemical accuracy even in strongly correlated regions.
In summary, this paper proposes a new method that utilizes Lindblad dynamics to efficiently prepare the ground state of general ab initio electronic structure problems on a quantum computer, addressing the challenges posed by Hamiltonians lacking geometric locality and sparse structure, and providing both theoretical and numerical validation.