Lecture 29 : Quantum Critical Scaling
Where this fits
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 CoNb 2 2 O 6 6 - 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 πΏ = 4 , 6 , 8 , 1 0 , 1 2 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 β / ( π B π ) β / ( k B T ) is introduced only when it first cuts off the Ising correlation time .
29.1 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 d π’ π / d β = π¦ π π’ π d u a / d β = y a u a and π = 1 / π¦ π Ξ½ = 1 / y r ; 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 β β , π β 0 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 π = 0 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 : R d β R , the Landau free - energy functional maps the whole function to a number :
(29.1)
πΉ [ π ] = β« d π π [ π
2 ( β π ) 2 + π 2 π 2 + π’ 4 π 4 β β π ] . F [ m ] = β« d d r [ ΞΊ 2 ( β m ) 2 + r 2 m 2 + u 4 m 4 β h m ] .
The symbol πΉ F is a functional , not an operator and not an ordinary function of position . At β = 0 h = 0 , π’ > 0 u > 0 , and for uniform π m , stationary points obey π ( π + π’ π 2 ) = 0 m ( r + u m 2 ) = 0 . When π > 0 r > 0 , π = 0 m = 0 is stable . When π < 0 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 πΉ 1 F 1 and πΉ 2 F 2 have the relative equilibrium weight π 1 / π 2 = e x p β‘ [ β ( πΉ 1 β πΉ 2 ) / ( π B π ) ] p 1 / p 2 = exp β‘ [ β ( F 1 β F 2 ) / ( k B T ) ] . 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 .
Worked example 29.1 β Free-energy curvature selects the stable root
Retrieve the stability criterion of the mean - field stability example , now for the supplied dimensionless polynomial πΉ ( π ) = π π 2 / 2 + π 4 / 4 F ( m ) = r m 2 / 2 + m 4 / 4 at zero field . Here π β β m β R is an unbounded phenomenological coordinate , not a normalized Ising magnetization restricted to [ β 1 , 1 ] [ β 1 , 1 ] . Find and compare stationary roots for π = β 4 r = β 4 and + 4 + 4 , checking curvature and energy . Does this calculation determine a dynamical exponent ?
Stationarity requires πΉ β² ( π ) = π ( π + π 2 ) = 0 F β² ( m ) = m ( r + m 2 ) = 0 . At π = β 4 r = β 4 , πΉ ( 0 ) = 0 F ( 0 ) = 0 and πΉ ( Β± 2 ) = β 4 F ( Β± 2 ) = β 4 ; at π = + 4 r = + 4 , the only real root is zero and πΉ ( 0 ) = 0 F ( 0 ) = 0 .
The second derivative is d 2 πΉ / d π 2 = π + 3 π 2 d 2 F / d m 2 = r + 3 m 2 . It is negative at zero and positive at Β± 2 Β± 2 , so zero is unstable and the two symmetry - related minima are stable . For π = + 4 r = + 4 , only π = 0 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 π = β 4 r = β 4 , whereas zero has curvature minus four . For π = + 4 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 .
Definition 29.1 (Quantum phase transition)
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 Ξ» 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 .
29.2 One Ising ring from competing terms to a closing gap
Consider
(29.2)
Λ π» = β π½ β β¨ π π β© Λ π π§ π Λ π π§ π β π β π Λ π π₯ π . H ^ = β J β β¨ i j β© Ο ^ i z Ο ^ j z β Ξ» β i Ο ^ i x .
For π½ > 0 J > 0 and π = 0 Ξ» = 0 , the interaction favors π§ z - ordered states . For π β« π½ Ξ» β« J , the field favors a product state polarized along π₯ x . Because [ Λ π π₯ π , Λ π π§ π ] β 0 [ Ο ^ i x , Ο ^ i z ] β 0 , the two tendencies cannot be minimized simultaneously . The tuning parameter changes the ground - state quantum fluctuations even at π = 0 T = 0 .
At π = 0 Ξ» = 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 , Λ π» 2 = β π½ Λ π π§ 1 Λ π π§ 2 β π ( Λ π π₯ 1 + Λ π π₯ 2 ) . H ^ 2 = β J Ο ^ 1 z Ο ^ 2 z β Ξ» ( Ο ^ 1 x + Ο ^ 2 x ) . The odd combinations ( | β β β© β | β β β© ) / β 2 ( | ββ β© β | ββ β© ) / 2 and ( | β β β© β | β β β© ) / β 2 ( | ββ β© β | ββ β© ) / 2 have energies β π½ β J and + π½ + J . In the even basis | π + β© = | β β β© + | β β β© β 2 , | π + β© = | β β β© + | β β β© β 2 , | Ο + β© = | ββ β© + | ββ β© 2 , | Ο + β© = | ββ β© + | ββ β© 2 , the numerical matrix is H e v e n = ( β π½ β 2 π β 2 π π½ ) , H even = ( β J β 2 Ξ» β 2 Ξ» J ) , with eigenvalues Β± β π½ 2 + 4 π 2 Β± J 2 + 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 , | Ο β β© = | ββ β© β | ββ β© 2 , | Ο β β© = | ββ β© β | ββ β© 2 , the full four - dimensional problem separates as H 2 β
( β π½ β 2 π β 2 π π½ ) β ( β π½ ) β ( + π½ ) . H 2 β
( β J β 2 Ξ» β 2 Ξ» J ) β ( β J ) β ( + J ) . The dimensions add to four , and direct substitution gives Λ π» 2 | π β β© = β π½ | π β β© H ^ 2 | Ο β β© = β J | Ο β β© and Λ π» 2 | π β β© = + π½ | π β β© H ^ 2 | Ο β β© = + J | Ο β β© . At π = 0 Ξ» = 0 , the even ground state and | π β β© | Ο β β© are the two aligned ground states . For π / π½ β β Ξ» / J β β , the normalized lower even eigenvector tends to | π + β© + | π + β© β 2 = | + π₯ , + π₯ β© , | Ο + β© + | Ο + β© 2 = | + x , + x β© , as required by the field term . If instead π½ = 0 J = 0 , its energy is β 2 | π | β 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 Λ π π₯ π Ο ^ i x flips one spin . Consequently , the field couples the aligned even state | π + β© | Ο + β© to the anti - aligned even state | π + β© | Ο + β© , producing the off - diagonal matrix element β 2 π β 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 Ξ» = 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 , Λ π πΏ + 1 β‘ Λ π 1 Ο ^ L + 1 β‘ Ο ^ 1 . The global Ising symmetry operator Λ π = β πΏ π = 1 Λ π π₯ π P ^ = β i = 1 L Ο ^ i x commutes with Λ π» H ^ and has eigenvalues π = Β± 1 P = Β± 1 . We will follow the even - sector gap Ξ + ( πΏ , π ) = πΈ 1 , + ( πΏ , π ) β πΈ 0 , + ( πΏ , π ) , Ξ + ( L , Ξ» ) = E 1 , + ( L , Ξ» ) β E 0 , + ( L , Ξ» ) , where both energies belong to π = + 1 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 .
Worked example 29.2 β A two-spin parity gap and a ring convention
Use Λ π» 2 = β π½ Λ π π§ 1 Λ π π§ 2 β π ( Λ π π₯ 1 + Λ π π₯ 2 ) H ^ 2 = β J Ο ^ 1 z Ο ^ 2 z β Ξ» ( Ο ^ 1 x + Ο ^ 2 x ) , π½ > 0 , π > 0 J > 0 , Ξ» > 0 , with exactly one bond . Diagonalize the even block ( β π½ β 2 π β 2 π π½ ) ( β 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 Λ π = Λ π π₯ 1 Λ π π₯ 2 P ^ = Ο ^ 1 x Ο ^ 2 x ; even and odd refer to its + 1 + 1 and β 1 β 1 eigenvalues .
The even characteristic polynomial is πΈ 2 β π½ 2 β 4 π 2 = 0 E 2 β J 2 β 4 Ξ» 2 = 0 , so its energies are Β± π
Β± R , π
= β π½ 2 + 4 π 2 R = J 2 + 4 Ξ» 2 . Because π
> π½ R > J , the full ground energy is β π
β R , the first odd energy is β π½ β J , and Ξ a l l = π
β π½ , Ξ + = 2 π
. Ξ all = R β J , Ξ + = 2 R . The dimensions are two even plus two odd states , checking completeness . At π β 0 Ξ» β 0 the full gap closes through the aligned - spin degeneracy while the even gap tends to 2 π½ 2 J , independently checking which sector is being compared . At π β« π½ Ξ» β« J , the full gap approaches 2 π β π½ 2 Ξ» β J , consistent with a transverse spin flip . Writing a periodic sum over both ( 1 , 2 ) ( 1 , 2 ) and ( 2 , 1 ) ( 2 , 1 ) counts the same bond twice and replaces π½ J by 2 π½ 2 J in this two - site matrix . It is therefore unsafe to append this one - bond result to the later periodic πΏ β₯ 4 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 π / π½ = 1 Ξ» / 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 Ξ + β πΏ β 1 Ξ + β 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 l n β‘ Ξ + ln β‘ Ξ + against l n β‘ πΏ ln β‘ L once with and once without πΏ = 4 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 π ( π ) = 2 π½ β 1 + πΎ 2 β 2 πΎ c o s β‘ π , πΎ = π π½ . Ξ΅ ( k ) = 2 J 1 + Ξ³ 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 π = 0 k = 0 is Ξ b u l k = 2 π½ | 1 β πΎ | Ξ bulk = 2 J | 1 β Ξ³ | , so it closes only at πΎ = 1 Ξ³ = 1 . There , π ( π ) β 2 π½ | π | Ξ΅ ( k ) β 2 J | k | , and momentum spacing of order πΏ β 1 L β 1 explains π§ = 1 z = 1 . The even - sector gap contains the lowest allowed pair and therefore approaches 4 π π½ / πΏ 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 .
29.3 The closing spectrum demands length , time , and energy scales
Definition 29.2 (Correlation length of a connected ground-state correlator)
Fix an infinite - volume ground - state expectation functional β¨ β
β© π β¨ β
β© Ξ» , two declared local observables Λ π΄ π A ^ 0 and Λ π΅ π« B ^ r , and lattice displacement π« β β€ π r β Z d . Their connected correlator is the ordinary function πΆ π΄ π΅ ( π« ; π ) : = β¨ Λ π΄ π Λ π΅ π« β© π β β¨ Λ π΄ π β© π β¨ Λ π΅ π« β© π . C A B ( r ; Ξ» ) := β¨ A ^ 0 B ^ 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 : π π΄ π΅ ( π ) β 1 : = β l i m β s u p β π« β β β l n β‘ | πΆ π΄ π΅ ( π« ; π ) | β π« β β [ 0 , β ) . ΞΎ A B ( Ξ» ) β 1 := β limβsup β r β β β ln β‘ | C A B ( r ; Ξ» ) | β r β β [ 0 , β ) . The distance and microscopic length unit must be declared . A rate of zero , as for algebraic decay , is read as π π΄ π΅ = β ΞΎ A B = β ; 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 = Ο ^ i z and Λ π΅ π« = Λ π π§ π + π B ^ r = Ο ^ i + r z , so πΆ π§ π§ ( π ) = β¨ Λ π π§ π Λ π π§ π + π β© β β¨ Λ π π§ π β© β¨ Λ π π§ π + π β© C z z ( r ) = β¨ Ο ^ i z Ο ^ i + r z β© β β¨ Ο ^ i z β© β¨ Ο ^ i + r z β© . Away from criticality its envelope decays on a length π ΞΎ . The exact chain solution gives π β | 1 β πΎ | β 1 ΞΎ β | 1 β Ξ³ | β 1 near πΎ = 1 Ξ³ = 1 ; this is the same model whose spectral gap was followed above , not a separately postulated critical system .
Definition 29.3 (Correlation-length and dynamic critical exponents)
For a continuous transition at nonzero π c Ξ» c , define the dimensionless reduced distance πΏ : = ( π β π c ) / π c Ξ΄ := ( Ξ» β Ξ» c ) / Ξ» c . The correlation - length exponent π > 0 Ξ½ > 0 and dynamic exponent π§ > 0 z > 0 are the asymptotic exponents for which , on each specified side of the transition , π ( πΏ ) = π Β± 0 | πΏ | β π [ 1 + π ( 1 ) ] , π π ( πΏ ) = π Β± 0 [ π ( πΏ ) π ] π§ [ 1 + π ( 1 ) ] ( πΏ β 0 Β± ) . ΞΎ ( Ξ΄ ) = ΞΎ 0 Β± | Ξ΄ | β Ξ½ [ 1 + o ( 1 ) ] , ΞΎ Ο ( Ξ΄ ) = Ο 0 Β± [ ΞΎ ( Ξ΄ ) a ] z [ 1 + o ( 1 ) ] ( Ξ΄ β 0 Β± ) . Here π a is the microscopic length unit , π Β± 0 > 0 ΞΎ 0 Β± > 0 and π Β± 0 > 0 Ο 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 π§ = 1 z = 1 , while π β | 1 β πΎ | β 1 ΞΎ β | 1 β Ξ³ | β 1 gives π = 1 Ξ½ = 1 . Their product predicts Ξ β | 1 β πΎ | Ξ β | 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)
Ξ ( πΏ , π c ) βΌ πΏ β π§ . Ξ ( 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 Ξ = π β π§ π ( πΏ / π ) Ξ = ΞΎ β z f ( L / ΞΎ ) , with microscopic energy and length units understood . Because π = | πΏ | β π ΞΎ = | Ξ΄ | β Ξ½ , multiply by πΏ π§ L z and use πΏ / π = πΏ | πΏ | π L / ΞΎ = L | Ξ΄ | Ξ½ . The same information can be parametrized by the signed variable π₯ = πΏ πΏ 1 / π x = Ξ΄ L 1 / Ξ½ , giving πΏ π§ Ξ = F ( π₯ ) L z Ξ = F ( x ) . At πΏ = 0 Ξ΄ = 0 , π₯ = 0 x = 0 for every size and F ( 0 ) 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 π§ = 1 z = 1 , doubling πΏ L at πΎ = 1 Ξ³ = 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 π₯ = πΏ πΏ 1 / π x = Ξ΄ L 1 / Ξ½ , π¦ = πΏ π§ Ξ y = L z Ξ , a factor 2 β π§ 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)
Ξ ( πΏ , πΏ ) = πΏ β π§ F ( πΏ πΏ 1 / π ) , πΏ = π β π c π c . Ξ ( L , Ξ΄ ) = L β z F ( Ξ΄ L 1 / Ξ½ ) , Ξ΄ = Ξ» β Ξ» c Ξ» c .
Equation ( 29 . 5 ) defines F : β β β β₯ 0 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 Ξ» c are correct , plots of πΏ π§ Ξ L z Ξ against πΏ πΏ 1 / π Ξ΄ L 1 / Ξ½ 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 .
Criterion 29.1 (Continuous quantum-critical scaling criterion)
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 Ξ» 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 = π½ Ξ» c = J , so πΏ = πΎ β 1 Ξ΄ = Ξ³ β 1 , π§ = 1 z = 1 , and π = 1 Ξ½ = 1 . The proposed collapse is therefore a plot of πΏ Ξ + / π½ L Ξ + / J against ( πΎ β 1 ) πΏ ( Ξ³ β 1 ) L . At the central point the five values in the table approach the common ordinate 4 π 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 .
Worked example 29.3 β A scaling collapse with a residual
Use the periodic - ring even - sector gap Ξ + ( πΏ , πΎ ) / π½ = 4 β 1 + πΎ 2 β 2 πΎ c o s β‘ ( π / πΏ ) Ξ + ( L , Ξ³ ) / J = 4 1 + Ξ³ 2 β 2 Ξ³ cos β‘ ( Ο / L ) for πΏ = 4 , 6 , 8 , 1 0 , 1 2 L = 4 , 6 , 8 , 10 , 12 , πΎ = π / π½ Ξ³ = Ξ» / J . Set π₯ = ( πΎ β 1 ) πΏ 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 Ξ + ( πΏ , πΎ ) π½ = 4 β 1 + πΎ 2 β 2 πΎ c o s β‘ ( π / πΏ ) . Ξ + ( L , Ξ³ ) J = 4 1 + Ξ³ 2 β 2 Ξ³ cos β‘ ( Ο / L ) . Set π₯ = ( πΎ β 1 ) πΏ x = ( Ξ³ β 1 ) L and π¦ = πΏ Ξ + / π½ y = L Ξ + / J . The following entries are direct evaluations , not points read from a drawing :
πΏ L
π¦ ( β 2 ) y ( β 2 )
π¦ ( β 1 ) y ( β 1 )
π¦ ( 0 ) y ( 0 )
π¦ ( 1 ) y ( 1 )
π¦ ( 2 ) 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 + π₯ / πΏ Ξ³ = 1 + x / L , expand c o s β‘ ( π / πΏ ) = 1 β π 2 / ( 2 πΏ 2 ) + π ( πΏ β 4 ) cos β‘ ( Ο / L ) = 1 β Ο 2 / ( 2 L 2 ) + O ( L β 4 ) , and take fixed π₯ x as πΏ β β L β β : Ξ¦ ( π₯ ) = 4 β π₯ 2 + π 2 . Ξ¦ ( x ) = 4 x 2 + Ο 2 . Before the limit , the expression under the scaled square root is π₯ 2 + π 2 + π₯ π 2 / πΏ + π ( πΏ β 2 ) x 2 + Ο 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 | π₯ | β€ 2 | x | β€ 2 , the root - mean - square residual from Ξ¦ Ξ¦ is 1 . 212 for πΏ β₯ 4 L β₯ 4 , 0 . 948 for πΏ β₯ 6 L β₯ 6 , and 0 . 803 for πΏ β₯ 8 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 l n β‘ Ξ + ( πΏ , 1 ) = π β π§ l n β‘ πΏ ln β‘ Ξ + ( L , 1 ) = a β z ln β‘ L gives π§ = 0 . 9 7 9 3 z = 0.9793 for πΏ = 4 , 6 , 8 , 1 0 , 1 2 L = 4 , 6 , 8 , 10 , 12 , 0 . 9 8 7 5 0.9875 after omitting πΏ = 4 L = 4 , and 0 . 9 9 1 1 0.9911 after omitting both πΏ = 4 , 6 L = 4 , 6 . Thus these sizes support π§ = 1 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 π₯ = 0 x = 0 , the exact result is π¦ = 8 πΏ s i n β‘ [ π / ( 2 πΏ ) ] y = 8 L sin β‘ [ Ο / ( 2 L ) ] , which approaches 4 π 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 + π₯ / πΏ 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 .
29.3.1 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 π = ( π 1 , β¦ , π π ) β π β β π g = ( g 1 , β¦ , g n ) β U β R n be dimensionless couplings in a finite chart of effective descriptions . Increasing β β β β₯ 0 β β R β₯ 0 means eliminating shorter - distance information and rescaling lengths by π = e β b = e β . The flow is the ordinary differential equation
Definition 29.4 (Fixed point and scaling field)
A renormalization - group fixed point is a coupling vector π β β π g β β U for which π· ( π β ) = π Ξ² ( g β ) = 0 in d π d β = π· ( π ) . d g d β = Ξ² ( g ) . If π· Ξ² is differentiable at π β g β , its stability matrix is π π π : = π π½ π π π π |
|
|
| π β . M i j := β Ξ² i β g j | g β . A scaling field π’ π u a is a local linear coordinate formed from a left eigenvector of π M , so that its linearized flow is d π’ π / d β = π¦ π π’ π d u a / d β = y a u a . A direction is relevant when π¦ π > 0 y a > 0 , irrelevant when π¦ π < 0 y a < 0 , and marginal at linear order when π¦ π = 0 y a = 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 πΏ π π d β = β π π π π πΏ π π + π ( β πΏ π β 2 ) , d π’ π d β = π¦ π π’ π , π’ π ( β ) = e π¦ π β π’ π ( 0 ) . d Ξ΄ g i d β = β j M i j Ξ΄ g j + O ( β Ξ΄ g β 2 ) , d u a d β = y a u a , u a ( β ) = e y a β u a ( 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 π’ π u r with π¦ π > 0 y r > 0 . The flow remains near the fixed point until | π’ π ( β β ) | βΌ 1 | u r ( β β ) | βΌ 1 . Solving for that stopping scale gives e π¦ π β β | π’ π ( 0 ) | βΌ 1 , e β β βΌ | π’ π ( 0 ) | β 1 / π¦ π . e y r β β | u r ( 0 ) | βΌ 1 , e β β βΌ | u r ( 0 ) | β 1 / y r . Coarse - graining has enlarged the microscopic length π a to the correlation length π βΌ π e β β ΞΎ βΌ a e β β . If the initial relevant field is linear in the reduced tuning distance , π’ π ( 0 ) = π πΏ + π ( πΏ 2 ) u r ( 0 ) = c Ξ΄ + O ( Ξ΄ 2 ) with π β 0 c β 0 , then
(29.7)
π βΌ | πΏ | β 1 / π¦ π , π = 1 π¦ π . ΞΎ βΌ | Ξ΄ | β 1 / y r , Ξ½ = 1 y r .
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 π¦ π = 1 y r = 1 . Those are additional model - specific results . Here the exact Ising spectrum supplies π = 1 Ξ½ = 1 , and the flow argument identifies the corresponding local relevant eigenvalue as π¦ π = 1 y r = 1 .
Close the equations and reconstruct the argument from three statements : π’ π u r grows as e π¦ π β e y r β , the critical regime ends when it becomes order one , and lengths grow as e β e β . If the sign of π¦ π y r or the stopping condition is reversed , the resulting correlation length cannot diverge as the critical point is approached .
Worked example 29.4 β A local flow determines a stopping scale
A supplied local RG model has dimensionless fields d π / d β = 2 π d r / d β = 2 r , d π’ / d β = β π’ d u / d β = β u , and length rescaling π = e β b = e β . For π 0 = 1 0 β 4 r 0 = 10 β 4 , π’ 0 = 0 . 2 u 0 = 0.2 , stop when | π | = 1 | 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 ) ( 0 , 0 ) , and the diagonal stability matrix has eigenvalues 2 , β 1 2 , β 1 . Solving gives π ( β ) = π 0 e 2 β r ( β ) = r 0 e 2 β , π’ ( β ) = π’ 0 e β β u ( β ) = u 0 e β β . The stopping condition yields β β = β 1 2 l n β‘ | π 0 | , π / π = e β β = | π 0 | β 1 / 2 = 1 0 0 , π’ ( β β ) = 0 . 0 0 2 . β β = β 1 2 ln β‘ | r 0 | , ΞΎ / a = e β β = | r 0 | β 1 / 2 = 100 , u ( β β ) = 0.002 . Thus π = 1 / 2 Ξ½ = 1 / 2 for this supplied relevant eigenvalue . Replacing π 0 r 0 by β π 0 β r 0 gives the same stopping length on the opposite side , checking the absolute value . At π 0 = 0 r 0 = 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 Ξ½ = 1 , and no microscopic map from π / π½ β 1 Ξ» / 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 .
29.3.2 Return to the field - tuned quantum magnet
For the ideal chain , the bulk gap Ξ b u l k = 2 π½ | 1 β π / π½ | Ξ bulk = 2 J | 1 β Ξ» / J | predicts a V - shaped closing as the effective transverse coupling passes through π½ J , and the critical dispersion becomes linear . In a CoNb 2 2 O 6 6 - like magnet , neutron scattering tests both features : the energy of the lowest resolved mode should soften toward a field π» c H c , 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 Ξ β | π» β π» c | π§ π Ξ β | H β H c | 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 Ο = ( 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 πΈ i E i , the PG ( 002 ) analyser selects fixed πΈ f E f , and the energy transfer β π = πΈ i β πΈ f β Ο = E i β E f 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 ]
Observed or constructed object
What it supports
What it does not support
π 1 ( π΅ ) m 1 ( 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 .
π 2 ( π΅ ) m 2 ( 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 π 2 / π 1 m 2 / m 1 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 π 2 m 2 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 .
29.4 Temperature cuts off the Ising correlation time
Finite temperature introduces the energy scale π B π k B T . Quantum critical correlations therefore cannot retain an unlimited zero - temperature correlation - time scale in an equilibrium finite - π T calculation . Define
(29.8)
π T : = β π B π . Ο T := β k B T .
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 π B π k B T with the zero - temperature gap gives
(29.9)
π B π βΌ Ξ ( π ) . k B T βΌ Ξ ( Ξ» ) .
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 π = 0 T = 0 .
The estimate follows by matching the quantum phase accumulated over a time π Ο , πΈ π / β E Ο / β , to order unity with the thermal energy πΈ = π B π E = k B T . It is a scale argument , so order - one numerical factors depend on the observable and convention . On the gapped side with π B π βͺ Ξ k B T βͺ Ξ , thermal activation of the lowest excitation is suppressed . When π B π β³ Ξ k B T β³ Ξ , thermal occupation cuts off the zero - temperature correlation time . The line π B π βΌ Ξ k B T βΌ Ξ 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 π ( Ξ ) = 1 e x p β‘ [ Ξ / ( π B π ) ] + 1 . f ( Ξ ) = 1 exp β‘ [ Ξ / ( k B T ) ] + 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 π B π k B T . At πΎ = 0 . 9 Ξ³ = 0.9 , the bulk gap is 0 . 2 π½ 0.2 J . Hence π = 1 / ( e 4 + 1 ) = 0 . 0 1 8 0 f = 1 / ( e 4 + 1 ) = 0.0180 at π B π = 0 . 0 5 π½ k B T = 0.05 J , but π = 1 / ( e + 1 ) = 0 . 2 6 8 9 f = 1 / ( e + 1 ) = 0.2689 at π B π = 0 . 2 π½ k B T = 0.2 J . 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 π B k B converts temperature to energy , and increasing a state β s energy by π B π k B T reduces its equilibrium weight by a factor e β 1 e β 1 . The time π T Ο 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 , Ξ b u l k = 2 π½ | 1 β πΎ | Ξ bulk = 2 J | 1 β Ξ³ | gives the low - temperature crossover estimate π B π π½ βΌ 2 | 1 β πΎ | . k B T J βΌ 2 | 1 β Ξ³ | . Thus the fan widens linearly with π T because this model has π§ π = 1 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 Ξ + ( πΏ ) βͺ π B π βͺ π½ Ξ + ( L ) βͺ k B T βͺ 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 .
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 πΏ π§ Ξ L z Ξ against πΏ πΏ 1 / π Ξ΄ L 1 / Ξ½ 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 π§ = π = 1 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 π» c H c
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 Ξ³ β 1 for three sizes , distinguish a finite - size minimum from the extrapolated critical point . Then label π B π = Ξ k B T = Ξ as a crossover and predict how Ξ ( πΏ , π c ) Ξ ( L , Ξ» c ) changes when πΏ L doubles for π§ = 1 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 πΏ = 8 L = 8 curve in panel ( a ) of Figure 29 . 3 , near πΎ β 1 β β 0 . 0 8 Ξ³ β 1 β β 0.08 . ( b ) The vanishing of the bulk gap 2 π½ | 1 β πΎ | 2 J | 1 β Ξ³ | at πΎ = 1 Ξ³ = 1 and π = 0 T = 0 . ( c ) The rapid rise of the occupation π ( Ξ ) f ( Ξ ) at πΎ = 0 . 9 Ξ³ = 0.9 between π B π = 0 . 0 5 π½ k B T = 0.05 J and 0 . 2 π½ 0.2 J . ( d ) The ordering temperature that interchain coupling can produce in a weakly coupled chain magnet such as CoNb 2 2 O 6 6 .
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 πΏ β 1 L β 1 at π = π½ Ξ» = J . The exact dispersion identifies a linear low - energy mode , while the spin correlation length diverges as | 1 β πΎ | β 1 | 1 β Ξ³ | β 1 ; together they give π§ = π = 1 z = Ξ½ = 1 and the gap scaling law . Finite πΏ L cuts off the spatial divergence , and finite π T cuts off the correlation time . Matching π B π k B T 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 . β
Worked example 29.5 β Temperature and size compete to stop the flow
For a declared π§ = 1 z = 1 scaling estimate , take π = 8 0 π ΞΎ = 80 a , sample length πΏ = 4 0 π L = 40 a , and velocity π£ = π½ π / β v = J a / β . Compare the intrinsic energy β π£ / π β v / ΞΎ , finite - size energy β π£ / πΏ β v / L , and thermal energy for π B π = 0 . 0 1 π½ k B T = 0.01 J and 0 . 0 5 π½ 0.05 J . 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 π½ / 8 0 = 0 . 0 1 2 5 π½ J / 80 = 0.0125 J and π½ / 4 0 = 0 . 0 2 5 π½ J / 40 = 0.025 J . The thermal length is β T = β π£ / ( π B π ) β T = β v / ( k B T ) , giving 1 0 0 π 100 a at 0 . 0 1 π½ 0.01 J and 2 0 π 20 a at 0 . 0 5 π½ 0.05 J . At the lower temperature , m i n ( π , πΏ , β T ) = 4 0 π min ( ΞΎ , L , β T ) = 40 a : sample size cuts off the correlations before the intrinsic scale is reached . At the higher temperature it is 2 0 π 20 a : thermal time is the shorter cutoff . The equivalent time comparison is π π = 8 0 β / π½ Ο ΞΎ = 80 β / J , π πΏ = 4 0 β / π½ Ο L = 40 β / J , and π T = 1 0 0 β / π½ Ο T = 100 β / J or 2 0 β / π½ 20 β / J . The independent length and time comparisons agree . Sending π β 0 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 .
29.5 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 .
29.6 Problems
1 . Finite - size gap scaling
Use the periodic - ring , even - parity pair gap at πΎ = π / π½ = 1 Ξ³ = Ξ» / J = 1 :
πΏ L
4
6
8
10
12
Ξ + / π½ Ξ + / J
3 . 061467
2 . 070552
1 . 560723
1 . 251476
1 . 044210
Fit l n β‘ ( Ξ + / π½ ) = π β π§ l n β‘ πΏ ln β‘ ( Ξ + / J ) = b β z ln β‘ L over πΏ β₯ 4 L β₯ 4 , πΏ β₯ 6 L β₯ 6 , and πΏ β₯ 8 L β₯ 8 . Report π§ z , e π e b , and the window drift . The entries are exact evaluations rounded for printing , so distinguish finite - size systematic drift from sampling uncertainty .
Calculate πΏ Ξ + / π½ L Ξ + / J for every size and Ξ + ( 1 2 ) / Ξ + ( 6 ) Ξ + ( 12 ) / Ξ + ( 6 ) . State what supports a thermodynamic closing even though every printed gap is nonzero .
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 Ξ³ = 1 , use Ξ + ( 6 ) / π½ = 2 . 0 7 0 5 5 2 Ξ + ( 6 ) / J = 2.070552 and Ξ + ( 1 2 ) / π½ = 1 . 0 4 4 2 1 0 Ξ + ( 12 ) / J = 1.044210 . At πΎ = 0 . 9 Ξ³ = 0.9 , use the thermodynamic bulk gap Ξ b u l k / π½ = 0 . 2 0 Ξ bulk / J = 0.20 and compare π B π / π½ = 0 . 0 5 k B T / J = 0.05 with 0 . 2 0 0.20 .
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 ?
For each temperature , calculate π½ π T / β = π½ / ( π B π ) J Ο T / β = J / ( k B T ) and the fermionic occupation π ( Ξ ) = 1 / [ e x p β‘ ( Ξ / ( π B π ) ) + 1 ] f ( Ξ ) = 1 / [ exp β‘ ( Ξ / ( k B T ) ) + 1 ] . Compare π T Ο T with the bulk correlation - time scale β / Ξ b u l k β / Ξ bulk , and classify each case as gap - dominated or at the scale - matching crossover .
From π B π / π½ = 2 | 1 β πΎ | k B T / 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 Ο 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 π₯ 0 x 0 at size πΏ L represents the physical point πΎ = 1 + π₯ 0 / πΏ Ξ³ = 1 + x 0 / L and raw gap Ξ + / π½ = π¦ / πΏ Ξ + / J = y / L . Test these candidates :
candidate
πΎ c Ξ³ 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 π = πΎ β πΎ c πΎ c πΏ 1 / π , π = πΏ π§ Ξ + π½ . X = Ξ³ β Ξ³ c Ξ³ c L 1 / Ξ½ , Y = L z Ξ + J . Fit one common quartic π = π 0 + π 1 π + β― + π 4 π 4 Y = a 0 + a 1 X + β― + a 4 X 4 by ordinary least squares and report the RMS residual for πΏ β₯ 4 L β₯ 4 , πΏ β₯ 6 L β₯ 6 , and πΏ β₯ 8 L β₯ 8 . The generator and exact record linked in Example 29 . 3 may be used to reproduce the calculation .
Rank the candidates in every window and quantify the effect of deleting the two smallest sizes .
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 Ξ³ c , π Ξ½ , and π§ z .
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 .
For a relevant scaling field obeying d π’ π / d β = π¦ π π’ π d u r / d β = y r u r , derive the stopping scale and π = 1 / π¦ π Ξ½ = 1 / y r . For candidates A and C , calculate the implied π¦ π y r . 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 .
Appendix 29.A (advanced): Gaussian Quantum Critical Field Theory
A coarse - grained order - parameter field provides a continuum comparison with the lattice scaling argument . Let π : β π Γ β β β Ο : R d Γ 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 π½ = ( π B π ) β 1 Ξ² = ( k B T ) β 1 , and a bosonic field is periodic on that circle . This appendix uses the dimensionless Euclidean action S E = π E / β S E = S E / β ; the field and coefficients have been rescaled so the time - derivative coefficient is one .
(29.10)
S 0 [ π ] = 1 2 β« d π d π π₯ [ ( π π π ) 2 + π 2 | π π | 2 + π π 2 ] . S 0 [ Ο ] = 1 2 β« d Ο d d x [ ( β Ο Ο ) 2 + c 2 | β Ο | 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 e x p β‘ [ β S 0 ] exp β‘ [ β S 0 ] requires π 2 > 0 c 2 > 0 and π β₯ 0 r β₯ 0 . Before transforming , predict that balancing the two derivative terms will make frequency linear in wave number at π = 0 r = 0 .
At zero temperature , use the Fourier transform on ( π€ , π ) β β π Γ β ( k , Ο ) β R d Γ R . At finite temperature , π Ο is replaced by the bosonic Matsubara sequence π π = 2 π π / ( π½ β ) Ο n = 2 Ο n / ( Ξ² β ) . The quadratic action becomes S 0 = 1 2 β« π€ , π ( π 2 + π 2 β π€ β 2 + π ) | π ( π€ , π ) | 2 . S 0 = 1 2 β« k , Ο ( Ο 2 + c 2 β k β 2 + r ) | Ο ( k , Ο ) | 2 . Inverting this kernel gives the Gaussian two - point propagator ,
(29.11)
πΊ E ( π€ , i π π ) : = β¨ π ( π€ , i π π ) π ( β π€ , β i π π ) β© 0 = 1 π 2 π + π 2 β π€ β 2 + π . G E ( k , i Ο n ) := β¨ Ο ( k , i Ο n ) Ο ( β k , β i Ο n ) β© 0 = 1 Ο n 2 + c 2 β k β 2 + r .
The expectation here is over the declared Gaussian field measure . πΊ E G E 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 π ( π€ ) 2 = π 2 β π€ β 2 + π . Ο ( k ) 2 = c 2 β k β 2 + r . At criticality π = 0 r = 0 , π = π β π€ β Ο = c β k β , so frequency scales as wave number and π§ = 1 z = 1 . For π > 0 r > 0 , the zero - momentum energy gap and equal - time spatial correlation length are Ξ = β β π , π = π β π , Ξ = β π π . Ξ = β r , ΞΎ = c r , Ξ = β c ΞΎ . If π r is proportional to the reduced distance πΏ Ξ΄ , the Gaussian theory predicts π G = 1 / 2 Ξ½ 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 β¦ b x and π β¦ π π§ π Ο β¦ b z Ο , balancing ( π π π ) 2 ( β Ο Ο ) 2 with | π π | 2 | β Ο | 2 again gives π§ = 1 z = 1 . Keeping the derivative action invariant requires π β¦ π β ( π + π§ β 2 ) / 2 π . Ο β¦ b β ( d + z β 2 ) / 2 Ο . Add the local perturbation S i n t [ π ] = π’ 4 ! β« d π d π π₯ π 4 . S int [ Ο ] = u 4 ! β« d Ο d d x Ο 4 . Its coupling transforms as π’ β¦ π 4 β ( π + π§ ) π’ . u β¦ b 4 β ( d + z ) u . Thus the quartic interaction is relevant for π + π§ < 4 d + z < 4 , marginal at π + π§ = 4 d + z = 4 , and irrelevant by this tree - level test for π + π§ > 4 d + z > 4 . The upper - critical boundary is therefore π + π§ = 4 d + z = 4 ; for a relativistic π§ = 1 z = 1 theory the upper critical spatial dimension is π c = 3 d c = 3 . The one - dimensional Ising chain has π + π§ = 2 d + z = 2 , so the quartic interaction is relevant and the Gaussian value π G = 1 / 2 Ξ½ G = 1 / 2 need not survive . The exact lattice result π = 1 Ξ½ = 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 .