[論文レビュー] The local $h$-vector of the cluster subdivision of a simplex

Christos A. Athanasiadis, Christina Savvidou|arXiv (Cornell University)|Apr 2, 2012

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

ひとこと要約

この論文は、有限ルート系 $\Phi$ に関連する単体のクラスタ分割の局所 $h$-ベクトルを計算し、その $\gamma$-ベクトルが非負であることを示している。タイプ $A$ および $B$ に対して、非交叉分割を用いた組み合わせ的解釈を提供し、置換統計と Foata-Sch"utzenberger-Strehl 動作用を用いて、重心分割に対しても類似の結果を確立している。

ABSTRACT

The cluster complex $Δ(Φ)$ is an abstract simplicial complex, introduced by Fomin and Zelevinsky for a finite root system $Φ$. The positive part of $Δ(Φ)$ naturally defines a simplicial subdivision of the simplex on the vertex set of simple roots of $Φ$. The local $h$-vector of this subdivision, in the sense of Stanley, is computed and the corresponding $γ$-vector is shown to be nonnegative. Combinatorial interpretations to the entries of the local $h$-vector and the corresponding $γ$-vector are provided for the classical root systems, in terms of noncrossing partitions of types $A$ and $B$. An analogous result is given for the barycentric subdivision of a simplex.

研究の動機と目的

• 有限ルート系 $\Phi$ から生じる単体のクラスタ分割の局所 $h$-ベクトルを計算すること。
• 古典的ルート系に対して、非交叉分割を用いて局所 $h$-ベクトルおよびその $\gamma$-ベクトルの組み合わせ的解釈を提供すること。
• 単体の重心分割への分析を拡張し、その局所 $h$-ベクトルと置換統計（例：超過数、下降数）との関係を明らかにすること。
• クラスタ分割の局所 $\gamma$-ベクトルの非負性を示し、旗的幾何的分割に関するより広範な予想を支持すること。
• 置換における Foata-Sch"utzenberger-Strehl 動作用を介して、非交叉分割と準同型置換（derangements）という組み合わせ的構造を統一すること。

提案手法

• クラスタ複体 $\Delta(\Phi)$ の正の部分としてクラスタ分割 $\Gamma(\Phi)$ を定義し、これは単体の幾何的分割を単純根上で行う。
• 局所 $h$-多項式 $\ell_V(\Gamma,x)$ を、分割における面制限の交項和としてスターリングの概念を用いる。
• $\ell_V(\Gamma,x) = \sum_{i=0}^{\lfloor n/2\rfloor} \xi_i x^i (1+x)^{n-2i}$ を用いて $\gamma$-基底における局所 $\gamma$-多項式を定義する。
• 置換群 $\mathcal{E}_n$（超過を避けるもの）および $\mathcal{D}_n$（準同型置換）を用いて $\xi_i$ の組み合わせ的解釈を確立し、Foata-Sch"utzenberger-Strehl 動作用による同値類を導入する。
• 自己同型 $\psi_i$ を用いて同値類を定義し、$x^{\text{des}(w)}(1+x)^{n-2\text{des}(w)}$ の形をした母関数を導出する。
• $\xi_i$ が二重下降を含まず、$i$ 個の下降をもつ置換、または $n-i$ 個の超過をもち、特定のインデックスパターンを持たない準同型置換の数を数えることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有限ルート系 $\Phi$ に関連する単体のクラスタ分割の局所 $h$-ベクトルの明示的形は何か？
• RQ2 タイプ $A$ および $B$ に対して、局所 $h$-ベクトルおよびその $\gamma$-ベクトルの成分はどのように組み合わせ的に解釈できるか？
• RQ3 重心分割の局所 $h$-ベクトルと、超過数や下降数などの置換統計の間にはどのような関係があるか？
• RQ4 クラスタ分割の局所 $\gamma$-ベクトルの係数は非負であり、かつその非負性は組み合わせ的に証明可能か？
• RQ5 特にタイプ $A_n$ および $B_n$ において、局所 $\gamma$-ベクトルを一様に解釈できるか？

主な発見

• すべての有限ルート系、特にタイプ $A_n$ および $B_n$ に対して、単体のクラスタ分割の局所 $\gamma$-ベクトルは非負である。
• タイプ $A_n$ に対して、局所 $\gamma$-ベクトルの $i$ 番目の成分 $\xi_i$ は、二重下降を含まず、正確に $i$ 個の下降をもつ $\mathcal{E}_n$ 内の置換の数を数える。
• タイプ $B_n$ に対しては、タイプ $B$ の非交叉分割を用いて局所 $\gamma$-ベクトルの成分が解釈され、タイプ $A$ の場合の一般化がなされている。
• 重心分割の局所 $h$-多項式は、準同型置換における超過数の母関数に等しい：$\sum_{w \in \mathcal{D}_n} x^{\text{ex}(w)}$。
• 重心分割の局所 $\gamma$-ベクトルは、二重下降を含まず、$i$ 個の下降をもつ置換の数を数え、タイプ $A$ のクラスタケースと一致する。
• クラスタ分割の局所 $h$-多項式は $\ell_V(\Gamma,x) = \sum_{u \in \mathcal{E}_n} x^{\text{des}(u)}$ を満たし、Foata-Sch"utzenberger-Strehl 動作用を介して下降統計と関連づけられる。