https://arxiv.org/api/bABiOuX4lTD8u9YYTtrygLZYlWg 2026-06-24T10:41:33Z 13079 1305 15 http://arxiv.org/abs/2509.02312v1 2025-09-02T13:34:10Z

A curve has the increasing chord property if for any points $a,b,c,d$ in this order on the curve, the distance of $a,d$ is not smaller than that of $b,c$. Answering a conjecture of Larman and McMullen, Rote proved in 1994 that the arclength of a curve in the Euclidean plane with the increasing chord property is at most $\frac{2π}{3}$ times the distance of its endpoints, and this inequality is sharp. In this note we generalize the result of Rote for curves in a normed plane with a strictly convex norm, based on an investigation of the geometric properties of involutes in normed planes. We also discuss some related extremum problems.

2025-09-02T13:34:10Z 17 pages, 8 figures Zsolt Lángi Sára Lengyel http://arxiv.org/abs/2509.02162v1 2025-09-02T10:14:12Z

The symmetric decreasing rearrangement of functions on $\mathbb{R}^n$ features in several seminal inequalities, such as the Pólya-Szegő inequality. The latter was shown by the authors to hold for all smoothing rearrangements, a class that includes the more general $(k,n)$-Steiner rearrangement, as well as others introduced by Brock and by Solynin. The theory of rearrangements and their associated set maps is developed, with an emphasis on approximation, particularly by polarizations. The Pólya-Szegő inequality holds with equality for polarizations, so is proved relatively easily for rearrangements that can be suitably approximated by them. One goal here is to show that the Brock rearrangements cannot be approximated in such a way. It turns out that under mild conditions, each set map associated with a rearrangement has in turn an associated contraction map from $\mathbb{R}^n$ to $\mathbb{R}^n$. With this new analytical tool, several general results on the approximation of rearrangements are also proved.

2025-09-02T10:14:12Z Gabriele Bianchi Richard J. Gardner Paolo Gronchi Markus Kiderlen http://arxiv.org/abs/2509.00880v1 2025-08-31T14:46:13Z

An $m$-distance set is a collection of points such that the distances between any two points have $m$ possible values. We use two different methods to construct large $m$-distance sets on the triangular lattices. One is to use the first m smallest distances and find the largest cliques, and the other is using the notions of hexagons. Multiplicities of the distances were observed for comparison for the two methods.

2025-08-31T14:46:13Z 19 pages, 34 figures Li-Ren Bao Wei-Hsuan Yu http://arxiv.org/abs/2304.00125v2 2025-08-31T08:14:52Z

Recently, M. Ludewig and G. C. Thiang introduced a notion of a uniformly localized Wannier basis with localization centers in an arbitrary uniformly discrete subset $D$ in a complete Riemannian manifold $X$. They show that, under certain geometric conditions on $X$, the class of the orthogonal projection onto the span of such a Wannier basis in the $K$-theory of the Roe algebra $C^*(X)$ is trivial. In this paper, we clarify the geometric conditions on $X$, which guarantee triviality of the $K$-theory class of any Wannier projection. We show that this property is equivalent to triviality of the unit of the uniform Roe algebra of $D$ in the $K$-theory of its Roe algebra, and provide a geometric criterion for that. As a consequence, we prove triviality of the $K$-theory class of any Wannier projection on a connected proper measure space $X$ of bounded geometry with a uniformly discrete set of localization centers.

2023-03-31T20:53:33Z 14 pages; v2: final version J. Math. Phys. 65 (2024), no. 3, Paper No. 033506, 11 pp Yu. Kordyukov V. Manuilov 10.1063/5.0154734 http://arxiv.org/abs/2206.07165v5 2025-08-31T03:08:05Z

Circle packings are arrangement of circles satisfying specified tangency requirements. Many problems about packing of circles and spheres occur in nature particularly in material design and protein structure. Surprisingly, little is known about the stability and rigidity of circle packings. In this paper, we study the rigidity of circle packings representing a given planar graph. The radii of circles are flexible with equality and inequality constraints. We provide a dual condition for the packing to be rigid in the first order. This gives us a sufficient condition to show a packing is rigid. Then we will explore the difficulties on rigidity problems beyond the first order.

2022-06-14T20:52:55Z 23 pages, 11 figures Robert Connelly Zhen Zhang http://arxiv.org/abs/2304.07859v4 2025-08-30T17:39:13Z

In 1970, Schneider introduced the $m$th order difference body of a convex body, and also established the $m$th-order Rogers-Shephard inequality. In this paper, we extend this idea to the projection body, centroid body, and radial mean bodies, as well as prove the associated inequalities (analogues of Zhang's projection inequality, Petty's projection inequality, the Busemann-Petty centroid inequality and Busemann's random simplex inequality). We also establish a new proof of Schneider's $m$th-order Rogers-Shephard inequality. As an application, a $m$th-order affine Sobolev inequality for functions of bounded variation is provided.

2023-04-16T18:49:21Z 49 pages Keywords: Projection bodies, Centroid bodies, Radial mean bodies, Busemann-Petty centroid inequality, Steiner symmetrization, Petty projection inequality, affine Sobolev inequality Mathematische Annalen, 2025 Julián Haddad Dylan Langharst Eli Putterman Michael Roysdon Deping Ye 10.1007/s00208-025-03271-x http://arxiv.org/abs/2504.20005v3 2025-08-30T05:11:02Z

In this work, we show that there exists a step-two Carnot group on which the new lower bound of the curvature exponent given in arXiv:2308.15811v2 can be strictly less than the curvature exponent by studying the convergence of the structure constants of Lie algebra.

2025-04-28T17:24:15Z To appear at Proceedings of the American Mathematical Society Proceedings of the American Mathematical Society, 2025 Ye Zhang 10.1090/proc/17314 http://arxiv.org/abs/2503.13829v3 2025-08-29T12:00:17Z

Motivated by an experimental study of groups generated by reflections in planar patterns of tangent circles, we describe some methods for constructing and studying representation spaces of holonomy groups of infinite volume hyperbolic $3$-manifolds that arise from unknotting tunnels of links. We include full descriptions of our computational methods, which were guided by simplicity and generality rather than by being particularly efficient in special cases. This makes them easy for non-experts to understand and implement to produce visualisations that can suggest conjectures and support algebraic calculations in the character variety. Throughout, we have tried to make the exposition clear and understandable for graduate students in geometric topology and related fields.

2025-03-18T02:11:05Z 30 pages, 16 figures. v3 improves clarity of figures and fixes minor errors. Correspondence welcomed Alex Elzenaar http://arxiv.org/abs/2508.21499v1 2025-08-29T10:30:12Z

This is the second article of a series of our recent works, addressing an open question of Bonk-Heinonen-Koskela [3], to study the relationship between (inner) uniformality and Gromov hyperbolicity in infinite dimensional spaces. Our main focus of this paper is to establish a dimension-free inner uniform estimate for quasigeodesics. More precisely, we prove that a $c_0$-quasigeodesic in a $δ$-Gromov hyperbolic $c$-John domain in $\mathbb{R}^n$ is $b$-inner uniform, for some constant $b$ depending only on $c_0$, $δ$ and $c$, but not on the dimension $n$. The proof relies crucially on the techniques introduced by Guo-Huang-Wang in their recent work [arXiv:2502.02930, 2025]. In particular, we actually show that the above result holds in general Banach spaces, which answers affirmatively an open question of J. Väisälä in [Analysis, 2004] and partially addresses the open question of Bonk-Heinonen-Koskela in [Asterisque, 2001]. As a byproduct of our main result, we obtain that a $c_0$-quasigeodesic in a $δ$-Gromov hyperbolic $c$-John domain in $\mathbb{R}^n$ is a $b$-cone arc with a dimension-free constant $b=b(c_0,δ,c)$. This resolves an open problem of J. Heinonen in [Rev. Math. Iberoam., 1989].

2025-08-29T10:30:12Z 26 pages Chang-Yu Guo Manzi Huang Yaxiang Li Xiantao Wang http://arxiv.org/abs/1709.06522v3 2025-08-29T09:18:11Z

In Euclidean space, the asymptotic shape of large cells in various types of Poisson driven random tessellations has been the subject of a famous conjecture due to David Kendall. Since shape is a geometric concept and large cells are identified by means of geometric size functionals, the resolution of the conjecture is inevitably connected with geometric inequalities of isoperimetric type and their improvements in the form of geometric stability results, relating geometric size functionals and hitting functionals. The latter are deterministic characteristics of the underlying random tessellation. The current work explores specific and typical cells of random tessellations in spherical space. A key ingredient of our approach are new geometric inequalities and quantitative strengthenings in terms of stability results for quite general and some specific size and hitting functionals of spherically convex bodies. As a consequence we obtain probabilistic deviation inequalities and asymptotic distributions of quite general size functionals. In contrast to the Euclidean setting, where the asymptotic regime concerns large size, in the spherical framework the asymptotic analysis is concerned with high intensities.

2017-09-19T16:42:49Z Revision with minor corrections Daniel Hug Andreas Reichenbacher http://arxiv.org/abs/2405.05629v2 2025-08-29T07:02:23Z

We present short proofs of Tverberg-type theorems for cell complexes by S. Hasui, D. Kishimoto, M. Takeda, and M. Tsutaya. One of them states that for any prime power $r$, any complex $X$ topologically homeomorphic to $S^{(d+1)(r-1)-1}$, and any continuous map $f:X\to\mathbb R^d$ there are pairwise disjoint faces $σ_1,\ldots,σ_r$ of $X$ such that $f(σ_1)\cap\ldots f(σ_r)\ne\emptyset$.

2024-05-09T09:06:04Z 4 pages, the PL and the topological cases are considered separately Discr. Comp. Geom., (2025) Roman Karasev Arkadiy Skopenkov 10.1007/s00454-025-00806-6 http://arxiv.org/abs/2410.14933v3 2025-08-28T21:45:46Z

In this work, we deal with Delone sets and their rectifiability under different classes of regularity. By pursuing techniques developed by Rivière and Ye, and Aliste-Prieto, Coronel and Gambaudo, we give sufficient conditions for a specific Delone set to be equivalent to the standard lattice by bijections having regularity in between bi-Lipschitz and bi-Hölder-homogeneous. From this criterion, we extend a result of McMullen by showing that, for any dimension $d\geq 1$, there exists a threshold of moduli of continuity $\mathcal{M}_d$, including the class of the Hölder ones, such that for every $ω\in\mathcal{M}_d$, any two Delone sets within a certain class in $\mathbb{R}^d$ cannot be distinguished under bi-$ω$-equivalence. Also, we extend a result due to Aliste, Coronel, and Gambaudo, which establishes that every linearly repetitive Delone set in $\mathbb{R}^d$ is rectifiable by extending it to a broader class of repetitive behaviors. Moreover, we show that for the modulus of continuity $ω(t)=t(\log(1/t))^{1/d}$, every $ω$-repetitive Delone set in $\mathbb{R}^d$ is equivalent to the standard lattice by a bi-$ω$-homogeneous map. Finally, we address a problem of continuous nature related to the previous ones about finding solutions to the prescribed volume form equation in intermediate regularity, thereby extending the results of Rivière and Ye.

2024-10-19T01:42:14Z 22 pages. Comments are welcome. Comments V3: The original Theorem D does not follow directly from Proposition A.3; we decide to make this Proposition our Theorem D. Also, we fix an inaccuracy in Remark A.3. We are grateful to the anonymous referee of AFST for their careful reading of the previous version and their valuable comments and suggestions Irene Inoquio-Renteria Rodolfo Viera http://arxiv.org/abs/2503.00949v2 2025-08-28T09:48:45Z

The classical Petty projection inequality is an affine isoperimetric inequality which constitutes a cornerstone in the affine geometry of convex bodies. By extending the polar projection body to an inter-dimensional operator, Petty's inequality was generalized to the so-called $(L_p,Q)$ setting, where $Q$ is an $m$-dimensional compact convex set. In this work, we further extend the $(L_p,Q)$ Petty projection inequality to the broader realm of rotationally invariant measures with concavity properties, namely, those with $γ$-concave density (for $γ\geq-1/nm$). Moreover, when $p=1$, and motivated by a contemporary empirical reinterpretation of Petty's result, we explore empirical analogues of this inequality.

2025-03-02T16:07:55Z Francisco Marín Sola http://arxiv.org/abs/2508.20296v1 2025-08-27T22:07:39Z

We show that an amenable group of finite Assouad-Nagata dimension satisfies the property $H_{FD}$ of Shalom. Such infinite groups are known to admit a virtual homomorphism onto $\mathbb{Z}$, and thus our result implies that an amenable group of finite $AN$-dimension cannot be a simple group. We can also conclude that an amenable group of finite $AN$-dimension cannot be a torsion group. Our proof is based on new estimates of diameters of Følner couples. We prove that any amenable group of finite $AN$-dimension admits Følner couples inside balls of linear diameter and more generally estimate the radius of the balls containing Følner couples in groups of finite asymptotic dimension. This result strengthens the result of Nowak about diameters of Følner sets.

2025-08-27T22:07:39Z Anna Erschler Ivan Mitrofanov http://arxiv.org/abs/2508.20079v1 2025-08-27T17:46:25Z

We revisit Nazarov's construction of a convex set with nearly maximal Gaussian surface area and give an alternate analysis based on the notion of convex influence.

2025-08-27T17:46:25Z 11 pages, comments welcome Shivam Nadimpalli Caleb Pascale