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. [6] 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. [1] 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. [6]
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] caesium, [11] ytterbium, [12] [13] and strontium [14] atoms.
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] [13] [16]
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[ citation needed ] 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.[ citation needed ]
Atoms that have been excited to very large principal quantum number 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]
The basic principle for Rydberg mediated gates is called the Rydberg blockade. [20] Consider two neutral atoms in their respective ground states. When they are close to each other, their interaction potential is dominated by van Der Waals force 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:
where, 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 .
If both atoms are in the excited state the effective system evolves in the subspace of . It is convenient to rewrite the Hamiltonian in terms of bright and dark basis states, along with . In this basis, the Hamiltonian is given by
.
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:
,
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.
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: [5]
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.
Initial state | Final state |
---|---|
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:
.
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
.
Initial state | Final state |
---|---|
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 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]
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:
Initial state | Final state |
---|---|
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 . 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]
The fluctuation–dissipation theorem (FDT) or fluctuation–dissipation relation (FDR) is a powerful tool in statistical physics for predicting the behavior of systems that obey detailed balance. Given that a system obeys detailed balance, the theorem is a proof that thermodynamic fluctuations in a physical variable predict the response quantified by the admittance or impedance of the same physical variable, and vice versa. The fluctuation–dissipation theorem applies both to classical and quantum mechanical systems.
In physics, the Rabi cycle is the cyclic behaviour of a two-level quantum system in the presence of an oscillatory driving field. A great variety of physical processes belonging to the areas of quantum computing, condensed matter, atomic and molecular physics, and nuclear and particle physics can be conveniently studied in terms of two-level quantum mechanical systems, and exhibit Rabi flopping when coupled to an optical driving field. The effect is important in quantum optics, magnetic resonance and quantum computing, and is named after Isidor Isaac Rabi.
In quantum physics, Fermi's golden rule is a formula that describes the transition rate from one energy eigenstate of a quantum system to a group of energy eigenstates in a continuum, as a result of a weak perturbation. This transition rate is effectively independent of time and is proportional to the strength of the coupling between the initial and final states of the system as well as the density of states. It is also applicable when the final state is discrete, i.e. it is not part of a continuum, if there is some decoherence in the process, like relaxation or collision of the atoms, or like noise in the perturbation, in which case the density of states is replaced by the reciprocal of the decoherence bandwidth.
Resolved sideband cooling is a laser cooling technique allowing cooling of tightly bound atoms and ions beyond the Doppler cooling limit, potentially to their motional ground state. Aside from the curiosity of having a particle at zero point energy, such preparation of a particle in a definite state with high probability (initialization) is an essential part of state manipulation experiments in quantum optics and quantum computing.
In quantum mechanics, a two-state system is a quantum system that can exist in any quantum superposition of two independent quantum states. The Hilbert space describing such a system is two-dimensional. Therefore, a complete basis spanning the space will consist of two independent states. Any two-state system can also be seen as a qubit.
Superconducting quantum computing is a branch of solid state physics and quantum computing that implements superconducting electronic circuits using superconducting qubits as artificial atoms, or quantum dots. For superconducting qubits, the two logic states are the ground state and the excited state, denoted respectively. Research in superconducting quantum computing is conducted by companies such as Google, IBM, IMEC, BBN Technologies, Rigetti, and Intel. Many recently developed QPUs use superconducting architecture.
Quantum noise is noise arising from the indeterminate state of matter in accordance with fundamental principles of quantum mechanics, specifically the uncertainty principle and via zero-point energy fluctuations. Quantum noise is due to the apparently discrete nature of the small quantum constituents such as electrons, as well as the discrete nature of quantum effects, such as photocurrents.
An optical lattice is formed by the interference of counter-propagating laser beams, creating a spatially periodic polarization pattern. The resulting periodic potential may trap neutral atoms via the Stark shift. Atoms are cooled and congregate at the potential extrema. The resulting arrangement of trapped atoms resembles a crystal lattice and can be used for quantum simulation.
In quantum optics, the Jaynes–Cummings model is a theoretical model that describes the system of a two-level atom interacting with a quantized mode of an optical cavity, with or without the presence of light. It was originally developed to study the interaction of atoms with the quantized electromagnetic field in order to investigate the phenomena of spontaneous emission and absorption of photons in a cavity. It is named after Edwin Thompson Jaynes and Fred Cummings in the 1960s and was confirmed experimentally in 1987.
In spectroscopy, the Autler–Townes effect, is a dynamical Stark effect corresponding to the case when an oscillating electric field is tuned in resonance to the transition frequency of a given spectral line, and resulting in a change of the shape of the absorption/emission spectra of that spectral line. The AC Stark effect was discovered in 1955 by American physicists Stanley Autler and Charles Townes.
Resonance fluorescence is the process in which a two-level atom system interacts with the quantum electromagnetic field if the field is driven at a frequency near to the natural frequency of the atom.
Circuit quantum electrodynamics provides a means of studying the fundamental interaction between light and matter. As in the field of cavity quantum electrodynamics, a single photon within a single mode cavity coherently couples to a quantum object (atom). In contrast to cavity QED, the photon is stored in a one-dimensional on-chip resonator and the quantum object is no natural atom but an artificial one. These artificial atoms usually are mesoscopic devices which exhibit an atom-like energy spectrum. The field of circuit QED is a prominent example for quantum information processing and a promising candidate for future quantum computation.
In quantum optics, stimulated Raman adiabatic passage (STIRAP) is a process that permits transfer of a population between two applicable quantum states via at least two coherent electromagnetic (light) pulses. These light pulses drive the transitions of the three level Ʌ atom or multilevel system. The process is a form of state-to-state coherent control.
Ramsey interferometry, also known as the separated oscillating fields method, is a form of particle interferometry that uses the phenomenon of magnetic resonance to measure transition frequencies of particles. It was developed in 1949 by Norman Ramsey, who built upon the ideas of his mentor, Isidor Isaac Rabi, who initially developed a technique for measuring particle transition frequencies. Ramsey's method is used today in atomic clocks and in the SI definition of the second. Most precision atomic measurements, such as modern atom interferometers and quantum logic gates, have a Ramsey-type configuration. A more modern method, known as Ramsey–Bordé interferometry uses a Ramsey configuration and was developed by French physicist Christian Bordé and is known as the Ramsey–Bordé interferometer. Bordé's main idea was to use atomic recoil to create a beam splitter of different geometries for an atom-wave. The Ramsey–Bordé interferometer specifically uses two pairs of counter-propagating interaction waves, and another method named the "photon-echo" uses two co-propagating pairs of interaction waves.
In quantum mechanics, magnetic resonance is a resonant effect that can appear when a magnetic dipole is exposed to a static magnetic field and perturbed with another, oscillating electromagnetic field. Due to the static field, the dipole can assume a number of discrete energy eigenstates, depending on the value of its angular momentum (azimuthal) quantum number. The oscillating field can then make the dipole transit between its energy states with a certain probability and at a certain rate. The overall transition probability will depend on the field's frequency and the rate will depend on its amplitude. When the frequency of that field leads to the maximum possible transition probability between two states, a magnetic resonance has been achieved. In that case, the energy of the photons composing the oscillating field matches the energy difference between said states. If the dipole is tickled with a field oscillating far from resonance, it is unlikely to transition. That is analogous to other resonant effects, such as with the forced harmonic oscillator. The periodic transition between the different states is called Rabi cycle and the rate at which that happens is called Rabi frequency. The Rabi frequency should not be confused with the field's own frequency. Since many atomic nuclei species can behave as a magnetic dipole, this resonance technique is the basis of nuclear magnetic resonance, including nuclear magnetic resonance imaging and nuclear magnetic resonance spectroscopy.
In quantum computing, Mølmer–Sørensen gate scheme refers to an implementation procedure for various multi-qubit quantum logic gates used mostly in trapped ion quantum computing. This procedure is based on the original proposition by Klaus Mølmer and Anders Sørensen in 1999–2000.
In quantum mechanics, a quantum speed limit (QSL) is a limitation on the minimum time for a quantum system to evolve between two distinguishable (orthogonal) states. QSL theorems are closely related to time-energy uncertainty relations. In 1945, Leonid Mandelstam and Igor Tamm derived a time-energy uncertainty relation that bounds the speed of evolution in terms of the energy dispersion. Over half a century later, Norman Margolus and Lev Levitin showed that the speed of evolution cannot exceed the mean energy, a result known as the Margolus–Levitin theorem. Realistic physical systems in contact with an environment are known as open quantum systems and their evolution is also subject to QSL. Quite remarkably it was shown that environmental effects, such as non-Markovian dynamics can speed up quantum processes, which was verified in a cavity QED experiment.
Hamiltonian truncation is a numerical method used to study quantum field theories (QFTs) in spacetime dimensions. Hamiltonian truncation is an adaptation of the Rayleigh–Ritz method from quantum mechanics. It is closely related to the exact diagonalization method used to treat spin systems in condensed matter physics. The method is typically used to study QFTs on spacetimes of the form , specifically to compute the spectrum of the Hamiltonian along . A key feature of Hamiltonian truncation is that an explicit ultraviolet cutoff is introduced, akin to the lattice spacing a in lattice Monte Carlo methods. Since Hamiltonian truncation is a nonperturbative method, it can be used to study strong-coupling phenomena like spontaneous symmetry breaking.
In quantum computing, the variational quantum eigensolver (VQE) is a quantum algorithm for quantum chemistry, quantum simulations and optimization problems. It is a hybrid algorithm that uses both classical computers and quantum computers to find the ground state of a given physical system. Given a guess or ansatz, the quantum processor calculates the expectation value of the system with respect to an observable, often the Hamiltonian, and a classical optimizer is used to improve the guess. The algorithm is based on the variational method of quantum mechanics.
In quantum optics, fhe Tavis–Cummings model is a theoretical model to describe an ensemble of identical two-level atoms coupled symmetrically to a single-mode quantized bosonic field. The model extends the Jaynes–Cummings model to larger spin numbers that represent collections of multiple atoms. It differs from the Dicke model in its use of the rotating-wave approximation to conserve the number of excitations of the system.