Electronic Only Electronic Research Announcements
Electronic Research Announcements
ISSN 1079-6762
Previous volume | Table of contents | Next volume
Articles in press | Most recent volume | All volumes
Previous Article | Next Article
 
Currently published by the American Institute of Mathematical Sciences as Electronic Research Announcements in Mathematical Sciences
 

Classification of eight-dimensional perfect forms

Author(s): Mathieu Dutour Sikiric; Achill Schürmann; Frank Vallentin
Journal: Electron. Res. Announc. Amer. Math. Soc. 13 (2007), 21-32.
MSC (2000): Primary 11H31, 11H55; Secondary 52B55
Posted: April 11, 2007
Retrieve article in: PDF

Abstract | References | Similar articles | Additional information

Abstract: In this paper, we classify the perfect lattices in dimension $ 8$. There are $ 10916$ of them. Our classification heavily relies on exploiting symmetry in polyhedral computations. Here we describe algorithms making the classification possible.

References:

[An03]
M.M. Anzin, On the density of a lattice covering for $ n=11$ and $ n=14$, Tr. Mat. Inst. Steklova 239 (2002), Diskret. Geom. i Geom. Chisel, 20-51; translation in Proc. Steklov Inst. Math. 239-4 (2002) 13-44. MR 1975133 (2004i:11066)

[AMRT75]
A. Ash, D. Mumford, M. Rapoport, and Y. Tai, Smooth compactification of locally symmetric varieties, Lie groups: History, Frontiers and Applications, Vol IV, Math. Sci. Press, Brookline, Mass., 1975. MR 0457437 (56:15642)

[Av93]
D. Avis, A C-implementation of the reverse search vertex enumeration algorithm, School of Computer Science, McGill University, Montreal, Canada 1993, http://www-cgrl.cs.mcgill.ca/~avis/C/lrs.html.

[Ba61]
M.L. Balinski, On the graph structure of convex polyhedra in $ n$-space, Pacific J. Math. 11 (1961) 431-434. MR 0126765 (23:A4059)

[Ba96]
J-L. Baril, Autour de l'algorithme de Voronoi: Construction de réseaux Euclidiens, Thèse, Bordeaux (1996).

[Ba57]
E.S. Barnes, The complete enumeration of extreme senary forms, Phil. Trans. Roy. Soc. London 249-A (1957) 461-506. MR 0086833 (19:251d)

[BaMa05]
C. Batut and J. Martinet, A catalogue of perfect lattices, http://www.math. u-bordeaux.fr/~martinet/.

[Bl35]
H.F. Blichfeldt, The minimum value of positive quadratic forms in six, seven and eight variables, Math. Z. 39 (1935) 1-15. MR 1545485

[Br00]
G. Brinkmann, Isomorphism rejection in structure generation programs, Discrete mathematical chemistry, DIMACS Ser. Discrete Math. Theoret. Comput. Sci. 51 (Amer. Math. Soc., 2000) 25-38. MR 1762931

[ChRo99]
C.S. Chan and D.P. Robbins, On the volume of the polytope of doubly stochastic matrices, Experiment. Math. 8-3 (1999) 291-300. MR 1724161 (2000k:15048)

[ChLo97]
T. Christof and A. Löbel, PORTA: Polyhedron representation transformation algorithm (ver 1.3.1), 1997, http://www.zib.de/Optimization/Software/Porta/.

[ChRe96]
T. Christof and G. Reinelt, Combinatorial optimization and small polytopes, Top (Spanish Statistical and Operations Research Society) 4 (1996) 1-64. MR 1404262 (97g:90107)

[Co93]
H. Cohen, A course in computational algebraic number theory, Graduate texts in mathematics, Springer-Verlag, 1993. MR 1228206 (94i:11105)

[CoKu04]
H. Cohn and A. Kumar, Optimality and uniqueness of the Leech lattice among lattices, http://www.arxiv.org/math.MG/0403263.

[CoSl98]
J.H. Conway and N.J.A. Sloane, Sphere Packings, Lattices and Groups, third edition, volume 290 of Grundlehren der mathematischen Wissenschaften, Springer-Verlag, 1998. MR 1662447 (2000b:11077)

[CoSl88]
J.H. Conway and N.J.A. Sloane, Low-dimensional lattices. III. Perfect forms, Proc. Roy. Soc. London Ser. A 418-1854 (1988) 43-80. MR 953277 (90a:11073)

[Co51]
H.S.M. Coxeter, Extreme forms, Canad. J. Math. 3 (1951) 391-441. MR 0044580 (13:443c)

[DeDu03]
M. Deza and M. Dutour, Cones of metrics, hemi-metrics and super-metrics, Annals of the European Academy of Sciences (2003) 141-162.

[DFPS01]
A. Deza, K. Fukuda, D. Pasechnik, and M. Sato, On the skeleton of the metric polytope, Lecture Notes in Computer Science 2098 Springer-Verlag, Berlin (2001) 125-136. MR 2043643 (2004m:90121)

[Fu95]
K. Fukuda, cdd+ reference manual, Institute for operations research, Swiss Federal Institute of Technology, Zurich, Switzerland, 1995, http://www.ifor.math.ethz.ch/ ~fukuda/cdd_home/cdd.html.

[Ga40]
C.F. Gauss, Untersuchungen über die Eigenschaften der positiven ternären quadratischen Formen von Ludwig August Seeber, J. Reine Angew. Math. 20 (1840) 312-320.

[GAP05]
The GAP Group, GAP -- Groups, Algorithms, and Programming, Version 4.4.6; 2005. http://www.gap-system.org.

[Ja92]
D.O. Jaquet-Chiffelle, Description des voisines de $ E\sb 7,\;D\sb 7,\;D\sb 8$ et $ D\sb 9$, Sém. Théor. Nombres Bordeaux 4-2 (1992) 273-377. MR 1208866 (94e:11035)

[Ja93]
D.O. Jaquet, Énumération complète des formes parfaites en dimension $ 7$, Ann. Inst. Fourier 43-1 (1993) 21-55. MR 1209694 (94d:11048)

[KaSc03]
V. Kaibel and A. Schwartz, On the complexity of polytope isomorphism problems, Graphs Comb. 19-2 (2003) 215-230. MR 1996205 (2004e:05125)

[Ke99]
A. Kerber, Applied finite group actions, second edition, Algorithms and Combinatorics, Springer-Verlag, 1999. MR 1716962 (2000j:05129)

[KoZo72]
A.N. Korkine and E.I. Zolotarev, Sur les formes quadratiques positives quaternaires, Math. Ann. 5 (1872) 581-583. MR 1509795

[KoZo73]
A.N. Korkine and E.I. Zolotarev, Sur les formes quadratiques, Math. Ann. 6 (1873) 366-389. MR 1509828

[KoZo77]
A.N. Korkine and E.I. Zolotarev, Sur les formes quadratiques positives, Math. Ann. 11 (1877) 242-292. MR 1509914

[La73]
J.L. Lagrange, Démonstration d'un théorème d'arithmétique, Nouv. Mém. Acad. Berlin (1770), in Oeuvres de Lagrange III, 189-201.

[La92]
M. Laïhem, Construction algorithmique des réseaux parfaits, Thèse, Bordeaux, 1992.

[La71]
J. Larmouth, The enumeration of perfect forms, in: A.O.L. Atkin and B.J. Birch, eds., Proceedings of the Science Research Council Atlas Symposium No. 2 held at Oxford, 1969 (Academic Press, London-New York, 1971) 237-239. MR 0314733 (47:3285)

[Ma03]
J. Martinet, Perfect lattices in Euclidean spaces, Springer, 2003. MR 1957723 (2003m:11099)

[Ma97]
A. Marzetta, pd - C-implementation of the primal dual algorithm, 1997, http://www. cs.unb.ca/profs/bremner/pd/.

[MKa05]
B.D. McKay, The nauty program, http://cs.anu.edu.au/people/bdm/nauty/.

[Mo44]
L.J. Mordell, Observation on the minimum of a positive quadratic forms in eight variables, J. London Math. Soc. 19 (1944) 3-6. MR 0010708 (6:57e)

[Na96]
H. Napias, Étude expérimentale et algorithmique des réseaux Euclidiens, Thèse, Bordeaux, 1996.

[PlOpSc98]
W. Plesken, J. Opgenorth, and T. Schulz, CARAT--a package for mathematical crystallography, J. Appl. Cryst. 31 (1998) 827-828.

[PlSo97]
W. Plesken and B. Souvignier, Computing isometries of lattices, J. Symbolic Computation 24 (1997) 327-334. MR 1484483 (98i:11047)

[Ri06]
C. Riener, On extreme forms in dimension $ 8$, to appear in J. Théorie des Nombres de Bordeaux, http://www.math.u-bordeaux.fr/~martinet/riener4.pdf.

[Ry70]
S.S. Ryshkov, The polyhedron $ \mu(m)$ and certain extremal problems of the geometry of numbers, Soviet Math. Dokl. 11 (1970) 1240-1244, translation from Dokl. Akad. Nauk SSSR 194 (1970) 514-517. MR 0276873 (43:2613)

[RyBa79]
S.S. Ryshkov, E.P. Baranovski, Classical methods in the theory of lattice packings, Russian Math. Surveys 34 (1979) 1-68, translation of Uspekhi Mat. Nauk 34 (1979) 3-63. MR 548416 (81a:10045)

[Sch86]
A. Schrijver, Theory of Linear and Integer Programming, Wiley, 1986. MR 874114 (88m:90090)

[Sh05]
N.I. Shepherd-Barron, Perfect forms and the moduli space of abelian varieties, Invent. Math. 163-1 (2006) 25-45. MR 2208417 (2007e:14070)

[So05]
C. Soulé, Perfect forms and the Vandiver conjecture, J. Reine Angew. Math. 517 (1999) 209-221. MR 1728540 (2001d:11102)

[Swa85]
G. Swart, Finding the convex hull facet by facet, J. Algorithms 6 (1985) 17-48. MR 780849 (87c:68074)

[Va99]
F. Vallentin, SHVEC, http://www.math.uni-magdeburg.de/lattice_geometry/.

[Ve80]
N.M. Vetchinkin, Uniqueness of the classes of positive quadratic forms on which the values of Hermite constants are attained for $ 6\leq n\leq 8$, Proc. Steklov Inst. Math. 152 (1980) 34-86. MR 603814 (82f:10040)

[Vo08]
G. Voronoi, Nouvelles applications des paramètres continues à la théorie des formes quadratiques 1: Sur quelques propriétés des formes quadratiques positives parfaites, J. Reine Angew. Math 133 (1908) 97-178.

[Wa71]
G.L. Watson, The number of minimum points of a positive quadratic form, Dissertationes Math. Rozprawy Mat. 84 (1971) 1-43. MR 0318061 (47:6610)

[Zi95]
G. Ziegler, Lectures on polytopes, Springer Verlag, 1995. MR 1311028 (96a:52011)

[Zo99]
C. Zong, Sphere packings, Springer Verlag, 1999. MR 1707318 (2000g:52020)

Similar Articles:

Retrieve articles in Electronic Research Announcements with MSC (2000): 11H31, 11H55, 52B55

Retrieve articles in all Journals with MSC (2000): 11H31, 11H55, 52B55

Additional Information:

Mathieu Dutour Sikiric
Affiliation: Institut Rudjer Boskovic, Zagreb, Croatia
Email: Mathieu.Dutour@ens.fr

Achill Schürmann
Affiliation: Otto-von-Guericke-University, Magdeburg, Germany
Email: Achill.Schuermann@Mathematik.Uni-Magdeburg.de

Frank Vallentin
Affiliation: CWI, Amsterdam, The Netherlands
Email: f.vallentin@cwi.nl

DOI: 10.1090/S1079-6762-07-00171-0
PII: S 1079-6762(07)00171-0
Received by editor(s): September 15, 2006
Posted: April 11, 2007
Additional Notes: The second and the third author were supported by the Deutsche Forschungsgemeinschaft (DFG) under grant SCHU 1503/4-1. During the work on this paper the third author was also partially supported by the Edmund Landau Center for Research in Mathematical Analysis and Related Areas, sponsored by the Minerva Foundation (Germany), and he was partially supported by the Netherlands Organization for Scientific Research under grant NWO 639.032.203.
Communicated by: Robert Griess
Copyright of article: Copyright 2007, American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.

  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2009, American Mathematical Society
Privacy Statement 		Search the AMSPowered by Google