[论文解读] Tight distance-regular graphs

Aleksandar Jurišić, Jack H. Koolen+1 more|ArXiv.org|Aug 29, 2001

Finite Group Theory Research参考文献 11被引用 14

一句话总结

本文引入并表征了‘紧致’距离正则图——即直径至少为3且满足特征值与交数组之间严格不等式的距离正则图。文章建立了多个等价刻画：某些特征向量的线性相关性、交数组的有理参数化、1-同态性，以及局部图具有特定特征值的强正则性。主要贡献在于构建了一个统一框架，将这些图的代数、组合与谱性质联系起来，并提供了三个无限族和九个孤立例子。

ABSTRACT

We consider a distance-regular graph $\G$ with diameter $d \ge 3$ and eigenvalues $k=θ_0>θ_1>... >θ_d$. We show the intersection numbers $a_1, b_1$ satisfy $$ (θ_1 + {k \over a_1+1}) (θ_d + {k \over a_1+1}) \ge - {ka_1b_1 \over (a_1+1)^2}. $$ We say $\G$ is {\it tight} whenever $\G$ is not bipartite, and equality holds above. We characterize the tight property in a number of ways. For example, we show $\G$ is tight if and only if the intersection numbers are given by certain rational expressions involving $d$ independent parameters. We show $\G$ is tight if and only if $a_1 ot=0$, $a_d=0$, and $\G$ is 1-homogeneous in the sense of Nomura. We show $\G$ is tight if and only if each local graph is connected strongly-regular, with nontrivial eigenvalues $-1-b_1(1+θ_1)^{-1}$ and $-1-b_1(1+θ_d)^{-1}$. Three infinite families and nine sporadic examples of tight distance-regular graphs are given.

研究动机与目标

• 定义并系统研究一类新的距离正则图，称为‘紧致’图，其推广了已知族类，并满足一个严格的谱不等式。
• 利用代数、组合与谱性质，建立紧致性的多个等价刻画。
• 以d个独立参数表示紧致图的交数组参数化。
• 识别并构造显式例子，包括三个无限族和九个孤立情形，以说明理论。

提出的方法

• 推导涉及特征值θ₁、θd与交数组a₁、b₁的基本不等式，等式成立时定义为紧致图。
• 通过在初等对偶幂等下特征向量的投影的线性相关性，引入关于某个特征值的边‘紧致’的概念。
• 利用Bose-Mesner代数与谱分解分析线性相关性条件，并将其与紧致性联系起来。
• 通过Nomura引入的1-同态性刻画紧致图，当a₁ ≠ 0且a_d = 0时，证明其等价性。
• 分析局部图Δ(x)（x的邻点诱导的子图），并证明其为具有特定非平凡特征值的强正则图。
• 构造交数组的参数化族，并验证可行性与整数条件，以获得具体例子。

实验结果

研究问题

• RQ1 在什么条件下，特征值与交数组定义了一个距离正则图为‘紧致’？
• RQ2 图的谱性质，特别是特征值θ₁与θd，如何与边的组合结构及其局部邻域相关联？
• RQ3 1-同态性、局部强正则性以及特征向量投影的线性相关性与紧致性在哪些方面等价？
• RQ4 能否使用d个独立参数对紧致距离正则图进行参数化？何种约束可确保整数性与可行性？
• RQ5 已知的紧致距离正则图的完整列表是什么？包括无限族与孤立情形。

主要发现

• 紧致性等价于不等式 (θ₁ + k/(a₁+1))(θd + k/(a₁+1)) = –ka₁b₁/(a₁+1)² 中的等式成立，且Γ非二分图。
• 当且仅当所有边关于θ₁与θd均为紧致时，图是紧致的，这恰好发生在a₁ ≠ 0且所有边满足线性相关性条件时。
• 紧致图的交数组可用d个独立参数表示为有理函数，从而实现完全参数化。
• 当a₁ ≠ 0且a_d = 0时，紧致性等价于1-同态性，将新类与现有组合正则性概念联系起来。
• 每个局部图Δ(x)均为连通的强正则图，其非平凡特征值为b⁺ = –1 – b₁(1+θd)⁻¹与b⁻ = –1 – b₁(1+θ₁)⁻¹。
• 明确构造并验证了三个无限族（Johnson图J(2d,d)、半立方体½H(2d,2)、Taylor图）与九个孤立例子（包括三重及2/4重对称覆盖、Patterson图）为紧致图。