1
$\begingroup$

The hypercontractive theorem (or Bonami Beckner inequality) says (Ryan O'Donnell): enter image description here

This of course also directly gives the 'intermediate' inequality $\|T_{\rho\sigma}f\|_q \le \|T_\sigma f\|_{1+(q-1)\rho^2}$.

The theorem also has a 'two function' version, which can be proven, for example using Holders inequality and then the standard theorem:

enter image description here

I'm wondering if anyone has studied 'intermediate' inequalities of this two-function version of the inequality? That would mean something like

$$\langle T_{\rho\sigma} f,g \rangle \le \langle T_{\sigma} f,g \rangle^q$$

for some value of $q$ depending on $\rho$ and $\sigma$. It doesn't appear to follow easily from any of the individual theorems.

One thing we might try is to look at the normalized case, where we write:

$\langle T_{\rho\sigma} f,g \rangle = \sum_{S\subseteq[n]}\rho^{|S|}\hat f(S)\hat g(S)$ and divide both sides by $\|f\|\|g\|$. Then we can use the means inequality to show

$$ \left(\frac{\langle T_{\rho} f,g \rangle}{\|f\|\|g\|}\right)^{1/\log\rho} = \left(\sum_{S\subseteq[n]}e^{|S|\log\rho}\frac{\hat f(S)\hat g(S)}{\|f\|\|g\|}\right)^{1/\log\rho} \le \left(\sum_{S\subseteq[n]}e^{|S|\log\sigma}\frac{\hat f(S)\hat g(S)}{\|f\|\|g\|}\right)^{1/\log\sigma} = \left(\frac{\langle T_{\sigma} f,g \rangle}{\|f\|\|g\|}\right)^{1/\log\sigma} $$

whenever $\log\rho\le\log\sigma$. However to be valid, this requires the values $p_k = \sum_{|S|=k}\hat f(S)\hat g(S)$ to be non-negative for all $k$, which is certainly not the case for general functions $f,g:\{-1,1\}^n\to\mathbb R$.

It also doesn't appear to be very sharp, since it becomes equality when all the fourier mass is on level 1, which the hypercontractive inequalities usually tell us isn't possible for many (smaller) functions.

$\endgroup$
  • $\begingroup$ Your proposed inequality isn't homogeneous (multiplying $f$ or $g$ by a constant doesn't preserve it), which should allow you to disprove it. $\endgroup$ – Yuval Filmus Apr 19 '18 at 22:14
  • $\begingroup$ @Yuval Great point! I guess that means the "normalized" version is really the right way to go. Or do you see anything that may end up disproving that one as well? $\endgroup$ – Thomas Ahle Apr 19 '18 at 23:11

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.