Frontiers and Open Problems

Status: the organizing questions on this page are established as productive research programs. Most answers, platform comparisons, and scaling claims remain active. Specific extrapolations are labelled conjectural, speculative, or controversial where appropriate.

Last reviewed: 26 July 2026. This page is a map, not a claim that every promising experiment will become a useful instrument or that every engineered quantum system will outperform a classical method.

A research frontier is not merely a topic with recent papers. It is a durable question for which the relevant observables can be defined, partial answers already exist, and a credible experiment or calculation could change what is known. Atomic, molecular, and optical physics is unusually rich in such questions because the same laboratory can often prepare a state, engineer its Hamiltonian, resolve individual outcomes, and compare the result with a quantitative model.

That combination makes AMO systems powerful. It does not make inference automatic. Better coherence, more particles, finer timing, or a larger Hilbert space becomes scientific progress only when it improves a stated measurement, simulation, or test and when the dominant failure modes remain visible.

The enduring questions are:

1. How precisely can quantum systems measure time, fields, motion, constants, and symmetry violations?
2. How controllable can atoms, molecules, ions, photons, and cavities become?
3. How far can AMO systems emulate many-body models and quantum field dynamics?
4. How reliably can nonclassical optical states be generated, transmitted, stored, and measured?
5. What new interactions and internal structures become accessible with molecules?
6. How can AMO experiments test relativistic gravity, quantum electrodynamics, and physics beyond established models?
7. Which apparent advances survive independent calibration, model checking, and reproduction?

Canonical Scope

This chapter owns dated assessments of active questions, experimental bottlenecks, competing approaches, and evidence levels. It does not rederive the settled formalism on which those assessments depend.

• Precision Measurement and Metrology owns measurement models, stability, uncertainty budgets, clocks, field sensors, and fundamental tests.
• AMO Platforms and Quantum Control owns cooling, trapping, optical tweezers, lattices, ions, Rydberg systems, cavities, and control primitives.
• Quantum Optics owns field modes, optical states, correlation functions, photodetection, squeezing, and cavity models.
• Molecular Quantum Mechanics owns the molecular Hamiltonian, Born–Oppenheimer separation, rovibrational structure, molecular symmetry, and nonadiabatic coupling.
• Many-Body and Statistical Quantum Mechanics owns the target models, phases, correlation functions, thermalization questions, and many-body numerical methods.
• Measurement and Open Quantum Systems owns channels, master equations, continuous measurement, decoherence, and quantum trajectories.
• The planned Quantum Information and Computation volume will own algorithms, error correction, communication protocols, complexity claims, and platform-independent performance criteria. Until that volume is mature, Composite Systems and Entanglement supplies the canonical state, channel, and entanglement foundations.

The distinction is editorial and scientific. A Rydberg blockade derivation belongs on the Rydberg Blockade page. Whether blockade-based arrays can maintain calibrated many-body dynamics while scale and circuit depth grow belongs here.

Why AMO Is a Frontier Field

AMO experiments combine five resources that rarely appear together with the same degree of control:

Resource	Operational meaning	Typical limitation
preparation	occupation of a declared internal and motional state	entropy, leakage, imperfect loading
coherent evolution	a calibrated Hamiltonian applied for a known time	dephasing, drift, crosstalk, model error
tunability	control of detuning, coupling, geometry, or interaction range	calibration bandwidth and unwanted terms
resolved measurement	access to populations, phases, correlations, or individual particles	loss, finite efficiency, misclassification
comparison	repeated runs under altered controls or with a benchmark model	hidden selection, finite-size effects, classical intractability

The resources are coupled. Increasing atom number can reduce statistical noise while increasing density shifts. Stronger interactions can shorten a gate while increasing leakage. A more expressive photonic state can be more fragile under loss. A frontier assessment therefore needs a performance vector, not one headline number:

$$\mathbf R = \left( N,\, T_{\mathrm{coh}},\, F_{\mathrm{prep}},\, F_{\mathrm{op}},\, \eta_{\mathrm{det}},\, \epsilon_{\mathrm{model}},\, \tau_{\mathrm{cycle}} \right).$$

Here $N$ is a relevant system size, $T_{\mathrm{coh}}$ a coherence time, $F_{\mathrm{prep}}$ a preparation fidelity, $F_{\mathrm{op}}$ an operation fidelity, $\eta_{\mathrm{det}}$ a detection efficiency, $\epsilon_{\mathrm{model}}$ a declared model discrepancy, and $\tau_{\mathrm{cycle}}$ the experimental cycle time. The entries are not universal metrics. Their definitions depend on the task, and correlations among them matter.

A frontier result is an inference chain

For any claimed advance, ask for the complete chain

$$\begin{gathered} \text{scientific question} \longrightarrow \text{model and assumptions} \longrightarrow \text{control sequence} \\ \longrightarrow \text{measurement record} \longrightarrow \text{estimator or reconstruction} \longrightarrow \text{uncertainty and alternatives} \longrightarrow \text{claim}. \end{gathered}$$

A plot can be correct while the interpretation is too broad. The page for each frontier therefore separates what was directly observed from what was inferred, and what was inferred from what is merely projected.

Precision Frontier

The precision frontier asks how a quantum system can convert a small change in time, phase, acceleration, field, or coupling into a traceable estimate. Its platforms include optical lattice and trapped-ion clocks, atom interferometers, atomic magnetometers, molecular spectroscopy, optical frequency networks, and quantum-enhanced sensors.

For a parameter $\theta$ encoded in a state, the quantum Cramér–Rao bound provides a statistical benchmark,

$$\operatorname{Var}(\hat{\theta}) \ge \frac{1}{\nu F_Q(\theta)},$$

where $\nu$ is the number of independent repetitions and $F_Q$ is the quantum Fisher information. The bound does not include an unknown calibration bias, an incomplete Hamiltonian, dead time, aliasing, or an incorrectly specified measurand. A real uncertainty budget has both statistical and systematic structure:

$$u_c^2 = u_{\mathrm{stat}}^2 + \mathbf c^{\mathsf T} \mathbf V \mathbf c + u_{\mathrm{model}}^2,$$

where $\mathbf V$ is the covariance matrix of systematic inputs and $\mathbf c$ contains their sensitivity coefficients.

Established: atomic transitions can realize exceptionally stable frequency references; coherent interferometry can estimate inertial and field-induced phases; nonclassical states can improve selected statistical tasks.

Active: transporting optical-clock performance outside specialized laboratories, comparing remote clocks without transfer noise dominating, combining long coherence with entanglement, controlling many-body shifts, and constructing uncertainty budgets at progressively smaller fractional scales.

Open: which architectures deliver the best end-to-end information rate once duty cycle, loss, calibration overhead, and systematic uncertainty are included? When does quantum enhancement survive the noise and prior information of the actual task?

Begin with Optical Clocks, Atom Interferometric Sensors, Magnetometry, and Tests of Fundamental Symmetries.

Control Frontier

The control frontier asks how accurately a desired quantum map can be implemented while state space, duration, and environmental coupling grow. The object being controlled may be an atomic qubit, molecular rotation, an ion crystal, a cavity mode, a chemical wave packet, or a many-body Hamiltonian.

For a target unitary $U_{\mathrm{tar}}$ and implemented channel $\mathcal E$, a quoted fidelity is meaningful only after specifying:

• the input ensemble or process metric;
• whether state preparation and measurement errors are included;
• the leakage space;
• the averaging distribution over controls and drifts;
• the confidence interval and data-selection rule; and
• whether the benchmark predicts performance in a longer sequence.

A small one-operation error,

$$\epsilon_{\mathrm{op}} = 1-F_{\mathrm{op}},$$

does not imply a depth-$d$ error of $d\epsilon_{\mathrm{op}}$. Errors can be coherent, correlated, state dependent, non-Markovian, or converted by the control sequence. Extrapolating isolated-gate performance is therefore an active modelling problem, not bookkeeping.

Established: coherent driving, adiabatic passage, dynamical decoupling, optimal-control methods, trapping, sideband cooling, and local imaging can deliver high-quality control in well-defined regimes.

Active: robust control across inhomogeneous arrays, autonomous calibration, leakage suppression, mid-circuit measurement, real-time feedback, molecular-state control, and control protocols that remain diagnosable as systems scale.

Open: how much complexity should be assigned to hardware calibration, classical optimization, and postselection when comparing platforms? Which error models remain predictive outside the calibration sequence?

The settled tools live in Quantum Control in AMO, Rabi Oscillations, STIRAP, and Optical Tweezers.

Many-Body Simulation Frontier

A quantum simulator does not need to reproduce every microscopic property of another material. It must realize a declared target model or universality class closely enough that the measured observables answer the intended question.

Write the laboratory generator as

$$H_{\mathrm{lab}} = \alpha H_{\mathrm{target}} + \delta H,$$

where $\alpha$ fixes the energy or time scale and $\delta H$ collects unwanted terms, inhomogeneity, control error, and coupling to omitted degrees of freedom. Validation is observable specific. For an observable $O$ over a time window $\mathcal T$, one useful discrepancy is

$$\Delta_O = \sup_{t\in\mathcal T} \left| \langle O(t)\rangle_{\mathrm{lab}} - \langle O(\alpha t)\rangle_{\mathrm{target}} \right|.$$

No single $\Delta_O$ validates every observable. Agreement in a classically tractable regime is necessary but may not certify a later regime where the reference calculation fails.

Established: ultracold atoms in lattices realize Hubbard-type models; Rydberg arrays realize tunable spin Hamiltonians; local imaging resolves many-body correlations; driven systems realize synthetic gauge fields and Floquet bands.

Active: lattice-gauge simulators, mixed-species and dipolar systems, synthetic dimensions, controlled nonequilibrium dynamics, entanglement diagnostics, and analog-digital hybrids.

Open: how should analog-simulator errors be bounded where classical verification is unavailable? Which scientific questions benefit from a quantum simulator before fault-tolerant computation? How can continuum, gauge, and thermodynamic limits be inferred from finite devices?

The mathematical targets belong in Many-Body and Statistical Quantum Mechanics. Platform foundations begin with Optical Lattices, Ultracold Atoms, and Rydberg Atoms.

Quantum Optics Frontier

The quantum-optics frontier concerns preparation and use of field states whose measured statistics cannot be explained by the relevant classical model. Important directions include deterministic single-photon sources, high-purity squeezing, non-Gaussian states, integrated photonics, memories, transduction, repeaters, and distributed sensing.

End-to-end performance is often loss limited. For a source, coupling path, channel, and detector,

$$\eta_{\mathrm{tot}} = \eta_{\mathrm{src}} \eta_{\mathrm{couple}} \eta_{\mathrm{chan}} \eta_{\mathrm{det}}.$$

If a protocol requires $m$ independently transmitted and detected photons, an idealized success probability can scale as

$$P_{\mathrm{succ}} \propto \eta_{\mathrm{tot}}^m.$$

This elementary relation explains why source brightness alone is not a network metric. Multiphoton contamination, indistinguishability, memory efficiency, dark counts, feed-forward latency, and accepted-event definitions must also be reported.

Established: antibunching, squeezing, entanglement, and Bell nonlocality have operational witnesses; photons transmit quantum states between nodes; cavity and waveguide interfaces can enhance controlled light–matter coupling.

Active: multiplexed and deterministic sources, long-lived memories, frequency conversion, integrated non-Gaussian operations, fault-tolerant photonic architectures, metropolitan links, and heterogeneous network interfaces.

Open: which combinations of source, memory, channel, and error-correcting architecture deliver scalable rates under realistic loss? Which nonclassicality witness remains valid under the actual detector and postselection model?

The canonical measurement language is in Correlation Functions, Photon Counting, Squeezed Light, and Input–Output Theory Overview.

Molecular Frontier

Molecules add rotational, vibrational, electronic, nuclear-spin, parity, and geometric structure. That complexity supplies dense control manifolds, long-lived internal states, large electric dipole moments, sensitivity to symmetry-violating interactions, and reaction pathways unavailable to structureless particles. It also creates dark states, state-dependent trapping, inelastic loss, and difficult state readout.

The useful frontier is not “molecules are more complicated.” It is whether the additional structure can be controlled and characterized well enough to become a resource. A generic molecular control model has

$$H(t) = H_{\mathrm{mol}} - \mathbf d\cdot\mathbf E(t) - \boldsymbol{\mu}\cdot\mathbf B(t) + H_{\mathrm{trap}} + H_{\mathrm{int}},$$

with rovibronic, hyperfine, trapping, and intermolecular terms that may span very different scales. Every reduced model must state which manifolds and couplings were removed.

Established: selected diatomic and polyatomic species can be laser cooled; ground-state polar molecules can be assembled from ultracold atoms; internal molecular states can maintain long coherence; molecular spectra amplify sensitivity to several symmetry-violating interactions.

Active: denser and colder samples, tweezer arrays, direct cooling of more complex species, dipolar many-body dynamics, molecular gates, controlled ultracold chemistry, and simultaneous motional and internal-state control.

Open: which species and encodings best balance optical cycling, trappability, coherence, interaction strength, and readout? Can reactive and inelastic collisions be converted from a loss mechanism into a controlled many-body process?

Background belongs in Cold Molecules, Molecular Hamiltonian, Molecular Symmetry, and Precision Molecular Measurements.

Fundamental Physics Frontier

AMO experiments test established physics in low-energy systems where phase, frequency, parity, spin, and isotope dependence can be measured precisely. Targets include quantum electrodynamics, Lorentz and CPT symmetry, parity and time-reversal violation, equivalence-principle tests, variation of dimensionless constants, ultralight dark matter, and new spin-dependent or composition-dependent forces.

Many searches are naturally expressed through response coefficients. If a frequency ratio $R=\nu_a/\nu_b$ depends on dimensionless parameters $X_i$, then a small variation gives

$$\frac{\delta R}{R} = \sum_i \left(K_i^{(a)}-K_i^{(b)}\right) \frac{\delta X_i}{X_i}.$$

The sensitivity coefficients $K_i$ come from atomic, molecular, nuclear, or field-theoretic calculations. A null result constrains a model only after the signal waveform, coherence properties, spatial response, nuisance parameters, look-elsewhere effect, and external data assumptions are stated.

Established: AMO measurements place stringent bounds on several low-energy symmetry-violating interactions and possible variations of constants; precision spectroscopy tests bound-state QED; clocks and atom interferometers resolve relativistic effects relevant to their operation.

Active: improved electron electric-dipole-moment searches, nuclear moments, parity violation, clock and resonator networks, isotope-shift methods, antimatter comparisons, and searches for transient or oscillatory signals.

Conjectural: a particular unexplained feature may be caused by a new field or force before a model-specific analysis and independent reproduction exclude conventional alternatives.

Speculative: proposals whose required states, coherence, backgrounds, or theoretical interpretation have not yet been demonstrated at the relevant scale.

Use Variation of Constants Searches, Fundamental Constants, Tests of Fundamental Symmetries, and Time Reversal for the settled framework.

Cross-Cutting Bottlenecks

The same limitations recur across nominally different frontiers.

Scale without loss of calibration

Adding particles, modes, or nodes increases expressive power only if local parameters, couplings, and readout remain known. A device with $N$ elements can have $O(N)$ local calibrations and $O(N^2)$ pairwise couplings before higher-order effects are considered. Symmetry, locality, shared controls, and sparse models can reduce this burden, but the reduction must be tested.

Coherence without frozen dynamics

Isolation protects coherence but suppresses preparation, interaction, and readout. Useful architectures switch or engineer coupling rather than merely maximize a quoted lifetime. The relevant figure is often a ratio such as

$$\mathcal C_{\mathrm{task}} = \frac{\text{coherent interaction accumulated}} {\text{decoherence and control error accumulated}},$$

with numerator and denominator defined for the task.

Verification beyond tractable limits

Every platform should be tested where an independent benchmark exists. Beyond that region, confidence may come from conservation laws, redundant observables, cross-platform comparison, randomized tests, perturbative limits, subsystem checks, or falsifiable scaling predictions. None is a universal certificate.

Theory uncertainty

Experimental precision can exceed the accuracy of atomic-structure, molecular, nuclear, or many-body calculations needed for interpretation. Basis convergence alone does not capture missing interactions. Theory uncertainty should identify the operator, approximation, calibration data, and correlation among calculated observables.

Reproducible data reduction

Calibrations, exclusions, correction models, priors, stopping rules, and software versions are part of the result. The Reproducibility Benchmarks page gives the computational protocol; the AMO Experiment Index shows how records, observables, and inferences should be separated.

How to Read Frontier Pages

Each page in this chapter follows the same evidence discipline.

1. Read the status labels

Label	Meaning on these pages	What it does not mean
established	independently supported result, method, or operating principle within stated conditions	exact, universal, or free of systematic limits
active	credible program with demonstrated ingredients and unresolved scaling or interpretation	guaranteed route to an application
conjectural	technically motivated claim that needs a decisive derivation, measurement, or scaling test	arbitrary guess
speculative	logically possible direction whose essential ingredients or sensitivity remain remote or unverified	impossible
controversial	experts disagree about interpretation, evidence sufficiency, or comparison criterion	decided by equal vote rather than evidence

The label applies to a claim, not an entire subfield. A platform can have established state preparation, active scaling, and speculative applications at the same time.

2. Identify the measured quantity

Ask what detector output was recorded and what processing produced the reported quantity. State fidelity, a correlation length, clock uncertainty, and a bound on a coupling constant require different validation.

3. Locate the comparison class

“Better,” “advantage,” and “scalable” are incomplete without a baseline, resource accounting, and target task. Compare equal error tolerances, equal accepted-event definitions, and the complete experimental cycle.

4. Separate demonstration from projection

A demonstrated component can support a projection, but the projection must state how error, loss, overhead, and uncertainty scale. Multiplying the best metric from several unrelated experiments does not demonstrate an integrated system.

5. Check the date

Frontier pages are reviewed every six to twelve months. A dated null result, record value, array size, or platform comparison should not be read as a timeless definition. Superseded snapshots belong in the Living Review Archive rather than being silently rewritten.

Frontier Route Map

The detailed pages are organized by enduring questions rather than by institution, commercial platform, or yearly record.

Frontier page	Core question	Canonical background
Precision AMO Frontiers	how information rate, stability, uncertainty, and deployability trade off	Precision Measurement and Metrology
Optical Clock Frontiers	how clocks become networks, relativistic sensors, and new-physics probes	Optical Clocks
Cold Molecule Frontiers	how complex internal structure becomes a controllable resource	Cold Molecules
Rydberg Array Frontiers	how programmable neutral-atom systems scale while retaining calibrated interactions	Rydberg Blockade
Ultracold Atom Quantum Simulation	how finite laboratory systems answer many-body and gauge-theory questions	Optical Lattices
Quantum Optics Frontiers	how nonclassical light is generated, processed, networked, and verified	Quantum Optics
Cavity and Circuit QED Frontiers	how engineered light–matter systems enter strong, multimode, and hybrid regimes	Cavity QED
Attosecond and Ultrafast Frontiers	how electronic and nuclear motion is reconstructed and controlled in real time	Ultrafast Spectroscopy Overview
Molecular Control Frontiers	how shaped fields steer rovibronic dynamics and chemical outcomes	Quantum Control in AMO
Fundamental Symmetry Frontiers	how null tests constrain symmetry violation and new interactions	Tests of Fundamental Symmetries
Living Review Archive	how dated assessments remain auditable after the canonical pages change	AMO Bibliography and Reading Guide

The linked assessments are dated frontier snapshots. The background links are their canonical homes for enduring derivations and should be read before record values or platform projections.

Common Misconceptions

A record number establishes scientific advantage

A record coherence time, qubit count, squeezing value, or clock instability can be an important technical result. It establishes advantage only for a defined task under a declared resource accounting.

Larger Hilbert space means greater useful complexity

Uncontrolled leakage and thermal occupation enlarge a Hilbert space without adding usable control. Useful dimension requires preparation, addressability, coherent evolution, and validated readout.

Agreement with a target model proves the implementation

Several Hamiltonians can agree on one observable over a short time. Validation should include observables that respond differently to plausible model errors.

A null result proves the absence of new physics

A null result constrains a coupling model over a sensitivity band and under stated assumptions. It does not exclude every model, mass range, waveform, or screening mechanism.

Quantum enhancement removes systematic uncertainty

Entanglement or squeezing can reduce statistical uncertainty for a chosen estimator. It can also change susceptibility to loss, interactions, calibration errors, and readout bias. The systematic model remains.

Peer review makes a time-sensitive comparison permanent

Peer review evaluates a paper’s claims at publication. Hardware performance, external calibrations, evaluated constants, and competing interpretations can change. This is why every frontier claim is dated.

What Changed in This Review

The July 2026 review establishes a stable evidence architecture for this chapter:

• frontiers are grouped by durable scientific questions rather than yearly records;
• every detailed page must separate established, active, conjectural, speculative, and controversial claims;
• platform scale is treated as a vector of coupled resources, not a single count;
• analog quantum-simulation claims require an observable-level validation plan;
• quantum-network claims use end-to-end efficiency and accepted-event definitions;
• precision claims include model and systematic uncertainty, not only Fisher-information bounds;
• molecular complexity is counted as a resource only when it is prepared, controlled, and read out; and
• annual snapshots will be retained in the Living Review Archive.

No priority is assigned merely because a topic produced a recent record. Detailed pages document substantive 2025–2026 developments against their own platform-specific evidence.

References and Entry Points

Field-wide assessment

• National Academies of Sciences, Engineering, and Medicine, Manipulating Quantum Systems: An Assessment of Atomic, Molecular, and Optical Physics in the United States, National Academies Press (2020). This consensus study organizes AMO opportunities around tools made of light, few- to many-body phenomena, quantum information, time-domain control, precision, and fundamental physics.
• A. M. Kaufman and K.-K. Ni, “Quantum science with optical tweezer arrays of ultracold atoms and molecules,” Nature Physics 17, 1324–1333 (2021). A cross-platform review of single-particle control, arrays, quantum information, simulation, and metrology.

Precision and fundamental tests

• A. D. Ludlow, M. M. Boyd, J. Ye, E. Peik, and P. O. Schmidt, “Optical atomic clocks,” Reviews of Modern Physics 87, 637–701 (2015). The standard architecture and systematic framework for trapped-ion and lattice clocks.
• L. Pezzè, A. Smerzi, M. K. Oberthaler, R. Schmied, and P. Treutlein, “Quantum metrology with nonclassical states of atomic ensembles,” Reviews of Modern Physics 90, 035005 (2018). Theory and experiments connecting multipartite entanglement to phase estimation.
• M. S. Safronova et al., “Search for new physics with atoms and molecules,” Reviews of Modern Physics 90, 025008 (2018). A broad review of low-energy tests of symmetries, constants, gravity, and new interactions.

Simulation, molecules, and ultrafast dynamics

• I. M. Georgescu, S. Ashhab, and F. Nori, “Quantum simulation,” Reviews of Modern Physics 86, 153–185 (2014). Foundational definitions and validation questions for analog and digital simulation.
• A. Browaeys and T. Lahaye, “Many-body physics with individually controlled Rydberg atoms,” Nature Physics 16, 132–142 (2020). An entry point to spin-model engineering with Rydberg arrays.
• T. Langen et al., “Quantum state manipulation and cooling of ultracold molecules,” Nature Physics 20, 702–712 (2024). A review of assembly, direct cooling, and internal state control.
• S. L. Cornish, M. R. Tarbutt, and K. R. A. Hazzard, “Quantum computation and quantum simulation with ultracold molecules,” Nature Physics 20, 730–740 (2024). A current assessment of dipolar interactions, molecular encodings, and remaining challenges.
• P. B. Corkum and F. Krausz, “Attosecond science,” Nature Physics 3, 381–387 (2007). A foundational account of time-resolved electronic dynamics and strong-field recollision methods.

For task-specific books, reviews, standards, databases, and primary papers, use the AMO Bibliography and Reading Guide.

Exercises

Exercise 1: Label the claim

Assign one of established, active, conjectural, or speculative to each statement and explain what evidence would change the label.

1. A prepared optical field has sub-vacuum noise in one measured quadrature.
2. A particular neutral-atom architecture will scale to fault-tolerant computation with useful overhead.
3. A repeated narrow spectral feature is caused by an ultralight dark-matter field.
4. Laser-cooled molecules can be confined in optical tweezers.

Solution

Statement 1 can be established if the homodyne calibration, loss model, phase reference, uncertainty, and repeated quadrature statistics support squeezing. Statement 2 is normally active as an engineering program and conjectural as a full-system scaling conclusion until logical error suppression and overhead are demonstrated under a validated noise model. Statement 3 is conjectural even after repetition: one must establish the predicted coherence, waveform, cross-sensor response, environmental vetoes, and model comparison. Before those checks it may be speculative. Statement 4 is established for demonstrated species and operating conditions, not for all molecules.

Exercise 2: Statistical gain and systematic floor

A sensor has single-shot statistical uncertainty $u_1=4.0\times10^{-15}$ and independent repetitions at $1$ Hz. Its systematic uncertainty is $u_{\mathrm{sys}}=2.0\times10^{-17}$. Assuming white statistical noise, after what averaging time does the statistical uncertainty equal the systematic uncertainty? Would a further factor of four increase in quantum Fisher information change the systematic floor?

Solution

After $n$ independent shots,

$$u_{\mathrm{stat}}(n) = \frac{u_1}{\sqrt n}.$$

Setting this equal to $u_{\mathrm{sys}}$ gives

$$n = \left( \frac{4.0\times10^{-15}} {2.0\times10^{-17}} \right)^2 = 4.0\times10^4.$$

At one shot per second, the crossing occurs after $4.0\times10^4\ \mathrm{s}\approx11.1\ \mathrm{h}$. Increasing $F_Q$ by a factor of four halves the statistical standard deviation and reaches the crossing four times sooner, but it does not reduce $u_{\mathrm{sys}}$ unless the protocol also changes the systematic model.

Exercise 3: End-to-end photonic rate

A heralded protocol requires two detected photons per successful attempt. Each photon has source probability $0.70$, coupling efficiency $0.80$, channel transmission $0.50$, and detection efficiency $0.90$. Neglecting other errors, find the two-photon success probability per attempt. Which single efficiency gives the largest absolute improvement in success probability if it is increased by $0.05$ without exceeding one?

Solution

The per-photon efficiency is

$$\eta = (0.70)(0.80)(0.50)(0.90) = 0.252.$$

For two independent photons,

$$P_2 = \eta^2 = 0.063504.$$

Because $P_2$ is proportional to the square of the product, the absolute derivative with respect to a component efficiency $x$ is proportional to $1/x$. A fixed increase of $0.05$ therefore helps the smallest component most. Raising channel transmission from $0.50$ to $0.55$ gives

$$P_2' = \left[(0.70)(0.80)(0.55)(0.90)\right]^2 \approx 0.07684,$$

the largest of the permitted single-component improvements.

Exercise 4: Validate a simulator

A spin simulator agrees with an exact calculation for total magnetization $M_z(t)$ on systems of twelve spins. In a 100-spin experiment, the same device reports slow relaxation of $M_z$. Give three checks that probe different failure modes before interpreting the relaxation as target-model many-body physics.

Solution

Suitable checks include:

1. Measure a local or two-point observable that is sensitive to spatial inhomogeneity even when total $M_z$ is not.
2. Vary a calibrated unwanted term or disorder source and extrapolate toward its minimum; this tests whether the relaxation follows $\delta H$.
3. Reverse or echo a portion of the evolution to test coherent control error and irreversibility from decoherence.
4. Compare conserved quantities and short-time series coefficients with the target Hamiltonian.
5. Repeat at several sizes and geometries to distinguish finite-size or edge effects from bulk scaling.

Agreement of one aggregate observable at twelve spins does not certify the 100-spin generator.

Exercise 5: Complexity as a controlled resource

Suppose a molecule offers 100 long-lived internal levels, but only four can be prepared with known fidelity, coherently coupled with calibrated phases, and individually read out. What is the defensible controlled dimension for a reported qudit experiment? What additional evidence is needed to claim a larger dimension?

Solution

The defensible controlled dimension is four. The other levels may form a leakage space, reservoir, or source of systematic shifts, but their existence does not make them usable qudit basis states. A larger claim requires state-resolved preparation, a calibrated set of operations connecting the larger basis, leakage characterization, and measurement discrimination with an uncertainty model. Process or randomized benchmarks should test the operations over the declared subspace rather than only selected basis states.

Exercise 6: Design a frontier claim

Write the minimum complete form of a claim that an optical-clock network constrains an oscillating dimensionless constant. Include the physical parameter, observable, response model, uncertainty, and scope.

Solution

A defensible claim has the form:

Over a declared frequency band and observation interval, the measured cross-spectrum of specified clock-frequency ratios shows no signal above a stated confidence threshold. Using stated sensitivity coefficients, transfer functions, timing calibration, noise model, environmental vetoes, and assumptions about the field’s spatial coherence and local density, the result bounds the oscillation amplitude of the named dimensionless parameter as a function of frequency.

This is narrower and stronger than “the clocks found no dark matter.” It identifies the measured observable, the model-dependent translation, the uncertainty procedure, and the region of parameter space actually tested.