Abstract
This paper introduces a new technique for proving the local optimality of packing configurations of Euclidean space. Applying this technique to a general convex polygon, we prove that under mild assumptions satisfied generically, the construction of the optimal double lattice packing by Kuperberg and Kuperberg is also locally optimal in the full space of packings.
Similar content being viewed by others
References
Bazaraa, M.S., Sherali, H.D., Shetty, C.M.: Nonlinear Programming. Wiley, New York (2006)
Bezdek, A., Kuperberg, W.: Dense packing of space with various convex solids. In: Bárány, I., Böröczky, K., Tóth, G., Pach, J. (eds.) Geometry—Intuitive, Discrete, and Convex, pp. 65–90. Springer, Berlin (2013)
Brass, P., Moser, W.O.K., Pach, J.: Research Problems in Discrete Geometry. Springer, New York (2005)
Cohn, H., Elkies, N.D.: New upper bounds on sphere packings I. Ann. Math. 157(2), 689–714 (2003)
Cohn, H., Kumar, A., Miller, S.D., Radchenko, D., Viazovska, M.: The sphere packing problem in dimension 24 (2016). arXiv:1603.06518
Conway, J.H., Goodman-Strauss, C., Sloane, N.J.A.: Recent progress in sphere packing. Curr. Dev. Math. 37–76, 1999 (1999)
de Graaf, J., van Roij, R., Dijkstra, M.: Dense regular packings of irregular nonconvex particles. Phys. Rev. Lett. 107(15), 155501 (2011)
Fejes Tóth, L.: Some packing and covering theorems. Acta Sci. Math. (Szeged) 12(A), 62–67 (1950)
Gravel, S., Elser, V., Kallus, Y.: Upper bound on the packing density of regular tetrahedra and octahedra. Discrete Comput. Geom. 46(4), 799–818 (2011)
Groemer, H.: Existenzsätze für Lagerungen im Euklidischen Raum. Math. Z. 81(3), 260–278 (1963)
Hales, T.: Dense Sphere Packings: A Blueprint for Formal Proofs. Cambridge University Press, Cambridge (2012)
Hales, T., Adams, M., Bauer, G., Dang, D.T., Harrison, J., Hoang, T.L., Kaliszyk, C., Magron, V., McLaughlin, S., Nguyen, T.T., Nguyen, T.Q., Nipkow, T., Obua, S., Pleso, J., Rute, J., Solovyev, A., Ta, A.H.T., Tran, T.N., Trieu, D.T., Urban, J., Vu, K.K., Zumkeller, R.: A formal proof of the Kepler conjecture (2015). arXiv:1501.02155
Hales, T., Kusner, W.: Packings of regular pentagons in the plane (2016). arXiv:1602.07220
Kallus, Y.: The 3-ball is a local pessimum for packing. Adv. Math. 264, 355–370 (2014)
Kallus, Y.: Pessimal packing shapes. Geom. Topol. 19(1), 343–363 (2015)
Kuperberg, G.: Notions of denseness. Geom. Topol. 4, 277–292 (2000)
Kuperberg, G., Kuperberg, W.: Double-lattice packings of convex bodies in the plane. Discrete Comput. Geom. 5(1), 389–397 (1990)
Martinet, J.: Perfect Lattices in Euclidean Spaces. Springer, Berlin (2003)
Mount, D.M.: The densest double-lattice packing of a convex polygon. Discrete Comput. Geom. 6, 245–262 (1991)
de Oliveira Filho, F.M., Vallentin, F.: Computing upper bounds for the packing density of congruent copies of a convex body I (2013). arXiv:1308.4893
Reinhardt, K.: Über die dichteste gitterförmige Lagerung kongruenter Bereiche in der Ebene und eine besondere Art konvexer Kurven. In: Abh. aus dem Math. Seminar der Hamburgische Univ, vol. 9, pp. 216–230 (1933)
Schürmann, A.: Strict periodic extreme lattices. In: Chan, W.K., Fukshansky, L., Schulze-Pillot, R., Vaaler, J.D. (eds.) Diophantine Methods, Lattices, and Arithmetic Theory of Quadratic Forms, p. 185. AMS, Providence (2013)
Vance, S.: Improved sphere packing lower bounds from Hurwitz lattices. Adv. Math. 227(5), 2144–2156 (2011)
Venkatesh, A.: A note on sphere packings in high dimensions. Int. Math. Res. Not. 2013(7), 1628 (2013)
Acknowledgments
Y. K. was supported by an Omidyar Fellowship at the Santa Fe Institute. W. K. was supported by Austrian Science Fund (FWF) Project 5503 and National Science Foundation (NSF) Grant No. 1104102. We wish to thank the Erwin Schrödinger International Institute for Mathematical Physics (ESI) and the Institute for Computational and Experimental Research (ICERM) for supporting our visits and hosting programs that facilitated this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: Günter M. Ziegler
Rights and permissions
About this article
Cite this article
Kallus, Y., Kusner, W. The Local Optimality of the Double Lattice Packing. Discrete Comput Geom 56, 449–471 (2016). https://doi.org/10.1007/s00454-016-9792-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-016-9792-4