Source author record

Achill Schuermann

Achill Schuermann appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.MG math.NT math.CO math.GR math.KT Computational Geometry cond-mat.stat-mech

Catalog footprint

What is connected

11works

7topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2013arXiv

On the cohomology of linear groups over imaginary quadratic fields

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.

preprint2012arXiv

Point configurations that are asymmetric yet balanced

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.

preprint2011arXiv

Inhomogeneous extreme forms

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.

preprint2011arXiv

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

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.

preprint2010arXiv

Ground states and formal duality relations in the Gaussian core model

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.

preprint2010arXiv

The contact polytope of the Leech lattice (complete version)

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.

preprint2009arXiv

Enumerating perfect forms

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.

preprint2008arXiv

Experimental study of energy-minimizing point configurations on spheres

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.

preprint2007arXiv

Polyhedral representation conversion up to symmetries

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.

preprint2006arXiv

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

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''.

preprint2005arXiv

Ehrhart polynomial and Successive Minima

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.