Skip to content

Loschmidt Echo and Dynamical Phase Transitions Preview

Prepare a normalized pure state ∣ψ0⟩|\psi_0\rangle, evolve it with a time-independent many-body Hamiltonian HfH_f, and ask for the amplitude to return to the initial state:

GV(t)=⟨ψ0∣e−iHft/ℏ∣ψ0⟩.\mathcal G_V(t) = \langle\psi_0| e^{-iH_ft/\hbar} |\psi_0\rangle.

Its squared magnitude,

LV(t)=∣GV(t)∣2,\mathcal L_V(t) = |\mathcal G_V(t)|^2,

is the return probability. In quench studies it is often called a Loschmidt echo. If VV is the number of sites, particles at fixed density, or another extensive size variable, the corresponding return-rate density is

λV(t)=−1Vln⁡LV(t).\lambda_V(t) = -\frac{1}{V} \ln \mathcal L_V(t).

A Loschmidt-rate dynamical quantum phase transition occurs at a real critical time tct_c when the thermodynamic-limit rate

λ(t)=lim⁡V→∞λV(t)\lambda(t) = \lim_{V\to\infty} \lambda_V(t)

is nonanalytic at tct_c. 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.

The phrase “Loschmidt echo” is used for several inequivalent quantities.

Name Formula Question
Return amplitude G(t)=⟨ψ0∣e−iHft/ℏ∣ψ0⟩\mathcal G(t)=\langle\psi_0\rvert e^{-iH_ft/\hbar}\lvert\psi_0\rangle What is the complex amplitude to return after one evolution?
Return probability L(t)=∣G(t)∣2\mathcal L(t)=\lvert\mathcal G(t)\rvert^2 What is the probability of projecting back onto the initial state?
Imperfect-reversal echo Mδ(t)=∣⟨ψ0∣ei(Hf+δH)t/ℏe−iHft/ℏ∣ψ0⟩∣2M_\delta(t)=\lvert\langle\psi_0\rvert e^{i(H_f+\delta H)t/\hbar}e^{-iH_ft/\hbar}\lvert\psi_0\rangle\rvert^2 How sensitive is reversal to a perturbation?
State fidelity F(ρ,σ)F(\rho,\sigma) How close are two states under a declared fidelity convention?
Ground-manifold return P0(t)=∑α∣⟨ψα∣ψ(t)⟩∣2P_0(t)=\sum_\alpha\lvert\langle\psi_\alpha\rvert\psi(t)\rangle\rvert^2 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.

Let

Hf∣nf⟩=Enf∣nf⟩H_f|n_f\rangle = E_n^f|n_f\rangle

and expand

∣ψ0⟩=∑ncn∣nf⟩,pn=∣cn∣2.|\psi_0\rangle = \sum_n c_n|n_f\rangle, \qquad p_n = |c_n|^2.

Then

GV(t)=∑npne−iEnft/ℏ.\mathcal G_V(t) = \sum_n p_n e^{-iE_n^ft/\hbar}.

Thus the return amplitude is the characteristic function of the final-energy probability distribution. It depends on the diagonal weights pnp_n, not on relative phases among the cnc_n in this energy basis. By contrast, a generic observable

⟨O(t)⟩=∑m,ncm∗cnei(Emf−Enf)t/ℏOmn\langle O(t)\rangle = \sum_{m,n} c_m^*c_n e^{i(E_m^f-E_n^f)t/\hbar} O_{mn}

also depends on energy-basis coherences and on the matrix elements of OO. This already explains why a return-rate singularity need not appear in every local observable.

Changing the energy zero by

Hf⟼Hf+CV1H_f \longmapsto H_f+C_V\mathbf 1

gives

GV(t)⟼e−iCVt/ℏGV(t).\mathcal G_V(t) \longmapsto e^{-iC_Vt/\hbar} \mathcal G_V(t).

Therefore LV(t)\mathcal L_V(t) and λV(t)\lambda_V(t) are unchanged. The complex phase of GV\mathcal G_V depends on the energy origin, but its zeros and squared magnitude do not.

For finite-dimensional systems, the cumulant expansion begins as

ln⁡GV(t)=−i⟨Hf⟩0tℏ−(ΔHf)02t22ℏ2+O(t3).\ln\mathcal G_V(t) = -\frac{i\langle H_f\rangle_0t}{\hbar} -\frac{(\Delta H_f)^2_0t^2}{2\hbar^2} +O(t^3).

Consequently,

λV(t)=(ΔHf)02Vℏ2t2+O(t4).\lambda_V(t) = \frac{(\Delta H_f)^2_0}{V\hbar^2} t^2 +O(t^4).

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.

For many global quenches,

LV(t)≍e−Vλ(t)\mathcal L_V(t) \asymp e^{-V\lambda(t)}

over a suitable thermodynamic time window. The raw overlap is then exponentially small even when λ(t)\lambda(t) is ordinary and smooth. Dividing its logarithm by VV extracts an intensive object, just as an equilibrium free-energy density extracts the extensive logarithm of a partition function.

The analogy has limits:

  • G(t)\mathcal G(t) 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;
  • λ(t)\lambda(t) 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 zz with units of inverse energy:

ZV(z)=⟨ψ0∣e−zHf∣ψ0⟩=∑npne−zEnf.\mathcal Z_V(z) = \langle\psi_0| e^{-zH_f} |\psi_0\rangle = \sum_n p_n e^{-zE_n^f}.

Physical real-time evolution lies on the imaginary-zz axis:

z=itℏ.z = \frac{it}{\hbar}.

For a finite-dimensional lattice system, ZV(z)\mathcal Z_V(z) 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

fV(z)=−1VLog⁡ZV(z).f_V(z) = -\frac{1}{V} \operatorname{Log}\mathcal Z_V(z).

The logarithm requires a branch choice, but its real part on the physical line is unambiguous:

λV(t)=2Re⁡fV ⁣(itℏ).\lambda_V(t) = 2\operatorname{Re} f_V\!\left(\frac{it}{\hbar}\right).

For unbounded continuum Hamiltonians, convergence and domain questions must be checked before calling Z(z)\mathcal Z(z) entire. The finite-lattice construction is the clean reference case.

The zeros

ZV(zj)=0\mathcal Z_V(z_j)=0

are called Fisher zeros by analogy with zeros of equilibrium partition functions in a complex temperature-like variable. At finite VV, they are isolated, possibly with multiplicity: an entire function with ZV(0)=1\mathcal Z_V(0)=1 cannot have an accumulation of zeros at a finite complex point. As VV grows, they can become dense on curves or regions.

A DQPT can occur when the thermodynamic accumulation set reaches the physical axis. Schematically,

Re⁡zj(V)⟶0,ℏIm⁡zj(V)⟶tc.\operatorname{Re}z_j(V) \longrightarrow 0, \qquad \hbar\operatorname{Im}z_j(V) \longrightarrow t_c.

The zeros must contribute at the extensive scale of ln⁡ZV\ln\mathcal Z_V: 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.

Several cautions matter:

  1. An exact zero can occur in a finite quantum system. That fact alone does not establish thermodynamic criticality.
  2. 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.
  3. A sharp analytic peak can arise when a zero line passes close to, but does not reach, the physical axis.
  4. The thermodynamic singularity can be expressed as a crossing of dominant transfer-matrix branches even when directly locating every zero is impractical.
  5. 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.

For fixed finite VV, unitary dynamics is quasiperiodic when the spectrum is discrete. Recurrences are expected, and GV(t)\mathcal G_V(t) is analytic in tt even though it may have isolated real zeros. A thermodynamic DQPT instead concerns

λ(t)=−lim⁡V→∞1Vln⁡∣GV(t)∣2\lambda(t) = -\lim_{V\to\infty} \frac{1}{V} \ln |\mathcal G_V(t)|^2

at fixed physical time.

The following operations need not commute:

V→∞,t→∞,δt→0,noise strength→0.\begin{aligned} &V\to\infty, &&t\to\infty, \\ &\delta t\to0, &&\text{noise strength}\to0. \end{aligned}

Taking t→∞t\to\infty first at finite size probes recurrences and time averages. Taking V→∞V\to\infty 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 Ω>0\Omega>0 and

H=ℏΩ2σz,∣ψ0⟩=∣+x⟩.H = \frac{\hbar\Omega}{2} \sigma_z, \qquad |\psi_0\rangle = |{+x}\rangle.

Then

G1(t)=cos⁡ ⁣(Ωt2),L1(t)=cos⁡2 ⁣(Ωt2).\begin{aligned} \mathcal G_1(t) &= \cos\!\left(\frac{\Omega t}{2}\right), \\ \mathcal L_1(t) &= \cos^2\!\left(\frac{\Omega t}{2}\right). \end{aligned}

The return probability vanishes at

tn=(2n+1)πΩ.t_n = \frac{(2n+1)\pi}{\Omega}.

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 VV independent copies:

HV=ℏΩ2∑j=1Vσjz,∣Ψ0⟩=∣+x⟩⊗V.H_V = \frac{\hbar\Omega}{2} \sum_{j=1}^{V} \sigma_j^z, \qquad |\Psi_0\rangle = |{+x}\rangle^{\otimes V}.

Factorization gives

GV(t)=[cos⁡ ⁣(Ωt2)]V\mathcal G_V(t) = \left[ \cos\!\left(\frac{\Omega t}{2}\right) \right]^V

and

λ(t)=−2ln⁡∣cos⁡ ⁣(Ωt2)∣.\lambda(t) = -2\ln \left| \cos\!\left(\frac{\Omega t}{2}\right) \right|.

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

H(g)=−J∑j=1Vσjzσj+1z−Jg∑j=1Vσjx,with J>0.\begin{aligned} H(g) &= -J\sum_{j=1}^{V} \sigma_j^z\sigma_{j+1}^z -Jg\sum_{j=1}^{V} \sigma_j^x, \\ &\text{with } J>0. \end{aligned}

The infinite chain has equilibrium quantum critical points at g=±1g=\pm1. For positive field, the familiar ordered-to-paramagnetic transition is at g=1g=1. The canonical model conventions, parity sectors, and finite-size subtleties are developed in Transverse-Field Ising Model.

Take even VV and prepare the even spin-parity ground state at gig_i, then quench to gfg_f. The even sector has antiperiodic fermion momenta k=(2m+1)π/Vk=(2m+1)\pi/V; use its positive half 0<k<π0<k<\pi 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

ϵk(g)=2J1+g2−2gcos⁡k.\epsilon_k(g) = 2J \sqrt{ 1+g^2-2g\cos k }.

It is useful to define the normalized pseudospin direction

d^k(g)=(sin⁡k, 0, g−cos⁡k)sin⁡2k+(g−cos⁡k)2.\widehat{\mathbf d}_k(g) = \frac{ (\sin k,\,0,\,g-\cos k) }{ \sqrt{ \sin^2k+(g-\cos k)^2 } }.

The probability that the final (k,−k)(k,-k) sector is in its excited pair state is

pk=1−d^k(gi)⋅d^k(gf)2.p_k = \frac{ 1- \widehat{\mathbf d}_k(g_i) \boldsymbol{\cdot} \widehat{\mathbf d}_k(g_f) }{2}.

Up to a nonzero analytic phase, the many-body return amplitude factorizes as

GV(t)≐∏0<k<π[(1−pk)+pke−2iϵk(gf)t/ℏ].\mathcal G_V(t) \doteq \prod_{0<k<\pi} \left[ (1-p_k) +p_k e^{-2i\epsilon_k(g_f)t/\hbar} \right].

The symbol ≐\doteq indicates equality up to an overall phase that does not affect zeros or the return probability.

For each momentum pair,

Lk(t)=∣(1−pk)+pke−2iϵkft/ℏ∣2=1−4pk(1−pk)sin⁡2 ⁣(ϵkftℏ),\begin{aligned} \mathcal L_k(t) ={}& \left| (1-p_k) +p_k e^{-2i\epsilon_k^ft/\hbar} \right|^2 \\ ={}& 1 -4p_k(1-p_k) \sin^2\!\left( \frac{\epsilon_k^ft}{\hbar} \right), \end{aligned}

where ϵkf≡ϵk(gf)\epsilon_k^f\equiv\epsilon_k(g_f). The thermodynamic rate is therefore

λ(t)=−∫0πdk2πln⁡Qk(t),Qk(t)=1−4pk(1−pk)sin⁡2 ⁣(ϵkftℏ).\begin{aligned} \lambda(t) &= -\int_0^\pi \frac{dk}{2\pi} \ln Q_k(t), \\ Q_k(t) &= 1 -4p_k(1-p_k) \sin^2\!\left( \frac{\epsilon_k^ft}{\hbar} \right). \end{aligned}

This formula displays the mechanism directly. A mode can become orthogonal to its initial state only if both conditions hold:

pk∗=12,sin⁡2 ⁣(ϵk∗ftℏ)=1.p_{k_*} = \frac12, \qquad \sin^2\!\left( \frac{\epsilon_{k_*}^ft}{\hbar} \right) = 1.

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 π\pi.

The equal-population condition is

d^k∗(gi)⋅d^k∗(gf)=0.\widehat{\mathbf d}_{k_*}(g_i) \boldsymbol{\cdot} \widehat{\mathbf d}_{k_*}(g_f) = 0.

For the Ising chain this becomes

1+gigf−(gi+gf)cos⁡k∗=0,1+g_ig_f -(g_i+g_f)\cos k_* = 0,

When gi+gf≠0g_i+g_f\ne0 and both pseudospin directions are defined,

cos⁡k∗=1+gigfgi+gf.\cos k_* = \frac{1+g_ig_f}{g_i+g_f}.

For gi,gf>0g_i,g_f>0, a real k∗∈(0,π)k_*\in(0,\pi) exists for a generic quench across g=1g=1. This is the model-specific origin of the close relation between equilibrium and dynamical criticality in the original Ising-chain construction.

At k∗k_* the critical times are

tn∗=(n+12)πℏϵk∗f,n=0,1,2,….t_n^* = \left( n+\frac12 \right) \frac{\pi\hbar} {\epsilon_{k_*}^f}, \qquad n=0,1,2,\ldots.

The spacing is set by the post-quench energy of the critical mode, not directly by the equilibrium gap at g=1g=1.

For complex zz, a mode factor vanishes when

(1−pk)+pke−2ϵkfz=0.(1-p_k) +p_k e^{-2\epsilon_k^fz} = 0.

One convenient labeling of the zeros is

zn(k)=ln⁡[pk/(1−pk)]+iπ(2n+1)2ϵkf,n∈Z.\begin{aligned} z_n(k) &= \frac{ \ln[p_k/(1-p_k)] +i\pi(2n+1) }{ 2\epsilon_k^f }, \\ n&\in\mathbb Z. \end{aligned}

This expression assumes 0<pk<10<p_k<1 and ϵkf>0\epsilon_k^f>0; at pk=0p_k=0 or 11 the mode factor has no finite zero. As kk becomes continuous, these points form Fisher-zero lines. They cross the imaginary axis exactly when pk∗=1/2p_{k_*}=1/2. Substituting z=it/ℏz=it/\hbar then reproduces tn∗t_n^*.

Near a simple critical mode and critical time, let

q=k−k∗,τ=t−tn∗.q = k-k_*, \qquad \tau = t-t_n^*.

After shifting qq to remove a mixed term, the argument of the logarithm has the generic local form

Lk(t)≃Aq2+Bτ2,A,B>0.\mathcal L_k(t) \simeq Aq^2+B\tau^2, \qquad A,B>0.

The singular part of the one-dimensional momentum integral is therefore controlled by

−∫−ΛΛdq ln⁡(Aq2+Bτ2).-\int_{-\Lambda}^{\Lambda} dq\, \ln(Aq^2+B\tau^2).

Relative to its value at τ=0\tau=0, this contributes

λsing(t)=−C∣τ∣+o(∣τ∣),C>0.\lambda_{\mathrm{sing}}(t) = -C|\tau| +o(|\tau|), \qquad C>0.

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.

At finite VV, allowed momenta depend on fermion parity and spin boundary conditions. The continuum value k∗k_* is generally absent from the grid. Then LV(t)\mathcal L_V(t) remains nonzero near tn∗t_n^* and λV(t)\lambda_V(t) is rounded. Its width narrows as the nearest allowed momentum approaches k∗k_*.

Occasionally k∗k_* 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.

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.

Choose an orthonormal set of reference states ∣ψα⟩|\psi_\alpha\rangle 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

P0(t)=∑α∣⟨ψα∣e−iHft/ℏ∣ψ0⟩∣2.P_0(t) = \sum_{\alpha} \left| \langle\psi_\alpha| e^{-iH_ft/\hbar} |\psi_0\rangle \right|^2.

If each contribution has large-deviation form

Pα(t)≍e−Vλα(t),P_\alpha(t) \asymp e^{-V\lambda_\alpha(t)},

and the number of contributing branches is finite (or grows subexponentially, with uniform control of their rates), then

λ0(t)=−lim⁡V→∞1Vln⁡P0(t)=min⁡αλα(t).\begin{aligned} \lambda_0(t) &= -\lim_{V\to\infty} \frac1V \ln P_0(t) \\ &= \min_\alpha \lambda_\alpha(t). \end{aligned}

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 Z2\mathbb Z_2-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.

For finite VV,

−1Vln⁡(e−Vλ1+e−Vλ2)-\frac1V \ln \left( e^{-V\lambda_1} +e^{-V\lambda_2} \right)

is smooth when both probabilities are positive. Near the crossing, the rounding width is typically of order 1/V1/V if the branch slopes differ. Replacing the sum by min⁡(λ1,λ2)\min(\lambda_1,\lambda_2) can expose the limiting kink in a small system, but this replacement is an asymptotic inference, not the measured finite-size rate itself.

Return to the independent-spin Hamiltonian above and set θ=Ωt/2\theta=\Omega t/2. Measure the subspace spanned by ∣+x⟩⊗V|{+x}\rangle^{\otimes V} and ∣−x⟩⊗V|{-x}\rangle^{\otimes V}. The two probabilities and their total are

P+=cos⁡2Vθ,P−=sin⁡2Vθ,P0=P++P−.P_+=\cos^{2V}\theta,\qquad P_-=\sin^{2V}\theta,\qquad P_0=P_++P_-.

For V≥2V\ge2, the finite-size rate is smooth on 0<θ<π/20<\theta<\pi/2. Its limit is

λ0(θ)=−2ln⁡max⁡(∣cos⁡θ∣,∣sin⁡θ∣).\lambda_0(\theta)=-2\ln\max(|\cos\theta|,|\sin\theta|).

The cusp at θ=π/4\theta=\pi/4 has height ln⁡2\ln2, whereas the finite-size value there is (1−1/V)ln⁡2(1-1/V)\ln2. This is a return to a two-state subspace, distinct from returning to the initial vector alone. The example requires no interactions or entanglement.

Two competing product-state return branches and the smooth finite-size rates that approach their cusped minimum

For independent spins, the branches −2ln⁡∣cos⁡θ∣-2\ln|\cos\theta| and −2ln⁡∣sin⁡θ∣-2\ln|\sin\theta| cross at π/4\pi/4. Summing the two probabilities before taking the logarithm rounds the crossing at finite VV. The lower panel compares the actual rates for V=2,8,32V=2,8,32 with their thermodynamic limit.

In one-dimensional tensor-network formulations, the return amplitude often takes the asymptotic form

GV(t)≃∑aca(t)μa(t)V,\mathcal G_V(t) \simeq \sum_a c_a(t) \mu_a(t)^V,

where μa(t)\mu_a(t) 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 VV, it controls the rate:

λ(t)=−2ln⁡∣μmax⁡(t)∣.\lambda(t) = -2\ln |\mu_{\max}(t)|.

If

∣μ1(tc)∣=∣μ2(tc)∣|\mu_1(t_c)| = |\mu_2(t_c)|

and the dominant branch changes at tct_c, the limiting rate can become nonanalytic. This is the dynamical counterpart of competing free-energy branches.

For a transfer operator advancing bb sites, use powers V/bV/b and divide the displayed logarithm by bb. 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.

Use the positive-sign characteristic function χ(u)=⟨eiuW/ℏ⟩\chi(u)=\langle e^{iuW/\hbar}\rangle, where uu has units of time. For a sudden quench with no intervening evolution and an initial state diagonal in HiH_i, the two-projective-measurement protocol gives

χ(u)=Tr⁡ ⁣[ρ0e−iHiu/ℏeiHfu/ℏ].\chi(u)=\operatorname{Tr}\!\left[\rho_0 e^{-iH_i u/\hbar}e^{iH_f u/\hbar}\right].

For Hi∣ψ0⟩=Ei∣ψ0⟩H_i|\psi_0\rangle=E_i|\psi_0\rangle,

χ(u)=e−iEiu/ℏG(−u),∣χ(u)∣2=L(u).\chi(u)=e^{-iE_i u/\hbar}\mathcal G(-u),\qquad |\chi(u)|^2=\mathcal L(u).

Indeed, each final-energy probability pnp_n now carries the phase eiu(Enf−Ei)/ℏe^{iu(E_n^f-E_i)/\hbar}, so the inverse transform is

P(W)=12πℏ∫−∞∞du e−iuW/ℏχ(u).P(W)=\frac{1}{2\pi\hbar}\int_{-\infty}^{\infty}du\, e^{-iuW/\hbar}\chi(u).

The shift converts final energy to work, W=Enf−EiW=E_n^f-E_i. The sign reversal reflects complex-time zeros; it leaves real-time zero locations paired at ±t\pm t and preserves the return probability. A convention with ⟨e−iuW/ℏ⟩\langle e^{-iuW/\hbar}\rangle 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 Tr⁡(ρ0e−iHft/ℏ)\operatorname{Tr}(\rho_0e^{-iH_ft/\hbar}). See work distributions for the complete operational definition.

Equilibrium Criticality: Relation without Equivalence

Section titled “Equilibrium Criticality: Relation without Equivalence”

The resemblance between

Z(β)=Tr⁡e−βHZ(\beta) = \operatorname{Tr}e^{-\beta H}

and

Z(z)=⟨ψ0∣e−zHf∣ψ0⟩\mathcal Z(z) = \langle\psi_0|e^{-zH_f}|\psi_0\rangle

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 ∣ψ0⟩\lvert\psi_0\rangle
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.

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 OXO_X with bounded support XX, it is possible that

lim⁡V→∞⟨OX(t)⟩\lim_{V\to\infty} \langle O_X(t)\rangle

is smooth at tct_c while λ(t)\lambda(t) 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.

For a translationally invariant two-band or Bogoliubov–de Gennes system, the return amplitude can factorize over momenta:

G(t)=∏kGk(t),Gk(t)=rk(t)eiϕk(t).\mathcal G(t) = \prod_k \mathcal G_k(t), \qquad \mathcal G_k(t) = r_k(t)e^{i\phi_k(t)}.

Separate the phase into dynamical and geometric parts:

ϕkG(t)=ϕk(t)−ϕkdyn(t),\phi_k^{\mathrm G}(t) = \phi_k(t) -\phi_k^{\mathrm{dyn}}(t),

with

ϕkdyn(t)=−1ℏ∫0tds ⟨ψk(s)∣Hf(k)∣ψk(s)⟩.\phi_k^{\mathrm{dyn}}(t) = -\frac1\hbar \int_0^t ds\, \langle\psi_k(s)| H_f(k) |\psi_k(s)\rangle.

When the endpoint geometric phases agree modulo 2π2\pi, and the amplitude is nonzero along the momentum interval at the time considered, one can define a winding

νD(t)=12π∫0πdk ∂kϕkG(t).\nu_D(t) = \frac{1}{2\pi} \int_0^\pi dk\, \partial_k \phi_k^{\mathrm G}(t).

At a critical mode where Gk∗(tc)=0\mathcal G_{k_*}(t_c)=0, its phase is undefined and νD\nu_D 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.

DQPTs occur in free, integrable, nonintegrable, and even product systems. Therefore:

DQPT⇏integrability,\text{DQPT} \not\Rightarrow \text{integrability},

and

DQPT⇏many-body chaos.\text{DQPT} \not\Rightarrow \text{many-body chaos}.

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 VV;
  • 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:

−ln⁡LV(t)=o(V).-\ln\mathcal L_V(t) = o(V).

Then the volume-normalized rate satisfies

λ(t)=0\lambda(t)=0

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.

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 t≫tmicrot\gg t_{\mathrm{micro}} belongs in its definition. DQPT critical times should be shown to stabilize inside a growing pre-recurrence window as VV 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.

For an initial density operator ρ0\rho_0, several plausible quantities coexist.

An interferometric amplitude is

Gint(t)=Tr⁡[ρ0e−iHft/ℏ].\mathcal G_{\mathrm{int}}(t) = \operatorname{Tr} \left[ \rho_0e^{-iH_ft/\hbar} \right].

A fidelity return is

LF(t)=F ⁣(ρ0,e−iHft/ℏρ0eiHft/ℏ),\mathcal L_F(t) = F\!\left( \rho_0, e^{-iH_ft/\hbar} \rho_0 e^{iH_ft/\hbar} \right),

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, ρ0=I/2\rho_0=I/2 remains unchanged under Hf=ℏΩσz/2H_f=\hbar\Omega\sigma_z/2, so its fidelity return is always one. Yet Gint(t)=cos⁡(Ωt/2)\mathcal G_{\mathrm{int}}(t)=\cos(\Omega t/2) has zeros. Their disagreement is a difference between two experiments, not an ambiguity in computing the same quantity.

Under a quantum channel Et\mathcal E_t, one might study

F ⁣(ρ0,Et(ρ0)),F\!\left( \rho_0, \mathcal E_t(\rho_0) \right),

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.

No single measurement architecture is optimal for every system.

Prepare ∣ψ0⟩|\psi_0\rangle, evolve, and measure the projector

Π0=∣ψ0⟩⟨ψ0∣.\Pi_0 = |\psi_0\rangle\langle\psi_0|.

Then

⟨Π0⟩t=LV(t).\langle\Pi_0\rangle_t = \mathcal L_V(t).

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

LV(t)∼e−Vλ(t),\mathcal L_V(t) \sim e^{-V\lambda(t)},

then a Bernoulli estimator from NshotN_{\mathrm{shot}} repetitions has relative uncertainty approximately

δLL∼1NshotL\frac{\delta\mathcal L} {\mathcal L} \sim \frac{1} {\sqrt{ N_{\mathrm{shot}}\mathcal L }}

when L≪1\mathcal L\ll1. Fixed relative precision therefore requires exponentially many shots in the worst case.

A controlled evolution can encode

Re⁡G(t)andIm⁡G(t)\operatorname{Re}\mathcal G(t) \quad\text{and}\quad \operatorname{Im}\mathcal G(t)

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.

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.

Suppose the measured probability is

Lmeas(t)=(1−η)Lideal(t)+ηB(t),\mathcal L_{\mathrm{meas}}(t) = (1-\eta) \mathcal L_{\mathrm{ideal}}(t) +\eta B(t),

where B(t)B(t) is a background and η\eta summarizes preparation, measurement, or decoherence error. Near a deep minimum, even small η\eta can dominate. Taking a logarithm produces

λmeas(t)=−1Vln⁡Lmeas(t),\lambda_{\mathrm{meas}}(t) = -\frac1V \ln\mathcal L_{\mathrm{meas}}(t),

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 tct_c;
  • the size range over which the inferred sharpening persists.

A sharp curve at one size does not determine the thermodynamic limit.

Plot

λV(t)=−1Vln⁡LV(t)\lambda_V(t) = -\frac1V \ln\mathcal L_V(t)

for several sizes with the same Hamiltonian normalization, boundary family, and time units. Track:

  • pseudocritical time tc(V)t_c(V);
  • peak or kink width w(V)w(V);
  • left and right local slopes;
  • minimum return probability;
  • sensitivity to interpolation and smoothing;
  • recurrence and boundary-reflection times.

The limiting claim is strengthened when tc(V)t_c(V) converges, w(V)w(V) shrinks, and the slope discontinuity stabilizes before recurrences.

When complex-time evaluation is available, locate the nearest zero z0(V)z_0(V) and test

Re⁡z0(V)⟶0,ℏIm⁡z0(V)⟶tc.\operatorname{Re}z_0(V) \longrightarrow 0, \qquad \hbar\operatorname{Im}z_0(V) \longrightarrow t_c.

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 Z(z)\mathcal Z(z) is preferable to continuing noisy real-time data.

For transfer-matrix methods, compare

∣μ1(t)∣,∣μ2(t)∣,Δμ(t)=ln⁡∣μ1(t)∣∣μ2(t)∣.\begin{gathered} |\mu_1(t)|, \qquad |\mu_2(t)|, \\ \Delta_\mu(t) = \ln \frac{|\mu_1(t)|}{|\mu_2(t)|}. \end{gathered}

Track the same two branches continuously rather than relabeling them by magnitude at each time. A stable sign change of Δμ\Delta_\mu at increasing bond dimension supports branch exchange. Convergence of the rate alone can hide a poorly resolved subleading spectrum.

A fit such as

tc(V)=tc+aV−ωt_c(V) = t_c+aV^{-\omega}

is a hypothesis, not a definition. The exponent ω\omega depends on geometry, boundaries, and the singular mechanism. Report alternative fit windows and corrections rather than assigning an equilibrium critical exponent by analogy.

Given final eigenpairs,

GV(t)=∑npne−iEnft/ℏ.\mathcal G_V(t) = \sum_n p_n e^{-iE_n^ft/\hbar}.

Use symmetry blocks to organize the calculation while preserving the prepared state. An initial state can physically occupy several sectors. If wsw_s is its weight in sector ss and Gs\mathcal G_s the amplitude of its normalized sector component, then G=∑swsGs\mathcal G=\sum_s w_s\mathcal G_s: 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

∣ψ(t)⟩=e−iHft/ℏ∣ψ0⟩|\psi(t)\rangle = e^{-iH_ft/\hbar}|\psi_0\rangle

and then its overlap with ∣ψ0⟩|\psi_0\rangle without diagonalizing the full Hamiltonian.

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 k=0k=0 and k=πk=\pi.

Compute ln⁡L\ln\mathcal L as a sum of mode logarithms to avoid underflow.

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 λ(t)\lambda(t) and transfer eigenvalues;
  • whether entanglement growth ends the reliable window before or after tct_c.

If a sharp feature appears only when the bond dimension saturates, increase that dimension and verify that the feature remains before interpreting it physically.

Imaginary components of zz 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.

Let

Hf′=Hf+C1.H_f' = H_f+C\mathbf1.

Show that G′(t)\mathcal G'(t) differs from G(t)\mathcal G(t) only by a phase. Which DQPT data are invariant?

Solution

Because the identity commutes with HfH_f,

e−iHf′t/ℏ=e−iCt/ℏe−iHft/ℏ.e^{-iH_f't/\hbar} = e^{-iCt/\hbar} e^{-iH_ft/\hbar}.

Hence

G′(t)=e−iCt/ℏG(t).\mathcal G'(t) = e^{-iCt/\hbar} \mathcal G(t).

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.

For

HV=ℏΩ2∑j=1VσjzH_V = \frac{\hbar\Omega}{2} \sum_{j=1}^{V}\sigma_j^z

and ∣Ψ0⟩=∣+x⟩⊗V|\Psi_0\rangle=|{+x}\rangle^{\otimes V}, derive GV(t)\mathcal G_V(t) and λ(t)\lambda(t). Explain why its singularities do not diagnose interactions.

Solution

Each spin contributes

⟨+x∣e−iΩtσz/2∣+x⟩=cos⁡ ⁣(Ωt2).\langle +x| e^{-i\Omega t\sigma_z/2} |+x\rangle = \cos\!\left(\frac{\Omega t}{2}\right).

The product state and sum Hamiltonian factorize, so

GV(t)=cos⁡V ⁣(Ωt2).\mathcal G_V(t) = \cos^V\!\left(\frac{\Omega t}{2}\right).

Therefore

λ(t)=−lim⁡V→∞1Vln⁡∣GV(t)∣2=−2ln⁡∣cos⁡ ⁣(Ωt2)∣.\begin{aligned} \lambda(t) &= -\lim_{V\to\infty} \frac1V \ln|\mathcal G_V(t)|^2 \\ &= -2\ln \left| \cos\!\left(\frac{\Omega t}{2}\right) \right|. \end{aligned}

It diverges when Ωt/2=(n+1/2)π\Omega t/2=(n+1/2)\pi. 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.

Using

d^k(g)∝(sin⁡k,0,g−cos⁡k),\widehat{\mathbf d}_k(g) \propto (\sin k,0,g-\cos k),

derive

cos⁡k∗=1+gigfgi+gf.\cos k_* = \frac{1+g_ig_f}{g_i+g_f}.

Show that for positive gig_i and gfg_f, a generic quench across g=1g=1 gives ∣cos⁡k∗∣<1|\cos k_*|<1.

Solution

The equal-population condition is orthogonality of the two normalized pseudospins. Normalization does not affect whether their dot product vanishes:

0=sin⁡2k+(gi−cos⁡k)(gf−cos⁡k)=1+gigf−(gi+gf)cos⁡k.\begin{aligned} 0 ={}& \sin^2k +(g_i-\cos k)(g_f-\cos k) \\ ={}& 1+g_ig_f -(g_i+g_f)\cos k. \end{aligned}

Solving gives the stated expression. Suppose 0<gi<1<gf0<g_i<1<g_f. Define the difference DD between the two squared expressions. Then

D=(gi+gf)2−(1+gigf)2,D=(1−gi2)(gf2−1)>0.\begin{aligned} D &= (g_i+g_f)^2 -(1+g_ig_f)^2, \\ D &= (1-g_i^2)(g_f^2-1) >0. \end{aligned}

Both numerator and denominator are positive, so the ratio lies strictly between zero and one. Interchanging gig_i and gfg_f gives the same result.

For one Ising momentum pair with 0<p<10<p<1 and ϵ>0\epsilon>0, solve

(1−p)+pe−2ϵz=0(1-p) +p e^{-2\epsilon z} = 0

for its zeros. Determine when a zero lies on z=it/ℏz=it/\hbar.

Solution

Rearranging,

e−2ϵz=−1−pp.e^{-2\epsilon z} = -\frac{1-p}{p}.

Taking all logarithm branches gives

−2ϵz=ln⁡ ⁣(1−pp)+iπ(2m+1).-2\epsilon z = \ln\!\left(\frac{1-p}{p}\right) +i\pi(2m+1).

Relabeling the integer yields

zn=ln⁡[p/(1−p)]+iπ(2n+1)2ϵ.z_n = \frac{ \ln[p/(1-p)] +i\pi(2n+1) }{ 2\epsilon }.

Its real part vanishes exactly when p=1/2p=1/2. Equating its imaginary part to t/ℏt/\hbar gives

tn=(n+12)πℏϵ,t_n = \left(n+\frac12\right) \frac{\pi\hbar}{\epsilon},

up to the equivalent labeling of positive and negative times.

Show that

I(τ)=∫−ΛΛdq [ln⁡(q2+c2τ2)−ln⁡q2]I(\tau) = \int_{-\Lambda}^{\Lambda} dq\, \left[ \ln(q^2+c^2\tau^2) -\ln q^2 \right]

has leading small-∣τ∣|\tau| behavior 2πc∣τ∣2\pi c|\tau|.

Solution

Differentiate with respect to a=c∣τ∣>0a=c|\tau|>0:

dIda=∫−ΛΛdq 2aq2+a2=4arctan⁡ ⁣(Λa).\frac{dI}{da} = \int_{-\Lambda}^{\Lambda} dq\, \frac{2a}{q^2+a^2} = 4\arctan\!\left(\frac{\Lambda}{a}\right).

As a→0+a\to0^+,

dIda⟶2π.\frac{dI}{da} \longrightarrow 2\pi.

Since I(0)=0I(0)=0,

I(τ)=2πc∣τ∣+O(τ2/Λ).I(\tau) = 2\pi c|\tau| +O(\tau^2/\Lambda).

The return rate carries a minus sign in front of the momentum logarithm, so its singular contribution is proportional to −∣τ∣-|\tau| plus analytic background.

Suppose

P0(t)=e−Vλ+(t)+e−Vλ−(t).P_0(t) = e^{-V\lambda_+(t)} +e^{-V\lambda_-(t)}.

Show that the limiting rate is min⁡(λ+,λ−)\min(\lambda_+,\lambda_-). Estimate the rounding width near a transverse crossing where

λ+(t)−λ−(t)≃s(t−tc),s≠0.\lambda_+(t)-\lambda_-(t) \simeq s(t-t_c), \qquad s\ne0.
Solution

Factor out the smaller exponential. If λ+<λ−\lambda_+<\lambda_-,

δλ=λ−−λ+>0,−1Vln⁡P0=λ+−rV,rV=1Vln⁡ ⁣[1+e−Vδλ].\begin{aligned} \delta\lambda &= \lambda_--\lambda_+ >0, \\ -\frac1V\ln P_0 &= \lambda_+ -r_V, \\ r_V &= \frac1V \ln\!\left[ 1+e^{-V\delta\lambda} \right]. \end{aligned}

The correction rVr_V vanishes as V→∞V\to\infty, and the other ordering is analogous. Thus the limit is the minimum.

Both branches contribute appreciably when

V∣λ+−λ−∣≲1.V|\lambda_+-\lambda_-| \lesssim1.

Using the linear crossing gives

∣t−tc∣≲1V∣s∣.|t-t_c| \lesssim \frac{1}{V|s|}.

Hence the finite-size crossover narrows as 1/V1/V in this simple branch model.

Let ∣ψ0⟩|\psi_0\rangle satisfy

Hi∣ψ0⟩=Ei∣ψ0⟩.H_i|\psi_0\rangle = E_i|\psi_0\rangle.

Starting from

χ(u)=⟨ψ0∣e−iHiu/ℏeiHfu/ℏ∣ψ0⟩,\chi(u) = \langle\psi_0| e^{-iH_i u/\hbar} e^{iH_f u/\hbar} |\psi_0\rangle,

derive its relation to G(−u)\mathcal G(-u). Use χ(u)=⟨eiuW/ℏ⟩\chi(u)=\langle e^{iuW/\hbar}\rangle. What information changes?

Solution

Acting to the left with the initial-energy exponential gives

χ(u)=e−iEiu/ℏG(−u),G(u)=⟨ψ0∣e−iHfu/ℏ∣ψ0⟩.\begin{aligned} \chi(u) &= e^{-iE_i u/\hbar} \mathcal G(-u), \\ \mathcal G(u) &= \langle\psi_0| e^{-iH_fu/\hbar} |\psi_0\rangle. \end{aligned}

The work peaks are at W=Enf−EiW=E_n^f-E_i. The phase factor shifts the energy origin, and the reversed argument reflects the zeros of G\mathcal G; ∣χ(u)∣2=L(u)|\chi(u)|^2=\mathcal L(u) because G(−u)=G(u)∗\mathcal G(-u)=\mathcal G(u)^* for real uu.

You are given noisy return-probability data for V=8,10,12,14V=8,10,12,14. List a minimal analysis that can distinguish a candidate thermodynamic cusp from a sharp finite-size minimum.

Solution

A useful analysis would:

  1. compute λV(t)=−V−1ln⁡LV(t)\lambda_V(t)=-V^{-1}\ln\mathcal L_V(t) from a probability-level noise model;
  2. fit the candidate time, width, and left/right slopes with uncertainty for every VV;
  3. verify convergence under time-grid refinement and alternative local fit windows;
  4. test whether the candidate time stabilizes while the width shrinks;
  5. locate recurrence and boundary-reflection times and exclude contaminated data;
  6. compare parity or boundary sectors if they alter the allowed momentum grid;
  7. propagate SPAM and background-floor uncertainty before taking logarithms;
  8. where possible, compute the nearest complex zero or leading transfer branches independently;
  9. 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.

  • 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