Benchmarking quantum dynamics against exact models
Use independent exact solutions and nested convergence studies to identify coherent, numerical and modeling errors.
On this page
The question for today
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.
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.
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.
Work it through
A wrong phase that passes several invariant checks
For the exact x-rotation model start from zero and take . A candidate solver returns . Compare it with the exact state using norm, excited population, energy, overlap and Pauli-y expectation.
Exact evolution gives . Both it and the candidate have unit norm and excited probability one half, so those tests do not distinguish them.
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.
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 candidate is orthogonal to the exact state and reverses Pauli y, despite matching norm, excited population and energy.
The living notebook
Explore the model
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.
- Probability |0⟩
- 71.1%
- Probability |1⟩
- 28.9%
- Bloch (x, y, z)
- 0.78, 0.45, 0.42
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.
Pause & reason
Check your understanding
Your turn
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 , 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.
Keep the idea
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.