Maximal sections of the unit ball of ^n_p(C) for p > 2

DOI10.4064/SM240526-12-3MaRDI QIDQ6948153zbMATH OpenFDO

Publication date 5 August 2025

Published in Studia Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4064/SM240526-12-3

\(\ell_p\)-ball hyperplane sections random variables volume

Probabilistic methods in Banach space theory (46B09) Convex sets in (n) dimensions (including convex hypersurfaces) (52A20) Convexity and finite-dimensional Banach spaces (including special norms, zonoids, etc.) (aspects of convex geometry) (52A21) Central limit and other weak theorems (60F05)

Review text

For any \(2 \leq i \leq n\), set \(a^{(i)} = \frac{1}{\sqrt{i}} (\overbrace{1,\ldots,1}^{i}, 0,\ldots, 0) \in \mathbb{R}^n\), and for any unit vector \(v \in \mathbb{R}^n\), let \(v^{\perp}\) denote the hyperplane through the origin \(o\) and orthogonal to \(v\). A result of \textit{K. Ball} [Proc. Am. Math. Soc. 97, 465--473 (1986; Zbl 0601.52005)] is that among the hyperplane sections of the unit cube \(\ell^n_{\infty}\), the one perpendicular to \(a^{(2)}\) has maximal volume. \textit{A. Eskenazis} et al. [Duke Math. J. 173, No. 17, 3377--3412 (2024; Zbl 1569.52010)] proved that Ball's result is stable for \(\ell^n_p\) in the following sense: if \(p > p_1 := 10^{15}\), then for all dimensions \(n\), among the hyperplane sections of \(\ell^n_{p}\), the one perpendicular to \(a^{(2)}\) has maximal volume. It was shown by \textit{K. Oleszkiewicz} and \textit{A. Pełczyński} [Stud. Math. 142, No. 3, 281--294 (2000; Zbl 0971.32018)] that Ball's result holds also for the complex polydisk \(B^n_{\infty}(\mathbb{C})\). The goal of the authors is to investigate the stability of this result. For any unit vector \(a \in \mathbb{C}^n\), set\N\[\NA_{n,p}(a) = \frac{\mathrm{vol}_{2(n-1)} (a^{\perp} \cap B^n_{p}(\mathbb{C}))}{\mathrm{vol}_{2(n-1)}(B^{n-1}_{p}(\mathbb{C}))}.\N\]\NThen the main results of the authors are as follows.\N\N\begin{itemize}\N\item[(1)] Let \(2 < p < \infty\), \(n \in \mathbb{N}\) and \(a \in \mathbb{C}^n\), \(|a| = 1\). Then for every \(2 < p < \infty\) there is a constant \(N(p) > 0\) such that for all \(n \geq N(p)\), \(A_{n,p}(a^{(n)}) > A_{n,p}(a^{(2)})\). In particular, this holds for \(N(p) = \frac{5}{2}p\) if \(p \geq 9\) and with \(N(p) = p\) if \(p \geq 140\).\N\item[(2)] Let \(p > p_2 := 10^{56}\) and \(n < N(p) := p/1520\). Then for \(a \in \mathbb{C}^n\) with \(|a| = 1\), we have \(A_{n,p}(a) \leq A_{n,p}(a^{(2)}) = 2^{1-2/p}\).\N\end{itemize}

Cites work

This page was built for publication: Maximal sections of the unit ball of \(\ell^n_p(\mathbb{C})\) for \(p > 2\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6948153)