Entanglement and Criticality
Entanglement criticality is the use of subsystem entropies and related reduced-state data to identify, characterize, and test a quantum critical regime. In one spatial dimension, the ground-state entropy of an interval grows logarithmically at a conformal critical point, and the coefficient of that logarithm determines the conformal central charge. Away from criticality, a finite physical correlation length cuts off the growth. In numerical tensor-network states, finite bond dimension introduces another cutoff even when the exact state is critical.
The resulting method is powerful because it does not require a local order parameter. It is also easy to misuse. A trustworthy inference must distinguish:
- the physical correlation length set by the Hamiltonian;
- the finite system size ;
- the subsystem size and its geometry;
- the finite-entanglement correlation length of an approximate state;
- ultraviolet and boundary corrections;
- and genuine ground-state entanglement from thermal or classical mixed-state entropy.
The slogan “entropy is logarithmic at criticality” is only the beginning. The geometry-dependent coefficient, the finite-size chord, the scaling window, and the competing infrared cutoffs carry the quantitative content.
Canonical Scope
Section titled “Canonical Scope”This page owns the inference problem: how entanglement data are used to test one-dimensional criticality, extract a central charge, locate a transition, and separate finite-size from finite-entanglement scaling.
Neighboring pages retain the canonical treatments of the ingredients:
- Entanglement Entropy in Many-Body Systems defines spatial von Neumann and Rényi entropies and surveys their scaling across state classes.
- Quantum Phase Transitions defines phases and transitions and explains why finite systems remain smooth.
- Critical Exponents and Scaling owns the general finite-size-scaling formalism, correction fields, pseudocritical drift, and data-collapse statistics.
- Matrix Product States Preview owns MPS tensors, canonical gauges, Schmidt truncation, and transfer operators.
- Entanglement Spectrum owns level-resolved reduced-state structure and boundary-CFT tower interpretations.
- Luttinger Liquid Preview owns the compact-boson theory, the Luttinger parameter, and the operator exponents along a common critical line.
The conformal formulas needed for inference are stated here with their domains of validity. A full derivation of conformal field theory, twist fields, and operator content belongs to the field-theory volumes.
Setup and Convention Ledger
Section titled “Setup and Convention Ledger”Consider a one-dimensional Hamiltonian depending on a control parameter . Unless stated otherwise, assume:
- a pure ground state ;
- a lattice spacing or short-distance regulator ;
- a contiguous interval of length ;
- natural logarithms, so entropy is measured in nats;
- a clean, short-range system whose critical point has a unitary relativistic continuum limit;
- and a nonchiral -dimensional conformal field theory with central charge .
The reduced state and its Rényi entropies are
with von Neumann limit
Three lengths must not be conflated:
At an exact continuous critical point, . A finite calculation still has an infrared cutoff supplied by , , temperature, or another perturbation. The smallest relevant scale usually controls the first crossover, but replacing all crossover functions by a literal minimum is only a mnemonic.
Why Criticality Changes Spatial Entanglement
Section titled “Why Criticality Changes Spatial Entanglement”For a generic one-dimensional gapped ground state of a local Hamiltonian, correlations decay over a finite length and the interval entropy approaches a constant once both and its complement are large compared with . This is the one-dimensional area-law pattern: the boundary of a connected interval consists of a fixed number of points.
At a scale-invariant critical point, degrees of freedom remain correlated on every scale between the regulator and the infrared cutoff. Each logarithmic band of length scales contributes a comparable amount to the entanglement across the cut. Summing those contributions gives
This picture explains the logarithm but not its universal coefficient. Conformal symmetry fixes that coefficient in terms of and the number and geometry of entangling points.
The implication is one-way unless supporting assumptions are established:
A clean one-dimensional ground state governed by a unitary -dimensional CFT has a specific logarithmic entropy law. Observing an approximate logarithm over a short range does not by itself prove conformal criticality.
Logarithms can also arise from Fermi surfaces, disorder-controlled fixed points, corners in higher dimensions, mixtures, crossovers, or fitting artifacts.
Replica and Twist-Field Preview
Section titled “Replica and Twist-Field Preview”The Rényi entropy is convenient because integer moments can be represented by replicated copies sewn cyclically along . For one interval on an infinite line, the endpoints act as branch points. In a conformal description they are represented by twist fields with total scaling dimension
Their two-point function gives
where is nonuniversal. Substitution into the Rényi definition yields
The additive constant
depends on the microscopic regulator and normalization. It is not a universal observable. The coefficient of the logarithm is universal within the stated geometry and universality class.
Taking gives
The interval has two entangling points. A half-infinite bipartition or a block attached to a physical boundary has one, which is the origin of several factors of two below.
Finite Periodic Chains and the Chord Length
Section titled “Finite Periodic Chains and the Chord Length”For a periodic chain of circumference , the conformal map from the plane to the cylinder replaces the interval length by the chord length
The finite-size Rényi formula is
Here collects finite-size, lattice, irrelevant-operator, and numerical corrections. For the von Neumann entropy,
The formula automatically satisfies the pure-state symmetry
At half chain,
Fitting directly against across an appreciable fraction of a finite ring bends a known geometric effect into the inferred slope. The chord length is not an optional correction; it is the leading conformal prediction for that geometry.
Open Chains and Boundary Entropy
Section titled “Open Chains and Boundary Entropy”For an open chain of length , let be the interval from one physical end to a cut at . There is one entangling point. Define the open-chain chord
For conformal boundary conditions,
The constant depends on microscopic conventions. The quantity is the Affleck–Ludwig boundary entropy for the boundary condition encountered by the conformal problem. Extracting it requires matching regulator-dependent constants or comparing controlled boundary conditions; it cannot be read reliably from one unconstrained intercept.
For , the leading logarithmic coefficient is , half the periodic-interval coefficient . This factor reflects one entangling point rather than two.
The formula above is specifically for a block attached to a physical end. An interval floating inside an open chain has a different boundary-CFT geometry and generally involves more than the simple one-point expression. Choosing the wrong formula can produce a numerically plausible but physically meaningless “central charge.”
Gapped Crossover Near a Critical Point
Section titled “Gapped Crossover Near a Critical Point”Suppose approaches a continuous critical point from a gapped phase and
For an interval much larger than in an infinite system, the entropy saturates. Near a relativistic conformal critical point, its singular part scales as
where is the number of entangling points. For the von Neumann entropy,
Thus an interval in an infinite line has and leading coefficient , while a half-infinite cut has and coefficient .
The frequently written interpolation
captures the limiting scales for a two-ended interval, but it is not the universal crossover function. Quantitative fits should use an appropriate scaling ansatz rather than differentiate or optimize this mnemonic.
Entanglement scaling is an infrared ledger. A gapped state saturates when exceeds , whereas a conformal critical state grows logarithmically. A finite ring replaces by its chord . In numerical work, the relevant regime depends on the ordering of , , and the MPS correlation length .
What the Central Charge Does and Does Not Identify
Section titled “What the Central Charge Does and Does Not Identify”In a two-dimensional conformal field theory, the central charge appears in the Virasoro algebra, the trace anomaly, the finite-size ground-state energy, and the interval-entanglement coefficient. It is a universal property of the fixed point.
Operationally, measures aspects of the low-energy degrees of freedom, but it is not simply a count of microscopic particles or lattice fields. Standard examples include:
The last two entries illustrate an essential limitation: alone does not determine the operator content, compactification radius, symmetries, boundary conditions, or universality class. Along a Luttinger-liquid fixed line, remains fixed while the Luttinger parameter and correlation exponents vary continuously.
A central-charge estimate is therefore a consistency test and classifier, not a complete identification. It should be combined with spectra, correlations, symmetry sectors, scaling dimensions, and phase diagnostics.
Extracting the Central Charge
Section titled “Extracting the Central Charge”Profile fit on a periodic ring
Section titled “Profile fit on a periodic ring”Define
Ignoring the cutoff inside the intercept, the leading fit is
with
Hence
For ,
A fit should exclude intervals comparable to , include the covariance of entropies computed from the same state, and be repeated over several minimum-block and maximum-block windows. A small least-squares residual does not validate the CFT model if the window contains too few distinct scales.
Difference estimator
Section titled “Difference estimator”Taking a difference removes the nonuniversal constant. For two intervals on the same periodic chain,
For the von Neumann entropy,
This estimator is useful for visualization, but it is not automatically more accurate than a global fit. Differences amplify numerical noise, and nearby points can make the denominator small. A plateau under changing pairs and sizes is more meaningful than one favorable value.
Half-chain differences across sizes
Section titled “Half-chain differences across sizes”For periodic chains with the same microscopic model and boundary sector, define
Then
For this becomes
For a half-chain cut in open systems, define
The leading coefficient is half as large, so
The boundary conditions and ground-state sector must match between sizes. Otherwise boundary entropies, edge modes, parity changes, or sector crossings need not cancel.
Rényi consistency
Section titled “Rényi consistency”The leading conformal slope predicts the full dependence
Agreement of several Rényi orders with a common is stronger evidence than agreement of one entropy. It is not an exact finite-size requirement: branch-point corrections often depend strongly on , and large- entropies are especially sensitive to the largest Schmidt values and truncation errors.
Locating a Critical Point with Entanglement
Section titled “Locating a Critical Point with Entanglement”Let tune a Hamiltonian through a candidate critical point. Several entanglement-based pseudocritical estimators are common:
- the location of a maximum in the half-chain entropy;
- the location at which an interval profile best fits the conformal chord formula;
- the location of a peak or crossing in an effective central charge;
- the location at which versus is most nearly linear;
- or the location of a feature in an entanglement-spectrum gap.
Each estimator is finite-size, finite-bond, and definition dependent. Write its result as
where records boundary conditions, symmetry sector, subsystem convention, and estimator. The thermodynamic critical coupling is inferred only after controlled limits.
A local maximum of entropy is neither necessary nor sufficient for a continuous transition. It can be shifted by boundaries, occur inside a gapless phase, be rounded by a finite bond dimension, or arise at an avoided crossing. Conversely, symmetry constraints or competing corrections can make the expected maximum too broad to resolve.
The defensible claim is comparative:
A candidate is supported when several sizes and bond dimensions approach a common point, the entropy profile has the geometry-correct conformal form there, the inferred stabilizes, and independent spectral or correlation diagnostics agree.
Finite-Size Scaling of the Entropy
Section titled “Finite-Size Scaling of the Entropy”For an ordinary continuous transition with one relevant tuning field
the physical correlation length scales as
At a periodic half-chain cut and sufficiently large bond dimension, a useful finite-size ansatz is
The constant has been absorbed into . A convenient subtracted observable is
If the assumed , , , and correction model are appropriate, data at different can collapse when plotted against . Such a collapse is conditional evidence, not a visual proof. The same data determine several fitted parameters and are strongly correlated across nearby and .
For an estimator whose extremum tracks a fixed scaling argument,
at leading order. Irrelevant fields and nonlinear scaling variables modify this drift:
This power law is not universal across all transition types. The Critical Exponents and Scaling page gives the canonical treatment of drift, correction exponents, covariance, and model comparison.
Entropy derivatives
Section titled “Entropy derivatives”Differentiating the scaling ansatz suggests
when the leading derivative does not vanish. In practice, numerical differentiation amplifies state-optimization error, interpolation error, and parameter-grid noise. A derivative peak should be fitted jointly with its width and drift and checked against direct profile fits.
The derivative can also be constrained by symmetries. If is locally even in the relevant scaling field, then and the leading derivative test fails despite genuine criticality.
Transitions That Need Different Logic
Section titled “Transitions That Need Different Logic”First-order transitions
Section titled “First-order transitions”At a first-order quantum transition, finite systems often show an avoided crossing. A symmetric finite-volume ground state can become a superposition of macroscopically distinct states, adding an approximately constant “cat-state” contribution such as . This can create an entropy peak without a conformal logarithm.
Evidence for first-order behavior should instead examine level crossings or exponentially small avoided gaps, discontinuous observables, phase coexistence, and size scaling appropriate to the boundary conditions. Fitting a central charge to a few sizes near a crossing can return a number even when no critical CFT exists.
Berezinskii–Kosterlitz–Thouless transitions
Section titled “Berezinskii–Kosterlitz–Thouless transitions”At a Berezinskii–Kosterlitz–Thouless transition, the correlation length has an essential singularity,
rather than a finite power-law exponent . A common pseudocritical drift is therefore logarithmic,
up to model- and estimator-dependent corrections. Treating the drift as can produce a stable but fictitious effective exponent over modest sizes.
Berezinskii–Kosterlitz–Thouless points also suffer from marginal logarithmic corrections. Entanglement can still support criticality, but locating the endpoint usually requires level spectroscopy, Luttinger-parameter criteria, stiffness, or other model-specific information.
Extended gapless phases
Section titled “Extended gapless phases”In a Luttinger liquid, an entire interval of couplings can have . The entropy therefore identifies a gapless phase rather than a unique critical point. The changing physics along the line is encoded in the Luttinger parameter and scaling dimensions, not in .
A broad plateau is expected evidence in this setting. Selecting its largest entropy as “the” transition point discards the fixed-line structure.
Disorder and nonstandard fixed points
Section titled “Disorder and nonstandard fixed points”At random critical points, disorder-averaged entropies can have logarithmic coefficients described by an effective central charge that is not the ordinary central charge of a clean unitary CFT. Long-range interactions, nonrelativistic fixed points with , nonunitary theories, and Lifshitz points can also modify the standard formulas.
The assumptions behind the conformal estimator must therefore be tested before interpreting its slope as .
Finite-Entanglement Scaling
Section titled “Finite-Entanglement Scaling”An infinite uniform MPS with finite bond dimension has a transfer operator with a discrete spectrum. If its two leading eigenvalues in magnitude are and , normalized so , then
For a generic injective finite- MPS, connected correlations are asymptotically exponential. It therefore cannot exactly reproduce an infinite critical state with algebraic correlations. Variational optimization responds by making grow with .
At a one-dimensional conformal critical point, the half-chain entropy obeys the finite-entanglement relation
The factor corresponds to one entangling cut. This equation is one of the most useful numerical central-charge estimators because it uses the measured infrared scale rather than assuming how that scale depends on .
For two well-converged bond dimensions,
A global fit of against is preferable to a single pair. One should vary the smallest retained , verify transfer-spectrum convergence, and check more than one MPS unit cell or symmetry implementation.
Bond-dimension exponent
Section titled “Bond-dimension exponent”For optimized MPS approximations in the asymptotic conformal regime,
Finite-entanglement theory predicts
Combining this result with gives
or equivalently
These expressions are asymptotic predictions based on the conformal reduced-density-matrix spectrum and an optimized finite-entanglement approximation. They are not kinematic identities for every arbitrary MPS of bond dimension . Preasymptotic behavior depends on algorithm, unit cell, symmetry constraints, initialization, and the operator content that controls corrections.
Consequently, fitting directly against is less assumption-light than fitting against the measured .
Finite-size versus finite-entanglement regimes
Section titled “Finite-size versus finite-entanglement regimes”At the exact critical coupling, a finite periodic MPS calculation depends on the ratio
For the half-chain Rényi entropy, a crossover form is
The limiting regimes are:
- Finite-size regime: if , then .
- Finite-entanglement regime: if , then .
In the second limit, the crossover function must behave schematically as
so that the explicit cancels and the entropy saturates at the finite-entanglement scale.
Off criticality, the physical correlation length supplies a third ratio. A general scaling description may be organized as
The two arguments distinguish:
- physical saturation, ;
- finite-size scaling, ;
- finite-entanglement scaling, ;
- and crossover regions where no single one-variable fit is adequate.
Scaling other observables with the MPS correlation length
Section titled “Scaling other observables with the MPS correlation length”If an observable has critical scaling dimension , finite-entanglement scaling suggests
At ,
This provides an independent check: the same that organizes the entropy should organize order parameters, gaps, and correlations with mutually consistent scaling dimensions. An entropy-only fit leaves more room for accidental agreement.
Correction Ledger
Section titled “Correction Ledger”The leading conformal expression should be treated as the first term of a controlled asymptotic model. A practical periodic-chain fit may take the form
This is a modeling template, not a universal formula with arbitrary free exponents. The allowed oscillations and correction powers should be motivated by symmetry, filling, boundary condition, and low-energy operator content.
Ultraviolet points
Section titled “Ultraviolet points”Blocks with only a few lattice spacings long do not lie in the continuum regime. The complementary endpoint has the same problem. Removing these points is not cherry-picking if the exclusion rule is stated before fitting and stability is shown as the cutoff changes.
Irrelevant operators
Section titled “Irrelevant operators”Irrelevant bulk and boundary operators produce algebraic corrections. Their powers can differ from those in ordinary thermodynamic observables because Rényi replicas contain conical branch points. For some , branch-point operators generate “unusual” correction exponents that dominate the naive irrelevant-field term.
This is why forcing every Rényi order to share one correction power can bias the common central charge even when their leading slopes are correct.
Marginally irrelevant operators
Section titled “Marginally irrelevant operators”Marginally irrelevant couplings generate slow logarithmic drift. The isotropic antiferromagnetic Heisenberg chain is a standard example. A fitted can approach so slowly that a constant-plus-power correction looks convincing over accessible sizes.
One should compare logarithmic and power-correction models, use model-specific field-theory information when available, and report the remaining extrapolation uncertainty.
Parity and Friedel oscillations
Section titled “Parity and Friedel oscillations”Open boundaries break translation symmetry and can induce alternating bond energies and entanglement entropies. In critical XXZ chains, even and odd cuts can form visibly distinct branches. Averaging them blindly can create a curved profile and a biased slope.
Defensible options include:
- fitting parity sectors separately with a common leading ;
- including an oscillatory correction with a theoretically motivated wavevector;
- or restricting to a symmetry-related subsequence and reporting that choice.
Sector and degeneracy effects
Section titled “Sector and degeneracy effects”Changing system size can change the lowest-energy momentum, parity, particle-number sector, or edge-state occupation. A nearly degenerate finite-size manifold can contribute constants or discontinuities unrelated to the bulk central charge.
The state-selection rule must be fixed across sizes. If a symmetry-broken branch and a symmetric cat state are both studied, their entropy difference should be interpreted as sector structure rather than as a changed critical coefficient.
Numerical optimization error
Section titled “Numerical optimization error”Entropy is often more sensitive to small Schmidt values than the energy. A state can have a highly converged energy while its Rényi entropies, correlation length, and entanglement spectrum still drift with .
For each data point, monitor at least:
- energy variance or another stationarity measure;
- discarded weight where meaningful;
- canonical-form residuals;
- transfer-spectrum convergence;
- entropy stability under larger ;
- and dependence on initialization, unit cell, and symmetry constraints.
Finite Temperature Is a Different Observable
Section titled “Finite Temperature Is a Different Observable”For a thermal state, contains both quantum entanglement and ordinary mixed-state entropy. In an infinite -dimensional CFT at inverse temperature , the interval Rényi entropy has the form
where is the critical velocity. For , the zero-temperature logarithm is recovered. For , the entropy grows extensively:
That linear term is thermal entropy, not a volume law of pure-state entanglement. Mutual information cancels the leading uncorrelated thermal contribution and can be a useful correlation diagnostic, but it is still not generally an entanglement measure for mixed states. See Thermal Entropy vs Entanglement Entropy for the canonical distinction.
Beyond One Dimension
Section titled “Beyond One Dimension”The logarithm is special to one-dimensional conformal criticality. In , the leading entropy of a smooth region usually remains an area term,
even at a critical point. The coefficient is regulator dependent and cannot be used like the one-dimensional central-charge slope.
Universal information can instead appear in:
- logarithmic corner or curvature terms;
- constant terms for special geometries;
- shape dependence;
- sphere entanglement and related monotonic quantities;
- or logarithmic violations associated with a Fermi surface.
Those observables require their own geometry and subtraction schemes. Applying the one-dimensional chord formula to a narrow cylinder or two-dimensional cluster without a controlled dimensional reduction has no general justification.
Benchmark I: Critical Ising Chain
Section titled “Benchmark I: Critical Ising Chain”The transverse-field Ising chain at its continuous critical point is described by the Ising CFT,
For a periodic chain, the von Neumann interval profile has slope
when plotted against . The periodic half-chain entropy therefore scales as
For an infinite MPS, the half-chain finite-entanglement relation is
The asymptotic bond-dimension exponent is
Consequently,
These three slopes test the same theory in different geometries and against different infrared controls. Their agreement is a strong benchmark for a numerical pipeline.
Benchmark II: XXZ Critical Line
Section titled “Benchmark II: XXZ Critical Line”For the spin- XXZ chain in its standard gapless regime,
the continuum theory is a compact boson with
The periodic von Neumann slope is therefore
and the infinite-MPS half-chain slope against is
The finite-entanglement exponent is
Along this whole critical line, remains while the Luttinger parameter changes. Open chains display parity oscillations, and the isotropic point has strong marginal logarithmic corrections. The model is therefore both a benchmark and a warning: a correct leading central charge does not remove the need to model subleading physics.
A Reliable Analysis Workflow
Section titled “A Reliable Analysis Workflow”- Define the state. Record Hamiltonian parameters, temperature, symmetry sector, boundary conditions, unit cell, and how degeneracies are resolved.
- Choose the geometry formula. Distinguish a periodic interval, a boundary-attached open interval, a half-infinite cut, and more complicated multipartite regions.
- Converge the state before fitting. Vary bond dimension, solver tolerance, initialization, and unit cell. Check entropy and transfer spectra, not energy alone.
- Collect a profile, not one number. Measure several , several , and where relevant several Rényi orders and values.
- Set an asymptotic window. Exclude ultraviolet blocks and endpoint regions by a stated rule. Separate parity branches when boundaries induce oscillations.
- Fit nested models. Compare the leading CFT law with plausible correction terms. Use correlated uncertainties or resampling when the same state generates many data points.
- Vary the window. Report how , , and correction parameters change when small sizes, small blocks, or low bond dimensions are removed.
- Separate regimes. Use and to decide whether a point belongs to finite-size scaling, finite-entanglement scaling, physical saturation, or crossover.
- Cross-check the theory. Compare entropy-derived with finite-size energies, gaps, correlations, scaling dimensions, and known symmetries where possible.
- State the inference narrowly. “Consistent with a conformal regime over these scales” is stronger science than declaring a universality class from one slope.
Evidence matrix
Section titled “Evidence matrix”| Claim | Entanglement evidence | Independent check |
|---|---|---|
| Gapped phase | entropy saturation with and convergence in | finite gap or exponential correlations |
| One-dimensional CFT | chord-length logarithm across sizes | algebraic correlations and conformal finite-size spectrum |
| Central charge | stable common slope across windows and Rényi orders | Casimir energy or level counting |
| Critical coupling | convergent pseudocritical sequence | gap, order, stiffness, or dimensionless crossing |
| Finite-entanglement regime | and | observable scaling with the same |
| Extended gapless phase | stable over a coupling interval | continuously varying correlation exponents |
Common Mistakes
Section titled “Common Mistakes”- Treating any entropy maximum as proof of a continuous quantum phase transition.
- Fitting a finite periodic chain against instead of .
- Using the periodic coefficient for a boundary-attached interval with one entangling point.
- Mixing natural logarithms and base- logarithms without converting the fitted slope.
- Interpreting the additive constant as universal without a controlled subtraction.
- Keeping blocks of one or two lattice spacings in a continuum CFT fit.
- Averaging even and odd cuts when boundary oscillations are visible.
- Reporting a two-point effective central charge without size and window stability.
- Fitting versus while assuming the asymptotic relation in a preasymptotic bond range.
- Calling finite- exponential decay a physical mass gap without varying .
- Using a power-law pseudocritical drift at a Berezinskii–Kosterlitz–Thouless transition.
- Identifying a complete universality class from alone.
- Comparing sizes that occupy different symmetry, momentum, parity, or edge-state sectors.
- Treating the entropy of a thermal reduced state as pure-state entanglement.
- Accepting energy convergence as sufficient evidence that entanglement data are converged.
Exercises
Section titled “Exercises”1. Derive the Rényi coefficient from twist fields
Section titled “1. Derive the Rényi coefficient from twist fields”Suppose an interval in an infinite critical chain satisfies
Derive and take the limit .
Solution
By definition,
Taking the logarithm gives
The rational factor simplifies because
Therefore
where
Assuming the normalization constants have a smooth von Neumann limit,
Hence
2. A chord-length central-charge estimate
Section titled “2. A chord-length central-charge estimate”On a periodic chain with , the measured von Neumann entropies satisfy
Ignore corrections and estimate . Why would replacing the chord ratio by bias the answer?
Solution
The chord ratio is
The difference estimator gives
Using the raw length ratio would give
The raw ratio treats the finite ring as an infinite line. At , the distinction is already large enough to cause a substantial systematic error.
3. Count entangling points
Section titled “3. Count entangling points”Compare the von Neumann entropy of:
- an interval of length in an infinite critical line;
- a boundary-attached interval of length in a semi-infinite critical line;
- a half-infinite bipartition whose physical correlation length is large but finite.
State the leading logarithmic coefficient in each case and explain the factors of two.
Solution
An interval in an infinite line has two entangling points, so
A boundary-attached interval has one entangling point. For a semi-infinite critical system,
The factor inside the logarithm changes only the additive constant. The universal slope is .
For a gapped half-infinite bipartition close to criticality, the physical correlation length replaces the interval scale:
The universal coefficient is per entangling point in the von Neumann limit. Two entangling points give twice that value.
4. Finite-entanglement numbers for the Ising CFT
Section titled “4. Finite-entanglement numbers for the Ising CFT”For , compute:
- the predicted exponent in ;
- the slope of versus ;
- the slope of versus .
Solution
The bond-dimension exponent is
The half-chain entropy scales with the measured correlation length as
so its slope is
Combining the two relations gives the slope against :
The first and third numbers rely on the asymptotic theory. The slope against measured requires fewer assumptions and is usually the cleaner numerical test.
5. Classify the infrared regime
Section titled “5. Classify the infrared regime”For each triplet , identify the dominant infrared cutoff and the most appropriate leading analysis:
Solution
In case A,
The system size is the first infrared cutoff. This is primarily a finite-size-scaling point. One should fit the finite-chain chord formula and still verify that increasing leaves the result stable.
In case B,
The physical correlation length is shortest. Entropy saturation is physical, provided itself has converged with . A critical finite-size fit is inappropriate.
In case C,
Finite bond dimension is the first cutoff. This is a finite-entanglement-scaling point. The natural variable is the measured , and increasing alone will not restore critical behavior.
Near equalities such as define crossover regions. The simple classification then fails and a two-variable scaling form is needed.
6. Audit an open-chain fit
Section titled “6. Audit an open-chain fit”An open XXZ-chain calculation fits all cuts to
and obtains with a small residual. A plot shows alternating even- and odd- branches. Explain why the quoted uncertainty from the one-line fit is not credible and propose a better analysis.
Solution
The leading open-chain coefficient is appropriate for a boundary-attached block, but the residual structure violates the fitted model. Open XXZ chains can have parity-oscillating entanglement corrections whose amplitude decays algebraically. Combining the branches forces the shared slope and intercept to absorb part of the oscillation.
A better analysis should:
- verify that the block is attached to the physical boundary;
- exclude ultraviolet and opposite-end points by a stated cutoff;
- fit even and odd cuts separately with a common leading ;
- alternatively include a theoretically motivated oscillatory term;
- repeat the fit over several and window choices;
- test bond-dimension convergence of both branches;
- include marginal logarithmic corrections near the isotropic point;
- and compare with correlation or spectral evidence for .
The small residual only says that the misspecified model follows the sampled points closely in an aggregate sense. It does not include systematic uncertainty from parity structure, window choice, or correction terms.
7. Derive Berezinskii–Kosterlitz–Thouless drift
Section titled “7. Derive Berezinskii–Kosterlitz–Thouless drift”Suppose
where . Estimate the finite-size pseudocritical drift by imposing .
Solution
Setting the correlation length equal to the system size gives
Taking logarithms,
Therefore
Allowing nonuniversal matching corrections leads to the common form
This logarithmic drift is parametrically slower than . Over a modest size range, either fit may look smooth, so transition-specific theory and independent diagnostics are essential.
8. Separate thermal growth from entanglement growth
Section titled “8. Separate thermal growth from entanglement growth”Starting from
derive the large- behavior and explain why its linear term is not a pure-state volume law.
Solution
For
one has
Therefore
Substitution gives
The global thermal state is mixed. Consequently, measures uncertainty internal to as well as correlations with its complement. The extensive term agrees with thermodynamic Rényi entropy density and survives even when distant subregions share negligible quantum entanglement.
A pure-state volume law instead concerns the reduced entropy of a globally pure state, for which . At finite temperature that equality generally fails. Mutual information can remove leading independent thermal contributions, but a dedicated mixed-state entanglement measure is required to quantify entanglement itself.
Key Takeaways
Section titled “Key Takeaways”- A clean one-dimensional conformal critical ground state has interval entropies whose logarithmic coefficient is fixed by the central charge.
- Geometry is part of the result: periodic intervals use the conformal chord, while a boundary-attached interval has half the leading coefficient because it has one entangling point.
- The central charge is a universal consistency check but does not uniquely determine the full universality class.
- Entanglement maxima and effective-central-charge peaks define pseudocritical estimators, not transition proofs.
- Finite system size, physical correlation length, and MPS correlation length are distinct infrared scales.
- For infinite MPS calculations, fitting against the measured is generally safer than fitting against .
- Irrelevant operators, replica branch points, marginal couplings, boundaries, parity oscillations, sector changes, and optimization error can all bias a leading-log fit.
- First-order, Berezinskii–Kosterlitz–Thouless, disordered, nonrelativistic, and higher-dimensional critical points require modified logic.
- A trustworthy claim combines entanglement scaling with spectral, correlation, symmetry, and convergence evidence.
References
Section titled “References”- C. Holzhey, F. Larsen, and F. Wilczek, “Geometric and Renormalized Entropy in Conformal Field Theory”, Nuclear Physics B 424, 443–467 (1994).
- I. Affleck and A. W. W. Ludwig, “Universal Noninteger ‘Ground-State Degeneracy’ in Critical Quantum Systems”, Physical Review Letters 67, 161–164 (1991).
- G. Vidal, J. I. Latorre, E. Rico, and A. Kitaev, “Entanglement in Quantum Critical Phenomena”, Physical Review Letters 90, 227902 (2003).
- P. Calabrese and J. Cardy, “Entanglement Entropy and Quantum Field Theory”, Journal of Statistical Mechanics P06002 (2004).
- B.-Q. Jin and V. E. Korepin, “Quantum Spin Chain, Toeplitz Determinants and the Fisher–Hartwig Conjecture”, Journal of Statistical Physics 116, 79–95 (2004).
- G. Refael and J. E. Moore, “Entanglement Entropy of Random Quantum Critical Points in One Dimension”, Physical Review Letters 93, 260602 (2004).
- N. Laflorencie, E. S. Sørensen, M.-S. Chang, and I. Affleck, “Boundary Effects in the Critical Scaling of Entanglement Entropy in 1D Systems”, Physical Review Letters 96, 100603 (2006).
- M. B. Hastings, “An Area Law for One-Dimensional Quantum Systems”, Journal of Statistical Mechanics P08024 (2007).
- P. Calabrese and A. Lefevre, “Entanglement Spectrum in One-Dimensional Systems”, Physical Review A 78, 032329 (2008).
- L. Tagliacozzo, T. R. de Oliveira, S. Iblisdir, and J. I. Latorre, “Scaling of Entanglement Support for Matrix Product States”, Physical Review B 78, 024410 (2008).
- F. Pollmann, S. Mukerjee, A. M. Turner, and J. E. Moore, “Theory of Finite-Entanglement Scaling at One-Dimensional Quantum Critical Points”, Physical Review Letters 102, 255701 (2009).
- P. Calabrese and J. Cardy, “Entanglement Entropy and Conformal Field Theory”, Journal of Physics A 42, 504005 (2009).
- P. Calabrese, M. Campostrini, F. Essler, and B. Nienhuis, “Parity Effects in the Scaling of Block Entanglement in Gapless Spin Chains”, Physical Review Letters 104, 095701 (2010).
- J. Cardy and P. Calabrese, “Unusual Corrections to Scaling in Entanglement Entropy”, Journal of Statistical Mechanics P04023 (2010).
- J. C. Xavier, “Entanglement Entropy, Conformal Invariance and the Critical Behavior of the Anisotropic Spin- Heisenberg Chains: A DMRG Study”, Physical Review B 81, 224404 (2010).
- E. Eriksson and H. Johannesson, “Corrections to Scaling in Entanglement Entropy from Boundary Perturbations”, Journal of Statistical Mechanics P02008 (2011).
- B. Pirvu, G. Vidal, F. Verstraete, and L. Tagliacozzo, “Matrix Product States for Critical Spin Chains: Finite-Size versus Finite-Entanglement Scaling”, Physical Review B 86, 075117 (2012).
- V. Stojevic, J. Haegeman, I. P. McCulloch, L. Tagliacozzo, and F. Verstraete, “Conformal Data from Finite Entanglement Scaling”, Physical Review B 91, 035120 (2015).
- N. Laflorencie, “Quantum Entanglement in Condensed Matter Systems”, Physics Reports 646, 1–59 (2016).
- J. Eisert, M. Cramer, and M. B. Plenio, “Area Laws for the Entanglement Entropy”, Reviews of Modern Physics 82, 277–306 (2010).
- B. Swingle, “Entanglement Entropy and the Fermi Surface”, Physical Review Letters 105, 050502 (2010).
- P. Bueno, R. C. Myers, and W. Witczak-Krempa, “Universality of Corner Entanglement in Conformal Field Theories”, Physical Review Letters 115, 021602 (2015).
Cross-Links
Section titled “Cross-Links”- Entanglement Entropy in Many-Body Systems — definitions, state-class scaling laws, and computational routes.
- Matrix Product States Preview — bond dimension, canonical forms, transfer spectra, and convergence controls.
- Entanglement Spectrum — level-resolved Schmidt structure and conformal tower information.
- Area Laws — gapped one-dimensional scaling and the limits of area-law heuristics.
- Mutual Information in Many-Body Systems — total-correlation diagnostics at zero and nonzero temperature.
- Thermal Entropy vs Entanglement Entropy — pure-state, mixed-state, and thermodynamic entropy distinctions.
- Quantum Phase Transitions — phase definitions, gap closing, and finite-volume diagnostics.
- Critical Exponents and Scaling — general finite-size scaling, corrections, drift, and data-collapse standards.
- Universality — fixed-point data and what universal agreement does and does not establish.
- Renormalization Group Preview — relevant, irrelevant, and marginal perturbations.
- Transverse-Field Ising Model — the canonical benchmark.
- XXZ Spin Chain — the critical line, boundary oscillations, and marginal corrections.
- Luttinger Liquid Preview — compact-boson criticality and the distinction between and the Luttinger parameter.
- Connected Correlation Functions — physical and transfer-matrix correlation lengths.
- Boundary Conditions on Lattices — open, periodic, twisted, and finite-size geometries.
- Entanglement in QFT Preview — regulator dependence and the field-theory viewpoint.
- Computational Quantum Mechanics Roadmap — convergence, uncertainty, reproducibility, and benchmark design.