[論文レビュー] Piecewise-linear and birational toggling

David M. Einstein, James Propp|arXiv (Cornell University)|Apr 14, 2014

Advanced Combinatorial Mathematics参考文献 10被引用数 5

ひとこと要約

本稿では、有限半順序集合の順序理想における切り替え操作の区分的線形および双正則な類似物を導入し、組合せ論的ローモーションとプロモーションを拡張する。特に、長方形の半順序集合 $[a] \times [b]$ に対して、双正則ローモーションの位数が $a + b$ であることを確立し、トロピカル化と双対性を用いて、これらの力学系下での対称的関数型のホモメジー性を証明する。

ABSTRACT

We define piecewise-linear and birational analogues of the toggle-involutions on order ideals of posets studied by Striker and Williams and use them to define corresponding analogues of rowmotion and promotion that share many of the properties of combinatorial rowmotion and promotion. Piecewise-linear rowmotion (like birational rowmotion) admits an alternative definition related to Stanley's transfer map for the order polytope; piecewise-linear promotion relates to Schützenberger promotion for semistandard Young tableaux. The three settings for these dynamical systems (combinatorial, piecewise-linear, and birational) are intimately related: the piecewise-linear operations arise as tropicalizations of the birational operations, and the combinatorial operations arise as restrictions of the piecewise-linear operations to the vertex-set of the order polytope. In the case where the poset is of the form $[a] imes [b]$, we exploit a reciprocal symmetry property recently proved by Grinberg and Roby to show that birational rowmotion (and consequently piecewise-linear rowmotion) is of order $a+b$. This yields a new proof of a theorem of Cameron and Fon-der-Flaass. Our proofs make use of the correspondence between rowmotion and promotion orbits discovered by Striker and Williams, which we make more concrete. We also prove some homomesy results, showing that for certain functions $f$, the average value of $f$ over each rowmotion/promotion orbit is independent of the orbit chosen.

研究の動機と目的

• 有限半順序集合の順序理想における切り替え操作の区分的線形および双正則な類似物を構築すること。
• 組合せ論的ローモーションとプロモーションを、区分的線形および双正則な設定に拡張し、重要な力学的性質を保持すること。
• トロピカル化および順序ポリトープへの制限を通じて、これら3つの力学系の間の関係を確立すること。
• グリンバーグとロビーの逆対称性を用いて、$[a] \times [b]$ 上の双正則ローモーションの位数が $a + b$ であることを証明すること。
• 3つの設定すべてにおいて、ローモーションおよびプロモーション下での対称的関数型のホモメジー性を示すこと。

提案手法

• 順序理想上に区分的線形および双正則な切り替え写像を定義し、組合せ論的切り替えを一般化する。
• 切り替えの合成として区分的線形および双正則なローモーションとプロモーションを構成する。ローモーションは、順序ポリトープ上でスタンレーの転送写像を用いて定義される。
• トロピカル化を用いて、双正則な操作と区分的線形な操作との関係を、さらに区分的線形な操作と組合せ論的な操作との関係を確立する。
• $[a] \times [b]$ のrc埋め込みを用いてランクとファイルを定義し、対称性に基づく解析を可能にする。
• グリンバーグとロビーの逆対称性を応用し、双正則ローモーションが $[a] \times [b]$ 上で位数 $a + b$ を持つことを示す。
• ローモーションおよびプロモーション下での関数型 $F_{i,j}(f) = f(i,j) + f(a+1-i,b+1-j)$ および $F_k(f) = \sum_{j-i=k-a} f(i,j)$ の軌道平均を解析することでホモメジー性を証明する。

実験結果

リサーチクエスチョン

• RQ1 半順序集合の順序理想における切り替え、ローモーション、プロモーションの区分的線形および双正則な類似物は何か？
• RQ2 区分的線形および双正則なローモーションおよびプロモーションは、トロピカル化および制限を用いて、それらの組合せ論的類似物とどのように関係するか？
• RQ3 半順序集合 $[a] \times [b]$ 上での双正則ローモーションの位数は何か？
• RQ4 どの関数型が双正則および区分的線形ローモーションおよびプロモーション下でホモメシックか？
• RQ5 ホモメジー性の結果は、対称的関数型の線形結合として上昇または特徴づけられるか？

主な発見

• 双正則ローモーションが半順序集合 $[a] \times [b]$ 上で位数 $a + b$ を持つ。これは、カメロンとフォン・デル・フラースの定理の新たな証明を提供する。
• 区分的線形ローモーションは、双正則ローモーションのトロピカル化であり、組合せ論的ローモーションは、順序ポリトープの頂点への区分的線形ローモーションの制限として得られる。
• 関数型 $F_{i,j}(f) = f(i,j) + f(a+1-i,b+1-j)$ は、区分的線形ローモーションおよびプロモーション下でホモメシックであり、軌道に依存しない平均値を取る。
• 関数型 $F_k(f) = \sum_{j-i=k-a} f(i,j)$（$k$ 番目のファイルに沿った和）は、区分的線形ローモーションおよびプロモーション下でホモメシックである。
• 双正則設定では、$F_{i,j}(f) = \log(f(i,j)f(a+1-i,b+1-j))$ および $F_k(f) = \log(\prod_{j-i=k-a} f(i,j))$ は、双正則ローモーションおよびプロモーション下で 0-メシック（0-ホモメシック）である。
• 区分的線形ローモーション下でホモメシックであるような、評価関数型の線形包に属する任意の関数型は、関数型 $F_{i,j}$ および $F_k$ の線形結合に限られる。これは論文の完全版で示されている。