[논문 리뷰] On the derivative at $t = 1$ of the skew-growth functions for Artin monoids

Tadashi Ishibe|arXiv (Cornell University)|2016. 03. 15.

semigroups and automata theory참고 문헌 3인용 수 4

한 줄 요약

이 논문은 유한형 아르틴 모노이드의 비대칭 성장 함수 $ 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$.

연구 동기 및 목표

• 유한형 아르틴 모노이드에 대해 비대칭 성장 다항식 $ N_{M,\text{deg}}(t) $ 의 $ t = 1 $ 에서 도함수를 계산하는 것.
• 이전 연구에서 제기된 추측을 확인하기 위해 $ N_{M,\text{deg}}(t) $ 가 $ t = 1 $ 에서 단순 근을 가짐을 입증하는 것.
• 모든 고전적 및 예외적 유형의 아르틴 모노이드에 대해 도함수에 대한 명시적인 닫힌 표현식을 유도하는 것.
• 기본 원소의 구조적 성질과 코x터 그래프를 활용하여 도함수를 다룰 수 있는 구성요소로 분해하는 것.
• 예외적 유형에 대해 사례별 검증과 귀납법을 통해 결과를 검증하는 것.

제안 방법

• 비대칭 성장 함수 $ 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}) $ 이다.
• 코x터 행렬과 관련된 코x터 그래프 $ \tilde{\Gamma}_{X_l} $ 를 사용하여 부분집합 $ J $ 를 그들의 연결 성분에 따라 분류한다.
• 연결 성분이 $ k $ 개인 $ J $ 에 대해 $ \triangle_J = \triangle_{J_1} \cdots \triangle_{J_k} $ 의 분해를 적용하며, 이는 교환성과 차수의 덧셈성에 기반한다.
• 기본 사례 $ l=4 $ 를 가진 $ l $ 에 대한 귀납법을 사용하여 $ N'_{D_l}(1) $ 을 계산하며, 고정된 최소 원소를 가진 부분집합 $ J $ 에 대한 기여를 분해한다.
• 집합 $ J $ 가 $ \{1,\dots,u\} $ 을 포함하는 기여를 더 작은 아르틴 모노이드 $ 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 코x터 그래프의 조합적 구조와 부분집합 $ 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이 아니며, 이는 $ t = 1 $ 이 $ N_{M,\text{deg}}(t) $ 의 단순 근임을 확인한다. 이는 추론 1.2에 명시되어 있다.
• 계산은 부분집합 $ J $ 를 그 최소 원소에 따라 묶고, 그 기여를 더 작은 아르틴 모노이드와 연결함으로써 도함수의 재귀적 평가를 가능하게 한다.