[论文解读] The Möbius function of the composition poset

Bruce E. Sagan, Vincent Vatter|ArXiv.org|Jul 22, 2005

Advanced Combinatorial Mathematics参考文献 12被引用 7

一句话总结

本文确定了复合偏序集的Möbius函数，其中复合序列按子词包含关系（允许弱不等式）进行排序。通过符号相反的对合与离散Morse理论，作者推导出Möbius函数的闭式公式，推广了Björner在子词序上的结果，并通过在任意偏序集上的自由幺半群上定义广义子词序，将子词序与复合偏序集结构统一起来。

ABSTRACT

We determine the Möbius function of the poset of compositions of an integer. In fact we give two proofs of this formula, one using an involution and one involving discrete Morse theory. The composition poset turns out to be intimately connected with subword order, whose Möbius function was determined by Björner. We show that using a generalization of subword order, we can obtain both Björner's results and our own as special cases.

研究动机与目标

• 确定按弱子词包含关系排序的整数复合序列偏序集的Möbius函数。
• 提供两种不同的证明方法——一种是基于符号相反对合的组合证明，另一种是基于离散Morse理论的拓扑证明。
• 通过在任意偏序集上的自由幺半群上定义广义子词序，统一子词序与复合序的结果。
• 探索复合偏序集的Möbius函数与其他组合结构（如排列和切比雪夫多项式）之间的联系。

提出的方法

• 在 $\mathbb{P}^*$ 上定义复合偏序集，其中 $u \leq w$ 当且仅当 $u$ 可以作为子词嵌入 $w$，且嵌入中元素的值满足弱不等式。
• 在嵌入集合上使用符号相反的对合，以在Möbius函数求和中消去项，仅保留正常嵌入。
• 对复合偏序集的序复形应用离散Morse理论，构造梯度向量场以计算同调群，从而得到Möbius函数。
• 对任意偏序集 $P$，引入 $P^*$ 上的广义子词序，使Björner的子词序与复合偏序集均成为其特例。
• 建立分层排列与复合序列之间的双射，表明分层排列上的模式包含序恰好对应于复合序。
• 利用切比雪夫多项式的三重递推关系，作为证明 $\Lambda^*$ 偏序集中Möbius函数猜想的潜在工具。

实验结果

研究问题

• RQ1 在弱子词包含关系下，复合偏序集的Möbius函数是什么？
• RQ2 能否同时使用组合方法与拓扑方法计算复合偏序集的Möbius函数？
• RQ3 复合偏序集与子词序及自由幺半群上的广义子词序有何关系？
• RQ4 偏序集 $\Lambda^*$ 的Möbius函数与切比雪夫多项式之间是否存在联系？
• RQ5 能否通过加权正常嵌入描述排列在模式包含下的Möbius函数？

主要发现

• 复合偏序集 $\mathbb{P}^*$ 的Möbius函数由 $\mu(u,w) = (-1)^{|w|-|u|} \cdot \prod_{i=1}^{k} (w(i) - u(i))$ 给出，对特定类嵌入成立，其闭式公式通过符号相反对合与Morse理论推导得出。
• 复合偏序集同构于分层排列上的模式包含序，因此Möbius函数结果回答了Wilf针对此类排列提出的问题。
• 复合偏序集的Möbius函数并不总是取值于 $\{0, \pm 1\}$，例如 $\mu(1,31524) = 6$，表明一般基于嵌入的描述需要非单位权重。
• 对任意偏序集 $P$，$P^*$ 上的广义子词序统一了子词序（当 $P$ 为反链时）与复合序（当 $P$ 为链时）的Möbius函数结果。
• 数值证据表明 $\Lambda^*$ 的Möbius函数与第一类切比雪夫多项式之间存在深刻联系，猜想 $\mu(a^i, c^j)$ 为 $T_{i+j}(x)$ 中 $x^{j-i}$ 的系数。
• 偏序集 $[a^i, c^j]$ 在 $\Lambda^*$ 中不是可壳化的，表明标准拓扑工具（如可壳化）失效，但离散Morse理论仍具有效性。