[論文レビュー] On an Algorithm for Comparing the Chromatic Symmetric Functions of Trees

Sam Heil, Caleb Ji|arXiv (Cornell University)|Jan 23, 2018

Advanced Combinatorial Mathematics参考文献 6被引用数 11

ひとこと要約

本稿では、完全な計算を伴わずに木の彩色対称関数（CSF）を効率的に比較する、新しい確率的アルゴリズムを提示する。この手法は、切断された対称関数の評価と確率的準同型を活用し、29頂点までの非同型な木がすべてCSFによって区別可能であることを検証した。これは、以前の25頂点の上限を拡張し、木の区別可能性に関するスターリングの長年の予想を前進させる。

ABSTRACT

It is a long-standing question of Stanley whether or not the chromatic symmetric function (CSF) distinguishes unrooted trees. Previously, the best computational result, due to Russell, proved that it distinguishes all trees with at most $25$ vertices. In this paper, we present a novel probabilistic algorithm which may be used to check more efficiently that the CSF distinguishes a set of trees. Applying it, we verify that the CSF distinguishes all trees with up to $29$ vertices.

研究の動機と目的

• 非根付き木の彩色対称関数（CSF）を比較するための効率的な計算手法を開発すること。
• 木のサイズに伴い超多項式的に増加するCSFの直接計算という計算上の課題に対処すること。
• CSFがすべての非同型な木を区別できる範囲の既知の上限を、以前の25頂点の結果を超えて拡張すること。
• 3-切断CSFがすべての非根付き木を区別できるかどうかを調査すること。これはスターリングの予想を証明するための可能性のある道筋である。

提案手法

• アルゴリズムは、二つの木が等しいCSFを持つかどうかを、確率的準同型を用いて切断された対称関数を評価することでテストする。
• k-切断彩色対称関数 ${}_{k}X_{T}$ を定義し、部品がすべて k 以下である分割に対応する項のみを保持する。
• 法 q における $X_T$ の評価に、最初の k 成分のみが非ゼロである n-次元ベクトル C を用いた確率的準同型 $\varphi_{q,C}$ を適用する。
• k=3 に焦点を当てることで、計算複雑度を $O(n^2(") から $O(nk(") に削減し、効率的な計算を可能にする。
• 複数の準同型 $\varphi_{q_j,C_j}$ を繰り返し適用することで、木の同値類を反復的に精錬し、各同値類が1つの木のみを含むようにする。
• ${}_{k}X_T \neq {}_{k}X_{T'}$ ならば $X_T \neq X_{T'}$ であるという事実に依拠しており、${}_{k}X_T$ が区別可能であれば $X_T$ が区別可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 完全な計算を伴わずに、二つの木が等しい彩色対称関数を持つかどうかを確率的アルゴリズムが効率的に特定できるか？
• RQ2 3-切断彩色対称関数は、29頂点までのすべての非同型な木を区別できるか？
• RQ3 3-切断CSFは、すべての非根付き木を区別できるかどうか。これはスターリングの予想を解決する道筋となるか？
• RQ4 最適化された対称関数評価を用いることで、CSFの区別可能性の計算上限を25頂点を超えて拡張できるか？

主な発見

• 提案された確率的アルゴリズムは、$O(kn^3)$ 時間で $X_S \neq X_T$ を確率 $1 - \frac{1}{2^k}$ 以上で検証でき、CSFの効率的比較を可能にする。
• このアルゴリズムを用いて、29頂点までのすべての非同型な木がCSFによって区別可能であることを計算的に検証した。
• 3-切断彩色対称関数 ${}_{3}X_T$ は、29頂点までのすべての木を区別するのに十分であった。
• 計算は、木の不変量に適用された一連の確率的準同型 $\varphi_{q_j,C_j}$ を用いて実施され、各同値類が単一の木にまで縮小された。
• 実装は https://github.com/VietaFan/CSFTreeConjecture で公開されており、再現性とさらなるテストが可能である。
• この結果は、ラッセル（2018年）が確立した25頂点の上限を拡張し、スターリングの予想の検証において顕著な前進をもたらした。