[논문 리뷰] Geometry and Dynamics of Admissible Metrics in Measure Spaces

A. Vershik, Fedor Petrov외 1명|arXiv (Cornell University)|2012. 05. 06.

Mathematical Dynamics and Fractals인용 수 7

한 줄 요약

이 논문은 르베그 측도 공간에서의 허용 가능한 거리의 기하학적 및 동역학적 프레임워크를 제안하며, 군 작용 하에서 평균 거리의 渐近적 행동을 분석한다. 이는 비어 있는 스펙트럼에 대한 새로운 이산성 기준을 수립한다: 스펙트럼은 오직 오직 평균 거리의 ε-엔트로피가 작은 ε에 대해 일관되게 유계일 때 이산적임을 보여주며, 고전적 엔트로피를 초월하는 동역계 분류를 위한 새로운 불변량을 제공한다.

ABSTRACT

We study a wide class of metrics in a Lebesgue space with a standard measure, the class of so-called admissible metrics. We consider the cone of admissible metrics, introduce a special norm in it, prove compactness criteria, define the "-entropy of a measure space with an admissible metric, etc. These notions and related results are applied to the theory of transformations with invariant measure; namely, we study the asymptotic properties of orbits in the cone of admissible metrics with respect to a given transformation or a group of transformations. The main result of this paper is a new discreteness criterion for the spectrum of an ergodic transformation: we prove that the spectrum is discrete if and only if the "-entropy of the averages of some (and hence any) admissible metric over fragments of its trajectory is uniformly bounded.

연구 동기 및 목표

• 르베그 측도 공간에서 넓은 범주에 속하는 거리—허용 가능한 거리—에 대한 기하학적 및 분석적 프레임워크를 개발하기.
• 허용 가능한 거리의 쿠레에서의 m-노름과 수렴 성질을 정의하고 연구하여, 이러한 거리들의 쿠레에서의 전준비비율 조건을 확립하기.
• 이 프레임워크를 에르고딕 이론에 적용하여, 측도를 보존하는 변환의 스펙트럼 성질을 특성화하기.
• 평균 거리의 스케일링 엔트로피를 새로운 불변량으로 도입하고 분석하여, 코모고로프 엔트로피가 0인 동역계를 분류하기.
• 초기 허용 가능한 거리의 선택과 무관한, 거리 기반의 새로운 이산 스펙트럼 기준을 수립하기.

제안 방법

• 측도 공간의 구조와 호환되며, 측도 이론적 성질을 존중하는 측도 가능 성분의 반거리로 허용 가능한 거리를 정의한다.
• 허용 가능한 거리 공간에 대한 m-노름을 도입하여, 이러한 거리들의 쿠레에서의 수렴성과 전준비비율 조건을 연구할 수 있도록 한다.
• 아메이블 군의 폴러 집합 Aₙ에서의 평균 거리 ρₙ^av(x,y) = (1/#Aₙ)∑_{g∈Aₙ} ρ(gx,gy)를 구성하며, 특히 ℤ-행동의 경우를 중심으로 다룬다.
• 평균 거리의 ε-엔트로피 H_ε(ρₙ^av)를 정의하고, 그 渐近적 성장률을 연구하여 스케일링 엔트로피 개념을 도출한다.
• 자기자신의 스펙트럼이 이산적임은 오직 오직 작은 ε에 대해 평균 거리의 ε-엔트로피가 n에 대해 일관되게 유계일 때에만 성립함을 증명한다.
• 조건부 거리 이론과 두 변수의 순수 함수 성질을 이용하여, 비자명한 거리 행동은 이산 스펙트럼이 아님을 보여준다.

실험 결과

연구 질문

• RQ1 에르고딕 변환의 스펙트럼 유형은 분할이나 분할 엔트로피 대신, 평균 허용 가능한 거리의 渐近적 행동을 통해 특성화될 수 있는가?
• RQ2 평균 거리의 ε-엔트로피의 일관된 유계성은 에르고딕 시스템에서 이산 스펙트럼의 필수적이고 충분한 조건인가?
• RQ3 평균 거리의 스케일링 엔트로피는 고전적 코모고로프 엔트로피와 어떻게 관련되어 있으며, 특히 0 엔트로피 시스템에서 어떤가?
• RQ4 평균 거리로부터 유도된 점점의 불변량은 초기 허용 가능한 거리의 선택과 얼마나 독립적인가?
• RQ5 스케일링 엔트로피 성장률은 이산 스펙트럼과 양의 엔트로피 사이의 중간 동역계 클래스를 분류하는 데 사용될 수 있는가?

주요 결과

• 에르고딕 자기자기의 스펙트럼은 오직 오직 그 궤적을 따라 평균 거리의 ε-엔트로피가 n→∞일 때 일관되게 유계일 때에만 이산적이다.
• 평균 거리 ρₙ^av의 ε-엔트로피는 허용 가능한 거리의 선택과 무관하게 변환의 불변량이며, 넓은 조건 하에서 성립한다.
• 이산 스펙트럼을 가진 시스템에서는 에르고딕 평균을 통해 얻는 극한 거리는 거의 어디에서나 일정하지만, ε-엔트로피의 渐近적 행동이 스펙트럼 구조를 포착한다.
• 이 프레임워크는 쿠슈니렌코의 기준과 같은 고전적 엔트로피 기반 기준을 일반화하고 확장하며, 반거리의 최댓값을 평균으로 대체하고, 분할 엔트로피 대신 거리 기반 엔트로피를 사용한다.
• 스케일링 엔트로피는 0 엔트로피 시스템에서의 혼돈성을 감지할 수 있으며, 성장률은 유계(이산 스펙트럼)에서 선형(양의 엔트로피)으로 변화하고, 중간의 경우 로그 또는 거듭제곱 법칙 형태일 수 있다.
• 양의 엔트로피 시스템에서는 스케일링 엔트로피가 n에 대해 선형으로 증가하며, φ(ε)로 정규화한 극한은 고전적 코모고로프 엔트로피 h(T)를 얻는다.