540 likes | 687 Vues
This document explores the potential of quantum computers to simulate various physical systems, as inspired by Richard Feynman's challenges in quantum mechanics. It discusses efficient methods for simulating quantum systems, particularly Fermi and Bose particles, and the benefits of quantum computing in bypassing classical computational limitations. The work covers universal simulation techniques, including the generalized Jordan-Wigner transformation, and examines quantum networks and algorithms that enable the accurate representation and evolution of quantum states.
E N D
Simulating Physical Systems by Quantum Computers J. E. Gubernatis Theoretical Division Los Alamos National Laboratory
Collaborators • Manny Knill (LANL/NIST-Boulder) • Raymond LaFlamme (LANL/Waterloo) • Camille Negrevergne (LANL/Bordeaux) • Gerardo Ortiz* (LANL) • Rolando Somma (LANL/Bariloche) *Special thanks for most of the drawings
Background • Feynman’s Puzzling Challenge “… the question is, If we wrote a Hamiltonian which involved these [Pauli] operators, locally coupled to corresponding operators on the other space-time points, could we imitate every quantum mechanical system which is discrete and has a finite number of degrees of freedom? I know, almost certainly, that we could do that for any quantum mechanical system which involvesBose particles. I’m not sure whether Fermiparticles could be described by such a system. So I leave that open …” (R. Feynman, 1982)
Background • The Puzzle: Feynman’s main thesis was quantum systems could not be efficiently imitated on classical systems. At the time of his statement • Bose systems were being simulated very well on classical computers using stochastic methods. • Fermi systems were/are having problems, the sign problem, but not for the sign problem mentioned by Feynman. • Negative probabilities (the sign problem) occur because of Fermi statistics and not because of Bell’s inequalities.
Background • In our first work [PRA 64, 22319 (2001)], we • Noted the existence of a general class of operator transformations that allow the mapping of any physical system to another. • If you can simulate Pauli (Bose) systems efficiently, you can simulate any other system efficiently provided you can implement the mapping efficiently. • Demonstrated that in many cases the dynamical sign problem, which plagues simulations on classical computers, will generally not occur on a quantum computer.
Background • In another work [PRA 65, 29902 (2002)], we addressed the question, Will a quantum computer simulate quantum systems more efficiently than a classical computer? • Do the algorithms scale with complexity polynomially? • What are the algorithms? • Can one efficiently simulate Fermi systems? • What are the quantum networks?
Outline • Universal Simulation • Models of computation Algebra of operators • Example: spin-particle connection • Quantum Networks • One and two qubit operations • Quantum Simulation • Initialization • Time evolution • Measurement • Quantum Algorithm • Fermion simulation on a NMR quantum computer.
Universal Simulation • Spin-Particle Connections
Spins ½ & 1D Spins N & n D Fermions Fermions Bosons Anyons Bosons Universal Simulation • Connections made explicit by the generalized Jordan-Wigner Transformation [Batista and Ortiz, PRL 86, 1082 (2001)]
Universal Simulation • Jordan-Wigner/Matsuda-Matsubara Transformations • Example: 1D Jordan-Wigner: Fermion Spin-1/2
Universal Simulation • Two dimensional Extension
Universal Simulation • Anyon-Pauli Algebra Isomorphism
Universal Simulation • Anyon-Pauli Algebra Isomorphism
Quantum Computation • Quantum Control Model • The control Hamiltonian is implemented by a small number of quantum gates
Quantum Computation • Pauli spin representation • Universal gates
Quantum Computation • Fermion representation • Universal gates
Quantum Computation • Boson representation • Possibility of an infinite number of bosons occupying a state presents a problem • If Np is maximum number allowed for entire systems, then a solution is to restrict the boson operators for a given site to a finite basis of states
Quantum Computation • Boson Representation • The commutation relation • For a number of models the total number of Bosons is conserved. • Mapping is now between sets of states and is no longer between operator algebras. • Spin-1/2 gates
Quantum Computation • Boson representation • Example: Mapping chain of 5 sites and 7 bosons into a spin-1/2 state
Quantum Networks • Quantum Bit • Basis • Block sphere
Quantum Networks • Quantum Gates of the Block sphere
Quantum Networks • Hadamard gate
Quantum Networks • C-NOT gate
Quantum Networks • Controlled U
Quantum Networks • For any measurement • To an given initial state, add an ancilla qubit, • Express operators as sums of products of unitary operators, • Perform conditional evolutions by the unitary operators, • Measure state of ancilla qubit.
Quantum Networks • Advantages • Handles non-local observables, • “Non-demolition” measurement, • Knowledge of spectrum of operators or current state of system is not required.
Quantum Networks • 1 Qubit Measurement:
Quantum Networks • L Qubit Measurements:
Quantum Simulation • Three Stages • Preparation of initial state: |(0) • Propagation of initial state • Performance of measurements • Each stage requires controlling the elements of the quantum computer.
Quantum Simulation • Initial state preparation (fermions) • Encompass efficiently initial states of the form
Quantum Simulation • Initial state preparation • Preparation of |
Quantum Simulation • Initial state preparation • If gates and states are in different bases, exploits Thouless’s theorem (generalizes via the JW transformation)
Universal Simulation • Initial state preparation • Performing a sum of Slater determinants is involved. • Result is obtained probabilistically. • The basic steps are: • Add N extra ancilla
Universal Simulation • Initial state preparation • Generate • Apply the procedure to generate |
Universal Simulation • Initial state preparation • Generate • Probability of successful generation is • In general N attempts are necessary for success.
Quantum Simulation • Evolution of initial state
Quantum Simulation • Measurements of evolved state • Two classes were considered: • Correlation Function Measurements • Spectrum of a Hermitian operator
Quantum Simulation • Correlation function:
Quantum Simulation • Details for
Quantum Simulation • Spectrum measurement of Hermitian operator :
Quantum Algorithm for a Quantum System • System to Simulate • Spinless fermion ring with an impurity site • Exactly solvable • Reducible to a three qubit problem: one ancilla and two “physical” qubits. • To measure:
Quantum Algorithm • Fourier transform modes • Spin-Fermion Mapping
Quantum Algorithm • Transformed H • Reduction to 2 Qubit Problem
Quantum Algorithm • Transform correlation function • Approximate unitary evolution • Generate initial state: “Fermi” sea
Quantum Simulation on a Quantum Computer • Implemented the algorithm on a classical computer • Reproduced the exact answer to controllable accuracy • Implemented the algorithm on a 7 qubit liquid state NMR quantum computer • Reproduced the exact result satisfactorily
Quantum Simulation • Experiment vs theory: spectrum of H: • One particle case
Quantum Simulation • Experiment vs Theory: