https://arxiv.org/api/tgH6SJ/eB4FAqMJ2oYUPuQiCIBM 2026-06-13T20:10:34Z 13040 120 15 http://arxiv.org/abs/2605.22049v2 2026-05-25T08:54:26Z

In the context of geometric measure theory, Llorente-Winter introduced the (average) fractal Euler number as a notion of the Euler characteristic for fractals embedded in Euclidean space. However, the class of fractals to which it is applicable remains very limited. In the present paper, we modify this notion by applying perspectives of persistent homology and partly the theory of magnitude, which have recently come from applied topology and category theory. We then demonstrate concrete calculation of our average ph-fractal Euler number for some classically well-known fractals, especially the Cantor dust and Menger sponge which are excluded from Llorente-Winter's approach.

2026-05-21T06:36:30Z 19 pages, 12 figures, 1 table Kosuke Nishijima http://arxiv.org/abs/2605.25448v1 2026-05-25T05:58:49Z

We prove quantitative stability estimates for Wasserstein barycenters on Alexandrov spaces with curvature bounded from below. The proof combines the variational strategy of Carlier--Delalande--Mérigot with heat-kernel regularization, which supplies the regularity needed for dual convexity arguments in this non-smooth curved setting. The main result is an explicit strong-convexity modulus for the barycentric variance functional. As a consequence, barycenters depend Hölder-continuously on the underlying distributions with respect to the $1$-Wasserstein distance on the space of probability measures. We derive empirical-barycenter consistency and entropy-based sample-complexity bounds. Our proof does not rely on linear structure; in particular, the resulting estimates appear to be new even on smooth compact Riemannian manifolds.

2026-05-25T05:58:49Z Comments are welcome! Bang-Xian Han Zhuo-Nan Zhu http://arxiv.org/abs/2312.06456v3 2026-05-25T03:08:34Z

We introduce a new family of fractal dimensions by restricting the set of diameters in the coverings in the usual definition of the Hausdorff dimension. Among others, we prove that this family contains continuum many distinct dimensions, and they share most of the properties of the Hausdorff dimension, which answers negatively a question of Fraser. On the other hand, we also prove that among these new dimensions only the Hausdorff dimension behaves nicely with respect to Hölder functions. We also consider the supremum of these new dimensions, which turns out to be another interesting notion of fractal dimension. We prove that among those bilipschitz invariant, monotone dimensions on the compact subsets of $\mathbb{R}^n$ that agree with the similarity dimension for the simplest self-similar sets, the modified lower dimension is the smallest and when $n=1$ the Assouad dimension is the greatest, and this latter statement is false for $n>1$. This answers a question of Rutar.

2023-12-11T15:45:15Z 26 pages, Theorems 4.3 and 5.14 have been added. Final, published version Nonlinearity 38 (2025), 035024 Richárd Balka Tamás Keleti http://arxiv.org/abs/2605.25366v1 2026-05-25T02:44:53Z

Motivated by a discrete inequality problem proposed by Duanyang Zhang as Problem 6 of the 2022 Spring NSMO, we prove a median version of Hardy's inequality. For a nonnegative function $f\in L^p(0,\infty)$, $p>1$, let $A(t)$ be the average of $f$ over $(0,t)$, and let $M(t)$ be the lower median of $f$ over $(0,t)$. We show that \[ \int_0^\infty |M(t)-A(t)|^p\,dt \leq 2^{1-p}\left(\frac p{p-1}\right)^p \int_0^\infty f(t)^p\,dt, \] and that the constant is best possible. The proof is based on a pointwise rearrangement estimate coming from the half-measure property of the median, followed by the classical Hardy inequality. A discrete form and its sharpness are also included.

2026-05-25T02:44:53Z Gangsong Leng http://arxiv.org/abs/2512.17211v2 2026-05-25T01:11:37Z

We study planar domains $G$ equipped with a hyperbolic type metric and approximate geodesics that join two points $x,y \in G$ and their lengths. We present an algorithm that enables one to approximate the shortest distance in polygonal domains taken with respect to the quasihyperbolic metric. The method is based on Dijkstra's algorithm, and we give several examples demonstrating how the algorithm works and analyze its accuracy. We experimentally demonstrate several previously theoretically observed features of geodesics, such as the relationship between hyperbolic and quasihyperbolic distance in the unit disk. We also investigate bifurcation of geodesics and the connection of this phenomenon to the medial axis of the domain.

2025-12-19T03:47:46Z 29 pages, 16 figures, 5 tables Journal of Mathematical Analysis and Applications, 2026, 130801, ISSN 0022-247X Shuliang Gao Anni Hakanen Antti Rasila Matti Vuorinen 10.1016/j.jmaa.2026.130801 http://arxiv.org/abs/2605.25223v1 2026-05-24T19:22:29Z

We give a simple computational approach to mathematical quasicrystals, combining cut-and-project methods with self-similarity. Starting with a Pisot unit $β$ and an iterated function system $g_k(z)=βz +z_k, \ k=1,...,m$ in a corresponding ring of algebraic integers, we take the attractor $A$ of the conjugate system as an acceptance window. This yields the unique cut-and-project model set $Λ$ in the complex plane which fulfils $Λ=\bigcup g_k(Λ) .$ We describe an algorithm which directly determines $Λ,$ avoiding the difficulties with the fractal structure of $A.$ Classical constructions are based on tiles $A$ of different shape. The present study continues work on models with overlaps, as introduced by Gummelt (1996), Baake and Grimm (2013), Hejda and Pelantova (2016), and Hare, Masakova and Vavra (2018). In our approach, the overlaps provide a natural decoration of $Λ.$ The method is illustrated with a variety of pentagonal examples.

2026-05-24T19:22:29Z Christoph Bandt Yves Meyer http://arxiv.org/abs/2605.25126v1 2026-05-24T15:12:24Z

For a full-rank integral lattice $\mathcal{L}\subset\mathbb{R}^n$, Regev and Stephens-Davidowitz proved that \[N_{=k}(\mathcal{L}):=|\{y\in\mathcal{L}:\lVert y\rVert^2=k\}|\le 2\binom{n+2k-2}{2k-1}.\] We classify the equality cases. For $n\ge2$, equality holds if and only if either $k=1$ and $\mathcal{L}\cong\mathbb{Z}^n$, or $n=8$, $k=2$, and $\mathcal{L}\cong E_8$. For $n=1$, equality holds exactly when $\mathcal{L}$ represents $k$. The proof shows that equality is rigid. Saturation of the shell bound forces the normalized norm-$k$ shell to be an antipodal tight spherical $(4k-1)$-design. The associated Delsarte--Goethals--Seidel annihilator polynomial gives an arithmetic root condition, which isolates $E_8$ at $k=2$, rules out $k=3$, and combines with the Bannai--Damerell/Bannai theorem and an elementary circle argument to exclude all remaining cases in dimension at least $2$.

2026-05-24T15:12:24Z 16 pages Scott Duke Kominers http://arxiv.org/abs/2605.25122v1 2026-05-24T15:08:42Z

We extend the notion of illumination bodies to Riemannian spaces of constant curvature and to projective Finsler geometries. We prove that the derivative of their volume defines a notion of surface area for convex bodies in these settings, generalizing the affine surface area in Euclidean space. The proof is based on a general result on the derivative of weighted volumes of weighted illumination bodies in Euclidean space. In the appendix, we give some explicit examples for non-Euclidean illumination bodies.

2026-05-24T15:08:42Z 34 pages, 7 figures Rotem Assouline Florian Besau Elisabeth M. Werner http://arxiv.org/abs/2603.24280v2 2026-05-24T10:21:54Z

The Miquel-Steiner theorem for a quadrilateral in the Euclidean plane states that the circumcircles of the four component triangles intersect at a single point, which now is called the Miquel-Steiner point of the quadrilateral. In elliptic and in hyperbolic planes, the Miquel-Steiner theorem does not hold in this form. Instead, a weaker version applies: The circumcircles of the four component triangles of a quadrilateral have a common radical center, which we will also call the Miquel-Steiner point. The Miquel-Steiner theorem for Euclidean planes also needs to be modified for Minkowski and Galilean planes: Either the circumcircles of the four component triangles touch each other at a point on the line at infinity, or they intersect transversely at an anisotropic point. For specific quadrilaterals (such as cyclic quadrilaterals), the location of the Miquel-Steiner point can be determined more precisely.

2026-03-25T13:14:09Z 12 pages, 6 figures - revision: minor changes, mainly typographical corrections Manfred Evers http://arxiv.org/abs/2603.18550v3 2026-05-23T19:42:12Z

A generalization of the Borsuk-Ulam theorem to Stiefel manifolds is considered. This theorem is applied to derive bounds on $d$ that guarantee-for a given set of $m$ measures in $\mathbb{R}^d$-the existence of $k$ mutually orthogonal hyperplanes, any $n$ of which partition each of the measures into $2^n$ equal parts. If $n=k$, the result corresponds to the bound obtained in [14], but with the stronger conclusion that the hyperplanes are mutually orthogonal.

2026-03-19T07:07:43Z 19 pages Oleg R. Musin http://arxiv.org/abs/2602.20325v3 2026-05-23T16:41:34Z

We prove that if $K$ is a symmetric and isotropic convex body in $\mathbb{R}^n$, then $$\int_K\langle x,u\rangle^2\,dx\int_{K^\circ}\langle x,u\rangle^2\,dx\leq \left(\int_{B_2^n}\langle x,u\rangle^2\,dx\right)^2,\qquad\forall u\in\mathbb{R}^n,$$with equality for some $u\neq o$, if and only if $K$ is a Euclidean ball. This confirms a conjecture by Keith Ball (1986), stating that for any symmetric convex body $K$ in $\mathbb{R}^n$, it holds $$\int_K\int_{K^\circ}\langle x,y\rangle^2\,dx\,dy\leq \int_{B_2^n}\int_{B_2^n}\langle x,y\rangle^2\,dx\,dy,$$with equality if and only if $K$ is an ellipsoid. Fortunately, our method for proving Ball's conjectured inequality admits a quantitative stability refinement, which in turn yields an asymptotically optimal stability version of the Blaschke-Santaló inequality for origin symmetric convex bodies in terms of the symmetric difference metric. This resolves another well known open problem.

2026-02-23T20:20:57Z some typos corrected and some proofs simplified Károly J. Böröczky Konstantinos Patsalos Christos Saroglou http://arxiv.org/abs/2605.24599v1 2026-05-23T14:29:44Z

We propose a new algorithm for approximating the metric projection onto a superelliptic disk of order $p>1$, i.e., the convex hull of a superellipse (Lamé curve), and prove its convergence.

2026-05-23T14:29:44Z 13 pages, 5 figures Valerian-Alin Fodor Virgilius-Aurelian Minuta http://arxiv.org/abs/2605.24472v1 2026-05-23T08:46:10Z

Let $μ_p$ be the generalized Gaussian distribution on $\mathbb{R}^n$ with density $e^{-\frac{|x|^p}{p}}$ multiplied by a constant depending on $p\ge 1$ and $n$, and $α_p(n)$ be the largest number such that the Brunn-Minkowski type inequality $$μ_p(λK+(1-λ) L)^{α_p(n)} \geq λμ_p(K)^{α_p(n)}+(1-λ) μ_p(L)^{α_p(n)}$$ holds for all convex bodies $K,L$ in $\mathbb{R}^n$ containing the origin and $λ\in[0,1]$. In this paper, the new lower and upper bounds for $α_p(n)$ are found, and their asymptotically optimality as $n\to +\infty$ is proved.

2026-05-23T08:46:10Z 21 pages,5 figures Ge Xiong Kai-Wen Yang http://arxiv.org/abs/2605.24404v1 2026-05-23T05:20:18Z

In this paper, we establish a higher order Morrey's inequality in the framework of %non-collapsed $\mathsf{RCD}(K,N)$-spaces for $K\in\mathbb{R}$ and $N\in\mathbb{N}$. We do so by first introducing an alternate version of the second order Sobolev space $W^{2, p}(X)$, which contains amply many functions even when $p>N$.

2026-05-23T05:20:18Z 35 pages, comments welcome! Jun Kitagawa Kazuhiro Kuwae http://arxiv.org/abs/2605.24329v1 2026-05-23T01:17:44Z

The Hellinger-Kantorovich (HK) space provides a natural geometry for nonnegative measures with varying total mass, but its differential-geometric structure is less well understood than that of the closely related Wasserstein space of probability measures. In this paper, we take a step toward resolving this issue. We show that the cone representation of the HK geometry via the Wasserstein metric preserves the local Riemannian geometry along a class of lifted geodesics. Specifically, we give a constructive procedure that produces a Wasserstein geodesic on the cone along which the HK Riemannian geometry is preserved pointwise, yielding an explicit isometry of tangent spaces between HK geodesics and their Wasserstein lifts. This connection makes many Wasserstein-geometric tools available for HK computations. Concretely, we use it to approximate parallel transport on HK space by lifting to the cone and applying recently developed Wasserstein parallel transport tools, circumventing the high-dimensional PDE arising from the HK covariant derivative. We also derive closed-form expressions for the covariant derivative and parallel transport on Euclidean metric cones, using the theory of warped-product manifolds. Finally, we present simulations illustrating the behavior of parallel geodesics in HK space, which reveal that the HK geometry couples spatial and mass variation through the geometry of the cone -- a feature with nontrivial implications for applied use of the framework.

2026-05-23T01:17:44Z Tristan Luca Saidi Gonzalo Mena Florian Gunsilius