[논문 리뷰] Double variational principle for mean dimension

Elon Lindenstrauss, Masaki Tsukamoto|arXiv (Cornell University)|2019. 01. 17.

Mathematical Dynamics and Fractals참고 문헌 34인용 수 5

한 줄 요약

이 논문은 동역학계의 평균 차원과 비율 손실 이론 사이의 이중 변분 원리를 수립하며, 마커 성질을 가진 시스템에 대해 평균 차원이 메트릭과 불변 측도에 대한 비율 손실 차원의 최소최대값과 일치함을 증명한다. 이 결과는 에르고딕 이론, 비율 손실 이론, 기하 측도 이론을 통합하여, 평균 차원이 메트릭 선택과 측도 이론적 복잡성 간의 최적 트레이드오프로 특징지어짐을 보여준다.

ABSTRACT

We develop a variational principle between mean dimension theory and rate distortion theory. We consider a minimax problem about the rate distortion dimension with respect to two variables (metrics and measures). We prove that the minimax value is equal to the mean dimension for a dynamical system with the marker property. The proof exhibits a new combination of ergodic theory, rate distortion theory and geometric measure theory. Along the way of the proof, we also show that if a dynamical system has the marker property then it has a metric for which the upper metric mean dimension is equal to the mean dimension.

연구 동기 및 목표

• 위상 동역학에서의 평균 차원과 정보 이론에서 유래한 비율 손실 차원을 연결하는 변분 원리를 수립하기 위해.
• 측도 이론적 불변량으로서의 평균 차원이 순수하게 측도 이론적 불변량으로서 포착되지 못함을 감안해, 이를 정보 이론적 양으로 특징짓는 데 도전하는 것.
• 마커 성질을 가진 시스템에 대해 평균 차원이 메트릭과 불변 측도에 대한 비율 손실 차원의 최소최대값과 일치함을 증명하기 위해.
• 마커 성질을 가진 시스템에서 상한 메트릭 평균 차원이 평균 차원과 일치하는 메트릭이 존재함을 보여주기 위해.
• 에르고딕 이론, 비율 손실 이론, 기하 측도 이론의 기법을 새로운 프레임워크 안에서 통합하기 위해.

제안 방법

• 모든 호환 가능한 메트릭 $d \in \mathscr{D}(\mathcal{X})$ 와 불변 측도 $\mu \in \mathscr{M}^T(\mathcal{X})$ 에 대해 최소최대 문제를 정의하여 이중 변분 원리를 수립하기 위해.
• 정보 이론적 양으로서의 비율 손실 차원 $\mathrm{rdim}(\mathcal{X},T,d,\mu)$ 를 사용하며, 이는 $\varepsilon \to 0$ 일 때 비율 손실 함수 $R(d,\mu,\varepsilon)$ 의 점근적 척도에 의해 정의된다.
• 기하 측도 이론 도구를 활용하여, 평균화된 메트릭 $\bar{d}_N$ 하에서의 덮개 집합과 분리된 집합에 대한 추정을 통해 측도 이론적 복잡성의 상한을 구하기 위해.
• 마커 성질을 활용하여 상한 메트릭 평균 차원이 평균 차원과 일치하는 메트릭 $d$ 를 구성하기 위해.
• 덮개 수의 온전한 성장과 $\mathbb{T}^r^\mathbb{Z}$ 위의 대수적 작용의 구조를 이용하여 메트릭 엔트로피와 비율 손실 차원에 대한 하한을 도출하기 위해.
• 척도 추정과 측도 집중 현상의 활용을 통해 $\mathrm{rdim}$ 에 대한 상한과 하한이 모두 평균 차원과 일치함을 보여 최소최대 등식을 증명하기 위해.

실험 결과

연구 질문

• RQ1 메트릭과 불변 측도에 대해 비율 손실 차원의 최소최대값으로서 평균 차원을 특징지울 수 있는가?
• RQ2 이중 변분 원리는 마커 성질과 같은 구조적 가정이 필요한 경우에만 성립하는가, 아니면 모든 동역학계에 대해 성립하는가?
• RQ3 마커 성질을 가진 시스템에 대해 상한 메트릭 평균 차원이 평균 차원과 일치하는 메트릭을 구성할 수 있는가?
• RQ4 비율 손실 차원과 동역학계에서의 기하 측도 이론적 복잡성 간의 관계는 무엇인가?
• RQ5 왜 원칙의 최대최소 변형은 실패하며, 이는 비율 손실의 성질이 평균 차원의 본질을 어떻게 반영하는가?

주요 결과

• 마커 성질을 가진 모든 동역학계에 대해 평균 차원은 모든 호환 가능한 메트릭과 불변 측도에 대해 상한 비율 손실 차원의 최소최대값과 일치한다.
• 최소최대값은 도달 가능하며, 이는 모든 불변 측도에 대해 악성 비율 손실 차원을 최적화하는 메트릭 $d$ 가 존재함을 의미한다.
• 적절한 메트릭을 선택함으로써 상한 메트릭 평균 차원을 평균 차원과 일치시킬 수 있으며, 이는 기하 측도 이론과 덮개 수 추정을 통해 증명된다.
• $\mathbb{T}^r^\mathbb{Z}$ 위의 대수적 작용에 대해 비율 손실 차원 $\mathrm{rdim}(\mathcal{X},\sigma,d,\mu)$ 는 프로디멘션 $\mathrm{prodim}(\mathcal{X})$ 에 의해 아래에서 유계이며, 이는 평균 차원과 같다.
• 최대최소 변형의 원칙은 모든 시스템에 대해 0을 도출하며, 고정된 측도에 대해 메트릭을 최소화하는 것은 평균 차원을 포착할 수 없음을 보여준다.
• 증명 과정은 에르고딕 이론, 비율 손실 이론, 기하 측도 이론 간의 새로운 상호작용을 확립하며, 특히 평균화된 메트릭 하에서의 분리된 집합과 측도 감소 추정을 통해 이를 입증한다.