Skip to main content
Log in

The Local Optimality of the Double Lattice Packing

  • Published:
Discrete & Computational Geometry Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7

Similar content being viewed by others

References

  1. Bazaraa, M.S., Sherali, H.D., Shetty, C.M.: Nonlinear Programming. Wiley, New York (2006)

    Book  MATH  Google Scholar 

  2. 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)

    Google Scholar 

  3. Brass, P., Moser, W.O.K., Pach, J.: Research Problems in Discrete Geometry. Springer, New York (2005)

    MATH  Google Scholar 

  4. Cohn, H., Elkies, N.D.: New upper bounds on sphere packings I. Ann. Math. 157(2), 689–714 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  5. Cohn, H., Kumar, A., Miller, S.D., Radchenko, D., Viazovska, M.: The sphere packing problem in dimension 24 (2016). arXiv:1603.06518

  6. Conway, J.H., Goodman-Strauss, C., Sloane, N.J.A.: Recent progress in sphere packing. Curr. Dev. Math. 37–76, 1999 (1999)

    MathSciNet  Google Scholar 

  7. de Graaf, J., van Roij, R., Dijkstra, M.: Dense regular packings of irregular nonconvex particles. Phys. Rev. Lett. 107(15), 155501 (2011)

    Article  Google Scholar 

  8. Fejes Tóth, L.: Some packing and covering theorems. Acta Sci. Math. (Szeged) 12(A), 62–67 (1950)

    MathSciNet  MATH  Google Scholar 

  9. 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)

    Article  MathSciNet  MATH  Google Scholar 

  10. Groemer, H.: Existenzsätze für Lagerungen im Euklidischen Raum. Math. Z. 81(3), 260–278 (1963)

    Article  MathSciNet  MATH  Google Scholar 

  11. Hales, T.: Dense Sphere Packings: A Blueprint for Formal Proofs. Cambridge University Press, Cambridge (2012)

    Book  MATH  Google Scholar 

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

  13. Hales, T., Kusner, W.: Packings of regular pentagons in the plane (2016). arXiv:1602.07220

  14. Kallus, Y.: The 3-ball is a local pessimum for packing. Adv. Math. 264, 355–370 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  15. Kallus, Y.: Pessimal packing shapes. Geom. Topol. 19(1), 343–363 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  16. Kuperberg, G.: Notions of denseness. Geom. Topol. 4, 277–292 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  17. Kuperberg, G., Kuperberg, W.: Double-lattice packings of convex bodies in the plane. Discrete Comput. Geom. 5(1), 389–397 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  18. Martinet, J.: Perfect Lattices in Euclidean Spaces. Springer, Berlin (2003)

    Book  MATH  Google Scholar 

  19. Mount, D.M.: The densest double-lattice packing of a convex polygon. Discrete Comput. Geom. 6, 245–262 (1991)

    MathSciNet  MATH  Google Scholar 

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

  21. 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)

  22. 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)

  23. Vance, S.: Improved sphere packing lower bounds from Hurwitz lattices. Adv. Math. 227(5), 2144–2156 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  24. Venkatesh, A.: A note on sphere packings in high dimensions. Int. Math. Res. Not. 2013(7), 1628 (2013)

    MathSciNet  MATH  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Yoav Kallus.

Additional information

Editor in Charge: Günter M. Ziegler

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00454-016-9792-4

Keywords

Mathematics Subject Classification

Navigation