Quantum Quenches
A quantum quench is an initial-value protocol in which a control parameter, coupling, boundary condition, or Hamiltonian term is changed on a timescale short compared with the subsequent dynamics of interest. In the ideal sudden limit,
the state is continuous across the switch but is usually not stationary under the final Hamiltonian. The post-quench problem is therefore
where . All later dynamics follow from the triple
A quench is a protocol, not a conclusion. It need not produce relaxation, thermalization, entanglement, chaos, or even visible dynamics in a particular observable. Those outcomes depend on the state, the final generator, its conserved quantities, locality, dimensionality, system size, and the time window being examined.
Scope and Canonical Ownership
Section titled “Scope and Canonical Ownership”This page owns the basic many-body quench protocol:
- the ideal sudden Hamiltonian change and the post-quench state;
- global, local, homogeneous, inhomogeneous, and finite-duration quench classifications;
- the final-energy distribution and the scaling of injected energy;
- exact post-quench evolution of one-time observables;
- correlation-front and quasiparticle-pair interpretations;
- entanglement growth at the protocol level;
- the Loschmidt amplitude, echo, and rate-function preview;
- practical evidence and finite-size checks for quench studies.
Neighboring pages retain more specialized canonical roles:
- Sudden Approximation quantifies whether a finite ramp is actually sudden and gives state-specific error estimates.
- Time-Dependent Hamiltonians owns time ordering for a general drive.
- Time-Dependent Correlations owns general two-time correlators and stationary spectral representations.
- Real-Time Thermal Dynamics Preview owns the forward–backward contour formulation.
- Entanglement Entropy defines subsystem entropy, while Volume Laws owns its extensive late-time scaling.
- Work Distributions owns operational definitions of fluctuating quantum work.
- Lieb–Robinson Bound states the locality theorem behind effective causal cones.
Relaxation and Thermalization owns dephasing, equilibration bounds, local thermal criteria, constrained ensemble selection, and thermalization evidence. Subsequent pages own the eigenstate thermalization hypothesis, generalized Gibbs ensembles, many-body localization, prethermalization, chaos, scrambling, Loschmidt-rate dynamical phase transitions, and Floquet dynamics. Here those mechanisms appear only far enough to interpret the immediate quench problem.
The Protocol Ledger
Section titled “The Protocol Ledger”A reproducible quench statement should identify:
- the preparation of , including its temperature, symmetry sector, and correlation length when relevant;
- the full path , not only its endpoints;
- the switching time and the clock origin;
- whether the changed terms are global, local, or spatially varying;
- the final boundary conditions and conserved quantities;
- the observable, subsystem, or return quantity being measured;
- the limits in system size, subsystem size, and time.
A quench calculation begins with the switch and the final-energy weights, then separates local observables, correlations, entanglement, and return probabilities. These diagnostics can have different front velocities, relaxation scales, and finite-size behavior.
The word “sudden” is always relative to specified dynamics. A ramp can be sudden for a slow collective mode and non-sudden for high-energy local excitations. Likewise, a spatially uniform parameter change can be experimentally inhomogeneous because of trapping, beam profiles, or calibration gradients.
Ideal Sudden Change
Section titled “Ideal Sudden Change”State continuity
Section titled “State continuity”Let the switch occupy the interval . Its exact propagator is
In the ideal sudden limit, approaches the identity up to an irrelevant common phase on the relevant state support. Therefore
The equality means that the density operator is the same abstract operator immediately before and after the switch. It does not mean that its energy probabilities are unchanged. The spectral projectors have changed from those of to those of .
This continuity statement presupposes a common Hilbert space. If a geometry or ideal boundary quench changes operator domains or Hilbert-space realizations, one must specify an embedding or matching map before identifying the states at and . The Sudden Approximation develops that domain caveat.
For an initial ket ,
The ket is frozen during the ideal switch, then evolves with the final Hamiltonian.
A finite ramp is a different protocol
Section titled “A finite ramp is a different protocol”For nonzero ,
and transition amplitudes depend on the complete ramp shape. Merely writing discards information needed to reproduce the state. The Sudden Approximation gives useful criteria such as the smallness of the integrated nontrivial generator on the occupied subspace.
There is no universal scalar threshold of the form “ must be less than one second.” Relevant comparisons include
where is a declared energy scale, and state-specific transition amplitudes generated during the ramp. Near a continuous quantum critical point, low-energy timescales diverge, so a ramp that is slow microscopically can still be nonadiabatic for critical modes. That critical-ramp problem is not identical to an ideal sudden quench.
A quench is not an impulse kick
Section titled “A quench is not an impulse kick”An ideal parameter quench changes the generator and preserves the state across the switch:
An impulsive kick instead contributes a sharply localized Hamiltonian term whose time integral remains finite:
The kick produces the finite unitary
The two operations have opposite idealized state-continuity rules and should not be conflated.
Taxonomy of Quenches
Section titled “Taxonomy of Quenches”Global and local changes
Section titled “Global and local changes”Suppose a short-range lattice Hamiltonian is written as
where labels bounded-diameter supports. A global quench changes an extensive set of terms. A homogeneous coupling quench,
at every site or bond, is the standard example. A local quench changes only terms as the volume , such as:
- creating or removing one impurity;
- joining two chains at a bond;
- cutting one bond;
- changing a boundary field;
- adding one local potential.
The distinction concerns the support of , not the spatial extent of the later wavefunction. A local quench can generate a disturbance that spreads through the entire system at late times.
Homogeneous and inhomogeneous changes
Section titled “Homogeneous and inhomogeneous changes”A global quench can be spatially uniform,
or inhomogeneous,
Inhomogeneous protocols include domain-wall preparations, spatially varying fields, trap releases, expansion quenches, and joining reservoirs at different densities or temperatures. Translation invariance can no longer be assumed, and hydrodynamic profiles may be more informative than spatial averages.
State, interaction, field, and geometry quenches
Section titled “State, interaction, field, and geometry quenches”Common labels describe what changes:
| Quench type | Typical change | Immediate question |
|---|---|---|
| field quench | magnetic field or chemical potential | which final modes are populated? |
| interaction quench | interaction strength | how are correlations and quasiparticles generated? |
| hopping quench | tunneling amplitude or lattice depth | how do particles and correlations spread? |
| geometry quench | join, cut, release, or boundary change | how does a localized disturbance propagate? |
| disorder quench | random potential strength or realization | is transport suppressed or memory retained? |
| state quench | prepare a noneigenstate of a fixed | how does the chosen state relax under that ? |
A “state quench” is useful shorthand, but mathematically it is simply an unusual preparation followed by autonomous evolution. No Hamiltonian discontinuity is required at the chosen time origin.
Small and large quenches
Section titled “Small and large quenches”A small parameter change does not by itself imply linear response. The relevant expansion can fail because:
- the initial and final ground states become orthogonal as ;
- a gap closes;
- the perturbation acts for long times;
- the observable is singular in the thermodynamic limit;
- the change crosses a phase boundary.
Conversely, a large microscopic parameter change can produce simple dynamics when factorizes. “Small” should therefore identify the expansion parameter and the order of limits, not merely compare endpoint numbers.
The Post-Quench State in the Final Basis
Section titled “The Post-Quench State in the Final Basis”Let the final Hamiltonian have spectral resolution
where projects onto the full eigenspace of energy . Immediately after the ideal switch, the final-energy probabilities are
For a pure state and nondegenerate spectrum,
The post-quench state is not a probabilistic mixture merely because it has many energy components. It is the coherent superposition
Interference among these components drives time dependence.
Final energy and width
Section titled “Final energy and width”The first two final-energy moments are
and
These quantities answer different questions:
- locates the energy density that a candidate equilibrium ensemble would need to reproduce;
- sets the short-time decay scale of the survival probability for a pure state;
- the full distribution retains more information than either moment.
If is an eigenstate of with energy , the average energy injected by the ideal switch is
This is an average energy change. Calling it “work” requires an operational convention; quantum work is not represented by a universal Hermitian operator. The Work Distributions page supplies that measurement ledger.
Excess energy above the final ground state
Section titled “Excess energy above the final ground state”If is the final ground-state energy, define the excess energy
For a volume , the excess energy density is
A nonzero generally places the state at finite energy density in the final spectrum. It does not identify a temperature until an equilibrium equation of state and the relevant conserved quantities are specified.
Scaling distinguishes global and local quenches
Section titled “Scaling distinguishes global and local quenches”For bounded short-range terms and an initial eigenstate of , or more generally a state whose pre-quench energy width is negligible compared with the quench-generated width:
Thus a generic global quench from such a preparation has an extensive energy shift and a width , while its relative energy-density width shrinks as . A local quench injects only finite total energy and adds only an variance under the stated locality and clustering assumptions.
An initial Gibbs state already has an energy variance in an ordinary thermodynamic regime. A local switch does not remove that pre-existing width. In that setting one should compare the change in moments or cumulants, rather than label the total final variance .
These scalings require qualifications. Critical long-range correlations, long-range interactions, unbounded local terms, or specially prepared macroscopic superpositions can change the variance. The assumptions should be stated rather than hidden behind the word “generic.”
Symmetry-sector audit
Section titled “Symmetry-sector audit”If a charge commutes with ,
then the post-quench weights in its sectors are conserved. If the preparation lies in one sector,
the evolution never explores other sectors. Comparisons with random-matrix statistics, thermal ensembles, level spacings, or eigenstate expectation values must be performed within the same sector. Failing to resolve exact symmetries can manufacture apparent degeneracies and false nonthermal behavior.
Exact Evolution of Observables
Section titled “Exact Evolution of Observables”For a Schrödinger-picture observable without explicit time dependence,
Equivalently, in the final energy basis,
where
This exact expression separates three ingredients:
- preparation: the matrix elements ;
- spectrum: the final energy differences;
- probe: the matrix elements .
No statement about relaxation follows from the spectrum alone.
When nothing happens
Section titled “When nothing happens”If
then and every time-independent observable is stationary. This can occur even when . For example, if and share the prepared eigenstate, the parameter switch may change unoccupied energies without producing dynamics.
An individual observable is also constant whenever its expectation is protected, for example if
Visible quench dynamics therefore requires both a nonstationary preparation and a probe coupled to the evolving coherences.
Short-time expansion
Section titled “Short-time expansion”Expanding the Heisenberg operator gives
This provides an exact local audit:
- the first derivative vanishes if the first commutator has zero expectation;
- a flat initial slope does not imply a constant observable;
- nested commutators reveal how the support of a local operator grows.
For lattice Hamiltonians, each commutator can enlarge support only through terms overlapping the current support. This algebraic structure is the microscopic beginning of locality bounds.
Time averages and surviving coherence
Section titled “Time averages and surviving coherence”The infinite-time average of the density operator, when it exists in the finite system, is
Therefore
Coherences between distinct energies dephase in this average; coherences inside a degenerate eigenspace survive. Replacing the projectors by arbitrary one-dimensional eigenvectors can incorrectly erase physical coherence.
The time-averaged state is often called the diagonal ensemble in a nondegenerate energy basis. It is fixed by all final-energy weights and is not automatically Gibbsian. Whether few-body observables agree with a thermal or generalized ensemble is the subject of the later thermalization pages.
Relaxation is observable-dependent
Section titled “Relaxation is observable-dependent”In a finite isolated system, is a quasiperiodic sum of phases and generally has recurrences. Operational equilibration means that a chosen observable stays close to a reference value for most times in a declared window, with fluctuations shrinking appropriately as size grows. One should report:
its temporal variance, system-size dependence, and the time interval used. A smooth curve from one finite size is evidence of dephasing, not a proof of asymptotic thermalization.
Correlations After a Quench
Section titled “Correlations After a Quench”Connected changes isolate generated correlations
Section titled “Connected changes isolate generated correlations”For local operators and , define
If the initial state already contains correlations, the quench-generated change
is often more informative than the raw correlator. Otherwise an equilibrium background can be mistaken for propagation.
Unequal-time correlators,
contain additional response and spectral information. Their full conventions belong to Time-Dependent Correlations.
Rigorous locality and observed fronts
Section titled “Rigorous locality and observed fronts”For sufficiently local bounded lattice interactions, a Lieb–Robinson estimate has the schematic form
Outside the effective cone , influence is exponentially suppressed. The theorem does not imply:
- that every correlator has a sharp front;
- that the observed velocity equals ;
- that transport is ballistic;
- that long-range interactions obey the same linear cone;
- that correlations vanish exactly outside the cone.
Physical velocities can include quasiparticle group velocities, correlation velocities, sound velocities, diffusion scales, entanglement velocities, and butterfly velocities. They answer different questions.
The quasiparticle-pair picture
Section titled “The quasiparticle-pair picture”For many homogeneous global quenches in one-dimensional integrable systems, a useful semiclassical picture is:
- the initial state acts as a spatially distributed source of entangled quasiparticle pairs;
- partners with momenta and move with velocities and ;
- two separated points become correlated when partners emitted from a common region can reach them.
For separation , the fastest pair contribution arrives around
The factor of two reflects partners moving in opposite directions. It should not be inserted blindly into operator-spreading or local-perturbation problems, where the geometry is different.
The pair picture is a controlled organizing principle in free and integrable settings and can remain qualitatively useful elsewhere. It is not a universal microscopic derivation for interacting chaotic systems. Scattering, diffusion, bound states, multiple species, confinement, or broad fronts may alter it.
Local quenches launch disturbances
Section titled “Local quenches launch disturbances”A local change injects finite total energy near a region. The resulting density or correlation profile can contain:
- ballistic wavefronts carried by stable modes;
- dispersive broadening;
- diffusive conserved-density tails;
- bound-state oscillations near the defect;
- reflected and transmitted components at an interface.
Because the injected energy density vanishes as , a local quench does not generically prepare a spatially uniform finite-temperature state. Local observables far from the perturbation can remain near their original values until the disturbance arrives.
Entanglement Growth
Section titled “Entanglement Growth”Let the global post-quench state be pure and partition space into and its complement. The reduced state and von Neumann entropy are
Global unitarity preserves the entropy of the whole pure state, but interactions can redistribute quantum information so that grows.
Integrable quasiparticle formula
Section titled “Integrable quasiparticle formula”For an interval of length in a one-dimensional integrable system, the pair picture motivates
Here is the entropy weight carried by quasiparticle pairs of momentum , and is their group velocity. Equivalently,
The formula explains two broad features:
- early-time growth proportional to , while entangled partners increasingly straddle the boundary;
- saturation proportional to , once the finite interval is filled by contributing pairs.
Its assumptions matter. The entropy density and velocities depend on the initial state and final integrable model. Interacting nonintegrable systems can also exhibit linear entanglement growth, but not because a stable noninteracting pair formula is exact.
Entanglement growth is not energy transport
Section titled “Entanglement growth is not energy transport”Entanglement can spread ballistically while a conserved energy density relaxes diffusively. Conversely, a free product evolution can change local observables and make the global Loschmidt echo exponentially small without generating any spatial entanglement.
One must therefore avoid a single generic “information velocity.” At minimum distinguish:
for the locality bound, observed correlation front, entanglement growth, and operator front respectively. Equality can occur in special models but is not a definition.
Global and local quench scaling
Section titled “Global and local quench scaling”A generic global quench from a short-range-entangled state can produce a late-time volume law for a finite region:
The coefficient need not equal the thermodynamic entropy density if the system is integrable, constrained, localized, or not yet equilibrated. The canonical distinctions live on Volume Laws.
A local joining quench in a one-dimensional critical system can instead generate logarithmic growth. In a conformal regime, a standard joining geometry gives schematically
within its scaling window, with central charge and short-distance cutoff . This is not the generic law for every local quench.
Numerical consequence
Section titled “Numerical consequence”Matrix-product-state methods represent low-entanglement states efficiently. If the bipartite entropy grows approximately linearly,
then the required bond dimension often grows roughly as
Long-time real-time evolution can therefore become exponentially costly even in one dimension. Agreement at early times does not establish convergence at late times; bond dimension, truncation error, time step, and conserved quantities must be audited.
Loschmidt Amplitude and Return Probability
Section titled “Loschmidt Amplitude and Return Probability”For a pure initial state, the Loschmidt amplitude under the final Hamiltonian is
The return probability, often called the Loschmidt echo in the quench literature, is
In the final energy basis,
Thus is the characteristic function of the post-quench energy distribution, up to the choice of sign and whether the Fourier variable has units of time or inverse energy. It is sensitive to the full distribution .
Short-time decay
Section titled “Short-time decay”Expanding around gives
and therefore
The initial decay is quadratic, not exponential. Its scale is set by the final-energy uncertainty,
For a global quench with , this global overlap can decay on a size-dependent scale even while every local observable changes only modestly.
Intensive rate function
Section titled “Intensive rate function”Because many-body overlaps often scale exponentially with volume, define
This intensive rate can remain finite when is exponentially small. In some models, develops nonanalyticities at isolated critical times after the thermodynamic limit. These are called dynamical quantum phase transitions.
The qualification is essential:
- a small return probability is not itself a phase transition;
- a zero of a finite-size amplitude is not by itself thermodynamic criticality;
- nonanalyticity must be established by controlled size scaling;
- a return-rate singularity need not force a singularity in every local observable.
Loschmidt Echo and Dynamical Phase Transitions Preview owns the Fisher-zero construction, exact Ising-mode benchmark, finite-size evidence standards, and interpretation limits.
Terminology varies
Section titled “Terminology varies”In quantum-chaos and reversibility studies, “Loschmidt echo” often means sensitivity to imperfect reversal:
That quantity compares two evolutions. The quench return probability compares one evolved state with its initial state. A trustworthy paper or calculation writes the formula rather than relying on the shared name.
Mixed-state returns are not unique
Section titled “Mixed-state returns are not unique”For mixed , one can form an interferometric amplitude
but fidelity-based, purified, and interferometric return measures are inequivalent. No single mixed-state Loschmidt amplitude should be treated as automatic. The operational preparation and measurement protocol must choose the quantity.
Relation to Work Statistics
Section titled “Relation to Work Statistics”Suppose the system starts in a nondegenerate eigenstate of with energy , and final energy is measured after an ideal sudden switch. The two-projective-measurement distribution is
where
With the convention
one obtains
This relation is useful but conditional. Initial mixtures require the first energy measurement and its backaction to be included; coherent work definitions can differ. The quench energy distribution is a spectral property of , whereas a work distribution is tied to a declared operational scheme.
Worked Example: Independent-Spin Global Quench
Section titled “Worked Example: Independent-Spin Global Quench”Consider spins prepared in
then evolved with
All terms commute and the propagator factorizes:
For one spin,
Hence the longitudinal magnetization per site is
The Loschmidt quantities are
and the finite-size rate per spin is
The global return probability becomes exponentially small in at generic times, while remains an order-one coherent oscillation. Moreover,
remains a product state, so every spatial bipartite entanglement entropy is zero. This exact counterexample demonstrates:
- overlap decay does not imply local relaxation;
- a global quench does not necessarily create entanglement;
- zeros of a finite-size return amplitude do not establish generic thermalization;
- an extensive final-energy variance can coexist with factorized dynamics.
Indeed,
which reproduces the short-time echo expansion.
Worked Example: A Commuting Ising Entangler
Section titled “Worked Example: A Commuting Ising Entangler”Now prepare the -polarized product state
and quench to
All bond terms commute:
The evolution is a product of two-site phase gates,
For a bulk site with two neighbors,
Across a bipartition with a single bond crossing the cut, gates acting entirely within either side are local unitaries and do not change bipartite entropy. Only the crossing gate matters. Its two nonzero Schmidt probabilities are
Therefore
At
the cut entropy reaches . It later decreases because this integrable commuting model has exact revivals. The example separates interaction-generated entanglement from generic relaxation: the state entangles, but its dynamics remain highly structured and periodic.
Worked Example: Local Tight-Binding Release
Section titled “Worked Example: Local Tight-Binding Release”Consider one particle initially localized at site on an infinite chain,
with final Hamiltonian
The dispersion is
and the group velocity is
Thus
Fourier transformation gives the exact amplitude
where on the right is a Bessel function. The probability is
Most weight lies inside the ballistic region
with a dispersive front rather than a perfectly sharp edge. This is coherent single-particle spreading, not diffusion and not many-body thermalization. It is nevertheless an exact model of how a local disturbance can fill an expanding spatial region.
A Practical Quench Workflow
Section titled “A Practical Quench Workflow”Step 1: Define preparation and switch
Section titled “Step 1: Define preparation and switch”Record:
State whether is a ground state, eigenstate, Gibbs state, product state, domain wall, or experimentally reconstructed ensemble. Give boundary conditions, size, and symmetry sector.
Step 2: Compute conserved data
Section titled “Step 2: Compute conserved data”At minimum evaluate
for every known exact conserved charge . If a proposed comparison ensemble violates these values, it is excluded before any fitting.
Step 3: Choose probes with distinct meanings
Section titled “Step 3: Choose probes with distinct meanings”A useful set may include:
- one local observable;
- one conserved-density profile or current;
- one connected correlation function;
- one subsystem entropy or mutual information;
- one global return quantity.
Agreement among several probes is stronger than fitting one scalar. Disagreement is informative because different quantities can equilibrate on different timescales.
Step 4: Resolve time and length scales
Section titled “Step 4: Resolve time and length scales”Report the switching time, microscopic period, front-arrival time, relaxation window, boundary-reflection time, and recurrence scale when accessible. For a one-dimensional chain of length with characteristic front speed , open boundaries contaminate central dynamics after a time of order
up to preparation and probe geometry. Fits beyond that window need explicit finite-size modeling.
Step 5: Audit numerical convergence
Section titled “Step 5: Audit numerical convergence”For exact diagonalization:
- resolve every exact symmetry;
- compare several sizes and boundary conditions;
- separate infinite-time averages from finite-window averages;
- avoid interpreting recurrences as new phases.
For Krylov or product-formula evolution:
- reduce the time step or Krylov tolerance;
- monitor norm, energy, and exact charges;
- compare methods at representative times.
For matrix-product states:
- increase bond dimension;
- report discarded weight and entropy growth;
- compare one-site and two-site update conventions when relevant;
- stop claiming convergence when observables drift with .
Step 6: Match experimental observables
Section titled “Step 6: Match experimental observables”Experiments implement finite ramps, imperfect initial states, spatial averaging, detection noise, and sometimes weak environmental coupling. Theory–experiment comparisons should use:
- the measured ramp profile;
- the actual trap or boundary conditions;
- the same coarse graining and observable estimator;
- uncertainty in calibrated couplings;
- independently measured decoherence and loss scales.
An ideal closed-system quench can be an excellent model without being a literal description of every experimental time.
Interpreting Common Outcomes
Section titled “Interpreting Common Outcomes”- Damped local oscillations support dephasing or relaxation of that observable; alone they do not establish Gibbs thermalization.
- Stationary local values support equilibration in the tested window; alone they do not establish loss of all memory.
- A ballistic correlation front supports finite-speed propagating correlations; alone it does not establish ballistic conserved transport.
- Linear entropy growth supports rapid entanglement production; alone it does not establish chaos or ETH.
- A small Loschmidt echo supports global state distinguishability; alone it does not establish local thermal behavior.
- Agreement with a Gibbs value supports consistency for selected probes; alone it does not establish uniqueness of the ensemble.
- Persistent oscillations support stable modes, constraints, or finite-size coherence; alone they do not establish integrability.
- A late-time volume law supports extensive subsystem entropy; alone it does not identify that entropy as thermal.
The page Nonequilibrium Overview gives the full vocabulary for dephasing, relaxation, equilibration, thermalization, stationarity, prethermalization, and recurrence.
Common Mistakes
Section titled “Common Mistakes”- Treating a quench as a state collapse. An ideal Hamiltonian switch is unitary protocol control, not a measurement.
- Changing both Hamiltonian and state by hand. In the sudden limit, the state is continuous; its coordinates in the new energy basis change.
- Calling endpoint data a complete finite ramp. For , the path and time ordering matter.
- Assuming every global quench heats to infinite temperature. Energy is conserved after the switch, and additional charges may constrain the state.
- Equating energy injection with temperature. Temperature requires an equilibrium relation and an appropriate ensemble.
- Dropping degeneracies in the time average. Coherences within equal-energy subspaces survive.
- Calling dephasing thermalization. Phase cancellation can yield stationary observables without Gibbs statistics.
- Reading one velocity from every front. Correlation, transport, entanglement, and operator fronts are different diagnostics.
- Using the quasiparticle-pair picture as a theorem for all systems. Its controlled domain is narrower than its intuitive usefulness.
- Inferring chaos from linear entanglement growth. Integrable systems can have linear growth.
- Inferring thermalization from a small return probability. Global overlap and local reduced states scale differently.
- Declaring a dynamical phase transition from a finite-size zero. Thermodynamic-limit scaling is essential.
- Ignoring the initial correlation background. Plot when the state is already correlated.
- Comparing across symmetry sectors. The accessible final Hilbert space is fixed by conserved charges.
- Fitting after boundary reflections. The finite-size causal window must be identified first.
- Reporting only a visually smooth trace. Include errors, convergence, size scaling, and a comparison ensemble.
Exercises
Section titled “Exercises”1. State continuity and energy discontinuity
Section titled “1. State continuity and energy discontinuity”An initial pure state is an eigenstate of with energy . At , the Hamiltonian is ideally quenched to .
- Show that the state is continuous at .
- Show that the mean energy can jump.
- State a necessary and sufficient condition for the post-quench state to remain stationary.
Solution
In the ideal sudden limit, the propagator across the vanishing switch interval is the identity up to a common phase, so
The energy observable changes from to . Therefore
and the mean jump is
The pure-state density operator remains stationary precisely when
Equivalently, lies entirely in one eigenspace of . In a nondegenerate spectrum it must be a final energy eigenvector.
2. Spectral time average with degeneracy
Section titled “2. Spectral time average with degeneracy”Starting from
derive the infinite-time average in terms of the distinct-energy projectors . Explain why arbitrary basis dephasing inside a degenerate eigenspace is incorrect.
Solution
Insert
Then
The long-time average of a phase vanishes for and equals one for equal energies. Since labels distinct energies,
Vectors within the same degenerate eigenspace acquire the same phase. Their mutual coherence is therefore time independent and cannot be removed by time averaging. A basis-dependent one-dimensional “diagonalization” would erase this physical coherence.
3. Independent-spin return rate
Section titled “3. Independent-spin return rate”For the independent-spin quench above:
- compute ;
- expand through order ;
- verify agreement with the universal short-time formula;
- explain why as at generic fixed while the state remains unentangled.
Solution
Each spin has
Cross covariances vanish in the product state, so
From
and
one obtains
This equals
At generic fixed , the one-spin overlap magnitude is less than one, so its th power vanishes exponentially. Yet the propagator factorizes into one-spin unitaries, which cannot create entanglement from the initial product state.
4. Entanglement from one Ising bond
Section titled “4. Entanglement from one Ising bond”Apply
to . Derive the reduced-state eigenvalues and identify when the pair is maximally entangled.
Solution
In the basis,
Tracing out the second spin gives
Its eigenvalues are
They are both when , namely
The entropy is then .
5. Local versus global energy scaling
Section titled “5. Local versus global energy scaling”Let
where each . Bound the magnitude of the mean injected energy when:
- ;
- .
What extra assumption is needed to conclude that the variance is in the first case?
Solution
The triangle inequality gives
Thus the mean shift is at most for a global quench and for a local quench.
For the variance, write it as a sum of connected covariances of local terms. To obtain , one needs sufficient clustering or summability of those connected correlations. At a critical point, with long-range interactions, or in a macroscopic superposition, the covariance sum can scale faster.
6. Short-time Loschmidt law
Section titled “6. Short-time Loschmidt law”For a normalized pure state and time-independent , derive
Why is there no linear term?
Solution
The amplitude is
Multiplying by its complex conjugate yields
The linear phase cancels between and . More generally,
so the return probability is an even function of time whenever the expansion exists.
7. Single-speed quasiparticle model
Section titled “7. Single-speed quasiparticle model”Assume every entangled pair carries entropy weight density and moves with speed . Use the pair formula to find the time dependence for an interval of length .
Solution
If the momentum integral of the entropy weight is denoted by , then
Therefore
The crossover time is the time required for opposite-moving partners to span the interval. Real dispersions smooth the kink because different modes have different velocities.
8. Design an evidence ledger
Section titled “8. Design an evidence ledger”A simulation shows that one local density approaches the canonical-ensemble value after a global quench. List at least five additional checks needed before claiming thermalization.
Solution
A defensible ledger could include:
- verify conservation of final energy and all known exact charges;
- compare several system sizes within a pre-reflection time window;
- test additional local observables and connected correlations;
- compare temporal fluctuations with size;
- resolve symmetry sectors;
- compare with microcanonical as well as canonical predictions;
- vary the initial state while holding energy density and charges fixed;
- audit numerical time-step, truncation, and bond-dimension errors;
- rule out a long-lived prethermal plateau;
- report the order of the and limits.
Agreement of one observable is consistency evidence, not a mechanism.
References
Section titled “References”- A. Polkovnikov, K. Sengupta, A. Silva, and M. Vengalattore, “Colloquium: Nonequilibrium dynamics of closed interacting quantum systems,” Reviews of Modern Physics 83, 863–883 (2011). doi:10.1103/RevModPhys.83.863
- P. Calabrese and J. Cardy, “Evolution of entanglement entropy in one-dimensional systems,” Journal of Statistical Mechanics: Theory and Experiment 2005, P04010 (2005). doi:10.1088/1742-5468/2005/04/P04010
- P. Calabrese and J. Cardy, “Time dependence of correlation functions following a quantum quench,” Physical Review Letters 96, 136801 (2006). doi:10.1103/PhysRevLett.96.136801
- M. A. Cazalilla, “Effect of suddenly turning on interactions in the Luttinger model,” Physical Review Letters 97, 156403 (2006). doi:10.1103/PhysRevLett.97.156403
- P. Calabrese, F. H. L. Essler, and M. Fagotti, “Quantum quench in the transverse-field Ising chain,” Physical Review Letters 106, 227203 (2011). doi:10.1103/PhysRevLett.106.227203
- A. M. Läuchli and C. Kollath, “Spreading of correlations and entanglement after a quench in the one-dimensional Bose–Hubbard model,” Journal of Statistical Mechanics: Theory and Experiment 2008, P05018 (2008). doi:10.1088/1742-5468/2008/05/P05018
- S. Bravyi, M. B. Hastings, and F. Verstraete, “Lieb–Robinson bounds and the generation of correlations and topological quantum order,” Physical Review Letters 97, 050401 (2006). doi:10.1103/PhysRevLett.97.050401
- J. Eisert and T. J. Osborne, “General entanglement scaling laws from time evolution,” Physical Review Letters 97, 150404 (2006). doi:10.1103/PhysRevLett.97.150404
- M. Cheneau et al., “Light-cone-like spreading of correlations in a quantum many-body system,” Nature 481, 484–487 (2012). doi:10.1038/nature10748
- S. Trotzky et al., “Probing the relaxation towards equilibrium in an isolated strongly correlated one-dimensional Bose gas,” Nature Physics 8, 325–330 (2012). doi:10.1038/nphys2232
- T. Kinoshita, T. Wenger, and D. S. Weiss, “A quantum Newton’s cradle,” Nature 440, 900–903 (2006). doi:10.1038/nature04693
- M. Rigol, V. Dunjko, and M. Olshanii, “Thermalization and its mechanism for generic isolated quantum systems,” Nature 452, 854–858 (2008). doi:10.1038/nature06838
- M. Gring et al., “Relaxation and prethermalization in an isolated quantum system,” Science 337, 1318–1322 (2012). doi:10.1126/science.1224953
- A. M. Kaufman et al., “Quantum thermalization through entanglement in an isolated many-body system,” Science 353, 794–800 (2016). doi:10.1126/science.aaf6725
- A. Silva, “Statistics of the work done on a quantum critical system by quenching a control parameter,” Physical Review Letters 101, 120603 (2008). doi:10.1103/PhysRevLett.101.120603
- M. Heyl, A. Polkovnikov, and S. Kehrein, “Dynamical quantum phase transitions in the transverse-field Ising model,” Physical Review Letters 110, 135704 (2013). doi:10.1103/PhysRevLett.110.135704
- M. Heyl, “Dynamical quantum phase transitions: a review,” Reports on Progress in Physics 81, 054001 (2018). doi:10.1088/1361-6633/aaaf9a
- H. Kim and D. A. Huse, “Ballistic spreading of entanglement in a diffusive nonintegrable system,” Physical Review Letters 111, 127205 (2013). doi:10.1103/PhysRevLett.111.127205
- V. Alba and P. Calabrese, “Entanglement and thermodynamics after a quantum quench in integrable systems,” Proceedings of the National Academy of Sciences 114, 7947–7951 (2017). doi:10.1073/pnas.1703516114
- U. Schollwöck, “The density-matrix renormalization group in the age of matrix product states,” Annals of Physics 326, 96–192 (2011). doi:10.1016/j.aop.2010.09.012
- S. R. White and A. E. Feiguin, “Real-time evolution using the density matrix renormalization group,” Physical Review Letters 93, 076401 (2004). doi:10.1103/PhysRevLett.93.076401
- A. J. Daley, C. Kollath, U. Schollwöck, and G. Vidal, “Time-dependent density-matrix renormalization-group using adaptive effective Hilbert spaces,” Journal of Statistical Mechanics: Theory and Experiment 2004, P04005 (2004). doi:10.1088/1742-5468/2004/04/P04005
- L. D’Alessio, Y. Kafri, A. Polkovnikov, and M. Rigol, “From quantum chaos and eigenstate thermalization to statistical mechanics and thermodynamics,” Advances in Physics 65, 239–362 (2016). doi:10.1080/00018732.2016.1198134
- L. Vidmar and M. Rigol, “Generalized Gibbs ensemble in integrable lattice models,” Journal of Statistical Mechanics: Theory and Experiment 2016, 064007 (2016). doi:10.1088/1742-5468/2016/06/064007
Further Connections
Section titled “Further Connections”- Nonequilibrium Overview — the operational distinctions among dephasing, equilibration, and thermalization.
- Transverse-Field Ising Model — the standard exactly solvable global-quench benchmark.
- Bose–Hubbard Model — interaction quenches, Mott initial states, and experimentally observed correlation fronts.
- Time-Dependent Correlations — two-time functions, spectra, and nonequilibrium stationarity.
- Many-Body Entanglement Overview — subsystem, state-class, and measure conventions.
- Thermal Entropy versus Entanglement Entropy — why local thermal behavior is compatible with global purity.
- Operator Entanglement and Scrambling Preview — operator fronts and out-of-time-order diagnostics.
- Loschmidt Echo and Dynamical Phase Transitions Preview — Fisher zeros, thermodynamic return-rate singularities, and finite-size evidence.
- Thermodynamic Limit — the size limits behind rate functions and recurrences.
- Quenches — the quantum-matter bridge for switch waveforms, selective suddenness, excluded-band controls, platform observables, and pump–probe interpretation.
Summary
Section titled “Summary”A quantum quench freezes the state during an ideal abrupt switch and then evolves that state under a new Hamiltonian. Its essential data are the preparation, final generator, switching protocol, probes, and limits.
The final-energy weights determine energy moments and the Loschmidt amplitude; final-energy coherences determine observable time dependence. Global and local quenches differ sharply in injected-energy scaling. Locality constrains spreading, but observed correlation, transport, entanglement, and operator velocities need not coincide.
Entanglement can grow without thermalization, local observables can oscillate while the global return probability vanishes exponentially with size, and finite systems can recur. Reliable conclusions therefore come from a ledger of conserved quantities, multiple diagnostics, finite-size and time-window controls, and numerical or experimental error analysis.