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

A dynamical proof of the van der Corput inequality

The Upper Bound of the Harmonic Mean of the Neumann Eigenvalues in Curved Spaces

An Information-Theoretic Proof of a Hypercontractive Inequality

A dynamical version of Silverman-Tate's height inequality

The Friedland-Hayman inequality and Caffarelli's contraction theorem

Entropy and curvature: beyond the Peres-Tetali conjecture

An inverse of Furstenberg's correspondence principle and applications to van der Corput sets

Quantitative Correlation Inequalities via Semigroup Interpolation

Asymptotic dynamics on amenable groups and van der Corput sets

Annealed central limit theorem for a class of contractive random dynamical systems

Some relations between Schwarz-Pick inequality and von Neumann's inequality

Inequalities on the generalized and the joint spectral radius of Hadamard products

A transference principle for involution-invariant functional Hilbert spaces

The van Trees inequality in the spirit of Hajek and Le Cam

A note on the Huijsmans-de Pagter problem on finite dimensional ordered vector spaces

Schwarz-Pick type inequalities from an operator theoretical point of view

On the von Bahr–Esseen inequality for pairwise independent random vectors in Hilbert spaces with applications to mean convergence

On the Cheeger inequality in Carnot-Carathéodory spaces

Deformed single ring theorems

Inequality and Nyman-Beurling-Baez-Duarte criteria

Injective ellipticity, cancelling operators, and endpoint Gagliardo-Nirenberg-Sobolev inequalities for vector fields