ترغب بنشر مسار تعليمي؟ اضغط هنا

A polytopal generalization of Apollonian packings and Descartes theorem

57   0   0.0 ( 0 )
 نشر من قبل Jorge Ramirez Alfonsin
 تاريخ النشر 2021
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

In this paper we introduce and study the class of d-ball packings arising from edge-scribable polytopes. We are able to generalize Apollonian disk packings and the well-known Descartes theorem in different settings and in higher dimensions. After introducing the notion of Lorentzian curvature of a polytope we present an analogue of the Descartes theorem for all regular polytopes in any dimension. The latter yields to nice curvature relations which we use to construct integral Apollonian packings based on the Platonic solids. We show that there are integral Apollonian packings based on the tetrahedra, cube and dodecahedra containing the sequences of perfect squares. We also study the duality, unicity under Mobius transformations as well as generalizations of the Apollonian groups. We show that these groups are hyperbolic Coxeter groups admitting an explicit matrix representation. An unexpected invariant, that we call Mobius spectra, associated to Mobius unique polytopes is also discussed.

قيم البحث

اقرأ أيضاً

189 - Ian Whitehead 2021
We study Apollonian circle packings in relation to a certain rank 4 indefinite Kac-Moody root system $Phi$. We introduce the generating function $Z(mathbf{s})$ of a packing, an exponential series in four variables with an Apollonian symmetry group, w hich relates to Weyl-Kac characters of $Phi$. By exploiting the presence of affine and Lorentzian hyperbolic root subsystems of $Phi$, with automorphic Weyl denominators, we express $Z(mathbf{s})$ in terms of Jacobi theta functions and the Siegel modular form $Delta_5$. We also show that the domain of convergence of $Z(mathbf{s})$ is the Tits cone of $Phi$, and discover that this domain inherits the intricate geometric structure of Apollonian packings.
In 1972, Chvatal gave a well-known sufficient condition for a graphical sequence to be forcibly hamiltonian, and showed that in some sense his condition is best possible. Nash-Williams gave examples of forcibly hamiltonian n-sequences that do not sat isfy Chvatlas condition for every n at least 5. In this note we generalize the Nash-Williams examples, and use this generalization to generate Omega(2^n/n^.5) forcibly hamiltonian n-sequences that do not satisfy Chvatals condition
This note wants to explain how to obtain meaningful pictures of (possibly high-dimensional) convex polytopes, triangulated manifolds, and other objects from the realm of geometric combinatorics such as tight spans of finite metric spaces and tropical polytopes. In all our cases we arrive at specific, geometrically motivated, graph drawing problems. The methods displayed are implemented in the software system polymake.
Let $ngeq 3$ and $r_n$ be a $3$-polytopal graph such that for every $3leq ileq n$, $r_n$ has at least one vertex of degree $i$. We find the minimal vertex count for $r_n$. We then describe an algorithm to construct the graphs $r_n$. A dual statement may be formulated for faces of $3$-polytopes. The ideas behind the algorithm generalise readily to solve related problems. Moreover, given a $3$-polytope $t_l$ comprising a vertex of degree $i$ for all $3leq ileq l$, $l$ fixed, we define an algorithm to output for $n>l$ a $3$-polytope $t_n$ comprising a vertex of degree $i$, for all $3leq ileq n$, and such that the initial $t_l$ is a subgraph of $t_n$. The vertex count of $t_n$ is asymptotically optimal, in the sense that it matches the aforementioned minimal vertex count up to order of magnitude, as $n$ gets large. In fact, we only lose a small quantity on the coefficient of the second highest term, and this quantity may be taken as small as we please, with the tradeoff of first constructing an accordingly large auxiliary graph.
Caratheodory showed that $n$ complex numbers $c_1,...,c_n$ can uniquely be written in the form $c_p=sum_{j=1}^m rho_j {epsilon_j}^p$ with $p=1,...,n$, where the $epsilon_j$s are different unimodular complex numbers, the $rho_j$s are strictly positive numbers and integer $m$ never exceeds $n$. We give the conditions to be obeyed for the former property to hold true if the $rho_j$s are simply required to be real and different from zero. It turns out that the number of the possible choices of the signs of the $rho_j$s are {at most} equal to the number of the different eigenvalues of the Hermitian Toeplitz matrix whose $i,j$-th entry is $c_{j-i}$, where $c_{-p}$ is equal to the complex conjugate of $c_{p}$ and $c_{0}=0$. This generalization is relevant for neutron scattering. Its proof is made possible by a lemma - which is an interesting side result - that establishes a necessary and sufficient condition for the unimodularity of the roots of a polynomial based only on the polynomial coefficients. Keywords: Toeplitz matrix factorization, unimodular roots, neutron scattering, signal theory, inverse problems. PACS: 61.12.Bt, 02.30.Zz, 89.70.+c, 02.10.Yn, 02.50.Ga
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا