[論文レビュー] 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の木型テーブレオイドにおける角の数え上げに関する予想を裏付ける。角は順列における上昇の後に下降が続くパターンに対応し、正確な数え上げが可能となり、PASEPモデルに影響を及ぼす(a,b)-類似形が導入される。

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, and 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解釈の両方において等価であることが示され、異なる組合せ的モデル間の整合性が確認された。