Density of binary disc packings: the nine compact packings

DOI10.1007/S00454-021-00348-7MaRDI QIDQ2118217zbMATH OpenOpenAlexFDO

Authors Nicolas Bédaride, Thomas Fernique

Publication date 22 March 2022

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2002.07168

zbMATH Keywords

binary packingcircle packingcompact packingcomputer assisted proofdensitytriangulated packing

Mathematics Subject Classification ID

Packing and covering in (2) dimensions (aspects of discrete geometry) (52C15)

Abstract: A disc packing in the plane is compact if its contact graph is a triangulation. There are $9$ values of $r$ such that a compact packing by discs of radii $1$ and $r$ exists. We prove, for each of these $9$ values, that the maximal density over all the packings by discs of radii $1$ and $r$ is reached for a compact packing (we give it as well as its density).

Review text

A packing of the Euclidean plane by discs of two given radii \(1\) and \(r \in (0,1)\) is called binary. It is called compact if its contact graph is a triangulation. There are exactly nine different radii \(r\) such that there is a corresponding binary compact packing, see [\textit{T. Kennedy}, Discrete Comput. Geom. 35, No. 2, 255--267 (2006; Zbl 1092.52010)]. It is shown for each of these radii \(r\), that there is no denser packing by discs of radii \(1\) and \(r\) than a respective periodic compact packing with the same radii, which is explicitly given. The proof is based in parts on computer assistance.

Recommendations

• Compact packings of the plane with two sizes of discs
• Density of triangulated ternary disc packings
• scientific article; zbMATH DE number 4030375
• Compact packings of the plane with three sizes of discs
• Compact packings of the plane with three sizes of discs

Cites work

• A proof of the Kepler conjecture
• Bounds for local density of sphere packings and the Kepler conjecture
• Compact packings of the plane with three sizes of discs
• Compact packings of the plane with two sizes of discs
• scientific article; zbMATH DE number 3217531 (Why is no real title available?)
• On the densest packing of discs of radius \(1\) and \(\sqrt{2}-1\)
• Packing disks into disks with optimal worst-case density
• Some densest two-size disc packings in the plane
• Unterdeckung und Überdeckung der Ebene durch Kreise Dem Andenken an Professor H. L. Schmid gewidmet
• Über die dichteste Kugellagerung

Cited in

(11)

• Some densest two-size disc packings in the plane
• Density of binary disc packings: playing with stoichiometry
• On compact packings of the plane with circles of three radii
• scientific article; zbMATH DE number 3907276 (Why is no real title available?)
• Compact packings of the plane with three sizes of discs
• Density of triangulated ternary disc packings
• The number of configurations of radii that can occur in compact packings of the plane with discs of n sizes is finite
• Density of Binary Disc Packings: Lower and Upper Bounds
• When ternary triangulated disc packings are densest: examples, counter-examples and techniques
• Packing unequal disks in the Euclidean plane
• Compact packings of the plane with two sizes of discs

Describes a project that uses

Uses Software

• kepler98
• SageMath

This page was built for publication: Density of binary disc packings: the nine compact packings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118217)