Using symbolic computation to prove nonexistence of distance-regular graphs
The electronic journal of combinatorics, Tome 25 (2018) no. 4
A package for the Sage computer algebra system is developed for checking feasibility of a given intersection array for a distance-regular graph. We use this tool to show that there is no distance-regular graph with intersection array$$\{(2r+1)(4r+1)(4t-1), 8r(4rt-r+2t), (r+t)(4r+1); 1, (r+t)(4r+1), 4r(2r+1)(4t-1)\} (r, t \geq 1),$$$\{135,\! 128,\! 16; 1,\! 16,\! 120\}$, $\{234,\! 165,\! 12; 1,\! 30,\! 198\}$ or $\{55,\! 54,\! 50,\! 35,\! 10; 1,\! 5,\! 20,\! 45,\! 55\}$. In all cases, the proofs rely on equality in the Krein condition, from which triple intersection numbers are determined. Further combinatorial arguments are then used to derive nonexistence.
DOI :
10.37236/7763
Classification :
05E30
Mots-clés : distance-regular graphs, Krein parameters, triple intersection numbers, nonexistence, symbolic computation
Mots-clés : distance-regular graphs, Krein parameters, triple intersection numbers, nonexistence, symbolic computation
Affiliations des auteurs :
Janoš Vidali  1
@article{10_37236_7763,
author = {Jano\v{s} Vidali},
title = {Using symbolic computation to prove nonexistence of distance-regular graphs},
journal = {The electronic journal of combinatorics},
year = {2018},
volume = {25},
number = {4},
doi = {10.37236/7763},
zbl = {1401.05320},
url = {http://geodesic.mathdoc.fr/articles/10.37236/7763/}
}
Janoš Vidali. Using symbolic computation to prove nonexistence of distance-regular graphs. The electronic journal of combinatorics, Tome 25 (2018) no. 4. doi: 10.37236/7763
Cité par Sources :