Asymptotic estimates for unimodular multilinear forms with small norms on sequence spaces (Q2660144): Difference between revisions

Given positive integers \(d,n_1,\ldots, n_d\) and \(p_1,\ldots, p_d\) in \([1,\infty]\), the authors say that a \(d\)-linear mapping \(A\colon \ell_{p_1}^{n_1} \times\cdots\times \ell_{p_d}^{n_d}\to\mathbb{K}\) is unimodular if it can be written in the form \[ A(z^1,\ldots, z^d)=\sum_{j_1=1}^{n_1}\ldots \sum_{j_d=1}^{n_d}\epsilon_{\mathbf j} z_{j_1}^1\ldots z_{j_d}^d, \] with \(\epsilon_{\mathbf j}=\pm1\) for all multi-indices \(\mathbf{j}=(j_1,\ldots,j_d)\). They show that for \(p_1,\ldots, p_d\in [1,\infty]\), there is a unimodular \(d\)-linear mapping \(A_0\colon \ell_{p_1}^{n_1}\times\cdots\times \ell_{p_d}^{n_d}\to \mathbb{K}\) with \[ \|A_0\|\le (C_d)^{2(1-\frac{1}{\gamma})}\left(\sum_{k=1}^dn_k\right)^{1-\frac{1}{\gamma}}\prod_{k=1}^dn_k^{{\max [\frac{1}{\gamma}-\frac{1}{p_k},0]}}, \] where \(\gamma=\min[2,\max \{p_k:p_k\le 2\}]\) and \(C_d=8(d!)^{1-\max\{\frac{1}{2},\frac{1}{ \max(p_1,\ldots,p_d)}\}}\sqrt{\log(1+4d)}\). From this, it follows that, if \(p_1,\ldots,p_d\in [2,\infty]\), then \[ \frac{1}{d} 2^{\frac{d-1}{2}}\le \inf \|A\| (n_1^{1/2}+\ldots +n_d^{1/2}) \prod_{j=1}^dn_j^{\frac{1}{2}-\frac{1}{p_j}}\le C_d, \] where the infiumum is taken over all unimodular \(d\)-linear forms on \(\ell_{p_1}^{n_1}\times\cdots\times \ell_{p_d}^{n_d}\). Applications to a Bohnenblust-Hille-type inequality and blow-up estimates for the dimension in the violation of the Hardy-Littlewood inequality are presented.