Abstract:We prove optimal concentration of measure for lifted functions on high dimensional expanders (HDX). Let $X$ be a $k$-dimensional HDX. We show for any $i\leq k$ and $f:X(i)\to [0,1]$: \[\Pr_{s\in X(k)}\left[\left|\underset{t\subseteq s}{\mathbb{E}}[f(t)]-\mu\right|\geq\varepsilon\right]\leq exp\left(-\varepsilon^2\frac{k}{i}\right).\] Using this fact, we prove that high dimensional expanders are reverse hypercontractive, a powerful functional inequality from discrete analysis implying that for any sets $A,B \subset X(k)$, the probability a $\rho$-correlated pair passes between them is at least \[\Pr_{s,s' \sim T_\rho}[s \in A, s' \in B] \geq \Pr[A]^{O(1)} \Pr[B]^{O(1)}.\] Our results hold under weak spectral assumptions on $X$. Namely we prove exponential concentration of measure for any complex below the `Trickling-Down Threshold' (beyond which concentration may be arbitrarily poor), and optimal concentration for $\sqrt{k}$-skeletons of such complexes. We also show optimal bounds for the top dimension of stronger HDX among other settings. We leverage our inequalities to prove several new agreement testing theorems on high dimensional expanders, including a new 99%-regime test for subsets, and a variant of the `Z-test' achieving inverse exponential soundness under the stronger assumption of $\ell_\infty$-expansion. The latter gives rise to the first optimal testers beyond the complete complex and products, a stepping stone toward the use of HDX in strong soundness PCPs. We also give applications within expansion, analysis, combinatorics, and coding theory, including a proof that two-sided HDX have optimal geometric overlap (giving the first explicit bounded-degree construction), near-optimal double samplers, new super-exponential degree lower bounds for certain HDX, distance-amplified list-decodable and locally testable codes, a Frankl-Rödl Theorem and more.

Testing and Learning Convex Sets in the Ternary Hypercube

Lower Bounds for Convexity Testing

Improved Bounds for High-Dimensional Equivalence and Product Testing using Subcube Queries

On the complexity of PAC learning in Hilbert spaces

Testing Convex Truncation

Deep sections of the hypercube

Chernoff Bounds and Reverse Hypercontractivity on HDX

Helly type problems in convexity spaces

On sharp isoperimetric inequalities on the hypercube

Convex Discrete Optimization

Testing Sumsets is Hard

Directed Hypercube Routing, a Generalized Lehman-Ron Theorem, and Monotonicity Testing

Expansion of higher-dimensional cubical complexes with application to quantum locally testable codes

Equivariant insight into hyperspaces of convex bodies

Convex hypersurface theory in contact topology

Random Separating Hyperplane Theorem and Learning Polytopes

The 2+1-convex hull of a~finite set

A Topological Approach to Simple Descriptions of Convex Hulls of Sets Defined by Three Quadrics

Monotone probability distributions over the Boolean cube can be learned with sublinear samples

C-convexity and C-Polyhedron

A study of convex convex-composite functions via infimal convolution with applications