The trappedion qubit tool box
Abstract
In this tutorial we review the basic building blocks of Quantum Information Processing with cold trapped atomicions. We mainly focus on methods to implement singlequbit rotations and twoqubit entangling gates, which form a universal set of quantum gates. Different ion qubit choices and their respective gate implementations are described.
rappedions, Quantum Computing
10.1080/0010751YYxxxxxxxx \issn13665812 \issnp00107514
00 \jnum00 \jyear2010
Tutorial
1 Introduction
Quantum information processing (QIP) requires the coherent manipulation of the joint quantum state of a register of qubits, in a dimensional Hilbert space. Some of the resulting states are highly entangled superpositions in which the superposition parts represent states that differ in many of the qubits. For useful computations will be mesoscopically or even macroscopically large. A superposition of two states that are macroscopically distinct was never experimentally observed and is, according to many people, even hard to envisage. The violent contrast between the superposition principle, governing the behavior of microscopic systems, and our daily life experience at macroscopic scales was already noted in the early days of quantum mechanics [2]. The effort of realizing a macroscopic quantum computer is thus also (and primarily) an effort to advance the superposition principle onto a macroscopic scale and hence it enjoys the unique position of having both practical as well as fundamental importance.
Among the many systems studied as a possible QIP platform, trappedions have many advantages. Atomic ions can be trapped by electric fields in ultrahigh vacuum and then lasercooled to extremely low temperatures. Figure 1 shows a linear crystal of eight, trapped and lasercooled, Sr ions. Owing to their high degree of separation from any thermal environment, quantum superpositions of trappedions states have relatively long coherence times. Extremely accurate control has been demonstrated over their collective internal states [3, 4]. Trapped ions can be lasercooled to the groundstate of their confining potential, thus providing excellent control of their motion as well. Qubits have been encoded into trappedion states [3, 4]. In the last decade or so, all the basic building blocks needed for coherent control of ion qubits were developed [5]. Several quantum algorithms have been demonstrated using up to eight or so ion qubits and, from a quantum computing point of view, the challenge that experimentalists in this field are currently facing is to find ways to scale this system up to large numbers.
The challenge of experimentally realizing a largescale quantum computer is hard, and it has many different fronts. A largescale trapping architecture has to be developed [6], tools for applying parallel quantum gates in multiple trapping regions are needed [7], and so forth. One particular challenge is to be able to drive highfidelity coherent operations on a collective quantum state of a large number of ion qubits. Obviously, the larger the quantum register is, the larger is the space of possible quantum operations. However, the number of possible operations in a quantum code has to be finite, and in particular, independent of the number of qubits in the register. This problem is analogous to the problem of efficiently compiling a computer program into a machine code that implements physical logical operations on a logical register of bits, in a classical computer. In QIP, a finite set of unitary operations, which can be concatenated to efficiently approximate any operation on an arbitrarily large qubit register, is called a universal quantum gate set. This tutorial reviews the basic building blocks of quantum computing operations with trappedion qubits, with an emphasis on ways to implement a universal quantum gate set.
1.1 Universal gate set
The perfect coherent control of a quantum state in a dimension Hilbert space requires the ability, up to a global phase, to unitarily connect any two state vectors in this space. This seems to be a horrendous task, considering that any such unitary operator is generated by independent generators. Fortunately, it was shown that any such operation can be approximated to an arbitrary precision by concatenating a finite number of operators chosen from a small (i.e. of size which is independent of ) set [8, 9]. This small and finite set of operators is called a universal set of quantum gates.
Up to a global phase, a pure quantum state of a single qubit can be visualized as a vector pointing at the surface of a sphere called the Bloch sphere, illustrated in Fig.2. Any unitary single qubit operation is therefore equivalent to a rotation of the Bloch vector. This rotation is specified by the three Euler angles , , and . The angles , and determine the direction of , the axis around which the Bloch vector is rotated, and is the rotation angle. In the Hilbert space of a single qubit, rotations are represented by SU[2] operators, i.e. unitary matrices with a unity determinant. These rotations are generated by the three Pauli matrices , and . The rotation is therefore represented by the operator,
(1) 
where is the Pauli operators vector.
Deutsch was the first to propose the quantum Toffoli gate [8], a rotation of a single target qubit which is conditioned on the state of two control qubits, as a universal gate set (see Fig. 3a). Here the state of the target qubit undergoes a rotation if and only if the state of both control qubits is in the logical . Later, Barenco and coauthors proved that single qubit rotations, , together with twoqubit controllednot (CNOT) gates, shown diagrammatically in Fig. 3b, are a universal quantum gate set as well [9]. A CNOT quantum gate performs a rotation of the target qubit around the Bloch sphere axis, i.e. , only if the control qubit is in state . Both of these gate set examples are not finite since is defined through continuous parameters. It has been shown, however, that by restricting to a small set of rotation angles, any unitary operation in a dimension Hilbert space can be approximated to accuracy by concatenating a string of length , where is a constant, approximately equal to 2, of operators from the universal gate sets above [10, 1].
1.2 QIP with trapped ions
Qubits that are encoded in the internal states of lasercooled and trapped ions are promising candidates as a quantum computing platform [3]. Trappedions are well isolated; thus the coupling of environmental noise to their internal electronic states is weak. The long coherence time attainable with atomic superpositions has been long recognized and led to the development of atomic time standards [11]. Manipulation of atomic superpositions with electromagnetic radiation has been extensively studied [12]. Single atomicqubit rotations were demonstrated long before the emergence of quantum information science (e.g. [13]).
In a seminal paper Cirac and Zoller proposed a method to implement a CNOT gate between ion qubits by using their longrange Coulomb interaction [14]. In the last few years, different schemes for implementing quantum gates that can serve as parts of a universal set were theoretically suggested [15, 16, 17, 18, 19] and experimentally demonstrated on trappedion systems with high fidelity [20, 21].
In this tutorial we review some of the current methods for implementing a universal quantum gate set on trapped ion qubits. Here we will focus on the universal gate set suggested in [9], i.e., single qubit rotations and twoqubit CNOT gates. In Section 2 we review different ion qubit choices, in Section 3 we outline methods of implementing single qubit rotations on the various qubit choices. Finally, in Section 4 we describe a method for implementing a twoqubit entangling gate. Here we focus on a twoqubit phase gate that is based on spindependent light forces.
2 The ion qubit
Quantum information is encoded in the internal electronic levels of trapped ions. Ions with a single electron in the valence shell have a relatively simple level structure and are therefore well suited for this purpose. The relatively manageable electronic level structure also simplifies the lasercooling of such “alkalilike” ions. Once singly ionized, all the elements with stable isotopes in group A II earth alkalies, Be, Mg, Ca, Sr, and Ba, are good candidate ions with a single electron in the zero angular momentum orbital, , of the electronic level. All of these ions have filled and orbitals at the level and no electrons in the orbital of the level, if they are heavy enough to have one. All the radioactively stable, singly ionized, group B II transition metals, Zn, Cd and Hg, qualify, with filled , , and orbitals and a single electron at the level. Finally, the only singly ionized Lanthanide with a single electron in the valence shell is Yb, with filled and and orbitals and a single electron at the level. The trapping and lasercooling of all ions mentioned above were demonstrated [22, 23, 24, 25, 26, 27, 28, 29, 30].
Since it is only singly ionized “alkalilike” ions that are currently used for QIP purposes, it is worthwhile reviewing common features in their internal level structure. Figure 4 shows a schematic diagram of the first few levels of such “alkalilike” ions. The ground electronic state of the valence electron is , where is the valence shell principal quantum number and is the zero angular momentum orbital. The electron can be optically excited to the orbital via an electricdipole transition. Owing to spinorbit coupling, the orbital splits into two finestructure levels: and . Table 1 lists the and transition wavelengths and the natural spectral width of the levels for the various ions.
Earth Alkaline ions heavy enough to have a orbital in the shell (Ca, Sr, and Ba, as well as Hg and Yb), have the and finestructure levels between the and the levels. Since the and the orbitals both have even parity, the electricdipole transition is forbidden and the two levels are coupled only through their electricquadrupole moment. The lifetime of the levels (and hence the natural width of the transition) is therefore long (narrow), and typically of the order of one second (one Hz). The transition is an electric dipole transition and therefore, once excited to the level, the electron can decay both to the states in the as well as in the levels with a fixed branching ratio, . The transition is typically used for lasercooling and other QIP manipulations, and in those ions that have lowlying levels, repumping lasers, e.g. with a wavelength that is tuned to the transition, are necessary to prevent the ion from remaining in the longlived manifold.
In odd isotopes or even isotopes with nonzero nuclear spin, ; all the above levels are split into two or more hyperfine manifolds. A small magnetic field usually splits these manifolds further into different Zeeman sublevels.
A qubit is best encoded in a pair of levels that are as resilient as possible to decay and decoherence. Since levels in the manifold have a very short lifetime (in the few range), qubit levels are typically encoded in two states or a and superposition. Three typical choices for an ion qubit are discussed below.
Ion  I  (MHz)  (GHz)  (nm)  (nm) 

Be  3/2  19.6  1.25  313.1  313.0 
Mg  5/2  41.3  1.79  280.3  279.6 
Ca  7/2  22.5  3.23  396.8  393.4 
Zn  5/2  62.2  7.2  206.2  202.5 
Sr  9/2  21.5  5.00  421.6  407.8 
Cd  1/2  50.5  14.53  226.5  214.4 
Ba  3/2  20.1  8.04  493.4  455.4 
Yb  1/2  19.7  12.64  369.4  328.9 
Hg  1/2  54.7  40.51  194.2  165.0 

2.1 Zeeman qubit
Encoding a qubit in a pair of levels has the advantage of a practically infinite spontaneous decay time. In ions where , the only states in the level are the two Zeeman states corresponding to the valence electron spin pointing parallel and antiparallel to the external magnetic field direction [31]. The energy splitting between the qubit levels is MHz/mT. Here is the bound electron factor, is Bohr magneton and is the magnetic field magnitude. An advantage of choosing this qubit is that since the qubit levels are the only levels in the manifold, optical pumping out of the qubit manifold does not occur. One obvious drawback of the Zeeman qubit is that since the energy difference between the two qubit states depends linearly on the magnetic field, magnetic field noise will cause dephasing. Furthermore, at low magnetic fields the frequency separation between the two qubit states is smaller than the level natural spectral width and therefore state selective fluorescence cannot be directly applied for qubit state detection.
2.2 Hyperfine qubit
In odd isotopes or even isotopes with nonzero nuclear spin, , the is split into () different states in two hyperfine manifolds: . A qubit can be encoded in any pair of hyperfine states [32, 33, 34, 35, 36]. The manifolds are split at a low magnetic field by , where is the groundstate hyperfine constant, which for all the ions discussed here is in the few GHz range. Table 1 lists values for various hyperfine ion qubits. A small magnetic field removes the degeneracy between different Zeeman states in each of the two manifolds. The Zeeman shift at a low magnetic field is given by , and at all magnetic field levels it can be analytically calculated from the BreitRabi formula [37]. A clear advantage of the hyperfine qubit choice is that pairs of levels can be found such that their energy separation does not depend, to first order, on the magnetic field. The most commonly used example is the and states at zero magnetic field, often referred to as the “clock transition” states. Working exactly at zero magnetic field is not feasible since the degeneracy between different Zeeman states has to be removed to enable spectroscopic addressing of various transitions. Consequently, at a low nonzero field, , the magnetic field dependence of the clock transition is first order but small. At certain magnetic fields, large enough such that the magnetic dipole energy is comparable with , other transitions can be found that are first order insensitive to magnetic field variations [44].
2.3 Optical qubit
Ions that have a lowlying level have the possibility of encoding a qubit into levels connected by the optical transition. Since the lifetime of the level is typically of the order of a second, the fundamental limit to the optical qubit coherence time is long relative to a typical operation time. However, in contrast with the two previously discussed qubit choices where the local oscillator is in the Radio frequency (RF) or microwave range, here the local oscillator is a laser. The coherence time of the qubit is therefore also limited by a finite laser linewidth. A laser linewidth comparable to the level natural spectral width ( Hz) requires laser fractional frequency stability of the order of , a nontrivial task. This difficulty renders the optical ion qubit choice less common. In ions with both the and the levels are hyperfine splitted. Since the level of ions cannot decay to the , an optical qubit that is encoded on the transition enables stateselective fluorescence on the transition (see 2.4). Table 2 lists the transition wavelengths, the level lifetime, and , the branching ratio of spontaneous decay for the various ions.
Ion  (nm)  lifetime (sec)  

Ca  729.1  1.17  1/17 
Sr  674.0  0.36  1/14 
Ba  1761.7  30  1/3 
Yb  411.0  0.007  1/290 
Hg  281.6  0.1  1/700 

2.4 Initialization and detection
All the ion qubit choices mentioned above are initialized to a fiducial state using optical pumping techniques [3]. Qubit state detection is typically performed using stateselective fluorescence [38, 39, 3]. Photons are scattered from a laser beam resonant with a transition connecting one of the qubit states to a short lived state. The scattered light is collected on a photodetector. Whether or not the photodetector measures light indicates the state onto which the ion qubit superposition collapses. For optical ion qubits, stateselective fluorescence is straightforward since the two qubit levels are optically separated. For example, the ion scatters photons from a laser beam that is resonant with the transition [40, 41, 42]. The ion cannot decay from the to the level and therefore if the qubit superposition collapses on the state, then no photons are detected during the detection period. Errors in detection here will be due to background photon counts and the finite spontaneous decay probability of the state during the detection period. Hyperfine qubit levels are typically separated by much more than the level’s natural width (typically a few GHz as compared with a few tens of MHz; see Table 1). Stateselective fluorescence is therefore possible on a cycling transition, i.e., a transition in which, due to selection rules, the level decays only to a single state [39, 43]. Errors in this case will be mostly due to offresonance coupling of the detection laser to unwanted states [44]. A fairly large magnetic field is needed in order to separate the two states of a Zeeman qubit by much more than the level natural width. Hence, stateselective fluorescence cannot be used directly. Detection is typically performed in Zeeman qubits by shelving one of the qubit states on a spectrally distant metastable state, e.g., one of the states [45, 46, 47]. Other detection schemes that use quantum logic protocols to enhance detection efficiency have been demonstrated as well [48, 49].
3 Single qubit gates
Singleion qubit gates have been extensively reviewed (e.g. [3, 4, 50]). Here we initially provide a general description of singleion qubit gates followed by a discussion of specific implementations for the various qubit choices.
The qubit levels are coupled by electromagnetic (e.m.) traveling plane waves, i.e., we assume that the ion is placed in the farfield of the e.m. radiation. This assumption does not always hold, however, and there have been several proposals to implement ion qubit gates using nearfield e.m. fields [3, 51, 52, 53, 54, 55]. The qubit evolution is determined by the time dependent Hamiltonian,
(2) 
Here is the free Hamiltonian of a spin connected to a 1D harmonic oscillator (h.o.),
(3) 
where is the qubit levels frequency separation and is the h.o. frequency. The timedependent periodic potential is induced by coupling to the e.m. wave,
(4) 
The coupling constant is also known as the Rabi frequency and are the spin raising/lowering operators,
(5)  
The wavevector, frequency, and phase of the e.m. plane wave are , , and , respectively. The position operator can be written in terms of the h.o. creation and annihilation operators, and ,
(6) 
The phase owing to the equilibrium position of the ion, , can be absorbed in . Here is the projection of along the trap direction, is the h.o. groundstate width and is the LambDicke parameter. Moving to the interaction representation and using the rotatingwave approximation (RWA), the interaction Hamiltonian is,
(7) 
The RWA keeps only terms that vary slowly in time and contribute the most to time evolution under . Expanding the exponent in Eq. (7) we obtain terms oscillating at multiples of . When , with integer , only one of these terms is in resonance and dominantly contributes to the ion qubit time evolution. Here the Rabi frequency is modified to,
(8) 
indicating the coupling of the two qubit levels and the and h.o. levels. The coupling is modified by, , the DebyeWaller factor. For the 1D harmonic oscillator the DebyeWaller factor is analytically calculated to be,
(9) 
Three different cases are commonly used. The carrier transition occurs when and the two qubit levels are coupled without changing the h.o. motional state. The Hamiltonian in the interaction representation is given by,
(10) 
The red sideband (RSB) transition is the transition for which (). Here, when the ion qubit spin state is raised, a single h.o. quantum of motion is annihilated. The interaction Hamiltonian for the RSB is,
(11) 
This Hamiltonian is identical to the wellknown JaynesCummings Hamiltonian in quantumoptics. The third case is that of the bluesideband (BSB) transition, where () and the raising of the qubit spin is accompanied by creating a single h.o. quantum,
(12) 
Note that both the BSB and the RSB transitions entangle the qubit spin with its motional state.
When the deviation of the ion from its average position is much smaller than the radiation wavelength, , the DebyeWaller factor (9) can be expanded using as a small parameter. In this regime, known as the LambDicke regime, the Rabi frequencies of the three cases discussed above can be approximated by,
(13)  
(14)  
(15) 
The carrier Rabi frequency is corrected by , a correction that is small in the LambDicke regime. The RSB and BSB Rabi frequencies depend on the ion motion to a greater extent and are proportional to and respectively. Note that the RSB Rabi frequency vanishes for since no h.o. quanta can be further extracted.
The dependence of the Rabi frequencies on and can be understood by considering the effect of photon recoil on the overlap between different h.o. wavefunctions. Looking at the overlap between a momentumdisplaced h.o. groundstate, a Gaussian, and either a groundstate (carrier transition) or the first h.o. excited state (BSB transition), shown in Fig 5. Here the wavefunction is plotted vs. momentum in units of . In these units the h.o. groundstate width is unity whereas the momentum displacement is . The overlap between the groundstate and the displaced groundstate is since the Gaussians are displaced by around their maximal overlap point. The overlap between the displaced Gaussian and the first excited state increases linearly with since the Gaussian peak is displaced along the excited state’s linear slope. The dependence on results from the fact that the distance between nodes in the h.o. wavefunction, and therefore also the width of each node is roughly . The overlap between and the displaced wavefunctions would therefore also be proportional to . The dependence can also be thought of as resulting from bosonic amplification.
To avoid entanglement of the ion qubit spin with its motion, onresonance carrier transitions are used to drive single qubit gates. Here the interaction Hamiltonian, Eq. (10), is time independent and the qubit time evolution in the interaction representation is given by,
(16) 
Here and the Rabi vector direction are given by the unit vector pointing in the Bloch sphere equatorial plane. The rotation matrix represents the spinor rotation operator,
(17) 
The origin of the coupling, represented by , can vary and depends on the ion qubit choice. Next, we describe three different singlequbit gate coupling implementations for the different ion qubit types.
3.1 Magnetic dipole coupling
Zeeman or hyperfine qubits have a separation between the their levels that is in the RF or microwave range. The two qubit states represent different directions or magnitudes of a magnetic dipole and can therefore be coupled by inducing magnetic dipole transitions. The timevarying potential in the presence of an oscillating magnetic field is,
(18) 
The magnetic moment of the electron is , where , , and are the electronic spin, the electronic orbital angular momentum, and nuclear spin operators, respectively, and , and are the corresponding factors. The Rabi frequency here is given by . For a Zeeman qubit . The Rabi frequency will maximize to MHz when (in mT) is perpendicular to , e.g. . Figure 6 shows the probability of finding a Zeeman qubit, in a Sr ion, oscillating vs. time, due to magneticdipole coupling.
Since for different ion qubit choices and quantization magnetic field magnitudes the qubit separation frequency varies between a few MHz and a few GHz, the wavelength of , will vary between and meters, where the typical is between and nm. The LambDicke parameter in this case will be negligibly small, resulting in a carrier Rabi frequency is almost nearly independent of the ion motion. The disadvantage is that sideband transitions cannot be efficiently driven. Another disadvantage is that this way singleion qubit addressing is impossible. The fidelity of magnetically driven singlequbit gates is mainly limited by the amplitude and phase noise of the magnetic RF field at the position of the ion.
3.2 Twophoton Raman coupling
Twophoton Raman transitions employ a laser as an optical “carrier” of the RF qubit separation frequency. In this scheme, photons are coherently transferred between two optical modes with frequencies that are separated by as illustrated in Fig. (7). The laser frequencies are offresonance, by a detuning , with optically allowed transitions from the qubit levels to several excited levels, . With the qubit choices mentioned above, are typically the different states in the and levels. Thus, the electric fields of the two Raman modes can be written as,
(19) 
where red and blue (r/b) correspond to the lower and higher frequency fields, respectively, and is a unit vector in the field polarization direction. To fully solve for the ion evolution, the amplitudes associated with the multiple levels involved have to be calculated. However, when the detuning is significantly larger than the coupling strength, the amplitude associated with the optically excited states, , reduces as and oscillates at two time scales, , and a slow time scale that adiabatically follows the groundstate amplitudes. It is thus possible to “adiabatically eliminate” the amplitudes of the states and write the equations of motion only in terms of the groundstate amplitudes and their derivatives. The problem thus reduces to an effective twolevel problem involving only the qubit levels. The effective Rabi frequency here is,
(20) 
The timedependent potential would then reduce to the form of Eq. (4), with and . The carrier Hamiltonian in the RWA will be,
(21) 
The first term on the r.h.s is identical to Eq. (10). The second term on the r.h.s is due to the difference in the qubit levels’ light shifts induced by the offresonance Raman beams,
(22) 
The differential light shift can be tuned to zero by carefully choosing the beam polarization and detuning.
The LambDicke parameter and therefore the ability to impart momentum and the sensitivity of the Rabi frequency to the ions’ motion depends on the angle between the Raman beams. In order to efficiently drive sideband transitions, the angle between the Raman beams needs to be as large as possible and the difference in their wave vector should be such that has a maximal projection along the trap axis. For the purpose of driving single qubit rotations it is desirable to avoid changes in the Rabi frequency owing to ion motion and therefore often a copropagating Raman beam configuration is chosen. Raman beams can be focused to a size limited by the (optical) diffraction limit, typically of the order of a wavelength, and therefore singleion qubit addressing is in principle possible.
Similarly to the magnetic dipole transition case, errors are caused by classical noises. Laser intensity noise and beam pointing fluctuations result in noise in the Rabi frequency. Phase and frequency noise between the Raman frequency difference and the ion qubit frequency separation also reduces the gate’s fidelity. However, in this case, in addition to classical noises, the quantum nature of light will further contribute to the gate error [56]. For laser beams the effect of quantum noise on the interaction with an atom is attributed to spontaneous scattering of photons. Groundstate coherence is only affected by Raman spontaneous scattering events in which a population is transferred between different groundstate levels [57], or when the scattering amplitude from the two qubit states are different [58]. The spontaneous Raman scattering probability during a single qubit gate contributes to the gate error. This contribution reduces for larger values.
3.3 Optical quadrupole coupling
Optical qubits are manipulated with optical fields. Consider an optical ion qubit encoded in superpositions of the and states. Since the two qubit states have the same parity, it is only electric quadrupole transitions, which require an electric field gradient across the ion, which couple the two levels. Given an optical electric field,
(23) 
the electric quadrupole Rabi frequency is given by,
(24) 
Figure 8 shows response spectrum of an optical qubit in a single Sr ion to a narrow line width laser scanning across its transition frequency. Red and Blue sidebands are apparent on both sides of the carrier transition.
Unlike twophoton Raman transitions, here the LambDicke parameter cannot be tuned to zero. Errors in optical quadrupole single qubit gates will result from classical noises in the intensity and frequency of the driving laser, and in addition, from a thermal component in the ions’ motion. Another error results from the finite probability of the level to decay during the gate. However, since the lifetime of the levels is typically sec and much larger than the gate time, this error is typically small.
4 Twoqubit gates
Thus far, we considered only singlequbit rotations. In addition to signlequbit gates, the standard universal gate set includes CNOT entangling operations. CNOT gates rotate the state of a target qubit around the axis by , depending on the logical state of a second, control, qubit. Lexicographically ordered, a general twoqubit state is written as the four vector,
(25) 
The CNOT operation is then represented by the matrix,
(26) 
Since the roles of the target and control qubits are different, implementing this gate on an array of trappedion qubits requires a physical operation that can distinguish between the two. An entangling operation that is symmetric with respect to both ions, appears to be an easier operation to implement. Rotating the target qubit by a Hadamard rotation, which up to a global phase can be composed from two consecutive rotations , both before and after the gate, we obtain the operation,
(27) 
Here, a phase shift is imprinted on the state with respect to the three other collective spin states. Note that since this gate and the CNOT are connected via singlequbit rotations, they are equivalent in terms of a universal gate set. A subsequent rotation of both qubits around the axis yields,
(28) 
Here, a phase is imprinted on antiparallel spin states with respect to parallel spin states.
Both examples above are entangling operations that rely on imprinting a phase on certain collective spin states. It is important to emphasize that whether a certain entangling operation is a phase gate or not depends on the choice of basis in which it is presented. As an example, the last operation, written in the basis is,
(29)  
a collective spin flip operation,
(30)  
(31) 
In fact, most of the proposed implementations of an entangling gate for trappedion qubits can be thought of as a phase gate in one basis and a collective spinflip operation in another.
4.1 Quantum phases in cyclic motion
Entangling phase gates change certain twoqubit collective spin states only by phase factor multiplication. One of those collective spin states undergoes cyclic evolution during the gate, at the end of which, it returns to its initial state with an acquired phase. The phase factors that accompany the cyclic evolution of a quantum state were first studied by Berry for adiabatic state evolution [59] and later by Aharonov and Anandan for the general case [60]. Following [60], let us consider a general quantum state undergoing a cyclic evolution with a period ,
(32) 
The state evolves according to the timedependent Schrödinger equation,
(33) 
We define the “bare” state,
(34) 
such that . We can now write a differential equation for ,
(35) 
The phase accumulated by at time is given by integrating Eq.(35),
(36) 
There are two different contributions to the total phase. The first term on the r.h.s in Eq.(36) is , the Dynamic phase, i.e., the time integration of the energy expectation value divided by . The second term on the r.h.s is the geometric part of the phase, . This part is independent of the exact Hamiltonian under which the state evolves but rather on its evolution path in parameter space. Assuming that at every time instance the wavefunction can be mapped onto a parameter space , , then can be written as an integral along a closed contour,
(37) 
To illustrate the geometric origin of , consider a wavefunction evolving around the closed contour in parameter space, as shown in Fig.(9). The infinitesimal phase difference, between and is defined as,
(38) 
Taking the log of both sides of Eq.(38) yields,
(39) 
The geometric phase is thus calculated by integrating Eq.(39) around the contour yielding Eq.(37). By defining the vector potential
(40) 
we can write an effective “magnetic field”,
(41) 
Using Stokes theorem we then express the geometric phase as the effective magnetic field flux through the parameter space area, ,
(42) 
Here n is the unit vector normal to . The encirclement of a finite area in parameter space is therefore a necessary condition for accumulating a geometrical phase in cyclic motion.
An ion qubit is a (pseudo) spin connected to a harmonic oscillator. A phase gate such as (28) can be implemented by acquiring either a dynamic or a geometric phase or both, during a cyclic motion either in spin configuration space or in the h.o. phase space. Cirac and Zoller’s seminal 1995 proposal for an entangling gate with trappedion qubits [14] implements a phase gate where the phase is geometric and the cyclic motion is in spin configuration space. A later proposal by the same authors uses a dynamic phase acquired during a cyclic motion in phase space [61]. In the following section we will concentrate on a class of gates, initially proposed by Sørensen and Mølmer [15] and independently by Milburn and coauthors [16], which uses spindependent forces to acquire a sum of geometric and dynamic phases during a cyclic motion in h.o. phase space.
4.2 Driven harmonic oscillator
A classical harmonic oscillator evolves periodically in phase space under the influence of a force, , oscillating at a frequency slightly offresonance from its harmonic frequency, . Starting at rest, , the position and momentum of the oscillator at subsequent times are given by,
(43)  
(44) 
Initially the driving force increases the oscillation amplitude until, at time , the force and the oscillator are out of phase. From this time onward the force dampens the oscillator until, at time , the oscillator returns to its initial state. To make an analogy with the quantum case, we normalize the h.o. position by and the momentum by and move to a frame rotating at the oscillator frequency. Neglecting terms that are proportional to we arrive at,
(45)  
(46) 
We define the complex function . The h.o. oscillator motion in the complex plane is along the curve,
(47) 
The h.o. therefore periodically evolves around a circle in the complex plane, the area of which is
(48) 
We now turn to solving the quantum, driven, harmonic oscillator. The quantum Hamiltonian of a driven h.o. is,
(49) 
Note that here we assume that the force is spatially uniform and therefore it does not vary across the h.o. wavefunction. Moving to the interaction representation and using the RWA we write, , with,
(50) 
does not commute with itself at different times; however, for a short enough , we can still write,
(51) 
where is the displacement operator,
(52) 
When operating on the h.o. groundstate the displacement operator forms coherent states of motion. Here the infinitesimal displacement is,
(53) 
The real and imaginary part of the displacement can be identified with its position and momentum parts, respectively. To add two infinitesimal displacements, we use the BakerHausdorff formula,
(54) 
for operators and that commute with their commutator, . We thus get,
(55) 
The displacement operator can accordingly be rewritten as,
(56) 
with, . The total displacement at time, , is therefore,
(57) 
The quantum wavefunction and the classical h.o. therefore follow an identical trajectory in phase space, illustrated in Fig. 10. As in the classical case, after time , the h.o. wavefunction returns to its initial state.
The total phase that is accumulated by the end of the gate is,
(58) 
To implement the phase gate (28), the force magnitude and detuning are adjusted such that . Comparing the phase to the area encircled in phase space during the gate, Eq. (48), we obtain,
(59) 
A proportionality between the phase accumulated per cycle and the area encircled by the wavefunction in phase space suggests that the phase has a geometric origin.
To make the connection with Eq.(36) we calculate the dynamic and geometric contributions to . The dynamic phase is simply,
(60)  
The geometric part of the phase is,
(61) 
Here phase space is the parameter space (a complex plane) and the wavefunction trajectory is parameterized by the complex displacement . We evaluate the integrand along the wavefunction path by,
(62) 
Coherent states are an overcomplete basis of wavefunctions and are therefore not mutually orthogonal. The overlap between two coherent states and is,
(63) 
We therefore arrive at,
(64) 
leading to the geometric phase,
(65) 
The total phase acquired during the gate is consequently the sum of partially canceling dynamic and geometric contributions. Although of different origin, the geometric and dynamic parts of the phase are proportional to each other. The total phase, therefore, is also proportional to the geometric phase and accordingly, to the area encircled in phase space [62]. The fact that depends on the wavefunction path in phasespace rather than on dynamic properties of the gate Hamiltonian contributes to the phase gate robustness against noise.
Following Eq.(40) we can define a vector potential,
(66) 
The effective magnetic field (as in Eq.(41)) is then perpendicular to the complex plane, i.e. and constant,
(67) 
By using the Stokes theorem, Eq. (42), we again find that the geometric phase equals minus twice the phasespace area encircled, as in equations (59) and (65). The motion of the h.o. wavefunction in phasespace (in the interaction representation) is therefore analogous to the motion of a charged particle in a uniform magnetic field. The acquired geometric phase is therefore analogous to the AharonovBohm phase.
4.3 Spindependent forces
Acquiring a phase is not sufficient realizing of a twoqubit phase gate such as in Eq. (28). The phase acquired and therefore also the wavefunction trajectory through phasespace have to be dependent on the collective twoqubit spin state. To this end, spindependent forces have to be used.
Since light couples differently to different spin states, it can be used to apply spindependent forces on trappedion qubits. Spindependent forces can be applied to Zeeman or hyperfine ion qubits by using the differential light shift, Eq. (22). Here, a spatial variation in the light shift induces different forces on ions in different collective spin states. Ions in a collective spin superposition move along positionmomentum paths that are entangled with the different spin states. Since the force evolution is cyclic, spin and motion are disentangled at the end of the gate. Here, since the different collective spin states are eigenstates of , the gate is referred to as a gate.
It is somewhat less trivial using the light shift, due to coupling to a third level, to apply spindependent forces to an optical ion qubit. This is because for a given transition wavelength, when one of the qubit levels is connected to a third level, only that level will be light shifted. Forces on the two ion qubits will only depend on one of the qubit states. Another example of an ion qubit on which such gates fail are “magnetic field insensitive” qubits. Here, since the magnetic field couples primarily to the electron spin, and to a far lesser degree to the nuclear spin, “magnetic field insensitive” qubits have equal amplitudes of different electron spin contributions to the two qubit states [63]. Light also couples primarily to the electron spin and therefore the difference in light shifts is very small and is mainly due to the small difference in detuning between both qubit states. These small differential light shifts are insufficient to efficiently drive an entangling gate. Entangling phase gates on the two ion qubits mentioned above are possible, however, when differential forces are applied on spin states that lie on the Bloch sphere equatorial plane. In the measurement basis, the action of these gates is similar to Eq.(4). Since this gate is a phase gate in the basis of eigenstates of , where , i.e., is the angle form the positive axis, the gate is often referred to as a gate.
4.4 gates
In the case of magnetic fieldsensitive Zeeman or hyperfine qubits, gates can be driven with a pair of beams similar to the singlequbit Raman gate case, Eq.(20). Here, however, the difference in frequency between the beams is far from the qubit transition frequency, , and is close to resonance with the trap motional frequency, . In the RWA, no terms are resonant and therefore no direct coupling between the two qubit levels occurs. Instead, the only effect of the light field is to shift the two qubit levels by , given in Eq. 22.
To form a spatially varying potential, the two beams are crossed such that the vector difference of their wavevectors, , is parallel to the axial direction of the trap. By choosing beam polarizations mutually perpendicular and with a magnetic field direction that is perpendicular to both one obtains a local polarization of the light field that varies periodically between right circular, linear, left circular, a linear polarization perpendicular to the previous, and back to right circular, over a period of . This configuration is often referred to as the lin lin configuration, known from Sisyphus cooling. The light potential of each of the qubit levels can hence be written as,
(68) 
Here and are the light shifts of the and qubit levels owing to the presence of a right and left circularly polarized field respectively. The force on each of the qubit levels is therefore,
(69) 
With two equalmass ions in the trap, there are two normal modes of motion along the trap longitudinal axis. The center of mass (CM) mode, where the two ions oscillate in phase, has an angular frequency that equals that of a single ion, . The second mode is the “stretch” (ST) mode, where the two ions oscillate out of phase, has an angular frequency of [64]. The position operator of each ion can be written as,