arXiv++ Combinatorics

In the regular three-eigenvalue setting, spectral complexity and coherent-algebraic complexity coincide: a connected regular graph has exactly three distinct eigenvalues if and only if it is strongly regular, its coherent rank is three. Although examples of regular graphs with four distinct eigenvalues and coherent rank larger than four are known, it was unknown whether coherent rank is uniformly bounded among regular graphs with four distinct eigenvalues. We show that no such bound exists, even under the additional assumption of co-edge-regularity. For every prime power \(q\), we construct infinitely many co-edge-regular graphs with exactly four distinct eigenvalues, smallest eigenvalue \(-2q-1\), and coherent rank at least \(q+4\). Consequently, coherent rank is unbounded among co-edge-regular graphs with exactly four distinct eigenvalues.

The smallest eigenvalues of (distance-j) Hamming graphs with distance parameter j at least half the length were completely determined by Brouwer et al. (2018). In the present work, we address the complementary regime, namely distances j strictly less than half the length, and derive asymptotic lower bounds on the smallest eigenvalue of binary Hamming graphs. For certain natural generalizations, specifically Cayley graphs defined over quaternary vector spaces, we asymptotically determine the smallest eigenvalue as well. As an application, we obtain lower bounds on the quantum chromatic number of these graphs. In particular, for the aforementioned Cayley graphs over quaternary vectors, our lower bounds for the quantum chromatic number coincide with known upper bounds.

In this paper, we classify connected amply regular graphs with diameter $d \geq 4$ and parameters $(v, k, λ, μ)$ satisfying $μ= \frac{k-1}{2}$, where $k\geq 5$ is odd. We prove that such a graph must be exactly one of the following: the $5$-cube, the graph $\K_2 \square Λ$, where $Λ$ is the unique bipartite $(0,2)$-graph on $14$ vertices, or the point--block incidence graph of a group divisible design with the dual property, namely a $GDDDP\left(2, k+1;\, k;\, 0, \frac{k-1}{2}\right)$. For the last family, we give equivalent characterizations in terms of bipartite $Q$-regular graphs and relation graphs of symmetric association schemes with five classes. Furthermore, we present constructions of such amply regular graphs, yielding infinite families of examples derived from Paley graphs, Peisert graphs, and Paley digraphs.

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.

In this paper, we will give a structure theory for signed graphs with fixed smallest eigenvalue and investigate signed graphs with smallest eigenvalue greater than $-1-\sqrt{2}$. Given a real number $λ\leq -1$, we show that the following hold for each signed graph $(G,σ)$ with smallest eigenvalue at least $λ$ and large minimum valency: $\mathrm{(i)}$ there exist dense induced subgraphs $N_1, \dots, N_r$ in $(G,σ)$ such that each vertex lies in at most $\lfloor -λ\rfloor$ $N_i$'s and almost all edges of $(G,σ)$ lie in at least one of the $N_i$'s; $\mathrm{(ii)}$ if $λ>-1-\sqrt{2}$, then $(G,σ)$ has smallest eigenvalue at least $-2$ and $(G,σ)$ is $1$-integrable.

In 2010, Koolen and Bang proposed the following conjecture: For a fixed integer $m \geq 2$, any geometric distance-regular graph with smallest eigenvalue $-m$, diameter $D \geq 3$ and $c_2 \geq 2$ is either a Johnson graph, a Grassmann graph, a Hamming graph, a bilinear forms graph, or the number of vertices is bounded above by a function of $m$. In this paper, we obtain some partial results towards this conjecture.

A $2$-distance-transitive graph is a vertex-transitive graph whose vertex stabilizer is transitive on both the first step and the second step neighborhoods. In this paper, we first answer a question of A. Devillers, M. Giudici, C. H. Li and C. E. Praeger in 2012 about vertex-quasiprimitive $2$-distance-transitive graphs for the odd order case. Then we characterize $2$-distance-transitive graphs of valency $p$ or $p+1$ where $p$ is a prime. After that, as an application of the above result, we classify locally-primitive, $2$-distance-transitive graphs of small valency. In addition to the above results on $2$-distance-transitive graphs, we also classify a family of amply regular graphs with diameter at least $4$ and parameters $(v, k, λ, \frac{k - 1}{2})$, and these graphs arise naturally in the classification of locally-primitive, $2$-distance-transitive graphs with small valency.

We establish a sharp edge-connectivity estimate for graphs with non-negative Bakry-Émery curvature. This leads to a geometric criterion for the existence of a perfect matching. Precisely, we show that any regular graph with non-negative Bakry-Émery curvature and an even or infinite number of vertices has a perfect matching. Through a synthesis of combinatorial and curvature-related techniques, we determine the edge-connectivity of (possibly infinite) amply regular graphs.

Tan et al. conjectured that connected co-edge-regular graphs with four distinct eigenvalues and fixed smallest eigenvalue, when having sufficiently large valency, belong to two different families of graphs. In this paper we construct two new infinite families of connected co-edge-regular graphs with four distinct eigenvalues and fixed smallest eigenvalue, thereby disproving their conjecture. Moreover, one of these constructions demonstrates that clique-extensions of Latin Square graphs are not determined by their spectrum.

In 2018, by Ramsey and Hoffman theory, Koolen, Yang, and Yang presented a structural result on graphs with smallest eigenvalue at least $-3$ and large minimum degree. In this study, we depart from the conventional use of Ramsey theory and instead employ a novel approach that combines the Bose-Laskar type argument with Hoffman theory to derive structural insights into $μ$-bounded graphs with fixed smallest eigenvalue. Our method establishes a reasonable bound on the minimum degree. Note that local graphs of distance-regular graphs are $μ$-bounded. We apply these results to characterize the structure for any local graph of a distance-regular graph with classical parameters $(D,b,α,β)$. Consequently, we show that the parameter $α$ is bounded by a cubic polynomial in $b$ if $D \geq 9$ and $b \geq 2$. We also show that $α\leq 2$ if $b =2$ and $D \geq 12$.

We prove that the Grassmann graphs $J_2(2D+3,D)$, $D\geq 3$, are characterized by their intersection numbers, which settles one of the few remaining cases.

Let $Γ$ be a distance-regular graph with classical parameters $(D, b, α, β)$ satisfying $b\geq 2$ and $D\geq 3$. Let $r=1+b+b^2+\cdots+b^{D-1}$. In 1999, K. Metsch showed that there exists a positive constant $C(α,b)$ only depending on $α$ and $b$, such that if $β\geq C(α, b)r^2$, then either $Γ$ is a Grassmann graph or a bilinear forms graph. In this work, we show that for $b\geq 2$ and $D\geq 3$, then there exists a constant $C_1(α, b)$ only depending on $α$ and $b$, such that if $β\geq C_1(α, b)r$, then either $Γ$ is a Grassmann graph, or a bilinear forms graph.

Let $Γ$ be a graph with diameter at least two. Then $Γ$ is said to be $1$-homogeneous (in the sense of Nomura) whenever for every pair of adjacent vertices $x$ and $y$ in $Γ$, the distance partition of the vertex set of $Γ$ with respect to both $x$ and $y$ is equitable, and the parameters corresponding to equitable partitions are independent of the choice of $x$ and $y$. Assume that $Γ$ is $1$-homogeneous distance-regular with intersection number $a_1>0$ and diameter $D\geqslant 5$. Define $b=b_1/(θ_1+1)$, where $b_1$ is the intersection number and $θ_1$ is the second largest eigenvalue of $Γ$. We show that if intersection number $c_2$ is at least $2$, then $b\geqslant 1$ and one of the following (i)--(vi) holds: (i) $Γ$ is a regular near $2D$-gon, (ii) $Γ$ is a Johnson graph $J(2D,D)$, (iii) $Γ$ is a halved $\ell$-cube with $\ell \in \{2D,2D+1\}$, (iv) $Γ$ is a folded Johnson graph $\bar{J}(4D,2D)$, (v) $Γ$ is a folded halved $4D$-cube, (vi) the valency of $Γ$ is bounded by a function of $b$. Using this result, we characterize $1$-homogeneous graphs with classical parameters and $a_1>0$, as well as tight distance-regular graphs.

An association scheme is called amorphic if every possible fusion of relations gives rise to a fusion scheme. We call a pair of relations fusing if fusing that pair gives rise to a fusion scheme. We define the fusing-relations graph on the set of relations, where a pair forms an edge if it fuses. We show that if the fusing-relations graph is connected but not a path, then the association scheme is amorphic. As a side result, we show 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 is amorphic.

In this paper we will give a structure theory for regular graphs with fixed smallest eigenvalue. As a consequence of this theory, we show that a $k$-regular graph with smallest eigenvalue $-λ$ has clique number linear in $k$ if $k$ is large with respect to $λ$.

In this paper we study when the $q$-distance matrix of a distance-regular graph has few distinct eigenvalues. We mainly concentrate on diameter 3.

Let $Γ$ denote a distance-regular graph with diameter $D\geq 3$. Jurišić and Vidali conjectured that if $Γ$ is tight with classical parameters $(D,b,α,β)$, $b\geq 2$, then $Γ$ is not locally the block graph of an orthogonal array nor the block graph of a Steiner system. In the present paper, we prove this conjecture and, furthermore, extend it from the following aspect. Assume that for every triple of vertices $x, y, z$ of $Γ$, where $x$ and $y$ are adjacent, and $z$ is at distance $2$ from both $x$ and $y$, the number of common neighbors of $x$, $y$, $z$ is constant. We then show that if $Γ$ is locally the block graph of an orthogonal array (resp. a Steiner system) with smallest eigenvalue $-m$, $m\geq 3$, then the intersection number $c_2$ is not equal to $m^2$ (resp. $m(m+1)$). Using this result, we prove that if a tight distance-regular graph $Γ$ is not locally the block graph of an orthogonal array or a Steiner system, then the valency (and hence diameter) of $Γ$ is bounded by a function in the parameter $b=b_1/(1+θ_1)$, where $b_1$ is the intersection number of $Γ$ and $θ_1$ is the second largest eigenvalue of $Γ$.

In this paper, we study the $q$-distance matrix for a distance-regular graph and show that the $q$-distance matrix of a distance-regular graph with classical parameters ($D, q, α, β$) has exactly three distinct eigenvalues, of which one is zero. Moreover, we study distance-regular graphs whose $q$-distance matrix has exactly one positive eigenvalue.

Graham and Lovász conjectured in 1978 that the sequence of normalized coefficients of the distance characteristic polynomial of a tree of order $n$ is unimodal with the maximum value occurring at $\lfloor\frac{n}{2}\rfloor$. In this paper we investigate this problem for block graphs. In particular, we prove the unimodality part and we establish the peak for several extremal cases of uniform block graphs with small diameter.

Let $Γ$ be an antipodal distance-regular graph with diameter $4$ and eigenvalues $θ_0>θ_1>θ_2>θ_3>θ_4$. Then $Γ$ is tight in the sense of Jurišić, Koolen, and Terwilliger [12] whenever $Γ$ is locally strongly regular with nontrivial eigenvalues $p:=θ_2$ and $-q:=θ_3$. Assume that $Γ$ is tight. Then the intersection numbers of $Γ$ are expressed in terms of $p$, $q$, and $r$, where $r$ is the size of the antipodal classes of $Γ$. We denote $Γ$ by $\mathrm{AT4}(p,q,r)$ and call this an antipodal tight graph of diameter $4$ with parameters $p,q,r$. In this paper, we give a new feasibility condition for the $\mathrm{AT4}(p,q,r)$ family. We determine a necessary and sufficient condition for the second subconstituent of $\mathrm{AT4}(p,q,2)$ to be an antipodal tight graph. Using this condition, we prove that there does not exist $\mathrm{AT4}(q^3-2q,q,2)$ for $q\equiv3$ $(\mathrm{mod}~4)$. We discuss the $\mathrm{AT4}(p,q,r)$ graphs with $r=(p+q^3)(p+q)^{-1}$.