[论文解读] 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)|Sep 21, 2016

Mathematical Dynamics and Fractals参考文献 5被引用 3

一句话总结

本文通过分析由代数自同态导出的 $S$-单位型方程，研究非混合配置的稀疏性，建立了 $\Delta^d$-作用在 $\mathbb{F}_p^{\mathbb{Z}^d}$ 的平移不变子群上的中心极限定理（CLT）。利用矩方法并有界特殊 $\mathcal{D}$-多项式解，证明了即使完全混合性不成立，只要所有阶几乎混合成立，则在各种求和方案下 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）。
• 通过代数自同态导出的 $S$-单位型方程，分析 $\mathbb{Z}^d$-作用中非混合配置的结构。
• 证明此类配置的稀疏性——通过有界特殊 $\mathcal{D}$-多项式解的数量来量化——可推出所有阶的几乎混合性。
• 将矩方法推广至多种求和方式（如矩形、随机游走），即使在非连通、完全不连通的群设置下也能证明 CLT。
• 在可观测量满足正则性条件时，为 $\mathbb{Z}^d$ 中递增矩形上的遍历和提供函数型中心极限定理。

提出的方法

• 作者通过 $\mathbb{F}_p^{\mathbb{Z}^d}$ 的平移不变子群上的代数自同态建模 $\mathbb{Z}^d$-作用，使用洛朗多项式与形式幂级数表示。
• 通过 $\mathcal{P}_d$ 中的多项式 $R_j$ 乘法定义一类自同态，生成群上的交换作用。
• 通过将非混合配置约化为 $S$-单位型方程的解来分析其结构，利用特殊 $\mathcal{D}$-多项式上的计数论证证明其解稀疏。
• 通过有界遍历和的高阶矩，应用矩方法，依赖于可观测量 $f$ 在远距离坐标上变化量 $V_n(f)$ 的衰减。
• 关键技术步骤包括对特殊 $\mathcal{R}$-多项式解的分解与计数，证明非混合配置的数量以亚指数方式增长。
• 通过鞅逼近和近似 $\varphi_n$ 对 $f$ 的一致收敛，在 $V_n(f) = O(\lambda^n)$ 且 $\lambda < p^{-1}$ 的条件下推导出函数型中心极限定理。

实验结果

研究问题

• RQ1 当完全混合性不成立时，能否在 $\mathbb{F}_p^{\mathbb{Z}^d}$ 子群上为 $\mathbb{Z}^d$-作用建立中心极限定理？
• RQ2 此类作用中非混合配置有多稀疏？其稀疏性能否通过 $S$-单位方程量化？
• RQ3 在非混合、完全不连通的群作用下，矩方法是否仍能有效证明 CLT？
• RQ4 在可观测量满足何种正则性条件时，$\mathbb{Z}^d$ 中矩形上的遍历和的函数型中心极限定理成立？
• RQ5 在该代数设定下，CLT 能否推广至多种求和方案（如随机游走）？

主要发现

• 与非混合配置相关的 $S$-单位型方程的解的数量有界，表明其在作用的配置空间中具有稀疏性。
• 该作用具有“所有阶几乎混合”性质——非混合配置稀疏到足以使矩方法适用。
• 对于满足 $V_n(f) = O(\lambda^n)$ 且 $\lambda < p^{-1}$ 的可观测量，投影 $\Pi^n f$ 的 $L^\infty$-范数以 $O(\lambda^n)$ 的速度指数衰减，确保了正则性。
• 对于递增矩形 $D_n$ 上的遍历和，中心极限定理成立，经归一化 $|D_n|^{-1/2}$ 后收敛于正态分布。
• 建立了此类和的函数型中心极限定理，将先前结果推广至非连通、完全不连通的紧阿贝尔群。
• 由于矩的衰减与可观测量的正则性，CLT 在多种求和方案下均成立，包括随机游走。