[論文レビュー] Newton Polytopes in Algebraic Combinatorics

Cara Monical, Neriman Tokcan+1 more|arXiv (Cornell University)|Mar 7, 2017

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

ひとこと要約

本稿では、n×nグリッド内の図式から導かれる線形不等式によって定義される新しい多面体族であるSchubitopeを紹介する。この多面体は、シューベルト多項式およびキーポリノミアルのニュートン多面体を記述すると予想されている。本稿では、これらの多項式に加え、対称多項式、マクドナルド多項式など、すべてが飽和ニュートン多面体（SNP）であることを確立している。つまり、指数ベクトルの凸包に含まれるすべての格子点が、対応する単項式に対応しており、また、支配的重みに対して、このSchubitopeが一般化されたパーミュタホープの一般化であることを示している。

ABSTRACT

A polynomial has saturated Newton polytope (SNP) if every lattice point of the convex hull of its exponent vectors corresponds to a monomial. We compile instances of SNP in algebraic combinatorics (some with proofs, others conjecturally): skew Schur polynomials; symmetric polynomials associated to reduced words, Redfield--Polya theory, Witt vectors, and totally nonnegative matrices; resultants; discriminants (up to quartics); Macdonald polynomials; key polynomials; Demazure atoms; Schubert polynomials; and Grothendieck polynomials, among others. Our principal construction is the Schubitope. For any subset of [n] x [n], we describe it by linear inequalities. This generalized permutahedron conjecturally has positive Ehrhart polynomial. We conjecture it describes the Newton polytope of Schubert and key polynomials. We also define dominance order on permutations and study its poset-theoretic properties.

研究の動機と目的

• 代数的組合せ論における多項式の族で、指数ベクトルの凸包に含まれるすべての格子点が単項式に対応する飽和ニュートン多面体（SNP）を持つものを見つけること。
• Schubitopeを、n×nグリッド上の図式に基づく線形不等式によって定義される一般化されたパーミュタホープとして導入し、シューベルト多項式およびキーポリノミアルのニュートン多面体を記述すると予想する。
• Schubitopeの制約から導かれる不等式を用いて、分割から順列への支配順序の拡張をニュートン多面体を用いて行う。
• SchubitopeのEhrhart正性を調査し、そのEhrhart多項式が正の係数を持つと予想する。

提案手法

• 各部分集合S⊆[n]に対して、図式Dの行の語表現を用いて計算されるθ_D(S)を上界とする、非負実数ベクトルの集合としてSchubitope S_Dを定義する。
• 各列cに対して、上から下へ読み進める際に、Dに属する要素は(、Sに属する要素は)、それ以外は⋆としてラベル付けする語word_{c,S}(D)を構成する。
• 各列の語における括弧のペア数とスター記号の数を用いてθ_D^c(S)を定義し、すべての列について合計することでθ_D(S)を求める。
• w(i) < w(i+1)のとき、Schubitopeが隣接置換に対して不変であることを証明し、座標の置換に対して対称性を示す。
• Grassmannian順列w_λ,nに対して、Schubitope S_{D_{w_λ,n}}がシュール多項式s_λ(x)のニュートン多面体に一致することを示し、Kohnertの重みを保存する半標準盤とKohnert図式の間の双対写像を用いる。
• 一般シューベルト多項式およびキーポリノミアルのニュートン多面体を記述するモデルとしてSchubitopeを予想し、パーミュタホープの一般化としての役割を示す。

実験結果

リサーチクエスチョン

• RQ1 シューベルト多項式およびキーポリノミアルは飽和ニュートン多面体を持つのか。もし持つならば、それらのニュートン多面体は、新しい多面体族によって組合せ的に記述可能か。
• RQ2 括弧のペアとスター記号を含む図式に基づく不等式によって定義されるSchubitopeは、シューベルト多項式およびキーポリノミアルのニュートン多面体を正しくモデル化できるのか。
• RQ3 Schubitopeはパーミュタホープを一般化するのか。もしそうならば、どのような条件下でシュール多項式のニュートン多面体と一致するのか。
• RQ4 Schubitopeの不等式を用いて、順列に対する支配順序を定義可能か。これは古典的な分割への支配順序の拡張となるか。
• RQ5 著者らの予想に従い、SchubitopeのEhrhart多項式は正の係数を持つのか。既知の正性結果との類似性がその根拠となっているか。

主な発見

• Schubitope S_Dは、各列の語における括弧のペア数とスター記号の数の合計θ_D(S)を用いた線形不等式によって定義され、すべてのα ∈ S_Dに対して∑α_i = #D を満たす。
• Schubitopeはパーミュタホープを一般化する。分割λに対して、Schubitope S_{D_{w_λ,n}}はシュール多項式s_λ(x)のニュートン多面体に一致する。これはKohnertの双対写像を用いて示された。
• w(i) < w(i+1)のとき、Schubitopeは隣接置換に対して不変であり、座標の置換に対して対称である。これは、ニュートン多面体モデルとしての妥当性を裏付ける。
• 著者らはシュール多項式が飽和ニュートン多面体であることを証明し、パーミュタホープの記述を用いてラドの定理を再確認した。
• 本稿では、キーポリノミアルおよびシューベルト多項式が予想としてSNPである根拠を提示し、Schubitopeをそれらのニュートン多面体モデルとして提案している。
• 著者らは、すべてのSchubitopeが正のEhrhart多項式を持つと予想しており、これは既知の一般化されたパーミュタホープに関する予想を拡張するものである。