arXiv++ Combinatorics

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.

This paper presents a new graph isomorphism invariant, called $\mathfrak{w}$-labeling, that can be used to design a polynomial-time algorithm for solving the graph isomorphism problem for various graph classes. For example, all non-cospectral graph pairs are distinguished by the proposed combinatorial method, furthermore, even non-isomorphic cospectral graphs can be distinguished assuming certain properties of their eigenspaces. We also investigate a refinement of the aforementioned labeling, called $\mathfrak{s}^k$-labeling, which has both theoretical and practical applications. Among others, it can be used to generate graph fingerprints, which uniquely identify all graphs in the considered databases, including all strongly regular graphs on at most 64 nodes and all graphs on at most 12 nodes. It provably identifies all trees and 3-connected planar graphs up to isomorphism, which -- as a byproduct -- gives a new isomorphism algorithm for both graph classes. The practical importance of this fingerprint lies in significantly speeding up searching in graph databases, which is a commonly required task in biological and chemical applications.

This paper provides new observations on the Lovász $θ$-function of graphs. These include a simple closed-form expression of that function for all strongly regular graphs, together with upper and lower bounds on that function for all regular graphs. These bounds are expressed in terms of the second-largest and smallest eigenvalues of the adjacency matrix of the regular graph, together with sufficient conditions for equalities (the upper bound is due to Lovász, followed by a new sufficient condition for its tightness). These results are shown to be useful in many ways, leading to the determination of the exact value of the Shannon capacity of various graphs, eigenvalue inequalities, and bounds on the clique and chromatic numbers of graphs. Since the Lovász $θ$-function factorizes for the strong product of graphs, the results are also particularly useful for parameters of strong products or strong powers of graphs. Bounds on the smallest and second-largest eigenvalues of strong products of regular graphs are consequently derived, expressed as functions of the Lovász $θ$-function (or the smallest eigenvalue) of each factor. The resulting lower bound on the second-largest eigenvalue of a $k$-fold strong power of a regular graph is compared to the Alon--Boppana bound; under a certain condition, the new bound is superior in its exponential growth rate (in $k$). Lower bounds on the chromatic number of strong products of graphs are expressed in terms of the order and the Lovász $θ$-function of each factor. The utility of these bounds is exemplified, leading in some cases to an exact determination of the chromatic numbers of strong products or strong powers of graphs. The present research paper is aimed to have tutorial value as well.

The family of bent functions is a known class of Boolean functions, which have a great importance in cryptography. The Cayley graph defined on $\mathbb{Z}_{2}^{n}$ by the support of a bent function is a strongly regular graph $srg(v,kλ,μ)$, with $λ=μ$. In this note we list the parameters of such Cayley graphs. Moreover, it is given a condition on $(n,m)$-bent functions $F=(f_1,\ldots,f_m)$, involving the support of their components $f_i$, and their $n$-ary symmetric differences.

Let $Q^{+}(2n-1,2)$ be a non-degenerate hyperbolic quadric of $PG(2n-1,2)$. Let $NO^{+}(2n,2)$ be the tangent graph, whose vertices are the points of $PG(2n-1,2) \setminus Q^{+}(2n-1,2)$ and two vertices $u,~v$ are adjacent if the line joining $u$ and $v$ is tangent to $Q^{+}(2n-1,2)$. Then $NO^{+}(2n-1,q)$ is a strongly regular graph. Let $\mathcal{V}^{4}_{2}$ be the \textit{Veronese surface} in $PG(5,q)$, and $\mathcal{M}^{3}_{4}$ its \textit{secant variety}. When $q=2$, $|Q^{+}(5,2)|=|\mathcal{M}^{3}_{4}|=35$. In this paper we define the graph $N\mathcal{M}^{3}_{4}$, with 28 vertices in $PG(5,2)\setminus\mathcal{M}^{3}_{4}$ and with the analogue incidence rule of the tangent graph. Such graph is isomorphic to $NO^{+}(6,2)$.

A graph is $\ell$-reconstructible if it is determined by its multiset of induced subgraphs obtained by deleting $\ell$ vertices. We prove that strongly regular graphs with at least six vertices are $2$-reconstructible.

In this article, we give a first example of a pair of quantum isomorphic, non-isomorphic strongly regular graphs, that is, non-isomorphic strongly regular graphs having the same homomorphism counts from all planar graphs. The pair consists of the orthogonality graph of the $120$ lines spanned by the $E_8$ root system and a rank $4$ graph whose complement was first discovered by Brouwer, Ivanov and Klin. Both graphs are strongly regular with parameters $(120, 63, 30, 36)$. Using Godsil-McKay switching, we obtain more quantum isomorphic, non-isomorphic strongly regular graphs with the same parameters.

In 1988, Duval introduced the concept of directed strongly regular graphs, which can be viewed as a directed graph version of strongly regular graphs. Such directed graphs have similar structural and algebraic properties to strongly regular graphs. In the past three decades, it was found that Cayley graphs, especially those over dihedral groups, play a key role in the construction of directed strongly regular graphs. In this paper, we focus on the characterization of directed strongly regular Cayley graphs over more general groups. Let $G$ be a non-abelian group with an abelian subgroup of index $2$. We give some necessary conditions for a Cayley graph over $G$ to be directed strongly regular, and characterize the directed strongly regular Cayley graphs over $G$ satisfying specified conditions. This extends some previous results of He and Zhang (2019).

The stress of a vertex in a graph is the number of geodesics passing through it (A. Shimbel, 1953). A graph is $k$-stress regular if stress of each of its vertices is $k$. In this paper, we investigate some results and compute stress of vertices in some standard graphs and give a characterization of graphs with all vertices of zero stress except for one. Also we compute stress of vertices in graphs of diameter 2 and in the corona product $K_m \circ G$. Further we prove that any strongly regular graph is stress regular and characterize $k$-stress regular graphs for $k=0,1,2$.