Loschmidt Echo and Dynamical Phase Transitions Preview
Prepare a normalized pure state , evolve it with a time-independent many-body Hamiltonian , and ask for the amplitude to return to the initial state:
Its squared magnitude,
is the return probability. In quench studies it is often called a Loschmidt echo. If is the number of sites, particles at fixed density, or another extensive size variable, the corresponding return-rate density is
A Loschmidt-rate dynamical quantum phase transition occurs at a real critical time when the thermodynamic-limit rate
is nonanalytic at . The order of operations is part of the definition: take the logarithm, divide by the extensive size, take the thermodynamic limit, and only then test analyticity in time.
This is a precise notion of nonequilibrium criticality. It is not a claim that the state becomes thermal, that an equilibrium phase boundary has been crossed, that a local order parameter must be singular, or that a finite system literally changes phase.
Helpful background. Quantum quenches supplies the preparation and final-energy probabilities; the thermodynamic limit explains why the order of limits matters.
The main setting is a pure initial state, a finite-range or otherwise thermodynamically well-scaled lattice Hamiltonian, and closed unitary evolution. Mixed-state and open-system returns require a separately specified experiment and definition.
Return Probabilities and Reversal Echoes
Section titled “Return Probabilities and Reversal Echoes”The phrase “Loschmidt echo” is used for several inequivalent quantities.
| Name | Formula | Question |
|---|---|---|
| Return amplitude | What is the complex amplitude to return after one evolution? | |
| Return probability | What is the probability of projecting back onto the initial state? | |
| Imperfect-reversal echo | How sensitive is reversal to a perturbation? | |
| State fidelity | How close are two states under a declared fidelity convention? | |
| Ground-manifold return | What is the probability to return to a degenerate reference manifold? |
The first two are central here. The imperfect-reversal echo is central in quantum-chaos, decoherence, and control studies. These quantities coincide only in special protocols.
The phrase “dynamical phase transition” also has several meanings. A common modern distinction is:
- DPT-I: a nonanalytic change, as a Hamiltonian or energy parameter is varied, in a long-time order parameter or stationary dynamical regime;
- DPT-II: a nonanalyticity in a Loschmidt return-rate density as real time is varied.
This page uses DQPT for the DPT-II, Loschmidt-rate notion unless explicitly stated otherwise. Usage varies between papers, so read the definition as well as the label.
Spectral Representation
Section titled “Spectral Representation”Let
and expand
Then
Thus the return amplitude is the characteristic function of the final-energy probability distribution. It depends on the diagonal weights , not on relative phases among the in this energy basis. By contrast, a generic observable
also depends on energy-basis coherences and on the matrix elements of . This already explains why a return-rate singularity need not appear in every local observable.
Energy-origin invariance
Section titled “Energy-origin invariance”Changing the energy zero by
gives
Therefore and are unchanged. The complex phase of depends on the energy origin, but its zeros and squared magnitude do not.
Short-time baseline
Section titled “Short-time baseline”For finite-dimensional systems, the cumulant expansion begins as
Consequently,
For unbounded Hamiltonians, this expansion requires the corresponding finite energy moments; the stated fourth-order remainder needs a finite fourth moment. For a state with an extensive energy variance, the intensive rate has a finite quadratic onset. A fitted cusp at times comparable to the sampling interval must first be distinguished from this analytic short-time law.
Why an Intensive Logarithm Is Needed
Section titled “Why an Intensive Logarithm Is Needed”For many global quenches,
over a suitable thermodynamic time window. The raw overlap is then exponentially small even when is ordinary and smooth. Dividing its logarithm by extracts an intensive object, just as an equilibrium free-energy density extracts the extensive logarithm of a partition function.
The analogy has limits:
- is generally complex, whereas an equilibrium partition function at real positive inverse temperature is positive;
- the initial state acts as a temporal boundary condition;
- time is not temperature;
- is a global large-deviation quantity, not an equilibrium thermodynamic potential;
- its singularities need not organize local static correlations in the same way as an equilibrium critical point.
The analogy is mathematically productive precisely when these differences remain visible.
Complex Time and the Boundary Partition Function
Section titled “Complex Time and the Boundary Partition Function”Introduce a complex variable with units of inverse energy:
Physical real-time evolution lies on the imaginary- axis:
For a finite-dimensional lattice system, is an entire function because it is a finite sum of exponentials. Define a complex boundary free-energy density on any zero-free patch by
The logarithm requires a branch choice, but its real part on the physical line is unambiguous:
For unbounded continuum Hamiltonians, convergence and domain questions must be checked before calling entire. The finite-lattice construction is the clean reference case.
Fisher zeros
Section titled “Fisher zeros”The zeros
are called Fisher zeros by analogy with zeros of equilibrium partition functions in a complex temperature-like variable. At finite , they are isolated, possibly with multiplicity: an entire function with cannot have an accumulation of zeros at a finite complex point. As grows, they can become dense on curves or regions.
A DQPT can occur when the thermodynamic accumulation set reaches the physical axis. Schematically,
The zeros must contribute at the extensive scale of : an approaching zero carried by only a subextensive subsystem does not by itself produce a nonzero singularity in the volume-normalized rate. Analyze the limiting zero density or competing extensive branches, as in the examples below.
What finite-size zeros establish
Section titled “What finite-size zeros establish”Several cautions matter:
- An exact zero can occur in a finite quantum system. That fact alone does not establish thermodynamic criticality.
- A finite-size rate may be smooth because the nearest zero remains off the physical axis; its sharpening with size can still anticipate a DQPT.
- A sharp analytic peak can arise when a zero line passes close to, but does not reach, the physical axis.
- The thermodynamic singularity can be expressed as a crossing of dominant transfer-matrix branches even when directly locating every zero is impractical.
- Experimental noise can prevent an observed probability from reaching zero while leaving a resolvable finite-size precursor.
The question is whether the singularity survives in the intensive thermodynamic limit.
Order of Limits
Section titled “Order of Limits”For fixed finite , unitary dynamics is quasiperiodic when the spectrum is discrete. Recurrences are expected, and is analytic in even though it may have isolated real zeros. A thermodynamic DQPT instead concerns
at fixed physical time.
The following operations need not commute:
Taking first at finite size probes recurrences and time averages. Taking first can produce branch competition and real-time nonanalyticity. Convolving with finite time resolution before taking a derivative rounds a cusp. Removing noise after taking a logarithm can be singular if the inferred probability has crossed zero or a background floor.
A One-Qubit Zero Is Not a Phase Transition
Section titled “A One-Qubit Zero Is Not a Phase Transition”Take and
Then
The return probability vanishes at
This is exact destructive interference in a two-dimensional Hilbert space. There is no thermodynamic limit and therefore no many-body phase transition.
Now take independent copies:
Factorization gives
and
This thermodynamic rate is singular at the same times, even though the system is noninteracting and never entangles. The example is deliberately austere: a Loschmidt-rate DQPT does not by itself imply interactions, chaos, transport, thermalization, or spatial entanglement.
Exact Benchmark: Transverse-Field Ising Chain
Section titled “Exact Benchmark: Transverse-Field Ising Chain”Consider the periodic one-dimensional model
The infinite chain has equilibrium quantum critical points at . For positive field, the familiar ordered-to-paramagnetic transition is at . The canonical model conventions, parity sectors, and finite-size subtleties are developed in Transverse-Field Ising Model.
Take even and prepare the even spin-parity ground state at , then quench to . The even sector has antiperiodic fermion momenta ; use its positive half below. Choosing a symmetry-broken state or another parity sector requires the corresponding boundary conditions and return definition. A Jordan–Wigner transformation, Fourier transform, and Bogoliubov rotation reduce the even-parity problem to independent momentum pairs. The positive quasiparticle energy is
It is useful to define the normalized pseudospin direction
The probability that the final sector is in its excited pair state is
Up to a nonzero analytic phase, the many-body return amplitude factorizes as
The symbol indicates equality up to an overall phase that does not affect zeros or the return probability.
Mode-resolved return probability
Section titled “Mode-resolved return probability”For each momentum pair,
where . The thermodynamic rate is therefore
This formula displays the mechanism directly. A mode can become orthogonal to its initial state only if both conditions hold:
The first condition says that the quench populates the final two-level sector equally. The second says that its two amplitudes have accumulated a relative phase of .
Critical momentum
Section titled “Critical momentum”The equal-population condition is
For the Ising chain this becomes
When and both pseudospin directions are defined,
For , a real exists for a generic quench across . This is the model-specific origin of the close relation between equilibrium and dynamical criticality in the original Ising-chain construction.
Critical times
Section titled “Critical times”At the critical times are
The spacing is set by the post-quench energy of the critical mode, not directly by the equilibrium gap at .
Fisher-zero lines
Section titled “Fisher-zero lines”For complex , a mode factor vanishes when
One convenient labeling of the zeros is
This expression assumes and ; at or the mode factor has no finite zero. As becomes continuous, these points form Fisher-zero lines. They cross the imaginary axis exactly when . Substituting then reproduces .
Why a cusp appears
Section titled “Why a cusp appears”Near a simple critical mode and critical time, let
After shifting to remove a mixed term, the argument of the logarithm has the generic local form
The singular part of the one-dimensional momentum integral is therefore controlled by
Relative to its value at , this contributes
Thus a simple Fisher-line crossing produces a linear kink in one dimension. Other dimensions, dispersions, zero manifolds, and branch structures can produce different singular forms. The word “cusp” should not be promoted to a universal exponent without deriving the local zero geometry.
Finite-size momentum grids
Section titled “Finite-size momentum grids”At finite , allowed momenta depend on fermion parity and spin boundary conditions. The continuum value is generally absent from the grid. Then remains nonzero near and is rounded. Its width narrows as the nearest allowed momentum approaches .
Occasionally is exactly allowed, producing a real zero even at finite size. That arithmetic accident does not remove the need to compare size sequences and sectors. Boundary-condition averaging can help diagnose momentum-grid effects, but it must not be used to manufacture a smoother extrapolation without reporting the individual sectors.
What the Ising Result Does Not Generalize
Section titled “What the Ising Result Does Not Generalize”The Ising-chain criterion is exact and illuminating, but several features are not universal:
- a quench across an equilibrium critical point need not produce a DQPT;
- a DQPT can occur for a quench whose endpoints lie in the same equilibrium phase;
- interacting and nonintegrable systems need not admit momentum-factorized amplitudes;
- critical times need not be periodic;
- a singularity need not come from one isolated quasiparticle momentum;
- a local order parameter need not vanish at a DQPT;
- finite temperature and dissipation do not have a unique extension of the pure-state definition.
Analyses of the XY and XXZ chains provide explicit counterexamples to a one-to-one equilibrium–dynamical correspondence. In transfer-matrix language, a nonanalyticity can appear when two leading boundary-transfer eigenvalues exchange dominance, regardless of whether the quench path crossed an equilibrium phase boundary.
Competing Exponential Branches
Section titled “Competing Exponential Branches”Choose an orthonormal set of reference states spanning the ordered-state manifold of interest. In a finite system, symmetry-broken states need not be exactly degenerate energy eigenstates; specify the chosen reference subspace explicitly. A physically natural return probability is
If each contribution has large-deviation form
and the number of contributing branches is finite (or grows subexponentially, with uniform control of their rates), then
If exponentially many branches contribute, their multiplicity can change the rate and cannot be discarded. For a finite family, the minimum of two analytic branches can have a cusp where their values cross. In a -broken system, that crossing may coincide with a switch between positive- and negative-magnetization return sectors.
This mechanism was used in trapped-ion experiments: the two ferromagnetic reference probabilities were measured separately, and their branch exchange sharpened with size. The relation to magnetization is physically meaningful in that symmetry setting, but it is not a universal theorem for arbitrary DQPTs.
Branch crossings and finite systems
Section titled “Branch crossings and finite systems”For finite ,
is smooth when both probabilities are positive. Near the crossing, the rounding width is typically of order if the branch slopes differ. Replacing the sum by can expose the limiting kink in a small system, but this replacement is an asymptotic inference, not the measured finite-size rate itself.
Worked example: two product-state returns
Section titled “Worked example: two product-state returns”Return to the independent-spin Hamiltonian above and set . Measure the subspace spanned by and . The two probabilities and their total are
For , the finite-size rate is smooth on . Its limit is
The cusp at has height , whereas the finite-size value there is . This is a return to a two-state subspace, distinct from returning to the initial vector alone. The example requires no interactions or entanglement.
For independent spins, the branches and cross at . Summing the two probabilities before taking the logarithm rounds the crossing at finite . The lower panel compares the actual rates for with their thermodynamic limit.
Boundary Transfer Matrices
Section titled “Boundary Transfer Matrices”In one-dimensional tensor-network formulations, the return amplitude often takes the asymptotic form
where are eigenvalues of a boundary transfer operator for one site. If the largest-magnitude eigenvalue is unique and its boundary coefficient is nonzero and not exponentially small in , it controls the rate:
If
and the dominant branch changes at , the limiting rate can become nonanalytic. This is the dynamical counterpart of competing free-energy branches.
For a transfer operator advancing sites, use powers and divide the displayed logarithm by . At a tie between complex leading eigenvalues, cancellation can occur for particular size sequences; check that the thermodynamic limit exists instead of replacing a coherent sum by its largest magnitude without qualification.
The transfer-matrix picture is especially useful for interacting chains because it does not require free quasiparticles. It also supplies a practical diagnostic: compare the leading complex eigenvalues, their magnitudes, and their convergence with bond dimension and time step.
Relation to Quantum Work
Section titled “Relation to Quantum Work”Use the positive-sign characteristic function , where has units of time. For a sudden quench with no intervening evolution and an initial state diagonal in , the two-projective-measurement protocol gives
For ,
Indeed, each final-energy probability now carries the phase , so the inverse transform is
The shift converts final energy to work, . The sign reversal reflects complex-time zeros; it leaves real-time zero locations paired at and preserves the return probability. A convention with is equally valid but requires the opposite inverse-transform sign.
For a mixed initial state, the initial energy distribution must remain in the two-measurement formula. For an initially coherent state, the first measurement changes that state. Neither situation justifies replacing the work characteristic function with . See work distributions for the complete operational definition.
Equilibrium Criticality: Relation without Equivalence
Section titled “Equilibrium Criticality: Relation without Equivalence”The resemblance between
and
motivates the Fisher-zero construction, but the two objects have different boundary data. A useful comparison is:
| Equilibrium transition | Loschmidt-rate DQPT |
|---|---|
| vary temperature or coupling | vary real time after a declared preparation |
| thermal trace or ground-state energy | boundary amplitude fixed by |
| nonanalytic thermodynamic potential | nonanalytic return-rate density |
| thermodynamic state changes across control value | one state follows one unitary orbit |
| local order and correlations may have universal scaling | local signatures are model- and protocol-dependent |
In the nearest-neighbor Ising-chain ground-state quench, crossing the equilibrium critical point produces an equal-population mode and hence DQPTs. In other models, the geometry of initial-state overlaps with final eigenvectors can permit or forbid Fisher-axis crossings independently of equilibrium phase labels.
The reliable statement is therefore conditional:
Equilibrium critical structure can constrain DQPTs in specific symmetry classes and protocols, but a DQPT is not a generic detector of equilibrium phase boundaries.
Order Parameters and Local Observables
Section titled “Order Parameters and Local Observables”A Loschmidt amplitude compares two vectors in the full Hilbert space. A local observable probes a reduced amount of information. Their thermodynamic scalings are different.
For a local operator with bounded support , it is possible that
is smooth at while has a cusp. Conversely, a long-time order parameter can change nonanalytically as a Hamiltonian parameter is varied even if the Loschmidt rate has no real-time singularity.
Connections do occur in controlled settings:
- symmetry-manifold branch crossings can coincide with an order-parameter sign change;
- scaling near some DQPT fixed points can appear in correlation functions;
- momentum-resolved zeros can organize dynamical vortices in two-band systems;
- anomalous and regular cusp sequences in long-range Ising models can correlate with distinct order-parameter regimes.
Each connection requires its own assumptions. A magnetization zero near a return-rate peak is a useful comparison, but the rate-function limit must be checked separately.
Dynamical Topological Order Parameters
Section titled “Dynamical Topological Order Parameters”For a translationally invariant two-band or Bogoliubov–de Gennes system, the return amplitude can factorize over momenta:
Separate the phase into dynamical and geometric parts:
with
When the endpoint geometric phases agree modulo , and the amplitude is nonzero along the momentum interval at the time considered, one can define a winding
At a critical mode where , its phase is undefined and can jump by an integer. This is a dynamical topological order parameter.
The construction is powerful but not universal:
- it assumes a momentum-resolved factorization or an appropriate generalization;
- quantization depends on symmetries and endpoint conditions;
- it is distinct from the conserved topology of the instantaneously evolved many-body wavefunction;
- a DTOP jump does not imply that every equilibrium topological invariant changed;
- disorder, interactions, degeneracies, and mixed states require additional definitions.
Momentum-space tomography in cold-atom two-band systems has visualized phase vortices associated with such critical modes. Those vortices reveal the mode-resolved phase structure in that setting; a generic interacting spin system requires a different measurement protocol.
Interactions, Integrability, and Chaos
Section titled “Interactions, Integrability, and Chaos”DQPTs occur in free, integrable, nonintegrable, and even product systems. Therefore:
and
Likewise, neither ETH nor level repulsion guarantees a Loschmidt-rate cusp. The return amplitude depends on a particular initial-state energy distribution and on coherent phase cancellation. Spectral statistics alone do not determine that distribution.
Weak integrability-breaking perturbations can shift or deform critical times and may preserve early DQPTs over accessible windows. At longer times, new branch crossings or rounded structures can appear. A claim of robustness should specify:
- the perturbation family;
- how its norm scales with ;
- the time interval tested;
- whether the thermodynamic limit was direct or extrapolated;
- which cusp property remained stable.
The same caution applies to long-range interactions. Kac normalization, interaction exponent, finite-size geometry, and order of limits can alter both equilibrium extensivity and dynamical branch structure.
Orthogonality Catastrophe and Local Quenches
Section titled “Orthogonality Catastrophe and Local Quenches”The Anderson orthogonality catastrophe concerns the vanishing overlap of many-body ground states under a local perturbation as system size grows. A Loschmidt amplitude is instead time dependent and compares an initial state with its evolved image. The two ideas meet in local-quench problems, where boundary field theory and work-edge singularities can govern power-law decay.
For a local quench, however, the natural scaling may be subextensive:
Then the volume-normalized rate satisfies
even though the overlap has nontrivial time dependence. One should choose the normalization dictated by the perturbation geometry rather than forcing every echo into a bulk DQPT framework.
Recurrences and Long Times
Section titled “Recurrences and Long Times”Finite isolated systems recur. A near-unity return at a late time does not invalidate earlier dephasing, and a sequence of small returns does not prove irreversibility.
At fixed physical time, compare sizes for which recurrences, boundary reflections, numerical truncation, and experimental decoherence do not dominate. A DQPT may occur on a microscopic time scale; no general condition belongs in its definition. DQPT critical times should be shown to stabilize inside a growing pre-recurrence window as increases.
Periodic critical times in an exactly factorized model are not generic recurrences of the full state. They arise from repeated destructive interference of a critical sector. Conversely, a finite-size revival peak can occur without any thermodynamic nonanalyticity.
Mixed States and Finite Temperature
Section titled “Mixed States and Finite Temperature”For an initial density operator , several plausible quantities coexist.
An interferometric amplitude is
A fidelity return is
with the squared Uhlmann-fidelity convention. Purification-based amplitudes, interferometric phases, and work-characteristic functions provide still other choices.
They agree in selected pure-state limits but differ at finite temperature. As a result, statements such as “temperature destroys the DQPT” or “the DQPT survives at finite temperature” are incomplete unless the return definition, preparation, and measured protocol are stated.
For example, remains unchanged under , so its fidelity return is always one. Yet has zeros. Their disagreement is a difference between two experiments, not an ambiguity in computing the same quantity.
Open-System Extensions
Section titled “Open-System Extensions”Under a quantum channel , one might study
a survival probability, a purification overlap, a trajectory generating function, or the spectrum of a tilted generator. These probe different physics.
Open-system dynamical phase transitions can also refer to:
- nonanalytic steady states of a Lindbladian;
- closing of a Liouvillian spectral gap;
- trajectory-space large-deviation transitions;
- exceptional points;
- transient singularities in a chosen generalized return.
None is automatically the closed pure-state DQPT defined at the start of this page. Cross-pollination is useful, but shared vocabulary is not equivalence.
Experimental Access
Section titled “Experimental Access”No single measurement architecture is optimal for every system.
Direct projective return
Section titled “Direct projective return”Prepare , evolve, and measure the projector
Then
For a computational-basis product state, this may be one bit-string probability. For a degenerate reference manifold, sum the probabilities of the declared basis states.
The difficulty is sampling. If
then a Bernoulli estimator from repetitions has relative uncertainty approximately
when . Fixed relative precision therefore requires exponentially many shots in the worst case.
Ancilla interferometry
Section titled “Ancilla interferometry”A controlled evolution can encode
in an ancilla’s coherences. This gives phase information and can connect directly to work-characteristic measurements. Its cost is a controlled many-body evolution, plus careful calibration of ancilla dephasing and control phases.
Momentum-resolved tomography
Section titled “Momentum-resolved tomography”For factorized two-band systems, Bloch-vector tomography gives the state ray and the magnitude of its overlap with the initial ray. An instantaneous Bloch vector does not determine the overall complex amplitude phase. Extracting geometric phases or dynamical vortices also needs a time-resolved path and the appropriate phase reference or known Hamiltonian evolution. This can locate critical modes without measuring an exponentially small full many-body probability. It depends strongly on translational invariance and an effectively Gaussian mode description.
Tensor-network and quantum-circuit transfer matrices
Section titled “Tensor-network and quantum-circuit transfer matrices”Infinite matrix product states can represent the thermodynamic state directly. Classical or quantum circuits can estimate a dominant transfer eigenvalue rather than a finite-chain overlap. This trades finite-size extrapolation for ansatz, bond-dimension, optimizer, sampling, and device-noise checks.
The experiments of Jurcevic and collaborators (2017) measured the two ferromagnetic return probabilities in an interacting trapped-ion chain. Fläschner and collaborators (2018) used momentum-resolved tomography in a two-band optical-lattice system. Dborin and collaborators (2022) estimated a transfer-matrix quantity on a superconducting processor. These illustrate three different return measurements; each needs its own finite-size or approximation analysis.
Noise, Resolution, and Background Floors
Section titled “Noise, Resolution, and Background Floors”Suppose the measured probability is
where is a background and summarizes preparation, measurement, or decoherence error. Near a deep minimum, even small can dominate. Taking a logarithm produces
so subtracting a background after the logarithm is not equivalent to correcting probabilities before it.
Finite time resolution convolves the probability or signal with an instrument response. A cusp in the limiting rate can become a smooth peak. A credible analysis reports:
- the raw count model;
- SPAM calibration and uncertainty;
- the time-response function;
- whether corrections were applied before or after logarithms;
- sensitivity to background priors;
- bootstrap or likelihood intervals for ;
- the size range over which the inferred sharpening persists.
Testing the Thermodynamic Limit
Section titled “Testing the Thermodynamic Limit”A sharp curve at one size does not determine the thermodynamic limit.
Rate-function sequence
Section titled “Rate-function sequence”Plot
for several sizes with the same Hamiltonian normalization, boundary family, and time units. Track:
- pseudocritical time ;
- peak or kink width ;
- left and right local slopes;
- minimum return probability;
- sensitivity to interpolation and smoothing;
- recurrence and boundary-reflection times.
The limiting claim is strengthened when converges, shrinks, and the slope discontinuity stabilizes before recurrences.
Complex-zero sequence
Section titled “Complex-zero sequence”When complex-time evaluation is available, locate the nearest zero and test
The distance to the physical axis is often a cleaner rounding diagnostic than the height of a real-time peak. Numerical analytic continuation is ill-conditioned, however; directly evaluating is preferable to continuing noisy real-time data.
Branch-spectrum sequence
Section titled “Branch-spectrum sequence”For transfer-matrix methods, compare
Track the same two branches continuously rather than relabeling them by magnitude at each time. A stable sign change of at increasing bond dimension supports branch exchange. Convergence of the rate alone can hide a poorly resolved subleading spectrum.
Choosing a finite-size fit
Section titled “Choosing a finite-size fit”A fit such as
is a hypothesis, not a definition. The exponent depends on geometry, boundaries, and the singular mechanism. Report alternative fit windows and corrections rather than assigning an equilibrium critical exponent by analogy.
Numerical Methods
Section titled “Numerical Methods”Exact diagonalization
Section titled “Exact diagonalization”Given final eigenpairs,
Use symmetry blocks to organize the calculation while preserving the prepared state. An initial state can physically occupy several sectors. If is its weight in sector and the amplitude of its normalized sector component, then : add amplitudes before squaring. Projecting onto one sector or summing sector return probabilities instead changes the experiment.
For larger sparse systems, Krylov propagation can compute
and then its overlap with without diagonalizing the full Hamiltonian.
Free-fermion determinants
Section titled “Free-fermion determinants”Gaussian states permit determinant, Pfaffian, or mode-product formulas. These are efficient but convention-sensitive. Check:
- Nambu doubling;
- occupied versus empty mode conventions;
- the factor of two in pair energies;
- fermion-parity sectors;
- branch choices for determinant logarithms;
- momenta at and .
Compute as a sum of mode logarithms to avoid underflow.
Tensor-network evolution
Section titled “Tensor-network evolution”Matrix product states can reach the thermodynamic limit directly or evolve long finite chains. Report:
- bond dimension and truncation threshold;
- time step and integrator;
- energy and norm drift;
- convergence of and transfer eigenvalues;
- whether entanglement growth ends the reliable window before or after .
If a sharp feature appears only when the bond dimension saturates, increase that dimension and verify that the feature remains before interpreting it physically.
Complex-time calculations
Section titled “Complex-time calculations”Imaginary components of generate unitary evolution; real components generate nonunitary filtering. Tensor norms can become extremely ill-conditioned. Stabilized transfer matrices, arbitrary precision, or direct root tracking may be required.
Never infer Fisher zeros by applying an unconstrained high-order analytic continuation to noisy sampled data without stability tests. Many distinct analytic functions agree within real-axis error bars and disagree dramatically off axis.
Exercises
Section titled “Exercises”1. Invariance under an energy shift
Section titled “1. Invariance under an energy shift”Let
Show that differs from only by a phase. Which DQPT data are invariant?
Solution
Because the identity commutes with ,
Hence
The return probability, rate function, real critical times, and complex zeros are unchanged because the multiplying exponential is never zero. The absolute phase of the amplitude changes and therefore requires a declared energy origin in an interferometric measurement.
2. Independent-spin return rate
Section titled “2. Independent-spin return rate”For
and , derive and . Explain why its singularities do not diagnose interactions.
Solution
Each spin contributes
The product state and sum Hamiltonian factorize, so
Therefore
It diverges when . Yet the Hamiltonian contains no interactions and the state remains a tensor product at all times. The singularity records an extensive product of identical one-spin destructive-interference events.
3. Critical momentum in the Ising chain
Section titled “3. Critical momentum in the Ising chain”Using
derive
Show that for positive and , a generic quench across gives .
Solution
The equal-population condition is orthogonality of the two normalized pseudospins. Normalization does not affect whether their dot product vanishes:
Solving gives the stated expression. Suppose . Define the difference between the two squared expressions. Then
Both numerator and denominator are positive, so the ratio lies strictly between zero and one. Interchanging and gives the same result.
4. Fisher zeros and critical times
Section titled “4. Fisher zeros and critical times”For one Ising momentum pair with and , solve
for its zeros. Determine when a zero lies on .
Solution
Rearranging,
Taking all logarithm branches gives
Relabeling the integer yields
Its real part vanishes exactly when . Equating its imaginary part to gives
up to the equivalent labeling of positive and negative times.
5. Linear cusp from a critical mode
Section titled “5. Linear cusp from a critical mode”Show that
has leading small- behavior .
Solution
Differentiate with respect to :
As ,
Since ,
The return rate carries a minus sign in front of the momentum logarithm, so its singular contribution is proportional to plus analytic background.
6. Return to a broken-symmetry manifold
Section titled “6. Return to a broken-symmetry manifold”Suppose
Show that the limiting rate is . Estimate the rounding width near a transverse crossing where
Solution
Factor out the smaller exponential. If ,
The correction vanishes as , and the other ordering is analogous. Thus the limit is the minimum.
Both branches contribute appreciably when
Using the linear crossing gives
Hence the finite-size crossover narrows as in this simple branch model.
7. Work characteristic function
Section titled “7. Work characteristic function”Let satisfy
Starting from
derive its relation to . Use . What information changes?
Solution
Acting to the left with the initial-energy exponential gives
The work peaks are at . The phase factor shifts the energy origin, and the reversed argument reflects the zeros of ; because for real .
8. Analyze a finite-size return minimum
Section titled “8. Analyze a finite-size return minimum”You are given noisy return-probability data for . List a minimal analysis that can distinguish a candidate thermodynamic cusp from a sharp finite-size minimum.
Solution
A useful analysis would:
- compute from a probability-level noise model;
- fit the candidate time, width, and left/right slopes with uncertainty for every ;
- verify convergence under time-grid refinement and alternative local fit windows;
- test whether the candidate time stabilizes while the width shrinks;
- locate recurrence and boundary-reflection times and exclude contaminated data;
- compare parity or boundary sectors if they alter the allowed momentum grid;
- propagate SPAM and background-floor uncertainty before taking logarithms;
- where possible, compute the nearest complex zero or leading transfer branches independently;
- repeat after controlled small Hamiltonian perturbations and numerical-cutoff changes.
Four sizes may still be insufficient for an asymptotic exponent. The appropriate conclusion can be “finite-size precursor consistent with a DQPT” rather than a claimed thermodynamic singularity.
References
Section titled “References”- F. Andraschko and J. Sirker, “Dynamical quantum phase transitions and the Loschmidt echo: a transfer matrix approach,” Physical Review B 89, 125120 (2014). doi:10.1103/PhysRevB.89.125120
- J. C. Budich and M. Heyl, “Dynamical topological order parameters far from equilibrium,” Physical Review B 93, 085416 (2016). doi:10.1103/PhysRevB.93.085416
- J. Dborin, V. Wimalaweera, F. Barratt, E. Ostby, T. E. O’Brien, and A. G. Green, “Simulating groundstate and dynamical quantum phase transitions on a superconducting quantum computer,” Nature Communications 13, 5977 (2022). doi:10.1038/s41467-022-33737-4
- N. Fläschner, D. Vogel, M. Tarnowski, B. S. Rem, D.-S. Lühmann, M. Heyl, J. C. Budich, L. Mathey, K. Sengstock, and C. Weitenberg, “Observation of dynamical vortices after quenches in a system with topology,” Nature Physics 14, 265–268 (2018). doi:10.1038/s41567-017-0013-8
- A. Gambassi and A. Silva, “Large deviations and universality in quantum quenches,” Physical Review Letters 109, 250602 (2012). doi:10.1103/PhysRevLett.109.250602
- T. Gorin, T. Prosen, T. H. Seligman, and M. Žnidarič, “Dynamics of Loschmidt echoes and fidelity decay,” Physics Reports 435, 33–156 (2006). doi:10.1016/j.physrep.2006.09.003
- J. C. Halimeh and V. Zauner-Stauber, “Dynamical phase diagram of quantum spin chains with long-range interactions,” Physical Review B 96, 134427 (2017). doi:10.1103/PhysRevB.96.134427
- T. Hashizume, I. P. McCulloch, and J. C. Halimeh, “Dynamical phase transitions in the two-dimensional transverse-field Ising model,” Physical Review Research 4, 013250 (2022). doi:10.1103/PhysRevResearch.4.013250
- 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 in systems with broken-symmetry phases,” Physical Review Letters 113, 205701 (2014). doi:10.1103/PhysRevLett.113.205701
- M. Heyl, “Scaling and universality at dynamical quantum phase transitions,” Physical Review Letters 115, 140602 (2015). doi:10.1103/PhysRevLett.115.140602
- M. Heyl, “Dynamical quantum phase transitions: a review,” Reports on Progress in Physics 81, 054001 (2018). doi:10.1088/1361-6633/aaaf9a
- I. Homrighausen, N. O. Abeling, V. Zauner-Stauber, and J. C. Halimeh, “Anomalous dynamical phase in quantum spin chains with long-range interactions,” Physical Review B 96, 104436 (2017). doi:10.1103/PhysRevB.96.104436
- R. A. Jalabert and H. M. Pastawski, “Environment-independent decoherence rate in classically chaotic systems,” Physical Review Letters 86, 2490–2493 (2001). doi:10.1103/PhysRevLett.86.2490
- P. Jurcevic, H. Shen, P. Hauke, C. Maier, T. Brydges, C. Hempel, B. P. Lanyon, M. Heyl, R. Blatt, and C. F. Roos, “Direct observation of dynamical quantum phase transitions in an interacting many-body system,” Physical Review Letters 119, 080501 (2017). doi:10.1103/PhysRevLett.119.080501
- C. Karrasch and D. Schuricht, “Dynamical phase transitions after quenches in nonintegrable models,” Physical Review B 87, 195104 (2013). doi:10.1103/PhysRevB.87.195104
- J. N. Kriel, C. Karrasch, and S. Kehrein, “Dynamical quantum phase transitions in the axial next-nearest-neighbor Ising chain,” Physical Review B 90, 125106 (2014). doi:10.1103/PhysRevB.90.125106
- A. Peres, “Stability of quantum motion in chaotic and regular systems,” Physical Review A 30, 1610–1615 (1984). doi:10.1103/PhysRevA.30.1610
- N. Sedlmayr, M. Fleischhauer, and J. Sirker, “The fate of dynamical phase transitions at finite temperatures and in open systems,” Physical Review B 97, 045147 (2018). doi:10.1103/PhysRevB.97.045147
- 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
- S. Vajna and B. Dóra, “Disentangling dynamical phase transitions from equilibrium phase transitions,” Physical Review B 89, 161105(R) (2014). doi:10.1103/PhysRevB.89.161105
- S. Vajna and B. Dóra, “Topological classification of dynamical phase transitions,” Physical Review B 91, 155127 (2015). doi:10.1103/PhysRevB.91.155127
- S. A. Weidinger, M. Heyl, A. Silva, and M. Knap, “Dynamical quantum phase transitions in systems with continuous symmetry breaking,” Physical Review B 96, 134313 (2017). doi:10.1103/PhysRevB.96.134313
- B. Žunkovič, A. Silva, and M. Fabrizio, “Dynamical phase transitions and Loschmidt echo in the infinite-range XY model,” Philosophical Transactions of the Royal Society A 374, 20150160 (2016). doi:10.1098/rsta.2015.0160