[논문 리뷰] Stationary measures and orbit closures of uniformly expanding random dynamical systems on surfaces

Ping Ngai Chung|arXiv (Cornell University)|2020. 06. 04.

Mathematical Dynamics and Fractals참고 문헌 15인용 수 7

한 줄 요약

이 논문은 표면 위의 균일하게 확장되는 랜덤 동역계에 대해 유한하고 확인 가능한 평균 성장 조건 하에서 측도 강성 및 궤도 폐쇄 분류를 확립한다. 이 조건 하에서 유일한 비원소 측도는 주어진 매끄러운 불변 측도이며, 모든 궤도는 유한하거나 조밀하며, 무한 궤도는 매끄러운 측도에 대해 등분포함을 증명한다 — 이는 동차 및 모듈리 공간 설정에서의 결과를 매끄러운 동역계로 확장한다.

ABSTRACT

We study the problem of classifying stationary measures and orbit closures for non-abelian action on a surface with a given smooth invariant measure. Using a result of Brown and Rodriguez Hertz, we show that under a certain finite verifiable average growth condition, the only nonatomic stationary measure is the given smooth invariant measure, and every orbit closure is either finite or dense. Moreover, every point with infinite orbit equidistributes on the surface with respect to the smooth invariant measure. This is analogous to the results of Benoist-Quint and Eskin-Lindenstrauss in the homogeneous setting, and the result of Eskin-Mirzakhani in the setting of moduli spaces of translation surfaces. We then apply this result to two concrete settings, namely discrete perturbation of the standard map and Out($F_2$)-action on a certain character variety. We verify the growth condition analytically in the former setting, and verify numerically in the latter setting.

연구 동기 및 목표

• 표면에서 매끄러운 불변 측도를 가진 비아벨 작용에 대해 정의된 정 측도와 궤도 폐쇄를 분류하기 위해.
• 유일한 비원소 정 측도가 주어진 매끄러운 불변 측도가 되는 조건을 확립하기 위해.
• 유한하고 확인 가능한 평균 성장 조건 하에서 모든 궤도 폐쇄가 유한하거나 조밀함을 증명하기 위해.
• 동차 동역계 및 모듈리 공간 설정에서의 결과를 표면 위의 매끄러운 동역계 설정으로 확장하기 위해.
• 표준 맵의 이산적 변형에서와 Out(F₂)-작용이 특성 다양체에서의 경우에 대해 성장 조건을 분석적으로 및 수치적으로 검증하기 위해.

제안 방법

• 브라운과 로드리게스 허츠의 결과를 활용하여 평균 성장 조건을 측도 강성 및 궤도 폐쇄 구조와 연결한다.
• 지역 좌표계와 표면 상의 정규직교 기저를 사용하여 시스템 내 맵의 도함수 성장률을 제어하기 위해 균일한 확장 조건(UE)을 적용한다.
• 좌표 x, y, z의 유리 함수를 통한 명시적 $ C^2 $ 및 $ C^1 $ 도함수 경계를 활용하여 도함수의 로그 노름에 대한 경계를 설정한다.
• r = 0.0001, $ \rho = 0.0001 $, C = 0.25를 사용한 수치 계산을 통해 격자 위에서 균일한 확장성을 검증하고, 도함수 경계를 통해 전역 성립성을 확보한다.
• 프로그램 1은 두 번째 도함수를 계산하고 $ C_M $, $ C_\theta $를 경계하며, 프로그램 2는 격자 위에서 균일한 확장 조건(UE)을 검증한다.
• 고성능 클러스터(Midway, 28코어, 64GB RAM)에서 계산을 수행하여 표준 맵 및 특성 다양체 설정 모두에서 성장 조건을 검증한다.

실험 결과

연구 질문

• RQ1 균일하게 확장되는 랜덤 동역계에서 표면 위에서 유일한 비원소 정 측도가 주어진 매끄러운 불변 측도가 되는 조건은 무엇인가?
• RQ2 이러한 시스템에서 모든 궤도 폐쇄가 유한하거나 조밀해지는 조건은 언제인가?
• RQ3 구체적인 동역계에서 균일한 확장 조건을 분석적으로 또는 수치적으로 검증할 수 있는가?
• RQ4 매끄러운 동역계에서의 측도 강성은 동차 및 모듈리 공간 설정에서의 결과와 어떻게 비교되는가?
• RQ5 무한 궤도를 가진 점들이 정 측도 하에서 등분포 행동을 보이는 방식은 어떠한가?

주요 결과

• 유한하고 확인 가능한 평균 성장 조건 하에서 유일한 비원소 정 측도는 주어진 매끄러운 불변 측도이다.
• 모든 궤도 폐쇄는 유한하거나 조밀하며, 모든 무한 궤도를 가진 점은 매끄러운 불변 측도에 대해 등분포한다.
• 성장 조건은 표준 맵의 이산적 변형에 대해 분석적으로 검증되었다.
• 성장 조건은 특성 다양체 $ \mathrm{Hom}(F_2,\mathrm{SU}(2))//\mathrm{SU}(2) $ 에서의 Out(F₂)-작용에 대해 수치적으로 검증되었다.
• 계산은 28코어 클러스터(64GB RAM)에서 수행되었으며, 검증을 완료하는 데 47,714초가 소요되었다.
• 좌표 x, y, z의 유리 함수를 통해 명시적 도함수 경계를 계산하였으며, $ C_M = 600 $, $ C_\theta = 600 $, $ C = 0.25 $로 설정되어 균일한 확장 조건의 전역 성립성을 보장하였다.