[논문 리뷰] HD0L-$ω$-equivalence and periodicity problems in the primitive case (to the memory of G. Rauzy)

Fabien Durand|2011. 11. 02.

Mathematical Dynamics and Fractals참고 문헌 26인용 수 6

한 줄 요약

이 논문은 Rauzy의 유도 과정과 복귀 단어 분석을 활용하여, 원시형태적 수열에 대한 HD0L ω-동치성 및 주기성 문제의 결정 가능성을 입증한다. 주어진 원시형태적 사슬의 주기성은 계산 가능한 경계까지의 복귀 단어를 알고리즘적으로 계산함으로써 결정 가능하며, 두 원시형태적 사슬이 동일한 수열을 생성하는 것은 특정한 복귀 단어 조건 하에서 공통의 거듭제곱을 공유할 때에만 가능하다.

ABSTRACT

In this paper I would like to witness the mathematical inventiveness of G. Rauzy through personnal exchanges I had with him. The objects that will emerge will be used to treat the decidability of the HD 0 L $ω$-equivalence and periodicity problems in the primitive case.

연구 동기 및 목표

• 원시 사슬의 경우에 대해 오랫동안 열려 있던 HD0L ω-동치성 문제를 해결하기 위해, 두 형태적 수열이 동일한지 여부의 결정 가능성을 증명하는 것.
• Gérard Rauzy가 유도된 수열의 주기성에 대해 제시한 통찰을 일반적인 알고리즘적 프레임워크로 확장하는 것.
• 같은 고정점을 생성하는 두 원시적 치환에 대해 반드시 공통의 비자명한 거듭제곱을 가져야 하는 조건을 설정하는 것.
• 원시성 조건 하에서 형태적 수열의 궁극적 주기성에 대한 결정 가능 기준을 제공하는 것.
• 복귀 단어의 구조를 동역학계 및 치환 동역학과 연결함으로써 형태적 수열에 관한 결과를 일반화하는 것.

제안 방법

• 특정 접두어에 대한 복귀 단어에 초점을 맞추어 반복적으로 형태적 수열을 분석하는 유도된 수열 구성(즉, Rauzy 유도)을 사용한다.
• 원래 수열의 복귀 구조와 형태적 사슬 φ에 의한 코딩된 수열 간의 관계를 나타내기 위해 복귀 단어 사상 λ_n을 적용한다.
• 주기성 검증에 필요한 반복 횟수를 제한하기 위해 계산 가능한 경계 K = (4K_σ³)^{|σ|K_σ²+1}(K_σ+1)^{K_σ²}를 활용한다.
• 복귀 단어의 수가 어떤 i < K에 대해 정확히 하나인가를 확인하는 것으로 문제를 축소한다.
• 균일한 재현성과 여우집합 원리에 의해 반복되는 (λ_i, σ_i) 쌍은 궁극적 주기성을 암시하므로 이를 활용한다.
• 형태적 사슬의 복합을 통해 일반적인 경우를 비삭제 코딩으로 환원함으로써 알고리즘적 타당성을 보장한다.

실험 결과

연구 질문

• RQ1 원시형태적 사슬이 생성하는 두 형태적 수열이 동일한지 여부를 결정할 수 있는가, 즉 원시 사슬의 경우에 대해 HD0L ω-동치성이 결정 가능한가?
• RQ2 원시형태적 사슬이 생성하는 형태적 수열의 주기성은 알고리즘적으로 결정 가능한가?
• RQ3 같은 고정점을 생성하는 두 원시적 치환은 어떤 조건에서 반드시 공통의 비자명한 거듭제곱을 가져야 하는가?
• RQ4 형태적 수열의 코딩 하에서 복귀 단어의 구조는 주기성 판단에 충분한 정보를 유지하는가?
• RQ5 Rauzy 유도 과정을 사용하여 형태적 수열의 궁극적 주기성을 알고리즘적으로 탐지할 수 있는가?

주요 결과

• 원시형태적 사슬에 대해 HD0L ω-동치성 문제의 결정 가능성이 입증되었으며, 두 형태적 수열 간의 동일성 검증을 위한 구체적 알고리즘을 제공한다.
• 원시형태적 사슬이 생성하는 형태적 수열의 주기성은 결정 가능하며, 주기성 탐지에 필요한 유도된 수열 구성의 반복 횟수에 대해 계산 가능한 경계 K가 존재한다.
• 접두어에 대한 복귀 단어 벡터가 ℤ^d를 생성한다면, 동일한 수열을 생성하는 두 원시형태적 사슬은 반드시 공통의 거듭제곱을 가져야 한다.
• 2글자 알파벳 위의 가역적 치환에 대해, 만약 같은 고정점을 공유한다면 복귀 단어 벡터가 ℤ²를 생성하므로 반드시 비자명한 공통 거듭제곱을 가져야 한다.
• 주기성 검증 알고리즘은 K 이하의 i에 대해 φ(u_i)에 대한 복귀 단어 수를 계산하는 데 기반하며, 여기서 K는 형태적 사슬의 매개변수에 따라 계산 가능한 지수적 경계이다.
• 이 결과는 Cobham의 정리가 형태적 수열로 일반화되었으며, 서로 곱적으로 독립적인 페로노 수 α와 β에 대해 α- 및 β-치환적일 수 있는 수열은 궁극적으로 주기적이지 않은 한 주기적이어야 한다는 것을 보여준다.