Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2203.15054

Local extrema for hypercube sections

Lionel Pournin
View original source ↗Read source document ↗Export metadata ↓

Abstract

Consider the hyperplanes at a fixed distance $t$ from the center of the hypercube $[0,1]^d$. Significant attention has been given to determining the hyperplanes $H$ among these such that the $(d-1)$-dimensional volume of $H\cap[0,1]^d$ is maximal or minimal. In the spirit of a question by Vitali Milman, the corresponding local problem is considered here when $H$ is orthogonal to a diagonal or a sub-diagonal of the hypercube. It is proven in particular that this volume is strictly locally maximal at the diagonals in all dimensions greater than $3$ within a range for $t$ that is asymptotic to $\sqrt{d}/\!\log d$. At lower order sub-diagonals, this volume is shown to be strictly locally maximal when $t$ is close to $0$ and not locally extremal when $t$ is large. This relies on a characterisation of local extremality at the diagonals and sub-diagonals that allows to solve the problem over the whole possible range for $t$ in any fixed, reasonably low dimension.

Explore related subjects

math.MGmath.FA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lionel Pournin. 2023-08-21. Local extrema for hypercube sections. https://doi.org/10.1007/s11854-023-0304-1

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

KEEP EXPLORING

Related papers

arXiv2026

$β$-Uniform Convexity and Divisible Domains

Divisible convex sets have long been important in the study of Hilbert geometries. When a divisible convex set is an ellipsoid, the Hilbert geometry it induces is the hyperbolic space. In general, strictly convex divisible domains exhibit negative curvature properties, but only the ellipsoid is a CAT(0) space. The notion of p-uniform convexity from the theory of Banach spaces has been proposed by Shin-Ichi Ohta as a generalization of the Alexandrov-Toponogov comparison theorems to Finsler manifolds. We prove that a natural Finsler metric on a strictly convex divisible domain is $β$-uniformly convex, where the constant $β$ is related to the regularity of the boundary. We use this to show, with AI assistance, that the Hilbert metric, under suitable local and scale-dependent assumptions, is $β$-uniformly convex on such domains.

math.MG↗
arXiv2026

A positive solution to the $L^p$ projection centroid conjecture

In a classical paper [21] in 2000, Lutwak-Yang-Zhang established the $L^p$ analog of the Petty projection inequality and the $L^p$ analog of the Busemann-Petty centroid inequality. In Section 7 of [21], Lutwak-Yang-Zhang proposed the important $L^p$ projection centroid conjecture. We give a positive solution to the $L^p$ projection centroid conjecture in this work.

math.MG↗
arXiv2026

Minimal central slices of the regular simplex

We prove that minimal-volume hyperplane sections of the regular simplex through its centroid are parallel to a facet. The proof combines variational methods with Fourier-analytic techniques and zero-diminishing arguments to show that every critical normal vector has at most three distinct non-zero coordinates. Analysis of the two- and three-value cases then yields the sharp lower bound.

math.MG↗