Thermal State Preparation via Rounding Promises

Patrick Rall,Chunhao Wang,Pawel Wocjan
DOI: https://doi.org/10.22331/q-2023-10-10-1132
2023-10-04
Abstract:A promising avenue for the preparation of Gibbs states on a quantum computer is to simulate the physical thermalization process. The Davies generator describes the dynamics of an open quantum system that is in contact with a heat bath. Crucially, it does not require simulation of the heat bath itself, only the system we hope to thermalize. Using the state-of-the-art techniques for quantum simulation of the Lindblad equation, we devise a technique for the preparation of Gibbs states via thermalization as specified by the Davies generator. In doing so, we encounter a severe technical challenge: implementation of the Davies generator demands the ability to estimate the energy of the system unambiguously. That is, each energy of the system must be deterministically mapped to a unique estimate. Previous work showed that this is only possible if the system satisfies an unphysical 'rounding promise' assumption. We solve this problem by engineering a random ensemble of rounding promises that simultaneously solves three problems: First, each rounding promise admits preparation of a 'promised' thermal state via a Davies generator. Second, these Davies generators have a similar mixing time as the ideal Davies generator. Third, the average of these promised thermal states approximates the ideal thermal state.
Quantum Physics
What problem does this paper attempt to address?
### What problem does this paper attempt to solve? This paper aims to solve the problem of efficiently preparing Gibbs states on a quantum computer. Gibbs states are states that describe quantum systems in thermal equilibrium and are crucial for tasks such as simulating many - body quantum systems, solving semidefinite programming problems, and training quantum Boltzmann machines. Specifically, the paper explores approximating the preparation of Gibbs states of an arbitrary system Hamiltonian by simulating a specific Lindblad equation, especially the Davies generator. The Davies generator describes the dynamic process when an open quantum system is in contact with a heat reservoir, but it does not require directly simulating the heat reservoir itself, only the system that we want to thermalize. #### Main Challenges 1. **Accuracy of Energy Estimation**: The implementation of the Davies generator requires being able to unambiguously estimate the energy of the system, that is, each energy must be uniquely mapped to a definite estimated value. However, for a general Hamiltonian, energy estimation will inevitably produce superposition states of different estimated values. 2. **The "Rounding - Commitment" Assumption**: The "rounding - commitment" assumption used in previous studies requires the system to satisfy some unrealistic conditions, which makes it difficult to implement in practical applications. #### Solutions The authors propose a new method to solve the above problems by constructing a random set of "rounding - commitments". These rounding - commitments have the following three advantages: 1. **Achievability**: Each rounding - commitment allows preparing a "committed" thermal state through the Davies generator. 2. **Similar Mixing Time**: The mixing times of these Davies generators are similar to those of the ideal Davies generator. 3. **Average Approximation**: The average of these committed thermal states can well approximate the ideal thermal state. #### Technical Details - **Rounding - Commitment Subspace**: By defining the rounding - commitment subspace, unambiguous energy estimation can be carried out within this subspace, thus realizing the correct simulation of the Davies generator. - **Error Control**: The paper analyzes various sources of error in detail and provides strict mathematical proofs to ensure the accuracy of the algorithm. - **Efficiency Improvement**: By directly simulating Lindblad dynamics, the complex processing of the bath environment is avoided, and a time - evolution simulation on a linear scale is achieved. In conclusion, this paper proposes a new method that can efficiently and accurately prepare Gibbs states on a quantum computer, providing important support for the development of quantum simulation and quantum algorithms.