arXiv++ Combinatorics

In $1977$, G. Bennett proved, by means of non-deterministic methods, an inequality which plays a fundamental role in a series of optimization problems. More precisely, Bennett's inequality shows that, for $p_{1},p_{2} \in\lbrack1,\infty]$ and all positive integers $n_{1},n_{2}$, there exists a bilinear form $A_{n_{1},n_{2}}\colon\left( \mathbb{R}^{n_{1}},\left\Vert \cdot\right\Vert _{p_{1}}\right) \times\left( \mathbb{R}^{n_{2}},\left\Vert \cdot\right\Vert _{p_{2}}\right) \longrightarrow\mathbb{R}$ with coefficients $\pm1$ satisfying \[ \left\Vert A_{n_{1},n_{2}}\right\Vert \leq C_{p_{1},p_{2}}\max\left\{ n_{1}^{1-\frac{1}{p_{1}}}n_{2}^{\max\left\{ \frac{1}{2}-\frac{1}{p_{2} },0\right\} },n_{2}^{1-\frac{1}{p_{2}}}n_{1}^{\max\left\{ \frac{1}{2} -\frac{1}{p_{1}},0\right\} }\right\} \] for a certain constant $C_{p_{1},p_{2}}$ depending just on $p_{1},p_{2}$; moreover, the exponents of $n_{1},n_{2}$ cannot be improved. In this paper, using a constructive approach, we prove that $C_{p_{1},p_{2}}\leq\sqrt{8/5}$ whenever $p_{1},p_{2}\in\left[ 2,\infty\right] $ or $p_{1}=p_{2}=p\in\left[ 1,\infty\right] $. Our techniques are applied to provide new upper bounds for the constants of a combinatorial game, known as Gale--Berlekamp switching game or unbalancing lights problem. As a consequence, we improve estimates obtained by Brown and Spencer in $1971$ and by Carlson and Stolarski in $2004$.

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κ\sqrt{m\log m}\sqrt{m!} \] and a certain $κ>0.$ Our main result shows that given any $ε>0$ and any positive integer $m,$ there exists a positive integer $N$ such that \[ C_{m}<1+ε\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.

We propose a continuous version of the classical Gale--Berlekamp switching game. We also study a weighted version of this new continuous game. The main results of this paper concern growth estimates for the corresponding optimization problems. The methods developed in this article are deterministic in nature and in some special cases the estimates obtained are optimal.