[論文レビュー] 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 より小さいパラメータの集合が可算であることを示し、超越的 λ に対して長年の予想を解決するとともに、ホフマンのパcking次元に関する結果を可算性への拡張する。

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 であるかどうかを解明すること。
• dim νλ < 1 を満たすパラメータ λ ∈ (1/2, 1) の集合が可算であることを示し、ホフマンの結果（この集合のパッキング次元およびハウスドルフ次元が 0 である）を改善すること。
• 自己相似測度に関する「フォルクロア的予想」—すなわち、正確な重なりが発生しない限り次元は類似次元に等しい—をベルヌーイ畳み込みに拡張し、すべての超越的パラメータで成立することを証明すること。
• 係数が {−1, 0, 1} である多項式 P について、代数的数の近傍における |P(λ)| に対する定量的下界を、マーラー測度と次数の制御のもとで確立すること。
• ガルシア、ソロミヤク、ホフマン、ブロイアード–ヴァルジュの結果を統合し、多項式近似とエントロピー推定を用いた背理法により、次元 1 の結果を証明すること。

提案手法

• 代数的 λ に対して適用可能な定理 4（ガルシア型の |P(λ)| の下界）を用いて、マーラー測度と次数に基づく多項式値の下界を導出する。
• 横断的性質（定理 5）の適用により、係数が {−1, 0, 1} である多項式が δ-横断的区間内で高々 1 つの根を持つことを保証し、零点集合の制御を可能にする。
• すべての大規模スケールにおける多項式近似（定理 6）の使用により、dim νξ < 1 を満たす代数的数 ξ の近くの λ に対して、|P(λ)| < (20M)−n を満たす {−1, 0, 1} 係数の多項式 P を構成する。
• トリムド・ベルヌーイ畳み込み近似（定理 7）の使用により、近似代数的数 ξ > 2−2/3 の場合にも同様の背理法戦略を適用可能にする。
• 背理法の適用：超越的 λ に対して dim νλ < 1 であると仮定すると、dim νξ < 1 かつ |λ − ξ| ≤ exp(−d²) を満たす代数的数 ξ が存在することになり、これは新しい下界（命題 12）に矛盾する。
• ブロイアード–ヴァルジュ（定理 11）の結果とガルシア–ホフマンのエントロピー理論を活用し、マーラー測度を制御し、d に依存しない M(ξ) の一様有界性を保証する。

実験結果

リサーチクエスチョン

• RQ1 すべての超越的パラメータ λ ∈ (1/2, 1) に対して dim νλ = 1 が成り立つか？
• RQ2 dim νλ < 1 を満たすパラメータ λ ∈ (1/2, 1) の集合は可算か？
• RQ3 自己相似測度に関するフォルクロア的予想—次元が類似次元に等しくなるのは正確な重なりが発生しない場合に限る—はベルヌーイ畳み込みに対しても検証可能か？
• RQ4 マーラー測度と次数に依存する係数が {−1, 0, 1} である多項式 P について、代数的数の近傍における |P(λ)| に対する有効な下界を確立できるか？
• RQ5 ガルシアのエントロピーとマーラー測度は、代数的 λ に対する νλ の次元を決定づける役割を果たすか？

主な発見

• すべての超越的パラメータ λ ∈ (1/2, 1) に対して、ベルヌーイ畳み込み νλ の次元が正確に 1 であることが証明され、フラクタル幾何学における主要な未解決問題が解決された。
• dim νλ < 1 を満たすパラメータ λ ∈ (1/2, 1) の集合が可算であることが示され、ホフマンの結果（この集合のパッキング次元およびハウスドルフ次元が 0 である）を著しく強化した。
• 自己相似測度に関するフォルクロア的予想はベルヌーイ畳み込みに対しても確認された：dim νλ = 1 となるのは正確な重なりが発生しない場合であり、これはすべての超越的 λ に対して成り立つ。
• 新たな有効な下界が確立された：任意の次数 ≤d でマーラー測度 ≤M である代数的数 ξ に対して、すべての n > 10d log d に対して、係数が {−1, 0, 1} で次数 ≤n であるすべての多項式 P およびすべての λ に対して、|λ − ξ| ≤ (5M)−n+1 かつ (5M)−n ≤ |λ − ξ| を満たすとき、|P(λ)| > (20M)−n が成り立つ。
• 証明は背理法に依拠している：超越的 λ に対して dim νλ < 1 であると仮定すると、dim νξ < 1 かつ |λ − ξ| ≤ exp(−d²) を満たす代数的近似列 ξ が存在し、これは新しい多項式下界に反する。
• 結果は頑健である：λ が (1/2, 2−2/3) に属さない場合でも、トリムド測度 eνλ が用いられ、多項式近似が適用可能な状況に還元され、すべての超越的 λ ∈ (1/2, 1) に対して一貫性が保たれる。