Mutually touching cylinders: Littlewood's seven, and at most ten in general

Abstract

We give a computer-assisted proof that at most seven congruent infinite circular cylinders in ${\mathbb{R}}^3$ can touch pairwise. This answers a question of Littlewood from 1968. For cylinders of arbitrary radii we prove the upper bound ten. Whether ten can be attained remains open.