[論文レビュー] Alternating sign trapezoids and a constant term approach

Ilse Fischer|arXiv (Cornell University)|Apr 23, 2018

Advanced Combinatorial Mathematics参考文献 18被引用数 3

ひとこと要約

この論文は、単調な三角形の作用素公式に基づく定数項アプローチを用いて、$(n,l)$-交替符号トレイピゾイドの数が、上段に高々$n$個の部品を含むクラス$l-1$の列厳密シフト平面分割の数に等しいという、BehrendとAignerの予想を証明する。さらに、両者の族において、$\operatorname{r}(T)$、$\operatorname{p}(T)$、$\operatorname{q}(T)$ という3つの統計量が同一の共同分布を持つことが示され、双対写像の可能性を示唆する。

ABSTRACT

We show that there is the same number of (n,l)-alternating sign trapezoids as there is of column strict shifted plane partitions of class l-1 with at most n parts in the top row, thereby proving a result that was conjectured independently by Behrend and Aigner. The first objects generalize alternating sign triangles, which have recently been introduced by Ayyer, Behrend and the author who showed that they are counted by the same formula as alternating sign matrices. Column strict shifted plane partitions of a fixed class were introduced in a slightly different form by Andrews, and they essentially generalize descending plane partitions. They also correspond to cyclically symmetric lozenge tilings of a hexagon with a triangular hole in the center. In addition, we also provide three statistics on each class of objects and show that their joint distribution is the same. We prove our result by employing a constant term approach that is based on the author's operator formula for monotone triangles. This paper complements a forthcoming paper of Behrend and the author, where the six-vertex model approach is used to show equinumeracy as well as generalizations involving statistics that are different from those considered in the present paper.

研究の動機と目的

• $(n,l)$-交替符号トレイピゾイドと、上段に高々$n$個の部品を含むクラス$l-1$の列厳密シフト平面分割の間の同数性予想を、BehrendとAignerが提示したものと一致させること。
• 両者のクラスにおいて、$\operatorname{r}(T)$、$\operatorname{p}(T)$、$\operatorname{q}(T)$ という3つの統計量の共同分布が同一であることを確立し、より深い構造的関係を示唆すること。
• 単調な三角形の作用素公式に基づく定数項アプローチを用いて、両方の組合せ的族の生成関数を導出すること。
• Behrendと著者による六頂点模型に基づく証明の補完として、双対写像ではない別ルートによる同数性の証明を提供し、異なる統計量を用いること。

提案手法

• 単調な三角形の作用素公式から得られる行列式に、定数項アプローチを適用し、数え上げ問題を生成関数の計算に変換する。
• 代数的恒等式を用いて行列式を操作し、特にChu-Vandermondeの和公式と、$\binom{n}{k} = (-1)^k \binom{k-n-1}{k}$ を用いた二項係数の双対性を用いる。
• 行列の成分を格子路の生成関数として再表現し、水平移動（高さ0でのステップ）や対角線の交差といったルートの特徴に対応する重みを導入する。
• Lindström-Gessel-Viennotの定理を用いて、行列式を交差しない格子路の生成関数として解釈し、それらを列厳密シフト平面分割に双対的に関連付ける。
• 重み関数に$P$、$Q$、$R$のパラメータを組み込み、交替符号トレイピゾイドにおける$10$-列と$1$-列の統計量を符号化する。$d=0$のとき、中央列に対して特別な処理を行う。
• $d \geq 1$ の場合、重みは対角線$y = x + d$ を北方向または西方向のステップで交差するかどうかを符号化する。$d = 0$ の場合、原点で対角線を交差するパスに対して、三値項$(P+Q-1)$ を含む重みが導入される。

実験結果

リサーチクエスチョン

• RQ1 上段に高々$n$個の部品を含むクラス$l-1$の列厳密シフト平面分割と、$(n,l)$-交替符号トレイピゾイドの数は等しいか？
• RQ2 交替符号トレイピゾイドにおける統計量$\operatorname{r}(T)$、$\operatorname{p}(T)$、$\operatorname{q}(T)$ と、列厳密シフト平面分割におけるそれらの対応統計量の共同分布は同一か？
• RQ3 単調な三角形の作用素公式に基づく定数項手法を用いて、両方のオブジェクトクラスの生成関数を導出できるか？
• RQ4 格子路解釈における重み関数は、特に$d=0$の場合に、交替符号トレイピゾイドの統計量をどのように符号化するか？

主な発見

• $(n,l)$-交替符号トレイピゾイドの数は、上段に高々$n$個の部品を含むクラス$l-1$の列厳密シフト平面分割の数に等しく、BehrendとAignerの予想が正当化された。
• 統計量$\operatorname{r}(T)$、$\operatorname{p}(T)$、$\operatorname{q}(T)$ の共同分布が、両クラスにおいて同一であることが示され、双対写像の可能性を示唆する。
• 交替符号トレイピゾイドの生成関数は、$P$、$Q$、$R$で重み付けられた二項係数を含む行列式として表現され、列厳密シフト平面分割の生成関数と一致する。
• $P=Q=R=1$ のとき、行列式は既知の形に簡略化され、クラス$l-1$の列厳密シフト平面分割を数えるものに一致し、既存の結果と整合性が確認された。
• Lindström-Gessel-Viennotの定理による格子路解釈により、パスの特徴がトレイピゾイド上の統計量に直接対応する組合せ的モデルが得られ、特に$d \geq 1$ の場合に有効である。
• $d=0$ の場合、原点で主対角線を交差するパスに対して、三値因子$(P+Q-1)$ を含む重み関数が導入され、中央列の統計量への寄与を正しく符号化している。