Maximal sections of the unit ball of \(\ell^n_p(\mathbb{C})\) for \(p > 2\) (Q6948153)

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}