[论文解读] On the Erd\H{o}s Covering Problem: the density of the uncovered set

Paul Balister, Béla Bollobás+3 more|arXiv (Cornell University)|Nov 8, 2018

Limits and Structures in Graph Theory参考文献 5被引用 4

一句话总结

该论文通过引入一种新方法来界定整数覆盖系统中未被覆盖集合的密度，解决了长期存在的猜想。研究证明，若模数足够大且满足涉及特定乘法函数 μ 的加权倒数和条件，则未被覆盖的密度下界为 $ e^{-4C}/2 $，从而证明了 Schinzel 于 1967 年提出的猜想，并在最优条件下改进了 Erdős–Graham 型界。

ABSTRACT

Since their introduction by Erd\\H{o}s in 1950, covering systems (that is, finite collections of arithmetic progressions that cover the integers) have been extensively studied, and numerous questions and conjectures have been posed regarding the existence of covering systems with various properties. In particular, Erd\\H{o}s asked if the moduli can be distinct and all arbitrarily large, Erd\\H{o}s and Selfridge asked if the moduli can be distinct and all odd, and Schinzel conjectured that in any covering system there exists a pair of moduli, one of which divides the other. Another beautiful conjecture, proposed by Erd\\H{o}s and Graham in 1980, states that if the moduli are distinct elements of the interval $[n,Cn]$, and $n$ is sufficiently large, then the density of integers uncovered by the union is bounded below by a constant (depending only on $C$). This conjecture was confirmed (in a strong form) by Filaseta, Ford, Konyagin, Pomerance and Yu in 2007, who moreover asked whether the same conclusion holds if the moduli are distinct and sufficiently large, and $\\sum_{i=1}^k \\frac{1}{d_i} < C$. Although this condition turns out not to be sufficiently strong to imply the desired conclusion, as the main result of this paper we will give an essentially best possible condition which is sufficient. Our method has a number of further applications. Most importantly, we prove the conjecture of Schinzel stated above, which was made in 1967. We moreover give an alternative (somewhat simpler) proof of a breakthrough result of Hough, who resolved Erd\\H{o}s' minimum modulus problem, with an improved bound on the smallest difference. Finally, we make further progress on the problem of Erd\\H{o}s and Selfridge.

研究动机与目标

• 解决 Schinzel 于 1967 年提出的猜想：在任意具有互异模数的覆盖系统中，必有一个模数整除另一个。
• 确定模数的最优条件，以保证覆盖系统中未被覆盖集合的密度存在正的下界。
• 通过识别加权和 $ \sum \mu(d)/d $ 的条件，改进 Erdős–Graham 猜想，确保未被覆盖密度存在统一的下界。
• 提供一种简化且强大的方法，用于分析覆盖系统中未被覆盖集合的密度，适用于多个长期存在的问题。

提出的方法

• 在嵌套的剩余环上构建算术级数的递归树状结构，每一层均使用精心选择的大素数。
• 定义乘法函数 $ \mu(p^i) = 1 + (\log p)^{3+\varepsilon}/p $ 以加权模数，确保 $ \sum \mu(d)/d \leq C $，同时控制未被覆盖的密度。
• 通过在素数上的乘积估计使用概率界，证明未被覆盖集合的密度按 $ e^{(2-t)n} $ 衰减，当深度 $ n \to \infty $ 时趋于零，且在受控条件下成立。
• 应用容斥原理和欧拉乘积估计，对构造过程中每一层的未被覆盖剩余类的密度进行界定。
• 证明总和 $ \sum \mu(d)/d \leq 2t^2 $，其中 $ t \in (1, e) $，确保该条件对任意 $ C $ 均成立，并推导出最终界 $ e^{-4C}/2 $。
• 改进并简化了 Hough 在最小模数问题上的方法，从而对密度和可除性结构得出了更强的结论。

实验结果

研究问题

• RQ1 能否仅通过和 $ \sum \mu(d)/d \leq C $（其中 $ \mu $ 为特定乘法函数）保证覆盖系统中未被覆盖集合密度的下界？
• RQ2 每个具有互异模数的覆盖系统是否都包含一对模数，使得其中一个整除另一个？（Schinzel 猜想）
• RQ3 Erdős–Graham 对模数在 $[n, Cn]$ 范围内的条件是否为未被覆盖密度存在正下界的必要且充分条件？
• RQ4 能否将解决最小模数问题所用的方法加以改编，以获得关于未被覆盖集合密度的更强界？
• RQ5 覆盖系统中模数的最优条件是什么，才能确保未被覆盖集合密度存在统一的下界？

主要发现

• 该论文证明了 Schinzel 猜想：在任意具有互异模数的覆盖系统中，必有一个模数整除另一个。
• 在所有模数足够大且 $ \sum \mu(d)/d \leq C $ 的前提下，该研究建立了未被覆盖集合密度的精确下界 $ e^{-4C}/2 $，其中 $ \mu(p^i) = 1 + (\log p)^{3+\varepsilon}/p $。
• 作者构造了一类覆盖系统序列，其模数可任意大且满足 $ \sum 1/d_i < 1 $，但未被覆盖的密度趋于零，表明仅靠倒数和条件不足以保证下界。
• 他们证明，若将 $ \mu(p^i) $ 替换为 $ 1 + O(1/p) $，则不存在仅依赖于 $ C $ 的此类下界，从而证明了其函数选择的精确性。
• 该方法为 Hough 在最小模数问题上的突破性结果提供了更简化的证明，并对任意具有互异模数的覆盖系统中最小模数的界进行了改进。
• 该方法在 Erdős–Selfridge 问题上取得了新进展，表明当模数足够大且其加权倒数和有界时，覆盖系统中模数的结构受到高度约束。