The finite Dirac operator as a boundary condition on an interval

Draft, 3 November 2026

Abstract

Every finite Dirac operator DFD_F with the signs of KO-dimension six is exactly the lowest spectral window of the pure derivative on an interval of length ll, for l∥DF∥<π/2l\|D_F\|<\pi/2, with no mass term. The boundary data are a grading at each wall, and DF=(2l)−1Γ0log⁡(Γ1Γ0)D_F=(2l)^{-1}\Gamma_0\log(\Gamma_1\Gamma_0), so the singular values of DFD_F are principal angles over ll and the masses are quantized momenta. Preserving the domain restricts the observables at a wall to the commutant of its grading. Order one holds in this parent for any finite data with order zero. The compression of an observable is its average under eixDFe^{ixD_F}, |x|≤l|x|\le l, which tends to the finite representation with rate l2l^2. Aligned walls compress a bulk prealgebra stable under the grading to its even part, with the grading inherited. Even scalar fluctuations are pure gauge, and on a moving window they reproduce the quadratic term of Chamseddine-Connes-van Suijlekom. Odd ones change the angles; for M2(ℍ)M_2(\mathbb H) their field space is S4S^4. In a Yang-Mills parent with a wall connector the WW and ZZ masses are exact, with the constants 22 and 16/516/5 at small angle. Unfolded, the parent is −id/dx+DF-i\,d/dx+D_F on a circle, and at leading order in small masses, for a vector of constant profile in the transported frame, the sum rule of the spectral action becomes MW2=3−d24∑Nfmf2M_W^2=\frac{3-d}{24}\sum N_fm_f^2, with dd the spectral dimension of the circle at the cutoff, so that mt/MWm_t/M_W goes from 8/3\sqrt{8/3} at d=0d=0 to 22 at d=1d=1. All finite data are inputs and the parent algebra is matrix-valued, so the selection of the finite algebra is untouched.

1 Introduction

In an almost-commutative geometry the masses of the fermions are the entries of a finite Dirac operator DFD_F, and in a Kaluza-Klein reduction a mass can be a momentum in the internal direction, quantized by the boundary conditions. We relate the two for an interval. The Connes-Lott mass is the lowest such momentum, π/(2l)\pi/(2l), and the known boundary formula tan⁡(mnL)=MDL\tan(m_nL)=M_DL of Higgsless models (Csáki, Grojean, Hubisz, et al. 2004) gives the interpolation for one flavor. Here we carry this through for the whole finite operator, with its real structure and grading, and we ask what the parent says about the algebra, order one, and fluctuations.

The finite data remain inputs, so the existence of the window is close to a reparametrization. The content lies in the existence of a consistent parent, and in the form it gives to the wall algebra, the compression and the fluctuations.

2 The window

Let HF=H+⊕H−H_F=H_+\oplus H_- be finite-dimensional, ΓF=diag(1,−1)\Gamma_F=\mathrm{diag}(1,-1), and c:H+→H−c:H_+\to H_- antiunitary, with JF(a,b)=(c−1b,ca)J_F(a,b)=(c^{-1}b,ca). Let DFD_F have blocks MM and M*M^*, with M=cM*cM=cM^*c, which is JFDF=DFJFJ_FD_F=D_FJ_F. These are the signs (+,+,−)(+,+,-). For l∥DF∥<π/2l\|D_F\|<\pi/2, define X:H−→H+X:H_-\to H_+ as the block of tan⁡(lDF)\tan(lD_F), so that X*X^* is the other block.

On L2([0,l];ℂ2)⊗(H+⊕H−)L^2([0,l];\mathbb C^2)\otimes(H_+\oplus H_-), write ψ\psi with components (QL,QR;UL,UR)(Q_L,Q_R;U_L,U_R), and let DX=Ed/dxD_X=E\,d/dx, where (Eψ)L=ψR(E\psi)_L=\psi_R and (Eψ)R=−ψL(E\psi)_R=-\psi_L, with domain QR(0)=UL(0)=0,QR(l)=XUR(l),UL(l)=−X*QL(l).\begin{aligned} &Q_R(0)=U_L(0)=0,\\ &Q_R(l)=XU_R(l),\quad U_L(l)=-X^*Q_L(l). \end{aligned}(1) Let Γ̂\hat\Gamma be +1+1 on ψL\psi_L and −1-1 on ψR\psi_R, and let Ĵψ\hat J\psi have components (c−1UR,−c−1UL;−cQR,cQL)(c^{-1}U_R,-c^{-1}U_L;-cQ_R,cQ_L).

Theorem 1. DXD_X is self-adjoint with compact resolvent, with signs (+,+,−)(+,+,-). Let R(x)=exp⁡(xΓFDF)R(x)=\exp(x\Gamma_FD_F), and let W:HF→L2W:H_F\to L^2 send (a,b)(a,b) to the function with LL-components l−1/2R(x)(a,0)l^{-1/2}R(x)(a,0) and RR-components l−1/2R(x)(0,b)l^{-1/2}R(x)(0,b). Then WW is an isometry, and DXW=WDF,ĴW=WJF,Γ̂W=WΓF.D_XW=WD_F,\quad \hat JW=WJ_F,\quad \hat\Gamma W=W\Gamma_F.(2) With θk=lσk\theta_k=l\sigma_k for the singular values σk\sigma_k of MM, the signed spectrum is (nπ±θk)/l(n\pi\pm\theta_k)/l, n∈ℤn\in\mathbb Z, so ranW\mathrm{ran}\,W is the spectral subspace of |DX|≤∥DF∥|D_X|\le\|D_F\|, and the next level is at least (π−l∥DF∥)/l(\pi-l\|D_F\|)/l.

Structure of the proof. Takagi factorization gives M=V|M|M=V|M| with V=cV*cV=cV^*c. Then R(x)(a,0)R(x)(a,0) has components cos⁡(x|M|)a\cos(x|M|)a and −Vsin⁡(x|M|)a-V\sin(x|M|)a, and R(x)(0,b)R(x)(0,b) has components sin⁡(x|M|)V*b\sin(x|M|)V^*b and cos⁡(x|M*|)b\cos(x|M^*|)b. The wall conditions follow from X=tan⁡(l|M|)V*X=\tan(l|M|)V^*, and DXW=WDFD_XW=WD_F follows by differentiating RR. Constant unitaries on QQ and UU reduce XX to diag(tan⁡θk)\mathrm{diag}(\tan\theta_k), and each channel has the known one-flavor spectrum (Supplemental Material, part 22). ◻

So DXD_X has no mass term. A light eigenvalue is a momentum k=θ/lk=\theta/l, fixed by tan⁡(kl)=tan⁡θ\tan(kl)=\tan\theta, a singular value of XX. In the finite description this condition is lost and the value appears as free data, which offers a reading of why the finite triple needs Yukawa couplings. One matrix XX encodes the Yukawa and Majorana blocks together. Also, R*DXR=D0+EΓFDFR^*D_XR=D_0+E\Gamma_FD_F, with D0D_0 uncoupled: after a unitary change of domain, DFD_F is a constant matrix connection, with relative endpoint rotation R(l)R(l).

Theorem 2. The boundary conditions are gradings: ψL\psi_L lies in the +1+1 eigenspace of Γi\Gamma_i and ψR\psi_R in the −1-1 eigenspace at each wall, with Γ0=ΓF\Gamma_0=\Gamma_F and Γ1\Gamma_1 equal to R(l)Γ0R(l)*R(l)\Gamma_0R(l)^*. If −1-1 is not an eigenvalue of Γ1Γ0\Gamma_1\Gamma_0, then DF=12lΓ0log⁡(Γ1Γ0),D_F=\frac1{2l}\,\Gamma_0\log(\Gamma_1\Gamma_0),(3) and the numbers lσkl\sigma_k are the principal angles between the +1+1 spaces. A real structure is given by an antiunitary J1J_1, with J12=−1J_1^2=-1, that anticommutes with Γ0\Gamma_0 and Γ1\Gamma_1. Then JF=Γ0J1J_F=\Gamma_0J_1, and JFJ_F carries Γ1\Gamma_1 to −Γ0Γ1Γ0-\Gamma_0\Gamma_1\Gamma_0.

At an angle π/2\pi/2 the channel has the chiral conditions of the Connes-Lott interval, with no zero mode and lowest level π/(2l)\pi/(2l).

3 Algebra, order one, compression

Let a unital algebra AFA_F act evenly and faithfully, with order zero, and let CFC_F be the commutant of DFD_F in AFA_F. Order one is not assumed.

Theorem 3. A function f∈C∞([0,l],AF)f\in C^\infty([0,l],A_F) preserves the domain of DXD_X iff f(l)∈CFf(l)\in C_F. Let AlA_l be the algebra of such ff. Then [DX,π(f)]=Eπ(f′)[D_X,\pi(f)]=E\pi(f'), and we have a real even spectral triple with order zero and order one.

Structure of the proof. The wall conditions say that π(f(l))\pi(f(l)) commutes with tan⁡(lDF)\tan(lD_F), equivalently with DFD_F, for l∥DF∥<π/2l\|D_F\|<\pi/2. The opposite action is pointwise, so by finite order zero Eπ(f′)E\pi(f') commutes with it. ◻

So AFA_F acts freely in the bulk, and the wall carries the commutant of DFD_F. In the Standard Model data with nonzero Yukawa blocks, this is {(λ,λ,m)}\{(\lambda,\lambda,m)\}, the algebra of the photon and gluons. Finite order one does not arise as a condition on the parent.

Theorem 4. Let Ql(T)=W*TWQ_l(T)=W^*TW. For even T(x)T(x), Ql(T)=1l∫0lcos⁡(xadDF)(T(x))dx,Ql(ET)=−1l∫0lsin⁡(xadDF)(T(x))dx.\begin{aligned} Q_l(T)&=\frac1l\int_0^l\cos(x\,\mathrm{ad}_{D_F})(T(x))\,dx,\\ Q_l(ET)&=-\frac1l\int_0^l\sin(x\,\mathrm{ad}_{D_F})(T(x))\,dx. \end{aligned}(4) For constant aa, Ql(a)=12l∫−lleixDFπ(a)e−ixDFdx=sinc(ladDF)(π(a)),\begin{aligned} Q_l(a)&=\frac1{2l}\int_{-l}^{l}e^{ixD_F}\pi(a)e^{-ixD_F}dx\\ &=\mathrm{sinc}(l\,\mathrm{ad}_{D_F})(\pi(a)), \end{aligned}(5) so ∥Ql(a)−π(a)∥≤(l2/6)∥[DF,[DF,π(a)]]∥\|Q_l(a)-\pi(a)\|\le(l^2/6)\|[D_F,[D_F,\pi(a)]]\|. Moreover Ql(Al)=Ql(C∞([0,l],AF))Q_l(A_l)=Q_l(C^\infty([0,l],A_F)), which contains Ql(a)Q_l(a) for every a∈AFa\in A_F, and the order defects of the compressed data differ from the finite ones by O(l2)O(l^2) with explicit constants.

Thus DF,JF,ΓFD_F,J_F,\Gamma_F are exact, and the observables converge to π(AF)\pi(A_F) as l→0l\to0 at fixed DFD_F, as maps. The generated algebra is discontinuous at l=0l=0: compressions of commuting projections can fail to commute at order l2l^2, in line with the remark of Connes and van Suijlekom (Connes and Suijlekom 2021) on generated algebras (Supplemental Material, part 22).

Theorem 5. Let PP be a **-subalgebra of End(H)\mathrm{End}(H) that need not commute with Γ0\Gamma_0, acting pointwise and identically on both spin components. A function ff valued in PP preserves the domain iff [f(0),Γ0]=0[f(0),\Gamma_0]=0 and [f(l),Γ1]=0[f(l),\Gamma_1]=0, and Γ̂\hat\Gamma commutes with every such ff. For aligned walls Γ1=Γ0\Gamma_1=\Gamma_0, DF=0D_F=0, Γ̂\hat\Gamma restricts to Γ0\Gamma_0 on the window, and an ambient constant a∈Pa\in P has Q(a)=E0(a)=(a+Γ0aΓ0)/2Q(a)=E_0(a)=(a+\Gamma_0a\Gamma_0)/2. If Γ0PΓ0=P\Gamma_0P\Gamma_0=P, then E0(P)E_0(P) is the even part of PP, and it is the image of the boundary algebra.

So a matrix-valued bulk prealgebra is compressed to its even part, with the grading inherited from the parent operator Γ̂\hat\Gamma. For M2(ℍ)⊕M4(ℂ)M_2(\mathbb H)\oplus M_4(\mathbb C) this gives ℍ⊕ℍ⊕M4(ℂ)\mathbb H\oplus\mathbb H\oplus M_4(\mathbb C), the step of the classification (Chamseddine and Connes 2008) that a compression of functions on S4S^4 reaches only with an added grading. The commutative-parent question remains open.

4 Fluctuations

Theorem 6. Let hh be smooth with anti-Hermitian values in PP, with u′=−huu'=-hu, u(0)=1u(0)=1, w=u(l)w=u(l), and let D(Γ0,Γ1)D(\Gamma_0,\Gamma_1) be the derivative with those gradings. Then D(Γ0,Γ1)+EhD(\Gamma_0,\Gamma_1)+Eh equals uD(Γ0,w*Γ1w)u*uD(\Gamma_0,w^*\Gamma_1w)u^*. The self-adjoint scalar one-forms are exactly the EhEh. If hh takes values in the even algebra, then w*Γ1ww^*\Gamma_1w has the same angles with Γ0\Gamma_0; on the moving window the finite operator is π(w)*DFπ(w)\pi(w)^*D_F\pi(w), and with the real fluctuation Uw*DFUwU_w^*D_FU_w, where Uw=π(w)JFπ(w)JF−1U_w=\pi(w)J_F\pi(w)J_F^{-1}. In that case the connection is gauge equivalent to zero under the allowed endpoint gauge group.

With v=w*v=w^*, this is the gauge orbit of (Chamseddine, Connes, and Suijlekom 2013), Eqs. (10)-(11), namely UDU*UDU^*, which equals D+A(1)+Ã(1)+A(2)D+A_{(1)}+\tilde A_{(1)}+A_{(2)}, quadratic term included, for finite data that fail order one, while the parent has order one and no quadratic term. The fixed compression is a different object: for constant hh, Ql(Eh)=−(l/2)[DF,h]+O(l3)Q_l(Eh)=-(l/2)[D_F,h]+O(l^3), against −l[DF,h]-l[D_F,h] for the first derivative of the transported operator.

No-go theorem (the radial mode). For one interval, fixed XX, no bulk masses, even scalar inner fluctuations and the moving window, the singular values of the finite operator are fixed. With nonzero Yukawa data, the Higgs quaternion stays on the unit quaternions, with no radial mode (Supplemental Material, part 22). The following lie outside the hypotheses, and each needs its own construction: XX as a field on the wall; bulk terms odd for the grading; bulk masses not commuting with the gauge action; more internal dimensions; an added composite degree of freedom. At the 10→910\to9 endpoint this agrees with a frozen Higgs field.

The odd escape is explicit. For W=ℍ2W=\mathbb H^2, the gradings with quaternionic eigenspaces form S4=Sp(2)/(Sp(1)×Sp(1))S^4=Sp(2)/(Sp(1)\times Sp(1)), with Γp=paΓa\Gamma_p=p_a\Gamma_a. For two points at geodesic distance dd, all principal angles equal θ=d/2\theta=d/2. On Hom(V,W)⊕Hom(W,V)\mathrm{Hom}(V,W)\oplus\mathrm{Hom}(W,V), the connection K(x,y)=(θ/l)(Fx,yF)K(x,y)=(\theta/l)(Fx,yF), with FF odd in M2(ℍ)M_2(\mathbb H) and F2=−1F^2=-1, gives a universal mass θ/l\theta/l, with J1=Γ0JJ_1=\Gamma_0J and a second grading at the point pp on the first summand and its mirror image on the second. So (θ,q)(\theta,q) are polar coordinates of a Higgs quaternion on S4S^4, the coset of the minimal composite Higgs model (Agashe, Contino, and Pomarol 2005), whose warped construction and potentials are not those here; the analogy with gauge-Higgs unification (Hosotani 1983) has the same limit. That S4S^4 is also the base of the twistor window is an observation here, with no identification. J1J_1 induces an opposite action twisted by the inner automorphism γW⋅γW\gamma_W\cdot\gamma_W, a structural analogy with the twisted triples of the grand symmetry, whose automorphism is different (D’Andrea, Lizzi, and Martinetti 2014).

5 Gauge sector and the two limits

Assume a flat product and a positive five-dimensional Yang-Mills kinetic form with no boundary terms. Then AμA_\mu at a wall lies in the wall algebra, the directions in it are Neumann and the others Dirichlet, as in Higgsless models (Csáki, Grojean, Murayama, et al. 2004).

The strict family. For even walls with nonzero Yukawa data, the unbroken directions have masses nπ/ln\pi/l and the broken ones (n−12)π/l(n-\tfrac12)\pi/l, so MW=MZ=π/(2l)M_W=M_Z=\pi/(2l), with massless photon and gluons after unimodularity. Fix a light block M0M_0 and a heavy block Θ/l\Theta/l with 0<Θ<π/20<\Theta<\pi/2. As l→0l\to0, the light couplings l|M0|l|M_0| vanish at fixed mass, the heavy mass Θ/l\Theta/l and MWM_W diverge with mt/MW=2Θ/π<1m_t/M_W=2\Theta/\pi<1, and the light compression converges. This realizes the 10→910\to9 proposal at this level, with Xq∼(π/2)mq/MWX_q\sim(\pi/2)m_q/M_W, in the form of yq=2mq/v→0y_q=\sqrt2m_q/v\to0 at fixed mass. Identifying XqX_q with a four-dimensional Yukawa coupling is a hypothesis.

Theorem 7. Take P=M2(ℍ)⊕M4(ℂ)P=M_2(\mathbb H)\oplus M_4(\mathbb C), with sp(2)⊕su(4)sp(2)\oplus su(4) and the trace form, with one coupling, gradings at distance 2θ2\theta, and at x=lx=l a connector on a line ww in the +1+1 eigenspace of Γp\Gamma_p and a line vv in ℂ4\mathbb C^4, whose stabilizer is ℂ⊕ℍ⊕M3(ℂ)\mathbb C\oplus\mathbb H\oplus M_3(\mathbb C). Then for 0<θ<π/20<\theta<\pi/2 exactly nine modes are massless, the photon, with 1/e2=(8/3)/g21/e^2=(8/3)/g^2, and the gluons, and sin⁡2(MWl)=12sin⁡22θ,sin⁡2(MZl)=45sin⁡22θ.\begin{aligned} \sin^2(M_Wl)&=\tfrac12\sin^22\theta,\\ \sin^2(M_Zl)&=\tfrac45\sin^22\theta. \end{aligned}(6) With m=θ/lm=\theta/l, as θ→0\theta\to0: MW2→2m2M_W^2\to2m^2 and MZ2→165m2M_Z^2\to\tfrac{16}5m^2. As θ→π/2\theta\to\pi/2: MW,MZ→0M_W,M_Z\to0 and m→π/(2l)m\to\pi/(2l). In both limits MW2/MZ2→5/8M_W^2/M_Z^2\to5/8, and its minimum is ((π/4)/arctan⁡2)2=0.503((\pi/4)/\arctan2)^2=0.503 at θ=π/4\theta=\pi/4.

Here the connector is prescribed wall data for the gauge field; as a term in the fermion boundary operator it also changes the affected fermion tower. The constants 22 and 16/516/5 are the Hilbert-Schmidt ratios ∥[DF,a]∥2/∥a∥2\|[D_F,a]\|^2/\|a\|^2, and they are the coefficients of the lower bounds for the poles of the fully massive family in the exact quadratic spectral action (Supplemental Material, part 18), whose small-mass poles and Taylor mass differ from them by the heat coefficients. The second limit is a geometric form of heavy fermions with light vectors: at antipodal points the two walls have the same stabilizer in sp(2)sp(2).

Proposition 8. For the heat cutoff and universal θ\theta, with s=lΛs=l\Lambda, the trace per channel is 2∑n∈ℤexp⁡(−(nπ+θ)2/s2)2\sum_{n\in\mathbb Z}\exp(-(n\pi+\theta)^2/s^2), a Jacobi theta function, strictly decreasing on [0,π/2][0,\pi/2]. For s→0s\to0 at fixed x=θ2/s2x=\theta^2/s^2, it tends to 2e−x2e^{-x}.

The radial no-go of the finite action (“Finite Spectral Triples as Towerless Intervals” 2026) concerns finite data and a free ray, so this family lies outside it: the radial direction is compact, and the tower gives a stationary point at m=π/(2l)m=\pi/(2l). There, by Theorem 7, the vectors are massless, so this is not the physical point. For the one-loop potential with vector and fermion loops in the flat massless family, with fermions counted by nf=2NDn_f=2N_D, θ=π/2\theta=\pi/2 is the unique global minimum for nf>0n_f>0, the potential is strictly decreasing for nf≥54/5n_f\ge54/5, and for 0<nf<54/50<n_f<54/5 it has exactly one interior stationary point, a strict maximum, for the stated flat massless determinant with no other angle-dependent term (Supplemental Material, part 23 and Supplemental Material, part 24). In a flat tree-level comparison, neither the Wilson-line family, with MW2/MZ2∈[0.503,0.625)M_W^2/M_Z^2\in[0.503,0.625), nor a finite wall scalar, with [0.625,1)[0.625,1), fits both the top ratio and the weak ratio. Pure fermion channels of frequency 2 under the Wilson line, which the bimodule does not contain, change this: for n2≥nc=2.8855…n_2\ge n_c=2.8855\ldots they give an interior global minimum, at θ=π/4\theta=\pi/4 when they act alone, where π/l=4MW\pi/l=4M_W. In the multiplets containing both top chiralities, in the displayed channel, a state at 2MW2M_W has a lighter coloured partner for every finite wall mass. In a step-threshold model without those multiplets, the left-right difference of the couplings runs only logarithmically, and at one loop the three couplings meet at 2.2×10142.2\times10^{14} GeV with π/l=3.15×1013\pi/l=3.15\times10^{13} GeV, where the flat potential has no global minimum at the required angle (Supplemental Material, part 26). These negative statements hold in those flat families. They point toward changed form factors, as in warped composite models (Agashe, Contino, and Pomarol 2005), or a wall scalar with its own potential, for the physical interior, consistently with the reading of the odd labels as limits.

6 The sum rule and the effective dimension

Unfolding gives a sharper statement. For x∈[−l,l]x\in[-l,l], put ΨQ(x)=QL(|x|)+isgn(x)QR(|x|)\Psi_Q(x)=Q_L(|x|)+i\,\mathrm{sgn}(x)Q_R(|x|) and ΨU(x)=UR(|x|)−isgn(x)UL(|x|)\Psi_U(x)=U_R(|x|)-i\,\mathrm{sgn}(x)U_L(|x|). Up to the factor 1/21/\sqrt2, this is unitary, and it carries R*DXR=D0+EΓFDFR^*D_XR=D_0+E\Gamma_FD_F to −iddx⊗1+1⊗DF-i\frac{d}{dx}\otimes1+1\otimes D_F(7) on the circle of length 2l2l. So the tower is DFD_F shifted by kn=nπ/lk_n=n\pi/l, n∈ℤn\in\mathbb Z, and an even generator TT constant in this transported frame becomes 1⊗T1\otimes T. In the original frame it is RTR*RTR^*, generally with an odd bulk component, so it needs an enlarged gauge algebra, such as the prealgebra above. The exact quadratic kernel of the spectral action (“Finite Spectral Triples as Towerless Intervals” 2026) then applies block by block, with Gaussian convergence.

Theorem 9. For the heat cutoff, with s=lΛs=l\Lambda, the Taylor mass of a vector of constant profile in the transported frame is, at fixed ss and for fixed nonzero TT, M2=3−d2∥[DF,T]∥2∥T∥2+O(∥DF∥4Λ2),M^2=\frac{3-d}2\,\frac{\|[D_F,T]\|^2}{\|T\|^2}+O\!\left(\frac{\|D_F\|^4}{\Lambda^2}\right),(8) in Hilbert-Schmidt norms, where d=dlog⁡S/dlog⁡sd=d\log S/d\log s and S(s)=∑n∈ℤe−n2π2/s2S(s)=\sum_{n\in\mathbb Z}e^{-n^2\pi^2/s^2}. Here SS is the heat trace of the unshifted circle at t=Λ−2t=\Lambda^{-2}, so dd is its spectral dimension at the cutoff, with d→0d\to0 for s≪1s\ll1 and d→1d\to1 for s≫1s\gg1. For the three-generation Standard Model representation, at this order, MW2=3−d24∑fNfmf2,M_W^2=\frac{3-d}{24}\sum_fN_fm_f^2,(9) so for the top alone mt/MW=8/(3−d)m_t/M_W=\sqrt{8/(3-d)}, and MW2/MZ2=5/8M_W^2/M_Z^2=5/8 at all ss.

Structure of the proof. With ai=(k+μi)2a_i=(k+\mu_i)^2 and dij=μi−μjd_{ij}=\mu_i-\mu_j, the kernel at q=0q=0 expands to second order in μ\mu as dij2e−k2(1−23k2)d_{ij}^2e^{-k^2}(1-\tfrac23k^2), and at order q2q^2 as 23e−k2\tfrac23e^{-k^2}. Terms odd in kk cancel between nn and −n-n. Summing over nn gives the factor 32−⟨k2⟩\tfrac32-\langle k^2\rangle, and ⟨k2⟩=12dlog⁡S/dlog⁡s\langle k^2\rangle=\tfrac12d\log S/d\log s. ◻

At d=0d=0 this is the relation 8MW2=∑Nfmf28M_W^2=\sum N_fm_f^2 of the asymptotic spectral action. At d=1d=1 it is 12MW2=∑Nfmf212M_W^2=\sum N_fm_f^2, which covariance requires on the unfolded circle: the fifth component of the Dirac operator is a constant A5=DFA_5=D_F, and F5μ2F_{5\mu}^2 and Fμν2F_{\mu\nu}^2 have one coefficient. So the factor 3/23/2 between the finite spectral-action coefficient and the Yang-Mills commutator quotient is, in this constant-profile calculation, the ratio of the two ends of one function, crossing at lΛ≈2l\Lambda\approx2. In terms of couplings, yt=2g/3y_t=2g/\sqrt3 at d=0d=0 and yt=2gy_t=\sqrt2g at d=1d=1. The endpoint mt=2MWm_t=2M_W is known in flat gauge-Higgs models with suitable representations (Cacciapaglia, Csáki, and Park 2006); we did not find the coefficient (3−d)/24(3-d)/24 or the crossover, and a wider search is open. These are leading-order statements about a prescribed background: the towerless top-only expansion already has the correction −23128mt4/Λ2-\tfrac{23}{128}m_t^4/\Lambda^2. They hold at a matching scale, for flat profiles and no running. With bulk masses for the light fields the kinetic coefficient must be recomputed. Comparison with measured values needs a specified effective theory with thresholds and running.

7 Status

As mathematics, the one-flavor formula and the gauge boundary conditions are known (Csáki, Grojean, Hubisz, et al. 2004; Csáki, Grojean, Murayama, et al. 2004), compression of operator systems is treated in (Connes and Suijlekom 2021), and spectral action on spaces with boundary in (Chamseddine and Connes 2011), for a boundary of the manifold, with a local chirality projector. In our searches we did not find the finite real triple as an exact window on an internal interval, with the wall algebra and the average formula; the searches are recorded in the Supplemental Material and do not establish absence. The parent algebra is matrix-valued, so the founding question for a commutative parent remains open, as does any selection of AFA_F. On ℂℙ3×I\mathbb{CP}^3\times I, nonlocal spectral walls give the exact window for the operator and the grading, with the higher KK-modes decoupling with the radius, but they reduce scalar functions at the walls to constants, while direct aligned compression of real functions on S4S^4 gives only ℝ⊕ℝ\mathbb R\oplus\mathbb R, against ℍ⊕ℍ\mathbb H\oplus\mathbb H when the matrix algebra is generated at the intermediate stage (Supplemental Material, part 24).

Provenance

This note has no listed authors. The results were proved by Claude Opus 5.5, except that the statements on the commutative cylinder and the proof for the one-loop potential are by Astra 6 (gpt-6-astra, effort xhigh). All were refereed by Terra 6.1 (gpt-6.1-terra, effort max), whose reports led to corrections, with Python (numpy, scipy) checks of the identities and the numerical statements. Details are in the Supplemental Material of (“Finite Spectral Triples as Towerless Intervals” 2026), parts 22 to 26, with the referee reports.

References

Agashe, K., R. Contino, and A. Pomarol. 2005. “The Minimal Composite Higgs Model.” Nucl. Phys. B 719: 165. https://doi.org/10.1016/j.nuclphysb.2005.04.035.
Cacciapaglia, G., C. Csáki, and S. C. Park. 2006. “Fully Radiative Electroweak Symmetry Breaking.” J. High Energy Phys. 03: 099.
Chamseddine, A. H., and A. Connes. 2008. “Why the Standard Model.” J. Geom. Phys. 58: 38. https://doi.org/10.1016/j.geomphys.2007.09.011.
———. 2011. “Noncommutative Geometric Spaces with Boundary: Spectral Action.” J. Geom. Phys. 61: 317. https://doi.org/10.1016/j.geomphys.2010.10.002.
Chamseddine, A. H., A. Connes, and W. D. van Suijlekom. 2013. “Inner Fluctuations in Noncommutative Geometry Without the First Order Condition.” J. Geom. Phys. 73: 222. https://doi.org/10.1016/j.geomphys.2013.06.006.
Connes, A., and W. D. van Suijlekom. 2021. “Spectral Truncations in Noncommutative Geometry and Operator Systems.” Commun. Math. Phys. 383: 2021. https://doi.org/10.1007/s00220-020-03825-x.
Csáki, C., C. Grojean, J. Hubisz, Y. Shirman, and J. Terning. 2004. “Fermions on an Interval: Quark and Lepton Masses Without a Higgs.” Phys. Rev. D 70: 015012. https://doi.org/10.1103/PhysRevD.70.015012.
Csáki, C., C. Grojean, H. Murayama, L. Pilo, and J. Terning. 2004. “Gauge Theories on an Interval: Unitarity Without a Higgs Boson.” Phys. Rev. D 69: 055006. https://doi.org/10.1103/PhysRevD.69.055006.
D’Andrea, F., F. Lizzi, and P. Martinetti. 2014. “Spectral Geometry with a Cut-Off: Topological and Metric Aspects.” J. Geom. Phys. 82: 18. https://doi.org/10.1016/j.geomphys.2014.03.014.
“Finite Spectral Triples as Towerless Intervals.” 2026. Read the paper in HTML.
Hosotani, Y. 1983. “Dynamical Mass Generation by Compact Extra Dimensions.” Phys. Lett. B 126: 309. https://doi.org/10.1016/0370-2693(83)90170-3.