Computational supplement: Hecke operator T_1103 on S_2^{new}(186229) for T^3 vacuum elasticity
收藏资源简介:
Computational supplement for T3 vacuum elasticity model M = T3 \ N(T(2,3)), N_length = 931145 = 5*186229, M0 = 75.7 MeV. Lepton masses m = M0 |a_p| / (2 sqrt2), p=1103, 2 sqrt(p)=66.423 => m_tau=1777.7 MeV at Deligne bound. Dimension: N=186229 prime, index N+1=186230, nu2=2, nu3=2, genus g=1+mu/12-nu2/4-nu3/3-nu_inf/2=15518, dim S2 new =15518. Test N=10007 gives g=834, runs on Colab in 3-5 min. Trace: a_{p^2}=a_p^2-p, sum a_p^2 = Tr(T_{p^2})+Dp, average = Tr/D+p ~p, so unconditionally max|a_p| >= sqrt(p) => m_tau>=888 MeV for p=1103, m_mu>=88.8 MeV for p=11. Claim >=1.8 sqrt(p) needs Tr/D>=2.24p, must be checked via PARI mftrace. Sato-Tate x=a_p/2sqrt(p), density (2/pi)sqrt(1-x^2), P(|x|>0.90)=3.7% ~574 forms, P(|x|>0.95)=1.33% ~206 forms of 15518. Extreme eigenvalues: T_1103 is 15518x15518 sparse D*(p+1)~17.1M nonzeros, dense D^2~2.4e8 entries >50GB, only largest near Deligne bound needed. Method: Sage ModularSymbols + ARPACK LinearOperator with scipy.sparse.linalg.eigs (Arnoldi, not eigsh), cache T_sparse outside matvec. Files: dim_check.gp, trace_bound.gp, eigs_lanczos.sage, test_N10007.sage, mfnew_search.gp, max_a_1103.txt. This dataset isSupplementTo main paper Geometric Origin of Charged Lepton Masses from M=T3\N(T(2,3)).



