[论文解读] Multiple recurrence and large intersections for abelian group actions

Ethan Ackelsberg, Vitaly Bergelson+1 more|arXiv (Cornell University)|Jan 8, 2021

Limits and Structures in Graph Theory参考文献 31被引用 6

一句话总结

本文建立了可数阿贝尔群测度保持作用下多重回归中大交集的合成性，推广了经典结果如Khintchine定理和Furstenberg定理。通过遍历论及阿马兰特群的Fubini型定理，证明了当同态的像具有有限指数时，使交集接近期望乘积测度的群元素集合是合成的，从而将此前关于ℤ和𝔽ₚ^∞-作用的结果推广。

ABSTRACT

The purpose of this paper is to study the phenomenon of large intersections in the framework of multiple recurrence for measure-preserving actions of countable abelian groups. Among other things, we show: (1) If $G$ is a countable abelian group and $φ, ψ: G o G$ are homomorphisms such that $φ(G)$, $ψ(G)$, and $(ψ- φ)(G)$ have finite index in $G$, then for every ergodic measure-preserving system $(X, \mathcal{B}, μ, (T_g)_{g \in G})$, every set $A \in \mathcal{B}$, and every $\varepsilon > 0$, the set $\{g \in G : μ(A \cap T_{φ(g)}^{-1}A \cap T_{ψ(g)}^{-1}A) > μ(A)^3 - \varepsilon\}$ is syndetic. (2) If $G$ is a countable abelian group and $r,s \in \mathbb{Z}$ are integers such that $rG$, $sG$, and $(r \pm s)G$ have finite index in $G$, then for every ergodic measure-preserving system $(X, \mathcal{B}, μ, (T_g)_{g \in G})$, every set $A \in \mathcal{B}$, and every $\varepsilon > 0$, the set $\{g \in G : μ(A \cap T_{rg}^{-1}A \cap T_{sg}^{-1}A \cap T_{(r+s)g}^{-1}A) > μ(A)^4 - \varepsilon\}$ is syndetic. In particular, these extend and generalize results of Bergelson, Host, and Kra concerning $\mathbb{Z}$-actions and of Bergelson, Tao, and Ziegler concerning $\mathbb{F}_p^{\infty}$-actions. Using an ergodic version of the Furstenberg correspondence principle, we obtain new combinatorial applications. We also discuss numerous examples shedding light on the necessity of the various hypotheses above. Our results lead to a number of interesting questions and conjectures, formulated in the introduction and at the end of the paper.

研究动机与目标

• 将ℤ-作用下的经典多重回归结果（如Khintchine与Furstenberg定理）推广至可数阿贝尔群作用的设定。
• 建立在多重返回时间中产生大交集的群元素集合为合成的条件。
• 通过Furstenberg对应原理的遍历版本，拓展组合应用。
• 通过显式反例阐明同态像中有限指数假设的必要性。
• 提出关于阿贝尔群作用下特征因子结构与回归模式的开放问题与猜想。

提出的方法

• 使用Furstenberg对应原理的遍历版本，将测度论回归结果转化为组合设定。
• 应用阿马兰特群的Fubini型定理（引理13.4），在乘积空间上交换均匀Cesàro极限。
• 通过同态数量的归纳法，证明多重交集的均匀Cesàro极限下界为各独立测度的2^k次方。
• 依赖Cauchy–Schwarz不等式与遍历定理，确立回归界的基础情形。
• 分析从G到G的同态φ、ψ及(ψ−φ)的结构，要求其像在G中具有有限指数，以保证合成性。
• 构造反例以表明有限指数条件是必要的，证明在遍历系统中，对更长配置的推广会失败。

实验结果

研究问题

• RQ1 在何种同态φ, ψ: G → G的条件下，对每个遍历系统与正测度集合A，集合{g ∈ G : μ(A ∩ T_φ(g)^{-1}A ∩ T_ψ(g)^{-1}A) > μ(A)^3 − ε}为合成？
• RQ2 当r, s ∈ ℤ满足rG, sG, 以及(r±s)G在G中具有有限指数时，能否在四重交集A ∩ T_{rg}^{-1}A ∩ T_{sg}^{-1}A ∩ T_{(r+s)g}^{-1}A中实现μ(A)^4 − ε的下界并保持合成性？
• RQ3 在给定同态条件下，k重交集中下界μ(A)^{2^k}的指数是否最优？
• RQ4 同态像的有限指数条件在确保大交集合成性中起何作用？
• RQ5 是否存在超越有限指数条件的结构性障碍，阻碍大交集合成性向更长或更复杂模式的推广？

主要发现

• 对任意可数阿贝尔群G上的遍历测度保持系统，若φ(G)、ψ(G)及(ψ−φ)(G)在G中具有有限指数，则对每个A ∈ ℬ与ε > 0，集合{g ∈ G : μ(A ∩ T_φ(g)^{-1}A ∩ T_ψ(g)^{-1}A) > μ(A)^3 − ε}为合成。
• 当r, s ∈ ℤ满足rG, sG, 以及(r±s)G在G中具有有限指数时，集合{g ∈ G : μ(A ∩ T_{rg}^{-1}A ∩ T_{sg}^{-1}A ∩ T_{(r+s)g}^{-1}A) > μ(A)^4 − ε}为合成。
• 下界μ(A)^{2^k}在最优意义下不可改进，如文中反例所示。
• 同态像的有限指数条件是必要的；若无此条件，大交集的合成性将不成立，文中已通过构造予以证明。
• 结果推广并统一了关于ℤ-作用（BHKr05）与𝔽ₚ^∞-作用（BTZ15）的早期发现，将其扩展至任意可数阿贝尔群。
• 利用遍历Furstenberg对应原理，本文推导出关于正上密度集合中合成配置的新组合定理。