[论文解读] Dual equivalence graphs and a combinatorial proof of LLT and Macdonald positivity

Sami Assaf|arXiv (Cornell University)|May 20, 2010

Advanced Combinatorial Mathematics参考文献 18被引用 38

一句话总结

本文引入双等价图，为LLT和麦克唐纳对称函数的非负性提供组合证明。通过内容读取字和移位内容，证明了$k$-带字与$k$-个斜半标准杨表之间的双射关系，从而通过显式构造杨表和下降条件，证明了这些对称函数展开式中结构常数的非负性。

ABSTRACT

We make a systematic study of a new combinatorial construction called a dual equivalence graph. We axiomatize these graphs and prove that their generating functions are symmetric and Schur positive. By constructing a graph on ribbon tableaux which we transform into a dual equivalence graph, we give a combinatorial proof of the symmetry and Schur positivity of the ribbon tableaux generating functions introduced by Lascoux, Leclerc and Thibon. Using Haglund's formula for the transformed Macdonald polynomials, this also gives a combinatorial formula for the Schur expansion of Macdonald polynomials.

研究动机与目标

• 建立一个用于证明LLT和麦克唐纳多项式非负性的组合框架。
• 通过描述集和内容序列定义$k$-带字，以编码杨表结构。
• 证明$k$-带字与$k$-个斜半标准杨表的$k$-元组之间存在双射关系。
• 通过内容读取字和下降条件，提供这些杨表的构造性刻画。

提出的方法

• 将$\mathrm{Des}_k(w,c)$定义为满足$w_i > w_j$且$c_j - c_i = k$的对$(i,j)$的集合，以捕捉相对顺序和内容差异。
• 将$k$-带字定义为满足特定下降和内容约束的对$(w,c)$，当$c_i = c_{i+1}$时，确保杨表兼容性。
• 通过将相同内容的条目沿对角线按递增顺序对齐，从$k$-带字构造出$k$-个斜半标准杨表。
• 通过对角线对齐的归纳推理，验证所得形状满足半标准杨表条件。
• 通过下降约束确保相邻对角线（例如内容$j-k$和$j$）之间条目的相对顺序尊重半标准条件。
• 通过证明构造过程可逆且保持所有必要条件，证明$k$-带字与$k$-个斜半标准杨表$k$-元组之间的双射性。

实验结果

研究问题

• RQ1 每个$k$-带字是否都能通过内容读取字和移位内容，从$k$-个斜半标准杨表中得到？
• RQ2 描述集$\mathrm{Des}_k(w,c)$是否能完全编码$k$-个杨表的组合结构？
• RQ3 $k$-带字与半标准杨表$k$-元组之间的对应关系是否为双射且可构造？
• RQ4 定义4.1中的下降和内容条件是否能确保对角线间条目满足半标准条件？
• RQ5 从$k$-带字构造杨表的过程是否可逆，以恢复原始字和内容序列？

主要发现

• 当且仅当存在一个$k$-元组（斜）半标准杨表，使得$w$为内容读取字且$c$给出对应内容时，$k$-带字$(w,c)$存在。
• 当$c_i = c_{i+1}$时，若存在条目$w_h$和$w_j$满足$w_i < w_h \leq w_{i+1}$且$w_i \leq w_j < w_{i+1}$，且$c_h = c_i - k$，$c_j = c_i + k$，则杨表结构得以保持。
• 通过沿对角线对齐从$k$-带字构造杨表，可保持相邻对角线间的半标准条件。
• 构造中的归纳步骤证实，当满足下降条件时，内容为$j-k$和$j$的对角线条目构成有效的斜半标准杨表。
• 反向构造——从$k$-个杨表恢复$k$-带字——保持了下降和内容条件，从而证明了双射性。
• 整个框架通过用$k$-带字和双等价图编码其结构常数，为LLT和麦克唐纳多项式的非负性提供了完全的组合证明。