자유 모노이드에서의 프루베니우스 문제

초록

본 논문은 고전적인 프루베니우스 문제를 비가환 자유 모노이드로 확장한다. 정수선형조합 대신 단어들의 비공식적 연결을 고려하고, 대표 가능한 가장 큰 “갭”을 측정한다. 결과는 기존의 2차 다항식 상한과 달리 선택한 측정법에 따라 지수적 또는 준지수적 성장률을 보임을 증명한다.

상세 분석

프루베니우스 문제는 자연수 집합에서 주어진 양의 정수들의 비음수 정수선형조합으로 만들 수 없는 최대값 g를 찾는 고전적인 난제이다. 이 논문은 그 개념을 자유 모노이드 Σ* 위의 비가환 구조로 옮겨, 주어진 유한한 단어 집합 A ⊂ Σ*에 대해 A가 생성하는 부분모노이드 A⁺ 의 보완에 속하는 가장 “큰” 단어를 정의한다. 여기서 “크기”는 (1) 길이 기준, (2) 사전식 순서, (3) 복잡도(예: 최소 DFA 상태수) 등 여러 측정법으로 정의될 수 있다.

저자들은 먼저 길이 기준을 채택한 경우, A가 서로 다른 길이의 단어들로 이루어졌을 때, 전통적인 정수 경우와는 달리 g의 상한이 일반적으로 지수적으로 커짐을 보인다. 구체적으로, |A|=k이고 각 단어의 길이가 ≤ n일 때, 최악의 경우 g의 길이는 Θ(2ⁿ)까지 성장한다. 이는 자유 모노이드가 비가환이기 때문에 단어의 순열이 급격히 늘어나는 현상을 정량화한 결과이다.

다음으로 사전식 순서를 이용한 측정에서는, 특정한 사전식 최소 단어가 존재하지 않을 수 있음을 보이며, 이 경우 “갭”을 정의하기 위해 무한히 증가하는 사전식 체인을 고려한다. 저자들은 이러한 경우에도 상한이 지수적이지만, 특정 구조(예: 모든 단어가 동일한 접두사를 공유)에서는 하위지수적(예: 2^{√n}) 성장으로 제한될 수 있음을 증명한다.

복잡도 기반 측정에서는 최소 결정적 유한 자동기(DFA)의 상태 수를 사용한다. 여기서는 A가 생성하는 언어 L=A⁺의 보완 언어 L̅의 최소 DFA 상태 수가 g와 직접 연관된다. 저자들은 L̅의 최소 DFA가 필요로 하는 상태 수가 일반적으로 2^{Ω(n)}에 달함을 보이며, 이는 기존의 정수형 프루베니우스 문제에서 나타나는 다항식 상한과는 근본적인 차이를 나타낸다.

증명 기법으로는 코시-슈바르츠 불평등을 이용한 길이 하한, 펌핑 레마를 활용한 비가환 구조의 폭발적 조합성, 그리고 정규 언어 이론을 통한 자동기 구성 분석이 사용된다. 또한, 특정 경우에 대한 정확한 상한을 구하기 위해 마르코프 체인과 열거 함수(Generating Function)를 도입하여, g의 평균적 성장률을 추정한다.

결과적으로, 자유 모노이드에서의 프루베니우스 문제는 측정 선택에 따라 지수적·준지수적 복잡도를 보이며, 이는 비가환 조합구조가 문제의 난이도를 급격히 증가시킨다는 중요한 통찰을 제공한다. 논문은 이러한 현상을 정리한 정리와 함께, 향후 연구 과제로 복합 알파벳, 무한 생성 집합, 그리고 다른 비가환 대수 구조(예: 자유 그룹)에서의 확장 가능성을 제시한다.