https://arxiv.org/api/gmy6v3XmnjhYF/TC8K7a0sWRamg 2026-06-15T05:44:14Z 13051 585 15 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/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 http://arxiv.org/abs/2602.17236v1 2026-02-19T10:30:48Z

We give a necessary and sufficient condition so that a pair of disjoint Jordan regions in the sphere can be quasiconformally mapped to a pair of disks. As a consequence, we obtain a simple characterization that involves Lipschitz functions for the case that one of the Jordan regions is a half-plane. We apply these results to prove that all polynomial cusps are quasiconformally equivalent and that a quasisymmetric embedding of the union of two disjoint disks extends to a quasiconformal map of the sphere, quantitatively. Also, in combination with previous work of the author, we obtain a new characterization of compact sets that are quasiconformally equivalent to Schottky sets.

2026-02-19T10:30:48Z 48 pages, 8 figures Dimitrios Ntalampekos http://arxiv.org/abs/2509.22138v2 2026-02-19T10:17:30Z

Wasserstein distances define a metric between probability measures on arbitrary metric spaces, including meta-measures (measures over measures). The resulting Wasserstein over Wasserstein (WoW) distance is a powerful, but computationally costly tool for comparing datasets or distributions over images and shapes. Existing sliced WoW accelerations rely on parametric meta-measures or the existence of high-order moments, leading to numerical instability. As an alternative, we propose to leverage the isometry between the 1d Wasserstein space and the quantile functions in the function space $L_2([0,1])$. For this purpose, we introduce a general sliced Wasserstein framework for arbitrary Banach spaces. Due to the 1d Wasserstein isometry, this framework defines a sliced distance between 1d meta-measures via infinite-dimensional $L_2$-projections, parametrized by Gaussian processes. Combining this 1d construction with classical integration over the Euclidean unit sphere yields the double-sliced Wasserstein (DSW) metric for general meta-measures. We show that DSW minimization is equivalent to WoW minimization for discretized meta-measures, while avoiding unstable higher-order moments and computational savings. Numerical experiments on datasets, shapes, and images validate DSW as a scalable substitute for the WoW distance.

2025-09-26T09:59:14Z Moritz Piening Robert Beinert http://arxiv.org/abs/2405.12123v4 2026-02-18T20:14:31Z

We investigate projection constants within classes of multivariate polynomials over finite-dimensional real Hilbert spaces. Specifically, we consider the projection constant for spaces of spherical harmonics and spaces of homogeneous polynomials as well as for spaces of polynomials of finite degree on the unit sphere. We establish a connection between these quantities and certain weighted $L_1$-norms of specific Jacobi polynomials. As a consequence, we present exact formulas, computable expressions and asymptotically accurate estimates for them. The real case we address is considerably more nuanced than its complex counterpart.

2024-05-20T15:40:49Z Small corrections - Accepted in the Journal of the London Mathematical Society Andreas Defant Daniel Galicer Martín Mansilla Mieczysław Mastyło Santiago Muro 10.1112/jlms.70429 http://arxiv.org/abs/2602.15240v2 2026-02-18T16:49:43Z

We consider the problem of maximizing the volume of hermitian ellipsoids inscribed in a given pseudoconvex domain in complex Euclidean space. We prove existence and uniqueness, and give a characterization of the maximizer.

2026-02-16T22:41:26Z Laszlo Lempert