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 combinatorial approach to nonlinear spectral gaps

Towards a Calculus for Non-Linear Spectral Gaps [Extended Abstract]

The spectral gap of dense random regular graphs

Spectral convergence of random regular graphs: Chebyshev polynomials, non-backtracking walks, and unitary-color extensions

A Nordhaus--Gaddum problem for the spectral gap of a graph

On the Spectrum and Linear Programming Bound for Hypergraphs

Spectral gaps, critical exponents and representations of negatively curved groups

Exponential mixing and essential spectral gaps for Anosov subgroups

Discrete logarithmic Sobolev inequalities in Banach spaces

The Cheeger Inequality and Coboundary Expansion: Beyond Constant Coefficients

Spectral Pseudorandomness and the Road to Improved Clique Number Bounds for Paley Graphs

A Spectral Approach to Polytope Diameter

Almost regular subgraphs under spectral radius constrains

Attainable bounds for algebraic connectivity and maximally-connected regular graphs

Switching Graph Matrix Norm Bounds: from i.i.d. to Random Regular Graphs

Phase transition of degenerate Turán problems in $p$-norms

Attainable bounds for algebraic connectivity and maximally connected regular graphs

Uniform spectral gap and orthogeodesic counting for strong convergence of Kleinian groups

Eigenvalue gaps of the Laplacian of random graphs

Central limit theorems for linear spectral statistics of inhomogeneous random graphs with graphon limits

On the Aldous-Caputo Spectral Gap Conjecture for Hypergraphs