Finite-entanglement and finite-size extrapolation
Distinguish physical length, tensor-induced correlation length, and algorithmic cutoffs before fitting a many-body limit.
On this page
The question for today
What you’ll understand
- Separate finite-size and finite-entanglement correlation-length cutoffs.
- Fit a stated asymptotic correction model without treating it as a universal law.
- Design nested convergence tests for size, bond dimension, time, and contraction.
An apparently stable observable can plateau because the physical system has reached its limiting regime, or because the numerical representation has stopped resolving longer scales. Finite lattices and finite tensor dimensions both introduce cutoffs, but their mechanisms differ. Reliable extrapolation begins by identifying which cutoff dominates each data point. A visually smooth fit cannot replace that diagnosis, especially near criticality, where long correlation lengths, slow dynamics, and competing states make several limits interact.
Two different lengths can limit a calculation
A finite chain of length L quantizes momenta and lets its boundaries influence the state. An infinite uniform MPS can avoid those ends but still acquire a finite correlation length because its transfer operator has a discrete spectrum. With a unique leading eigenvalue and a subleading eigenvalue of smaller magnitude, the ratio determines exponential decay of connected correlations in channels that overlap the corresponding modes. Other symmetries can suppress a mode’s contribution to a particular observable.
Normalize the leading transfer eigenvalue to one when defining that length. If a relevant eigenvalue has unit magnitude as well, the simple finite-correlation-length formula needs modification, as in noninjective or ordered representations. At a critical point, a finite-D MPS generally introduces an entanglement-induced cutoff even though the true correlation length diverges. Increasing L at fixed insufficient D can therefore leave observables unchanged for a numerical reason. Larger physical size alone does not remove finite-entanglement bias.
An extrapolation model requires a physical regime
For a gapped local system well beyond its physical correlation length, boundary corrections to bulk observables can often be exponentially small, although surface contributions to energy per site can remain algebraic for open boundaries. At a critical point, finite-size corrections typically involve powers controlled by scaling dimensions and boundary conditions, sometimes with logarithms. Choosing a polynomial in inverse size because it fits three points is not a derivation. State the proposed asymptotic form and test its stability as the smallest sizes are removed.
Finite-entanglement scaling uses how an optimized tensor family approaches a critical state as D increases. Its induced correlation length is a more physical scaling variable than assuming D itself is a length. For suitable one-dimensional conformal critical points, half-chain entropy grows as central charge divided by six times the logarithm of correlation length, plus a nonuniversal constant. This statement assumes the relevant infinite-chain pure-state scaling regime and natural logs. Different geometries, boundaries, and logarithmic corrections require modified formulas.
Order numerical limits to expose uncertainty
At each selected size, converge local solver tolerance, sweep count, and bond dimension for the target observable before interpreting its size dependence. For real-time data, also converge time step and identify a time window stable under increased D. For PEPS, check environment contraction separately. Monte Carlo adds sampling error, autocorrelation, and possible sign bias. Numerical parameters should be varied one at a time or through a documented grid, so compensating errors do not create a misleading plateau.
Energy errors, correlation errors, and spectral errors need not share the same leading fit. Compare alternative justified asymptotic forms and report sensitivity to fitting windows. A finite time record limits frequency resolution, while analytic continuation from imaginary time adds ill-conditioning beyond ordinary cutoff extrapolation. Neither a sharper plot nor a smaller fit residual proves resolution of a physical narrow feature. A bisection lab provides a contrast: its bracket certifies an error for one scalar root, whereas an empirical many-body extrapolation needs additional physical and numerical evidence.
Work it through
Fit a declared inverse-square correction
After convergence in bond dimension and solver tolerance, a synthetic periodic-chain energy per site is and . Assume site count L is dimensionless and . Find b and the extrapolated energy.
Subtract the two data points to remove the unknown limiting energy: . The sign agrees with both finite-size energies being above their proposed limit.
Solve for . Substitution into the larger-size point gives .
Reinsert the result at L equal to four: in units of . Two points exactly determine this two-parameter model, so additional sizes are needed to test the assumed inverse-square form.
The declared fit gives b = 0.8E_* and limiting energy −1.000E_* per site; the fit form itself remains an assumption needing further data.
The living notebook
Explore the model
Interactive lab · root-finding
A certified scalar bound as a contrast
Reset and set target , upper bound . Predict midpoint 1 and error bound 1 initially; after one Step predict midpoint 1.5 and bound 0.5, then after another Step midpoint 1.25 and bound 0.25. For a fresh comparison Reset and set both controls again. This bisection of provides a genuine bracket bound, not a many-body size or bond-dimension extrapolator.
- Midpoint after 0 refinements
- 1.5
- Bracket error bound
- 1.5
- Computed residual · x² − c
- 0.25
Bisection of x² − c on [0,U], capped at 50 iterations for floating-point resolution. The error bound is the maximum distance from the displayed midpoint to either bracket endpoint (half the width in exact arithmetic). Compensated square evaluation preserves the bracket when ordinary multiplication rounds a residual to zero. A truly exact endpoint or midpoint collapses the bracket. This is one monotone quadratic, not a general root solver. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forCertified numerical bounds and empirical extrapolation fits provide different kinds of evidence.
Pause & reason
Check your understanding
Your turn
Try it yourself
In a verified infinite-chain conformal scaling regime, doubling increases half-chain entropy by . Infer the central charge using natural logarithms. Explain why applying the same formula to an arbitrary finite open-chain entropy is unjustified.
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Subtract the two entropy formulas to eliminate the nonuniversal constant; retain the coefficient one sixth.
Compare with the solution
The scaling relation gives . Equating this to yields . The extraction assumes the stated half-chain infinite-system regime and a reliable tensor correlation length. A finite open chain has boundary and finite-size geometry effects, and its entropy formula and offsets need not match this expression. Bond convergence and scaling-window checks are part of the inference.
Keep the idea
Take it with you
- Finite lattice size and finite entanglement impose physically different infrared cutoffs.
- An extrapolation needs an appropriate asymptotic model and stability under fitting-window changes.
- Converge the target observable across each relevant cutoff before assigning a physical limiting interpretation.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.