arXiv++ Combinatorics

This paper concerns $(r,c)$-constant graphs, which are $r$-regular graphs in which the subgraph induced by the open neighbourhood of every vertex has precisely $c$ edges. The family of $(r,c)$-graphs contains vertex-transitive graphs (and in particular Cayley graphs), graphs with constant link (sometimes called locally isomorphic graphs), $(r,b)$-regular graphs, strongly regular graphs, and much more. This family was recently introduced in [arXiv:2312.08777] serving as important tool in constructing flip graphs [arXiv:2312.08777, arXiv:2401.02315]. In this paper we shall mainly deal with the following: i. Existence and non-existence of $(r, c)$-planar graphs. We completely determine the cases of existence and non-existence of such graphs and supply the smallest order in the case when they exist. ii. We consider the existence of $(r, c)$-circulant graphs. We prove that for $c \equiv 2 \ (\mathrm{mod} \ 3)$ no $(r,c)$-circulant graph exists and that for $c \equiv 0, 1 \ (\mathrm{mod} \ 3)$, $c > 0$ and $r \geq 6 + \sqrt{\frac{8c - 5}{3}}$ there exists $(r,c)$-circulant graphs. Moreover for $c = 0$ and $r \geq 1$, $(r, 0)$-circulants exist. iii. We consider the existence and non-existence of small $(r,c)$-constant graphs, supplying a complete table of the smallest order of graphs we found for $0 \leq c \leq \binom{r}{2}$ and $r \leq 6$. We shall also determine all the cases in this range for which $(r,c)$-constant graphs don't exist. We establish a public database of $(r,c)$-constant graphs for varying $r$, $c$ and order.

Let $G_n=\mathbb{Z}_n\times \mathbb{Z}_n$ for $n\geq 4$ and $S=\{(i,0),(0,i),(i,i): 1\leq i \leq n-1\}\subset G_n$. Define $Γ(n)$ to be the Cayley graph of $G_n$ with respect to the connecting set $S$. It is known that $Γ(n)$ is a strongly regular graph with the parameters $(n^2,3n-3,n,6)$ \cite{19}. Hence $Γ(n)$ is a distance regular graph. It is known that every distance transitive graph is distance regular, but the converse is not true. In this paper, we study some algebraic properties of the graph $Γ(n)$. Then by determining the automorphism group of this family of graphs, we show that the graphs under study are not distance transitive.

If $G$ is a finite group, then the spectrum $ω(G)$ is the set of all element orders of $G$. The prime spectrum $π(G)$ is the set of all primes belonging to $ω(G)$. A simple graph $Γ(G)$ whose vertex set is $π(G)$ and in which two distinct vertices $r$ and $s$ are adjacent if and only if $rs \in ω(G)$ is called the Gruenberg-Kegel graph or the prime graph of $G$. In this paper, we prove that if $G$ is a group of even order, then the set of vertices which are non-adjacent to $2$ in $Γ(G)$ form a union of cliques. Moreover, we decide when a strongly regular graph is isomorphic to the Gruenberg-Kegel graph of a finite group. Besides this, we prove that a complete bipartite graph with each part of size at least $3$ can not be isomorphic to the Gruenberg-Kegel graph of a finite group.

It is known that the average hitting times of simple random walks from any vertex to any other vertex in distance-regular graphs are determined by their intersection array. In this paper, we introduce a new graph classification called $f$-equitable, utilizing both the equitable partition and the function $f$, which represents a generalization of distance-regular graphs. We determine the average hitting times from any vertex to any other vertex in $f$-equitable graphs by using their parameter referred to as the quotient matrix. Furthermore, we prove that there is some function $f$ such that the Cartesian product of two strongly regular graphs is $f$-equitable. We then calculate the quotient matrix for these graphs and determine the average hitting times from any vertex to any other vertex in these graphs. In the same manner, we determine the average hitting times on some generalized Paley graphs.

In 2002, D. Fon-Der-Flaass constructed a prolific family of strongly regular graphs. In this paper, we prove that for infinitely many natural numbers $n$, this family contains $n^{Ω(n^{2/3})}$ strongly regular $n$-vertex graphs $X$ with the same parameters, which satisfy the following condition: an isomorphism between $X$ and any other graph can be verified by the $4$-dimensional Weisfeiler-Leman algorithm.

We study whether the probability distribution of a discrete quantum walk can get arbitrarily close to uniform, given that the walk starts with a uniform superposition of the outgoing arcs of some vertex. We establish a characterization of this phenomenon on regular non-bipartite graphs in terms of their adjacency eigenvalues and eigenprojections. Using theory from association schemes, we show this phenomenon happens on a strongly regular graph $X$ if and only if $X$ or $\overline{X}$ has parameters $(4m^2, 2m^2\pm m, m^2\pm m, m^2\pm m)$ where $m\ge 2$.

This paper delves into three research directions, leveraging the Lovász $\vartheta$-function of a graph. First, it focuses on the Shannon capacity of graphs, providing new results that determine the capacity for two infinite subclasses of strongly regular graphs, and extending prior results. The second part explores cospectral and nonisomorphic graphs, drawing on a work by Berman and Hamud (2024), and it derives related properties of two types of joins of graphs. For every even integer such that $n \geq 14$, it is constructively proven that there exist connected, irregular, cospectral, and nonisomorphic graphs on $n$ vertices, being jointly cospectral with respect to their adjacency, Laplacian, signless Laplacian, and normalized Laplacian matrices, while also sharing identical independence, clique, and chromatic numbers, but being distinguished by their Lovász $\vartheta$-functions. The third part focuses on establishing bounds on graph invariants, particularly emphasizing strongly regular graphs and triangle-free graphs, and compares the tightness of these bounds to existing ones. The paper derives spectral upper and lower bounds on the vector and strict vector chromatic numbers of regular graphs, providing sufficient conditions for the attainability of these bounds. Exact closed-form expressions for the vector and strict vector chromatic numbers are derived for all strongly regular graphs and for all graphs that are vertex- and edge-transitive, demonstrating that these two types of chromatic numbers coincide for every such graph. This work resolves a query regarding the variant of the $\vartheta$-function by Schrijver and the identical function by McEliece et al. It shows, by a counterexample, that the $\vartheta$-function variant by Schrijver does not possess the property of the Lovász $\vartheta$-function of forming an upper bound on the Shannon capacity of a graph.

We study the spectrum of generalized Paley graphs $Γ(k,q)=Cay(\mathbb{F}_q,R_k)$, undirected or not, with $R_k=\{x^k:x\in \mathbb{F}_q^*\}$ where $q=p^m$ with $p$ prime and $k\mid q-1$. We first show that the eigenvalues of $Γ(k,q)$ are given by the Gaussian periods $η_{i}^{(k,q)}$ with $0\le i\le k-1$. Then, we explicitly compute the spectrum of $Γ(k,q)$ with $1\le k \le 4$ and of $Γ(5,q)$ for $p\equiv 1\pmod 5$ and $5\mid m$. Also, we characterize those GP-graphs having integral spectrum, showing that $Γ(k,q)$ is integral if and only if $p$ divides $(q-1)/(p-1)$. Next, we focus on the family of semiprimitive GP-graphs. We show that they are integral strongly regular graphs (of pseudo-Latin square type). Finally, we characterize all integral Ramanujan graphs $Γ(k,q)$ with $1\le k \le 4$ or where $(k,q)$ is a semiprimitive pair.

Given a finite Lie incidence geometry which is either a polar space of rank at least $3$ or a strong parapolar space of symplectic rank at least $4$ and diameter at most $4$, or the parapolar space arising from the line Grassmannian of a projective space of dimension at least $4$, we show that its point graph is determined by its local structure. This follows from a more general result which classifies graphs whose local structure can vary over all local structures of the point graphs of the aforementioned geometries. In particular, this characterises the strongly regular graphs arising from the line Grassmannian of a finite projective space, from the half spin geometry related to the quadric $Q^+(10,q)$ and from the exceptional group of type $\mathsf{E_6}(q)$ by their local structure.

The problem of graph reconstruction has been studied in its various forms over the years. In particular, the Reconstruction Conjecture, proposed by Ulam and Kelly in 1942, has attracted much research attention and yet remains one of the foremost unsolved problems in graph theory. Recently, Bastide, Cook, Erickson, Groenland, Kreveld, Mannens, and Vermeulen proposed a new model of partial information, where we are given the set of connected triples T_3, which is the set of 3-subsets of the vertex set that induce connected subgraphs. They proved that reconstruction is unique within the class of triangle-free graphs, 2-connected outerplanar graphs, and maximal planar graphs. They also showed that almost every graph can be uniquely reconstructed from their connected triples. However, little is known about other classes of non-triangle-free graphs within which reconstruction can occur uniquely, nor do we understand what kind of graphs can be uniquely reconstructed from their connected triples without assuming anything about the classes of graphs to which they belong. The main result of this paper is a complete characterization of all graphs that can be uniquely reconstructed from their connected triples T_3. We also show that reconstruction from T_3 is unique within the class of regular planar graphs, 5-connected planar graphs, certain strongly regular graphs, and complete multi-partite graphs, whereas it is not unique for the class of k-connected planar graphs with k less or equal to 4, Eulerian graphs, or Hamiltonian graphs.

Let $Γ$ be a {Conway 99-graph}, that is, a strongly regular graph with parameters $(99,14,1,2)$. In Makhnev and Minakova (On automorphisms of strongly regular graphs with parameters $λ=1$, $μ= 2$, Discrete Math.\ Appl.\ 14 (2) (2004) 201-210), the authors prove that the automorphism group $G$ of $Γ$ must have order dividing $2\cdot 3^3\cdot 7\cdot 11$. They further show that if $|G|$ is divisible by $2$ then $|G|$ must divide $42$. In the present paper, we refine these results by proving that divisibility by $7$ implies $G \cong\mathbb Z_7$. As a consequence, divisibility by $2$ implies $|G|$ divides $6$, \ie $G$ is isomorphic to one of $\mathbb Z_2, \mathbb Z_6, S_3$.

This paper studies induced paths in strongly regular graphs. We give an elementary proof that a strongly regular graph contains a path $P_4$ as an induced subgraph if and only if it is primitive, i.e. it is neither a complete multipartite graph nor its complement. Also, we investigate when a strongly regular graph has an induced subgraph isomorphic to $P_5$ or its complement, considering several well-known families including Johnson and Kneser graphs, Hamming graphs, Latin square graphs, and block-intersection graphs of Steiner triple systems.

In 2019, Perondi and Carmelo determined the set multipartite Ramsey number of particular complete bipartite graphs by establishing a relationship between the set multipartite Ramsey number, Hadamard matrices, and strongly regular graphs, which is a breakthrough in Ramsey theory. However, since Hadamard matrices of order not divisible by 4 do not exist, many open problems have arisen. In this paper, we generalize Perondi and Carmelo's results by introducing the $[α]$-Hadamard matrix that we conjecture exists for arbitrary order. Finally, we determine set and size multipartite Ramsey numbers for particular complete bipartite graphs.

In 2022, the second author found a prolific construction of strongly regular graphs, which is based on joining a coclique and a divisible design graph with certain parameters. The construction produces strongly regular graphs with the same parameters as the complement of the symplectic graph $\mathsf{Sp}(2d,q)$. In this paper, we determine the parameters of strongly regular graphs which admit a decomposition into a divisible design graph and a coclique attaining the Hoffman bound. In particular, it is shown that when the least eigenvalue of such a strongly regular graph is a prime power, its parameters coincide with those of the complement of $\mathsf{Sp}(2d,q)$. Furthermore, a generalization of the construction is discussed.

In this paper we determine all fusions of the association scheme $\mathcal{A} \otimes \mathcal{A}$, where $\mathcal{A}$ is the symmetric rank $3$ association scheme corresponding to a strongly regular graph. This includes both guaranteed fusions, which are fusions for all symmetric rank $3$ association schemes $\mathcal{A}$, and specific case fusions, which only exist under restrictions on the parameters of the association scheme. Along the way we will determine the fusions of wreath products of strongly regular graphs and the fusions of the tensor square of a symmetric rank $3$ table algebra. This extends recent work of the authors and Meagher, which solved the same problem for the generalized Hamming scheme $H(2,\mathcal{A})$ of the association scheme obtained from a strongly regular graph. The main results of this article show (1) the families of strongly regular graphs for which $\mathcal{A} \otimes \mathcal{A}$ has a special case fusion are the same families for which $H(2,\mathcal{A})$ has a special case fusion; and (2) the imprimitive strongly regular graphs are the only family of strongly regular graphs for which the wreath product $\mathcal{A} \wr \mathcal{A}$ has a special case fusion.

Strongly regular graphs (SRGs) provide a fertile area of exploration in algebraic combinatorics, integrating techniques in graph theory, linear algebra, group theory, finite fields, finite geometry, and number theory. Of particular interest are those SRGs with a large automorphism group. If an automorphism group acts regularly (sharply transitively) on the vertices of the graph, then we may identify the graph with a subset of the group, a partial difference set (PDS), which allows us to apply techniques from group theory to examine the graph. Much of the work over the past four decades has concentrated on abelian PDSs using the powerful techniques of character theory. However, little work has been done on nonabelian PDSs. In this paper we point out the existence of \textit{genuinely nonabelian} PDSs, i.e., PDSs for parameter sets where a nonabelian group is the only possible regular automorphism group. We include methods for demonstrating that abelian PDSs are not possible for a particular set of parameters or for a particular SRG. Four infinite families of genuinely nonabelian PDSs are described, two of which -- one arising from triangular graphs and one arising from Krein covers of complete graphs constructed by Godsil \cite{Godsil_1992} -- are new. We also include a new nonabelian PDS found by computer search and present some possible future directions of research.

Few-weight codes over finite chain rings are associated with combinatorial objects such as strongly regular graphs (SRGs), strongly walk-regular graphs (SWRGs) and finite geometries, and are also widely used in data storage systems and secret sharing schemes. The first objective of this paper is to characterize all possible parameters of Plotkin-optimal two-homogeneous weight regular projective codes over finite chain rings, as well as their weight distributions. We show the existence of codes with these parameters by constructing an infinite family of two-homogeneous weight codes. The parameters of their Gray images have the same weight distribution as that of the two-weight codes of type SU1 in the sense of Calderbank and Kantor (Bull Lond Math Soc 18: 97-122, 1986). Further, we also construct three-homogeneous weight regular projective codes over finite chain rings combined with some known results. Finally, we study applications of our constructed codes in secret sharing schemes and graph theory. In particular, infinite families of SRGs and SWRGs with non-trivial parameters are obtained.

In this paper we develop non-existence results for $m$-ovoids in the classical polar spaces $Q^-(2r+1,q), W(2r-1,q)$ and $H(2r,q^2)$ for $r>2$. In [4] a lower bound on $m$ for the existence of $m$-ovoids of $H(4,q^2)$ is found by using the connection between $m$-ovoids, two-character sets, and strongly regular graphs. This approach is generalized in [3] for the polar spaces $Q^-(2r+1,q), W(2r-1,q)$ and $H(2r,q^2)$, $r>2$. In [1] an improvement for the particular case $H(4,q^2)$ is obtained by exploiting the algebraic structure of the collinearity graph, and using the characterization of an $m$-ovoid as an intruiging set. In this paper, we use an approach based on geometrical and combinatorial arguments, inspired by the results from [10], to improve the bounds from [3].

For a graph $G$, the generalized adjacency matrix $A_α(G)$ is the convex combination of the diagonal matrix $D(G)$ and the adjacency matrix $A(G)$ and is defined as $A_α(G)=αD(G)+(1-α) A(G)$ for $0\leq α\leq 1$. This matrix has been found to be useful in merging the spectral theories of $A(G)$ and the signless Laplacian matrix $Q(G)$ of the graph $G$. The generalized adjacency energy or $A_α$-energy is the mean deviation of the $A_α$-eigenvalues of $G$ and is defined as $E(A_α(G))=\sum_{i=1}^{n}|p_i-\frac{2αm}{n}|$, where $p_i$'s are $A_α$-eigenvalues of $G$. In this paper, we investigate the $A_α$-eigenvalues of a strongly regular graph $G$. We observe that $A_α$-spectral radius $p_1$ satisfies $δ(G)\leq p_1 \leq Δ(G)$, where $δ(G)$ and $Δ(G)$ are, respectively, the smallest and the largest degrees of $G$. Further, we show that the complete graph is the only graph to have exactly two distinct $A_α$-eigenvalues. We obtain lower and upper bounds of $A_α$-energy in terms of order, size and extremal degrees of $G$. We also discuss the extremal cases of these bounds.

We construct a new family of strongly regular graphs with the same parameters as the strongly regular graphs $D_{5,5}(q)$. The construction can be seen as a variant of the construction of twisted Grassmann graphs by Van Dam and Koolen.