[논문 리뷰] Measure-Theoretically Mixing Subshifts of Minimal Word Complexity

Darren Creutz|arXiv (Cornell University)|2022. 06. 20.

semigroups and automata theory인용 수 4

한 줄 요약

이 논문은 기하학적 동역학에서 오랫동안 남아있던 문제를 해결하여, 부분위상수열에서 측도론적 강한 혼합성의 정확한 임계값으로 초선형 단어 복잡도를 규명한다. 초선형 복잡도 이하의 복잡도를 갖는 부분위상수열을 구성하여 강한 혼합 측도를 가질 수 있음을 보이며, 비초선형 복잡도일 경우 부분적 정칙성(부분적 유한성)을 유도함으로써 혼합성이 불가능하다는 것을 증명한다.

ABSTRACT

We resolve a long-standing open question on the relationship between measure-theoretic dynamical complexity and symbolic complexity by establishing the exact word complexity at which measure-theoretic strong mixing manifests: For every superlinear $f : \mathbb{N} o \mathbb{N}$, i.e. $f(q)/q o \infty$, there exists a subshift admitting a (strongly) mixing of all orders probability measure with word complexity $p$ such that $p(q)/f(q) o 0$. For a subshift with word complexity $p$ which is non-superlinear, i.e. $\liminf p(q)/q < \infty$, every ergodic probability measure is partially rigid.

연구 동기 및 목표

• 부분위상수열에서 측도론적 강한 혼합성이 발생할 수 있는 최소 단어 복잡도 함수를 규명하는 것.
• 선형 함수보다 빠르게 증가하지만 초선형으로 매우 느리게 증가하는 단어 복잡도를 갖는 부분위상수열이 여전히 강한 혼합 측도를 가질 수 있음을 보여주는 것.
• 비초선형 단어 복잡도를 갖는 부분위상수열(즉, liminf p(q)/q < ∞)은 모든 에르고딕 측도가 부분적 정칙성을 띠며 따라서 강한 혼합성이 불가능하다는 것을 증명하는 것.
• 초선형 임계값에서 구조적 복잡도(S-아디크, 부분적 정칙성)와 동역학적 복잡도(강한 혼합성) 사이의 명확한 이분법을 명확히 하는 것.

제안 방법

• 초선형이지만 비제곱 복잡도를 갖는 새로운 랭크-원 전환을 '준계단형 전환'으로 구성하여 혼합성을 달성한다.
• 간격 교환과 타워 구축 기법을 기반으로 한 재귀적 구성 기법을 사용하여 단어 복잡도를 제어하면서도 혼합성 성질을 확보한다.
• 실린더 집합과 복귀 시간을 다루는 측도론적 추정을 적용하여 모든 차수의 강한 혼합성을 검증한다.
• 타워의 계층을 거쳐 재귀적 추론을 통해 장기간 복귀 시간 동안 양의 측도 교차를 확보함으로써 비초선형 경우의 부분적 정칙성을 확인한다.
• 단어 복잡도 분석을 위해 캐사그네 공식을 적용: p(q) = p(m) + ∑_{ℓ=m}^{q−1} |{w ∈ L^{RS} : ||w|| = ℓ}|.
• 구조적 성질과 동역학적 행동 간의 관계를 규명하기 위해 평균 에르고딕 정리와 측도론적 동형사상 추론을 적용한다.

실험 결과

연구 질문

• RQ1 부분위상수열이 모든 차수의 강한 혼합 불변 측도를 가질 수 있는 최소 단어 복잡도 함수 p(q)는 무엇인가?
• RQ2 단어 복잡도가 선형에 임의로 가까운 부분위상수열에서도 강한 혼합 측도가 존재할 수 있는가?
• RQ3 부분적 정칙성 시스템과 강한 혼합성 시스템을 분리하는 명확한 단어 복잡도 임계값이 존재하는가?
• RQ4 비초선형 단어 복잡도는 에르고딕 측도의 부분적 정칙성 존재와 어떤 관계가 있는가?
• RQ5 S-아디크 구조는 부분위상수열의 동역학적 복잡도를 어느 정도 제약하는가?

주요 결과

• 모든 초선형 함수 f: ℕ → ℕ 에 대해 f(q)/q → ∞ 를 만족할 때, p(q)/f(q) → 0 를 만족하는 단어 복잡도 p(q) 를 갖는 부분위상수열이 존재하며, 이는 모든 차수의 강한 혼합 측도를 가진다.
• 구성된 예시는 랭크-원 전환으로서 모든 차수의 혼합성을 갖으며, 선형 성장에 임의로 가까운 단어 복잡도를 달성한다.
• 비초선형 단어 복잡도를 갖는 부분위상수열(즉, liminf p(q)/q < ∞)은 모든 에르고딕 측도가 부분적 정칙성을 띠며 따라서 강한 혼합성이 불가능하다.
• 이 부분적 정칙성은 이러한 부분위상수열이 S-아디크 이동으로 동형임을 의미하며, 이는 고도로 구조화된 시스템으로 알려져 있다.
• 초선형 복잡도에서의 임계값은 비초선형 복잡도일 경우 최대 가чёт수의 에르고딕 측도를 갖는 시스템과 초선형 복잡도일 경우 비가чёт수의 에르고딕 측도를 갖는 시스템을 분리하며, 이는 Cyr와 Kra의 결과와 일치한다.
• 이 논문은 초선형 단어 복잡도가 구조적(S-아디크, 부분적 정칙성) 동역학 행동과 복잡한(강한 혼합성) 동역학 행동을 분리하는 정확한 경계임을 규명한다.