arXiv++ Combinatorics

A Deza graph G with parameters (n,k,b,a) is a k-regular graph with n vertices such that any two distinct vertices have b or a common neighbours, where b >= a. The children G_A and G_B of a Deza graph G are defined on the vertex set of G such that every two distinct vertices are adjacent in G_A or G_B if and only if they have a or b common neighbours, respectively. In this paper we present a general approach to dual Seidel switching and investigate Deza graphs whose children are strongly regular graphs.

In 2013 Andriy V. Bondarenko showed how to construct a two-distance counterexample to Borsuk's conjecture from any strongly regular graph whose vertex set is not the union of at most $f+1$ cliques (sets of pairwise adjacent vertices) where $f$ is the multiplicity of the second-largest eigenvalue of its adjacency matrix. He applied that construction to those two graphs that he had been able to prove to fulfill the condition: From the $G_2(4)$ graph (on 416 vertices) he got a 65-dimensional two-distance counterexample. From the $Fi_{23}$ graph (on 31671 vertices) he got a 782-dimensional one and, by considering certain induced subgraphs, counterexamples in dimensions 781, 780 and 779. This article presents two other strongly regular graphs fulfilling the condition, on 28431 and on 2401, resp., vertices. It gives dedicated counterexamples in dimensions from 781 down to 764 derived from the bigger graph (that turned out to be an induced subgraph of the $Fi_{23}$ graph) and a 240-dimensional counterexample derived from the smaller graph. Several contained propositions rely on the results of (often extensive) computations, mainly within the computer algebra system GAP. The source package contains (almost) all used source files.

Davis and Jedwab (1997) established a great construction theory unifying many previously known constructions of difference sets, relative difference sets and divisible difference sets. They introduced the concept of building blocks, which played an important role in the theory. On the other hand, Polhill (2010) gave a construction of Paley type partial difference sets (conference graphs) based on a special system of building blocks, called a covering extended building set, and proved that there exists a Paley type partial difference set in an abelian group of order $9^iv^4$ for any odd positive integer $v>1$ and any $i=0,1$. His result covers all orders of nonelementary abelian groups in which Paley type partial difference sets exist. In this paper, we give new constructions of strongly regular Cayley graphs on abelian groups by extending the theory of building blocks. The constructions are large generalizations of Polhill's construction. In particular, we show that for a positive integer $m$ and elementary abelian groups $G_i$, $i=1,2,\ldots,s$, of order $q_i^4$ such that $2m\,|\,q_i+1$, there exists a decomposition of the complete graph on the abelian group $G=G_1\times G_2\times \cdots\times G_s$ by strongly regular Cayley graphs with negative Latin square type parameters $(u^2,c(u+1),- u+c^2+3 c,c^2+ c)$, where $u=q_1^2q_2^2\cdots q_s^2$ and $c=(u-1)/m$. Such strongly regular decompositions were previously known only when $m=2$ or $G$ is a $p$-group. Moreover, we find one more new infinite family of decompositions of the complete graphs by Latin square type strongly regular Cayley graphs. Thus, we obtain many strongly regular graphs with new parameters.

Maximum scattered subspaces are not only objects of intrinsic interest in finite geometry but also powerful tools for the construction of MRD-codes, projective two-weight codes, and strongly regular graphs. In 2018 Csajbók, Marino, Polverino, and Zanella introduced a new family of maximum scattered subspaces in $\mathbb{F}_{q^6} \times \mathbb{F}_{q^6}$ arising from polynomials of type $f_b(x)=bx^q+x^{q^4}$ for certain choices of $b \in \mathbb{F}_{q^6}$. Throughout characterizations for $f_{b_2}(x)$ and $f_{b_1}(x)$ giving rise to equivalent maximum scattered subspaces, the authors conjectured that the portion of new and inequivalent maximum scattered subspaces obtained in this way is quite large. In this paper first we find necessary and sufficient conditions for $b$ to obtain a maximum scattered subspace. Such conditions were found independently with different techniques also by Polverino and Zullo 2019. Then we prove the conjecture on the number of new and inequivalent maximum scattered subspaces of this family.

In this paper, we construct directed strongly regular graphs with new parameters by using partial sum families with local rings. 16 families of new directed strongly regular graphs are obtained and the uniform partial sum families are given. Based on the cyclotomic numbers of finite fields, we present two infinite families of directed strongly regular Cayley graphs from semi-direct products of groups.

The $k$-dimensional Weisfeiler-Leman algorithm is a powerful tool in graph isomorphism testing. For an input graph $G$, the algorithm determines a canonical coloring of $s$-tuples of vertices of $G$ for each $s$ between 1 and $k$. We say that a numerical parameter of $s$-tuples is $k$-WL-invariant if it is determined by the tuple color. As an application of Dvořák's result on $k$-WL-invariance of homomorphism counts, we spot some non-obvious regularity properties of strongly regular graphs and related graph families. For example, if $G$ is a strongly regular graph, then the number of paths of length 6 between vertices $x$ and $y$ in $G$ depends only on whether or not $x$ and $y$ are adjacent (and the length 6 is here optimal). Or, the number of cycles of length 7 passing through a vertex $x$ in $G$ is the same for every $x$ (where the length 7 is also optimal).

Deza digraphs were introduced in 2003 by Zhang and Wang as directed graph version of Deza graphs, that also generalize the notion of directed strongly regular graphs. In this paper we give several new constructions of Deza digraphs. Further, we introduce twin and Siamese twin (directed) Deza graphs and construct several examples. Moreover, we classify directed Deza graphs with parameters $(n,k,b,a,t)$ having the property that $b=t$. Finally, we introduce a variation of directed Deza graphs and provide a construction from finite fields.

The quadratic embedding constant (QE constant) of a graph is a new characteristic value of a graph defined through the distance matrix. We derive formulae for the QE constants of the join of two regular graphs, double graphs and certain lexicographic product graphs. Examples include complete bipartite graphs, wheel graphs, friendship graphs, completely split graph, and some graphs associated to strongly regular graphs.

Quantum Approximate Optimization Algorithm (QAOA) is a hybrid classical-quantum algorithm to approximately solve NP optimization problems such as MAX-CUT. We describe a new application area of QAOA circuits: graph structure discovery. We omit the time-consuming parameter-optimization phase and utilize the dependence of QAOA energy on the graph structure for randomly or judiciously chosen parameters to learn about graphs. In the first part, Following up on Wang et. al. and Brandao et. al. we give explicit formulas. We show that the layer-one QAOA energy for the MAX-CUT problem for three regular graphs carries exactly the information: {\em (# of vertices, # of triangles)}. We have calculated our explicit formulas differently from \cite{wang2018quantum}, by developing the notion of the $U$ polynomial of a graph $G$. Many of our discoveries can be interpreted as computing $U(G)$ under various restrictions. The most basic question when comparing the structure of two graphs is if they are isomorphic or not. We find that the QAOA energies separate all non-isomorphic three-regular graphs up to size 18, all strongly regular graphs up to size 26 and the Praust and the smallest Miyazaki examples. We observe that the QAOA energy values can be also used as a proxy to how much graphs differ. Unfortunately, we have also found a sequence of non-isomorphic pairs of graphs, for which the energy gap seems to shrink at an exponential rate as the size grows. Our negative findings however come with a surprise: if the QAOA energies do not measurably separate between two graphs, then both of their energy landscapes must be extremely flat (indistinguishable from constant), already when the number of QAOA layers is intermediately large. This holds due to a remarkable uncoupling phenomenon that we have only deduced from computer simulation.

We prove that a distance-regular graph with a dominant distance is a spectral expander. The key ingredient of the proof is a new inequality on the intersection numbers. We use the spectral gap bound to study the structure of the automorphism group. 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$. In 2014 Babai proved that the automorphism group of a strongly regular graph with $n$ vertices has minimal degree $\geq c n$, with known exceptions. Strongly regular graphs correspond to distance-regular graphs of diameter 2. Babai conjectured that Hamming and Johnson graphs are the only primitive distance-regular graphs of diameter $d\geq 3$ whose automorphism group has sublinear minimal degree. We confirm this conjecture for non-geometric primitive distance-regular graphs of bounded diameter. We also show if the primitivity assumption is removed, then only one additional family of exceptions arises, the cocktail-party graphs. We settle the geometric case in a companion paper.

We give simple arithmetic conditions that force the Sylow $p$-subgroup of the critical group of a strongly regular graph to take a specific form. These conditions depend only on the parameters $(v, k, λ, μ)$ of the strongly regular graph under consideration. We give many examples, including how the theory can be used to compute the critical group of Conway's $99$-graph and to give an elementary argument that no $srg(28,9,0,4)$ exists.

In this paper we consider the question of when a strongly regular graph with parameters $((s+1)(st+1),s(t+1),s-1,t+1)$ can exist. These parameters arise when the graph is derived from a generalized quadrangle, but there are other examples which do not arise in this manner, and we term these {\it pseudo-generalized quadrangles}. If the graph is a generalized quadrangle then $t \leq s^2$ and $s \leq t^2$, while for pseudo-generalized quadrangles we still have the former bound but not the latter. Previously, Neumaier has proved a bound for $s$ which is cubic in $t$, but we improve this to one which is quadratic. The proof involves a careful analysis of cliques and cocliques in the graph. This improved bound eliminates many potential parameter sets which were otherwise feasible.

In 2018 the first, Rukavina and the third author constructed with the aid of a computer the first example of a strongly regular graph $Γ$ with parameters (216, 40, 4, 8) and proved that it is the unique PSU(4,2)-invariant vertex-transitive graph on 216 vertices. In this paper, using the geometry of the Hermitian surface of PG(3, 4), we provide a computer-free proof of the existence of the graph $Γ$. The maximal cliques of $Γ$ are also determined.

We study a modified notion of Ollivier's coarse Ricci curvature on graphs introduced by Lin, Lu, and Yau in [11]. We establish a rigidity theorem for complete graphs that shows a connected finite simple graph is complete if and only if the Ricci curvature is strictly greater than one. We then derive explicit Ricci curvature formulas for strongly regular graphs in terms of the graph parameters and the size of a maximal matching in the core neighborhood. As a consequence we are able to derive exact Ricci curvature formulas for strongly regular graphs of girth 4 and 5 using elementary methods. An example is provided that shows there is no exact formula for the Ricci curvature for strongly regular graphs of girth $3$ that is purely in terms of graph parameters.

Let $V$ be an $r$-dimensional $\mathbb{F}_{q^n}$-vector space. We call an $\mathbb{F}_q$-subspace $U$ of $V$ $h$-scattered if $U$ meets the $h$-dimensional $\mathbb{F}_{q^n}$-subspaces of $V$ in $\mathbb{F}_q$-subspaces of dimension at most $h$. In 2000 Blokhuis and Lavrauw proved that $\dim_{\mathbb{F}_q} U \leq rn/2$ when $U$ is $1$-scattered. Subspaces attaining this bound have been investigated intensively because of their relations with projective two-weight codes and strongly regular graphs. MRD-codes with a maximum idealiser have also been linked to $rn/2$-dimensional $1$-scattered subspaces and to $n$-dimensional $(r-1)$-scattered subspaces. In this paper we prove the upper bound $rn/(h+1)$ for the dimension of $h$-scattered subspaces, $h>1$, and construct examples with this dimension. We study their intersection numbers with hyperplanes, introduce a duality relation among them, and study the equivalence problem of the corresponding linear sets.

Our main result is a generalized Dillon-type theorem, giving graph-theoretic conditions which guarantee that a $p$-ary function in an even number of variables is bent, for $p$ a prime number greater than 2. The key condition is that the component Cayley graphs associated to the values of the function are strongly regular, and either all of Latin square type, or all of negative Latin square type. Such a Latin or negative Latin square type bent function is regular or weakly regular, respectively. Its dual function has component Cayley graphs with the same parameters as those of the original function. We also give a criterion for bent functions involving structure constants of association schemes. We prove that if a $p$-ary function with component Cayley graphs of feasible degrees determines an amorphic association scheme, then it is bent. Since amorphic association schemes correspond to strongly regular graph decompositions of Latin or negative Latin square type, this result is equivalent to our main theorem. We show how to construct bent functions from orthogonal arrays and give some examples.

We show that the strongly regular graph on non-isotropic points of one type of the polar spaces of type $U(n, 2)$, $O(n, 3)$, $O(n, 5)$, $O^+(n, 3)$, and $O^-(n, 3)$ are not determined by its parameters for $n \geq 6$. We prove this by using a variation of Godsil-McKay switching recently described by Wang, Qiu, and Hu. This also results in a new, shorter proof of a previous result of the first author which showed that the collinearity graph of a polar space is not determined by its spectrum. The same switching gives a linear algebra explanation for the construction of a large number of non-isomorphic designs.

We classify all the $2$-arc-transitive strongly regular graphs, and use this classification to study the family of finite $(G,3)$-geodesic-transitive graphs of girth $4$ or $5$ for some group $G$ of automorphisms. For this application we first give a reduction result on the latter family of graphs: let $N$ be a normal subgroup of $G$ which has at least $3$ orbits on vertices. We show that $Γ$ is a cover of its quotient $Γ_N$ modulo the $N$-orbits, and that either $Γ_N$ is $(G/N,3)$-geodesic-transitive of the same girth as $Γ$, or $Γ_N$ is a $(G/N,2)$-arc-transitive strongly regular graph, or $Γ_N$ is a complete graph with $G/N$ acting 3-transitively on vertices. The classification of $2$-arc-transitive strongly regular graphs allows us to characterise the $(G,3)$-geodesic-transitive covers $Γ$ when $Γ_N$ is complete or strongly regular.

Let $λ\geq2$ be an integer. For strongly regular graphs with parameters $(v, k, a,c)$ and smallest eigenvalue $-λ$, Neumaier gave two bounds on $c$ by using algebraic property of strongly regular graphs. In this paper, we will study a new class of regular graphs called sesqui-regular graphs, which contains strongly regular graphs as a subclass, and prove that for a sesqui-regular graph with parameters $(v,k,c)$ and smallest eigenvalue at least $-λ$, if $k$ is very large, then either $c \leq λ^2(λ-1)$ or $v-k-1 \leq \frac{(λ-1)^2}{4} + 1$ holds.

For a set of distances $D$, a graph $G$ on $n$ vertices is said to be $D$-magic if there exists a bijection $f:V\rightarrow \{1,2, \ldots , n\}$ and a constant $k$ such that for any vertex $x$, $\sum_{y\in N_D(x)} f(y) = k$, where $N_D(x)=\{y|d(x,y)=i, i\in D\}$ is the $D$-neighbourhood set of $x$. In this paper we utilize spectra of graphs to characterize strongly regular graphs which are $D$-magic, for all possible distance sets $D$. In addition, we provide necessary conditions for distance regular graphs of diameter 3 to be $\{1\}$-magic.