[论文解读] On the dimension of Bernoulli convolutions for all transcendental parameters

Péter P. Varjú|arXiv (Cornell University)|Oct 21, 2018

Mathematical and Theoretical Analysis被引用 51

一句话总结

该论文证明了对于所有超越参数 λ ∈ (1/2, 1)，伯努利卷积测度 νλ 的维数恰好为 1。通过利用代数数处多项式取值的估计以及横截性性质，作者证明了维数小于 1 的参数集合是可数的，从而解决了关于超越 λ 的长期悬而未决的猜想，并将霍赫曼关于填满维数的结果推广至例外参数集合的可数性。

ABSTRACT

The Bernoulli convolution $ u_\lambda$ with parameter $\lambda\in(0,1)$ is the probability measure supported on $\mathbf{R}$ that is the law of the random variable $\sum\pm\lambda^n$, where the $\pm$ are independent fair coin-tosses. We prove that $\dim u_\lambda=1$ for all transcendental $\lambda\in(1/2,1)$.

研究动机与目标

• 解决伯努利卷积维数是否对所有 (1/2, 1) 内的超越参数均为 1 的开放问题。
• 证明集合 {λ ∈ (1/2, 1) : dim νλ < 1} 是可数的，改进了霍赫曼的结果（该集合的填满维数与豪斯多夫维数均为零）。
• 将自相似测度的 folklore 猜想——维数等于相似维数，除非发生精确重叠——推广至伯努利卷积，证明其对所有超越参数成立。
• 为系数属于 {−1, 0, 1} 的多项式在代数数附近建立 |P(λ)| 的有效下界，该下界受梅勒测度与次数控制。
• 统一 Garsia、Solomyak、Hochman 与 Breuillard–Varjú 的结果，通过多项式逼近与熵估计的反证法，证明维数为 1 的结论。

提出的方法

• 使用定理 4（Garsia 型 |P(λ)| 下界估计，适用于代数 λ）基于梅勒测度与次数推导出多项式取值的下界。
• 应用横截性定理（定理 5），确保系数属于 {−1, 0, 1} 的多项式在 δ-横截区间内至多有一个根，从而控制零点集合。
• 采用定理 6（在所有大尺度上的多项式逼近），构造一个系数属于 {−1, 0, 1} 的多项式 P，使得当 λ 接近满足 dim νξ < 1 的代数数 ξ 时，有 |P(λ)| < (20M)−n。
• 使用定理 7（截断伯努利卷积逼近）处理代数数 ξ > 2−2/3 的情形，使得可采用相同的反证策略。
• 反证法：假设对超越 λ 有 dim νλ < 1，则存在代数数 ξ 满足 dim νξ < 1 且 |λ − ξ| ≤ exp(−d²)，这与命题 12 中的新下界矛盾。
• 利用 Breuillard–Varjú（定理 11）与 Garsia–Hochman 熵理论的结果，控制梅勒测度并确保 M(ξ) 的一致有界性，与 d 无关。

实验结果

研究问题

• RQ1 对所有超越参数 λ ∈ (1/2, 1)，是否都有 dim νλ = 1？
• RQ2 集合 {λ ∈ (1/2, 1) : dim νλ < 1} 是否可数？
• RQ3 自相似测度的 folklore 猜想——维数等于相似维数，除非发生精确重叠——是否可在伯努利卷积中得到验证？
• RQ4 能否为系数属于 {−1, 0, 1} 的多项式在代数数附近建立 |P(λ)| 的有效下界，且该下界依赖于梅勒测度与次数？
• RQ5 Garsia 熵与梅勒测度在确定代数 λ 的 νλ 维数中起什么作用？

主要发现

• 对所有超越参数 λ ∈ (1/2, 1)，伯努利卷积 νλ 的维数恰好为 1，解决了分形几何中的一个重大开放问题。
• 满足 dim νλ < 1 的参数集合 {λ ∈ (1/2, 1)} 是可数的，这是对霍赫曼结果（该集合的填满维数与豪斯多夫维数均为零）的显著加强。
• 自相似测度的 folklore 猜想在伯努利卷积中得到确认：当且仅当发生精确重叠时 dim νλ < 1，且该结论对所有超越参数成立。
• 建立了新的有效下界：对任意次数 ≤ d、梅勒测度 ≤ M 的代数数 ξ，以及所有满足 n > 10d log d 的 n，有 |P(λ)| > (20M)−n，其中 P 为次数 ≤ n、系数属于 {−1, 0, 1} 的多项式，且对所有满足 (5M)−n ≤ |λ − ξ| ≤ (5M)−n+1 的 λ 成立。
• 证明依赖于反证法：假设对超越 λ 有 dim νλ < 1，则存在一列代数逼近数 ξ 满足 dim νξ < 1 且 |λ − ξ| ≤ exp(−d²)，这与新的多项式下界矛盾。
• 结果具有鲁棒性：即使 λ 不在 (1/2, 2−2/3) 内，也通过使用截断测度 eνλ 将问题约化至多项式逼近适用的情形，确保对所有超越 λ ∈ (1/2, 1) 的一致性。