arXiv++ Combinatorics

In 1995, Brouwer proved that the toughness of a connected $k$-regular graph $G$ is at least $k/λ-2$, where $λ$ is the maximum absolute value of the non-trivial eigenvalues of $G$. Brouwer conjectured that one can improve this lower bound to $k/λ-1$ and that many graphs (especially graphs attaining equality in the Hoffman ratio bound for the independence number) have toughness equal to $k/λ$. In this paper, we improve Brouwer's spectral bound when the toughness is small and we determine the exact value of the toughness for many strongly regular graphs attaining equality in the Hoffman ratio bound such as Lattice graphs, Triangular graphs, complements of Triangular graphs and complements of point-graphs of generalized quadrangles. For all these graphs with the exception of the Petersen graph, we confirm Brouwer's intuition by showing that the toughness equals $k/(-λ_{min})$, where $λ_{min}$ is the smallest eigenvalue of the adjacency matrix of the graph.

The graph partition problem is the problem of partitioning the vertex set of a graph into a fixed number of sets of given sizes such that the sum of weights of edges joining different sets is optimized. In this paper we simplify a known matrix-lifting semidefinite programming relaxation of the graph partition problem for several classes of graphs and also show how to aggregate additional triangle and independent set constraints for graphs with symmetry. We present an eigenvalue bound for the graph partition problem of a strongly regular graph, extending a similar result for the equipartition problem. We also derive a linear programming bound of the graph partition problem for certain Johnson and Kneser graphs. Using what we call the Laplacian algebra of a graph, we derive an eigenvalue bound for the graph partition problem that is the first known closed form bound that is applicable to any graph, thereby extending a well-known result in spectral graph theory. Finally, we strengthen a known semidefinite programming relaxation of a specific quadratic assignment problem and the above-mentioned matrix-lifting semidefinite programming relaxation by adding two constraints that correspond to assigning two vertices of the graph to different parts of the partition. This strengthening performs well on highly symmetric graphs when other relaxations provide weak or trivial bounds.

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 $2$-designs, many Latin square graphs and strongly regular graphs whose intersection parameters are at most a quarter of their valency.

The concept of directed strongly regular graphs was introduced by Duval in his paper, A Directed Graph Version of Strongly Regular Graphs. Duval also provided several construction methods for directed strongly regular graphs. The directed strongly regular graphs reported in this paper are obtained using a block construction of adjacency matrices of regular tournaments and circulant matrices. We then give some algebraic and combinatorial interpretation of these graphs in connection with known directed strongly regular graphs and related combinatorial structures.

In this note we obtain an explicit formula for the Hosoya polynomial of any distance-regular graph in terms of its intersection array. As a consequence, we obtain a very simple formula for the Hosoya polynomial of any strongly regular graph.

Assume that $ν$ is a positive integer and $δ=0, 1$ or $2$. In this paper we introduce the orthogonal graph $Γ^{2ν+δ}$ over a Galois ring of odd characteristic and prove that it is arc transitive. Moreover, we compute its parameters as a quasi-strongly regular graph. In particular, we show that $Γ^{2+δ}$ is a strongly regular graph and $Γ^{2ν+1}$ is a strictly Deza graph when $ν\geq 2$.

The existence of a partial quadrangle ${\mathsf{PQ}}(s, t, μ)$ is equivalent to the existence of a diamond-free strongly regular graph ${\mathsf{SRG}}(1+s(t+1)+s^2t(t+1)/μ, s(t+1), s-1, μ)$. Recently, it is shown that there exists a ${\mathsf{PQ}}(2, (n^3+3n^2-2)/2, n^2+n)$ if and only if $n\in\{1, 2, 4\}$. Let $\mathcal{S}$ be a ${\mathsf{PQ}}(3,(n+3)(n^2-1)/3, n^2+n)$ such that for every two non-collinear points $p_1$ and $p_2$, there is a point $q$ non-collinear with $p_1$, $p_2$, and all points collinear with both $p_1$ and $p_2$. In this article, we establish that $\mathcal{S}$ exists only for $n\in\{-2, 2, 3\}$ and probably $n=10$.

We consider continuous-time quantum walks on distance-regular graphs of small diameter. Using results about the existence of complex Hadamard matrices in association schemes, we determine which of these graphs have quantum walks that admit uniform mixing. First we apply a result due to Chan to show that the only strongly regular graphs that admit instantaneous uniform mixing are the Paley graph of order nine and certain graphs corresponding to regular symmetric Hadamard matrices with constant diagonal. Next we prove that if uniform mixing occurs on a bipartite graph X with n vertices, then n is divisible by four. We also prove that if X is bipartite and regular, then n is the sum of two integer squares. Our work on bipartite graphs implies that uniform mixing does not occur on C_{2m} for m >= 3. Using a result of Haagerup, we show that uniform mixing does not occur on C_p for any prime p such that p >= 5. In contrast to this result, we see that epsilon-uniform mixing occurs on C_p for all primes p.

We give two "lifting" constructions of strongly regular Cayley graphs. In the first construction we "lift" a cyclotomic strongly regular graph by using a subdifference set of the Singer difference set. The second construction uses quadratic forms over finite fields and it is a common generalization of the construction of the affine polar graphs \cite{CK86} and a construction of strongly regular Cayley graphs given in \cite{FWXY}. The two constructions are related in the following way: The second construction can be viewed as a recursive construction, and the strongly regular Cayley graphs obtained from the first construction can serve as starters for the second construction. We also obtain association schemes from the second construction.

We study a generalization of strongly regular graphs. We call a graph strongly walk-regular if there is an $\ell >1$ such that the number of walks of length $\ell$ from a vertex to another vertex depends only on whether the two vertices are the same, adjacent, or not adjacent. We will show that a strongly walk-regular graph must be an empty graph, a complete graph, a strongly regular graph, a disjoint union of complete bipartite graphs of the same size and isolated vertices, or a regular graph with four eigenvalues. Graphs from the first three families in this list are indeed strongly $\ell$-walk-regular for all $\ell$, whereas the graphs from the fourth family are $\ell$-walk-regular for every odd $\ell$. The case of regular graphs with four eigenvalues is the most interesting (and complicated) one. Such graphs cannot be strongly $\ell$-walk-regular for even $\ell$. We will characterize the case that regular four-eigenvalue graphs are strongly $\ell$-walk-regular for every odd $\ell$, in terms of the eigenvalues. There are several examples of infinite families of such graphs. We will show that every other regular four-eigenvalue graph can be strongly $\ell$-walk-regular for at most one $\ell$. There are several examples of infinite families of such graphs that are strongly 3-walk-regular. It however remains open whether there are any graphs that are strongly $\ell$-walk-regular for only one particular $\ell$ different from 3.

In this paper, generalizing the result in \cite{GXY}, we construct strongly regular Cayley graphs by using union of cyclotomic classes of $\F_q$ and Gauss sums of index $w$, where $w\geq 2$ is even. In particular, we obtain three infinite families of strongly regular graphs with new parameters.

We find new constructions of infinite families of skew Hadamard difference sets in elementary abelian groups under the assumption of the existence of cyclotomic strongly regular graphs. Our construction is based on choosing cyclotomic classes in finite fields.

In this paper, we give constructions of strongly regular Cayley graphs and skew Hadamard difference sets. Both constructions are based on choosing cyclotomic classes in finite fields, and our results generalize ten of the eleven sporadic examples of cyclotomic strongly regular graphs given by Schmidt and White [24] and several of subfield examples into infinite families. These infinite families of strongly regular graphs have new parameters. The main tools that we employed are relative Gauss sums instead of explicit evaluations of Gauss sums.

We give a combinatorial characterization of graphs whose normalized Laplacian has three distinct eigenvalues. Strongly regular graphs and complete bipartite graphs are examples of such graphs, but we also construct more exotic families of examples from conference graphs, projective planes, and certain quasi-symmetric designs.

In this paper, we give a construction of strongly regular Cayley graphs and a construction of skew Hadamard difference sets. Both constructions are based on choosing cyclotomic classes in finite fields, and they generalize the constructions given by Feng and Xiang \cite{FX111,FX113}. Three infinite families of strongly regular graphs with new parameters are obtained. The main tools that we employed are index 2 Gauss sums, instead of cyclotomic numbers.

We give a construction of strongly regular Cayley graphs on finite fields $\F_q$ by using union of cyclotomic classes and index 4 Gauss sums. In particular, we obtain two infinite families of strongly regular graphs with new parameters.

In this paper, we give a complete description of strongly regular graphs with parameters ((n^2+3n-1)^2,n^2(n+3),1,n(n+1)). All possible such graphs are: the lattice graph $L_{3,3}$ with parameters (9,4,1,2), the Brouwer-Haemers graph with parameters (81,20,1,6), and the Games graph with parameters (729,112,1,20).

An approach to the enumeration of feasible parameters for strongly regular graphs is described, based on the pair of structural parameters (a,c) and the positive eigenvalue e. The Krein bound ensures that there are only finitely many possibilities for c, given a and e, and the standard divisibility conditions can be used to reduce the possibilities further. Many sets of feasible parameters appear to be accidents of arithmetic, but in some cases the conditions are satisfied for algebraic reasons. As an example, we discuss an infinite family of feasible parameters for which the corresponding graphs necessarily have a closed neighborhood as a star complement for e.

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 $T(m)$, the symplectic graphs $Sp(2r,q)$ over the field $\mathbb{F}_q$ (for any $q$ prime power), and the strongly regular graphs constructed from the hyperbolic quadrics $O^{+}(2r,2)$ and from the elliptic quadrics $O^{-}(2r,2)$ over the field $\mathbb{F}_2$, 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 $GQ(q,q)$ 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.

A result of Erdös and Rényi shows that for a fixed integer n almost all graphs satisfy the n-e.c. adjacency property. However, there are few explicit constructions of n e.c. graphs for n > 2, and almost all known families of n-e.c. graphs are strongly regular graphs. In this paper we derive parameter bounds on strongly regular n-e.c. graphs constructed from the point sets of partial geometries. This work generalizes bounds on n-e.c. block intersection graphs of balanced incomplete block designs given by McKay and Pike. It also relates to work by Griggs, Grannel, and Forbes' determining 3-e.c. graphs that are block intersection graphs of Steiner triple systems. In addition to these bounds, we give examples of strongly regular graphs that contain every possible subgraph of small order but are not n-e.c. for n > 2.