Showing 1–42 of 42 results for author: Schürmann, A

Perfect Copositive Matrices

Authors: Valentin Dannenberg, Achill Schürmann

Abstract: In this paper we give a first study of perfect copositive $n \times n$ matrices. They can be used to find rational certificates for completely positive matrices. We describe similarities and differences to classical perfect, positive definite matrices. Most of the differences occur only for $n \geq 3$, where we find for instance lower rank and indefinite perfect matrices. Nevertheless, we find for… ▽ More In this paper we give a first study of perfect copositive $n \times n$ matrices. They can be used to find rational certificates for completely positive matrices. We describe similarities and differences to classical perfect, positive definite matrices. Most of the differences occur only for $n \geq 3$, where we find for instance lower rank and indefinite perfect matrices. Nevertheless, we find for all $n$ that for every classical perfect matrix there is an arithmetically equivalent one which is also perfect copositive. Furthermore we study the neighborhood graph and polyhedral structure of perfect copositive matrices. As an application we obtain a new characterization of the cone of completely positive matrices: It is equal to the set of nonnegative matrices having a nonnegative inner product with all perfect copositive matrices. △ Less

Submitted 17 July, 2023; v1 submitted 30 March, 2023; originally announced March 2023.

Comments: 20 pages, 1 figure

MSC Class: 11H55 (Primary) 11H50; 90C20 (Secondary)

Journal ref: Communications in Mathematics, Volume 31 (2023), Issue 2 (Special issue: Euclidean lattices: theory and applications) (July 16, 2023) cm:11141

Sailing League Problems

Authors: Robert Schüler, Achill Schürmann

Abstract: We describe a class of combinatorial design problems which typically occur in professional sailing league competitions. We discuss connections to resolvable block designs and equitable coverings and to scheduling problems in operations research. We in particular give suitable boolean quadratic and integer linear optimization problem formulations, as well as further heuristics and restrictions, tha… ▽ More We describe a class of combinatorial design problems which typically occur in professional sailing league competitions. We discuss connections to resolvable block designs and equitable coverings and to scheduling problems in operations research. We in particular give suitable boolean quadratic and integer linear optimization problem formulations, as well as further heuristics and restrictions, that can be used to solve sailing league problems in practice. We apply those techniques to three case studies obtained from real sailing leagues and compare the results with previously used tournament plans. △ Less

Submitted 22 December, 2023; v1 submitted 6 December, 2022; originally announced December 2022.

Comments: 22 pages, improved exposition, added additional references

MSC Class: 05B05 (Primary) 90C90; 90C20; 90C10 (Secondary)

A simplex algorithm for rational cp-factorization

Authors: Mathieu Dutour Sikirić, Achill Schürmann, Frank Vallentin

Abstract: In this paper we provide an algorithm, similar to the simplex algorithm, which determines a rational cp-factorization of a given matrix, whenever the matrix allows such a factorization. This algorithm can be used to show that every integral completely positive $2 \times 2$ matrix has an integral cp-factorization. In this paper we provide an algorithm, similar to the simplex algorithm, which determines a rational cp-factorization of a given matrix, whenever the matrix allows such a factorization. This algorithm can be used to show that every integral completely positive $2 \times 2$ matrix has an integral cp-factorization. △ Less

Submitted 25 January, 2020; v1 submitted 3 July, 2018; originally announced July 2018.

Comments: (v4) 18 pages, some small corrections, to appear in Mathematical Programming

MSC Class: 90C20; 11H50; 11H55

Journal ref: Math. Program. 187 (2021), 25-45

Local Energy Optimality of Periodic Sets

Authors: Renaud Coulangeon, Achill Schürmann

Abstract: We study the local optimality of periodic point sets in $\mathbb{R}^n$ for energy minimization in the Gaussian core model, that is, for radial pair potential functions $f_c(r)=e^{-c r}$ with $c>0$. By considering suitable parameter spaces for $m$-periodic sets, we can locally rigorously analyze the energy of point sets, within the family of periodic sets having the same point density. We derive a… ▽ More We study the local optimality of periodic point sets in $\mathbb{R}^n$ for energy minimization in the Gaussian core model, that is, for radial pair potential functions $f_c(r)=e^{-c r}$ with $c>0$. By considering suitable parameter spaces for $m$-periodic sets, we can locally rigorously analyze the energy of point sets, within the family of periodic sets having the same point density. We derive a characterization of periodic point sets being $f_c$-critical for all $c$ in terms of weighted spherical $2$-designs contained in the set. Especially for $2$-periodic sets like the family $\mathsf{D}^+_n$ we obtain expressions for the hessian of the energy function, allowing to certify $f_c$-optimality in certain cases. For odd integers $n\geq 9$ we can hereby in particular show that $\mathsf{D}^+_n$ is locally $f_c$-optimal among periodic sets for all sufficiently large~$c$. △ Less

Submitted 6 February, 2018; originally announced February 2018.

Comments: 27 pages, 2 figures

MSC Class: 82B; 52C; 11H

Journal ref: Communications in Number Theory and Physics, Volume 15 (2021), Number 3, 489--516

Local Formulas for Ehrhart Coefficients from Lattice Tiles

Authors: Maren H. Ring, Achill Schürmann

Abstract: As shown by McMullen in 1983, the coefficients of the Ehrhart polynomial of a lattice polytope can be written as a weighted sum of facial volumes. The weights in such a local formula depend only on the outer normal cones of faces, but are far from being unique. In this paper, we develop an infinite class of such local formulas. These are based on choices of fundamental domains in sublattices and o… ▽ More As shown by McMullen in 1983, the coefficients of the Ehrhart polynomial of a lattice polytope can be written as a weighted sum of facial volumes. The weights in such a local formula depend only on the outer normal cones of faces, but are far from being unique. In this paper, we develop an infinite class of such local formulas. These are based on choices of fundamental domains in sublattices and obtained by polyhedral volume computations. We hereby also give a kind of geometric interpretation for the Ehrhart coefficients. Since our construction gives us a great variety of possible local formulas, these can, for instance, be chosen to fit well with a given polyhedral symmetry group. In contrast to other constructions of local formulas, ours does not rely on triangulations of rational cones into simplicial or even unimodular ones. △ Less

Submitted 6 May, 2019; v1 submitted 29 September, 2017; originally announced September 2017.

Comments: minor corrections, simplified notation

MSC Class: 52C (Primary) 11H; 52B (Secondary)

Equivalence of Lattice Orbit Polytopes

Authors: Frieder Ladisch, Achill Schürmann

Abstract: Let $G$ be a finite permutation group acting on $\mathbb{R}^d$ by permuting coordinates. A core point (for $G$) is an integral vector $z\in \mathbb{Z}^d$ such that the convex hull of the orbit $Gz$ contains no other integral vectors but those in the orbit $Gz$. Herr, Rehn and Schürmann considered the question for which groups there are infinitely many core points up to translation equivalence, tha… ▽ More Let $G$ be a finite permutation group acting on $\mathbb{R}^d$ by permuting coordinates. A core point (for $G$) is an integral vector $z\in \mathbb{Z}^d$ such that the convex hull of the orbit $Gz$ contains no other integral vectors but those in the orbit $Gz$. Herr, Rehn and Schürmann considered the question for which groups there are infinitely many core points up to translation equivalence, that is, up to translation by vectors fixed by the group. In the present paper, we propose a coarser equivalence relation for core points called normalizer equivalence. These equivalence classes often contain infinitely many vectors up to translation, for example when the group admits an irrational invariant subspace or an invariant irreducible subspace occurring with multiplicity greater than $1$. We also show that the number of core points up to normalizer equivalence is finite if $G$ is a so-called QI-group. These groups include all transitive permutation groups of prime degree. We give an example to show how the concept of normalizer equivalence can be used to simplify integer convex optimization problems. △ Less

Submitted 29 June, 2018; v1 submitted 3 March, 2017; originally announced March 2017.

Comments: v3: small changes in introduction, only minor changes (typos etc.) otherwise. Final version. v2: Comments by referees incorporated, various small improvements, numbering of results changed. 26 pages, PdfLatex + Biblatex

MSC Class: 20C10 (Primary); 16U60; 20B25; 20C15; 52B20; 90C10 (Secondary)

Journal ref: SIAM J. Appl. Algebra Geom. 2 (2018), no. 2, pp. 259--280

Rational factorizations of completely positive matrices

Authors: Mathieu Dutour Sikirić, Achill Schürmann, Frank Vallentin

Abstract: In this note it is proved that every rational matrix which lies in the interior of the cone of completely positive matrices also has a rational cp-factorization. In this note it is proved that every rational matrix which lies in the interior of the cone of completely positive matrices also has a rational cp-factorization. △ Less

Submitted 6 February, 2017; v1 submitted 11 January, 2017; originally announced January 2017.

Comments: 4 pages, (v2) minor revision, accepted in Linear Algebra and its Applications

MSC Class: 90C25

Journal ref: Linear Algebra and its Applications 523 (2017) 46-51

The complete classification of five-dimensional Dirichlet-Voronoi polyhedra of translational lattices

Authors: Mathieu Dutour Sikirić, Alexey Garber, Achill Schürmann, Clara Waldmann

Abstract: In this paper we report on the full classification of Dirichlet-Voronoi polyhedra and Delaunay subdivisions of five-dimensional translational lattices. We obtain a complete list of $110244$ affine types (L-types) of Delaunay subdivisions and it turns out that they are all combinatorially inequivalent, giving the same number of combinatorial types of Dirichlet-Voronoi polyhedra. Using a refinement… ▽ More In this paper we report on the full classification of Dirichlet-Voronoi polyhedra and Delaunay subdivisions of five-dimensional translational lattices. We obtain a complete list of $110244$ affine types (L-types) of Delaunay subdivisions and it turns out that they are all combinatorially inequivalent, giving the same number of combinatorial types of Dirichlet-Voronoi polyhedra. Using a refinement of corresponding secondary cones, we obtain $181394$ contraction types. We report on details of our computer assisted enumeration, which we verified by three independent implementations and a topological mass formula check. △ Less

Submitted 13 July, 2016; v1 submitted 30 June, 2015; originally announced July 2015.

Comments: 16 pages

MSC Class: 51M20; 52B12; 11H55

Journal ref: Acta Crystallographica A72 (2016), 673--683

On the toplogical computation of K4 of the Gaussian and Eisenstein integers

Authors: Mathieu Dutour Sikiric, Herbert Gangl, Paul E. Gunnells, Jonathan Hanke, Achill Schuermann, Dan Yasaki

Abstract: In this paper we use topological tools to investigate the structure of the algebraic K-groups K_4 (Z[i]) and K_4 (Z[rho]), where i := sqrt{-1} and rho := (1+sqrt{-3})/2. We exploit the close connection between homology groups of GL_n(R) for n <= 5 and those of related classifying spaces, then compute the former using Voronoi's reduction theory of positive definite quadratic and Hermitian forms to… ▽ More In this paper we use topological tools to investigate the structure of the algebraic K-groups K_4 (Z[i]) and K_4 (Z[rho]), where i := sqrt{-1} and rho := (1+sqrt{-3})/2. We exploit the close connection between homology groups of GL_n(R) for n <= 5 and those of related classifying spaces, then compute the former using Voronoi's reduction theory of positive definite quadratic and Hermitian forms to produce a very large finite cell complex on which GL_n(R) acts. Our main result is that K_4 (Z[i]) and K_4 (Z[rho]) have no p-torsion for p >= 5. △ Less

Submitted 8 August, 2018; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: addresses referee's comments

MSC Class: Primary 19D50; Secondary 11F75

Exploiting Symmetries in Polyhedral Computations

Authors: Achill Schürmann

Abstract: In this note we give a short overview on symmetry exploiting techniques in three different branches of polyhedral computations: The representation conversion problem, integer linear programming and lattice point counting. We describe some of the future challenges and sketch some directions of potential developments. In this note we give a short overview on symmetry exploiting techniques in three different branches of polyhedral computations: The representation conversion problem, integer linear programming and lattice point counting. We describe some of the future challenges and sketch some directions of potential developments. △ Less

Submitted 20 June, 2014; originally announced June 2014.

Comments: 12 pages; short survey

MSC Class: Primary: 52B15; Secondary: 90C10; 20C99; 11P21

Journal ref: Fields Institute Communications, 69 (2013), 265-278

On Lattice-Free Orbit Polytopes

Authors: Katrin Herr, Thomas Rehn, Achill Schürmann

Abstract: Given a permutation group acting on coordinates of $\mathbb{R}^n$, we consider lattice-free polytopes that are the convex hull of an orbit of one integral vector. The vertices of such polytopes are called \emph{core points} and they play a key role in a recent approach to exploit symmetry in integer convex optimization problems. Here, naturally the question arises, for which groups the number of c… ▽ More Given a permutation group acting on coordinates of $\mathbb{R}^n$, we consider lattice-free polytopes that are the convex hull of an orbit of one integral vector. The vertices of such polytopes are called \emph{core points} and they play a key role in a recent approach to exploit symmetry in integer convex optimization problems. Here, naturally the question arises, for which groups the number of core points is finite up to translations by vectors fixed by the group. In this paper we consider transitive permutation groups and prove this type of finiteness for the $2$-homogeneous ones. We provide tools for practical computations of core points and obtain a complete list of representatives for all $2$-homogeneous groups up to degree twelve. For transitive groups that are not $2$-homogeneous we conjecture that there exist infinitely many core points up to translations by the all-ones-vector. We prove our conjecture for two large classes of groups: For imprimitive groups and groups that have an irrational invariant subspace. △ Less

Submitted 4 September, 2014; v1 submitted 15 January, 2014; originally announced January 2014.

Comments: 27 pages, 2 figures; with minor adaptions according to referee comments; to appear in Discrete and Computational Geometry

MSC Class: Primary: 52B15; Secondary: 90C10; 20C99

Journal ref: Discrete & Computational Geometry, 53 (2015), 144-172

On the cohomology of linear groups over imaginary quadratic fields

Authors: Herbert Gangl, Paul E. Gunnells, Jonathan Hanke, Achill Schuermann, Mathieu Dutour Sikiric, Dan Yasaki

Abstract: Let Gamma be the group GL_N (OO_D), where OO_D is the ring of integers in the imaginary quadratic field with discriminant D<0. In this paper we investigate the cohomology of Gamma for N=3,4 and for a selection of discriminants: D >= -24 when N=3, and D=-3,-4 when N=4. In particular we compute the integral cohomology of Gamma up to p-power torsion for small primes p. Our main tool is the polyhedral… ▽ More Let Gamma be the group GL_N (OO_D), where OO_D is the ring of integers in the imaginary quadratic field with discriminant D<0. In this paper we investigate the cohomology of Gamma for N=3,4 and for a selection of discriminants: D >= -24 when N=3, and D=-3,-4 when N=4. In particular we compute the integral cohomology of Gamma up to p-power torsion for small primes p. Our main tool is the polyhedral reduction theory for Gamma developed by Ash and Koecher. Our results extend work of Staffeldt, who treated the case n=3, D=-4. In a sequel to this paper, we will apply some of these results to the computations with the K-groups K_4 (OO_{D}), when D=-3,-4. △ Less

Submitted 25 November, 2013; v1 submitted 3 July, 2013; originally announced July 2013.

MSC Class: 11F75; 11F67; 20J06

Formal duality and generalizations of the Poisson summation formula

Authors: Henry Cohn, Abhinav Kumar, Christian Reiher, Achill Schürmann

Abstract: We study the notion of formal duality introduced by Cohn, Kumar, and Schürmann in their computational study of energy-minimizing particle configurations in Euclidean space. In particular, using the Poisson summation formula we reformulate formal duality as a combinatorial phenomenon in finite abelian groups. We give new examples related to Gauss sums and make some progress towards classifying form… ▽ More We study the notion of formal duality introduced by Cohn, Kumar, and Schürmann in their computational study of energy-minimizing particle configurations in Euclidean space. In particular, using the Poisson summation formula we reformulate formal duality as a combinatorial phenomenon in finite abelian groups. We give new examples related to Gauss sums and make some progress towards classifying formally dual configurations. △ Less

Submitted 26 November, 2016; v1 submitted 28 June, 2013; originally announced June 2013.

Comments: 18 pages

MSC Class: Primary 05B40; 11H31; Secondary 52C17

Journal ref: AMS Contemporary Mathematics 625 (2014), 123-140

Smoothness and singularities of the perfect form and the second Voronoi compactification of ${\mathcal A}_g$

Authors: Mathieu Dutour Sikirić, Klaus Hulek, Achill Schürmann

Abstract: We study the cones in the first Voronoi or perfect cone decomposition of quadratic forms with respect to the question which of these cones are basic or simplicial. As a consequence we deduce that the singular locus of the moduli stack ${\mathcal A_g^{\mathop{Perf}}}$, the toroidal compactification of the moduli space of principally polarized abelian varieties of dimension $g$ given by this decompo… ▽ More We study the cones in the first Voronoi or perfect cone decomposition of quadratic forms with respect to the question which of these cones are basic or simplicial. As a consequence we deduce that the singular locus of the moduli stack ${\mathcal A_g^{\mathop{Perf}}}$, the toroidal compactification of the moduli space of principally polarized abelian varieties of dimension $g$ given by this decomposition, has codimension $10$ if $g \geq 4$. Moreover we describe the non-simplicial locus in codimension $10$. We also show that the second Voronoi compactification ${\mathcal A_{g}^{\mathop{Vor}}}$ has singularities in codimension $3$ for $g\geq 5$. △ Less

Submitted 24 March, 2015; v1 submitted 23 March, 2013; originally announced March 2013.

Comments: 16 pages; to appear in Algebraic Geometry

Strict Periodic Extreme Lattices

Authors: Achill Schürmann

Abstract: A lattice is called periodic extreme if it cannot locally be modified to yield a better periodic sphere packing. It is called strict periodic extreme if its sphere packing density is an isolated local optimum among periodic point sets. In this note we show that a lattice is periodic extreme if and only if it is extreme, that is, locally optimal among lattices. Moreover, we show that a lattice is s… ▽ More A lattice is called periodic extreme if it cannot locally be modified to yield a better periodic sphere packing. It is called strict periodic extreme if its sphere packing density is an isolated local optimum among periodic point sets. In this note we show that a lattice is periodic extreme if and only if it is extreme, that is, locally optimal among lattices. Moreover, we show that a lattice is strict periodic extreme if and only if it is extreme and non-floating. △ Less

Submitted 23 November, 2012; originally announced November 2012.

Comments: 6 pages; to appear in AMS Contemporary Mathematics issue on "Diophantine Methods, Lattices, and Arithmetic Theory of Quadratic Forms", edited by Wai Kiu Chan, Lenny Fukshansky, Rainer Schulze-Pillot, and Jeff Vaaler

MSC Class: 52C17 (Primary) 11H55 (Secondary)

Journal ref: in Proceedings of the BIRS Workshop on Diophantine Methods, Lattices, and Arithmetic Theory of Quadratic Forms, AMS Contemporary Mathematics, 587 (2013), 185-190

Computing symmetry groups of polyhedra

Authors: David Bremner, Mathieu Dutour Sikiric, Dmitrii V. Pasechnik, Thomas Rehn, Achill Schürmann

Abstract: Knowing the symmetries of a polyhedron can be very useful for the analysis of its structure as well as for practical polyhedral computations. In this note, we study symmetry groups preserving the linear, projective and combinatorial structure of a polyhedron. In each case we give algorithmic methods to compute the corresponding group and discuss some practical experiences. For practical purposes t… ▽ More Knowing the symmetries of a polyhedron can be very useful for the analysis of its structure as well as for practical polyhedral computations. In this note, we study symmetry groups preserving the linear, projective and combinatorial structure of a polyhedron. In each case we give algorithmic methods to compute the corresponding group and discuss some practical experiences. For practical purposes the linear symmetry group is the most important, as its computation can be directly translated into a graph automorphism problem. We indicate how to compute integral subgroups of the linear symmetry group that are used for instance in integer linear programming. △ Less

Submitted 25 March, 2014; v1 submitted 30 September, 2012; originally announced October 2012.

Comments: 20 pages, 1 figure; containing a corrected and improved revision

MSC Class: 52B15; 20B25

Journal ref: LMS J. Comput. Math. 17 (2014) 565-581

Exploiting Symmetry in Integer Convex Optimization using Core Points

Authors: Katrin Herr, Thomas Rehn, Achill Schürmann

Abstract: We consider convex programming problems with integrality constraints that are invariant under a linear symmetry group. To decompose such problems we introduce the new concept of core points, i.e., integral points whose orbit polytopes are lattice-free. For symmetric integer linear programs we describe two algorithms based on this decomposition. Using a characterization of core points for direct pr… ▽ More We consider convex programming problems with integrality constraints that are invariant under a linear symmetry group. To decompose such problems we introduce the new concept of core points, i.e., integral points whose orbit polytopes are lattice-free. For symmetric integer linear programs we describe two algorithms based on this decomposition. Using a characterization of core points for direct products of symmetric groups, we show that prototype implementations can compete with state-of-the-art commercial solvers, and solve an open MIPLIB problem. △ Less

Submitted 26 February, 2013; v1 submitted 2 February, 2012; originally announced February 2012.

Comments: 15 pages; small changes according to suggestions of a referee; to appear in Operations Research Letters

MSC Class: 90C10; 20C99

Journal ref: Exploiting Symmetry in Integer Convex Optimization using Core Points, Operations Research Letters, 41 (2013), 298-304

Exploiting Polyhedral Symmetries in Social Choice

Authors: Achill Schürmann

Abstract: A large amount of literature in social choice theory deals with quantifying the probability of certain election outcomes. One way of computing the probability of a specific voting situation under the Impartial Anonymous Culture assumption is via counting integral points in polyhedra. Here, Ehrhart theory can help, but unfortunately the dimension and complexity of the involved polyhedra grows rapid… ▽ More A large amount of literature in social choice theory deals with quantifying the probability of certain election outcomes. One way of computing the probability of a specific voting situation under the Impartial Anonymous Culture assumption is via counting integral points in polyhedra. Here, Ehrhart theory can help, but unfortunately the dimension and complexity of the involved polyhedra grows rapidly with the number of candidates. However, if we exploit available polyhedral symmetries, some computations become possible that previously were infeasible. We show this in three well known examples: Condorcet's paradox, Condorcet efficiency of plurality voting and in Plurality voting vs Plurality Runoff. △ Less

Submitted 24 March, 2012; v1 submitted 7 September, 2011; originally announced September 2011.

Comments: 14 pages; with minor improvements; to be published in Social Choice and Welfare

MSC Class: 91B; 52B

Journal ref: Social Choice and Welfare, 40 (2013), 1097-1110

Bases of minimal vectors in lattices, III

Authors: Jacques Martinet, Achill Schürmann

Abstract: We prove that all Euclidean lattices of dimension $n\le 9$ which are generated by their minimal vectors, also possess a basis of minimal vectors. By providing a new counterexample, we show that this is not the case for all dimensions $n\ge 10$. We prove that all Euclidean lattices of dimension $n\le 9$ which are generated by their minimal vectors, also possess a basis of minimal vectors. By providing a new counterexample, we show that this is not the case for all dimensions $n\ge 10$. △ Less

Submitted 2 September, 2011; v1 submitted 30 May, 2011; originally announced May 2011.

Comments: 16 pages, contains minor changes suggested by referee

MSC Class: 11H55

Journal ref: International Journal of Number Theory, 8 (2012), 551-564

On the integral homology of PSL4(Z) and other arithmetic groups

Authors: Mathieu Dutour Sikiric, Graham Ellis, Achill Schuermann

Abstract: We determine the integral homology of PSL4(Z) in degrees at most 5 and determine its p-part in higher degrees for the primes p>=5. Our method applies to other arithmetic groups; as illustrations we include descriptions of the integral homology of PGL3(Z[i]) and PGL3(Z[\exp(2π{i}/3)]) in degrees at most 5. We determine the integral homology of PSL4(Z) in degrees at most 5 and determine its p-part in higher degrees for the primes p>=5. Our method applies to other arithmetic groups; as illustrations we include descriptions of the integral homology of PGL3(Z[i]) and PGL3(Z[\exp(2π{i}/3)]) in degrees at most 5. △ Less

Submitted 24 January, 2011; originally announced January 2011.

Comments: 9 pages

Journal ref: Journal of Number Theory 131 (2011), 2368-2375

Bounds on generalized Frobenius numbers

Authors: Lenny Fukshansky, Achill Schürmann

Abstract: Let $N \geq 2$ and let $1 < a_1 < ... < a_N$ be relatively prime integers. The Frobenius number of this $N$-tuple is defined to be the largest positive integer that has no representation as $\sum_{i=1}^N a_i x_i$ where $x_1,...,x_N$ are non-negative integers. More generally, the $s$-Frobenius number is defined to be the largest positive integer that has precisely $s$ distinct representations like… ▽ More Let $N \geq 2$ and let $1 < a_1 < ... < a_N$ be relatively prime integers. The Frobenius number of this $N$-tuple is defined to be the largest positive integer that has no representation as $\sum_{i=1}^N a_i x_i$ where $x_1,...,x_N$ are non-negative integers. More generally, the $s$-Frobenius number is defined to be the largest positive integer that has precisely $s$ distinct representations like this. We use techniques from the Geometry of Numbers to give upper and lower bounds on the $s$-Frobenius number for any nonnegative integer $s$. △ Less

Submitted 5 July, 2011; v1 submitted 29 August, 2010; originally announced August 2010.

Comments: We include an appendix with an erratum and addendum to the published version of this paper: two inaccuracies in the statement of Theorem 2.2 are corrected and additional bounds on s-Frobenius numbers are derived

MSC Class: 11D07; 11H06; 52C07; 11D45

Journal ref: European Journal of Combinatorics, vol. 32 no. 3 (2011) pg. 361--368

Inhomogeneous extreme forms

Authors: Mathieu Dutour Sikiric, Achill Schuermann, Frank Vallentin

Abstract: G.F. Voronoi (1868-1908) wrote two memoirs in which he describes two reduction theories for lattices, well-suited for sphere packing and covering problems. In his first memoir a characterization of locally most economic packings is given, but a corresponding result for coverings has been missing. In this paper we bridge the two classical memoirs. By looking at the covering problem from a differe… ▽ More G.F. Voronoi (1868-1908) wrote two memoirs in which he describes two reduction theories for lattices, well-suited for sphere packing and covering problems. In his first memoir a characterization of locally most economic packings is given, but a corresponding result for coverings has been missing. In this paper we bridge the two classical memoirs. By looking at the covering problem from a different perspective, we discover the missing analogue. Instead of trying to find lattices giving economical coverings we consider lattices giving, at least locally, very uneconomical ones. We classify local covering maxima up to dimension 6 and prove their existence in all dimensions beyond. New phenomena arise: Many highly symmetric lattices turn out to give uneconomical coverings; the covering density function is not a topological Morse function. Both phenomena are in sharp contrast to the packing problem. △ Less

Submitted 24 September, 2011; v1 submitted 27 August, 2010; originally announced August 2010.

Comments: 22 pages, revision based on suggestions by referee, accepted in Annales de l'Institut Fourier

MSC Class: 11H55; 52C17

Journal ref: Annales de l'institut Fourier 62 (2012), 2227-2255

Energy minimization, periodic sets and spherical designs

Authors: Renaud Coulangeon, Achill Schürmann

Abstract: We study energy minimization for pair potentials among periodic sets in Euclidean spaces. We derive some sufficient conditions under which a point lattice locally minimizes the energy associated to a large class of potential functions. This allows in particular to prove a local version of Cohn and Kumar's conjecture that $\mathsf{A}_2$, $\mathsf{D}_4$, $\mathsf{E}_8$ and the Leech lattice are glob… ▽ More We study energy minimization for pair potentials among periodic sets in Euclidean spaces. We derive some sufficient conditions under which a point lattice locally minimizes the energy associated to a large class of potential functions. This allows in particular to prove a local version of Cohn and Kumar's conjecture that $\mathsf{A}_2$, $\mathsf{D}_4$, $\mathsf{E}_8$ and the Leech lattice are globally universally optimal, regarding energy minimization, and among periodic sets of fixed point density. △ Less

Submitted 2 February, 2011; v1 submitted 24 May, 2010; originally announced May 2010.

Comments: 16 pages; incorporated referee comments

MSC Class: 82B; 52C; 11H

Journal ref: International Mathematics Research Notices, vol. 2011, No. 4, 829-848

Ground states and formal duality relations in the Gaussian core model

Authors: Henry Cohn, Abhinav Kumar, Achill Schuermann

Abstract: We study dimensional trends in ground states for soft-matter systems. Specifically, using a high-dimensional version of Parrinello-Rahman dynamics, we investigate the behavior of the Gaussian core model in up to eight dimensions. The results include unexpected geometric structures, with surprising anisotropy as well as formal duality relations. These duality relations suggest that the Gaussian cor… ▽ More We study dimensional trends in ground states for soft-matter systems. Specifically, using a high-dimensional version of Parrinello-Rahman dynamics, we investigate the behavior of the Gaussian core model in up to eight dimensions. The results include unexpected geometric structures, with surprising anisotropy as well as formal duality relations. These duality relations suggest that the Gaussian core model possesses unexplored symmetries, and they have implications for a broad range of soft-core potentials. △ Less

Submitted 16 August, 2010; v1 submitted 11 November, 2009; originally announced November 2009.

Comments: 7 pages, 1 figure, appeared in Physical Review E (http://pre.aps.org)

Journal ref: Physical Review E 80, 061116 (2009)

The contact polytope of the Leech lattice (complete version)

Authors: Mathieu Dutour Sikiric, Achill Schuermann, Frank Vallentin

Abstract: The contact polytope of a lattice is the convex hull of its shortest vectors. In this paper we classify the facets of the contact polytope of the Leech lattice up to symmetry. There are 1,197,362,269,604,214,277,200 many facets in 232 orbits. The contact polytope of a lattice is the convex hull of its shortest vectors. In this paper we classify the facets of the contact polytope of the Leech lattice up to symmetry. There are 1,197,362,269,604,214,277,200 many facets in 232 orbits. △ Less

Submitted 16 February, 2010; v1 submitted 8 June, 2009; originally announced June 2009.

Comments: (v2) 7 pages (part I), 13 pages (part II), 1 figure, 2 tables, part I to appear in Discr. Comp. Geom

MSC Class: 10E30; 52A43; 94B40

Journal ref: Discr. Comp. Geom. 44 (2010), 904-911

On classifying Minkowskian sublattices

Authors: Wolfgang Keller, Jacques Martinet, Achill Schürmann

Abstract: Let $Λ$ be a lattice in an $n$-dimensional Euclidean space $E$ and let $Λ'$ be a Minkowskian sublattice of $Λ$, that is, a sublattice having a basis made of representatives for the Minkowski successive minima of $Λ$. We extend the classification of possible $\Z/d\Z$-codes of the quotients $Λ/Λ'$ to dimension~$9$, where $d\Z$ is the annihilator of $Λ/Λ'$. Let $Λ$ be a lattice in an $n$-dimensional Euclidean space $E$ and let $Λ'$ be a Minkowskian sublattice of $Λ$, that is, a sublattice having a basis made of representatives for the Minkowski successive minima of $Λ$. We extend the classification of possible $\Z/d\Z$-codes of the quotients $Λ/Λ'$ to dimension~$9$, where $d\Z$ is the annihilator of $Λ/Λ'$. △ Less

Submitted 2 February, 2011; v1 submitted 20 April, 2009; originally announced April 2009.

Comments: 34 pages; incorporated referee comments

MSC Class: 11Hxx

Journal ref: Mathematics of Computation, 81 (2012), 1063-1092

Enumerating perfect forms

Authors: Achill Schuermann

Abstract: A positive definite quadratic form is called perfect, if it is uniquely determined by its arithmetical minimum and the integral vectors attaining it. In this self-contained survey we explain how to enumerate perfect forms in $d$ variables up to arithmetical equivalence and scaling. We put an emphasis on practical issues concerning computer assisted enumerations. For the necessary theory of Voron… ▽ More A positive definite quadratic form is called perfect, if it is uniquely determined by its arithmetical minimum and the integral vectors attaining it. In this self-contained survey we explain how to enumerate perfect forms in $d$ variables up to arithmetical equivalence and scaling. We put an emphasis on practical issues concerning computer assisted enumerations. For the necessary theory of Voronoi we provide complete proofs based on Ryshkov polyhedra. This allows a very natural generalization to $T$-perfect forms, which are perfect with respect to a linear subspace $T$ in the space of quadratic forms. Important examples include Gaussian, Eisenstein and Hurwitz quaternionic perfect forms, for which we present new classification results in dimensions $8,10$ and 12. △ Less

Submitted 12 January, 2009; originally announced January 2009.

Comments: 22 pages, 3 figures; to appear in the Proceedings of the International Conference on Quadratic Forms, Chile 2007, published in the AMS Contemporary Mathematics series

MSC Class: 11-01; 11-04; 11H55; 20G20; 90C57

Journal ref: Contemporary Mathematics 437, AMS, 2009, pp. 359-378

Point configurations that are asymmetric yet balanced

Authors: Henry Cohn, Noam D. Elkies, Abhinav Kumar, Achill Schuermann

Abstract: A configuration of particles confined to a sphere is balanced if it is in equilibrium under all force laws (that act between pairs of points with strength given by a fixed function of distance). It is straightforward to show that every sufficiently symmetrical configuration is balanced, but the converse is far from obvious. In 1957 Leech completely classified the balanced configurations in R^3, an… ▽ More A configuration of particles confined to a sphere is balanced if it is in equilibrium under all force laws (that act between pairs of points with strength given by a fixed function of distance). It is straightforward to show that every sufficiently symmetrical configuration is balanced, but the converse is far from obvious. In 1957 Leech completely classified the balanced configurations in R^3, and his classification is equivalent to the converse for R^3. In this paper we disprove the converse in high dimensions. We construct several counterexamples, including one with trivial symmetry group. △ Less

Submitted 23 June, 2012; v1 submitted 13 December, 2008; originally announced December 2008.

Comments: 10 pages

Journal ref: Proceedings of the American Mathematical Society 138 (2010), 2863-2872

Perfect, strongly eutactic lattices are periodic extreme

Authors: Achill Schürmann

Abstract: We introduce a parameter space for periodic point sets, given as unions of $m$ translates of point lattices. In it we investigate the behavior of the sphere packing density function and derive sufficient conditions for local optimality. Using these criteria we prove that perfect, strongly eutactic lattices cannot be locally improved to yield a periodic sphere packing with greater density. This app… ▽ More We introduce a parameter space for periodic point sets, given as unions of $m$ translates of point lattices. In it we investigate the behavior of the sphere packing density function and derive sufficient conditions for local optimality. Using these criteria we prove that perfect, strongly eutactic lattices cannot be locally improved to yield a periodic sphere packing with greater density. This applies in particular to the densest known lattice sphere packings in dimension $d\leq 8$ and $d=24$. △ Less

Submitted 25 May, 2010; v1 submitted 14 August, 2008; originally announced August 2008.

Comments: 20 pages, 1 table; some corrections, incorporated referee suggestions

MSC Class: 52C17; 11H55

Journal ref: Advances in Mathematics 225 (2010), 2546-2564

Complexity and algorithms for computing Voronoi cells of lattices

Authors: Mathieu Dutour Sikiric, Achill Schuermann, Frank Vallentin

Abstract: In this paper we are concerned with finding the vertices of the Voronoi cell of a Euclidean lattice. Given a basis of a lattice, we prove that computing the number of vertices is a #P-hard problem. On the other hand we describe an algorithm for this problem which is especially suited for low dimensional (say dimensions at most 12) and for highly-symmetric lattices. We use our implementation, whi… ▽ More In this paper we are concerned with finding the vertices of the Voronoi cell of a Euclidean lattice. Given a basis of a lattice, we prove that computing the number of vertices is a #P-hard problem. On the other hand we describe an algorithm for this problem which is especially suited for low dimensional (say dimensions at most 12) and for highly-symmetric lattices. We use our implementation, which drastically outperforms those of current computer algebra systems, to find the vertices of Voronoi cells and quantizer constants of some prominent lattices. △ Less

Submitted 24 September, 2008; v1 submitted 31 March, 2008; originally announced April 2008.

Comments: 20 pages, 2 figures, 5 tables

MSC Class: 11H56; 11H06; 11B1; 03D15; 52B55; 52B12

Journal ref: Math. Comp. 267 (2009), 1713-1731

The isodiametric problem with lattice-point constraints

Authors: M. A. Hernandez Cifre, A. Schuermann, F. Vallentin

Abstract: In this paper, the isodiametric problem for centrally symmetric convex bodies in the Euclidean d-space R^d containing no interior non-zero point of a lattice L is studied. It is shown that the intersection of a suitable ball with the Dirichlet-Voronoi cell of 2L is extremal, i.e., it has minimum diameter among all bodies with the same volume. It is conjectured that these sets are the only extrem… ▽ More In this paper, the isodiametric problem for centrally symmetric convex bodies in the Euclidean d-space R^d containing no interior non-zero point of a lattice L is studied. It is shown that the intersection of a suitable ball with the Dirichlet-Voronoi cell of 2L is extremal, i.e., it has minimum diameter among all bodies with the same volume. It is conjectured that these sets are the only extremal bodies, which is proved for all three dimensional and several prominent lattices. △ Less

Submitted 14 November, 2007; v1 submitted 17 September, 2007; originally announced September 2007.

Comments: 12 pages, 4 figures, (v2) referee comments and suggestions incorporated, accepted in Monatshefte fuer Mathematik

Journal ref: Monatsh. Math. 155 (2008), 125-134

Polyhedral representation conversion up to symmetries

Authors: David Bremner, Mathieu Dutour Sikiric, Achill Schuermann

Abstract: We give a short survey on computational techniques which can be used to solve the representation conversion problem for polyhedra up to symmetries. We in particular discuss decomposition methods, which reduce the problem to a number of lower dimensional subproblems. These methods have been successfully used by different authors in special contexts. Moreover, we sketch an incremental method, whic… ▽ More We give a short survey on computational techniques which can be used to solve the representation conversion problem for polyhedra up to symmetries. We in particular discuss decomposition methods, which reduce the problem to a number of lower dimensional subproblems. These methods have been successfully used by different authors in special contexts. Moreover, we sketch an incremental method, which is a generalization of Fourier-Motzkin elimination, and we give some ideas how symmetry can be exploited using pivots. △ Less

Submitted 13 September, 2007; v1 submitted 8 February, 2007; originally announced February 2007.

Comments: 25 pages, 9 figures; second version with some minor corrections, esp. to Section 7

MSC Class: 68W05

Journal ref: CRM Proceedings & Lecture Notes 48, AMS, 2009, pp. 45-71

Experimental study of energy-minimizing point configurations on spheres

Authors: Brandon Ballinger, Grigoriy Blekherman, Henry Cohn, Noah Giansiracusa, Elizabeth Kelly, Achill Schuermann

Abstract: In this paper we report on massive computer experiments aimed at finding spherical point configurations that minimize potential energy. We present experimental evidence for two new universal optima (consisting of 40 points in 10 dimensions and 64 points in 14 dimensions), as well as evidence that there are no others with at most 64 points. We also describe several other new polytopes, and we pre… ▽ More In this paper we report on massive computer experiments aimed at finding spherical point configurations that minimize potential energy. We present experimental evidence for two new universal optima (consisting of 40 points in 10 dimensions and 64 points in 14 dimensions), as well as evidence that there are no others with at most 64 points. We also describe several other new polytopes, and we present new geometrical descriptions of some of the known universal optima. △ Less

Submitted 7 October, 2008; v1 submitted 15 November, 2006; originally announced November 2006.

Comments: 41 pages, 12 figures, to appear in Experimental Mathematics

Journal ref: Experimental Mathematics 18 (2009), 257-283

Classification of eight dimensional perfect forms

Authors: Mathieu Dutour Sikiric, Achill Schuermann, Frank Vallentin

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. 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. △ Less

Submitted 20 November, 2009; v1 submitted 14 September, 2006; originally announced September 2006.

Comments: 14 pages

Journal ref: Electron. Res. Announc. Amer. Math. Soc. 13 (2007), 21-32

A generalization of Voronoi's reduction theory and its application

Authors: Mathieu Dutour Sikiric, Achill Schuermann, Frank Vallentin

Abstract: We consider Voronoi's reduction theory of positive definite quadratic forms which is based on Delone subdivision. We extend it to forms and Delone subdivisions having a prescribed symmetry group. Even more general, the theory is developed for forms which are restricted to a linear subspace in the space of quadratic forms. We apply the new theory to complete the classification of totally real thi… ▽ More We consider Voronoi's reduction theory of positive definite quadratic forms which is based on Delone subdivision. We extend it to forms and Delone subdivisions having a prescribed symmetry group. Even more general, the theory is developed for forms which are restricted to a linear subspace in the space of quadratic forms. We apply the new theory to complete the classification of totally real thin algebraic number fields which was recently initiated by Bayer-Fluckiger and Nebe. Moreover, we apply it to construct new best known sphere coverings in dimensions 9,..., 15. △ Less

Submitted 20 June, 2007; v1 submitted 4 January, 2006; originally announced January 2006.

Comments: 31 pages, 2 figures, 2 tables, (v4) minor changes, to appear in Duke Math. J

MSC Class: 11H55; 52C17

Journal ref: Duke Math. J. 142 (2008), 127-164

Ehrhart polynomial and Successive Minima

Authors: Martin Henk, Achill Schuermann, Joerg M. Wills

Abstract: We investigate the Ehrhart polynomial for the class of 0-symmetric convex lattice polytopes in Euclidean $n$-space $\mathbb{R}^n$. It turns out that the roots of the Ehrhart polynomial and Minkowski's successive minima are closely related by their geometric and arithmetic mean. We also show that the roots of lattice $n$-polytopes with or without interior lattice points differ essentially. Furthe… ▽ More We investigate the Ehrhart polynomial for the class of 0-symmetric convex lattice polytopes in Euclidean $n$-space $\mathbb{R}^n$. It turns out that the roots of the Ehrhart polynomial and Minkowski's successive minima are closely related by their geometric and arithmetic mean. We also show that the roots of lattice $n$-polytopes with or without interior lattice points differ essentially. Furthermore, we study the structure of the roots in the planar case. Here it turns out that their distribution reflects basic properties of lattice polygons. △ Less

Submitted 26 July, 2005; originally announced July 2005.

MSC Class: 52C07; 11H06

Journal ref: Mathematika 52 (2005), 1-16

Lattice Delone simplices with super-exponential volume

Authors: F. Santos, A. Schuermann, F. Vallentin

Abstract: In this short note we give a construction of an infinite series of Delone simplices whose relative volume grows super-exponentially with their dimension. This dramatically improves the previous best lower bound, which was linear. In this short note we give a construction of an infinite series of Delone simplices whose relative volume grows super-exponentially with their dimension. This dramatically improves the previous best lower bound, which was linear. △ Less

Submitted 5 December, 2005; v1 submitted 6 July, 2005; originally announced July 2005.

Comments: 7 pages; v2: revised version improves our exponential lower bound to a super-exponential one

MSC Class: 52B20 (Primary) 52C22; 11H99 (Secondary)

Journal ref: European Journal of Combinatorics 28 (2007), 801-806

Three-dimensional antipodal and norm-equilateral sets

Authors: Achill Schuermann, Konrad Swanepoel

Abstract: We characterize the three-dimensional spaces admitting at least six or at least seven equidistant points. In particular, we show the existence of $C^\infty$ norms on $\R^3$ admitting six equidistant points, which refutes a conjecture of Lawlor and Morgan (1994, Pacific J. Math \textbf{166}, 55--83), and gives the existence of energy-minimizing cones with six regions for certain uniformly convex… ▽ More We characterize the three-dimensional spaces admitting at least six or at least seven equidistant points. In particular, we show the existence of $C^\infty$ norms on $\R^3$ admitting six equidistant points, which refutes a conjecture of Lawlor and Morgan (1994, Pacific J. Math \textbf{166}, 55--83), and gives the existence of energy-minimizing cones with six regions for certain uniformly convex norms on $\R^3$. On the other hand, no differentiable norm on $\R^3$ admits seven equidistant points. A crucial ingredient in the proof is a classification of all three-dimensional antipodal sets. We also apply the results to the touching numbers of several three-dimensional convex bodies. △ Less

Submitted 13 June, 2005; originally announced June 2005.

Comments: 20 pages, 15 figures

MSC Class: 52A21 (Primary) 49Q15 (Secondary)

Journal ref: Pacific Journal of Mathematics 228 (2006), 349--370.

On packing spheres into containers (about Kepler's finite sphere packing problem)

Authors: Achill Schuermann

Abstract: In an Euclidean $d$-space, the container problem asks to pack $n$ equally sized spheres into a minimal dilate of a fixed container. If the container is a smooth convex body and $d\geq 2$ we show that solutions to the container problem can not have a ``simple structure'' for large $n$. By this we in particular find that there exist arbitrary small $r>0$, such that packings in a smooth, 3-dimensio… ▽ More In an Euclidean $d$-space, the container problem asks to pack $n$ equally sized spheres into a minimal dilate of a fixed container. If the container is a smooth convex body and $d\geq 2$ we show that solutions to the container problem can not have a ``simple structure'' for large $n$. By this we in particular find that there exist arbitrary small $r>0$, such that packings in a smooth, 3-dimensional convex body, with a maximum number of spheres of radius $r$, are necessarily not hexagonal close packings. This contradicts Kepler's famous statement that the cubic or hexagonal close packing ``will be the tightest possible, so that in no other arrangement more spheres could be packed into the same container''. △ Less

Submitted 9 September, 2006; v1 submitted 10 June, 2005; originally announced June 2005.

Comments: 13 pages, 2 figures; v2: major revision, extended result, simplified and clarified proof

MSC Class: 52C17 (Primary) 05B40; 01A45 (Secondary)

Journal ref: Documenta Mathematica 11 (2006), 393--406

Methods in the Local Theory of Packing and Covering Lattices

Authors: Achill Schuermann, Frank Vallentin

Abstract: In this paper we are concerned with three lattice problems: the lattice packing problem, the lattice covering problem and the lattice packing-covering problem. One way to find optimal lattices for these problems is to enumerate all finitely many, locally optimal lattices. For the lattice packing problem there are two classical algorithms going back to Minkowski and Voronoi. For the covering and… ▽ More In this paper we are concerned with three lattice problems: the lattice packing problem, the lattice covering problem and the lattice packing-covering problem. One way to find optimal lattices for these problems is to enumerate all finitely many, locally optimal lattices. For the lattice packing problem there are two classical algorithms going back to Minkowski and Voronoi. For the covering and for the packing-covering problem we propose new algorithms. Here we give a brief survey about these approaches. We report on some recent computer based computations where we were able to reproduce and partially extend the known classification of locally optimal lattices. Furthermore we found new record breaking covering and packing-covering lattices. We describe several methods with examples to show that a lattice is a locally optimal solution to one of the three problems. △ Less

Submitted 26 September, 2008; v1 submitted 16 December, 2004; originally announced December 2004.

Comments: 15 pages, (v2) Table 5 corrected

Journal ref: pages 122-136 in Proceedings of "COE Workshop on Sphere Packings'', November 2004, Fukuoka, Japan

Local Covering Optimality of Lattices: Leech Lattice versus Root Lattice E8

Authors: Achill Schuermann, Frank Vallentin

Abstract: We show that the Leech lattice gives a sphere covering which is locally least dense among lattice coverings. We show that a similar result is false for the root lattice E8. For this we construct a less dense covering lattice whose Delone subdivision has a common refinement with the Delone subdivision of E8. The new lattice yields a sphere covering which is more than 12% less dense than the forme… ▽ More We show that the Leech lattice gives a sphere covering which is locally least dense among lattice coverings. We show that a similar result is false for the root lattice E8. For this we construct a less dense covering lattice whose Delone subdivision has a common refinement with the Delone subdivision of E8. The new lattice yields a sphere covering which is more than 12% less dense than the formerly best known given by the lattice A8*. Currently, the Leech lattice is the first and only known example of a locally optimal lattice covering having a non-simplicial Delone subdivision. We hereby in particular answer a question of Dickson posed in 1968. By showing that the Leech lattice is rigid our answer is even strongest possible in a sense. △ Less

Submitted 10 November, 2004; v1 submitted 23 May, 2004; originally announced May 2004.

Comments: 13 pages; (v2) major revision: proof of rigidity corrected, full discussion of E8-case included, src of (v3) contains MAGMA program, (v4) some corrections

Journal ref: International Mathematics Research Notices 32 (2005), 1937-1955

Computational Approaches to Lattice Packing and Covering Problems

Authors: Achill Schuermann, Frank Vallentin

Abstract: We describe algorithms which address two classical problems in lattice geometry: the lattice covering and the simultaneous lattice packing-covering problem. Theoretically our algorithms solve the two problems in any fixed dimension d in the sense that they approximate optimal covering lattices and optimal packing-covering lattices within any desired accuracy. Both algorithms involve semidefinite… ▽ More We describe algorithms which address two classical problems in lattice geometry: the lattice covering and the simultaneous lattice packing-covering problem. Theoretically our algorithms solve the two problems in any fixed dimension d in the sense that they approximate optimal covering lattices and optimal packing-covering lattices within any desired accuracy. Both algorithms involve semidefinite programming and are based on Voronoi's reduction theory for positive definite quadratic forms, which describes all possible Delone triangulations of Z^d. In practice, our implementations reproduce known results in dimensions d <= 5 and in particular solve the two problems in these dimensions. For d = 6 our computations produce new best known covering as well as packing-covering lattices, which are closely related to the lattice (E6)*. For d = 7, 8 our approach leads to new best known covering lattices. Although we use numerical methods, we made some effort to transform numerical evidences into rigorous proofs. We provide rigorous error bounds and prove that some of the new lattices are locally optimal. △ Less

Submitted 27 July, 2005; v1 submitted 16 March, 2004; originally announced March 2004.

Comments: (v3) 40 pages, 5 figures, 6 tables, some corrections, accepted in Discrete and Computational Geometry, see also http://fma2.math.uni-magdeburg.de/~latgeo/

MSC Class: 11H31

Journal ref: Discrete and Computational Geometry 35 (2006), 73-116