Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/0406098

Curved Hexagonal Packings of Equal Disks in a Circle

B. D. Lubachevsky·R. L. Graham
View original source ↗Read source document ↗Export metadata ↓

Abstract

For each k >= 1 and corresponding hexagonal number h(k) = 3k(k+1)+1, we introduce m(k) = max[(k-1)!/ 2, 1] packings of h(k) equal disks inside a circle which we call "the curved hexagonal packings". The curved hexagonal packing of 7 disks (k = 1, m(1)=1) is well known and the one of 19 disks (k = 2, m(2)=1) has been previously conjectured to be optimal. New curved hexagonal packings of 37, 61, and 91 disks (k = 3, 4, and 5, m(3)=1, m(4)=3, and m(5)=12) were the densest we obtained on a computer using a so-called "billiards" simulation algorithm. A curved hexagonal packing pattern is invariant under a 60 degree rotation. For k tending to infinity, the density (covering fraction) of curved hexagonal packings tends to pi*pi/12. The limit is smaller than the density of the known optimum disk packing in the infinite plane. We found disk configurations that are denser than curved hexagonal packings for 127, 169, and 217 disks (k = 6, 7, and 8). In addition to new packings for h(k) disks, we present new packings we found for h(k)+1 and h(k)-1 disks for k up to 5, i.e., for 36, 38, 60, 62, 90, and 92 disks. The additional packings show the ``tightness'' of the curved hexagonal pattern for k =< 5: deleting a disk does not change the optimum packing and its quality significantly, but adding a disk causes a substantial rearrangement in the optimum packing and substantially decreases the quality.

Explore related subjects

math.MG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

B. D. Lubachevsky, R. L. Graham. 2004-06-06. Curved Hexagonal Packings of Equal Disks in a Circle. https://arxiv.org/abs/math/0406098

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

$β$-Uniform Convexity and Divisible Domains

Divisible convex sets have long been important in the study of Hilbert geometries. When a divisible convex set is an ellipsoid, the Hilbert geometry it induces is the hyperbolic space. In general, strictly convex divisible domains exhibit negative curvature properties, but only the ellipsoid is a CAT(0) space. The notion of p-uniform convexity from the theory of Banach spaces has been proposed by Shin-Ichi Ohta as a generalization of the Alexandrov-Toponogov comparison theorems to Finsler manifolds. We prove that a natural Finsler metric on a strictly convex divisible domain is $β$-uniformly convex, where the constant $β$ is related to the regularity of the boundary. We use this to show, with AI assistance, that the Hilbert metric, under suitable local and scale-dependent assumptions, is $β$-uniformly convex on such domains.

math.MG↗
arXiv2026

A positive solution to the $L^p$ projection centroid conjecture

In a classical paper [21] in 2000, Lutwak-Yang-Zhang established the $L^p$ analog of the Petty projection inequality and the $L^p$ analog of the Busemann-Petty centroid inequality. In Section 7 of [21], Lutwak-Yang-Zhang proposed the important $L^p$ projection centroid conjecture. We give a positive solution to the $L^p$ projection centroid conjecture in this work.

math.MG↗
arXiv2026

Minimal central slices of the regular simplex

We prove that minimal-volume hyperplane sections of the regular simplex through its centroid are parallel to a facet. The proof combines variational methods with Fourier-analytic techniques and zero-diminishing arguments to show that every critical normal vector has at most three distinct non-zero coordinates. Analysis of the two- and three-value cases then yields the sharp lower bound.

math.MG↗