Mølmer–Sørensen gate. In quantum computing, Mølmer–Sørensen gate scheme (or MS gate) 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.

This proposal was an alternative to the 1995 Cirac–Zoller controlled-NOT gate implementation for trapped ions, which requires that the system be restricted to the joint motional ground state of the ions.

In an MS gate, entangled states are prepared by illuminating ions with a bichromatic light field. Mølmer and Sørensen identified two regimes in which this is possible:

 A weak-field regime, where single-photon absorption is suppressed and two-photon processes interfere in a way that makes internal state dynamics insensitive to the vibrational state
 A strong-field regime where the individual ions are coherently excited, and the motional state is highly entangled with the internal state until all undesirable excitations are deterministically removed toward the end of the interaction.
In both regimes, a red and blue sideband interaction are applied simultaneously to each ion, with the red and blue tones symmetrically detuned by  from the sidebands. This results in laser detunings , where  is the motional mode frequency.

When an MS gate is applied globally to all ions in a chain, multipartite entanglement is created, with the form of the gate being a sum of local XX (or YY, or XY depending on experimental parameters) interactions applied to all qubit pairs. When the gate is performed on a single pair of ions, it reduces to the RXX gate. Thus, the CNOT gate can be decomposed into an MS gate and combination of single particle rotations.

History 
Trapped ions were identified by Ignacio Cirac and Peter Zoller at the University of Innsbruck, Austria in 1995, as the first realistic system with which to implement a quantum computer, in a proposal which included a procedure for implementing a CNOT gate by coupling ions through their collective motion.  A major drawback of Cirac and Zoller's scheme was that it required the trapped ion system to be restricted to its joint motional ground state, which is difficult to achieve experimentally. The Cirac-Zoller CNOT gate was not experimentally demonstrated with two ions until 8 years later, in 2003, with a fidelity of 70-80%. Around 1998, there was a collective effort to develop two-qubit gates independent of the motional state of individual ions, one of which was the scheme proposed by Klaus Mølmer and Anders Sørensen in Aarhus University, Denmark.

In 1999, Mølmer and Sørensen proposed a native multi-qubit trapped ion gate as an alternative to Cirac and Zoller's scheme, insensitive to the vibrational state of the system and robust against changes in the vibrational number during gate operation.  Mølmer and Sørensen's scheme requires only that the ions be in the Lamb-Dicke regime, and it produces an Ising-like interaction Hamiltonian using a bichromatic laser field.

Following Mølmer and Sørensen's 1999 papers, Gerard J. Milburn proposed a 2-qubit gate that makes use of a stroboscopic Hamiltonian in order to couple internal state operators to different quadrature components. Soon after, in 2000, Mølmer and Sørensen published a third article illustrating that their 1999 scheme was already a realization of Milburn's, just with a harmonic rather than stroboscopic application of the Hamiltonian coupling terms.

Mølmer and Sørensen's 2000 article also takes a more general approach to the gate scheme compared to the 1999 proposal. In the 1999 papers, only the "slow gate" regime is considered, in which a large detuning from resonance is required to avoid off-resonant coupling to unwanted phonon modes. In 2000, Mølmer and Sørensen remove this restriction and show how to remove phonon number dependence in the "fast gate" regime, where lasers are tuned close to the sidebands.

The first experimental demonstration of the MS gate was performed in 2000 by David J. Wineland's group at the National Institute of Standards and Technology (NIST), with fidelities of F= .83 for 2 ions and F=.57 for 4 ions. In 2003, Wineland's group produced better results by using a geometric phase gate, which is a specific case of the more general formalism put forward by Mølmer, Sørensen, Milburn, and Xiaoguang Wang. Today, the MS gate is widely used and accepted as the standard by trapped ion groups (and companies), and optimizing and generalizing MS gates is currently an active field in the trapped ion community. MS-like gates have also been developed for other quantum computing platforms.

Description 

To implement the scheme, two ions are irradiated with a bichromatic laser field with frequencies , where  is the energy splitting of the qubit states and  is a detuning close to the motional frequency  of the ions. Depending on the interaction time, this produces the states

The above is equivalent to the Ising coupling gate Ryy(π/2); It can then be shown that this gate (along with arbitrary single-qubit rotation) produces a universal set of gates.

An alternative definition of MS gate equates it to Rxx(π/2), and is adopted as IonQ's native gate for two-qubit entanglement. In this definition, CNOT gate can be decomposed as

 

The Mølmer–Sørensen gate implementation has the advantage that it does not fail if the ions were not cooled completely to the ground state, and it does not require the ions to be individually addressed. However, this thermal insensitivity is only valid in the Lamb–Dicke regime, so most implementations first cool the ions to the motional ground state. An experiment was done by P.C. Haljan, K. A. Brickman, L. Deslauriers, P.J. Lee, and C. Monroe where this gate was used to produce all four Bell states and to implement Grover's algorithm successfully.

Interaction Hamiltonian derivation

Laser-atom Hamiltonian 
The relevant Hamiltonian for a single trapped ion consists of the interaction between a spin-1/2  system, a harmonic oscillator trapping potential, and an external laser radiation field:

Here,  is the energy splitting between qubit states  and ,  and  are the creation and annihilation operators of phonons in the ions' collective motional mode,  is the energy of those phonons, and  is the Pauli Z matrix.

The third term, the interaction Hamiltonian, can be written

for an polarized laser propagating along . Here, we have defined the Rabi frequency  (dimensions of energy), as well as the operator for center-of-mass motion in the -direction . Here,  is the spread of the zero-point wavefunction,  is the ion mass, and the Lamb-Dicke parameter  parameterizes the size of the ground state wavepacket compared to radiation wavelength .

Now we will move into the interaction picture with respect to  and  and make a rotating wave approximation to get

where we have detuned the laser by  from the qubit frequency  and absorbed the phase into the Rabi frequency .

Within the Lamb-Dicke regime, we can make the approximation

which splits the Hamiltonian into three parts corresponding to a carrier transition, red sideband (RSB) transition, and blue sideband (BSB) transition:

By making a second rotating wave approximation to neglect oscillation terms, each piece can be examined independently. For , only the first term is kept, and the Hamiltonian becomes  which alters the spin state of the ion without affecting its motional state. For , only the second term is kept since . Then the red sideband (RSB) Hamiltonian is

The RSB transition can be thought of as an `exchange' of motion for spin. For an ion with phonon occupation number , an RSB -pulse will take  with oscillation frequency .

For , only the third term is kept since . Then the blue sideband (BSB) Hamiltonian is

which is also a spin-motion exchange. For an ion with phonon occupation number , a BSB -pulse will take  with oscillation frequency .

Mølmer-Sørensen Hamiltonian 
The MS Hamiltonian is the application of simultaneous, symmetrically detuned red and blue sideband tones over  ions. Written in the interaction picture with respect to ,

where the single-ion Hamiltonians (in the rotating-wave approximation with respect to  and counter-rotating terms) are given by

The red and blue tones have the effective Rabi frequencies  and , respectively.

To be thorough, we will also sum over all  motional modes ( ions   motional dimensions), each with eigenvector  and eigenfrequency . The red and blue tones are symmetrically detuned by  from the sidebands, results in laser detunings . We also assume that the tones are detuned near a motional mode which is far from the carrier such that the RWA is invoked to drop .

We define  and write the detuning from each motional mode as .

Under the preceding assumptions, the MS interaction Hamiltonian (with respect to ) becomes

where . Now we define spin and motional phases

such that the Hamiltonian can be separated into its spin and motional components:

where we have now defined the spin operator  and displacement operator .

Time evolution operator 
The time evolution operator is obtained through the Magnus expansion

where the first two  are

and higher order terms vanish for the MS Hamiltonian since 

The first order term is

where  describes the displacement of the  motional mode through phase space.

In the weak field regime, where , this term can be neglected, as the phase space trajectory consists of very small, fast loops about the origin.

The second order term is

over ion pairs .

If we set the phases such that  and  then .

Gate properties

Strong-field (fast gate) regime 
In the strong field regime, ions are coherently excited and the motional state is highly entangled with the internal state until all undesirable excitations are deterministically removed toward the end of the interaction. Care must be taken to end the gate at a time when all motional modes have returned to the origin in phase space, and so the gate time is defined by  for each mode .

For , the second term of  also vanishes, and so the time evolution operator becomes

Weak-field (slow gate) regime 
Mølmer and Sørensen's original proposition considers operations in the limit . In this 'weak-field regime', there is insensitivity to vibrational state and robustness against changes in vibrational motion throughout the entire gate operation, due to exploiting two important effects of quantum mechanics:

 Vibrational degrees of freedom will enter the scheme only virtually. They are crucial as intermediate states, but population is never transferred to states with different vibrational excitations. This is because the detuning  is far enough from the mode frequency  that negligible population is transferred to intermediate levels with vibration numbers . 
 Transition paths involving different, unpopulated vibrational states interfere destructively to eliminate the dependence of rates and revolution frequencies on phonon numbers. This is discussed below.

Perturbative analysis 
If we consider two ions, each illuminated by lasers with detunings  from , the only energy-conserving transitions are  and . Under the Lamb-Dicke approximation , we determine the effective Rabi frequency for the  transition via intermediate states  using second order perturbation theory:

There are four possible transition paths between  and :

, 

, 

, 

, 

and so the summation can be restricted to these four intermediate terms.

The pathways involving intermediate states with  quanta yield , while the  pathways yield . Summing terms, we obtain the effective Rabi frequency  , which is independent of phonon number  due to destructive interference between pathways.

Four similar transition pathways can be identified between , resulting in the state evolution:

 .

Maximally entangled states are created at time .

Interaction Hamiltonian 
In the weak field regime,  can be neglected, as the phase space trajectory consists of very small, fast loops about the origin. To find , counter-rotating terms neglected in the rotating wave approximation must be re-introduced as a linear term appears that dominates at long times.

Doing so, the effective time evolution operator becomes

which is equivalent to that of an Ising Hamiltonian

with coupling between  and  given by

.

References 

Quantum computing
Quantum gates