Abstract:Most correlation inequalities for high-dimensional functions in the literature, such as the Fortuin-Kasteleyn-Ginibre (FKG) inequality and the celebrated Gaussian Correlation Inequality of Royen, are qualitative statements which establish that any two functions of a certain type have non-negative correlation. In this work we give a general approach that can be used to bootstrap many qualitative correlation inequalities for functions over product spaces into quantitative statements. The approach combines a new extremal result about power series, proved using complex analysis, with harmonic analysis of functions over product spaces. We instantiate this general approach in several different concrete settings to obtain a range of new and near-optimal quantitative correlation inequalities, including: $\bullet$ A quantitative version of Royen's celebrated Gaussian Correlation Inequality. Royen (2014) confirmed a conjecture, open for 40 years, stating that any two symmetric, convex sets must be non-negatively correlated under any centered Gaussian distribution. We give a lower bound on the correlation in terms of the vector of degree-2 Hermite coefficients of the two convex sets, analogous to the correlation bound for monotone Boolean functions over $\{0,1\}^n$ obtained by Talagrand (1996). $\bullet$ A quantitative version of the well-known FKG inequality for monotone functions over any finite product probability space, generalizing the quantitative correlation bound for monotone Boolean functions over $\{0,1\}^n$ obtained by Talagrand (1996). The only prior generalization of which we are aware is due to Keller (2008, 2009, 2012), which extended Talagrand's result to product distributions over $\{0,1\}^n$. We also give two different quantitative versions of the FKG inequality for monotone functions over the continuous domain $[0,1]^n$, answering a question of Keller (2009).

On qualitative aspects of the quantitative subspace theorem

A further improvement of the quantitative Subspace Theorem

On arithmetic inequalities for points of bounded degree

Parametric geometry of numbers over a number field and extension of scalars

The Many Faces of the Subspace Theorem (after Adamczewski, Bugeaud, Corvaja, Zannier...)

A variational principle in the parametric geometry of numbers

Intersections of sets, diophantine equations and Fourier analysis

Quantitative inhomogeneous Diophantine approximation for systems of linear forms

A New Diophantine Approximation Inequality on Surfaces and Its Applications

Independence of the Diophantine exponents associated with linear subspaces

On non-Zariski density of $(D,S)$-integral points in forward orbits and the Subspace Theorem

Quantitative non-divergence and Diophantine approximation on manifolds

Anzahl theorems for disjoint subspaces generating a non-degenerate subspace II: quadratic forms

Quantitative Correlation Inequalities via Semigroup Interpolation

Quantitative Diophantine approximation and Fourier dimension of sets: Dirichlet non-improvable numbers versus well-approximable numbers

Generalized incidence theorems, homogeneous forms, and sum-product estimates in finite fields

Quantifier elimination in quasianalytic structures via non-standard analysis

Probabilistic Effectivity in the Subspace Theorem

Extended Karpenko and Karpenko-Merkurjev theorems for quasilinear quadratic forms

Geometric and arithmetic aspects of approximation vectors