Definition

A dynamical concept defining how quantum states or operators change with time under a specified Hamiltonian. It governs time propagation, phase accumulation, and the effect of driving or slowly varying parameters when present. It does not ensure accurate prediction without correct initial conditions, boundary conditions, and validated model assumptions. It provides the basis for computing transition probabilities, energy spectra, and time-dependent expectation values. The concept is generally stable, though approximation techniques and simulation tools evolve over time.

Principle

Principle
Replace the exact time-ordered exponential by a sequence, series, or effective Hamiltonian under conditions where truncation errors are bounded and convergence criteria (small time slices, large gaps, weak coupling) are satisfied; quantify error accumulation and preserve required structure when possible (unitarity to given order).

Demonstration

Demonstration
Second-order Trotter splitting for H=A+B: over a small time step dt, approximate e^{-i(A+B)dt} ≈ e^{-iA dt/2} e^{-iB dt} e^{-iA dt/2}; adiabatic approximation follows instantaneous eigenstates when the Hamiltonian varies slowly compared to gaps, producing Berry-phase corrections.

Misapplication

Misapplication
Using a low-order Trotter decomposition with too-large time steps on long-time simulations causing secular growth of errors; applying the adiabatic approximation across an avoided crossing where the gap closes, producing qualitatively wrong transition probabilities.

Consequence

Consequence
Provides tractable algorithms with known error scaling, enabling scalable simulation and analytical insight; when error bounds are met, approximations converge to the exact evolution and allow controlled extrapolation.

Reversal

Reversal
Exact propagation by diagonalization or numerically exact integrators removes approximation error but may be infeasible; stochastic unravelings or variational methods provide alternative approximations with different error tradeoffs.

Boundary

Boundary
Valid only under the assumptions behind the chosen expansion (commutation properties, time-step smallness, gap size, perturbation strength); breakdowns occur for nonanalytic time dependence, singular operators, or long-time accumulation beyond error bounds.

Semantic Tension

Semantic Tension
Conflict between approximation families: local splitting schemes favor short-time factorization while adiabatic/perturbative approximations rely on slow change or small coupling; both claim validity in overlapping but distinct regimes.

Synthesis

Synthesis
A Time Evolution Approximation is a justified replacement of the exact propagator by a controlled series, splitting or effective generator with quantified error behavior and domain of validity, chosen to balance accuracy and computational or analytical tractability.