https://arxiv.org/api/K6+tIDoC18VwepgBx/Sm2R39ZxI 2026-06-25T15:27:53Z 13088 1350 15 http://arxiv.org/abs/2411.12715v2 2025-08-21T10:43:42Z

In this note, we study the notion of random Dehn function and compute an asymptotic upper bound for finitely presented acylindrically hyperbolic groups whose Dehn function is at most polynomial. By showing that in these cases, if the group is not hyperbolic, then the random Dehn function is strictly smaller than the usual Dehn function we confirm Gromov's intuition albeit in a different model. In fact, we show that in these cases the random Dehn function is at most quadratic.

2024-11-19T18:34:10Z 9 pages. The conclusions of Theorems A, B, and C have been strengthened. This version also includes minor corrections and improvements to the exposition following the referee's and editor's comments. Final version, accepted at Journal of Topology and Analysis Jerónimo García-Mejía Antoine Goldsborough http://arxiv.org/abs/2508.15400v1 2025-08-21T09:41:57Z

We show that if a non-trivial measure in the plane admits, at almost every point, positive and finite $α$-dimensional density with respect to some norm, then $α$ must be an integer.

2025-08-21T09:41:57Z Giacomo Del Nin Andrea Merlo http://arxiv.org/abs/2508.15261v1 2025-08-21T05:49:11Z

Let $\{X_i\}_{i=1}^{\infty}$ be a sequence of independent copies of a random vector $X$ in $\mathbb{R}^n$. We revisit the question to determine the asymptotic shape of the random polytope $K_N={\rm conv}\{X_1,\ldots ,X_N\}$ where $N>n$. We show that for any $β\in (0,1)$ there exists a constant $c(β)>0$ such that the following holds true: If $μ$ is a Borel probability measure on ${\mathbb R}^n$ then, for all $N\geq c(β)n$ we have that $K_N\supseteq T_{β\ln(\frac{N}{n})}(μ)$ with probability greater than $1-\exp(-\tfrac{1}{2}N^{1-β}n^β)$, where $T_p(μ)$ is the convex set of all points $x\in\mathbb{R}^n$ with half-space depth greater than or equal to $e^{-p}$. Our approach does not require any additional assumptions about the measure $μ$ and hence it generalizes and/or improves a sequence of previous results. Moreover, for the class of strongly regular measures we compare the family $\{T_p(μ)\}_{p>0}$ to other natural families of convex bodies associated with $μ$, such as the $L_p$-centroid bodies of $μ$ or the level sets of the Cramér transform of $μ$, and use this information in order to estimate the size of a random $K_N$.

2025-08-21T05:49:11Z Minas Pafis Natalia Tziotziou http://arxiv.org/abs/2508.14805v1 2025-08-20T15:53:19Z

The well-known Reifenberg theorem states that if a subset of $\mathbb{R}^n$ can be well approximated by $k$-planes at every point and every scale, then it is biHölder homeomorphic to a $k$-disk. This article concerns a subset $S$ of $\mathbb{R}^n$ which can be approximated by at most $N$ parallel $k$ planes at each point and scale. As a subset of $\mathbb{R}^n$ such an $S$ may be quite degenerate; $S$ may clearly not be homeomorphic to a disk, and indeed we will see may not be homeomorphic to a union of disks. However, we prove that $S$ is still the image of a multivalued map on $\mathbb{R}^k$, which is itself a biHölder homeomorphism of the disk into the set of subsets of $\mathbb{R}^n$.

2025-08-20T15:53:19Z Jiaqi Zang http://arxiv.org/abs/2505.19172v4 2025-08-20T14:28:29Z

We study the c-affine surface area $Ω^c$, recently introduced by Schütt, Werner and Yalikun. We show that on the class of ball-bodies, $Ω^c$ is maximized by a ball of radius $\frac{n}{n+1}$, and that a Santaló-type inequality holds: $Ω^c(K) Ω^c(K^c) \leq Ω^c(\frac{1}{2} B_2^n)^2$. We also produce some more intricate inequalities involving the surface area.

2025-05-25T14:44:39Z 9 pages Shiri Artstein-Avidan Arnon Chor http://arxiv.org/abs/2508.14647v1 2025-08-20T11:59:15Z

We consider the existence problem of lifting a smooth contact map between Carnot groups to a smooth contact map between central extensions of the original groups. Our main result is a necessary and sufficient criterion formulated using the pullback of any de Rham potential of the codomain central extension 2-cocycle: the Rumin differential of the pullback is in a linear image of the domain central extension 2-cocycle. We also show a necessary criterion using the Pansu pullback: the Pansu pullback of the codomain central extension 2-cocycle and a linear image of the domain central extension 2-cocycle are in the same Lie algebra cohomology class. We prove that the latter criterion is sufficient if the domain group is Lipschitz 1-connected, or if the pullback has maximal weight among Lie algebra 2-cohomology classes.

2025-08-20T11:59:15Z 37 pages Eero Hakavuori Susanna Heikkilä Toni Ikonen http://arxiv.org/abs/2407.12310v2 2025-08-20T04:20:38Z

In this work we present a theorem regarding two convex bodies $K_1, K_2\subset \mathbb{R}^{n}$, $n\geq 3$, and two families of sections of them, given by two families of tangent planes of two spheres $S_i\subset \textrm{int}\textrm{ } K_i$, $i=1,2$ such that, for every pair $Π_1$, $Π_2$ of parallel supporting planes of $S_1$, $S_2$, respectively, which are corresponding (this means, that the outer normal vectors of the supporting half spaces determined by the two planes have the same direction), the sections $Π_1\cap K_1$, $Π_2\cap K_2$ are translated, the theorem claims that if $S_1$, $S_2$ have the same radius, the bodies are translated, otherwise, the bodies are also spheres.

2024-07-17T04:21:03Z Efren Morales-Amaya http://arxiv.org/abs/2007.04516v3 2025-08-20T02:51:05Z

In this work we prove the following: let $K$ be a convex body in the Euclidean space $\mathbb{R}^n$, $n\geq 3$, contained in the interior of the unit ball of $\mathbb{R}^n$, and let $p\in \mathbb{R}^n$ be a point such that, from each point of $\mathbb{S}^{n-1}$, $K$ looks centrally symmetric and $p$ appears as the center, then $K$ is a ball.

2020-07-09T02:38:53Z J. Jeronimo_Castro E. Morales-Amaya D. J. Verdusco Hernández 10.1007/s00454-024-00712-3 http://arxiv.org/abs/2508.13343v1 2025-08-18T20:02:32Z

In this paper we study the stressability of semi-discrete frameworks in the plane which are generated by a discrete sequence of smooth curves. We characterize their stressability property by the existence of stresses fulfilling certain difference-differential equation. In particular, we define a semi-discrete height function which we use to generate liftings. Furthermore, we show a semi-discrete analogue of the Maxwell-Cremona lifting property which implies that the stressable semi-discrete frameworks in the plane are precisely the orthogonal projections of semi-discrete conjugate surfaces in 3-space. Finally, we discuss geometric implications for frameworks with vanishing boundary forces and characterize the liftability of frameworks which only consist of two neighboring curves forming one strip.

2025-08-18T20:02:32Z 18 pages Oleg Karpenkov Christian Müller Anna Pratoussevitch http://arxiv.org/abs/2408.17082v2 2025-08-18T19:40:39Z

A tiling is said to have infinite local complexity (ILC) if it contains infinitely many two-tile patches up to rigid motions. In this work, we provide examples of substitution rules that generate tilings with ILC. The proof relies on Danzer's algorithm, which assumes that the substitution factor is non-Pisot. In addition to ILC, the tiling space of each substitution rule contains a tiling that exhibits (global) n-fold rotational symmetry, n=13,17,21.

2024-08-30T08:12:35Z April Lynne D. Say-awen http://arxiv.org/abs/2505.21126v2 2025-08-18T13:34:10Z

We investigate the following question: Do there exist Riemannian polyhedra $X$ such that the 1-Uryson width of their universal covers $\mathrm{UW}_1(\widetilde{X})$ is bounded but $\mathrm{UW}_1(X)$ is arbitrarily large? We rule out two specific cases: when $π_1(X)$ is virtually cyclic and when $X$ is a Riemannian surface. More specifically, we show that if $X$ is a compact polyhedron with a virtually cyclic fundamental group, then its 1-Uryson width is bounded by the 1-Uryson width of its universal cover $\widetilde{X}$. Precisely: $$\mathrm{UW}_1(X) \leq 6 \cdot \mathrm{UW}_1(\widetilde{X}).$$ We show that if $X$ is a Riemannian surface with boundary then $$\mathrm{UW}_1(X) \leq \mathrm{UW}_1(\widetilde{X}).$$ Furthermore, we show that if there exist spaces $X$ for which $\mathrm{UW}_1(\widetilde{X})$ is bounded while $\mathrm{UW}_1(X)$ is arbitrarily large, then such examples must already appear in low dimensions. In particular, such $X$ can be found among Riemannian $2$-complexes.

2025-05-27T12:44:42Z 25 pages, 4 figures. Corrects part of Remark 2.3 and extends Theorem B to all compact surfaces with Riemannian metrics Hannah Alpert Arka Banerjee Panos Papasoglu http://arxiv.org/abs/2403.03197v3 2025-08-17T21:31:30Z

We consider a new family $(\mathcal{T}_n)_{n\geq1}$ of aperiodic sets of Wang tiles and we describe the dynamical properties of the set $Ω_n$ of valid configurations $\mathbb{Z}^2\to\mathcal{T}_n$. The tiles can be defined as the different instances of a square-shaped computer chip whose inputs and outputs are 3-dimensional integer vectors. The family include the Ammann aperiodic set of 16 Wang tiles and gathers the hallmarks of other small aperiodic sets of Wang tiles. Notably, the tiles satisfy additive versions of equations verified by the Kari--Culik aperiodic sets of 14 and 13 Wang tiles. Also configurations in $Ω_n$ are the codings of a $\mathbb{Z}^2$-action on a 2-dimensional torus like the Jeandel--Rao aperiodic set of 11 Wang tiles. The family broadens the relation between quadratic integers and aperiodic tilings beyond the omnipresent golden ratio as the dynamics of $Ω_n$ involves the positive root $β$ of the polynomial $x^2-nx-1$, also known as the $n$-th metallic mean. We show the existence of an almost one-to-one factor map $Ω_n\to\mathbb{T}^2$ which commutes with the shift action on $Ω_n$ with horizontal and vertical translations by $β$ on $\mathbb{T}^2$. The factor map can be explicitly defined by the average of the top labels from the same row of tiles as in Kari and Culik examples. The proofs are based on the minimality of $Ω_n$ (proved in a previous article) and a polygonal partition of $\mathbb{T}^2$ which we show is a Markov partition for the toral $\mathbb{Z}^2$-action. The partition and the sets of Wang tiles are symmetric which makes them, like Penrose tilings, worthy of investigation.

2024-03-05T18:33:32Z v1: 45 pages, 18 numbered figures. v2: 49 pages, 19 numbered figures, changes during review, the open questions were moved from the Introduction to a new Section 11 at the end. v3: 51 pages, 20 numbered figures, changes during review, added Figure 1, changes in statement of main results section Forum of Mathematics, Sigma 13 (2025) : e155 Sébastien Labbé 10.1017/fms.2025.10098 http://arxiv.org/abs/2412.06737v2 2025-08-16T19:52:49Z

Given a strongly local Dirichlet form on a metric measure space that satisfies Gaussian heat kernel bounds, we show that the martingale dimension of the associated diffusion process coincides with Cheeger's analytic dimension of the underlying metric measure space. More precisely, we show that the pointwise version of the martingale dimension introduced by Hino (called the pointwise index) almost everywhere equals the pointwise dimension of the measurable differentiable structure constructed by Cheeger. Using known properties of spaces that admit a measurable differentiable structure, we show that the martingale dimension is bounded from above by the Hausdorff dimension of the underlying metric space, thereby extending an earlier bound obtained by Hino for some self-similar sets.

2024-12-09T18:26:26Z 23 pages; accepted version, to appear in Bulletin des Sciences Mathématiques Mathav Murugan http://arxiv.org/abs/2508.12028v1 2025-08-16T12:30:33Z

A variational formula is derived by combining the Gaussian volume of the epigraph of a convex function $\varphi$ and the perturbation of $\varphi$ via the infimal convolution. This formula naturally leads to a Borel measure on $\mathbb{R}^n$ and a Borel measure on the unit sphere $S^{n-1}$. The resulting Borel measure on $\mathbb{R}^n$ will be called the Euclidean Gaussian moment measure of the convex function $\varphi$, and the related Minkowski-type problem will be studied. In particular, the newly posed Minkowski problem is solved under some mild and natural conditions on the pre-given measure.

2025-08-16T12:30:33Z Xiao Li Deping Ye http://arxiv.org/abs/2401.03983v2 2025-08-15T21:30:23Z

We strongly believe that in order to prove two important geometrical pro\-blems in convexity, namely, the G. Bianchi and P. Gruber's Conjecture \cite{bigru} and the J. A. Barker and D. G. Larman's Conjecture \cite{Barker}, it is necessary obtain new characteristic properties of the ellipsoid, which involves the notions defined in such problems. In this work we present a series of results which intent to be a progress in such direction: Let $L,K\subset \mathbb{R}^n$ be convex bodies, $n\geq 3$, and $L$ be a subset in the interior of $K$. Then each of the following conditions i), ii) and iii) implies that $L$ is an ellipsoid. i) $L$ is $O$-symmetric and, for every $x$ in the boundary of $K$, the support cone $S(L,x)$ is ellipsoidal. ii) there exists a point $p\in \mathbb{R}^n$ such that for every $x$ in the boundary of $K$, there exists a point $y$ in the boundary of $K$ and hyperplane $Π$, passing through $p$, such that \[ S(L,x)\cap S(L,y)=Π\cap \textrm{bd } K. \] iii) $K$ and $L$ are $O$-symmetric, every $x$ in the boundary of $K$ is a pole of $L$ and $Ω_x:=S(L,x)\cap S(L,-x)$ is contained in the interior of $K$. In the case ii), $K$ is also an ellipsoid and it is concentric with $L$. On the other hand, let $K\subset \mathbb{R}^n$ be a $O$-symmetric convex body, $n\geq 3$, and let $B$ in $\mathbb{R}^n$ be a ball with centre at $O$. We are going to prove that if $B$ is small enough and all the sections of $K$ given by planes tangent to $B$ are $(n-1)$-ellipsoids, then $K$ is an $n$-ellipsoid.

2024-01-08T16:02:39Z Efrén Morales-Amaya Geronimmo Mondragón Jesús Jerónimo-Castro 10.1007/s40590-025-00736-6