[論文レビュー] 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

ひとこと要約

本稿では、有限型アーティンモノイドの歪成長関数 $ N_{M,\text{deg}}(t) $ の $ t = 1 $ における微分を、基本的要素の組み合わせ的分解と帰納法を用いて計算する。主な結果は、微分の閉形式表現が得られ、それが 0 でないことを示し、$ 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$.

研究の動機と目的

• 有限型アーティンモノイドの歪成長多項式 $ N_{M,\text{deg}}(t) $ の $ t = 1 $ における微分を計算すること。
• $ N_{M,\text{deg}}(t) $ が $ t = 1 $ で単一の根を持つことを示し、先行研究の予想を裏付けること。
• アーティンモノイドのすべての古典的および例外的型に対して、微分の明示的閉形式表現を導出すること。
• 基本的要素の構造的性質とコクセター図を用いて、微分を扱いやすい成分に分解すること。
• 帰納法と例外的型の個別検証により、結果の妥当性を検証すること。

提案手法

• 歪成長関数を $ 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}) $ である。
• コクセター行列に関連するコクセター図 $ \tilde{\Gamma}_{X_l} $ を用いて、部分集合 $ J $ をその連結成分によって分類する。
• $ J $ が $ k $ 個の連結成分を持つ場合、 $ \triangle_J = \triangle_{J_1} \cdots \triangle_{J_k} $ の分解を、可換性と次数の加法性を活用して適用する。
• $ l $ に関する帰納法を用いて $ N'_{D_l}(1) $ を計算し、初期値 $ l=4 $ を用い、最小要素が固定された部分集合 $ J $ の寄与を分解する。
• $ \{1,\dots,u\} $ を含む部分集合 $ J $ の寄与を、より小さいアーティンモノイド $ D_{l-u-1} $ に関連付けることで、再帰的評価を可能にする。

実験結果

リサーチクエスチョン

• RQ1 有限型アーティンモノイドの歪成長関数の微分 $ N'_{M,\text{deg}}(1) $ の値は何か？
• RQ2 歪成長多項式 $ N_{M,\text{deg}}(t) $ は $ t = 1 $ で単一の根を持つのか？ その証明は微分の計算によって可能か？
• RQ3 アーティンモノイドのすべての古典的および例外的型に対して、$ N'_{M,\text{deg}}(1) $ の一様な公式を導出可能か？
• RQ4 コクセター図の組み合わせ的構造と部分集合 $ J \to I $ の連結成分は、基本的要素の次数にどのように影響するか？
• RQ5 部分集合の最小要素と誘導部分グラフに基づいて分解することで、微分を再帰的に計算可能か？

主な発見

• $ l \to 1 $ に対して、 $ N'_{A_l,\text{deg}}(1) = (-1)^l $ が帰納法と組み合わせ的分解により得られる。
• 型 $ 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 $）。
• すべての型に対して微分が 0 でないことが確認され、Corollary 1.2 で述べられている通り、$ t = 1 $ が $ N_{M,\text{deg}}(t) $ の単一の根であることが裏付けられる。
• 計算は、部分集合 $ J $ をその最小要素でグループ化し、それらの寄与をより小さいアーティンモノイドに関連付けることで行われ、微分の再帰的評価を可能にする。