A proof of the strong Gaussian product inequality conjecture
Let $\boldsymbol{X} = (X_1,\ldots,X_n)$ be a centered Gaussian vector, not necessarily nondegenerate. It is proved that, for every $α_1,\ldots,α_n > 0$, \[ \mathsf{E}\left[\prod_{i=1}^n |X_i|^{α_i}\right] \geq \prod_{i=1}^n \mathsf{E}\left[|X_i|^{α_i}\right]. \] When all marginal variances are positive, equality holds if and only if the coordinates are independent. This settles Frenkel's 18-year-old Gaussian product inequality (GPI) conjecture and, in fact, its later strengthening to arbitrary positive exponents. Through Frenkel's hafnian formulation, this result also provides a short proof…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.20234
curl -X POST /api/v1/records/arxiv/2609.20234/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.20234/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'