Probability — flashcards

Different families of tractable roots — the falling factorial (Stirling numbers of the first kind), geometric-progression roots (q-calculus, Gaussian binomial coefficients, the q-Pochhammer symbol), Chebyshev nodes (literal projections of roots of unity onto a diameter), and Legendre/Jacobi polynomial roots (eigenvalues of the tridiagonal Jacobi matrix from a three-term recurrence) — are cases of one underlying variational principle: Fekete points, the n→∞ minimizer of −∑ log|rᵢ−rⱼ| over i≠j. With no external field this minimizer is the uniform (arcsine) distribution 1/(π√(1−x²)) on [−1,1], the equilibrium measure. A genuinely different mechanism produces tractable roots without this variational structure: the Ginibre ensemble (eigenvalues of a random Gaussian matrix, uniform on a disk), tractable via random-matrix universality rather than an energy minimization.

The Hausdorff dimension of a conformal repeller is the unique zero of the topological pressure function. An entire dynamical system is compressed into the root of one equation.

A binomial multiplicative cascade, Z_n(q)=(m₀^q+m₁^q)ⁿ, has scaling exponent τ(q)=−log₂(m₀^q+m₁^q); its q-derivative is the average Hölder exponent α(q)=τ'(q), and the Legendre transform f(α)=qα−τ(q) produces the full multifractal spectrum. Z_n(q) is then explicitly reframed as a statistical-mechanics partition function, E_I=−ln μ(I), β=q — a real algebraic identification (the same object under a relabeling that actually holds up, not a loose analogy), verified empirically at q=0,0.5,1,2,3,5 against the closed-form binomial expressions.

The Random Energy Model (Derrida, 1980) — i.i.d. Gaussian energies — has a critical inverse temperature β_c=√(2ln2) separating a quadratic high-temperature free energy from a linear low-temperature (frozen) one, verified by simulation at N=2²² matching both branches (ln2+β²/4 above β_c, β√(ln2) below). The source material names this as sharing its mechanism directly with the Fyodorov–Hiary–Keating conjecture for the maxima of |ζ| on the critical line — already on this map at st/freezing-transition-log-correlated-extremes — making REM the textbook log-correlated-field instance of the exact phenomenon that statement's zeta-zero application borrows.

Rufus Bowen, 1979.

Bowen's formula computes the Hausdorff dimension of a Julia set as the zero of a pressure function. An entire dynamical system is summarised by a single number, and the pressure equation is the accounting for what that number is allowed to forget.

Probability courses standardly open with combinatorial counting.

Continuous probability distributions wait for calculus to be in hand.

Probability on finite spaces is just counting, normalised to sum to one.

Continuous probability needs measure and limit machinery from analysis.

Harmonic functions ↔ expected values over Brownian paths; the heat kernel ↔ the transition density of Brownian motion.

Pair correlation of the zeta zeros ↔ eigenvalue statistics of large random Hermitian matrices. Numerically overwhelming, still conjectural.

Recorded as conjectural: expected, not proved.

Basic probabilistic objects — the bridge from counting to continuous randomness.

The continuous limit of a random walk; the canonical continuous-time random process.

Statistics of eigenvalues of large random matrices. Turns up, startlingly, in the distribution of zeta zeros.

Topological pressure, transfer operators and Birkhoff sums, importing statistical mechanics into dynamics. Bowen's formula computes the dimension of a Julia set as the zero of a pressure function — an entire system compressed to the root of one equation.

Good at — Typical and limiting behaviour. What happens almost surely, how much fluctuation to expect, what a system looks like once it has run a long time. It answers questions about populations that are hopeless one at a time.

Bad at — Individual cases. It will prove almost every number has a property and be unable to certify a single specific one. Rare events with hidden structure are where its estimates are least trustworthy.