Computer-assisted proofs | Disproved conjectures | Cubes | Parametric families of graphs | Tessellation
Keller's conjecture
In geometry, Keller's conjecture is the conjecture that in any tiling of n-dimensional Euclidean space by identical hypercubes, there are two hypercubes that share an entire (n − 1)-dimensional face with each other. For instance, in any tiling of the plane by identical squares, some two squares must share an entire edge, as they do in the illustration. This conjecture was introduced by Ott-Heinrich Keller, after whom it is named. A breakthrough by Lagarias and Shor showed that it is false in ten or more dimensions, and after subsequent refinements, it is now known to be true in spaces of dimension at most seven and false in all higher dimensions. The proofs of these results use a reformulation of the problem in terms of the clique number of certain graphs now known as Keller graphs. The related Minkowski lattice cube-tiling conjecture states that whenever a tiling of space by identical cubes has the additional property that the cubes' centers form a lattice, some cubes must meet face-to-face. It was proved by György Hajós in 1942. , , and give surveys of work on Keller's conjecture and related problems. (Wikipedia).
