자기유사 AIET에서 방황 구간이 끊임없이 나타나는 이유

1. 서론에서는 Denjoy 정리의 원형인 C¹‑디퓨오몰피즘에서의 방황 구간 부재와, IET 분야에서는 아직 일반적인 부정 결과가 없음을 언급한다. Levitt, Camelier‑Gutierrez, Cobo의 선행 연구를 인용해, affine IET(AIET)에서 방황 구간이 존재할 수 있음을 보여준 사례들을 소개한다. 2. 기본 개념 섹션에서는 알파벳 A, 단어, 무한 시퀀스, 교체(substitution) σ와 그 행렬 M을 정의하고, 원시성(primitive)과 퍼론‑프루베니우스 이론을 정리한다. 특히, 가정 (AH): M이 θ₁의 켤레 고유값 θ₂를 갖는다는 대수적 조건을 명시하고, 이를 통해 λ와 γ=η(λ)의 관계를 증명한다(Lemma 2, 3). 3. affine IET와 IET의 정의, 슬로프 벡터 w, 그리고 반동형(semi‑conjugacy) 개념을 제시한다. Rauzy‑Veech‑Zorich 유도와 자기유사성(self‑similarity)의 정의를 통해, 자기유사 IET T(λ,π)와 연관된 교체 σ가 존재함을 설명한다. 4. 최소점(minimal point)의 개념을 도입한다. γ가 λ와 직교하고, γ의 좌표가 양·음이 섞여 있을 때, 시퀀스 x∈X_σ에 대해 γₙ(x)≥0인 점들을 최소점이라 정의한다. Lemma 4와 Lemma 5를 이용해 최소점이 존재함을 보이고, 그 구조가 무한히 긴 prefix와 suffix를 갖는 형태임을 증명한다. 5. ‘best‑strategy’ 알고리즘을 상세히 기술한다. 각 기호 a에 대해 σ(a)=p₀ c₀ s₀ 로 분해하고, 반복적으로 최소값이 발생하는 위치를 추적해 pₙ, cₙ, sₙ을 재귀적으로 정의한다. 이 과정에서 γ(σⁿ(a))=θ₂ⁿ γ(a)임을 활용해 sₙ의 길이가 θ₂ⁿ에 비례해 성장함을 확인한다. 알고리즘은 결국 모든 a에 대해 wₙ(a)라는 단어를 만들고, 그 최소값이 0이며 양의 영역에만 존재함을 보인다. 6. 최소점의 존재와 위 알고리즘을 바탕으로, 식 (1.1)의 두 급수가 수렴함을 증명한다. 이는 γ의 누적합이 n·log θ₁/ log θ₂ 비율로 선형적으로 증가하면서도, 양의 부분합만 남아 전체 길이가 유한함을 의미한다. 7. 주요 정리(Theorem 1)를 제시한다. 자기유사 IET T(λ,π)와 연관 행렬 R이 위의 (1)‑(3) 조건을 만족하면, 기울기 로그 벡터 γ를 이용해 AIET f를 구성할 수 있고, f는 T와 반동형이면서 방황 구간을 가진다. 이는 Denjoy 반예시가 ‘매우 흔하다’는 결론을 도출한다. 8. 마지막 섹션에서는 가정 (AH)의 기하학적 의미를 논의하고, 다양한 구체적 예시(예: 특정 교체, 프루베니우스 행렬의 켤레 고유값을 갖는 경우)를 제시한다. 또한, 기존 Cobo의 결과와 비교해 일반성을 확대했으며, Adamczewski의 불일치(discrepancy) 결과와의 연관성을 언급한다. 9. 결론에서는 본 연구가 IET와 AIET 사이의 동역학적 관계를 심화시켰으며, Rauzy‑induction과 교체 이론을 결합해 방황 구간 존재를 보이는 새로운 방법론을 제공함을 강조한다. 향후 연구로는 비자기유사 경우, 다중 차원 일반화, 그리고 프랙탈 곡선과의 연결을 제안한다.