[論文レビュー] Some Spectral and Quasi-Spectral Characterizations of Distance-Regular Graphs

Aida Abiad, Edwin van Dam+1 more|arXiv (Cornell University)|Apr 15, 2014

Graph theory and applications参考文献 27被引用数 5

ひとこと要約

本稿では、距離正則グラフにおける交差数の一般化としての前交差数を導入し、既知の距離正則グラフと同スペクトルを仮定しない新たなスペクトル的および準スペクトル的距離正則性の特徴付けを可能にする。主な貢献は、大きな周長や奇数周長の条件下で、スペクトル過剰型不等式および直交多項式理論を用いて既知の特徴付けを一般化することにある。

ABSTRACT

In this paper we consider the concept of preintersection numbers of a graph. These numbers are determined by the spectrum of the adjacency matrix of the graph, and generalize the intersection numbers of a distance-regular graph. By using the preintersection numbers we give some new spectral and quasi-spectral characterizations of distance-regularity, in particular for graphs with large girth or large odd-girth.

研究の動機と目的

• 既知の距離正則グラフと同スペクトルを仮定しない距離正則グラフのスペクトル的および準スペクトル的特徴付けを開発すること。
• 周長と奇数周長の条件を用いて、既存の特徴付けを前交差数をスペクトル的不変量として導入することで一般化すること。
• 前交差数を用いて、スペクトル過剰定理および関連する不等式を部分的距離正則グラフに拡張すること。
• 与えられたスペクトルを持つグラフが完全な組合せ的データがなくても距離正則であることを保証する条件を提供すること。
• スペクトル的および代数的技法を用いて、先行研究（奇数周長定理や周長に基づく特徴付け定理）を精緻化・一般化すること。

提案手法

• 隣接行列のスペクトルから導かれるスペクトル的不変量としての前交差数を定義し、距離正則グラフの交差数を一般化する。
• 予距離多項式と直交多項式理論を用いて、スペクトル的データと組合せ的構造を関連付ける。
• スペクトル過剰定理およびその変種を適用し、$ a_{d-1}c_{d-1} $、$ \bar{c}_{d-1} $、および前交差数 $ \alpha_{d-1}, \gamma_d $ の平均値を含む不等式を導出する。
• FiolとGarrigaのスペクトル過剰定理にインspiredされた、部分的距離正則グラフに対する新しい不等式（命題4.6）を確立する。
• 距離 $ d-1 $ にある頂点対の平均化論法を用いて、スペクトル的パラメータと組合せ的パラメータ $ a_{d-1}, c_{d-1} $ を関連付ける。
• ほぼ距離正則グラフの理論を活用し、$ d+1 $ 個の異なる固有値と大きな周長または奇数周長を持つグラフを分析する。

実験結果

リサーチクエスチョン

• RQ1 どのようなスペクトル的条件下で、既知の距離正則グラフと同スペクトルを仮定しない場合でも、グラフが距離正則であることが保証されるか？
• RQ2 前交差数はどのように交差数を一般化し、距離正則性の新たなスペクトル的特徴付けを可能にするか？
• RQ3 奇数周長定理は、前交差数とスペクトル過剰型不等式を用いて再定式化・一般化可能か？
• RQ4 周長と前交差数にどのような条件が課されると距離正則性が保証されるか、特に $ g \geq 2d-2 $ または $ g = 2d+1 $ の場合に注目する。
• RQ5 $ \alpha_{d-1} = \gamma_d $ かつ $ g \geq 2d-2 $ を満たすが距離正則でないグラフが存在しうるか？ また、このような状況を防ぐスペクトル的条件は何か？

主な発見

• 定理4.4は定理1.1のケース(i)および(ii)を一般化する：$ G $ が $ d+1 $ 個の異なる固有値と周長 $ g \geq 2d-1 $ を持ち、または $ g \geq 2d-2 $ かつ $ G $ が二部グラフであるとき、$ G $ は距離正則である。
• 定理4.12は定理1.1のケース(iii)を精緻化する：$ \alpha_{d-1}, \gamma_d, \gamma_{d-1} $ を含むスペクトル的不等式条件のもとで、$ G $ は距離正則である。
• 定理4.1は奇数周長定理の別表現を与える：$ d+1 $ 個の異なる固有値と奇数周長 $ 2d+1 $ を持つグラフは距離正則である。
• 定理4.9は定理1.1のケース(v)を一般化する：$ c_1 = \cdots = c_{d-1} = 1 $ ならば、$ G $ は距離正則である。
• 命題4.13は、$ \alpha_{d-1} < \gamma_d $ ならば $ \overline{a_{d-1}c_{d-1}} \geq \alpha_{d-1}\gamma_{d-1} $ が成り立ち、等号が成立するのは $ G $ が距離正則である場合に限ることを示す。
• ペルケルのグラフが $ \alpha_2 = \gamma_3 = 3 $ かつ $ g = 5 = 2d-1 $ を満たすことが示され、同じスペクトルを持つ任意のグラフは距離正則であることが保証される。これにより理論の妥当性が確認された。