arXiv Science⌕ Search

arXiv · 2610.37010

Resolving a Problem of Lv and Koolen on the Smallest Eigenvalue of Distance-Regular Graphs

Abstract

Let $Γ$ be a distance-regular graph with valency $k$, diameter $D\ge3$, and eigenvalues $k=θ_0>θ_1>\cdots>θ_D$. Put $b\coloneqq b_1/(θ_1+1)$, and let $1=u_0>u_1>\cdots>u_D$ be the standard sequence associated with $θ_1$. Lv and Koolen asked whether the negative of the smallest eigenvalue of a distance-regular graph can be bounded above in terms of its diameter $D$ and the parameter $b$ alone. In this paper, we answer this question affirmatively by proving that $-θ_D\le\prod_{i=2}^D(1-u_i)/(u_1-u_i) <(b+1)^{D-1}$. Equality in the product bound holds if and only if $Γ$ is $Q$-polynomial with respect to the primitive idempotent corresponding to $θ_1$. For every integer $D\ge4$, we further establish the explicit bound $-θ_D\le b^{D-1}+b^{D-2} +\frac{27}{2}(D-2)b^{D-3}$ whenever $b\ge\max\{8,\sqrt{12(D-2)}\}$. Both leading coefficients are best possible for each fixed $D\ge4$. The proof uses a spectral product theorem of Micchelli and Willoughby applied to Schur multiplication in the Bose--Mesner algebra.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zhen-Mu Hong, Fu-Tao Hu, Chenhui Lv. 2026-10-27. Resolving a Problem of Lv and Koolen on the Smallest Eigenvalue of Distance-Regular Graphs. https://arxiv.org/abs/2610.37010

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A spanning tree model for chromatic homology

After the discovery of Khovanov homology, which categorifies the Jones polynomial, an analogous categorification of the chromatic polynomial, known as chromatic homology, was introduced. Its graded Euler characteristic recovers the chromatic polynomial. In this paper, we present a spanning tree model for the chromatic complex, i.e., we describe a chain complex generated by certain spanning trees of the graph that is chain homotopy equivalent to the chromatic complex. We employ the spanning tree model over $\mathcal{A}_m:= \frac{\mathbb{Z}[x]}{ }$ algebra to answer two open questions. First, we establish the conjecture posed by Sazdanovic and Scofield regarding the homological span of chromatic homology over $\mathcal{A}_m$ algebra, demonstrating that for any graph $G$ with $v$ vertices and $b$ blocks, the homological span is $v - b$. Additionally, we prove a conjecture of Helme-Guizon, Przytycki, and Rong concerning the existence of torsion of order dividing $m$ in chromatic homology over $\mathcal{A}_m$ algebra.

math.CO↗

The double of a simplicial complex

We introduce the notion of doubling and r-tupling for simplicial complexes, a notion reminiscent to that of matching complexes in graph theory. We prove a connectivity result for such complexes and relate r-tupling to stabilizing r times faster in homological stability.

math.CO↗

On the Vertices of Delta-modular Polyhedra

Let $P$ be a polytope defined by the system $A x \leq b$, where $A \in R^{m \times n}$, $b \in R^m$, and $\text{rank}(A) = n$. We give a short geometric proof of the following tight upper bound on the number of vertices of $P$: $$ n! \cdot \fracΔ{Δ_{\text{average}}} \cdot \text{vol}(B_2) \sim \frac{1}{\sqrt{πn}} \cdot \left(\frac{2 π}{e}\right)^{n/2} \cdot n^{n/2} \cdot \fracΔ{Δ_{\text{average}}}, $$ where $Δ$ is the maximum absolute value of $n \times n$ subdeterminants of $A$, and $Δ_{\text{average}}$ is the average absolute value of subdeterminants of $A$ corresponding to a triangulation of $P$'s normal fan. Assuming that $A$ is integer, such polyhedra are called $Δ$-modular polyhedra. Note that in the integer case, the bound can be simplified via the inequality $Δ_{\text{average}} \geq Δ_{\min} \geq 1$, where $Δ_{\min}$ is the minimum absolute value of subdeterminants of $A$ corresponding to feasible bases of $A x \leq b$. For this, we prove and use a symmetric variant of Macbeath's theorem. Additionally, we give a direct argument based on prior results in the field, showing that the graph diameter of $P$ is bounded by $O\bigl(n^3 \cdot \fracΔ{Δ_{\min}} \cdot \ln (n \fracΔ{Δ_{\min}}) \bigr)$. Thus, both characteristic of $P$ are linear in $Δ/Δ_{\min}$. From an algorithmic perspective, we demonstrate that: Given $A \in Q^{m \times n}$, $b \in Q^m$, and an initial feasible solution to $A x \leq b$, the convex hull of $P$ can be constructed in $O(n)^{n/2} \cdot m^2 \cdot \fracΔ{Δ_{\text{average}}}$ operations. For simple polyhedra, the dependence on $m$ reduces to linear; Given $A \in Z^{m \times n}$ and $b \in Q^m$, the number $|P \cap Z^n|$ can be computed in $O(n)^n \cdot \frac{Δ^4}{Δ_{\text{average}}}$ arithmetic operations.

math.CO↗