Trapped ion quantum computer
A trapped ion quantum computer is one proposed approach to a large-scale quantum computer. Ions, or charged atomic particles, can be confined and suspended in free space using electromagnetic fields. Qubits are stored in stable electronic states of each ion, and quantum information can be transferred through the collective quantized motion of the ions in a shared trap. Lasers are applied to induce coupling between the qubit states or coupling between the internal qubit states and the external motional states.
The fundamental operations of a quantum computer have been demonstrated experimentally with the currently highest accuracy in trapped ion systems. Promising schemes in development to scale the system to arbitrarily large numbers of qubits include transporting ions to spatially distinct locations in an array of ion traps, building large entangled states via photonically connected networks of remotely entangled ion chains, and combinations of these two ideas. This makes the trapped ion quantum computer system one of the most promising architectures for a scalable, universal quantum computer. As of April 2018, the largest number of particles to be controllably entangled is 20 trapped ions.
The Paul ion trap
The electrodynamic ion trap currently used in trapped ion quantum computing research was invented in the 1950s by Wolfgang Paul. Charged particles cannot be trapped in 3D by just electrostatic forces because of Earnshaw's theorem. Instead, an electric field oscillating at radio frequency is applied, forming a potential with the shape of a saddle spinning at the RF frequency. If the RF field has the right parameters, the charged particle becomes effectively trapped at the saddle point by a restoring force, with the motion described by a set of Mathieu equations.This saddle point is the point of minimized energy magnitude,, for the ions in the potential field. The Paul trap is often described as a harmonic potential well that traps ions in two dimensions and does not trap ions in the direction. When multiple ions are at the saddle point and the system is at equilibrium, the ions are only free to move in. Therefore, the ions will repel each other and create a vertical configuration in, the simplest case being a linear strand of only a few ions. Coulomb interactions of increasing complexity will create a more intricate ion configuration if many ions are initialized in the same trap. Furthermore, the additional vibrations of the added ions greatly complicate the quantum system, which makes initialization and computation more difficult.
Once trapped, the ions should be cooled such that. This can be achieved by a combination of Doppler cooling and Resolved sideband cooling. At this very low temperature, vibrational energy in the ion trap is quantized into phonons by the energy eigenstates of the ion strand, which are called the center of mass vibrational modes. A single phonon's energy is given by the relation. These quantum states occur when the trapped ions vibrate together and are completely isolated from the external environment. If the ions are not properly isolated, noise can result from ions interacting with external electromagnetic fields, which creates random movement and destroys the quantized energy states.
History of trapped ion quantum computing
The first implementation scheme for a controlled-NOT quantum gate was proposed by Ignacio Cirac and Peter Zoller in 1995, specifically for the trapped ion system. The same year, a key step in the controlled-NOT gate was experimentally realized at NIST Ion Storage Group, and research in quantum computing began to take off worldwide. Many traditional ion trapping research groups have made the transition to quantum computing research, while, more recently, many other new research groups have joined the effort. An enormous amount of progress in this field has been made in the past decade and trapped ions remain a leading candidate for quantum computation.Requirements for quantum computation
The full requirements for a functional quantum computer are not entirely known, but there are many generally accepted requirements. DiVincenzo outlined several of these criterion for quantum computing.Qubits
Any two-level quantum system can form a qubit, and there are two predominant ways to form a qubit using the electronic states of an ion:- Two ground state hyperfine levels
- A ground state level and an excited level
Initialization
Ionic qubit states can be prepared in a specific qubit state using a process called optical pumping. In this process, a laser couples the ion to some excited states which eventually decay to one state which is not coupled to the laser. Once the ion reaches that state, it has no excited levels to couple to in the presence of that laser and, therefore, remains in that state. If the ion decays to one of the other states, the laser will continue to excite the ion until it decays to the state that does not interact with the laser. This initialization process is standard in many physics experiments and can be performed with extremely high fidelity.The system's initial state for quantum computation can therefore be described by the ions in their hyperfine and motional ground states, resulting in an initial center of mass phonon state of.
Measurement
Measuring the state of the qubit stored in an ion is quite simple. Typically, a laser is applied to the ion that couples only one of the qubit states. When the ion collapses into this state during the measurement process, the laser will excite it, resulting in a photon being released when the ion decays from the excited state. After decay, the ion is continually excited by the laser and repeatedly emits photons. These photons can be collected by a photomultiplier tube or a charge-coupled device camera. If the ion collapses into the other qubit state, then it does not interact with the laser and no photon is emitted. By counting the number of collected photons, the state of the ion may be determined with a very high accuracy.Arbitrary single qubit rotation
One of the requirements of universal quantum computing is to coherently change the state of a single qubit. For example, this can transform a qubit starting out in 0 into any arbitrary superposition of 0 and 1 defined by the user. In a trapped ion system, this is often done using magnetic dipole transitions or stimulated Raman transitions for hyperfine qubits and electric quadrupole transitions for optical qubits. The term "rotation" alludes to the Bloch sphere representation of a qubit pure state. Gate fidelity can be greater than 99%.The operations and can be applied to individual ions by manipulating the frequency of an external electromagnetic field from and exposing the ions to the field for specific amounts of time. These controls create a Hamiltonian of the form. Here, and are the raising and lowering operators of spin. These rotations are the universal building blocks for single-qubit gates in quantum computing.
To obtain the Hamiltonian for the ion-laser interaction, apply the Jaynes–Cummings model. Once the Hamiltonian is found, the formula for the unitary operation performed on the qubit can be derived using the principles of quantum time evolution. Although this model utilizes the Rotating wave approximation, it proves to be effective for the purposes of trapped-ion quantum computing.
Two qubit entangling gates
Besides the controlled-NOT gate proposed by Cirac and Zoller in 1995, many equivalent, but more robust, schemes have been proposed and implemented experimentally since. Recent theoretical work by Garcia-Ripoll, Cirac, and Zoller have shown that there are no fundamental limitations to the speed of entangling gates, but gates in this impulsive regime have not yet been demonstrated experimentally. The fidelity of these implementations has been greater than 99%.Scalable trap designs
Quantum computers must be capable of initializing, storing, and manipulating many qubits at once in order to solve difficult computational problems. However, as previously discussed, a finite number of qubits can be stored in each trap while still maintaining their computational abilities. It is therefore necessary to design interconnected ion traps that are capable of transferring information from one trap to another. Ions can be separated from the same interaction region to individual storage regions and brought back together without losing the quantum information stored in their internal states. Ions can also be made to turn corners at a "T" junction, allowing a two dimensional trap array design. Semiconductor fabrication techniques have also been employed to manufacture the new generation of traps, making the 'ion trap on a chip' a reality. An example is the quantum charge-coupled device designed by Kielpinski, Monroe, and Wineland. QCCDs resemble mazes of electrodes with designated areas for storing and manipulating qubits.The variable electric potential created by the electrodes can both trap ions in specific regions and move them through the transport channels, which negates the necessity of containing all ions in a single trap. Ions in the QCCD's memory region are isolated from any operations and therefore the information contained in their states is kept for later use. Gates, including those that entangle two ion states, are applied to qubits in the interaction region by the method already described in this article.
Decoherence in Scalable Traps
When an ion is being transported between regions in an interconnected trap and is subjected to a nonuniform magnetic field, decoherence can occur in the form of the equation below. This is effectively changes the relative phase of the quantum state. The up and down arrows correspond to a general superposition qubit state, in this case the ground and excited states of the ion.Additional relative phases could arise from physical movements of the trap or the presence of unintended electric fields. If the user could determine the parameter α, accounting for this decoherence would be relatively simple, as known quantum information processes exist for correcting a relative phase. However, since α from the interaction with the magnetic field is path-dependent, the problem is highly complex. Considering the multiple ways that decoherence of a relative phase can be introduced in an ion trap, reimagining the ion state in a new basis that minimizes decoherence could be a way to eliminate the issue.
One way to combat decoherence is to represent the quantum state in a new basis called the Decoherence Free Subspace, or DFS., with basis states and. The DFS is actually the subspace of two ion states, such that if both ions acquire the same relative phase, the total quantum state in the DFS will be unaffected.
Overall analysis of DiVincenzo's criteria
Trapped ion quantum computers theoretically meet all of DiVincenzo's criteria for quantum computing, but implementation of the system can be quite difficult. The main challenges facing trapped ion quantum computing are the initialization of the ion's motional states, and the relatively brief lifetimes of the phonon states. Decoherence also proves to be challenging to eliminate, and is caused when the qubits interact with the external environment undesirably.CNOT gate implementation
The Controlled NOT gate is a crucial component for quantum computing, as any quantum gate can be created by a combination of CNOT gates and single-qubit rotations. It is therefore important that a trapped-ion quantum computer can perform this operation by meeting the following three requirements.First, the trapped ion quantum computer must be able to perform arbitrary rotations on qubits, which are already discussed in the "arbitrary single-qubit rotation" section.
The next component of a CNOT gate is the controlled phase-flip gate, or the controlled-Z gate. In a trapped ion quantum computer, the state of the center of mass phonon functions as the control qubit, and the internal atomic spin state of the ion is the working qubit. The phase of the working qubit will therefore be flipped if the phonon qubit is in the state.
Lastly, a SWAP gate must be implemented, acting on both the ion state and the phonon state.
Two alternate schemes to represent the CNOT gates are presented in Chuang's Quantum Computation and Quantum Information and Cirac and Zoller's "Quantum Computation with Cold_trapped Ions".