Rocket Science · Open Research Platform · Breakwater Layer

Commented Reference

Annotated guide to Hasse et al. with dossier cross-references

Source paper: F. Hasse, D. Palani, R. Thomm, U. Warring, T. Schaetz, Phase-stable travelling waves stroboscopically matched for super-resolved observation of trapped-ion dynamics, Phys. Rev. A 109, 053105 (2024) · arXiv: 2309.15580

Ion species: ²⁵Mg⁺ · Endorsement Marker: Local candidate framework

This page provides a section-by-section commentary on the source paper, annotated with cross-references to the dossier's claim analysis, framework, simulation, and work packages. It is intended as a reading companion — not a substitute for the paper itself.

Paper Structure at a Glance

Paper section	Content	Dossier mapping
I	Introduction: super-resolution via travelling-wave AC Stark lattice	Overview
II	Experimental setup: four-oscillator phase lock	L1 L8
III	Interaction Hamiltonian and coupling operator	Framework Code §2
IV	Stroboscopic protocol and measurement	Code §3 Tutorial
V	Results: detuning spectra at α = 0, 1, 3, 5	Numerics Simulate
VI	Discussion: tomographic potential, BAE outlook	L4–L7 WP-C, D

Section-by-Section Commentary

Paper §I — Introduction

Super-resolution via travelling-wave AC Stark lattice

The paper opens with the observation that standard fluorescence imaging of trapped ions is diffraction-limited at optical wavelengths (~370 nm for ²⁵Mg⁺). The AC Stark lattice formed by counter-propagating Raman beams creates an effective wavelength λ_eff ≈ 140 nm — below the optical diffraction limit. This is geometric super-resolution: engineered k_eff, not dynamical squeezing or QND protocols.

Dossier comment: The super-resolution claim is classified L3 COMPATIBLE — it follows directly from the lattice geometry and does not depend on η, pulse duration, or motional state. This is one of the three settled claims.

Paper §II — Experimental Setup

Four-oscillator phase lock

The experiment phase-locks four oscillators: (1) the microwave reference, (2) the optical running-wave phase of the Raman beams, (3) the spin precession, and (4) the motional oscillation of the ²⁵Mg⁺ ion in the trap. The stroboscopic protocol requires that all four remain coherent over the ~17 μs measurement sequence (~22 motional periods).

Key experimental parameters extracted from this section:

ω_m/(2π) = 1.30 MHz η_LF = 0.397 Ω/(2π) = 0.300 MHz T_m = 769 ns

Dossier comment: The four-oscillator phase lock is classified L1 COMPATIBLE — demonstrated experimentally. Phase stability over ~22 cycles is classified L8 COMPATIBLE, though long-term drift remains uncharacterised (flagged as SWEEP). The Sail essay (§1.5) quantifies the stability requirement as Δω_m/ω_m ≪ 0.7%.

Paper §III — Interaction Hamiltonian

Exponential spin–motion coupling

The central equation of the paper is the interaction Hamiltonian in the rotating frame:

H_eff = −(δ₀/2) σ_z ⊗ I + (Ω/2) [ C σ₋ + C† σ₊ ]

where C = exp(iη(a + a†))

The coupling operator C is the exact exponential of the position quadrature — not a Lamb–Dicke truncation. This is the mathematical object that generates both the power and the complications of the scheme.

Dossier comment: This Hamiltonian is implemented exactly in the browser simulation (Code §2) via matrix exponentiation of X = a + a† in the Fock basis. No sideband truncation is applied. The Framework page analyses the consequences of the exponential coupling at η ≈ 0.4: multi-sideband structure, loss of quadrature selectivity, and the 20% second-order correction (η²/2 = 0.08). The Sail essay (§1.2) provides the detailed deviation analysis.

The paper notes the Debye–Waller suppression of the carrier Rabi rate:

Ω_eff = Ω · exp(−η²/2) = 0.300 × 0.924 = 0.277 MHz

Dossier comment: Confirmed numerically. The simulation engine uses Ω_eff to derive the per-pulse duration δt = π/(2 N_p Ω_eff) ≈ 41 ns for N_p = 22 (Code §3).

Paper §IV — Stroboscopic Protocol

Pulse train, timing, and the stroboscopic condition

The measurement consists of ~22 Raman pulses, each separated by one motional period T_m. Each pulse imparts a small rotation (θ ≈ 4° per pulse), and the stroboscopic synchronisation ensures all pulses sample the same motional phase. The total accumulated rotation is π/2 in ~17 μs.

Dossier comment: The stroboscopic condition (T_sep = T_m) means that free evolution between pulses is the identity operator in the Fock basis: exp(−i 2πn) = 1 for all integer n. The simulation exploits this exactly (Code §3). The Simulate page also supports non-stroboscopic T_sep ≠ T_m for exploring departures from the ideal protocol.

The paper describes two measurement channels:

Position → phase shift: The travelling wave imprints a spin-dependent phase ∝ k_eff · x(t). Position information appears as a fringe shift in the spin state.

Velocity → Doppler detuning: A moving ion sees the analysis pulse Doppler-shifted by δ_D = k_eff · v. The detuning spectrum P_↑(δ) encodes the velocity distribution.

Dossier comment: The two-channel structure is the subject of L2 (UNDERDETERMINED). Clean separation holds only in the ideal limit (η|α| ≪ 1 or instantaneous pulses). At η ≈ 0.4 with 40 ns pulses, channel crosstalk must be bounded — this is the deliverable of WP-A.1. The Sail essay (§1.1, §1.3, §1.4) provides the deviation analysis, showing that intra-pulse phase blur reaches ~1.3 rad at α = 5.

The paper emphasises that the Doppler shift exceeds the Rabi linewidth for all non-trivial motional states:

δ_D^peak / Ω = 2η|α| · (ω_m/Ω) = 3.5 (α=1), 10.4 (α=3), 17.2 (α=5)

Dossier comment: This is the basis for the dossier's primary framing: tomography, not BAE. The regime is spectroscopic — the analysis pulse functions as a narrowband frequency discriminator, not a coherent rotation gate. The Tutorial develops this quantitatively and the Simulate page confirms: the coherence envelope vs. detuning directly maps the velocity distribution convolved with the Rabi instrument function.

Paper §V — Results

Detuning spectra at α = 0, 1, 3, 5

The paper presents experimental detuning spectra (Figures 2–4) showing spin expectation values ⟨σ_x⟩, ⟨σ_y⟩, ⟨σ_z⟩ as functions of the analysis-pulse detuning δ₀, for displaced coherent states at four amplitudes. The key observations are:

(a) Sideband structure with spacing ≈ ω_m, becoming progressively more complex and asymmetric as α increases.

(b) Coherence envelope broadening from α = 0 → 5, reflecting the growing velocity distribution.

Dossier comment: The Numerics page provides interactive viewers for the simulation counterparts of these experimental figures. The default JSON runs (α = 0, 1, 3, 5 at N_max = 30–40, 22 stroboscopic pulses) reproduce the qualitative features. Quantitative comparison requires attention to provenance: the simulation uses exact Fock-basis evolution; the experiment has additional noise sources (motional heating, laser intensity fluctuations, detection efficiency) not included in the unitary default runs. The Simulate page supports decoherence and projection noise for more realistic comparison.

Provenance note — contrast values

Two sets of σ_z contrast values exist in this dossier:

HDF5 adaptive-learner data: contrast_z = 0.61 → 0.71 → 0.84 → 0.75 (α = 0, 1, 3, 5). Different simulation method; not reproducible from the 22-pulse stroboscopic browser engine.

22-pulse stroboscopic JSON runs: contrast_z ≈ 0.56 (uniform across α). These are the values in the default run data and are reproducible via the Simulate page. See Tutorial and README for cross-validation discussion.

Paper Figures 1–4

Commented figure guide

Figure 1 — Experimental schematic. Shows the AC Raman beam geometry producing λ_eff ≈ 140 nm, the trap, and the phase-lock chain. The four oscillators (MW reference, optical phase, spin, motion) are the structural prerequisite for stroboscopic interrogation.

Dossier mapping: L1 L3 L8 — all COMPATIBLE. The geometric super-resolution and phase lock are established.

Figure 2 — Ground-state detuning spectrum (α = 0). The simplest case: the ion is in the motional ground state. The spectrum shows the carrier transition at δ = 0 with weak sidebands at δ = ±ω_m. Even here, the zero-point Doppler width (σ_D/Ω = 1.73) is not negligible.

Simulation comparison: Numerics α=0. The sideband comb run (401 points, δ ∈ [−4, 4]) resolves the full structure. The carrier zoom (301 points, δ ∈ [−2, 2]) shows the central peak in detail.

Figure 3 — Displaced coherent states (α = 1, 3). As α increases, the sideband pattern becomes asymmetric and the coherence envelope broadens. At α = 3, the Doppler shift (10.4 × Ω) places the ion deeply off resonance for most of the oscillation cycle. The detuning scan functions as frequency-domain tomography of the velocity distribution.

Simulation comparison: Numerics α=1, α=3. The fine-grid α = 1 run (301 points) reveals sideband substructure. The Tutorial Doppler estimates table gives the quantitative framework.

Figure 4 — Large displacement (α = 5). At ⟨n⟩ = 25, the motional state is well outside the Lamb–Dicke regime (η√51 ≈ 2.8). The spectrum is rich and highly structured. Intra-pulse phase blur (~1.3 rad) is significant. This is the regime where the exponential coupling C = exp(iη(a+a†)) cannot be truncated — and where its nonlinearity is most valuable for tomography.

Simulation comparison: Numerics α=5. Fock convergence checked post-run; boundary population well below 1% — adequate. The Simulate page flags convergence automatically.

Paper §VI — Discussion

Tomographic potential and back-action evasion outlook

The paper discusses two forward-looking claims: (a) the scheme may enable motional state tomography by combining position (phase) and momentum (Doppler) readout, and (b) the coupling structure may be "compatible with" back-action evasion (BAE) in suitable parameter regimes.

Dossier comment — tomography: The tomographic potential is the subject of L4 (decoder fidelity), L5 (backaction), and L7 (nonclassical tomography) — all UNDERDETERMINED. The dossier's primary framing is tomography: the η ≈ 0.4 nonlinearity accesses higher harmonics of the characteristic function χ(ξ), making the scheme richer than a linear probe. Whether the map ρ → (phase, Doppler spectrum) is injective and noise-stable for target states is the deliverable of WP-C.

Dossier comment — BAE: Classified L6 UNDERDETERMINED by Council decision. At η ≈ 0.4, the exponential operator couples both quadratures — the structural basis for BAE (single-quadrature coupling) is absent. Whether a perturbative linear regime exists in some accessible parameter window is open but not established. WP-D is gated on WP-A and WP-C. The Council decision: "No rescue" — if BAE is inaccessible, the dossier does not force a positive conclusion.

Key Equations with Dossier Cross-References

Equation	Content	Dossier location	Simulation
Eq. (1)	H_eff with C = exp(iη(a+a†))	Framework Code §2	Exact implementation
Eq. (2)	Stroboscopic propagator U^N_p	Code §3	Exact expm
Eq. (3)	Coherent-state overlap ⟨α\|C\|α⟩	Framework	Analytic check
Eq. (4)	Debye–Waller factor exp(−η²/2)	Tutorial	0.924 confirmed
Eq. (5)	Sideband amplitudes from \|0⟩	Framework	0.923, 0.369, 0.074, 0.010

Equation numbers are approximate references to the paper's structure. The exact numbering may vary between the arXiv preprint and the published PRA version. All equations are implemented without approximation in the Simulate engine.

Extended References

The dossier draws on a wider literature for context. The Sail essay provides the full reference list with commentary. Key connections:

Monroe ultrafast programme

García-Ripoll, Zoller & Cirac (2003); Duan (2004); Mizrahi et al. (2013, 2014); Johnson et al. (2015, 2017); Wong-Campos et al. (2017). This body of work on ultrafast spin–motion control with impulsive laser pulses provides the theoretical and experimental baseline for understanding the Hasse protocol's physics identity. The Sail essay (§2, §3) analyses the comparison in detail: the Hasse scheme is a Floquet-synchronised quadrature probe, not a slow approximation to an ultrafast kick.

Back-action evasion foundations

Braginsky & Vorontsov (1980); Caves, Thorne, Drever, Sandberg & Zimmermann (1980). The structural prerequisites for BAE — linear single-quadrature coupling — are developed in these foundational works. The Sail essay (§1.2) shows explicitly why these prerequisites are not met at η ≈ 0.4.

Trapped-ion quantum dynamics

Leibfried, Blatt, Monroe & Wineland, Rev. Mod. Phys. 75, 281 (2003). The standard reference for spin–motion coupling in trapped ions, including the Lamb–Dicke regime, resolved sidebands, and motional state preparation. Essential background for the Framework page.

Open Questions Arising from the Paper

These are the questions that the dossier's five UNDERDETERMINED claims (L2, L4, L5, L6, L7) distil from the paper's forward-looking discussion. They are ordered by the Council's work-package sequence:

#	Question	Ledger	Work package
Q1	What is the backaction budget (unitary + projective) as a function of η, α, N_p?	L5	WP-A.3
Q2	Can the position (phase) and momentum (Doppler) channels be cleanly separated at η ≈ 0.4?	L2	WP-A.1
Q3	Is the map ρ → (phase, Doppler spectrum) injective for Fock, squeezed, and cat states?	L4 L7	WP-C
Q4	Does a perturbative linear (BAE-compatible) regime exist in any accessible parameter window?	L6	WP-D
Q5	Is the readout best formalised as characteristic-function sampling (tomography) or phase-space estimation (metrology)?	—	Standing question

Commented Bibliography

Further reading organised by theme · annotated for dossier relevance

This bibliography extends the reference list in the Sail essay with additional context, thematic organisation, and reading-order guidance. Each entry carries a relevance note explaining why it matters for the dossier and which claims or work packages it informs. References already cited in the Sail essay are marked SAIL.

Entries are grouped by theme, not by date or author. Within each theme, ordering reflects a suggested reading path — foundational works first, then specific developments.

1. The Source Paper

SAIL Hasse2024

F. Hasse, D. Palani, R. Thomm, U. Warring, and T. Schaetz

"Phase-stable travelling waves stroboscopically matched for super-resolved observation of trapped-ion dynamics," Phys. Rev. A 109, 053105 (2024). doi · arXiv: 2309.15580

Relevance: The paper under analysis. Everything in this dossier derives from or responds to this work. Read first. The arXiv version and the PRA version differ slightly in equation numbering; the dossier uses approximate references that should work for both.

2. Trapped-Ion Physics — Foundations

Essential background for understanding the Hamiltonian, Lamb–Dicke parameter, sideband structure, and motional state preparation.

SAIL Leibfried2003

D. Leibfried, R. Blatt, C. Monroe, and D. Wineland

"Quantum dynamics of single trapped ions," Rev. Mod. Phys. 75, 281–324 (2003). doi

Relevance: The standard review. Covers spin–motion coupling, the Lamb–Dicke regime (§II.D), resolved sidebands (§III), coherent states and displacement operators (§IV), and motional state diagnostics. Essential for the Framework page. Read §II.D and §III first if time is limited.

Wineland1998

D. J. Wineland, C. Monroe, W. M. Itano, D. Leibfried, B. E. King, and D. M. Meekhof

"Experimental issues in coherent quantum-state manipulation of trapped atomic ions," J. Res. Natl. Inst. Stand. Technol. 103, 259–328 (1998). doi · arXiv

Relevance: The longer predecessor to Leibfried2003, with more experimental detail on heating rates, decoherence mechanisms, and the transition from resolved to unresolved sideband regimes. Particularly relevant to the decoherence model in the simulation (Code §6) and to understanding the heating-rate parameter dn/dt.

SAIL Monroe1996

C. Monroe, D. M. Meekhof, B. E. King, and D. J. Wineland

"A 'Schrödinger Cat' Superposition State of an Atom," Science 272, 1131–1136 (1996). doi

Relevance: The original demonstration of coherent-state superpositions (cat states) with trapped ions. Relevant to L7 — whether the stroboscopic scheme can perform tomography on non-classical states. The state preparation methodology (displacement + conditional phase) remains the standard technique.

Meekhof1996

D. M. Meekhof, C. Monroe, B. E. King, W. M. Itano, and D. J. Wineland

"Generation of Nonclassical Motional States of a Trapped Atom," Phys. Rev. Lett. 76, 1796–1799 (1996). doi

Relevance: Experimental demonstration of Fock states, coherent states, and squeezed states of a single trapped ion. Directly relevant to the initial-state preparation options in the Simulate page (displacement, squeeze, thermal) and to the target states for the tomographic stress-test (WP-C).

3. Ultrafast Spin–Motion Control (Monroe Programme)

The experimental and theoretical baseline against which the Hasse protocol's physics identity is defined. The Sail essay (§2, §3) provides a detailed comparison. Read in the order listed.

SAIL García-Ripoll2003

J. J. García-Ripoll, P. Zoller, and J. I. Cirac

"Speed Optimized Two-Qubit Gates with Laser Coherent Control Techniques for Ion Trap Quantum Computing," Phys. Rev. Lett. 91, 157901 (2003). doi

Relevance: Foundational theory for fast gates outside the Lamb–Dicke regime. Shows that gates operating much faster than the trap period become insensitive to temperature — the key property that the Hasse stroboscopic scheme does not fully inherit (Sail essay §2). The displacement-operator factorisation in the impulsive limit is the theoretical reference point.

SAIL García-Ripoll2005

J. J. García-Ripoll, P. Zoller, and J. I. Cirac

"Coherent control of trapped ions using off-resonant lasers," Phys. Rev. A 71, 062309 (2005). doi

Relevance: Extended treatment of the theory in García-Ripoll2003, with detailed analysis of off-resonant laser control and the transition from impulsive to finite-duration pulses. The Magnus-expansion treatment of finite-pulse corrections is directly relevant to the deviation analysis in Sail essay §1.1.

SAIL Duan2004

L.-M. Duan

"Scaling Ion Trap Quantum Computation through Fast Quantum Gates," Phys. Rev. Lett. 93, 100502 (2004). doi

Relevance: Extends fast-gate theory to scalable architectures. The conceptual separation between "impulsive kick" and "accumulated coherent rotation" that the Sail essay (§3) develops — to distinguish the Hasse protocol from the Monroe approach — has its theoretical roots here.

SAIL Mizrahi2013

J. Mizrahi, C. Senko, B. Neyenhuis, K. G. Johnson, W. C. Campbell, C. W. S. Conover, and C. Monroe

"Ultrafast Spin–Motion Entanglement and Interferometry with a Single Atom," Phys. Rev. Lett. 110, 203001 (2013). doi

Relevance: First experimental demonstration of ultrafast (< 50 ps) spin–motion entanglement with a single trapped ion. Achieves the impulsive regime (δt/T_m ~ 10⁻⁵) that the Hasse protocol does not reach (δt/T_m ≈ 0.05). The comparison table in Sail essay §2 uses this as the reference point.

SAIL Mizrahi2014

J. Mizrahi, B. Neyenhuis, K. G. Johnson, W. C. Campbell, C. Senko, D. Hayes, and C. Monroe

"Quantum control of qubits and atomic motion using ultrafast laser pulses," Appl. Phys. B 114, 45–61 (2014). doi

Relevance: Comprehensive methods paper for the ultrafast programme. Detailed pulse characterisation, calibration procedures, and systematic error analysis. Useful as a methodological reference for understanding what "impulsive" means experimentally and where the Hasse protocol's 40 ns pulses sit relative to that standard.

SAIL Johnson2015

K. G. Johnson, B. Neyenhuis, J. Mizrahi, J. D. Wong-Campos, and C. Monroe

"Sensing Atomic Motion from the Zero Point to Room Temperature with Ultrafast Atom Interferometry," Phys. Rev. Lett. 115, 213001 (2015). doi

Relevance: Demonstrates motional sensing from the ground state to n̄ ~ 10⁴ using ultrafast kicks. The temperature independence arises from the impulsive factorisation — a property the Hasse protocol trades for phase-selective stroboscopic accumulation. Directly relevant to the question of whether the stroboscopic scheme has a comparable dynamic range.

SAIL Johnson2017

K. G. Johnson, J. D. Wong-Campos, B. Neyenhuis, J. Mizrahi, and C. Monroe

"Ultrafast creation of large Schrödinger cat states of an atom," Nat. Commun. 8, 697 (2017). doi

Relevance: Creates cat states with separations up to Δx ≈ 0.5 μm using sequences of impulsive kicks. Represents the most ambitious motional-state engineering in the ultrafast framework. Relevant to L7 — whether the stroboscopic measurement scheme could characterise such states.

SAIL Wong-Campos2017

J. D. Wong-Campos, S. A. Moses, K. G. Johnson, and C. Monroe

"Demonstration of Two-Atom Entanglement with Ultrafast Optical Pulses," Phys. Rev. Lett. 119, 230501 (2017). doi

Relevance: Extends the ultrafast programme to two-ion entanglement. While the Hasse protocol is currently single-ion, the multi-ion extension is a natural question. The entangling mechanism here (state-dependent kicks mediated by shared motional modes) provides a comparison point.

4. Back-Action Evasion and Quantum Measurement

Background for understanding the BAE claim (L6) and why it is classified UNDERDETERMINED.

SAIL Braginsky1980

V. B. Braginsky and Yu. I. Vorontsov

"Quantum-Mechanical Limitations in Macroscopic Experiments and Modern Experimental Technique," Sov. Phys. Usp. 23, 644–650 (1980). doi

Relevance: One of the foundational papers on quantum measurement back-action and the concept of quantum non-demolition (QND) measurements. Establishes the principle that measuring one quadrature need not disturb it if the coupling is linear and single-quadrature — the structural prerequisite that fails at η ≈ 0.4 (Sail essay §1.2).

SAIL Caves1980

C. M. Caves, K. S. Thorne, R. W. P. Drever, V. D. Sandberg, and M. Zimmermann

"On the measurement of a weak classical force coupled to a quantum-mechanical oscillator. I. Issues of principle," Rev. Mod. Phys. 52, 341–392 (1980). doi

Relevance: The comprehensive treatment of QND measurement theory for harmonic oscillators. Sections on back-action evasion via single-quadrature readout are directly relevant to understanding why the exponential coupling C = exp(iη(a+a†)) at η ≈ 0.4 compromises BAE — the coupling is not linear in a single quadrature.

Clerk2010

A. A. Clerk, M. H. Devoret, S. M. Girvin, F. Marquardt, and R. J. Schoelkopf

"Introduction to quantum noise, measurement, and amplification," Rev. Mod. Phys. 82, 1155–1208 (2010). doi

Relevance: Modern review of quantum measurement theory, covering the standard quantum limit, back-action, and measurement imprecision. Written in the context of circuit QED and optomechanics, but the measurement-theory framework is universal. Helpful for formalising the backaction budget in WP-A.3 — particularly the distinction between unitary (reversible entanglement) and projective (irreversible collapse) backaction identified in the Sail essay §1.6.

5. Motional State Tomography and Reconstruction

The dossier's primary framing is tomography. These references provide the theoretical and experimental context for the work packages WP-C and WP-D.

Leibfried1996

D. Leibfried, D. M. Meekhof, B. E. King, C. Monroe, W. M. Itano, and D. J. Wineland

"Experimental Determination of the Motional Quantum State of a Trapped Atom," Phys. Rev. Lett. 77, 4281–4285 (1996). doi

Relevance: First experimental reconstruction of the motional Wigner function of a trapped ion, using the Jaynes–Cummings interaction in the resolved-sideband regime. The measurement protocol (displacement followed by ground-state probability readout) provides the standard against which the Hasse stroboscopic scheme's tomographic potential should be compared. Key question: can the phase+Doppler readout achieve comparable or complementary reconstruction fidelity?

Lutterbach1997

L. G. Lutterbach and L. Davidovich

"Method for Direct Measurement of the Wigner Function in Cavity QED and Ion Traps," Phys. Rev. Lett. 78, 2547–2550 (1997). doi

Relevance: Proposes direct Wigner-function measurement via displacement and parity detection. The characteristic-function formalism χ(ξ) = Tr[ρ exp(iξx̂/x₀)] mentioned in the Framework page is closely related. The Hasse scheme's exponential coupling C = exp(iη(a+a†)) samples χ at discrete ξ-values — whether this is sufficient for reconstruction is the question of L7.

Deleglise2008

S. Deléglise, I. Dotsenko, C. Sayrin, J. Bernu, M. Brune, J.-M. Raimond, and S. Haroche

"Reconstruction of non-classical cavity field states with snapshots of their decoherence," Nature 455, 510–514 (2008). doi

Relevance: Full Wigner-function reconstruction of cavity field states (Fock, coherent, cat) using dispersive atom–field coupling in cavity QED. The measurement coupling — an atom traversing a cavity — is structurally analogous to the stroboscopic spin–motion coupling, with the cavity mode replacing the motional mode. The reconstruction methods and fidelity metrics used here are directly applicable to WP-C.

Fluhmann2019

C. Flühmann, T. L. Nguyen, M. Marinelli, V. Negnevitsky, K. Mehta, and J. P. Home

"Encoding a qubit in a trapped-ion mechanical oscillator," Nature 566, 513–517 (2019). doi

Relevance: Demonstrates full quantum control and tomography of GKP (Gottesman–Kitaev–Preskill) states in a trapped-ion motional mode, using displacement-based characteristic-function sampling. This is the state-of-the-art for trapped-ion motional-state tomography and provides the most direct comparison point for evaluating whether the Hasse stroboscopic scheme adds tomographic capability beyond existing methods.

6. AC Stark Lattices and Optical Forces on Trapped Ions

Background for the engineered effective wavelength λ_eff ≈ 140 nm and the AC Raman coupling.

Schmiegelow2016

C. T. Schmiegelow, J. Schulz, H. Kaufmann, T. Ruster, U. G. Poschinger, and F. Schmidt-Kaler

"Transfer of optical orbital angular momentum to a bound electron," Nat. Commun. 7, 12998 (2016). doi

Relevance: Demonstrates structured light fields interacting with trapped ions. While the physics is different (OAM transfer vs. AC Stark lattice), the experimental methodology of engineering sub-wavelength light patterns for ion manipulation is closely related. Provides context for the λ_eff engineering in the Hasse experiment.

Karpa2013

L. Karpa, A. Bylinskii, D. Gangloff, M. Cetina, and V. Vuletić

"Suppression of Ion Transport due to Long-Lived Subwavelength Localization by an Optical Lattice," Phys. Rev. Lett. 111, 163002 (2013). doi

Relevance: Trapped ions in optical lattices with sub-wavelength structure. The interplay between the trap potential and the optical lattice potential parallels the interplay between the harmonic confinement and the AC Stark lattice in the Hasse experiment. Relevant background for understanding the geometric super-resolution (L3).

7. Phase-Space Methods and Characteristic Functions

Mathematical framework for the tomographic interpretation central to the dossier.

Cahill1969

K. E. Cahill and R. J. Glauber

"Ordered Expansions in Boson Amplitude Operators," Phys. Rev. 177, 1857–1881 (1969); and "Density Operators and Quasiprobability Distributions," Phys. Rev. 177, 1882–1902 (1969). doi (I) · doi (II)

Relevance: The foundational treatment of quasiprobability distributions (Wigner, Husimi, Glauber–Sudarshan) and their characteristic functions. The dossier's tomographic framing rests on the observation that C = exp(iη(a+a†)) samples the characteristic function χ(ξ) at ξ = 2η. These papers provide the mathematical infrastructure.

Leonhardt1997

U. Leonhardt

Measuring the Quantum State of Light (Cambridge University Press, 1997). doi

Relevance: Textbook treatment of quantum state tomography, including homodyne tomography, pattern functions, and the relationship between characteristic functions and Wigner functions. The formalism translates directly from optical to motional states. Essential mathematical background for WP-C. Chapter 5 (quantum state sampling) is particularly relevant.

8. Numerical Methods

Technical references for the simulation engine and its validation.

Johansson2012

J. R. Johansson, P. D. Nation, and F. Nori

"QuTiP: An open-source Python framework for the dynamics of open quantum systems," Comp. Phys. Commun. 183, 1760–1772 (2012). doi

Relevance: The reference Python/QuTiP script downloadable from the Simulate page uses QuTiP for cross-validation. QuTiP's mesolve and mcsolve routines implement the same Lindblad channels (T₁, T₂, heating) as the browser engine's quantum trajectory method (Code §6).

Dalibard1992

J. Dalibard, Y. Castin, and K. Mølmer

"Wave-function approach to dissipative processes in quantum optics," Phys. Rev. Lett. 68, 580–583 (1992). doi

Relevance: Introduces the quantum trajectory (Monte Carlo wavefunction) method used by the browser simulation engine for decoherence (Code §6). The collapse/no-jump branching, the non-Hermitian effective Hamiltonian, and the trajectory-averaging prescription are all from this paper.

Moler2003

C. Moler and C. Van Loan

"Nineteen Dubious Ways to Compute the Exponential of a Matrix, Twenty-Five Years Later," SIAM Rev. 45, 3–49 (2003). doi

Relevance: The browser simulation computes matrix exponentials via Taylor(12) with scaling and squaring (Code §2). This review is the standard reference for understanding the numerical properties, error bounds, and alternatives. Relevant for assessing the precision of the GPU (Float32) vs. CPU (Float64) paths.

Paper Structure at a Glance

Section-by-Section Commentary

Key Equations with Dossier Cross-References

Extended References

Open Questions Arising from the Paper

Commented Bibliography

1. The Source Paper

2. Trapped-Ion Physics — Foundations

3. Ultrafast Spin–Motion Control (Monroe Programme)

4. Back-Action Evasion and Quantum Measurement

5. Motional State Tomography and Reconstruction

6. AC Stark Lattices and Optical Forces on Trapped Ions

7. Phase-Space Methods and Characteristic Functions

8. Numerical Methods

Suggested Reading Paths