G. Ortiz,J.E. Gubernatis,E. Knill,R. Laflamme
Abstract:We investigate the simulation of fermionic systems on a quantum computer. We show in detail how quantum computers avoid the dynamical sign problem present in classical simulations of these systems, therefore reducing a problem believed to be of exponential complexity into one of polynomial complexity. The key to our demonstration is the spin-particle connection (or generalized Jordan-Wigner transformation) that allows exact algebraic invertible mappings of operators with different statistical properties. We give an explicit implementation of a simple problem using a quantum computer based on standard qubits.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the dynamical sign problem encountered by classical computers when simulating fermionic systems. The dynamical sign problem is caused by large - scale fluctuations of the phase factor \(e^{i\Phi}\) in the quantum Monte Carlo method on a long - time scale, which makes the statistical error increase exponentially with time. This makes it difficult for classical computers to effectively simulate the dynamic properties of fermionic systems.
The paper proposes that this problem can be avoided by using a quantum computer. Specifically, the paper shows how to use the spin - particle connection (or the generalized Jordan - Wigner transformation) in a quantum computer to accurately map operators with different statistical properties, thereby transforming a problem originally considered to be of exponential complexity into a problem of polynomial complexity. The key to this method is that the quantum computer can avoid the dynamical sign problem that occurs in classical simulations, and thus can complete an efficient simulation of fermionic systems within polynomial time.
### Mathematical Origin of the Dynamical Sign Problem
To understand the mathematical origin of the dynamical sign problem, the paper adopts the Feynman path integral formalization method. In this framework, a quantum problem is mapped to a high - dimensional classical problem and simulated on a classical computer by a probabilistic method. However, for systems containing fermions, this simulation will encounter the dynamical sign problem because the phase factor \(e^{i\Phi}\) will cause significant phase fluctuations on a long - time scale, which makes the statistical error of the calculation result increase rapidly.
### Solutions of Quantum Computers
As a physical system, a quantum computer does not have the dynamical sign problem. The paper proposes a method to convert the local fermionic Hamiltonian into a Hamiltonian in the standard quantum computing model, thereby avoiding the uncontrolled exchange processes that occur in classical simulations, which are the main causes of the fermionic sign problem. In addition, through the standard quantum computing error - correction analysis, the paper also demonstrates that these quantum gates can achieve sufficiently accurate measurements, so that the average value of the measurement results is mainly affected by statistical errors, and the statistical errors are polynomially bounded, thereby eliminating the problems related to phase - weighted averaging.
### Models and Implementations
The paper describes in detail two quantum computing models: the standard quantum computing model (the Deutsch quantum network representation based on qubits) and the fermionic quantum computing model (Grassmann chips). Through the Jordan - Wigner transformation, fermionic operators can be mapped to Pauli matrices, so that the simulation of fermionic systems can be implemented in the standard quantum computing model. The paper also shows how to implement the propagation of fermionic systems through quantum spin gates, and verifies the polynomial scaling characteristics of initial state construction, time propagation, and observable measurement, as well as the control of result errors.
In summary, by proposing a method for simulating fermionic systems using quantum computers, this paper solves the dynamical sign problem encountered by classical computers when dealing with such problems, providing new ideas for the application of quantum computing in the field of physical simulation.