[论文解读] 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 变换统一组合结构——非交叉划分与错位排列。

提出的方法

• 将簇细分 $\Gamma(\Phi)$ 定义为簇复形 $\Delta(\Phi)$ 的正部分，其几何上细分了由单根构成的单纯形。
• 使用 Stanley 的局部 $h$-多项式 $\ell_V(\Gamma,x)$ 概念，作为子复形上各面限制的交错和。
• 通过 $\ell_V(\Gamma,x) = \sum_{i=0}^{\lfloor n/2\rfloor} \xi_i x^i (1+x)^{n-2i}$ 将局部 $h$-多项式表达为 $\gamma$-基形式，从而定义局部 $\gamma$-多项式。
• 利用 $\mathcal{E}_n$（避免超越的置换）和 $\mathcal{D}_n$（错位排列）中的置换，结合 Foata-Sch"utzenberger-Strehl 变换下的等价类，建立 $\xi_i$ 的组合解释。
• 借助对合 $\psi_i$ 定义等价类，并推导出形如 $x^{\text{des}(w)}(1+x)^{n-2\text{des}(w)}$ 的生成函数。
• 证明 $\xi_i$ 计数的是无双下降且恰好有 $i$ 个下降的置换，或无特定索引模式的 $n-i$ 个超越的错位排列。

实验结果

研究问题

• RQ1 与有限根系 $\Phi$ 相关的单纯形的簇细分的局部 $h$-向量的显式形式是什么？
• RQ2 局部 $h$-向量及其 $\gamma$-向量的条目在类型 $A$ 和 $B$ 下如何进行组合解释？
• RQ3 重心细分的局部 $h$-向量与超越数、下降数等置换统计量之间存在何种关系？
• RQ4 簇细分的局部 $\gamma$-向量是否具有非负系数，且能否通过组合方法证明？
• RQ5 是否能对不同根系（特别是 $A_n$ 和 $B_n$ 类型）统一解释局部 $\gamma$-向量？

主要发现

• 对于所有有限根系，包括 $A_n$ 和 $B_n$ 类型，单纯形簇细分的局部 $\gamma$-向量均为非负。
• 对于类型 $A_n$，局部 $\gamma$-向量的第 $i$ 个条目 $\xi_i$ 计数的是 $\mathcal{E}_n$ 中无双下降且恰好有 $i$ 个下降的置换数。
• 对于类型 $B_n$，局部 $\gamma$-向量条目通过类型 $B$ 的非交叉划分进行解释，推广了类型 $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 变换与下降统计量建立联系。