[论文解读] On the derivative at $t = 1$ of the skew-growth functions for Artin monoids

Tadashi Ishibe|arXiv (Cornell University)|Mar 15, 2016

semigroups and automata theory参考文献 3被引用 4

一句话总结

该论文通过基本元素的组合分解与归纳法，计算了有限型Artin半群的斜增长函数 $ N_{M,\text{deg}}(t) $ 在 $ t = 1 $ 处的导数。关键结果为导数的闭式表达式，表明其非零，从而确认在 $ t = 1 $ 处存在单重根，并为所有经典类型（包括 $ A_l, B_l, D_l, E_6, E_7, E_8, F_4, H_3, H_4, $ 和 $ I_2(p) $）提供了显式数值。

ABSTRACT

Let $G_{M}^{+}$ be the Artin monoid of finite type generated by the letters $a_i, i\in I$ with respect to a Coxeter matrix $M$ that is equipped with the degree map $°\!:\!G_{M}^{+} o\!\Z_{\ge0}$ defined by assigning to each equivalence class of words the length of the words, and let $N_{M, °}(t)\!:=\!\!\sum_{J \subset I}(-1)^{\#J} t^{°(Δ_{J})}$ be the skew-growth function, where the summation index $J$ runs over all subsets of $I$ and $Δ_{J}$ is the fundamental element in $G_{M}^{+}$ associated to the set $J$. In this article, we will calculate the derivative at $t = 1$ of the polynomial $N_{M, °}(t)$. As a result, we show that the polynomial $N_{M, °}(t)$ has a simple root at $t = 1$.

研究动机与目标

• 计算有限型Artin半群的斜增长多项式 $ N_{M,\text{deg}}(t) $ 在 $ t = 1 $ 处的导数。
• 确立 $ N_{M,\text{deg}}(t) $ 在 $ t = 1 $ 处具有单重根，从而证实先前工作中提出的猜想。
• 为Artin半群的所有经典类型与例外类型推导出导数的显式闭式表达式。
• 利用基本元素与Coxeter图的结构性质，将导数分解为可管理的组成部分。
• 通过归纳法与例外类型的逐项验证，验证结果的正确性。

提出的方法

• 定义斜增长函数 $ N_{M,\text{deg}}(t) = \bigsum_{J \to I} (-1)^{\text{card}(J)} t^{\text{deg}(\triangle_J)} $，其中 $ \triangle_J $ 是子集 $ J \subset I $ 的基本元素。
• 将导数 $ N'_{M,\text{deg}}(1) $ 分解为 $ \bigsum_{j=1}^l (-1)^j C_{X_l,j} $，其中 $ C_{X_l,j} = \bigsum_{\text{card}(J)=j} \text{deg}(\triangle_{X_l,J}) $。
• 利用与Coxeter矩阵相关的Coxeter图 $ \tilde{\Gamma}_{X_l} $，根据其连通分支对子集 $ J $ 进行分类。
• 对具有 $ k $ 个连通分支的 $ J $，应用分解 $ \triangle_J = \triangle_{J_1} \cdots \triangle_{J_k} $，利用交换性与次数可加性。
• 通过归纳法计算 $ N'_{D_l}(1) $，基础情形为 $ l=4 $，并按固定最小元素分解子集 $ J $ 的贡献。
• 将包含 $ \{1,\dots,u\} $ 的子集 $ J $ 的贡献与更小的Artin半群 $ D_{l-u-1} $ 关联，实现导数的递归计算。

实验结果

研究问题

• RQ1 有限型Artin半群的斜增长函数的导数 $ N'_{M,\text{deg}}(1) $ 的值是多少？
• RQ2 斜增长多项式 $ N_{M,\text{deg}}(t) $ 是否在 $ t = 1 $ 处具有单重根，且能否通过导数计算加以证明？
• RQ3 是否能为Artin半群的所有经典类型与例外类型推导出 $ N'_{M,\text{deg}}(1) $ 的统一公式？
• RQ4 Coxeter图的组合结构以及子集 $ J \to I $ 的连通分支如何影响基本元素的次数？
• RQ5 能否通过基于最小元素与诱导子图的子集分解，递归地计算导数？

主要发现

• 对类型 $ A_l $，有 $ N'_{A_l,\text{deg}}(1) = (-1)^l $，对所有 $ l \to 1 $ 成立，通过归纳法与组合分解得出。
• 对类型 $ B_l $，有 $ N'_{B_l,\text{deg}}(1) = (-1)^l l $，且对 $ l \geq 2 $ 已验证。
• 对类型 $ D_l $，有 $ N'_{D_l,\text{deg}}(1) = (-1)^l (l - 2) $，通过归纳法对 $ l \geq 4 $ 证明，基础情形 $ l = 4 $ 的结果为 $ 12 $。
• 例外类型给出显式值：$ E_6 \to 7 $，$ E_7 \to -16 $，$ E_8 \to 44 $，$ F_4 \to 10 $，$ H_3 \to -8 $，$ H_4 \to 42 $，以及 $ I_2(p) \to p-2 $（$ p \geq 5 $）。
• 所有类型下导数均非零，从而确认 $ t = 1 $ 是 $ N_{M,\text{deg}}(t) $ 的单重根，与推论1.2一致。
• 计算依赖于按最小元素对子集 $ J $ 分组，并将其贡献与更小的Artin半群关联，从而实现导数的递归计算。