대체열에 대한 코브함 정리

초록

α와 β가 곱셈적으로 독립인 퍼론 수일 때, 한 수열이 α‑대체가능하고 동시에 β‑대체가능하면 그 수열은 결국 주기적인 형태만을 가질 수 있다.

상세 분석

이 논문은 전통적인 코브함 정리의 핵심 아이디어를 대체열(substitutive sequences)이라는 보다 일반적인 구조로 확장한다. 기존의 코브함 정리는 두 진법이 서로 곱셈적으로 독립일 경우, 같은 수열이 두 진법 모두에서 자동적으로(automatic) 생성될 수 없으며, 유일하게 가능한 경우는 결국 주기적인 수열뿐이라는 것을 보여준다. 저자들은 여기서 “자동적”이라는 개념을 “대체가능”이라는 개념으로 교체한다. 대체가능성은 퍼론 수 α에 대한 대체 규칙(문자열을 다른 문자열로 치환하는 규칙)과 그 고유값(펄론 수)으로 정의된다. α‑대체가능 수열은 어떤 원시 문자열을 시작점으로 두고, α에 대응하는 치환 규칙을 무한히 반복 적용함으로써 얻어진다.

핵심 가정은 α와 β가 곱셈적으로 독립이라는 점이다. 이는 αⁿ = βᵐ (n,m∈ℕ)인 비자명한 관계가 존재하지 않음을 의미한다. 이러한 독립성은 두 대체 시스템이 서로 완전히 다른 스케일을 갖게 하며, 두 시스템이 동일한 무한 수열을 생성하려면 그 수열이 구조적으로 매우 제한적이어야 함을 암시한다. 저자들은 15년간 축적된 여러 부분 결과—특히 대체열의 고유값 스펙트럼, 균등 분포성, 그리고 복합 대체 시스템의 동역학적 불변량—를 종합하여, 두 독립 퍼론 수에 대한 대체열이 동시에 존재하려면 그 수열이 결국 유한한 전이 구간을 거쳐 주기적으로 반복되는 형태, 즉 “ultimately periodic”이어야 함을 증명한다.

증명 과정에서 중요한 도구는 “대체 행렬”(substitution matrix)의 페르몬 특성이다. 퍼론 수는 해당 행렬의 최대 실수 고유값이며, 이 고유값이 서로 독립이면 행렬의 고유벡터 공간이 겹치지 않는다. 따라서 두 대체 시스템이 생성하는 언어(문자열 집합)의 복잡도와 성장률이 서로 충돌하게 된다. 저자들은 이 충돌을 정밀히 분석하여, 비주기적 수열이 동시에 두 시스템에 의해 생성될 경우 발생하는 모순을 도출한다. 또한, 기존에 알려진 “Morphic” 및 “Automatic” 수열에 대한 결과들을 특수 경우로 포함시켜, 새로운 정리가 기존 정리들을 포괄함을 확인한다.

결과적으로, 이 논문은 코브함 정리의 범위를 대체열이라는 더 넓은 클래스까지 확장함으로써, 수열 이론, 형식 언어, 그리고 동역학 시스템 사이의 깊은 연결 고리를 다시 한 번 강조한다. 특히, 퍼론 수라는 대수적 수 체계와 치환 규칙의 조합이 어떻게 강력한 비주기성 제한을 부과하는지를 명확히 보여준다.