Skip to content

Volume Laws

A volume law says that the leading entropy of a region grows in proportion to the number of degrees of freedom in its interior:

SA=svolVA+o(VA),S_A = s_{\mathrm{vol}}V_A + o(V_A),

with a nonzero entropy density svols_{\mathrm{vol}}. On a lattice, VAV_A is the number of sites or unit cells in AA. For a continuum theory, both VAV_A and the entropy require a regulator and a declared subtraction scheme.

The formula is a scaling class, not a mechanism. It can describe:

  • ordinary mixed-state entropy in a Gibbs ensemble;
  • genuine bipartite entanglement in a Haar-random pure state;
  • entanglement in a chaotic finite-energy-density eigenstate;
  • entanglement generated dynamically after a global quench;
  • nonthermal volume laws in integrable, constrained, or localized dynamics.

These cases may have the same small-region slope and radically different global states. A pure state obeys complement symmetry and returns to zero entropy when AA becomes the whole system. A mixed thermal state generally does not. A random vector in the full Hilbert space is nearly infinite-temperature locally, whereas an energy eigenstate is confined to an energy shell. A quench state acquires its volume law through time-dependent transport of quantum information.

The central task is therefore to identify not only

SA∝VA,S_A\propto V_A,

but also:

which density operator,which state family,which subsystem-fraction limit,which conserved sector,and which dynamical timescale.\begin{gathered} \text{which density operator,} \\ \text{which state family,} \\ \text{which subsystem-fraction limit,} \\ \text{which conserved sector,} \\ \text{and which dynamical timescale.} \end{gathered}

This page is the canonical home for many-body volume-law scaling. It owns:

  • precise thermodynamic and finite-subsystem-fraction definitions;
  • the exact Haar/Page benchmark and its finite-size deficit;
  • volume laws in mixed thermal states;
  • the subsystem-entropy consequence of eigenstate thermalization;
  • post-quench growth, causal saturation, and entanglement velocity;
  • conservation-law, integrability, localization, and scar caveats;
  • numerical tests that separate state classes sharing the same slope;
  • the exponential tensor-network cost implied by extensive cut entropy.

Nearby pages retain distinct roles:

The discussion here uses those foundations to compare extensive scaling mechanisms rather than repeating every entropy definition. The Many-Body Entanglement Glossary is the quick reference for small-fraction, fixed-fraction, and pure-versus-mixed volume-law diagnostics.

Use natural logarithms:

S(ρ):=−Tr⁡(ρln⁡ρ).S(\rho) := -\operatorname{Tr} \left( \rho\ln\rho \right).

Entropy is dimensionless and measured in nats. Physical thermodynamic entropy is

Sphys=kBS.S_{\mathrm{phys}} = k_{\mathrm B}S.

For bits, divide every natural-log entropy by ln⁡2\ln2.

Let the full lattice contain VV sites, with

VA+VB=V.V_A+V_B=V.

Define the subsystem fraction

f:=VAV.f := \frac{V_A}{V}.

The same symbol VAV_A may denote physical volume in a continuum model only after a regulator and unit convention have been stated.

For a local on-site Hilbert-space dimension qq,

dA=qVA,dB=qVBd_A=q^{V_A}, \qquad d_B=q^{V_B}

in the unconstrained tensor-product Hilbert space.

For a pure global vector,

ρAB=∣Ψ⟩⟨Ψ∣,SAB=0.\rho_{AB} = \lvert\Psi\rangle\langle\Psi\rvert, \qquad S_{AB}=0.

Its reduced entropy

SA=S(Tr⁡B∣Ψ⟩⟨Ψ∣)S_A = S \left( \operatorname{Tr}_B \lvert\Psi\rangle\langle\Psi\rvert \right)

is entanglement entropy and satisfies

SA=SB.S_A=S_B.

For a mixed global state ρAB\rho_{AB}, S(ρA)S(\rho_A) is subsystem entropy. It is not, by itself, an entanglement measure.

The clean thermodynamic definition uses regions that grow while remaining a vanishing fraction of the whole:

VA→∞,VAV→0.V_A\to\infty, \qquad \frac{V_A}{V}\to0.

A volume law holds when

lim⁡SAVA=svol>0.\lim \frac{S_A}{V_A} = s_{\mathrm{vol}} >0.

The limit must declare:

  • the state family;
  • energy or temperature;
  • conserved densities;
  • region shape;
  • boundary conditions;
  • logarithm base;
  • regulator or local truncation.

For

0<f<1,0<f<1,

the subsystem is itself extensive. The natural finite-fraction scaling is

SA(f,V)=V s(f)+o(V).S_A(f,V) = V\,s(f) + o(V).

For a homogeneous globally pure state with one entropy density on the smaller side,

s(f)=sentmin⁡(f,1−f).s(f) = s_{\mathrm{ent}} \min(f,1-f).

For a homogeneous mixed thermal state,

s(f)=sthfs(f) = s_{\mathrm{th}}f

at leading order.

The two functions agree for small ff when

sent=sth,s_{\mathrm{ent}} = s_{\mathrm{th}},

but their endpoints differ:

f=0f=1global pure state00mixed thermal state0sth\begin{array}{c|cc} & f=0 & f=1 \\ \hline \text{global pure state} & 0 & 0 \\ \text{mixed thermal state} & 0 & s_{\mathrm{th}} \end{array}

This endpoint test is more discriminating than the phrase “volume law.”

A practical expansion can contain

SA=svolVA+a∂∣∂A∣+bln⁡VA+c+⋯ .S_A = s_{\mathrm{vol}}V_A + a_{\partial}|\partial A| + b\ln V_A + c + \cdots.

The extensive term dominates for regular regions, but subleading terms can encode:

  • boundary coupling;
  • exact conservation laws;
  • charge fluctuations;
  • corners and geometry;
  • finite-size complement constraints;
  • proximity to an integrable or localized regime;
  • finite bond dimension;
  • ensemble differences.

Extracting only a slope from one system size discards this information.

For qq-level sites and a pure state,

SA≤min⁡(VA,VB)ln⁡q.S_A \le \min(V_A,V_B)\ln q.

Therefore

0≤sent≤ln⁡q.0 \le s_{\mathrm{ent}} \le \ln q.

The upper value describes a nearly maximally mixed smaller subsystem. Finite energy, symmetry sectors, and restricted Hilbert spaces generally lower the accessible density.

Finite-subsystem-fraction entropy curves, the Page deficit for random states, and causal post-quench growth to a volume law.

Three tests for an extensive entropy. A globally pure state has a Page-like turnover because SA=SBS_A=S_B, while a mixed thermal state reaches the nonzero full-system entropy. Haar-typical reduced states are nearly maximally mixed, with a Page deficit controlled by the Hilbert-space ratio m/nm/n. Local unitary dynamics produces the volume-law plateau only after entanglement has propagated through the region from its boundary.

State familyGlobal stateSmall-region coefficientFull-system endpointMechanism
Haar-random vectorpurenear ln⁡q\ln qzeroconcentration in Hilbert space
Gibbs statemixedsth(β)s_{\mathrm{th}}(\beta)sthVs_{\mathrm{th}}Vensemble mixedness
chaotic eigenstatepuresth(e)s_{\mathrm{th}}(e) under ETH conditionszeroeigenstate entanglement
thermalizing quench statepurelate-time seqs_{\mathrm{eq}}zerodynamical entanglement production
integrable quench statepuregeneralized-ensemble densityzeroquasiparticle pairs and conserved occupations
localized eigenstatepureoften zero volume coefficientzeroquasi-local integrals of motion

The table lists leading expectations, not universal theorems. Each row needs its own limit and exceptions.

Let

H=HA⊗HB,\mathcal H = \mathcal H_A \otimes \mathcal H_B,

with

m:=dim⁡HA,n:=dim⁡HB,m≤n.\begin{aligned} m &:= \dim\mathcal H_A, \\ n &:= \dim\mathcal H_B, \quad m\le n. \end{aligned}

A Haar-random pure state is sampled uniformly from the unit sphere using the unitarily invariant measure. In a product basis,

∣Ψ⟩=∑i=1m∑μ=1nXiμ∣i⟩A∣μ⟩B,\lvert\Psi\rangle = \sum_{i=1}^{m} \sum_{\mu=1}^{n} X_{i\mu} \lvert i\rangle_A \lvert\mu\rangle_B,

where the normalized coefficient matrix XX can be generated from independent complex Gaussian entries followed by normalization.

The reduced state is

ρA=XX†.\rho_A = XX^\dagger.

It is a normalized Wishart-type random matrix. When nn is much larger than mm, its eigenvalues concentrate near 1/m1/m.

The exact Haar average of the purity is

⟨Tr⁡ρA2⟩=m+nmn+1.\left\langle \operatorname{Tr}\rho_A^2 \right\rangle = \frac{m+n}{mn+1}.

For

n≫m,n\gg m,

this becomes

⟨Tr⁡ρA2⟩=1m+1n+O(1mn).\left\langle \operatorname{Tr}\rho_A^2 \right\rangle = \frac1m + \frac1n + O \left( \frac{1}{mn} \right).

The maximally mixed value is 1/m1/m. The environment dimension controls the excess purity.

The exact mean von Neumann entropy is

⟨SA⟩=∑k=n+1mn1k−m−12n.\left\langle S_A\right\rangle = \sum_{k=n+1}^{mn} \frac1k - \frac{m-1}{2n}.

Using harmonic numbers,

⟨SA⟩=Hmn−Hn−m−12n.\left\langle S_A\right\rangle = H_{mn} - H_n - \frac{m-1}{2n}.

For large m,nm,n with m≤nm\le n,

⟨SA⟩=ln⁡m−m2n+O(1mn+1n2).\left\langle S_A\right\rangle = \ln m - \frac{m}{2n} + O \left( \frac{1}{mn} + \frac{1}{n^2} \right).

The Page deficit

δP:=ln⁡m−⟨SA⟩\delta_{\mathrm P} := \ln m - \left\langle S_A\right\rangle

is therefore approximately

δP≃m2n.\delta_{\mathrm P} \simeq \frac{m}{2n}.

At an equal bipartition,

m=n→∞,m=n\to\infty,

the deficit approaches

δP⟶12\delta_{\mathrm P} \longrightarrow \frac12

nat. The entropy remains extensive; the correction is only O(1)O(1).

For VV unconstrained qq-level sites and

f≤12,f\le\frac12,

set

m=qfV,n=q(1−f)V.m=q^{fV}, \qquad n=q^{(1-f)V}.

Then

⟨SA(f)⟩=fVln⁡q−12q−(1−2f)V+⋯ .\begin{aligned} \left\langle S_A(f)\right\rangle &= fV\ln q \\ &\quad - \frac12 q^{-(1-2f)V} + \cdots. \end{aligned}

For fixed

0<f<12,0<f<\frac12,

the correction is exponentially small in VV. At f=1/2f=1/2, it becomes the finite Page correction 1/21/2.

Complement symmetry supplies the other half:

⟨SA(f)⟩=⟨SA(1−f)⟩.\left\langle S_A(f)\right\rangle = \left\langle S_A(1-f)\right\rangle.

Thus the leading curve is

⟨SA(f)⟩=Vln⁡q min⁡(f,1−f)+O(1).\left\langle S_A(f)\right\rangle = V\ln q\, \min(f,1-f) + O(1).

The Page formula is an ensemble mean. Concentration of measure shows that, in large Hilbert spaces, almost every Haar-random vector has entropy close to that mean. Atypical low-entanglement vectors occupy a very small fraction of the unit sphere.

This is why a “generic vector” is volume-law entangled. It does not imply that every physically prepared state is Haar random. Ground states, low-depth circuits, symmetry-restricted states, and finite-energy states sample highly structured subsets of Hilbert space.

Haar random is not finite-temperature random

Section titled “Haar random is not finite-temperature random”

A Haar vector in the full tensor-product Hilbert space is locally close to infinite temperature. It has no sharp energy density for a generic local Hamiltonian.

A finite-temperature typical state must instead be restricted or weighted, for example by:

  • a microcanonical energy shell;
  • a fixed charge sector;
  • a filtered random vector;
  • an energy-weighted thermal pure state;
  • actual Hamiltonian eigenstates satisfying ETH.

The effective state-counting entropy of the restricted subspace replaces Vln⁡qV\ln q as the leading density.

Suppose the allowed Hilbert space is a sector

HQ⊂HA⊗HB.\mathcal H_Q \subset \mathcal H_A\otimes\mathcal H_B.

It generally decomposes as

HQ=⨁qAHA,qA⊗HB,Q−qA.\mathcal H_Q = \bigoplus_{q_A} \mathcal H_{A,q_A} \otimes \mathcal H_{B,Q-q_A}.

The reduced state is block diagonal in qAq_A. Its entropy separates into charge uncertainty and within-sector entropy:

SA=H({pqA})+∑qApqAS(ρA,qA).S_A = H \left( \{p_{q_A}\} \right) + \sum_{q_A} p_{q_A} S \left( \rho_{A,q_A} \right).

The leading term can remain a volume law, while Gaussian charge fluctuations generate logarithmic corrections. Comparing an unconstrained Page curve with fixed-charge data without adjusting the reference ensemble gives a false deficit.

For

ρβ=e−βHZ(β),Z(β)=Tr⁡e−βH,\rho_\beta = \frac{e^{-\beta H}}{Z(\beta)}, \qquad Z(\beta) = \operatorname{Tr}e^{-\beta H},

the global entropy is

S(ρβ)=−Tr⁡(ρβln⁡ρβ)=ln⁡Z+β⟨H⟩β.\begin{aligned} S(\rho_\beta) &= -\operatorname{Tr} \left( \rho_\beta\ln\rho_\beta \right) \\ &= \ln Z + \beta \langle H\rangle_\beta. \end{aligned}

For a regular thermodynamic phase,

S(ρβ)=sth(β)V+o(V).S(\rho_\beta) = s_{\mathrm{th}}(\beta)V + o(V).

The coefficient is ordinary thermodynamic entropy density.

For a regular region much larger than the thermal correlation length,

S(ρβ,A)=sth(β)VA+O(∣∂A∣)+o(VA),S(\rho_{\beta,A}) = s_{\mathrm{th}}(\beta)V_A + O \left( |\partial A| \right) + o(V_A),

where

ρβ,A=Tr⁡Bρβ.\rho_{\beta,A} = \operatorname{Tr}_B\rho_\beta.

The exact reduced state is not generally

e−βHATr⁡Ae−βHA,\frac{e^{-\beta H_A}} {\operatorname{Tr}_A e^{-\beta H_A}},

because crossing interactions and the environment modify its modular Hamiltonian. The bulk coefficient can agree even when the boundary operator does not.

At

β=0,\beta=0,

an unconstrained qq-level lattice has

ρ0=IqV=⨂x=1VIxq.\rho_0 = \frac{I}{q^V} = \bigotimes_{x=1}^{V} \frac{I_x}{q}.

For any set of VAV_A sites,

ρ0,A=IAqVA,SA=VAln⁡q.\rho_{0,A} = \frac{I_A}{q^{V_A}}, \qquad S_A = V_A\ln q.

This is a maximal volume law. Nevertheless,

I(A:B)=0,I(A:B)=0,

and the global state is a product across every site partition. The entropy is local mixedness, not entanglement.

For a mixed thermal state,

SA∼sthfVS_A \sim s_{\mathrm{th}}fV

can continue through f=1/2f=1/2 to

SA(f=1)=S(ρβ)∼sthV.S_A(f=1) = S(\rho_\beta) \sim s_{\mathrm{th}}V.

There is no complement equality

SA=SBS_A=S_B

unless special conditions happen to enforce it. Instead, the Araki–Lieb inequality gives

∣SA−SB∣≤SAB.\left| S_A-S_B \right| \le S_{AB}.

For a short-range thermal phase, write

SA=sthVA+δA,SB=sthVB+δB,SAB=sthV+δAB.\begin{aligned} S_A &= s_{\mathrm{th}}V_A + \delta_A, \\ S_B &= s_{\mathrm{th}}V_B + \delta_B, \\ S_{AB} &= s_{\mathrm{th}}V + \delta_{AB}. \end{aligned}

Then

I(A:B)=δA+δB−δAB.I(A:B) = \delta_A + \delta_B - \delta_{AB}.

The leading volume terms cancel. The future many-body mutual-information page owns this diagnostic; the important point here is that a subsystem volume law can coexist with weak boundary-local total correlation.

The expansion

SA=sthVA+O(∣∂A∣)S_A = s_{\mathrm{th}}V_A + O \left( |\partial A| \right)

assumes a conventional thermodynamic limit. Near thermal critical points, with long-range interactions, or in constrained and gauge systems, boundary and subleading terms can scale anomalously. The existence of a bulk entropy density can survive, but the correction should not be assumed to be a featureless area term.

Let

H∣En⟩=En∣En⟩.H\lvert E_n\rangle = E_n\lvert E_n\rangle.

The eigenstate density operator

ρ(n)=∣En⟩⟨En∣\rho^{(n)} = \lvert E_n\rangle\langle E_n\rvert

is pure:

S(ρ(n))=0.S \left( \rho^{(n)} \right) = 0.

Its subsystem state

ρA(n)=Tr⁡B∣En⟩⟨En∣\rho_A^{(n)} = \operatorname{Tr}_B \lvert E_n\rangle\langle E_n\rvert

can nevertheless have extensive entropy. That entropy is genuine entanglement across A∣BA\vert B.

The standard eigenstate-thermalization ansatz organizes matrix elements of a sufficiently simple observable OO as

Omn=O‾(Eˉ)δmn+e−S(Eˉ)/2fO(Eˉ,ω)Rmn,\begin{aligned} O_{mn} &= \overline O(\bar E) \delta_{mn} \\ &\quad + e^{-S(\bar E)/2} f_O(\bar E,\omega) R_{mn}, \end{aligned}

where

Eˉ=Em+En2,ω=Em−En.\bar E = \frac{E_m+E_n}{2}, \qquad \omega = E_m-E_n.

The smooth diagonal part reproduces equilibrium values, while the entropy-suppressed off-diagonal part controls fluctuations and dynamics. This ansatz is a hypothesis for suitable chaotic systems and observable classes, not a theorem for every Hamiltonian.

A stronger subsystem form compares reduced density operators:

ρA(n)≈ρA,mc(En,ΔE),\rho_A^{(n)} \approx \rho_{A,\mathrm{mc}}(E_n,\Delta E),

where

ρA,mc=Tr⁡Bρmc.\rho_{A,\mathrm{mc}} = \operatorname{Tr}_B \rho_{\mathrm{mc}}.

When this approximation is controlled, it implies agreement for all bounded operators supported in AA, not merely one chosen observable.

For a homogeneous chaotic eigenstate at energy density

en=EnV,e_n = \frac{E_n}{V},

the subsystem entropy is expected to satisfy

SA(n)=sth(en)VA+o(VA)S_A^{(n)} = s_{\mathrm{th}}(e_n)V_A + o(V_A)

for a growing region that remains smaller than its environment and after all conserved densities are matched.

The coefficient is thermodynamic because it is determined by the density of states near ene_n. The entropy is entanglement because the global eigenstate is pure. Both statements can be true without identifying the two global density operators.

There are three distinct limits:

  • Strictly local subsystem: VAV_A is fixed while V→∞V\to\infty.
  • Subextensive thermodynamic region: VA→∞V_A\to\infty while VA/V→0V_A/V\to0.
  • Extensive subsystem: VA/V→f>0V_A/V\to f>0.

Reduced-state equality is cleanest in the first regime. Entropy-density agreement can persist in the second and, for von Neumann entropy in chaotic systems, over fixed fractions below one half.

Global purity imposes

SA(n)(f)=SA(n)(1−f).S_A^{(n)}(f) = S_A^{(n)}(1-f).

The leading finite-fraction curve is therefore Page-like:

SA(n)(f)∼sth(en)Vmin⁡(f,1−f).S_A^{(n)}(f) \sim s_{\mathrm{th}}(e_n)V \min(f,1-f).

This is a leading thermodynamic form, not an exact finite-size formula. Energy conservation, charge sectors, boundaries, and eigenstate-to-eigenstate fluctuations alter the correction near f=1/2f=1/2.

Energy-shell random states versus full Haar states

Section titled “Energy-shell random states versus full Haar states”

A full Haar vector samples the entire Hilbert space and has slope near

ln⁡q.\ln q.

A finite-energy eigenstate samples a much smaller effective shell whose logarithmic dimension is

ln⁡Ω(E,ΔE)=sth(e)V+o(V).\ln\Omega(E,\Delta E) = s_{\mathrm{th}}(e)V + o(V).

Consequently,

sth(e)≤ln⁡q,s_{\mathrm{th}}(e) \le \ln q,

with equality only at an appropriate infinite-temperature point in the unconstrained finite-dimensional system.

The difference is essential. A highly entangled eigenstate need not be locally maximally mixed; it is locally thermal at its own energy and conserved densities.

Rényi entropies retain more global information

Section titled “Rényi entropies retain more global information”

For

α>0,α≠1,\alpha>0, \qquad \alpha\ne1,

the Rényi entropy is

Sα(A)=11−αln⁡Tr⁡ρAα.S_\alpha(A) = \frac{1}{1-\alpha} \ln \operatorname{Tr}\rho_A^\alpha.

In an extensive subsystem of a chaotic finite-energy eigenstate, the Rényi entropy density can depend nonlinearly on ff. It need not equal the Rényi entropy density of the canonical mixed state at the same mean energy, even when the von Neumann densities agree.

The reason is spectral weighting. For α>1\alpha>1, large eigenvalues of ρA\rho_A receive enhanced weight. Energy sharing between AA and BB and fluctuations across the microcanonical shell then affect the saddle point.

Therefore:

von Neumann density agreement\centernot⟹full reduced-spectrum agreement.\begin{gathered} \text{von Neumann density agreement} \\ \centernot\Longrightarrow \\ \text{full reduced-spectrum agreement}. \end{gathered}

A responsible eigenstate volume-law claim states:

  • the energy-density window;
  • symmetry and momentum sector;
  • subsystem-fraction range;
  • observable or norm used for ETH;
  • finite-size extrapolation;
  • whether rare eigenstates were excluded;
  • whether Rényi indices beyond one were tested.

ETH can fail or require replacement in integrable, localized, fragmented, scarred, or otherwise constrained systems. The phrase “highly excited” does not establish chaos.

Quantum Quenches defines the switch, final-energy distribution, and early-time correlation and entanglement diagnostics. This section owns the extensive subsystem-entropy scaling that can emerge later.

Let a pure initial state evolve as

∣Ψ(t)⟩=e−iHt/ℏ∣Ψ(0)⟩.\lvert\Psi(t)\rangle = e^{-iHt/\hbar} \lvert\Psi(0)\rangle.

The global state remains pure:

SAB(t)=0.S_{AB}(t)=0.

The reduced state

ρA(t)=Tr⁡B∣Ψ(t)⟩⟨Ψ(t)∣\rho_A(t) = \operatorname{Tr}_B \lvert\Psi(t)\rangle \langle\Psi(t)\rvert

does not evolve unitarily on AA alone. Interactions transfer initially local information into correlations across the cut, allowing SA(t)S_A(t) to grow.

For bounded finite-range interactions and finite local dimension, entanglement can be produced across a smooth cut only by terms near that cut. A schematic rate bound is

∣dSAdt∣≤C∣∂EA∣,\left| \frac{dS_A}{dt} \right| \le C |\partial_E A|,

where CC depends on local interaction norms, range, local dimension, and units.

Starting from a low-entanglement state,

SA(t)≲SA(0)+C∣∂EA∣t.S_A(t) \lesssim S_A(0) + C |\partial_E A|t.

At fixed tt, the contribution is boundary controlled. To build

SA∼seqVAS_A \sim s_{\mathrm{eq}}V_A

in a region of linear size RR, local dynamics requires a time of order

tsat∼RvE.t_{\mathrm{sat}} \sim \frac{R}{v_E}.

This reconciles local production with a late-time volume law.

For an interval of length ℓ\ell after a homogeneous thermalizing quench, a useful leading form is

SA(t)≃{2seqvEt,t<tsat,seqℓ,t>tsat,S_A(t) \simeq \begin{cases} 2s_{\mathrm{eq}}v_Et, & t<t_{\mathrm{sat}}, \\ s_{\mathrm{eq}}\ell, & t>t_{\mathrm{sat}}, \end{cases}

with

tsat≃ℓ2vE.t_{\mathrm{sat}} \simeq \frac{\ell}{2v_E}.

The factor of two counts the two endpoints of a bulk interval. For a half-chain with one cut, the convention changes. Boundary conditions, initial correlations, conservation laws, and inhomogeneity modify the crossover.

The entanglement velocity vEv_E is defined by the entropy-production slope after dividing by the equilibrium entropy density and boundary factor. It is not automatically the quasiparticle group velocity, transport velocity, butterfly velocity, or Lieb–Robinson velocity.

In a homogeneous one-dimensional integrable quench, the initial state can emit entangled quasiparticle pairs of species aa and rapidity λ\lambda. In the space-time scaling limit, an interval entropy often takes the form

SA(t)=∑a∫dλ sa(λ)×min⁡[2∣va(λ)∣t,ℓ].\begin{aligned} S_A(t) &= \sum_a \int d\lambda\, s_a(\lambda) \\ &\quad\times \min \left[ 2 \left| v_a(\lambda) \right| t, \ell \right]. \end{aligned}

Here:

  • va(λ)v_a(\lambda) is the dressed quasiparticle velocity;
  • sa(λ)s_a(\lambda) is the contribution to the stationary thermodynamic entropy density;
  • the pair structure and homogeneous initial state are part of the approximation;
  • the exact integration measure and species sum are model dependent.

At early times,

SA(t)∼2t∑a∫dλ ∣va(λ)∣sa(λ).\begin{aligned} S_A(t) &\sim 2t \sum_a \int d\lambda\, \\ &\quad \left| v_a(\lambda) \right| s_a(\lambda). \end{aligned}

At late times,

SA(t)∼ℓ∑a∫dλ sa(λ).S_A(t) \sim \ell \sum_a \int d\lambda\, s_a(\lambda).

The plateau density is the entropy density of the appropriate stationary generalized ensemble, not necessarily a canonical Gibbs ensemble.

Random local circuits and coarse-grained chaotic dynamics support a geometric description in which entanglement is obtained from a minimal membrane or cut through space-time. In one dimension, the leading entropy grows linearly in time before saturation:

SA(t)∼seqvE∣∂A∣t.S_A(t) \sim s_{\mathrm{eq}}v_E |\partial A|t.

Fluctuations and subleading broadening can have additional universal structure in random circuits. Those details depend on the circuit ensemble and Rényi index; the leading message here is the conversion

boundary production rate⇓volume-law plateau.\begin{gathered} \text{boundary production rate} \\ \Downarrow \\ \text{volume-law plateau}. \end{gathered}

Several velocities can coexist:

VelocityOperational meaning
vLRv_{\mathrm{LR}}upper locality-cone scale from a Lieb–Robinson bound
vBv_Bspreading speed of an operator or out-of-time-order front
vEv_Ecoarse-grained entanglement-production speed
vtrv_{\mathrm{tr}}transport speed or scale for a conserved density
va(λ)v_a(\lambda)quasiparticle group or dressed velocity

They need not be equal. Entanglement can spread ballistically while energy transport is diffusive. In integrable systems, a distribution of quasiparticle velocities replaces one universal front speed.

The late-time coefficient depends on the information retained by the dynamics:

DynamicsCandidate plateau density
generic energy-conserving chaosthermal or microcanonical sth(e)s_{\mathrm{th}}(e)
integrable Hamiltoniangeneralized-ensemble or Yang–Yang entropy density
generic Floquet system without conservationoften infinite-temperature density
many-body localized systemnonthermal, initial-state-dependent density
fragmented dynamicsentropy density within the accessible Krylov sector

Matching a plateau to one ensemble requires matching every exact conserved quantity and the accessible Hilbert-space sector.

In a finite closed system, late-time entropy fluctuates around its plateau. Exact or approximate recurrences can occur on much longer timescales. The useful volume-law statement concerns a time window:

tlocal≪t≪trec,t_{\mathrm{local}} \ll t \ll t_{\mathrm{rec}},

after local equilibration and before recurrence physics dominates.

Time averaging can suppress fluctuations, but

S(ρA‾)S \left( \overline{\rho_A} \right)

is not generally equal to

S(ρA(t))‾.\overline{ S \left( \rho_A(t) \right) }.

Entropy is nonlinear, so the averaging protocol must be declared.

Across a cut, any exact representation with Schmidt rank χ\chi satisfies

SA≤ln⁡χ.S_A \le \ln\chi.

A volume law

SA=svolVA+o(VA)S_A = s_{\mathrm{vol}}V_A + o(V_A)

therefore requires

χ≥exp⁡[svolVA+o(VA)].\chi \ge \exp \left[ s_{\mathrm{vol}}V_A + o(V_A) \right].

For a central cut of a chain, this is exponential in system size. It explains the rapid growth of resources in exact matrix-product-state time evolution after a global quench.

If the cut entropy grows as

S(t)≃seqvEt,S(t) \simeq s_{\mathrm{eq}}v_Et,

then exact Schmidt capacity requires

χ(t)≳exp⁡(seqvEt).\chi(t) \gtrsim \exp \left( s_{\mathrm{eq}}v_Et \right).

Even before finite-size saturation, the required bond dimension grows exponentially in time.

Truncation may extend the reachable window for local observables, but then the discarded Schmidt tail, energy drift, conservation laws, and observable-specific error must be monitored. A small energy error does not certify the full state.

A depth-dd circuit of bounded-range gates acting on a product state can entangle a spatial region only through gates within distance O(d)O(d) of its boundary. Its entropy obeys a schematic bound

SA≤Cd∣∂EA∣.S_A \le C d |\partial_E A|.

For a regular region of linear size RR,

VA∣∂EA∣∼R.\frac{V_A}{|\partial_E A|} \sim R.

Producing a full spatial volume law therefore requires

d=Ω(R)d = \Omega(R)

with local gates. A Haar-random vector may be typical in Hilbert space while requiring a deep local circuit to prepare.

Volume-law entanglement obstructs low-bond-dimension descriptions, but it does not uniquely determine:

  • circuit complexity;
  • sign or phase structure;
  • stabilizer or Gaussian simulability;
  • sampling complexity;
  • local-observable complexity;
  • compressibility in a nonspatial partition.

For example, some stabilizer states have extensive bipartite entropy yet remain efficiently describable in a stabilizer formalism. The simulation claim must name the representation and task.

Integrable systems have extensive conserved quantities. Typical eigenstates within a macrostate can still have volume-law entanglement, but the coefficient and reduced-state structure are controlled by the conserved occupations rather than ordinary ETH.

After a quench, local observables may relax to a generalized Gibbs ensemble. The late-time entropy density can agree with an appropriate Yang–Yang entropy while differing from the canonical thermal entropy at the same mean energy.

Thus:

volume law\centernot⟹eigenstate thermalization.\begin{gathered} \text{volume law} \\ \centernot\Longrightarrow \\ \text{eigenstate thermalization}. \end{gathered}

In an idealized fully many-body localized regime:

  • individual finite-energy-density eigenstates can obey an area law;
  • a low-entanglement initial state can show logarithmic entanglement growth;
  • the long-time entropy can become extensive with a subthermal, initial-state-dependent coefficient;
  • local observables retain memory of initial conditions.

The combination

SA(t)∼ln⁡tS_A(t) \sim \ln t

before a nonthermal extensive plateau is qualitatively different from ballistic thermalizing growth. Finite-size drifts and rare-region effects make localization claims especially sensitive to system size and time window.

Quantum many-body scars are atypical eigenstates with anomalous dynamics or low entanglement embedded in spectra whose typical states may be volume law. Hilbert-space fragmentation splits dynamics into disconnected sectors, so a state explores only one component.

The correct reference dimension is then

dim⁡Kaccessible,\dim\mathcal K_{\mathrm{accessible}},

not the full Hilbert-space dimension. An apparently submaximal volume-law coefficient may reflect a small accessible sector rather than weak entanglement inside that sector.

A generic periodically driven interacting system without conserved energy can heat toward an infinite-temperature-like state within its symmetry sector. Floquet eigenstates and late-time states may then approach the maximal volume-law density.

Exceptions include:

  • Floquet many-body localization;
  • prethermal regimes at high drive frequency;
  • exact conservation laws;
  • kinetic constraints;
  • scarred subspaces.

The observation of a volume law does not by itself establish indefinite heating.

Measurements and environmental coupling can compete with unitary entanglement production. Monitored circuits can exhibit transitions between volume-law and area-law trajectory entanglement. An ensemble-averaged density operator can meanwhile become highly mixed for a different reason.

Trajectory entropy, averaged trajectory entropy, and entropy of the averaged state are distinct:

S(ρAtraj)‾≠S(ρAtraj‾)\overline{ S \left( \rho_A^{\mathrm{traj}} \right) } \ne S \left( \overline{ \rho_A^{\mathrm{traj}} } \right)

in general.

This page focuses on closed-system volume laws; open and monitored settings require their own measurement protocol.

For power-law or all-to-all interactions, the boundary-rate picture can fail or change. Entanglement may be generated throughout a region without waiting a time proportional to its linear size.

The volume-law definition survives, but statements about vEv_E, causal cones, and depth lower bounds must be adapted to the actual interaction graph.

A designed pure volume-law state need not be chaotic

Section titled “A designed pure volume-law state need not be chaotic”

Pair each of NN qudits in AA with one qudit in BB:

∣Ψ⟩=⨂j=1N1q∑a=0q−1∣a⟩Aj∣a⟩Bj.\lvert\Psi\rangle = \bigotimes_{j=1}^{N} \frac1{\sqrt q} \sum_{a=0}^{q-1} \lvert a\rangle_{A_j} \lvert a\rangle_{B_j}.

Then

ρA=IAqN,SA=Nln⁡q.\rho_A = \frac{I_A}{q^N}, \qquad S_A = N\ln q.

This is a maximal pure-state volume law across the chosen partition, constructed from independent pairs. It has neither Haar randomness nor ETH. If the partners are spatially far apart, it also requires long-range preparation or depth growing with their separation.

Record the actual object:

ρβ,ρmc,∣En⟩⟨En∣,∣Ψ(t)⟩⟨Ψ(t)∣,ρtraj,ρ‾.\begin{gathered} \rho_\beta, \qquad \rho_{\mathrm{mc}}, \qquad \lvert E_n\rangle\langle E_n\rvert, \\ \lvert\Psi(t)\rangle\langle\Psi(t)\rvert, \qquad \rho_{\mathrm{traj}}, \qquad \overline\rho. \end{gathered}

Then state whether the reported entropy is global, reduced, time averaged, disorder averaged, or trajectory averaged.

For each total size VV, compute several fractions

f=VAV.f = \frac{V_A}{V}.

Inspect:

SAVA\frac{S_A}{V_A}

for the small-region density and

SAV\frac{S_A}{V}

for the finite-fraction shape.

A pure Page-like curve should satisfy:

SA(f)=SA(1−f),SA(1)=0.S_A(f) = S_A(1-f), \qquad S_A(1)=0.

A mixed thermal curve should approach the nonzero global entropy at f=1f=1.

Compare models such as

SA=sVA+a∣∂A∣+bln⁡VA+cS_A = sV_A + a|\partial A| + b\ln V_A + c

over the same size window. Remove the smallest sizes and test coefficient stability. On a chain, include open-boundary and parity oscillations when present.

Report the slope uncertainty together with the assumed correction. A linear fit with an unstable intercept is not an asymptotic diagnosis.

Resolve exact symmetries before comparing with random-state or thermal predictions. Within a fixed charge QQ, use:

ρref=PQTr⁡PQ\rho_{\mathrm{ref}} = \frac{P_Q}{\operatorname{Tr}P_Q}

at infinite temperature, not I/qVI/q^V on the full space.

For eigenstates, compare states within one symmetry sector and a narrow energy-density window. Mixing sectors can create spurious degeneracies, entropy offsets, and apparent ETH violations.

Step 5: check more than von Neumann entropy

Section titled “Step 5: check more than von Neumann entropy”

Useful companion diagnostics include:

  • Rényi entropies;
  • the entanglement spectrum;
  • subsystem energy and charge distributions;
  • mutual information;
  • local observable agreement with an ensemble;
  • trace distance for sufficiently small subsystems;
  • energy variance and conserved-charge drift;
  • transfer-matrix correlation length in tensor-network data.

Equal entropy values do not imply equal reduced states.

For an MPS,

SA≤ln⁡χS_A \le \ln\chi

across one cut. If a purported physical plateau tracks ln⁡χ\ln\chi as χ\chi changes, it is a numerical ceiling.

During time evolution, record:

  • maximum bond dimension;
  • discarded weight at every step;
  • accumulated norm and energy errors;
  • entropy at several cuts;
  • convergence of local observables;
  • the time at which different χ\chi curves separate.

The last converged time can be much earlier for entanglement-sensitive observables than for one-site expectation values.

Step 7: extract a growth velocity carefully

Section titled “Step 7: extract a growth velocity carefully”

In one dimension, fit the early-time window to

SA(t)=rEt+cS_A(t) = r_Et+c

only after microscopic transients and before finite-size saturation. For a bulk interval with two endpoints,

vE=rE2seq.v_E = \frac{r_E}{2s_{\mathrm{eq}}}.

The equilibrium density must be measured independently. If seqs_{\mathrm{eq}} is replaced by ln⁡q\ln q in a finite-energy quench, the inferred velocity is biased.

Repeat over several interval lengths. A genuine ballistic regime has a length-independent slope and saturation time proportional to ℓ\ell over a controlled window.

  • Calling an extensive mixed-state entropy entanglement. At infinite temperature, SA=VAln⁡qS_A=V_A\ln q can coexist with zero mutual information.
  • Extrapolating a pure-state line past half the system. Complement symmetry forces a turnover.
  • Treating the Page curve as a dynamical theorem. Haar typicality does not specify preparation depth or Hamiltonian evolution.
  • Comparing finite-energy eigenstates with full-Hilbert-space Haar vectors. The energy shell has a smaller entropy density.
  • Applying ETH by vocabulary. Nonintegrability, sector resolution, energy window, and finite-size evidence must be shown.
  • Assuming every highly excited eigenstate is thermal. Integrable, localized, fragmented, and scarred exceptions exist.
  • Equating von Neumann and Rényi thermalization. Extensive-subsystem Rényi densities can retain finite-fraction dependence.
  • Calling every late-time plateau canonical. Generalized ensembles, Floquet heating, localization, and constraints produce different coefficients.
  • Identifying vEv_E with every other velocity. Information, transport, quasiparticle, and locality speeds are operationally distinct.
  • Ignoring the order of limits. Fixed time followed by R→∞R\to\infty probes boundary growth; t∼Rt\sim R can reveal a volume-law plateau.
  • Mistaking finite-χ\chi saturation for physics. A matrix-product ansatz imposes S≤ln⁡χS\le\ln\chi.
  • Inferring full complexity from entropy alone. Representation, observable, and simulation task still matter.
  • Dropping symmetry-sector corrections. Fixed charges alter both the leading reference density and logarithmic terms.
  • Averaging before versus after taking entropy. Entropy is nonlinear.

Consider a chain of VV qudits with local Hilbert-space dimension qq. A Haar-random pure state is drawn from the full Hilbert space. Let AA contain the fraction ff of the sites, with 0<f≤1/20<f\leq 1/2.

  1. Identify the subsystem dimensions mm and nn.
  2. Use the Page formula to find the leading entropy and its first correction.
  3. Compare the correction at fixed f<1/2f<1/2 with the correction at f=1/2f=1/2.
  4. Extend the answer to f>1/2f>1/2.
Solution

For VA=fVV_A=fV and VAˉ=(1−f)VV_{\bar A}=(1-f)V,

m=qfV,n=q(1−f)V.m=q^{fV}, \qquad n=q^{(1-f)V}.

Because f≤1/2f\leq 1/2, one has m≤nm\leq n. The large-dimension Page formula gives

EHaarSA=ln⁡m−m2n+O ⁣(1n2).\mathbb E_{\mathrm{Haar}}S_A = \ln m - \frac{m}{2n} + O\!\left(\frac{1}{n^2}\right).

Substitution yields

EHaarSA=fVln⁡q−12q−(1−2f)V+O ⁣(q−2(1−f)V).\begin{aligned} \mathbb E_{\mathrm{Haar}}S_A &= fV\ln q - \frac{1}{2} q^{-(1-2f)V} \\ &\quad + O\!\left(q^{-2(1-f)V}\right). \end{aligned}

At any fixed f<1/2f<1/2, the deficit from maximal entropy is exponentially small in VV. At the symmetric cut,

f=12,EHaarSA=V2ln⁡q−12+o(1).\begin{aligned} f &= \frac12, \\ \mathbb E_{\mathrm{Haar}}S_A &= \frac{V}{2}\ln q - \frac12 + o(1). \end{aligned}

so the deficit approaches one-half nat rather than zero.

For f>1/2f>1/2, global purity gives SA=SAˉS_A=S_{\bar A}. Therefore,

EHaarSA=Vln⁡q min⁡(f,1−f)+O(1).\begin{aligned} \mathbb E_{\mathrm{Haar}}S_A &= V\ln q\, \min(f,1-f) \\ &\quad + O(1). \end{aligned}

The resulting tent-shaped finite-fraction curve is the Page curve of a pure random state.

Let a Haar-random pure state live in Cm⊗Cn\mathbb C^m\otimes\mathbb C^n with m=4m=4 and n=64n=64.

  1. Compute the mean subsystem purity.
  2. Compare it with the minimum possible purity.
  3. Use S(ρ)≥−ln⁡Tr⁡ρ2S(\rho)\geq-\ln\operatorname{Tr}\rho^2 and Jensen’s inequality to obtain a lower bound on the mean von Neumann entropy.
Solution

Lubkin’s exact average purity is

EHaarTr⁡ρA2=m+nmn+1.\mathbb E_{\mathrm{Haar}} \operatorname{Tr}\rho_A^2 = \frac{m+n}{mn+1}.

For m=4m=4 and n=64n=64,

EHaarTr⁡ρA2=68257≈0.2646.\mathbb E_{\mathrm{Haar}} \operatorname{Tr}\rho_A^2 = \frac{68}{257} \approx 0.2646.

The maximally mixed state on C4\mathbb C^4 has purity 1/m=1/4=0.251/m=1/4=0.25, so the random subsystem is already close to maximally mixed.

For every density operator,

S(ρA)≥−ln⁡Tr⁡ρA2.S(\rho_A) \geq -\ln\operatorname{Tr}\rho_A^2.

Because −ln⁡x-\ln x is convex, Jensen’s inequality gives

EHaarSA≥EHaar[−ln⁡Tr⁡ρA2]≥−ln⁡EHaarTr⁡ρA2=−ln⁡ ⁣(68257)≈1.329.\begin{aligned} \mathbb E_{\mathrm{Haar}}S_A &\geq \mathbb E_{\mathrm{Haar}} \left[ -\ln\operatorname{Tr}\rho_A^2 \right] \\ &\geq -\ln \mathbb E_{\mathrm{Haar}} \operatorname{Tr}\rho_A^2 \\ &= -\ln\!\left(\frac{68}{257}\right) \approx 1.329. \end{aligned}

The maximum is ln⁡4≈1.386\ln4\approx1.386. Purity therefore supplies a short, quantitative certificate of near-maximal typical entanglement, although it does not determine the full entanglement spectrum.

3. An endpoint test for pure and mixed volume laws

Section titled “3. An endpoint test for pure and mixed volume laws”

Two candidate finite-fraction entropy curves are

g1(f)=sVmin⁡(f,1−f),g2(f)=sVf.\begin{aligned} g_1(f) &= sV\min(f,1-f), \\ g_2(f) &= sVf. \end{aligned}

Evaluate both at f=1/4f=1/4, 1/21/2, 3/43/4, and 11. Which curve can describe a globally pure state? Why can small-subsystem data alone fail to distinguish them?

Solution

The values are:

ffg1(f)/(sV)g_1(f)/(sV)g2(f)/(sV)g_2(f)/(sV)
1/41/41/41/41/41/4
1/21/21/21/21/21/2
3/43/41/41/43/43/4
110011

A globally pure state must obey

SA=SAˉ,Sall=0.S_A = S_{\bar A}, \qquad S_{\mathrm{all}} = 0.

Thus g1g_1 has the required complement symmetry and endpoint. The curve g2g_2 instead has nonzero entropy sVsV for the whole system and is compatible with a mixed thermodynamic state.

For f≤1/2f\leq1/2, the two expressions coincide. A fit using only small subsystems can therefore recover the same extensive coefficient from two states with completely different global purity. Finite-fraction data or an independent purity test is required.

4. A maximal volume law without entanglement

Section titled “4. A maximal volume law without entanglement”

On VV qudits, consider the infinite-temperature state

ρ∞=IqV.\rho_\infty = \frac{I}{q^V}.

For a bipartition into AA and BB, compute SAS_A, SBS_B, SABS_{AB}, and I(A:B)I(A:B). Is this state entangled?

Solution

The state factorizes:

ρ∞=(IAqVA)⊗(IBqVB).\rho_\infty = \left(\frac{I_A}{q^{V_A}}\right) \otimes \left(\frac{I_B}{q^{V_B}}\right).

Its entropies are

SA=VAln⁡q,SB=VBln⁡q,S_A = V_A\ln q, \qquad S_B = V_B\ln q,

and

SAB=Vln⁡q.S_{AB} = V\ln q.

Consequently,

I(A:B)=SA+SB−SAB=0.\begin{aligned} I(A:B) &= S_A+S_B-S_{AB} \\ &= 0. \end{aligned}

The state is a product of local maximally mixed states and is therefore separable. Its maximal volume-law subsystem entropy is entirely thermodynamic uncertainty, not entanglement. This example is the cleanest warning against using the phrase “volume-law entanglement” for an arbitrary mixed state.

5. Fixed filling changes the random-state coefficient

Section titled “5. Fixed filling changes the random-state coefficient”

Consider VV spin-1/21/2 sites restricted to the sector with exactly N=νVN=\nu V up spins, where 0<ν<10<\nu<1 and νV\nu V is an integer.

  1. Estimate the sector dimension for large VV.
  2. Find its entropy density.
  3. Compare it with the full-Hilbert-space value ln⁡2\ln2.
Solution

The fixed-filling sector has dimension

DV,N=(VN)=(VνV).D_{V,N} = \binom{V}{N} = \binom{V}{\nu V}.

Stirling’s approximation gives

(VνV)∼exp⁡ ⁣[Vh2(ν)]2πVν(1−ν),\binom{V}{\nu V} \sim \frac{ \exp\!\left[Vh_2(\nu)\right] }{ \sqrt{2\pi V\nu(1-\nu)} },

where

h2(ν)=−νln⁡ν−(1−ν)ln⁡(1−ν)h_2(\nu) = -\nu\ln\nu - (1-\nu)\ln(1-\nu)

is the binary entropy. Hence

ln⁡DV,N=Vh2(ν)−12ln⁡V+O(1).\ln D_{V,N} = Vh_2(\nu) - \frac12\ln V + O(1).

The sector entropy density is h2(ν)h_2(\nu). It satisfies

h2(ν)≤ln⁡2,h_2(\nu) \leq \ln2,

with equality only at half filling, ν=1/2\nu=1/2. Random-state benchmarks must therefore be drawn in the same symmetry sector as the physical state. Using a full-Hilbert-space Page slope away from half filling overestimates the available entropy density.

6. Full Haar randomness versus a finite-energy eigenstate

Section titled “6. Full Haar randomness versus a finite-energy eigenstate”

A local qq-state Hamiltonian has a chaotic eigenstate at energy density ee. Assume subsystem ETH applies and that the thermodynamic entropy density satisfies sth(e)<ln⁡qs_{\mathrm{th}}(e)<\ln q.

Compare the small-subsystem entropy slope, global entropy, and finite-fraction endpoint of this eigenstate with those of a Haar-random state on the full Hilbert space.

Solution

For a full-Hilbert-space Haar state and a subsystem smaller than half the system,

SA≃VAln⁡q.S_A \simeq V_A\ln q.

For the chaotic finite-energy eigenstate, subsystem ETH instead gives

SA≃sth(e)VA+o(VA),S_A \simeq s_{\mathrm{th}}(e)V_A + o(V_A),

so its slope is smaller than ln⁡q\ln q unless the energy density corresponds to infinite temperature.

Both states are globally pure:

Sall=0.S_{\mathrm{all}} = 0.

Both must turn over under A↔AˉA\leftrightarrow\bar A and approach zero as f→1f\to1. At leading order their finite-fraction curves have the Page-like forms

SAHaar∼Vln⁡q min⁡(f,1−f)S_A^{\mathrm{Haar}} \sim V\ln q\,\min(f,1-f)

and

SAeig∼Vsth(e)min⁡(f,1−f),S_A^{\mathrm{eig}} \sim Vs_{\mathrm{th}}(e)\min(f,1-f),

subject to finite-fraction, conserved-charge, and Rényi-dependent corrections. Purity fixes the endpoint structure; the accessible energy shell fixes the thermodynamic coefficient.

7. Quench saturation and matrix-product bond dimension

Section titled “7. Quench saturation and matrix-product bond dimension”

Suppose the entropy of a one-dimensional interval of length ℓ\ell after a homogeneous global quench is modeled by

SA(t)=min⁡[2seqvEt, seqℓ].S_A(t) = \min \left[ 2s_{\mathrm{eq}}v_Et,\, s_{\mathrm{eq}}\ell \right].

Take ℓ=100\ell=100, vE=0.8v_E=0.8, and seq=0.6s_{\mathrm{eq}}=0.6 in units where the lattice spacing and time unit are one.

  1. Find the saturation time.
  2. Find the plateau entropy.
  3. Estimate the minimum exact MPS bond dimension needed at the plateau.
Solution

Saturation occurs when the two arguments of the minimum agree:

2seqvEtsat=seqℓ.2s_{\mathrm{eq}}v_Et_{\mathrm{sat}} = s_{\mathrm{eq}}\ell.

The entropy density cancels, giving

tsat=ℓ2vE=1001.6=62.5.t_{\mathrm{sat}} = \frac{\ell}{2v_E} = \frac{100}{1.6} = 62.5.

The plateau is

SAsat=seqℓ=60.S_A^{\mathrm{sat}} = s_{\mathrm{eq}}\ell = 60.

Across a single MPS cut,

SA≤ln⁡χ.S_A \leq \ln\chi.

An exact representation therefore requires at least

χ≥e60≈1.14×1026.\chi \geq e^{60} \approx 1.14\times10^{26}.

This enormous lower bound explains why local observables may remain numerically converged long after direct entanglement-sensitive simulation has become impractical.

For each observation below, state the first interpretation you would test and one additional diagnostic that could distinguish it from ordinary thermalizing dynamics.

  1. Highly excited eigenstates obey an area law.
  2. Entanglement grows approximately as ln⁡t\ln t after a quench and later reaches a subthermal volume law.
  3. A small set of finite-energy eigenstates has much lower entropy than neighboring eigenstates.
  4. A periodically driven system approaches the maximal entropy density ln⁡q\ln q within each symmetry sector.
Solution
  1. Excited-state area law: test many-body localization, Hilbert-space fragmentation, or an integrable fine-tuned structure. Useful diagnostics include level statistics, transport, local integrals of motion, and stability to generic local perturbations.

  2. Logarithmic growth with a subthermal plateau: test an interacting many-body-localized regime. Check memory of local initial conditions, vanishing transport, disorder-size scaling, and whether the logarithmic window survives increasing system size and bond dimension.

  3. Sparse low-entanglement eigenstates: test quantum many-body scars or another weak-ergodicity-breaking mechanism. Examine their overlap with simple product states, atypical local observables, dynamical revivals, and whether the fraction of atypical states vanishes with size.

  4. Maximal sector-resolved entropy under driving: test Floquet heating toward infinite temperature. Verify that local observables approach the identity ensemble within the correct symmetry sector, while excluding prethermal plateaus by varying the drive frequency and observation time.

None of these signatures is conclusive alone. Entanglement scaling should be combined with spectral, transport, observable, and finite-size evidence.

A volume law means that subsystem entropy has a nonzero density:

SAVA⟶svol>0\frac{S_A}{V_A} \longrightarrow s_{\mathrm{vol}} > 0

in a stated thermodynamic limit. The coefficient and the finite-fraction curve depend on the state class.

For a Haar-random pure state with m≤nm\leq n, Page’s result gives

EHaarSA=ln⁡m−m2n+⋯ .\mathbb E_{\mathrm{Haar}}S_A = \ln m - \frac{m}{2n} + \cdots.

At fixed subsystem fraction, global purity imposes a turnover:

SA∼sVmin⁡(f,1−f).S_A \sim sV\min(f,1-f).

A mixed thermal state instead has

SA∼sthVfS_A \sim s_{\mathrm{th}}Vf

and can retain a nonzero global entropy. Chaotic finite-energy eigenstates reproduce thermodynamic entropy densities for sufficiently small subsystems, but purity, conservation laws, finite-fraction effects, and the Rényi index remain essential.

After a global quench, local dynamics can generate entanglement ballistically before a volume-law plateau forms. The growth rate is constrained by locality and boundary geometry, whereas the late-time entropy is extensive. Integrable, localized, fragmented, scarred, constrained, and driven systems supply controlled exceptions to the simplest thermalizing picture.

The phrase “volume law” is therefore only the start of a diagnosis. A trustworthy claim states the entropy, state ensemble, symmetry sector, subsystem limit, global purity, finite-size corrections, and numerical convergence tests.

  1. E. Lubkin, “Entropy of an nn-system from its correlation with a kk-reservoir,” Journal of Mathematical Physics 19, 1028–1031 (1978). doi:10.1063/1.523763
  2. J. M. Deutsch, “Quantum statistical mechanics in a closed system,” Physical Review A 43, 2046–2049 (1991). doi:10.1103/PhysRevA.43.2046
  3. D. N. Page, “Average entropy of a subsystem,” Physical Review Letters 71, 1291–1294 (1993). doi:10.1103/PhysRevLett.71.1291
  4. S. K. Foong and S. Kanno, “Proof of Page’s conjecture on the average entropy of a subsystem,” Physical Review Letters 72, 1148–1151 (1994). doi:10.1103/PhysRevLett.72.1148
  5. M. Srednicki, “Chaos and quantum thermalization,” Physical Review E 50, 888–901 (1994). doi:10.1103/PhysRevE.50.888
  6. S. Sen, “Average entropy of a quantum subsystem,” Physical Review Letters 77, 1–3 (1996). doi:10.1103/PhysRevLett.77.1
  7. H. Tasaki, “From quantum dynamics to the canonical distribution: General picture and a rigorous example,” Physical Review Letters 80, 1373–1376 (1998). doi:10.1103/PhysRevLett.80.1373
  8. P. Calabrese and J. Cardy, “Evolution of entanglement entropy in one-dimensional systems,” Journal of Statistical Mechanics: Theory and Experiment 2005, P04010 (2005). doi:10.1088/1742-5468/2005/04/P04010
  9. P. Hayden, D. W. Leung, and A. Winter, “Aspects of generic entanglement,” Communications in Mathematical Physics 265, 95–117 (2006). doi:10.1007/s00220-006-1535-6
  10. S. Goldstein, J. L. Lebowitz, R. Tumulka, and N. Zanghì, “Canonical typicality,” Physical Review Letters 96, 050403 (2006). doi:10.1103/PhysRevLett.96.050403
  11. S. Popescu, A. J. Short, and A. Winter, “Entanglement and the foundations of statistical mechanics,” Nature Physics 2, 754–758 (2006). doi:10.1038/nphys444
  12. M. Rigol, V. Dunjko, and M. Olshanii, “Thermalization and its mechanism for generic isolated quantum systems,” Nature 452, 854–858 (2008). doi:10.1038/nature06838
  13. J. M. Deutsch, “Thermodynamic entropy of a many-body energy eigenstate,” New Journal of Physics 12, 075021 (2010). doi:10.1088/1367-2630/12/7/075021
  14. J. H. Bardarson, F. Pollmann, and J. E. Moore, “Unbounded growth of entanglement in models of many-body localization,” Physical Review Letters 109, 017202 (2012). doi:10.1103/PhysRevLett.109.017202
  15. H. Kim and D. A. Huse, “Ballistic spreading of entanglement in a diffusive nonintegrable system,” Physical Review Letters 111, 127205 (2013). doi:10.1103/PhysRevLett.111.127205
  16. M. Serbyn, Z. Papić, and D. A. Abanin, “Universal slow growth of entanglement in interacting strongly disordered systems,” Physical Review Letters 110, 260601 (2013). doi:10.1103/PhysRevLett.110.260601
  17. L. D’Alessio, Y. Kafri, A. Polkovnikov, and M. Rigol, “From quantum chaos and eigenstate thermalization to statistical mechanics and thermodynamics,” Advances in Physics 65, 239–362 (2016). doi:10.1080/00018732.2016.1198134
  18. A. M. Kaufman et al., “Quantum thermalization through entanglement in an isolated many-body system,” Science 353, 794–800 (2016). doi:10.1126/science.aaf6725
  19. A. Nahum, J. Ruhman, S. Vijay, and J. Haah, “Quantum entanglement growth under random unitary dynamics,” Physical Review X 7, 031016 (2017). doi:10.1103/PhysRevX.7.031016
  20. V. Alba and P. Calabrese, “Entanglement and thermodynamics after a quantum quench in integrable systems,” Proceedings of the National Academy of Sciences 114, 7947–7951 (2017). doi:10.1073/pnas.1703516114
  21. A. Dymarsky, N. Lashkari, and H. Liu, “Subsystem eigenstate thermalization hypothesis,” Physical Review E 97, 012140 (2018). doi:10.1103/PhysRevE.97.012140
  22. J. R. Garrison and T. Grover, “Does a single eigenstate encode the full Hamiltonian?,” Physical Review X 8, 021026 (2018). doi:10.1103/PhysRevX.8.021026
  23. V. Alba and P. Calabrese, “Entanglement dynamics after quantum quenches in generic integrable systems,” SciPost Physics 4, 017 (2018). doi:10.21468/SciPostPhys.4.3.017
  24. T.-C. Lu and T. Grover, “Renyi entropy of chaotic eigenstates,” Physical Review E 99, 032111 (2019). doi:10.1103/PhysRevE.99.032111
  25. T. Zhou and A. Nahum, “Emergent statistical mechanics of entanglement in random unitary circuits,” Physical Review B 99, 174205 (2019). doi:10.1103/PhysRevB.99.174205
  26. C. Murthy and M. Srednicki, “Structure of chaotic eigenstates and their entanglement entropy,” Physical Review E 100, 022131 (2019). doi:10.1103/PhysRevE.100.022131