단어 포셋과 코시터 군의 새로운 적용

초록

본 논문은 교환 관계만으로 정의되는 단어들의 동치류를 부분순서집합(단어 포셋)으로 표현하고, 이 구조를 이용해 교환 클래스 내 단어 개수와 코시터 군의 축소 단어 개수를 #P‑완전 문제임을 보인다. 또한 축소 단어들의 교환 클래스 수를 재귀적으로 계산하는 공식과 기존보다 강력한 상한을 제시하며, 이를 통해 원시 정렬 네트워크의 개수와 그 성장률에 대한 새로운 추정치를 얻는다.

상세 분석

논문은 먼저 임의의 유한 집합 S와 그 위에 정의된 모노이드 관계들을 고정하고, 두 원소 a, b∈S가 교환(ab=ba) 관계에 있을 때만 순서를 무시할 수 있다는 점에 착안한다. 이러한 교환 관계만을 고려한 동치류를 “교환 클래스”라 부르고, 각 교환 클래스에 대해 “단어 포셋”(word poset)이라는 유한 부분순서집합 (P, s)를 정의한다. 여기서 s: P→S는 각 정점에 문자 라벨을 붙이는 함수이며, 두 정점 x, y에 대해 s(x)와 s(y) 가 동일하거나 교환하지 않을 경우 반드시 x≤y 혹은 y≤x가 성립하도록 한다. 또한 x<y 사이에 중간 정점이 없을 때는 s(x)와 s(y) 가 동일하거나 교환하지 않아야 한다는 추가 제약을 둔다. 이러한 정의는 교환 클래스와 단어 포셋 사이에 일대일 대응을 만들며, 포셋의 선형 확장(linear extension) 하나가 바로 해당 교환 클래스의 구체적인 단어에 대응한다는 정리(1.2)를 얻는다.

선형 확장의 개수를 구하는 문제는 잘 알려진 #P‑완전 문제이며, 따라서 교환 클래스 내 단어 개수를 세는 문제도 #P‑완전임을 즉시 도출한다(정리 1.3). 이 결과는 모노이드의 일반적인 관계 체계에 대해 복잡도 상한을 제공한다는 점에서 의미가 크다.

다음으로 논문은 코시터 군에 이 구조를 적용한다. 코시터 군은 생성자 집합 S와 a²=1 및 (ab…)ₘ=(ba…)ₘ 형태의 교환·반교환 관계들로 정의되며, 이때 교환 관계는 위의 일반 모노이드 경우와 동일하게 취급된다. 축소 단어(reduced word)는 길이가 최소인 표현을 의미하고, 각 원소 w에 대해 모든 축소 단어는 동일한 길이 ℓ(w)를 가진다. 논문은 축소 단어들의 교환 클래스를 다시 단어 포셋으로 표현하고, 이 포셋들의 집합 WP(w)를 정의한다.

주요 기술은 두 가지이다. 첫째, WP(w)를 재귀적으로 구성할 수 있다는 점이다. 왼쪽 감소 집합 D(w)= {a∈S | ℓ(aw)<ℓ(w)} 를 구하면, 각 a∈D(w) 에 대해 WP(aw)를 알고 있을 때 새로운 정점 x(라벨 a)를 추가하고, a와 교환하지 않는 기존 정점들보다 아래에 놓는 방식으로 WP(w)의 원소를 만들 수 있다. 둘째, 이 재귀 구조를 이용해 교환 클래스 수 C(w)=|WP(w)|에 대한 포함‑배제 공식(정리 2.2)을 얻는다. 여기서 T⊂D(w) 가 서로 교환하는(즉, 독립) 집합일 때 (−1)^{|T|+1} C(Tw) 를 합산한다.

복잡도 측면에서 C(w)의 상한을 기존의 n^{ℓ(w)}(n=|S|)보다 훨씬 강하게 개선한다. 정리 2.3은 C(w) ≤ 2^{(3/2)ℓ(w)} 를 증명하며, 이는 특히 대칭군(S_n)에서 이전에 알려진 3^{ℓ(w)} 혹은 약 2.49^{ℓ(w)} 보다 현저히 낮은 상한이다. 또한 최대 교환 클래스 수 M(k)=max_{|w|=k} C(w) 에 대해 로그 비율의 상한·하한을 제시하고, 그 상한이 (1/2)·log 3 에 수렴한다는 추측을 제시한다(정리 2.4).

마지막으로, 가장 긴 원소 w₀∈A_{n-1} (즉, S_n의 역원) 에 대해 C(w₀) 가 원시 정렬 네트워크 수 P(n)와 일치함을 이용해 P(n)의 값을 n=12까지 계산한다. 기존에 알려진 n≤11까지의 값에 새로이 12번째 항을 추가함으로써, 성장률에 대한 새로운 수치적 경계를 제공한다. 또한 P(n) ≤ M(k_n) (k_n=n(n−1)/2) 를 이용해 asymptotic 한계값을 추정하고, 그 한계가 (1/2)·log 3 에 근접한다는 결론을 내린다.

전체적으로 이 논문은 “단어 포셋”이라는 새로운 combinatorial 모델을 통해 교환 클래스와 축소 단어의 복잡도 및 계수를 체계적으로 분석하고, 코시터 군과 정렬 네트워크라는 두 중요한 분야에 구체적인 계산 도구와 복잡도 경계를 제공한다는 점에서 큰 의의를 가진다.