Skip to lecture
Quantum Solids

Lecture 29: Quantum Critical Scaling

Localization scaling already requires a sequence of finite samples. A singular quantum phase boundary demands a stronger inference from coordinated size, energy, tuning, and temperature limits. This lecture joins that limit discipline to finite-size scaling and renormalization flow. It prepares the final synthesis by distinguishing asymptotic critical structure from crossover and by treating collapse as an estimator with assumptions and uncertainty. A quantum critical point is defined by diverging scales and coordinated limits; their order and control are part of the physical claim.

The material anchor is a CoNb2O6-like Ising-chain magnet in a transverse magnetic field. Inelastic neutron scattering can track the lowest magnetic excitation and its dispersion as the field tunes competition between Ising exchange and transverse polarization; thermodynamic probes test the finite-temperature crossover around the same field scale. A programmable cold-atom or Rydberg-array Ising simulator is the finite-size contrast: different system sizes and correlations can be measured under controlled preparation, but long-range couplings, open boundaries, readout error, and nonadiabatic ramps must still be audited. The nearest-neighbor periodic chain below supplies the scaling grammar, not a precision Hamiltonian for either platform.

Field tuning changes the ground-state competition even when the laboratory or simulator is finite and every measured gap remains nonzero. What makes the thermodynamic transition quantum rather than a thermal branch-selection problem, and how can finite data reveal it? Quantum-critical scaling supplies the inference connecting quantum magnets, cold-atom systems, and the thermodynamic limit.

We will diagonalize finite Ising rings and use their gap sequence and data collapse to test a thermodynamic critical claim while keeping finite- temperature crossover separate.

A numerical study of periodic Ising rings reports a nonzero even-sector gap for L=4,6,8,10,12, but the product LΞ”+/J is nearly constant. Predict whether the thermodynamic gap closes and what should happen to the raw gap when L doubles. Then predict whether the two sides of a finite-temperature fan are necessarily phase boundaries. These decisions are the practical use of scaling in quantum-magnet and cold-atom experiments: finite hardware never contains the thermodynamic singularity, so the inference must be earned from controlled size and temperature dependence.

Compute [Οƒ^x,Οƒ^z], predict the ground states favored separately by Ising exchange and transverse field, and distinguish an eigenvalue gap from a probability weight. Free-energy selection from Lecture 17 is recalled only to compare thermal and quantum tuning. The relative thermal weight is introduced locally as a normalized probability ratio, not as a quantum amplitude; no partition function, entropy formula, or imaginary-time theory is presumed. The changed calculation replaces minimization at one size by a joint rescaling of data across sizes. The thermal time ℏ/(kBT) is introduced only when it first cuts off the Ising correlation time.

Thermal minimization and quantum critical dynamics

The finite Ising rings are exact systems, but none contains a phase transition. The critical object is the coordinated thermodynamic and zero-temperature limit of a Hamiltonian family. Scaling collapse is therefore an asymptotic hypothesis tested by stable windows and residuals, not a theorem produced by plotting. Later in this lecture, linearizing a declared renormalization-group flow near a fixed point gives dua/dβ„“=yaua and Ξ½=1/yr; that local derivation is controlled for small deviations from the fixed point but is not a microscopic derivation of an interacting beta function. Irrelevant operators and the thermal cutoff provide the first corrections to finite-size inference.

Use finite spin-chain Hilbert spaces with a declared boundary condition, tuning parameter, critical value, reduced distance, energy and length units, system-size sequence, scaling functions and their domains, fit window, and uncertainty model. Scaling relations are asymptotic functions, not identities at all parameters.

A two-spin avoided crossing is easy to calculate but cannot be a critical point. The calculation must reveal what changes as the same Hamiltonian grows from two spins to a sequence of rings and finally to the thermodynamic limit. We will use the spectrum to introduce each new scale only when the preceding finite-size observation demands it.

Match each object to its primary diagnostic: a band gap, charge gap, order parameter, Chern number, and localization length. For Οƒ^x and Οƒ^z, evaluate the commutator and explain why their preferred eigenstates compete.

The critical object is an asymptotic scaling structure of a Hamiltonian family near a zero-temperature singular limit. A finite-size gap, fitted exponent, or collapsed curve is an estimator of that structure, not the thermodynamic transition itself. We must state the order of the Lβ†’βˆž, Tβ†’0, and tuning limits, the fit window, and the competing corrections before claiming universality. Likewise, the sides of a finite-temperature fan mark crossovers controlled by finite coherence time unless an independent thermal phase transition is established. The phase distinction is defined at T=0 after taking the thermodynamic limit; finite-size scaling approaches a joint limit with L/ΞΎ and the corresponding temporal ratio held fixed. Reversing this logic leaves a finite analytic system and therefore cannot by itself define the singular transition.

For an ordinary real order-parameter function m:Rd→R, the Landau free-energy functional maps the whole function to a number:

(29.1)

F[m]=∫ddr[ΞΊ2(βˆ‡m)2+r2m2+u4m4βˆ’hm].

The symbol F is a functional, not an operator and not an ordinary function of position. At h=0, u>0, and for uniform m, stationary points obey m(r+um2)=0. When r>0, m=0 is stable. When r<0, the stable minima are m=Β±βˆ’r/u. In a thermal transition, temperature changes the effective coefficient r(T), and thermal fluctuations explore configurations with equilibrium weights.

Only one statistical-mechanics idea is needed here. At temperature T, two coarse-grained configurations with free energies F1 and F2 have the relative equilibrium weight p1/p2=exp⁑[βˆ’(F1βˆ’F2)/(kBT)]. These weights define a probability distribution over configurations; they are not quantum amplitudes. The free energy includes the energetic and entropic preference of the degrees of freedom that have been coarse-grained away. Here entropy means the logarithmic measure of how many microscopic arrangements realize a given macroscopic configuration; no prior formula for it is required. Thus temperature can both change the effective coefficient r(T) and populate fluctuations around the minima. No partition-function machinery is assumed below.

Retrieve the stability criterion of the mean-field stability example, now for the supplied dimensionless polynomial F(m)=rm2/2+m4/4 at zero field. Here m∈R is an unbounded phenomenological coordinate, not a normalized Ising magnetization restricted to [βˆ’1,1]. Find and compare stationary roots for r=βˆ’4 and +4, checking curvature and energy. Does this calculation determine a dynamical exponent?

Stationarity requires Fβ€²(m)=m(r+m2)=0. At r=βˆ’4, F(0)=0 and F(Β±2)=βˆ’4; at r=+4, the only real root is zero and F(0)=0.

The second derivative is d2F/dm2=r+3m2. It is negative at zero and positive at Β±2, so zero is unstable and the two symmetry-related minima are stable. For r=+4, only m=0 is a stable minimum. This language classifies symmetry breaking; it does not by itself detect topology or localization.

The nonzero roots have curvature eight for r=βˆ’4, whereas zero has curvature minus four. For r=+4, zero has curvature four. Energy ordering and curvature independently agree, and F(βˆ’m)=F(m) checks the symmetry-related pair. No time variable or kinetic term was specified, so no dynamical exponent follows. The finite quantum Hamiltonian next supplies excitation information absent from this thermal landscape.

Let {H^L(Ξ»)}L∈N be a declared family of finite-system Hamiltonians, with boundary conditions and symmetry sector held fixed, and let the infinite-system ground states at two parameter values be assigned to phases by a stated equivalence criterionβ€”for example, unbroken gapped deformation with the diagnostic symmetry preserved. A quantum phase transition at Ξ»c is a value of Ξ» at which the zero-temperature thermodynamic-limit ground-state energy density, or a declared local ground-state expectation value, is nonanalytic in Ξ», and across which the ground states lie in different phases; the thermodynamic limit is taken in the declared geometry. A minimum or avoided crossing in any one finite matrix is evidence to be scaled, not this definition. A first-order ground-state crossing and a continuous transition are different cases; the scaling construction below concerns the continuous case.

One Ising ring from competing terms to a closing gap

Consider

(29.2)

H^=βˆ’Jβˆ‘βŸ¨ijβŸ©Οƒ^izΟƒ^jzβˆ’Ξ»βˆ‘iΟƒ^ix.

For J>0 and Ξ»=0, the interaction favors z-ordered states. For λ≫J, the field favors a product state polarized along x. Because [Οƒ^ix,Οƒ^iz]β‰ 0, the two tendencies cannot be minimized simultaneously. The tuning parameter changes the ground-state quantum fluctuations even at T=0.

At Ξ»=0, predict the two aligned ground states of a ferromagnetic ring. At Ξ»/Jβ†’βˆž, predict the unique +x-polarized product ground state. Because these states minimize incompatible operators, decide whether a finite matrix must show a singular crossing, a smooth avoided crossing, or either depending on symmetry sector.

For two spins with one Ising bond, H^2=βˆ’JΟƒ^1zΟƒ^2zβˆ’Ξ»(Οƒ^1x+Οƒ^2x). The odd combinations (|β†‘β†‘βŸ©βˆ’|β†“β†“βŸ©)/2 and (|β†‘β†“βŸ©βˆ’|β†“β†‘βŸ©)/2 have energies βˆ’J and +J. In the even basis |Ο•+⟩=|β†‘β†‘βŸ©+|β†“β†“βŸ©2,|ψ+⟩=|β†‘β†“βŸ©+|β†“β†‘βŸ©2, the numerical matrix is Heven=(βˆ’Jβˆ’2Ξ»βˆ’2Ξ»J), with eigenvalues Β±J2+4Ξ»2. Every finite eigenvalue is an analytic function away from exact symmetry crossings. This small system shows competition and avoided crossing, but not a thermodynamic singularity.

Nothing is hidden in the other symmetry sector. With |Ο•βˆ’βŸ©=|β†‘β†‘βŸ©βˆ’|β†“β†“βŸ©2,|Οˆβˆ’βŸ©=|β†‘β†“βŸ©βˆ’|β†“β†‘βŸ©2, the full four-dimensional problem separates as H2β‰…(βˆ’Jβˆ’2Ξ»βˆ’2Ξ»J)βŠ•(βˆ’J)βŠ•(+J). The dimensions add to four, and direct substitution gives H^2|Ο•βˆ’βŸ©=βˆ’J|Ο•βˆ’βŸ© and H^2|Οˆβˆ’βŸ©=+J|Οˆβˆ’βŸ©. At Ξ»=0, the even ground state and |Ο•βˆ’βŸ© are the two aligned ground states. For Ξ»/Jβ†’βˆž, the normalized lower even eigenvector tends to |Ο•+⟩+|ψ+⟩2=|+x,+x⟩, as required by the field term. If instead J=0, its energy is βˆ’2|Ξ»|, the sum of two independent one-spin ground-state energies. These sector, normalization, and limiting-state checks are more informative than quoting the two eigenvalues alone.

The block structure also exposes what the field actually does. The Ising term is diagonal in the z-basis, whereas each Οƒ^ix flips one spin. Consequently, the field couples the aligned even state |Ο•+⟩ to the anti-aligned even state |ψ+⟩, producing the off-diagonal matrix element βˆ’2Ξ». The lower even eigenvalue lies below βˆ’J for every nonzero Ξ», so the finite-system ground state evolves smoothly from an aligned superposition toward an x-polarized state. The exact twofold degeneracy at Ξ»=0 is tied to the symmetry and finite basis; it does not supply a diverging length. A quantum critical claim therefore requires scaling evidence across a size sequence and a declared thermodynamic limit.

Now place the Hamiltonian of Equation (29.2) on an even-length one-dimensional ring of L sites with periodic boundary conditions, Οƒ^L+1≑σ^1. The global Ising symmetry operator P^=∏i=1LΟƒ^ix commutes with H^ and has eigenvalues P=Β±1. We will follow the even-sector gap Ξ”+(L,Ξ»)=E1,+(L,Ξ»)βˆ’E0,+(L,Ξ»), where both energies belong to P=+1. Declaring the sector matters. In the ordered regime, the lowest states in opposite parity sectors form a nearly degenerate symmetry pair, so the unrestricted first gap can become exponentially small even away from the bulk critical point. That splitting is not the bulk excitation gap whose critical scaling we seek.

Use H^2=βˆ’JΟƒ^1zΟƒ^2zβˆ’Ξ»(Οƒ^1x+Οƒ^2x), J>0,Ξ»>0, with exactly one bond. Diagonalize the even block (βˆ’Jβˆ’2Ξ»βˆ’2Ξ»J) and the odd energies βˆ’J,+J. Compare the full first gap with the even-sector gap and explain the change for a two-site periodic bond sum. Use the parity sectors of Equation (29.2), with P^=Οƒ^1xΟƒ^2x; even and odd refer to its +1 and βˆ’1 eigenvalues.

The even characteristic polynomial is E2βˆ’J2βˆ’4Ξ»2=0, so its energies are Β±R, R=J2+4Ξ»2. Because R>J, the full ground energy is βˆ’R, the first odd energy is βˆ’J, and Ξ”all=Rβˆ’J,Ξ”+=2R. The dimensions are two even plus two odd states, checking completeness. At Ξ»β†’0 the full gap closes through the aligned-spin degeneracy while the even gap tends to 2J, independently checking which sector is being compared. At λ≫J, the full gap approaches 2Ξ»βˆ’J, consistent with a transverse spin flip. Writing a periodic sum over both (1,2) and (2,1) counts the same bond twice and replaces J by 2J in this two-site matrix. It is therefore unsafe to append this one-bond result to the later periodic Lβ‰₯4 even-sector sequence as if all gaps had identical definitions. The ring calculation next uses its own boundary and parity conventions; no finite two-spin avoided crossing proves a thermodynamic singularity.

The two-spin construction already gives an exact-diagonalization algorithm for the ring. In the z-basis the Ising term is diagonal, the transverse field connects bit strings that differ by one spin flip, and parity divides the matrix into two blocks. Direct diagonalization of the even block at Ξ»/J=1 gives the following reproducible finite-size sequence:

L Ξ”+/J LΞ”+/J
4 3.0615 12.2459
6 2.0706 12.4233
8 1.5607 12.4858
10 1.2515 12.5148
12 1.0442 12.5305

The raw gap is nonzero for every listed ring. Yet the nearly constant last column predicts Ξ”+∝Lβˆ’1 and hence a zero thermodynamic gap. Removing the smallest size should change the fitted exponent less than retaining only two small sizes. This is the first concrete difference between a finite-size minimum and a critical closing.

Which column supplies evidence for a thermodynamic closing, and which other finite-system gap can become very small throughout the ordered regime without measuring the bulk excitation? The expected answer is the nearly constant LΞ”+/J column and the opposite-parity symmetry-doublet splitting. The plausible wrong answer β€œthe smallest raw gap proves the critical point” ignores both the size law and the symmetry sector. If it was tempting, recover the definition of Ξ”+, fit ln⁑Δ+ against ln⁑L once with and once without L=4, and state the inferred exponent before introducing ΞΎ or z.

For orientation, the exact Jordan–Wigner and Bogoliubov solutionβ€”stated here, not derivedβ€”has one-particle excitation energy Ξ΅(k)=2J1+Ξ³2βˆ’2Ξ³cos⁑k,Ξ³=Ξ»J. Here Ξ΅ is an ordinary nonnegative dispersion function of momentum, not an operator or a probability distribution. The lattice spacing is set to one, so k is dimensionless. Boundary condition and parity determine the allowed finite-size momenta. In the thermodynamic limit, the minimum at k=0 is Ξ”bulk=2J|1βˆ’Ξ³|, so it closes only at Ξ³=1. There, Ξ΅(k)≃2J|k|, and momentum spacing of order Lβˆ’1 explains z=1. The even-sector gap contains the lowest allowed pair and therefore approaches 4Ο€J/L for this periodic convention, consistent with the table. A different boundary condition or sector changes the prefactor and allowed momenta, not the asymptotic exponent.

The closing spectrum demands length, time, and energy scales

Fix an infinite-volume ground-state expectation functional βŸ¨β‹…βŸ©Ξ», two declared local observables A^0 and B^r, and lattice displacement r∈Zd. Their connected correlator is the ordinary function CAB(r;Ξ»):=⟨A^0B^rβŸ©Ξ»βˆ’βŸ¨A^0⟩λ⟨B^r⟩λ. When the correlator is not eventually zero and its long-distance exponential decay rate is finite, that rate defines the correlation length: ΞΎAB(Ξ»)βˆ’1:=βˆ’lim supβ€–rβ€–β†’βˆžln⁑|CAB(r;Ξ»)|β€–rβ€–βˆˆ[0,∞). The distance and microscopic length unit must be declared. A rate of zero, as for algebraic decay, is read as ΞΎAB=∞; an identically vanishing or symmetry-forbidden correlator does not define the intended phase scale and requires another observable. A finite-size fit is an estimator of this infinite-system object, not the definition itself.

For the Ising chain, take A^0=Οƒ^iz and B^r=Οƒ^i+rz, so Czz(r)=βŸ¨Οƒ^izΟƒ^i+rzβŸ©βˆ’βŸ¨Οƒ^izβŸ©βŸ¨Οƒ^i+rz⟩. Away from criticality its envelope decays on a length ΞΎ. The exact chain solution gives ξ∝|1βˆ’Ξ³|βˆ’1 near Ξ³=1; this is the same model whose spectral gap was followed above, not a separately postulated critical system.

For a continuous transition at nonzero Ξ»c, define the dimensionless reduced distance Ξ΄:=(Ξ»βˆ’Ξ»c)/Ξ»c. The correlation-length exponent Ξ½>0 and dynamic exponent z>0 are the asymptotic exponents for which, on each specified side of the transition, ΞΎ(Ξ΄)=ΞΎ0Β±|Ξ΄|βˆ’Ξ½[1+o(1)],ΞΎΟ„(Ξ΄)=Ο„0Β±[ΞΎ(Ξ΄)a]z[1+o(1)](Ξ΄β†’0Β±). Here a is the microscopic length unit, ΞΎ0Β±>0 and Ο„0Β±>0 are nonuniversal metric factors, and ΞΎΟ„ is the zero-temperature correlation-time scale associated with the declared low-energy mode. If its gap obeys Ξ”=ℏ/ΞΎΟ„ up to a stated order-one convention, then Ξ”βˆ|Ξ΄|zΞ½. Exponents extracted from finite sizes and finite windows are fitted estimators; stability under window and correction changes is required before identifying them with Ξ½ and z.

(29.3)

ξ∼|Ξ΄|βˆ’Ξ½,ΞΎΟ„βˆΌΞΎz,Ξ”βˆΌβ„ΞΎΟ„βˆΌ|Ξ΄|zΞ½.

The exponent Ξ½ controls spatial divergence; z converts spatial scale to correlation time. The gap Ξ” is the characteristic low-energy scale associated with ΞΎΟ„. The proportionalities omit nonuniversal microscopic units, so a fit must define the dimensionless reduced parameter and energy normalization.

The Ising anchor now fixes the exponents in two independent ways. The linear critical dispersion gives z=1, while ξ∝|1βˆ’Ξ³|βˆ’1 gives Ξ½=1. Their product predicts Ξ”βˆ|1βˆ’Ξ³|, agreeing with the exact bulk gap. The agreement is a closed inference cycle: spectrum, spatial correlation, and dynamical scaling refer to the same Hamiltonian and critical point.

In a finite system, the divergence is cut off by L. At criticality,

(29.4)

Ξ”(L,Ξ»c)∼Lβˆ’z.

A finite chain therefore has a nonzero size-dependent gap or an avoided crossing in a selected sector. A sequence of sizes, boundary conditions, and symmetry sectors is required before inferring a thermodynamic exponent.

The finite-size relation follows by replacing the unavailable infinite-system length ΞΎ by the largest correlation length the ring can support. More explicitly, write the energy scale as Ξ”=ΞΎβˆ’zf(L/ΞΎ), with microscopic energy and length units understood. Because ΞΎ=|Ξ΄|βˆ’Ξ½, multiply by Lz and use L/ΞΎ=L|Ξ΄|Ξ½. The same information can be parametrized by the signed variable x=Ξ΄L1/Ξ½, giving LzΞ”=F(x). At Ξ΄=0, x=0 for every size and F(0) is finite, so Ξ”βˆLβˆ’z. Far enough from criticality that L≫ξ, the scaling function must recover the bulk law Ξ”βˆ|Ξ΄|zΞ½. This derivation also states the failure condition: it does not apply if a different length, a first-order crossing, or the wrong symmetry-sector gap controls the data.

If z=1, doubling L at Ξ³=1 should halve the sector gap up to finite-size corrections. If the gap instead approaches a positive constant, the candidate point is off criticality or the wrong excitation has been tracked. If a gap closes exponentially throughout the ordered side, check whether it is merely the opposite-parity symmetry-doublet splitting.

Without consulting the next formula, state the two dimensionless plotting variables, predict the effect of doubling L at the critical coupling, and name one test for a misleading collapse. The expected three-minute response is x=Ξ΄L1/Ξ½, y=LzΞ”, a factor 2βˆ’z in the raw gap, and a residual or fitted exponent recomputed after omitting the smallest size. A purely visual β€œthe curves look close” is not exit evidence.

Away from the critical point, the finite-size hypothesis can be written as

(29.5)

Ξ”(L,Ξ΄)=Lβˆ’zF(Ξ΄L1/Ξ½),Ξ΄=Ξ»βˆ’Ξ»cΞ»c.

Equation (29.5) defines F:Rβ†’Rβ‰₯0 as an ordinary scaling function, not a probability distribution, and Ξ΄ is a dimensionless reduced coupling. If trial values of z, Ξ½, and Ξ»c are correct, plots of LzΞ” against Ξ΄L1/Ξ½ for several L collapse onto one curve within a scaling window. The same data can look convincing under several exponent choices when the size range is narrow. A defensible analysis therefore reports the fit window, discarded small sizes, uncertainty, boundary conditions, and whether the fitted parameters remain stable when the window changes. Collapse is evidence for a scaling description; it is not an automatic proof of a particular universality class.

Hold fixed the Hamiltonian family, boundary condition, symmetry sector, observable, and definitions of gap and reduced coupling. A finite dataset supports a bounded continuous quantum-critical scaling claim only if (i) the thermodynamic limit is separated from every finite-size minimum, (ii) estimates of Ξ»c, Ξ½, and z are stable under declared size and coupling windows or their drift is reported, (iii) collapse residuals are compared with at least one shifted critical point or changed exponent set, and (iv) gap and connected-correlation behavior are compatible with the same scaling regime. Visual overlap alone does not meet the criterion. Deterministic exact spectra have finite-size systematic error but no sampling covariance; a statistical covariance matrix requires an explicit noise or likelihood model.

For this Ising convention, Ξ»c=J, so Ξ΄=Ξ³βˆ’1, z=1, and Ξ½=1. The proposed collapse is therefore a plot of LΞ”+/J against (Ξ³βˆ’1)L. At the central point the five values in the table approach the common ordinate 4Ο€. Away from the center, data for several sizes should follow a single curve only within the scaling window. The raw gaps must be inspected first: rescaling can hide a misidentified sector, an incorrect critical coupling, or a size-independent offset.

Use the periodic-ring even-sector gap Ξ”+(L,Ξ³)/J=41+Ξ³2βˆ’2Ξ³cos⁑(Ο€/L) for L=4,6,8,10,12, Ξ³=Ξ»/J. Set x=(Ξ³βˆ’1)L, y=LΞ”+/J, derive the fixed-x limiting curve and audit the tabulated residuals and critical log-gap fits. Does the finite-window fit establish a four-digit exponent?

For the even-sector convention above, the lowest allowed pair has k=Ο€/L, so the exact finite-size expression used here is Ξ”+(L,Ξ³)J=41+Ξ³2βˆ’2Ξ³cos⁑(Ο€/L). Set x=(Ξ³βˆ’1)L and y=LΞ”+/J. The following entries are direct evaluations, not points read from a drawing:

L y(βˆ’2) y(βˆ’1) y(0) y(1) y(2)
4 11.7890 11.3345 12.2459 14.2636 16.9983
6 12.9187 12.0256 12.4233 14.0022 16.4251
8 13.4507 12.3454 12.4858 13.8341 16.0894
10 13.7585 12.5283 12.5148 13.7216 15.8727
12 13.9587 12.6463 12.5305 13.6418 15.7220
scaling limit Ξ¦(x) 14.8968 13.1876 12.5664 13.1876 14.8968

To obtain the scaling limit, substitute Ξ³=1+x/L, expand cos⁑(Ο€/L)=1βˆ’Ο€2/(2L2)+O(Lβˆ’4), and take fixed x as Lβ†’βˆž: Ξ¦(x)=4x2+Ο€2. Before the limit, the expression under the scaled square root is x2+Ο€2+xΟ€2/L+O(Lβˆ’2). Thus a leading odd-in-x finite-size correction is expected rather than a symmetric curve at every size. Over the declared window |x|≀2, the root-mean-square residual from Ξ¦ is 1.212 for Lβ‰₯4, 0.948 for Lβ‰₯6, and 0.803 for Lβ‰₯8. The monotone improvement under removal of small sizes is the convergence evidence; the residual is not a statistical error bar because the input spectrum is exact. Independently fitting ln⁑Δ+(L,1)=aβˆ’zln⁑L gives z=0.9793 for L=4,6,8,10,12, 0.9875 after omitting L=4, and 0.9911 after omitting both L=4,6. Thus these sizes support z=1, while the window sensitivity warns against reporting four-digit thermodynamic exponents.

The exact points, all three log-gap fits, thermal cases, and the independent common-curve audit used in Problem 3 are generated by scripts/generate_lec29_scaling_data.py and stored in artifacts/validation/lec29_scaling/scaling.json. The record is deterministic; its residuals quantify finite-size mismatch, not experimental sampling uncertainty.

At x=0, the exact result is y=8Lsin⁑[Ο€/(2L)], which approaches 4Ο€ from below, checking the central table column without the general expansion. Independently, the limiting Ξ¦(x) is even in x, while finite-size columns need not be exactly symmetric because of the 1+x/L correction. The residual decrease and drift of the fitted exponent therefore have identifiable finite-size origins. These checks support the stated scaling hypothesis for this model; they do not derive a microscopic renormalization flow. The following local-flow example addresses that separate meaning of a relevant exponent.

Two counterexamples delimit the conclusion. A first-order transition can produce a true thermodynamic level crossing without the diverging correlation length assumed by Equation (29.3). Conversely, a smooth finite-size avoided crossing can sharpen with size yet saturate to a nonzero gap. A gap feature is therefore not enough; continuous criticality requires a jointly consistent size law, spatial scale, and scaling collapse.

Why a relevant flow produces the exponent Ξ½

The finite-size ansatz has so far used Ξ½ as an exponent to be tested. A local renormalization-group argument explains what kind of object that number is. Let g=(g1,…,gn)∈UβŠ‚Rn be dimensionless couplings in a finite chart of effective descriptions. Increasing β„“βˆˆRβ‰₯0 means eliminating shorter-distance information and rescaling lengths by b=eβ„“. The flow is the ordinary differential equation

A renormalization-group fixed point is a coupling vector gβˆ—βˆˆU for which Ξ²(gβˆ—)=0 in dgdβ„“=Ξ²(g). If Ξ² is differentiable at gβˆ—, its stability matrix is Mij:=βˆ‚Ξ²iβˆ‚gj|gβˆ—. A scaling field ua is a local linear coordinate formed from a left eigenvector of M, so that its linearized flow is dua/dβ„“=yaua. A direction is relevant when ya>0, irrelevant when ya<0, and marginal at linear order when ya=0. These labels describe motion under coarse-graining in this local chart; they do not label particles or energy eigenstates.

Write Ξ΄g=gβˆ’gβˆ—. Taylor expansion gives

(29.6)

dΞ΄gidβ„“=βˆ‘jMijΞ΄gj+O(β€–Ξ΄gβ€–2),duadβ„“=yaua,ua(β„“)=eyaβ„“ua(0).

The first equality is a controlled local approximation only while β€–Ξ΄gβ€– is small enough that the quadratic remainder is subleading. Suppose there is one relevant field ur with yr>0. The flow remains near the fixed point until |ur(β„“βˆ—)|∼1. Solving for that stopping scale gives eyrβ„“βˆ—|ur(0)|∼1,eβ„“βˆ—βˆΌ|ur(0)|βˆ’1/yr. Coarse-graining has enlarged the microscopic length a to the correlation length ξ∼aeβ„“βˆ—. If the initial relevant field is linear in the reduced tuning distance, ur(0)=cΞ΄+O(Ξ΄2) with cβ‰ 0, then

(29.7)

ξ∼|Ξ΄|βˆ’1/yr,Ξ½=1yr.

This derivation explains universality: many initial Hamiltonians can flow toward the same fixed point, while their irrelevant coordinates decay and their relevant distance sets the stopping scale. It does not derive Ξ²(g) for the interacting Ising theory, prove that only one relevant field exists, or calculate yr=1. Those are additional model-specific results. Here the exact Ising spectrum supplies Ξ½=1, and the flow argument identifies the corresponding local relevant eigenvalue as yr=1.

Close the equations and reconstruct the argument from three statements: ur grows as eyrβ„“, the critical regime ends when it becomes order one, and lengths grow as eβ„“. If the sign of yr or the stopping condition is reversed, the resulting correlation length cannot diverge as the critical point is approached.

A supplied local RG model has dimensionless fields dr/dβ„“=2r, du/dβ„“=βˆ’u, and length rescaling b=eβ„“. For r0=10βˆ’4, u0=0.2, stop when |r|=1. Find the stopping length, remaining irrelevant field and exponent Ξ½. State why this is not a derivation of the Ising beta function.

The fixed point is (0,0), and the diagonal stability matrix has eigenvalues 2,βˆ’1. Solving gives r(β„“)=r0e2β„“, u(β„“)=u0eβˆ’β„“. The stopping condition yields β„“βˆ—=βˆ’12ln⁑|r0|,ΞΎ/a=eβ„“βˆ—=|r0|βˆ’1/2=100,u(β„“βˆ—)=0.002. Thus Ξ½=1/2 for this supplied relevant eigenvalue. Replacing r0 by βˆ’r0 gives the same stopping length on the opposite side, checking the absolute value. At r0=0, no finite stopping scale is reached and the irrelevant field decays, independently checking the fixed-point interpretation. The length ratio is dimensionless. The value 100 is the exact stopping factor of this supplied linear flow with the chosen order-one threshold; a microscopic correlation length can carry an additional nonuniversal prefactor. This linear flow is an illustrative local model; its exponent is not the Ising value Ξ½=1, and no microscopic map from Ξ»/Jβˆ’1 to this r was derived. Nonlinear terms become important near the order-one stopping field. The example explains how an eigenvalue determines a power law, not which eigenvalue a material must possess.

Return to the field-tuned quantum magnet

For the ideal chain, the bulk gap Ξ”bulk=2J|1βˆ’Ξ»/J| predicts a V-shaped closing as the effective transverse coupling passes through J, and the critical dispersion becomes linear. In a CoNb2O6-like magnet, neutron scattering tests both features: the energy of the lowest resolved mode should soften toward a field Hc, while momentum-resolved intensity tests whether the same mode develops the expected low-energy dispersion. Converting laboratory field into Ξ»/J requires an independently calibrated g-factor and effective couplings; instrumental resolution gives an upper bound on a gap that appears to vanish, not mathematical proof that it is zero.

The material inference is stronger than locating the smallest measured gap. One seeks a stable critical field under fit-window changes, a field dependence consistent with Ξ”βˆ|Hβˆ’Hc|zΞ½, compatible correlation or dispersion scaling, and a temperature window in which interchain ordering and thermal broadening do not dominate. Interchain coupling, further-neighbor exchange, longitudinal fields, disorder, and spin-lattice effects can shift the critical field, confine excitations, or produce a finite-temperature transition absent from the ideal one-dimensional chain. Such deviations identify missing material terms; they do not license forcing the data onto the exact ring curve.

Before viewing the material record, predict two things. First, should the lowest measured mode in a real weakly coupled chain reach exactly zero at the three-dimensional critical field? Second, if the first two resolved modes are the accessible part of the proposed E8 spectrum, which dimensionless ratio should approach Ο†=(1+5)/2? Keep those predictions separate: a ratio test does not by itself measure a critical exponent.

A CoNb2O6 chain-magnet scene and the OSIRIS field-dependent neutron-energy measurement map establish the physical and operational context of the following data.

A project-original true-oblique cobalt-niobate crystal scene shows repeated zig-zag cobalt chains along c under a transverse field along b. A second panel maps pulsed incident neutrons, the 0.1-kelvin sample in a vertical cryomagnet, fixed-final-energy pyrolytic-graphite analysis, and the zone-centre peak extraction repeated versus field.
Figure 29.1. A CoNb2O6 chain-magnet scene and the OSIRIS field-dependent neutron-energy measurement map establish the physical and operational context of the following data.

Physical system and measurement principle. Panel (a) is a project-original schematic: displayed host ions, spacing, sample extent and chain count are not crystallographic coordinates. Panel (b) states the forward measurement map. Time of flight supplies Ei, the PG(002) analyser selects fixed Ef, and the energy transfer ℏω=Eiβˆ’Ef locates resolvable zone-centre modes as the transverse field is repeated. The source reports a 0.1 K sample in a dilution refrigerator and vertical 7.5 T cryomagnet, with 0.027(1) meV elastic-line resolution. No measured point is created by this context figure. [Col+10]

See the cited paper for this experimental plot; it is not included in this distribution.

A source-bounded two-panel replot shows sixteen measured m1 gap markers and five measured m2 gap markers versus transverse field without connecting curves. Five measured m2 over m1 ratios retain their printed vertical uncertainty bars and approach a separately drawn analytic golden-ratio reference.
Figure 29.2. Measured CoNb2O6 mode gaps and their resolved ratio provide a material-scale test near the field-tuned critical region.

Measured markers, not the source guide curves. The replot recovers only the printed marks in the retained arXiv Figure 4C–D of Coldea et al.: 16 m1 gap markers, five m2 gap markers, and five m2/m1 ratios with the source-printed vertical error bars. The source guide curves, energy scans and theoretical panels are excluded; the dashed Ο† line is redrawn from its analytic value. The published Science article is the citation target, while arXiv 1103.3694 is the exact inspected visual manifestation. No published-panel pixel collation is claimed because the published PDF was not obtained. This source-adapted replot is author-preview only pending qualified rights review. [Col+10]

Observed or constructed object What it supports What it does not support
m1(B) measured markers The lowest resolved mode softens and retains a nonzero measured minimum near the reported three-dimensional critical field. A mathematically zero isolated-chain gap or an instrumental-resolution-free exponent.
m2(B) measured markers A second low-energy mode is resolved up to about 5 T. Its absence at higher field; the source says it could no longer be resolved.
Measured m2/m1 with source error bars The resolved ratio approaches the analytic golden ratio just below the 3D critical field. Observation of all eight E8 particles or a quantitative comparison independent of transverse wavevector and interchain coupling.
Coordinate recovery A reproducible replot of the printed marker centres. Experimental uncertainty, raw acquisition count, a fit, smoothing or interpolation.

The prediction therefore receives a bounded answer. The source markers show gap softening and a ratio approaching Ο†, but the nonzero minimum, loss of a resolvable m2 above about 5 T, finite 0.1 K temperature, instrumental resolution, interchain coupling and slightly off-Bragg transverse wavevector prevent a stronger isolated-chain claim. This is a monumental spectral signature near criticality, not the finite-size collapse performed later in the lecture.

Temperature cuts off the Ising correlation time

Finite temperature introduces the energy scale kBT. Quantum critical correlations therefore cannot retain an unlimited zero-temperature correlation-time scale in an equilibrium finite-T calculation. Define

(29.8)

Ο„T:=ℏkBT.

This thermal time scale is the inverse thermal energy in time units. In equilibrium quantum statistical mechanics it is also the scale of the imaginary-time circumference, but no imaginary-time formalism is assumed here. It is not a measured real-time coherence, dephasing, or relaxation lifetime; those require an observable, a dynamical model, and usually a bath or linewidth calculation. Comparing kBT with the zero-temperature gap gives

(29.9)

kBTβˆΌΞ”(Ξ»).

The relation marks a crossover into the quantum-critical fan. It is not itself a finite-temperature phase boundary. Inside the fan, temperature is the dominant low-energy cutoff and observables can reflect the nearby quantum critical fixed point without the system being at T=0.

The estimate follows by matching the quantum phase accumulated over a time Ο„, EΟ„/ℏ, to order unity with the thermal energy E=kBT. It is a scale argument, so order-one numerical factors depend on the observable and convention. On the gapped side with kBTβ‰ͺΞ”, thermal activation of the lowest excitation is suppressed. When kBT≳Δ, thermal occupation cuts off the zero-temperature correlation time. The line kBTβˆΌΞ” thus separates regimes of dominant scales; no thermodynamic nonanalyticity is implied by the equality sign used as an estimate.

An observable makes this distinction measurable. The Jordan–Wigner quasiparticles are fermionic modes, so a mode of energy Ξ” has the equilibrium occupation f(Ξ”)=1exp⁑[Ξ”/(kBT)]+1. This formula is introduced here only as a relative thermal-population rule: the exponential suppresses an excited mode when its energy is large compared with kBT. At Ξ³=0.9, the bulk gap is 0.2J. Hence f=1/(e4+1)=0.0180 at kBT=0.05J, but f=1/(e+1)=0.2689 at kBT=0.2J. The rapid increase in quasiparticle density near the scale-matching line is a crossover in an observable, not a discontinuity or a new finite-temperature phase boundary.

The statistical interpretation is now concrete. The constant kB converts temperature to energy, and increasing a state’s energy by kBT reduces its equilibrium weight by a factor eβˆ’1. The time Ο„T is consequently a thermal cutoff scale, not the lifetime of every microscopic excitation and not a new operator. Observable-dependent factors of order unity may move a plotted crossover line without creating a phase boundary.

For the Ising anchor, Ξ”bulk=2J|1βˆ’Ξ³| gives the low-temperature crossover estimate kBTJ∼2|1βˆ’Ξ³|. Thus the fan widens linearly with T because this model has zΞ½=1. In a different universality class the edges scale as T∼|Ξ΄|zΞ½ and need not be straight. A finite ring adds the second cutoff Ξ”+(L): thermodynamic quantum-critical scaling requires the temperature window Ξ”+(L)β‰ͺkBTβ‰ͺJ.

At fixed low T, solve the preceding relation for the two crossover values of Ξ³. Doubling T doubles their separation only in the Ising scaling regime. Crossing either line changes the dominant scale smoothly.

Before reading Figure 29.3, predict how the finite-size gap minimum changes as L increases and which rescaling should make critical data approach one curve. Then classify the finite-temperature fan edges as phase boundaries or crossovers before looking at their labels.

Exact finite-size gaps, the corresponding Ising rescaling, and the thermal crossover fan coordinate three cutoffs of the same model.

Three panels show exact finite-size Ising gaps, their trial scaling collapse, and an equilibrium thermal crossover fan.
Figure 29.3. Exact finite-size gaps, the corresponding Ising rescaling, and the thermal crossover fan coordinate three cutoffs of the same model.

Exact analytic gap geometry and a crossover schematic. The first two panels, (a) and (b), evaluate the same exact pair-gap formula used by the table for L=4,8,12; the dotted curve in (b) is Ξ¦(x)=4x2+Ο€2. They show the finite-size minimum approaching zero and the improvement of the z=Ξ½=1 rescaling. Panel (c) is a scale-matching schematic, not a phase diagram computed from finite-temperature thermodynamics: its straight sides encode the Ising-specific zΞ½=1 estimate kBT/J=2|1βˆ’Ξ³|. The source script and JSON recordβ€”not the drawn line thicknessβ€”supply exact values, residuals, and fit windows. The thick segment on the T=0 axis marks the ordered ground states; at any T>0 the one-dimensional chain has a finite correlation length and no ordered phase. The open square and circle in (c) mark Ξ³=0.9 at kBT=0.05J and 0.2J, the two temperatures of the occupation example; the circle lies on a dashed side, where kBT=Ξ”bulk=0.2J.

The figure and the worked table still have different evidential jobs. The figure coordinates the raw, rescaled, and thermal-cutoff representations; the table and registered record permit numerical residual and window tests. Returning to the initial finite-size prediction, the nearly constant product LΞ”+/J supplies the closing inference, while the fan sides remain smooth scale-matching curves. The analytic panels do not turn the thermal schematic into evidence for a finite-T phase boundary.

A programmable simulator can test a complementary rung. Prepare several declared sizes, measure a gap or correlation length at the same reduced couplings, and compare LzΞ” against Ξ΄L1/Ξ½ while varying the smallest included size and the assumed critical point. Agreement with the Ising collapse within readout and preparation uncertainty is evidence for an Ising scaling window. It is not proof of exact exponents if a narrow size range also collapses under nearby choices. The simulator’s controlled size sequence helps expose finite-size rounding, whereas the quantum magnet supplies a genuine bulk material and momentum-resolved spectroscopy; neither platform substitutes for the other’s systematics.

Evidence rung Supported conclusion Conclusion not yet supported
two- or few-spin avoided crossing noncommuting terms mix finite states thermodynamic criticality
periodic-chain size sequence and residual audit consistency with z=Ξ½=1 scaling exact universality for a material
simulator size/correlation sequence controlled finite-size realization absence of long-range-coupling or preparation corrections
neutron gap and dispersion versus field a material mode softens near Hc identity with the nearest-neighbor chain without extra-coupling checks
finite-T thermodynamics crossover or ordering scales around the field-tuned point every fan edge is a phase boundary

On panel (a) of Figure 29.3, which plots the exact gap against Ξ³βˆ’1 for three sizes, distinguish a finite-size minimum from the extrapolated critical point. Then label kBT=Ξ” as a crossover and predict how Ξ”(L,Ξ»c) changes when L doubles for z=1.

Classify each statement below as a thermal phase boundary, a zero-temperature quantum critical point, a finite-size crossover, or a finite-temperature fan crossover, and name the scale that changes or diverges in each case.

(a) The nonzero minimum of the L=8 curve in panel (a) of Figure 29.3, near Ξ³βˆ’1β‰ˆβˆ’0.08. (b) The vanishing of the bulk gap 2J|1βˆ’Ξ³| at Ξ³=1 and T=0. (c) The rapid rise of the occupation f(Ξ”) at Ξ³=0.9 between kBT=0.05J and 0.2J. (d) The ordering temperature that interchain coupling can produce in a weakly coupled chain magnet such as CoNb2O6.

A small finite-size gap is not by itself a thermodynamic transition. A fan edge is not a phase boundary. Gap closing is a qualified rule that assumes the relevant symmetries, locality, and phase definition remain fixed. A Landau order parameter is powerful for symmetry breaking but is not a universal phase classifier.

The noncommuting Ising terms first make the finite ground state evolve through an avoided crossing. Enlarging the same ring exposes a sector-resolved gap that falls as Lβˆ’1 at Ξ»=J. The exact dispersion identifies a linear low-energy mode, while the spin correlation length diverges as |1βˆ’Ξ³|βˆ’1; together they give z=Ξ½=1 and the gap scaling law. Finite L cuts off the spatial divergence, and finite T cuts off the correlation time. Matching kBT to the same bulk gap produces crossover fan edges, not new phase boundaries. The chain from Hamiltonian to fan uses one model and one declared excitation throughout.

A singular thermodynamic claim must be assembled from nonsingular evidence. Finite spectra, finite temperatures, finite resolution, and finite devices never display the ideal divergence directly; they supply cutoff-dependent trends. A credible critical diagnosis states the cutoff, rescales the data, varies the analysis window, compares independent observables, and keeps β€œconsistent with a universality class” distinct from β€œproved by a collapse.”

For a declared z=1 scaling estimate, take ΞΎ=80a, sample length L=40a, and velocity v=Ja/ℏ. Compare the intrinsic energy ℏv/ΞΎ, finite-size energy ℏv/L, and thermal energy for kBT=0.01J and 0.05J. Use unit scaling amplitudes for this estimate, not the exact ring-pair-gap prefactor. Which cutoff limits the accessible correlations?

The intrinsic and size energies are J/80=0.0125J and J/40=0.025J. The thermal length is β„“T=ℏv/(kBT), giving 100a at 0.01J and 20a at 0.05J. At the lower temperature, min(ΞΎ,L,β„“T)=40a: sample size cuts off the correlations before the intrinsic scale is reached. At the higher temperature it is 20a: thermal time is the shorter cutoff. The equivalent time comparison is τξ=80ℏ/J, Ο„L=40ℏ/J, and Ο„T=100ℏ/J or 20ℏ/J. The independent length and time comparisons agree. Sending Tβ†’0 removes only the thermal cutoff, not finite size, a second check. Increasing L at the high temperature would not remove the thermal limitation. These are crossovers in an observation window, not evidence for a finite-temperature phase boundary. The final diagnosis must retain the declared model, exponent and nonuniversal amplitude convention.

From critical scaling to phase diagnosis

Critical scaling diagnoses one route between phases. Lecture 30 compares the course’s diagnostic languages as complementary tools with distinct domains.

Reconstruct the diverging spatial and temporal scales, define the exponents, perform a finite-size collapse, and distinguish finite-size and thermal cutoffs from the zero-temperature critical point. A quantum-critical claim refers to that zero-temperature thermodynamic singular limit, not to one finite gap minimum. Finite-size gaps and data collapses are estimators tested over declared windows with corrections and residuals; the joint limit holds scaling ratios fixed. Finite temperature supplies a temporal cutoff and normally produces crossover lines, not additional phase boundaries. Universality is supported when independent observables share the predicted scaling structure, not when adjustable axes make one curve look collapsed.

Problems

1. Finite-size gap scaling

Use the periodic-ring, even-parity pair gap at Ξ³=Ξ»/J=1:

L 4 6 8 10 12
Ξ”+/J 3.061467 2.070552 1.560723 1.251476 1.044210
  1. Fit ln⁑(Ξ”+/J)=bβˆ’zln⁑L over Lβ‰₯4, Lβ‰₯6, and Lβ‰₯8. Report z, eb, and the window drift. The entries are exact evaluations rounded for printing, so distinguish finite-size systematic drift from sampling uncertainty.

  2. Calculate LΞ”+/J for every size and Ξ”+(12)/Ξ”+(6). State what supports a thermodynamic closing even though every printed gap is nonzero.

  3. Explain why replacing Ξ”+ by the unrestricted lowest gap can produce a false localization of the critical point in the ordered phase. Apply the continuous-scaling criterion stated above to give the strongest conclusion permitted by this one size sequence.

2. Change size or temperature

Keep the same Ising convention. At Ξ³=1, use Ξ”+(6)/J=2.070552 and Ξ”+(12)/J=1.044210. At Ξ³=0.9, use the thermodynamic bulk gap Ξ”bulk/J=0.20 and compare kBT/J=0.05 with 0.20.

  1. Calculate the critical gap ratio and the finite-size correlation-time scales ℏ/Ξ”+(L) in units of ℏ/J. Which cutoff is reduced when the ring is enlarged?

  2. For each temperature, calculate JΟ„T/ℏ=J/(kBT) and the fermionic occupation f(Ξ”)=1/[exp⁑(Ξ”/(kBT))+1]. Compare Ο„T with the bulk correlation-time scale ℏ/Ξ”bulk, and classify each case as gap-dominated or at the scale-matching crossover.

  3. From kBT/J=2|1βˆ’Ξ³|, calculate both fan-edge values of Ξ³ at each temperature. Explain why these are crossover locations, not thermodynamic phase boundaries, and why Ο„T is not a measured dephasing or relaxation time.

3. Audit a data collapse

Use the 25 exact finite-size entries in Example 29.3. Each printed reference coordinate x0 at size L represents the physical point Ξ³=1+x0/L and raw gap Ξ”+/J=y/L. Test these candidates:

candidate Ξ³c Ξ½ z
A: Ising 1.00 1.00 1.00
B: shifted critical point 0.98 1.00 1.00
C: changed exponents 1.00 0.80 1.10

For each candidate form X=Ξ³βˆ’Ξ³cΞ³cL1/Ξ½,Y=LzΞ”+J. Fit one common quartic Y=a0+a1X+β‹―+a4X4 by ordinary least squares and report the RMS residual for Lβ‰₯4, Lβ‰₯6, and Lβ‰₯8. The generator and exact record linked in Example 29.3 may be used to reproduce the calculation.

  1. Rank the candidates in every window and quantify the effect of deleting the two smallest sizes.

  2. Explain why improvement under deletion is necessary but not sufficient: all three flexible common curves can improve as the scaling window narrows. Identify the observed tradeoff among Ξ³c, Ξ½, and z.

  3. Decide whether these deterministic spectra define a statistical parameter covariance matrix or confidence interval. State the additional noise/likelihood or resampling model that would be needed, and give the strongest conclusion allowed by that criterion.

  4. For a relevant scaling field obeying dur/dβ„“=yrur, derive the stopping scale and Ξ½=1/yr. For candidates A and C, calculate the implied yr. Explain why this conversion does not derive either candidate’s microscopic beta function and why a visually acceptable collapse cannot establish the fixed-point spectrum by itself.

(advanced): Gaussian Quantum Critical Field Theory

A coarse-grained order-parameter field provides a continuum comparison with the lattice scaling argument. Let Ο•:RdΓ—Rβ†’R be an ordinary real scalar field of position x and Euclidean time Ο„. At finite temperature the time domain is instead the circle R/(βℏZ), with Ξ²=(kBT)βˆ’1, and a bosonic field is periodic on that circle. This appendix uses the dimensionless Euclidean action SE=SE/ℏ; the field and coefficients have been rescaled so the time-derivative coefficient is one.

(29.10)

S0[Ο•]=12∫dΟ„ddx[(βˆ‚Ο„Ο•)2+c2|βˆ‡Ο•|2+rΟ•2].

This functional maps one complete field configuration to a real number; it is not a Hamiltonian operator. Stability of the Gaussian weight exp⁑[βˆ’S0] requires c2>0 and rβ‰₯0. Before transforming, predict that balancing the two derivative terms will make frequency linear in wave number at r=0.

At zero temperature, use the Fourier transform on (k,Ο‰)∈RdΓ—R. At finite temperature, Ο‰ is replaced by the bosonic Matsubara sequence Ο‰n=2Ο€n/(βℏ). The quadratic action becomes S0=12∫k,Ο‰(Ο‰2+c2β€–kβ€–2+r)|Ο•(k,Ο‰)|2. Inverting this kernel gives the Gaussian two-point propagator,

(29.11)

GE(k,iΟ‰n):=βŸ¨Ο•(k,iΟ‰n)Ο•(βˆ’k,βˆ’iΟ‰n)⟩0=1Ο‰n2+c2β€–kβ€–2+r.

The expectation here is over the declared Gaussian field measure. GE is a two-point distribution in its Fourier variables, not a probability distribution over (k,Ο‰n). Its poles after analytic continuation give the real-frequency dispersion Ο‰(k)2=c2β€–kβ€–2+r. At criticality r=0, Ο‰=cβ€–kβ€–, so frequency scales as wave number and z=1. For r>0, the zero-momentum energy gap and equal-time spatial correlation length are Ξ”=ℏr,ΞΎ=cr,Ξ”=ℏcΞΎ. If r is proportional to the reduced distance Ξ΄, the Gaussian theory predicts Ξ½G=1/2. This result is a calculation within the quadratic theory, not yet the exponent of the interacting one-dimensional Ising fixed point.

Power counting identifies when that limitation matters. Under x↦bx and τ↦bzΟ„, balancing (βˆ‚Ο„Ο•)2 with |βˆ‡Ο•|2 again gives z=1. Keeping the derivative action invariant requires ϕ↦bβˆ’(d+zβˆ’2)/2Ο•. Add the local perturbation Sint[Ο•]=u4!∫dΟ„ddxΟ•4. Its coupling transforms as u↦b4βˆ’(d+z)u. Thus the quartic interaction is relevant for d+z<4, marginal at d+z=4, and irrelevant by this tree-level test for d+z>4. The upper-critical boundary is therefore d+z=4; for a relativistic z=1 theory the upper critical spatial dimension is dc=3. The one-dimensional Ising chain has d+z=2, so the quartic interaction is relevant and the Gaussian value Ξ½G=1/2 need not survive. The exact lattice result Ξ½=1 is consequently not contradicted by the Gaussian calculation.

This comparison also localizes two failure modes. Landau damping, conserved dynamics, long-range interactions, or a first-order instability can change the frequency kernel and hence z; tree-level power counting does not calculate the interacting fixed point or its loop corrections. The appendix therefore changes representation and tests dimensional logic, but it does not replace the ring’s sector-resolved gap, residual audit, or thermal crossover. It is deletion-safe: removing it leaves every core definition, problem, and bounded critical claim intact.

References

[Col+10] Coldea, R., Tennant, D. A., Wheeler, E. M., Wawrzynska, E., Prabhakaran, D., Telling, M., Habicht, K., Smeibidl, P., and Kiefer, K. (2010). β€œQuantum criticality in an Ising chain: Experimental evidence for emergent E8 symmetry.” Science 327 (5962), 177–180. https://doi.org/10.1126/science.1180085.