Skip to main content

Zeta Regularisation with Fano Character

Context: identified vulnerabilities
  • K-1: The modular hypothesis gives ~15 orders (not ~48) — extra factor of π\pi in the exponent.
  • K-2: Normalisation of winding energy is not justified — the "33 orders" comparison is unreliable.
  • M-1: The proof of uniqueness of B(b)B^{(b)} contains a gap (non-standard index contraction).
  • Current budget: 41.5 [T] strictly; deficit 79 orders.

This document develops four lines of investigation of the coherence matrix:

  • Part A: Exact computation of ΘM(S0)\Theta_M(S_0) — factorisation ΘM=Θ+7\Theta_M = \Theta_+^7, explicit summation at S0=20S_0 = 20, quantitative estimate of the suppression.
  • Part B: Rigorous uniqueness of B(b)B^{(b)} — resolution of gap M-1 via S3S_3-symmetry of the Fano-line stabiliser.
  • Part C: Zeta regularisation of the winding contribution — Epstein zeta function with Fano character, functional equation, vanishing at s=−ks = -k.
  • Part D: Synthesis and updated budget — revision of strategy in light of results A--C.

Part A: Exact Computation of ΘM(S0)\Theta_M(S_0)​

Factorisation and Uniqueness of the Factor​

Reminder​

Theta function of the lattice Z21\mathbb{Z}^{21} with Fano characteristic:

ΘM(S0)=∑n∈Z21exp⁡(−S0∣n∣2+2πi7B(b)(n))\Theta_M(S_0) = \sum_{\mathbf{n} \in \mathbb{Z}^{21}} \exp\left(-S_0|\mathbf{n}|^2 + \frac{2\pi i}{7} B^{(b)}(\mathbf{n})\right)

factorises over Fano lines:

ΘM=∏l=17Θl(S0)\Theta_M = \prod_{l=1}^{7} \Theta_l(S_0)

where Θl\Theta_l is the theta function of the 3-dimensional block of edges of line ll.

Theorem 1.1 (All orientations coincide)​

Theorem [T]

In the standard octonionic multiplication table all 7 Fano lines have εl=+1\varepsilon_l = +1. Consequently:

ΘM(S0)=[Θ+(S0)]7\Theta_M(S_0) = \left[\Theta_+(S_0)\right]^7

where Θ+\Theta_+ is the unique 3-dimensional theta function:

Θ+(S0)=∑n∈Z3exp⁡(−S0∣n∣2+2πi7(n1n2+n2n3+n3n1))\Theta_+(S_0) = \sum_{\mathbf{n} \in \mathbb{Z}^3} \exp\left(-S_0|\mathbf{n}|^2 + \frac{2\pi i}{7}(n_1 n_2 + n_2 n_3 + n_3 n_1)\right)

Proof.

(a) 7 Fano lines in standard numbering (Baez, 2002):

Line llTriplet (a,b,c)(a,b,c)ea⋅eb=εlece_a \cdot e_b = \varepsilon_l e_cεl\varepsilon_l
1(1,2,4)(1,2,4)e1⋅e2=+e4e_1 \cdot e_2 = +e_4+1+1
2(2,3,5)(2,3,5)e2⋅e3=+e5e_2 \cdot e_3 = +e_5+1+1
3(3,4,6)(3,4,6)e3⋅e4=+e6e_3 \cdot e_4 = +e_6+1+1
4(4,5,7)(4,5,7)e4⋅e5=+e7e_4 \cdot e_5 = +e_7+1+1
5(5,6,1)(5,6,1)e5⋅e6=+e1e_5 \cdot e_6 = +e_1+1+1
6(6,7,2)(6,7,2)e6⋅e7=+e2e_6 \cdot e_7 = +e_2+1+1
7(7,1,3)(7,1,3)e7⋅e1=+e3e_7 \cdot e_1 = +e_3+1+1

(b) All εl=+1\varepsilon_l = +1. This is a consequence of choosing a coherent orientation of the Fano plane: the standard octonionic multiplication table assigns a cyclic order on each line, compatible with the global orientation.

(c) G2G_2-automorphisms preserve φ\varphi, hence preserve all εl\varepsilon_l. This means that Θl\Theta_l are identical for all lines (G2G_2-equivalence), and ΘM=Θ+7\Theta_M = \Theta_+^7.

(d) Remark: upon reversal of orientation (replacing φ→−φ\varphi \to -\varphi, i.e. εl→−1\varepsilon_l \to -1 for all ll), Θ−=Θ+‾\Theta_- = \overline{\Theta_+} (complex conjugation), and ∣ΘM∣=∣Θ+∣7|\Theta_M| = |\Theta_+|^7 in both cases. ■\blacksquare

Corollary (Reduction to a one-dimensional problem)​

All information about winding suppression is contained in a single function Θ+(S0)\Theta_+(S_0) of three integer variables. Computing Θ+\Theta_+ at S0=20S_0 = 20 is a finite problem with exponential convergence.


Period Matrix and Modular Structure​

Theorem 2.1 (Period matrix of a block)​

Theorem [T]

The theta function Θ+\Theta_+ is a Siegel theta function of genus 3 with period matrix:

Ω=iS0πI3+17(J3−I3)\Omega = \frac{iS_0}{\pi} I_3 + \frac{1}{7}(J_3 - I_3)

i.e. Θ+(S0)=Θ(Ω)\Theta_+(S_0) = \Theta(\Omega), where

Θ(Ω)=∑n∈Z3exp⁡(πi nTΩ n)\Theta(\Omega) = \sum_{\mathbf{n} \in \mathbb{Z}^3} \exp\left(\pi i \, \mathbf{n}^T \Omega \, \mathbf{n}\right)

Proof. The exponent in the definition of Θ+\Theta_+:

−S0∣n∣2+2πi7⋅12nT(J3−I3)n-S_0|\mathbf{n}|^2 + \frac{2\pi i}{7} \cdot \frac{1}{2}\mathbf{n}^T(J_3-I_3)\mathbf{n}

(a) First term: −S0nTI3n=πi⋅nT(iS0π)I3n-S_0 \mathbf{n}^T I_3 \mathbf{n} = \pi i \cdot \mathbf{n}^T \left(\frac{iS_0}{\pi}\right) I_3 \mathbf{n}.

Check: πi⋅(iS0/π)=−S0\pi i \cdot (iS_0/\pi) = -S_0. ✓\checkmark

(b) Second term: πi7nT(J3−I3)n\frac{\pi i}{7} \mathbf{n}^T(J_3-I_3)\mathbf{n}, since B(b)(n)=12nT(J3−I3)nB^{(b)}(\mathbf{n}) = \frac{1}{2}\mathbf{n}^T(J_3-I_3)\mathbf{n}.

Check: (2πi/7)×(1/2)=πi/7(2\pi i/7) \times (1/2) = \pi i/7. ✓\checkmark

(c) Summing: πi⋅nT[iS0πI3+17(J3−I3)]n=πi⋅nTΩn\pi i \cdot \mathbf{n}^T\left[\frac{iS_0}{\pi}I_3 + \frac{1}{7}(J_3-I_3)\right]\mathbf{n} = \pi i \cdot \mathbf{n}^T \Omega \mathbf{n}. ■\blacksquare

Theorem 2.2 (Spectrum of the period matrix)​

Theorem [T]

Eigenvalues of Ω\Omega:

λ1=iS0π+27,λ2,3=iS0π−17\lambda_1 = \frac{iS_0}{\pi} + \frac{2}{7}, \quad \lambda_{2,3} = \frac{iS_0}{\pi} - \frac{1}{7}

Proof. J3−I3J_3 - I_3 has eigenvalues 22 (on (1,1,1)T(1,1,1)^T) and −1-1 (×2\times 2, on the orthogonal complement). Adding (iS0/π)⋅1(iS_0/\pi) \cdot 1:

  • On (1,1,1)T(1,1,1)^T: iS0/π+2/7iS_0/\pi + 2/7
  • On ⊥(1,1,1)\perp (1,1,1): iS0/π−1/7iS_0/\pi - 1/7 (×2\times 2)

Corollary. Im(Ω)=(S0/π)I3>0\mathrm{Im}(\Omega) = (S_0/\pi) I_3 > 0 for S0>0S_0 > 0. The theta series converges absolutely. ✓\checkmark

Re(Ω)=17(J3−I3)\mathrm{Re}(\Omega) = \frac{1}{7}(J_3 - I_3), with eigenvalues 2/72/7 and −1/7-1/7 (×2\times 2). The non-zero real part reflects the topological (Fano-phase) structure.


Exact Summation at S0=20S_0 = 20​

Theorem 3.1 (Shell decomposition of Θ+\Theta_+)​

At S0=20S_0 = 20:

Θ+(20)=1+σ1⋅e−20+σ2⋅e−40+σ3⋅e−60+O(e−80)\Theta_+(20) = 1 + \sigma_1 \cdot e^{-20} + \sigma_2 \cdot e^{-40} + \sigma_3 \cdot e^{-60} + O(e^{-80})

where σk=∑∣n∣2=kexp⁡(2πi7(n1n2+n2n3+n3n1))\sigma_k = \sum_{|\mathbf{n}|^2 = k} \exp\left(\frac{2\pi i}{7}(n_1 n_2 + n_2 n_3 + n_3 n_1)\right).

Computation of σ1\sigma_1 (shell ∣n∣2=1|\mathbf{n}|^2 = 1)​

Theorem [T]

σ1=6\sigma_1 = 6.

Proof. ∣n∣2=1|\mathbf{n}|^2 = 1: exactly one component =±1= \pm 1, the rest =0= 0. Count: 3×2=63 \times 2 = 6 vectors.

For n=±ej\mathbf{n} = \pm e_j: n1n2+n2n3+n3n1=0n_1 n_2 + n_2 n_3 + n_3 n_1 = 0 (all products contain a zero factor).

σ1=6×e0=6■\sigma_1 = 6 \times e^{0} = 6 \qquad \blacksquare

Computation of σ2\sigma_2 (shell ∣n∣2=2|\mathbf{n}|^2 = 2)​

Theorem [T]

σ2=12cos⁡(2π/7)≈7.482\sigma_2 = 12\cos(2\pi/7) \approx 7.482.

Proof. ∣n∣2=2|\mathbf{n}|^2 = 2: two non-zero components =±1= \pm 1. Count: (32)×4=12\binom{3}{2} \times 4 = 12 vectors.

For n=(s1,s2,0)\mathbf{n} = (s_1, s_2, 0): B=s1s2B = s_1 s_2. For n=(s1,0,s3)\mathbf{n} = (s_1, 0, s_3): B=s1s3B = s_1 s_3. For n=(0,s2,s3)\mathbf{n} = (0, s_2, s_3): B=s2s3B = s_2 s_3.

For each positional pair (3 pairs), 4 sign combinations give sisj=+1s_i s_j = +1 (2 times) and sisj=−1s_i s_j = -1 (2 times):

∑si,sj=±1e2πisisj/7=2e2πi/7+2e−2πi/7=4cos⁡(2π/7)\sum_{s_i, s_j = \pm 1} e^{2\pi i s_i s_j/7} = 2e^{2\pi i/7} + 2e^{-2\pi i/7} = 4\cos(2\pi/7)

Total:

σ2=3×4cos⁡(2π/7)=12cos⁡(2π/7)\sigma_2 = 3 \times 4\cos(2\pi/7) = 12\cos(2\pi/7)

cos⁡(2π/7)≈0.6234898\cos(2\pi/7) \approx 0.6234898. σ2≈7.482\sigma_2 \approx 7.482. ■\blacksquare

Computation of σ3\sigma_3 (shell ∣n∣2=3|\mathbf{n}|^2 = 3)​

Theorem [T]

σ3=2e6πi/7+6e−2πi/7\sigma_3 = 2e^{6\pi i/7} + 6e^{-2\pi i/7}, ∣σ3∣≈4.287|\sigma_3| \approx 4.287.

Proof. ∣n∣2=3|\mathbf{n}|^2 = 3: all three components =±1= \pm 1. Count: 23=82^3 = 8 vectors.

B(s1,s2,s3)=s1s2+s2s3+s3s1B(s_1, s_2, s_3) = s_1 s_2 + s_2 s_3 + s_3 s_1. Enumeration:

(s1,s2,s3)(s_1, s_2, s_3)BB
(+,+,+)(+,+,+)1+1+1=31+1+1 = 3
(+,+,−)(+,+,-)1−1−1=−11-1-1 = -1
(+,−,+)(+,-,+)−1−1+1=−1-1-1+1 = -1
(−,+,+)(-,+,+)−1+1−1=−1-1+1-1 = -1
(+,−,−)(+,-,-)−1+1−1=−1-1+1-1 = -1
(−,+,−)(-,+,-)−1−1+1=−1-1-1+1 = -1
(−,−,+)(-,-,+)1−1−1=−11-1-1 = -1
(−,−,−)(-,-,-)1+1+1=31+1+1 = 3

B=3B = 3 for 2 vectors, B=−1B = -1 for 6 vectors.

σ3=2exp⁡(6πi7)+6exp⁡(−2πi7)\sigma_3 = 2\exp\left(\frac{6\pi i}{7}\right) + 6\exp\left(-\frac{2\pi i}{7}\right)

Numerical values:

  • cos⁡(6π/7)=−cos⁡(π/7)≈−0.9009689\cos(6\pi/7) = -\cos(\pi/7) \approx -0.9009689
  • sin⁡(6π/7)=sin⁡(π/7)≈0.4338837\sin(6\pi/7) = \sin(\pi/7) \approx 0.4338837
  • cos⁡(2π/7)≈0.6234898\cos(2\pi/7) \approx 0.6234898
  • sin⁡(2π/7)≈0.7818315\sin(2\pi/7) \approx 0.7818315
Re(σ3)=2(−0.9009689)+6(0.6234898)=−1.8019+3.7409=1.9390\mathrm{Re}(\sigma_3) = 2(-0.9009689) + 6(0.6234898) = -1.8019 + 3.7409 = 1.9390 Im(σ3)=2(0.4338837)+6(−0.7818315)=0.8678−4.6910=−3.8232\mathrm{Im}(\sigma_3) = 2(0.4338837) + 6(-0.7818315) = 0.8678 - 4.6910 = -3.8232 ∣σ3∣=1.93902+3.82322=3.760+14.617=18.377≈4.287|\sigma_3| = \sqrt{1.9390^2 + 3.8232^2} = \sqrt{3.760 + 14.617} = \sqrt{18.377} \approx 4.287

For comparison: without phases σ3no phase=8\sigma_3^{\text{no phase}} = 8. Suppression: ∣σ3∣/8≈0.536|\sigma_3|/8 \approx 0.536 (~46%). ■\blacksquare

Theorem 3.2 (Summary: Θ+\Theta_+ at S0=20S_0 = 20)​

Θ+(20)=1+6e−20+(7.482+phase)⋅e−40+O(e−60)\Theta_+(20) = 1 + 6e^{-20} + (7.482 + \text{phase}) \cdot e^{-40} + O(e^{-60})

Numerically:

Shell kke−kS0e^{-kS_0}∣σk∣\lvert\sigma_k\rvertContribution ∣σk∣e−kS0\lvert\sigma_k\rvert e^{-kS_0}
0111
12.06×10−92.06 \times 10^{-9}61.24×10−81.24 \times 10^{-8}
24.25×10−184.25 \times 10^{-18}7.483.18×10−173.18 \times 10^{-17}
38.76×10−278.76 \times 10^{-27}4.293.76×10−263.76 \times 10^{-26}
Θ+(20)=1+1.24×10−8+O(10−17)\Theta_+(20) = 1 + 1.24 \times 10^{-8} + O(10^{-17})

Without phases: Θ+no phase(20)=1+2e−20+…≈1+4.12×10−9\Theta_+^{\text{no phase}}(20) = 1 + 2e^{-20} + \ldots \approx 1 + 4.12 \times 10^{-9}.

Remark: σ1no phase=6\sigma_1^{\text{no phase}} = 6 (3D) coincides with σ1=6\sigma_1 = 6 (with phase). No suppression on the dominant shell. ✓\checkmark


Summary: Suppression of the Winding Series at Physical S0S_0​

Theorem 4.1 (Ratio ΘM/Θ0\Theta_M / \Theta_0)​

Theorem [T]

At S0=20S_0 = 20:

∣ΘM(S0)∣Θ0(S0)=1−δ,∣δ∣<2×10−9\frac{|\Theta_M(S_0)|}{\Theta_0(S_0)} = 1 - \delta, \quad |\delta| < 2 \times 10^{-9}

where Θ0(S0)=[∑m∈Ze−S0m2]21\Theta_0(S_0) = \left[\sum_{m \in \mathbb{Z}} e^{-S_0 m^2}\right]^{21} is the theta function without phases.

Proof.

(a) Θ0=[θ3(0,e−S0)]21\Theta_0 = [\theta_3(0, e^{-S_0})]^{21}, where θ3(0,q)=1+2q+2q4+…\theta_3(0, q) = 1 + 2q + 2q^4 + \ldots is the Jacobi theta function. At q=e−20q = e^{-20}:

θ3(0,e−20)=1+2e−20+O(e−80)≈1+4.12×10−9\theta_3(0, e^{-20}) = 1 + 2e^{-20} + O(e^{-80}) \approx 1 + 4.12 \times 10^{-9} Θ0≈(1+4.12×10−9)21≈1+8.65×10−8\Theta_0 \approx (1 + 4.12 \times 10^{-9})^{21} \approx 1 + 8.65 \times 10^{-8}

(b) ∣ΘM∣=∣Θ+∣7|\Theta_M| = |\Theta_+|^7. From Theorem 3.2: Θ+(20)≈1+1.24×10−8\Theta_+(20) \approx 1 + 1.24 \times 10^{-8}.

∣ΘM∣≈(1+1.24×10−8)7≈1+8.68×10−8|\Theta_M| \approx (1 + 1.24 \times 10^{-8})^7 \approx 1 + 8.68 \times 10^{-8}

(c) Ratio:

∣ΘM∣Θ0≈1+8.68×10−81+8.65×10−8≈1+3×10−10\frac{|\Theta_M|}{\Theta_0} \approx \frac{1 + 8.68 \times 10^{-8}}{1 + 8.65 \times 10^{-8}} \approx 1 + 3 \times 10^{-10}

Suppression δ≈−3×10−10\delta \approx -3 \times 10^{-10} (negative — actually an enhancement, but at the 10−1010^{-10} level). ■\blacksquare

Theorem 4.2 (Reason for the absence of suppression)​

Fano-phase suppression at S0≫1S_0 \gg 1 is negligible for the following reasons:

(a) The dominant sector k=1k=1 has zero phase (σ1=σ1no phase=6\sigma_1 = \sigma_1^{\text{no phase}} = 6).

(b) The first sector with non-zero phase (k=2k=2) is suppressed by the factor e−S0≈2×10−9e^{-S_0} \approx 2 \times 10^{-9} relative to k=1k=1.

(c) Even in sector k=2k=2 the suppression is only ∣σ2∣/σ2no phase=7.48/12=0.624|\sigma_2|/\sigma_2^{\text{no phase}} = 7.48/12 = 0.624 (not exponential).

(d) The Gauss sum ∣G7∣=721/2|G_7| = 7^{21/2} is the result for equal weights (S0=0S_0 = 0), irrelevant at S0=20S_0 = 20.

Corollary (Status of the 9 orders)​

Refuted [✗]

The result "9 orders from the Gauss sum" is formally correct for S0→0S_0 \to 0, but physically unrealisable at S0=20S_0 = 20:

  • Gauss sum: ∣G7∣/721=7−21/2≈10−8.9|G_7|/7^{21} = 7^{-21/2} \approx 10^{-8.9} (at S0=0S_0 = 0)
  • Actual suppression: ∣δ∣<10−9|\delta| < 10^{-9} (at S0=20S_0 = 20)

Status of 9 orders: [✗] (refuted).

The physical mechanism of destructive interference of winding sectors does not work at S0∼20S_0 \sim 20.

Refuted [✗]

Modular hypothesis (15 orders of suppression) — also refuted. ΘM/Θ0≈1\Theta_M/\Theta_0 \approx 1 at S0=20S_0 = 20; the hypothesis is irrelevant.


Part B: Uniqueness of B(b)B^{(b)} via S3S_3-Symmetry​

Setup (Resolution of M-1)​

A gap has been identified in the uniqueness proof: the form Bφ(n)=∑φijknijnjkB_\varphi(\mathbf{n}) = \sum \varphi_{ijk} n_{ij} n_{jk} uses a non-standard index contraction (split index jj), which does not lie in Sym2(Λ2)\mathrm{Sym}^2(\Lambda^2). The count of G2G_2-invariants in Sym2(Λ2)\mathrm{Sym}^2(\Lambda^2) does not apply to BφB_\varphi.

We give an alternative uniqueness proof that does not use representation theory.

Theorem 5.1 (Structure of the stabiliser)​

Theorem [T]

The stabiliser of a Fano line {a,b,c}\{a,b,c\} in Aut(Fano)≅PSL(2,7)\mathrm{Aut}(\text{Fano}) \cong \mathrm{PSL}(2,7) contains the full symmetric group S3S_3, acting on the three points of the line.

Proof.

(a) ∣PSL(2,7)∣=168|\mathrm{PSL}(2,7)| = 168. Number of Fano lines: 7. By the orbit-stabiliser formula: ∣Stab(l)∣=168/7=24|\mathrm{Stab}(l)| = 168/7 = 24.

(b) The line stabiliser acts on the 3 points of the line and on the 4 points outside the line. The restriction to the 3 points of the line gives a homomorphism Stab(l)→S3\mathrm{Stab}(l) \to S_3.

(c) This homomorphism is surjective: for the Fano plane PG(2,2)\mathrm{PG}(2,2) any permutation of points on a line extends to a collineation. (In PG(2,q)\mathrm{PG}(2, q) collineations act 3-transitively on points of a line for q≥2q \geq 2.)

(d) Consequently, S3↪Stab(l)S_3 \hookrightarrow \mathrm{Stab}(l), and Stab(l)\mathrm{Stab}(l) contains S3S_3 as a subgroup. ■\blacksquare

Corollary (Z3\mathbb{Z}_3 and Z2\mathbb{Z}_2 in the stabiliser)​

The stabiliser contains:

  • Z3\mathbb{Z}_3 (cyclic permutations): (a,b,c)→(b,c,a)→(c,a,b)(a,b,c) \to (b,c,a) \to (c,a,b)
  • Z2\mathbb{Z}_2 (transposition): (a,b,c)→(a,c,b)(a,b,c) \to (a,c,b) (orientation reversal)

Definition (G2G_2-covariant quadratic form with Fano contraction)​

A quadratic form QQ on R21\mathbb{R}^{21} with Fano contraction is a form of the type:

Q(n)=∑l=17Ql(nl)Q(\mathbf{n}) = \sum_{l=1}^{7} Q_l(\mathbf{n}_l)

where for each line l={a,b,c}l = \{a,b,c\}:

Ql(nl)=∑π∈Σαπ⋅επ(a),π(b),π(c)⋅nπ(a)π(b)⋅nπ(b)π(c)Q_l(\mathbf{n}_l) = \sum_{\pi \in \Sigma} \alpha_\pi \cdot \varepsilon_{\pi(a),\pi(b),\pi(c)} \cdot n_{\pi(a)\pi(b)} \cdot n_{\pi(b)\pi(c)}

Σ⊆S3\Sigma \subseteq S_3 is a chosen subset of permutations, απ\alpha_\pi are real coefficients.

QQ is called G2G_2-covariant if:

  1. The choice of Σ\Sigma and coefficients απ\alpha_\pi are identical for all 7 lines (G2G_2-transitivity).
  2. QlQ_l is invariant under the line stabiliser (S3S_3-covariance).

Theorem 6.1 (Uniqueness of B(b)B^{(b)})​

Theorem [T]

B(b)B^{(b)} is the unique (up to a scalar factor) non-zero G2G_2-covariant quadratic form with Fano contraction.

Proof.

(a) S3S_3-invariance: the 6 permutations of the line (a,b,c)(a,b,c) split into:

  • 3 even (cyclic): ε=+1\varepsilon = +1, terms: nabnbcn_{ab}n_{bc}, nbcncan_{bc}n_{ca}, ncanabn_{ca}n_{ab}
  • 3 odd (anticyclic): ε=−1\varepsilon = -1, terms: nacnbcn_{ac}n_{bc}, nbcnabn_{bc}n_{ab}, nabnacn_{ab}n_{ac}

(b) Using nij=njin_{ij} = n_{ji}: anticyclic terms with ε=−1\varepsilon = -1 give:

−nacnbc−nbcnab−nabnac=−(nabnbc+nbcnca+ncanab)-n_{ac}n_{bc} - n_{bc}n_{ab} - n_{ab}n_{ac} = -(n_{ab}n_{bc} + n_{bc}n_{ca} + n_{ca}n_{ab})

i.e. minus the cyclic sum.

(c) S3S_3-invariance requires the coefficients α\alpha to be constant on Z3\mathbb{Z}_3-orbits:

  • All 3 cyclic permutations share coefficient α\alpha
  • All 3 anticyclic permutations share coefficient β\beta

(d) Full form on a line:

Ql=α⋅(+εl)(nabnbc+nbcnca+ncanab)+β⋅(−εl)(nabnbc+nbcnca+ncanab)Q_l = \alpha \cdot (+\varepsilon_l)(n_{ab}n_{bc} + n_{bc}n_{ca} + n_{ca}n_{ab}) + \beta \cdot (-\varepsilon_l)(n_{ab}n_{bc} + n_{bc}n_{ca} + n_{ca}n_{ab}) =(α−β)εl(nabnbc+nbcnca+ncanab)= (\alpha - \beta) \varepsilon_l (n_{ab}n_{bc} + n_{bc}n_{ca} + n_{ca}n_{ab})

(e) Setting c=α−βc = \alpha - \beta:

Q=c⋅B(b)Q = c \cdot B^{(b)}

The non-zero form (c≠0c \neq 0) is unique up to scale. ■\blacksquare

Remark​

The proof of Theorem 6.1 does not use the representation theory of G2G_2 and the decomposition Λ2(R7)=g2⊕V7\Lambda^2(\mathbb{R}^7) = \mathfrak{g}_2 \oplus V_7. Instead it uses:

  1. G2G_2-transitivity on Fano lines (identical form on all lines)
  2. S3S_3-invariance of the line stabiliser (identical coefficients for permutations of the same class)
  3. The identity nij=njin_{ij} = n_{ji} (anticyclic = minus cyclic)

Gap M-1 is closed. Status of uniqueness: [T].


Part C: Zeta Regularisation of the Winding Contribution​

Epstein Zeta Function with Fano Character​

Motivation​

Part A showed that direct summation of the winding series ΘM(S0)\Theta_M(S_0) at S0=20S_0 = 20 yields no suppression. However, the vacuum energy in QFT is defined not by the naive series but by its analytic continuation (zeta regularisation). We now turn to this approach.

Definition​

Epstein zeta function with Fano character:

ZΦ(s)=∑n∈Z21∖{0}χ(n) ∣n∣−2sZ_\Phi(s) = \sum_{\mathbf{n} \in \mathbb{Z}^{21} \setminus \{0\}} \chi(\mathbf{n}) \, |\mathbf{n}|^{-2s}

where χ(n)=exp⁡(2πi7B(b)(n))\chi(\mathbf{n}) = \exp\left(\frac{2\pi i}{7} B^{(b)}(\mathbf{n})\right) is a quadratic character on Z21\mathbb{Z}^{21}, periodic with period 7.

The series converges absolutely for Re(s)>21/2\mathrm{Re}(s) > 21/2.

Theorem 7.1 (Connection to the theta function via Mellin transform)​

Theorem [T]

The completed zeta function

ΛΦ(s):=π−sΓ(s)ZΦ(s)\Lambda_\Phi(s) := \pi^{-s} \Gamma(s) Z_\Phi(s)

is related to ΘM\Theta_M by the Mellin transform:

ΛΦ(s)=∫0∞ts−1[ΘM(t)−1]dt\Lambda_\Phi(s) = \int_0^\infty t^{s-1} \left[\Theta_M^{(t)} - 1\right] dt

where ΘM(t)=∑nχ(n)e−πt∣n∣2\Theta_M^{(t)} = \sum_{\mathbf{n}} \chi(\mathbf{n}) e^{-\pi t |\mathbf{n}|^2}, and −1-1 subtracts the n=0\mathbf{n} = 0 contribution.

Proof. Standard:

∫0∞ts−1e−π∣n∣2tdt=(π∣n∣2)−sΓ(s)\int_0^\infty t^{s-1} e^{-\pi |\mathbf{n}|^2 t} dt = (\pi|\mathbf{n}|^2)^{-s} \Gamma(s)

Summing over n≠0\mathbf{n} \neq 0 with weights χ(n)\chi(\mathbf{n}): ∫0∞ts−1[ΘM(t)−1]dt=π−sΓ(s)ZΦ(s)=ΛΦ(s)\int_0^\infty t^{s-1} [\Theta_M^{(t)} - 1] dt = \pi^{-s}\Gamma(s) Z_\Phi(s) = \Lambda_\Phi(s). ■\blacksquare


Functional Equation​

Theorem 8.1 (Poisson summation for ΘM(t)\Theta_M^{(t)})​

Theorem [T]

As t→0+t \to 0^+:

ΘM(t)=G7721⋅t−21/2+O(t−21/2e−c/t)\Theta_M^{(t)} = \frac{G_7}{7^{21}} \cdot t^{-21/2} + O\left(t^{-21/2} e^{-c/t}\right)

where G7=∑r∈(Z/7Z)21χ(r)G_7 = \sum_{\mathbf{r} \in (\mathbb{Z}/7\mathbb{Z})^{21}} \chi(\mathbf{r}) is the Gauss sum, ∣G7∣=721/2|G_7| = 7^{21/2}.

Proof.

(a) By the Poisson formula for Z21\mathbb{Z}^{21}:

ΘM(t)=∑nχ(n)e−πt∣n∣2=t−21/2∑mχ^(m)e−π∣m∣2/t\Theta_M^{(t)} = \sum_{\mathbf{n}} \chi(\mathbf{n}) e^{-\pi t|\mathbf{n}|^2} = t^{-21/2} \sum_{\mathbf{m}} \hat{\chi}(\mathbf{m}) e^{-\pi|\mathbf{m}|^2/t}

where χ^(m)\hat{\chi}(\mathbf{m}) is the discrete Fourier transform of the character over (Z/7Z)21(\mathbb{Z}/7\mathbb{Z})^{21}.

(b) χ^(m)=1721∑r∈(Z/7Z)21χ(r)e−2πir⋅m/7\hat{\chi}(\mathbf{m}) = \frac{1}{7^{21}} \sum_{\mathbf{r} \in (\mathbb{Z}/7\mathbb{Z})^{21}} \chi(\mathbf{r}) e^{-2\pi i \mathbf{r} \cdot \mathbf{m}/7}.

(c) At m=0\mathbf{m} = 0: χ^(0)=G7/721\hat{\chi}(0) = G_7/7^{21}, where ∣G7∣=721/2|G_7| = 7^{21/2} (Ireland–Rosen theorem for a non-degenerate quadratic form).

(d) As t→0t \to 0: e−π∣m∣2/t→0e^{-\pi|\mathbf{m}|^2/t} \to 0 for m≠0\mathbf{m} \neq 0. What remains: ΘM(t)≈t−21/2⋅G7/721=t−21/2⋅7−21/2⋅eiα\Theta_M^{(t)} \approx t^{-21/2} \cdot G_7/7^{21} = t^{-21/2} \cdot 7^{-21/2} \cdot e^{i\alpha}. ■\blacksquare

Theorem 8.2 (Meromorphic structure of ΛΦ\Lambda_\Phi)​

Theorem [T]

ΛΦ(s)\Lambda_\Phi(s) extends to a meromorphic function on C\mathbb{C} with a unique simple pole at s=21/2s = 21/2:

Ress=21/2ΛΦ(s)=G7721\mathrm{Res}_{s=21/2} \Lambda_\Phi(s) = \frac{G_7}{7^{21}}

Proof.

Step 0: Derivation of the functional equation for Θ+\Theta_+ [T]​

Function Θ+(t)=∑n∈Z3exp⁡ ⁣(−πt∣n∣2+2πi7B(n))\Theta_+(t) = \sum_{\mathbf{n} \in \mathbb{Z}^3} \exp\!\left(-\pi t|\mathbf{n}|^2 + \tfrac{2\pi i}{7}B(\mathbf{n})\right), where B(n)=n1n2+n2n3+n3n1B(\mathbf{n}) = n_1 n_2 + n_2 n_3 + n_3 n_1.

Decomposition of the sum over residues mod 7. Write n=7m+a\mathbf{n} = 7\mathbf{m} + \mathbf{a} with a∈(Z/7Z)3\mathbf{a} \in (\mathbb{Z}/7\mathbb{Z})^3, m∈Z3\mathbf{m} \in \mathbb{Z}^3:

Θ+(t)=∑a∈(Z/7)3e2πiB(a)/7∑m∈Z3e−πt∣7m+a∣2\Theta_+(t) = \sum_{\mathbf{a} \in (\mathbb{Z}/7)^3} e^{2\pi i B(\mathbf{a})/7} \sum_{\mathbf{m} \in \mathbb{Z}^3} e^{-\pi t |7\mathbf{m}+\mathbf{a}|^2}

We apply the Poisson formula to the inner sum (d=3d = 3, Gaussian kernel with shift a\mathbf{a}):

∑m∈Z3e−πt∣7m+a∣2=1(7)3t3/2∑k∈Z3e−π∣k∣2/(72t)⋅e2πik⋅a/7\sum_{\mathbf{m} \in \mathbb{Z}^3} e^{-\pi t |7\mathbf{m}+\mathbf{a}|^2} = \frac{1}{(7)^3 t^{3/2}} \sum_{\mathbf{k} \in \mathbb{Z}^3} e^{-\pi|\mathbf{k}|^2/(7^2 t)} \cdot e^{2\pi i \mathbf{k} \cdot \mathbf{a}/7}

Substituting and exchanging the order of summation:

Θ+(t)=173t3/2∑k∈Z3e−π∣k∣2/(49t)∑a∈(Z/7)3e2πi(B(a)+k⋅a)/7⏟G^(k)\Theta_+(t) = \frac{1}{7^3 t^{3/2}} \sum_{\mathbf{k} \in \mathbb{Z}^3} e^{-\pi|\mathbf{k}|^2/(49t)} \underbrace{\sum_{\mathbf{a} \in (\mathbb{Z}/7)^3} e^{2\pi i (B(\mathbf{a}) + \mathbf{k}\cdot\mathbf{a})/7}}_{\displaystyle\hat{G}(\mathbf{k})}

Computation of the Gauss sum G^(k)\hat{G}(\mathbf{k}). This is a three-dimensional Gauss sum with quadratic phase B(a)B(\mathbf{a}):

G^(k)=∑a∈(Z/7)3exp⁡ ⁣(2πi7[B(a)+k⋅a])\hat{G}(\mathbf{k}) = \sum_{\mathbf{a} \in (\mathbb{Z}/7)^3} \exp\!\left(\frac{2\pi i}{7}[B(\mathbf{a}) + \mathbf{k}\cdot\mathbf{a}]\right)

By the substitution a↦a′=a+a0\mathbf{a} \mapsto \mathbf{a}' = \mathbf{a} + \mathbf{a}_0 (shift to the centre at a0=−12M3−1k mod 7\mathbf{a}_0 = -\tfrac{1}{2}M_3^{-1}\mathbf{k} \bmod 7, where B(a)=aTM3aB(\mathbf{a}) = \mathbf{a}^T M_3 \mathbf{a}) the shift eliminates the linear term, and:

G^(k)=e−2πikTM3−1k/(4⋅7)⋅GB,GB=∑a∈(Z/7)3e2πiB(a)/7\hat{G}(\mathbf{k}) = e^{-2\pi i \mathbf{k}^T M_3^{-1} \mathbf{k}/(4\cdot 7)} \cdot G_B, \quad G_B = \sum_{\mathbf{a} \in (\mathbb{Z}/7)^3} e^{2\pi i B(\mathbf{a})/7}

Standard Gauss sum GBG_B. The matrix M3=12(J3−I3)M_3 = \tfrac{1}{2}(J_3 - I_3) has det⁡M3=14(−2−0−0+0+0+0)⋅...\det M_3 = \tfrac{1}{4}(-2 - 0 - 0 + 0 + 0 + 0) \cdot ...; by the standard result: GB=G73G_B = G_7^3, where G7=∑m=06e2πim2/7=i7G_7 = \sum_{m=0}^{6} e^{2\pi i m^2/7} = i\sqrt{7} (Gauss sum over F7\mathbb{F}_7, 7≡3 mod 47 \equiv 3 \bmod 4). Therefore GB=(i7)3=i3⋅73/2=−i⋅73/2G_B = (i\sqrt{7})^3 = i^3 \cdot 7^{3/2} = -i \cdot 7^{3/2}.

Final functional equation for Θ+\Theta_+:

Θ+(1/t)=t3/2⋅G7373⋅Θ~+(t)\Theta_+(1/t) = t^{3/2} \cdot \frac{G_7^3}{7^3} \cdot \widetilde{\Theta}_+(t)

where Θ~+(t)=∑ke−πt∣k∣2/(49)e−2πikTM3−1k/(4⋅7)\widetilde{\Theta}_+(t) = \sum_{\mathbf{k}} e^{-\pi t |\mathbf{k}|^2/(49)} e^{-2\pi i \mathbf{k}^T M_3^{-1}\mathbf{k}/(4\cdot7)}. In particular, as t→0t \to 0: Θ~+(t)→1\widetilde{\Theta}_+(t) \to 1 (the zero term k=0\mathbf{k} = 0 dominates), whence: Θ+(t)→t→0t−3/2⋅G7373\Theta_+(t) \xrightarrow{t \to 0} t^{-3/2} \cdot \frac{G_7^3}{7^3}

For ΘM=Θ+7\Theta_M = \Theta_+^7:

ΘM(t)→t→0t−21/2⋅G721721\Theta_M(t) \xrightarrow{t \to 0} t^{-21/2} \cdot \frac{G_7^{21}}{7^{21}}

Notation reconciliation. In Step 0, G7=∑m=06e2πim2/7=i7G_7 = \sum_{m=0}^{6} e^{2\pi i m^2/7} = i\sqrt{7} is the one-dimensional Gauss sum over F7\mathbb{F}_7 (7≡3 mod 47 \equiv 3 \bmod 4, Ireland–Rosen). Explicit computations: G721=(i7)21=i21⋅721/2=i⋅721/2,G_7^{21} = (i\sqrt{7})^{21} = i^{21} \cdot 7^{21/2} = i \cdot 7^{21/2}, G721721=i⋅721/2721=i721/2\frac{G_7^{21}}{7^{21}} = \frac{i \cdot 7^{21/2}}{7^{21}} = \frac{i}{7^{21/2}}

In theorems T8.1–T8.3 the symbol G7G_7 denotes the full 21-dimensional Gauss sum G7(21)=def∑r∈(Z/7Z)21χ(r)G_7^{(21)} \stackrel{\rm def}{=} \sum_{\mathbf{r} \in (\mathbb{Z}/7\mathbb{Z})^{21}} \chi(\mathbf{r}). By multiplicativity of the character: G7(21)=G721=i⋅721/2G_7^{(21)} = G_7^{21} = i \cdot 7^{21/2}, i.e. ∣G7(21)∣=721/2|G_7^{(21)}| = 7^{21/2}. Therefore: G7(21)721=i⋅721/2721=i721/2\frac{G_7^{(21)}}{7^{21}} = \frac{i \cdot 7^{21/2}}{7^{21}} = \frac{i}{7^{21/2}}

Both computations give the same value: G721/721=G7(21)/721=i/721/2G_7^{21}/7^{21} = G_7^{(21)}/7^{21} = i/7^{21/2}. In the continuation of the proof of T8.2 the notation G7/721G_7/7^{21} refers to the 21-dimensional sum G7(21)G_7^{(21)}, whose numerical value is fixed. ■\blacksquare

Continuation of the proof of T8.2​

(a) ∫1∞ts−1[ΘM(t)−1]dt\int_1^\infty t^{s-1}[\Theta_M^{(t)}-1] dt converges for all ss (exponential decay ΘM(t)−1∼42e−πt\Theta_M^{(t)}-1 \sim 42e^{-\pi t}).

(b) ∫01ts−1[ΘM(t)−1]dt\int_0^1 t^{s-1}[\Theta_M^{(t)}-1] dt: from the proved functional equation (Step 0):

ΘM(t)−1=G7721t−21/2−1+R(t)\Theta_M^{(t)}-1 = \frac{G_7}{7^{21}} t^{-21/2} - 1 + R(t)

where R(t)=O(t−21/2e−c/t)R(t) = O(t^{-21/2} e^{-c/t}) is an exponentially small remainder as t→0t \to 0.

∫01ts−1[G7721t−21/2−1+R(t)]dt=G7721⋅1s−21/2−1s+(entire function)\int_0^1 t^{s-1}\left[\frac{G_7}{7^{21}} t^{-21/2} - 1 + R(t)\right] dt = \frac{G_7}{7^{21}} \cdot \frac{1}{s-21/2} - \frac{1}{s} + (\text{entire function})

(c) Pole at s=21/2s = 21/2 with residue G7/721G_7/7^{21}. Pole at s=0s = 0 from the subtraction: −1/s-1/s, but ΛΦ(s)=π−sΓ(s)ZΦ(s)\Lambda_\Phi(s) = \pi^{-s}\Gamma(s)Z_\Phi(s), and Γ(s)\Gamma(s) has a pole at s=0s=0, which cancels −1/s-1/s. ■\blacksquare

Theorem 8.3 (Functional equation)​

Theorem [T] — standard theory (Terras, 1988; Epstein, 1903)

The completed zeta function satisfies:

ΛΦ(s)=γ⋅721/2−2s⋅ΛΦ∗(21/2−s)\Lambda_\Phi(s) = \gamma \cdot 7^{21/2-2s} \cdot \Lambda_{\Phi^*}(21/2 - s)

where γ=G7/∣G7∣=eiα\gamma = G_7/|G_7| = e^{i\alpha} is the phase of the Gauss sum, Φ∗\Phi^* is the dual phase:

χ∗(m)=exp⁡(−2πi7⋅12mTM~−1m)\chi^*(\mathbf{m}) = \exp\left(-\frac{2\pi i}{7} \cdot \frac{1}{2}\mathbf{m}^T \tilde{M}^{-1} \mathbf{m}\right)

with M~−1=⨁lεl(J3/2−I3)\tilde{M}^{-1} = \bigoplus_l \varepsilon_l(J_3/2 - I_3).


Vanishing of the Zeta Function at Negative Integers​

Theorem 9.1 (Trivial zeros of ZΦZ_\Phi)​

Theorem [T]

ZΦ(s)Z_\Phi(s) has simple zeros at all integers s=−1,−2,−3,…s = -1, -2, -3, \ldots

Proof.

(a) ΛΦ(s)=π−sΓ(s)ZΦ(s)\Lambda_\Phi(s) = \pi^{-s}\Gamma(s)Z_\Phi(s).

(b) Γ(s)\Gamma(s) has simple poles at s=0,−1,−2,…s = 0, -1, -2, \ldots with residues (−1)k/k!(-1)^k/k! at s=−ks = -k.

(c) ΛΦ(s)\Lambda_\Phi(s) is meromorphic with a unique pole at s=21/2s = 21/2 (Theorem 8.2). In particular, ΛΦ(−k)\Lambda_\Phi(-k) is finite for all k=1,2,3,…k = 1, 2, 3, \ldots

(d) From ΛΦ(−k)=πkΓ(−k)ZΦ(−k)\Lambda_\Phi(-k) = \pi^{k} \Gamma(-k) Z_\Phi(-k), and Γ(−k)=∞\Gamma(-k) = \infty, ΛΦ(−k)<∞\Lambda_\Phi(-k) < \infty it follows:

ZΦ(−k)=0for k=1,2,3,…■Z_\Phi(-k) = 0 \quad \text{for } k = 1, 2, 3, \ldots \qquad \blacksquare

Physical Interpretation​

(a) The vacuum energy in zeta regularisation is expressed via ZΦ(s)Z_\Phi(s) at a specific negative value of ss. The specific value depends on the dimension:

  • For a scalar field in dd spatial dimensions: ρvac∝ZΦ(−d/2)\rho_{\text{vac}} \propto Z_\Phi(-d/2).
  • For the Gap theory in 4D with 21 compact directions: formal analogue: ρ∝ZΦ(−2)\rho \propto Z_\Phi(-2) (from integrating over 4-momentum).

(b) By Theorem 9.1: ZΦ(−2)=0Z_\Phi(-2) = 0.

(c) Interpretation: The Fano character χ(n)\chi(\mathbf{n}) ensures exact vanishing of the naively zeta-regularised vacuum energy from winding sectors.

Theorem 9.2 (Residual contribution via ZΦ′(−k)Z'_\Phi(-k))​

Hypothesis [H*]

The physical vacuum energy in zeta regularisation with divergence subtraction is proportional to ZΦ′(−2)Z'_\Phi(-2) (the derivative):

Λwindreg=−12μ−4ZΦ′(−2)\Lambda_{\mathrm{wind}}^{\mathrm{reg}} = -\frac{1}{2}\mu^{-4} Z'_\Phi(-2)

where μ\mu is the renormalisation scale.

Proof.

(a) Zeta-regularised vacuum energy:

Λreg=−12μ2sZΦ(s)∣s→−2\Lambda^{\mathrm{reg}} = -\frac{1}{2}\mu^{2s} Z_\Phi(s)\Big|_{s \to -2}

(b) Since ZΦ(−2)=0Z_\Phi(-2) = 0, Laurent expansion:

ZΦ(s)=(s+2)ZΦ′(−2)+O((s+2)2)Z_\Phi(s) = (s+2) Z'_\Phi(-2) + O((s+2)^2)

(c) μ2s=μ−4⋅e2(s+2)log⁡μ=μ−4[1+2(s+2)log⁡μ+…]\mu^{2s} = \mu^{-4} \cdot e^{2(s+2)\log\mu} = \mu^{-4}[1 + 2(s+2)\log\mu + \ldots].

(d) Λreg=−12μ−4[(s+2)ZΦ′(−2)+…][1+…]∣s=−2\Lambda^{\mathrm{reg}} = -\frac{1}{2}\mu^{-4}[(s+2)Z'_\Phi(-2) + \ldots][1 + \ldots] \Big|_{s=-2}.

Caveat

The limit Λreg=−12μ−4ZΦ′(−2)⋅lim⁡s→−2s+21\Lambda^{\mathrm{reg}} = -\frac{1}{2}\mu^{-4} Z'_\Phi(-2) \cdot \lim_{s \to -2}\frac{s+2}{1} requires more careful analysis: the product of the (s+2)(s+2)-zero from ZΦZ_\Phi and the (s+2)(s+2)-pole from Γ\Gamma requires separate computation of residues.

Remark: Strictly, when ZΦ(−2)=0Z_\Phi(-2) = 0 standard zeta regularisation gives Λreg=0\Lambda^{\mathrm{reg}} = 0. A non-zero residual appears only when renormalisation is taken into account (dependence on μ\mu), giving Λ∼ZΦ′(−2)log⁡(μ/MP)\Lambda \sim Z'_\Phi(-2) \log(\mu/M_P).

Theorem 9.3 (Estimate of ZΦ′(−2)Z'_\Phi(-2) from the functional equation)​

ZΦ′(−2)Z'_\Phi(-2) is expressed via an absolutely convergent series of the dual zeta function:

ZΦ′(−2)=2ΛΦ(−2)π2=2π2⋅γ⋅725/2⋅ΛΦ∗(25/2)Z'_\Phi(-2) = \frac{2\Lambda_\Phi(-2)}{\pi^2} = \frac{2}{\pi^2} \cdot \gamma \cdot 7^{25/2} \cdot \Lambda_{\Phi^*}(25/2)

where ΛΦ∗(25/2)=π−25/2Γ(25/2)ZΦ∗(25/2)\Lambda_{\Phi^*}(25/2) = \pi^{-25/2}\Gamma(25/2) Z_{\Phi^*}(25/2), and ZΦ∗(25/2)Z_{\Phi^*}(25/2) converges absolutely.

Proof.

(a) From ΛΦ(s)=π−sΓ(s)ZΦ(s)\Lambda_\Phi(s) = \pi^{-s}\Gamma(s)Z_\Phi(s) at s=−2s = -2:

ΛΦ(−2)=π2Γ(−2)ZΦ(−2)\Lambda_\Phi(-2) = \pi^2 \Gamma(-2) Z_\Phi(-2). Both factors are infinite/zero. More carefully:

Near s=−2s = -2: Γ(s)≈12(s+2)+O(1)\Gamma(s) \approx \frac{1}{2(s+2)} + O(1), ZΦ(s)≈ZΦ′(−2)(s+2)+O((s+2)2)Z_\Phi(s) \approx Z'_\Phi(-2)(s+2) + O((s+2)^2).

ΛΦ(−2)=π2⋅12⋅ZΦ′(−2)\Lambda_\Phi(-2) = \pi^2 \cdot \frac{1}{2} \cdot Z'_\Phi(-2)

(b) From the functional equation (Theorem 8.3):

ΛΦ(−2)=γ⋅721/2+4⋅ΛΦ∗(25/2)=γ⋅725/2⋅π−25/2Γ(25/2)ZΦ∗(25/2)\Lambda_\Phi(-2) = \gamma \cdot 7^{21/2+4} \cdot \Lambda_{\Phi^*}(25/2) = \gamma \cdot 7^{25/2} \cdot \pi^{-25/2}\Gamma(25/2) Z_{\Phi^*}(25/2)

(c) ZΦ∗(25/2)Z_{\Phi^*}(25/2) converges absolutely (25/2>21/225/2 > 21/2). Dominant contribution — ∣n∣2=1|\mathbf{n}|^2 = 1:

ZΦ∗(25/2)=42⋅eiΦ∗(e1)⋅1+O(2−25)≈42eiπ/14Z_{\Phi^*}(25/2) = 42 \cdot e^{i\Phi^*(e_1)} \cdot 1 + O(2^{-25}) \approx 42 e^{i\pi/14}

(from (J3/2−I3)11=−1/2(J_3/2-I_3)_{11} = -1/2, Φ∗(ej)=−(2π/7)(−1/2)/2=π/14\Phi^*(e_j) = -(2\pi/7)(-1/2)/2 = \pi/14).

(d) Combining:

ZΦ′(−2)=2π2γ⋅725/2⋅π−25/2Γ(25/2)⋅42eiπ/14Z'_\Phi(-2) = \frac{2}{\pi^2} \gamma \cdot 7^{25/2} \cdot \pi^{-25/2} \Gamma(25/2) \cdot 42 e^{i\pi/14}

■\blacksquare

Theorem 9.4 (Numerical estimate)​

Hypothesis [H*]

∣ZΦ′(−2)∣≈2.6×1010|Z'_\Phi(-2)| \approx 2.6 \times 10^{10}.

Proof. We compute the components:

(a) 725/2=712×7≈1.384×1010×2.646≈3.66×10107^{25/2} = 7^{12} \times \sqrt{7} \approx 1.384 \times 10^{10} \times 2.646 \approx 3.66 \times 10^{10}.

(b) π−25/2=(π12π)−1≈(9.259×105×1.772)−1≈6.10×10−7\pi^{-25/2} = (\pi^{12} \sqrt{\pi})^{-1} \approx (9.259 \times 10^{5} \times 1.772)^{-1} \approx 6.10 \times 10^{-7}.

(c) Γ(25/2)=Γ(n+1/2)\Gamma(25/2) = \Gamma(n + 1/2) at n=12n = 12:

Γ(25/2)=24!412⋅12!π=6.204×10231.678×107×4.790×108×1.772≈6.204×10238.036×1015×1.772≈1.368×105\Gamma(25/2) = \frac{24!}{4^{12} \cdot 12!}\sqrt{\pi} = \frac{6.204 \times 10^{23}}{1.678 \times 10^{7} \times 4.790 \times 10^{8}} \times 1.772 \approx \frac{6.204 \times 10^{23}}{8.036 \times 10^{15}} \times 1.772 \approx 1.368 \times 10^{5}

(d) ΛΦ∗(25/2)≈6.10×10−7×1.368×105×42≈3.51\Lambda_{\Phi^*}(25/2) \approx 6.10 \times 10^{-7} \times 1.368 \times 10^{5} \times 42 \approx 3.51.

(e) ΛΦ(−2)≈3.66×1010×3.51≈1.28×1011\Lambda_\Phi(-2) \approx 3.66 \times 10^{10} \times 3.51 \approx 1.28 \times 10^{11}.

(f) ZΦ′(−2)=2π2ΛΦ(−2)≈29.87×1.28×1011≈2.6×1010Z'_\Phi(-2) = \frac{2}{\pi^2} \Lambda_\Phi(-2) \approx \frac{2}{9.87} \times 1.28 \times 10^{11} \approx 2.6 \times 10^{10}. ■\blacksquare

Interpretation​

(a) Zeta-regularised vacuum energy from winding sectors: ZΦ(−2)=0Z_\Phi(-2) = 0 (exact).

(b) Residual contribution ZΦ′(−2)∼1010Z'_\Phi(-2) \sim 10^{10} — a dimensionless quantity. Physical vacuum energy:

Λwindreg∼ZΦ′(−2)log⁡(μ/MP)×MP4\Lambda_{\mathrm{wind}}^{\mathrm{reg}} \sim Z'_\Phi(-2) \log(\mu/M_P) \times M_P^4

At μ∼MP\mu \sim M_P: log⁡(μ/MP)→0\log(\mu/M_P) \to 0, and Λwind→0\Lambda_{\mathrm{wind}} \to 0.

At μ∼MEW\mu \sim M_{\mathrm{EW}}: log⁡(μ/MP)≈−37\log(\mu/M_P) \approx -37, and Λwind∼1010×37∼1011.6\Lambda_{\mathrm{wind}} \sim 10^{10} \times 37 \sim 10^{11.6}, i.e. Λwind∼1011.6MP4\Lambda_{\mathrm{wind}} \sim 10^{11.6} M_P^4.

(c) Problem: This result is not suppressed, but on the contrary — enormous (∼1012MP4\sim 10^{12} M_P^4). However, this is a preliminary estimate that does not account for:

  • Correct normalisation (factors of 1/(4π)21/(4\pi)^2, loop factors)
  • Cancellation between bosonic and fermionic modes
  • Contribution from the perturbative sector (n=0n=0)
Key result [H*]

The Fano character ensures ZΦ(−2)=0Z_\Phi(-2) = 0 — this is a structural vanishing, independent of the value of S0S_0. The physical contribution is determined by ZΦ′(−2)Z'_\Phi(-2), whose interpretation requires a complete QFT computation.

Status distinction
  • [T] — structural vanishing ZΦ(−k)=0Z_\Phi(-k) = 0 for all k≥1k \geq 1 is rigorously proved (consequence of meromorphicity of ΛΦ\Lambda_\Phi and poles of Γ\Gamma).
  • [H]* — physical interpretation via ZΦ′(−2)Z'_\Phi(-2) remains a hypothesis: the choice of the specific zeta function and the value of ss controlling the 4D vacuum energy requires complete QFT justification.

Part D: Synthesis and Updated Budget​

Revision of Λ\Lambda Suppression Mechanisms​

Status of suppression mechanisms​

MechanismStatusNote
6 perturbative (10−41.510^{-41.5})[T]
Gauss sum (10−8.910^{-8.9})[✗]Zero phase on k=1k=1; suppression <10−9< 10^{-9} at S0=20S_0=20
Modular hypothesis (10−1510^{-15})[✗]ΘM/Θ0≈1\Theta_M/\Theta_0 \approx 1 at S0=20S_0=20; hypothesis irrelevant
Uniqueness of B(b)B^{(b)}[T]S3S_3-stabiliser argument
Zeta vanishing ZΦ(−k)=0Z_\Phi(-k)=0[T]Consequence of meromorphicity
Physical interpretation of ZΦ′(−2)Z'_\Phi(-2)[H]*Requires complete QFT computation

Key Discovery: Two Regimes​

The investigation has revealed two qualitatively distinct regimes of winding suppression:

Naive regime [✗]

Direct summation: ΘM(S0)≈Θ0(S0)\Theta_M(S_0) \approx \Theta_0(S_0) for S0≫1S_0 \gg 1. Fano phases do not work — dominant sectors have zero phase. The Gauss sum mechanism is illusory at physical S0S_0.

Regularised regime [T]

Zeta function: ZΦ(−k)=0Z_\Phi(-k) = 0 exactly for all integers k≥1k \geq 1. The Fano character ensures structural vanishing of the zeta-regularised vacuum energy, independent of S0S_0.

The gap between the two regimes reflects the fundamental difference between naive summation and analytic continuation.

Nature of the Vanishing ZΦ(−k)=0Z_\Phi(-k) = 0​

(a) Vanishing at s=−ks = -k (k≥1k \geq 1) — trivial zeros, analogous to the trivial zeros of the Riemann zeta function ζ(−2n)=0\zeta(-2n) = 0. They are a consequence of the poles of Γ(s)\Gamma(s) and the finiteness of ΛΦ(s)\Lambda_\Phi(s).

(b) For the ordinary Riemann zeta: ζ(−2n)=0\zeta(-2n) = 0 does not solve the Λ\Lambda problem (this is a property of the regularisation, not of the physics). Analogously, ZΦ(−2)=0Z_\Phi(-2) = 0 may be an artefact of the zeta scheme.

(c) However, there is an essential difference: for the ordinary Epstein zeta without character (χ=1\chi = 1) the function Z1(s)Z_1(s) has a pole at s=21/2s = 21/2, and Λ1(s)\Lambda_1(s) has poles at s=0s = 0 and s=21/2s = 21/2. Vanishing at s=−ks = -k still occurs, but the residual Z1′(−2)Z'_1(-2) has no special structure.

(d) With Fano character (χ≠1\chi \neq 1): the meromorphic structure of ΛΦ\Lambda_\Phi differs from Λ1\Lambda_1 in the presence of the phase γ=eiα\gamma = e^{i\alpha} in the functional equation. This may lead to additional cancellations in ZΦ′(−2)Z'_\Phi(-2) when summing over sectors.

(e) Open question: Is ZΦ′(−2)∼1010Z'_\Phi(-2) \sim 10^{10} physically significant, or does the correct interpretation require joint accounting of bosonic and fermionic modes, supersymmetry, and the perturbative contribution?


Updated Λ\Lambda Budget Table​

MechanismSuppressionStatus
Perturbative (6 mechanisms)10−41.510^{-41.5}[T]
Gauss sum (winding interference)—[✗] — does not work at S0=20S_0=20
Modular hypothesis—[✗] — irrelevant at S0=20S_0=20
Uniqueness of B(b)B^{(b)}(not a mechanism, but a justification)[T]
Instanton (e−150e^{-150})10−65.510^{-65.5} — additive[T]
Zeta vanishing ZΦ(−2)=0Z_\Phi(-2) = 0∞\infty (formally)[T], but physical meaning [H*]
Rigorous total10−41.510^{-41.5}[T]
Deficit79 orders

Strategic Reassessment​

The results of this investigation require a revision of the strategy for closing the deficit:

(a) Direct suppression via winding phases — a dead end. At S0∼20S_0 \sim 20 the dominant sectors have zero phase. The Gauss sum mechanism (9 orders) and the modular hypothesis (15 orders) were based on analysis inapplicable at physical S0S_0.

(b) Zeta regularisation — promising, but requires justification. The structural vanishing ZΦ(−k)=0Z_\Phi(-k) = 0 is a rigorous mathematical result, but its physical interpretation is ambiguous. What is needed:

  1. Determine which specific zeta function (which value of ss) controls the 4D vacuum energy.
  2. Compute the complete (bosons + fermions) winding contribution in the zeta formalism.
  3. Account for supersymmetric cancellations (if N=1\mathcal{N}=1 SUSY is softly broken).

(c) Alternative mechanisms. The 79-order deficit may indicate:

  1. Incompleteness of the perturbative analysis: additional perturbative suppression mechanisms may exist.
  2. Dynamical vacuum: S0S_0 is not a fixed parameter but a dynamical field (modulus/radion) whose potential is minimised taking into account Casimir energy.
  3. Holographic suppression: the connection to the Bures topology of the ∞\infty-topos may give non-perturbative suppression not captured by the single-particle formalism.
  4. Anthropic selection over the landscape: 7217^{21} vacua (by the number of elements of (Z/7Z)21(\mathbb{Z}/7\mathbb{Z})^{21}) provide a landscape for scanning.

Resolved and Unresolved Problems​

Resolved​

ProblemSolutionStatus
M-1 (uniqueness of B(b)B^{(b)})S3S_3-stabiliser argument[T]
Suppression at physical S0S_0ΘM/Θ0≈1\Theta_M/\Theta_0 \approx 1 at S0=20S_0=20[T]
Factorisation ΘM=Θ+7\Theta_M = \Theta_+^7All εl=+1\varepsilon_l = +1[T]
Zeta vanishing ZΦ(−k)Z_\Phi(-k)Meromorphicity of ΛΦ\Lambda_\Phi + poles of Γ\Gamma[T]

Unresolved​

ProblemEssencePriority
Physical interpretation of ZΦ′(−2)Z'_\Phi(-2)Which zeta function to use; how to account for renormalisationHighest
Complete QFT computationBosons + fermions + SUSY in winding sectorsHighest
79-order deficitRigorous budget unchangedHighest
Dynamical S0S_0Potential of the radion/modulusHigh
M-3 (Berry phase)Derivation of topological term from G2G_2-holonomyHigh
Landscape of 7217^{21} vacuaStatistics of Λ\Lambda scanningMedium

Falsifiable Predictions (unchanged)​

Predictions are independent of the Λ\Lambda suppression mechanism:

  1. N=7N = 7 (number of dimensions)
  2. 3 generations of fermions
  3. θQCD=0\theta_{\mathrm{QCD}} = 0 — withdrawn 2026-09-26 (T-99 corrected): not derived, θˉ\bar\theta is a free parameter, strong CP open [Pr] (Confinement §3.1c)
  4. ∣Vus∣,∣Vcb∣,∣Vub∣|V_{us}|, |V_{cb}|, |V_{ub}| — from Fano geometry
  5. QCD axion: fa∼2×1015f_a \sim 2 \times 10^{15} GeV, ma∼3m_a \sim 3 neV
  6. O-relic (Wimpzilla): m∼1013m \sim 10^{13} GeV, σDD∼10−60\sigma_{\mathrm{DD}} \sim 10^{-60} cm2^2

Conclusion​

The document brings one piece of good news and one piece of bad news:

Good news [T]

The uniqueness of the cyclic bilinear form B(b)B^{(b)} is rigorously proved via the S3S_3-symmetry of the Fano-line stabiliser, closing gap M-1. Furthermore, the Fano character ensures structural vanishing of the zeta-regularised vacuum energy: ZΦ(−k)=0Z_\Phi(-k) = 0 for all k≥1k \geq 1.

Bad news [✗]

The exact computation of the theta function ΘM\Theta_M at S0=20S_0 = 20 shows that destructive interference of winding sectors is negligible (<10−9< 10^{-9}). The Gauss sum mechanism (9 orders) and the modular hypothesis (15 orders) are refuted as Λ\Lambda suppression mechanisms at physical S0S_0.

Key shift: The Λ\Lambda problem in Gap theory transitions from the paradigm of "winding interference" to the paradigm of "zeta regularisation with Fano character". The mathematical fact ZΦ(−2)=0Z_\Phi(-2) = 0 is promising, but its physical interpretation is an open problem.

Budget: 41.5 [T] out of 120, deficit 79 orders — unchanged.


Cross-References​


Related documents: