Duality in Biperiodic Fibonacci Words Substitution Frequencies and Combinatorial Invariants

기술 요약: 이주기 피보나치 단어의 쌍대성(Duality)

문제 정의
본 논문은 정수 매개변수 $a, b \ge 1$에 대하여 지시 수열(directive sequence) $(a, b, a, b, \dots)$에 의해 생성되는 이주기 피보나치 단어 $F(a,b)$ 군을 연구한다. 이 단어들의 점근적 문자 빈도는 대칭적인 대수적 양량인 $A_a(a,b)$에 의존하는 반면, 임계 지수(critical exponent) $CE(F(a,b))$와 같은 다른 불변량들은 매개변수 교환($a \leftrightarrow b$)에 대해 명백한 비대칭성을 보인다. 본 연구의 핵심 문제는 이러한 비대칭성을 설명하는 것이다. 즉, 이것이 폐쇄형 표현(closed-form expressions)의 결과물인지, 아니면 $F(a,b)$와 $F(b,a)$ 사이의 더 깊은 구조적 관계를 반영하는 것인지 규명하고자 한다. 본 논문은 $F(b,a)$를 $F(a,b)$로 사상(map)하는 명시적 모피즘(morphism)이 존재하는지 확인하고, 이 사상이 문자 빈도, 귀환 단어(return words), 회문(palindromic) 구조와 같은 조합론적 불변량에 어떠한 영향을 미치는지 분석한다.

방법론
저자들은 S-adic 시스템 및 **슈투름 단어 이론(Sturmian word theory)**의 프레임워크를 채택한다.

1. S-adic 표현: 본 논문은 $F(a,b)$가 주기적 지시 수열 $(a, b, a, b, \dots)$에 의해 생성되는 표준 슈투름 수열과 일치함을 입증한다. 이를 통해 역치환(desubstitution) 항등식을 사용할 수 있다.
2. 모피즘 구축: 핵심 방법론적 도구는 $\sigma_a: 0 \mapsto 0^a1, 1 \mapsto 0$인 명시적 모피즘이다. 저자들은 유한 근사 $F(a,b)_n$에 대한 수학적 귀납법을 활용하여, 문자의 재라벨링(relabeling)이나 유계된 접두사 수정 없이 $\sigma_a(F(b,a)) = F(a,b)$가 정확히 성립함을 증명한다.
3. 조합론적 분석: 확립된 쌍대성 $\sigma_a$를 사용하여 다음의 정확한 공식들을 도출한다:
   • 블록 길이에 대한 모피즘의 작용에 대한 극한 분석을 통한 문자 빈도.
   • 무한 단어의 블록 분해 분석을 통한 귀환 단어.
   • 표준 슈투름 수열 및 중심 단어(central words)에 관한 고전적 결과들을 활용한 회문 접두사.
4. 연분수: 단어의 기울기(slope) $\theta(a,b)$는 연분수 전개를 통해 분석되며, 이는 이차 무리수 $A(a,b)$와 연결된다.

주요 기여 및 결과

• 패리티-시프트 쌍대성 정리(Parity-Shift Duality Theorem): 본 논문은 모든 $a, b \ge 1$에 대하여 $F(a,b) = \sigma_a(F(b,a))$임을 증명한다. 이는 $F(a,b)$가 모피즘 $\sigma_a$에 의한 $F(b,a)$의 상(image)이라는 정밀한 구조적 대응 관계를 확립한다. 이는 불변량의 비대칭성이 $\sigma_a$에 의해 유도된 "길이 재분배 메커니즘"의 결과임을 설명한다.
• 문자 빈도: 저자들은 $F(a,b)$에서 문자 0과 1의 빈도에 대한 정확한 폐쇄형 표현을 도출한다:
  $$\text{freq}_1(F(a,b)) = \frac{b}{\alpha + b}, \quad \text{freq}_0(F(a,b)) = \frac{\alpha}{\alpha + b}$$
  여기서 $\alpha = A(a,b)$이다. 이는 빈도가 $a \leftrightarrow b$에 대해 대칭일 것이라는 기존의 가정을 바로잡는 것으로, $a=b$가 아닌 한 대칭이 아니다.
• 귀환 단어: 저자들은 각 문자에 대한 귀환 단어의 완전한 기술을 제공한다:
  • 0에 대한 귀환 단어는 $\{0, 01\}$이며, 이는 $a$와 $b$에 독립적이다.
  • 1에 대한 귀환 단어는 $\{10^a, 10^{a+1}\}$이다.
  • 쌍대성은 지수 $a$를 $b$로 치환함으로써 1에 대한 귀환 단어 집합에 작용하며, 0에 대한 집합은 불변 상태를 유지한다.
• 슈투름 성질: $F(a,b)$는 모든 $a, b \ge 1$에 대해 표준 슈투름 단어임이 증명되었다. 결과적으로 균형 함수(balance function)는 $B(n) \equiv 1$이며, 아벨리안 복잡도(abelian complexity)는 모든 $n$에 대해 $AC(n) \equiv 2$이다. 이러한 불변량들은 $a \leftrightarrow b$에 대해 자명하게 대칭이다.
• 회문 구조: 모든 $n \ge 2$에 대하여, 유한 근사 $F(a,b)_n$의 마지막 두 글자를 삭제하여 얻은 단어가 회문임을 증명한다. 이는 임의의 길이의 회문 접두사가 존재함을 확인해 준다.
• 기울기 및 연분수: 기울기 $\theta(a,b)$의 연분수 전개가 $[0; ab+1, 1, ab]$임을 결정한다. 본 논문은 기울기와 임계 지수가 쌍$(a,b)$에 대해 오직 곱$ab$와 최댓값$\max(a,b)$를 통해서만 의존함을 보여준다.
• 임계 지수 최소화: 저자들은 임계 지수와 관련된 지수 $Ind(F(a,b))$를 정의하고, 이것이$(a,b) = (1,1)$에서 유일하게 전역 최솟값을 가짐을 증명하여 고전적인 피보나치 단어 값$2 + \phi$를 회복한다.

의의 및 주장
본 논문은 이주기 피보나치 단어의 임계 지수와 문자 빈도에서 나타나는 외견상의 비대칭성이 고립된 현상이 아니라, $F(a,b)$와 $F(b,a)$ 사이의 구조적 쌍대성에서 기인하는 일관된 결과라고 주장한다. 명시적 모피즘 $\sigma_a$를 식별함으로써, 저자들은 왜 문자의 정체성과 블록 길이 사이의 상호작용에 의존하는 불변량들이 매개변수 교환에 대해 대칭을 이루지 못하는지에 대한 통합적인 설명을 제공한다.

본 연구는 왜 $A(a,b)$와 같은 대수적 양량은 대칭적인데 조합론적 불변량은 그렇지 않은지에 대한 "수수께끼"를 해결하며, 그 차이가 모피즘의 구체적인 작용 때문임을 밝힌다. 본 논문은 이러한 쌍대성 관계가 이전에 관찰되지 않았음을 명시적으로 밝힌다. 또한, 모든 $n$에 대한 전체 회문 복잡도 함수 $P_{F(a,b)}(n)$의 계산과 임계 지수를 위한 정확한 극단적 반복(extremal repetitions)의 식별을 포함한 향후 과제를 제시하며, 현재의 하한값이 타이트하지 않음을 언급한다. 저자들은 이 프레임워크가 $k$-주기 지시 수열으로 확장될 수 있음을 시사하며, 이는 더 넓은 순환적 쌍대성을 암시한다.