🔢 mathematics

Integer parts of real powers in two Erd\H{o}s problems of Romanoff type

本文通过证明可表示为素数加上一个实数幂的整数集的密度具有定量度量下界，并建立了一个关于无平方因子整数加上一个实数幂的密度为一的类似结论，同时还证明了对于特定底数（如黄金比例）而言，例外情况的正下密度依然存在，从而解决了两个埃尔德什型加法问题。

原作者： Yuchen Ding

发布于 2026-07-21

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Yuchen Ding

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下你是一名试图解开一个涉及数字的巨大谜题的侦探。在数学的世界里，有一个著名的游戏叫做“加法数论”，其目标是看你是否可以通过将两种特定类型的“原料”相加来构建出每一个数字。其中一种原料通常是“质数”（如 2, 3, 5, 7 等只能被 1 和自身整除的数字），另一种则是“无平方因子数”（即不能被任何完全平方数如 4, 9 或 16 整除的数）。另一种原料是“稀疏序列”，即一个增长得非常缓慢、极其稀薄的数字列表，比如 2 的幂次（2, 4, 8, 16...）。

这就像是在问：如果你用一种特定的砖块和一种特定的木材，能否盖出一座房子？有时答案是“是的，你可以盖出几乎任何房子”；而有时答案是“不，存在某些你永远无法建造出的房屋形状”。你即将阅读的这篇论文深入探讨了这个问题，但它加入了一个转折：它不再使用整数作为这个稀疏列表，而是使用了实数幂次的“整数部分”（例如 1.5, 2.7 或黄金分割比）。这就像是在问，如果你使用的不是预先切割好的木板，而是从连续的流体中切割出来的木材，你是否也能盖出房子。

两个谜题的故事

这篇由 Yuchen Ding 撰写的论文处理了两个不同版本的“建筑模块”谜题。作者试图弄清楚，通过将质数或无平方因子数与这些特殊的“实数幂”序列相加，我们是否可以覆盖整个数轴（或者至少是覆盖其中的大部分）。

谜题 1：质数与“几乎总是”规则

第一个问题是：如果你随机选择一个大于 1 的数字（我们称之为 $y$ ），并创建一个通过取 $y^1, y^2, y^3$ 等的整数部分而生成的数字列表，你是否可以通过将这些数字与质数相加，从而得到几乎所有的其他数字？

作者在此证明了一个非常强大的结果：对于几乎所有你选取的数字，答案是肯定的。如果你随机选择一个数字 $y$ ，在数学上可以保证，你所能构建出的数字集合（质数 + $y^k$ 的整数部分）将具有正的下渐近密度。用通俗的话说，这意味着你不仅能建造出少量的房子，你还能建造出一个庞大的、无限的社区；无论你向多远处观察，你总能发现一大部分可以被构造出的数字。论文甚至给出了这个“块”之最小规模的精确公式，表明你的幂次分布得越“稀疏”（即 $y$ 越大），你能建造的数字就越少，但你始终会建造出很大一部分数字。

然而，论文也揭示了一个引人入胜的“例外”。仅仅因为对“几乎所有”数字都成立，并不意味着对“每一个”数字都成立。作者利用黄金分割比（那个在自然界和艺术中经常出现的著名数字 $\phi \approx 1.618$ ）构建了一个非常特殊且棘手的例子。当你使用黄金分割比时，其幂次的“整数部分”表现出一种非常特殊的节奏感（它们与卢卡斯数密切相关）。作者证明，如果你使用这个特定的数字，将会存在正比例的整数是根本无法被构建出来的。这就像是发现了一种特殊的木材，无论你如何尝试，它都会在你的墙上留下一个永远无法填补的缝隙。这是一个具体的证明，证明了“黄金分割比”在这个游戏中是一个“坏分子”，它留下了一个永久性的缺口。

谜题 2：无平方因子数与“神奇数字”

第二个问题将质数换成了“无平方因子数”（即不能被 4, 9, 16 等数整除的数）。一位著名的数学家埃尔德什（Erdős）曾猜想，如果我们将 2 的幂次与无平方因子数相加，我们可以构建出所有的奇数。这个关于 2 的幂次的特定版本问题目前仍未解决，被认为是非常困难的。

作者并没有去解决这个困难的“2 的幂次”版本，而是提出了一个稍有不同的问题：是否存在某个实数 $a$ （在 2 到 3 之间），使得如果我们使用它的幂次，我们可以构建出几乎所有的正整数？

答案是肯定的。作者证明了在该范围内至少存在一个“神奇数字”。通过精心选择这个数字，作者展示了可以迫使该数的幂次的“整数部分”落在恰到好处的位置，从而填补无平方因子数留下的空隙。这就像是找到了一把秘密钥匙，当你转动它时，它能解锁构建城市中几乎所有房子的能力。论文并没有告诉我们这个数字具体是多少（它证明了它的存在，但没有写出它的简单小数形式），但它证明了这样一个数字确实存在于那里，等待着被发现。

大局观

总而言之，这篇论文是数学侦探工作的杰作。它表明：

通常情况下是有效的： 如果你为你的幂次选择一个随机的底数，你几乎总能通过将它们与质数相加来构建出一大堆数字，从而保证正的下密度。
但要提防黄金分割比： 存在一个特定的、著名的数字，在那里模式会发生断裂，留下一个永久的缺口。
一个神奇的解法确实存在： 对于无平方因子数问题，虽然我们目前还无法解决原始的“2 的幂次”版本，但我们知道存在一个“神奇”的实数，它可以解决一个类似的、密度为 1 的版本问题。

作者结合使用了“度量”（观察随机数字的平均情况）论证和“构造性”（通过建立特定实例来证明缺口或解的存在）论证。这些结果不仅仅是猜测或计算机模拟；它们是严密的数学证明。论文证实，尽管数字的世界是广阔且有时难以捉摸的，但只要我们选择正确的原料，就存在着深刻的底层规则，允许我们覆盖几乎所有的内容。

技术摘要：关于两类罗马诺夫型（Romanoff type）埃尔德什问题中实数幂整数部分的性质

概述与问题陈述
本文在埃尔德什-罗马诺夫（Erdős–Romanoff）研究框架内，探讨了两个加法问题。其核心主题是用实底数的幂的整数部分（ $\lfloor y^k \rfloor$ ）取代刚性的整数幂序列（ $a^k$ ）。这种修改在保持求和项对数稀疏性的同时，引入了一个实参数，从而允许进行度量（概率）方法和构造性方法的研究。本文解决了两个具体问题：

素数问题（Erdős–Kalmár）： 对于每个实数 $y > 1$ ，集合 $S_y = \{p + \lfloor y^k \rfloor : p \in \mathbb{P}, k \ge 1\}$ 是否具有正的下渐近密度？
无平方因子数问题： 是否每一个足够大的整数都可以表示为一个无平方因子数与一个 2 的幂之和（ $n = q + 2^k$ ）？虽然固定底数的版本仍是一个开放问题，但本文寻求一个可变底数的类比，即用 $\lfloor a^m \rfloor$ 代替 $2^k$ 。

研究方法
本文采用了三种不同的方法论，分别对应其三个主要定理：

度量数论与二阶矩分析（定理 1.1）：
为了证明对于几乎所有的实底数都具有正密度，作者将确定性的罗马诺夫二阶矩判准与度量估计相结合。
- 二阶矩判准： 推导了一个定量引理（引理 3.1），该引理将 $P+A$ 的下密度与 $A$ 的计数函数以及 $A$ 中差值的加权对相关性联系起来。权重 $W(h) = \prod_{p|h}(1+1/p)$ 通过塞尔贝格筛法（Selberg sieve）解释了素数在算术级数中的分布。
- 度量控制： 核心技术贡献在于证明对于几乎所有的 $y$ ，序列 $\lfloor y^k \rfloor$ 满足必要的对相关估计。这涉及分析 $\lfloor y^k \rfloor \pmod d$ 的分布。证明过程利用了 Erdős–Turán 不等式并估计指数和 $\sum e(h y^k / d)$ 。通过将除数分为“小”除数（通过等分布论证处理）和“大”除数（通过 $y^\ell - y^k$ 的导数估计处理），作者表明对于几乎所有的 $y$ ，加权对相关性符合随机模型期望 $\zeta(2)/2\zeta(4)$ 。
覆盖同余与卢卡斯数（定理 1.2）：
为了证明即使在实底数设定下也无法保证密度为一的覆盖，本文构造了一个“异常底数”。
- 黄金比例联系： 作者利用了 $\lfloor \phi^k \rfloor$ （其中 $\phi$ 为黄金比例）与卢卡斯数（ $L_k$ ）之间的恒等关系。具体而言，根据 $k$ 的奇偶性， $\lfloor \phi^k \rfloor$ 等于 $L_k$ 或 $L_k - 1$ 。
- 有限覆盖： 通过构造一组有限的同余集来覆盖所有指数 $k$ 。通过选择目标整数 $n$ 的特定算术级数，作者确保对于任何表示 $n = p + \lfloor \phi^k \rfloor$ 的形式，素数 $p$ 必须能被一组有限的小素数之一整除。这迫使 $p$ 只能是这些小素数之一，从而将该级数中可表示的整数数量限制在 $O(\log x)$ 数量级，进而证明了存在正比例的整数被遗漏。
嵌套区间构造与剩余类覆盖（定理 1.3）：
对于无平方因子数问题，本文证明了存在一个实底数 $a \in (2,3)$ ，使得 $\lfloor a^m \rfloor$ 作为无平方因子数的加法补集时具有密度为一的性质。
- 剩余类覆盖： 证明构造了一组有限的偏移量，这些偏移量模 $Q_z = \prod_{p \le z} p^2$ 时，与无平方因子数剩余集 $R_z$ 的交集具有高重数。
- 嵌套区间： 使用构造性论证（引理 5.2）来实现将一个可数序列的指定同余类作为单个实数 $a$ 的值。这是通过定义一个嵌套闭区间序列 $I_0 \supset I_1 \supset \dots$ 实现的，其中每一步都固定一个特定的指数 $m$ 和值 $t = \lfloor a^m \rfloor$ 以满足所需的同余关系。
- 密度论证： 该构造确保了对于较大的 $x$ ，那些“异常”的整数（即无法表示的整数）由那些在较大素数模下不满足无平方因子性质的整数所主导，而这类集合的密度为零。

主要结果

定理 1.1（度量素数定理）： 对于勒贝格测度意义下几乎所有的 $y > 1$ ，集合 $S_y = \{p + \lfloor y^k \rfloor\}$ 的下渐近密度 $\delta_y$ 满足：
$\delta_y \ge \frac{1}{\log y + C_{sv} \zeta(2)/\zeta(4)}$
其中 $C_{sv}$ 是绝对塞尔贝格筛常数。当 $y \to \infty$ 时，其阶数为 $1/\log y$ 被证明是最优的。
定理 1.2（素数的异常底数）： 对于特定的底数 $y = \phi = (1+\sqrt{5})/2$ ，不可表示为 $p + \lfloor \phi^k \rfloor$ 的整数集合具有正的下密度。具体为：
$\#\{n \le x : n \notin P + \{\lfloor \phi^k \rfloor\}\} \ge \frac{x}{7845692610} - O(\log x)$
定理 1.3（无平方因子数密度一补集）： 存在一个实数 $a \in (2, 3)$ ，使得不能表示为 $q + \lfloor a^m \rfloor$ （其中 $q$ 是无平方因子数）的整数集合的密度为零：
$\#\{n \le x : n \notin Q + \{\lfloor a^m \rfloor\}\} = o(x)$
该结果在推论 5.3 中扩展到了对于任何 $r \ge 2$ 的 $r$ -free 整数。

意义与主张
本文声称解决了几乎所有实底数的埃尔德什-卡尔马尔（Erdős–Kalmár）猜想，并给出了取决于底数 $y$ 的精确定量下界。它澄清了罗马诺夫现象的边界，即虽然正密度是普遍现象，但并非所有实底数都能保证实现全覆盖（密度为一），如黄金比例的反例所示。

关于无平方因子数问题，本文并未解决固定底数猜想（ $2^k + q$ ），而是提供了可变底数设定下的“密度一类比”。其意义在于，展示了实参数的灵活性允许人们施加在固定底数情况下无法实现的同余条件，从而克服了使固定底数问题变得困难的障碍。这项工作统一了度量数论、筛法和构造性覆盖论证，用以处理涉及稀疏序列的长久存在的加法问题。

类似论文