Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Leech lattice
Summary
In mathematics, the Leech lattice is an even unimodular lattice Λ24 in 24-dimensional Euclidean space, which is one of the best models for the kissing number problem. It was discovered by . It may also have been discovered (but not published) by Ernst Witt in 1940.
The Leech lattice Λ24 is the unique lattice in 24-dimensional Euclidean space, E24, with the following list of properties:
It is unimodular; i.e., it can be generated by the columns of a certain 24×24 matrix with determinant 1.
It is even; i.e., the square of the length of each vector in Λ24 is an even integer.
The length of every non-zero vector in Λ24 is at least 2.
The last condition is equivalent to the condition that unit balls centered at the points of Λ24 do not overlap. Each is tangent to 196,560 neighbors, and this is known to be the largest number of non-overlapping 24-dimensional unit balls that can simultaneously touch a single unit ball. This arrangement of 196,560 unit balls centred about another unit ball is so efficient that there is no room to move any of the balls; this configuration, together with its mirror-image, is the only 24-dimensional arrangement where 196,560 unit balls simultaneously touch another. This property is also true in 1, 2 and 8 dimensions, with 2, 6 and 240 unit balls, respectively, based on the integer lattice, hexagonal tiling and E8 lattice, respectively.
It has no root system and in fact is the first unimodular lattice with no roots (vectors of norm less than 4), and therefore has a centre density of 1. By multiplying this value by the volume of a unit ball in 24 dimensions, , one can derive its absolute density.
showed that the Leech lattice is isometric to the set of simple roots (or the Dynkin diagram) of the reflection group of the 26-dimensional even Lorentzian unimodular lattice II25,1. By comparison, the Dynkin diagrams of II9,1 and II17,1 are finite.
The binary Golay code, independently developed in 1949, is an application in coding theory.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.