Showing 1–8 of 8 results for author: Erdahl, R

Minkowski sum of a Voronoi parallelotope and a segment

Authors: Robert Erdahl, Viacheslav Grishukhin

Abstract: By a {\em Voronoi parallelotope} $P(a)$ we mean a parallelotope determined by a non-negative quadratic form $a$. It was studied by Voronoi in his famous memoir. For a set of vectors $\mathcal P$, we call its {\em dual} a set of vectors ${\mathcal P}^*$ such that $\langle p,q\rangle\in\{0,\pm 1\}$ for all $p\in{\mathcal P}$ and $q\in{\mathcal P}^*$. We prove that Minkowski sum of a Voronoi parallel… ▽ More By a {\em Voronoi parallelotope} $P(a)$ we mean a parallelotope determined by a non-negative quadratic form $a$. It was studied by Voronoi in his famous memoir. For a set of vectors $\mathcal P$, we call its {\em dual} a set of vectors ${\mathcal P}^*$ such that $\langle p,q\rangle\in\{0,\pm 1\}$ for all $p\in{\mathcal P}$ and $q\in{\mathcal P}^*$. We prove that Minkowski sum of a Voronoi parallelotope $P(a)$ and a segment is a Voronoi parallelotope $P(a+a_e)$ if and only if this segment is parallel to a vector $e$ of the dual of the set of normal vectors of all facets of $P(a)$, where $a_e(p)=b\langle e,p\rangle^2$ is a quadratic form of rank 1 related to the segment. △ Less

Submitted 6 January, 2015; originally announced January 2015.

Comments: 7 pages

Perfect Delaunay Polytopes in Low Dimensions

Authors: Mathieu Dutour, Robert Erdahl, Konstantin Rybnikov

Abstract: A lattice Delaunay polytope is known as perfect if the only ellipsoid, that can be circumscribed about it, is its Delaunay sphere. Perfect Delaunay polytopes are in one-to-one correspondence with arithmetic equivalence classes of positive quadratic functions on the n-dimensional integral lattice that can be recovered, up to a scale factor, from the representations of its minimum. We develop a st… ▽ More A lattice Delaunay polytope is known as perfect if the only ellipsoid, that can be circumscribed about it, is its Delaunay sphere. Perfect Delaunay polytopes are in one-to-one correspondence with arithmetic equivalence classes of positive quadratic functions on the n-dimensional integral lattice that can be recovered, up to a scale factor, from the representations of its minimum. We develop a structural theory of such polytopes and describe all known perfect Delaunay polytopes in dimensions one through eight. We suspect that this list is complete. △ Less

Submitted 6 February, 2007; originally announced February 2007.

Comments: 44 pages

MSC Class: 11-xx; 52Bxx; 52Cxx

Perfect Delaunay Polytopes and Perfect Quadratic Functions on Lattices

Authors: Robert Erdahl, Andrei Ordine, Konstantin Rybnikov

Abstract: A polytope $D$ whose vertices belong to a lattice of rank $d$ is Delaunay if there is a circumscribing $d$-dimensional ellipsoid, $E$, with interior free of lattice points so that the vertices of $D$ lie on $E$. If in addition, the ellipsoid $E$ is uniquely determined by $D$, we call $D$ perfect. That is, a perfect Delaunay polytope is a lattice polytope with a circumscribing empty ellipsoid… ▽ More A polytope $D$ whose vertices belong to a lattice of rank $d$ is Delaunay if there is a circumscribing $d$-dimensional ellipsoid, $E$, with interior free of lattice points so that the vertices of $D$ lie on $E$. If in addition, the ellipsoid $E$ is uniquely determined by $D$, we call $D$ perfect. That is, a perfect Delaunay polytope is a lattice polytope with a circumscribing empty ellipsoid $E$, where the quadratic surface $\partial E$ both contains the vertices of $D$ and is determined by them. We have been able to construct infinite sequences of perfect Delaunay polytopes, one perfect polytope in each successive dimension starting at some initial dimension; we have been able to construct an infinite number of such infinite sequences. Perfect Delaunay polytopes play an important role in the theory of Delaunay polytopes, and in Voronoi's theory of lattice types. △ Less

Submitted 30 December, 2006; originally announced January 2007.

Comments: 24 pages, including 2 figures

MSC Class: 11-xx

Supertopes

Authors: Robert Erdahl, Konstantin Rybnikov

Abstract: A perfect (Delaunay) ellipsoid is an ellipsoid in n-dimensional Euclidean space that does not contain integral points in its interior, but is uniquely defined by integral points that lie on its surface. A perfect Delaunay polytope with respect to a positive quadratic form f() is a polytope with integral vertices that is circumscribed by a perfect Delaunay ellipsoid with an equation whose quadrat… ▽ More A perfect (Delaunay) ellipsoid is an ellipsoid in n-dimensional Euclidean space that does not contain integral points in its interior, but is uniquely defined by integral points that lie on its surface. A perfect Delaunay polytope with respect to a positive quadratic form f() is a polytope with integral vertices that is circumscribed by a perfect Delaunay ellipsoid with an equation whose quadratic part is f(). This document has been corrected on January 15, 2005. Note that it represents the state of the area as of the end of 2002. For recent research on perfect Delaunay polytopes see my recent preprint, with Erdahl and Ordine, math.NT/0408122 on ArXiv.org . △ Less

Submitted 15 January, 2005; originally announced January 2005.

Comments: This is a corrected and extended version of a preprint prepared by Rybnikov at the end of 2002. That preprint grew up from the work of Rybnikov and Erdahl in Queen's University at the end of 1990s and Research Experience for Undergraduates Program in Geometry of Numbers directed by Rybnikov in the summer of 2001 in Cornell University, Department of Mathematics. The preprint presents an introduction to the topic of perfect Delaunay polytopes and ellipsoids and reflects the state of knowledge as of October of 2002

MSC Class: 11H55; 11H06; 11H31; 11H50; 52C07; 52C22; 52C17; 52B20; 05E30

Perfect Delaunay Polytopes and Perfect Inhomogeneous Forms

Authors: Robert Erdahl, Andrei Ordine, Konstantin Rybnikov

Abstract: A lattice Delaunay polytope D is called perfect if it has the property that there is a unique circumscribing ellipsoid with interior free of lattice points, and with the surface containing only those lattice points that are the vertices of D. An inhomogeneous quadratic form is called perfect if it is determined by such a circumscribing ''empty ellipsoid'' uniquely up to a scale factor. Perfect i… ▽ More A lattice Delaunay polytope D is called perfect if it has the property that there is a unique circumscribing ellipsoid with interior free of lattice points, and with the surface containing only those lattice points that are the vertices of D. An inhomogeneous quadratic form is called perfect if it is determined by such a circumscribing ''empty ellipsoid'' uniquely up to a scale factor. Perfect inhomogeneous forms are associated with perfect Delaunay polytopes in much the way that perfect homogeneous forms are associated with perfect point lattices. We have been able to construct some infinite sequences of perfect Delaunay polytopes, one perfect polytope in each successive dimension starting at some initial dimension; we have been able to construct an infinite number of such infinite sequences. Perfect Delaunay polytopes are intimately related to the theory of Delaunay polytopes, and to Voronoi's theory of lattice types. △ Less

Submitted 6 March, 2005; v1 submitted 9 August, 2004; originally announced August 2004.

Comments: Release 3: 25 pages, 4 diagrams. A number of errors in notation, terminology, citations, and cross-references have been fixed. Note that in all diagrams kappa should read as k. A reduced 10 page version of this article will apear in the proceedings of the 2003 Voronoi Conference held in Kiev in September of 2003

MSC Class: Primary: 11H50 and 11H55. Secondary: 11H06; 52C07; 52C22

An Infinite Series of Perfect Quadratic Forms and Big Delaunay Simplexes in Z^n

Authors: Robert Erdahl, Konstantin Rybnikov

Abstract: George Voronoi (1908-09) introduced two important reduction methods for positive quadratic forms: the reduction with perfect forms, and the reduction with L-type domains. A form is perfect if can be reconstructed from all representations of its arithmetic minimum. Two forms have the same L-type if Delaunay tilings of their lattices are affinely equivalent. Delaunay (1937-38) asked about possib… ▽ More George Voronoi (1908-09) introduced two important reduction methods for positive quadratic forms: the reduction with perfect forms, and the reduction with L-type domains. A form is perfect if can be reconstructed from all representations of its arithmetic minimum. Two forms have the same L-type if Delaunay tilings of their lattices are affinely equivalent. Delaunay (1937-38) asked about possible relative volumes of lattice Delaunay simplexes. We construct an infinite series of Delaunay simplexes of relative volume n-3, the best known as of now. This series gives rise to a new infintie series of perfect forms TF_{n} with interesting properties, e.g. TF_{5}=D_{5}, TF_{6}=E*_{6}, TF_{7}=φ_{15}^{7}. For all n the domain of TF_{n} is adjacent to the domain of the 2-nd perfect form D_{n}. Perfect form TF_{n} is a direct n-dimensional generalization of Korkine and Zolotareff's 3-rd perfect form φ_{2}^{5} in 5 variables. It is likely that this form is equivalent to Anzin's (1991) form h_n. △ Less

Submitted 11 December, 2001; originally announced December 2001.

Comments: short version

MSC Class: 52; 11

Voronoi-Dickson Hypothesis on Perfect Forms and L-types

Authors: Robert Erdahl, Konstantin Rybnikov

Abstract: George Voronoi (1908, 1909) introduced two important reduction methods for positive quadratic forms: the reduction with perfect forms, and the reduction with L-type domains, often called domains of Delaunay type. The first method is important in studies of dense lattice packings of spheres. The second method provides the key tools for finding the least dense lattice coverings with equal spheres… ▽ More George Voronoi (1908, 1909) introduced two important reduction methods for positive quadratic forms: the reduction with perfect forms, and the reduction with L-type domains, often called domains of Delaunay type. The first method is important in studies of dense lattice packings of spheres. The second method provides the key tools for finding the least dense lattice coverings with equal spheres in lower dimensions. In his investigations Voronoi heavily relied on that in dimensions less than 6 the partition of the cone of positive quadratic forms into L-types refines the partition of this cone into perfect domains. Voronoi conjectured implicitely and Dickson (1972) explicitely that the L-partition is always a refinement of the partition into perfect domains. This was proved for n =< 5 (Voronoi, Delaunay, Ryshkov, Baranovskii). We show that Voronoi-Dickson conjecture fails already in dimension 6. △ Less

Submitted 11 December, 2001; originally announced December 2001.

Comments: Short Version

MSC Class: 11; 52

On traces of $d$-stresses in the skeletons of lower dimensions of homology $d$-manifolds

Authors: Robert M. Erdahl, Konstantine Rybnikov, Sergeĭ S. Ryshkov

Abstract: We show how a $d$-stress on a piecewise-linear realization of an oriented (non-simplicial, in general) $d$-manifold in \rd naturally induces stresses of lower dimensions on this manifold, and discuss implications of this construction to the analysis of self-stresses in spatial frameworks. The constructed mappings are not linear, but polynomial. In 1860-70s J. C. Maxwell described an interesting… ▽ More We show how a $d$-stress on a piecewise-linear realization of an oriented (non-simplicial, in general) $d$-manifold in \rd naturally induces stresses of lower dimensions on this manifold, and discuss implications of this construction to the analysis of self-stresses in spatial frameworks. The constructed mappings are not linear, but polynomial. In 1860-70s J. C. Maxwell described an interesting relationship between self-stresses in planar frameworks and vertical projections of polyhedral 2-surfaces. We offer a partial analog of Maxwell correspondence for self-stresses in spatial frameworks and vertical projections of 3-dimensional surfaces based on our construction of polynomial mappings. Applying this theorem we derive a class of three-dimensional spider webs similar to the family of two-dimensional spider webs described by Maxwell. In addition, we conjecture an important property of our mappings which is supported by a heuristic count based on the lower bound theorem ($g_2(d+1)=dim\:Stress_2 \ge 0$) for $d$-pseudomanifolds generically realized in ${\R}^{d+1}$ (Fogelsanger). △ Less

Submitted 4 February, 1999; originally announced February 1999.

Report number: FI-NP1999-001