12.3. Closure via the binary-gap-tempered partition function
With the Chamseddine–Connes (CC) inner-fluctuation bridge structurally obstructed (Computation 81, §12.2.2 above; full obstruction proof in §12.4 below), an alternative substrate-side derivation of is available via the Bernoulli moment-generating function, and turns out to admit a clean Wilsonian matching to the SM-side .
12.3.1. An independent substrate-side derivation of
The substrate Bernoulli measure has empirical mean with asymptotic moment-generating function
| (135) |
delivering at the structurally-forced scale
| (136) |
where the “2” is the spectral range of a single binary distinction, : the exchange at each substrate site is a self-adjoint involution with eigenvalues , so its range is fixed at with no freedom (P1’s minimal property distinction is binary; this is the one-bit Clifford range under an equivalent name). The numerically identical from Bott periodicity shares the value but is a gauge- and spacetime-sector fact, never an input here; it is not the load-bearing route. All three ingredients ( from P1, the binary-distinction gap from P1, asymptotic limit from Cramér–Bernoulli machinery [150]) are structurally derived.
The value is robust across the cutoff-function family at the matched edge : any exponential-of-power cutoff gives at the matched scaling, so the substrate-side value is the same number under the Gaussian, exponential, or any choice. The Bernoulli moment-generating function (MGF) route asymptotically delivers via the form (Computation 100, exponential cutoff forced by P1’s bit-independence); the spectral-action route via at also gives (Computation 62, Gaussian). These routes use different operators (spread Boolean Laplacian eigenvalues in Computation 100; degenerate-spectrum collapse in Computation 62), and the Bernoulli-MGF route is asymptotic in (e.g. at , Computation 100 gives , high; at , , high; at , , high; at , deviation ) rather than -independent. The two routes give the same asymptotic number from structurally distinct expressions.
12.3.2. The substrate Higgs Hamiltonian
For the Bernoulli-MGF identification to function as a substrate-to-SM bridge, the substrate Higgs Hamiltonian must be identified structurally. Computation 89 derives from three constraints (the three candidate SM-side formulations the bridge was reduced to, of which the Wilsonian one survived, are Computation 90):
-
(i)
Additivity. The Bernoulli measure factors across independent sites; an extensive substrate Hamiltonian must be additive, .
-
(ii)
Matched scaling. At , per-site energy is rescaled by .
-
(iii)
Uniformity. P1 distinguishability treats all sites equivalently; per-site energy is uniform across .
Together, (i)–(iii) force
| (137) |
the empirical mean of bit-occupation, with no free parameters.
12.3.3. What the identification carries, and what it does not
The three constraints are not load-bearing in the same way. Constraint (iii) alone (uniformity, the -symmetry that is P1) forces to be a function of , since any symmetric function of binary bits depends only on their count . This is exact, and it is all that the all-orders decoupling (Computations 118, 121) needs: the interaction is a function of the sufficient statistic [151] whether or not that function is linear. Linearity enters only through constraint (i). A single-bit function with is necessarily affine, so an additive Hamiltonian is exactly affine in with no remainder. The only route to a nonlinear is then a cross-bit term , an interaction between the P1-independent distinctions. Additivity is thus P1 independence read at the level of the energy. Even the limiting value is robust to relaxing linearity: by the law of large numbers [101] , so . With the value then follows from the single normalisation , which linear supplies automatically, the mean of being the site-mean . Linearity controls only the correction to the value (Computation 122). The substrate-side closure therefore does not hinge on being exactly linear. Its structure is exact from symmetry, and its value rests on a vacuum normalisation and the binary gap. Linearity, itself the energy-level form of P1 independence, refines only the substrate-limit .
The binary-gap-tempered substrate partition function
| (138) |
is therefore the substrate-side quantity corresponding to the SM-side , with the spectral range of a single binary distinction, , forced by P1’s binary alphabet (equivalently the one-bit Clifford range; the numerically equal shares the value but is not the source).
12.3.3.1. Notation: the KO subscript
The subscript “KO” and the name “binary-gap-tempered” are retained labels: the load-bearing origin of the exponent is the binary-distinction gap above, not Bott periodicity (Computation 102). One further point should be stated plainly. The binary-gap argument fixes the value of a spectral gap at ; that this gap appears as the exponent of the tempering weight is a separate identification. The tempered weight is the matched-scaling heat-kernel trace (Computation 100), whose per-bit exponent is the Boolean Laplacian gap divided by . The value therefore obtains if and only if the tempering exponent equals the spectral gap . The law-of-large-numbers limit is trivial, fixing only that some appears. The load-bearing substrate-side step is therefore this exponent identification, that the binary gap enters as the tempering exponent, and not the limit. This identification is part of the substrate-side closure; it is distinct from the matching of the resulting factor to the SM coupling, which is the open step of §12.5.
12.3.4. The bridge identification: seven-step proof sketch
Combining the Wilsonian framework of §12.2 with the substrate-side derivations:
-
(1)
The PST EFT below is exactly the Standard Model (eq. (127); no PST modes propagate below ).
-
(2)
The matching at between the PST UV and the SM infrared (IR) is given by the standard Wilsonian matching condition.
-
(3)
The PST UV at has bare coupling (LG modal potential, §1.5).
-
(4)
The substrate UV at contributes vacuum fluctuations between and , with measure .
-
(5)
These fluctuations integrated over contribute a multiplicative factor
(139) to the bare coupling, with derived from substrate primitives (equation (137)).
-
(6)
The exponent is , the spectral range of a single binary distinction: , the nonzero eigenvalue of for the self-adjoint involution at each site. P1’s minimal property distinction is binary, and this is the one-bit Clifford range under an equivalent name (Computation 100, 102). The numerically equal (Bott periodicity, §1.5) shares the value but enters as a gauge- and spacetime-sector fact, never as an input here; the “binary-gap-tempered” label is retained only as a name. This is also the calibration point of the Bernoulli moment-generating function (MGF) route: hits for and only for , so is the signature of the binary gap, and the structural content of this step is precisely the derivation of from P1’s binary alphabet.
-
(7)
Combining (1)–(6):
(140) structurally. This matches the observed (Computation 202: the three-loop running and the matching of [51] on the 2026 Review’s inputs [233]) at the level, in the renormalisation group equation (RGE) input budget.
The steps are grounded as follows. Steps (1), (2), (3), (4), (6) are established in the existing PST framework (§12.2, §1.5, A1 of §18.1, Computation 88). Step (5) is established by Computation 89 (the substrate Higgs Hamiltonian derived from additivity + matched scaling + uniformity, with no free parameters). Step (7) follows from steps (1)–(6). The seven steps are formalised in the partition-function-level Chamseddine–Connes (CC) correspondence framework of §12.5, where the substrate-side content is closed at proof-detail level. Computation 98 closes items (a) and (b) of the residual gap, via the mode-shell block-spin renormalisation group (RG) fixed-point theorem. Computation 100 closes item (c), the spectral-action cutoff identification on the substrate, from P1–P3 alone via the tensor-product factorisation forced by P1’s Bernoulli product measure. The substrate-side factor is therefore a structural result of PST from P1–P3 in the asymptotic limit. The identification of this substrate factor with the Standard Model (SM) side ratio is bridge premise (B). As §12.5 sets out, (B) is reduced within PST to a field-strength-renormalisation identity by the four-step argument of §12.5: the bridge factor typed as a wave-function renormalisation, forced into the substrate-factor form, the embedding-norm identification, and the unique-soft-mode theorem F10. Its internal renormalisation is fully derived, for both the field strength and the vertex. is thus derived modulo the emergence premise F4 plus the empirical RGE test, not parameter-free. Its substrate-side residual is only the finite-size correction on the value. The all-orders decoupling itself is closed exactly and non-perturbatively by sufficiency of the empirical mean (Computation 121), with the formal -equivariant Morse–Bott lemma [156] (Computation 118) as its de Moivre–Laplace shadow. [101]
The structural-scope theorem-style framing of that emerges from Computations 84–92 reads:
12.3.4.1. Theorem sketch ( bridge)
Take the Wilsonian-matching premise: that the SM effective Higgs quartic at equals the PST bare Landau–Ginzburg (LG) quartic multiplied by the substrate’s binary-gap-tempered Bernoulli partition function. Under that premise the identification holds, delivering structurally in the asymptotic limit.
Figure 3 plots the two-loop running against the substrate prediction at the modal scale, with the three-loop value at marked.