Density of binary disc packings: playing with stoichiometry

DOI10.1016/J.JCTA.2022.105690MaRDI QIDQ2102691zbMATH OpenOpenAlexFDO

Authors Thomas Fernique

Publication date 29 November 2022

Published in Journal of Combinatorial Theory. Series A (Search for Journal in Brave)

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

zbMATH Keywords

circle packingcomputer assisted proofmaximal densitydensest packings

Mathematics Subject Classification ID

Packing and covering in (2) dimensions (aspects of discrete geometry) (52C15) Computer assisted proofs of proofs-by-exhaustion type (68V05)

Abstract: We consider hard-disc mixtures with disc sizes within ratio $sqrt2-1$, that is, the small disc exactly fits in the hole between four large discs. For each prescribed stoichiometry of large and small discs, the densest packings are rigorously determined via a computer-assisted proof. The density is maximal for the 1:1 stoichiometry: the large discs then form a square grid in each interstitial site of which a small disc nests. When there is an excess of large discs, the densest packings are made of a single phase which mixes the two types of discs in a chaotic way (it can be described by square-triangle tilings). When there is an excess of small discs, on the contrary, a phenomenon of phase separation appears: the large discs are involved in the densest 1:1 stoichiometry phases while the excess of small discs form compact hexagonal phases.

Recommendations

• Density of binary disc packings: the nine compact packings
• Exact results for the jammed state of binary mixtures of superdisks on the plane
• Dense binary sphere packings
• Density of triangulated ternary disc packings
• Some densest two-size disc packings in the plane

Cites work

• scientific article; zbMATH DE number 3217531 (Why is no real title available?)
• A proof of crystallization in two dimensions
• A proof of the Kepler conjecture
• Bounds for local density of sphere packings and the Kepler conjecture
• Density of binary disc packings: the nine compact packings
• On energy ground states among crystal lattice structures with prescribed bonds
• On the densest packing of discs of radius \(1\) and \(\sqrt{2}-1\)
• Some densest two-size disc packings in the plane
• The square-triangle random-tiling model in the thermodynamic limit
• Unterdeckung und Überdeckung der Ebene durch Kreise Dem Andenken an Professor H. L. Schmid gewidmet
• Validated numerics. A short introduction to rigorous computations.
• Über die dichteste Kugellagerung

Cited in

(2)

• Exact results for the jammed state of binary mixtures of superdisks on the plane
• Clustering in interfering binary mixtures

Describes a project that uses

Uses Software

• kepler98

This page was built for publication: Density of binary disc packings: playing with stoichiometry

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