[논문 리뷰] Braid relations for involution words in affine Coxeter groups

Eric Marberg|arXiv (Cornell University)|2017. 03. 30.

Advanced Combinatorial Mathematics참고 문헌 11인용 수 9

한 줄 요약

이 논문은 유한 및 아핀 코xeter 군에서의 고정점 단어를 스펜딩하고 유지하는 최소의 브레이드 관계 집합을 식별하기 위한 알고리즘을 제시한다. 이는 고정점 자동형사상이 있는 경우에 대해, 표준 브레이드 관계에 최소한의 '반브레이드' 관계를 추가했을 때 스펜딩 집합이 완전해지는 경우를 분류하며, 유한 또는 아핀 타입의 비틀린 시스템에서 완전한 브레이딩을 보장하는 조건을 증명한다. 특히 $A_n$ 또는 $ ilde{A}_n$ 타입의 비틀린 시스템과 랭크 2 또는 3인 아핀 타입에서 완전한 브레이딩이 성립함을 보여준다.

ABSTRACT

We describe an algorithm to identify a minimal set of "braid relations" which span and preserve all sets of involution words for twisted Coxeter systems of finite or affine type. We classify the cases in which adding the smallest possible set of "half-braid" relations to the ordinary braid relations produces a spanning set: in the untwisted case, this occurs for the Coxeter systems which are finite with rank two or type $A_n$, or affine with rank three or type $ ilde A_n$. These results generalize recent work of Hu and Zhang on the finite classical cases.

연구 동기 및 목표

• 비틀린 유한 또는 아핀 타입의 코xeter 시스템에서 모든 고정점 단어를 스펜딩하고 유지하는 최소의 브레이드 관계 집합을 식별하는 것.
• 일반적인 브레이드 관계에 최소한의 '반브레이드' 관계를 추가했을 때 고정점 단어의 스펜딩 집합이 완전해지는 경우를 분류하는 것.
• 후와 창이 이전에 유한 고전적 경우에 대해 확립한 결과를 더 넓은 범위의 아핀 및 유한 코xeter 시스템으로 일반화하는 것.
• 비틀린 코xeter 시스템이 '완전히 브레이딩된' 상태가 되는 조건을 설정하는 것—즉, 고정점 단어 집합이 병합된 관계 하에서 동치류를 이룬다는 것.
• 파라볼릭 구성과 유한한 임베딩을 이용한 알고리즘적 프레임워크를 제공하여 이러한 관계를 결정하는 것.

제안 방법

• 브레이드 관계의 형태인 $(r_1,\dots,r_k,s,t,s,\dots)\sim(r_1,\dots,r_k,t,s,t,\dots)$를 갖는 대칭적 단어 관계로서, 교차하는 수열의 길이 $m$ 이 $m(s,t)$ 보다 작을 때 '반브레이드' 관계를 도입한다.
• 일반화된 반브레이드 관계를 정의하며, 이는 어떤 비틀린 고정점 $z$에 대해 두 교차 수열이 모두 $\hat{\mathcal{R}}_*(z)$에 속할 때 발생하는 관계이다.
• 코xeter 다이어그램의 특정 부분그래프인 파라볼릭 구성에 기반한 알고리즘을 적용하여 체계적으로 관계를 생성하고 검증한다.
• 작은 비틀린 시스템을 더 큰 시스템에 유한한 임베딩을 통해 통합함으로써 문제를 유한한 수의 경우로 축소한다.
• 이론적 감소가 실패하는 작은 랭크의 경우에 대해 기존 연구의 구현을 활용한 계산적 검증을 수행한다.
• 비틀린 고정점 이론과 코xeter 다이어그램의 구조를 활용하여 일반화된 반브레이드 관계가 충분한 경우를 분류한다.

실험 결과

연구 질문

• RQ1 유한 또는 아핀 타입의 비틀린 코xeter 시스템 중에서 일반 브레이드 관계와 반브레이드 관계의 합집합이 고정점 단어를 스펜딩하고 유지하는 경우는 언제인가?
• RQ2 이러한 시스템에서 고정점 단어의 스펜딩 집합을 완성하기 위해 필요한 최소한의 반브레이드 관계 집합은 무엇인가?
• RQ3 일반 브레이드 관계에 반브레이드 관계를 추가했을 때 어떤 경우에 완전히 브레이딩된 시스템이 되는가?
• RQ4 어떻게 하면 아핀 코xeter 군에서 고정점 단어를 유지하는 전체 브레이드 관계 집합을 알고리즘적으로 결정할 수 있는가?
• RQ5 어떤 파라볼릭 구성이 주어진 비틀린 코xeter 시스템에서 관련된 모든 관계를 커버하는 데에 충분한가?

주요 결과

• 비틀린 코xeter 시스템 $(W,S,*)$는 모든 $w \in \mathcal{I}_*$에 대해 $\hat{\mathcal{R}}_*(w)$를 일반 브레이드 관계와 반브레이드 관계의 병합된 집합이 스펜딩하고 유지할 때에만 완전히 브레이딩된다.
• 비틀린 경우가 아닐 때 ($*=\mathrm{id}$), 유한 시스템의 랭크 2 또는 $A_n$ 타입, 그리고 랭크 3 또는 $\tilde{A}_n$ 타입의 아핀 시스템에서 완전한 브레이딩이 성립한다.
• $\tilde{A}_n$ ($n>9$)의 경우, 시스템은 ${}^2A_8$, ${}^2A_9$, ..., ${}^2A_{16}$ 및 ${}^2(A_8\times A_8)$ 타입의 파라볼릭 구성으로 커버되며, 이는 알고리즘이 적용됨을 보장한다.
• $\tilde{D}_n$ ($n>20$)의 경우, $n$의 기수성에 따라 ${}^2(A_8\times A_8)$, ${}^2(D_7\times D_7)$, ${}^2(D_9\times D_9)$ 등의 구성으로 커버된다.
• 모든 충분히 큰 $n$에 대해, 유한한 임베딩을 통한 정리 4.13과 5.2에 의해 결과가 도출되며, 작은 경우는 기존 구현을 활용한 계산적 검증을 통해 확인된다.
• 알고리즘은 모든 유한 및 아핀 경우에 대해 최소이자 중복되지 않는 관계 집합을 성공적으로 식별하며, 이는 이전의 $A_n$ 및 $\tilde{A}_n$ 결과를 일반화한다.