무한 수열의 산술 자기유사성 연구

초록

본 논문은 한쪽으로 무한히 이어지는 수열 σ에 대해, σ 자체와 수직 이동만으로 일치하는 산술 진행(등차수열)들의 집합인 산술 자기유사성(AS)을 정의한다. 완전 가법 수열, Toeplitz 단어, 그리고 Keane이 제안한 일반화 모스 수열을 대상으로 AS를 분석하고, 완전 가법 수열의 AS를 완전히 규명한다. 또한 단일 구멍 Toeplitz 패턴이 완전 가법 Toeplitz 단어를 생성하는 조건을 분류하고, 한 구멍 패턴으로 만든 Toeplitz 단어의 모든 산술 부분수열이 다시 Toeplitz 단어임을 증명한다. 마지막으로 일반화 모스 수열을 자리값 합수열로 표현하고, 그 첫 차분이 Toeplitz 단어임을 보인다.

상세 요약

논문은 먼저 σ∈A^ℕ (A는 유한 알파벳) 에 대해, 임의의 정수 a>0와 b≥0에 대해 σ_{a·n+b} (n∈ℕ) 가 σ에 수직 이동(즉, 일정한 기호를 더하거나 뺀 결과)만으로 일치하는 경우를 “산술 자기유사성”이라 정의한다. 이 정의는 전통적인 자기유사성(문자열 자체가 자체 복제되는 경우)과는 달리 등차 진행을 통한 구조적 반복을 포착한다는 점에서 새롭다.

완전 가법 수열은 σ(n)=f(n) 형태이며, 여기서 f는 완전 가법 함수(즉, f(m+n)=f(m)+f(n) for all m,n)이다. 저자들은 이러한 수열의 AS를 완전히 기술한다. 핵심은 완전 가법성 때문에 σ의 값이 n의 소인수 분해에만 의존한다는 사실이며, 따라서 등차 진행 a·n+b가 주어지면 σ_{a·n+b}=σ_n+σ_b−σ_0 와 같은 선형 관계가 성립한다. 이를 이용해 AS는 모든 (a,b) 쌍이 (a,0) 형태와 동치임을 보이며, 결국 AS는 “모든 양의 정수 a에 대해 (a,0) ∈ AS” 로 완전히 기술된다.

Toeplitz 단어는 무한히 반복되는 패턴 p∈(A∪{?})^ℓ 로부터, 물음표를 이전에 정의된 문자로 채워가며 생성된다. 논문은 특히 “단일 구멍”(single‑gap) 패턴, 즉 정확히 하나의 물음표를 가진 p에 집중한다. 저자들은 이러한 패턴이 완전 가법 Toeplitz 단어를 만들기 위한 필요충분조건을 제시한다. 핵심 아이디어는 물음표 위치와 주변 문자들의 차이가 가법성을 유지하도록 강제하는 것이며, 이를 통해 구멍의 위치와 문자값 사이에 선형 방정식 시스템을 세워 해를 구한다.

또한, 한 구멍 패턴으로 만든 Toeplitz 단어 τ에 대해, 임의의 등차 진행 (a,b) 에서 얻어지는 부분수열 τ_{a·n+b} 가 다시 Toeplitz 형태임을 증명한다. 증명은 τ의 생성 과정을 재귀적으로 추적하면서, 구멍이 이동하는 방식이 등차 진행에 따라 일정하게 보존된다는 점을 이용한다. 결과적으로 Toeplitz 단어는 “산술적으로 닫힌(closed under arithmetic subsequences)” 구조를 가진다.

마지막으로 Keane이 정의한 일반화 모스 수열 M_k (k≥2)는 자리값 합수열 s_k(n) (n을 k진법으로 표현했을 때 1의 개수) 로 표현될 수 있음을 보인다. 구체적으로 M_k(n)=(-1)^{s_k(n)} 로 정의되며, 이는 완전 가법 함수와 직접 연결된다. 저자들은 M_k의 첫 차분 ΔM_k(n)=M_k(n+1)−M_k(n) 가 Toeplitz 단어임을 증명한다. 여기서는 차분 연산이 물음표를 하나씩 이동시키는 Toeplitz 패턴과 동형임을 보이며, 일반화 모스 수열이 Toeplitz 구조와 깊게 얽혀 있음을 드러낸다.

전체적으로 논문은 산술 진행을 통한 자기유사성이라는 새로운 관점을 제시하고, 완전 가법성, Toeplitz 구조, 그리고 모스 수열 사이의 미묘한 관계를 체계적으로 밝힌다. 이는 무한 수열 이론, 조합적 동역학, 그리고 자동수열 연구에 새로운 도구와 통찰을 제공한다.