Es de Cauchy-Schwarz prueba" de la siguiente desigualdad?
Teorema. Dado $f \colon [0,1]^2 \to [0,1]$, uno tiene $$ \int_{[0,1]^4} f(x,y)f(z,y)f(z,w) \, dxdydzdw \geq \left(\int_{[0,1]^2} f(x,y) \, dxdy\right)^3. $$
De fondo. Esta desigualdad se debe a Blakely y Roy (1965). De hecho, resultó aún más, es decir, cuando el lado izquierdo corresponde a un camino de longitud $k$ (por encima de $k=3$) y el lado derecho es $(\int f)^k$.
Este es un caso especial de una más general Sidorenko la conjetura, la cual se dice que $t(H,W) \geq (\int W)^{e(H)}$ para cualquier gráfico bipartito $H$. El caso general de Sidorenko la conjetura está todavía abierto. Ver, por ejemplo, esta nota por Conlon, Fox, y Sudakov (aunque ha habido algunos avances desde entonces).
Szegedy y Li da una diferente de la prueba de la desigualdad anterior, el uso de la convexidad de la función logaritmo.
Ver también el papel de Kim, Lee, y Lee de otro enfoque.
En la página 28 de Lovasz libro en el gráfico límites, afirma esta desigualdad sin pruebas, y luego dice:
... y esto ya es bastante duro, aunque de corta pruebas con un complicado aplicación de Cauchy–Schwarz desigualdad son conocidos.
Así que mi pregunta es: ¿cómo hace uno para demostrar la desigualdad sobre el uso de Cauchy-Schwarz?
Actualización: Se ha demostrado que no es de vainilla suma de cuadrados de la prueba de la desigualdad https://arxiv.org/abs/1812.08820