https://arxiv.org/api/JeGVSEgp07xleJJNxFlvkuriimM 2026-03-26T15:58:24Z 12777 180 15 http://arxiv.org/abs/2602.19311v1 2026-02-22T19:22:35Z

Let $(X,d)$ be a compact metric space. We consider the behavior of probability measures $μ$ with the property that $$ \int_{X} d(x, y) dμ(y) \qquad \mbox{is independent of}~x \in X.$$ It appears that such measures, when they exist, encode a `curvature-type' quantity. We investigate this in the special case where $X$ is a closed, convex curve in $\mathbb{R}^2$ and $d = \| \cdot \|_2$ is the Euclidean distance: even a single point with small curvature implies non-existence of such a measure. Conversely, such a measure $μ$ exists for all curves whose curvature is sufficiently close to constant. Curvature is usually defined by second derivatives; this one is defined via an integral equation which makes sense in much rougher spaces. Connections to curvature on graphs, the Gross-Stadje Theorem and magnitude are discussed.

2026-02-22T19:22:35Z Stefan Steinerberger http://arxiv.org/abs/2602.19300v1 2026-02-22T18:35:50Z

Pál's classical isominwidth inequality states that the regular triangle has minimal area among plane convex bodies of minimal width $w$. A similar result is the Blaschke--Lebesgue inequality that states that Reuleaux triangles minimize the area among bodies of constant width $w$ in the plane. In this paper, we connect these two problems by solving the isominwidth problem for $r$-ball convex bodies in the Euclidean, hyperbolic and spherical planes.

2026-02-22T18:35:50Z 12 pages, 4 figures Ferenc Fodor Nathan Robock Ádám Sagmeister http://arxiv.org/abs/2505.22374v4 2026-02-22T14:10:32Z

Let us consider the set $Ω(\triangle ABC)$ of all tetrahedra $ABCD$ with a given non-degenerate base $ABC$ in $\mathbb{E}^3$ and $D$ lying outside the plane $ABC$. Let us denote by $Σ(\triangle ABC)$ the set $\left\{\Bigl(\cos \overlineα,\cos \overlineβ,\cos \overlineγ \Bigr)\in \mathbb{R}^3\,|\, ABCD \in Ω(\triangle ABC)\right\}$, where $\overlineα=\angle BDC$, $\overlineβ=\angle ADC$, and $\overlineγ=\angle ADB$. The paper is devoted to the problem of determining of the closure of $Σ(\triangle ABC)$ in $\mathbb{R}^3$ and its boundary.

2025-05-28T14:02:46Z 42 pages, 39 figures. Typos corrected E. V. Nikitenko Yu. G. Nikonorov 10.1007/s00025-026-02610-x http://arxiv.org/abs/2501.18425v2 2026-02-22T10:45:33Z

We characterize simply connected John domains in the plane with the aid of weak tangents of the boundary. Specifically, we prove that a bounded simply connected domain $D$ is a John domain if and only if, for every weak tangent $Y$ of $\partial D$, every connected component of the complement of $Y$ that ``originates" from $D$ is a John domain, not necessarily with uniform constants. Our main theorem improves a result of Kinneberg (arXiv:1507.04698), who obtains a necessary condition for a John domain in terms of weak tangents but not a sufficient one. We also establish several properties of weak tangents of John domains.

2025-01-30T15:28:11Z 17 pages, 1 figure Christina Karafyllia http://arxiv.org/abs/2509.04227v2 2026-02-21T15:52:12Z

For two real bases $q_0, q_1 > 1$, a binary sequence $i_1 i_2 \cdots \in \{0,1\}^\infty$ is the $(q_0,q_1)$-expansion of the number \[ π_{q_0,q_1}(i_1 i_2 \cdots) = \sum_{k=1}^\infty \frac{i_k}{q_{i_1} \cdots q_{i_k}}. \] Let $U_{q_0,q_1}$ be the set of all real numbers having a unique $(q_0,q_1)$-expansion. When the bases are equal, i.e., $q_0 = q_1 = q$, Allaart and Kong (2019) established the continuity in $q$ of the Hausdorff dimension of the univoque set $U_{q,q}$, building on the work of Komornik, Kong, and Li (2017). We derive explicit formulas for the Hausdorff dimension of $U_{q_0,q_1}$ and the entropy of the underlying subshift for arbitrary $q_0, q_1 > 1$, and prove the continuity of these quantities as functions of $(q_0, q_1)$. Our results also concern general dynamical systems described by binary shifts with a hole, including, in particular, the doubling map with a hole and (linear) Lorenz maps.

2025-09-04T13:59:02Z Jian Lu Wolfgang Steiner Yuru Zou http://arxiv.org/abs/2602.18547v1 2026-02-20T17:39:58Z

We investigate the asymptotic best approximation of a smooth, strictly convex body $K$ in $\mathbb{R}^d$ by inscribed polytopes with a restricted number of vertices under the intrinsic volume difference. We prove rigidity phenomena in both the deterministic and probabilistic settings. In the deterministic model of inscribed approximation, we show that if a single sequence of polytopes is asymptotically best for the volume and mean width difference simultaneously, then $K$ must be a Euclidean ball. In particular, the Euclidean ball is the unique $C_+^2$ convex body for which one sequence of polytopes can approximate all intrinsic volumes simultaneously at the optimal asymptotic rate. In the probabilistic model, we prove a stronger statement: if a single sampling density on $\partial K$ yields random inscribed polytopes that are asymptotically optimal (in expectation) for any two distinct intrinsic volume deviations, then $K$ must be a Euclidean ball. Moreover, using polarity, we establish dual versions of this rigidity theorem for polytopes circumscribed about $K$ (with a restricted number of facets) in the volume and mean width cases, again in both deterministic and probabilistic frameworks. The proofs use tools from asymptotic quantization theory together with the curvature-based optimal vertex distributions. These results resolve an open question posed by Besau, Hoehner and Kur ({\it IMRN}, 2021).

2026-02-20T17:39:58Z 26 pages Steven Hoehner http://arxiv.org/abs/2305.10501v2 2026-02-20T17:39:04Z

It is shown that for a given log-concave function, its symmetric decreasing rearrangement is always harder to approximate in the symmetric difference metric by inner log-linearizations with a fixed number of break points. This extends a classical result of Macbeath (1951) from convex bodies to a functional setting.

2023-05-17T18:11:59Z 15 pages, 1 figure Steven Hoehner Júlia Novaes http://arxiv.org/abs/2406.11722v2 2026-02-20T17:22:15Z

Magnitude homology is an $\mathbf{R}^+$-graded homology theory of metric spaces that captures information on the complexity of geodesics. Here we address the question: when are two metric spaces magnitude homology equivalent, in the sense that there exist back-and-forth maps inducing mutually inverse maps in homology? We give a concrete geometric necessary and sufficient condition in the case of closed Euclidean sets. Along the way, we introduce the convex-geometric concepts of inner boundary and core, and prove a strengthening for closed convex sets of the classical theorem of Carathéodory.

2024-06-17T16:41:09Z 22 pages Algebr. Geom. Topol. 26 (2026) 599-624 Adrián Doña Mateo Tom Leinster 10.2140/agt.2026.26.599 http://arxiv.org/abs/2602.18179v1 2026-02-20T12:36:42Z

We compare singular homology and homology via integral currents in metric spaces that are homeomorphic to smooth manifolds. For such spaces, we provide sufficient conditions that guarantee the existence of a surjective homomorphism from the codimension one homology group via integral currents to the codimension one singular homology group. Moreover, we show that a one-dimensional isoperimetric inequality for integral currents implies that the one-dimensional homology groups coincide.

2026-02-20T12:36:42Z Denis Marti http://arxiv.org/abs/2602.18073v1 2026-02-20T08:56:26Z

We provide a geometric approach to two combinatorically symmmetric overconstrained spatial linkages. Both contain eight bodies and twelve revolute joints and collapse in aligned poses. The first one is spherical and the union of six spherical isograms. It is the spherical image of a Bricard octahedron of type~3 and was already analysed 1912 by Bennett. The second linkage is the dualized version and composed from six Bennett isograms. Our approach via line reflections discloses some symmetries at spatial poses.

2026-02-20T08:56:26Z Hellmuth Stachel http://arxiv.org/abs/2602.17983v1 2026-02-20T04:35:27Z

We reduce the $K(π,1)$-conjecture for all Artin groups with tree Coxeter diagrams to properties of Artin groups with tripod-shaped Coxeter diagrams. Combining this reduction theorem and properties of braid groups in previous works of Charney, Crisp-McCammond, Haettel and the second named author, we deduce that the $K(π,1)$-conjecture holds for every Artin group whose spherical parabolic subgroups avoid type $D_n$ ($n \ge 4$) and the exceptional types. The reduction theorem relies on producing a ``tower'' of injective metric spaces from a single Artin group. The construction of such a tower relies on two ingredients of independent interests: a notion of combinatorial convexity and a Bestvina-type inequality, in certain injective orthoscheme complexes. These ingredients further rely on the use of structural properties of bi-Helly graphs (also known as absolute bipartite retracts) developed in joint work of the first named author with Munro.

2026-02-20T04:35:27Z 53 pages, 9 figures Nima Hoda Jingyin Huang http://arxiv.org/abs/2602.17982v1 2026-02-20T04:35:10Z

We reduce the $K(π,1)$-conjecture for all Artin groups to properties of Artin groups whose Coxeter diagrams are trees, from which we deduce new classes of Artin groups satisfying the $K(π,1)$-conjecture. This relies on constructing actions of Artin groups on Bestvina complexes of suitable Garside groupoids.

2026-02-20T04:35:10Z 50 pages, 5 figures Jingyin Huang http://arxiv.org/abs/2602.17630v1 2026-02-19T18:47:26Z

The basic input for many real shapes is a finite cloud of unordered points. The strongest equivalence between shapes in practice is Euclidean motion. The recent polynomial-time classification of point clouds required a Lipschitz continuous function that vanishes on degenerate simplices, while the usual volume is not Lipschitz. We define the strength of any geometric simplex and prove its continuity under perturbations with explicit bounds for Lipschitz constants.

2026-02-19T18:47:26Z 6 pages, 2 figures. The latest version is maintained at https://kurlin.org/projects/cloud-isometry-spaces/strength-simplex.pdf Olga Anosova Vitaliy Kurlin http://arxiv.org/abs/2503.22895v2 2026-02-19T15:54:04Z

We discuss the local analysis of Gaussian potential energy of modular lattices. We present examples of $2$-modular lattices -- such as the $16$-dimensional Barnes-Wall lattice -- and $3$-modular lattices -- such as the $12$-dimensional Coxeter-Todd lattice -- that are locally universally optimal among lattices (in the sense of Cohn and Kumar). We also provide other $2$- and $3$-modular lattices that are not locally universally optimal, or not even critical in the Gaussian core model.

2025-03-28T21:50:29Z 32 pages, (v2): Computational results reported in Section 5 were wrong in (v1), due to an indexing mistake. Now corrected and thoroughly checked, relevant parts completely rewritten Arian Joharian Frank Vallentin Marc Christian Zimmermannn http://arxiv.org/abs/2505.11971v2 2026-02-19T15:45:55Z

We show that small perturbations of the metric of a ball in Euclidean n-space to metrics with nonpositive curvature do not reduce the isoperimetric ratio. Furthermore, the isoperimetric ratio is preserved only if the perturbation corresponds to a homothety of the ball. These results establish a sharp local version of the Cartan-Hadamard conjecture.

2025-05-17T12:13:05Z 8 pages; Minor revisions. Accepted for publication in Int. Math. Res. Not. (IMRN) Mohammad Ghomi John Ioannis Stavroulakis