Nonexistence of strongly regular graphs via multipoint spherical semidefinite bounds
We use multipoint semidefinite programming to prove the nonexistence of strongly regular graphs. A normalized eigenspace projection of a primitive strongly regular graph gives a spherical two-distance set with one point for each vertex. A bound smaller than the required number of points therefore rules out the graph. Following the formulations of de Laat et al. and Kao and Yu, we use, for each reference type, coefficient matrices indexed by the feasible inner-product labels of the selected points. In degree zero, we combine the matrix coordinates indexed by the reference points into a single…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.37901
curl -X POST /api/v1/records/arxiv/2609.37901/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.37901/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'