A combinatorial approach for Keller's conjecture (Q2639344)

It was shown by \textit{G. Hajós} [Casopis Mat. Fys., Praha 74, 157-162 (1950; Zbl 0039.019)] that a lattice tiling of Euclidean n-space by cubes contains some pair of cubes having common facets. The conjecture of Keller says that this holds without the lattice assumption, too [\textit{O. H. Keller}, J. Reine Angew. Math. 163, 231-248 (1930; JFM 56.1120.01)]. For \(n\leq 6\), this conjecture was confirmed by \textit{O. Perron} [Math. Z. 46, 1-26 (1940; Zbl 0022.20205)]. Here the authors give a necessary and sufficient condition for the existence of a counterexample, namely by means of a special property of a suitable graph.