Integrating products of quadratic forms
share
We prove that if q_1, ..., q_m: R^n ⟶ R are quadratic forms in variables x_1, ..., x_n such that each q_k depends on at most r variables and each q_k has common variables with at most r other forms, then the average value of the product (1+ q_1) ...(1+q_m) with respect to the standard Gaussian measure in R^n can be approximated within relative error ϵ >0 in quasi-polynomial n^O(1) m^O(ln m -lnϵ) time, provided |q_k(x)| ≤γx^2 /r for some absolute constant γ > 0 and k=1, ..., m. When q_k are interpreted as pairwise squared distances for configurations of points in Euclidean space, the average can be interpreted as the partition function of systems of particles with mollified logarithmic potentials. We sketch a possible application to testing the feasibility of systems of real quadratic equations.
READ FULL TEXT