Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 59 1 ii Solution Created 2026-10-03 Updated 2026-10-14
For fractal geometry, let be the th middle-third construction of the Cantor set. It contains intervals of length , with total length . Each finite contains intervals, so its Hausdorff dimension is one. The limiting set has zero length andIndeed, intervals of scale cover it, giving the upper dimension bound from whenever . For the lower bound, assign mass to each level- interval. Any sufficiently small interval of length meets only a bounded number of construction intervals at the comparable scale, giving a bound . Covering by such intervals then forces their dimension-weighted sizes to sum to at least , yielding the matching lower bound. The noninteger dimension is deducible from a simple iterative rule even though it is absent from every finite-stage set at arbitrarily fine resolution. A finite construction nevertheless exhibits the same scaling over intermediate resolutions. Thus the order of idealization and probing ever smaller scales matters: an actual finite-resolution pattern can have useful fractal behaviour without possessing the exact limiting dimension at all scales.
For a phase transition, finite-spin partition functions are finite sums of positive exponentials at real finite temperature and field. Their free energies are therefore analytic there. Genuine thermodynamic nonanalyticity can appear only after a suitable infinite-system limit. The Curie–Weiss model gives an explicit demonstration. With , takeGrouping configurations by and using their binomial multiplicities gives the limiting free energy as the minimum ofThe number of possible magnetizations grows only linearly with , so their largest exponential contribution determines the limiting free energy. Differentiating the variational expression givesAt and , its two stable minima have magnetizations . Every finite zero-field system instead has exactly zero mean magnetization by spin-inversion symmetry. ConsequentlyThis noncommutation of limits explains how spontaneous symmetry breaking emerges. Below the critical temperature, the limiting free energy has a cusp in at zero, while finite systems have a sharp but smooth crossover. Away from the critical point, the relative weights of the two phases behave approximately as ; the rounded magnetization is correspondingly about . Exact singularity belongs to the idealized limit, whereas the narrow crossover and long-lived phases can be physically useful at finite size. The theoretical reduction is the derivation and its approximation control, not a claim that a finite analytic partition function is already nonanalytic.
For superselection, consider an infinite spin lattice with quasi-local observable algebra . These are zero-temperature equilibrium phases of a ferromagnetic Ising spin Hamiltonian with nearest-neighbour interactions . At finite , the all-up and all-down vectors belong to one Hilbert space, and the coherent stateis distinguishable from the corresponding mixture by a suitably chosen global observable. But if acts on only spins, its off-diagonal matrix element between these vectors vanishes: the untouched spins contribute . Hence its expectations already equal those of the equal-weight mixture, independent of . Increasingly global observables can recover the phase at finite , but the infinite product of spin flips is not a norm limit of finite-support observables and is absent from .
In the infinite-volume limit the up and down phases have disjoint state representations. The averaged magnetization commutes asymptotically with any fixed local observable: . In the phase representations its limiting values are and , distinguishing sectors. Finite spin-flip vectors form a dense set on which these averages tend to their respective scalar values, so boundedness extends the strong limits to the phase Hilbert spaces. An intertwiner between the representations would obey and must therefore vanish, explaining their disjointness. In the combined representation the observable algebra is block-diagonal between them, so no quasilocal measurement detects their relative phase. This yields an emergent superselection rule relative to the chosen observable algebra. It is not a derivation of physical wave-function collapse. Fractal dimension, a thermodynamic singularity and sector separation each exhibit new limiting structure while retaining an explicit microscopic construction.
Quasi-local observable algebra 2026-10-14
For a lattice system, finite-region observable algebras embed into larger ones by tensoring with the identity. Their union has a norm closure called the quasi-local observable algebra, a C-star algebra. It describes finite-support observables and norm limits of such observables. An operator flipping every spin of an infinite lattice need not belong to it: successive finite-region flips are not norm-Cauchy. Restrictions to this algebra can therefore lose relative-phase information retained by increasingly nonlocal finite-system observables.