https://arxiv.org/api/NHiFLuXaQ96iFK7VEdxYvV9CcUI 2026-06-21T13:47:14Z 13068 705 15 http://arxiv.org/abs/2601.22673v1 2026-01-30T07:45:03Z

We study typical wall singularity of codimension one for locally compact geodesically complete metric spaces with an upper curvature bound. We provide a geometric structure theorem of codimension one singularity, and a geometric characterization of codimension two regularity. These give us necessary and sufficient conditions for singular sets to be of codimension at least two.

2026-01-30T07:45:03Z 63 pages Koichi Nagano http://arxiv.org/abs/2601.22473v1 2026-01-30T02:37:00Z

We develop geometric versions of Rademacher and Calderon type differentiability theorems in two categories. A special case of our results is that for any Lipschitz or continuous $W^{1,p}$ Sobolev map $f$ from $[0,1]^n$ into a Euclidean space with $p>n$, the image $f([0,1]^n)$ has a unique tangent set (Attouch-Wets convergence) at almost every point with respect to the $n$-dimensional Hausdorff measure. In the analogous case when $f$ is a continuous $N^{1,p}$ map from $[0,1]^n$ into a metric space, we show that the image $f([0,1]^n)$ has a unique metric tangent (Gromov-Hausdorff convergence) almost everywhere. These results complement, but are distinct from Federer's theorem on existence and uniqueness of approximate tangents of $n$-rectifiable sets in $\mathbb{R}^d$. We show that approximate tangents to Sobolev images can be upgraded to Attouch-Wets or Gromov-Hausdorff tangents by first proving that the $n$-packing content of Sobolev images is finite, then proving that the inability to upgrade on a set of positive measure implies infinite packing content.

2026-01-30T02:37:00Z 35 pages, 2 figures, comments welcome Matthew Badger Jared Krandel Vyron Vellis http://arxiv.org/abs/2507.08712v2 2026-01-29T22:54:41Z

The illumination conjecture asserts that any convex body in $n$-dimensional Euclidean space can be illuminated by at most $2^n$ external light sources or parallel beams of light. Despite recent progress on the illumination conjecture, it remains open in general, as well as for specific classes of bodies. Bezdek, Ivanov, and Strachan showed that the conjecture holds for symmetric cap bodies in sufficiently high dimensions. Further, Ivanov and Strachan calculated the illumination number for the class of 3-dimensional centrally symmetric cap bodies to be 6. In this paper, we show that even the broader class of all 3-dimensional cap bodies has the same illumination number 6, in particular, the illumination conjecture holds for this class. The illuminating directions can be taken to be vertices of a regular tetrahedron, together with two special directions depending on the body. The proof is based on probabilistic arguments and integer linear programming.

2025-07-11T16:10:56Z Referee's comments incorporated Discrete Math., 349 (2026), no. 7, 115025 Andrii Arman Jaskaran Singh Kaire Andriy Prymak http://arxiv.org/abs/2511.07636v2 2026-01-29T18:24:04Z

Given a compact space $X$ that does not admit an embedding (an injective continuous function) into $\mathbb{R}^d$, we study the ''degree'' of discontinuity that any injective function $X \to \mathbb{R}^d$ must have. To this end, we define a scale invariant modulus of discontinuity and obtain general lower bounds, thus obtaining quantified nonembeddability results of Haefliger--Weber type. Moreover, we establish analogous lower bounds for simplicial complexes that do not admit an almost $r$-embedding in $\mathbb{R}^d$, thus obtaining a quantified version of the topological Tverberg theorem.

2025-11-10T21:12:05Z 17 pages, 3 figures. Revised version with updated author list; Sunhyuk Lim is no longer an author by mutual agreement Henry Adams Florian Frick Michael Harrison Nikola Sadovek Matt Superdock http://arxiv.org/abs/2601.22042v1 2026-01-29T17:45:56Z

In this article we investigate the properties of isogonal conjugation in isosceles tetrahedron. Particularly we reveal three hyperbolic paraboloids each of which is formed by pairs of isogonal conjugate points symmetric in the respective bimedian, as well as we prove that the circumsphere of an isosceles tetrahedron is invariant under isogonal conjugation in that tetrahedron.

2026-01-29T17:45:56Z This version corrects several typographical errors, figure rendering issues, and numbering inconsistencies present in the published version (Gazeta Matematică Seria A, No. 1-2/2025) Gazeta Matematică Seria A, No. 1-2 (2025), pp. 9-22 Saro Harutyunyan http://arxiv.org/abs/2503.17337v3 2026-01-29T14:30:34Z

Sectional curvature bounds are of central importance in the study of Riemannian manifolds, both in smooth differential geometry and in the generalized synthetic setting of Alexandrov spaces. Riemannian metrics along with metric spaces of bounded sectional curvature enjoy a variety of, oftentimes rigid, geometric properties. The purpose of this article is to introduce and discuss a new notion of sectional curvature bounds for manifolds equipped with continuous Riemannian metrics of Geroch--Traschen regularity, i.e., $H^1_{\mathrm{loc}} \cap C^0$, based on a distributional version of the classical formula. Our main result states that for $g \in C^1$, this new notion recovers the corresponding bound based on triangle comparison in the sense of Alexandrov. A weaker version of this statement is also proven for locally Lipschitz continuous metrics.

2025-03-21T17:39:17Z 21 pages, final version Darius Erös Michael Kunzinger Argam Ohanyan Alessio Vardabasso http://arxiv.org/abs/2511.05386v3 2026-01-29T14:01:05Z

In this paper, we are interested in the $β$-ensembles (or 1D log-gas) with Freud weights, namely with a potential of the form $|x|^{p}$ with $p \geq 2$. Since this potential is not of class $\mathcal{C}^{3}$ when $p \in (2,3]$, most of the literature does not apply. In this singular setting, we prove a central limit theorem for linear statistics with general test-functions. Our strategy relies on establishing an optimal local law in the spirit of [Bourgade, Mody, Pain 22'. Our results allow us to give a consistency check of the KLS conjecture for the uniform distributions on $p$-Schatten balls and the functions $f(X)=\mathrm{Tr}\left(X^r\right)^q$. While the case $p>3$, $q=1$, $r=2$ was proven in [Dadoun, Fradelizi, Guédon, Zitt 23'], we address in the present paper the case $p\geq2$, $q\geq1$ and $r\geq2$ an even integer. The proofs are based on a link between the moments of norms of uniform laws on $p$-Schatten balls and the $β$-ensembles with Freud weights.

2025-11-07T16:08:50Z v3: corrected a sign error in Corollary 1.3 + minor changes + changed the presentation of the results Charlie Dworaczek Guera Ronan Memin Michel Pain http://arxiv.org/abs/2601.21596v1 2026-01-29T12:04:45Z

We consider a Lorentzian analogue of the Ptolemy inequality and we prove that in the setting of globally hyperbolic spacetimes it is equivalent to a global timelike sectional curvature bound from above by zero. We investigate the link between the Ptolemy inequality and the hyperbolic inversion and establish some applications and rigidity properties.

2026-01-29T12:04:45Z 20 pages, 3 Figures Felix Rott Zhe-Feng Xu Matteo Zanardini http://arxiv.org/abs/2511.10331v2 2026-01-29T11:43:05Z

The magnitude of metric spaces does not appear to possess a simple, convenient continuity property, and previous studies have presented affirmative results under additional constraints or weaker notions, as well as counterexamples. In this vein, we discuss the continuity of magnitude of finite positive definite metric spaces with respect to the Gromov-Hausdorff distance, but with a restriction of the domain based on a canonical partition of a sufficiently small neighborhood of a finite metric space. As a result, the main theorem of this article explains a condition on the cardinality of metric spaces that determines the continuity of magnitude. This study takes advantage of the geometric interpretation of magnitude as the circumradius of the corresponding finite Euclidean subset. Such a transformation is especially useful for constructing counterexamples, as we can depend on Euclidean geometric intuition.

2025-11-13T14:04:10Z 28 pages, 8 figures Byungchang So http://arxiv.org/abs/2601.21509v1 2026-01-29T10:26:15Z

We quantitatively study the speed of convergence of geodesic Lie groups to their metric limits. For nilpotent geodesic Lie groups, we give estimates on the difference of the original metrics and the asymptotic metrics, while for general geodesic Lie groups, we give similar estimates for the difference of the original metrics and the tangent metrics. In both settings, our results sharpen existing bounds in the literature.

2026-01-29T10:26:15Z Enrico Le Donne Sebastiano Nicolussi Golo Andrea Tettamanti http://arxiv.org/abs/2501.07090v2 2026-01-29T07:57:40Z

The properties of convex pentagonal monotiles in the 15 Type families and their tilings are summarized. The Venn diagrams of the 15 Type families are also shown.

2025-01-13T06:53:40Z 22 pages, 19 figures. arXiv admin note: text overlap with arXiv:2404.00534 Teruhisa Sugimoto http://arxiv.org/abs/2509.17415v2 2026-01-29T07:04:22Z

We prove existence of three unique ``max-exparabolas'' to a triangle. Each of these parabolas is internally tangent to one edge and the two other sides. Among all like parabolas, it is characterized by having maximal parameter. We use this result to prove a more general uniqueness statement on maximal parabolas in a convex point set. In similar spirit, we demonstrate uniqueness of minimal enclosing horocycles in hyperbolic geometry, provided the enclosed set is sufficiently small.

2025-09-22T07:06:39Z Martin Lukarevski Hans-Peter Schröcker 10.1515/advgeom-2026-0007 http://arxiv.org/abs/2508.18475v2 2026-01-28T18:50:04Z

A three-dimensional convex body is said to have Rupert's property if its copy can be passed through a straight hole inside that body. In this work we construct a polyhedron which is provably not Rupert, thus we disprove a conjecture from 2017. We also find a polyhedron that is Rupert but not locally Rupert.

2025-08-25T20:40:00Z Jakob Steininger Sergey Yurkevich http://arxiv.org/abs/2406.00658v3 2026-01-28T18:01:04Z

The $R$-hulloid, in the Euclidean space $\mathbb{R}^3$, of the set of vertices $V$ of a tetrahedron $T$ is the minimal closed set containing $V$ such that its complement is the union of open balls of radius $R$. When $R$ is greater than the circumradius of $T$, the boundary of the $R$-hulloid consists of $V$ and possibly of four spherical subsets of well defined spheres of radius $R$ through the vertices of $T$. The existence of a value $R^*$ such that these subsets collapse into a point $O^*$, in the interior of $T$, is investigated; in such a case $O^*$ belongs to four spheres of radius $R^*$, each one through three vertices of $T$ and not containing the fourth one. As a consequence, the range of $ρ$ such that $V$ is a $ρ$-body is described completely. This work generalizes to dimension three previous results, proved in the planar case and related to the three circles Johnson's Theorem.

2024-06-02T08:04:16Z 20 pages, 2 figures, to appear in Advances in Applied Mathematics (2026) Marco Longinetti Simone Naldi Adriana Venturi http://arxiv.org/abs/2506.15414v3 2026-01-28T09:16:33Z

For each arbitrary finite group $G$, we consider a suitable notion of Gromov Hausdorff distance between compact $G$ metric spaces and derive lower bounds based on equivariant topology methods. As applications, we prove equivariant rigidity and finiteness theorems, and obtain sharp bounds on the Gromov Hausdorff distance between spheres.

2025-06-18T12:34:48Z We added [AFH+25] ('Quantifying Discontinuity') to the list of references and explained its relationship/connection to our paper. We also added Remark 6.9 Sunhyuk Lim Facundo Memoli