2019/04/09 by Balister, Paul, Bollobás, Béla, Morris, Robert +2
#Combinatorics (math.CO) #FOS: Mathematics #Number Theory (math.NT)
paper · doi:10.48550/arxiv.1904.04806
Introduced by Erdős in 1950, a covering system of the integers is a finite collection of arithmetic progressions whose union is the set ℤ. Many beautiful questions and conjectures about covering systems have been posed over the past several decades, but until recently little was known about their properties. Most famously, the so-called minimum modulus problem of Erdős was resolved in 2015 by Hough, who proved that in every covering system with distinct moduli, the minimum modulus is at most 1016. In this paper we answer another question of Erdős, asked in 1952, on the number of minimal covering systems. More precisely, we show that the number of minimal covering systems with exactly n elements is exp( ((4√τ)/(3) + o(1)) \fracn3/2(log n)1/2 ) as n → ∞, where τ= ∑t = 1^∞ ( log (t+1)/(t) )2. En route to this counting result, we obtain a structural description of all covering systems that are close to optimal in an appropriate sense.