[論文レビュー] What makes a D_0 graph Schur positive?

Jonah Blasiak|arXiv (Cornell University)|Nov 13, 2014

Advanced Combinatorial Mathematics参考文献 10被引用数 4

ひとこと要約

本稿は、置換上のKnuth変換および回転変換から構築される組合せ的構造D₀グラフにおける生成関数のシュール正値性を、非可換シュール関数および線形計画法を用いて調査する。8文字の置換上に、シュール正値でない生成関数を持つD₀グラフを構成し、すべてのD₀グラフがシュール正値であるという予想を反証した。また、同じ頂点集合上にDグラフが依然として存在可能であることを示し、この枠組みにおけるシュール正値性の複雑さを強調した。

ABSTRACT

We define a D_0 graph to be a graph whose vertex set is a subset of permutations of n, with edges of the form ...bac... ...bca... or ...acb... ...cab... (Knuth transformations), or ...bac... ...acb... or ...bca... ...cab... (rotation transformations), such that whenever the Knuth and rotation transformations at positions i-1, i, i+1 are available at a vertex, exactly one of these is an edge. The generating function of such a graph is the sum of the quasisymmetric functions associated to the descent sets of its vertices. Assaf studied D_0 graphs in the paper *Dual equivalence and Schur positivity* and showed that they provide a rich source of examples of the D graphs defined in the paper *Dual equivalence graphs and a combinatorial proof of LLT and Macdonald positivity*. A key construction of Assaf expresses the coefficient of q^t in an LLT polynomial as the generating function of a certain D_0 graph. LLT polynomials are known to be Schur positive by work of Grojnowski-Haiman, and experimentation shows that many D_0 graphs have Schur positive generating functions, which suggests a vast generalization of LLT positivity in this setting. As part of a series of papers, we study D_0 graphs using the Fomin-Greene theory of noncommutative Schur functions. We construct a D_0 graph whose generating function is not Schur positive by solving a linear program related to a certain noncommutative Schur function. We go on to construct a D graph on the same vertex set as this D_0 graph.

研究の動機と目的

• LLT多項式やマクドナルド理論との関連から生じる中心的な未解決問題である、すべてのD₀グラフの生成関数がシュール正値であるかどうかを特定すること。
• LLT多項式の正値性に関する広範な計算的証拠を踏まえ、D₀グラフの生成関数がシュール正値となる条件を調査すること。
• 一部のD₀グラフがシュール正値でないことが判明していることに鑑み、局所的性質やイデアルに基づく条件がシュール正値性を説明するのにどの程度有効であるかを検討すること。
• 非可換シュール関数およびリボンシュール作用素が、対称関数のシュール展開を理解する上で果たす役割を明確化すること。
• 特にLLT多項式およびそのシュール正値性に関連して、D₀グラフの生成関数がシュール正値となる条件を特定するフレームワークを提供すること。

提案手法

• 著者らは、非可換シュール関数のFomin-Greene理論を用いて、D₀グラフ生成関数の構造を分析する。
• 非可換シュール関数に関連する線形計画問題を解くことにより、シュール正値でない結果を得られるように、𝒮₈の部分集合上のD₀グラフを構成する。
• 各3位置の組に対して厳密なエッジ選択ルールを満たすKnuthおよび回転エッジを持つD₀グラフを定義する。
• 生成関数は、頂点の下降集合によってインデックス付けされたゲゼルの基本キアスシンメトリック関数の和として計算される。
• 同じ頂点集合上に存在する対応するDグラフと比較することで、生成関数がシュール正値でない場合でもDグラフが存在可能であることを示した。
• リボンシュール作用素の代数におけるイデアルの構造を分析し、シュール正値性の条件を検証した。

実験結果

リサーチクエスチョン

• RQ1 LLT多項式の既知の正値性結果や広範な計算的証拠が示唆するように、すべてのD₀グラフの生成関数はシュール正値であるか？
• RQ2 リボンシュール作用素の代数の商において、非可換シュール関数が単項式の正の和として現れるために必要なおよび十分な条件は何か？
• RQ3 頂点集合と長さ6までの関係に基づく局所的性質が、D₀グラフ生成関数のシュール正値性を保証するのに十分か？
• RQ4 アッサフのLLT双対化によって生じる特定のD₀グラフが、非正値な反例が存在する中でもなぜシュール正値のままであるのか？
• RQ5 非一様的または非局所的な条件が、さまざまなクラスのD₀グラフにおけるシュール正値性を説明できるか？

主な発見

• 𝒮₈の部分集合上に、シュール正値でない生成関数を持つD₀グラフを明示的に構成した。これにより、すべてのD₀グラフがシュール正値であるという予想が反証された。
• 非可換シュール関数に関連する線形計画問題を解くことにより、シュール正値性がD₀グラフの普遍的特徴ではないことを示した。
• 生成関数がシュール正値でないにもかかわらず、同じ頂点集合上にDグラフを明確に構成できた。これは、Dグラフがシュール正値性とは独立して存在可能であることを示している。
• 次数≤6で生成されるイデアルに基づく局所的性質では、シュール正値性を完全に説明できないことが判明した。このような条件では、必要な非局所的構造を捉えきれない。
• D₀グラフにおけるシュール正値性は、単一の均一な代数的条件によって支配されているのではなく、より複雑で、おそらく非局所的または状況依存のメカニズムによって制御されている可能性がある。
• LLT多項式および関連するD₀グラフのシュール正値性は、一般の代数的公理ではなく、より深い非一様な構造的特徴に起因する可能性があるという証拠を提供した。