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:
with a nonzero entropy density . On a lattice, is the number of sites or unit cells in . For a continuum theory, both 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 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
but also:
Scope and Canonical Ownership
Section titled “Scope and Canonical Ownership”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:
- Entanglement Entropy in Many-Body Systems owns the spatial-entropy definition and broad area/log/volume taxonomy.
- Thermal Entropy vs Entanglement Entropy owns the global-purity ledger, purification comparisons, canonical typicality, and the semantic distinction between thermal mixedness and pure-state entanglement.
- Area Laws owns boundary scaling, the gapped-chain theorem, and low-entanglement compression.
- Entropy in Quantum Statistical Mechanics owns ensemble and thermodynamic entropy identities.
- Variational Many-Body States owns explicit variational families and their optimization.
- Later pages in this chapter own entanglement spectra, many-body mutual information, and tensor networks in greater depth. Operator Entanglement and Scrambling Preview owns the distinct entanglement of vectorized operators and the inference ledger.
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.
Convention Ledger
Section titled “Convention Ledger”Entropy units
Section titled “Entropy units”Use natural logarithms:
Entropy is dimensionless and measured in nats. Physical thermodynamic entropy is
For bits, divide every natural-log entropy by .
Volumes and fractions
Section titled “Volumes and fractions”Let the full lattice contain sites, with
Define the subsystem fraction
The same symbol 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 ,
in the unconstrained tensor-product Hilbert space.
Pure and mixed notation
Section titled “Pure and mixed notation”For a pure global vector,
Its reduced entropy
is entanglement entropy and satisfies
For a mixed global state , is subsystem entropy. It is not, by itself, an entanglement measure.
Defining a Volume Law
Section titled “Defining a Volume Law”Vanishing subsystem fraction
Section titled “Vanishing subsystem fraction”The clean thermodynamic definition uses regions that grow while remaining a vanishing fraction of the whole:
A volume law holds when
The limit must declare:
- the state family;
- energy or temperature;
- conserved densities;
- region shape;
- boundary conditions;
- logarithm base;
- regulator or local truncation.
Fixed subsystem fraction
Section titled “Fixed subsystem fraction”For
the subsystem is itself extensive. The natural finite-fraction scaling is
For a homogeneous globally pure state with one entropy density on the smaller side,
For a homogeneous mixed thermal state,
at leading order.
The two functions agree for small when
but their endpoints differ:
This endpoint test is more discriminating than the phrase “volume law.”
Leading and subleading terms
Section titled “Leading and subleading terms”A practical expansion can contain
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.
Maximum density
Section titled “Maximum density”For -level sites and a pure state,
Therefore
The upper value describes a nearly maximally mixed smaller subsystem. Finite energy, symmetry sectors, and restricted Hilbert spaces generally lower the accessible density.
State-Class Roadmap
Section titled “State-Class Roadmap”Three tests for an extensive entropy. A globally pure state has a Page-like turnover because , 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 . Local unitary dynamics produces the volume-law plateau only after entanglement has propagated through the region from its boundary.
| State family | Global state | Small-region coefficient | Full-system endpoint | Mechanism |
|---|---|---|---|---|
| Haar-random vector | pure | near | zero | concentration in Hilbert space |
| Gibbs state | mixed | ensemble mixedness | ||
| chaotic eigenstate | pure | under ETH conditions | zero | eigenstate entanglement |
| thermalizing quench state | pure | late-time | zero | dynamical entanglement production |
| integrable quench state | pure | generalized-ensemble density | zero | quasiparticle pairs and conserved occupations |
| localized eigenstate | pure | often zero volume coefficient | zero | quasi-local integrals of motion |
The table lists leading expectations, not universal theorems. Each row needs its own limit and exceptions.
Haar-Random Pure States
Section titled “Haar-Random Pure States”The ensemble
Section titled “The ensemble”Let
with
A Haar-random pure state is sampled uniformly from the unit sphere using the unitarily invariant measure. In a product basis,
where the normalized coefficient matrix can be generated from independent complex Gaussian entries followed by normalization.
The reduced state is
It is a normalized Wishart-type random matrix. When is much larger than , its eigenvalues concentrate near .
Average purity
Section titled “Average purity”The exact Haar average of the purity is
For
this becomes
The maximally mixed value is . The environment dimension controls the excess purity.
Exact Page mean
Section titled “Exact Page mean”The exact mean von Neumann entropy is
Using harmonic numbers,
For large with ,
The Page deficit
is therefore approximately
At an equal bipartition,
the deficit approaches
nat. The entropy remains extensive; the correction is only .
Lattice Page curve
Section titled “Lattice Page curve”For unconstrained -level sites and
set
Then
For fixed
the correction is exponentially small in . At , it becomes the finite Page correction .
Complement symmetry supplies the other half:
Thus the leading curve is
Typical means more than average
Section titled “Typical means more than average”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 as the leading density.
Symmetry and charge constraints
Section titled “Symmetry and charge constraints”Suppose the allowed Hilbert space is a sector
It generally decomposes as
The reduced state is block diagonal in . Its entropy separates into charge uncertainty and within-sector entropy:
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.
Mixed Thermal States
Section titled “Mixed Thermal States”Global Gibbs entropy
Section titled “Global Gibbs entropy”For
the global entropy is
For a regular thermodynamic phase,
The coefficient is ordinary thermodynamic entropy density.
Subsystem volume law
Section titled “Subsystem volume law”For a regular region much larger than the thermal correlation length,
where
The exact reduced state is not generally
because crossing interactions and the environment modify its modular Hamiltonian. The bulk coefficient can agree even when the boundary operator does not.
Infinite-temperature counterexample
Section titled “Infinite-temperature counterexample”At
an unconstrained -level lattice has
For any set of sites,
This is a maximal volume law. Nevertheless,
and the global state is a product across every site partition. The entropy is local mixedness, not entanglement.
No Page turnover
Section titled “No Page turnover”For a mixed thermal state,
can continue through to
There is no complement equality
unless special conditions happen to enforce it. Instead, the Araki–Lieb inequality gives
Correlations live in the residual
Section titled “Correlations live in the residual”For a short-range thermal phase, write
Then
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.
Thermal critical and long-range caveats
Section titled “Thermal critical and long-range caveats”The expansion
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.
Chaotic Energy Eigenstates
Section titled “Chaotic Energy Eigenstates”A pure eigenstate has no global entropy
Section titled “A pure eigenstate has no global entropy”Let
The eigenstate density operator
is pure:
Its subsystem state
can nevertheless have extensive entropy. That entropy is genuine entanglement across .
From local ETH to subsystem ETH
Section titled “From local ETH to subsystem ETH”The standard eigenstate-thermalization ansatz organizes matrix elements of a sufficiently simple observable as
where
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:
where
When this approximation is controlled, it implies agreement for all bounded operators supported in , not merely one chosen observable.
Entropy density under ETH
Section titled “Entropy density under ETH”For a homogeneous chaotic eigenstate at energy density
the subsystem entropy is expected to satisfy
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 . The entropy is entanglement because the global eigenstate is pure. Both statements can be true without identifying the two global density operators.
Finite subsystem fractions
Section titled “Finite subsystem fractions”There are three distinct limits:
- Strictly local subsystem: is fixed while .
- Subextensive thermodynamic region: while .
- Extensive subsystem: .
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
The leading finite-fraction curve is therefore Page-like:
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 .
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
A finite-energy eigenstate samples a much smaller effective shell whose logarithmic dimension is
Consequently,
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
the Rényi entropy is
In an extensive subsystem of a chaotic finite-energy eigenstate, the Rényi entropy density can depend nonlinearly on . 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 , large eigenvalues of receive enhanced weight. Energy sharing between and and fluctuations across the microcanonical shell then affect the saddle point.
Therefore:
ETH evidence and limits
Section titled “ETH evidence and limits”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.
Post-Quench Volume Laws
Section titled “Post-Quench Volume Laws”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.
Global unitarity and subsystem growth
Section titled “Global unitarity and subsystem growth”Let a pure initial state evolve as
The global state remains pure:
The reduced state
does not evolve unitarily on alone. Interactions transfer initially local information into correlations across the cut, allowing to grow.
A boundary-rate constraint
Section titled “A boundary-rate constraint”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
where depends on local interaction norms, range, local dimension, and units.
Starting from a low-entanglement state,
At fixed , the contribution is boundary controlled. To build
in a region of linear size , local dynamics requires a time of order
This reconciles local production with a late-time volume law.
One-dimensional ballistic form
Section titled “One-dimensional ballistic form”For an interval of length after a homogeneous thermalizing quench, a useful leading form is
with
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 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.
Integrable quasiparticle formula
Section titled “Integrable quasiparticle formula”In a homogeneous one-dimensional integrable quench, the initial state can emit entangled quasiparticle pairs of species and rapidity . In the space-time scaling limit, an interval entropy often takes the form
Here:
- is the dressed quasiparticle velocity;
- 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,
At late times,
The plateau density is the entropy density of the appropriate stationary generalized ensemble, not necessarily a canonical Gibbs ensemble.
Chaotic growth and entanglement membranes
Section titled “Chaotic growth and entanglement membranes”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:
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
Which velocity?
Section titled “Which velocity?”Several velocities can coexist:
| Velocity | Operational meaning |
|---|---|
| upper locality-cone scale from a Lieb–Robinson bound | |
| spreading speed of an operator or out-of-time-order front | |
| coarse-grained entanglement-production speed | |
| transport speed or scale for a conserved density | |
| 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.
Saturation ensemble
Section titled “Saturation ensemble”The late-time coefficient depends on the information retained by the dynamics:
| Dynamics | Candidate plateau density |
|---|---|
| generic energy-conserving chaos | thermal or microcanonical |
| integrable Hamiltonian | generalized-ensemble or Yang–Yang entropy density |
| generic Floquet system without conservation | often infinite-temperature density |
| many-body localized system | nonthermal, initial-state-dependent density |
| fragmented dynamics | entropy density within the accessible Krylov sector |
Matching a plateau to one ensemble requires matching every exact conserved quantity and the accessible Hilbert-space sector.
Finite size and recurrences
Section titled “Finite size and recurrences”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:
after local equilibration and before recurrence physics dominates.
Time averaging can suppress fluctuations, but
is not generally equal to
Entropy is nonlinear, so the averaging protocol must be declared.
Compression and Circuit Depth
Section titled “Compression and Circuit Depth”Exponential Schmidt-rank demand
Section titled “Exponential Schmidt-rank demand”Across a cut, any exact representation with Schmidt rank satisfies
A volume law
therefore requires
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.
Time-dependent bond dimension
Section titled “Time-dependent bond dimension”If the cut entropy grows as
then exact Schmidt capacity requires
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.
Local circuit depth
Section titled “Local circuit depth”A depth- circuit of bounded-range gates acting on a product state can entangle a spatial region only through gates within distance of its boundary. Its entropy obeys a schematic bound
For a regular region of linear size ,
Producing a full spatial volume law therefore requires
with local gates. A Haar-random vector may be typical in Hilbert space while requiring a deep local circuit to prepare.
Entropy is not the whole complexity
Section titled “Entropy is not the whole complexity”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.
Exceptions and Nonthermal Volume Laws
Section titled “Exceptions and Nonthermal Volume Laws”Integrable eigenstates and quenches
Section titled “Integrable eigenstates and quenches”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:
Many-body localization
Section titled “Many-body localization”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
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.
Scars and fragmented Hilbert spaces
Section titled “Scars and fragmented Hilbert spaces”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
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.
Floquet systems
Section titled “Floquet systems”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.
Monitored and open dynamics
Section titled “Monitored and open dynamics”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:
in general.
This page focuses on closed-system volume laws; open and monitored settings require their own measurement protocol.
Long-range and nonlocal couplings
Section titled “Long-range and nonlocal couplings”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 , 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 qudits in with one qudit in :
Then
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.
Reliable Numerical Diagnosis
Section titled “Reliable Numerical Diagnosis”Step 1: write the state ledger
Section titled “Step 1: write the state ledger”Record the actual object:
Then state whether the reported entropy is global, reduced, time averaged, disorder averaged, or trajectory averaged.
Step 2: vary both region and total size
Section titled “Step 2: vary both region and total size”For each total size , compute several fractions
Inspect:
for the small-region density and
for the finite-fraction shape.
A pure Page-like curve should satisfy:
A mixed thermal curve should approach the nonzero global entropy at .
Step 3: fit competing corrections
Section titled “Step 3: fit competing corrections”Compare models such as
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.
Step 4: match the sector
Section titled “Step 4: match the sector”Resolve exact symmetries before comparing with random-state or thermal predictions. Within a fixed charge , use:
at infinite temperature, not 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.
Step 6: audit bond-dimension saturation
Section titled “Step 6: audit bond-dimension saturation”For an MPS,
across one cut. If a purported physical plateau tracks as 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 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
only after microscopic transients and before finite-size saturation. For a bulk interval with two endpoints,
The equilibrium density must be measured independently. If is replaced by 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 over a controlled window.
Common Mistakes
Section titled “Common Mistakes”- Calling an extensive mixed-state entropy entanglement. At infinite temperature, 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 with every other velocity. Information, transport, quasiparticle, and locality speeds are operationally distinct.
- Ignoring the order of limits. Fixed time followed by probes boundary growth; can reveal a volume-law plateau.
- Mistaking finite- saturation for physics. A matrix-product ansatz imposes .
- 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.
Exercises
Section titled “Exercises”1. The Page curve of a qudit chain
Section titled “1. The Page curve of a qudit chain”Consider a chain of qudits with local Hilbert-space dimension . A Haar-random pure state is drawn from the full Hilbert space. Let contain the fraction of the sites, with .
- Identify the subsystem dimensions and .
- Use the Page formula to find the leading entropy and its first correction.
- Compare the correction at fixed with the correction at .
- Extend the answer to .
Solution
For and ,
Because , one has . The large-dimension Page formula gives
Substitution yields
At any fixed , the deficit from maximal entropy is exponentially small in . At the symmetric cut,
so the deficit approaches one-half nat rather than zero.
For , global purity gives . Therefore,
The resulting tent-shaped finite-fraction curve is the Page curve of a pure random state.
2. Purity as a quick typicality bound
Section titled “2. Purity as a quick typicality bound”Let a Haar-random pure state live in with and .
- Compute the mean subsystem purity.
- Compare it with the minimum possible purity.
- Use and Jensen’s inequality to obtain a lower bound on the mean von Neumann entropy.
Solution
Lubkin’s exact average purity is
For and ,
The maximally mixed state on has purity , so the random subsystem is already close to maximally mixed.
For every density operator,
Because is convex, Jensen’s inequality gives
The maximum is . 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
Evaluate both at , , , and . Which curve can describe a globally pure state? Why can small-subsystem data alone fail to distinguish them?
Solution
The values are:
A globally pure state must obey
Thus has the required complement symmetry and endpoint. The curve instead has nonzero entropy for the whole system and is compatible with a mixed thermodynamic state.
For , 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 qudits, consider the infinite-temperature state
For a bipartition into and , compute , , , and . Is this state entangled?
Solution
The state factorizes:
Its entropies are
and
Consequently,
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 spin- sites restricted to the sector with exactly up spins, where and is an integer.
- Estimate the sector dimension for large .
- Find its entropy density.
- Compare it with the full-Hilbert-space value .
Solution
The fixed-filling sector has dimension
Stirling’s approximation gives
where
is the binary entropy. Hence
The sector entropy density is . It satisfies
with equality only at half filling, . 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 -state Hamiltonian has a chaotic eigenstate at energy density . Assume subsystem ETH applies and that the thermodynamic entropy density satisfies .
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,
For the chaotic finite-energy eigenstate, subsystem ETH instead gives
so its slope is smaller than unless the energy density corresponds to infinite temperature.
Both states are globally pure:
Both must turn over under and approach zero as . At leading order their finite-fraction curves have the Page-like forms
and
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 after a homogeneous global quench is modeled by
Take , , and in units where the lattice spacing and time unit are one.
- Find the saturation time.
- Find the plateau entropy.
- Estimate the minimum exact MPS bond dimension needed at the plateau.
Solution
Saturation occurs when the two arguments of the minimum agree:
The entropy density cancels, giving
The plateau is
Across a single MPS cut,
An exact representation therefore requires at least
This enormous lower bound explains why local observables may remain numerically converged long after direct entanglement-sensitive simulation has become impractical.
8. Diagnose atypical volume-law data
Section titled “8. Diagnose atypical volume-law data”For each observation below, state the first interpretation you would test and one additional diagnostic that could distinguish it from ordinary thermalizing dynamics.
- Highly excited eigenstates obey an area law.
- Entanglement grows approximately as after a quench and later reaches a subthermal volume law.
- A small set of finite-energy eigenstates has much lower entropy than neighboring eigenstates.
- A periodically driven system approaches the maximal entropy density within each symmetry sector.
Solution
-
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.
-
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.
-
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.
-
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.
Summary
Section titled “Summary”A volume law means that subsystem entropy has a nonzero density:
in a stated thermodynamic limit. The coefficient and the finite-fraction curve depend on the state class.
For a Haar-random pure state with , Page’s result gives
At fixed subsystem fraction, global purity imposes a turnover:
A mixed thermal state instead has
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.
References
Section titled “References”- E. Lubkin, “Entropy of an -system from its correlation with a -reservoir,” Journal of Mathematical Physics 19, 1028–1031 (1978). doi:10.1063/1.523763
- J. M. Deutsch, “Quantum statistical mechanics in a closed system,” Physical Review A 43, 2046–2049 (1991). doi:10.1103/PhysRevA.43.2046
- D. N. Page, “Average entropy of a subsystem,” Physical Review Letters 71, 1291–1294 (1993). doi:10.1103/PhysRevLett.71.1291
- 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
- M. Srednicki, “Chaos and quantum thermalization,” Physical Review E 50, 888–901 (1994). doi:10.1103/PhysRevE.50.888
- S. Sen, “Average entropy of a quantum subsystem,” Physical Review Letters 77, 1–3 (1996). doi:10.1103/PhysRevLett.77.1
- 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
- P. Calabrese and J. Cardy, “Evolution of entanglement entropy in one-dimensional systems,” Journal of Statistical Mechanics: Theory and Experiment 2005, P04010 (2005). doi:10.1088/1742-5468/2005/04/P04010
- P. 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
- S. Goldstein, J. L. Lebowitz, R. Tumulka, and N. Zanghì, “Canonical typicality,” Physical Review Letters 96, 050403 (2006). doi:10.1103/PhysRevLett.96.050403
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- A. M. Kaufman et al., “Quantum thermalization through entanglement in an isolated many-body system,” Science 353, 794–800 (2016). doi:10.1126/science.aaf6725
- A. 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
- 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
- A. Dymarsky, N. Lashkari, and H. Liu, “Subsystem eigenstate thermalization hypothesis,” Physical Review E 97, 012140 (2018). doi:10.1103/PhysRevE.97.012140
- 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
- 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
- T.-C. Lu and T. Grover, “Renyi entropy of chaotic eigenstates,” Physical Review E 99, 032111 (2019). doi:10.1103/PhysRevE.99.032111
- 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
- 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
Cross-Links
Section titled “Cross-Links”- Many-Body Entanglement Overview
- Entanglement Entropy in Many-Body Systems
- Thermal Entropy vs Entanglement Entropy
- Area Laws
- Entanglement Spectrum — probability distributions and level structure underlying extensive entropy.
- Mutual Information in Many-Body Systems — why extensive marginal entropies need not imply extensive shared correlation.
- Entropy in Quantum Statistical Mechanics
- Thermal Density Operators
- Microcanonical Ensemble
- Canonical Ensemble
- Ensemble Equivalence
- Thermodynamic Limit
- Variational Many-Body States
- Connected Correlation Functions
- Schmidt Decomposition
- Rényi Entropies
- Mutual Information
- Entanglement in Many-Body Physics