QH01 — Trapped-Ion MS Gate Circuit
| Field | Value |
|---|---|
| Domain | Quantum Hardware |
| System | IonQ / Quantinuum ion crystal (¹⁷¹Yb⁺ or ⁴⁰Ca⁺) |
| Group | U(1) × SU(2) (motional mode × qubit spin) |
| H^k tier | H² |
| ISA | Meld (β → 0) |
| Status | Validated |
| Opcodes | ORBIT · TWIST · BIND |
| Papers | Paper 385, Paper 421 |
Physical system
A trapped-ion quantum computer confines a linear chain of N ions in an RF Paul trap. Each ion carries a qubit encoded in two long-lived electronic states (|0⟩ = ground, |1⟩ = excited hyperfine or optical clock transition). The ions are coupled through their shared motional modes — quantised collective vibrations of the entire crystal.
The Mølmer-Sørensen (MS) gate (Mølmer & Sørensen 1999) is the native 2-qubit entangling gate of this architecture:
U_MS(θ) = exp(−i θ/2 · σ_x ⊗ σ_x)
Applied at θ = π/4 (fully entangling), it maps |00⟩ → (|00⟩ + i|11⟩)/√2 — a maximally entangled Bell state. This is a BIND: the entanglement is generated by the non-separable phonon bus that couples both ions simultaneously. It cannot be decomposed into a product of single-ion operations; the phonon mode is the carrier of the H² holonomy.
Current benchmark: Quantinuum H2-1 processor achieved 2-qubit MS gate fidelity ≥ 99.9% (Evered et al., Nature 2023) — the highest verified 2-qubit gate fidelity of any qubit platform.
Target category
IonCirc(N) — the category of N-ion quantum circuits. Objects: tensor products of qubit Hilbert spaces ⊗ᵢ ℂ² tensored with the motional Fock space ⊕ₙ |n⟩. Morphisms: unitary gates generated by laser-ion interactions. The MS gate is the canonical non-separable morphism — the one that cannot be written as a product of single-site unitaries, precisely because it is generated by a collective (motional-mode) interaction.
Interpretation functor
F: C → IonCirc(N) defined by:
| Opcode | F(opcode) |
|---|---|
| ORBIT | Single-qubit rotation: R(θ,φ) = exp(−iθ/2(cos φ σ_x + sin φ σ_y)); individual laser pulse on one ion; moves Bloch vector along a geodesic |
| TWIST | Phase gate: R_z(φ) = exp(−iφ/2 σ_z); virtual Z-rotation (implemented as a frame update, zero physical time); H¹ Berry phase of the qubit |
| BIND | MS gate: U_MS(θ) = exp(−iθ/2 σ_x⊗σ_x); bichromatic laser field drives collective motional mode; generates entanglement via shared phonon bus; H² holonomy |
ISA programme
INIT: ORBIT[|00> | ground state preparation, fidelity >99.9%]
SINGLE: ORBIT[R(theta, phi) on ion i | single-qubit Bloch rotation]
PHASE: TWIST[R_z(phi) on ion i | virtual frame update, zero-time]
ENTANGLE:BIND[U_MS(pi/4) on ions i,j | Bell state via phonon bus]
READOUT: LABEL[sigma_z on each ion | state-selective fluorescence]
CIRCUIT: ORBIT+TWIST+BIND * depth d | full compiled circuit
Computable output
- Bell state fidelity F = ⟨Φ⁺|ρ|Φ⁺⟩: the H² output of U_MS(π/4). Measured by quantum state tomography. Current record: F ≥ 99.9% (Quantinuum H2, 2023). This is the most precisely validated H² BIND in any physical system.
- MS gate count = BIND count: every n-qubit unitary on trapped ions compiles to at most O(n²) MS gates (Reck-Zeilinger decomposition of U(2ⁿ) via the ion-crystal connectivity). The MS gate count is the trapped-ion analogue of the T-count — the resource measure for H² computation. A circuit with k MS gates uses k BIND opcodes; single-qubit gates (ORBIT+TWIST) are essentially free (implemented as virtual frame updates or fast laser pulses).
- All-to-all connectivity: in a trapped-ion crystal, every ion can be addressed by the same motional mode, giving all-to-all qubit connectivity. This means no SWAP overhead — the ORBIT graph on the Grassmannian is complete, every k-plane is reachable from every other in one MS step. Circuit depth scales as O(n) MS gates for generic unitaries, vs O(n²) for nearest-neighbour architectures (superconducting grids).
- Native mid-circuit measurement: trapped ions support qubit measurement followed by continued computation (using ancilla ions or shelving). This enables real-time LABEL feedback — the classical control feeds back on the quantum state mid-circuit, implementing adaptive ISA programmes.
The MS gate as BIND: why this is H² and not H¹
A single-qubit rotation R(θ,φ) moves a Bloch vector along a great circle — it is an ORBIT (geodesic on S²) or TWIST (Berry phase accumulation). It is H¹ because it is generated by a local (single-site) Hamiltonian.
The MS gate is different in kind, not just degree. It is generated by σ_x ⊗ σ_x — a product of operators on two different Hilbert spaces, mediated by the phonon field. The entanglement it creates is not a property of either ion alone; it is a property of the joint state. This is the H² BIND: a holonomy of the 2-qubit system that cannot be reduced to a product of H¹ phases on the individual qubits.
Concretely: the MS gate generates an off-diagonal element of the 2-qubit density matrix ρ_{00,11} = i/2 — a coherence that has no classical analogue and no H¹ description. Measuring this coherence via state tomography is measuring the H² invariant of the BIND opcode directly.
Circuit compilation: translating to ORBIT + TWIST + BIND
Every quantum algorithm decomposes into the trapped-ion native gate set: {R(θ,φ), R_z(φ), U_MS(π/4)}. The translation is:
| Algorithm gate | Decomposition | BIND count |
|---|---|---|
| CNOT | U_MS(π/4) · local rotations | 1 BIND |
| Toffoli | 3 × U_MS(π/4) + locals | 3 BINDs |
| QFT on n qubits | O(n²) U_MS gates | O(n²) BINDs |
| Arbitrary SU(4) | ≤ 3 U_MS gates (KAK decomposition) | ≤ 3 BINDs |
The KAK decomposition (Cartan decomposition of SU(4)) proves that any 2-qubit gate requires at most 3 MS gates. The ISA interpretation: any 2-qubit H² class has BIND degree ≤ 3. This is the trapped-ion analogue of the T-count bound for Clifford+T circuits — the BIND count is the circuit’s H² resource consumption.
Connection to the ISA framework
The trapped-ion processor is an OPU (P01) with Gr(k, N) as its tape. The N-ion crystal’s Hilbert space ℂ^{2N} has a natural Grassmannian structure: the entangled state |ψ⟩ at any time defines a point V ∈ Gr(k, 2N) (the k-particle sector of the Fock space). The MS gate is a geodesic step on this Grassmannian driven by the phonon bus — exactly the BIND opcode of the OPU.
All-to-all connectivity = complete Schubert cell accessibility: because every ion couples to the same phonon modes, any k-plane V ∈ Gr(k, 2N) is reachable from any other in O(N) MS gates. The Schubert cell decomposition of Gr(k, 2N) has no “connectivity barrier” — the ORBIT graph is complete. This is what makes trapped ions superior to superconducting grids (QH02) for circuits with long-range entanglement: no SWAP overhead = no wasted BIND opcodes.
Fidelity 99.9% = β* snap reached: the MS gate fidelity measures how close the physical BIND operation comes to the ideal H² holonomy. At F = 99.9%, the system is operating above the fault-tolerance threshold for surface codes (≈99.4% for CSS codes). This means the trapped-ion processor has crossed its own β* snap: it is in the fault-tolerant regime where logical BIND opcodes can be implemented with arbitrary accuracy by concatenating physical MS gates with QEC.
Comparison to other H² hardware platforms
| Platform | Native H² gate | 2Q fidelity | Connectivity | Clock speed |
|---|---|---|---|---|
| Trapped ion (QH01) | MS gate | ≥99.9% | All-to-all | ~kHz |
| Superconducting (QH02, stub) | CR / CZ gate | ~99.5% | Nearest-neighbour | ~MHz |
| Photonic (P02 family) | CZ via fusion | ~99%+ | Reconfigurable | ~GHz |
| Neutral atom | CZ via Rydberg | ~99.5% | Reconfigurable | ~kHz |
The trapped-ion platform has the highest BIND fidelity and the most natural all-to-all BIND connectivity — at the cost of slower clock speed (kHz vs MHz for superconductors). This is the β* tradeoff: higher fidelity = more time per BIND step. For circuits that are BIND-limited (few deep entangling operations), trapped ions are optimal; for ORBIT-limited circuits (many shallow local operations), superconductors are faster.
Validation
- MS gate proposal: Mølmer & Sørensen (1999), Phys. Rev. Lett. 82, 1835. Original theoretical proposal; implemented within months.
- First demonstration: Sackett et al. (2000), Nature 404, 256. 4-ion entangled state via MS gates.
- 99.9% fidelity: Evered et al. (2023), Nature 622, 268. Quantinuum H2-1; highest verified 2-qubit fidelity. The definitive H² validation.
- KAK decomposition bound (≤3 MS gates for arbitrary SU(4)): Zhang et al. (2003), Phys. Rev. A 67, 042313. Proved analytically.
- All-to-all connectivity advantage: Linke et al. (2017), PNAS 114, 3305. Direct comparison of 5-qubit trapped-ion vs superconducting circuits.