Erdős Problem #1189 — Extremal questions for irreducible covering sets

About 46 years old · traced to

Call distinct integers 1<n1<⋯<nk1<n_1<\cdots<n_k an irreducible covering set if suitable residue classes modulo them cover every integer, but no proper subset does. Determine the number of such sets of size kk, the possible size of nkn_k, and the maximum of ∑i=1k1/ni\sum_{i=1}^k1/n_i. Are there infinitely many integers whose divisors greater than 11 form an irreducible covering set?

References

Additional references

P. Erdős, A survey of problems in combinatorial number theory, Annals of Discrete Mathematics 6 (1980), 89–115.

Progress summary

Refreshed
Claimed progress

The infinite divisor-family question is settled affirmatively and useful bounds are known, but the largest-modulus and reciprocal-sum questions remain open.

Erdős asked for the number of irreducible covering sets of size kk, extremal values of the largest modulus and reciprocal sum, and infinitely many divisor-set examples. The historical survey records these questions and the example n=12n=12.

Known results

  • Simpson proved nk≤2k−1n_k\leq 2^{k-1} for every irreducible covering set of size kk.
  • Sun (2007) showed that the divisors greater than 11 of 2p−1p2^{p-1}p, for every odd prime pp, form an irreducible covering set; hence infinitely many divisor-set examples exist.
  • Balister, Bollobás, Morris, Sahasrabudhe, and Tiba (2024) proved I(k)≤exp⁡ ⁣((c+o(1))k3/2(log⁡k)1/2)I(k)\leq\exp\!\left((c+o(1))\frac{k^{3/2}}{(\log k)^{1/2}}\right).
  • A construction gives nk≥3⋅2k−3n_k\geq 3\cdot 2^{k-3} for k≥5k\geq 5; Sun’s family gives n2p−1≥p2p−1n_{2p-1}\geq p2^{p-1}.

2024 counting result and subsequent construction

The counting question has a substantial upper bound, and the divisor-set question is solved. No complete resolution of the optimal largest modulus or maximal reciprocal sum is reported. GPT-5.4 Thinking is credited for discussion, not for a claimed solution.

Current status (as of March 2026): the divisor-set infinitude question is settled and counting and modulus bounds are known, while the exact count, optimal largest modulus, and maximal reciprocal sum remain open.

Sources

Solutions 0

No solutions have been posted yet.