인자 균형성과 선형 재발, 복잡도 사이의 새로운 연결

초록

이 논문은 무한 단어에서 인자‑균형성(요소 균형)과 그 강한 형태인 균일 인자‑균형성을 연구한다. S‑adic 표현을 이용해 선형 재발 단어가 (균일) 인자‑균형이 되는 충분조건을 제시하고, 이를 통해 원시 치환어의 길이‑2 인자 균형이 균일 인자‑균형과 동치임을 보인다. 또한 이 조건을 사용해 Sturmian 및 3문자 Arnoux‑Rauzy 단어의 균일 인자‑균형을 약한 부분몫이 유계인 경우와 정확히 동일하게 규정한다. 마지막으로 인자‑균형성과 인자 복잡도 사이의 관계를 탐구해, 치환어는 선형 복잡도를 갖지만 Toeplitz 구성을 통해 인자‑균형이면서 지수적 복잡도를 갖는 예시를 제시함으로써 “균형 ⇒ 이산 스펙트럼”이라는 추측에 반례를 제공한다.

상세 분석

본 연구는 먼저 인자‑균형성이라는 개념을 명확히 정의한다. 이는 임의의 두 같은 길이의 구간에서 특정 인자 w가 등장하는 횟수 차이가 일정 상수 C 이하인 성질이며, C가 구간에 무관하게 동일하면 균일 인자‑균형이라 부른다. 기존 문헌에서는 문자‑균형성(레터‑밸런스)과 달리 인자‑균형성은 더 미세한 구조를 반영한다는 점에서 연구가 부족했다. 저자들은 S‑adic 전시법을 활용해 선형 재발(linearly recurrent) 단어에 대한 일반적인 충분조건을 도출한다. 구체적으로 (P), (F), (D)라는 세 가지 기술적 조건을 만족하는 ‘congenial sequence’ (τₙ, aₙ)ₙ≥0 와, 각 단계에서 얻어지는 부분 단어 x⁽ⁿ⁾가 Bₙ‑문자‑균형을 만족하면 전체 단어 x는 인자‑균형을 갖는다. Bₙ이 유계이면 x는 균일 인자‑균형이 된다. 이 결과는 선형 재발 단어가 S‑adic 전시를 통해 언제 인자‑균형을 가질 수 있는지를 체계적으로 설명한다는 점에서 의미가 크다.

특히 원시 치환어의 고정점에 대해서는 길이‑2 인자들의 균형성만 확인하면 전체가 균일 인자‑균형임을 보인다(정리 1.3). 이는 Adamczewski의 이전 결과를 일반화한 것으로, 치환 행렬의 원시성만으로도 인자‑균형을 판단할 수 있음을 보여준다.

다음으로 Sturmian 및 3문자 Arnoux‑Rauzy 단어에 대한 적용을 다룬다. 이들 단어는 부분몫(partial quotients)이라는 연속분수와 유사한 구조를 가지며, ‘약한 부분몫(weak partial quotients)’이 유계일 때만 균일 인자‑균형을 만족한다(정리 1.4). 이는 기존에 알려진 문자‑균형성 결과와 일치하면서도 인자‑균형성까지 확장한다.

마지막으로 인자‑균형과 인자 복잡도 사이의 관계를 탐구한다. 치환어가 인자‑균형이면 복잡도 함수 pₓ(n)은 선형 성장임을 증명하고(정리 7.3), 반대로 Toeplitz 구성을 이용해 인자‑균형이면서 복잡도가 지수적으로 성장하는 무한 단어를 명시적으로 만든다(정리 1.5). 이 예시는 “인자‑균형 ⇒ 이산 스펙트럼”이라는 가설에 반례를 제공하며, 균형성만으로는 동역학적 스펙트럼을 완전히 규정할 수 없음을 시사한다. 또한 논문 말미에 제시된 네 가지 개방문제는 선형 재발 단어에 대한 필요조건, 다문자 Arnoux‑Rauzy의 완전한 분류, 지수적 복잡도와 균형성의 일반적 관계, 그리고 균일 인자‑균형과 초선형 복잡도의 가능성을 탐구하도록 독자를 이끈다.