[論文レビュー] An Inequality for Generalized Chromatic Graphs

Asen Bojilov, N. Nenov|arXiv (Cornell University)|Nov 23, 2011

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

ひとこと要約

本稿は、単純な n 頂点グラフ G の一般化彩色数 φ(G) の新たな下界を、頂点次数の二乗平均（d̄̄ と表記）を用いて確立する。φ(G) ≥ n / (n − d̄̄) が成り立ち、平均次数に基づく既存の下界を改善する。等号成立は、G が正則かつ完全 r 色グラフで、r が n を割り切る場合に限る。

ABSTRACT

Let $G$ be a simple $n$-vertex graph with degree sequence $d_1,d_2,...,d_n$ and vertex set $\V(G)$. The degree of $v\in\V(G)$ is denoted by $\D(v)$. The smallest integer $r$ for which $\V(G)$ has an $r$-partition $$ \V(G)=V_1\cup V_2\cup...\cup V_r,\quad V_i\cap V_j=\emptyset, \quad,i eq j $$ such that $\D(v)\leq n-\abs{V_i}$, $\forall v\in V_i$, $i=1,2,...,r$ is denoted by $\f(G)$. In this note we prove the inequality $$ \f(G)\geq\frac n{n-\bar{\bar{d}}}, $$ where $\bar{\bar{d}}=\sqrt{\dfrac{d_1^2+d_2^2+...+d_n^2}n}$.

研究の動機と目的

• 一般化彩色数 φ(G) のより緊密な下界を確立すること。φ(G) は、頂点集合を分割する δ-集合の最小数を測るグラフ不変量である。
• 平均次数 d̄ に基づく既存の下界 φ(G) ≥ n/(n − d̄) を、二乗平均次数 d̄̄ を用いた下界に置き換えることにより改善すること。
• 新しい不等式における等号成立条件を同定し、等号が成立するための必要十分条件を特定すること。
• 極値グラフ理論における既知の不等式を強化する理論的基盤を提供すること。特にタランの定理やクリーク数の上限に関する結果と関連して。

提案手法

• φ(G) を、V(G) が δ-集合に r 分割可能であるような最小の r として定義する。ここで δ-集合 V とは、任意の v ∈ V に対して d(v) ≤ n − |V| を満たす集合である。
• Σᵢ₌₁ʳ nᵢ(n − nᵢ)² を用いて、次数の二乗和 Σd²(vᵢ) を分割サイズ nᵢ の関数として上界で抑え込む。
• 対称平均不等式の特別な場合であるマクローリンの不等式を用い、分割サイズの初等対称和 σ₂ および σ₃ の上界を導出する。
• 次数の和の上界と対称平均不等式を組み合わせ、主な不等式 φ(G) ≥ n / (n − d̄̄) を導出する。ここで d̄̄ = √(Σdᵢ² / n) である。
• 等号成立の証明において、すべての分割サイズが等しい（nᵢ = n/r）かつすべての頂点の次数が n(r−1)/r に等しい場合にのみ等号が成立することを示し、正則性と完全性を導く。

実験結果

リサーチクエスチョン

• RQ1 平均次数に基づく φ(G) の下界を、次数分布のより洗練された測度を用いて改善できるか？
• RQ2 次数列の2次のモーメントに依存する φ(G) の最もタイトな下界は何か？
• RQ3 新しい不等式 φ(G) ≥ n / (n − d̄̄) における等号成立条件は何か？
• RQ4 この新しい下界は、クリーク数 cl(G) やタラン型極値結果とどのように関係するか？
• RQ5 等号が成立するグラフの構造的特徴づけは可能か？

主な発見

• 本稿は、d̄̄ を頂点次数の二乗平均として定義し、φ(G) ≥ n / (n − d̄̄) を確立する。これは、平均次数に基づく既存の下界を厳密に改善する。
• 不等式における等号成立は、n が r = φ(G) で割り切れる場合に限り、G が次数 n(r−1)/r の正則グラフ、すなわち完全 r 色グラフであるときに成立する。
• この下界はタイトであり、等号成立時には正則かつ完全 r 分割グラフとしての極値グラフが特徴づけられる。
• 既知の不等式 φ(G) ≤ cl(G) を強化し、cl(G) ≥ n / (n − d̄̄) を示す。これは、先行研究における誤った証明を是正するものである。
• 証明技法は、δ-集合分割のサイズに適用した対称平均不等式（マクローリンの不等式）に依拠しており、代数的不等式とグラフ不変量を結びつける。
• 本手法は、次数列のモーメントを用いた一般化彩色数の分析のための新たな解析的枠組みを提供し、古典的極値グラフ理論を拡張する。