[論文レビュー] Sums of squares of eigenvalues and the vector chromatic number

Gabriel Coutinho, Thomás Jung Spier|arXiv (Cornell University)|Aug 8, 2023

Graph theory and applicationsMathematics被引用数 3

ひとこと要約

この論文は、Wocjan, Elphick, および Aneksteinの予想を証明し、グラフの隣接行列の正または負の固有値の二乗和の最小値が、辺の数の2倍をベクトル彩色数で割った値によって下から抑えられることを確立している。証明は、ベクトル彩色数の新しい半定値計画法（SDP）定式化を活用し、行列分解とコーシー・シュワルツの不等式を適用して境界を導出する。

ABSTRACT

In this short paper we prove that the sum of the squares of negative (or positive) eigenvalues of the adjacency matrix of a graph is lower bounded by the sum of the degrees divided by the vector chromatic number, resolving a conjecture by Wocjan, Elphick and Anekstein (2018).

研究の動機と目的

• Wocjan, Elphick, および Anekstein（2018）が提起した予想を解消する。この予想は、ベクトル彩色数を用いた固有値の二乗和の下界に関するものである。
• AndoおよびLin（2018）およびGuoとSpiro（2020）のグラフ理論におけるスペクトル境界に関する先行研究を強化する。
• グラフのホモモーフィズムを仮定しない直接的な証明を提供する。これは、ベクトル彩色数のSDP定式化の構造的性質を活用することで達成される。
• 正または負の固有空間の二乗和を、ベクトル彩色数と辺の数に関連付ける、タイトなスペクトル不等式を確立する。

提案手法

• 隣接行列の補数行列を表すA̅を用いて、制約⟨I + A̅, Z⟩ = 1を満たす、新しい半定値計画法（SDP）を用いてベクトル彩色数を定式化する。
• SDP定式化から導かれる、すべてのZ ≥ 0およびZ ⪰ 0に対して⟨J, Z⟩ ≤ χ_vec(G)⟨J - A, Z⟩が成り立つ重要な不等式を導入する。
• 行列分解不等式（Lemma 3）を適用し、正規直交性および辺の補数制約の下でA⁺とA⁻のノルムの二乗を関連付ける。
• A = A⁺ - A⁻というスペクトル分解を用いる。ここでA⁺とA⁻は、それぞれ正の固有空間および負の固有空間への半正定値射影である。
• 非辺上のA⁺およびA⁻の非対角成分にコーシー・シュワルツの不等式を適用し、二乗和とベクトル彩色数を結びつける。
• 対称性を用いて、A⁺とA⁻の役割を交換可能に扱い、min{s⁺, s⁻} ≥ 2m / χ_vec(G)という境界を確立する。

実験結果

リサーチクエスチョン

• RQ1 Wocjan, Elphick, および Aneksteinが提起したように、グラフの隣接行列の正または負の固有値の二乗和は、2m / χ_vec(G)によって下から抑えられるか？
• RQ2 固有値の和を含むスペクトル境界を簡素化するため、ベクトル彩色数を新たなSDP定式化で再表現できるか？
• RQ3 証明においてグラフのホモモーフィズムの仮定を排除することで、スペクトルグラフ不変量に対するより一般的またはより強固な不等式が得られるか？
• RQ4 正固有空間と負固有空間の間の相互作用は、行列分解とSDP双対性を用いて形式化可能であり、タイトなスペクトル境界を導くことができるか？
• RQ5 不等式min{s⁺, s⁻} ≥ 2m / χ_vec(G)はすべてのグラフクラスにわたってタイトか？その極値ケースは何か？

主な発見

• 正固有値の二乗和s⁺と負固有値の二乗和s⁻は、min{s⁺, s⁻} ≥ 2m / χ_vec(G)を満たす。ここでmは辺の数である。
• この境界は、グラフのホモモーフィズムに依存しない新しいSDP定式化を用いて証明されており、直接的な導出が可能である。
• 証明により、s⁺ ≤ (χ_vec(G) - 1)s⁻およびs⁻ ≤ (χ_vec(G) - 1)s⁺が成り立ち、これらが組み合わさって主不等式を導く。
• この結果は、AndoおよびLin（2018）およびGuoとSpiro（2020）の先行研究を強化し、よりタイトなスペクトル制約を提供する。
• 主な技術的洞察は、A⁺とA⁻のノルムの二乗を関連付けるために、行列分解とコーシー・シュワルツの不等式を非対角成分に適用することにある。
• 境界は対称的であり、特定の強正則グラフなど、スペクトル構造と彩色構造が一致する場合に等号が成立するという意味でタイトである。