Walkthroughs
The technical machinery, explained from scratch. 17 posts, best read in order.
-
Where 2592 comes from
The single number the whole framework rests on, built up from three level-k categories with nothing fitted.
-
Quantum dimensions, by hand
A worked calculation with the sine formula, and why an earlier table in this programme summed to the wrong number.
-
The Z6 quotient and 2t + 3n + 6Y
A one-line congruence that every Standard Model multiplet satisfies. It is real group theory, and it is weaker than it looks.
-
Why the central charge is 7
Three WZW factors, three central charges, and a sum that later turns out to fix the vacuum energy exponent.
-
d_code = 64
A code distance that falls out of which anyons exist, and a caution about how I then used it.
-
The logistic permeability function
How to write a leakage probability that stays a probability. The fix is one line and it took an auditor to prompt it.
-
Instanton actions, from 8 pi squared over g squared to 4 pi squared c
The standard exponential suppression, and what happens when the coupling is pinned by a topological level.
-
Two-mode squeezed states and thermal horizons
Why an accelerating horizon looks hot to anyone inside it, worked through with a covariance matrix you can check.
-
Lloyd, Bekenstein and Landauer agree
Three completely different arguments about how much a horizon can compute, landing on the same number. That is worth pausing on.
-
The cotangent identity on the lens space
A classical trig sum that fixes an eta invariant, and the place where this programme made an arithmetic slip.
-
Preferential attachment on a finite pool
Where the logistic term in a saturation law actually comes from, starting from individual researchers picking combinations.
-
Kolmogorov complexity for people who write code
The shortest program that outputs your data. Uncomputable in general, measurable in practice, and the reason I reach for a compressor.
-
Causal sets in five minutes
Spacetime as a growing set of events rather than a stage. The only approach here with both a measure and a dynamics.
-
Why third-order interference must vanish
A three-slit experiment that would break quantum mechanics if it did not come out zero, and what that forbids for this programme.
-
CHSH in one page
The inequality, the two numbers, and the one-line consequence for anyone proposing a classical computational universe.
-
Two-part MDL codes, concretely
Model cost plus residual cost, with a polynomial fit you can reproduce, because the whole plateau argument runs on this.
-
Superselection: realities that do not talk to each other
The stronger and more standard way to get many worlds: separate sectors of one theory, rather than extra branches.