We consider packings of the plane using discs of radius 1 and r. A packing is compact if every disc D is tangent to a sequence of discs D_1, D_2, ..., D_n such that D_i is tangent to D_{i+1}. We prove that there are only nine values of r with r<1 for which such packings are possible. For each of the nine values we describe the possible compact packings.
We show that for every lattice packing of $n$-dimensional spheres there exists an $(n/\log_2(n))$-dimensional affine plane which does not meet any of the spheres in their interior, provided $n$ is large enough. Such an affine plane is called a free plane and our result improves on former bounds.
A packing of translates of a convex domain in the Euclidean plane is said to be totally separable if any two packing elements can be separated by a line disjoint from the interior of every packing element. This notion was introduced by G. Fejes Tóth and L. Fejes Tóth (1973) and has attracted significant attention. In this paper we prove an analogue of Oler's inequality for totally separable translative packings of convex domains and then we derive from it some new results. This includes finding the largest density of totally separable translative packings of an arbitrary convex domain and find…
A construction and algebraic characterization of two unbounded Apollonian Disk packings in the plane and the half-plane are presented. Both turn out to involve the golden ratio.
Suppose one has a collection of disks of various sizes with disjoint interiors, a packing in the plane, and suppose the ratio of the smallest radius divided by the largest radius lies between $1$ and $q$. In his 1964 book Regular Figures (MR0165423), László Fejes Tóth found a series of packings that were his best guess for the maximum density for any $1 > q > 0.2$. Meanwhile Gerd Blind in (MR0275291, MR0377702) proved that for $1 \ge q > 0.72$, the most dense packing possible is $π/\sqrt{12}$, which is when all the disks are the same size. In Regular Figures, the upper bound of the ratio $q$ s…
We show that every packing of congruent regular pentagons in the Euclidean plane has density at most $(5-\sqrt5)/3$, which is about 0.92. More specifically, this article proves the pentagonal ice-ray conjecture of Henley (1986), and Kuperberg and Kuperberg (1990), which asserts that an optimal packing of congruent regular pentagons in the plane is a double lattice, formed by aligned vertical columns of upward pointing pentagons alternating with aligned vertical columns of downward pointing pentagons. The strategy is based on estimates of the areas of Delaunay triangles. Our strategy reduces th…
We say that a tiling separates discs of a packing in the Euclidean plane, if each tile contains exactly one member of the packing. It is a known elementary geometric problem to show that for each locally finite packing of circular discs, there exists a separating tiling with convex polygons. In this paper we show that this separating property remains true for circle packings on the sphere and in the hyperbolic plane. Moreover, we show that in the Euclidean plane circles are the only convex discs, whose packings with similar copies can be always separated by polygonal tilings. The analogous sta…
We prove that given a fixed radius $r$, the set of isometry-invariant probability measures supported on ``periodic'' radius $r$-circle packings of the hyperbolic plane is dense in the space of all isometry-invariant probability measures on the space of radius $r$-circle packings. By a periodic packing, we mean one with cofinite symmetry group. As a corollary, we prove the maximum density achieved by isometry-invariant probability measures on a space of radius $r$-packings of the hyperbolic plane is the supremum of densities of periodic packings. We also show that the maximum density function v…
We consider circle packings in the plane with circles of sizes $1$, $r\simeq 0.834$ and $s\simeq 0.651$. These sizes are algebraic numbers which allow a compact packing, that is, a packing in which each hole is formed by three mutually tangent circles. Compact packings are believed to maximize the density when there are possible. We prove that it is indeed the case for these sizes. The proof should be generalizable to other sizes which allow compact packings and is a first step towards a general result.
This paper determines the optimal upper bound for the simultaneous packing and covering constants of the two-dimensional centrally symmetric convex domains. It solved a problem opening for more than thirty years.
We consider Apollonian circle packings of a half Euclidean plane. We give necessary and sufficient conditions for two such packings to be related by a Euclidean similarity (that is, by translations, reflections, rotations and dilations) and describe explicitly the group of self-similarities of a given packing. We observe that packings with a non-trivial self-similarity correspond to positive real numbers that are the roots of quadratic polynomials with rational coefficients. This is reflected in a close connection between Apollonian circle packings and continued fractions which allows us to co…
We consider a class of planar self-affine sets which we call "box-like". A box-like self-affine set is the attractor of an iterated function system (IFS) of affine maps where the image of the unit square, [0,1]^2, under arbitrary compositions of the maps is a rectangle with sides parallel to the axes. This class contains the Bedford-McMullen carpets and the generalisations thereof considered by Lalley-Gatzouras, Barański and Feng-Wang as well as many other sets. In particular, we allow the mappings in the IFS to have non-trivial rotational and reflectional components. Assuming a rectangular op…
This paper encompasses the mathematical derivations of the analytic and generalized formula and recurrence relations to find out the radii of n umber of circles inscribed or packed in the plane region bounded by circular arcs (including sectors, semi and quarter circles) & the straight lines. The values of radii obtained using analytic formula and recurrence relations have been verified by comparing with those obtained using MATLAB codes. The methods used in this paper for packing circles are deterministic unlike heuristic strategies and optimization techniques. The analytic formulae derived f…
We consider packings of the plane using discs of radius 1 and r=0.545151... . The value of r admits compact packings in which each hole in the packing is formed by three discs which are tangent to each other. We prove that the largest density possible is that of the compact packing shown in figure 1.
Packings of regular convex polygons ($n$-gons) that are sufficiently dense have been studied extensively in the context of modeling physical and biological systems as well as discrete and computational geometry. Former results were mainly regarding densest lattice or double-lattice configurations. Here we consider all two-dimensional crystallographic symmetry groups (plane groups) by restricting the configuration space of the general packing problem of congruent copies of a compact subset of the two-dimensional Euclidean space to particular isomorphism classes of the discrete group of isometri…
For any delta > 1 we construct a periodic and locally finite packing of the plane with ellipses whose delta-enlargement covers the whole plane. This answers a question of Imre Bárány. On the other hand, we show that if C is a packing in the plane with circular discs of radius at most 1, then its 1.00001-enlargement covers no square with side length 4.
A compact circle-packing $P$ of the Euclidean plane is a set of circles which bound mutually disjoint open discs with the property that, for every circle $S\in P$, there exists a maximal indexed set $\{A_{0},\ldots,A_{n-1}\}\subseteq P$ so that, for every $i\in\{0,\ldots,n-1\}$, the circle $A_{i}$ is tangent to both circles $S$ and $A_{i+1\mod n}.$ We show that there exist at most $13617$ pairs $(r,s)$ with $0<s<r<1$ for which there exist a compact circle-packing of the plane consisting of circles with radii $s$, $r$ and $1$. We discuss computing the exact values of such $0<s<r<1$ as roots of …
It is well known that the lattice packing density and the lattice covering density of a triangle are $\frac{2}{3}$ and $\frac{3}{2}$ respectively. We also know that the lattices that attain these densities both are unique. Let $δ_{L}(K)$ and $\vartheta_{L}(K)$ denote the lattice packing density and the lattice covering density of $K$, respectively. In this paper, I study the lattice packings and coverings for a special class of convex disks, which includes all triangles and convex quadrilaterals. In particular, I determine the densities $δ_{L}(Q)$ and $\vartheta_{L}(Q)$, where $Q$ is an arbitr…
We find explicit formulas for the radii and locations of the circles in all the optimally dense packings of two, three or four equal circles on any flat torus, defined to be the quotient of the Euclidean plane by the lattice generated by two independent vectors. We prove the optimality of the arrangements using techniques from rigidity theory and topological graph theory.
We study the contact structure of totally separable} packings of translates of a convex body $K$ in $\mathbb{R}^d$, that is, packings where any two touching bodies have a separating hyperplane that does not intersect the interior of any translate in the packing. The separable Hadwiger number $H_{\text{sep}}(K)$ of $K$ is defined to be the maximum number of translates touched by a single translate, with the maximum taken over all totally separable packings of translates of $K$. We show that for each $d\geq 8$, there exists a smooth and strictly convex $K$ in $\mathbb{R}^d$ with $H_{\text{sep}}(…
How can we arrange $n$ lines through the origin in three-dimensional Euclidean space in a way that maximizes the minimum interior angle between pairs of lines? Conway, Hardin and Sloane (1996) produced line packings for $n \leq 55$ that they conjectured to be within numerical precision of optimal in this sense, but until now only the cases $n \leq 7$ have been solved. In this paper, we resolve the case $n = 8$. Drawing inspiration from recent work on the Tammes problem, we enumerate contact graph candidates for an optimal configuration and eliminate those that violate various combinatorial and…
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).
In an old paper of the author the thinnest five-neighbour packing of translates of a convex disc (different from a parallelogram) was determined. The minimal density was $3/7$, and was attained for a certain packing of triangles. In that paper it was announced that for centrally symmetric convex plates (different from a parallelogram) the analogous minimal density was $9/14$, and was attained for a certain packing of affine regular hexagons, and a very sketchy idea of the proof was given. In this paper we give details of this proof.
We consider ternary disc packings of the plane, i.e. the packings using discs of three different radii. Packings in which each ''hole'' is bounded by three pairwise tangent discs are called triangulated. There are 164 pairs $(r,s)$, $1{>}r{>}s$, allowing triangulated packings by discs of radii 1, $r$ and $s$. In this paper, we enhance existing methods of dealing with maximal-density packings in order to find ternary triangulated packings which maximize the density among all the packings with the same disc radii. We showed for 16 pairs that the density is maximized by a triangulated ternary pac…
We provide, for any $r\in (0,1)$, lower and upper bounds on the maximal density of a packing in the Euclidean plane of discs of radius $1$ and $r$. The lower bounds are mostly folk, but the upper bounds improve the best previously known ones for any $r\in[0.11,0.74]$. For many values of $r$, this gives a fairly good idea of the exact maximum density. In particular, we get new intervals for $r$ which does not allow any packing more dense that the hexagonal packing of equal discs.
Suppose $k$ is a positive integer and $\mathcal{X}$ is a $k$-fold packing of the plane by infinitely many arc-connected compact sets, which means that every point of the plane belongs to at most $k$ sets. Suppose there is a function $f(n)=o(n^2)$ with the property that any $n$ members of $\mathcal{X}$ determine at most $f(n)$ holes, which means that the complement of their union has at most $f(n)$ bounded connected components. We use tools from extremal graph theory and the topological Helly theorem to prove that $\mathcal{X}$ can be decomposed into at most $p$ ($1$-fold) packings, where $p$ i…
László Fejes Tóth and Aladár Heppes proposed the following generalization of the kissing number problem. Given a ball in $\mathbb{R}^d$, consider a family of balls touching it, and another family of balls touching the first family. Find the maximal possible number of balls in this arrangement, provided that no two balls intersect by interiors, and all balls are congruent. They showed that the answer for disks on the plane is $19$. They also conjectured that if there are three families of disks instead of two, the answer is $37$. In this paper we confirm this conjecture.
The optimal packings of n unit discs in the plane are known for those natural numbers n, which satisfy certain number theoretic conditions. Their geometric realizations are the extremal Groemer packings (or Wegner packings). But an extremal Groemer packing of n unit discs does not exist for all natural numbers n and in this case, the number n is called exceptional. We are interested in number theoretic characterizations of the exceptional numbers. A counterexample is given to a conjecture of Wegner concerning such a characterization. We further give a characterization of the exceptional number…
We define spinors for pairs of tangent disks in the Euclidean plane and prove a number of theorems, one of which may be interpreted as a "square root of Descartes Theorem". In any Apollonian disk packing, spinors form a network. In the Apollonian Window, a special case of Apollonian disk packing, all spinors are integral.
We consider hard-disc mixtures with disc sizes within ratio $\sqrt{2}-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 squa…
An extremal $k$-packing is a collection of $k$ mutually disjoint metric discs, embedded in a surface, whose radius is maximal for the given topology. We study compact non-orientable surfaces of genus $g\ge 3$ containing extremal $k$-packings.