[논문 리뷰] Lambda Words: A Class of Rich Words Defined Over an Infinite Alphabet

Norman Carey|arXiv (Cornell University)|2013. 03. 04.

semigroups and automata theory참고 문헌 31인용 수 4

한 줄 요약

이 논문은 $1 < \theta < 2$ 이고 비음이 아닌 정수 $i,j$ 에 대해 형식 $i + j\theta$ 의 순서된 원소 간 차이에서 유도된 무한 알파벳 위의 오른쪽 무한 수열인 람다 단어(Lambda words)를 소개한다. 이 논문은 람다 단어가 리치(word)임을 증명한다(즉, 길이에 비례해 가능한 최대의 서로 다른 팰린드롬적 요소를 포함한다). 또한, 3글자 알파벳으로의 사영(projection)은 팰린드롬을 유지하지만, 그 결과로 얻어진 감마 단어(Gamma word)는 리치가 아니며, 이는 구조적 성질에서의 핵심적 차이를 드러낸다.

ABSTRACT

Lambda words are sequences obtained by encoding the differences between ordered elements of the form i+jθ, where i and j are non-negative integers and 1 &lt; θ&lt;2. Lambda words are right-infinite words defined over an infinite alphabet that have connections with Sturmian words, Christoffel words, and interspersion arrays. We show that Lambda words are infinite rich words. Furthermore, any Lambda word may be mapped onto a right-infinite word over a three-letter alphabet. Although the mapping preserves palindromes and non-palindromes of the Lambda word, the resulting Gamma word is not rich.

연구 동기 및 목표

• 람다 단어를 정형화하고 분석하는 것 — 무한 알파벳 위에 정의된, 집합 $\{i + j\theta \mid i,j \in \mathbb{N}_0\}$ 의 순서된 원소 간 차이를 이용한 무한 수열의 클래스.
• 람다 단어가 리치 단어임을 입증하는 것 — 즉, 길이에 비례해 가능한 최대의 서로 다른 팰린드롬적 요소를 포함한다.
• 람다 단어의 구조적 성질을 조사하는 것 — 연분수와 수렴근의 역할을 통해 문자 빈도를 결정하는 방법.
• 람다 단어에서 3글자 알파벳으로의 사영 사상 $\gamma$ 의 행동을 분석하는 것 — 팰린드롬 및 비팰린드롬의 구조를 유지한다.
• 람다 단어의 리치 성질과 그 사영된 감마 단어의 비리치 성질 사이의 차이를 명확히 하는 것.

제안 방법

• 모든 $i,j \in \mathbb{N}_0$ 에 대해 $i + j\theta$ 의 값을 엄격히 증가하는 순서로 정렬한 수열 $S_\theta$ 를 정의하고, 그의 일阶 차분 수열 $\Delta S_\theta$ 를 계산한다.
• 서로 다른 차이값을 비가역적 사상 $\lambda$ 를 통해 비음이 아닌 정수로 인코딩하여, 람다 단어 $\Lambda_\theta$ 를 구성한다.
• 연분수의 수렴근을 이용해 $\Lambda_\theta$ 에서 각 문자의 빈도를 계산하고, 수론적 성질과 단어의 구조를 연결한다.
• 허리츠 사슬(Hurwitz chains)과 수렴근을 기반으로 한 재귀 관계를 통해 $\Lambda_\theta$ 를 3글자 알파벳 $\{0,1,2\}$ 로 사영하는 사영 $\gamma$ 를 구성한다.
• $\gamma|A - B\theta| = 3 - (\gamma|a_k - b_k\theta| + \gamma|(A - a_k) - (B - b_k)\theta|)$ 를 정의하여, $\Gamma_\theta$ 가 $\{0,1,2\}$ 위의 잘 정의된 오른쪽 무한 단어임을 보장한다.
• 람다 단어 $\Lambda_\theta$ 에서 팰린드롬과 비팰린드롬이 감마 단어 $\Gamma_\theta$ 에서도 유지됨을 검증하지만, $\Gamma_\theta$ 가 비리치임을 보여주기 위해 비리치인 6글자 요소를 제시한다.

실험 결과

연구 질문

• RQ1 람다 단어는 $i + j\theta$ 의 차이에서 유도된 무한 알파벳 위에 정의된 단어로서, 가능한 최대의 서로 다른 팰린드롬적 요소를 포함하는 리치 단어인가?
• RQ2 람다 단어 $\Lambda_\theta$ 에서 각 문자의 빈도는 $\theta$ 의 연분수 수렴근에 의해 어떻게 결정되는가?
• RQ3 람다 단어 $\Lambda_\theta$ 에서 3글자 알파벳으로의 사영 $\gamma$ 는 팰린드롬의 구조를 유지하는가? 만약 그렇다면, 그 결과로 얻어진 감마 단어에 어떤 함의가 있는가?
• RQ4 람다 단어 $\Lambda_\theta$ 는 팰린드롬과 비팰린드롬을 유지하는 데에도 불구하고, 감마 단어 $\Gamma_\theta$ 는 왜 비리치인가?
• RQ5 허리츠 사슬과 수렴근 쌍은 사영 사상 $\gamma$ 의 재귀적 정의에서 어떤 역할을 하는가?

주요 결과

• 람다 단어는 리치임이 증명되었으며, 이는 길이에 비례해 가능한 최대의 서로 다른 팰린드롬적 요소를 포함함을 의미한다.
• 람다 단어 $\Lambda_\theta$ 에서 각 문자의 빈도는 $\theta$ 의 연분수 전개의 수렴근에 의해 결정되며, §5에서 명시적인 공식이 유도되었다.
• 람다 단어 $\Lambda_\theta$ 의 팰린드롬은 최대 3개의 서로 다른 문자로만 구성되며, 이는 $i + j\theta$ 값의 순서화된 배치에서 기인하는 구조적 제약이다.
• 사영 $\gamma$ 는 $\Lambda_\theta$ 를 $\{0,1,2\}$ 위의 오른쪽 무한 단어 $\Gamma_\theta$ 로 매핑하며, 팰린드롬과 비팰린드롬의 구조를 유지한다.
• 이러한 유지에도 불구하고, $\Gamma_\theta$ 는 비리치임이 입증되었으며, 이는 $\Gamma_\vartheta$ 에서 비리치인 6글자 요소 $012120$ 이 존재하기 때문이다.
• 특히 $\theta = \phi = (\sqrt{5}+1)/2$ 인 경우, $\gamma|A - B\phi|$ 의 값은 $k+1 \mod 3$ 에 따라 주기적으로 순환하며, 이는 사영 과정에서 규칙적인 패턴이 있음을 나타낸다.