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

The Extremal Spheres Theorem

145   0   0.0 ( 0 )
 نشر من قبل Alexey Glazyrin
 تاريخ النشر 2009
  مجال البحث
والبحث باللغة English




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

Consider a polygon P and all neighboring circles (circles going through three consecutive vertices of P). We say that a neighboring circle is extremal if it is empty (no vertices of P inside) or full (no vertices of P outside). It is well known that for any convex polygon there exist at least two empty and at least two full circles, i.e. at least four extremal circles. In 1990 Schatteman considered a generalization of this theorem for convex polytopes in d-dimensional Euclidean space. Namely, he claimed that there exist at least 2d extremal neighboring spheres. In this paper, we show that there are certain gaps in Schattemans proof, which is based on the Bruggesser-Mani shelling method. We show that using this method it is possible to prove that there are at least d+1 extremal neighboring spheres. However, the existence problem of 2d extremal neighboring spheres is still open.



قيم البحث

اقرأ أيضاً

249 - Oleg Musin , Alexey Tarasov 2010
The thirteen spheres problem is asking if 13 equal size nonoverlapping spheres in three dimensions can touch another sphere of the same size. This problem was the subject of the famous discussion between Isaac Newton and David Gregory in 1694. The pr oblem was solved by Schutte and van der Waerden only in 1953. A natural extension of this problem is the strong thirteen spheres problem (or the Tammes problem for 13 points) which asks to find an arrangement and the maximum radius of 13 equal size nonoverlapping spheres touching the unit sphere. In the paper we give a solution of this long-standing open problem in geometry. Our computer-assisted proof is based on a enumeration of the so-called irreducible graphs.
We find minimal and maximal length of intersections of lines at a fixed distance to the origin with the cross-polytope. We also find maximal volume noncentral sections of the cross-polypote by hyperplanes which are at a fixed large distance to the or igin and minimal volume sections by symmetric slabs of a large fixed width. This parallels recent results about noncentral sections of the cube due to Moody, Stone, Zach and Zvavitch.
For an $r$-tuple $(gamma_1,ldots,gamma_r)$ of special orthogonal $dtimes d$ matrices, we say the Euclidean $(d-1)$-dimensional sphere $S^{d-1}$ is $(gamma_1,ldots,gamma_r)$-divisible if there is a subset $Asubseteq S^{d-1}$ such that its translations by the rotations $gamma_1,ldots,gamma_r$ partition the sphere. Motivated by some old open questions of Mycielski and Wagon, we investigate the version of this notion where the set $A$ has to be measurable with respect to the spherical measure. Our main result shows that measurable divisibility is impossible for a generic (in various meanings) $r$-tuple of rotations. This is in stark contrast to the recent result of Conley, Marks and Unger which implies that, for every generic $r$-tuple, divisibility is possible with parts that have the property of Baire.
We study left-invariant distances on Lie groups for which there exists a one-parameter family of homothetic automorphisms. The main examples are Carnot groups, in particular the Heisenberg group with the standard dilations. We are interested in crite ria implying that, locally and away from the diagonal, the distance is Euclidean Lipschitz and, consequently, that the metric spheres are boundaries of Lipschitz domains in the Euclidean sense. In the first part of the paper, we consider geodesic distances. In this case, we actually prove the regularity of the distance in the more general context of sub-Finsler manifolds with no abnormal geodesics. Secondly, for general groups we identify an algebraic criterium in terms of the dilating automorphisms, which for example makes us conclude the regularity of homogeneous distances on the Heisenberg group.In such a group, we analyze in more details the geometry of metric spheres. We also provide examples of homogeneous groups where spheres presents cusps.
We show that the theorem of the three perpendiculars holds in any n-dimensional space form.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

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