[論文レビュー] Combinatorial models for Schubert polynomials

Sami Assaf|arXiv (Cornell University)|Feb 28, 2017

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

ひとこと要約

本稿では、キー多項式や基本スライド多項式といった既存の枠組みを明示的な双対写像を通じて統合することで、シューベルト多項式の新しい組合せ的モデルを導入する。バランストロイダルと還元表現の間の双対的証明が提示され、コーンャートのアルゴリズムの直接的な組合せ的解釈が与えられるとともに、エデルマン＝グリーン挿入を一般化して、シューベルト多項式の展開を還元表現の観点から表す公式が得られる。

ABSTRACT

Schubert polynomials are a basis for the polynomial ring that represent Schubert classes for the flag manifold. In this paper, we introduce and develop several new combinatorial models for Schubert polynomials that relate them to other known bases including key polynomials and fundamental slide polynomials. We unify these and existing models by giving simple bijections between the combinatorial objects indexing each. In particular, we give a simple bijective proof that the balanced tableaux of Edelman and Greene enumerate reduced expressions and a direct combinatorial proof of Kohnert's algorithm for computing Schubert polynomials. Further, we generalize the insertion algorithm of Edelman and Greene to give a bijection between reduced expressions and pairs of tableaux of the same key diagram shape and use this to give a simple formula, directly in terms of reduced expressions, for the key polynomial expansion of a Schubert polynomial.

研究の動機と目的

• シューベルト多項式をキー多項式および基本スライド多項式と統合する新しい組合せ的モデルの構築。
• 異なる多項式基底を添え字付ける組合せ的対象の間の単純な双対写像の確立。
• エデルマンとグリーンが提唱したバランストロイダルが対称群における還元表現を数えることを示す双対的証明の提供。
• シューベルト多項式の計算に用いられるコーンャートのアルゴリズムに、直接的な組合せ的解釈を与えること。
• エデルマン＝グリーン挿入アルゴリズムを一般化し、還元表現と同一のキーダイアグラム形状を持つテーブルのペアとの間の双対写像を確立すること。

提案手法

• シューベルト多項式、キー多項式、基本スライド多項式を添え字付ける組合せ的対象の間の明示的な双対写像の構築。
• バランストロイダルを介して、対称群における還元表現と多項式基底を結ぶ。
• コーンャートのアルゴリズムを直接的な組合せ的解釈を用いてシューベルト多項式を計算する。
• エデルマン＝グリーン挿入アルゴリズムを拡張し、還元表現と同一のキーダイアグラム形状を持つテーブルのペアとの間の写像を定める。
• 還元表現のみを用いて、シューベルト多項式のキー多項式展開の公式を直接導出する。
• すべてのモデルが単純かつ明示的な双対写像を通じて関連付けられる統一された枠組みを構築する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてシューベルト多項式を、キー多項式および基本スライド多項式と、組合せ的モデルを通じて体系的に関連付けることができるか？
• RQ2 バランストロイダルと対称群における還元表現との間の正確な組合せ的対応関係は何か？
• RQ3 シューベルト多項式の計算に用いられるコーンャートのアルゴリズムに、直接的な双対的解釈を与えることは可能か？
• RQ4 エデルマン＝グリーン挿入アルゴリズムをどのように一般化すれば、還元表現と同一のキーダイアグラム形状を持つテーブルのペアとの間の双対写像を得られるか？
• RQ5 還元表現のみを用いて、シューベルト多項式のキー多項式展開を直接表す公式は何か？

主な発見

• エデルマンとグリーンが提唱したバランストロイダルが、対称群における還元表現を数えることを示す双対的証明が確立された。
• コーンャートのアルゴリズムに、シューベルト多項式の構成に直接的に関連する組合せ的解釈が与えられた。
• エデルマン＝グリーン挿入アルゴリズムが一般化され、還元表現と同一のキーダイアグラム形状を持つテーブルのペアとの間の双対写像が得られた。
• 還元表現のみを用いて、中間の組合せ的対象を経由せずに、シューベルト多項式のキー多項式展開の新しい公式が導出された。
• シューベルト多項式を添え字付ける主な組合せ的モデル、すなわちキー多項式、基本スライド多項式、バランストロイダルの間の単純な双対写像が構築された。
• 明示的な双対写像を通じたこれらのモデルの統合により、さまざまな組合せ的実現におけるシューベルト多項式の構造を理解するための整合性のある枠組みが提供された。