Search arXiv⌕ Search

arXiv · 2610.13958

Thirteen Results in Magnitude Theory

Abstract

We prove thirteen results concerning three aspects of magnitude theory. The first four concern small-scale magnitude and microscopic weightings. We identify the derivative of the magnitude function at the origin with maximal energy, allowing the value $+\infty$, and construct finite spaces for which small-scale magnitude diverges or for which the one-point property and finite concentration do not produce a microscopic weighting. A fifth result disproves the conjectured monotonicity of magnitude by giving a fourteen-point metric space of strict negative type whose magnitude function decreases. The remaining eight results concern continuity and dimension. Magnitude is Hausdorff-continuous at finite subsets of finite-dimensional positive definite normed spaces, but need not be continuous on compact subsets, even under convexity, geodesicity, bounded tractability, or simultaneous Hausdorff and Lipschitz convergence. The same constructions disprove an $\ell_1$-intrinsic-volume formula and two tractability conjectures. Finally, we construct a countable compact space of negative type whose Minkowski dimension is zero and whose lower and upper magnitude dimensions are both infinite.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Venkata Siddharth Pendyala. 2026-08-25. Thirteen Results in Magnitude Theory. https://arxiv.org/abs/2610.13958

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

KEEP EXPLORING

Related papers

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↗

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↗

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↗