On the $j$-th smallest modulus of a covering system with distinct moduli

Jonah Klein,Dimitris Koukoulopoulos,Simon Lemieux
2023-08-24
Abstract:Covering systems were introduced by Erdős in 1950. In the same article where he introduced them, he asked if the minimum modulus of a covering system with distinct moduli is bounded. In 2015, Hough answered affirmatively this long standing question. In 2022, Balister, Bollobás, Morris, Sahasrabudhe and Tiba gave a simpler and more versatile proof of Hough's result. Building upon their work, we show that there exists some absolute constant $c>0$ such that the $j$-th smallest modulus of a minimal covering system with distinct moduli is $\le \exp(cj^2/\log(j+1))$.
Number Theory,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to the properties of moduli in covering systems. Specifically, the paper focuses on the problem of the upper bound of the \(j\) -th smallest modulus in the minimal covering system with distinct moduli. ### Problem Background The concept of covering systems was introduced by Paul Erdős in 1950. It refers to a set of arithmetic progressions whose union covers all integers \(\mathbb{Z}\). A famous problem proposed by Erdős was: Does there exist a uniform upper bound such that the smallest modulus of all covering systems with distinct moduli does not exceed this upper bound? This problem was answered affirmatively by Hough in 2015. He proved that the smallest modulus of each such system does not exceed \(10^{16}\). Subsequently, Balister, Bollobás, Morris, Sahasrabudhe and Tiba simplified and improved Hough's proof method in 2022, reducing the upper bound to 616,000. ### Main Contributions of the Paper In this paper, the authors further generalize Hough's result. They prove the following theorem: **Theorem 1.** There exists an absolute constant \(c > 0\) such that in a minimal covering system with distinct moduli, the \(j\) -th smallest modulus satisfies: \[m_j\leqslant\exp\left(cj^2 / \log(j + 1)\right)\] where \(m_j\) represents the \(j\) -th smallest modulus. ### Key Techniques To prove this theorem, the authors use the "distortion method", which is a new method proposed by Balister et al. in 2022 for dealing with covering systems. In addition, they also make use of an important result of Crittenden and Vanden Eynden: If a set of \(n\) arithmetic progressions cannot cover \(\mathbb{Z}\), then it also cannot cover the interval \(\{1, 2,\ldots, 2n\}\). ### Conclusion Through these methods, the authors not only give an upper - bound estimate of the \(j\) -th smallest modulus, but also show how to use the distortion method and existing mathematical tools to solve this type of problem. This provides a new perspective and tools for future research on covering systems. ### Summary The core problem of this paper is to explore the upper bound of the \(j\) -th smallest modulus in the minimal covering system with distinct moduli, and by introducing new mathematical tools and techniques, it successfully gives a more accurate upper - bound estimate.