Lich Grid
Lichova mřížka je určitý typ mřížky ve 24-rozměrném prostoru .
Budovy
Konstrukce přes Golayův kód
Leachovou mřížku lze definovat pomocí Golayova kódu typu jako obrázek sady vektorů komprimovaných faktorem tak, že
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
![[24,12,8]](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a5346c89f3c9e9c7beba1655a3fba8122150193)
![2{\sqrt {2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7e70f0d473d5c0f14cd3c10c139f51295788fb5)
![(a_{1},\tečky ,a_{{24}})\in \mathbb{Z } ^{{24}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bec028e3a98e1a78c0fd047a078e22786818c662)
a pro každou třídu j zbytků modulo 4 binární 24bitové slovo v, dané vztahem
patří k .
![{\mathcal {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7b3edab7022ca9e2976651bc59c489513ee9019)
Konstrukce pomocí pseudoeuklidovského podpisového prostoru (25,1)
Leachovu mřížku lze zkonstruovat pomocí pseudoeuklidovského podpisového prostoru (25.1). Konkrétně v tomto prostoru uvažujeme sudou unimodulární mřížku sestávající z vektorů , jejichž souřadnice jsou všechny současně celočíselné nebo současně poloviční, a v tomto případě , jinými slovy, skalární součin s vektorem všech jednotek je sudý.
![{\displaystyle \mathrm {II} _{25,1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e8c69aca1fd38980c23e95f667524b8a05ea91e)
![(x_{0},\tečky ,x_{{25}})](https://wikimedia.org/api/rest_v1/media/math/render/svg/b46fa92e58ed79eed072d07bebca975ba7f13fc8)
![x_{0}+\tečky +x_{{24}}-x_{{25}}\in 2\mathbb{Z }](https://wikimedia.org/api/rest_v1/media/math/render/svg/435c225176fe6edcb5640091f2545851761f2af1)
K takové mřížce patří izotropní vektor . Všimněte si, že vzhledem k izotropii , můžeme proto uvažovat podílový prostor . Omezení skalárního součinu na tento kvocientový prostor (opět kvůli izotropii ) je dobře definované a ukazuje se jako pozitivně definitivní. Průsečíkem původní mřížky s ortogonálním doplňkem při takové faktorizaci bude Leachova mřížka ve výsledném 24-rozměrném euklidovském prostoru [1] .
![u=(0,1,\tečky ,24,70)](https://wikimedia.org/api/rest_v1/media/math/render/svg/ded80b8727ad67289404081962f699a397b2b1ee)
![\langle u\rangle ^{{\perp }}/\langle u\rangle](https://wikimedia.org/api/rest_v1/media/math/render/svg/88ee3d8d726b2783b21ec6e06fad45c66fd54003)
![u](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3e6bb763d22c20916ed4f0bb6bd49d7470cffd8)
![(\langle u\rangle ^{{\perp }}\cap {\mathrm {II}}_{{25,1}})/\langle u\rangle](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d7eabbf4efcc2a5f6cc84cc4c5000f0b25ffa68)
Vlastnosti
- Mřížka Leech implementuje nejhustší [4] [5] balení kuliček v rozměru 24. Hustota balení mřížky Leech je .
![{\displaystyle {\tfrac {\pi ^{12}}{12!}}\cca 0,001930}](https://wikimedia.org/api/rest_v1/media/math/render/svg/847725ddc19f41e15ecd3becb69bcd64b9dd1082)
- Skupina automorfismu Leachovy mřížky je Conwayova grupa Co 0 . Zahrnuje některé sporadické skupiny , včetně Co 1 jako faktorové skupiny Co 0 prostorovou inverzí, Co 2 a Co 3 jako podskupiny. Conwayova skupina má objednávku 8 315 553 613 086 720 000. Ačkoli rotační symetrie Leachovy mřížky je velmi vysoká, její skupina automorfismu nezahrnuje žádné odrazy; jinými slovy, Leachova mřížka je chirální .
Viz také
Literatura
- J. Conway, N. Sloan . Balení koulí, mřížek a skupin. — M.: Mir, 1990.
Poznámky
- ↑ JH Conway, NJA Sloane. Kapitola 26, Věta 3(b) // Sphere packings, lattices and groups (anglicky) . — S. 524.
- ↑ 1 2 "Kontaktní počet kuliček a kulových kódů" Archivní kopie ze 14. října 2008 na Wayback Machine - film ze série " Matematické etudy "
- ↑ 1 2 Weisstein, Eric W. Leech Lattice (anglicky) na webu Wolfram MathWorld .
- ↑ Anotace kurzu V. V. Uspenského The Lich Lattice, aneb Towards the Monster Archival copy ze 7. února 2009 na Wayback Machine
- ↑ Lisa Grossmanová. Nový matematický důkaz ukazuje, jak skládat pomeranče ve 24 rozměrech // New Scientist . - 2016. - 28. března.