double lattice
In mathematics, especially in geometry, a double lattice in {{math|ℝn}} is a discrete subgroup of the group of Euclidean motions that consists only of translations and point reflections and such that the subgroup of translations is a lattice. The orbit of any point under the action of a double lattice is a union of two Bravais lattices, related to each other by a point reflection. A double lattice in two dimensions is a p2 wallpaper group. In three dimensions, a double lattice is a space group of the type {{overline|1}}, as denoted by international notation.
Double lattice packing
File:2-d pentagon packing dual.svg
A packing that can be described as the orbit of a body under the action of a double lattice is called a double lattice packing. In many cases the highest known packing density for a body is achieved by a double lattice. Examples include the regular pentagon, heptagon, and nonagon{{citation
| last = de Graaf | first = Joost
| last2 = van Roij | first2 = René
| last3 = Dijkstra | first3 = Marjolein | author3-link = Marjolein Dijkstra
| journal = Physical Review Letters
| pages = 155501
| title = Dense regular packings of irregular nonconvex particles
| doi = 10.1103/PhysRevLett.107.155501
| volume = 107
| issue = 15
| year = 2011 | bibcode=2011PhRvL.107o5501D | pmid=22107298| arxiv = 1107.0603}} and the equilateral triangular bipyramid.{{Citation
| title = Degenerate quasicrystal of hard triangular bipyramids
| last1 = Haji-Akbari | first1 = Amir
| last2 = Engel | first2 = Michael
| last3 = Glotzer | first3 = Sharon C. | author3-link = Sharon Glotzer
| journal = Phys. Rev. Lett.
| volume = 107 | issue = 21 | pages = 215702 | year = 2011
| doi = 10.1103/PhysRevLett.107.215702
| bibcode=2011PhRvL.107u5702H | pmid=22181897| arxiv = 1106.5561}}
Włodzimierz Kuperberg and Greg Kuperberg showed that all convex planar bodies can pack at a density of at least {{math|{{sqrt|3}}/2}} by using a double lattice.
{{Citation
| last1 = Kuperberg | first1 = G. | author1-link = Greg Kuperberg
| last2 = Kuperberg | first2 = W. | author2-link = Włodzimierz Kuperberg
| title = Double-lattice packings of convex bodies in the plane
| journal = Discrete & Computational Geometry
| volume = 5 | year = 1990 | issue = 4 | pages = 389–397
| doi = 10.1007/BF02187800
|mr=1043721| doi-access = free}}
In a preprint released in 2016, Thomas Hales and Wöden Kusner announced a proof that the double lattice packing of the regular pentagon has the optimal density among all packings of regular pentagons in the plane.{{citation
| last1 = Hales | first1 = Thomas | author1-link = Thomas Callister Hales
| last2 = Kusner | first2 = Wöden
| arxiv = 1602.07220
| date = September 2016
| title = Packings of regular pentagons in the plane}} This packing has been used as a decorative pattern in China since at least 1900, and in this context has been called the "pentagonal ice-ray".{{citation|title=Chinese Lattice Designs|first=Daniel Sheets|last=Dye|publisher=Dover|year=2012|isbn=9780486146225|pages=307–309|url=https://books.google.com/books?id=SsZLhrgEwUwC&pg=PA307}} {{as of|2021}}, the proof of its optimality has not yet been refereed and published.
It has been conjectured that, among all convex shapes, the regular heptagon has the lowest packing density for its optimal double lattice packing, but this remains unproven.{{citation
| last = Kallus | first = Yoav
| arxiv = 1305.0289
| doi = 10.2140/gt.2015.19.343
| issue = 1
| journal = Geometry & Topology
| mr = 3318753
| pages = 343–363
| title = Pessimal packing shapes
| volume = 19
| year = 2015}}