[論文レビュー] Determining Finite Connected Graphs Along the Quadratic Embedding Constants of Paths

Edy Tri Baskoro, Nobuaki Obata|arXiv (Cornell University)|Apr 17, 2019

Graph theory and applications参考文献 21被引用数 9

ひとこと要約

本稿は、有限連結グラフの二次埋め込み定数（QE定数）に基づいてその特徴を明らかにし、パス Pₙ の QE 定数が −1/2 に収束する厳密に増加する数列を示している。QEC(P₃) ≤ QEC(G) < QEC(P₄) を満たすすべてのグラフ G を完全に特定し、それらは n ≥ 2 の星積グラフ Kn⋆K₂ と孤立的グラフ K₃⋆K₃ に限られ、明示的な QE 定数値が提示されている。主な貢献は、QE 定数順序付け問題の最初の非自明なケースに対する完全分類である。

ABSTRACT

The QE constant of a finite connected graph $G$, denoted by $\mathrm{QEC}(G)$, is by definition the maximum of the quadratic function associated to the distance matrix on a certain sphere of codimension two. We prove that the QE constants of paths $P_n$ form a strictly increasing sequence converging to $-1/2$. Then we formulate the problem of determining all the graphs $G$ satisfying $\mathrm{QEC}(P_n)\le\mathrm{QEC}(G)<\mathrm{QEC}(P_{n+1})$. The answer is given for $n=2$ and $n=3$ by exploiting forbidden subgraphs for $\mathrm{QEC}(G)<-1/2$ and the explicit QE constants of star products of the complete graphs.

研究の動機と目的

• 有限連結グラフをその二次埋め込み定数（QE定数）の観点から特徴づけること、特にパスの QE 定数が誘導する順序に焦点を当てる。
• n = 2 および n = 3 の場合に、QEC(Pₙ) ≤ QEC(G) < QEC(Pₙ₊₁) を満たすすべての有限連結グラフ G を特定する問題を解くこと。
• QEC(G) < −1/2 を満たすグラフに対して明示的な基準と禁止部分グラフ条件を確立し、−1/2 の近傍における分類を可能にする。
• 星積グラフ Km⋆Kn の正確な QE 定数を計算し、[QEC(P₃), QEC(P₄)) の区間内に存在するすべてのグラフの完全リストを導出すること。

提案手法

• 星積構成（G と Kₘ₊₁ が1つの頂点で接続される）を用いて、QEC(G) < QEC(G⋆Kₘ₊₁) の一般的基準を導出する。
• スペクトル解析と QEC(G) の変分的特徴づけを用いて、パス Pₙ の QE 定数が −1/2 に収束する厳密に増加する数列であることを証明する。
• 等長埋め込みの概念を用い、部分グラフの QE 定数が全体のグラフに与える影響を関係づける。H が G の等長部分グラフであるとき、QEC(H) ≤ QEC(G) が成り立つことを利用する。
• 禁止部分グラフ技法を用いる：QEC(G) < −1/2 を満たす任意のグラフは、ダイヤモンド自由、クラウド自由、C₄ 自由、C₅ 自由でなければならないことを示す。
• 距離行列のブロック行列分解と制約付き変分最適化を用いて、星積グラフ Km⋆Kn の QE 定数を明示的に計算する。
• ラグランジュ乗数法を二次形式 ⟨f, Df⟩ に適用し、単位ノルムおよびゼロ和制約の下で最大固有値を計算し、正確な QE 定数を導出する。

実験結果

リサーチクエスチョン

• RQ1 QEC(P₃) ≤ QEC(G) < QEC(P₄) を満たす有限連結グラフ G の完全な集合は何か？
• RQ2 どのグラフ G が QEC(G) < −1/2 を満たし、それらはどのような構造的性質を持つのか？
• RQ3 星積グラフ Km⋆Kn の QE 定数は m と n にどのように依存し、明示的に計算可能か？
• RQ4 P₄ の QE 定数は、すべての有限連結グラフの QE 定数の集合における最小の蓄積点か？
• RQ5 QEC(P₃) ≤ QEC(G) < QEC(P₄) を満たすグラフの QEC(G) の正確な値は何か？

主な発見

• パス Pₙ の QE 定数は厳密に増加する数列をなす：QEC(P₂) < QEC(P₃) < QEC(P₄) < ⋯、かつ −1/2 に収束する。
• QEC(P₃) ≤ QEC(G) < QEC(P₄) を満たすすべてのグラフ G は、n ≥ 2 の星積グラフ Kn⋆K₂ とグラフ K₃⋆K₃ に限られる。
• Kn⋆K₂ の QE 定数は明示的に QEC(Kn⋆K₂) = −2 / (2 + √2 (1 − 1/n)) と与えられる。
• K₃⋆K₃ の QE 定数は正確に −3/5 である。
• P₄ の QE 定数は QEC(P₄) = −(2 − √2) ≈ −0.5858 であり、すべての有限連結グラフの QE 定数の集合における最小の蓄積点である。
• ビアード完全グラフ BKn,m は、すべての 2 ≤ m ≤ n に対して QEC(BKn,m) = −(2 − √2) = QEC(P₄) を満たし、QEC(G) = QEC(P₄) を満たす明示的な例を提供する。