[論文レビュー] A simple explicit bijection between (n,2) Gog and Magog trapezoids

Jérémie Bettinelli|arXiv (Cornell University)|Dec 10, 2015

Advanced Topics in Algebra参考文献 4被引用数 4

ひとこと要約

本稿では、連続する行間の要素を入れ替える、単一で逆操作可能な操作を用いて、(n,2)-Gog と (n,2)-Magog トレイピゾイドの間の単純で明示的な全単写像を提示する。この全単写像は、Biane と Cheballah が提示したものよりも著しく単純であり、一般化された (ℓ,n,2)-トレイピゾイドの場合にも自然に拡張可能であるが、(n,3)-トレイピゾイドへの拡張は未解決のままである。

ABSTRACT

A sub-problem of the open problem of finding an explicit bijection between alternating sign matrices and totally symmetric self-complementary plane partitions consists in finding an explicit bijection between so-called $(n,k)$ Gog trapezoids and $(n,k)$ Magog trapezoids. A quite involved bijection was found by Biane and Cheballah in the case $k=2$. We give here a simpler bijection for this case.

研究の動機と目的

• 従来の構成よりも単純で明示的な (n,2)-Gog と (n,2)-Magog トレイピゾイドの間の全単写像を提供すること。
• この全単写像を一般化された (ℓ,n,2)-トレイピゾイドの設定に拡張すること、ここで ℓ ≥ 0 は行の境界を制御する。
• 交項行列と完全対称的自己補完平面分割の関係を解明するというより広範な未解決問題に寄与する可能性のある双対的枠組みを提供すること。
• 行の入れ替え操作が単調性を保つことができない構造的制約のため、(n,3)-トレイピゾイドへの拡張に失敗する理由を検討すること。

提案手法

• 全単写像は、連続する行の要素を、局所的な不等式に基づいて値を調整する、単一で逆操作可能な操作によって定義される。
• 写像 Φₙ は、第2行の要素を変更し、単調性を保つために第1行を適切に調整することで、Magog トレイピゾイドを Gog トレイピゾイドに変換する。
• 逆写像 Ψₙ は、g₂,j−1 ≤ g₁,j+1 + 1 を満たす要素の位置に基づいて値を再割り当てる。
• 調整可能な位置の数が一意に決定されることに依拠しており、これが全単写像性を保証する。
• 行制約における上界に ℓ を加えることで、(ℓ,n,2)-トレイピゾイドへの拡張が行われ、同じ構造的論理が保たれる。
• 全単写像性の証明は、Ψₙ∘Φₙ および Φₙ∘Ψₙ がそれぞれの定義域上で恒等写像として作用することを示すことによって行われる。

実験結果

リサーチクエスチョン

• RQ1 Biane と Cheballah が提示したものよりも、(n,2)-Gog と (n,2)-Magog トレイピゾイドの間でより単純で明示的な全単写像を構成可能か？
• RQ2 提案された全単写像は、例えば最初の行および最後の行における 1 の個数や最大値といった既知の統計量を保存または一致させるか？
• RQ3 この方法は (ℓ,n,2)-トレイピゾイドに一般化可能であり、拡張された境界下でも全単写像性を保つのか？
• RQ4 なぜこの方法は (n,3)-トレイピゾイドに拡張できないのか？行の入れ替え操作が単調性制約を破壊する構造的制約は何か？
• RQ5 この構成と、ガウスの二項係数の q-対数凸性を含む他の組合せ的恒等式との間に、より深い関係があるのか？

主な発見

• 本稿では、単一で逆操作可能な操作を用いて、(n,2)-Magog と (n,2)-Gog トレイピゾイドの間の単純で明示的な全単写像を構成し、従来の構成を著しく単純化した。
• 全単写像が可逆であることが証明されており、Ψₙ∘Φₙ および Φₙ∘Ψₙ の両方がそれぞれの定義域上で恒等写像として作用する。
• 上界に ℓ を加えることで、(ℓ,n,2)-トレイピゾイドへの拡張が直接的に行われ、全単写像性が保たれる。
• この構成は、Mills-Robbins-Rumsey の予想における精細統計量とは一致せず、Biane-Cheballah 全単写像で用いられる統計量とも一致しない。
• 単調性制約を破壊する危険性があるため、行の入れ替え操作が安全に行えないという構造的制約のため、(n,3)-トレイピゾイドへの拡張に失敗する。
• q-対数凸性に関する Krattenthaler の構成と類似点が注目されるが、後者ではより制約の少ない厳密に増加する行が関与している。