{"id":"arxiv/2609.20234","url":"https://arxiv.org/abs/2609.20234","tags":["math.PR","math.FA","math.ST"],"score":0,"title":"A proof of the strong Gaussian product inequality conjecture","domain":"math.PR","source":"arxiv","authors":["Frédéric Ouimet","Dylan Greaves"],"reviews":0,"subject":"math.PR","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-27","reactions":{}}