Inspired by Bondarenko's counter-example to Borsuk's conjecture, we notice some strongly regular graphs that provide examples of ball packings whose chromatic numbers are significantly higher than the dimensions. In particular, from generalized quadrangles we obtain unit ball packings in dimension q 3 − q 2 + q with chromatic number q 3 + 1, where q is a prime power. This improves the previous lower bound for the chromatic number of ball packings.
The problem and previous worksA ball packing in d-dimensional Euclidean space is a collection of balls with disjoint interiors. The tangency graph of a ball packing takes the balls as vertices and the tangent pairs as edges. The chromatic number of a ball packing is defined as the chromatic number of its tangency graph.The Koebe-Andreev-Thurston disk packing theorem says that every planar graph is the tangency graph of a 2-dimensional ball packing. The following question is asked by Bagchi and Datta in [BD13] as a higher dimensional analogue of the four-colour theorem:Problem. What is the maximum chromatic number χ(d) over all the ball packings in dimension d?The authors gave d + 2 ≤ χ(d) as a lower bound since it is easy to construct d + 2 mutually tangent balls. By ordering the balls by size, the authors also argued that κ(d) + 1 is an upper bound, where κ(d) is the kissing number for dimension d.However, the case of d = 3 has already been investigated by Maehara [Mae07], who proved that 6 ≤ χ(3) ≤ 13. His construction for the lower bound uses a variation of Moser's spindle, which is the tangency graph of an unit disk packing in dimension 2 with chromatic number 4, and the following lemma:Lemma. If there is a unit ball packing in dimension d with chromatic number χ, then there is a ball packing in dimension d + 1 with chromatic number χ + 2.