[论文解读] $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 时修正 Macdonald 多项式和平衡 Dyck 路径 LLT 多项式的 e-正性，同时对包括单格子和列 LLT 多项式在内的多个对称函数族提出了 e-正性猜想。通过基于 areaprime 算法和 Dyck 路径 zeta 映射的统一框架，作者利用递归权重计算建立了 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 时修正 Macdonald 多项式的 e-正性，即 $\widetilde{H}_\mu[X;q,1]$ 是 e-正的。
• 通过组合与代数技巧，建立平衡 Dyck 路径 LLT 多项式 $B_p[X;q]$ 的 e-正性。
• 对单格子与列 LLT 多项式提出猜想，并提供 e-正性的算法框架。
• 通过 zeta 映射与 areaprime 构造，统一处理经典 Dyck 路径、单格子与列 LLT 多项式。
• 将 e-正性现象扩展至更广泛的族，包括 $\nabla C_p 1$、$\Delta_{e_k}e_n$ 与 $\nabla(-1)^{n-1}p_n$。

提出的方法

• 利用 plethystic 恒等式与杰克与麦克唐纳多项式已知的特殊化，证明 $\widetilde{H}_\mu[X;q,1] = \prod_{i=1}^{\ell(\mu)} (q;q)_{\mu_i} h_{\mu_i}[X/(1-q)]$。
• 利用 Dyck 路径 $D$ 的 zeta 映射将其映射到一个分拆 $\zeta(D)$，从而实现对经典 Dyck、单格子与列 LLT 多项式的统一处理。
• 应用 areaprime 算法，通过在 $\zeta(D)$ 中标记可移除的角落，递归计算 $LLT$ 多项式，权重由边添加产生的 $q$-因子决定。
• 为对角格子的子集 $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)$ 通过在对角格子处删除行与列得到。
• 利用 Carlsson-Mellit 快速算法计算超出组合限制的大规模实例，验证了猜想的 e-展开。

实验结果

研究问题

• RQ1 修正 Macdonald 多项式 $\widetilde{H}_\mu[X;q,1]$ 是否对所有分拆 $\mu$ 都表现出 e-正性？
• RQ2 平衡 Dyck 路径 LLT 多项式 $B_p[X;q]$ 是否对所有复合数 $p$ 都是 e-正的？
• RQ3 e-正性现象是否可扩展至所有单格子 LLT 多项式？
• RQ4 能否构建一个统一算法，用于计算经典 Dyck、单格子与列 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)]$。
• 平衡 Dyck 路径 LLT 多项式 $B_p[X;q]$ 被证明是 e-正的，其显式 e-基展开由 areaprime 构造导出。
• 对单格子 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$。
• Dyck 路径 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]$ 与子集权重，可生成经典 Dyck、单格子与列 LLT 多项式的 e-展开。
• 由于 zeta 映射构造，单格子与列 LLT 多项式的不同数量分别受 Catalan 数与更低的 Schröder 数限制。