Local restrictions and rank-one completions for strongly regular graphs with parameters (320, 99, 18, 36)

Let Y be a strongly regular graph with parameters (320, 99, 18, 36), whose existence is undecided in Brouwer's table. For a vertex y, write L = Y[N(y)] and m = dim ker(A_L − 3I). We show that the common-neighbor graph of any edge has at most thirteen edges, hence L has at most 429 triangles and m ∈ {55, 56, 57}; the exclusion of m = 58 sharpens the standard Terwilliger local multiplicity bound. Under the hypothesis that every triangle lies in a unique K_4, m ∈ {55, 56}, corresponding to 99 equiangular lines at angle 1/7 in R^44 and R^43. We then describe all rank-one completions of a supplied neighborhood-and-attachment pair (B, C). For m = 56, completion reduces to an exact sign-consistency test, unique up to relabelling identical attachment columns, and a primitive attachment-symmetry action precludes completion. Equal-magnitude rank-one corrections have support at least 70; the exclusion of support 68 is a finite exact computation with accompanying code and certificates. No ambient graph is constructed or ruled out. The edge-residue certificate, the exclusion of m = 58, binary rank-one uniqueness, and the support-68 exclusion are the new results.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-17
DOI
https://doi.org/10.5281/zenodo.22803999
Primary Topic
Finite Group Theory Research
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
preprint

Local restrictions and rank-one completions for strongly regular graphs with parameters (320, 99, 18, 36)

Nicholas Coleman
Zenodo (CERN European Organization for Nuclear Research)
Finite Group Theory Research
preprint

Local restrictions and rank-one completions for strongly regular graphs with parameters (320, 99, 18, 36)

Nicholas Coleman
preprint en

Abstract

Let Y be a strongly regular graph with parameters (320, 99, 18, 36), whose existence is undecided in Brouwer's table. For a vertex y, write L = Y[N(y)] and m = dim ker(A_L − 3I). We show that the common-neighbor graph of any edge has at most thirteen edges, hence L has at most 429 triangles and m ∈ {55, 56, 57}; the exclusion of m = 58 sharpens the standard Terwilliger local multiplicity bound. Under the hypothesis that every triangle lies in a unique K_4, m ∈ {55, 56}, corresponding to 99 equiangular lines at angle 1/7 in R^44 and R^43. We then describe all rank-one completions of a supplied neighborhood-and-attachment pair (B, C). For m = 56, completion reduces to an exact sign-consistency test, unique up to relabelling identical attachment columns, and a primitive attachment-symmetry action precludes completion. Equal-magnitude rank-one corrections have support at least 70; the exclusion of support 68 is a finite exact computation with accompanying code and certificates. No ambient graph is constructed or ruled out. The edge-residue certificate, the exclusion of m = 58, binary rank-one uniqueness, and the support-68 exclusion are the new results.

Zenodo (CERN European Organization for Nuclear Research)
Reduced inequalities
Finite Group Theory Research
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.

Local restrictions and rank-one completions for strongly regular graphs with parameters (320, 99, 18, 36) — Nicholas Coleman · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS