A contribution to infinite disjoint covering systems (Q2388607)

A system (finite or infinite) of arithmetic sequences \(\{b_i\pmod{d_i};i\in I\}\) is called covering if its union is the set of integers. If in addition the sequences are mutually disjoint, it is called a disjoint covering system (DCS). A DCS is called saturated if the sum of the reciprocals of the moduli \(d_i\) is equal to \(1\). An older conjecture of Schinzel claims that in every finite covering system there is a pair of distinct indices \(i,j\) such that \(d_j| d_i\). The authors conjecture that this conclusion remains also true for every (i.e. also for infinite) DCS's. In the paper the author prove this conjecture for moduli of the form \(p^kq^s\) where \(p,q\) are primes and \(k,s\) are non-negative integers. They also checked using computers that their conjecture holds for for saturated systems with \(d_i\) such that the product of its prime factors is at most \(1254=2.3.11.19\).