[论文解读] The Delta Conjecture at $q=1$

Marino Romero|arXiv (Cornell University)|Sep 15, 2016

Advanced Combinatorial Mathematics参考文献 15被引用 5

一句话总结

本文通过使用保持权重且符号相反的对合，对 $\Delta_{e_k}e_n|_{q=1}$ 的形式幂级数展开中的负项进行相消，从而在 $q=1$ 处证明了 Delta 论断，得到了在基本对称函数基下的正组合公式。关键结果是关于满足特定组合约束的序列的 $t$ 的多项式展开，该结果在 $q=1$ 处确立了论断，并引入了一种可应用于其他对称函数内积的新方法。

ABSTRACT

We use a weight-preserving, sign-reversing involution to find a combinatorial expansion of $Δ_{e_k} e_n$ at $q=1$ in terms of the elementary symmetric function basis. We then use a weight-preserving bijection to prove the Delta Conjecture at $q=1$. The method of proof provides a variety of structures which can compute the inner product of $Δ_{e_k} e_n|_{q=1}$ with any symmetric function.

研究动机与目标

• 通过一种新颖的组合方法证明 $q=1$ 处的 Delta 论断。
• 在基本对称函数基下，为 $\Delta_{e_k}e_n|_{q=1}$ 提供一个正组合展开。
• 为计算 $\omega(\Delta_{e_k}e_n)|_{q=1}$ 与任意对称函数的内积，建立一个通用框架。
• 将符号相反的对合方法引入为证明更高 $q$-度下完整 Delta 论断的可行策略。

提出的方法

• 对 $\Delta_{e_k}e_n|_{q=1}$ 的形式幂级数展开应用保持权重且符号相反的对合，以相消负项，并分离出具有正系数的不动点。
• 该对合的不动点对应于满足以下条件的序列 $s = ((a_1,b_1), \dots, (a_{k+1},b_{k+1}))$：$a_1 = 0$，$b_i$ 是 $\lambda$ 的重排并包含 $k+1 - \ell(\lambda)$ 个零，且满足 $a_{i+1} < a_i + b_i$。
• 每个不动点的权重定义为 $\rho(s) = a_1 + \cdots + a_{k+1}$，所有不动点的生成函数即为对称函数 $\Delta_{e_k}e_n|_{q=1}$。
• 在不动点与具有 $n-k$ 个标记行的 Dyck 路径之间构造一个双射，将组合侧与 Shuffle 论断中的已知结构联系起来。
• 该方法可推广至计算 $\langle \omega(\Delta_{e_k}e_n)|_{q=1}, F \rangle$，其中 $F$ 为任意对称函数，方法是将 $F$ 的单项式展开编码到序列的 $b_i$ 值中。
• 该方法揭示了 $\Delta_{e_k}e_n|_{q=1}$ 在 Schur、单项式、基本和遗忘基下均为 $t$-正的，并为每种基提供了显式公式。

实验结果

研究问题

• RQ1 能否通过符号相反的对合，相消形式级数中的负项，从而在 $q=1$ 处证明 Delta 论断？
• RQ2 何种组合结构编码了此类对合的不动点，以在基本对称函数基下产生正组合展开？
• RQ3 如何为任意对称函数 $F$ 计算内积 $\langle \omega(\Delta_{e_k}e_n)|_{q=1}, F \rangle$？
• RQ4 符号相反的对合方法是否可推广至证明 $q \neq 1$ 处的完整 Delta 论断？
• RQ5 在 Dyck 路径与标记行的术语下，$\Delta_{e_k}e_n|_{q=1}$ 的精确组合解释是什么？

主要发现

• 在 $q=1$ 处，Delta 论断成立，且 $\Delta_{e_k}e_n|_{q=1} = \sum_{\lambda \vdash n} e_\lambda \sum_{s \in M^\lambda_k} t^{\rho(s)}$，其中 $M^\lambda_k$ 是满足前述约束的序列集合。
• 符号相反的对合作成功相消了形式级数中的所有负项，仅留下形成在 $t$ 中具有正整数系数的多项式的不动点。
• 该方法在组合对象 $s$ 与具有 $n-k$ 个标记行的 Dyck 路径之间建立了双射，将结果与 Shuffle 论断联系起来。
• 内积 $\langle \omega(\Delta_{e_k}e_n)|_{q=1}, F \rangle$ 可表示为对所有序列 $s$ 的求和，其 $b_i$ 值与 $F$ 的单项式项匹配，权重为 $t^{\rho(s)}$。
• $\Delta_{e_k}e_n|_{q=1}$ 的展开在 Schur、单项式、基本和遗忘基下均为 $t$-正的，且为每种基提供了显式公式。
• 通过新方法，$\langle \Delta_{e_k}e_n, p_1^n \rangle|_{q=1}$ 的 Hilbert 级数被恢复为按面积加权的停车函数之和，从而确认了 Wilson 的结果。