https://arxiv.org/api/pSB+laFa1WIxo1SAkpkbZDW9JO8 2026-03-20T14:29:53Z 12756 45 15 http://arxiv.org/abs/2603.11217v1 2026-03-11T18:33:06Z

We review a selection of the literature on the distortion of metric notions of dimension under quasiconformal, quasisymmetric, and Sobolev mappings. Our story begins with Gehring's landmark 1973 higher integrability theorem for quasiconformal maps, along with its implications for the distortion of Hausdorff dimension. Astala's 1994 solution to the planar higher integrability conjecture led to renewed interest in the subject in two dimensions. We continue with results from the 2000s and 2010s on the distortion of dimension by Sobolev maps, including estimates for dimension increase for generic elements in parameterized families of subsets. In the abstract metric setting, Pansu's notion of conformal dimension provides a key quasisymmetric invariant which has been useful in a wide range of applications. We briefly review relevant facts about conformal dimension, highlighting results of interest in the Euclidean setting. We conclude with recent work of the author in collaboration with Chrontsios Garitsis and with Fraser, extending the previous theory to interpolating dimensions and providing new insight into both quasiconformal classification and conformal dimension.

2026-03-11T18:33:06Z 26 pages. To appear in the proceedings of the conference Fractal Geometry and Stochastics VII Jeremy T. Tyson http://arxiv.org/abs/2603.11040v1 2026-03-11T17:58:35Z

Standard thresholding techniques for correlation matrices often destroy positive semidefiniteness. We investigate the construction of positive definite functions that vanish on specific sets $K \subseteq [-1,1)$, ensuring that the thresholded matrix remains a valid correlation matrix. We establish existence results, define a criterion for faithfulness based on the linear coefficient of the normalized Gegenbauer expansion in analogy with Delsarte's method in coding theory, and provide bounds for thresholding at single points and pairs of points. We prove that for correlation matrices of rank $n$, any soft-thresholding operator that preserves positive semidefiniteness necessarily induces a geometric collapse of the feature space, as quantified by an $\mathcal{O}(1/n)$ bound on the faithfulness constant. Such demonstrates that geometrically unbiased soft-thresholding limits the recoverable signal.

2026-03-11T17:58:35Z 15 pages Sujit Sakharam Damase James Eldred Pascoe http://arxiv.org/abs/2603.10729v1 2026-03-11T13:02:26Z

A \emph{fractal} is an object exhibiting complexity at arbitrarily small scales. In order to study and characterise fractals, one is often interested in quantifying how they fill up space on small scales. This gives rise to various notions of \emph{fractal dimension}. However, even for the simplest examples, the different definitions of dimension may completely disagree about the answer. In this expository article I will examine this phenomenon and use it to discuss and motivate \emph{dimension interpolation}. Dimension interpolation views these classical notions as boundary points of continuous families of dimensions, thus transforming isolated numerical answers into a coherent geometric picture.

2026-03-11T13:02:26Z expository article, 10 pages, 1 figure Jonathan M. Fraser http://arxiv.org/abs/2603.10425v1 2026-03-11T05:15:44Z

We prove that the kissing number in 19 dimensions is at least 11948, improving the bound of Cohn and Li by 256. The proof combines Cohn and Li's odd-sign construction with an explicit nonlinear binary code of length 19, size 1280, and minimum distance 5 inside a 5-punctured extended binary Golay code. The construction makes use of nested codes $M\le K\le D$: quotienting a particular graph on $K$ by $M$ yields the Clebsch graph, then an independent set of size 5 in that quotient lifts to a 320-word code in $K$, and finally the four cosets of $K$ in $D$ give the full 1280-word code.

2026-03-11T05:15:44Z 5 pages Boon Suan Ho http://arxiv.org/abs/2603.10334v1 2026-03-11T02:06:10Z

Suppose $\left\{x_1, \dots, x_n\right\} \subset \mathbb{R}^2$ is a set of $n$ points in the plane with diameter $\leq 1$, meaning $\|x_i - x_j\| \leq 1$ for all $1 \leq i,j \leq n$. We show that the ratio of the number of "neighbors" (pairs of points with distance $\leq \varepsilon$) to the number of "antipodes" (pairs of points with distance $\geq 1 - \varepsilon$) is $\gtrsim\varepsilon^{1/2 + o(1)}$, attaining the conjectured correct asymptotic within a polylog factor and improving the $\gtrsim\varepsilon^{3/4+o(1)}$ bound of Steinerberger (2025).

2026-03-11T02:06:10Z Samuel Korsky http://arxiv.org/abs/2408.06510v2 2026-03-10T17:31:39Z

In this paper, we study characteristics of horofunction boundaries of Carnot groups. In particular, we show that for Carnot groups, i.e., stratified nilpotent Lie groups equipped with certain left-invariant homogeneous metrics, all horofunctions are piecewise-defined using Pansu derivatives. For higher Heisenberg groups and filiform Lie groups, two families which generalize the standard 3-dimensional real Heisenberg group, we study the dimensions and topologies of their horofunction boundaries. In doing so, we find that filiform Lie groups of dimension $n\geq 8$ provide the first-known examples of Carnot groups $G$ whose horofunction boundaries are not of dimension $\dim(G) - 1$.

2024-08-12T21:59:49Z 39 pages, 8 figures Nate Fisher http://arxiv.org/abs/2603.09920v1 2026-03-10T17:16:21Z

The main aim of this paper is to establish the Reshetnyak's theorem for quasiregualr values from generalized $n$-manifold with suitable controlled geometry to Euclidean space $\mathbb{R}^{n}.$ This generalizes a previous result due to Kangasniemi and Onninen on the setting of Euclidean space [A single-point Reshetnyak's theorem, Trans. Amer. Math. Soc., 378(2025): 3105-3128].

2026-03-10T17:16:21Z Deguang Zhong http://arxiv.org/abs/2603.09813v1 2026-03-10T15:40:34Z

It remains unknown if every prismatoid has a nonoverlapping edge-unfolding, a special case of the long-unsolved "Dürer's problem." Recently nested prismatoids have been settled [Rad24] by mixing (in some sense) the two natural unfoldings, petal-unfolding and band-unfolding. Band-unfolding fails due to a specific counterexample [O'R13b]. The main contribution of this paper is a characterization when a band-unfolding of a nested prismatoid does in fact result in a nonoverlapping unfolding. In particular, we show that the mentioned counterexample is in a sense the only possible counterexample. Although this result does not expand the class of shapes known to have an edge-unfolding, its proof expands our understanding in several ways, developing tools that may help resolve the non-nested case.

2026-03-10T15:40:34Z 19 pages, 16 figures, 8 references Joseph O'Rourke http://arxiv.org/abs/2603.09459v1 2026-03-10T10:13:43Z

This paper is the second in a series by the author and collaborators devoted to the study of geometric and analytic properties of nonlinear Lebesgue spaces, that is, L^p spaces of mappings taking values in arbitrary metric spaces. The present article formalizes the pointwise description of their geometric properties -- their length structure, bounds on their Alexandrov curvature as well as the definition of a speed for absolutely continuous curves despite the lack of differential structure. To obtain this pointwise description, we first prove a nonlinear analogue of the Fubini--Lebesgue theorem, which yields an identification of L^p curves in nonlinear Lebesgue spaces to mappings taking values in the space of L^p curves. This identification of L^p curves then enables a similar identification for absolutely continuous curves, from which the pointwise description of the geometric properties of nonlinear Lebesgue spaces follows.

2026-03-10T10:13:43Z Guillaume Sérieys MAP5 http://arxiv.org/abs/2505.00874v3 2026-03-09T19:47:17Z

We investigate a novel setting for polytope rigidity, where a flex must preserve edge lengths and the planarity of faces, but is allowed to change the shapes of faces. For instance, the regular cube is flexible in this notion. We present techniques for constructing flexible polytopes and find that flexibility seems to be an exceptional property. Based on this observation, we introduce a notion of generic realizations for polytopes and conjecture that convex polytopes are generically rigid in dimension $d\geq 3$. We prove this conjecture in dimension $d=3$. Motivated by our findings we also pose several questions that are intended to inspire future research into this notion of polytope rigidity.

2025-05-01T21:36:09Z Matthias Himmelmann Bernd Schulze Martin Winter http://arxiv.org/abs/2603.08807v1 2026-03-09T18:05:11Z

We consider a matching problem for time series with values in an arbitrary metric space, with the stretching penalty given by the Hellinger kernel. To optimize this matching, we introduce the Elastic Time Warping algorithm with a cubic computational complexity.

2026-03-09T18:05:11Z Yuly Billig http://arxiv.org/abs/2601.15140v2 2026-03-09T13:32:13Z

We prove that homological filling functions over a ring $R$ equipped with the discrete norm are quasi-isometry invariants for all groups of type $\mathrm{FP}_n$. This confirms a conjecture of Bader-Kropholler-Vankov in the case of discrete norms. The proof uses a technique of equipping free chain complexes with a geometric structure, allowing for analogues of cellular constructions in the purely algebraic setting. As a further application we prove quasi-isometry invariance for a weighted version of integral and discrete filling functions originally introduced in the study of the rapid decay property.

2026-01-21T16:14:18Z 21 pages; added a section giving a new proof of quasi-isometry invariance of cohomology with coefficients in the group ring Jannis Weis http://arxiv.org/abs/2508.13472v2 2026-03-09T12:46:52Z

We generalize the Atiyah problem on configurations and the related Atiyah--Sutcliffe conjectures 1 and 2 using finite graphs, configurations of points and tensors. Our conjectures are intriguing geometric inequalities, defined using the pairwise directions of the configuration of points, just as in the original problem. The generalization of the Atiyah determinant to our setting is no longer a determinant. We call it the $G$-amplitude function, where $G$ is a finite simple graph, in analogy with probability amplitudes in quantum physics. If $G = K_n$ is the complete graph with $n$ vertices, we recover the Atiyah--Sutcliffe conjectures 1 and 2.

2025-08-19T03:07:19Z 11 pages, 3 figures Joseph Malkoun http://arxiv.org/abs/2603.08226v1 2026-03-09T10:55:44Z

Hyperbolic elliptic parabolic disks can be described by the inequality $\frac{x^2}{C^2}+2y^2-2y\leq0$ ($0<C<1$) in the unit disk based Beltrami--Cayley--Klein model of the hyperbolic geometry, up to hyperbolic congruences. The hyperbolic elliptic parabolic disks considered above are sort of close to their supporting half distance bands given by the inequalities $\frac{x^2}{C^2}+ y^2-1\leq0$ and $y\geq0$. Here we consider what `close' might mean, and we look for even more precise approximations, in terms of area and circumference.

2026-03-09T10:55:44Z Gyula Lakos http://arxiv.org/abs/2603.08132v1 2026-03-09T09:11:32Z

A $λ$-convex body in a three-dimensional space form $M^3(c)$ of constant curvature $c$ is a compact convex set $K$ whose boundary $\partial K$ has normal curvatures bounded below by a constant $λ>0$ (in a weak sense). Within this class, we prove a sharp reverse isoperimetric inequality: among all $λ$-convex bodies in $M^3(c)$, with a fixed surface area, the body of minimal volume is the $λ$-convex lens, i.e., the domain bounded by two totally umbilical caps of curvature $λ$. Moreover, this minimizer is unique. This result confirms Borisenko's Conjecture in the three-dimensional model spaces of constant curvature for $c\neq 0$, and complements recent progress on the conjecture in the Euclidean case $c=0$. As a by-product, our method also yields an alternative proof of the corresponding reverse isoperimetric inequality in two-dimensional hyperbolic space.

2026-03-09T09:11:32Z Kostiantyn Drach Gil Solanes Kateryna Tatarko