Reconstruction of real algebraic functions into curves with prescribed Reeb graphs

2025-07-20T04:17:54Z

We discuss reconstructing smooth real algebraic maps onto curves whose Reeb graph is as prescribed. This can be contributed to real algebraic geometry, especially in explicit examples in real algebraic geometry in a new way. The Reeb graph of a smooth function is the space of all connected components of preimages of all single points and a natural quotient space of the manifold with the vertex set being all connected components containing some singular points of it. This gives a strong tool in geometry of manifolds and appeared already in 1950 with Morse functions. The Reeb graph of the natural height of the unit sphere of dimension at least 2 is a graph with exactly two vertices and one edge. We reconstruct functions, from general finite graphs, conversely. In the differentiable situations, Sharko pioneered this in 2006, followed by Masumoto-Saeki and Michalak, mainly. Related real algebraic situations have been launched and studied by the author. The curve-valued case is first considered here.

A Survey of Dimension Estimation Methods

2025-07-18T13:05:42Z

It is a standard assumption that datasets in high dimension have an internal structure which means that they in fact lie on, or near, subsets of a lower dimension. In many instances it is important to understand the real dimension of the data, hence the complexity of the dataset at hand. A great variety of dimension estimators have been developed to find the intrinsic dimension of the data but there is little guidance on how to reliably use these estimators. This survey reviews a wide range of dimension estimation methods, categorising them by the geometric information they exploit: tangential estimators which detect a local affine structure; parametric estimators which rely on dimension-dependent probability distributions; and estimators which use topological or metric invariants. The paper evaluates the performance of these methods, as well as investigating varying responses to curvature and noise. Key issues addressed include robustness to hyperparameter selection, sample size requirements, accuracy in high dimensions, precision, and performance on non-linear geometries. In identifying the best hyperparameters for benchmark datasets, overfitting is frequent, indicating that many estimators may not generalise well beyond the datasets on which they have been tested.

How does the contraction property fail for convex functions on normed spaces?

2025-07-18T11:50:15Z

On Euclidean and Hilbert spaces, Riemannian manifolds, and CAT$(0)$-spaces, gradient flows of convex functions are known to satisfy the contraction property, which plays a fundamental role in optimization theory and possesses fruitful analytic and geometric applications. On (non-inner product) normed spaces, however, gradient flows of convex functions do not satisfy the contraction property. We give a detailed proof of this characterization of inner products, and discuss a possible form of a weaker contraction property on normed spaces.

Lipschitz homotopy convergence of Alexandrov spaces II

2025-07-18T07:32:33Z

We establish a quantitative version of the Lipschitz homotopy convergence introduced by Mitsuishi and Yamaguchi for a moduli space of compact Alexandrov spaces without collapsing. Along the way, we obtain a Lipschitz version of Petersen's homotopy stability theorem that is applicable to more general settings, including CAT spaces. We also show that the Lipschitz homotopies can be chosen to preserve the singular strata of Alexandrov spaces, i.e., extremal subsets.

On the number of faces of marked order polytopes

2025-07-18T01:22:42Z

In this paper, we present a new method for computing the f-vector of a marked order polytope. Namely, given an arbitrary (polyhedral) subdivision of an arbitrary convex polytope, we construct a cochain complex (over the two-element field Z_2) such that the dimensions of its cohomology groups equal the components of the f-vector of the original polytope. In the case of a marked order polytope and its well-known cubosimplicial subdivision, this cochain complex can be described purely combinatorially -- which yields the said computation of the f-vector. Of independent interest may be our combinatorial description of the said cubosimplicial subdivision (which was originally constructed geometrically).

Trees meet octahedron comparison

2025-07-17T23:58:28Z

We show that trees and their products meet octahedron comparison.

On branching points in the Gilbert-Steiner problem

2025-07-17T20:48:29Z

The Gilbert--Steiner problem is a generalization of the Steiner tree problem and specific optimal mass transportation, which allows the use additional (branching) point in a transport plan. A specific feature of the problem is that the cost of transporting a mass $m$ along a segment of length $l$ is equal to $l \times m^p$ for a fixed $0 < p < 1$ and segments may end at points not belonging to the supports of given measures (branching points). Main result of this paper determines all pairs of $(p,d)$ for which the Gilbert--Steiner problem in $\mathbb{R}^d$ admits only branching points of degree 3. Namely, it happens if and only if $d = 2$ or $p < 1/2$.

Grünbaum's inequality for Gaussian and convex probability measures

2025-07-16T15:27:20Z

A celebrated result in convex geometry is Grünbaum's inequality, which quantifies how much volume of a convex body can be cut off by a hyperplane passing through its barycenter. In this work, we establish a series of sharp Grünbaum-type inequalities - with equality characterizations - for probability measures under certain concavity assumptions. As an application, we apply the renowned Ehrhard inequality and deduce an ``Ehrhard-Grünbaum'' inequality for the Gaussian measure on $\mathbb{R}^n$, which improves upon the bound derived from its log-concavity. For $s$-concave Radon measures, our framework provides a simpler proof of known results and, more importantly, yields the previously missing equality characterization. This is achieved by gaining new insight into the equality case of their Brunn-Minkowski-type inequality. Moreover, we show that these ``$s$-Grünbaum'' inequalities can hold only when $s > -1$. However, for convex measures on the real line, we prove Grünbaum-type inequalities involving their cumulative distribution function.

Curvature exponent of sub-Finsler Heisenberg groups

2025-07-16T13:47:43Z

The curvature exponent $N_{\mathrm{curv}}$ of a metric measure space is the smallest number $N$ for which the measure contraction property $\mathsf{MCP}(0,N)$ holds. In this paper, we study the curvature exponent of sub-Finsler Heisenberg groups equipped with the Lebesgue measure. We prove that $N_{\mathrm{curv}} \geq 5$, and the equality holds if and only if the corresponding sub-Finsler Heisenberg group is actually sub-Riemannian. Furthermore, we show that for every $N\geq 5$, there is a sub-Finsler structure on the Heisenberg group such that $N_{\mathrm{curv}}=N$.

A (Hilbert) geometric algorithm for approximating the halfspace depth of a point in a convex body

2025-07-16T11:06:35Z

Halfspace (or Tukey) depth is a fundamental and robust measure of centrality of data points in multivariate datasets. Computing the depth of a point with respect to the uniform distribution on an open convex body in $\mathbb{R}^d$ is a natural algorithmic problem. While the coarser task of testing membership in convex bodies has been extensively studied, the refined problem of evaluating depth has received comparatively little attention in the literature. In this work, we present an algorithm for approximating the halfspace depth of a point in an open convex body $K \subset \mathbb{R}^d.$ To the best of our knowledge, this is the first deterministic algorithm for this problem. As part of our approach, we design an algorithm for answering approximate membership queries for the depth-trimmed regions of $K$ (i.e., the superlevel sets of the depth function). Our data structure is inspired by recent work of Abdelkader and Mount [SOSA 2024], wherein approximate membership queries for $K$ are answered using geometric structures derived from the Hilbert metric on $K.$ A key component underlying our data structure is a novel quantitative comparison between the depth-trimmed regions and the Hilbert metric balls of $K$. Lastly, to highlight the computational expense of the problem, we present an algorithm for determining the exact depth of a point in an open planar convex polygon presented as the intersection of finitely many halfplanes.

Ricci curvature bounds and rigidity for non-smooth Riemannian and semi-Riemannian metrics

2025-07-16T08:59:37Z

We study rigidity problems for Riemannian and semi-Riemannian manifolds with metrics of low regularity. Specifically, we prove a version of the Cheeger-Gromoll splitting theorem \cite{CheegerGromoll72splitting} for Riemannian metrics and the flatness criterion for semi-Riemannian metrics of regularity $C^1$. With our proof of the splitting theorem, we are able to obtain an isometry of higher regularity than the Lipschitz regularity guaranteed by the $\mathsf{RCD}$-splitting theorem \cite{gigli2013splitting, gigli2014splitoverview}. Along the way, we establish a Bochner-Weitzenböck identity which permits both the non-smoothness of the metric and of the vector fields, complementing a recent similar result in \cite{mondino2024equivalence}. The last section of the article is dedicated to the discussion of various notions of Sobolev spaces in low regularity, as well as an alternative proof of the equivalence (see \cite{mondino2024equivalence}) between distributional Ricci curvature bounds and $\mathsf{RCD}$-type bounds, using in part the stability of the variable $\mathsf{CD}$-condition under suitable limits \cite{ketterer2017variableCD}.

On Steiner entire function

2025-07-15T18:03:42Z

We introduce and study the Steiner entire function, an analytic generating function for the intrinsic volumes of a convex compact set in a Hilbert space. This function extends the classical Steiner polynomial to infinite dimensions and encodes key geometric information about the set. We establish fundamental results on its order, type, and canonical product representation, and show how its analytic growth properties characterize Gaussian continuity. In particular, we provide new criteria for this property in terms of entire function theory, disprove a conjecture of Gao and Vitale, and conjecture a new characterization of admissible intrinsic volume sequences in infinite dimensions.

Affine Hardy--Littlewood--Sobolev inequalities

2025-07-15T16:50:04Z

Sharp affine Hardy--Littlewood--Sobolev inequalities for functions on $\mathbb R^n$ are established, which are significantly stronger than (and directly imply) the sharp Hardy--Littlewood--Sobolev inequalities by Lieb and by Beckner, Dou, and Zhu. In addition, sharp reverse inequalities for the new inequalities and the affine fractional $L^2$ Sobolev inequalities are obtained for log-concave functions on $\mathbb R^n$.

Isometries and isometric embeddings of Wasserstein spaces over the Heisenberg group

2025-07-15T13:05:53Z

Our purpose in this paper is to study isometries and isometric embeddings of the $p$-Wasserstein space $\mathcal{W}_p(\mathbb{H}^n)$ over the Heisenberg group $\mathbb{H}^n$ for all $p>1$ and for all $n\geq 1$. First, we create a link between optimal transport maps in the Euclidean space $\mathbb{R}^{2n}$ and the Heisenberg group $\mathbb{H}^n$. Then we use this link to understand isometric embeddings of $\mathbb{R}$ and $\mathbb{R}_+$ into $\mathcal{W}_p(\mathbb{H}^n)$ for $p>1$. That is, we characterize complete geodesics and geodesic rays in the Wasserstein space. Using these results we determine the metric rank of $\mathcal{W}_p(\mathbb{H}^n)$. Namely, we show that $\mathbb{R}^k$ can be embedded isometrically into $\mathcal{W}_p(\mathbb{H}^n)$ for $p>1$ if and only if $k\leq n$. As a consequence, we conclude that $\mathcal{W}_p(\mathbb{R}^k)$ and $\mathcal{W}_p(\mathbb{H}^k)$ can be embedded isometrically into $\mathcal{W}_p(\mathbb{H}^n)$ if and only if $k\leq n$. In the second part of the paper, we study the isometry group of $\mathcal{W}_p(\mathbb{H}^n)$ for $p>1$. We find that these spaces are all isometrically rigid meaning that for every isometry $Φ:\mathcal{W}_p(\mathbb{H}^n)\to\mathcal{W}_p(\mathbb{H}^n)$ there exists a $ψ:\mathbb{H}^n\to\mathbb{H}^n$ such that $Φ=ψ_{\#}$.

Spherical friezes

2025-07-15T02:47:51Z

A fundamental problem in spherical distance geometry aims to recover an $n$-tuple of points on a 2-sphere in $\mathbb{R}^3$, viewed up to oriented isometry, from $O(n)$ input measurements. We solve this problem using algorithms that employ only the four arithmetic operations. Each algorithm recursively produces output data that we arrange into a new type of frieze pattern. These frieze patterns exhibit glide symmetry and a version of the Laurent phenomenon.