[论文解读] Fully Packed Loops in a triangle: matchings, paths and puzzles

Ilse Fischer, Philippe Nadeau|arXiv (Cornell University)|Sep 6, 2012

Advanced Combinatorial Mathematics参考文献 20被引用 14

一句话总结

本文引入三角形中的定向完全填充路径配置（TFPLs），以提供一种通过局部约束研究普通TFPLs的组合框架。它建立了在过剩为0或1时，边界条件为(u,v;w)的TFPL计数公式，表明这些计数可表示为Littlewood-Richardson系数及相关组合不变量的函数，通过路径辫带分解与拼图枚举技术推导出显式公式。

ABSTRACT

Fully Packed Loop configurations in a triangle (TFPLs) first appeared in the study of ordinary Fully Packed Loop configurations (FPLs) on the square grid where they were used to show that the number of FPLs with a given link pattern that has m nested arches is a polynomial function in m. It soon turned out that TFPLs possess a number of other nice properties. For instance, they can be seen as a generalized model of Littlewood-Richardson coefficients. We start our article by introducing oriented versions of TFPLs; their main advantage in comparison with ordinary TFPLs is that they involve only local constraints. Three main contributions are provided. Firstly, we show that the number of ordinary TFPLs can be extracted from a weighted enumeration of oriented TFPLs and thus it suffices to consider the latter. Secondly, we decompose oriented TFPLs into two matchings and use a classical bijection to obtain two families of nonintersecting lattice paths (path tangles). This point of view turns out to be extremely useful for giving easy proofs of previously known conditions on the boundary of TFPLs necessary for them to exist. One example is the inequality d(u)+d(v)<=d(w) where u,v,w are 01-words that encode the boundary conditions of ordinary TFPLs and d(u) is the number of cells in the Ferrers diagram associated with u. In the third part we consider TFPLs with d(w)- d(u)-d(v)=0,1; in the first case their numbers are given by Littlewood-Richardson coefficients, but also in the second case we provide formulas that are in terms of Littlewood-Richardson coefficients. The proofs of these formulas are of a purely combinatorial nature.

研究动机与目标

• 通过仅施加局部约束的定向TFPLs，为普通TFPLs建立一个组合框架。
• 为TFPL存在性的必要边界条件提供统一的推导方法，特别是不等式d(u)+d(v)≤d(w)。
• 在过剩为0或1时，推导出TFPL数量的显式公式，并将其与Littlewood-Richardson系数联系起来。
• 通过拼图块分解，建立TFPL计数与Grothendieck多项式之间的联系。
• 证明通过生成函数的代数运算，可从定向TFPL的加权枚举中提取普通TFPL的计数。

提出的方法

• 引入带有方向边的定向TFPLs，以确保仅通过局部约束控制配置的有效性。
• 通过匹配与路径之间的经典双射，将定向TFPLs分解为两组不相交的格路族（路径辫带）。
• 利用路径辫带表示，推导出TFPL存在的必要与充分条件，包括不等式d(u)+d(v)≤d(w)。
• 定义并枚举三类拼图（DHD、DHU、BD），以建模过剩为1的TFPL配置，使用组合移动与转移规则。
• 通过边界词u、v、w中的转移加权表达过剩为1的TFPL计数，涉及函数L1、L0、R1及c_{u,v}^w。
• 应用K-理论与Grothendieck多项式中的代数技术，解释并验证组合公式，尤其针对DHU-拼图。

实验结果

研究问题

• RQ1 如何通过局部约束利用定向TFPLs简化普通TFPLs的枚举？
• RQ2 边界词u、v、w需满足何种组合条件，才能保证存在边界为(u,v;w)的TFPL？
• RQ3 过剩为1的TFPL计数如何与Littlewood-Richardson系数及其他已知组合不变量相关联？
• RQ4 过剩为1的TFPL数量能否表示为边界转移与结构常数的闭式公式？
• RQ5 在Grassmannian的K-理论背景下，TFPL计数与Grothendieck多项式之间的确切关系是什么？

主要发现

• 边界为(u,v;w)且过剩为1的TFPL数量由v与w中转移的加权和公式给出，权重为L1与c_{u,v}^w，且与u-转移无关。
• 当过剩为0时，边界为(u,v;w)的TFPL数量等于Littlewood-Richardson系数c_{u,v}^w，确认了已知关联。
• 当过剩为1时，TFPL数量表示为对每个满足v→v^+的v^+的求和，项为|v|_1 + L(v,v^+) + 1，并加上涉及w^−转移的修正项。
• 边界为(u,v;w)的DHU-拼图数量等于G_{λ(w)}在乘积G_{λ(u)}G_{λ(v)}中的系数，条件为d(w)=d(u)+d(v)+1，将TFPLs与K-理论联系起来。
• 过剩为1的定向TFPL数量由一个复杂公式给出，结合了u^+、v^+与w^−转移的贡献，系数涉及L1、L0与R1函数。
• 参数为q的定向TFPL加权枚举产生一个生成函数，通过q-级数的代数运算可提取普通TFPL的计数。