종이접기 단어의 아벨 복잡도 연구

초록

본 논문은 전통적인 종이접기 무한 단어(ordinary paperfolding word)의 아벨 복잡도 함수를 분석하여, 이 함수가 2‑정규(2‑regular) 수열임을 증명한다. 이를 위해 종이접기 단어의 구조적 특성을 활용하고, 아벨 등가 클래스의 개수를 재귀적으로 계산하는 방법을 제시한다.

상세 분석

종이접기 단어는 0과 1로 이루어진 이진 무한 문자열로, 접기 과정을 반복함으로써 생성된다. 이 문자열은 자동수열(automatic sequence)의 대표적인 예이며, 특히 2‑자동수열이라는 특성을 가진다. 아벨 복잡도는 길이 n인 모든 연속 부분문자열을 아벨 동형(문자 개수만 동일)으로 묶었을 때, 서로 다른 아벨 클래스의 개수를 나타내는 함수이다. 기존 연구에서는 종이접기 단어의 전통적인 복잡도(서브스트링 복잡도)가 선형 성장함을 보였지만, 아벨 복잡도에 대한 체계적인 분석은 부족했다.

본 논문은 먼저 종이접기 단어의 생성 규칙을 정형화한다. 접기 연산을 수학적으로 표현하면, 기존 문자열 w에 대해 새로운 문자열 w·0·(\overline{w})를 만든다(여기서 (\overline{w})는 w의 비트 반전 후 역순). 이 재귀 구조는 길이 2^k 구간에서 대칭성을 제공한다. 저자는 이러한 대칭성을 이용해 길이 n 구간의 아벨 클래스 수를 n을 2의 거듭제곱으로 나눈 나머지에 따라 구분한다.

핵심 아이디어는 “아벨 프로파일”이라는 개념이다. 길이 n 구간의 각 위치 i에 대해, 그 구간이 포함하는 0과 1의 차이(예: #0−#1)를 기록한 함수 φ_i(n)를 정의한다. 종이접기 단어의 재귀적 정의에 따라 φ_i(n)은 φ_{i’}(⌊n/2⌋)와 간단한 선형 변환으로 연결된다. 이를 통해 φ_i(n)의 값은 n의 이진 전개에만 의존함을 보인다.

다음 단계에서는 φ_i(n)의 가능한 값들의 집합을 조사한다. 저자는 이 집합이 2‑정규 언어에 의해 기술될 수 있음을 증명한다. 구체적으로, φ_i(n)의 값은 상태 전이 자동기계(automaton)에서 정의된 유한 상태 집합을 순환하면서 생성되며, 각 상태는 현재까지의 0‑1 차이를 나타낸다. 따라서 길이 n에 대한 서로 다른 아벨 클래스 수는 이 자동기계가 n 단계에서 도달할 수 있는 서로 다른 상태 수와 동일하다.

이 자동기계는 2‑진법으로 입력을 받으며, 각 비트가 처리될 때마다 상태 전이가 일어난다. 따라서 전체 시스템은 2‑정규 수열을 생성한다는 정의와 정확히 일치한다. 저자는 이를 수학적으로 정리하여, 아벨 복잡도 함수 a(n)이 2‑정규 수열임을 엄밀히 증명한다. 증명 과정에서는 모듈러 연산, 선형 재귀 관계, 그리고 2‑자동수열의 특성을 결합한다.

마지막으로, 저자는 a(n)의 초기 값과 재귀식을 명시적으로 제시한다. 예를 들어 a(1)=2, a(2)=3, a(4)=5 등 구체적인 값들을 계산하고, 일반적인 n에 대해 a(2n)=a(n)+a(n−1)−a(⌊n/2⌋)와 같은 형태의 재귀식을 도출한다. 이러한 식은 2‑정규 수열의 표준 형태와 일치한다. 전체 분석을 통해 종이접기 단어의 아벨 복잡도가 단순히 선형이 아니라, 2‑정규 구조를 갖는 복합적인 패턴을 보인다는 중요한 통찰을 제공한다.