Dice Question Streamline Icon: https://streamlinehq.com

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.

Information Square Streamline Icon: https://streamlinehq.com

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)