Function field Lonely Runner Conjecture

Establish that for every prime power q and every nonzero polynomial set F ⊂ Fq[X] with size satisfying 1 ≤ |F| < (q^{k+1} − 1)/(q − 1) for some integer k ≥ 0, the function-field loneliness gap satisfies κq(F) ≥ q^{−k}, where κq(F) is the supremum over α in the unit ‘torus’ T of the minimal absolute value |f α| across f ∈ F.

Background

This q-analog reformulates the Lonely Runner phenomenon in the setting of Laurent series over finite fields, replacing distances to integers by valuations and measuring gaps via q-adic norms. The upper bound on |F| is necessary, and the conjecture has been proved for some small sizes and bounded degree cases.

The conjecture connects discrete structures in function fields with Diophantine approximation analogs, aiming for parallels to the real/integer versions.