References & Citations
Mathematics > Combinatorics
Title: Constants of the Kahane--Salem--Zygmund inequality asymptotically bounded by $1$
(Submitted on 23 Jun 2020 (v1), last revised 1 Aug 2021 (this version, v6))
Abstract: The Kahane--Salem--Zygmund inequality for multilinear forms in $\ell_{\infty}$ spaces claims that, for all positive integers $m,n_{1},...,n_{m}$, there exists an $m$-linear form $A\colon\ell_{\infty}^{n_{1}}\times\cdots\times \ell_{\infty}^{n_{m}}\longrightarrow\mathbb{K}$ ($\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$) of the type \[ A(z^{(1)},...,z^{(m)})=\sum_{j_{1}=1}^{n_{1}}\cdots\sum_{j_{m}=1}^{n_{m}}\pm z_{j_{1}}^{\left( 1\right) }\cdots z_{j_{m}}^{\left( m\right) }\text{,} \] satisfying \[ \Vert A\Vert\leq C_{m}\max\left\{ n_{1}^{1/2},\ldots,n_{m}^{1/2}\right\} {\textstyle\prod\limits_{j=1}^{m}}n_{j}^{1/2}\text{,} \] for \[ C_{m}\leq\kappa\sqrt{m\log m}\sqrt{m!} \] and a certain $\kappa>0.$ Our main result shows that given any $\epsilon>0$ and any positive integer $m,$ there exists a positive integer $N$ such that \[ C_{m}<1+\epsilon\text{,} \] when we consider $n_{1},...,n_{m}>N$. In addition, while the original proof of the Kahane--Salem--Zygmund relies in highly non-deterministic arguments, our approach is constructive. We also provide the same asymptotic bound (which is shown to be optimal in some cases) for the constant of a related non-deterministic inequality proved by G. Bennett in 1977. Applications to Berlekamp's switching game are given.
Submission history
From: Daniel M. Pellegrino [view email][v1] Tue, 23 Jun 2020 10:55:39 GMT (7kb)
[v2] Wed, 4 Nov 2020 19:48:22 GMT (6kb)
[v3] Thu, 11 Feb 2021 12:50:56 GMT (9kb,D)
[v4] Mon, 22 Feb 2021 11:45:04 GMT (421kb,D)
[v5] Sun, 7 Mar 2021 14:17:32 GMT (423kb,D)
[v6] Sun, 1 Aug 2021 17:00:53 GMT (841kb,D)
Link back to: arXiv, form interface, contact.