A larger system can expose a critical-point error that several smaller systems hide. The useful test is a prediction: choose a scaling law using the small sizes, then ask where the larger sizes should land. A neat overlap of curves becomes more informative when a size you kept aside joins it.
Prerequisites: Euclidean lattices and errors establishes covariance and source response; Keeping low-energy physics separates exact elimination from a truncated model. Here you will derive a finite-interval scaling curve, estimate it from saved samples and diagnose a misleading collapse.
Why the length enters the answer
Consider a one-dimensional field on an interval. The field is zero at both ends. The interior has equally spaced sites, spacing , and physical length . The coordinate increases from the left endpoint to the right. The parameter has units of inverse length squared. We use a dimensionless Euclidean action and measure length in a fixed reference unit:
The difference term penalizes abrupt changes between neighbors. The mass term penalizes a large field even when it varies slowly. On an infinite line with positive , correlations decay over the length . On a finite interval, the endpoints also matter. When becomes comparable with , increasing the correlation length cannot be understood without mentioning the interval.
There are two lengths and one independent ratio:
This suggests comparing systems at the same . Doubling the interval then requires dividing by four. The fields have the same correlation range relative to their own length, although their unscaled responses can be very different.
A response that fluctuations can measure
Apply a weak uniform source . Its action term is , so positive favors positive field values. Differentiate the mean integrated field with respect to , then divide by . For a zero-mean Gaussian field the result is
The quantity is the susceptibility: the response per interval length to a small uniform source. You can obtain it by applying a source, or by recording source-free fluctuations and averaging . The second route supplies the saved samples used here. Each recorded projection comes from an entire field configuration.
The continuum response gives an independent reference. Write for the derivative of the mean field at position with respect to the source. The Gaussian field equation gives
The constant on the right is the uniform source. For , a constant particular solution is . A symmetric combination of exponential solutions adjusts it to vanish at both endpoints:
Average this response over the interval. Integrating the hyperbolic cosine gives
Dividing by leaves a function of alone:
The plotted dashed curve is this continuum reference. The colored points come from saved lattice samples. Their small difference includes both sampling error and finite-spacing corrections.
At zero mass the expression looks singular, but the response remains finite on the interval. Solve the differential equation directly: . Its spatial average is , giving . The endpoints have supplied the finite length scale.
Work through one saved record
Use , , and . These values give and . The exact continuum response is . The discrete lattice calculation gives .
The saved chain uses seed 353159 and contains 16,384 projections. It gives
The uncertainty is one estimated standard error, calculated from batches of successive samples. Both references lie comfortably within it. The gap between the two references is much smaller than this chain's sampling uncertainty.
Why use batches? Each new Gaussian mode retains 80 percent of its previous value and receives a fresh Gaussian contribution. The squared projection therefore remembers earlier draws. Treating all draws as independent gives a standard error of only . Splitting the trace into 128 batches of 128 draws captures that memory in the spread of batch averages. The estimated effective sample count is about 3,294.
For this sampling algorithm the squared projection's lag correlation is . Its exact asymptotic variance inflation is . The generated-data tests compare the batch estimate with longer batches. In an unfamiliar interacting system, you would also investigate equilibration and slow modes.
How the wrong critical point passes a small test
A proposed collapse uses
The exact Gaussian benchmark has and . Keep that exponent and shift the proposed critical point to . The horizontal displacement becomes . It is for length 16, but for length 128.
The small curves move little compared with the range displayed. Their standardized RMS difference rises only from about 1.01 to 1.10. The two held-out sizes tell a clearer story: their RMS rises from about 0.94 to 7.14. These numbers compare the recorded response with interpolated small-size curves and include both uncertainties. The RMS diagnoses disagreement. Shared interpolation errors prevent treating it as a significance probability.
Finite spacing provides another reason to compare sizes carefully. At zero mass the discrete response can be summed exactly:
A systematic drift proportional to is therefore expected even with the right critical point. Refining the lattice at fixed physical length separates that cutoff correction from a change in volume.
This benchmark approaches the massless Gaussian limit from nonnegative . A negative quadratic coefficient would make its infinite-volume action unstable without an additional stabilizing interaction. Interacting critical points require their own scaling functions and exponents.
Try the prediction before uncovering the data
Open the finite-size scaling Lab. Choose “One curve, five sizes” and explain why the unscaled responses separate. Then choose “A tempting wrong fit”. The two larger sizes are hidden. Sketch where you expect them to appear before choosing “Ask the larger lattices”.
Now change the proposed exponent under “Adjust the proposed scaling law”. Predict whether this stretches every size equally. Record the small-size and held-out residuals, together with the number of compared points. Moving data outside the comparison range can reduce that count; it should prompt a closer look at the remaining test.
Exercises
- At fixed , what mass parameter should accompany a length change from 32 to 64?
Answer and reasoning
Since , the initial value becomes . The correlation length doubles with the interval, so their ratio stays unchanged.
- Use the zero-mass lattice result to predict how the scaled-response error changes when is halved at fixed .
Answer and reasoning
The difference from is . Halving reduces its magnitude by four. This refinement changes the cutoff while preserving the physical volume.
- A colleague obtains an excellent overlap after choosing all fit settings by looking at all five sizes. Propose a new test.
Answer and reasoning
Freeze those settings and generate a previously unused larger size with independent seeds. Choose the comparison range before uncovering it. An existing size can no longer serve as a fresh held-out test after it helped select the settings.
- Transfer the method to periodic boundaries. Would the same dashed curve apply at zero mass?
Answer and reasoning
Periodic boundaries admit a uniform zero mode. Its quadratic stiffness vanishes at zero mass, so the unconstrained Gaussian integral diverges. The finite Dirichlet result relies on fixed endpoints. A periodic benchmark must keep positive mass or explicitly constrain the zero mode, then derive the response for that choice.
The Gaussian action, source response and correlation-length argument follow David Tong's Statistical Field Theory, sections 2.2–2.3. The finite-interval reference above is derived for this boundary condition. The Lab's raw downloads preserve the projections, matching field snapshots, seeds and model version needed to recompute each estimate.
Try the physics
Finite-size Scaling →Compare Gaussian fields on five lattice sizes. Try a convincing fit on the small lattices, then uncover the larger samples and see whether the prediction survives.Sources and reading scope
- David Tong, Statistical Field Theory, Chapter 2
Gaussian integrals, inverse-kernel covariance, correlation length and the Euclidean quantum-mechanical interpretation. Finite-chain normalizations are derived for this course.
- David Tong, Statistical Field Theory, Chapter 3, §3.5, Figure 30
One-loop Wilson–Fisher flow near four dimensions, pp. 90–91, Figure 30. The Lab reconstructs an equation-derived phase portrait, with its parameters and convergence checks saved separately.