[論文レビュー] On the topology of polynomials with bounded integer coefficients

De‐Jun Feng|arXiv (Cornell University)|Sep 7, 2011

Mathematical Dynamics and Fractals参考文献 15被引用数 8

ひとこと要約

この論文は、Erdős, Joó, Komornik が提起した長年の未解決問題を解決し、整数係数 $ \epsilon_i \in \{0, \pm1, \ldots, \pm m\} $ を持つ多項式によって生成される実数の集合 $ Y_m(q) $ が $ \mathbb{R} $ において稠密であるための必要十分条件を示した。その条件は、$ q < m+1 $ かつ $ q $ がピゾ数でない場合に限る。証明は、反復関数系（IFS）や代数的共役の分離性を用いた力学系的手法を組み合わせ、$ Y_m(q) $ の位相的構造を特定し、先行する部分的な結果を統合し、Erdős, Joó, Komornik の予想を裏付けるものである。

ABSTRACT

For a real number $q&gt;1$ and a positive integer $m$, let $Y_m(q):={\sum_{i=0}^nε_i q^i:\; ε_i\in \{0, \pm 1,..., \pm m\}, n=0, 1,...}.$ In this paper, we show that $Y_m(q)$ is dense in ${\Bbb R}$ if and only if $q

研究の動機と目的

• Erdős, Joó, Komornik が提起した、$ Y_m(q) $ の $ \mathbb{R} $ における位相的稠密性に関する未解決問題を解決すること。
• 係数が $ \{0, \pm1, \ldots, \pm m\} $ に属する整数係数の $ q $ のべきの線形結合として形成される集合 $ Y_m(q) $ が実数直線に稠密であるための正確な条件を特定すること。
• 特にピゾ数と基数 $ q $ 展開問題に関連する、このような集合の稠密性に関する先行研究の部分的結果を統合・完成させること。
• 明確な二分法の確立：$ Y_m(q) $ が $ \mathbb{R} $ に稠密であるための必要十分条件は、$ q < m+1 $ かつ $ q $ がピゾ数でないことである。

提案手法

• ピゾ数の場合、$ P(q) \prod_j P(q_j) $ が非ゼロ整数であるという事実を活用し、代数的数論を用いて $ P(q) $ がゼロからどれほど離れているかを分析する。
• 収縮写像の原理と反復関数系（IFS）を用い、特に写像 $ \phi_i(x) = qx + \epsilon_i $ を通じて $ Y_m(q) $ の自己相似構造を研究する。
• IFS に「有限型条件」を導入し、スケーリング係数 $ \rho^{-n} $ における差 $ |\phi_I(0) - \phi_J(0)| $ の振る舞いに基づいて重なりを制御し、稠密性を証明する。
• ドロボトの同値性：$ Y_m(q) $ が $ \mathbb{R} $ に稠密であるための必要十分条件は、$ 0 $ が $ Y_m(q) $ の集積点であることである。これにより、問題はゼロの近傍における局所的集積点の分析に帰着される。
• 背理法による証明：$ Y_m(q) $ が稠密であるが $ q \geq m+1 $ または $ q $ がピゾ数であると仮定すると、$ |P(q)| $ に一様な下界が存在することから矛盾が生じる。
• Bugeaud, Erdős-Komornik, Akiyama-Komornik の結果を活用し、$ q $ のクラスを広げて稠密性条件を拡張し、完全な特徴付けに至る。

実験結果

リサーチクエスチョン

• RQ1 どのペア $ (q, m) $ に対して集合 $ Y_m(q) $ が $ \mathbb{R} $ に稠密か？
• RQ2 ピゾ数の性質がなく、$ q < m+1 $ であることが、$ Y_m(q) $ の稠密性を完全に特徴づけるか？
• RQ3 Erdős, Joó, Komornik が提起した未解決問題——非ピゾ数 $ q \in (1,2) $ に対して $ \ell_1(q) = 0 $ が成り立つかどうか——を解けるか？
• RQ4 $ L_m(q) = 0 $ はすべての非ピゾ数 $ q \in (1, m+1) $ に対して成り立つか？
• RQ5 $ q $ がサリム数またはピゾ数であっても $ q < m+1 $ ならば、$ Y_m(q) $ が稠密でない構造的根拠はあるか？

主な発見

• 集合 $ Y_m(q) $ が $ \mathbb{R} $ に稠密であるための必要十分条件は、$ q < m+1 $ かつ $ q $ がピゾ数でないことである。
• この結果は、Erdős, Komornik, Bugeaud らの先行研究の部分的結果を統合し、1990年代に提起された未解決問題を解決する。
• 証明により、$ q $ がピゾ数であれば $ Y_m(q) $ は一様離散的であり $ 0 $ は孤立点であり、$ q \geq m+1 $ であれば $ Y_m(q) \cap (-1,1) = \{0\} $ であるため、$ Y_m(q) $ は稠密でないことが示された。
• この結果により、$ \ell_m(q) = 0 $ が成り立つための必要十分条件は $ q < m+1 $ かつ $ q $ がピゾ数でないことであることが示され、Erdős, Joó, Komornik の予想が裏付けられた。
• 新たな十分条件として、$ 1 < q < \sqrt{m+1} $ かつ $ q^2 $ がピゾ数でないならば $ L_m(q) = 0 $ が成り立つことが示され、Erdős や Komornik の先行研究の境界を改善した。
• 論文は $ Y_m(q) $ に関連する IFS に対して有限型条件を確立し、重なりが有限個のパターンによって制御されることを示した。これは稠密性の証明において鍵となる。