77 research outputs found
Regular two-graphs and extensions of partial geometries
Geometry;meetkunde
Implementing Brouwer's database of strongly regular graphs
Andries Brouwer maintains a public database of existence results for strongly
regular graphs on vertices. We implemented most of the infinite
families of graphs listed there in the open-source software Sagemath, as well
as provided constructions of the "sporadic" cases, to obtain a graph for each
set of parameters with known examples. Besides providing a convenient way to
verify these existence results from the actual graphs, it also extends the
database to higher values of .Comment: 18 pages, LaTe
Switching for Small Strongly Regular Graphs
We provide an abundance of strongly regular graphs (SRGs) for certain
parameters with . For this we use Godsil-McKay
(GM) switching with a partition of type and Wang-Qiu-Hu (WQH) switching
with a partition of type . In most cases, we start with a highly
symmetric graph which belongs to a finite geometry. To our knowledge, most of
the obtained graphs are new.
For all graphs, we provide statistics about the size of the automorphism
group. We also find the recently discovered Kr\v{c}adinac partial geometry,
therefore finding a third method of constructing it.Comment: 15 page
Disconnecting strongly regular graphs
In this paper, we show that the minimum number of vertices whose removal
disconnects a connected strongly regular graph into non-singleton components,
equals the size of the neighborhood of an edge for many graphs. These include
blocks graphs of Steiner -designs, many Latin square graphs and strongly
regular graphs whose intersection parameters are at most a quarter of their
valency
On a conjecture of Brouwer involving the connectivity of strongly regular graphs
In this paper, we study a conjecture of Andries E. Brouwer from 1996
regarding the minimum number of vertices of a strongly regular graph whose
removal disconnects the graph into non-singleton components.
We show that strongly regular graphs constructed from copolar spaces and from
the more general spaces called -spaces are counterexamples to Brouwer's
Conjecture. Using J.I. Hall's characterization of finite reduced copolar
spaces, we find that the triangular graphs , the symplectic graphs
over the field (for any prime power), and the
strongly regular graphs constructed from the hyperbolic quadrics
and from the elliptic quadrics over the field ,
respectively, are counterexamples to Brouwer's Conjecture. For each of these
graphs, we determine precisely the minimum number of vertices whose removal
disconnects the graph into non-singleton components. While we are not aware of
an analogue of Hall's characterization theorem for -spaces, we show
that complements of the point graphs of certain finite generalized quadrangles
are point graphs of -spaces and thus, yield other counterexamples to
Brouwer's Conjecture.
We prove that Brouwer's Conjecture is true for many families of strongly
regular graphs including the conference graphs, the generalized quadrangles
graphs, the lattice graphs, the Latin square graphs, the strongly
regular graphs with smallest eigenvalue -2 (except the triangular graphs) and
the primitive strongly regular graphs with at most 30 vertices except for few
cases.
We leave as an open problem determining the best general lower bound for the
minimum size of a disconnecting set of vertices of a strongly regular graph,
whose removal disconnects the graph into non-singleton components.Comment: 25 pages, 1 table; accepted to JCTA; revised version contains a new
section on copolar and Delta space
- …