[論文レビュー] $e$-Positivity Results and Conjectures

Adriano M. Garsia, James Haglund+2 more|arXiv (Cornell University)|Apr 16, 2019

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

ひとこと要約

本稿は、t=1における修正マクドナルド多項式のe-正性およびバランスド・ダイクパスLLT多項式のe-正性を証明するとともに、ユニセルラーやカラムLLT多項式などの他の対称関数族についてもe-正性を予想する。アリープライムアルゴリズムとダイクパスのゼータ像に基づく統一的枠組みを用いて、再帰的重み計算によるe基底展開を確立し、主要なケースについてe-正性を確認するとともに、より広範な検証のためのアルゴリズムを提案する。

ABSTRACT

In a 2016 ArXiv posting F. Bergeron listed a variety of symmetric functions $G[X;q]$ with the property that $G[X;1+q]$ is $e$-positive. A large subvariety of his examples could be explained by the conjecture that the Dyck path LLT polynomials exhibit the same phenomenon. In this paper we list the results of computer explorations which suggest that other examples exhibit the same phenomenon. We prove two of the resulting conjectures and propose algorithms that would prove several of our conjectures. In writing this paper we have learned that similar findings have been independently discovered by Per Alexandersson.

研究の動機と目的

• t=1における修正マクドナルド多項式のe-正性、すなわち $\widetilde{H}_\mu[X;q,1]$ がe-正であることを証明すること。
• 組合せ的および代数的技法を用いて、バランスド・ダイクパスLLT多項式 $B_p[X;q]$ のe-正性を確立すること。
• ユニセルラーやカラムLLT多項式のe-正性についての予想と、そのためのアルゴリズム的枠組みを提示すること。
• ゼータ像とアリープライム構成を用いて、古典的ダイクパス、ユニセルラー、カラムLLT多項式の統一的取り扱いを実現すること。
• e-正性現象を $\nabla C_p 1$、$\Delta_{e_k}e_n$、および $\nabla(-1)^{n-1}p_n$ などのより広範な族へと拡張すること。

提案手法

• プレシスティック恒等式とジャック多項式・マクドナルド多項式の既知の特殊化を用いて、$\widetilde{H}_\mu[X;q,1] = \prod_{i=1}^{\ell(\mu)} (q;q)_{\mu_i} h_{\mu_i}[X/(1-q)]$ を証明する。
• ダイクパス $D$ のゼータ像を用い、$\zeta(D)$ を部分集合に写像することで、古典的ダイクパス、ユニセルラー、カラムLLT多項式の統一的取り扱いを可能にする。
• アリープライムアルゴリズムを適用し、$\zeta(D)$ の取り除けるコーナーにマークを付けることで、エッジ追加に由来する$q$-因子によって決定される重みを用いてLLT多項式を再帰的に計算する。
• 対角セルの部分集合$S$に対して$weight_S(q)$を定義し、最終的なダウンセット構造を変更せずに、ダウンセットを拡張する選択から生じる$q$-因子を扱う。
• 再帰的展開を $areaprime_{Z,T}[X,q] = \sum_{S \in \text{possible}_{Z,T}} e_{|S|}[X] \cdot \text{weight}_S(q) \cdot areaprime_{Z(S),T(S)}[X,q]$ として構成し、$Z(S)$ および $T(S)$ を対角セルにおける行と列の削除によって得る。
• カールソン＝メリットの高速アルゴリズムを活用し、組合せ的限界を超える大規模な例を計算し、予想されたe展開の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 修正マクドナルド多項式 $\widetilde{H}_\mu[X;q,1]$ はすべての分割 $\mu$ に対してe-正性を示すか？
• RQ2 バランスド・ダイクパスLLT多項式 $B_p[X;q]$ はすべての組成 $p$ に対してe-正か？
• RQ3 e-正性現象はすべてのユニセルラーLLT多項式に拡張可能か？
• RQ4 古典的ダイクパス、ユニセルラー、カラムLLT多項式のe展開を計算するための統一的アルゴリズムを構築可能か？
• RQ5 $\nabla C_p 1$、$\Delta_{e_k}e_n$、および $\nabla(-1)^{n-1}p_n$ はe-正か？

主な発見

• 本稿は、すべての分割 $\mu$ に対して $\widetilde{H}_\mu[X;q,1]$ がe-正であることを証明し、展開 $\widetilde{H}_\mu[X;q,1] = \prod_{i=1}^{\ell(\mu)} (q;q)_{\mu_i} h_{\mu_i}[X/(1-q)]$ を得た。
• バランスド・ダイクパスLLT多項式 $B_p[X;q]$ はe-正であり、アリープライム構成から得られる明示的なe基底展開が導出された。
• ユニセルラーLLT $Unicell_{[1,4,3,2]}[X;1+q]$ のe-正性が確認され、$q^2 e_3 e_1 + 2q e_2 e_1^2 + e_1^4$ に展開される。
• ダイクパスLLT $LLT(4,3,[0,1,2])[X;1+q]$ は $(q^3+2q^2)e_3 + (q^2+3q)e_2 e_1 + e_1^3$ に展開され、e-正性が確認された。
• 著者らは、$areaprime_{Z,T}[X,q]$ と部分集合の重み付けを用いた再帰的アルゴリズムを構築し、古典的ダイクパス、ユニセルラー、カラムLLT多項式のe展開を生成した。
• ユニセルラーおよびカラムLLT多項式の異なる多項式の数は、ゼータ像構成のおかげでカタラン数および低いシュレーディンガー数によって上限づけられる。