다이어그램 모노이드의 최소 변환 차수 공식

초록

본 논문은 파티션, 브라이어, 템플러리–리브, 모트잠 등 주요 유한 다이어그램 모노이드들의 최소 변환 차수(즉, 가장 작은 차원의 전변환 표현)를 정확히 구한다. 파티션 모노이드 (P_n)의 경우 차수가 (1+\frac{B(n+2)-B(n+1)+B(n)}{2}) 로 주어지며, 여기서 (B(k))는 Bell 수이다. 저자들은 투사(projection) 위의 (부분) 행동을 이용해 최소 차수의 충실한 표현을 직접 구성하고, 상한·하한을 일치시켜 정확한 공식들을 도출한다. 또한 Catalan 수, Motzkin 수 등 다른 유명 수열과의 연관성을 제시한다.

상세 분석

이 논문은 유한 다이어그램 모노이드들의 최소 변환 차수(deg)와 최소 부분 변환 차수(deg′)를 구하는 문제에 대해 체계적인 접근법을 제시한다. 먼저, 모든 유한 모노이드는 전변환 모노이드 (\mathcal{T}_n)에 삽입될 수 있다는 Cayley‑type 정리를 상기하고, 최소 삽입 차수를 정의한다. 기존 연구에서는 전변환 차수를 직접 계산하기가 매우 어려웠으며, 특히 다이어그램 모노이드와 같이 복잡한 그린 구조와 비가환성을 갖는 경우는 거의 알려진 바가 없었다.

저자들은 두 가지 핵심 아이디어를 도입한다. 첫 번째는 정규 ()-반군(regular ()-semigroup) 구조를 이용해 투사 집합 (P(S)={p\in S:p^2=p=p^}) 위에 부분 행동(partial action) 을 정의하는 것이다. 다이어그램 모노이드들은 모두 정규 ()-반군이며, 투사는 각 원소를 그린 (L)·(R) 관계를 통해 고유하게 결정한다. 저자들은 투사들의 움직임을 추적함으로써, 전체 모노이드의 행동을 투사들의 행동으로 축소시킬 수 있음을 보인다.

두 번째 아이디어는 우측 동치(congruence)와 오른쪽 동치 작용(right congruence action) 을 활용하는 것이다. 임의의 유한 모노이드 (M)은 우측 동치 (\sigma)에 대해 (M/\sigma) 위에 자연스럽게 작용한다. 이 작용이 충실하려면 (\sigma)가 비자명한 양측 동치를 포함하지 않아야 한다. 저자들은 파티션 모노이드 (P_n)에 대해, 한 종류는 오른쪽 이데알, 다른 종류는 그린 (L)-클래스 조각으로 이루어진 특수한 우측 동치를 구성한다. 이 동치는 투사 집합 (P)와 일대일 대응되며, 결국 (|P|)가 차수 상한을 제공한다.

특히, 저자들은 투사들의 ‘랭크(rank)’ 를 정의하고, 낮은 랭크를 가진 투사들의 부분집합 (Q\subseteq P)를 선택한다. 이때 (|Q|)는 정확히 (\frac{B(n+2)-B(n+1)+B(n)}{2}) 와 일치한다는 조합론적 계산을 보여준다. 여기서 Bell 수는 집합 분할의 개수를 세는 전통적인 수열이며, 식 (1.1)에서 보이는 형태는 투사들의 계층 구조와 직접 연결된다.

상한을 얻은 뒤, 저자들은 새로운 하한 기법을 도입한다. 이는 모노이드의 최소 아이디얼 구조와 그린 관계를 이용해, 어떤 부분 행동이든 최소한 (|Q|)개의 서로 다른 궤도를 생성해야 함을 보이는 논증이다. 이 과정에서 기존의 Rhodes‑semisimple 이론이 적용되지 않음에도 불구하고, 직접적인 구성과 대수적 검증을 통해 하한을 확립한다.

다른 다이어그램 모노이드들—부분 브라이어 (PB_n), 평면 파티션 (PP_n), 모트잠 (M_n), 템플러리–리브 (TL_n)—에 대해서도 동일한 전략을 적용한다. 각 경우에 투사들의 구조가 달라지므로, (|Q|)를 계산하는 조합식이 Bell 수 대신 Catalan 수, Motzkin 수, 혹은 이항계수와 이중 팩토리얼 형태로 나타난다. 예를 들어, (TL_n)의 경우 (n=2k) 혹은 (2k-1)에 따라 Catalan 수 (C(k))를 이용한 식이 도출된다.

결과적으로, 논문은 다음과 같은 주요 공헌을 제공한다.

1. 파티션 모노이드 (P_n)의 최소 변환 차수를 정확히 (1+\frac{B(n+2)-B(n+1)+B(n)}{2}) 로 규명.
2. 동일한 방법론을 사용해 (PB_n, PP_n, M_n, TL_n, B_n)에 대한 최소 차수를 각각 Bell, Catalan, Motzkin, 이중 팩토리얼 등으로 표현.
3. 투사에 대한 부분 행동과 우측 동치 작용을 결합한 새로운 일반적 프레임워크를 제시, 이는 기존의 선형/전변환 표현 연구와 차별화됨.
4. 구체적인 예시와 GAP 계산을 통해 작은 (n)에 대한 값들을 검증하고, OEIS와 연계된 수열을 제시함으로써 조합론적 의미를 강조.

이러한 결과는 다이어그램 모노이드의 구조를 더 깊이 이해하고, 그들의 최소 표현 차수를 정확히 알 수 있게 함으로써, 대수적 컴퓨팅, 표현 이론, 그리고 통계역학·양자 정보 등에서 활용되는 관련 대수들의 효율적인 구현에 기여한다.