arXiv++ Combinatorics

For an incidence geometry $\mathcal{G} = (\mathcal{P}, \mathcal{L}, \text{I})$ with a linear representation $\mathcal{T}_n^*(\mathcal{K})$, we apply WQH switching to construct a non-geometric graph $Γ'$ cospectral with the line graph $Γ$ of $\mathcal{G}$. As an application, we show that for $h \geq 2$ and $0 < m < h$, there are strongly regular graphs with parameters $(v, k, λ, μ) = (2^{2h} (2^{m+h}+2^m-2^h), 2^h (2^h+1)(2^m-1), 2^h (2^{m+1}-3), 2^h (2^m-1))$ which are not point graphs of partial geometries of order $(s,t,α) = ((2^h+1)(2^m-1), 2^h-1, 2^m-1)$.

Clustering coefficient is one of the most useful indices in complex networks. However, graph theoretic properties of this metric have not been discussed much in the literature, especially in graphs resulting from some binary operations. In this paper we present some expressions for the clustering coefficient of the tensor product of arbitrary graphs, regular graphs, and strongly regular graphs. A Vizing-type upperbound and a sharp lower bound for the clustering coefficient of the tensor product of graphs are also given.

We consider generalized Paley graphs $Γ(k,q)$, generalized Paley sum graphs $Γ^+(k,q)$, and their corresponding complements $\bar Γ(k,q)$ and $\bar Γ^+(k,q)$, for $k=3,4$. Denote by $Γ= Γ^*(k,q)$ either $Γ(k,q)$ or $Γ^+(k,q)$. We compute the spectra of $Γ(3,q)$ and $Γ(4,q)$ and from them we obtain the spectra of $Γ^+(3,q)$ and $Γ^+(4,q)$ also. Then we show that, in the non-semiprimitive case, the spectrum of $Γ(3,p^{3\ell})$ and $Γ(4,p^{4\ell})$ with $p$ prime can be recursively obtained, under certain arithmetic conditions, from the spectrum of the graphs $Γ(3,p)$ and $Γ(4,p)$ for any $\ell \in \mathbb{N}$, respectively. Using the spectra of these graphs we give necessary and sufficient conditions on the spectrum of $Γ^*(k,q)$ such that $Γ^*(k,q)$ and $\bar Γ^*(k,q)$ are equienergetic for $k=3,4$. In a previous work we have classified all bipartite regular graphs $Γ_{bip}$ and all strongly regular graphs $Γ_{srg}$ which are complementary equienergetic, i.e.\@ $\{Γ_{bip}, \barΓ_{bip}\}$ and $\{Γ_{srg}, \barΓ_{srg}\}$ are equienergetic pairs of graphs. Here we construct infinite pairs of equienergetic non-isospectral regular graphs $\{Γ, \bar Γ\}$ which are neither bipartite nor strongly regular.

We study pseudo-geometric strongly regular graphs whose second subconstituent with respect to a vertex is a cover of a strongly regular graph or a complete graph. By studying the structure of such graphs, we characterize all graphs containing such a vertex, and use our characterization to find many new strongly regular graphs. Thereby, we answer a question posed by Gardiner, Godsil, Hensel, and Royle. We give an explicit construction for q new, pairwise non-isomorphic graphs with the same parameters as the collinearity graph of generalized quadrangles of order $(q,q)$ and a new non-geometric graph with the same parameters as the collinearity graph of the Hermitian generalized quadrangle of order $(q^2, q)$, for prime powers $q$. Using our characterization, we computed 135478 new strongly regular graphs with parameters (85,20,3,5) and 27 039 strongly regular graphs with parameters (156, 30, 4, 6).

We study solutions of a quadratic matrix equation arising in Riemannian geometry. Let $S$ be a real symmetric $n\times n$-matrix with zeros on the diagonal and let $θ$ be a real number. We construct nonzero solutions $(S,θ)$ of the set of quadratic equations \[\sum_kS_{i,k}=0\quad\text{ and }\quad\sum_{k}S_{i,k}S_{k,j}+S_{i,j}^2=θS_{i,j}\text { for }i<j.\] Our solutions relate the equations to strongly regular graphs, to group rings, and to multiplicative characters of finite fields.

We determine the maximum order of an element in the critical group of a strongly regular graph, and show that it achieves the spectral bound due to Lorenzini. We extend the result to all graphs with exactly two non-zero Laplacian eigenvalues, and study the signed graph version of the problem. We also study the monodromy pairing on the critical groups, and suggest an approach to study the structure of these groups using the pairing.

The symplectic graph Sp(2d, q) is the collinearity graph of the symplectic space of dimension 2d over a finite field of order q. A k-regular graph on v vertices is a divisible design graph with parameters (v, k, lambda_1, lambda_2 ,m,n) if its vertex set can be partitioned into m classes of size n, such that any two different vertices from the same class have lambda_1 common neighbours, and any two vertices from different classes have lambda_2 common neighbours whenever it is not complete or edgeless. In this paper we propose a new construction of strongly regular graphs with the parameters of the complement of the symplectic graph using divisible design graphs.

We present all nontrivial real equiangular tight frames $\{\varphi_m\}_{m=1}^M$ in $\mathbb{R}^N$ obtained as spherical embeddings of primitive rank $3$ graphs on $M$ vertices, and those such that one of their associated $M$ strongly regular graphs on $M-1$ vertices is a primitive rank $3$ graph.

Given feasible strongly regular graph parameters $(v,k,λ,μ)$ and a non-negative integer $d$, we determine upper and lower bounds on the order of a $d$-regular induced subgraph of any strongly regular graph with parameters $(v,k,λ,μ)$. Our new bounds are at least as good as the bounds on the order of a $d$-regular induced subgraph of a $k$-regular graph determined by Haemers. Further, we prove that for each non-negative integer $d$, our new upper bound improves on Haemers' upper bound for infinitely many strongly regular graphs.

Adinkras are signed graphs used to study supersymmetry in physics. We provide an introduction to these objects, and study the properties of their signed adjacency and signed Laplacian matrices. These matrices each have exactly two distinct eigenvalues (of equal multiplicity), making Adinkras closely related to the notions of strongly regular graphs. We also study the critical groups of Adinkras, and in particular determine their odd components. A novel technique of independent interest is used which considers critical groups over polynomial rings.

A weighing matrix $W$ is quasi-balanced if $|W||W|^\top=|W|^\top|W|$ has at most two off-diagonal entries, where $|W|_{ij}=|W_{ij}|$. A quasi-balanced weighing matrix $W$ signs a strongly regular graph if $|W|$ coincides with its adjacency matrix. Among other things, signed strongly regular graphs and their equivalent association schemes are presented.

There exist few examples of negative Latin square type partial difference sets (NLST PDSs) in nonabelian groups. We present a list of 176 inequivalent NLST PDSs in 48 nonisomorphic, nonabelian groups of order 64. These NLST PDSs form 8 nonisomorphic strongly regular graphs. These PDSs were constructed using a combination of theoretical techniques and computer search, both of which are described. The search was run exhaustively on 212/267 nonisomorphic groups of order 64.

Let $H(n, q^2)$ be a non-degenerate Hermitian variety of $PG(n,q^2)$, $n \geq 2$. Let $NU(n+1,q^2)$ be the graph whose vertices are the points of $PG(n,q^2) \setminus H(n,q^2)$ and two vertices $u,~v$ are adjacent if the line joining $u$ and $v$ is tangent to $H(n, q^2 )$. Then $NU(n + 1, q^2)$ is a strongly regular graph. In this paper we show that the automorphism group of the graph $NU(3,q^2)$ is isomorphic either to $PΓU(3,q)$, the automorphism group of the projective unitary group $PGU(3,q)$, or to $S_{3} \wr S_{4}$, according as $q \neq 2$, or $q=2$.

A k-regular graph on v vertices is a divisible design graph with parameters (v, k, lambda_1 ,lambda_2, m, n) if its vertex set can be partitioned into m classes of size n, such that any two different vertices from the same class have lambda_1 common neighbours, and any two vertices from different classes have lambda_2 common neighbours whenever it is not complete or edgeless. If m=1, then a divisible design graph is strongly regular with parameters (v, k, lambda_1, lambda_1). In this paper the Wallis-Fon-Der-Flaass construction of strongly regular graphs is modified to create new constructions of divisible design graphs. In some cases, these constructions lead to strongly regular graphs.

A design graph is a regular bipartite graph in which any two distinct vertices of the same part have the same number of common neighbors. This class of graphs have a close relationship to strongly regular graphs. In this paper, we study the distance eigenvalues of the design graphs. Also, we will explicitly determine the distance eigenvalues of a class of design graphs, and determine the values for which the class is distance integral, that is, its distance eigenvalues are integers.

In 1973, Lemmens and Seidel posed the problem of determining the maximum number of equiangular lines in $\mathbb{R}^r$ with angle $\arccos(α)$ and gave a partial answer in the regime $r \leq 1/α^2 - 2$. At the other extreme where $r$ is at least exponential in $1/α$, recent breakthroughs have led to an almost complete resolution of this problem. In this paper, we introduce a new method for obtaining upper bounds which unifies and improves upon previous approaches, thereby yielding bounds which bridge the gap between the aforementioned regimes and are best possible either exactly or up to a small multiplicative constant. Our approach relies on orthogonal projection of matrices with respect to the Frobenius inner product and as a byproduct, it yields the first extension of the Alon-Boppana theorem to dense graphs, with equality for strongly regular graphs corresponding to $\binom{r+1}{2}$ equiangular lines in $\mathbb{R}^r$. Applications of our method in the complex setting will be discussed as well.

The minimal degree of a permutation group $G$ is the minimum number of points not fixed by non-identity elements of $G$. Lower bounds on the minimal degree have strong structural consequences on $G$. Babai conjectured that if a primitive coherent configuration with $n$ vertices is not a Cameron scheme, then its automorphism group has minimal degree $\geq cn$ for some constant $c>0$. In 2014, Babai proved the desired lower bound on the minimal degree of the automorphism groups of strongly regular graphs, thus confirming the conjecture for primitive coherent configurations of rank 3. In this paper, we extend Babai's result to primitive coherent configurations of rank 4, confirming the conjecture in this special case. The proofs combine structural and spectral methods.

The graph $G$ is said to be strongly regular with parameters $(n,k,λ,μ)$ if the following conditions hold: (1) each vertex has $k$ neighbours; (2) any two adjacent vertices of $G$ have $λ$ common neighbours; (3) any two non-adjacent vertices of $G$ have $μ$ common neighbours. In this paper we study two weaker notions of strongly regular graphs. A graph satisfying the conditions $(1)$ and $(2)$ is called an edge-regular graph with parameters $(n,k,λ)$. We call a graph satisfying the conditions $(1)$ and $(3)$ a pseudo strongly regular graph with parameters $(n,k,μ)$. In this paper we study the impact of various graph operations on edge regular graphs and pseudo strongly regular graphs.

In this paper we show that there does not exist a strongly regular graph with parameters $(1911,270,105,27)$.

We study the average probability that a discrete-time quantum walk finds a marked vertex on a graph. We first show that, for a regular graph, the spectrum of the transition matrix is determined by the weighted adjacency matrix of an augmented graph. We then consider the average search probability on a distance regular graph, and find a formula in terms of the adjacency matrix of its vertex-deleted subgraph. In particular, for any family of (1) complete graphs, or (2) strongly regular graphs, or (3) distance regular graphs of a fixed parameter $d$, varying valency $k$ and varying size $n$, such that $k^{d-1}/n$ vanishes as $k$ increases, the average search probability approaches $1/4$ as the valency goes to infinity. We also present a more relaxed criterion, in terms of the intersection array, for this limit to be approached by distance regular graphs.