14.02.2013 Views

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

30 Packing of <strong>Convex</strong> Bodies 439<br />

The following is a list of the numbers of extreme forms for dimensions<br />

d = 2,...,8:<br />

d = 2: 1 : Korkin <strong>and</strong> Zolotarev [611]<br />

d = 3: 1 : Korkin <strong>and</strong> Zolotarev [611]<br />

d = 4: 2 : Korkin <strong>and</strong> Zolotarev [611]<br />

d = 5: 3 : Korkin <strong>and</strong> Zolotarev [611]<br />

d = 6: 6 : Hofreiter [518], Barnes [71, 72]<br />

d = 7: 30 : Conway <strong>and</strong> Sloane [221]<br />

d = 8: 2408 : Riener [836, 837]<br />

For more information see Martinet [691].<br />

Remark. Using Voronoĭ’s theorem, one can decide, at least in principle, whether<br />

a given positive quadratic form is extreme or, equivalently, whether a given lattice<br />

provides a locally densest packing of balls.<br />

In order to find all extreme forms it is sufficient to consider a maximal set of<br />

inequivalent vertices of R(m) <strong>and</strong> to take those vertices q for which the tangent hyperplane<br />

of the discriminant surface through q meets R(m) only at q. Unfortunately,<br />

no effective algorithm to determine the extreme forms is yet known.<br />

30 Packing of <strong>Convex</strong> Bodies<br />

The problem of packing of convex bodies <strong>and</strong>, in particular, of Euclidean balls has<br />

attracted interest ever since Kepler first considered such questions. One reason for<br />

this is that packing results can have interesting arithmetic interpretations. Among<br />

the eminent contributors we mention Kelvin, Minkowski, Thue, Voronoĭ <strong>and</strong> Fejes<br />

Tóth. The first investigations of non-lattice packings are due to Thue [996, 997], the<br />

later development was strongly influenced by the seminal work of Fejes Tóth. As a<br />

nice historical curiosity we cite the following observation of Reynolds [832] on the<br />

distortion of a dense packing of grains of s<strong>and</strong>, see Coxeter [231]:<br />

As the foot presses upon the s<strong>and</strong> when the falling tide leaves it firm, the portion of<br />

it immediately surrounding the foot becomes momentarily dry. .... The pressureof<br />

the foot causes dilatation of the s<strong>and</strong>, <strong>and</strong> so more water is [drawn] through the interstices<br />

of the surrounding s<strong>and</strong> ...,leavingitdryuntilasufficientsupply has been<br />

obtained from below, when it again becomes wet. On raising the foot we generally<br />

see that the s<strong>and</strong> under <strong>and</strong> around it becomes wet for a little time. This is because<br />

the s<strong>and</strong> contracts when the distorting forces are removed, <strong>and</strong> the excess of water<br />

escapes at the surface.<br />

At the beginning the s<strong>and</strong> grains form a dense packing. Then the pressure of the<br />

foot distorts the packing which consequently becomes less dense <strong>and</strong> thus provides<br />

more space for the water. By capillary forces the water then is drawn into the interior<br />

of the s<strong>and</strong>. On raising the foot with the water as lubricant the s<strong>and</strong> grains again glide<br />

back into a dense packing which provides less space for the water.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!