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)=nZ21exp(S0n2+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)=nZ3exp(S0n2+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)eaeb=εlece_a \cdot e_b = \varepsilon_l e_cεl\varepsilon_l
1(1,2,4)(1,2,4)e1e2=+e4e_1 \cdot e_2 = +e_4+1+1
2(2,3,5)(2,3,5)e2e3=+e5e_2 \cdot e_3 = +e_5+1+1
3(3,4,6)(3,4,6)e3e4=+e6e_3 \cdot e_4 = +e_6+1+1
4(4,5,7)(4,5,7)e4e5=+e7e_4 \cdot e_5 = +e_7+1+1
5(5,6,1)(5,6,1)e5e6=+e1e_5 \cdot e_6 = +e_1+1+1
6(6,7,2)(6,7,2)e6e7=+e2e_6 \cdot e_7 = +e_2+1+1
7(7,1,3)(7,1,3)e7e1=+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. εl1\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(J3I3)\Omega = \frac{iS_0}{\pi} I_3 + \frac{1}{7}(J_3 - I_3)

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

Θ(Ω)=nZ3exp(πinTΩ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_+:

S0n2+2πi712nT(J3I3)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=πinT(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(J3I3)n\frac{\pi i}{7} \mathbf{n}^T(J_3-I_3)\mathbf{n}, since B(b)(n)=12nT(J3I3)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: πinT[iS0πI3+17(J3I3)]n=πinTΩ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. J3I3J_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(J3I3)\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+σ1e20+σ2e40+σ3e60+O(e80)\Theta_+(20) = 1 + \sigma_1 \cdot e^{-20} + \sigma_2 \cdot e^{-40} + \sigma_3 \cdot e^{-60} + O(e^{-80})

where σk=n2=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 n2=1|\mathbf{n}|^2 = 1)

Theorem [T]

σ1=6\sigma_1 = 6.

Proof. n2=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 n2=2|\mathbf{n}|^2 = 2)

Theorem [T]

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

Proof. n2=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+2e2π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. σ27.482\sigma_2 \approx 7.482. \blacksquare

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

Theorem [T]

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

Proof. n2=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
(+,+,)(+,+,-)111=11-1-1 = -1
(+,,+)(+,-,+)11+1=1-1-1+1 = -1
(,+,+)(-,+,+)1+11=1-1+1-1 = -1
(+,,)(+,-,-)1+11=1-1+1-1 = -1
(,+,)(-,+,-)11+1=1-1-1+1 = -1
(,,+)(-,-,+)111=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.86784.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.3774.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/80.536|\sigma_3|/8 \approx 0.536 (~46%). \blacksquare

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

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

Numerically:

Shell kkekS0e^{-kS_0}σk\lvert\sigma_k\rvertContribution σkekS0\lvert\sigma_k\rvert e^{-kS_0}
0111
12.06×1092.06 \times 10^{-9}61.24×1081.24 \times 10^{-8}
24.25×10184.25 \times 10^{-18}7.483.18×10173.18 \times 10^{-17}
38.76×10278.76 \times 10^{-27}4.293.76×10263.76 \times 10^{-26}
Θ+(20)=1+1.24×108+O(1017)\Theta_+(20) = 1 + 1.24 \times 10^{-8} + O(10^{-17})

Without phases: Θ+no phase(20)=1+2e20+1+4.12×109\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×109\frac{|\Theta_M(S_0)|}{\Theta_0(S_0)} = 1 - \delta, \quad |\delta| < 2 \times 10^{-9}

where Θ0(S0)=[mZeS0m2]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,eS0)]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=e20q = e^{-20}:

θ3(0,e20)=1+2e20+O(e80)1+4.12×109\theta_3(0, e^{-20}) = 1 + 2e^{-20} + O(e^{-80}) \approx 1 + 4.12 \times 10^{-9} Θ0(1+4.12×109)211+8.65×108\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×108\Theta_+(20) \approx 1 + 1.24 \times 10^{-8}.

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

(c) Ratio:

ΘMΘ01+8.68×1081+8.65×1081+3×1010\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×1010\delta \approx -3 \times 10^{-10} (negative — actually an enhancement, but at the 101010^{-10} level). \blacksquare

Theorem 4.2 (Reason for the absence of suppression)

Fano-phase suppression at S01S_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 eS02×109e^{-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 S00S_0 \to 0, but physically unrealisable at S0=20S_0 = 20:

  • Gauss sum: G7/721=721/2108.9|G_7|/7^{21} = 7^{-21/2} \approx 10^{-8.9} (at S0=0S_0 = 0)
  • Actual suppression: δ<109|\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 S020S_0 \sim 20.

Refuted [✗]

Modular hypothesis (15 orders of suppression) — also refuted. ΘM/Θ01\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 q2q \geq 2.)

(d) Consequently, S3Stab(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:

nacnbcnbcnabnabnac=(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=cB(b)Q = c \cdot B^{(b)}

The non-zero form (c0c \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)=g2V7\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)=nZ21{0}χ(n)n2sZ_\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)=0ts1[Θ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πtn2\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:

0ts1eπn2tdt=(πn2)sΓ(s)\int_0^\infty t^{s-1} e^{-\pi |\mathbf{n}|^2 t} dt = (\pi|\mathbf{n}|^2)^{-s} \Gamma(s)

Summing over n0\mathbf{n} \neq 0 with weights χ(n)\chi(\mathbf{n}): 0ts1[Θ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 t0+t \to 0^+:

ΘM(t)=G7721t21/2+O(t21/2ec/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πtn2=t21/2mχ^(m)eπm2/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)=1721r(Z/7Z)21χ(r)e2πirm/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 t0t \to 0: eπm2/t0e^{-\pi|\mathbf{m}|^2/t} \to 0 for m0\mathbf{m} \neq 0. What remains: ΘM(t)t21/2G7/721=t21/2721/2eiα\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)=nZ3exp ⁣(πtn2+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, mZ3\mathbf{m} \in \mathbb{Z}^3:

Θ+(t)=a(Z/7)3e2πiB(a)/7mZ3eπt7m+a2\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}):

mZ3eπt7m+a2=1(7)3t3/2kZ3eπk2/(72t)e2πika/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/2kZ3eπk2/(49t)a(Z/7)3e2πi(B(a)+ka)/7G^(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)+ka])\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 aa=a+a0\mathbf{a} \mapsto \mathbf{a}' = \mathbf{a} + \mathbf{a}_0 (shift to the centre at a0=12M31kmod7\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)=e2πikTM31k/(47)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(J3I3)M_3 = \tfrac{1}{2}(J_3 - I_3) has detM3=14(200+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, 73mod47 \equiv 3 \bmod 4). Therefore GB=(i7)3=i373/2=i73/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/2G7373Θ~+(t)\Theta_+(1/t) = t^{3/2} \cdot \frac{G_7^3}{7^3} \cdot \widetilde{\Theta}_+(t)

where Θ~+(t)=keπtk2/(49)e2πikTM31k/(47)\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 t0t \to 0: Θ~+(t)1\widetilde{\Theta}_+(t) \to 1 (the zero term k=0\mathbf{k} = 0 dominates), whence: Θ+(t)t0t3/2G7373\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)t0t21/2G721721\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 (73mod47 \equiv 3 \bmod 4, Ireland–Rosen). Explicit computations: G721=(i7)21=i21721/2=i721/2,G_7^{21} = (i\sqrt{7})^{21} = i^{21} \cdot 7^{21/2} = i \cdot 7^{21/2}, G721721=i721/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)=defr(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=i721/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=i721/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) 1ts1[ΘM(t)1]dt\int_1^\infty t^{s-1}[\Theta_M^{(t)}-1] dt converges for all ss (exponential decay ΘM(t)142eπt\Theta_M^{(t)}-1 \sim 42e^{-\pi t}).

(b) 01ts1[Θ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=G7721t21/21+R(t)\Theta_M^{(t)}-1 = \frac{G_7}{7^{21}} t^{-21/2} - 1 + R(t)

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

01ts1[G7721t21/21+R(t)]dt=G77211s21/21s+(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/22sΛΦ(21/2s)\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πi712mTM~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/2I3)\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: ρvacZΦ(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)s2\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=μ4e2(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)lims2s+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)=π212ZΦ(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 — n2=1|\mathbf{n}|^2 = 1:

ZΦ(25/2)=42eiΦ(e1)1+O(225)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/2I3)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×71.384×1010×2.6463.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)16.10×107\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!41212!π=6.204×10231.678×107×4.790×108×1.7726.204×10238.036×1015×1.7721.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×107×1.368×105×423.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.511.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×10112.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:

ΛwindregZΦ(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 Λwind0\Lambda_{\mathrm{wind}} \to 0.

At μMEW\mu \sim M_{\mathrm{EW}}: log(μ/MP)37\log(\mu/M_P) \approx -37, and Λwind1010×371011.6\Lambda_{\mathrm{wind}} \sim 10^{10} \times 37 \sim 10^{11.6}, i.e. Λwind1011.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 k1k \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 (1041.510^{-41.5})[T]
Gauss sum (108.910^{-8.9})[✗]Zero phase on k=1k=1; suppression <109< 10^{-9} at S0=20S_0=20
Modular hypothesis (101510^{-15})[✗]ΘM/Θ01\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 S01S_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 k1k \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 (k1k \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)1041.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 (e150e^{-150})1065.510^{-65.5} — additive[T]
Zeta vanishing ZΦ(2)=0Z_\Phi(-2) = 0\infty (formally)[T], but physical meaning [H*]
Rigorous total1041.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 S020S_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/Θ01\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
  4. Vus,Vcb,Vub|V_{us}|, |V_{cb}|, |V_{ub}| — from Fano geometry
  5. QCD axion: fa2×1015f_a \sim 2 \times 10^{15} GeV, ma3m_a \sim 3 neV
  6. O-relic (Wimpzilla): m1013m \sim 10^{13} GeV, σDD1060\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 k1k \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 (<109< 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: