We give examples of sequences defined by smooth functions of intermediate growth, and we study the Furstenberg systems that model their statistical behavior. In particular, we show that the systems are Bernoulli. We do so by studying exponential sums that reflect the strong equidistribution properties of said sequences. As a by-product of our approach, we also get some convergence results.
论文ID : 2510.11957标题 : Furstenberg systems of certain sequences of superpolynomial growth作者 : Andreu Ferré Moragues, Andreas Koutsogiannis分类 : math.DS (Dynamical Systems), math.NT (Number Theory)提交时间 : 2025年10月13日论文链接 : https://arxiv.org/abs/2510.11957v1 本文研究由中等增长的光滑函数定义的序列,并分析建模其统计行为的Furstenberg系统。特别地,证明了这些系统是Bernoulli系统。通过研究反映序列强等分布性质的指数和来实现这一目标。作为方法的副产品,还得到了一些收敛结果。
Furstenberg对应原理的应用 : Furstenberg在证明Szemerédi定理时引入的对应原理开创了用遍历理论研究组合数学问题的新方法,将在大子集中寻找模式的问题转化为测度保持系统上的回归性质。序列统计性质的动力学建模 : 有界序列 a : N → C a: \mathbb{N} \to \mathbb{C} a : N → C 的统计性质可以通过适当的动力学模型来研究,这些模型被称为Furstenberg系统。现有研究的局限 :Frantzikinakis等人的工作主要处理多项式增长率的序列 对于中等增长(超多项式但次指数增长)的序列,传统方法如van der Corput技巧不再适用 中等增长序列的研究仍然是一个广泛开放的课题 本文专注于形如 ( n log c n ) n (n\log^c n)_n ( n log c n ) n 和 ( α ⌊ n log c n ⌋ ) n (\alpha\lfloor n\log^c n\rfloor)_n ( α ⌊ n log c n ⌋ ) n (其中 0 < c < 1 / 2 0 < c < 1/2 0 < c < 1/2 , α ∈ R ∖ Z \alpha \in \mathbb{R} \setminus \mathbb{Z} α ∈ R ∖ Z )的序列,这些序列具有中等增长性质:增长快于任何多项式但慢于指数函数。
Bernoulli系统刻画 : 证明了中等增长序列 a ( n ) : = e ( G ( n ) ) a(n) := e(G(n)) a ( n ) := e ( G ( n )) 和 b ( n ) : = e ( α ⌊ G ( n ) ⌋ ) b(n) := e(\alpha\lfloor G(n)\rfloor) b ( n ) := e ( α ⌊ G ( n )⌋) 具有唯一的Bernoulli Furstenberg系统,其中 G ( x ) = x log c x G(x) = x\log^c x G ( x ) = x log c x 。强等分布性质 : 建立了序列 ( ( G ( n + h 1 ) , … , G ( n + h r ) ) ) n ((G(n+h_1), \ldots, G(n+h_r)))_n (( G ( n + h 1 ) , … , G ( n + h r )) ) n 的"goodness"性质,这是比等分布更强的概念。指数和估计 : 发展了处理中等增长函数线性组合的指数和估计技术,推广了Brüdern-Perelli的方法。拓扑动力学应用 : 得到了零拓扑熵系统的渐近正交性结果。von Neumann型收敛 : 证明了交换变换系统中的L 2 L^2 L 2 收敛结果。研究序列 a ( n ) = e ( G ( n ) ) a(n) = e(G(n)) a ( n ) = e ( G ( n )) 和 b ( n ) = e ( α ⌊ G ( n ) ⌋ ) b(n) = e(\alpha\lfloor G(n)\rfloor) b ( n ) = e ( α ⌊ G ( n )⌋) 的Furstenberg系统,其中:
G ( x ) = x log c x G(x) = x\log^c x G ( x ) = x log c x ,0 < c < 1 / 2 0 < c < 1/2 0 < c < 1/2 α ∈ R ∖ Z \alpha \in \mathbb{R} \setminus \mathbb{Z} α ∈ R ∖ Z 目标是确定这些系统的结构(特别是证明它们是Bernoulli系统) 根据Corollary 2.4,序列具有唯一Bernoulli Furstenberg系统当且仅当:
lim N → ∞ E n ∈ [ N ] a ε 1 ( n + h 1 ) ⋯ a ε r ( n + h r ) = 0 \lim_{N\to\infty} \mathbb{E}_{n\in[N]} a^{\varepsilon_1}(n+h_1)\cdots a^{\varepsilon_r}(n+h_r) = 0 lim N → ∞ E n ∈ [ N ] a ε 1 ( n + h 1 ) ⋯ a ε r ( n + h r ) = 0
对所有 r ∈ N r \in \mathbb{N} r ∈ N ,不同的 h 1 , … , h r ∈ Z h_1,\ldots,h_r \in \mathbb{Z} h 1 , … , h r ∈ Z 和所有 ( ε 1 , … , ε r ) ∈ Z r ∖ { 0 ⃗ } (\varepsilon_1,\ldots,\varepsilon_r) \in \mathbb{Z}^r \setminus \{\vec{0}\} ( ε 1 , … , ε r ) ∈ Z r ∖ { 0 } 成立。
主要定理 (Theorem 3.1) : 对于函数
F ( x ) = ∑ j = 1 r α j G ( x + h j ) F(x) = \sum_{j=1}^r \alpha_j G(x+h_j) F ( x ) = ∑ j = 1 r α j G ( x + h j )
在适当条件下有:
∑ N + a ≤ n ≤ 2 N − a e ( α F ( n ) ) ≪ N exp ( − κ log 1 − 2 c N ) \sum_{N+a \leq n \leq 2N-a} e(\alpha F(n)) \ll N\exp(-\kappa\log^{1-2c}N) ∑ N + a ≤ n ≤ 2 N − a e ( α F ( n )) ≪ N exp ( − κ log 1 − 2 c N )
关键工具 :
Karacuba引理(处理振荡积分) G ( x ) G(x) G ( x ) 及其导数的精确界估计线性组合F ( x ) F(x) F ( x ) 导数的上下界分析 下界估计 (Proposition 3.5) :
通过有限差分算子的分析,对于F ( s ) ( x ) F^{(s)}(x) F ( s ) ( x ) 建立形如
F ( s ) ( x ) s ! ≥ d ⋅ G ( x ) x s + τ \frac{F^{(s)}(x)}{s!} \geq d \cdot \frac{G(x)}{x^{s+\tau}} s ! F ( s ) ( x ) ≥ d ⋅ x s + τ G ( x )
的下界,其中常数d , τ d,\tau d , τ 仅依赖于系数和位移参数。
上界估计 (Lemma 3.13) :
利用Cauchy积分公式和解析函数理论,得到
∣ F ( s ) ( x ) s ! ∣ ≤ C ( 2 N ) s G ( 3 N ) \left|\frac{F^{(s)}(x)}{s!}\right| \leq C\left(\frac{2}{N}\right)^s G(3N) s ! F ( s ) ( x ) ≤ C ( N 2 ) s G ( 3 N )
处理中等增长的新方法 : 传统的van der Corput技巧对于超多项式增长失效,本文发展了基于Karacuba引理的新技术。精细的导数分析 : 通过有限差分算子将线性组合的导数问题转化为更易处理的形式,并建立了统一的上下界估计。"goodness"的证明 : 证明了位移序列的强等分布性质,这比通常的等分布概念更强。本文为纯理论研究,主要通过数学证明验证结果。关键的验证包括:
参数范围 : 0 < c < 1 / 2 0 < c < 1/2 0 < c < 1/2 确保中等增长性质序列类型 :
连续情形:a ( n ) = e ( G ( n ) ) a(n) = e(G(n)) a ( n ) = e ( G ( n )) 离散情形:b ( n ) = e ( α ⌊ G ( n ) ⌋ ) b(n) = e(\alpha\lfloor G(n)\rfloor) b ( n ) = e ( α ⌊ G ( n )⌋) ,α ∈ R ∖ Z \alpha \in \mathbb{R}\setminus\mathbb{Z} α ∈ R ∖ Z 位移参数 : 不同的整数位移 h 1 , … , h r ∈ Z h_1,\ldots,h_r \in \mathbb{Z} h 1 , … , h r ∈ Z Theorem 1.1 (Furstenberg系统刻画) :
对于 0 < c < 1 / 2 0 < c < 1/2 0 < c < 1/2 ,序列 a ( n ) : = e ( G ( n ) ) a(n) := e(G(n)) a ( n ) := e ( G ( n )) 和 b ( n ) : = e ( α ⌊ G ( n ) ⌋ ) b(n) := e(\alpha\lfloor G(n)\rfloor) b ( n ) := e ( α ⌊ G ( n )⌋) (α ∈ R ∖ Z \alpha \in \mathbb{R}\setminus\mathbb{Z} α ∈ R ∖ Z )具有唯一的Bernoulli Furstenberg系统。
Theorem 1.3 (等分布性质) :
序列 ( ( G ( n + h 1 ) , … , G ( n + h r ) ) ) n ((G(n+h_1),\ldots,G(n+h_r)))_n (( G ( n + h 1 ) , … , G ( n + h r )) ) n 和 ( ( α ⌊ G ( n + h 1 ) ⌋ , … , α ⌊ G ( n + h r ) ⌋ ) ) n ((α\lfloor G(n+h_1)\rfloor,\ldots,α\lfloor G(n+h_r)\rfloor))_n (( α ⌊ G ( n + h 1 )⌋ , … , α ⌊ G ( n + h r )⌋) ) n 分别在 T r \mathbb{T}^r T r 和相应空间上等分布。
Theorem 1.4 (Goodness性质) :
序列 ( ( G ( n + h 1 ) , … , G ( n + h r ) ) ) n ((G(n+h_1),\ldots,G(n+h_r)))_n (( G ( n + h 1 ) , … , G ( n + h r )) ) n 是"good"的,即对任意非平凡线性组合都有强等分布性质。
Corollary 1.2 (拓扑动力学应用) :
对于零拓扑熵的拓扑动力系统( X , T ) (X,T) ( X , T ) ,有渐近正交性:
lim N → ∞ E n ∈ [ N ] a ( n ) f ( T n x ) = 0 \lim_{N\to\infty} \mathbb{E}_{n\in[N]} a(n)f(T^n x) = 0 lim N → ∞ E n ∈ [ N ] a ( n ) f ( T n x ) = 0
Theorem 1.5 (von Neumann型结果) :
对于交换的测度保持变换系统,有L 2 L^2 L 2 收敛:
lim N → ∞ ∥ E n ∈ [ N ] T 1 ⌊ G ( n + h 1 ) ⌋ ⋯ T r ⌊ G ( n + h r ) ⌋ f − P f ∥ 2 = 0 \lim_{N\to\infty} \left\|\mathbb{E}_{n\in[N]} T_1^{\lfloor G(n+h_1)\rfloor}\cdots T_r^{\lfloor G(n+h_r)\rfloor}f - Pf\right\|_2 = 0 lim N → ∞ E n ∈ [ N ] T 1 ⌊ G ( n + h 1 )⌋ ⋯ T r ⌊ G ( n + h r )⌋ f − P f 2 = 0
多项式增长序列 : Frantzikinakis 7 确定了多项式增长率序列的Furstenberg系统结构Hardy域函数 : 相关工作处理Hardy域中的光滑函数迭代数论应用 : 与Chowla猜想、Möbius函数等数论问题的联系本文填补了多项式增长和指数增长之间的空白,处理了之前技术无法覆盖的中等增长情形。
证明了中等增长序列的Furstenberg系统具有最大随机性(Bernoulli性质) 建立了处理超多项式增长序列的新技术框架 得到了在拓扑动力学和遍历理论中的应用 增长率限制 : 方法仅适用于 0 < c < 1 / 2 0 < c < 1/2 0 < c < 1/2 的情形技术复杂性 : 需要精细的解析估计,推广到更一般情形有困难开放问题 : 对于一般Hardy域的中等增长函数,问题仍然开放论文提出了两个重要猜想:
Conjecture 1.6 : 对于测度保持系统( X , B , μ , T ) (X,\mathcal{B},\mu,T) ( X , B , μ , T ) 和函数f ∈ L ∞ ( μ ) f \in L^\infty(\mu) f ∈ L ∞ ( μ ) ,几乎处处的x ∈ X x \in X x ∈ X 使得序列d ( n ) : = f ( T ⌊ G ( n ) ⌋ x ) d(n) := f(T^{\lfloor G(n)\rfloor}x) d ( n ) := f ( T ⌊ G ( n )⌋ x ) 的Furstenberg系统是唯一的Bernoulli系统。
Conjecture 1.7 : 关于零熵系统中非交换变换的收敛性质。
理论创新 : 首次系统性地处理了中等增长序列的Furstenberg系统技术突破 : 发展了新的指数和估计技术,克服了传统方法的局限结果完整 : 从基础理论到具体应用形成了完整的理论体系数学严谨 : 证明详细且严格,技术处理精细适用范围 : 结果局限于特定的增长率范围计算复杂性 : 证明涉及大量技术细节,可能影响结果的推广实际应用 : 主要是理论结果,实际应用价值有待进一步探索理论贡献 : 为动力系统和数论的交叉研究提供了新工具方法论价值 : 处理中等增长函数的技术可能适用于其他问题开放问题 : 提出的猜想为未来研究指明了方向遍历理论中的等分布问题 解析数论中的指数和估计 动力系统的随机性研究 组合数学中的模式检测问题 论文引用了22篇相关文献,主要包括:
Furstenberg的开创性工作 12,13 Frantzikinakis关于Hardy域序列的研究 7,8 Karacuba的指数和估计技术 17 Bergelson等人关于Furstenberg系统的基础理论 1,2 总体评价 : 这是一篇高质量的理论数学论文,在动力系统和数论的交叉领域做出了重要贡献。虽然技术性较强,但为理解中等增长序列的统计性质提供了深刻的洞察,具有重要的理论价值。