[논문 리뷰] Dynamical properties of simplicial systems and continued fraction algorithms

Charles Fougeron|arXiv (Cornell University)|2020. 01. 06.

Mathematical Dynamics and Fractals참고 문헌 12인용 수 9

한 줄 요약

이 논문은 간선에 레이블이 부여된 방향성 그래프 위에서의 랜덤 워크로 다차원 연분수 알고리즘을 모델링하는 새로운 프레임워크—단체계열(simplicial systems)을 소개한다. 이는 클래식한 알고리즘들인 Brun, Selmer, Arnoux–Rauzy–Poincaré를 통합적으로 분석할 수 있도록 한다. 일반적인 에르고딕성 기준을 수립하고, 모든 차원에서 Rauzy gasket의 하우스도르프 차원이 그 임베딩 공간보다 엄격히 작다는 것을 증명하며, 명시적인 상한과 그 스텝 플로우에 대한 최대 엔트로피 측도의 유일성을 제시한다.

ABSTRACT

We propose a new point of view on multidimensional continued fraction algorithms inspired by Rauzy induction. The generic behaviour of such an algorithm is described here as a random walk on a graph that we call simplicial system. These systems provide a family of examples for random walks with memory recorded by a finite dimensional vector. We introduce a general criterion on these graphs that induces ergodicity together with a bundle of many other dynamical properties. In particular, after computing the representation of Brun, Selmer and Arnoux-Rauzy-Poincare algorithm in this formalism, it provides a unified proof of ergodicity for these classical examples as well as new results such as uniqueness of the measure of maximal entropy on a canonical suspension. These objects also bring a new perspective to some fractal sets such as Rauzy gaskets. We show general explicit upper bound on Hausdorff dimensions of fractals described in this formalism as well as a construction of their measure of maximal entropy. This implies in particular that the Rauzy gasket in all dimensions has Hausdorff dimension strictly smaller than its ambient space, as well as sharper bounds on the dimension and an asymptotic result.

연구 동기 및 목표

• 클래식한 다차원 연분수 알고리즘들(예: Brun, Selmer, Arnoux–Rauzy–Poincaré)의 역학적 분석을 하나의 형식론으로 통합하기.
• 유한 그래프 위에서 기억을 가진 랜덤 워크에 대한 일반적인 에르고딕성 및 기타 역학적 성질 기준 수립하기.
• 열역학적 형식주의를 사용하여 Rauzy gasket과 같은 분수집합을 분석하고, 그들의 하우스도르프 차원에 대한 명시적 상한을 제공하기.
• 모든 차원에서 Rauzy gasket의 스텝 플로우에 대해 최대 엔트로피 측도의 존재성과 유일성을 증명하기.
• 전이 연산자의 스펙트럼 성질을 Baragar의 상수와 연결하여 개선된 차원 추정치를 도출하기.

제안 방법

• 정점이 조합적 유형을 나타내고 간선이 좌표의 빼기 연산에 대응하는 방향성 단체 그래프 위에서 다차원 연분수 알고리즘을 가속화된 랜덤 워크로 모델링하기.
• ‘빠른 탈출’ 성질과 그래프 이론적 기준을 도입하여 시스템의 에르고딕성과 강한 혼합성을 보장하기.
• 단체계열 위의 스텝 반유속 플로우에 열역학적 형식주의를 적용하고, 屋根 함수와 자코비안 추정치를 사용하여 깁스 측도를 구성하기.
• 르울레–페르론–프로베니우스 정리를 사용하여 전이 연산자의 스펙트럼 반경을 압력과 연결하고, Baragar의 상수와 연관시키기.
• 특정 알고리즘의 역학을 분석하기 위해 부분그래프 매개변수 공간을 구성하고, Brun 알고리즘과 같은 기존 시스템과의 관계를 규명하기.
• 차원 d에서 Rauzy gasket이 부분그래프 F의 상사임을 증명하고, 역학적 동치성을 통해 차원 상한 및 엔트로피 측도와 같은 성질을 이전하기.

실험 결과

연구 질문

• RQ1 그래프 기반의 랜덤 워크를 통해 클래식한 다차원 연분수 알고리즘에 대한 통합된 역학적 프레임워크를 개발할 수 있는가?
• RQ2 어떤 그래프 이론적 조건이 이러한 시스템에서의 에르고딕성과 불변 측도의 유일성을 보장하는가?
• RQ3 임의의 차원에서 Rauzy gasket의 하우스도르프 차원에 대한 정확한 상한은 무엇인가?
• RQ4 Rauzy gasket 위의 스텝 플로우는 최대 엔트로피 측도를 유일하게 갖는가?
• RQ5 Baragar의 상수는 관련 전이 연산자의 압력과 스펙트럼 성질과 어떻게 관련되어 있는가?

주요 결과

• 차원 2에서 Rauzy gasket의 하우스도르프 차원은 1.825보다 엄격히 작다.
• 차원 3에서는 Rauzy gasket의 하우스도르프 차원이 2.7보다 엄격히 작다.
• 차원 4에서는 Rauzy gasket의 하우스도르프 차원이 3.612보다 엄격히 작다.
• 차원 d가 증가함에 따라 Rauzy gasket의 하우스도르프 차원은 dim_H(G^d) < d−1 + (log d)/(log 2·(d+1)) + o(d^−1.58)를 만족한다.
• 모든 차원 d≥3에서 Rauzy gasket의 스텝 플로우는 최대 엔트로피 측도를 유일하게 갖는다.
• 논문은 단체계열에 대한 일반 기준을 통해 Brun, Selmer, Arnoux–Rauzy–Poincaré 알고리즘의 에르고딕성에 대한 통합적 증명을 제공한다.