In mathematics, the E_8 lattice is a special lattice in R^8. It can be characterized as the unique positive-definite, even, unimodular lattice of rank 8. The name derives from the fact that it is the root lattice of the E_8 root system. The norm of the E_8 lattice (divided by 2) is a positive definite even unimodular quadratic form in 8 variables, and conversely such a quadratic form can be used to construct a positive-definite, even, unimodular lattice of rank 8. The existence of such a form was first shown by H. J. S. Smith in 1867, and the first explicit construction of this quadratic form was given by Korkin and Zolotarev in 1873. The E_8 lattice is also called the Gosset lattice after Thorold Gosset who was one of the first to study the geometry of the lattice itself around 1900. The E_8 lattice is a discrete subgroup of R^8 of full rank (i.e. it spans all of R^8). It can be given explicitly by the set of points Γ_8 ⊂ R^8 such that all the coordinates are integers or all the coordinates are half-integers (a mixture of integers and half-integers is not allowed), and the sum of the eight coordinates is an even integer. In symbols, It is not hard to check that the sum of two lattice points is another lattice point, so that Γ_8 is indeed a subgroup. An alternative description of the E_8 lattice which is sometimes convenient is the set of all points in Γ′_8 ⊂ R^8 such that all the coordinates are integers and the sum of the coordinates is even, or all the coordinates are half-integers and the sum of the coordinates is odd. In symbols, The lattices Γ_8 and Γ′_8 are isomorphic and one may pass from one to the other by changing the signs of any odd number of half-integer coordinates. The lattice Γ_8 is sometimes called the even coordinate system for E_8 while the lattice Γ′_8 is called the odd coordinate system. Unless we specify otherwise we shall work in the even coordinate system. The E_8 lattice Γ_8 can be characterized as the unique lattice in R^8 with the following properties: It is integral, meaning that all scalar products of lattice elements are integers.

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.
Related courses (5)
MSE-305: Introduction to atomic-scale modeling
This course provides an introduction to the modeling of matter at the atomic scale, using interactive Jupyter notebooks to see several of the core concepts of materials science in action.
ME-469: Nano-scale heat transfer
In this course we study heat transfer (and energy conversion) from a microscopic perspective. First we focus on understanding why classical laws (i.e. Fourier Law) are what they are and what are their
MSE-304: Surfaces and interfaces
This lecture introduces the basic concepts used to describe the atomic or molecular structure of surfaces and interfaces and the underlying thermodynamic concepts. The influence of interfaces on the p
Show more
Related lectures (37)
E8 Lattice Optimality
Delves into the construction and optimality of the E8 lattice as the densest sphere packing in dimension eight.
Lattices, Minkowski's Theorem
Explores lattices, Minkowski's Theorem, and properties of symmetric convex sets.
Monstrous Moonshine
Explores Monstrous Moonshine, focusing on the 1979 discovery and its mathematical connections.
Show more
Related publications (79)

Some Mordell-Weil lattices and applications to sphere packings

Gauthier Leterrier

We provide new explicit examples of lattice sphere packings in dimensions 54, 55, 162, 163, 486 and 487 that are the densest known so far, using Kummer families of elliptic curves over global function fields.In some cases, these families of elliptic curves ...
EPFL2024

Mean value theorems for collections of lattices with a prescribed group of symmetries

Nihar Prakash Gargava

Euclidean lattices are mathematical objects of increasing interest in the fields of cryptography and error-correcting codes. This doctoral thesis is a study on high-dimensional lattices with the motivation to understand how efficient they are in terms of b ...
EPFL2024

Six-dimensional sphere packing and linear programming

Maryna Viazovska, Matthew De Courcy-Ireland, Maria Margarethe Dostert

We prove that the Cohn-Elkies linear programming bound for sphere packing is not sharp in dimension 6. The proof uses duality and optimization over a space of modular forms, generalizing a construction of Cohn- Triantafillou [Math. Comp. 91 (2021), pp. 491 ...
Amer Mathematical Soc2024
Show more
Related concepts (15)
Unimodular lattice
In geometry and mathematical group theory, a unimodular lattice is an integral lattice of determinant 1 or −1. For a lattice in n-dimensional Euclidean space, this is equivalent to requiring that the volume of any fundamental domain for the lattice be 1. The E8 lattice and the Leech lattice are two famous examples. A lattice is a free abelian group of finite rank with a symmetric bilinear form (·, ·). The lattice is integral if (·,·) takes integer values. The dimension of a lattice is the same as its rank (as a Z-module).
4 21 polytope
DISPLAYTITLE:4 21 polytope In 8-dimensional geometry, the 421 is a semiregular uniform 8-polytope, constructed within the symmetry of the E8 group. It was discovered by Thorold Gosset, published in his 1900 paper. He called it an 8-ic semi-regular figure. Its Coxeter symbol is 421, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 4-node sequences, . The rectified 421 is constructed by points at the mid-edges of the 421. The birectified 421 is constructed by points at the triangle face centers of the 421.
Leech lattice
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.
Show more

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.