[论文解读] Level sets of multiple ergodic averages

Aihua Fan, Lingmin Liao+1 more|arXiv (Cornell University)|May 16, 2011

Mathematical Dynamics and Fractals参考文献 12被引用 11

一句话总结

本文利用Riesz乘积研究了符号动力系统中多重遍历平均的水平集的多分形结构。研究证明，对于{+1,−1}^N上的移位系统，其中第一坐标分量的ℓ重平均，水平集的Hausdorff维数由1−1/ℓ + (1/ℓ)H((1+θ)/2)给出，其中H为二元熵函数，通过群上的调和分析将经典结果推广至高阶平均。

ABSTRACT

We propose to study multiple ergodic averages from multifractal analysis point of view. In some special cases in the symbolic dynamics, Hausdorff dimensions of the level sets of multiple ergodic average limit are determined by using Riesz products.

研究动机与目标

• 研究符号动力系统中多重遍历平均的多分形性质。
• 确定多重遍历平均收敛于给定值θ ∈ [−1,1]的水平集的Hausdorff维数。
• 将经典多分形分析从单重推广至多重遍历平均，尤其在群论与调和分析结构的背景下。
• 探讨Riesz乘积方法在推广至非对称或非特征值可观测量时的局限性。
• 计算由二进制序列稀疏性约束定义的特定子集X₀的盒维数。

提出的方法

• 利用符号空间D = {+1,−1}^N的群结构，并将可观测量x_k x_{2k} ... x_{ℓk}识别为群特征。
• 通过乘积∏_{k=1}^∞ (1 + θ ξ_k(x)) / 2构造一个在水平集B_θ上支撑的Riesz乘积测度P_θ，其中ξ_k(x) = x_k x_{2k} ... x_{ℓk}。
• 应用Billingsley定理，将P_θ的局部维数与B_θ的Hausdorff维数关联起来。
• 利用Rademacher函数与Walsh系统的独立性，计算柱测度的对数增长。
• 通过将指标分解为二进制层级C_k，对满足x_ℓ x_{2ℓ} = 0约束的可接受二进制序列进行计数。
• 定义一个类似Fibonacci的序列a_n，其中a_0=1, a_1=2, a_n = a_{n-1}+a_{n-2}，以枚举每个二进制列中的有效构型。

实验结果

研究问题

• RQ1 当ℓ个特征的多重遍历平均收敛于θ ∈ [−1,1]时，水平集的Hausdorff维数是多少？
• RQ2 Riesz乘积能否用于计算符号系统中多重遍历平均水平集的维数？
• RQ3 此类水平集的维数如何依赖于参数θ与平均阶数ℓ？
• RQ4 满足对所有ℓ有x_ℓ x_{2ℓ} = 0的二进制序列集合X₀的盒维数是多少？
• RQ5 为何当可观测量被替换为指示函数如(x_1+1)/2而非特征函数时，Riesz乘积方法会失效？

主要发现

• 水平集B_θ的Hausdorff维数恰好为1−1/ℓ + (1/ℓ)H((1+θ)/2)，其中H(t) = −t log₂ t − (1−t) log₂(1−t)为二元熵函数。
• 当ℓ ≥ 2且θ ∈ [0,1]时，B_θ的维数严格为正，且下界为1−1/ℓ > 0。
• Riesz乘积P_θ在B_θ上支撑，且其局部维数与B_θ的Hausdorff维数相同，从而可应用Billingsley定理。
• 集合X₀ = {x ∈ {0,1}^N : x_ℓ x_{2ℓ} = 0 for all ℓ}的盒维数为∑_{n=1}^∞ (log₂ a_n)/2^{n+1}，其中a_n为满足a_0=1, a_1=2的Fibonacci序列。
• X₀的盒维数计算结果约为0.8242936，且严格大于X₀的Hausdorff维数，后者后来由Kenyon、Peres与Solomyak证明为严格更小。
• 当可观测量被替换为指示函数如(x_1+1)/2（如在A_θ中所示）时，该方法因缺乏群特征结构而失效。