arXiv++ Combinatorics

In this paper we survey existing results on Deza graphs and give some new results. We present an introduction to Deza graphs for the reader who is unfamiliar with the subject, and then give an overview of some developments in the area of Deza graphs since the initial paper by five authors [M. Erickson, S. Fernando, W. H. Haemers, D. Hardy, J. Hemmeter, Deza graphs: \emph{A generalization of strongly regular graphs}, J. Comb. Designs. 7 (1999), 395--405.] was written. We then investigate 3-class cyclotomic schemes and give necessary and sufficient conditions to get a Deza graph as a graph given by one relation or the union of two relations. Finally, we prove that a strictly Deza circulant on $2p$ vertices, where $p$ is prime, is isomorphic to the lexicographical product of the Paley graph on $p$ vertices with an edge.

A Deza graph $Γ$ with parameters $(v,k,b,a)$ is a $k$-regular graph with $v$ vertices such that any two distinct vertices have $b$ or $a$ common neighbours, where $b \ge a$. A Deza graph of diameter 2 which is not a strongly regular graph is called a strictly Deza graph. We find all 139 strictly Deza graphs up to 21 vertices.

Let $q$ be an odd prime power. Denote by $r(q)$ the value of $q$ modulo 4. In this paper, we establish a linear fractional correspondence between two types of maximal cliques of size $\frac{q+r(q)}{2}$ in the Paley graph of order $q^2$.

Dual Seidel switching is a graph operation introduced by W.~Haemers in 1984. This operation can change the graph, however it does not change its bipartite double, and because of this, the operation leaves the squares of the eigenvalues invariant. Thus, if a graph is integral then it is still integral after dual Seidel switching. In this paper two new infinite families of integral graphs are obtained by applying dual Seidel switching to the Star graphs and the Odd graphs. In particular, three new $4$-regular integral graphs with their spectra are found.

A regular clique in a regular graph is a clique such that every vertex outside of the clique is adjacent to the same positive number of vertices inside the clique. We continue the study of regular cliques in edge-regular graphs initiated by A. Neumaier in the 1980s and attracting current interest. We thus define a Neumaier graph to be an non-complete edge-regular graph containing a regular clique, and a strictly Neumaier graph to be a non-strongly regular Neumaier graph. We first prove some general results on Neumaier graphs and their feasible parameter tuples. We then apply these results to determine the smallest strictly Neumaier graph, which has $16$ vertices. Next we find the parameter tuples for all strictly Neumaier graphs having at most $24$ vertices. Finally, we give two sequences of graphs, each with $i^{\text{th}}$ element a strictly Neumaier graph containing a $2^{i}$-regular clique (where $i$ is a positive integer) and having parameters of an affine polar graph as an edge-regular graph. This answers questions recently posed by G. Greaves and J. Koolen.

A Deza graph with parameters $(n,k,b,a)$ is a $k$-regular graph with $n$ vertices in which any two vertices have $a$ or $b$ ($a\leq b$) common neighbours. A Deza graph is strictly Deza if it has diameter $2$, and is not strongly regular. In an earlier paper, the two last authors et el. characterized the strictly Deza graphs with $b=k-1$ and $β> 1$, where $β$ is the number of vertices with $b$ common neighbours with a given vertex. Here we deal with the case $β=1$, thus we complete the characterization of strictly Deza graphs with $b=k-1$. It follows that all Deza graphs with $b=k-1$ and $β=1$ can be made from special strongly regular graphs, and we present several examples of such strongly regular graphs. A divisible design graph is a special Deza graph, and a Deza graph with $β=1$ is a divisible design graph. The present characterization reveals an error in a paper on divisible design graphs by the second author et al. We discuss the cause and the consequences of this mistake and give the required errata.

We consider the symmetric group $\mathrm{Sym}_n,\,n\geqslant 2$, generated by the set $S$ of transpositions $(1~i),\,2 \leqslant i \leqslant n$, and the Cayley graph $S_n=Cay(\mathrm{Sym}_n,S)$ called the Star graph. For any positive integers $n\geqslant 3$ and $m$ with $n > 2m$, we present a family of $PI$-eigenfunctions of $S_n$ with eigenvalue $n-m-1$. We establish a connection of these functions with the standard basis of a Specht module. In the case of largest non-principal eigenvalue $n-2$ we prove that any eigenfunction of $S_n$ can be reconstructed by its values on the second neighbourhood of a vertex.

In this paper we find new maximal cliques of size $\frac{q+1}{2}$ or $\frac{q+3}{2}$, accordingly as $q\equiv 1(4)$ or $q\equiv 3(4)$, in Paley graphs of order $q^2$, where $q$ is an odd prime power. After that we use new cliques to define a family of eigenfunctions corresponding to both non-principal eigenvalues and having the cardinality of support $q+1$, which is the minimum by the weight-distribution bound.