[논문 리뷰] Planar self-affine sets with equal Hausdorff, box and affinity dimensions

K. J. Falconer, Tom Kempton|arXiv (Cornell University)|2015. 03. 04.

Mathematical Dynamics and Fractals참고 문헌 28인용 수 27

한 줄 요약

이 논문은 평면 자기동형 집합이 하우스도르프 차원, 상자수세기 차원, 그리고 유사변환 차원을 같게 하는 조건을 규명한다 — 이는 분수기하학에서 핵심적인 결과이다. 에르고딕 이론과 푸르스텐베르크 측도를 이용하여, 하우스도르프 차원의 경우 Käenmäki 측도의 사영이 절대 연속일 때, 또는 상자수세기 차원의 경우 집합의 사영이 양의 $\mu_F$-측도를 가진 방향들의 집합에서 양의 르베그 측도를 가질 때, 엄밀히 양수인 행렬과 강한 분리 조건을 만족하는 자기동형 집합에서 세 차원이 일치함을 증명한다.

ABSTRACT

Using methods from ergodic theory along with properties of the Furstenberg measure we obtain conditions under which certain classes of plane self-affine sets have Hausdorff or box-counting dimensions equal to their affinity dimension. We exhibit some new specific classes of self-affine sets for which these dimensions are equal.

연구 동기 및 목표

• 평면 자기동형 집합의 하우스도르프, 상자수세기, 유사변환 차원이 같아지는 조건을 규명하는 것.
• 비균일 수축으로 인해 일반적인 차원 일치 조건을 만족하지 못하는 경우가 많기 때문에, 자기동형 집합의 정확한 차원을 계산하는 데 오랫동안 남아있던 과제를 해결하는 것.
• 측도론적 및 에르고딕 기법을 사용하여 베드포드-맥마헨 카펫에 알려진 결과를 더 일반적인 자기동형 집합으로 확장하는 것.
• 차원 일치에 대한 측도 기반 조건과 집합 기반 조건 사이의 이분법을 자기동형 설정에서 엄밀히 확립하는 것 — 카펫 구성에서 알려진 결과를 반영한다.

제안 방법

• 자기동형 집합 $E$ 위에 지지되는 Käenmäki 측도 $\mu$ 에 의해 유도되는 $\mathbb{RP}^1$ 상의 푸르스텐베르크 측도 $\mu_F$ 를 사용하여, 차원과 방향별 사영 사이의 연결 고리를 설정한다.
• 푸르스텐베르크 측도의 성질과 에르고딕 이론을 적용하여, 다양한 방향에서 $\mu$ 의 사영 차원을 분석한다.
• 마르슈탄의 사영 정리를 활용하여, 투영 측도의 절대 연속성과 차원 일치 사이의 관계를 규명한다.
• 실린더 집합과 유사변환 차원에 기반한 $E$ 상의 거리 함수 $\rho$ 를 정의하여, $|\cdot|$ 에서 $\rho$ 로의 항등사상이 이중 리프시츠임을 보인다.
• 유사변환 차원 함수 $\alpha_1$ 의 하향 곱법적 성질과 무한합 조건을 이용하여 하우스도르프 차원의 하한을 유도한다.
• 강한 분리 조건과 겹치지 않는 사영을 보장하는 이동 제약 조건을 갖춘 공역행렬 $P_i \text{diag}(\lambda_i, \mu_i)P_i^{-1}$ 를 통한 직접적인 예시를 구성한다.

실험 결과

연구 질문

• RQ1 평면 자기동형 집합의 하우스도르프 차원이 그 유사변환 차원과 같아지는 조건은 무엇인가?
• RQ2 자기동형 집합의 상자수세기 차원이 그 유사변환 차원과 일치하는 조건은 무엇인가?
• RQ3 집합의 사영과 그 불변 측도의 기하적 성질은 차원 일치와 어떻게 관련이 있는가?
• RQ4 자기동형 설정에서 측도 기반 조건과 집합 기반 조건 사이의 이분법은 엄밀히 증명될 수 있는가?
• RQ5 어떤 명시적 자기동형 집합의 가족이 세 차원 모두가 일치하는가?

주요 결과

• 푸르스텐베르크 측도 $\mu_F$ 가 절대 연속이고 Käenmäki 측도 $\mu$ 가 하우스도르프 차원 1 이상을 가질 경우, $\dim_H E = \dim_B E = \dim_A E$ 이다.
• 집합 $E$ 의 사영이 $\mu_F$-측도가 양수인 방향들의 집합에서 양의 르베그 측도를 가질 경우, $E$ 의 상자수세기 차원과 유사변환 차원은 일치한다.
• 적절한 이동 제약 조건을 갖춘 공역행렬로 정의된 자기동형 집합의 일군에 대해, 그 구조는 리프시츠 곡선 내에 존재하며 $\dim_H E = \dim_B E = \dim_A E$ 를 만족한다.
• 논문은 자연적 위상에서 IFS 매개변수의 열린 집합을 구성하여 세 차원이 일치함을 보였으며, 이러한 일치가 희귀한 현상이 아니라는 것을 시사한다.
• 증명은 표준 거리에서 동역학적으로 정의된 초거리 $\rho$ 로의 항등사상이 이중 리프시츠임을 보였으며, 이는 $\rho$-하우스도르프 차원을 통한 차원 비교를 가능하게 한다.
• 결과는 비카펫이지만 불변 수축 방향이 없는 경우에도 차원 일치 메커니즘을 확장함으로써, 기존의 베드포드-맥마헨 카펫 결과를 일반화한다.