[论文解读] Occupied corners in tree-like tableaux

Patxi Laborde Zubieta|arXiv (Cornell University)|May 22, 2015

Advanced Combinatorial Mathematics参考文献 9被引用 12

一句话总结

本文证明，平均而言，每个大小为 $ n $ 的树状表格中恰好包含一个被占据的角落——即东南边界上的包含点的角落。作者提供了两种证明：一种基于多项式的简洁论证，另一种基于与排列的双射，揭示了额外的结构特性。该结果可推广至对称树状表格及其等价类，并在统计力学中的PASEP模型中具有意义，表明在均匀权重下，每个状态的平均跳跃位置数为 $ \frac{n+2}{3} $。

ABSTRACT

Tree-like tableaux are combinatorial objects that appear in a combinatorial understanding of the PASEP model from statistical mechanics. In this understanding, the corners of the Southeast border correspond to the locations where a particle may jump to the right. Such corners may be of two types: either empty or occupied. Our main result is the following: on average there is one occupied corner per tree-like tableau. We give two proofs of this, a short one which gives us a polynomial version of the result, and another one using a bijection between tree-like tableaux and permutations which gives us an additional information. Moreover, we obtain the same result for symmetric tree-like tableaux and we refine our main result to an equivalence class. Finally we present a conjecture enumerating corners, and we explain its consequences for the PASEP.

研究动机与目标

• 确定大小为 $ n $ 的树状表格中被占据角落的平均数量。
• 将结果推广至对称树状表格及其表格等价类。
• 探讨表格中角落统计与PASEP模型中粒子跳跃位置之间的联系。
• 提出并研究关于树状表格中总角落数及其对称对应物的猜想。

提出的方法

• 使用角落计数的多项式版本进行简短证明，确立每个表格平均恰好有一个被占据角落。
• 基于树状表格与排列之间的双射的第二种证明，将交叉映射为广义模式 2-31 的出现。
• 根据点的位置定义表格上的等价关系，表明每个等价类中恰好包含一个被占据角落。
• 使用格路表示重新表述主要结果，通过双射证明：位于给定路径下方的弱路径与公共角落一一对应。
• 通过平稳分布将表格中的角落计数与PASEP模型联系起来，使用加权和 $ w(T) = q^{cr(T)}\alpha^{-tp(T)}\beta^{-lp(T)} $。
• 使用Sage进行计算机探索，以支持对 $ \mathcal{T}_n $ 和 $ \mathcal{T}^{\text{Sym}}_{2n+1} $ 中总角落计数的猜想。

实验结果

研究问题

• RQ1 在大小为 $ n $ 的均匀随机树状表格中，被占据角落的期望数量是多少？
• RQ2 在用于构建树状表格的插入算法下，被占据角落的数量如何变化？
• RQ3 能否通过与排列的双射对被占据角落的平均数量进行细化，其揭示了哪些额外统计特性？
• RQ4 该结果是否可推广至对称树状表格？在这些情况下，被占据角落的平均数量表现如何？
• RQ5 所有大小为 $ n $ 的树状表格中，角落的总数是多少？这与PASEP模型中的跳跃位置有何关联？

主要发现

• 平均而言，每个大小为 $ n $ 的树状表格中恰好有一个被占据角落，与 $ n $ 无关。
• 该结果对大小为 $ 2n+1 $ 的对称树状表格也成立，每个表格的被占据角落平均数仍为一个。
• 等价类的细化表明，每个等价类中恰好包含一个被占据角落，从而进一步细化了主结论。
• 所有大小为 $ n $ 的树状表格中角落总数的猜想为 $ n! \times \frac{n+4}{6} $，基于计算机探索。
• 在PASEP模型中，当 $ \alpha = \beta = q = 1 $ 时，每个状态的跳跃位置（向右或向左）的期望数量为 $ \frac{n+2}{3} $，该结果由角落计数推导得出。
• 对称树状表格中大小为 $ 2n+1 $ 的角落总数的猜想为 $ 2^n \times n \times \frac{4n+13}{12} $。