Enumerating Perfect Lattices - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T01:03:34Z http://mathoverflow.net/feeds/question/85021 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/85021/enumerating-perfect-lattices Enumerating Perfect Lattices Kap 2012-01-06T01:34:49Z 2012-02-22T08:14:40Z <p>I have a question regarding enumeration of perfect lattices/quadratic forms. In the thesis of Achill Schürmann <a href="http://fma2.math.uni-magdeburg.de/~achill/public/habil.pdf" rel="nofollow">http://fma2.math.uni-magdeburg.de/~achill/public/habil.pdf</a> there is an algorithm called "Voronoi's algorithm" in chapter 3, used to enumerate arithmetically inequivalent perfect quadratic forms (meaning the forms cannot be obtained one from another by scaling with a constant or applying a unimodular transformation, where the latter corresponds to a change in the basis of the lattice associated to a certain quadratic form). It is denoted as Algorithm 1 in the thesis, and is on page 49. I wonder how this algorithm can stop? I suspect that the bound on a quadratic form developed at the end of the proof of Theorem 3.1.3.2 on page 48 is used to have a stopping condition. That bound basically says that all inequivalent quadratic forms have a bounded trace depending only on the dimension and the minimum distance. I wonder whether anyone knows how this algorithm can stop? Also, in a lattice problem that I have, the upper bound I have developed is much lower than the one presented in the end of the proof of Theorem 3.1.3.2 for high dimensions, so then I'm wondering whether Voronoi's algorithm can be efficient for enumerating all perfect forms for my problem? Is it so that the bottleneck of that enumeration algorithm is that it is hard to find extreme rays of polytopes in high dimensions? In that case, it might not be efficient for my problem too. Is there a faster algorithm than Voronoi's? Grateful for any comments.</p> http://mathoverflow.net/questions/85021/enumerating-perfect-lattices/85025#85025 Answer by Henry Cohn for Enumerating Perfect Lattices Henry Cohn 2012-01-06T02:18:54Z 2012-01-06T02:18:54Z <p>The algorithm stops when you don't get any more perfect forms. Specifically, at each step you determine all the contiguous forms \$Q_i\$ and test whether they are equivalent to forms you already knew. For all the ones that aren't, you add them to the list and iterate to determine all the forms contiguous to them, etc., so your list keeps getting longer and longer. At some point all of the contiguous forms will already be on the list, and then you are done.</p> <p>Theorem 3.1.3.2 shows that there are only finitely many perfect forms, so the algorithm must eventually terminate, but the specific bound is not used in the algorithm.</p> <p>You are right that finding extreme rays of polytopes in high dimensions is the bottleneck. To deal with the 8-dimensional case, you need to take advantage of all available symmetries (see Appendix A), and 9 dimensions has not been completed.</p> http://mathoverflow.net/questions/85021/enumerating-perfect-lattices/85027#85027 Answer by Will Jagy for Enumerating Perfect Lattices Will Jagy 2012-01-06T02:40:37Z 2012-01-06T03:04:52Z <p>You seem to need lots of background. See the site of <a href="http://www.math.u-bordeaux1.fr/~martinet/" rel="nofollow">MARTINET</a> and his page of perfect lattices <a href="http://www.math.u-bordeaux1.fr/~martinet/Lattices/index.html" rel="nofollow">PERFECT</a>. Then there is his <a href="http://www.springer.com/mathematics/numbers/book/978-3-540-44236-3" rel="nofollow">BOOK</a> </p> <p>A colleague of Martinet not using MO is <a href="http://www.math.rwth-aachen.de/homes/Gabriele.Nebe/index.html.en" rel="nofollow">NEBE</a>, who has published extensively on your topic. She also maintains <a href="http://www.math.rwth-aachen.de/~Gabriele.Nebe/LATTICES/" rel="nofollow">CATALOGUE</a> with Sloane.</p> http://mathoverflow.net/questions/85021/enumerating-perfect-lattices/89165#89165 Answer by Mathieu Dutour Sikiric for Enumerating Perfect Lattices Mathieu Dutour Sikiric 2012-02-22T08:14:40Z 2012-02-22T08:14:40Z <p>Voronoi Algorithm is about optimal if you are interested in enumerating all perfect form. The problem is that usually one is interested in enumerating the ones with some specific property (high packing density, etc.) but there is no way that I know to restrict the enumeration.</p> <p>The algorithm works by finding an initial perfect form, finding the adjacent perfect form, testing for isomorphism and finishing when all perfect forms have been enumerated. There are three key algorithm in the computation: testing for isomorphism, flipping the form to the adjacent one and computing facets of the perfect cone. Of those the first two are usually ok and the last one is the one that causes problems.</p> <p>The best is probably to use an empirical approach of running the enumeration and seeing how much form it finds. Using this in dimension 9, 500000 perfect forms were found and it is likely that the number is much higher hence uncomputable. If the number is not too large, then it may be possible to prove that the list is complete by solving those hard dual description problems.</p>