[论文解读] On the topology of polynomials with bounded integer coefficients

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

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

一句话总结

本文通过证明：当且仅当 $ q < m+1 $ 且 $ q $ 不是 Pisot 数时，由系数 $ \epsilon_i \in \{0, \pm1, \ldots, \pm m\} $ 有界的多项式所构成的实数集 $ Y_m(q) $ 在 $ \mathbb{R} $ 中稠密，从而解决了长期悬而未决的开放问题。证明结合了动力系统技术，包括迭代函数系（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\} $ 中的整数线性组合构成的集合 $ Y_m(q) $（即 $ q $ 的幂的整系数线性组合）在实直线上稠密的确切条件。
• 完善并统一此前关于此类集合稠密性的部分结果，特别是与 Pisot 数及 $ q $-进制展开问题相关的研究。
• 建立一个清晰的二分法：当且仅当 $ q < m+1 $ 且 $ q $ 不是 Pisot 数时，$ Y_m(q) $ 在 $ \mathbb{R} $ 中稠密。

提出的方法

• 利用代数数论分析 $ P(q) $ 与零的分离性，利用当 $ q $ 为 Pisot 数时 $ P(q) \prod_j P(q_j) $ 为非零整数的性质。
• 应用压缩映射原理与迭代函数系统（IFS）研究 $ Y_m(q) $ 的自相似结构，特别是通过映射 $ \phi_i(x) = qx + \epsilon_i $。
• 引入 IFS 的有限类型条件以控制重叠，并通过分析在 $ \rho^{-n} $ 缩放下差值 $ |\phi_I(0) - \phi_J(0)| $ 的行为来证明稠密性，其中 $ \rho $ 是 $ q $ 的共轭模的最大值。
• 利用 Drobot 等价性：$ Y_m(q) $ 在 $ \mathbb{R} $ 中稠密当且仅当 $ 0 $ 是 $ Y_m(q) $ 的聚点，从而将问题简化为对零附近局部聚点的分析。
• 反证法：假设 $ Y_m(q) $ 稠密但 $ q \geq m+1 $ 或 $ q $ 是 Pisot 数，将导致 $ |P(q)| $ 存在统一下界，从而产生矛盾。
• 借助 Bugeaud、Erdős-Komornik 与 Akiyama-Komornik 的结果，将稠密性条件推广至更广的 $ q $ 类别，最终实现完全刻画。

实验结果

研究问题

• RQ1 对于哪些对 $ (q, m) $，集合 $ Y_m(q) $ 在 $ \mathbb{R} $ 中稠密？
• RQ2 若无 Pisot 数行为且 $ q < m+1 $，是否能完全刻画 $ Y_m(q) $ 的稠密性？
• RQ3 Erdős、Joó 与 Komornik 提出的开放问题——是否对所有非 Pisot 数 $ q \in (1,2) $ 都有 $ \ell_1(q) = 0 $ —— 能否被解决？
• RQ4 是否对所有非 Pisot 数 $ q \in (1, m+1) $ 都有 $ L_m(q) = 0 $？
• RQ5 是否存在结构性原因，使得当 $ q $ 为 Salem 数或 Pisot 数时，即使 $ q < m+1 $，$ Y_m(q) $ 仍不稠密？

主要发现

• 当且仅当 $ q < m+1 $ 且 $ q $ 不是 Pisot 数时，集合 $ Y_m(q) $ 在 $ \mathbb{R} $ 中稠密。
• 该结果完善并统一了 Erdős、Komornik、Bugeaud 等人早期的部分结果，解决了 1990 年代的开放问题。
• 证明表明：若 $ q $ 为 Pisot 数，则 $ 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 $ 不是 Pisot 数，从而证实了 Erdős、Joó 与 Komornik 的一个猜想。
• 提出 $ L_m(q) = 0 $ 的一个新充分条件：若 $ 1 < q < \sqrt{m+1} $ 且 $ q^2 $ 不是 Pisot 数，则 $ L_m(q) = 0 $，该结果改进了 Erdős 与 Komornik 的早期界限。
• 本文建立了与 $ Y_m(q) $ 相关 IFS 的有限类型条件，表明重叠由有限个模式控制，这是证明稠密性的关键。