References & Citations
Mathematics > Probability
Title: Using Sums-of-Squares to Prove Gaussian Product Inequalities
(Submitted on 4 May 2022 (v1), last revised 13 Oct 2022 (this version, v4))
Abstract: The long-standing Gaussian product inequality (GPI) conjecture states that $E [\prod_{j=1}^{n}X_j^{2m_j}]\geq\prod_{j=1}^{n}E[X_j^{2m_j}]$ for any centered Gaussian random vector $(X_1,\dots,X_n)$ and $m_1,\dots,m_n\in\mathbb{N}$. In this paper, we describe a computational algorithm involving sums-of-squares representations of multivariate polynomials that can be used to resolve the GPI conjecture. To exhibit the power of this novel method, we apply it to prove two new GPIs: $E[X_1^{2m_1}X_2^{6}X_3^{4}]\ge E[X_1^{2m_1}]E[X_2^{6}]E[X_3^{4}]$ and $E[X_1^{2m_1}X_2^{2}X_3^{2}X_4^{2}]\ge E[X_1^{2m_1}]E[X_2^{2}]E[X_3^{2}]E[X_4^{2}]$.
Submission history
From: Wei Sun [view email][v1] Wed, 4 May 2022 15:31:36 GMT (9kb)
[v2] Wed, 11 May 2022 16:12:36 GMT (10kb)
[v3] Wed, 29 Jun 2022 15:04:57 GMT (24kb)
[v4] Thu, 13 Oct 2022 23:30:32 GMT (24kb)
Link back to: arXiv, form interface, contact.