12.5. Partition-function Chamseddine–Connes framework
The seven-step proof sketch of §12.3 (Computation 92) identifies the structural ingredients for the closure but presents them as a chain of informal steps. This section formalises the closure as a unified partition-function-level Chamseddine- Connes correspondence framework, in which each step of the proof sketch becomes a definition, proposition, or theorem statement, and the matching is isolated as a single explicit bridge premise (B), which is then reduced within PST to a field-strength-renormalisation identity (internal renormalisation derived; the SM-side matching rests on F4 + the RGE test) by a four-step argument (wave-function renormalisation, embedding-norm identification, and the unique-soft-mode theorem F10).
The framework is parallel to the standard continuum Chamseddine–Connes spectral-action correspondence [50] but operates at the partition-function level rather than the heat-kernel level, the latter being structurally obstructed for the discrete substrate triple (§12.2.2, Computations 85, 86). The load-bearing computations are Computation 102 (structural-independence disambiguation of the two “2”s, KO mod 8 vs one-bit Clifford) and Computation 105 (two-layer one-loop diagram verifying non-double-counting of the zero modes across substrate vs emergent layers).
12.5.1. The eleven statements of the framework (F1–F11)
The framework has three kinds of ingredient, and which is which matters before the statements arrive. Three definitions fix the objects. Four propositions restate results already established elsewhere in the book. Four theorems carry the substrate-side content that is new here.
| Kind | Statement | |
|---|---|---|
| F1 | Definition | The PST partition-function spectral triple |
| F2 | Definition | The -partition function of a substrate observable (eq. (147)) |
| F3 | Definition | The matched-scaling exponent , the binary-distinction gap (eq. (148)) |
| F4 | Proposition | The PST effective theory below is exactly the Standard Model |
| F5 | Proposition | Wilsonian matching at |
| F6 | Proposition | The PST ultraviolet (UV) Higgs quartic |
| F7 | Proposition | Substrate UV–infrared (IR) scale separation at |
| F8 | Theorem | The substrate Higgs Hamiltonian , forced by additivity, matched scaling and uniformity (Computation 89) |
| F9 | Theorem | The binary-gap-tempered Bernoulli partition function , by the Cramér–Bernoulli asymptotic (Computation 88) |
| F10 | Theorem | Unique soft mode; total reduction of the bridge premise |
| F11 | Theorem | in the substrate |
12.5.2. The bridge premise and its reduction
Bridge Premise (B). Under the partition-function- level Chamseddine–Connes correspondence, the SM Higgs effective coupling at the matched scale equals the PST bare Higgs quartic multiplied by the substrate’s binary-gap-tempered Bernoulli partition function of :
| (145) |
12.5.2.1. Reduction of (B): the substrate side closed
A four-step argument reduces (B) to a specific, well-typed identity and closes its substrate side, leaving one open step. The substrate side is closed (F8, F9; no free parameters). The four steps fix the type of (B) and the substrate-side value of its field-strength factor:
-
1.
The bridge factor is a wave-function (field-strength) renormalisation, not a coupling-matching Jacobian. A field rescaling acts multiplicatively on the quartic, , which is the form (B) requires (Computations 101, 110). The measure-Jacobian route is excluded: it is additive, and produces a Gaussian weight , not the substrate factor (Computation 103). Two earlier attempts on the same premise are kept in Appendix B as record rather than as support: a fluctuation-matching prescription fixing , which is dimensionally suspect and implies (Computation 94), the reduction of (B) to the structural claim that the substrate Wilsonian flow generator is the Boltzmann factor, with its Polchinski-style partial derivation and the thermal-field framing that Computation 100 superseded (Computations 95, 96, 99), the total-reduction residual and the exclusion of the standard-EFT normalisation (Computations 113, 114), and an attempt to carry Mosco convergence from Dirichlet forms across to spectral actions, which established the factorisation of (B) but not the convergence it was after (Computation 104). Both are superseded by the route set out here.
-
2.
P1’s product structure fixes the form of the field-strength kernel. The matched-scaling cutoff factorises over bits (§12.5 above), so the per-configuration field-strength dressing is a product over the independent bits. A product kernel over Boolean bits is necessarily of a quantity affine in , i.e. , the same functional form the substrate side carries. The Gaussian of step 1 is thereby excluded: it correlates the bits and breaks the product structure (Computation 111), so the wave-function route is unobstructed in contrast to the Jacobian route. Note that the product structure fixes only the form (log-linear in ), not the coefficient: the value is the binary-distinction gap , supplied separately (Computation 112), not by the factorisation.
-
3.
The field-strength’s substrate-side value is the embedding norm of the symmetric Higgs vacuum. For the Higgs as an emergent projected field , the field-strength is its norm inside the substrate Hilbert space under the modal (tempered) inner product, . Two readings of the field-strength are possible, and the selection between them is structural. The standard effective field theory (EFT) reading (the two-point residue of ) is its susceptibility . That vanishing is the law of large numbers: is an intensive average of the i.i.d. bits (P1), so it self-averages to a sharp value, and a quantity the law of large numbers (LLN) sends to zero cannot be a field-strength. Reading it as one gives , a free emergent Higgs. The embedding norm is the object , the only candidate that normalises a canonical emergent field. Since the emergent EFT below is the interacting Standard Model (Proposition F4), an interacting Higgs is required, hence and hence the embedding-norm reading. That reading is forced by P1’s LLN and F4, not by the measured value of , which is thereby demoted from an input to the test of the prediction (Computation 117). Physically, below the LG threshold is a sharp classical condensate (susceptibility ) and the physical Higgs is the radial excitation, normalised by the embedding norm, not by the order parameter’s vanishing susceptibility. The embedding-norm reading holds precisely when the substrateHiggs reduction is total (every substrate mode folded into the single Higgs sector), which step 4 establishes.
-
4.
The reduction is total: a unique-soft-mode theorem. Past the Landau–Ginzburg threshold (P3) the order parameter is the unique soft mode, with a spectral gap (the binary gap ) to every other substrate mode. This is Theorem F10 below; it establishes that the reduction is total, so the field-strength of step 3 is the full substrate embedding norm , not a projection of it. F10 underwrites the substrate-side value; it does not by itself supply the SM-side identification.
12.5.3. What the four steps establish, and what remains
Steps 1–4 fix (B)’s type (a multiplicative field-strength renormalisation, not an additive Jacobian) and its substrate-side value (, total reduction proved by F10), with an finite-size residual that vanishes in the substrate limit (the same limit in which itself is defined). The matching ratio has, besides this field-normalisation piece, a vertex piece (the four-point PI correction); it is trivial to all orders, (Computation 119). This is the instance of the all-orders -equivariant decoupling lemma (Computation 118), of which F10’s quadratic (Hessian) statement is the instance. The quartic claim takes as given F10’s qualitative conclusion, that is the unique soft mode, so the non-collective modes are the gapped UV modes integrated out at the matching, together with (Theorem F8, the order parameter is the collective coordinate); what it does not require is F10’s quadratic-order Hessian method. Because depends on the linear collective coordinate alone, its th derivative tensor is the all-ones tensor , which every non-collective mode of the standard representation () annihilates at each order ; the contraction is precisely the quartic PI vertex, so the integrated-out substrate UV modes have zero matrix element with the Higgs quartic and generate no vertex correction (Computation 119 verifies the contraction numerically to ). In fact the decoupling is closed not merely as a formal all-orders lemma but exactly and non-perturbatively: because is the empirical mean of the i.i.d. bits (F8 with P1), it is a sufficient statistic for any interaction of the form , so the configurations at fixed are counted by the interaction-independent multiplicity and the substrate partition function factorises, at every finite , as
| (146) |
(Computation 121). The transverse (non-collective) modes enter only through the -independent multiplicity , so (and every -point -vertex correction) vanishes exactly, by Fisher–Neyman factorisation [151] rather than by a Gaussian-order argument; this answers the “higher-order” concern that the quadratic F10 does not by itself reach the quartic vertex. The -equivariant Morse–Bott lemma (Computation 118) is the de Moivre–Laplace shadow [101] of (146) (the all-ones derivative tensor is its leading term), and the only limit is the value of the one-dimensional collective integral, whose normalisation gives with the standard correction, the substrate-limit caveat every PST quantity carries, now isolated to the value rather than the structure. Consistency with a finite matched coupling is then manifest: the entire Higgs quartic at is times the field-strength dressing , with no substrate-UV contribution to it, so is finite and well-defined. The matching’s internal renormalisation is therefore complete: , with both the field-strength (Computation 117) and the vertex (Computation 119) derived from the same decoupling. What the steps do not supply is a derivation of the matching on the SM side: the equality is Wilsonian threshold matching at (Propositions F4–F7), and its connection to the running SM value rests on F4, the emergence of the SM as the EFT below , the framework’s central result, established in §18.1 and §13.7, not a (B)-specific gap, together with the RGE confirmation (the collective Higgs self-loops are the SM running below , which confirms , not a correction). (B) is therefore reduced: no internal step of the matching is open, and what remains is F4 plus the empirical RGE test. The matched scaling is the one definitional identification shared with the substrate side.
12.5.4. Substrate-side closure; the open matching step
The substrate-side content is closed in the substrate limit, as established by the four-step reduction above and Theorem F11. The tensor-product factorisation (Computation 100) forces the cutoff function to , and at the matched scaling binomial product convergence delivers . Bridge premise (B), eq. (145), is thereby reduced to a well-typed field-strength-renormalisation identity with substrate-side value . What remains open is the identification of this substrate field-strength with the SM-measured coupling ratio , a Wilsonian threshold-matching step (F4–F7) resting on the emergence premise F4 and carried, evidentially, by the agreement.