In
geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
, circle packing is the study of the arrangement of circles (of equal or varying sizes) on a given surface such that no overlapping occurs and so that no circle can be enlarged without creating an overlap. The associated ''
packing density
A packing density or packing fraction of a packing in some space is the fraction of the space filled by the figures making up the packing. In simplest terms, this is the ratio of the volume of bodies in a space to the volume of the space itself. I ...
'', ''η'', of an arrangement is the proportion of the surface covered by the circles. Generalisations can be made to higher dimensions – this is called ''
sphere packing
In geometry, a sphere packing is an arrangement of non-overlapping spheres within a containing space. The spheres considered are usually all of identical size, and the space is usually three-dimensional Euclidean space. However, sphere packing p ...
'', which usually deals only with identical spheres.
The branch of mathematics generally known as "circle packing" is concerned with the geometry and combinatorics of packings of arbitrarily-sized circles: these give rise to discrete analogs of
conformal mapping
In mathematics, a conformal map is a function that locally preserves angles, but not necessarily lengths.
More formally, let U and V be open subsets of \mathbb^n. A function f:U\to V is called conformal (or angle-preserving) at a point u_0\in ...
,
Riemann surfaces
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed versio ...
and the like.
Densest packing
In the two-dimensional
Euclidean plane
In mathematics, the Euclidean plane is a Euclidean space of dimension two. That is, a geometric setting in which two real quantities are required to determine the position of each point ( element of the plane), which includes affine notions of ...
,
Joseph Louis Lagrange
Joseph-Louis Lagrange (born Giuseppe Luigi Lagrangia[hexagon
In geometry, a hexagon (from Ancient Greek, Greek , , meaning "six", and , , meaning "corner, angle") is a six-sided polygon. The total of the internal angles of any simple polygon, simple (non-self-intersecting) hexagon is 720°.
Regular hexa ...](_blank)
al packing arrangement,
in which the centres of the circles are arranged in a
hexagonal lattice
The hexagonal lattice or triangular lattice is one of the five two-dimensional Bravais lattice types. The symmetry category of the lattice is wallpaper group p6m. The primitive translation vectors of the hexagonal lattice form an angle of 120° ...
(staggered rows, like a
honeycomb
A honeycomb is a mass of Triangular prismatic honeycomb#Hexagonal prismatic honeycomb, hexagonal prismatic Beeswax, wax cells built by honey bees in their beehive, nests to contain their larvae and stores of honey and pollen.
beekeeping, Beekee ...
), and each circle is surrounded by 6 other circles. For circles of diameter
and hexagons of side length
, the hexagon area and the circle area are, respectively:
:
:
.
The area covered within each hexagon by circles is:
:
.
Finally, the packing density is:
:
In 1890,
Axel Thue
Axel Thue (; 19 February 1863 – 7 March 1922) was a Norwegian mathematician, known for his original work in diophantine approximation and combinatorics.
Work
Thue published his first important paper in 1909.
He stated in 1914 the so-called wo ...
published a proof that this same density is optimal among all packings, not just lattice packings, but his proof was considered by some to be incomplete. The first rigorous proof is attributed to
László Fejes Tóth
László Fejes Tóth ( hu, Fejes Tóth László, 12 March 1915 – 17 March 2005) was a Hungarian mathematician who specialized in geometry. He proved that a lattice pattern is the most efficient way to pack centrally symmetric convex sets on th ...
in 1942.
While the circle has a relatively low maximum packing density, it does not have the lowest possible, even among
centrally-symmetric convex shape
In geometry, a convex polygon is a polygon that is the Boundary (topology), boundary of a convex set. This means that the line segment between two points of the polygon is contained in the union of the interior and the boundary of the polygon. In ...
s: the
smoothed octagon
The smoothed octagon is a region in the plane found by Karl Reinhardt in 1934 and conjectured by him to have the ''lowest'' maximum packing density of the plane of all centrally symmetric convex shapes. It was also independently discovered by Kur ...
has a packing density of about 0.902414, the smallest known for centrally-symmetric convex shapes and conjectured to be the smallest possible.
(Packing densities of concave shapes such as
star polygon
In geometry, a star polygon is a type of non-convex polygon. Regular star polygons have been studied in depth; while star polygons in general appear not to have been formally defined, certain notable ones can arise through truncation operations ...
s can be arbitrarily small.)
Other packings
At the other extreme, Böröczky demonstrated that arbitrarily low density arrangements of rigidly packed circles exist.
There are 11 circle packings based on the 11
uniform tilings
A uniform is a variety of clothing worn by members of an organization while participating in that organization's activity. Modern uniforms are most often worn by armed forces and paramilitary organizations such as police, emergency services, se ...
of the plane. In these packings, every circle can be mapped to every other circle by reflections and rotations. The
hexagon
In geometry, a hexagon (from Ancient Greek, Greek , , meaning "six", and , , meaning "corner, angle") is a six-sided polygon. The total of the internal angles of any simple polygon, simple (non-self-intersecting) hexagon is 720°.
Regular hexa ...
al gaps can be filled by one circle and the
dodecagon
In geometry, a dodecagon or 12-gon is any twelve-sided polygon.
Regular dodecagon
A regular dodecagon is a figure with sides of the same length and internal angles of the same size. It has twelve lines of reflective symmetry and rotational sym ...
al gaps can be filled with 7 circles, creating 3-uniform packings. The
truncated trihexagonal tiling
In geometry, the truncated trihexagonal tiling is one of eight semiregular tilings of the Euclidean plane. There are one square, one hexagon, and one dodecagon on each vertex. It has Schläfli symbol of ''tr''.
Names
Uniform colorings
The ...
with both types of gaps can be filled as a 4-uniform packing. The
snub hexagonal tiling
In geometry, the snub hexagonal tiling (or ''snub trihexagonal tiling'') is a semiregular tiling of the Euclidean plane. There are four triangles and one hexagon on each vertex. It has Schläfli symbol ''sr''. The snub tetrahexagonal tiling is a r ...
has two mirror-image forms.
On the sphere
A related problem is to determine the lowest-energy arrangement of identically interacting points that are constrained to lie within a given surface. The
Thomson problem
The objective of the Thomson problem is to determine the minimum electrostatic potential energy configuration of electrons constrained to the surface of a unit sphere that repel each other with a force given by Coulomb's law. The physicist J. J. ...
deals with the lowest energy distribution of identical electric charges on the surface of a sphere. The
Tammes problem
In geometry, the Tammes problem is a problem in packing a given number of circles on the surface of a sphere such that the minimum distance between circles is maximized. It is named after the Dutch botanist Pieter Merkus Lambertus Tammes (the n ...
is a generalisation of this, dealing with maximising the minimum distance between circles on sphere. This is analogous to distributing non-point charges on a sphere.
In bounded areas
Packing circles in simple bounded shapes is a common type of problem in
recreational mathematics
Recreational mathematics is mathematics carried out for recreation (entertainment) rather than as a strictly research and application-based professional activity or as a part of a student's formal education. Although it is not necessarily limited ...
. The influence of the container walls is important, and hexagonal packing is generally not optimal for small numbers of circles. Specific problems of this type that have been studied include:
*
Circle packing in a circle
Circle packing in a circle is a two-dimensional packing problem with the objective of packing unit circles into the smallest possible larger circle.
Table of solutions, 1 ≤ ''n'' ≤ 20
If more than one equivalent solution exists, all are sho ...
*
Circle packing in a square
Circle packing in a square is a packing problem in recreational mathematics, where the aim is to pack unit circles into the smallest possible square. Equivalently, the problem is to arrange points in a unit square aiming to get the greatest mini ...
*
Circle packing in an equilateral triangle
Circle packing in an equilateral triangle is a packing problem in discrete mathematics where the objective is to pack unit circles into the smallest possible equilateral triangle. Optimal solutions are known for and for any triangular number o ...
*
Circle packing in an isosceles right triangle
See the linked articles for details.
Unequal circles
There are also a range of problems which permit the sizes of the circles to be non-uniform. One such extension is to find the maximum possible density of a system with two specific sizes of circle (a ''binary'' system). Only nine particular radius ratios permit ''compact packing'', which is when every pair of circles in contact is in mutual contact with two other circles (when line segments are drawn from contacting circle-center to circle-center, they triangulate the surface).
For all these radius ratios a compact packing is known that achieves the maximum possible packing fraction (above that of uniformly-sized discs) for mixtures of discs with that radius ratio.
All nine have ratio-specific packings denser than the uniform hexagonal packing, as do some radius ratios without compact packings.
It is also known that if the radius ratio is above 0.742, a binary mixture cannot pack better than uniformly-sized discs.
[ Upper bounds for the density that can be obtained in such binary packings at smaller ratios have also been obtained.
]
Applications
Quadrature amplitude modulation
Quadrature amplitude modulation (QAM) is the name of a family of digital modulation methods and a related family of analog modulation methods widely used in modern telecommunications to transmit information. It conveys two analog message signal ...
is based on packing circles into circles within a phase-amplitude space. A modem
A modulator-demodulator or modem is a computer hardware device that converts data from a digital format into a format suitable for an analog transmission medium such as telephone or radio. A modem transmits data by Modulation#Digital modulati ...
transmits data as a series of points in a 2-dimensional phase-amplitude plane. The spacing between the points determines the noise tolerance of the transmission, while the circumscribing circle diameter determines the transmitter power required. Performance is maximized when the constellation
A constellation is an area on the celestial sphere in which a group of visible stars forms Asterism (astronomy), a perceived pattern or outline, typically representing an animal, mythological subject, or inanimate object.
The origins of the e ...
of code points are at the centres of an efficient circle packing. In practice, suboptimal rectangular packings are often used to simplify decoding.
Circle packing has become an essential tool in origami
) is the Japanese paper art, art of paper folding. In modern usage, the word "origami" is often used as an inclusive term for all folding practices, regardless of their culture of origin. The goal is to transform a flat square sheet of pape ...
design, as each appendage on an origami figure requires a circle of paper.[TED.com lecture on modern origami]
Robert Lang on TED
." Robert J. Lang
Robert J. Lang (born May 4, 1961) is an American physicist who is also one of the foremost origami artists and theorists in the world. He is known for his complex and elegant designs, most notably of insects and animals. He has studied the mathe ...
has used the mathematics of circle packing to develop computer programs that aid in the design of complex origami figures.
See also
*Apollonian gasket
In mathematics, an Apollonian gasket or Apollonian net is a fractal generated by starting with a triple of circles, each tangent to the other two, and successively filling in more circles, each tangent to another three. It is named after Greek mat ...
*Circle packing in a rectangle
Circle packing in a square is a packing problem in recreational mathematics, where the aim is to pack unit circles into the smallest possible square. Equivalently, the problem is to arrange points in a unit square aiming to get the greatest mini ...
*Circle packing in a square
Circle packing in a square is a packing problem in recreational mathematics, where the aim is to pack unit circles into the smallest possible square. Equivalently, the problem is to arrange points in a unit square aiming to get the greatest mini ...
*Circle packing in a circle
Circle packing in a circle is a two-dimensional packing problem with the objective of packing unit circles into the smallest possible larger circle.
Table of solutions, 1 ≤ ''n'' ≤ 20
If more than one equivalent solution exists, all are sho ...
* Inversive distance
*Kepler conjecture
The Kepler conjecture, named after the 17th-century mathematician and astronomer Johannes Kepler, is a mathematical theorem about sphere packing in three-dimensional Euclidean space. It states that no arrangement of equally sized spheres filling s ...
*Malfatti circles
In geometry, the Malfatti circles are three circles inside a given triangle such that each circle is tangent to the other two and to two sides of the triangle. They are named after Gian Francesco Malfatti, who made early studies of the problem o ...
*Packing problem
Packing problems are a class of optimization problems in mathematics that involve attempting to pack objects together into containers. The goal is to either pack a single container as densely as possible or pack all objects using as few conta ...
References
Bibliography
*
*
{{Authority control