[論文レビュー] Decorated Dyck paths, the Delta conjecture, and a new q,t-square

Michele D’Adderio, Anna Vanden Wyngaerd|arXiv (Cornell University)|Sep 25, 2017

Advanced Combinatorial Mathematics参考文献 19被引用数 9

ひとこと要約

この論文は、Haglundのq,t-シュレーダー定理の装飾付き版を証明するため、装飾付きDyckパスに新しい統計量 bounce と bounce′ を導入する。これは[HRW15]における未解決問題を解決する。また、Delta予想における対称性の代数的・組合的解釈を提供し、新しいq,t-平方定理を確立し、t = 1/qでの特殊化によって古典的q,t-平方と関連付ける。

ABSTRACT

We discuss the combinatorics of the decorated Dyck paths appearing in the Delta conjecture framework of Haglund, Remmel and Wilson (2015) and Zabrocki (2016), by introducing two new statistics, bounce and bounce'. We then provide plethystic formulae for their q,t-enumerators, by proving in this way a decorated version of Haglund's q,t-Schroeder theorem, answering a question in Haglund, Remmel and Wilson (2015). In particular we provide both an algebraic and a combinatorial explanation of a symmetry conjectured in Haglund, Remmel and Wilson (2015) and Zabrocki (2016). Finally, we show a link between these results and the q,t-square theorem of Can and Loehr (2006) (conjectured by Loehr and Warrington (2007)), getting a new q,t-square, whose specialization at t=1/q is identical to the classical one, and hinting to a broader phenomenon of this type.

研究の動機と目的

• Delta予想の枠組みにおいて、装飾付きq,t-シュレーダー公式の組合的解釈を提供するという未解決問題を解決すること。
• ⟨Δhℓ∇en, s_{k+1,1^{n−ℓ−k−1}}⟩ = ⟨Δhk∇en−k, s_{ℓ+1,1^{n−k−ℓ−1}}⟩ という対称性関係を、組合的および代数的に説明すること。
• t = 1/qでの特殊化によって古典的q,t-平方と関連付けることにより、装飾付きDyckパスの統計量と古典的q,t-平方を結びつける新しいq,t-平方定理を確立すること。
• Haglundの和公式を一般化し、装飾付きDyckパスのq,t-列挙統計量に対する新しいプレチスティック再帰式を導出すること。

提案手法

• Haglundの元々のbounce統計量を一般化する、装飾付きDyckパスにおける2つの新しい統計量 bounce と bounce′ を導入する。
• 双統計量 (dinv, area) と (area, bounce) を交換し、装飾付き上昇と峰の数を保つzeta写像（スイープ写像）を定義する。
• 装飾付きDyckパス上に、(area, bounce′) を保ちつつ、装飾付き上昇と峰の数を交換する双対写像 ψ を構成する。
• q,t-列挙統計量の再帰を可能にする、重要なプレチスティック和公式（定理0.1）を証明する。これはHaglundの恒等式を一般化する。
• Delta予想における対称性の根拠となる対称プレチスティック恒等式（定理0.2）を確立する。これにより、異なる対称関数の族が結びつけられる。
• 装飾付きDyckパスの再帰的構造と対称関数の恒等式を用いて、代数的および組合的q,t-列挙統計量を一致させる。

実験結果

リサーチクエスチョン

• RQ1 Delta予想の枠組みにおいて、装飾付きq,t-シュレーダー公式に組合的解釈を与えることは可能か？
• RQ2 ⟨Δhℓ∇en, s_{k+1,1^{n−ℓ−k−1}}⟩ = ⟨Δhk∇en−k, s_{ℓ+1,1^{n−k−ℓ−1}}⟩ という対称性関係の組合的および代数的解釈は何か？
• RQ3 装飾付きDyckパスにおける新しい統計量 bounce と bounce′ は、area や dinv といった既知の統計量とどのように関係しているか？
• RQ4 装飾付きDyckパスの枠組みから新しいq,t-平方定理を導出できるか？また、それは古典的q,t-平方とどのように関係しているか？
• RQ5 一般化されたプレチスティック和公式は、Delta予想における代数的および組合的構造の統合に果たす役割は何か？

主な発見

• 論文は、古典的bounce統計量を拡張する統計量 bounce と bounce′ を導入することにより、Haglundのq,t-シュレーダー定理の装飾付き版を証明した。
• zeta写像は双統計量 (dinv, area) と (area, bounce) を交換し、装飾付き上昇と峰の数を保つ。これにより、対称性の組合的解釈が得られる。
• 写像 ψ は (area, bounce′) を保ちつつ、装飾付き上昇と峰の数を交換する。これにより、Delta予想における対称性の組合的証明が得られる。
• 新しいプレチスティック恒等式（定理0.2）は、異なる対称関数の族の間の根本的な関係を確立し、Delta予想における対称性の代数的説明を提供する。
• t = 1/qでの特殊化によって古典的q,t-平方が回復される新しいq,t-平方定理が導出された。これは、このような双対性がより広範な現象である可能性を示唆する。
• 双統計量 (area, bounce)、(area, bounce′)、(area, dinv) におけるq,t-列挙統計量の代数的および組合的再帰式が一致し、フレームワークの整合性が確認された。