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).

Probability inequalities for strongly left-invariant metric semigroups/monoids, including all Lie groups

The Khinchin-Kahane and Levy inequalities for abelian metric groups, and transfer from normed (abelian semi)groups to Banach spaces

Some super-Poincaré inequalities for gaussian-like measures on stratified Lie groups

Lindeberg's Central Limit Theorems for Martingale-Like Sequences under Sub-Linear Expectations

Curvature and Other Local Inequalities in Markov Semigroups

Some isoperimetric inequalities for homogeneous norms on stratified Lie groups

Quantitative Correlation Inequalities via Semigroup Interpolation

Information-theoretic inequalities on unimodular Lie groups

Invariant random subgroups over non-Archimedean local fields

Logarithmic Sobolev, Hardy and Poincaré inequalities on the Heisenberg group

Left-invariant Pseudo-Riemannian metrics on Lie groups: The null cone

Relative volume of comparable pairs under semigroup majorization

Uniform convergence of stochastic semigroups

On invariant means and pre-syndetic subgroups

On Sharp Inequalities on Nilpotent Lie Groups

Entropy of Isometries Semi-groups of Hyperbolic space

Remainder Terms for Several Inequalities on Some Groups of Heisenberg-type

A Matrix Bernstein Inequality for Strong Rayleigh Distributions

Concentration Inequalities for Sums of Markov Dependent Random Matrices

Johnson-Schechtman and Khinchine inequalities in noncommutative probability theory

Finitary estimates for the distribution of lattice orbits in homogeneous spaces I: Riemannian metric