Searcharxiv⌕ 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

Insertion and expansion of cylinders around the unit ball

A unit ball is surrounded with a ring of $n$ equal infinite circular cylinders. Each cylinder touches the ball and its two neighbors. Can one more cylinder of the same radius be added if the configuration may be rearranged? Can the $n$ cylinders instead be enlarged, and by how much? We prove that insertion is impossible for $3\le n\le7$ and possible for $n\ge9$. The case $n=8$ remains open. The case $n=6$ is Kuperberg's problem from 1990, which was resolved recently. We prove that the ring of four cylinders cannot be expanded. This settles a conjecture of Ogievetsky and Shlosman from 2018. For $n\ge5$ the largest possible expansion radius remains unknown.

math.MG↗

Quasiconformal uniformization and extension for planar trees

A classical uniformization theorem of Ahlfors from 1963 asserts that every bounded turning planar arc is the image of the unit segment under a quasiconformal self-map of the plane. We prove an analogous uniformization theorem for planar trees by showing that every planar quasiconformal tree with uniform branch separation is quasiconformally equivalent to a quasiconvex planar tree with uniform branch separation and Hausdorff dimension arbitrarily close to 1. Along the way, we show that every quasisymmetric (resp. bi-Lipschitz) homeomorphism between planar quasiconformal trees that respects the counterclockwise orientation of the branches at every branch point can be extended quasisymmetrically (resp. bi-Lipschitz) to the whole plane. As a corollary of the extension theorem we construct a large class of quadrivalent quasiconformal trees, which includes the Vicsek fractal, so that each tree in this class is the Julia set of a uniformly quasiregular map of $\mathbb{R}^2$.

math.MG↗

A short open space curve of unit width

In this work, we propose a curve to be a minimum of length among rectifiable, continuous curves of unit width in three-dimensional Euclidean space. We show that a previously conjectured minimizer of that problem is not of unit width, give the numerical derivation of a candidate family of unit width curves, prove that it admits a strict local minimum within that candidate family and that this minimum is of unit width and length $3.905124162243593\ldots$. The curve consists of eight straight segments, two cone geodesics, and three circular helices. Its parameters are specified by a uniquely isolated solution of the joining and stationarity equations. To establish unit width in every direction, we combine analytic estimates with interval arithmetic on a finite covering of the remaining directions. We conjecture that the curve is globally minimizing. We supplement this work with the programs used to identify the candidates, replicate the computer-assisted parts of our proof, as well as a formalization of our proof in Lean.

math.MG↗