[논문 리뷰] Almost mixing of all orders and CLT for some $\mathbb{Z}^d$-actions on subgroups of $\mathbb{F}\_p^{\mathbb{Z}^d}$

Guy Cohen, Jean-Pierre Conze|arXiv (Cornell University)|2016. 09. 21.

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

한 줄 요약

이 논문은 $\Delta^d$-행동에 대해 $\mathbb{F}_p^{\mathbb{Z}^d}$의 이동 불변 부분군에서 중심극한정리(CLT)를, 비혼합 구성요소의 희소성 분석을 통해 $S$-unit 유형 방정식을 이용하여 수립한다. 누적량 방법과 특수 $\mathcal{D}$-다항식의 해를 유계화함으로써, 모든 차수의 거의 혼합성(Almost mixing)이 성립하면 다양한 합산 체계 하에서 CLT가 성립함을 증명하며, 이는 전체 혼합성 실패 시에도 성립한다.

ABSTRACT

For N d-actions by algebraic endomorphisms on compact abelian groups, the existence of non-mixing configurations is related to "S-unit type" equations and plays a role in limit theorems for such actions. We consider a family of endomorphisms on shift-invariant subgroups of F Z d p and show that there are few solutions of the corresponding equations. This implies the validity of the Central Limit Theorem for different methods of summation.

연구 동기 및 목표

• 모든 혼합성 실패 시에도 $\mathbb{Z}^d$-행동이 $\mathbb{F}_p^{\mathbb{Z}^d}$ 부분군에 대해 중심극한정리(CLT)를 수립하는 것.
• 대수적 자기형사(endomorphisms)로부터 유도되는 $S$-unit 유형 방정식을 통해 $\mathbb{Z}^d$-행동에서의 비혼합 구성요소의 구조를 분석하는 것.
• 특수 $\mathcal{D}$-다항식의 해를 유계화함으로써 이러한 구성요소의 희소성(quantified)이 모든 차수의 거의 혼합성을 유도함을 보이는 것.
• 누적량 방법을 확장하여, 연결성 없고 완전히 분리된 군 설정에서도 여러 합산 방법(예: 직사각형, 랜덤 워크) 하에서 CLT를 증명하는 것.
• 관측량의 정규성 조건 하에 증가하는 직사각형 영역에서의 에르고딕 합에 대한 기능적 중심극한정리(functional CLT)를 제공하는 것.

제안 방법

• 저자들은 $\mathbb{F}_p^{\mathbb{Z}^d}$의 이동 불변 부분군에서의 $\mathbb{Z}^d$-행동을 라우렌트 다항식과 형식적 멱급수 표현을 통해 대수적 자기형사로 모델링한다.
• 그들은 $\mathcal{P}_d$에 속하는 다항식 $R_j$에 의한 곱셈을 통해, 군 위에서 가환 행동을 생성하는 자기형사의 클래스를 정의한다.
• 비혼합 구성요소는 $S$-unit 유형 방정식의 해로 감소되며, 특수 $\mathcal{D}$-다항식에 대한 수세기 수법을 통해 그 해의 희소성이 입증된다.
• 누적량 방법은 에르고딕 합의 고차수 누적량을 유계화함으로써 적용되며, 이는 관측량 $f$의 먼 좌표에서의 변동성 $V_n(f)$의 감쇠에 기반한다.
• 핵심 기술적 단계는 특수 $\mathcal{R}$-다항식의 해를 분해하고 세는 것으로, 비혼합 구성요소의 수가 지수보다 느리게 증가함을 보여준다.
• 기능적 CLT는 마팅게일 근사 및 $\varphi_n$이 $f$로 균일 수렴하는 조건 하에 유도되며, 이는 $V_n(f) = O(\lambda^n)$ 이고 $\lambda < p^{-1}$ 인 경우를 포함한다.

실험 결과

연구 질문

• RQ1 모든 혼합성 실패 시에도 $\mathbb{Z}^d$-행동이 $\mathbb{F}_p^{\mathbb{Z}^d}$ 부분군에 대해 중심극한정리(CLT)를 수립할 수 있는가?
• RQ2 이러한 행동에서 비혼합 구성요소는 얼마나 희소한가? 그리고 $S$-unit 방정식을 통해 그 희소성이 정량화될 수 있는가?
• RQ3 비혼합성, 완전히 분리된 군 행동에서 누적량 방법은 여전히 CLT 증명에 효과적인가?
• RQ4 관측량에 어떤 정규성 조건이 성립할 경우, $\mathbb{Z}^d$에서 증가하는 직사각형 영역에서의 에르고딕 합에 대해 기능적 중심극한정리(functional CLT)가 성립하는가?
• RQ5 이 대수적 설정에서 다양한 합산 체계(예: 랜덤 워크)로 CLT를 확장할 수 있는가?

주요 결과

• 비혼합 구성요소와 관련된 $S$-unit 유형 방정식의 해의 수가 유계이므로, 행동의 구성요소 공간 내에서 그 희소성이 보장된다.
• 행동는 '모든 차수에서 거의 혼합성'을 갖는다—비혼합 구성요소가 충분히 희소하여 누적량 방법의 적용이 가능하다.
• 관측량에 대해 $V_n(f) = O(\lambda^n)$ 이고 $\lambda < p^{-1}$ 이면, 투영 $\Pi^n f$의 $L^\infty$-노름이 $O(\lambda^n)$ 으로 지수적으로 감쇠하여 정규성 조건이 확보된다.
• 증가하는 직사각형 $D_n$에서의 에르고딕 합에 대해 중심극한정리가 성립하며, 정규화 $|D_n|^{-1/2}$ 하에서 정규분포로 수렴하는 분포 수렴이 성립한다.
• 이러한 합에 대해 기능적 중심극한정리(functional CLT)가 수립되었으며, 이는 이전 결과를 연결성 없고 완전히 분리된 컴팩트 아벨 군으로 확장한다.
• 누적량의 감쇠성과 관측량의 정규성 덕분에, CLT는 다양한 합산 체계(랜덤 워크 포함) 하에서도 성립한다.