Part VII. Hardware Architecture · Chapter 56
Trapped Ions
In a trapped-ion machine the qubits are atoms that nature manufactured identically, and the wiring is light. This chapter weighs what that buys — coherence and connectivity — against what it costs: gate speed, optics, and a scaling story built on moving ions around.
In this chapter 17 sections
Internal atomic states store the qubit, laser or microwave fields drive single-qubit rotations, shared motional modes mediate entanglement, and fluorescence provides readout; flexible interaction graphs can reduce routing, but mode crowding, slower operations, optical stability, transport, and modular links determine scale.
An ion chain's apparent all-to-all interaction does not imply every pair can gate simultaneously or at constant quality as chain length grows. Gate time, coherence time, transport time, and end-to-end algorithm runtime are different units/scopes and must not be ranked independently of workload.
Atomic levels provide reproducible qubit transitions
Define internal-state encoding, trapping environment, initialization, and protection assumptions.
A trapped-ion processor confines individual charged atoms in electromagnetic fields inside a vacuum chamber. The qubit lives in two internal electronic states of each ion, and single-qubit gates are laser or microwave pulses tuned to that transition. Because every ion of a given isotope is identical, the platform starts with zero manufacturing variance — no two qubits differ unless the environment makes them differ.
Trapped-ion qubits use internal atomic states with laser or microwave control and fluorescence readout. [ion-review] [trapped-ion-qccd]
Connectivity is a control promise, not a graph shortcut
An ion qubit is stored in selected internal states and manipulated with optical or microwave fields. Entangling gates couple those states through shared motional modes. Within a chain, many pairs can interact without inserting the SWAP network required by a nearest-neighbor solid-state layout. But the shared modes are finite control resources: mode spectra crowd as the chain grows, heating and imperfect cooling reduce performance, and pulses on different pairs can interfere. “All-to-all connectivity” therefore means addressable pair interactions under stated conditions, not that every edge can run simultaneously at constant duration and fidelity.
A target description needs more than an edge list. Store allowed simultaneous operations, pair-dependent duration and calibration, motional-mode constraints, measurement zones, and whether an ion must be transported. The 98-qubit all-to-all experiment is primary evidence for a particular system and control stack, not a universal scheduling constant [trapped-ion-98-qubit]. A compiler should consume a dated target snapshot and report which constraints serialized the workload.
Control audit: Tie every scheduled entangler to a motional-mode and optical calibration record, then verify that simultaneous gates do not consume the same modeled resource. Include beam-steering latency, phase-reference updates, recooling, measurement collection, and ion reordering in the critical path. Replay the schedule after a modeled ion loss and state whether the machine reloads, remaps, or aborts. That recovery policy determines delivered throughput and is especially important for long repeated workloads.
Collective motion is the entangling bus
Explain motion-mediated gates, mode participation, heating, and what flexible connectivity means operationally.
Entangling gates borrow the chain's shared motion: lasers couple the ions' internal states to their collective vibration, so any pair of ions in a chain can be entangled without a physical wire between them. Readout is fluorescence — the ion lights up or stays dark — which is naturally high-fidelity. The bill arrives as slower gate times and a control system full of lasers, optics, and precision timing hardware.
Collective motional modes mediate entangling interactions and introduce control/scaling considerations as chains grow. [ion-review]
One entangling operation occupies a larger optical system
Laser sources, modulators, beam delivery, focusing optics, phase references, and control electronics jointly realize a gate. Frequency, amplitude, phase, polarization, and pointing errors can enter; spontaneous emission and motional excitation add physical channels. Calibration includes the addressed transition, mode frequencies, beam alignment, and pulse parameters. Record the gate's context: isolated pair, chain length, spectator state, cooling state, and simultaneous activity.
Long coherence times are valuable, but the scheduled circuit spends them on more than gates. State preparation, sympathetic or recooling steps, transport, measurement, reset, and classical decisions all consume time. Compare total critical-path duration with an operation-appropriate error budget. A slow operation can be entirely viable when coherence and error are favorable; a fast operation can be poor when crosstalk or transport dominates. Cross-modality speed rankings without a workload are not informative.
Fluorescence turns state into photons
Trace detection, integration time, crosstalk, reset, and classifier errors.
Generous coherence tolerates slower layers — but not infinitely slow ones. Gate time, measurement, reset, ion transport, and feedback all draw from the same budget. The second formula prices the connectivity:
Hardware evaluation must include control, readout, connectivity, and architecture rather than isolated coherence or fidelity metrics. [trapped-ion-98-qubit] [trapped-ion-qccd]
Measurement and reset can reshape the schedule
State-dependent fluorescence converts internal state into photon counts collected over a window. Classification depends on collection efficiency, background, bright-state decay, and the chosen threshold. Measurement light can disturb neighboring data unless ions are separated, hidden in other levels, or protected by the architecture. Store count distributions and a confusion matrix, and distinguish destructive from nondestructive procedures.
Mid-circuit measurement adds classical latency and may require moving ions to a detection zone. Reset or replacement then prepares ancillas for the next syndrome round. These operations can dominate a correction schedule even when entangling gates receive most attention. A fault-tolerant control experiment is especially valuable because it tests encoded logic, repeated detection, and control behavior together [trapped-ion-fault-tolerant-control].
Map one nonlocal circuit onto an ion chain
Compare routing count, parallelism, durations, and total scheduled time against a line-connected target under matched circuit semantics.
Within a chain, interactions are flexible, so routing depth can stay near zero where a sparse chip would drown in swap gates. But scaling beyond one chain brings shuttling, splitting and merging, or photonic links between modules — routing returning in a different costume.
Fault-tolerance relevance depends on repeated operations and system overhead rather than favorable single-device properties. [trapped-ion-fault-tolerant-control]
Scaling paths exchange one bottleneck for another
A longer chain preserves convenient pair reach but complicates mode control and parallelism. A quantum charge-coupled-device architecture divides ions into zones and physically shuttles, separates, and merges them. Modular approaches connect smaller registers with photonic links. Each route changes the resource account: transport time and heating for QCCD; entanglement generation probability, memory wait, and network scheduling for modules; mode crowding and optical complexity for long chains.
The demonstrated QCCD architecture establishes that transport, junctions, gates, and measurement can be integrated in a programmable trapped-ion system [trapped-ion-qccd]. A scaling claim still needs transport error distributions, junction throughput, parallel-zone operation, recooling policy, and calibration load at the proposed size. Count zones, ions, control channels, and usable simultaneous operations—not only trapped particles.
Longer chains change the mode spectrum
Expose mode crowding, addressing, control/calibration, and simultaneous-gate limits.
Suppose the target workload needs repeated entangling gates among qubits that are not neighbors. On a sparsely connected chip, the compiler inserts swap chains and the effective depth balloons. On an ion chain, the same circuit maps almost directly — the connectivity advantage is real. Then the memo must keep going. Do the gate times support the target depth inside the coherence budget? Do the motional modes stay controllable as the chain lengthens? What are the crosstalk and the measurement latency? And what is the scaling architecture — longer chains, shuttling junctions, modular links — with what evidence behind each?
Current quantitative chain, transport, or modular demonstrations require additional primary papers beyond the registered review. [ion-review]
Schedule the same circuit on two honest targets
For the six-qubit exercise, construct a dependency graph containing several nonlocal entanglers. On an ideal ion-chain fixture, assign declared pair durations and forbid conflicting gates that share a modeled mode or control resource. On a nearest-neighbor line, insert swaps and decompose them into the same logical entangler family. Validate that both schedules implement the same unitary or truth-table behavior before comparing time.
Report native entangling count, critical-path time, maximum parallel width, measurement time, and every idealization. The ion fixture may win by avoiding swaps but lose some of that advantage to serialization or slower per-gate duration. Vary one parameter at a time to find the crossover. The output is a conditional statement—under these duration and parallelism assumptions—not a declaration that connectivity alone selects a modality.
Shuttling and photonic links create new machines
Separate single-chain, QCCD transport, and modular-network architectures with distinct evidence gates.
A strong proof gate here is not a longer chain. It is reliable multi-qubit operation as scale increases, with gate quality and control stability measured at every step.
Trapped-ion qubits use internal atomic states with laser or microwave control and fluorescence readout. [ion-review] [trapped-ion-qccd]
Fault tolerance requires repeated, timed system behavior
An encoded demonstration should state code, rounds, physical locations, decoder, acceptance policy, and matched unencoded comparator. Ion loss or leakage can be detectable and potentially converted into erasure information, but only if detection and recovery are part of the protocol. Slow drift in laser phase or mode frequency can correlate errors across rounds; randomized single-gate summaries may not expose it.
Run-duration evidence matters. Show how performance changes across calibration age, repeated rounds, chain configurations, and simultaneous operations. Archive optical and control settings at an appropriate abstraction without implying that a paper's parameter transfers to a different apparatus. The full-stack review is useful for interface categories; modality-specific quantitative conclusions must remain grounded in ion experiments [ion-review] [full-stack-review].
Preserve the assumptions that produce the connectivity advantage
- chain, zone, and participating-ion identifiers;
- pair-specific native operation and calibration;
- shared motional or optical resource conflicts;
- cooling, transport, measurement, reset, and feedback durations;
- loss, reload, remapping, and abort policy.
The schedule record must name chain length, participating ions, mode model, pair-specific gate times, simultaneous-operation exclusions, measurement and cooling duration, transport operations, and calibration timestamp. “All-to-all” belongs in a capability field; actual parallel width and critical path belong in measured fields. If the fixture idealizes constant pair duration or ignores heating, mark those cells hypothetical.
Run three variants: nonlocal gates concentrated on one shared ion, disjoint pair gates, and a pattern that requires transport or modular links. Their bottlenecks differ even at the same logical gate count. Validate logical equivalence, then compare native entanglers, serialization, and elapsed time. This shows whether connectivity helps the workload or merely reduces a graph-theoretic swap count.
Finally, repeat the representative schedule across the declared operating interval and include recalibration, ion loss, reload, and rejected runs in delivered throughput. Long coherence and high isolated fidelity remain important, but the procurement metric is completed validated schedules per wall-clock time with uncertainty.
Schedule cooling, transport, and observation explicitly
Flexible pair selection does not imply unconstrained concurrency. Two entangling operations can share motional modes, laser power, optical paths, or control bandwidth, so the scheduler must declare the conflict rule that permits them to overlap. Add sympathetic cooling, recooling after transport, state preparation, fluorescence integration, and reset to the critical path. Their seconds can dominate a circuit whose logical diagram contains few entanglers.
For a QCCD architecture, every shuttle is an operation with endpoints, duration, heating contribution, junction constraints, and failure handling. A modular photonic link adds attempts, heralding probability, buffer occupancy, and coherence while waiting. Compare architectures on one logical interaction pattern and one success contract; do not compare an in-chain gate duration with a module-to-module entanglement rate.
The scale test asks whether modes and calibrations remain controllable as zones, ions, or modules grow. Publish the scheduled utilization of each shared resource and the tail of completion time under failed link attempts. A favorable median is insufficient when one stalled entanglement request blocks dependent logical work.
Claim-to-source ledger
Trapped-ion qubits use internal atomic states with laser or microwave control and fluorescence readout. [ion-review] [trapped-ion-qccd]
Collective motional modes mediate entangling interactions and introduce control/scaling considerations as chains grow. [ion-review]
Hardware evaluation must include control, readout, connectivity, and architecture rather than isolated coherence or fidelity metrics. [full-stack-review] [trapped-ion-qccd]
Fault-tolerance relevance depends on repeated operations and system overhead rather than favorable single-device properties. [trapped-ion-fault-tolerant-control]
Current quantitative chain, transport, or modular demonstrations require additional primary papers beyond the registered review. [ion-review]
Ion-chain connectivity and schedule comparison
Format: Sourced modality table plus a small scheduler model comparing a nonlocal circuit on flexible and line connectivity with declared durations and parallelism.
| input | output | reject when |
|---|---|---|
| assumptions, units, source/date, workload | raw and derived values, uncertainty, command | units or comparison scope are missing |
| synthetic fixture labeled synthetic | deterministic record and PASS line | attributed to real hardware |
| named baseline | same task and denominator | metric or evidence class differs |
def schedule(workload, target):
routing = sum(target["route_extra"])
gates = len(workload["interactions"]) + routing
layers = (gates + target["parallel"] - 1) // target["parallel"]
return {"workload":workload["id"], "routing_gates":routing, "layers":layers, "seconds":layers * target["gate_s"] + target["reconfigure_s"]}
workload = {"id":"five-edge-v1", "interactions":[(0,1),(1,2),(2,3),(3,4),(0,4)]}
serial = {"route_extra":[0,0,0,0,0], "parallel":1, "gate_s":120e-6, "reconfigure_s":0.0, "protocol":"schedule-v1", "source":"synthetic", "date":"2026-01-01"}
parallel = {"route_extra":[0,1,0,1,0], "parallel":3, "gate_s":160e-6, "reconfigure_s":0.0, "protocol":"schedule-v1", "source":"synthetic", "date":"2026-01-01"}
baseline = schedule(workload, serial)
counterfactual = schedule(workload, parallel)
sensitivity = schedule(workload, {**parallel, "reconfigure_s":250e-6})
assert (baseline["routing_gates"], baseline["layers"]) == (0, 5) and abs(baseline["seconds"] - 600e-6) < 1e-15
assert abs(counterfactual["seconds"] - 480e-6) < 1e-15 and counterfactual["seconds"] < baseline["seconds"] < sensitivity["seconds"]
assert len({baseline["workload"], counterfactual["workload"], sensitivity["workload"]}) == 1
print(f"PASS: 56 ion evidence serial={baseline} parallel={counterfactual} reconfiguration_reverses={sensitivity['seconds'] > baseline['seconds']}")
Verification: The same logical circuit is used on both targets; totals separate routing gates, scheduled layers, and seconds; empirical parameters carry protocol/source/date and no universal winner is computed.
Commissioned exercise
Prompt: Schedule a six-qubit circuit with nonlocal entanglers on an ion-chain model and a nearest-neighbor line using declared per-operation durations and parallelism.
Deliverable: Two schedules, routing/depth/time table, assumptions, sourced parameter placeholders, and a scale-dependent reversal condition.
Pass condition: Logical operations match, seconds and layers remain distinct, parallelism is explicit, and the conclusion is conditioned on chain/module size.
Verifiable solution
Format: Reference schedules under hypothetical labeled parameters plus comparison-validity checklist.
Verification: Automated schedule validator checks dependencies, non-overlap constraints, and total duration.
Under the declared scheduler, five serial 120-microsecond interactions take 600 microseconds, whereas three flexible interactions executed in one 160-microsecond parallel layer take 160 microseconds. The conclusion is conditional on that parallelism and duration model, not on the word connectivity.
Companion work
Artifacts for this chapter
These entries resolve to checked-in local source. Commands are reproduced exactly from the chapter manifest, and source-embedded fixtures are exported as direct downloads.
engineering dossier
Ion-chain connectivity and schedule comparison
Reproduce or test
python3 tools/validate_briefs.py --briefs data/editorial_briefs_36_63.json --from 36 --through 63 --check-rewritten-sources --execute-artifacts
Provenance
Sources and review
- J. M. Pino et al.. Demonstration of the trapped-ion quantum CCD computer architecture. Nature. 2021primary peer-reviewed experiment
- Laird Egan et al.. Fault-tolerant control of an error-corrected qubit. Nature. 2021primary peer-reviewed experiment
- Anthony Ransford et al.. A 98-qubit trapped-ion quantum computer with all-to-all connectivity. Nature. 2026primary peer-reviewed experiment
- H. Häffner, C. F. Roos, and R. Blatt. Quantum computing with trapped ions. Physics Reports. 2008peer-reviewed review
- Lieven M. K. Vandersypen et al.. A look at the full stack. Nature Reviews Physics. 2021peer-reviewed perspective
The load-bearing claims in the chapter are mapped inline to this registered source set. A citation supports only the bounded claim beside it.