[論文レビュー] Absolute Continuity of Self Similar Measures

Samuel Kittle|arXiv (Cornell University)|Mar 23, 2021

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

ひとこと要約

この論文は、エントロピーとマーラー測度を活用することで、自己相似測度、特にベルヌーイ畳み込みに対して絶対連続性が成立する十分条件を確立している。代数的パラメータ λ がそのマーラー測度とガルシア・エントロピーを含む特定の不等式を満たす場合、関連するベルヌーイ畳み込みは絶対連続であることが示され、λ ≈ 0.782 でさえも、以前の例よりも顕著に大きな値である。

ABSTRACT

We prove that a self similar measure is absolutely continuous providing that it satisfies a condition depending on its Garsia entropy, contraction ratio, and the separation between different points in approximations of the self similar measure. In the special case of Bernoulli convolutions this paper gives a sufficient condition for the Bernoulli convolution with parameter lambda to be absolutely continuous in terms of lambda and its Mahler measure.

研究の動機と目的

• エントロピーと分離性の性質を用いて、自己相似測度の絶対連続性に関する一般的な十分条件を確立すること。
• 既知のベルヌーイ畳み込みに関する結果を拡張し、測度が絶対連続となるような明示的なパラメータ λ ∈ (1/2, 1) を同定すること。
• 1次元系の積でないR²における絶対連続な自己相似測度の例を提示すること。
• 従来の境界を改善し、1に近いパラメータでない例を構築することで、絶対連続性が成立するのは1に近いパラメータに限るという仮定に挑戦すること。

提案手法

• λ のマーラー測度、ガルシア・エントロピー、反復関数系における指数的分離性の相互作用に基づく基準を導入する。
• スケールが小さいときの測度の詳細さに対するエントロピーに基づく上限を用いて、重なりを制御し、絶対連続性を保証する。
• log M_λ、log 2、λ を含む関数的不等式を適用し、絶対連続性を決定する閾値関数 F(λ) を導出する。
• 特に Z[i] におけるイデアルの性質を活用した代数的数論的手法を用いて、積構造でない R² における例を構築する。
• Z[i] 上の合同算術を用いて IFS における正確な重なりの不在を証明し、エントロピー条件の鋭さを保証する。
• ホッコマンの次元結果を基盤とし、新しい基準の下で絶対連続性へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 パラメータ λ がどのような条件下でベルヌーイ畳み込み測度が絶対連続になるか。
• RQ2 この絶対連続性基準をベルヌーイ畳み込みを超えて一般の自己相似測度へ拡張可能か。
• RQ3 1に近い値でない明示的な代数的パラメータ λ ∈ (1/2, 1) で、ベルヌーイ畳み込みが絶対連続となるものがあるか。
• RQ4 エントロピーと算術的条件を用いて、R² における積構造でない自己相似測度が絶対連続であることを示せるか。
• RQ5 新しい基準の下で、ベルヌーイ畳み込みが実際に証明可能に絶対連続となる最小の λ は何か。

主な発見

• 論文は、代数的 λ に対してベルヌーイ畳み込みが絶対連続である条件を確立した。具体的には、λ が不等式 (log M_λ − log 2)(log M_λ)² < (1/27)(log M_λ − log λ⁻¹)³ λ² を満たす場合に成立する。
• この手法により、絶対連続性が証明可能な最小の λ は約 0.78207 であり、最小多項式は X⁸ − 2X⁷ − X + 1 である。
• すべての n ≥ 8 に対して、多項式 Xⁿ − 2Xⁿ⁻¹ − X + 1 は (1/2, 1) 内に根を持ち、それに対応するベルヌーイ畳み込みは絶対連続である。
• R² において、複素乗法と Z[i] におけるイデアルを用いて、積構造でない絶対連続な自己相似測度を構築した。例として、素数 p ≡ 3 mod 4 に対して α = (p−1+i)/p を用いる。
• m = p² − 1 かつ p ≥ 7 で p ≡ 3 mod 4 のとき、補題 6.6 の基準が満たされ、関連する測度の絶対連続性が保証される。
• 閾値関数 F(λ) は λ → 1 のとき F(λ) → 2.054 に収束し、F(λ) > 2 である。これは λ が 0, ±1 係数多項式の根であってはならないという制約のため、必要不可欠である。