[論文レビュー] Symmetric Chromatic Polynomial of Trees

Isaac Smith, Zane Smith+1 more|arXiv (Cornell University)|May 7, 2015

Advanced Combinatorial Mathematics参考文献 3被引用数 12

ひとこと要約

この論文は、対称的彩色多項式が非同型な木を区別するスタンレーの予想を調査する。23頂点までの木のコンピュータによる列挙を用いて、k-カット（辺部分集合の分割）を計算し、非同型な木が同一の対称的彩色多項式を持つ最小の反例を同定する。主な貢献は、1-, 2-, 3-, 4-カットが一致する最小の木のペアを同定し、重心におけるブランチの入れ替えを含む構造的パターンを明らかにすることにある。

ABSTRACT

In a 1995 paper Richard Stanley defined $X_G$, the symmetric chromatic polynomial of a Graph $G=(V,E)$. He then conjectured that $X_G$ distinguishes trees; a conjecture which still remains open. $X_G$ can be represented as a certain collection of integer partitions of $|V|$ induced by each $S\subseteq E$, which is very approachable with the aid of a computer. Our research involved writing a computer program for efficient verification of this conjecture for trees up to 23 vertices. In this process, we also gather trees with matching collections of integer partitions of a fixed number of parts. For each $k=2, 3, 4, 5$, we provide the smallest pair of trees whose partitions of $k$ parts agree. In 2013, Orellana and Scott give a proof of a weaker version of Stanely's conjecture for trees with one centroid. We prove a similar result for arbitrary trees, and provide examples to show that this result, combined with that of Orellana and Scott, is optimal.

研究の動機と目的

• 非同型な木が対称的彩色多項式によって区別されることを、計算的に検証すること。
• k = 1, 2, 3, 4 に対して、同一のk-カットを持つ最小の非同型木のペアを同定すること。
• 特に重心に基づくブランチの入れ替えを含む、k-カットが一致する木の構造的パターンを分析すること。
• 単一の重心を持つ木に関する先行研究の最適性を検証し、任意の木へと拡張すること。
• 中心の辺を分割することで、同じk-カットを持つ木を生成する一般化されたメカニズムを提起すること。

提案手法

• 辺集合 $S \subseteq E$ に対して、$\theta_G(S)$ を $S$ に含まれる辺を削除したときの成分の頂点数の分割とする。対称的彩色多項式 $X_G$ を、公式 $X_G = \sum_{S \subseteq E} (-1)^{n-1-|S|} p_{\theta_G(S)}$ を用いて、累乗和の対称多項式で表現する。
• すべての部分集合 $S \subseteq E$ に対して得られる整数分割 $\theta_G(S)$ の多重集合を、$X_G$ の正規表現として用いる。これは、対称多項式を一意に特定する。
• 23頂点までの非同型な木をすべて列挙し、$k = 1, 2, 3, 4$ に対してそのk-カット多重集合を計算するコンピュータアルゴリズムを実装する。
• k-カットを $\{\theta_G(S) \mid |S| = k\}$ として定義し、木同士で比較することで、同一のk-カットを持つ非同型な木のペアを検出する。
• 特に2頂点の重心と対称的ブランチの入れ替えを含む、最小反例ペアの構造的類似性を分析する。
• 2重心木の中心の辺を分割すると、$n+1$ 頂点で同じk-カットを持つ新たなペアが得られるという観察を応用する。

実験結果

リサーチクエスチョン

• RQ1 同一の1-カットを持つ非同型木の最小ペアは何か。また、それらが共有する構造的特徴は何か。
• RQ2 オレラーナとスコットによるラベル付き2-カットが単一重心を持つ木を区別する結果は、任意の木へと拡張可能か。
• RQ3 k = 2, 3, 4 に対して、同一のk-カットを持つ非同型木が必要な最小の頂点数は何か。
• RQ4 重心の周囲でのブランチの入れ替えのような、一般の構造的メカニズムが、同一のk-カットを持つ木を生成するか。
• RQ5 同一のk-カットを持つ最小ペアの中心の辺を分割すると、常に $n+1$ 頂点で同じ性質を持つ新たなペアが得られるか。

主な発見

• 同一の1-カットを持つ非同型木の最小ペアは7頂点で構成され、全117本の木の中で2本存在する。
• 同一の2-カットを持つ最小ペアは10頂点で構成され、両方の木が中心の辺を軸にした対称的ブランチの入れ替えを持つ2重心木である。
• 3-カットでは16頂点で最小例が得られ、4-カットでは22頂点で最小例が得られ、23頂点のペアは22頂点のペアの中心の辺を分割して得られる。
• 23頂点で、2-カットで区別されない木の密度は99％を超えることから、大多数の木が2-カットでは一意に特定されないことが示唆される。
• k=2,3,4 に対するすべての最小反例は、2つの重心間の中心の辺を軸にした対称的ブランチの入れ替えという構造的パターンを示している。
• 中心の辺を分割することで、同じk-カットを持つ木のペアが得られるという観察は、2重心木のペアに対して一般化可能であり、データがその仮説を支持している。