[論文レビュー] 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

ひとこと要約

本稿は、幅 w と双対幅 w* が w + w* = d を満たす Q-多項式距離正則グラフ内の後継者（descendent）—頂点部分集合—について、凸性および古典的パラメータと関連して調査する。非自明な後継者で w ≥ 2 の場合、そのグラフが古典的パラメータ (d, q, α, β) を持つことと、凸であることとは同値であることが示され、このような後継者は古典的パラメータ (w, q, α, β) を引き継ぐ。本研究では、直径が無限大であるとされる15の既知の無限族すべてにわたる後継者の分類を、Leonard系とバランス型双一次形式を用いて統一的かつ拡張的に実施する。

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系フレームワークとの間の構造的関係を確立すること。
• 古典的パラメータを持つグラフにおける後継者が、同じ古典的パラメータを引き継ぐことの証明。
• ポセット構造とバランス型双一次形式を用いて、既存の分類を統一的かつ一般化すること。

提案手法

• Q-多項式距離正則グラフにおける後継者（w + w* = d を満たす部分集合）の概念を用いる。
• Leonard系の理論とバランス型双一次形式を適用し、後継者部分グラフの固有行列が元のグラフとどのように関係するかを分析する。
• Leonard系のパラメータアレイを用いて、可能なパラメータ変換を通じて後継者を分類する。
• ポセットとしての後継者の同型類の構造から半順序構造を再構成し、それが正則な量子マトロイドを形成することを示す。
• 凸部分グラフおよび最大クリークに関する結果を用いて、半順序型でない族への分類の拡張を実施する。
• 文献[31]で提示されたρ-後継者構成を適用し、誘導部分グラフのパラメータアレイを導出する。

実験結果

リサーチクエスチョン

• RQ1 Q-多項式距離正則グラフにおいて、幅 w ≥ 2 の非自明な後継者が凸である条件は何か？
• RQ2 古典的パラメータ (d, q, α, β) を持つ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 にある任意の2頂点は、幅 i の一意な後継者に属し、(3) 後継者の交差は空または P に属する。
• 逆包含関係で順序付けられた後継者の同型類のポセットは、正則な量子マトロイドを形成し、半順序構造を回復する。
• 後継者の分類は、直径が無限大であるとされるすべての15の既知の無限族へ拡張可能であり、半順序型と非半順序型グラフの間で顕著な対比が明らかになる。
• ρ-後継者のパラメータアレイは、元のLeonard系パラメータの変換によって完全に特徴づけられ、明示的な公式は付録Aに提示されている。