arXiv Science⌕ Search

arXiv · 2611.07619

The dimension-free threshold for maximal sections of $\ell_p$

Abstract

We prove the existence of a sharp threshold $p_0 \approx 26.265\ldots$, such that for every $n\in\mathbb{N}$ and $p\geq p_0$, the volume maximizing section of the unit ball of $\ell_p^n$ is the section with Ball's hyperplane $(\frac{e_1+e_2}{\sqrt{2}})^\perp$, whereas for $p\in(2,p_0)$ the asymptotic maximizer as the ambient dimension $n\to\infty$ is the hyperplane orthogonal to the diagonal vector $\frac{e_1+\cdots+e_n}{\sqrt{n}}$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Silouanos Brazitikos, Alexandros Eskenazis. 2026-11-05. The dimension-free threshold for maximal sections of $\ell_p$. https://arxiv.org/abs/2611.07619

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

KEEP EXPLORING

Related papers

Strong Negative Type of Star-shaped Manifolds

Metric spaces of negative type (NT) and strong negative type (SNT) are fundamental in wide applications across computer science and statistics. It is well-known that spheres equipped with geodesic distance are of NT, and subsets of a sphere that contain at most one pair of antipodal points (e.g. an open hemisphere) are of SNT. In this paper, we extend these results to a class of star-shaped manifolds. By constructing a metric $d$ based on layer-wise radial projections, we prove that every star-shaped manifold, equipped with $d$, is of NT. Moreover, we prove that a subset of a star-shaped manifold is of SNT under certain injectivity and directional asymmetry conditions. In particular, for a subset of a single layer, it is of SNT if it contains exactly one point from each preimage of an open hemisphere (a fully directional asymmetry); moreover, it is of SNT if and only if it contains at most one opposite-directional pair. Finally, we prove that under similar conditions, SNT holds for almost and essentially star-shaped manifolds, and for those with incomplete radial coverage.

math.MG↗

Towards Hodge-Riemann relations for non-Archimedean analogs of valuations on convex sets

In [8], a non-Archimedean analogue of the space of translation-invariant even valuations on convex sets was introduced. In [7], motivated by a further analogy with the classical theory, this space was equipped with two multiplicative structures, the product and the convolution. Both structures satisfy Poincare duality and the (non-mixed) hard Lefschetz theorem. In this paper, we formulate a conjecture concerning a more general mixed versions of the hard Lefschetz theorem and the Hodge-Riemann relations. We prove the non-mixed Hodge-Riemann relations in degree 1 for the product and, equivalently, in codegree 1 for the convolution.

math.MG↗

The microscopic weighting on a metric space

We introduce the microscopic weighting, a canonical signed measure of mass one that can be associated to almost any finite metric space. The microscopic weighting is obtained as the small-scale limit of the weightings used to define the magnitude function. We give general criteria for its existence, proving in particular that every finite space of strictly negative type admits a microscopic weighting; this includes every finite subset of Euclidean or hyperbolic space and every finite tree. Heuristically speaking, the microscopic weighting distributes its mass as widely as possible across a space, assigning greater weight to sparse or outlying regions and emphasizing points on the boundary. Indeed, we show that on a finite space of negative type the microscopic weighting can be characterized (when it exists) as an optimizing measure for an energy integral determined by the distance function. Alternatively, it can be characterized in terms of the geometry of the Schoenberg embedding. Each of these interpretations also clarifies the information carried by the derivative of the magnitude function at zero. Though our main focus in this paper is on finite metric spaces, we lay the groundwork to extend the theory to compact subsets of Euclidean space. In that setting, we observe that the microscopic weighting must be understood as a distribution rather than as a measure.

math.MG↗