Quantum Simulation/Digital quantum simulation
Resource type: this resource contains a lecture or lecture notes. |
Quantum logic gates[edit]
While the possibilities for quantum simulation based on ultracold atoms outlined previously have great potential, they are also somewhat constrained by the limits imposed by the contact interaction. In principle, it is possible to also include different interaction mechanisms such as the long-ranged dipole-dipole interaction ^{[1]}, but as the ultimate goal, we would like to have a quantum simulator capable of simulating any quantum system. For practical purposes, we restrict the definition of such a universal quantum simulator to the simulation of Hamiltonians with short-ranged interactions ^{[2]}, as all physical interactions reduce to purely local interaction at some point. Similar to numerical simulations on classical computers, it is also helpful to introduce abstraction layers so that we can use suitable approximations for the inner workings of the quantum simulator. If we decide to ignore the actual physical implementation for now, the lowest level we can consider is given by quantum logic gates, which have originally been discussed in the context of quantum computing ^{[3]}
Quantum logic gates are represented by unitary matrices that transform the quantum state before the operation into another after the application of the quantum gate. As such, they can be seen as the time-evolution operator acting for discrete timesteps,
The basis set for the quantum state is given by a product basis of two-level systems (quantum bits or "qubits"),
We can also think of the operation to be constructed out of several smaller building blocks,
For simplicity, we want to restrict ourselves to a universal set of quantum gates that can be used to construct any other gate from it. This can be realized by a set of three quantum gates, including the rotation gate,
where is an arbitrary rotation angle. To construct any other single qubit quantum gate, we need a second gate that does not commute with . The most convenient choice is the Hadamard gate given by
The Hadamard gate can be used to transform into and vice versa, i.e.,
Note that while the Hadamard gate is Hermitian, , most quantum gates are not. Finally, rotations about the axis can be constructed as
Single qubit rotation do not allow us to generate entanglement between the qubits. Therefore, it is necessary to include a two-qubit quantum gate, which is most coveniently chosen as the controlled-not (CNOT) gate, acting on two qubits and as
Its function can be understood as follows: If the "control" qubit is in the 0 state, nothing happens. However, if is in 1, the target qubit gets flipped by the operation. As an example, let us study the creation of entanglement between two qubits by a gate sequence consisting of a single Hadamard gate, followed by a CNOT operation. The qubits are initialized in the product state . Then, we have
which is a maximally entangled state as its reduced density matrix is the maximally mixed state. The set of , , and forms a universal set for all -qubit quantum gates ^{[4]}.
It is often convenient to use a pictorial representation for quantum gate networks, also known as quantum circuits. Each qubit is represented by a straight line, with the horizontal axis denoting time, and each single qubit gate is shown a rectangular box acting on the particular qubit. Two-qubit gates are represented in a similar way, with the control qubit being indicated by a small circle, see Fig. 1. In this notation, much more complex quantum circuits can be represented and analyzed, for instance the decomposition of the Toffoli gate,
which is a 3-qubit variant of the CNOT gate and is universal for all classical computations. It can be constructed from elementary gates, see Fig. 2, where ^{[3]}.
Digital simulation procedure[edit]
Suppose we want to simulate a four-body spin interaction of the form
This four-body spin operator has two eigenvalues, , which are eightfold degenerate. The key idea is to use an additional auxiliary particle and encode the eigenvalue into its spin state. If the auxiliary control spin is initially in , this can be done using the gate sequence
To understand this in more detail, let us look at the behavior of the gate sequence on the spin state , where labels the state within the degenerate manifold. The first Hadamard gate will yield
Applying the sequence of CNOT gates will multiply the eigenvalue of the spin interaction, conditional on the control spin being in ,
Finally, the second Hadamard gate will give us
- .
Consequently, we have mapped the eigenvalue of the four-body interaction operator onto the state of a single auxiliary spin.
The full quantum simulation of the dynamics can then be realized by applying a rotation to the control spin and reverse the mapping ,
The phase of the rotation is related to the timescale of the simulation according to .
For a many-body system, the full dynamics can be simulated if the gate sequences are applied in parallel (if they act on independent spins) or sequentially (if they act on the same spins). However, in case of non-commuting operators, one has to ensure that this sequential operations does not introduce errors. This is true if the timestep of the simulation procedure is sufficiently small, as can be seen from the Suzuki-Trotter expansion
This completes the toolbox required for the realization of a universal quantum simulator.
Implementation based on Rydberg atoms[edit]
Let us now turn to a possible realization of such a universal quantum simulator based on ultracold Rydberg atoms ^{[5]}. The qubit states are formed by two hyperfine ground states. Single-qubit gates can be implemented using microwave driving described by the Hamiltonian
where is the detuning of the microwave frequency from the resonance between the hyperfine levels, characterizes the strength of the microwave field, and describes the phase of the microwave field at . This allows for the realization of arbitrary single-qubit gates.
For two-qubit gates, we need an interaction mechanism between the qubits. Ideally, we want the qubits to be separated by more than , so they can be addressed independently using optical laser fields. Hence, we can think of the atoms being localized in individual sites of an optical lattice, forming the Mott insulator. At such separations, however, the van der Waals interaction between ground state atoms is completely negligible. For dramatically increased interactions strengths, we will excite the atoms into a Rydberg state, which is an electronically excited state with a principal quantum number . In these highly excited states, the atoms behave almost hydrogen-like, and their eigenenergies are given by
where is the quantum defect that accounts for deviations from the energy levels of hydrogen. For example, in rubidium in a state, the quantum defect has been measured to be ^{[6]}.
In Rydberg states, the excited electron is only very loosely bound and therefore very sensitive to external perturbations. This is also true if the perturber is another Rydberg atom and leads to a dramatic increase in the van der Waals interaction coefficients, scaling as . At the same time, the lifetime limited by spontaneous emission also increases as , leaving enough time to perform a quantum gate before the Rydberg atom decays. The strong interaction between Rydberg atoms leads to a blockade mechanism: if one atom has been excited to a Rydberg state, its neighbors can no longer be excited at the same time as the interaction energy changes the resonance condition ^{[7]}. To implement a CNOT gate, one first excites the state of the control atom to the Rydberg state. Then, one tries to excite the target atom to the Rydberg state as well, which will only work if there are no interactions (i.e., the control atom is in ), allowing for the conditional dynamics required for the implementation of the CNOT gate. The total gate requires a total of seven laser pulses and has been experimentally demonstrated in 2010 ^{[8]}. Scaling up to the case of many qubits required for a full-fledged quantum simulator is currently underway.
References[edit]
- ↑ Lahaye, T.; C. Menotti, L. Santos, M. Lewenstein, T. Pfau (2009-12-01). "The physics of dipolar bosonic quantum gases". Reports on Progress in Physics 72 (12): 126401. doi:10.1088/0034-4885/72/12/126401. ISSN 0034-4885. http://iopscience.iop.org/0034-4885/72/12/126401. Retrieved 2013-06-26.
- ↑ Lloyd, Seth (1996-08-23). "Universal Quantum Simulators". Science 273 (5278): 1073-1078. doi:10.1126/science.273.5278.1073. ISSN 1095-9203 0036-8075, 1095-9203. http://www.sciencemag.org/content/273/5278/1073. Retrieved 2013-06-26.
- ↑ ^{3.0} ^{3.1} Nielsen, Michael A; Chuang, Isaac L (2010). Quantum computation and quantum information. Cambridge, UK: Cambridge University Press. ISBN 9781107002173 1107002176 Check
|isbn=
value: length (help). - ↑ Barenco, Adriano; Charles H. Bennett, Richard Cleve, David P. DiVincenzo, Norman Margolus, Peter Shor, Tycho Sleator, John A. Smolin, Harald Weinfurter (1995-11-01). "Elementary gates for quantum computation". Physical Review A 52 (5): 3457-3467. doi:10.1103/PhysRevA.52.3457. http://link.aps.org/doi/10.1103/PhysRevA.52.3457. Retrieved 2013-06-27.
- ↑ Weimer, Hendrik; Markus Müller, Igor Lesanovsky, Peter Zoller, Hans Peter Büchler (2010-05). "A Rydberg quantum simulator". Nature Physics 6 (5): 382-388. doi:10.1038/nphys1614. ISSN 1745-2473. http://www.nature.com/nphys/journal/v6/n5/abs/nphys1614.html. Retrieved 2013-09-02.
- ↑ Mack, Markus; Florian Karlewski, Helge Hattermann, Simone Höckh, Florian Jessen, Daniel Cano, József Fortágh (2011-05-23). "Measurement of absolute transition frequencies of ^{87}Rb to nS and nD Rydberg states by means of electromagnetically induced transparency". Physical Review A 83 (5): 052515. doi:10.1103/PhysRevA.83.052515. http://link.aps.org/doi/10.1103/PhysRevA.83.052515. Retrieved 2013-09-02.
- ↑ Jaksch, D.; J. I. Cirac, P. Zoller, S. L. Rolston, R. Côté, M. D. Lukin (2000-09-04). "Fast Quantum Gates for Neutral Atoms". Physical Review Letters 85 (10): 2208-2211. doi:10.1103/PhysRevLett.85.2208. http://link.aps.org/doi/10.1103/PhysRevLett.85.2208. Retrieved 2013-09-02.
- ↑ Isenhower, L.; E. Urban, X. L. Zhang, A. T. Gill, T. Henage, T. A. Johnson, T. G. Walker, M. Saffman (2010-01-08). "Demonstration of a Neutral Atom Controlled-NOT Quantum Gate". Physical Review Letters 104 (1): 010503. doi:10.1103/PhysRevLett.104.010503. http://link.aps.org/doi/10.1103/PhysRevLett.104.010503. Retrieved 2013-09-02.