[论文解读] Vertex subsets with minimal width and dual width in $Q$-polynomial distance-regular graphs

Hajime Tanaka|arXiv (Cornell University)|Nov 9, 2010

Finite Group Theory Research参考文献 43被引用 18

一句话总结

本文研究了Q-多项式距离正则图中的后裔（descendents）——即满足宽度w与对偶宽度w*满足w + w* = d的顶点子集——与凸性及经典参数的关系。研究证明，当w ≥ 2时，非平凡后裔为凸的充分必要条件是图具有经典参数(d, q, α, β)，并表明此类后裔继承经典参数(w, q, α, β)。该工作利用Leonard系统与平衡双线性型，统一并扩展了对15个已知无限族（具有无界直径）中后裔的分类，这些族此前仅对半格型图有部分分类。

ABSTRACT

We study $Q$-polynomial distance-regular graphs from the point of view of what we call descendents, that is to say, those vertex subsets with the property that the width $w$ and dual width $w^*$ satisfy $w+w^*=d$, where $d$ is the diameter of the graph. We show among other results that a nontrivial descendent with $w\ge 2$ is convex precisely when the graph has classical parameters. The classification of descendents has been done for the 5 classical families of graphs associated with short regular semilattices. We revisit and characterize these families in terms of posets consisting of descendents, and extend the classification to all of the 15 known infinite families with classical parameters and with unbounded diameter.

研究动机与目标

• 刻画在Q-多项式距离正则图中，非平凡后裔在宽度w ≥ 2时为凸的条件。
• 将后裔分类从5个半格型族扩展至全部15个已知的具有无界直径的无限族。
• 建立后裔、经典参数与底层Leonard系统框架之间的结构联系。
• 证明具有经典参数的图中，后裔继承相同的经典参数。
• 利用偏序集结构与平衡双线性型，统一并推广先前的分类。

提出的方法

• 使用后裔的概念——即满足w + w* = d的子集——研究Q-多项式距离正则图。
• 应用Leonard系统与平衡双线性型理论，将后裔子图的特征矩阵与原图关联。
• 利用Leonard系统的参数数组，通过可行的参数变换对后裔进行分类。
• 从后裔的偏序集中重构半格结构，证明其构成一个正则量子拟阵。
• 利用凸子图与最大团的结果，将分类扩展至非半格型族。
• 应用[31]中的ρ-后裔构造，推导出诱导子图的参数数组。

实验结果

研究问题

• RQ1 在何种条件下，Q-多项式距离正则图中宽度w ≥ 2的非平凡后裔为凸？
• RQ2 当Q-多项式距离正则图具有经典参数(d, q, α, β)时，其是否允许存在参数为(w, q, α, β)的后裔？
• RQ3 后裔的分类能否从5个半格型族扩展至全部15个已知的具有无界直径的无限族？
• RQ4 后裔的偏序集结构如何反映Q-多项式距离正则图的底层几何性质？
• RQ5 平衡双线性型在刻画后裔诱导子图的特征中起何种作用？

主要发现

• 当w ≥ 2时，非平凡后裔为凸的充分必要条件是原图具有经典参数(d, q, α, β)。
• 若图具有经典参数(d, q, α, β)，则任意宽度为w的后裔均继承经典参数(w, q, α, β)。
• 当d ≥ 4时，5个半格型图的特征可由一族后裔P刻画：(1) 具有经典参数，(2) 距离为i的任意两顶点位于唯一的宽度为i的后裔中，(3) 后裔的交集要么为空，要么属于P。
• 按反向包含关系排序的后裔同构类的偏序集构成一个正则量子拟阵，从而恢复了半格结构。
• 后裔的分类已扩展至全部15个已知的具有无界直径的无限族，揭示了半格型与非半格型图之间的显著差异。
• ρ-后裔的参数数组通过原始Leonard系统参数的变换被完全刻画，详细公式见附录A。