18.4. Dirac convergence: the L_round and L_comm lemma chain
This section gives, in full, the two heaviest pieces of the Dirac-operator convergence programme of §18.3: the quantum-Gromov–Hausdorff section round-trip (the L_round side, with its block-decomposition derivation), and the refined-bridge lemma chain (Lemmas 5–8, the L_comm side, with the ratio-matching, Berezin, and finite- closed forms).
18.4.1. The L_round side: the Gromov–Hausdorff round-trip
Let be Walsh-coefficient truncation at weight , and let be the trivial section (the same low-weight content viewed in ). The PST analogue of [119] Lemma 3.2 asks for a sequence and a Lip-norm on with
| (258) |
A numerical sweep across and three test classes (single Walsh modes; constant-coefficient Walsh tail; random Walsh coefficients) tested eleven candidate Lip-norms (polynomial sup, polynomial Sobolev, exponential sup, exponential Sobolev) under equation (258) (Computation 20). The result is decisive in two halves.
Polynomial Walsh-weight Lip-norms FAIL. For every polynomial weight ( or the corresponding Sobolev , ), the constant-coefficient tail has (the count of tail subsets, all evaluating to at the all-zero state), while grows only polynomially. Hence blows up exponentially with , and (258) fails for every polynomial Lip-norm. Empirical log-log slopes are for linear weights down to for Sobolev, all positive.
The Fréchet smooth Lip-norm succeeds. Define the Fréchet smooth Lip-norm
| (259) |
the standard smooth-subalgebra Lip-norm of the spectral triple. Higher-order Dirac commutators of single Walsh modes satisfy at large (independent of ; Computation 22), so by Stirling . The single-mode bound is rigorous (Computation 50): the Jordan–Wigner Clifford structure gives on , hence , and the standard left-right multiplication estimate yields uniformly in , , . Combined with Stirling this proves the single-mode L_round closure as a theorem, not merely a numerical observation. Direct measurement on the constant-coefficient tail (Computation 23) yields across , confirming exponential decay. The tail-sum closure now reduces to an explicit linear-algebra estimate via the block-decomposition identity: because on , the spectrum of is with spectral projectors , and direct calculation shows acts as on the diagonal blocks and as on the off-diagonal blocks . The block-anti-diagonal structure of then gives, for every and every ,
| (260) |
a closed-form identity verified to machine precision in Computation 51. The Fréchet smooth Lip-norm therefore admits the exact factorisation with , and the L_round rate becomes . Lemma 2 (tail-sum scaling)11 1 The lemma labels follow the / closure structure: Lemma 2 and Lemma 2-prime address the side, and Lemmas 5(a, b, c), 6, 7(a, b), 8 the side; the non-consecutive numbering reflects steps subsumed into other lemmas or following from [119] Lemma 3.2. is thereby reduced from the open interference question of higher-order commutators to the explicit operator-norm bound on the structured off-diagonal block . Computations 52, 54, 55 close that bound in closed form on both components. The operator commutes with , hence with the fermionic-signed representation (the naive bit-permutation rep does not commute with because of the Jordan–Wigner strings). On the -trivial component (Computation 52; the underlying algebraic identity on the projector image is Computation 53) the dominant singular value is exactly, with and , achieved on the explicit weight- eigenvector of . On the -standard-rep component (Computations 54, 55) the next singular value is exactly. By Pieri on the standard rep appears in and only. Take the -fixed vectors at weight and at weight . On these, the identities , (no weight- leakage; the Jordan–Wigner orderings on each triple cancel exactly), and with collapse to the rank- multiplicity-space matrix , whose singular values are and . All other -isotypic components vanish identically under . Hence
| (261) |
exactly for every at , with an exponential gap between the two components. Lemma 2-prime is therefore a theorem, the asymptotic rate is (the pre-asymptotic empirical exponential fit of Computation 23 crosses over to the square-root rate near ), and L_round closes rigorously. Combined with the bridge construction of [116] (Definition 5.1, Theorem 5.2), this gives convergence of in the quantum Gromov–Hausdorff distance at exponential rate in substrate size.
Why polynomial Lip-norms fail and the Fréchet smooth one succeeds is structural. The Walsh substrate has modes per substrate size , whereas the Bergman basis in [119] has only polynomially many. The Lip-norm must dominate the mode count, hence must grow at least exponentially in the Walsh weight. The Fréchet smooth Lip-norm does this automatically: every higher-order Dirac commutator contributes, and the supremum over of captures the infinite-order Sobolev structure of the smooth subalgebra. So PST’s L_round closes within the standard Connes–Chamseddine spectral-triple framework, with no artificial weight choice.
18.4.2. The L_comm side: the refined-bridge lemma chain
18.4.2.1. Refined bridge, symmetric-monomial construction
The infinite- closure of equation (257) requires a bridge construction whose substrate-to-Bergman ratio matches uniformly across , smoothing the cutoff discontinuity exposed by Computation 38. Computations 39–42 construct the symmetric-monomial bridge with
| (262) |
The bare monomial gives ratio exactly at ; two-monomial superposition (Computation 40) gives gap below at all even . Three-monomial superposition (Computations 41–42) closes the residual gap at odd and extends the closure uniformly across , with maximum gap at ; several close exactly to grid precision, including . The refined bridge gives that is -independent, eliminating the cutoff discontinuity. The Mosco averaging becomes trivial (all Walsh modes of weight map to the same operator), so the substrate–Bergman correspondence is via a -indexed symmetric construction rather than the multiplicative site-by-site map of Computations 32–36.
18.4.2.2. Refined bridge: the ratio match (Lemma 5)
The ratio-match step of the refined-bridge closure, the identification of bridge parameters that give substrate-target ratio , is now a closed analytical theorem (Computations 56–58). Since the bridge symbol depends only on , and the matrix-valued symbol is anti-diagonal in the Pauli basis, so . Writing and taking WLOG by symmetry gives , and the constrained sup over reduces to a 1D optimisation in .
For the bare single-monomial symbol , the optimum sits at and gives the closed-form ratio
| (263) |
(Lemma 5(a), Computation 56). At this evaluates to , the substrate target at weight , so the bare closes L_comm exactly at with zero refinement parameters. Asymptotically , so the single-monomial bridge undershoots the substrate target at and overshoots for ; the closing for is supplied by the refinement.
For the 2-monomial family , the ratio is continuous in with and . Since the closed-form is strictly increasing in , for every the substrate target is bracketed by for a unique (verified explicitly for and extended to all by the asymptotics). Bolzano’s theorem then gives
| (264) |
the existence statement of Lemma 5(b) (Computation 57). The closing admits an explicit parametric expression. Setting , the critical-point relation for the sup gives
| (265) |
and the closing equation is an algebraic equation in of degree after rationalising the factor. The unique root in the open interval then determines by (265) (Lemma 5(c), Computation 58). This realises as a rational function of an algebraic number.
Lemma 5 (parts (a), (b), (c)) thus closes the L_comm ratio-matching step of the refined-bridge construction as a complete analytical theorem. The 3-monomial refinements (Computations 41, 42) attain the same ratio match at typically smaller values via the additional parameter, providing extra flexibility for the downstream structural conditions discussed below.
18.4.2.3. Refined bridge, Berezin compatibility (Lemma 6)
The Berezin-transform compatibility of the refined bridge with the weighted-Bergman spectral-triple structure is closed by direct calculation (Computation 61). For holomorphic symbols on and the canonical weighted Bergman space , the reproducing-kernel adjoint identity yields
| (266) | ||||
| exactly on the infinite Bergman space, |
for every in the open ball. Applied to the refined bridge with holomorphic polynomial symbols , this is verbatim Lemma 6:
| (267) |
On the truncated Bergman space the identity holds up to an boundary correction that decays exponentially in for in the open ball. The bridge therefore realises the substrate’s weight-class structure on the Bergman side as a holomorphic-symbol algebra, with the Berezin transform recovering the symbol algebra exactly.
18.4.2.4. Refined bridge: finite- closure rate (Lemma 7)
Computation 59 documents the uniform-in- closure at finite . At finite Bergman truncation , the L_comm ratio departs from its infinite- value by a controlled correction. For the bare single-monomial bridge at weight (), the correction is closed in elementary form (Computation 60). In the canonical Bergman weight with orthonormal monomial basis restricted to , the holomorphic Toeplitz operators act as diagonal shifts (orthogonal target). Operator norms read off as maximum matrix elements: (maximiser , even ) and (maximiser , ). The commutator is anti-diagonal in the Pauli basis, giving the closed-form ratio
| (268) |
Hence with Taylor expansion ; the leading coefficient is exactly. At the matched scaling this gives (Lemma 7(a)).
For the 2-monomial bridge couples basis vectors through the diagonal shift , and the operator norm requires diagonalising a tridiagonal Toeplitz-like block at finite . In the bulk-large- limit the coefficients stabilise to a constant tridiagonal with asymptotic operator norm ; the finite- correction is again by the classical Bergman–Toeplitz convergence theorem for polynomial symbols ([144], [145]). Per- extraction of the leading constant via least-squares fit is ill-conditioned at the moderate reachable by direct dense linear algebra: two-parameter (Computation 63) and three-parameter (Computation 64) fits over disagree by factor – and frequently in sign for , the leading term not yet separated from higher-order structure when is comparable to the bridge degree . Lemma 7(b) is closed instead by direct measurement of the gap-times- quantity itself (Computation 65), bypassing the extraction. Across the operative regime , with and (195 measured pairs, Computation 150):
| (269) |
median , the supremum attained at the smallest substrate size in range. The restriction to is necessary, not cosmetic. Computation 150 measures at , so the bound does not hold uniformly in ; every violation lies at , which the Walsh cutoff excludes. Computation 65’s reported maximum at is itself such a point, since there. Hence at the matched scaling ,
| (270) |
(Lemma 7(b)). The foundational L_comm closure rate is therefore , polynomial in the substrate size, weaker than the exponential L_round rate but uniformly controlled. That rate is tight, not merely an upper bound. At fixed the quantity converges to a nonzero constant of order one as grows, at it runs over to , monotone towards about , while falls from to , so and no better (Computation 153). An apparent downward trend in the matched-scaling sequence is sawtooth phase in the stratum, not decay. This is consistent with the vanishing Englis–Zhu deficit of equation (282): a relative deficit on the norms and an gap in their ratio are different statements, and both hold. The per- closed form of for is a separate quantitative question: the numerics suggest no simple pattern, but the foundational closure does not require it.
18.4.2.5. Refined bridge: spectral-action invariance (Lemma 8)
The Connes spectral-action invariance under the refined bridge follows as a corollary of Lemmas 5, 6, 7(a) (Computation 62). At the matched substrate-to-Bergman scaling
| (271) |
the eigenvalue counts match: exactly, and (the leading-order count of the Bergman SU(2) Dirac eigenvalues up to the cutoff matches the substrate Hilbert-space dimension). At this scaling, the spectral actions are commensurate:
| (272) | ||||
both as bounded quantities independent of . Numerical verification with Gaussian cutoff across : exactly; converges to a -independent constant ( at the moment, at , at ). Exact equality requires the standard Chamseddine–Connes choice of cutoff function (absorbing the ratio into a renormalisation of ). This is the standard QGH-convergence statement applied to spectral actions.