login
Curvatures in the nickel-dime-quarter Apollonian circle packing, ordered first by generation and then by size.
10

%I #85 May 29 2022 08:12:30

%S -11,21,24,28,40,52,61,157,76,85,96,117,120,132,181,213,237,376,388,

%T 397,132,156,160,189,204,205,216,237,253,285,288,309,316,336,349,405,

%U 412,421,453,460,469,472,517,544,565,616,628,685,717,741,1084,1093,1104,1125,1128,1140

%N Curvatures in the nickel-dime-quarter Apollonian circle packing, ordered first by generation and then by size.

%C For a circle, curvature = 1/radius. The curvatures of a quarter, nickel, and dime are approximately proportional to 21, 24, and 28, respectively. Three mutually tangent circles with curvatures 21, 24, 28 can be inscribed in a circle of curvature 11.

%C Apollonius's and Descartes's Theorems say that, given three mutually tangent circles of curvatures a, b, c, there are exactly two circles tangent to all three, and their curvatures are a + b + c +- 2*sqrt(ab + ac + bc). (Here negative curvature of one of the two circles means that the three circles are inscribed in it.)

%C Fuchs (2009) says "An Apollonian circle packing ... is made by repeatedly inscribing circles into the triangular interstices in a Descartes configuration of four mutually tangent circles. Remarkably, if the original four circles have integer curvature, all of the circles in the packing will have integer curvature as well." That is because if a + b + c - 2s*qrt(ab + ac + bc) is an integer, then so is a + b + c + 2*sqrt(ab + ac + bc).

%C For n > 1, the n-th generation of the packing has 4*3^(n-2) circles.

%C Infinitely many of the curvatures are prime numbers A189227. In fact, in any integral Apollonian circle packing that is primitive (i.e., the curvatures have no common factor), the prime curvatures constitute a positive fraction of all primes (Bourgain 2012) and there are infinitely many pairs of tangent circles both of whose curvatures are prime (Sarnak 2007, 2011).

%C Fuchs and Sanden (2012) report on experiments with the nickel-dime-quarter Apollonian circle packing, which they call the coins packing P_C.

%H D. Austin, <a href="http://www.ams.org/samplings/feature-column/fcarc-kissing">When Kissing Involves Trigonometry</a>, AMS feature column March 2006.

%H J. Bourgain, <a href="http://arxiv.org/abs/1105.5127">Integral Apollonian circle packings and prime curvatures</a>, arXiv:1105.5127 [math.NT], 2011-2012.

%H J. Bourgain and A. Kontorovich, <a href="http://arxiv.org/abs/1205.4416">On the Strong Density Conjecture for Integral Apollonian Circle Packings</a>, arXiv:1205.4416 [math.NT], 2012-2013. See figure 1.

%H S. Butler, R. Graham, G. Guettler and C. Mallows, <a href="http://www.math.ucsd.edu/~ronspubs/10_07_irreducible.pdf">Irreducible Apollonian configurations and packings</a>, Discrete & Computational Geometry, 44 (2010), 487-507.

%H E. Fuchs, <a href="http://math.berkeley.edu/~efuchs/efuchsthesis.pdf">Arithmetic Properties of Apollonian Circle Packings</a>, Ph.D. thesis 2009.

%H E. Fuchs and K. Sanden, <a href="http://arxiv.org/abs/1001.1406">Some experiments with integral Apollonian circle packings</a>, Experiment. Math. 20 (2011), 380-399.

%H R. L. Graham, J. C. Lagarias, C. L. Mallows, Allan Wilks, and C. H. Yan, <a href="http://arxiv.org/abs/math/0009113">Apollonian Circle Packings: Number Theory</a>, J. Number Theory, 100 (2003), 1-45.

%H R. L. Graham, J. C. Lagarias, C. L. Mallows, Allan Wilks, and C. H. Yan, <a href="http://arxiv.org/abs/math/0010298">Apollonian Circle Packings: Geometry and Group Theory I. The Apollonian Group.</a>, Discrete & Computational Geometry, 34 (2005), no. 4, 547-585.

%H K. E. Hirst, <a href="http://jlms.oxfordjournals.org/content/s1-42/1/281.extract">The Apollonian Packing of Circles</a>, J. London Math. Soc. s1-42(1) (1967), 281-291.

%H E. Kasner and F. Supnick, <a href="http://www.pnas.org/content/29/11/378">The Apollonian packing of circles</a>, Proc. Nat. Acad. Sci. U.S.A. 29 (1943), 378-384.

%H A. Kontorovich, <a href="https://doi.org/10.1090/S0273-0979-2013-01402-2">From Apollonius to Zaremba: Local-global phenomena in thin orbits</a>, Bull. Amer. Math. Soc., 50 (2013), 187-228.

%H J. C. Lagarias, C. L. Mallows, and Allan Wilks, <a href="http://arxiv.org/abs/math/0101066">Beyond the Descartes Circle Theorem</a>, Amer. Math Monthly, 109 (2002), 338-361.

%H L. Levine, W. Pegden, C. K. Smart, <a href="http://arxiv.org/abs/1208.4839">Apollonian Structure in the Abelian Sandpile</a>, arXiv:1208.4839 [math.AP], 2012-2014.

%H D. Mackenzie, <a href="https://www.tcd.ie/Physics/research/groups/foams/media/gasket.pdf">A Tisket, a Tasket, an Apollonian Gasket</a>, American Scientist, 98 (2010).

%H C. L. Mallows, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL12/Mallows/mallows8.html">Growing Apollonian Packings</a>, J. Integer Sequences, 12 (2009), article 09.2.1.

%H I. Peterson, <a href="http://www.ac-noumea.nc/maths/amc/docs/circle_game.pdf">Circle game</a>, Science News, 4/21/01.

%H I. Peterson, <a href="https://www.sciencenews.org/article/temple-circles">Temple circles</a>, Math Trek, 4/23/01.

%H P. Sarnak, <a href="http://web.math.princeton.edu/sarnak/AppolonianPackings.pdf">Letter to Lagarias on integral Apollonian packings</a>, June, 2007.

%H P. Sarnak, <a href="http://web.math.princeton.edu/sarnak/InternalApollonianPackings09.pdf">Integral Apollonian packings</a>, MAA Lecture, Jan 2009.

%H P. Sarnak, <a href="http://www.jstor.org/stable/10.4169/amer.math.monthly.118.04.291">Integral Apollonian packings</a>, Amer. Math. Monthly, 118 (2011), 291-306.

%H K. E. Stange, <a href="http://arxiv.org/abs/1208.4836">The sensual Apollonian circle packing</a>, arXiv:1208.4836 [math.NT], 2012-2014.

%H Wikipedia, <a href="http://en.wikipedia.org/wiki/Apollonian_gasket#Integral_Apollonian_circle_packings">Integral Apollonian circle packings</a>

%H Wikipedia, <a href="http://en.wikipedia.org/wiki/Descartes_theorem">Descartes' theorem</a>

%F a(n) == 0, 4, 12, 13, 16, or 21 (mod 24).

%e The 1st-generation curvatures are -11, 21, 24, 28, the 2nd are 40, 52, 61, 157, and the 3rd are 76, 85, 96, 117, 120, 132, 181, 213, 237, 376, 388, 397. The 4th generation begins 132, 156, 160, 189, 204, 205, 216, ....

%e As 21 + 24 + 28 +- 2*sqrt(21*24 + 21*28 + 24*28) = 157 or -11, the sequence begins -11, 21, 24, 28, ... and 157 is in it.

%e The primes 157 and 397 are the curvatures of two circles that are tangent.

%t root = {-11, 21, 24, 28};

%t triples = Subsets[root, {3}];

%t a = {root};

%t Do[

%t ng = Table[Total@t + 2 Sqrt@Total[Times @@@ Subsets[t, {2}]], {t, triples}];

%t AppendTo[a, Sort@ng];

%t triples = Join @@ Table[{t, r} = tr; Table[Append[p, r], {p, Subsets[t, {2}]}], {tr, Transpose@{triples, ng}}]

%t , {k, 3}];

%t Flatten@a (* _Andrey Zabolotskiy_, May 29 2022 *)

%Y Cf. A042944, A042946, A042945, A045506, A045673, A045864, A052483, A060790, A135849, A137246, A154636, A154637, A154638, A171090, A189227, A218155, A248938, A265495, A294510.

%K sign,tabf

%O 1,1

%A _Jonathan Sondow_, Apr 18 2011

%E Terms a(28) and beyond from _Andrey Zabolotskiy_, May 29 2022