arXiv++ Combinatorics

For any positive integer $m$, the complete graph on $2^{2m}(2^m+2)$ vertices is decomposed into $2^m+1$ commuting strongly regular graphs, which give rise to a symmetric association scheme of class $2^{m+2}-2$. Furthermore, the eigenmatrices of the symmetric association schemes are determined explicitly. As an application, the eigenmatrix of the commutative strongly regular decomposition obtained from the strongly regular graphs is derived.

In this paper, we prove two results about the signless Laplacian spectral radius $q(G)$ of a graph $G$ of order $n$ with maximum degree $Δ$. Let $B_{n}=K_{2}+\overline{K_{n}}$ denote a book, i.e., the graph $B_{n}$ consists of $n$ triangles sharing an edge. (1) Let $1< k\leq l< Δ< n$ and $G$ be a connected \{$B_{k+1},K_{2,l+1}$\}-free graph of order $n$ with maximum degree $Δ$. Then $$\displaystyle q(G)\leq \frac{1}{4}[3Δ+k-2l+1+\sqrt{(3Δ+k-2l+1)^{2}+16l(Δ+n-1)}.$$ with equality holds if and only if $G$ is a strongly regular graph with parameters ($Δ$, $k$, $l$). (2) Let $s\geq t\geq 3$, and let $G$ be a connected $K_{s,t}$-free graph of order $n$ $(n\geq s+t)$. Then $$q(G)\leq n+(s-t+1)^{1/t}n^{1-1/t}+(t-1)(n-1)^{1-3/t}+t-3.$$

The graph isomorphism problem is a main problem which has numerous applications in different fields. Thus, finding an efficient and easy to implement method to discriminate non-isomorphic graphs is valuable. In this paper, a new method is introduced which is very simple and easy to implement, but very efficient in discriminating non-isomorphic graphs, in practice. This method does not need any heuristic attempt and based on the eigenvalues of a new matrix representation for graphs. It, almost always, separates non-isomorphic $n$-vertex graphs in time $O(n^3)$ and in worst cases such as strongly regular graphs, in time $O(n^4)$. Here, we show that this method, successfully, characterizes the isomorphism classes of studied instances of strongly regular graphs (up to 64 vertices). Strongly regular graphs are believed to be hard cases of the graph isomorphism problem.

In this paper we study the existence of homomorphisms $G\to H$ using semidefinite programming. Specifically, we use the vector chromatic number of a graph, defined as the smallest real number $t \ge 2$ for which there exists an assignment of unit vectors $i\mapsto p_i$ to its vertices such that $\langle p_i, p_j\rangle\le -1/(t-1),$ when $i\sim j$. Our approach allows to reprove, without using the Erdős-Ko-Rado Theorem, that for $n>2r$ the Kneser graph $K_{n:r}$ and the $q$-Kneser graph $qK_{n:r}$ are cores, and furthermore, that for $n/r = n'/r'$ there exists a homomorphism $K_{n:r}\to K_{n':r'}$ if and only if $n$ divides $n'$. In terms of new applications, we show that the even-weight component of the distance $k$-graph of the $n$-cube $H_{n,k}$ is a core and also, that non-bipartite Taylor graphs are cores. Additionally, we give a necessary and sufficient condition for the existence of homomorphisms $H_{n,k}\to H_{n',k'}$ when $n/k = n'/k'$. Lastly, we show that if a 2-walk-regular graph (which is non-bipartite and not complete multipartite) has a unique optimal vector coloring, it is a core. Based on this sufficient condition we conducted a computational study on Ted Spence's list of strongly regular graphs and found that at least 84% are cores.

In this paper we construct all strongly regular graphs, with at most 600 vertices, admitting a transitive action of the orthogonal group $O^+(6,2)$ or $O^-(6,2)$. Consequently, we prove the existence of strongly regular graphs with parameters (216,40,4,8) and (540,187,58,68). We also construct a strongly regular graph with parameters (540,224,88,96) that was to the best of our knowledge previously unknown. Further, we show that under certain conditions an orbit matrix $M$ of a strongly regular graph $Γ$ can be used to define a new strongly regular graph $\widetildeΓ$, where the vertices of the graph $\widetildeΓ$ correspond to the orbits of $Γ$ (the rows of $M$). We show that some of the obtained graphs are related to each other in a way that one can be constructed from an orbit matrix of the other.

We determine that there is no partial geometry ${\cal G}$ with parameters $(s,t,α)=(4,27,2)$. The existence of such a geometry has been a challenging open problem of interest to researchers for almost 40 years. The particular interest in ${\cal G}$ is due to the fact that it would have the exceptional McLaughlin graph as its point graph. Our proof makes extensive use of symmetry and high-performance distributed computing, and details of our techniques and checks are provided. One outcome of our work is to show that a pseudogeometric strongly regular graph achieving equality in the Krein bound need not be the point graph of any partial geometry.

We describe a general construction of strongly regular graphs from the collinearity graph of a finite classical polar spaces of rank at least $3$ over a finite field of order $q$. We show that these graphs are non-isomorphic to the collinearity graphs and have the same parameters. To our knowledge for most of these parameters these graphs are new as the collinearity graphs were the only known examples.

In this article we construct a series of new infinite families of strongly regular graphs with the same parameters as the point-graphs of non-singular quadrics in PG(n,2).

We consider orbit partitions of groups of automorphisms for the symplectic graph and apply Godsil-McKay switching. As a result, we find four families of strongly regular graphs with the same parameters as the symplectic graphs, including the one discovered by Abiad and Haemers. Also, we prove that switched graphs are non-isomorphic to each other by considering the number of common neighbors of three vertices.

We study the Bakry-Émery curvature function $\mathcal{K}_{G,x}:(0,\infty]\to \mathbb{R}$ of a vertex $x$ in a locally finite graph $G$ systematically. Here $\mathcal{K}_{G,x}(\mathcal{N})$ is defined as the optimal curvature lower bound $\mathcal{K}$ in the Bakry-Émery curvature-dimension inequality $CD(\mathcal{K},\mathcal{N})$ that $x$ satisfies. We prove the curvature functions of the Cartesian product of two graphs $G_1,G_2$ equal an abstract product of curvature functions of $G_1,G_2$. We relate the curvature functions of $G$ with various spectral properties of (weighted) graphs constructed from local structures of $G$. We explore the curvature functions of Cayley graphs, strongly regular graphs, and many particular (families of) examples including Johnson graphs and complete bipartite graphs. We construct an infinite family of $6$-regular graphs which satisfy $CD(0,\infty)$ but are not Cayley graphs.

The critical group of a finite graph is an abelian group defined by the Smith normal form of the Laplacian. We determine the the critical groups of the Peisert graphs, a certain family of strongly regular graphs similar to, but different from, the Paley graphs. It is further shown thatthe adjacency matrices of the two graphs defined over a field of order $p^2$ with $p\equiv 3\pmod 4$ are similar over the $\ell$-local integers for every prime $\ell$. Consequently, each such pair of graphs provides an example where all the corresponding generalized adjacency matrices are both cospectral and equivalent in the sense of Smith normal form.

Applying a method of Godsil and McKay \cite{GM} to some graphs related to the symplectic graph, a series of new infinite families of strongly regular graphs with parameters $(2^n\pm2^{(n-1)/2},2^{n-1}\pm2^{(n-1)/2},2^{n-2}\pm2^{(n-3)/2},2^{n-2}\pm2^{(n-1)/2})$ are constructed for any odd $n \geq 5$. The construction is described in terms of geometry of quadric in projective space. The binary linear codes of the switched graphs are $[2^n \mp 2^{\frac{n-1}{2}},n+3,2^{t+1}]_2$-code or $[2^n \mp 2^{\frac{n-1}{2}},n+3,2^{t+2}]_2$-code.

In this paper, we consider upper bounds on the size of transitive subtournaments in a digraph. In particular, we give an analogy of Hoffman's bound for the size of cocliques in a regular graph. Furthermore, we partially improve the Hoffman type bound for doubly regular tournaments by using the technique of Greaves and Soicher for strongly regular graphs [4], which gives a new application of block intersection polynomials.

We determine new upper bounds for the clique numbers of strongly regular graphs in terms of their parameters. These bounds improve on the Delsarte bound for infinitely many feasible parameter tuples for strongly regular graphs, including infinitely many parameter tuples that correspond to Paley graphs.

We show that there is no $(95,40,12,20)$ strongly regular graph and, consequently, there is no $(96,45,24,18)$ strongly regular graph, no two-graph on $96$ vertices, and no partial geometry $\rm{pg}(5,9,3)$. The main idea of the result is based on the star complement technique and requires a small amount of computation.

This paper completes the classification of quasi-symmetric 2-$(64,24,46)$ designs of Blokhuis-Haemers type supported by the dual code $C^{\perp}$ of the binary linear code $C$ spanned by the lines of $AG(3,2^2)$ initiated in \cite{bgr-vdt}. It is shown that $C^{\perp}$ contains exactly 30,264 nonisomorphic quasi-symmetric 2-$(64,24,46)$ designs obtainable from maximal arcs in $AG(2,2^2)$ via the Blokhuis-Haemers construction. The related strongly regular graphs are also discussed.

Equiangular tight frames provide optimal packings of lines through the origin. We combine Steiner triple systems with Hadamard matrices to produce a new infinite family of equiangular tight frames. This in turn leads to new constructions of strongly regular graphs and distance-regular antipodal covers of the complete graph.

We prove that if $G$ and $H$ are primitive strongly regular graphs with the same parameters and $\varphi$ is a homomorphism from $G$ to $H$, then $\varphi$ is either an isomorphism or a coloring (homomorphism to a complete subgraph). Therefore, the only endomorphisms of a primitive strongly regular graph are automorphisms or colorings. This confirms and strengthens a conjecture of Cameron and Kazanidis that all strongly regular graphs are cores or have complete cores. The proof of the result is elementary, mainly relying on linear algebraic techniques. In the second half of the paper we discuss implications of the result and the idea underlying the proof. We also show that essentially the same proof can be used to obtain a more general statement.

Andries Brouwer maintains a public database of existence results for strongly regular graphs on $n\leq 1300$ 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 $n$.

It is known that, up to isomorphism, there is a unique distance-regular graph $Δ$ with intersection array {32,27;1,12} (equivalently, $Δ$ is the unique strongly regular graph with parameters (105,32,4,12)). Here we investigate the distance-regular antipodal covers of $Δ$. We show that, up to isomorphism, there is just one distance-regular antipodal triple cover of $Δ$ (a graph $\hatΔ$ discovered by the author over twenty years ago), proving that there is a unique distance-regular graph with intersection array {32,27,8,1;1,4,27,32}. In the process, we confirm an unpublished result of Steve Linton that there is no distance-regular antipodal double cover of $Δ$, and so no distance-regular graph with intersection array {32,27,6,1;1,6,27,32}. We also show there is no distance-regular antipodal 4-cover of $Δ$, and so no distance-regular graph with intersection array {32,27,9,1;1,3,27,32}, and that there is no distance-regular antipodal 6-cover of $Δ$ that is a double cover of $\hatΔ$.