[논문 리뷰] Multifraction reduction IV: Padding and Artin-Tits groups of sufficiently large type

Patrick Dehornoy, Derek F. Holt외 1명|arXiv (Cornell University)|2017. 01. 23.

Geometric and Algebraic Topology참고 문헌 7인용 수 4

한 줄 요약

이 논문은 아르틴-티츠 군에서 단어 문제를 해결하기 위한 수렴 조건을 약화시키기 위해 패딩이 추가된 다분수 축소를 도입한다. 특히, 코ク세터 다이어그램에서 정확히 한 개의 변에만 2가 레이블링된 삼각형이 없는 충분히 큰 유형의 아르틴-티츠 모노이드에 대해 $Σ$-축소가 계산 가능한 패딩까지 반경수렴성을 보이며, 이는 이 클래스에 대해 축소 방법을 통한 단어 문제의 결정 가능성을 확립한다.

ABSTRACT

We investigate the padded version of reduction, an extension of multifraction reduction as defined in arXiv:1606.08991, and connect it both with ordinary reduction and with the so-called Property $\mathrm{H}$. As an application, we show that all Artin-Tits groups of sufficiently large type satisfy some weakening Conjecture $\mathrm{A^{padded}}$ of Conjecture $\mathrm{A}$, thus showing that the reduction approach is relevant for these groups.

연구 동기 및 목표

• 기존의 FC 유형을 초월하여 다분수 축소의 적용 범위를 넓히기 위해 약화된 수렴 조건을 도입함으로써, 아르틴-티츠 군에 대한 다분수 축소의 적용 가능성을 확장하는 것.
• 포장된 반경수렴성이 아르틴-티츠 군의 포함 군에서 단어 문제의 결정 가능성을 위한 충분조건임을 입증하는 것.
• gcd-모노이드에서의 포장된 반경수렴성, 성질 H, 그리고 분할 축소($Σ$-축소) 간의 관계를 규명하는 것.
• 충분히 큰 유형의 아르틴-티츠 모노이드가 포장된 형태의 추측 A를 만족함을 증명함으로써, 축소 방법의 적용 범위를 확장하는 것.
• 이러한 군들에 대해 필요한 패딩의 양상에 대해 이차 상한을 제공하여 결과의 효과적임을 입증하는 것.

제안 방법

• 다분수의 시작 부분에 짝수 개의 임의의 성분을 삽입하여 정의된 $f$-패딩을 도입함으로써, 수렴 조건을 약화시키는 것.
• 포장된 반경수렴성을 아르틴-티츠 군의 포함 군에서 단어 문제의 결정 가능성을 위한 충분조건으로 정의하는 것.
• 포장된 반경수렴성의 $Σ$-축소, 분할 축소($Σ$-축소)의 반경수렴성, 그리고 gcd-모노이드의 lcm-표현에 대한 성질 H 간의 동치성을 확립하는 것.
• 문헌 [10]과 [8]의 기법을 세밀하게 분석하여 충분히 큰 유형의 아르틴-티츠 모노이드에서 필요한 패딩이 입력 단어 길이의 이차 함수로 유계임을 보이는 것.
• 부분어 역전 및 분수 정규형의 프레임워크를 활용하여 다분수를 $Σ$-축소를 통해 표준 표현으로 변환하는 것.
• 충분히 큰 유형의 아르틴-티츠 모노이드에서 성질 H가 성립함을 이용하여, 패딩까지의 반경수렴성이 보장됨을 증명하는 것.

실험 결과

연구 질문

• RQ1 충분히 큰 유형의 아르틴-티츠 군에서 전체 수렴이 실패하더라도 다분수 축소를 통해 단어 문제를 해결할 수 있는가?
• RQ2 다음과 같은 계산 가능한 패딩 함수가 존재하는가: 충분히 큰 유형의 아르틴-티츠 모노이드에서 $Σ$-축소가 패딩까지 반경수렴성이 되는가?
• RQ3 포장된 반경수렴성은 gcd-모노이드에서 성질 H와 분할 축소($Σ$-축소)와 어떻게 관련되어 있는가?
• RQ4 이러한 약화된 수렴 조건을 통해 축소 방법을 FC 유형을 초월한 아르틴-티츠 군으로 확장할 수 있는가?
• RQ5 충분히 큰 유형의 아르틴-티츠 모노이드에서 반경수렴성을 확보하기 위해 필요한 패딩의 정량적 상한은 무엇인가?

주요 결과

• 논문은 충분히 큰 유형의 모든 아르틴-티츠 모노이드에 대해 $Σ$-축소가 계산 가능한 패딩까지 반경수렴성을 보이며, 약화된 추측 A${}^{ ext{padded}}$를 만족함을 증명한다.
• 필요한 패딩의 상한으로서 이차 상한이 확립되었으며, 특히 $N \geq 4\sum_{i=1}^{k}|v_{i}|$로 표현되며, 여기서 $k$는 부분어의 수이고 $|v_i|$는 각 부분어의 길이다.
• 포장된 반경수렴성의 $Σ$-축소는 모노이드의 lcm-표현에서 성질 H가 성립하는 것과 동치임을 입증한다.
• 결과적으로 다분수 축소 방법이 이전에 알려진 것보다 훨씬 더 넓은 범위의 아르틴-티츠 군에 대해 유의미함을 확인한다. 이는 충분히 큰 유형의 군을 포함한다.
• 계산 가능한 패딩이 보장된다면, 충분히 큰 유형의 아르틴-티츠 군의 단어 문제는 축소 방법을 통해 결정 가능하다.
• 논문은 여전히 해결되지 않은 첫 번째 사례로, 지수 $3,3,3,3,3,2$를 가진 모노이드의 경우를 열어두고 있다.