arXiv++ Combinatorics

The entries of the spectral idempotents of a graph are its local and crossed local multiplicities. This paper uses these classical quantities in three applications. First, in a graph on $n$ vertices without isolated vertices, every local multiplicity is at most $\frac{n-1}{n}$, and every diagonal entry of the Cesaro average mixing matrix is at most $1-\frac{2}{n}+\frac{2}{n^2}$. In both bounds equality holds only for the complete graph. This proves the connected form of the complete graph trace conjecture of Godsil, Guo and Sobchuk together with its equality case, and component and degree refinements follow. The two upper bounds and their attainment by complete graphs also occur in a recent machine checked proof, without a formal characterization of when equality holds. Second, for the line graph of a connected graph $Γ$, the average return probability at a bridge with a bipartite component on one side is at least the reciprocal of the rank of the unsigned incidence matrix. Equality holds exactly for $P_2$ and $P_3$. The proof combines local moments with known inverse-incidence formulas. Finally, the paper gives a short proof of Godsil's entry criterion, which says that vertices $u$ and $v$ are strongly cospectral exactly when $\left|(E_θ)_{uv}\right|=(E_θ)_{uu}$ for every eigenvalue $θ$. The criterion recovers the known classification in connected noncomplete strongly regular graphs, where the strongly cospectral pairs are precisely the two-vertex parts of cocktail party graphs.

Quasi-strongly regular graphs form a significant generalization of strongly regular graphs. We study the eigenvalues of a family of such graphs, $Γ_H(G)$, constructed from a finite group $G$ and a subgroup $H$. Our main results include a sufficient condition for $Γ_H(G)$ to be integral and an explicit computation of its entire spectrum when $H$ is normal, revealing that the spectrum in this case depends only on $|G|$ and the index $[G:H]$.

We find the 728 vertex-transitive directed strongly regular graphs with parameters $(v,k,t,λ,μ)$ where $1 \le v \le 39$ and $k < v/2$ and $0 < t < k$. A table with parameters and automorphism groups and some additional data is given.

How many disjoint copies of some graph $H$ can appear in an induced subgraph of a strongly regular graph? We give upper and lower bounds that depend on the number of vertices in their boundary. This generalizes a result of Lou-Murin which bounds the independence number of a (hitherto still elusive) strongly regular graph with parameters $(99,14,1,2)$. The equality cases suggest alternative structural approaches for potential constructions of such a graph. We show, using computer searches, that one cannot impose certain additional natural conditions for some of the cases.

We construct biregular graphs with three distinct eigenvalues from semiregular group divisible designs. For every prime power $q$, we use the spectral structure of Muzychuk's Construction~A on $q+1$ copies of $\operatorname{AG}(2,q^2)$ to produce suitable group divisible designs. The resulting biregular graphs have $2q^5+q^4+q^2$ vertices and distinct eigenvalues $q^5+q^3+q^2$, $q^2$, and $-q^2$. Their coherent closures have rank $12$ and type $\left[\begin{smallmatrix}3&2\\2&5\end{smallmatrix}\right]$. We also determine the four-class symmetric association schemes that are the coherent closures of the auxiliary graphs in this family. Computational searches provide further graphs on $81$ and $156$ vertices, using Muzychuk's Construction~B and a generalised quadrangle, respectively; their coherent closures have ranks $13$ and $10$. The $156$-vertex example has a strongly regular design as its coherent closure, of type $\left[\begin{smallmatrix}3&2\\2&3\end{smallmatrix}\right]$, answering a question of the authors. We also realise a $126$-vertex example by switching a strongly regular graph.

In Cayley graphs on the additive group of a small vector space over GF$(q)$, $q=2,3$, we look for completely regular (CR) codes whose parameters are new in Hamming graphs over the same field. The existence of a CR code in such a Cayley graph $G$ implies the existence of a CR code with the same parameters in the corresponding Hamming graph that covers $G$. In such a way, we find several completely regular codes with new parameters in Hamming graphs over GF(2) and GF(3). The most interesting findings are two new CR-1 (with covering radius 1) codes that are independent sets (such CR are equivalent to optimal orthogonal arrays attaining the Bierbrauer-Friedman bound) and one new CR-2 code. By recursive constructions, every new CR code induces an infinite sequence of CR codes (in particular, optimal orthogonal arrays if the original code is CR-1 and independent). Some of the found ternary CR codes disprove a conjectured generalization of the correlation-immunity bound on the strength of binary orthogonal arrays to the non-binary case. In between, we classify feasible parameters of CR codes in several strongly regular graphs. Keywords: completely regular codes, Hamming graphs, Cayley graphs, strongly regular graphs, graph covering, orthogonal arrays

This paper develops a natural extension of the multipoint spherical semidefinite method of Liao and Yu~\cite{LY}, studying the interaction between semidefinite programming and strongly regular graph counting. Starting from the positive semidefinite kernels furnished by Gegenbauer polynomials, we express weighted kernel sums and counting identities in the same labelled induced-subgraph counts. Eliminating the counting equations gives a semidefinite feasibility problem. Numerical dual solutions guide the construction of rational certificates, whose contradiction identities are verified exactly. Our aim is a systematic method that treats many parameter sets through the same construction. For least eigenvalue $-3$, it gives new counting certificates for $(351,140,73,44)$, $(550,162,75,36)$, $(703,182,81,35)$ and $(1344,221,88,26)$, previously excluded by Liao and Yu~\cite[Theorem~1]{LY}, and for six additional parameter sets: \[ \begin{array}{@{}lll@{}} (375,102,45,21), & (405,132,63,33), & (441,88,35,13),\\ (476,133,60,28), & (540,147,66,30), & (575,112,45,16). \end{array} \] Seven certificates use Gegenbauer positivity and counting information alone at the displayed orders. The cases $v=375,441,575$ additionally use proved short-vector restrictions, unique vertex extensions, and integer common-neighbour inequalities. The proofs end in displayed inequalities with incompatible signs. Their justification is given by the dual identities and the proved positivity and counting relations; accompanying code automates the longer rational arithmetic.

An association scheme is called amorphic if every possible fusion of relations gives rise to another association scheme. In earlier work, we showed that if an association scheme has at most one relation that is neither strongly regular of Latin square type nor strongly regular of negative Latin square type, then it must be amorphic. We now construct non-amorphic $d$-class association schemes in which precisely two relations are not strongly regular of Latin square type or strongly regular of negative Latin square type, for any $d \geq 4$. We also raise the question whether different types of strongly regular graphs can coexist in an association scheme. Among some other results, we show that if one of the relations is a lattice graph, then any other strongly regular relation in the scheme must be of Latin square type.

Let \(B_n\) denote the book graph consisting of \(n\) triangles sharing a common edge. Rousseau and Sheehan (1978) proved, using Paley graphs, that \(R(B_n,B_n)=4n+2\) whenever \(4n+1\) is a prime power. Since then, only a few additional exact values of \(R(B_n,B_n)\) have been obtained. In this paper, we obtain \(R(B_n,B_n)=4n+1\) for infinitely many \(n\) by constructing graphs from pseudo-cyclic strongly regular graphs (PC-graphs). To the best of our knowledge, this is the first new infinite family of exact diagonal book Ramsey numbers since 1978. We also prove that \(R(B_{n-2},B_n)\le 4n-3\) for every \(n\ge 3\) with \(n\ne 6\), removing the original condition \(n\equiv 2\pmod 3\) imposed by Rousseau and Sheehan. Moreover, equality \(R(B_{n-2},B_n)=4n-3\) holds if there exists a symmetric Hadamard matrix of order \(2n-2\) with all diagonal entries equal to \(1\). In particular, this equality holds for every \(n=2^{2\ell-1}+1\) with \(\ell\ge 1\).

Conway's $99$-graph is a strongly regular graph with parameters $(v,k,λ,μ) = (99,14,1,2)$ and whose existence has long been an open problem. We use both a sum-of-squares program and the fact that a strongly regular graph with $λ= 1, μ= 2$ has no diamond or $K_{2,3}$ subgraph to derive a loose upper bound for the number of triangles that such a graph could contain. This bound is less than the number of triangles that the graph's spectrum asserts, implying that it does not exist.

A graph $G$ is $n$-existentially closed or $n$-e.c. if, for all subsets $S\subseteq V(G)$ with $|S|=n$ and for all partitions $S=A\sqcup B$, there exists a vertex in $V(G)\setminus S$ adjacent to all vertices in $A$ and no vertices in $B$. We study the minimum number of edges $m(v,n)$ of a $v$-vertex $n$-e.c. graph, and show that $m(v,2)=3v+O(1)$ while $m(v,n)=Θ(v\log v)$ for fixed $n\ge 3$. The latter result uses a connection to binary covering arrays. A related parameter is the VC-dimension of $G$, defined as the size of the largest subset of vertices shattered by the neighborhoods of vertices in $G$. We initiate systematic study of the VC-dimensions of strongly regular graphs (SRGs). We characterize the sufficiently large SRGs with VC-dimension 2. Furthermore, we determine the VC-dimension of sufficiently large Latin square graphs and of all SRGs of order at most 28, and prove upper bounds for SRGs arising from orthogonal arrays or Steiner systems.

We study continuous-time quantum walks on connected strongly regular graphs that are not complete, observed at a random time drawn from a freely chosen probability law. Uniform average mixing (UAM) asks for a law under which every averaged transition probability equals $1/n$, where $n$ is the number of vertices. On a strongly regular graph this is equivalent to two affine constraints on three cosine moments. We construct a bounded, compactly supported time density for every strongly regular graph with nonintegral eigenvalues. For integral spectra we give an exact finite Toeplitz criterion and its Hankel form. Every averaged mixing matrix of such a graph is realized by at most two observation times. Three elementary inequalities on the moment line, which also give a short proof of Chan's classification of complex Hadamard matrices in the Bose-Mesner algebra, lead to a determination of all strongly regular graphs that admit UAM. Apart from the conference graphs of nonsquare order and the graphs with instantaneous uniform mixing, these are the members of two infinite families of parameter sets and their complements, and for them we give explicit laws with two observation times. The Petersen graph and its complement are the smallest members. A strongly regular graph with UAM admits a bounded time density exactly when it has no instantaneous uniform mixing. We also correct the classification of instantaneous uniform mixing on strongly regular graphs by Godsil, Mullin and Roy. Its sign condition excludes the halved $5$-cube, which mixes uniformly at time $π/4$. With the order $4θ^2$ read literally, its parity condition also excludes the Clebsch graph and includes the parameters $(36,14,4,6)$, for which no time law gives uniform average mixing.

We construct a symmetric conference matrix of order $86$, the smallest order for which existence was open. Equivalently, there exist a conference graph with parameters $(85,42,20,21)$, a regular two-graph on $86$ points, and a real equiangular tight frame of $86$ vectors in $\mathbb{R}^{43}$. The matrix is a $12\times12$ array of $7\times7$ circulants with two border rows, and it admits a group of automorphisms of order $21$. Its $86$ descendants give exactly ten nonisomorphic strongly regular graphs.

A Deza graph is a regular graph in which the number of common neighbours of two distinct vertices takes at most two values, regardless of adjacency. Its children are the graphs on the same vertex set in which adjacency is determined by these two common-neighbour counts. A Deza graph is called strongly Deza if both children are strongly regular. We construct an infinite family of edge-regular strongly Deza graphs using non-degenerate quadratic forms over the field with five elements. For every odd dimension greater than three and each of the two determinant square classes, we obtain a graph on the projective points represented by vectors of norm one. Its children are complementary strongly regular graphs with the parameters of the corresponding orthogonality graph on non-isotropic points and its complement. We determine the parameters by counting solutions to systems involving the associated bilinear form. These counts also yield symmetric association schemes over finite fields of odd characteristic. Further constructions include Deza graphs in dimension four, orthogonality graphs in odd dimensions, unions of relations in even dimensions over the field with nine elements, and an odd-dimensional family over the field with thirteen elements. We also give low-dimensional examples, including one whose children are a triangular graph and its complement.

The algebraic connectivity of a graph, defined as the second smallest eigenvalue of its Laplacian matrix, admits a well-known variational characterization involving the $\ell_2$-norm. Motivated by the recent introduction of its $\ell_\infty$-analog by Andrade and Dahl, we investigate the graph parameter $γ(G)$, obtained by replacing the $\ell_2$-norm with the $\ell_\infty$-norm in the corresponding optimization problem. We establish a simple and explicit combinatorial formula expressing $γ(G)$ as the ratio of the order of the graph to its maximum transmission, thereby providing a direct graph-theoretic interpretation of the parameter. We prove that $γ(G)$ characterizes graph connectivity and completely characterize all $\ell_\infty$-Fiedler vectors as the vectors \[ \left\{\pm\left(1-γ(G)d(u,\cdot)\right):u\in \mathcal{M}(G) \right\}, \] where $\mathcal{M}(G)$ denotes the set of vertices of maximum transmission. We also establish a product formula for $γ(G)$ under Cartesian products, yielding explicit expressions for hypercubes, Hamming graphs, and torus grid graphs. Furthermore, we establish comparisons involving $γ(G)$, the distance spectral radius, the $\ell_1$-smoothing parameter, and the algebraic connectivity, and investigate equality in these bounds. For connected non-complete strongly regular graphs, equality in our algebraic-connectivity bound holds precisely when the least adjacency eigenvalue is $-2$. Finally, we extend the transmission formula and the characterization of optimal vectors to weighted graphs.

In this paper we give necessary conditions for 4-class association schemes that are generated by double covers of strongly regular graphs. These conditions are applied to open cases for diameter 4 antipodal distance-regular graphs. Using these conditions we are able to show the nonexistence of four cases in the table of Brouwer, Cohen and Neumeier: $\{20,18,3,1;1,3,18,20\}$, $\{22,21,3,1;1,3,21,22\}$, $\{ 54,50,5,1;,1,5,50,54 \}$, $\{ 170,162,9,1;,1,9,162,170 \}$. More generally, we show there is no distance-regular graph with intersection array $\{k,b_1,b_2,1;1,b_2,b_1,k \}$ where $b_2 \neq 1$ and $\frac{ k b_1 }{4}(1+k+\frac{ k b_1 }{2b_2})$ is odd. Tables are also given for more general 4-class association schemes generated by double covers of strongly regular graphs.

We use multipoint semidefinite programming to prove the nonexistence of strongly regular graphs. A normalized eigenspace projection of a primitive strongly regular graph gives a spherical two-distance set with one point for each vertex. A bound smaller than the required number of points therefore rules out the graph. Following the formulations of de Laat et al. and Kao and Yu, we use, for each reference type, coefficient matrices indexed by the feasible inner-product labels of the selected points. In degree zero, we combine the matrix coordinates indexed by the reference points into a single coordinate. The resulting programs use configurations of up to six points, with matrix orders at most $2^m+1$ for a reference set of $m$ points. Feasible dual solutions, verified in exact rational arithmetic, exclude strongly regular graphs with parameters $(351,140,73,44)$, $(550,162,75,36)$, $(703,182,81,35)$ and $(1344,221,88,26)$.

We study the behavior of the characteristic and chromatic polynomials of certain families of graphs and their relation to homomorphism counts, focusing on polynomial dependence of the coefficients at each fixed codegree on the graph family parameter. We prove that the characteristic polynomials of strongly regular graphs with polynomial parameters form a two-level polynomial of infinite depth in the sense of Bogart and Woods. In contrast, the chromatic polynomials of Paley graphs have maximal constant depth two: their coefficient of codegree three is not eventually polynomial in the number of vertices. We also prove that both the chromatic and characteristic polynomials of every strongly polynomial graph sequence, in the sense of de La Harpe and Jaeger, have infinite depth. Finally, we investigate homomorphism counts between two strongly polynomial graph sequences. We show that infinite depth need not hold in general, but we construct target sequences for which it holds for every strongly polynomial source sequence.

We construct an infinite family of directed strongly regular graphs (DSRGs) with intransitive full automorphism groups whose Weisfeiler--Leman closure are association schemes of rank 6. This is the smallest possible rank for an association scheme admitting a proper DSRG merging. We also exhibit rigid sporadic DSRGs with the same closure property, showing that combinatorial regularity, group-theoretic symmetry, and Weisfeiler--Leman regularity capture fundamentally different aspects of graph structure.

Conway's 99-graph problem asks whether a strongly regular graph with parameters $\mathrm{srg}(99,14,1,2)$ exists. We develop two complementary lines of attack. Fixing one vertex, the conditions $λ=1$ and $μ=2$ force its neighbourhood to be a perfect matching and determine every edge between that neighbourhood and the remaining vertices. For $(99,14,1,2)$, the unresolved part is therefore a constrained $12$-regular graph on $84$ vertices. We encode this reduction in CP-SAT and validate it by recovering the unique $\mathrm{srg}(9,4,1,2)$. We also prove by exhaustive enumeration that no circulant graph on $\mathbb{Z}/99$ satisfies more than $68.0\%$ of the CAISc constraints, and we give a validated orbit formulation for prescribed automorphisms. We then study the partial-score search problem. Fourteen human-designed search configurations reached at most $69.43\%$. Separately, we supplied the scoring function to an evolutionary program-search system. It produced a degree-preserving $4$-vertex-switch tabu search whose best verified artifact scores $70.73\%$. The generated move differs from those used in our own searches and crosses a plateau that was stable under them. These results do not resolve the existence problem, but they reduce the exact search space and improve the best verified partial construction found in our experiments.