다차원 모스 헤들런드 정리의 완전한 확장과 Presburger 정의 가능성

초록

이 논문은 1차원에서 “궁극적 주기성”을 판별하는 모스‑헤들런드 정리를 다차원 격자 ℤᵈ 로 일반화한다. 다차원에서의 주기성은 Presburger 산술 ⟨ℤ;<,+⟩ 내의 1차 논리식으로 정의 가능한 집합으로 정의한다. Muchnik의 “local periodicity” 기준을 이용해, 집합 M⊆ℤᵈ 가 Presburger‑정의 가능하려면 (i) 재발 블록 복잡도 R_M(n) 이 O(n^{d‑1}) 를 만족하고, (ii) 모든 섹션이 역시 Presburger‑정의 가능해야 함을 보인다. 이 조건은 필요충분하며, 기존의 충분조건만을 제공하던 여러 연구와 달리 완전한 특성을 제공한다.

상세 분석

논문은 먼저 1차원 모스‑헤들런드 정리의 핵심을 재정의한다. 여기서 “궁극적 주기성”은 알파벳 {0,1} 로 표시된 특성 수열이 일정 길이 n 이하의 서로 다른 인자(블록) 수 p_x(n) ≤ n 을 만족하는 경우와 동치임을 상기한다. 이를 다차원으로 확장하기 위해 저자들은 “주기성”을 전통적인 벡터 p∈ℤᵈ 로의 전이 x↦x+p 가 전체 집합을 보존하는 강한 개념이 아니라, Presburger 산술 ⟨ℤ;<,+⟩ 안에서 1차 논리식으로 정의 가능한 집합이라는 보다 넓은 개념으로 정의한다. Presburger‑정의 가능 집합은 반정수선형(semilinear) 집합과 동치이며, 이는 유한 개의 선형 집합의 합집합으로 표현될 수 있다.

핵심 기술은 Muchnik이 제시한 “local periodicity” 조건이다. 정의에 따르면, 어떤 유한 집합 V⊂ℤᵈ{0} 가 존재하여, 충분히 멀리 떨어진 모든 점 x에 대해 일정 반경 K 내에서 V의 한 원소 v가 x와 x+v를 동일하게 포함·배제하도록 만든다. 이 조건은 “섹션마다 Presburger‑정의 가능”과 결합될 때, 전체 집합이 Preschner‑정의 가능함을 보장한다(정리 10).

주요 결과인 정리 2는 두 가지 등가조건을 제시한다. 첫째, 집합 M⊆ℤᵈ 가 Presburger‑정의 가능하려면 재발 블록 복잡도 R_M(n) 가 차원 d‑1 차수의 다항식 O(n^{d‑1}) 으로 제한되어야 한다. 여기서 R_M(n) 은 크기 n 인 블록 중 무한히 자주 나타나는(재발) 블록의 종류 수를 센다. 둘째, 모든 섹션(즉, 한 좌표를 고정하고 남은 d‑1 차원에서 보는 교차집합) 역시 Presburger‑정의 가능해야 한다. 이 두 조건은 필요충분하며, d=1 일 때는 기존 모스‑헤들런드 정리와 정확히 일치한다.

논문은 정리 2의 증명을 두 부분으로 나눈다. d=2 인 경우에는 기존 문헌에 등장한 Lemma를 활용해 직접적인 구성을 제시하고, 일반 d에 대해서는 Muchnik의 정리를 기반으로 복잡도 추정과 섹션의 정의 가능성을 단계적으로 전파한다. 또한, 재발 블록 복잡도와 전체 블록 복잡도 p_M(n) 사이의 차이를 강조한다. 예시 17(피보나치 단어)와 같이 p_M(n) 은 O(n) 이지만 R_M(n) 은 지수적으로 커져 Presburger‑정의가 불가능함을 보여, R_M(n) 의 사용이 필수적임을 증명한다.

추가적으로 저자들은 Corollary 13·14 를 통해 다차원 단어와 섹션의 재발 복잡도 조건을 재귀적으로 적용하는 방법을 제시한다. 즉, M이 Presburger‑정의 가능하려면 차원 k(1≤k≤d‑1) 의 모든 섹션에 대해 R_{section}(n)=O(n^{k‑1}) 가 성립해야 한다. 이는 복합적인 다차원 구조를 단순히 전체 복잡도만으로 판단할 수 없으며, 각 차원별 “주기성”을 검증해야 함을 의미한다.

마지막으로, Nivat의 conjecture, Periodicity Principle, Period Conjecture 등 기존 연구와의 관계를 논의한다. 특히, “uniform recurrence” 가 추가되면 Nivat의 조건이 충분조건이면서도 필요조건이 될 수 있음을 보이며, 본 정리가 이러한 오래된 질문에 대한 부분적 해답을 제공한다는 점을 강조한다. 전체적으로, 이 논문은 다차원 문자열 이론과 Presburger 산술 사이의 깊은 연결고리를 명확히 하며, 복잡도 기반의 완전한 주기성 판정 기준을 제시한다.