arXiv++ Combinatorics

We present a new non-existence proof for the strongly regular graph $G$ with parameters $(76,21,2,7)$, using the unit vector representation of the graph.

In this paper we construct structures from Mathieu group $M_{11}$. We classify transitive $t$-designs with 11, 12 and 22 points admitting a transitive action of Mathieu group $M_{11}$. Thereby we proved the existence of designs with parameters 3-(22,7,18) and found first simple designs with parameters 4-(11,5,6) and 5-(12,6,6). Additionally, we proved the existence of $2$-designs with certain parameters having 55 and 66 points. Furthermore, we classified strongly regular graphs on at most 450 vertices admitting a transitive action of the Mathieu group $M_{11}$.

In this paper, we give a new lifting construction of "hyperbolic" type of strongly regular Cayley graphs. Also we give new constructions of strongly regular Cayley graphs over the additive groups of finite fields based on partitions of subdifference sets of the Singer difference sets. Our results unify some recent constructions of strongly regular Cayley graphs related to $m$-ovoids and $i$-tight sets in finite geometry. Furthermore, some of the strongly regular Cayley graphs obtained in this paper are new or nonisomorphic to known strongly regular graphs with the same parameters.

We investigate strongly regular graphs for which Hoffman's ratio bound and Cvetcović's inertia bound are equal. This means that $ve^- = m^-(e^- - k)$, where $v$ is the number of vertices, $k$ is the regularity, $e^-$ is the smallest eigenvalue, and $m^-$ is the multiplicity of $e^-$. We show that Delsarte cocliques do not exist for all Taylor's $2$-graphs and for point graphs of generalized quadrangles of order $(q,q^2-q)$ for infinitely many $q$. For cases where equality may hold, we show that for nearly all parameter sets, there are at most two Delsarte cocliques.

The concept of directed strongly regular graphs (DSRG) was introduced by Duval in "A Directed Graph Version of Strongly Regular Graphs" [Journal of Combinatorial Theory, Series A 47(1988)71-100]. Duval also provided several construction methods for directed strongly regular graphs. In this paper, We construct several new classes of directed strongly regular graphs which are obtained by using Kronecker matrix product, Semidirect product and Cayley coset graph. At the same time, using group representation, for two special cases, we give some other sufficient and necessary conditions of Cayley graphs to be DSRG. At last, we finish this paper with a discussion of some propositions of in(out)-neighbours and automorphism group in directed strongly regular graphs.

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.