Abstract:A seminal open question of Pisier and Mendel--Naor asks whether every degree-regular graph which satisfies the classical discrete Poincaré inequality for scalar functions, also satisfies an analogous inequality for functions taking values in \textit{any} normed space with non-trivial cotype. Motivated by applications, it is also greatly important to quantify the dependence of the corresponding optimal Poincaré constant on the cotype $q$. Works of Odell--Schlumprecht (1994), Ozawa (2004), and Naor (2014) make substantial progress on the former question by providing a positive answer for normed spaces which also have an unconditional basis, in addition to finite cotype. However, little is known in the way of quantitative estimates: the mentioned results imply a bound on the Poincaré constant depending super-exponentially on $q$. We introduce a novel combinatorial framework for proving quantitative nonlinear spectral gap estimates. The centerpiece is a property of regular graphs that we call \emph{long range expansion}, which holds with high probability for random regular graphs. Our main result is that any regular graph with the long-range expansion property satisfies a discrete Poincaré inequality for any normed space with an unconditional basis and cotype $q$, with a Poincaré constant that depends \emph{polynomially} on $q$, which is optimal. As an application, any normed space with an unconditional basis which admits a low distortion embedding of an $n$-vertex random regular graph, must have cotype at least polylogarithmic in $n$. This extends a celebrated lower-bound of Matoušek for low distortion embeddings of random graphs into $\ell_q$ spaces.

A geometric estimate on the norm of product of functionals

Linear polarization constant of $\R^n$

An Exact Bound for the Inner Product of Vectors in Cn

An effective open image theorem for products of principally polarized abelian varieties

Double-layer potentials, configuration constants and applications to numerical ranges

Bounds on Polarization Problems on Compact Sets via Mixed Integer Programming

Eigenvalues of Elliptic Operators and Geometric Applications

Norm Inequalities for Hilbert space operators with Applications

The polarization hierarchy for polynomial optimization over convex bodies, with applications to nonnegative matrix rank

Norm of matrix-valued polynomials in random unitaries and permutations

A combinatorial approach to nonlinear spectral gaps

Functional norms, condition numbers and numerical algorithms in algebraic geometry

Eigenvalues of matrix products

Uniform sup-norm bounds on average for Siegel cusp forms

Lower bounds on fibered Yang-Mills functionals: generic nefness and semistability of direct images

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

Norm inequalities in and a geometric constant

Fillings, finite generation and direct limits of relatively hyperbolic groups

Sparsifying sums of norms

The link between $1$-norm approximation and effective Positivstellensatze for the hypercube