Glued spaces and lower Ricci curvature bounds

2026-04-05T10:25:20Z

We consider Riemannian manifolds $M_i$, ${i=0,1}$, with boundary and $Φ_i\in C^{\infty}(M_i)$ non-negative such that the pair $(M_i, Φ_i)$ admits Bakry-Emery $N$-Ricci curvature bounded from below by $K$. Let $Y_0$ and $Y_1$ be isometric, compact components of the boundary of $M_0$ and $M_1$ respectively and assume $Φ_0=Φ_1$ on $Y_0\simeq Y_1$. We assume that $Π_0+Π_1=Π\geq 0$ (*), and $dΦ_0(ν_0)+ dΦ_1(ν_1)\leq \mbox{tr}Π$ on $Y_0\simeq Y_1$ (**) where $Π_i$ is the second fundamental form and $ν_i$ is inner unit normal field along $\partial M_i$. We show that the metric glued space $M=M_0\cup_{\mathcal I}M_1$ together with the measure $Φd\mathcal H^n$ satisfies the curvature-dimension condition $CD(K,\lceil N \rceil)$ where $Φ: M\rightarrow [0,\infty)$ arises tautologically from $Φ_1$ and $Φ_2$. Moreover, $(M, Φd\mathcal H^n)$ is the collapsed Gromov-Hausdorff limit of smooth, $\lceil N \rceil$-dimensional Riemannian manifolds with Ricci curvature bounded from below by $K- ε$ and is also the measured Gromov-Hausdorff limit of smooth, weighted Riemannian manifolds such that the Bakry-Emery $\lceil N \rceil$-Ricci curvature is bounded from below by $K-ε$. On the other hand we show that given a glued manifold as described it satisfies the curvature-dimension condition $CD(K,N)$ only if the condition (*) and (**) hold. The latter statement generalizes a theorem of Kosovskiĭ for sectional lower curvature bounds and especially applies for the unweighted case where a lower Ricci curvature bound and $\dim_{M_i}\leq N$ replaces a lower Bakry-Emery $N$-Ricci curvature bound.

Distinguishing regular polygons, cycle graphs, and circular metric spaces by the distance multiset and magnitude

2026-04-04T17:04:12Z

We investigate how effectively finite metric spaces can be distinguished by distance-based invariants. As model spaces, we consider regular polygons, cycle graphs, and their generalization, circular metric spaces, and as invariants we consider the distance multiset, magnitude, and magnitude homology. We construct explicit families of homometric but non-congruent circular metric spaces, and in many even cases these examples also have the same magnitude as the original space. We prove that regular polygons are determined by the distance multiset among planar metric spaces, but not in general. We also determine, for several values of $n$, whether regular $n$-gons and $n$-cycle graphs are determined by magnitude.

The Weighted $L^p$ Minkowski Problem

2026-04-04T14:35:24Z

The Minkowski problem in convex geometry concerns showing that a given Borel measure on the unit sphere is, up to perhaps a constant, some type of surface area measure of a convex body. Two types of Minkowski problems in particular are an active area of research: $L^p$ Minkowski problems, introduced by Lutwak and (Lutwak, Yang, and Zhang), and weighted Minkowski problems, introduced by Livshyts. For the latter, the Gaussian Minkowski problem, whose primary investigators were (Huang, Xi and Zhao), is the most prevalent. In this work, we consider weighted surface area in the $L^p$ setting. We propose a framework going beyond the Gaussian setting by focusing on rotationally invariant measures, mirroring the recent development of the Gardner-Zvavitch inequality for rotationally invariant, log-concave measures. Our results include existence for all $p \in \mathbb R$ (with symmetry assumptions in certain instances). We also have uniqueness for $p \geq 1$ under a concavity assumption. Finally, we obtain results in the so-called "small mass regime" using degree theory, as instigated in the Gaussian case by (Huang, Xi and Zhao).

Universal Ahlfors--David regularity of Steiner trees

2026-04-04T08:56:46Z

The celebrated Steiner tree problem is the problem of finding a set $St$ of minimum one-dimensional Hausdorff measure $H$ (length) such that $St \cup \mathcal{A}$ is connected, where $\mathcal{A} \subset \mathbb{R}^d$ is a given compact set. Paolini and Stepanov provided very general existence and regularity results for the Steiner problem. Their main regularity result is that under a natural assumption, $H(St) < \infty$, for almost every $\varepsilon>0$ the set $St_\varepsilon := St\setminus B_\varepsilon(\mathcal A)$ is an embedded finite forest (acyclic graph). We give a quantitative regularity result by proving that the set $St_\varepsilon$ is Ahlfors--David regular with constants that depend only on $d$ (and not on $\mathcal{A}$). Namely, for $d > 2$, every $\varepsilon > 0$, every $x \in St_\varepsilon$, and every choice of $ρ\in (0,1)$, we have \[ \frac{H \left (St_\varepsilon \cap B_{ρ\varepsilon}(x) \right) }{\varepsilon} \leq \left ( \frac{144d}{1-ρ} \right) ^{d-2}. \] As a corollary, we obtain a density-type result, i.e. that the set $St_\varepsilon \cap B_{ρ\varepsilon}(x)$ consists of at most \[ \left ( \frac{144d}{1-ρ} \right) ^{d-1} \] line segments. In the plane (i.e., for $d=2$), it is possible to obtain tight structural results.

On the Inscribed Sphere and Concurrent Lines through the Centers of Apollonius Spheres in $\mathbb{R}^n$

2026-04-03T14:40:43Z

The Apollonius problem asks for a sphere tangent to $n+1$ given spheres or hyperplanes in $\mathbb{R}^n$. This problem has been widely studied for an isolated configuration of $n+1$ spheres. In this paper, we study relations among the solutions of the Apollonius problem arising from a common family of spheres within the framework of Lie sphere geometry. More precisely, we consider a configuration of $n+2$ spheres in $\mathbb{R}^n$ and the solutions of the Apollonius problem corresponding to all its subsets of size $n+1$. The first main result concerns lines passing through the centers of pairs of solutions to the Apollonius problem. We prove that all these lines intersect at a single point $P_X$. We then introduce a two--step construction of further Apollonius spheres and show that the lines determined by their centers also pass through $P_X$. This yields numerous applications in two and three dimensions and, at the same time, automatically extends them to $\mathbb{R}^n$. The second main result is an $n$--dimensional generalization of K. Morita's three-dimensional theorem on the inscribed sphere in a configuration of mutually tangent spheres. We show that Morita's theorem is a special case of our result for an arbitrary configuration of $n+2$ spheres in $\mathbb{R}^n$, not necessarily mutually tangent. Moreover, we connect this result with the preceding ones by proving that the center of the corresponding inscribed sphere is again the point $P_X$.

A New Lemoine-Type Circle

2026-04-03T14:08:33Z

This paper presents a new Lemoine-type circle defined by a six-point configuration satisfying a cocyclicity criterion. We prove the result, establish a converse theorem, and relate the new circle to previously known Lemoine circles, in particular the one introduced by Q.T. Bui. We show that the new circle does not belong to the family of Tucker circles.

A Bilinear Kakeya Inequality in the Heisenberg Group

2026-04-03T11:40:33Z

We prove a bilinear Kakeya inequality in the first Heisenberg group and a sharp bilinear Kakeya estimate for Euclidean curved tubes in $\R^2$. By adapting an argument of Fässler, Pinamonti and Wald involving Heisenberg projections, we show that the latter implies the former. We prove the estimate for curved tubes using a combination of techniques developed by Pramanik, Yang and Zahl, Wolff and Schlag. We introduce a novel broadness hypothesis inspired by works of Zahl, which rules out bush-type configurations that break transversal structure. We argue that such a hypothesis is needed for proving the bilinear estimates we present. We also introduce necessary additional linear terms to the estimate to counteract Szemerédi--Trotter-type clustering phenomena.

On the maximum volume solid wrappable by a given sheet of paper

2026-04-03T09:45:44Z

We consider the problem of wrapping three-dimensional solid bodies with a given planar sheet of paper, where the paper may be folded or wrinkled but not stretched or torn. We propose a conjecture characterising the maximumvolume solid wrappable by any given sheet: the maximum is always achieved (or approached) by a non-convex body. In other words, for any convex solid wrappable by a given sheet, there exists a non-convex solid of strictly greater volume that the same sheet can wrap. We discuss related work, a key subquestion involving the sphere, and several further directions.

Minkowski tensors for point clouds and voxelized data: robust, asymptotically unbiased estimators

2026-04-03T09:26:29Z

Minkowski tensors, also known as tensor valuations, provide robust $n$-point information for a wide range of random spatial structures. Local estimators for point clouds, e.g., representing voxelized data, however, are unavoidably biased even in the limit of infinitely high resolution. Here, we substantially improve a recently proposed, asymptotically unbiased algorithm to estimate Minkowski tensors from point clouds. Our improved algorithm is more robust and efficient. Moreover we generalize the theoretical foundations for an asymptotically bias-free estimation of the interfacial tensors, among others, to the case of finite unions of compact sets with positive reach, which is relevant for many applications like rough surfaces or composite materials. As a realistic test case of random spatial structures, we consider random (beta) polytopes. We first derive explicit expressions of the expected Minkowski tensors, which we then compare to our simulation results. We obtain precise estimates with relative errors of a few percent for practically relevant resolutions. Finally, we apply our methods to real data of metallic grains and nanorough surfaces, and we provide an open-source python package, which works in any dimension.

String graphs are quasi-isometric to planar graphs

2026-04-02T17:47:04Z

We prove that for every countable string graph $S$, there is a planar graph $G$ with $V(G)=V(S)$ such that \[ \frac{1}{23660800}d_S(u,v) \le d_G(u,v) \le 162 d_S(u,v) \] for all $u,v\in V(S)$, where $d_S(u,v)$, $d_G(u,v)$ denotes the distance between $u$ and $v$ in $S$ and $G$ respectively. In other words, string graphs are quasi-isometric to planar graphs. This theorem lifts a number of theorems from planar graphs to string graphs, we give some examples. String graphs have Assouad-Nagata (and asymptotic dimension) at most 2. Connected, locally finite, quasi-transitive string graphs are accessible. A finitely generated group $Γ$ is virtually a free product of free and surface groups if and only if $Γ$ is quasi-isometric to a string graph. Two further corollaries are that countable planar metric graphs and complete Riemannian planes are also quasi-isometric to planar graphs, which answers a question of Georgakopoulos and Papasoglu. For finite string graphs and planar metric graphs, our proofs yield polynomial time (for string graphs, this is in terms of the size of a representation given in the input) algorithms for generating such quasi-isometric planar graphs. We further extend our techniques to show that every complete Riemannian surfaces $Σ$ of bounded Euler genus has a triangulation $G\subset Σ$ such that $G^{(1)} \hookrightarrow Σ$ is a quasi-isometry, where $G^{(1)}$ is the simplicial 1-skeleton of $G$.

Falconer lattice sets and the Erdos similarity problem

2026-04-02T00:06:48Z

We show that a family of extremely thin sets satisfy the Erdős similarity conjecture. These examples lie outside the range covered by recent work of Shmerkin and Yavicoli \cite{ShmerkinYavicoli2025}. As we shall see, they have small logarithmic dimension. They do not contain affine copies of slowly decaying sequences, so the result does not follow from earlier work of Falconer and Eigen \cite{Falconer1984,Eigen}. On the other hand, they do contain sequences of rapid decay, for which the conjecture is still open in general. Our argument is based on Falconer lattice sets and a theorem of Bourgain \cite{Bourgain2003}.

Moving rectangular sofas in planar and spatial corridors

2026-04-01T17:26:09Z

We consider eight natural planar corridors, including the standard $\mathrm{L}$-shaped one, and characterize the rectangles that can move around their corners. As a bi-product we describe completely the corresponding rectangles with maximum area, as well as the rectangular parallelepipeds with maximum volume that can move around the corners of the spatial analogues of the considered eight planar corridors.

Equivalence of Almgren-Pitts and phase-transition half-volume spectra

2026-04-01T16:18:46Z

We prove that the Almgren-Pitts and phase-transition half-volume spectra of a closed Riemannian manifold are equal. This confirms a conjecture of Liam Mazurowski and Xin Zhou.

VeloTree: Inferring single-cell trajectories from RNA velocity fields with varifold distances

2026-04-01T15:47:17Z

Trajectory inference is a critical problem in single-cell transcriptomics, which aims to reconstruct the dynamic process underlying a population of cells from sequencing data. Of particular interest is the reconstruction of differentiation trees. One way of doing this is by estimating the path distance between nodes -- labeled by cells -- based on cell similarities observed in the sequencing data. Recent sequencing techniques make it possible to measure two types of data: gene expression levels, and RNA velocity, a vector that quantifies variation in gene expression. The sequencing data then consist in a discrete vector field in dimension the number of genes of interest. In this article, we present a novel method for inferring differentiation trees from RNA velocity fields using a distance-based approach. In particular, we introduce a cell dissimilarity measure defined as the squared varifold distance between the integral curves of the RNA velocity field, which we show is a robust estimate of the path distance on the target differentiation tree. Upstream of the dissimilarity measure calculation, we also implement comprehensive routines for the preprocessing and integration of the RNA velocity field. Finally, we illustrate the ability of our method to recover differentiation trees with high accuracy on several simulated and real datasets, and compare these results with the state of the art.

Affine Angles via Area Cross Ratio and Isoptic Hyperbolas

2026-04-01T15:34:50Z

Affine geometry is usually regarded as a framework in which metric notions such as distance and angle are absent. However, just as projective geometry produces various metric geometries by introducing additional structures on the line at infinity, affine geometry can also serve as a natural basis for an angular geometry once certain directions at infinity are fixed. In this paper we introduce an affine angle determined by two fixed directions on the line at infinity and defined via an area cross ratio. This quantity is invariant under affine transformations preserving the chosen directions. We show that the locus of points from which a fixed segment is seen under a constant affine angle is a hyperbola whose asymptotes are parallel to the chosen directions. This provides an affine analogue of the classical fact that in Euclidean geometry the isoptic curve of a segment is a circle. Furthermore, we establish that this angle arises as a parabolic degeneration of the Cayley--Klein angle, and that the same quantity naturally appears in a power theorem associated with hyperbolas. These results provide a unified perspective linking affine angles, isoptic hyperbolas, and hyperbolic power through the area cross ratio.