https://arxiv.org/api/KWArjiBed7+99WCnZSaZ7ZfrXuc 2026-06-21T21:17:31Z 13068 795 15 http://arxiv.org/abs/2601.07702v1 2026-01-12T16:33:45Z

We introduce asymptotic-Möbius (AM) maps, a large-scale analogue of quasi-Möbius maps tailored to geometric group theory. AM-maps capture coarse cross-ratio behavior for configurations of points that lie far apart, providing a notion of "conformality at infinity" that is stable under quasi-isometries, compatible with scaling limits, and rigid enough to yield structural consequences absent from Pansu's notion of large-scale conformality. We establish basic properties of AM-maps, give several sources of examples, including quasi-isometries, sublinear bi-Lipschitz equivalences, snowflaking, and Assouad embeddings, and apply the theory to large-scale dimension and metric cotype. As applications we obtain dimension-monotonicity results for nilpotent groups and CAT(0) spaces, and new obstructions to the existence of AM-maps arising from metric cotype.

2026-01-12T16:33:45Z Georg Grützner http://arxiv.org/abs/2601.07658v1 2026-01-12T15:38:48Z

We study completion of partial matrices with nonnegative entries to matrices of nonnegative rank at most $r$ for some $r \in \mathbb{N}$. Most of our results are for $r \leq 3$. We show that a partial matrix with nonnegative entries has a nonnegative rank-1 completion if and only if it has a rank-1 completion. This is not true in general when $r \geq 2$. For $3 \times 3$ matrices, we characterize all the patterns of observed entries when having a rank-2 completion is equivalent to having a nonnegative rank-2 completion. If a partial matrix with nonnegative entries has a rank-$r$ completion that is nonnegative, where $r \in \{1,2\}$, then it has a nonnegative rank-$r$ completion. We will demonstrate examples for $r=3$ where this is not true. We do this by introducing a geometric characterization for nonnegative rank-$r$ completion employing families of nested polytopes which generalizes the geometric characterization for nonnegative rank introduced by Cohen and Rothblum (1993).

2026-01-12T15:38:48Z 22 pages, 4 figures Kaie Kubjas Lilja Metsälampi http://arxiv.org/abs/2510.22695v2 2026-01-12T14:34:14Z

We prove that for $n>3$ each generic simple polytope in $\mathbb{R}^n$ contains a point with at least $2n+4$ emanating normals to the boundary. This result is a piecewise-linear counterpart of a long-standing problem about normals to smooth convex bodies.

2025-10-26T14:40:25Z Ivan Nasonov Gaiane Panina http://arxiv.org/abs/2601.07505v1 2026-01-12T13:05:09Z

Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces). One of the main achievements is the proof of the bicompleteness (i.e. of the existence of all small limits and colimits) of the aforementioned categories.

2026-01-12T13:05:09Z 33 pages Enrico Pasqualetto Timo Schultz Janne Taipalus http://arxiv.org/abs/2401.16371v2 2026-01-12T13:01:05Z

Kubota's integral formula expresses the intrinsic volumes of a convex body as averages over its projections onto linear subspaces. In this work, we introduce a new class of Kubota-type formulas for mixed area measures adapted to rotations around a fixed axis, which encode a crucial disintegration property. Our construction is motivated by applications to valuations on convex functions. In the latter framework, we obtain corresponding statements for (conjugate) mixed Monge-Ampère measures. As a by-product, we characterize supports of mixed area and mixed Monge-Ampère measures, thereby confirming a special case of a conjecture by Schneider.

2024-01-29T18:10:54Z Revised presentation and updated references Daniel Hug Fabian Mussnig Jacopo Ulivelli http://arxiv.org/abs/2505.03408v2 2026-01-12T12:42:29Z

In three dimensional Euclidean space, a raspberry is defined to be an arrangement of spheres with pairwise disjoint interiors, where all spheres are tangent to a central unit sphere and such that the contact graph of the non-central spheres triangulates the central sphere. We discuss the relevance of these structures in related work. We present a catalog of all configurations of radii that permit the formation of raspberries that have at most two sizes of non-central spheres. Throughout, we discuss the construction of this catalog.

2025-05-06T10:35:09Z Miek Messerschmidt http://arxiv.org/abs/2212.13409v3 2026-01-12T08:52:07Z

We first prove that for every metrizable space $X$, for every closed subset $F$ whose complement is zero-dimensional, the space $X$ can be embedded into a product space of the closed subset $F$ and a metrizable zero-dimensional space as a closed subset. Using this theorem, we next show the existence of extensors of metrics and ultrametrics, which preserve properties of metrics such as the completeness, the properness, being an ultrametrics, its fractal dimensions, and large scale structures. This result contains some of the author's extension theorems of ultrametrics.

2022-12-27T08:37:59Z 24 pages. This paper was published in Colloq. Math Colloq. Math., (2023), 101--119 Yoshito Ishiki 10.4064/cm9066-6-2023 http://arxiv.org/abs/2210.02170v5 2026-01-12T08:44:57Z

A metric space is said to be strongly rigid if no positive distance is taken twice by the metric. In 1972, Janos proved that a separable metrizable space has a strongly rigid metric if and only if it is zero-dimensional. In this paper, we shall develop this result for the theory of space of metrics. For a strongly zero-dimensional metrizable space, we prove that the set of all strongly rigid metrics is dense in the space of metics. Moreover, if the space is the union of countable compact subspaces, then that set is comeager. As its consequence, we show that for a strongly zero-dimensional metrizable space, the set of all metrics possessing no nontrivial (bijective) self-isometry is comeager in the space of metrics.

2022-10-05T11:53:58Z 22 pages. I have fixed some gaps, and added some explanations. I have added Theorem 1.4. This paper was published in Topology Proceedings Topology Proceedings, 63 (2024), 125--148 Yoshito Ishiki http://arxiv.org/abs/2601.07077v1 2026-01-11T21:49:17Z

We compute explicitly the Riemannian volume, with respect to the Fubini-Study metric, of a domain bounded by a Hermitian quadric in complex projective space. The volume is a rational function of the eigenvalues of the defining quadratic form.

2026-01-11T21:49:17Z Joyita Banerjee Ganguly Debraj Chakrabarti Meera Mainkar http://arxiv.org/abs/2601.06594v1 2026-01-10T15:08:43Z

We consider $C$-pseudo-cones, that is, closed convex sets $K \subset{\mathbb R}^n$ with $o\notin K\subset C$, for which $C$ is the recession cone. Here $C$ is a given closed convex cone in ${\mathbb R}^n$, pointed and with nonempty interior. We define a class of measures for such pseudo-cones and show how they can be interpreted as derivative measures. For a subclass of these measures, namely for dual curvature measures with negative indices, we solve a Minkowski type existence problem.

2026-01-10T15:08:43Z 13 pages Rolf Schneider http://arxiv.org/abs/2601.22163v1 2026-01-10T06:21:21Z

Let $f(n)$ be the maximum sum of the sides of non-overlapping squares (or equilateral triangles) packed inside a unit square or (unit equilateral triangle). In this paper, we explore some properties of $f$ and examine how the square and triangle cases are similar. We prove that a conjecture of Erdős, which says that $f(k^2+1) = k$ for all $k$, is equivalent to the convergence of the series $\sum_{k\geqslant 1}(f(k^2+1)-k)$. We also explore the case of parallelograms and discuss how that is similar to the case of unit square and triangle.

2026-01-10T06:21:21Z 3 pages Anshul Raj Singh http://arxiv.org/abs/2406.04259v4 2026-01-10T01:15:13Z

We consider the problem of homotopy-type reconstruction of compact subsets $X\subset\R^N$ that have the Alexandrov curvature bounded above ($\leq$ $κ$) in the intrinsic length metric. The reconstructed spaces are in the form of Vietoris--Rips complexes computed from a compact sample $S$, Hausdorff--close to the unknown shape $X$. Instead of the Euclidean metric on the sample, our reconstruction technique leverages a path-based metric to compute these complexes. As naturally emerging in the framework of reconstruction, we also study the Gromov--Hausdorff topological stability and finiteness problem for general compact for subspaces of curvature bounded above. Our techniques provide novel sampling conditions as an alternative to the existing and commonly used techniques using weak feature size and $μ$--reach. To the best of our knowledge, this is the first work that establishes homotopy-type reconstruction guarantees for spaces with vanishing reach and $μ$--reach, a regime not covered by existing sampling conditions.

2024-06-06T17:04:50Z 27 pages, 2 figures, v4: small additions to the abstract and the intro, a 2-dimensional example added in the last section Rafal Komendarczyk Sushovan Majhi Will Tran http://arxiv.org/abs/2502.06002v3 2026-01-09T21:25:24Z

A spherical $t$-design is a finite subset $X$ of the unit sphere such that every polynomial of degree at most $t$ has the same average over $X$ as it does over the entire sphere. Determining the minimum possible size of spherical designs, especially in a fixed dimension as $t \to \infty$, has been an important research topic for several decades. This paper presents results on the complementary asymptotic regime, where $t$ is fixed and the dimension tends to infinity. The main results in this paper are (1) a construction of smaller spherical designs via an explicit connection to Gaussian designs and (2) the exact order of magnitude of minimal-size signed $t$-designs, which is significantly smaller than predicted by a typical degrees-of-freedom heuristic. We also establish a method to ``project'' spherical designs between dimensions, prove a variety of results on approximate designs, and construct new $t$-wise independent subsets of $\{1,2,\dots,q\}^d$ which may be of independent interest. To achieve these results, we combine techniques from algebra, geometry, probability, representation theory, and optimization.

2025-02-09T19:21:34Z 24 pages; changes in presentation from v1, and updated proofs for approximate designs from v2 Travis Dillon http://arxiv.org/abs/2510.16793v2 2026-01-09T18:24:34Z

Consider the triangle $T$ with vertices $(0,0)$, $(0,1)$, and $(1,0)$. The lower boundary of the convex hull of $(0,1)$, $(1,0)$, together with $n$ independent uniformly distributed random points in $T$, is called a random convex chain and denoted by $T_n$. We study the random variable $f_0(T_n)$, the number of vertices of this chain. Our first result gives an explicit expression for the bivariate generating function of the probabilities $\mathbb{P}(f_0(T_n)=k+2)$ in terms of the Gaussian hypergeometric function. Building on this analytic representation, we apply a careful singularity analysis to derive a variety of limit theorems for $f_0(T_n)$, including a quantitative central limit theorem, a large deviation principle as well as a precise asymptotics for the probabilities $\mathbb{P}(f_0(T_n)=k+2)$. Conceptually, our results establish a novel bridge between stochastic geometry and methods from analytic combinatorics.

2025-10-19T11:06:35Z 29 pages, 5 figures Florian Besau Christoph Thäle http://arxiv.org/abs/2601.05802v1 2026-01-09T14:09:37Z

The Fourier restriction problem asks when it is meaningful to restrict the Fourier transform of a function to a given set. Many of the key examples are smooth co-dimension 1 manifolds, although there is increasing interest in fractal sets. Here we propose a natural intermediary problem where one considers the fractal surface generated by the graph of the additive Brownian sheet in $\mathbb{R}^k$. We obtain the first non-trivial estimates in this direction, giving both a sufficient condition on the range of $q\in[1,2]$ for the Fourier transform to be $L^{q}(\mathbb{R}^{k+1})\to L^2(G(W))$ bounded and a necessary condition for it to be $L^{q}(\mathbb{R}^{k+1})\to L^p(G(W))$ bounded. The sufficient condition is obtained via the Fourier spectrum, which is a family of dimensions that interpolate between the Fourier and Hausdorff dimensions. Our main technical result, which is of interest in its own right, gives a precise formula for the Fourier spectrum of the natural measure on the graph of the additive Brownian sheet, and we apply this result to the Fourier restriction problem. Our restriction estimate is stronger than the estimate obtained from the well-known Stein--Tomas restriction theorem for all $k\geq3$. We obtain the necessary condition in two different ways, one via the Fourier spectrum and one via an appropriate Knapp example.

2026-01-09T14:09:37Z 18 pages, 4 figures Jonathan M. Fraser Ana E. de Orellana