arXiv++ Combinatorics

We give a computer-assisted proof that eight congruent infinite circular cylinders in $\mathbb{R}^3$ cannot touch pairwise. Since seven such cylinders exist, the maximum number of congruent mutually touching infinite cylinders is seven. This answers a question of Littlewood from 1968.

A unit ball is surrounded with a ring of $n$ equal infinite circular cylinders. Each cylinder touches the ball and its two neighbors. Can one more cylinder of the same radius be added if the configuration may be rearranged? Can the $n$ cylinders instead be enlarged, and by how much? We prove that insertion is impossible for $3\le n\le7$ and possible for $n\ge9$. The case $n=8$ remains open. The case $n=6$ is Kuperberg's problem from 1990, which was resolved recently. We prove that the ring of four cylinders cannot be expanded. This settles a conjecture of Ogievetsky and Shlosman from 2018. For $n\ge5$ the largest possible expansion radius remains unknown.

We prove that at most six pairwise non-overlapping infinite unit cylinders can simultaneously touch a unit ball. Six is achievable, so the answer to Kuperberg's question is exactly six. The proof is computer-assisted in the following sense: the statement is reduced to a finite case analysis with 2,954,984 cases, and in each case a program verifies that one of three inequalities between explicit polynomials with rational coefficients holds throughout a box. Each case is an elementary arithmetic check, and the complete list of cases is provided with the paper.

A simple topological graph $G$ is a graph drawn in the plane so that any pair of edges have at most one point in common, which is either an endpoint or a proper crossing. $G$ is called saturated if no further edge can be added without violating this condition. We construct saturated simple topological graphs with $n$ vertices and $O(n)$ edges. For every $k>1$, we give similar constructions for $k$-simple topological graphs, that is, for graphs drawn in the plane so that any two edges have at most $k$ points in common. We show that in any $k$-simple topological graph, any two independent vertices can be connected by a curve that crosses each of the original edges at most $2k$ times. Another construction shows that the bound $2k$ cannot be improved. Several other related problems are also considered.