Rigid polyboxes and Keller's conjecture (Q1707393)

A cube tiling of \(\mathbb{R}^d\) is a tiling by congruent hypercubes in which the tiles are translations of each other or, equivalently, the tiles have all sides parallel to coordinate axes. Two cubes are called a twin pair if they have a complete facet in common. In 1930, Keller conjectured that in every cube tiling of \(\mathbb{R}^d\) there is a twin pair. Keller's conjecture is true for dimensions \(d \leq 6\) and false for dimensions \(d \geq 8\). For dimension \(d = 7\) the conjecture is still open, and it is tackled in the paper under review. The author studies the local structure of cube tilings using the notion of a rigid system of boxes. The obtained results are interpreted for cliques in a \(d\)-dimensional Keller graph. Thus, as a result only three subcases in terms of cliques remain where the problem is unsolved for \(d = 7\).