arXiv Science⌕ Search

arXiv · 0706.2958

On the shadow boundary of a centrally symmetric convex body

Abstract

We discuss the concept of the shadow boundary of a centrally symmetric convex ball $K$ (actually being the unit ball of a Minkowski normed space) with respect to a direction ${\bf x}$ of the Euclidean n-space $R^n$. We introduce the concept of general parameter spheres of $K$ corresponding to this direction and prove that the shadow boundary is a topological manifold if all of the non-degenerated general parameter spheres are, too. In this case, using the approximation theorem of cell-like maps we get that they are homeomorphic to the $(n-2)$-dimensional sphere $S^{(n-2)}$. We also prove that the bisector (equidistant set of the corresponding normed space) in the direction ${\bf x}$ is homeomorphic to $R^{(n-1)}$ iff all of the non-degenerated general parameter spheres are $(n-2)$-manifolds implying that if the bisector is a homeomorphic copy of $R^{(n-1)}$ then the corresponding shadow boundary is a topological $(n-2)$-sphere.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Akos G. Horvath. 2007-06-20. On the shadow boundary of a centrally symmetric convex body. https://arxiv.org/abs/0706.2958

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The Converse Problem for the Morley Tetrahedron: Counterexamples, Conjectures, and Partial Results

An earlier paper in Acta Mathematica Hungarica showed that the Morley construction preserves equality of opposite edge pairs and proposed two converse conjectures. We disprove both. A nonisosceles tetrahedron $T_1$ and an isosceles but nonregular tetrahedron $T_2$ have regular Morley tetrahedra, and an analytic curve of nonisosceles tetrahedra has isosceles Morley tetrahedra. The tetrahedron $T_2$ has edges $AB=CD=1$ and $AC=AD=BC=BD=\sqrt{(21+4\sqrt6)/45}$. Both examples have four equal cross edges. We conjecture that every tetrahedron with a regular Morley tetrahedron has this property, and prove it whenever the original tetrahedron has a nontrivial symmetry. Within the class with four equal cross edges, only the regular tetrahedron, $T_1$ and $T_2$ have regular Morley tetrahedra. The sextic defining $T_1$ has Galois group $S_6$, so $T_1$ cannot be expressed by radicals. The proof-critical computer-assisted checks use exact rational arithmetic.

math.MG↗

Towards Strongly Aperiodic Monotiles in Higher Dimensions

The discovery of Chair44 (Tsiokos, 2026) settled the three-dimensional einstein problem with a strongly aperiodic polyhedral monotile in $\mathbb{R}^3$. This note extends the underlying mechanism---the rep-$2^N$ chair $C_N = [0,2]^N \setminus (1,2]^N$ with corner/socket markings---to $\mathbb{R}^N$. Besides expository material (the rep-$2^N$ dissection and a conditional strong-aperiodicity theorem under lattice registration and hierarchical enforcement), the note makes a new computational contribution. We introduce a frame-marking formalism in which the marking of a tile is its full orientation frame and the matching rule is the contact language generated by the substitution itself; this makes the search for matching rules finite in every dimension. We give a finite certificate (coarsening closure, tightness, and a two-shell enclosure analysis) whose validity implies that every lattice-registered tiling by the marked tile is uniquely hierarchical, hence strongly aperiodic. For $N=3$ the certificate passes: it yields explicit facet matching rules on the 24 panels of $C_3$ (135 admissible facet-contact triples) and reproduces, from first principles and independently of published constructions, the Chair44 statistics 2388 $\to$ 44 admissible contacts (30 occurring), 33 one-shell clusters, 15 extendable, each forcing a unique supertile. Among the 2187 homochiral frame assignments of the 3D substitution with a translated central child, the certified one is unique up to conjugation. For $N=4$ the same pipeline is run on several structured families of frame assignments (canonical, $D_4$-, $Z_2\times Z_2$- and $Z_4$-symmetric, and a lift of the 3D solution); none is coarsening-closed, and we report the failure data. A self-similar marking of $C_4$ thus remains an explicitly finite, open computational problem, which we state precisely. Code: https://github.com/dimkadimon/Monotile-RN

math.MG↗

Pullback metrics and homological obstructions to BLD remetrization of branched covers

We characterize admissible BLD remetrizations of branched self-covers of spheres by linear local contractibility of their canonical pullback length metrics. A relative homology obstruction involving the total degree of an inverse image component yields uniform porosity of branch values. Explicit degree-two cusp covers of $\mathbb S^n$, $n\ge3$, have uniformly porous branch values of Hausdorff dimension $n-2$ but admit no compatible Ahlfors $n$-regular, linearly locally contractible BLD source metric. Short homologically essential loops provide the obstruction, showing that porosity is necessary but insufficient for admissibility. We also prove quasisymmetric invariance and sharp degree dependence of porosity for sphere-to-sphere covers in dimension two.

math.MG↗