[論文レビュー] A reinforcement of the Bourgain-Kontorovich's theorem

Dmitriy Frolenkov, Игорь Давидович Кан|arXiv (Cornell University)|Jul 21, 2012

Analytic Number Theory Research参考文献 7被引用数 6

ひとこと要約

この論文は、Zarembaの予想に関するBourgain-Kontorovich定理を強化し、必要な部分商の上限をA=50からA=7に低減した。鋭い指数和推定とスペクトル法を用いて、ハウスドルフ次元 > 1 − (27 − √633)/16 ≈ 0.8849 であるアルファベットに対して、分母の集合がℕにおいて正の密度を持つことを証明した。この結果により、以前に知られていたよりも小さい上限でZarembaの予想が成立することが確認された。

ABSTRACT

Zaremba's conjecture (1971) states that every positive integer number $d$ can be represented as a denominator (continuant) of a finite continued fraction $\frac{b}{d}=[d_1,d_2,...,d_{k}],$ with all partial quotients $d_1,d_2,...,d_{k}$ being bounded by an absolute constant $A.$ Recently (in 2011) several new theorems concerning this conjecture were proved by Bourgain and Kontorovich. The easiest of them states that the set of numbers satisfying Zaremba's conjecture with A=50 has positive proportion in $\N.$ In this paper the same theorem is proved with A=7.

研究の動機と目的

• Zarembaの予想における部分商の上限をA=50からA=7に改善すること。
• 部分商が有界な連分数の分母の集合が正の密度を示す結果を確立すること。
• 元のBourgain-Kontorovich法で用いられる指数和推定を精緻化すること。
• スペクトル的および組合せ的パラメータの最適化により、より小さいアルファベットへの適用可能性を拡大すること。
• 連分数集合の有界桁数におけるハウスドルフ次元の閾値に関する定量的改善を提供すること。

提案手法

• 指数和の推定を精緻化し、集合Ω_N上でBourgain-Kontorovich法を応用する。
• Hensleyの手法を用いて、連分数に関連する連分数数と行列積を分析する。
• スペクトル理論とデデキンド和の境界を用いて、指数和推定における誤差項を制御する。
• 事前集合Ξ(M)を用い、特定のパラメータでΩ_Nを構成することで、一様分布および指数和の減衰を保証する。
• 主要領域の二重分割を実施し、有理近似上での指数和のL2ノルムを推定する。
• 誤差項を最小化するため、パラメータγとνを最適化し、ハウスドルフ次元閾値に対する tighter 界を得る。

実験結果

リサーチクエスチョン

• RQ1 Bourgain-Kontorovich定理における上限A=50を、A=7のようなより小さい値に低減できるか。
• RQ2 分母の正の密度を保証するのに十分な、連分数集合R_Aの最小ハウスドルフ次元δ_Aは何か。
• RQ3 スペクトル法における次元閾値を向上させるために、指数和推定をどのように鋭くできるか。
• RQ4 スペクトル的および組合せ的技法を用いて、指数和分解における誤差項をどの程度まで制御できるか。
• RQ5 部分商の上限Aが50未満、特にA=7やA=6に1つの数字を追加した場合、この手法は依然として有効か。

主な発見

• 本論文は、任意のアルファベット𝒜に対してδ_𝒜 > 1 − (27 − √633)/16 ≈ 0.8849 ならば、集合𝒟_𝒜(N)がℕにおいて正の密度を持つ、すなわち#𝒟_𝒜(N) ≫ Nであることを証明した。
• アルファベット{1,2,…,7}はδ_7 ≈ 0.8889 > 0.8849 を満たすため、Zarembaの予想がA=7で成立する。
• アルファベット{1,2,…,6,8}もδ_𝒜 ≈ 0.8851 > 0.8849 を満たし、連続でない集合に対しても結果が成立することが確認された。
• 行列の数え上げに関する鍵となる補題を精緻化することで、より弱い条件下で閾値をδ_𝒜 > 1 − 25/(114 + 2√2274) ≈ 0.8805 に改善した。
• パラメータγとνを指数和推定において最適化することで、定量的改善が達成された。
• 証明により、指数和|S_N(θ)|のL2ノルムが|Ω_N|²/Nで有界であることが示され、これが正の密度結果を示唆する。