An intrinsic local spectral obstruction for SRG(320, 99, 18, 36)

The existence of a strongly regular graph with parameters (320, 99, 18, 36) isrecorded as undecided in Brouwer's parameter table. For a putative realization Yand a vertex y, write L = Y[N(y)]. Terwilliger's local eigenvalue theorem,together with the local variance identity, gives m_3(A_L) in {55, 56, 57, 58}. We sharpen this intrinsically, using only the parameters of Y, tom_3(A_L) in {55, 56, 57}. The new input is an exact projection of the (-21)-eigenspace. For every edge uv,if R = Y[N(u) ∩ N(v)], then 39I - 13A_R - J is positive semidefinite. Togetherwith an elementary K_5-free moment criterion, this forces |E(R)| <= 13, hencetau(L) <= 429. If m_3(A_L) = 58, the remaining forty local eigenvalues insteadforce tau(L) >= 449, a contradiction. Under the additional hypothesis that every triangle of Y lies in a unique K_4,the same local spectral analysis further gives m_3(A_L) in {55, 56}; these twocases correspond exactly to 99 equiangular lines of common angle 1/7 in R^44 andR^43 respectively. The K_5 criterion is an elementary reformulation, and the local multiplicitybound is Terwilliger's theorem in strongly regular graph notation. Theedge-residue bound, the resulting triangle cap, and the exclusion of m_3 = 58 arethe new results. No computer-assisted premise is used.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-14
DOI
https://doi.org/10.5281/zenodo.22739501
Primary Topic
Graph theory and applications
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
preprint

An intrinsic local spectral obstruction for SRG(320, 99, 18, 36)

Nicholas Coleman
Zenodo (CERN European Organization for Nuclear Research)
Graph theory and applications
preprint

An intrinsic local spectral obstruction for SRG(320, 99, 18, 36)

Nicholas Coleman
preprint en

Abstract

The existence of a strongly regular graph with parameters (320, 99, 18, 36) isrecorded as undecided in Brouwer's parameter table. For a putative realization Yand a vertex y, write L = Y[N(y)]. Terwilliger's local eigenvalue theorem,together with the local variance identity, gives m_3(A_L) in {55, 56, 57, 58}. We sharpen this intrinsically, using only the parameters of Y, tom_3(A_L) in {55, 56, 57}. The new input is an exact projection of the (-21)-eigenspace. For every edge uv,if R = Y[N(u) ∩ N(v)], then 39I - 13A_R - J is positive semidefinite. Togetherwith an elementary K_5-free moment criterion, this forces |E(R)| <= 13, hencetau(L) <= 429. If m_3(A_L) = 58, the remaining forty local eigenvalues insteadforce tau(L) >= 449, a contradiction. Under the additional hypothesis that every triangle of Y lies in a unique K_4,the same local spectral analysis further gives m_3(A_L) in {55, 56}; these twocases correspond exactly to 99 equiangular lines of common angle 1/7 in R^44 andR^43 respectively. The K_5 criterion is an elementary reformulation, and the local multiplicitybound is Terwilliger's theorem in strongly regular graph notation. Theedge-residue bound, the resulting triangle cap, and the exclusion of m_3 = 58 arethe new results. No computer-assisted premise is used.

Zenodo (CERN European Organization for Nuclear Research)
Graph theory and applications
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

An intrinsic local spectral obstruction for SRG(320, 99, 18, 36) — Nicholas Coleman · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS