Using sums-of-squares to prove Gaussian product inequalities

Cites Work

Title not available (Why is that?)
A Gaussian expectation product inequality
Sums of squares of polynomials with rational coefficients
Squared chaotic random variables: new moment inequalities with applications
Pfaffians, Hafnians and products of real linear functionals
Total positivity properties of absolute value multinormal variables with applications to confidence interval estimates and related probabilistic inequalities
The multivariate normal distribution
Über die Darstellung definiter Formen als Summe von Formenquadraten.
A normal comparison inequality and its applications
A Gaussian correlation inequality and its applications to small ball probabilities
An opposite Gaussian product inequality
Some new Gaussian product inequalities
A combinatorial proof of the Gaussian product inequality beyond the \(\mathrm{MTP}_2\) case
Sums of squares in Macaulay2
The three-dimensional Gaussian product inequality
Computing sum of squares decompositions with rational coefficients
A Gaussian inequality for expected absolute products
From moments of sum to moments of product
A Gaussian correlation inequality and its applications to the existence of small ball constant.
Miscellaneous results related to the Gaussian product inequality conjecture for the joint distribution of traces of Wishart matrices
In Memory of Wenbo V. Li’s Contributions
Lower Bounds for Norms of Products of Polynomials
A simple proof of the Gaussian correlation conjecture extended to multivariate gamma distributions
Royen’s Proof of the Gaussian Correlation Inequality
A Multivariate Gamma-Type Distribution
A short proof of a strong form of the three dimensional Gaussian product inequality
Moment ratio inequality of bivariate Gaussian distribution and three-dimensional Gaussian product inequality
Product inequalities for multivariate Gaussian, gamma, and positively upper orthant dependent distributions