[论文解读] Zubieta's Conjecture on the Enumeration of Corners in Tree-like Tableaux

Alice L. L. Gao, Emily X. L. Gao+1 more|arXiv (Cornell University)|Nov 17, 2015

Advanced Combinatorial Mathematics被引用 1

一句话总结

本文通過樹狀表格與排列表格之間的雙射，確認了Zubieta關於樹狀表格中角落數量的計數猜想。研究表明角落對應於排列中「上升後跟下降」的模式，從而實現精確計數，並引入了(a,b)-類比，對PASEP模型具有重要啟示。

ABSTRACT

In this paper, we confirm a conjecture of Laborde-Zubieta on the enumeration of corners in tree-like tableaux. Our proof is based on Aval, Boussicault and Nadeau's bijection between tree-like tableaux and permutation tableaux, and Corteel and Nadeau's bijection between permutation tableaux and permutations. This last bijection sends a corner in permutation tableaux to an ascent followed by a descent in permutations, this enables us to enumerate the number of corners in permutation tableaux, and thus to completely solve L.-Z.'s conjecture. Moreover, we give a bijection between corners and runs of size 1 in permutations, which gives an alternative proof of the enumeration of corners. Finally, we introduce an ($a$,$b$)-analogue of this enumeration, and explain the implications on the PASEP.

研究动机与目标

• 確認Laborde-Zubieta關於樹狀表格中角落計數的猜想。
• 建立排列表格中的角落與排列中特定模式（上升後跟下降）之間的聯繫。
• 透過角落與排列中大小為1的連續段之間的雙射，提供另一種證明方法。
• 引入角落計數的(a,b)-類比，並探討其對PASEP模型的影響。

提出的方法

• 利用Aval、Boussicault與Nadeau提出的樹狀表格與排列表格之間的雙射。
• 應用Corteel與Nadeau提出的排列表格與排列之間的雙射，以轉移角落結構。
• 將排列表格中的角落映射到對應排列中的「上升後跟下降」模式。
• 建立角落與排列中大小為1的連續段之間的直接雙射，作為另一種計數方法。
• 引入角落計數生成函數的(a,b)-類比。
• 分析(a,b)-類比對統計力學中PASEP模型的影響。

实验结果

研究问题

• RQ1 如何精確計數樹狀表格中的角落數量？
• RQ2 角落的組合解釋如何以排列模式來理解？
• RQ3 能否構造出角落與排列中大小為1的連續段之間的雙射？
• RQ4 (a,b)-類比的形態與意義為何？
• RQ5 (a,b)-類比如何與PASEP模型相關聯？

主要发现

• 樹狀表格中角落的數量透過與排列中「上升後跟下降」模式的對應關係，實現了完全計數。
• 建立了排列表格中角落與排列中大小為1的連續段之間的直接雙射，提供了計數的另一種證明。
• 引入了角落計數的(a,b)-類比，推廣了角落生成函數。
• (a,b)-類比為PASEP模型提供了新見解，特別是在穩態分佈與粒子相互作用方面。
• 無論是基於「上升-下降」模式還是「大小為1的連續段」的解釋，角落計數結果一致，確認了不同組合模型之間的一致性。