Characterize all tight instances of the Lonely Runner Conjecture

Classify all sets of n positive integer speeds V for which the loneliness gap attains equality, i.e., κ(V) = 1/(n+1), modulo dilation. Identify necessary and sufficient arithmetic conditions describing precisely which speed sets are tight.

Background

Tight instances are sets of speeds for which the conjectured bound is met exactly. Beyond dilations of [n], several sporadic and infinite families are known via specific arithmetic constructions (e.g., accelerating selected runners).

Despite progress, a general characterization remains elusive and is linked to deep number-theoretic problems such as Jacobsthal’s problem.

References

The problem of providing a complete characterization of tight instances is still widely open. In particular, the converse of Theorem 12 does not hold in its full generality; see [44, Section 3].

— The Lonely Runner Conjecture turns 60 (2409.20160 - Perarnau et al., 30 Sep 2024) in Section 4 (Tight Instances)