A geometric estimate on the norm of product of functionals (Q2484245): Difference between revisions

Let \(X\) be a Banach space. The \(n\)th linear polarisation constant of \(X\) is defined by \[ c_n (X) := \inf \{ M:\| f_1 \| \cdots \| f_n\| \leq M ~ \| f_1\cdots f_n\| , ~ f_1,\ldots ,f_n \in X'\}, \] where \(\| f_1\cdots f_n\| := \sup \{ | f_1 (x)\cdots f_n(x)| , ~ x\in B_X\}\). Denote by \({\mathbb K}^n\) the \(n\)-dimensional Hilbert space over the field \({\mathbb K}={\mathbb C}, {\mathbb R}\). It was shown in [\textit{J. Arias-de-Reyna}, Linear Algebra Appl. 285, No. 1--3, 107--114 (1998; Zbl 0934.15036)] that \(c_n ({\mathbb C}^n)=n^{\frac{n}{2}}\) and in [\textit{S. Gy. Révész} and \textit{Y. Sarantopoulos}, J. Korean Math. Soc. 41, No. 1, 157--174 (2004; Zbl 1047.46036)] that \(n^{\frac{n}{2}}\leq c_n ({\mathbb R}^n)\leq 2^{\frac{n}{2}-1} n^{\frac{n}{2}}\) for \(n\geq 2\). The main result of the present paper is the following. Theorem. Let \(x_1,\ldots ,x_n\) be unit vectors in \({\mathbb R}^n\) and let \(\lambda_1,\ldots ,\lambda_n\) denote the eigenvalues of the Gram matrix \(A=(a_{i_j})\) with \(a_{i_j}=\langle x_i ,x_j \rangle\). Then \[ \mathop{\sup}\limits_{\| y\| =1} | \langle x_1,y\rangle \cdots \langle x_n,y\rangle | \geq (\lambda_1 \ldots \lambda_n )^{\frac12} \cdot n^{-\frac{n}{2}}. \] This improves the known estimate in view of the conjecture \(c_n({\mathbb R}^n)=n^{\frac{n}{2}}\) for all \(n \in {\mathbb N}\).