[論文レビュー] Complexity, combinatorial positivity, and Newton polytopes.

Anshul Adve, Colleen Robichaux+1 more|arXiv (Cornell University)|Oct 24, 2018

Advanced Combinatorial Mathematics参考文献 22被引用数 7

ひとこと要約

本稿は、シューベルト多項式の係数が非ゼロであるかどうかの判定に関するテーブルックス基準を確立し、この問題に対する初めての多項式時間アルゴリズムを可能にした。シューベルトポリトープ（permutahedronの一般化であるニュートン多面体）を特徴づけることで、非ゼロ性問題がNP ∩ coNPに属することを示し、良い特徴付けを提供するとともに、代数的組合せ論と計算複雑性理論を結びつけた。

ABSTRACT

The Nonvanishing Problem asks if a coefficient of a polynomial is nonzero. Many families of polynomials in algebraic combinatorics admit combinatorial counting rules and simultaneously enjoy having saturated Newton polytopes (SNP). Thereby, in amenable cases, Nonvanishing is in the complexity class ${\sf NP} \cap {\sf coNP}$ of problems with good characterizations. This suggests a new algebraic combinatorics viewpoint on complexity theory. This paper focuses on the case of Schubert polynomials. These form a basis of all polynomials and appear in the study of cohomology rings of flag manifolds. We give a tableau criterion for Nonvanishing, from which we deduce the first polynomial time algorithm. These results are obtained from new characterizations of the Schubitope, a generalization of the permutahedron defined for any subset of the n x n grid.

研究の動機と目的

• 代数的組合せ論における『非ゼロ性問題』—多項式の係数が非ゼロかどうかを特定すること—を扱う。
• フラッグ多様体のコホロロジーに現れる基底をなすシューベルト多項式が、非ゼロ係数に対して良い特徴付けを有することを確立する。
• グリッド上の適合テーブルックスに基づく組合せ論的基準を構築し、シューベルト多項式の係数が非ゼロであるかどうかを決定する。
• 任意のn×nグリッド部分集合に対して定義されるシューベルトポリトープ（permutahedronの一般化）を特徴づけ、シューベルト多項式のニュートン多面体を理解するための主要な道具とする。
• シューベルト多項式の非ゼロ性問題がNP ∩ coNPに属することを示し、これは良い特徴付けが存在することを示唆する。

提案手法

• 任意のn×nグリッド部分集合に対して定義されるシューベルトポリトープを導入し、シューベルト多項式のニュートン多面体をモデル化する。
• グリッド上の適合テーブルックスの組合せ論的性質を分析することで、係数の非ゼロ性を特定するテーブルックス基準を構築する。
• シューベルト多項式が飽和ニュートン多面体（SNP）性質を有することを活用し、非ゼロ係数がシューベルトポリトープ内の整数点に対応することを保証する。
• テーブルックス基準を用いて、多項式時間でテーブルックスの存在を検証することで、非ゼロ性をテストする多項式時間アルゴリズムを構築する。
• 双対性と凸幾何学を応用し、シューベルトポリトープの整数点がシューベルト多項式における非ゼロ係数の単項式とちょうど一対一に対応することを示す。
• テーブルックスの存在と非存在の両方が多項式時間で検証可能であることを示すことにより、非ゼロ性問題がNP ∩ coNPに属することを確立する。

実験結果

リサーチクエスチョン

• RQ1 シューベルト多項式の係数が非ゼロかどうかを特定するための組合せ論的テーブルックス基準を構築できるか？
• RQ2 シューベルトポリトープは、グリッド部分集合に対して定義されるpermutahedronの一般化として、どのようにしてシューベルト多項式のニュートン多面体をモデル化できるか？
• RQ3 シューベルト多項式の非ゼロ性問題は、良い特徴付けを有するのか。具体的には、NP ∩ coNPに属するのか？
• RQ4 シューベルトポリトープの整数点とシューベルト多項式における非ゼロ係数の単項式の間にはどのような関係があるか？
• RQ5 テーブルックス基準を用いて、係数の非ゼロ性をテストする多項式時間アルゴリズムを構築できるか？

主な発見

• 関連グリッド上に適合フラッグ付きテーブルックスが存在するかをチェックすることで、シューベルト多項式における係数の非ゼロ性を特定するテーブルックス基準が確立された。
• 任意のn×nグリッド部分集合に対して定義されるシューベルトポリトープは、対応するシューベルト多項式のニュートン多面体であることが示され、permutahedronの一般化としての役割を果たす。
• シューベルト多項式の非ゼロ性問題がNP ∩ coNPに属することを示し、これはyesインスタンスとnoインスタンスの両方に対して良い特徴付けが存在することを示唆する。
• テーブルックス基準を用いて、シューベルト多項式の係数非ゼロ性をテストする最初の多項式時間アルゴリズムが構築された。
• シューベルトポリトープの整数点が、シューベルト多項式における非ゼロ係数の単項式と双対的に一対一に対応することが証明された。
• これらの結果により、代数的組合せ論と計算複雑性理論の間の新たな橋渡しがなされ、飽和ニュートン多面体が非ゼロ性の効率的テストを可能にすることを示した。