advanced30 min studyLesson 940 in Physics

Benchmarking quantum dynamics against exact models

Use independent exact solutions and nested convergence studies to identify coherent, numerical and modeling errors.

On this page

What you’ll understand

  • Construct an exact finite spin-rotation benchmark with phase-sensitive observables.
  • Explain why invariant checks can miss a wrong propagator sign.
  • Separate timestep convergence from basis and physical-model convergence.

A numerical quantum calculation should pass tests whose answers do not come from the same implementation. Exact small matrices, free propagation and analytic dissipative channels provide such benchmarks. They can expose a wrong sign, normalization convention or jump rule before a complicated calculation hides it. Their usefulness depends on choosing diagnostics sensitive to the error being tested; a method can pass norm and energy checks while producing an orthogonal coherent state.

Choose benchmarks that isolate mechanisms

For a closed finite system, compare with an independently evaluated matrix exponential or an analytic two-level rotation. Check complex amplitudes up to an allowed common phase, selected observables, norm and any genuinely conserved quantities. A common energy offset changes only global phase in exact dynamics, while a wrong relative phase changes interference. Population-only comparisons can miss that distinction, especially in symmetric examples with equal occupations.

Spatial methods need additional references: exact box levels, free-packet dispersion and stationary scattering fluxes test different components. Compare like representations before calling a discrepancy a propagator error; a centered-stencil kinetic matrix and a Fourier kinetic matrix have different finite spectra. Open-system tests should include exact population and coherence decay, trace, Hermiticity, positivity and the sampling statistics of any trajectory solver. No single benchmark spans every one of these mechanisms.

H=ℏΩ2σx,e−iHt/ℏ∣0⟩=cos⁡(Ωt/2)∣0⟩−isin⁡(Ωt/2)∣1⟩H=\frac{\hbar\Omega}{2}\sigma_x,\qquad e^{-iHt/\hbar}|0\rangle=\cos(\Omega t/2)|0\rangle-i\sin(\Omega t/2)|1\rangle
Omega has inverse-time units. This exact finite two-state model fixes the negative imaginary amplitude and provides phase-sensitive Pauli expectations.↔ Scroll wide equations horizontally.

Refine independent approximations rather than only one tolerance

Timestep subdivision or an embedded comparison estimates temporal error for a specified finite operator. Krylov dimension, Chebyshev order or iterative-solve tolerance can then be tightened so their errors do not dominate that comparison. The adaptation rule should target the reconstructed state or relevant observable under a declared norm; conserving probability alone cannot estimate a unitary method's phase defect. Very small adaptive steps also do not repair an incorrectly implemented Hamiltonian.

After temporal convergence, increase Hilbert dimension or spatial bandwidth, move boundaries and vary absorber or bath parameters as appropriate. These controls answer different questions. A result can converge beautifully in timestep toward a biased fixed-basis limit. Conversely, a basis-refinement comparison can be obscured by loose solver tolerances or Monte Carlo noise. Record enough independent controls to attribute an observed plateau instead of assuming that every plateau represents the physical answer.

δtotal may contain time, solver, representation, boundary, sampling and physical-model contributions\delta_{\rm total}\ \text{may contain time, solver, representation, boundary, sampling and physical-model contributions}
This is a bookkeeping statement, not an assumption that the contributions are statistically independent or may always be added in quadrature.↔ Scroll wide equations horizontally.

Keep numerical verification separate from physical validation

For a quantity with a dominant second-order temporal error, halving timestep reduces that leading term by four and Richardson extrapolation removes it. The extrapolate remains the limit of the chosen finite model. Comparison with an external exact or experimentally justified reference is needed to diagnose shared representation or model bias. The synthetic phase example below makes the distinction explicit rather than equating an observed order with truth.

Physical validation additionally asks whether the chosen Hamiltonian, nonrelativistic regime, driving field and environmental approximation describe the intended system. An exactly solved phenomenological Lindblad equation is still a phenomenological model. Error reports should name the observable, duration and parameter range; good short-time occupations need not bound long-time phase, rare-transition probabilities or every derived measurement. Clear scope makes a benchmark informative instead of turning one successful test into a universal accuracy claim.

q∗≈qh/4+qh/4−qh/23for a justified leading second-order temporal errorq_*\approx q_{h/4}+\frac{q_{h/4}-q_{h/2}}{3}\qquad\text{for a justified leading second-order temporal error}
Here h denotes a timestep, not hbar or a spatial spacing. The extrapolation removes that leading error only and does not certify a complete uncertainty bound.↔ Scroll wide equations horizontally.

A wrong phase that passes several invariant checks

For the exact x-rotation model start from zero and take Ωt=π/2\Omega t=\pi/2. A candidate solver returns (∣0⟩+i∣1⟩)/2(|0\rangle+i|1\rangle)/\sqrt2. Compare it with the exact state using norm, excited population, energy, overlap and Pauli-y expectation.

  1. Exact evolution gives (∣0⟩−i∣1⟩)/2(|0\rangle-i|1\rangle)/\sqrt2. Both it and the candidate have unit norm and excited probability one half, so those tests do not distinguish them.

  2. Both states have Pauli-x expectation zero and therefore energy expectation zero for this H. Their inner product is zero, however, so no choice of common phase makes them the same state.

  3. The exact Pauli-y expectation is minus one, while the candidate gives plus one. A phase-sensitive benchmark exposes the wrong sign even though norm, populations and the conserved finite energy all pass.

The result

The candidate is orthogonal to the exact state and reverses Pauli y, despite matching norm, excited population and energy.

Explore the model

Interactive lab

Interactive lab · quantum

A directly testable phase-sign benchmark

Reset and set mixing angle ninety degrees, phase minus ninety degrees; predict Bloch y minus one. Compare a fresh Reset run at ninety degrees, phase ninety degrees; predict Bloch y plus one while both basis probabilities remain one half. The lab displays these prepared pure states; it does not benchmark an implemented time propagator or validate a physical Hamiltonian.

A directly testable phase-sign benchmarkA normalized two-level pure state, not an interacting field simulation. Playback adds one radian per second to the relative phase; basis probabilities stay fixed. Current readings: Probability |0⟩: 71.1%; Probability |1⟩: 28.9%; Bloch (x, y, z): 0.78, 0.45, 0.42. All parameters are adjustable with the labeled controls below.xyz|0⟩|1⟩Basis probabilitiesP(0)71.1%P(1)28.9%
Bloch vector / P(0)P(1)Phase latitude
Probability |0⟩
71.1%
Probability |1⟩
28.9%
Bloch (x, y, z)
0.78, 0.45, 0.42
t = 0 s

A normalized two-level pure state, not an interacting field simulation. Playback adds one radian per second to the relative phase; basis probabilities stay fixed. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forChoose an observable that distinguishes the suspected error rather than relying only on conserved quantities.

Check your understanding

What does clear timestep convergence at fixed Hilbert dimension establish?

Try it yourself

At timesteps h, h over two and h over four, a toy dimensionless phase is 1.19, 1.07 and 1.04. Assume leading second-order time error. Find the extrapolate and finest temporal-error estimate. An independent exact reference is 1.00; what shared discrepancy remains after time extrapolation?

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

The successive differences are in ratio four. Remove only the leading timestep term before comparing with the independent reference.

Compare with the solution

The differences are 0.12 and 0.03, consistent with second order. The extrapolate is 1.04+(1.04−1.07)/3=1.031.04+(1.04-1.07)/3=1.03, and the finest leading temporal error estimate is 0.01. Relative to the independent reference, a shared discrepancy of 0.03 remains. It could reflect the stipulated finite representation or another unchanged systematic; the three timestep values alone cannot identify its origin. Temporal convergence has therefore not established full physical accuracy.

Take it with you

  • Independent exact tests must be sensitive to phase, flux and state structure.
  • Timestep, algebraic tolerance and representation convergence are different controls.
  • A verified numerical solution still needs a justified physical model.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.