arXiv++ Combinatorics

We consider simple loopless finite undirected graphs. Such a graph is called strongly regular with parameter set (v,k,l,m), for short a srg(v,k,l,m), iff it has exactly v vertices, each of them has exactly k neighbours, and the number of common neighbours of any two different vertices is l if they are neighbours and m otherwise. The G2(4) graph is a well-known srg(416,100,36,20). In this article, we explicitly construct it and a certain subgraph E induced by 320 vertices in the same way as in an older article by this author. We discover some interesting properties of E and derive five strongly regular graphs from it: A srg(256,60,20,12) F which is a subgraph induced by 256 vertices and four srg(336,80,28,16) H, H_1, H_2 and H_3 which do have E as induced subgraph. The latter three graphs are new in version 4 of this article and seem to have been completely unknown as H was before version 1 appeared. The graph F is isomorphic to objects described as unions of 16 16-cocliques in a description of subgraphs of the G2(4) graph by Andries E. Brouwer; but the strong regularity has been unnoticed before version 1 of this article. Several propositions in this article have been checked by executing the additionally (in the source package) provided program G24DGS2 and the program Dreadnaut from the popular graph theoretic software nauty (by Brendan McKay and Adolfo Piperno).

We prove that every connected strongly regular graph on sufficiently many vertices is Hamiltonian. We prove this by showing that, apart from three families, connected strongly regular graphs are (highly) pseudo-random. Our results suggest a number of new questions and conjectures.

We report about the results of the application of modern computer algebra tools for construction of directed strongly regular graphs. The suggested techniques are based on the investigation of non-commutative association schemes and Cayley graphs over non-Abelian groups. We demonstrate examples of directed strongly regular graphs for 28 different parameter sets, for which the existence of a corresponding digraph has not been known before.

In `A survey of two-graphs' \cite{Sei}, J.J. Seidel lays out the connections between simple graphs, two-graphs, equiangular lines and strongly regular graph. It is well known that there is a one-to-one correspondence between regular two-graphs and equiangular tight frames. This article gives a generalization of two-graphs for which these connections can be mimicked using roots of unity beyond $\pm 1$.

Delsarte, Goethals, and Seidel (1977) used the linear programming method in order to find bounds for the size of spherical codes endowed with prescribed inner products between distinct points in the code. In this paper, we develop the linear programming method to obtain bounds for the number of vertices of connected regular graphs endowed with given distinct eigenvalues. This method is proved by some "dual" technique of the spherical case, motivated from the theory of association scheme. As an application of this bound, we prove that a connected $k$-regular graph satisfying $g>2d-1$ has the minimum second-largest eigenvalue of all $k$-regular graphs of the same size, where $d$ is the number of distinct non-trivial eigenvalues, and $g$ is the girth. The known graphs satisfying $g>2d-1$ are Moore graphs, incidence graphs of regular generalized polygons of order $(s,s)$, triangle-free strongly regular graphs, and the odd graph of degree $4$.

We consider imprimitive association schemes of class four which are two-fold covers of strongly regular graphs with spreads. It will be shown that a two-fold cover of a strongly regular graph with a spread provides a five class fission scheme of the imprimitive scheme of class four.

In this paper we unify several existing regularity conditions for graphs, including strong regularity, $k$-isoregularity, and the $t$-vertex condition. We develop an algebraic composition/decomposition theory of regularity conditions. Using our theoretical results we show that a family of non rank 3 graphs known to satisfy the $7$-vertex condition fulfills an even stronger condition, $(3,7)$-regularity (the notion is defined in the text). Derived from this family we obtain a new infinite family of non rank $3$ strongly regular graphs satisfying the $6$-vertex condition. This strengthens and generalizes previous results by Reichard.

The results of [1,2] on linear homogeneous two-weight codes over finite Frobenius rings are exended in two ways: It is shown that certain non-projective two-weight codes give rise to strongly regular graphs in the way described in [1,2]. Secondly, these codes are used to define a dual two-weight code and strongly regular graph similar to the classical case of projective linear two-weight codes over finite fields [3].

The results of [1,2] on linear homogeneous two-weight codes over finite Frobenius rings are exended in two ways: It is shown that certain non-projective two-weight codes give rise to strongly regular graphs in the way described in [1,2]. Secondly, these codes are used to define a dual two-weight code and strongly regular graph similar to the classical case of projective linear two-weight codes over finite fields [3].

The $t$-vertex condition, for an integer $t\ge 2$, was introduced by Hestenes and Higman in 1971, providing a combinatorial invariant defined on edges and non-edges of a graph. Finite rank 3 graphs satisfy the condition for all values of $t$. Moreover, a long-standing conjecture of M. Klin asserts the existence of an integer $t_0$ such that a graph satisfies the $t_0$-vertex condition if and only if it is a rank 3 graph. We construct the first infinite family of non-rank 3 strongly regular graphs satisfying the $7$-vertex condition. This implies that the Klin parameter $t_0$ is at least 8. The examples are the point graphs of a certain family of generalised quadrangles.

In this paper, we first establish the very close link between stability of graphs, a concept first introduced in \cite{Scapsalvi1} and studied most notably by Surowski \cite{Surowski1}, \cite{Surowski2} and Wilson \cite{Wilson01} and two-fold automorphisms. The concept of two-fold isomorphisms, as far as we know, first appeared in literature in the form of isotopies of digraphs \cite{zelinka4}, \cite{zelinka1}, \cite{zelinka2}, \cite{zelinka3} and later studied formally in \cite{lms1}, \cite{lms2} with a greater emphasis on undirected graphs. We then turn our attention to the stability of graphs which have every edge on a triangle, but with the fresh outlook provided by TF-automorphisms. Amongst such graphs are strongly regular graphs with certain parameters. The advantages of this fresh outlook are highlighted when we ultimately present a method of constructing and generating unstable graphs with large diameter having every edge lying on a triangle. This was a rather surprising outcome.

In this note we present a simplified and slightly generalized version of a lemma the authors published in 1987. The lemma as stated here asserts that if the order of a permutation of $n$ elements is greater than $n^α$ then some non-identity power of the permutation has support size less than $n/α$. The original version made an unnecessary additional assumption on the cycle structure of the permutation; the proof of the present cleaner version follows the original proof verbatim. Application areas include parallel and sequential algorithms for permutation groups, the diameter of Cayley graphs of permutation groups, and the automorphisms of structures with regularity constraints such as Latin squares, Steiner 2-designs, and strongly regular graphs. This note also serves as a modest tribute to the junior author whose untimely passing is deeply mourned.

A {\em resolving set} for a graph $Γ$ is a collection of vertices $S$, chosen so that for each vertex $v$, the list of distances from $v$ to the members of $S$ uniquely specifies $v$. The {\em metric dimension} of $Γ$ is the smallest size of a resolving set for $Γ$. A graph is {\em distance-regular} if, for any two vertices $u,v$ at each distance $i$, the number of neighbours of $v$ at each possible distance from $u$ (i.e. $i-1$, $i$ or $i+1$) depends only on the distance $i$, and not on the choice of vertices $u,v$. The class of distance-regular graphs includes all distance-transitive graphs and all strongly regular graphs. In this paper, we present the results of computer calculations which have found the metric dimension of all distance-regular graphs on up to 34 vertices, low-valency distance transitive graphs on up to 100 vertices, strongly regular graphs on up to 45 vertices, rank-$3$ strongly regular graphs on under 100 vertices, as well as certain other distance-regular graphs.

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