Zhen-Qi Liao

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. F...