arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.31555

Lipschitz clustering in normed spaces and barycentric spaces

Leonid V. Kovalev
View original source ↗Read source document ↗Export metadata ↓

Abstract

For every normed space $X$ and integers $1\le k<n$, we construct a Lipschitz retraction from $X(n)$ onto $X(k)$ with constant at most $2+8n(n-1)$, independently of the dimension of $X$. Here $X(n)$ consists of the nonempty subsets of $X$ with at most $n$ points, equipped with the Hausdorff metric. For the consecutive case $k=n-1$, a separate construction gives the sharper asymptotic bound $O(n\log n)$. These results extend to barycentric metric spaces and settle some open problems on Lipschitz retractions.

Explore related subjects

math.MG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Leonid V. Kovalev. 2026-10-22. Lipschitz clustering in normed spaces and barycentric spaces. https://arxiv.org/abs/2610.31555

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On isoperimetric local-Bollobás-Thomason inequalities

We prove the following isoperimetric-type inequality: for every convex body $K$ in $\mathbb R^n$ and some $σ\subset[n]:=\{1,\dots,n\}$ there exists a suitable Hanner polytope $B_K$ with the same volume as $K$ and such that the volume of each of its orthogonal projections onto every subspace whose basis is formed by the canonical vectors $\{e_i:i\inτ\cup([n]\setminusσ)\}$, for every $τ\subseteqσ$, bounds from below the volume of the corresponding projections of $K$.

math.MG↗
arXiv2026

On the Geometry of Wasserstein Barycenter II: Riemannian Rigidity, Essential Non-Branching, and Finsler Models

Wasserstein barycenters provide a notion of weighted mean for probability measures on a metric space. We prove that the barycenter curvature-dimension condition ${\rm BCD}(K,N)$ is equivalent to ${\rm RCD}(K,N)$ for $K\in \mathbb R$ and $1<N<\infty$. This gives a new characterization of Riemannian curvature-dimension spaces by entropy inequalities at barycenters of finite families of measures. As a byproduct, we introduce an almost ${\rm BCD}$ condition that allows an additive error in the entropy inequality. It is stable under measured Gromov-Hausdorff convergence and implies essential non-branching when the error is sufficiently small. The resulting class contains non-Riemannian Finsler spaces. Within the ${\rm BCD}$ framework, this answers an open problem posed by Ambrosio in his 2018 ICM survey. We further bound the failure of the parallelogram identity for cotangent norms in terms of the entropy error.

math.MG↗
arXiv2026

On Densities in the Erdős-Falconer Distance Problems over the Integers

Motivated by the classical Erdős and Falconer distance problems and Magyar's work on distance sets in $\mathbb Z^d$, we study discrete analogues of the Erdős-Falconer unpinned and pinned distance problems over the integers. We ask how the discrete Hausdorff dimension of a set $A\subseteq\mathbb Z^d$ influences the size of its squared-distance sets, measured by generalized upper natural density and upper discrete mass dimension. We propose conjectures for both problems and prove the unpinned conjecture in dimensions $d=1,2,3$ and the pinned conjecture in dimensions $d=1,2$. For the unpinned problem in higher dimensions, we obtain explicit lower bounds for the dimensions of distance sets using elementary integer sphere counting, results on the Erdős distinct distances problem, and $\ell^p$-improving inequalities for discrete spherical averages. For the pinned problem, we obtain lower bounds for the dimensions of distance sets for some or every pin. We also establish more general results involving upper discrete mass dimension, upper discrete Banach dimension, and affine dimension, including bounds on the affine dimension of the exceptional set of pins. We construct examples showing that both conjectures are sharp in low dimensions. Further examples demonstrate how the distinctions among discrete Hausdorff dimension, upper discrete mass dimension, and upper discrete Banach dimension lead to different phenomena in the unpinned and pinned distance problems, including limitations on the nontrivial upper bounds these dimensions can provide for the dimensions of distance sets.

math.MG↗