Mølmer–Sørensen Gate
The Mølmer–Sørensen gate is the two-qubit entangling operation that made trapped-ion quantum computing practical. Its ancestor, the Cirac–Zoller gate, demanded that the shared vibrational mode of the ion chain sit in a definite Fock state — usually the ground state — and stepped quantum information through that single phonon in a fragile sequence of pulses. In 1999 Anders Sørensen and Klaus Mølmer asked whether the motion could be used without ever being genuinely occupied. Their answer: illuminate two ions with two laser tones at once, symmetrically detuned above and below the qubit frequency so one sits near the red motional sideband and the other near the blue. Each tone alone would create or destroy real phonons; together their amplitudes interfere so the phonon appears only virtually. The motion is displaced around a closed loop and returns exactly home, leaving the two ions an entangling phase equal to the geometric area enclosed — a quantity blind to how many phonons were present to begin with. In the Lamb–Dicke regime the bichromatic field is a spin-dependent force: ions in different collective spin states are pushed in opposite directions, tracing trajectories that close after , set by the detuning from the sideband. At that instant spin and motion disentangle and a pure two-qubit phase remains. Tuning the laser power so the enclosed area gives the two-body angle turns separable states into Bell states. Because the phase is geometric and -independent, the gate tolerates thermal motion, works from a Doppler-cooled start, and has been pushed past fidelity — the highest of any platform, and the native entangler in today's laboratory and commercial ion processors.
- The Mølmer–Sørensen (MS) gate entangles two trapped ions with a symmetric pair of laser tones (a bichromatic field) detuned by about the qubit transition, exciting a shared motional mode off-resonantly.
- Red and blue sidebands act together, so the motion is excited only virtually: the mode returns to its starting state and the entangling phase is independent of the initial phonon number .
- In the Lamb–Dicke regime the drive is a spin-dependent force whose closed loop imprints , locally equivalent to CNOT.
- Unlike the Cirac–Zoller gate it needs no single-Fock-state preparation and is first-order insensitive to thermal motion, making it the workhorse entangler of modern ion traps, with speed and fidelity set by , , , and decoherence from scattering and heating.
- Key idea: two symmetric tones detuned by from a motional sideband generate a spin-dependent force whose phase-space trajectory closes at , imprinting an -independent two-qubit phase that — tuned to a two-body angle — yields a maximally entangling gate.
Drive two ions with a symmetric bichromatic field detuned by from a motional sideband; the red and blue sidebands together generate a spin-dependent force whose phase-space trajectory closes after , imprinting an -independent two-qubit phase that, tuned to a two-body angle , yields a maximally entangling gate.
Where this lives today
The Mølmer–Sørensen interaction is the beating heart of modern ion-trap computing. In machines from Quantinuum and IonQ it is the native two-qubit gate: pairs are addressed with focused Raman beams, entangled by an MS pulse, and shuttled between memory and interaction zones in a quantum charge-coupled-device (QCCD) architecture. Its record fidelities — above 99.9% for hyperfine qubits — are the highest of any platform. Applied globally instead of pairwise, the same Hamiltonian generates the long-range Ising couplings that Christopher Monroe's group and others use to simulate frustrated magnetism and information scrambling in chains of tens of ions, and to prepare large GHZ states in one shot. The open frontiers are practical: crosstalk-free individual addressing in long chains, robustness to trap-frequency drift (met with shaped pulses that close several phase-space loops at once), and integration with ion–photon entanglement to stitch local registers into a networked, modular machine that scales beyond a single trap.
The physical picture
Treat the two ions' shared vibration as one harmonic oscillator. A spin-dependent force pushes it in a direction fixed by the joint spin state, so the coherent-state amplitude drifts through phase space. Because the drive rotates at the slow detuning , the amplitude sweeps out a circle rather than running away, and after one full turn — at — it lands back exactly where it started. Like the Aharonov–Bohm phase, the return is not trivial: the spin acquires a geometric phase equal to twice the enclosed area, and that phase, and only that phase, entangles the two ions.
The two laser tones do the real work of hiding the phonon. Detuned just inside the red and blue sidebands, each tone alone would drive a genuine sideband transition and pump quanta into the mode. Driven together and symmetrically, their amplitudes for creating and annihilating a phonon interfere: the resonant part cancels, and what survives is a second-order coupling that carries the internal state from to through a virtual phonon, borrowed and immediately returned. Because the phonon never really exists, the process does not count how many were already there — the origin of the gate's thermal robustness. The second figure traces the two interfering two-photon paths that connect and while leaving untouched.
The robustness is fundamentally a closed-loop effect. The trajectory closes when , a condition on timing alone, independent of the loop's radius: laser-power errors change the radius and phase but cannot stop the loop from closing, so spin and motion always disentangle on schedule — a built-in geometric error-suppression that single-tone schemes lack.
The core equations
The starting point is the interaction of the two ions with the bichromatic field, in the frame rotating at the carrier. Two tones symmetric about the carrier act on the qubit raising operators and on the mode through the recoil phase factor .
where: — carrier Rabi frequency of each tone on each ion; — raising operator of ion ; — Lamb–Dicke parameter with zero-point extent ; — annihilation and creation operators of the chosen collective mode; — mode frequency; , — blue and red tone detunings. Reading: each tone couples internal flips to phonon creation and annihilation, scaled by . Expanding to first order in and keeping the slowly-rotating sideband terms collapses the two tones into a single spin-dependent force — the operational heart of the gate.
where: — collective spin operator; at , ; — detuning of each tone from its sideband; — sideband Rabi frequency setting the force amplitude. Reading: the force points oppositely for the two spin eigenstates — that is "spin-dependent". Integrating the force gives the mode's coherent displacement — a phase-space circle that returns to the origin once each drive period.
where: — spin-dependent coherent displacement of the mode; — gate time. Reading: the displacement vanishes at for every branch and every initial phonon number — why spin and motion disentangle regardless of temperature. Because the force is linear in the mode operators, the evolution truncates exactly at second order: the motion factors out and a pure two-qubit phase — the enclosed area — remains.
where: — geometric phase, twice the enclosed loop area per unit ; — collective two-body coupling. Reading: at closure the term dies and only the area, growing linearly in , survives. For two ions, , so the physical entangling angle is ; fixing it to gives the maximal entangler.
where: — two-body angle for maximal entanglement; — the laser-power condition. Reading: in collective form , identical to the two-body form up to the global phase . On the computational basis it turns product states into Bell states — the signature of a maximal entangler.
where: — both ions in the ground or excited state. Reading: , and flips both spins to build the equal-weight superposition. Applied globally to ions, the same physics generates the long-range Ising couplings with — a tunable, power-law resource for analog quantum simulation and GHZ-state creation. Finally, the leading imperfections set the fidelity floor — and crucially, not all are suppressed by the gate's thermal robustness.
where: — gate fidelity; — spontaneous photon scattering rate; — mean phonon number; — motional heating rate; — dimensionless higher-order Lamb–Dicke coefficient. Reading: photon scattering and heating during the gate are not protected by first-order -independence.
The goal is to show that the full two-tone Hamiltonian of equation (1) reduces, in the Lamb–Dicke regime, to the clean object of equation (2): a force on the motional mode whose sign is fixed by the collective spin operator . We expand the recoil exponential, discard the fast carrier and counter-rotating pieces, and use the symmetric tone placement to combine the survivors into one slowly-rotating force.
Step 1. Expand the recoil factor to first order, . Why: with the ion barely samples the wavelength's curvature, so only the term linear in the mode operators survives — the whole content of the Lamb–Dicke approximation.
Step 2. The zeroth-order piece drives the carrier at ; with symmetric placement it averages away or is removed by frame choice, leaving the -linear sideband terms. Why: the carrier merely rotates each qubit and does not contribute to the entangling dynamics we are isolating.
Step 3. Insert , : the blue tone's times gives a slow , the red tone's times gives , and the fast pairings drop by the rotating-wave approximation. Why: the symmetric detuning makes each tone select one mode operator with an envelope rotating at , not .
Step 4. Collect the survivors into times , giving . Why: this is a displacement whose phase-space direction is set by the eigenvalue of — a genuine spin-dependent force, the object every later step manipulates.
Go deeper · Derivation B · 1 minFrom the spin-dependent force to the entangling phase
The goal is to prove that evolving under the linear force gives exactly a displacement times a pure two-qubit phase equal to the enclosed area, and that the Magnus expansion truncates after two terms so the result is exact, not perturbative. We write with , compute the first two Magnus terms, and show the rest vanish.
Step 1. The first Magnus term integrates the force: , a displacement by . Why: a linear force pushes the coherent amplitude by an amount , so different spin branches displace differently.
Step 2. At loop closure the factor , so for every eigenvalue of and every initial phonon state. Why: the displacement returning to zero disentangles motion from spin on schedule — the timing, not the power, guarantees it.
Step 3. The second Magnus term is ; the commutator is a c-number times , since . Why: the mode operators contract to a number, so is a spin-only phase — the seed of entanglement.
Step 4. The double integral of gives , i.e. . Why: is the geometric phase — precisely twice the loop area — the quantity tuned to entangle the ions.
Step 5. At , , so ; higher Magnus terms vanish because for a linear force. Why: the exact truncation makes equation (4) the full evolution, not an approximation.
Go deeper · Derivation C · 1 minWhy the phase is independent of the motional Fock state
The goal is to make explicit the property that defines the MS gate — that once the loop closes, the two-qubit phase contains no operator on the vibrational Hilbert space, so it is identical for the ground state, any Fock state , and any thermal mixture. We decompose the spin state into eigenstates of , follow each branch's motional trajectory, and reassemble.
Step 1. Write and expand in eigenstates of with ; each branch feels a displacement . Why: since the force commutes with , the spin branches evolve independently, each dragging its own copy of the motion around a loop scaled by .
Step 2. At every branch has , so each component returns to itself exactly — no -dependent displacement survives. Why: loop closure depends only on , not the radius , so the disentangling is exact regardless of .
Step 3. Each branch collects a geometric phase , set by the loop area and carrying no reference to the Fock index . Why: the area lives in the plane, fixed by the drive, not by how many quanta the mode held.
Step 4. Reassemble: , which holds term-by-term for any thermal . Why: the motion factors out untouched for every , so a Doppler-cooled chain gives the same gate as a ground-state-cooled one — to first order in .
Limiting cases
The MS Hamiltonian simplifies, or breaks down, in a handful of regimes that map directly onto experimental design choices.
| Case | Result | Meaning |
|---|---|---|
| Lamb–Dicke regime | The recoil exponential linearizes; the force is linear in the quadratures and the gate is first-order -independent — the regime the whole derivation assumes. | |
| Weak-coupling (slow) gate | Small phase-space loops; population leaves the spin subspace only virtually and the effective Ising coupling is , with tiny residual spin–motion error. | |
| Resonant (fast) gate | Large loops completing in one period ; faster but more sensitive to trap-frequency and detuning noise, so multi-loop pulse shaping is used to restore robustness. | |
| Many-mode / hot limit | Higher-order Lamb–Dicke and Debye–Waller corrections rescale and dephase the gate; first-order thermal insensitivity fails and ground-state cooling becomes necessary. |
Worked examples
1 · Designing a maximally entangling gate in ⁴⁰Ca⁺ (fully worked)
A single axial mode of a two-ion ⁴⁰Ca⁺ crystal has , addressed on the 729 nm quadrupole transition; choose . Find the Lamb–Dicke parameter, gate time, and drive strength for a maximally entangling gate, then estimate the heating-limited infidelity for quanta/s.
Step 1. Zero-point extent: with and gives .
Step 2. Lamb–Dicke parameter: with , , comfortably in the Lamb–Dicke regime for a Doppler-cooled of a few quanta.
Step 3. Gate time from loop closure: .
Step 4. Drive strength from , so the carrier Rabi frequency is . Check: , so the two-body angle — exactly the maximally entangling value.
Step 5. Heating-limited infidelity: . A 40 μs gate at kHz drives with a heating floor near — consistent with laboratory MS fidelities once scattering is added.
2 · The Bell state and its entanglement
Verify that the maximally entangling MS gate turns into a genuine Bell state, and confirm the gate is locally equivalent to CNOT.
Step 1. Since , .
Step 2. Act on : since , . Its reduced single-ion state is maximally mixed (), so the state is maximally entangled — a Bell state.
Step 3. Local equivalence to CNOT: single-qubit rotations map the interaction onto controlled-, and a Hadamard converts controlled- to CNOT. The single continuous MS pulse plus local rotations is a complete two-qubit gate, satisfying the DiVincenzo requirement for a universal set.
Physics of the portrait
The MS gate is a theorist's gift to experiment — a scheme, conceived on paper in Aarhus, that dissolved the tyranny of the ground state.
Origins · 1 minKlaus Mølmer and how this was discovered
Klaus Mølmer, a theoretical physicist at Aarhus University in Denmark, together with his then-doctoral student Anders Sørensen, published in 1999 a deceptively simple idea that reshaped trapped-ion quantum computing. Ignacio Cirac and Peter Zoller had shown in 1995 that two ions could be entangled by routing quantum information through a single shared phonon, but their scheme demanded the vibrational mode be cooled to its ground state and kept there. Sørensen and Mølmer asked what would happen if two laser tones drove the ions symmetrically about the qubit frequency, and found the motion could serve as a bus without ever being genuinely occupied: the phonon appears only as a virtual intermediary, and the entangling phase becomes independent of the vibrational quantum number. Their two papers — Physical Review Letters 82, 1971 (1999) and the full multi-mode theory in Physical Review A 62, 022311 (2000) — recast the gate as a geometric, area-enclosing operation, robust by construction. The same year, David Wineland's NIST group entangled four beryllium ions with the collective drive, and within two decades several laboratories pushed MS-gate fidelities past 99.9%. It remains Mølmer's most-used contribution — the entangler inside nearly every ion-trap quantum computer built today.
Going further
Texts. Nielsen and Chuang, Quantum Computation and Quantum Information, §7.6 (ion traps) · Häffner, Roos and Blatt, "Quantum computing with trapped ions," Physics Reports 469, 155 (2008) · Wineland et al., J. Res. NIST 103, 259 (1998) · Roos, "Ion-trap quantum gates," New Journal of Physics 10, 013002 (2008).
Provenance. The bichromatic Hamiltonian, the Magnus derivation of the closed loop, and the phase follow Sørensen and Mølmer, Phys. Rev. Lett. 82, 1971 (1999) and Phys. Rev. A 62, 022311 (2000); Lamb–Dicke and Debye–Waller corrections follow Wineland and colleagues (1998) and Roos (2008). The maximally entangling condition is stated here as with two-body angle : for two ions , so the physical angle is and maps . A verifier should recompute and the second Magnus term, confirm loop closure at , verify so at maximal entanglement, and check the chain nm, , s, kHz. Quoted 99.9% fidelities are standard reported values; no fabricated numbers.
Prerequisites. Trapped-Ion Qubits · Sideband Cooling · Cirac–Zoller Gate · DiVincenzo Criteria. Leads to. Linear-Optical Quantum Computing · Photonic Qubits.
Ask the tutor: Ask me to walk through why the two bichromatic tones cancel the real phonon while leaving the virtual one, or to design an MS gate for your own ion species, mode frequency, and detuning.
Why does the gate use two laser tones instead of one?
A single tone on a motional sideband drives a genuine sideband transition: it really creates or destroys phonons, so the outcome depends on how many were already present — and you are back to needing the ground state. Two tones placed symmetrically above and below the carrier interfere: the amplitude to add a phonon and the amplitude to remove one combine so the resonant, phonon-changing part cancels, leaving only an off-resonant, second-order coupling that carries the internal state through a virtual phonon, borrowed and instantly returned. Because the phonon never really exists, the number that was there does not matter — and the symmetry of the two tones is what buys the thermal robustness.
What is the difference between the Mølmer–Sørensen and Cirac–Zoller gates?
Both entangle ions through their shared motion, but in opposite spirits. Cirac–Zoller (1995) is sequential and literal: it maps the control qubit onto a single phonon, acts conditionally on the target, then maps the phonon back — every step requiring the mode to start in a definite Fock state, almost always . Mølmer–Sørensen (1999) is continuous and geometric: one symmetric bichromatic pulse acts on both ions at once, the motion is only virtually excited, and the entangling phase is the area of a closed phase-space loop, independent of . That tolerance of thermal motion is why the MS gate, not Cirac–Zoller, is the entangler in essentially every modern trap.
Does the MS gate really work with a hot ion?
To first order in the Lamb–Dicke parameter, yes — the entangling phase does not depend on the mean phonon number , so a Doppler-cooled crystal gives the same gate as a ground-state-cooled one. But "hot" has limits. Second-order Debye–Waller corrections, scaling as , rescale the effective Rabi frequency as the ion warms, so at large the calibrated power drifts off; and heating during the gate is never suppressed, adding error regardless of the start. So the gate is temperature-insensitive, not temperature-proof; the best fidelities still use sideband cooling to a fraction of a quantum.
What exactly is the geometric phase that entangles the ions?
It is the phase a state acquires when a parameter — here the mode's coherent amplitude — is carried around a closed loop back to its start. A coherent state taken around a loop of area in the plane picks up phase . In the MS gate the spin-dependent force sets the loop size, so different joint-spin configurations enclose different areas and collect different phases — and a phase depending non-separably on the joint spin state is exactly what entanglement is. Being geometric, it depends only on the enclosed region, not on how the loop is traversed.
How is a two-qubit gate built from the collective operator S_x squared?
The gate is with . Squaring gives : a constant global phase plus the genuine two-body term. So the physical entangling angle is , and makes , locally equivalent to CNOT. Watch the factor of two: writing would double the angle to , giving the local gate that does not entangle at all. The maximally entangling collective form is .
Why can the same interaction make both Bell states and quantum simulators?
Because is a sum of pairwise couplings. On two ions with one mode it produces a single entangling term, hence a Bell state. On ions across many modes the same drive couples every pair, and summing gives an Ising Hamiltonian whose couplings — tuned by the detuning relative to the mode spectrum — fall off as a power law of the ion separation. Run briefly and calibrated, it is a clean two-qubit gate; run continuously, it is a programmable quantum magnet. One piece of physics, two uses.