Apollonian Circle Packings: Geometry and Group Theory III. Higher Dimensions
dc.contributor.author | Yan, Catherine H. | en_US |
dc.contributor.author | Lagarias, Jeffrey C. | en_US |
dc.contributor.author | Mallows, Colin L. | en_US |
dc.contributor.author | Wilks, Allan R. | en_US |
dc.contributor.author | Graham, Ronald L. | en_US |
dc.date.accessioned | 2006-09-08T19:10:15Z | |
dc.date.available | 2006-09-08T19:10:15Z | |
dc.date.issued | 2006-01 | en_US |
dc.identifier.citation | Graham, Ronald L.; Lagarias, Jeffrey C.; Mallows, Colin L.; Wilks, Allan R.; Yan, Catherine H.; (2006). "Apollonian Circle Packings: Geometry and Group Theory III. Higher Dimensions." Discrete & Computational Geometry 35(1): 37-72. <http://hdl.handle.net/2027.42/41358> | en_US |
dc.identifier.issn | 0179-5376 | en_US |
dc.identifier.issn | 1432-0444 | en_US |
dc.identifier.uri | https://hdl.handle.net/2027.42/41358 | |
dc.description.abstract | This paper gives $n$-dimensional analogues of the Apollonian circle packings in Parts I and II. Those papers considered circle packings described in terms of their Descartes configurations, which are sets of four mutually touching circles. They studied packings that had integrality properties in terms of the curvatures and centers of the circles. Here we consider collections of $n$-dimensional Descartes configurations, which consist of $n+2$ mutually touching spheres. We work in the space $M_D^n$ of all $n$-dimensional oriented Descartes configurations parametrized in a coordinate system, augmented curvature-center coordinates, as those $(n+2) times (n+2)$ real matrices $W$ with $W^T Q_{D,n} W = Q_{W,n}$ where $Q_{D,n} = x_1^2 + cdots + x_{n+2}^2 - ({1}/{n})(x_1 +cdots +x_{n+2})^2$ is the $n$-dimensional Descartes quadratic form, $Q_{W,n} = -8x_1x_2 + 2x_3^2 + cdots + 2x_{n+2}^2$, and $bQ_{D,n}$ and $bQ_{W,n}$ are their corresponding symmetric matrices. On the parameter space $M_D^n$of augmented curvature-center matrices, the group ${it Aut}(Q_{D,n})$ acts on the left and ${it Aut}(Q_{W,n})$ acts on the right. Both these groups are isomorphic to the $(n+2)$-dimensional Lorentz group $O(n+1,1)$, and give twodifferent "geometric" actions. The right action of ${it Aut}(Q_{W,n})$ (essentially) corresponds to Mobius transformations acting on the underlyingEuclidean space $rr^n$ while the left action of ${it Aut}(Q_{D,n})$ isdefined only on the parameter space $M_D^n$. We introduce $n$-dimensional analogues of the Apollonian group, the dual Apollonian group and the super-Apollonian group. These are finitely generated groups in ${it Aut}(Q_{D,n})$, with the following integrality properties: the dual Apollonian group consists of integral matrices in all dimensions, while the other two consist of rational matrices, with denominators having prime divisors drawn from a finite set $S$ depending on the dimension. We show that the Apollonian group and the dual Apollonian group are finitely presented, and are Coxeter groups. We define an Apollonian cluster ensemble to be any orbit under the Apollonian group, with similar notions for the other two groups. We determine in which dimensions there exist rational Apollonian cluster ensembles (all curvatures are rational) and strongly rational Apollonian sphere ensembles (all augmented curvature-center coordinates are rational). | en_US |
dc.format.extent | 437715 bytes | |
dc.format.extent | 3115 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | text/plain | |
dc.language.iso | en_US | |
dc.publisher | Springer-Verlag; Springer | en_US |
dc.subject.other | Computational Mathematics and Numerical Analysis | en_US |
dc.subject.other | Combinatorics | en_US |
dc.subject.other | Mathematics | en_US |
dc.title | Apollonian Circle Packings: Geometry and Group Theory III. Higher Dimensions | en_US |
dc.type | Article | en_US |
dc.subject.hlbsecondlevel | Mathematics | en_US |
dc.subject.hlbtoplevel | Science | en_US |
dc.description.peerreviewed | Peer Reviewed | en_US |
dc.contributor.affiliationum | Department of Mathematics, University of Michigan, Ann Arbor, MI 48109-1109, USA | en_US |
dc.contributor.affiliationother | Avaya Labs, Basking Ridge, NJ 07920, USA | en_US |
dc.contributor.affiliationother | AT&T Labs, Florham Park, NJ 07932-0971, USA | en_US |
dc.contributor.affiliationother | Department of Computer Science and Engineering, University of California at San Diego, La Jolla, CA 92110, USA | en_US |
dc.contributor.affiliationother | Department of Mathematics, Texas A&M University, College Station, TX 77843, USA | en_US |
dc.contributor.affiliationumcampus | Ann Arbor | en_US |
dc.description.bitstreamurl | http://deepblue.lib.umich.edu/bitstream/2027.42/41358/1/454_2005_Article_1197.pdf | en_US |
dc.identifier.doi | http://dx.doi.org/10.1007/s00454-005-1197-8 | en_US |
dc.identifier.source | Discrete & Computational Geometry | en_US |
dc.owningcollname | Interdisciplinary and Peer-Reviewed |
Files in this item
Remediation of Harmful Language
The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.
Accessibility
If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.