Neutral atom quantum computer explained
A neutral atom quantum computer is a modality of quantum computers built out of Rydberg atoms;[1] [2] [3] [4] [5] this modality has many commonalities with trapped-ion quantum computers. As of December 2023, the concept has been used to demonstrate a 48 logical qubit processor.[6] [7]
To perform computation, the atoms are first trapped in a magneto-optical trap. Qubits are then encoded in the energy levels of the atoms. Initialization and operation of the computer is performed via the application of lasers on the qubits.[8] For example, the laser can accomplish arbitrary single qubit gates and a
gate for universal quantum computation. The
gate is carried out by leveraging the Rydberg blockade which leads to strong interactions when the qubits are physically close to each other. To perform a
gate a Rydberg
pulse is applied to the control qubit, a
on the target qubit and then a
on the control.
Measurement is enforced at the end of the computation with a
camera that generates an image of the outcome by measuring the fluorescence of the atoms.
Architecture
Neutral atom quantum computing makes use of several technological advancements in the field laser cooling, magneto-optical trapping and optical tweezers. In one example of the architecture,[9] an array of atoms is loaded into a laser cooled at micro-kelvin temperatures. In each of these atoms, two levels of hyperfine ground subspace are isolated. The qubits are prepared in some initial state using optical pumping. Logic gates are performed using optical or microwave frequency fields and the measurements are done using resonance fluorescence. Most of these architecture are based on Rubidium,[10] Cesium,[11] Ytterbium[12] [13] and Strontium[14] atoms.
Single qubit gates
Global single qubit gates on all the atoms can be done either by applying a microwave field for qubits encoded in the Hyperfine manifold such as Rb and Cs or by applying an RF magnetic field for qubits encoded in the nuclear spin such as Yb and Sr. Focused laser beams can be used to do single-site one qubit rotation using a lambda-type three level Raman scheme (see figure). In this scheme, the rotation between the qubit states is mediated by an intermediate excited state. Single qubit gate fidelities have been shown to be as high as .999 in state-of-the-art experiments.[15] [16]
Entangling gates
To do universal quantum computation, we need at least one two-qubit entangling gate.[17] Early proposals for gates included gates that depended on inter-atomic forces.[2] These forces are weak and the gates were predicted to be slow. The first fast gate based on Rydberg states was proposed for charged atoms [18] making use of the principle of Rydberg Blockade. The principle was later transferred and developed further for neutral atoms.[5] Since then, most gates that have been proposed use this principle.
Rydberg mediated gates
are known as
Rydberg atoms. These highly excited atoms have several desirable properties including high decay life-time and amplified couplings with electromagnetic fields.
[19]
where
is the
Bohr Magneton and
is the distance between the atoms. This interaction is very weak, around
Hz for
. When one of the atoms is put into a Rydberg state (state with very high principal quantum number), the interaction between the two atoms is dominated by second order dipole-dipole interaction which is also weak. When both of the atoms are excited to a Rydberg state, then the resonant dipole-dipole interaction becomes
where
is the
Bohr radius. This interaction is around
MHz at
, around twelve orders of magnitude larger. This interaction potential induces a blockade, where-in, if one atom is excited to a Rydberg state, the other nearby atoms cannot be excited to a Rydberg state because the two-atom Rydberg state is far detuned. This phenomenon is called the Rydberg blockade. Rydberg mediated gates make use of this blockade as a control mechanism to implement two qubit controlled gates.
Let's consider the physics induced by the this blockade. Suppose we are considering two isolated neutral atoms in a magneto-optical trap. Ignoring the coupling of hyperfine levels that make the qubit and motional degrees of freedom, the Hamiltonian of this system can be written as:
H=H1+H2+Vrr|r\rangle1\langler| ⊗ |r\rangle2\langler|)
where,
Hi=
((\Omega|1\ranglei\langler|+\Omega*|r\ranglei\langle1|)-\Delta|r\ranglei\langler|
is the Hamiltonian of i-th atom,
is the Rabi frequency of coupling between the Rydberg states and the
state and
is the detuning (see figure to the right for level diagram). When
, we are in the so-called Rydberg Blockade regime. In this regime, the
state is highly detuned from the rest of the system and thus is effectively decoupled. For the rest of this article, we consider only the Rydberg Blockade regime.
The physics of this Hamiltonian can be divided into several subspaces depending on the initial state. The
state is decoupled and does not evolve. Suppose only the i-th the atom is in
state (
,
), then the Hamiltonian is given by
. This Hamiltonian is the standard two-level
Rabi hamiltonian. It characterizes the "light shift" in a two level system and has eigenvalues
=
(\Delta\pm\sqrt{\Omega2+\Delta2
}) .
If both atoms are in the excited state
the effective system evolves in the subspace of
\{|1r\rangle,|r1\rangle,|11\rangle\}
. It is convenient to rewrite the Hamiltonian in terms of bright
}(|r1\rangle + |1r\rangle) and dark
}(|r1\rangle - |1r\rangle) basis states, along with
. In this basis, the Hamiltonian is given by
H=-\Delta(|b\rangle\langleb|+|d\rangle\langled|)+
}(\Omega |b\rangle \langle 11| + \Omega^ |11\rangle \langle b|) . Note that the dark state is decoupled from the bright state and the
state. Thus we can ignore it and the effective evolution reduces to a two-level system consisting of the bright state and
state. In this basis, the dressed eigenvalues and eigenvectors of the hamiltonian are given by:
=
(\Delta\pm\sqrt{2\Omega2+\Delta2
})
|\tilde{11}\rangle=\cos(\theta/2)|11\rangle+\sin(\theta/2)|b\rangle
|\tilde{b}\rangle=\cos(\theta/2)|b\rangle-\sin(\theta/2)|11\rangle
,
where,
depends on the Rabi frequency and detuning.We will make use of these considerations in the gates below. The level diagrams of these subspaces have been shown in the figure above.
Jaksch gate
We can use the Rydberg blockade to implement a controlled-phase gate by applying standard Rabi pulses between the
and
levels. Consider the following protocol:
- Apply
pulse to control atom (red).
- Apply
pulse the target atom (brown).
- Apply
pulse to control atom again (red).
The figure on the right shows what this pulse sequence does. When the state is
, both levels are uncoupled from the Rydberg states and so the pulses do nothing. When either of the atoms is in
state, the other one picks up a
phase due to the
pulse. When the state is
, the second atom is off-resonant to its Rydberg state and thus does not pick up any phase, however the first one does. The truth table of this gate is given below. This is equivalent to a controlled-z gate up-to a local rotation to the hyperfine levels.
Truth table of Jaksch gate| Initial state | Final state |
|---|
|
| 00 \rangle |
| 00 \rangle |
|
| 01 \rangle |
| 01 \rangle |
|
| 10 \rangle |
| 10 \rangle |
|
| 11 \rangle |
| 11 \rangle | |
Adiabatic gate
The adiabatic gate was introduced as an alternative to the Jaksch gate.[21] It is global and symmetric and thus it does not require locally focused lasers. Moreover, the Adiabatic Gate prevents the problem of spurious phase accumulation when the atom is in Rydberg state. In the Adiabatic Gate, instead of doing fast pulses, we dress the atom with an adiabatic pulse sequence that takes the atom on a trajectory around the Bloch sphere and back. The levels pick up a phase on this trip due to the so-called "light shift" induced by the lasers. The shapes of pulses can be chosen to control this phase.
If both atoms are in the
state, nothing happens so
. If one of them is in the
state, the other atom picks up a phase due to light shift:
and similarly
with:
\phi1=\int
(t)dt=\int
(\Delta(t)-\sqrt{\Omega2(t)+\Delta2(t)})dt
.
When both of the atoms are in
states, the atoms pick up a phase due to the two-atom light shift as seen by the eigenvalues of Hamiltonian above, then
with
\phi2=\int
(t)dt=\int
(\Delta(t)-\sqrt{2\Omega2(t)+\Delta2(t)})dt
.
Truth table of adiabatic gate| Initial state | Final state |
|---|
|
| 00 \rangle |
| 00 \rangle |
|
| 01 \rangle |
| 01 \rangle |
|
| 10 \rangle |
| 10 \rangle |
|
| 11 \rangle |
| 11 \rangle | |
Note that this light shift is not equal to twice the single atom light shifts. The single atom light-shifts are then cancelled by a global pulse that implements
U=\exp(-i\phi1|1\rangle\langle1|)
to get rid of the single qubit light shifts. The truth table for this gate is given to the right. This protocol leaves a total phase of
phase on the
state. We can choose the pulses so that this phase equals
, making it a controlled-Z gate. An extension to this gate was introduced to make it robust against errors in reference.
[22] Levine-Pichler gate
The adiabatic gate is global but it is slow (due to adiabatic condition). The Levine-Pichler gate was introduced as a fast diabatic substitute to the global Adiabatic Gate.[23] This gate uses carefully chosen pulse sequences to perform a controlled-phase gate.In this protocol, we apply the following pulse sequence:
- Apply pulse of length
\tau=2\pi/\sqrt{\Delta2+2\Omega2
} with Rabi frequency
(red).
- Apply another pulse of length
\tau=2\pi/\sqrt{\Delta2+2\Omega2
} but with a phase shifted Rabi frequency
(brown).
Truth table of Levine-Pichler gate| Initial state | Final state |
|---|
|
| 00 \rangle |
| 00 \rangle |
|
| 01 \rangle |
| 01 \rangle |
|
| 10 \rangle |
| 10 \rangle |
|
| 11 \rangle |
| 11 \rangle | |
The intuition of this gate is best understood in terms of the picture given above. When the state of the system is
, the pulses send the state around the Bloch sphere twice and accumulates a net phase
\phi2=
| 4\pi\Delta |
| \sqrt{\Delta2+2\Omega2 |
} . When one of the atoms is in
state, the other atom does not go around the Bloch sphere fully after the first pulse due to the mismatch in Rabi frequency. The second pulse corrects for this effect by rotating the state around a different axis. This puts the atom back into the
state with a net phase
, which can be calculated easily. The pulses can be chosen to make
. Doing so makes this gate equivalent to a controlled-z gate up-to a local rotation. The truth table of Levine-Pichler gate is given on the right. This gate has been improved using the methods of quantum optimal controls recently.
[24] [25] Entangling gates in state-of-the art neutral atom quantum computing platforms have been implemented with up-to .995 quantum fidelity.[10]
See also
Notes and References
- 0909.4777 . Saffman. Mark . Walker . Thad G . Klaus . Mølmer . Quantum information with Rydberg atoms. Rev. Mod. Phys.. 2313–2363. 2010 . 82 . 3 . 10.1103/RevModPhys.82.2313 . 2010RvMP...82.2313S . 14285764 .
- Brennen . Gavin K. . Caves . Carlton M. . Jessen . Poul S. . Deutsch . Ivan H. . Quantum Logic Gates in Optical Lattices . Physical Review Letters . 1 February 1999 . 82 . 5 . 1060–1063 . 10.1103/PhysRevLett.82.1060 . quant-ph/9806021 . 1999PhRvL..82.1060B .
- Beige . A . Huelga . SF. Knight . PL. Plenio . MB. Thompson . RC . Coherent manipulation of two dipole-dipole interacting ions . Journal of Modern Optics . 47 . 2/3 . 401-414 . 10.1080/09500340008244051 . quant-ph/9903059.
- Briegel . H.-J. . Calarco . T. . Jaksch . D. . Cirac . J. I. . Zoller . P. . Quantum computing with neutral atoms . Journal of Modern Optics . February 2000 . 47 . 2–3 . 415–451 . 10.1080/09500340008244052 . en . 0950-0340. quant-ph/9904010 . 2000JMOp...47..415B .
- Jaksch . D. . Cirac . J. I. . Zoller . P. . Rolston . S. L. . Côté . R. . Lukin . M. D. . Fast Quantum Gates for Neutral Atoms . Physical Review Letters . 4 September 2000 . 85 . 10 . 2208–2211 . 10.1103/PhysRevLett.85.2208 . 10970499 . quant-ph/0004038 . 2000PhRvL..85.2208J .
- Bluvstein . Dolev . Evered . Simon J. . Geim . Alexandra A. . Li . Sophie H. . Zhou . Hengyun . Manovitz . Tom . Ebadi . Sepehr . Cain . Madelyn . Kalinowski . Marcin . Hangleiter . Dominik . Bonilla Ataides . J. Pablo . Maskara . Nishad . Cong . Iris . Gao . Xun . Sales Rodriguez . Pedro . 2024-02-01 . Logical quantum processor based on reconfigurable atom arrays . Nature . en . 626 . 7997 . 58–65 . 10.1038/s41586-023-06927-3 . 0028-0836 . 10830422 . 38056497. 2312.03982 . 2024Natur.626...58B .
- News: Yirka. Bob . 2023-12-07 . Using logical qubits to make a quantum computer that can correct its errors. 2024-02-10.
- News: Genkina. Dina . 2013-10-18 . Neutral-atom quantum computers are having a moment. 2013-10-18.
- Saffman . M . Quantum computing with atomic qubits and Rydberg interactions: progress and challenges . Journal of Physics B: Atomic, Molecular and Optical Physics . 28 October 2016 . 49 . 20 . 202001 . 10.1088/0953-4075/49/20/202001 . 0953-4075. 1605.05207 . 2016JPhB...49t2001S .
- Evered . Simon J. . Bluvstein . Dolev . Kalinowski . Marcin . Ebadi . Sepehr . Manovitz . Tom . Zhou . Hengyun . Li . Sophie H. . Geim . Alexandra A. . Wang . Tout T. . Maskara . Nishad . Levine . Harry . Semeghini . Giulia . Greiner . Markus . Vuletić . Vladan . Lukin . Mikhail D. . High-fidelity parallel entangling gates on a neutral-atom quantum computer . Nature . October 2023 . 622 . 7982 . 268–272 . 10.1038/s41586-023-06481-y . 37821591 . 10567572 . en . 1476-4687. 2304.05420 . 2023Natur.622..268E .
- Graham . T. M. . Song . Y. . Scott . J. . Poole . C. . Phuttitarn . L. . Jooya . K. . Eichler . P. . Jiang . X. . Marra . A. . Grinkemeyer . B. . Kwon . M. . Ebert . M. . Cherek . J. . Lichtman . M. T. . Gillette . M. . Gilbert . J. . Bowman . D. . Ballance . T. . Campbell . C. . Dahl . E. D. . Crawford . O. . Blunt . N. S. . Rogers . B. . Noel . T. . Saffman . M. . Multi-qubit entanglement and algorithms on a neutral-atom quantum computer . Nature . April 2022 . 604 . 7906 . 457–462 . 10.1038/s41586-022-04603-6 . 35444321 . en . 1476-4687. 2112.14589 . 2022Natur.604..457G .
- Jenkins . Alec . Lis . Joanna W. . Senoo . Aruku . McGrew . William F. . Kaufman . Adam M. . Ytterbium Nuclear-Spin Qubits in an Optical Tweezer Array . Physical Review X . 3 May 2022 . 12 . 2 . 021027 . 10.1103/PhysRevX.12.021027 . 2112.06732 . 2022PhRvX..12b1027J .
- Ma . S. . Burgers . A. P. . Liu . G. . Wilson . J. . Zhang . B. . Thompson . J. D. . Universal Gate Operations on Nuclear Spin Qubits in an Optical Tweezer Array of 171Yb Atoms . Physical Review X . 3 May 2022 . 12 . 2 . 021028 . 10.1103/PhysRevX.12.021028. 2112.06799 .
- Madjarov . Ivaylo S. . Covey . Jacob P. . Shaw . Adam L. . Choi . Joonhee . Kale . Anant . Cooper . Alexandre . Pichler . Hannes . Schkolnik . Vladimir . Williams . Jason R. . Endres . Manuel . High-fidelity entanglement and detection of alkaline-earth Rydberg atoms . Nature Physics . August 2020 . 16 . 8 . 857–861 . 10.1038/s41567-020-0903-z . en . 1745-2481. 2001.04455 . 2020NatPh..16..857M .
- Graham . T. M. . Song . Y. . Scott . J. . Poole . C. . Phuttitarn . L. . Jooya . K. . Eichler . P. . Jiang . X. . Marra . A. . Grinkemeyer . B. . Kwon . M. . Ebert . M. . Cherek . J. . Lichtman . M. T. . Gillette . M. . Gilbert . J. . Bowman . D. . Ballance . T. . Campbell . C. . Dahl . E. D. . Crawford . O. . Blunt . N. S. . Rogers . B. . Noel . T. . Saffman . M. . Multi-qubit entanglement and algorithms on a neutral-atom quantum computer . Nature . April 2022 . 604 . 7906 . 457–462 . 10.1038/s41586-022-04603-6 . 35444321 . en . 1476-4687. 2112.14589 . 2022Natur.604..457G .
- Xia . T. . Lichtman . M. . Maller . K. . Carr . A. W. . Piotrowicz . M. J. . Isenhower . L. . Saffman . M. . Randomized Benchmarking of Single-Qubit Gates in a 2D Array of Neutral-Atom Qubits . Physical Review Letters . 12 March 2015 . 114 . 10 . 100503 . 10.1103/PhysRevLett.114.100503 . 25815916 . 1501.02041 . 2015PhRvL.114j0503X .
- Book: Nielsen . Michael A. . Chuang . Isaac L. . Quantum Computation and Quantum Information: 10th Anniversary Edition . 9 December 2010 . 10.1017/CBO9780511976667 . 978-1-107-00217-3 . en.
- Beige . A . Huelga . SF. Knight . PL. Plenio . MB. Thompson . RC . Coherent manipulation of two dipole-dipole interacting ions . Journal of Modern Optics . 47 . 2/3 . 401-414 . 10.1080/09500340008244051 . quant-ph/9903059.
- Saffman . M. . Walker . T. G. . Mølmer . K. . Quantum information with Rydberg atoms . Reviews of Modern Physics . 18 August 2010 . 82 . 3 . 2313–2363 . 10.1103/RevModPhys.82.2313 . 0909.4777 . 2010RvMP...82.2313S .
- Walker . Thad G. . Saffman . Mark . Chapter 2 - Entanglement of Two Atoms Using Rydberg Blockade . Advances in Atomic, Molecular, and Optical Physics . 1 July 2012 . 61 . 81–115 . Academic Press. 10.1016/B978-0-12-396482-3.00002-8 . 978-0-12-396482-3 . 1202.5328 .
- Keating . Tyler . Cook . Robert L. . Hankin . Aaron M. . Jau . Yuan-Yu . Biedermann . Grant W. . Deutsch . Ivan H. . Robust quantum logic in neutral atoms via adiabatic Rydberg dressing . Physical Review A . 28 January 2015 . 91 . 1 . 012337 . 10.1103/PhysRevA.91.012337 . 1411.2622 . 2015PhRvA..91a2337K .
- Mitra . Anupam . Martin . Michael J. . Biedermann . Grant W. . Marino . Alberto M. . Poggi . Pablo M. . Deutsch . Ivan H. . Robust M\olmer-S\orensen gate for neutral atoms using rapid adiabatic Rydberg dressing . Physical Review A . 20 March 2020 . 101 . 3 . 030301 . 10.1103/PhysRevA.101.030301 . 1911.04045 .
- Levine . Harry . Keesling . Alexander . Semeghini . Giulia . Omran . Ahmed . Wang . Tout T. . Ebadi . Sepehr . Bernien . Hannes . Greiner . Markus . Vuletić . Vladan . Pichler . Hannes . Lukin . Mikhail D. . Parallel Implementation of High-Fidelity Multiqubit Gates with Neutral Atoms . Physical Review Letters . 22 October 2019 . 123 . 17 . 170503 . 10.1103/PhysRevLett.123.170503 . 31702233 . 1908.06101 . 2019PhRvL.123q0503L .
- Pagano . Alice . Weber . Sebastian . Jaschke . Daniel . Pfau . Tilman . Meinert . Florian . Montangero . Simone . Büchler . Hans Peter . Error budgeting for a controlled-phase gate with strontium-88 Rydberg atoms . Physical Review Research . 11 July 2022 . 4 . 3 . 033019 . 10.1103/PhysRevResearch.4.033019 . 2202.13849 . 2022PhRvR...4c3019P .
- Jandura . Sven . Pupillo . Guido . Time-Optimal Two- and Three-Qubit Gates for Rydberg Atoms . Quantum . 13 May 2022 . 6 . 712 . 10.22331/q-2022-05-13-712 . 2202.00903 . 2022Quant...6..712J .
