[논문 리뷰] More Kolakoski Sequences

Bernd Sing|arXiv (Cornell University)|2010. 09. 21.

Fractal and DNA sequence analysis참고 문헌 1인용 수 5

한 줄 요약

이 논문은 두 글자 알파벳 {r,s}에 대해 고전적인 콜라코스키 수열을 일반화하며, 한 글자가 홀수이고 다른 글자가 짝수인 경우—기존의 치환 체계로는 환원되지 않는 경우—에 초점을 맞춘다. 일반화된 치환 규칙을 사용하여 문자 빈도, 회문, 제곱문자열, 부분어구 복잡도를 분석하고, C∞-어휘의 수에 대한 경계를 도출하며, 복잡도가 지수 δ = ln(r+s)/ln((r+s)/2)에 따라 다항식적으로 증가함을 보여주며, {1,4}와 {2,3}에 대한 수치 데이터로 잘 뒷받침된다.

ABSTRACT

Our goal in this article is to review the known properties of the mysterious Kolakoski sequence and at the same time look at generalizations of it over arbitrary two letter alphabets. Our primary focus will here be the case where one of the letters is odd while the other is even, since in the other cases the sequences in question can be rewritten as (well-known) primitive substitution sequences. We will look at word and letter frequencies, squares, palindromes and complexity.

연구 동기 및 목표

• 고전적인 콜라코스키 수열을 r ≠ s 인 임의의 두 글자 알파벳 {r,s}로 확장하는 것, 특히 혼합 기수성(홀수-짝수) 케이스에 초점 맞추기.
• 일반화된 콜라코스키 수열의 구조적 성질인 문자 빈도, 회문, 제곱문자열, 부분어구 복잡도를 분석하는 것.
• {1,4}와 {2,3}을 포함한 다양한 알파벳에 대해 C∞-어휘(무한 콜라코스키 수열의 부분어휘)의 수에 대한 경계를 설정하는 것.
• 콜라코스키 수열의 부분어휘 집합이 C∞-어휘 집합과 일치하는지 여부를 탐구하는 것—이 분야의 핵심 추측.

제안 방법

• 일반화된 콜라코스키 수열은 σ₀와 σ₁의 교대 치환 규칙을 통해 구성되며, σ₀는 짝수 위치에, σ₁는 홀수 위치에 작용한다. σ₀(r) = r^r, σ₀(s) = r^s, σ₁(r) = s^r, σ₁(s) = s^s이다.
• 혼합 기수성 알파벳 {r,s}의 경우, 수열은 원시 치환 체계로 환원될 수 없으며, 따라서 러닝 길이 및 부분어구의 구조를 직접 분석해야 한다.
• 회문 부분어휘는 기본 단어와 그 대칭 성질을 통해 연구되며, 특히 홀수 길이의 회문에서 홀수 글자를 중심으로 하는 경우에 특별한 주의를 기울인다.
• 복잡도 γ(n) — 길이 n인 C∞-어휘의 수 — 는 치환 역학과 행렬 스펙트럼 성질로부터 유도된 로그 성장 지수를 사용하여 경계된다.
• {1,4}와 {2,3}에 대한 수치 데이터는 이중 로그 스케일에 플롯되어 성장 지수 δ = ln(r+s)/ln((r+s)/2)를 추정한다.
• 데킹의 결과를 일반화하여 임의의 {r,s}에 대해 복잡도에 대한 이론적 경계를 유도하며, 지수 α와 β를 가진 다항식 상한과 하한을 도출한다.

실험 결과

연구 질문

• RQ1 일반화된 콜라코스키 수열의 {r,s}에서 길이 n인 부분어휘(=C∞-어휘)의 수의 성장률은 어떻게 되는가?
• RQ2 한 글자가 홀수이고 다른 글자가 짝수일 때 일반화된 콜라코스키 수열에서 문자 빈도는 어떻게 행동하는가?
• RQ3 일반화된 콜라코스키 수열에서 회문 부분어휘를 체계적으로 생성하고 분류할 수 있는가?
• RQ4 일반화된 콜라코스키 수열은 어느 정도까지 치환 규칙으로 표현될 수 있으며, 언제 기존의 원시 체계로 환원되는가?
• RQ5 알파벳 {1,4}와 {2,3}에 대해 γ(n) ≈ n^δ (δ = ln(r+s)/ln((r+s)/2))라는 추측이 수치적 및 이론적 증거로 잘 뒷받침되는가?

주요 결과

• 고전적 알파벳 {1,2}에 대해, 복잡도 γ(n)는 C₁·n².⁷⁰⁸⁷ < γ(n) < C₂·n².⁷¹⁰² 를 만족하며, 양의 상수 C₁, C₂에 의해 지배되며, 밀도 있는 다항식 성장임을 시사한다.
• 추측된 복잡도 지수 δ = ln(r+s)/ln((r+s)/2)는 수치 데이터로 잘 뒷받침되며, {1,2}에 대해 δ ≈ 2.7095이며, 경험적 경계와 일치한다.
• {1,4}와 {2,3}에 대해, lnγ(n) 대 ln n의 수치 플롯은 추측된 δ와 일치하는 성장 양상을 보이며, 그림 1의 밝은 회색 및 짙은 회색 곡선이 예측된 멱법칙 추세와 일치한다.
• 한 글자가 홀수이고 다른 글자가 짝수인 {r,s}에 대해 일반화된 콜라코스키 수열의 문자 빈도는 같지 않으며, 유도된 치환 규칙를 통해 계산 가능하지만 균일하게 분포하지는 않는다.
• 회문 부분어휘는 홀수 길이의 기본 회문 단어에서 유래하며, 중심 글자가 홀수여야 하며, 각 길이에 대해 이러한 기본 단어의 수의 두 배 이내로 제한된다.
• 두 글자가 모두 홀수인 {r,s}에 대한 치환 규칙은 2(r+s) ≥ (r−s)²일 경우 삼차 피사노-비자라가반 수를 유도하며, 깊은 대수적 구조를 나타내지만, 본 분석의 초점은 이 경우가 아니다.