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-NN closed forms).

18.4.1.  The L_round side: the Gromov–Hausdorff round-trip

Let πD:AD→C⁢(S3)\pi_{D}:A_{D}\to C(S^{3}) be Walsh-coefficient truncation at weight |S|≤kD:=⌊D⌋|S|\leq k_{D}:=\lfloor\sqrt{D}\rfloor, and let σD:C⁢(S3)→AD\sigma_{D}:C(S^{3})\to A_{D} be the trivial section (the same low-weight content viewed in ADA_{D}). The PST analogue of [119] Lemma 3.2 asks for a sequence γD→0\gamma_{D}\to 0 and a Lip-norm LDL_{D} on ADA_{D} with

‖T−σD⁢(πD⁢(T))‖op≤γD⋅LD⁢(T)for all ⁢T∈AD.\|\,T-\sigma_{D}(\pi_{D}(T))\,\|_{\mathrm{op}}\;\leq\;\gamma_{D}\cdot L_{D}(T)% \qquad\text{for all }T\in A_{D}. (258)

A numerical sweep across D=4,6,…,20D=4,6,\dots,20 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 w⁢(|S|)=(1+|S|)αw(|S|)=(1+|S|)^{\alpha} (α=1,2,3\alpha=1,2,3 or the corresponding Sobolev HpH^{p}, p=1,2p=1,2), the constant-coefficient tail T=∑|S|>kDχST=\sum_{|S|>k_{D}}\chi_{S} has ‖Ttail‖op=2D\|T_{\mathrm{tail}}\|_{\mathrm{op}}=2^{D} (the count of tail subsets, all evaluating to +1+1 at the all-zero state), while LD⁢(T)∼DαL_{D}(T)\sim D^{\alpha} grows only polynomially. Hence γD≥2D/Dα\gamma_{D}\geq 2^{D}/D^{\alpha} blows up exponentially with DD, and (258) fails for every polynomial Lip-norm. Empirical log-log slopes are +6.6+6.6 for linear weights down to +2.5+2.5 for H2H^{2} Sobolev, all positive.

The Fréchet smooth Lip-norm succeeds. Define the Fréchet smooth Lip-norm

LF⁢(T):=supj≥0‖adDj⁢(T)‖opj!,adD⁢(T):=[D,T],D=∑aχa,L_{F}(T)\;:=\;\sup_{j\geq 0}\frac{\|\mathrm{ad}_{D}^{\,j}(T)\|_{\mathrm{op}}}{% j!},\qquad\mathrm{ad}_{D}(T):=[D,T],\;\;D=\sum_{a}\chi_{a}, (259)

the standard smooth-subalgebra Lip-norm of the spectral triple. Higher-order Dirac commutators of single Walsh modes satisfy ‖adDk⁢(χS)‖1/k→2⁢D\|\mathrm{ad}_{D}^{k}(\chi_{S})\|^{1/k}\to 2\sqrt{D} at large kk (independent of |S||S|; Computation 22), so by Stirling LF⁢(χS)∼e2⁢DL_{F}(\chi_{S})\sim e^{2\sqrt{D}}. The single-mode bound is rigorous (Computation 50): the Jordan–Wigner Clifford structure gives D2=D⋅ID^{2}=D\cdot I on (ℂ2)⊗D(\mathbb{C}^{2})^{\otimes D}, hence ‖D‖op=D\|D\|_{\mathrm{op}}=\sqrt{D}, and the standard left-right multiplication estimate yields ‖adDj⁢(χS)‖op≤(2⁢D)j⁢‖χS‖op\|\mathrm{ad}_{D}^{j}(\chi_{S})\|_{\mathrm{op}}\leq(2\sqrt{D})^{j}\|\chi_{S}\|% _{\mathrm{op}} uniformly in jj, SS, DD. Combined with Stirling this proves the single-mode L_round closure ‖χS‖op/LF⁢(χS)≤e−2⁢D→0\|\chi_{S}\|_{\mathrm{op}}/L_{F}(\chi_{S})\leq e^{-2\sqrt{D}}\to 0 as a theorem, not merely a numerical observation. Direct measurement on the constant-coefficient tail (Computation 23) yields γD≈0.37⋅e−0.28⁢D\gamma_{D}\approx 0.37\cdot e^{-0.28\,D} across D=4,6,8,10,12D=4,6,8,10,12, confirming exponential decay. The tail-sum closure now reduces to an explicit linear-algebra estimate via the block-decomposition identity: because D2=D⋅ID^{2}=D\cdot I on (ℂ2)⊗D(\mathbb{C}^{2})^{\otimes D}, the spectrum of DD is {±D}\{\pm\sqrt{D}\} with spectral projectors P±=(I±D/D)/2P_{\pm}=(I\pm D/\sqrt{D})/2, and direct calculation shows adD\mathrm{ad}_{D} acts as 0 on the diagonal blocks T++,T−−T_{++},T_{--} and as ±2⁢D\pm 2\sqrt{D} on the off-diagonal blocks T±∓:=P±⁢T⁢P∓T_{\pm\mp}:=P_{\pm}TP_{\mp}. The block-anti-diagonal structure of T+−−T−+T_{+-}-T_{-+} then gives, for every TT and every j≥1j\geq 1,

‖adDj⁢(T)‖op=(2⁢D)j⋅max⁡(‖T+−‖op,‖T−+‖op),\|\mathrm{ad}_{D}^{j}(T)\|_{\mathrm{op}}\;=\;(2\sqrt{D})^{j}\cdot\max\bigl{(}% \|T_{+-}\|_{\mathrm{op}},\|T_{-+}\|_{\mathrm{op}}\bigr{)}, (260)

a closed-form identity verified to machine precision in Computation 51. The Fréchet smooth Lip-norm therefore admits the exact factorisation LF⁢(T)=max⁡(‖T+−‖,‖T−+‖)⋅M⁢(D)L_{F}(T)=\max(\|T_{+-}\|,\|T_{-+}\|)\cdot M(D) with M⁢(D):=supj≥1(2⁢D)j/j!M(D):=\sup_{j\geq 1}(2\sqrt{D})^{j}/j!, and the L_round rate becomes γD=‖Ttail‖op/(max⁡(‖T+−‖,‖T−+‖)⋅M⁢(D))\gamma_{D}=\|T_{\mathrm{tail}}\|_{\mathrm{op}}/(\max(\|T_{+-}\|,\|T_{-+}\|)% \cdot M(D)). Lemma 2 (tail-sum LFL_{F} scaling)11 1 The lemma labels follow the LroundL_{\mathrm{round}}/LcommL_{\mathrm{comm}} closure structure: Lemma 2 and Lemma 2-prime address the LroundL_{\mathrm{round}} side, and Lemmas 5(a, b, c), 6, 7(a, b), 8 the LcommL_{\mathrm{comm}} 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 P+⁢Ttail⁢P−P_{+}T_{\mathrm{tail}}P_{-}. Computations 52, 54, 55 close that bound in closed form on both components. The operator P+⁢Ttail⁢P−P_{+}T_{\mathrm{tail}}P_{-} commutes with DsubD_{\mathrm{sub}}, hence with the fermionic-signed SDS_{D} representation ρF⁢(g)⁢|S⟩=sgn⁢(g∣S)⁢|g⁢(S)⟩\rho_{F}(g)|S\rangle=\mathrm{sgn}(g\mid S)\,|g(S)\rangle (the naive bit-permutation rep does not commute with DsubD_{\mathrm{sub}} because of the Jordan–Wigner σz\sigma_{z} strings). On the ρF\rho_{F}-trivial component (Computation 52; the underlying algebraic identity P+⁢Ttail=Ttail⁢P+P_{+}T_{\mathrm{tail}}=T_{\mathrm{tail}}P_{+} on the projector image is Computation 53) the dominant singular value is σ1=(α⁢(D)−β⁢(D))/2=2D−1−D\sigma_{1}=(\alpha(D)-\beta(D))/2=2^{D-1}-D exactly, with α⁢(D)=2D−1−D−(D2)\alpha(D)=2^{D}-1-D-\binom{D}{2} and β⁢(D)=−(D−12)\beta(D)=-\binom{D-1}{2}, achieved on the explicit weight-{0,1}\{0,1\} eigenvector v1=12⁢[|0⟩−1D⁢∑a|ea⟩]v_{1}=\tfrac{1}{\sqrt{2}}\bigl{[}|0\rangle-\tfrac{1}{\sqrt{D}}\sum_{a}|e_{a}% \rangle\bigr{]} of DsubD_{\mathrm{sub}}. On the ρF\rho_{F}-standard-rep component (Computations 54, 55) the next singular value is σ2=D−2\sigma_{2}=D-2 exactly. By Pieri on Λw⁢(ℂD)\Lambda^{w}(\mathbb{C}^{D}) the standard rep [D−1,1][D-1,1] appears in H1H_{1} and H2H_{2} only. Take the SD−1S_{D-1}-fixed vectors u1=|e0⟩−(1/D)⁢∑a|ea⟩u_{1}=|e_{0}\rangle-(1/D)\sum_{a}|e_{a}\rangle at weight 11 and u2=−∑b>0|{0,b}⟩u_{2}=-\sum_{b>0}|\{0,b\}\rangle at weight 22. On these, the identities Dsub⁢u1=u2D_{\mathrm{sub}}u_{1}=u_{2}, Dsub⁢u2=D⁢u1D_{\mathrm{sub}}u_{2}=Du_{1} (no weight-33 leakage; the Jordan–Wigner orderings on each triple {0,b,c}\{0,b,c\} cancel exactly), Ttail⁢u1=β⁢u1T_{\mathrm{tail}}u_{1}=\beta\,u_{1} and Ttail⁢u2=γ⁢u2T_{\mathrm{tail}}u_{2}=\gamma\,u_{2} with γ=(D−2)⁢(5−D)/2\gamma=(D-2)(5-D)/2 collapse Ttail+−T_{\mathrm{tail}}^{+-} to the 2×22\times 2 rank-11 multiplicity-space matrix M=D−22⁢(11)⁢(−11)M=\tfrac{D-2}{2}\,\binom{1}{1}\,\bigl{(}-1\quad 1\bigr{)}, whose singular values are D−2D-2 and 0. All other ρF\rho_{F}-isotypic components vanish identically under Ttail+−T_{\mathrm{tail}}^{+-}. Hence

∥P+⁢Ttail⁢P−∥op=max⁡(σ1,σ2)= 2D−1−D\bigl{\|}P_{+}\,T_{\mathrm{tail}}\,P_{-}\bigr{\|}_{\mathrm{op}}\;=\;\max(% \sigma_{1},\sigma_{2})\;=\;2^{D-1}-D (261)

exactly for every D≥4D\geq 4 at kD=2k_{D}=2, with an exponential gap 2D−1−D≫D−22^{D-1}-D\gg D-2 between the two components. Lemma 2-prime is therefore a theorem, the asymptotic rate is γD=O⁢(D1/4⁢e−2⁢D)\gamma_{D}=O(D^{1/4}e^{-2\sqrt{D}}) (the pre-asymptotic empirical exponential fit 0.37⋅e−0.28⁢D0.37\cdot e^{-0.28D} of Computation 23 crosses over to the square-root rate near D≈51D\approx 51), and L_round closes rigorously. Combined with the bridge construction of [116] (Definition 5.1, Theorem 5.2), this gives convergence of (Lip⁢(AD),LF)→(C⁢(S3),L)(\mathrm{Lip}(A_{D}),L_{F})\to(C(S^{3}),L) 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 2D2^{D} modes per substrate size DD, 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 jj of ‖adDj⁢(T)‖/j!\|\mathrm{ad}_{D}^{j}(T)\|/j! 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-NN closure of equation (257) requires a bridge construction whose substrate-to-Bergman ratio matches 2⁢k2\sqrt{k} uniformly across k≤kDk\leq k_{D}, smoothing the cutoff discontinuity exposed by Computation 38. Computations 39–42 construct the symmetric-monomial bridge bC⁢(χS):=Tf|S|b_{C}(\chi_{S}):=T_{f_{|S|}} with

fk⁢(z0,z1)=(z0⁢z1)m⁢(k)−1+β⁢(k)⁢(z0⁢z1)m⁢(k)+α⁢(k)⁢(z0⁢z1)m⁢(k)+1.f_{k}(z_{0},z_{1})\;=\;(z_{0}z_{1})^{m(k)-1}\;+\;\beta(k)\,(z_{0}z_{1})^{m(k)}% \;+\;\alpha(k)\,(z_{0}z_{1})^{m(k)+1}. (262)

The bare m=1m=1 monomial gives ratio =2=2⁢1=2=2\sqrt{1} exactly at k=1k=1; two-monomial superposition (Computation 40) gives gap below 10−310^{-3} at all even kk. Three-monomial superposition (Computations 41–42) closes the residual gap at odd kk and extends the closure uniformly across k=1,2,…,12k=1,2,\dots,12, with maximum gap 3.6×10−43.6\times 10^{-4} at k=9k=9; several kk close exactly to grid precision, including k=1,3,5,12k=1,3,5,12. The refined bridge gives γ⁢(k)\gamma(k) that is DD-independent, eliminating the cutoff discontinuity. The Mosco averaging becomes trivial (all Walsh modes of weight kk map to the same operator), so the substrate–Bergman correspondence is via a kk-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 (m⁢(k),α⁢(k),β⁢(k))(m(k),\alpha(k),\beta(k)) that give substrate-target ratio 2⁢k2\sqrt{k}, is now a closed analytical theorem (Computations 56–58). Since the bridge symbol fkf_{k} depends only on w:=z0⁢z1w:=z_{0}z_{1}, Jz⁢fk≡0J_{z}f_{k}\equiv 0 and the matrix-valued symbol Mfk=σ+⁢J+⁢fk+σ−⁢J−⁢fkM_{f_{k}}=\sigma_{+}J_{+}f_{k}+\sigma_{-}J_{-}f_{k} is anti-diagonal in the Pauli basis, so ‖Mfk‖op=max⁡(|z0|2,|z1|2)⋅|fk′⁢(w)|\|M_{f_{k}}\|_{\mathrm{op}}=\max(|z_{0}|^{2},|z_{1}|^{2})\cdot|f_{k}^{\prime}(% w)|. Writing r2:=|z0|2r^{2}:=|z_{0}|^{2} and taking r≥1/2r\geq 1/\sqrt{2} WLOG by symmetry gives |w|=r⁢1−r2|w|=r\sqrt{1-r^{2}}, and the constrained sup over ∂B2\partial B^{2} reduces to a 1D optimisation in rr.

For the bare single-monomial symbol f⁢(w)=wmf(w)=w^{m}, the optimum sits at r2=(m+1)/(2⁢m)r^{2}=(m+1)/(2m) and gives the closed-form ratio

ratio⁢(m):=sup∂B2‖Mf‖opsup∂B2|f|=m1−m⁢(m+1)(m+1)/2⁢(m−1)(m−1)/2\mathrm{ratio}(m)\;:=\;\frac{\sup_{\partial B^{2}}\|M_{f}\|_{\mathrm{op}}}{% \sup_{\partial B^{2}}|f|}\;=\;m^{1-m}\,(m+1)^{(m+1)/2}\,(m-1)^{(m-1)/2} (263)

(Lemma 5(a), Computation 56). At m=1m=1 this evaluates to 2=2⁢12=2\sqrt{1}, the substrate target at weight k=1k=1, so the bare f1⁢(w)=wf_{1}(w)=w closes L_comm exactly at k=1k=1 with zero refinement parameters. Asymptotically ratio⁢(m)∼m+1/2\mathrm{ratio}(m)\sim m+1/2, so the single-monomial bridge undershoots the substrate target 2⁢m2\sqrt{m} at m=2m=2 and overshoots for m≥3m\geq 3; the closing (m⁢(k),α⁢(k))(m(k),\alpha(k)) for k≥2k\geq 2 is supplied by the refinement.

For the 2-monomial family fα⁢(w)=wm+α⁢wm+1f_{\alpha}(w)=w^{m}+\alpha\,w^{m+1}, the ratio Rm⁢(α):=sup‖Mfα‖op/sup|fα|R_{m}(\alpha):=\sup\|M_{f_{\alpha}}\|_{\mathrm{op}}/\sup|f_{\alpha}| is continuous in α\alpha with Rm⁢(0)=ratio⁢(m)R_{m}(0)=\mathrm{ratio}(m) and lim|α|→∞Rm⁢(α)=ratio⁢(m+1)\lim_{|\alpha|\to\infty}R_{m}(\alpha)=\mathrm{ratio}(m+1). Since the closed-form ratio⁢(m)\mathrm{ratio}(m) is strictly increasing in mm, for every k≥1k\geq 1 the substrate target 2⁢k2\sqrt{k} is bracketed by ratio⁢(m⁢(k))≤2⁢k≤ratio⁢(m⁢(k)+1)\mathrm{ratio}(m(k))\leq 2\sqrt{k}\leq\mathrm{ratio}(m(k)+1) for a unique m⁢(k)∈ℕm(k)\in\mathbb{N} (verified explicitly for k=1,…,12k=1,\ldots,12 and extended to all k≥1k\geq 1 by the ratio⁢(m)∼m+1/2\mathrm{ratio}(m)\sim m+1/2 asymptotics). Bolzano’s theorem then gives

∃α⁢(k)∈ℝsuch thatRm⁢(k)⁢(α⁢(k))= 2⁢kexactly,\exists\,\alpha(k)\in\mathbb{R}\quad\text{such that}\quad R_{m(k)}(\alpha(k))% \;=\;2\sqrt{k}\quad\text{exactly,} (264)

the existence statement of Lemma 5(b) (Computation 57). The closing α⁢(k)\alpha(k) admits an explicit parametric expression. Setting q:=2⁢r2−1∈(0,1)q:=2r^{2}-1\in(0,1), the critical-point relation for the sup gives

α⁢(q)=2⁢m⁢(1−m⁢q)(m+1)⁢1−q2⁢((m+1)⁢q−1),q∈(1m+1,1m),\alpha(q)\;=\;\frac{2\,m\,(1-m\,q)}{(m+1)\,\sqrt{1-q^{2}}\,((m+1)\,q-1)},% \qquad q\in\Bigl{(}\frac{1}{m+1},\,\frac{1}{m}\Bigr{)}, (265)

and the closing equation Rm⁢(k)⁢(q∗⁢(k))=2⁢kR_{m(k)}(q^{\ast}(k))=2\sqrt{k} is an algebraic equation in q∗⁢(k)q^{\ast}(k) of degree 2⁢m⁢(k)+32m(k)+3 after rationalising the 1−q2\sqrt{1-q^{2}} factor. The unique root q∗⁢(k)q^{\ast}(k) in the open interval (1/(m⁢(k)+1), 1/m⁢(k))(1/(m(k)+1),\,1/m(k)) then determines α⁢(k)=α⁢(q∗⁢(k))\alpha(k)=\alpha(q^{\ast}(k)) by (265) (Lemma 5(c), Computation 58). This realises α⁢(k)\alpha(k) 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 |α||\alpha| values via the additional β\beta 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 f,gf,g on B2B^{2} and the canonical weighted Bergman space Hα2⁢(B2)H^{2}_{\alpha}(B^{2}), the reproducing-kernel adjoint identity Tg∗⁢kz=g⁢(z)¯⁢kzT_{g}^{*}k_{z}=\overline{g(z)}\,k_{z} yields

B⁢(Tf⁢Tg∗)⁢(z)\displaystyle B\bigl{(}T_{f}\,T_{g}^{*}\bigr{)}(z) =f⁢(z)⁢g⁢(z)¯\displaystyle\;=\;f(z)\,\overline{g(z)} (266)
   exactly on the infinite Bergman space,

for every zz in the open ball. Applied to the refined bridge bC⁢(χS)=Tf|S|b_{C}(\chi_{S})=T_{f_{|S|}} with holomorphic polynomial symbols fk=wm⁢(k)+α⁢(k)⁢wm⁢(k)+1f_{k}=w^{m(k)}+\alpha(k)\,w^{m(k)+1}, this is verbatim Lemma 6:

B⁢(bC⁢(χS)⁢bC⁢(χT)∗)⁢(z)=f|S|⁢(z)⁢f|T|⁢(z)¯exactly.B\bigl{(}b_{C}(\chi_{S})\,b_{C}(\chi_{T})^{*}\bigr{)}(z)\;=\;f_{|S|}(z)\,% \overline{f_{|T|}(z)}\quad\text{exactly}. (267)

On the truncated Bergman space Hα2⁢(B2)(N)H^{2}_{\alpha}(B^{2})^{(N)} the identity holds up to an O⁢(|z|2⁢N)O(|z|^{2N}) boundary correction that decays exponentially in NN for zz 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-NN closure rate (Lemma 7)

Computation 59 documents the uniform-in-kk closure at finite NN. At finite Bergman truncation Hα2⁢(B2)(N)H^{2}_{\alpha}(B^{2})^{(N)}, the L_comm ratio departs from its infinite-NN value 2⁢k2\sqrt{k} by a controlled correction. For the bare single-monomial bridge at weight k=1k=1 (f1⁢(w)=wf_{1}(w)=w), the correction is closed in elementary form (Computation 60). In the canonical Bergman weight α=0\alpha=0 with orthonormal monomial basis ea,b=z0a⁢z1b/Na,be_{a,b}=z_{0}^{a}z_{1}^{b}/\sqrt{N_{a,b}} restricted to a+b≤Na+b\leq N, the holomorphic Toeplitz operators Tz0p⁢z1qT_{z_{0}^{p}z_{1}^{q}} act as diagonal shifts ea,b↦(coeff)⋅ea+p,b+qe_{a,b}\mapsto(\text{coeff})\cdot e_{a+p,b+q} (orthogonal target). Operator norms read off as maximum matrix elements: ‖Tw‖op=N/[2⁢(N+1)⁢(N+2)]\|T_{w}\|_{\mathrm{op}}=N/[2\sqrt{(N+1)(N+2)}] (maximiser a=b=(N−2)/2a=b=(N-2)/2, even NN) and ‖Tz02‖op=N⁢(N−1)/((N+1)⁢(N+2))\|T_{z_{0}^{2}}\|_{\mathrm{op}}=\sqrt{N(N-1)/((N+1)(N+2))} (maximiser a=N−2a=N-2, b=0b=0). The commutator [Dα,Tw⊗I2]=Tz02⊗σ++Tz12⊗σ−[D_{\alpha},T_{w}\otimes I_{2}]=T_{z_{0}^{2}}\otimes\sigma_{+}+T_{z_{1}^{2}}% \otimes\sigma_{-} is anti-diagonal in the Pauli basis, giving the closed-form ratio

R⁢(N)=‖[Dα,Tw⊗I2]‖op‖Tw‖op= 2⁢1−1/Nexactly (even ⁢N⁢).R(N)\;=\;\frac{\|[D_{\alpha},T_{w}\otimes I_{2}]\|_{\mathrm{op}}}{\|T_{w}\|_{% \mathrm{op}}}\;=\;2\sqrt{1-1/N}\quad\text{exactly (even }N\text{).} (268)

Hence gap⁢(1,N):=R⁢(N)−2=2⁢1−1/N−2\mathrm{gap}(1,N):=R(N)-2=2\sqrt{1-1/N}-2 with Taylor expansion −1/N−1/(4⁢N2)−1/(8⁢N3)−O⁢(1/N4)-1/N-1/(4N^{2})-1/(8N^{3})-O(1/N^{4}); the leading coefficient is −1-1 exactly. At the matched scaling N⁢(D)∼2⁢DN(D)\sim 2\sqrt{D} this gives γD⁢(k=1)=−1/(2⁢D)+O⁢(1/D)\gamma_{D}(k=1)=-1/(2\sqrt{D})+O(1/D) (Lemma 7(a)).

For k≥2k\geq 2 the 2-monomial bridge Tfk=Twm⁢(k)+α⁢(k)⁢Twm⁢(k)+1T_{f_{k}}=T_{w^{m(k)}}+\alpha(k)\,T_{w^{m(k)+1}} couples basis vectors through the diagonal shift (a,b)→(a+1,b+1)(a,b)\to(a+1,b+1), and the operator norm requires diagonalising a tridiagonal Toeplitz-like block at finite NN. In the bulk-large-aa limit the coefficients stabilise to a constant tridiagonal with asymptotic operator norm (α⁢(k)+2)/2m⁢(k)+1(\alpha(k)+2)/2^{m(k)+1}; the finite-NN correction is again O⁢(1/N)O(1/N) by the classical Bergman–Toeplitz convergence theorem for polynomial symbols ([144], [145]). Per-kk extraction of the leading constant c1⁢(k)c_{1}(k) via least-squares fit is ill-conditioned at the moderate NN reachable by direct dense linear algebra: two-parameter (Computation 63) and three-parameter (Computation 64) fits over N≤34N\leq 34 disagree by factor 22–1010 and frequently in sign for k≥2k\geq 2, the leading 1/N1/N term not yet separated from higher-order structure when NN is comparable to the bridge degree m⁢(k)+1m(k)+1. Lemma 7(b) is closed instead by direct measurement of the gap-times-NN quantity G⁢(k,N):=|gap⁢(k,N)|⋅NG(k,N):=|\mathrm{gap}(k,N)|\cdot N itself (Computation 65), bypassing the c1⁢(k)c_{1}(k) extraction. Across the operative regime k≤kDk\leq k_{D}, with k≤20k\leq 20 and N∈[12,40]N\in[12,40] (195 measured (k,N)(k,N) pairs, Computation 150):

|gap⁢(k,N)|⋅N=|R⁢(k,N)−2⁢k|⋅N≤ 3.7for ⁢k≤kD=N/2,|\mathrm{gap}(k,N)|\cdot N\;=\;|R(k,N)-2\sqrt{k}|\cdot N\;\leq\;3.7\quad\text{% for }k\leq k_{D}=N/2, (269)

median 0.950.95, the supremum attained at the smallest substrate size in range. The restriction to k≤kDk\leq k_{D} is necessary, not cosmetic. Computation 150 measures G=22.0G=22.0 at (k,N)=(39,22)(k,N)=(39,22), so the bound does not hold uniformly in (k,N)(k,N); every violation lies at k>kDk>k_{D}, which the Walsh cutoff excludes. Computation 65’s reported maximum 5.2495.249 at (k,N)=(15,20)(k,N)=(15,20) is itself such a point, since kD=10k_{D}=10 there. Hence at the matched scaling N⁢(D)=2⁢DN(D)=2\sqrt{D},

γD=maxk≤kD⁡|gap⁢(k,N⁢(D))|≤3.72⁢D=O⁢(1D)uniformly in ⁢k≤kD\gamma_{D}\;=\;\max_{k\leq k_{D}}|\mathrm{gap}(k,N(D))|\;\leq\;\frac{3.7}{2% \sqrt{D}}\;=\;O\!\left(\frac{1}{\sqrt{D}}\right)\quad\text{uniformly in }k\leq k% _{D} (270)

(Lemma 7(b)). The foundational L_comm closure rate is therefore γD=O⁢(1/D)\gamma_{D}=O(1/\sqrt{D}), 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 kk the quantity GG converges to a nonzero constant of order one as NN grows, at k=1k=1 it runs 1.0161,1.0128,…,1.00571.0161,1.0128,\ldots,1.0057 over N=16N=16 to 4444, monotone towards about 1.001.00, while m⁢(k)/Nm(k)/N falls from 0.0620.062 to 0.0230.023, so γD=Θ⁢(1/D)\gamma_{D}=\Theta(1/\sqrt{D}) and no better (Computation 153). An apparent downward trend in the matched-scaling sequence is sawtooth phase in the m⁢(k)m(k) stratum, not decay. This is consistent with the vanishing Englis–Zhu deficit of equation (282): a relative deficit O⁢(m/N)O(m/N) on the norms and an O⁢(1/N)O(1/N) gap in their ratio are different statements, and both hold. The per-kk closed form of c1⁢(k)c_{1}(k) for k≥2k\geq 2 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 bCb_{C} follows as a corollary of Lemmas 5, 6, 7(a) (Computation 62). At the matched substrate-to-Bergman scaling

Λ⁢(D)=D,ℓ⁢(D)=(3⋅2D)1/3/Λ= 31/3⁢ 2D/3/D,\Lambda(D)\;=\;\sqrt{D},\qquad\ell(D)\;=\;(3\cdot 2^{D})^{1/3}/\Lambda\;=\;3^{% 1/3}\,2^{D/3}/\sqrt{D}, (271)

the eigenvalue counts match: #⁢{λ⁢(Dsub):|λ|≤Λ}=2D\#\{\lambda(D_{\mathrm{sub}}):|\lambda|\leq\Lambda\}=2^{D} exactly, and #⁢{λ⁢(Dα):|λ|≤Λ}≈2D\#\{\lambda(D_{\alpha}):|\lambda|\leq\Lambda\}\approx 2^{D} (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:

Ssub⁢(Λ,f)/ 2D\displaystyle S_{\mathrm{sub}}(\Lambda,f)\;/\;2^{D} →constsub⁢(f),\displaystyle\;\to\;\mathrm{const}_{\mathrm{sub}}(f), (272)
SBergman⁢(Λ,ℓ,f)/ 2D\displaystyle S_{\mathrm{Bergman}}(\Lambda,\ell,f)\;/\;2^{D} →constBergman⁢(ℓ,f)as ⁢D→∞,\displaystyle\;\to\;\mathrm{const}_{\mathrm{Bergman}}(\ell,f)\quad\text{as }D% \to\infty,

both as bounded O⁢(1)O(1) quantities independent of DD. Numerical verification with Gaussian cutoff f⁢(x)=e−x2f(x)=e^{-x^{2}} across D=6,8,10,12D=6,8,10,12: Ssub/2D=e−1S_{\mathrm{sub}}/2^{D}=e^{-1} exactly; SBergman/2DS_{\mathrm{Bergman}}/2^{D} converges to a DD-independent constant (≈21.7\approx 21.7 at the j=1j=1 moment, ≈54.2\approx 54.2 at j=2j=2, ≈189.7\approx 189.7 at j=3j=3). Exact equality requires the standard Chamseddine–Connes choice of cutoff function ff (absorbing the ratio into a renormalisation of ff). This is the standard QGH-convergence statement applied to spectral actions.

Precausal Substrate Theory - Second Edition - 2026

Copyright © 2026 by Ralf Meelker. All rights reserved.