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.

The convex dimension of hypergraphs and the hypersimplicial Van Kampen-Flores Theorem

Transversals in Uniform Linear Hypergraphs

Uniform Hypergraphs under Certain Intersection Constraints Between Hyperedges

The hyperspace of k-dimensional closed convex sets

On the Transversal Number of K-Uniform Connected Hypergraphs

On the number of H-free hypergraphs

Convex Hulls of Grassmannians and Combinatorics of Symmetric Hypermatrices

Dimension, depth and zero-divisors of the algebra of basic $k$-covers of a graph

Hypergraph saturation for the bow tie

Conformal Hypergraphs: Duality and Implications for the Upper Clique Transversal Problem

Topological expanders, coarse geometry and thick embeddings of complexes

A necessary and sufficient condition for $k$-transversals

$k$-dimensional transversals for fat convex sets

Embeddings of $k$-complexes in $2k$-manifolds and minimum rank of partial symmetric matrices

Hypersimplicial subdivisions

Spanning spheres in Dirac hypergraphs

Degree versions of the Erdos-Ko-Rado Theorem and Erdos hypergraph matching conjecture

Facets of the r-stable n,k-hypersimplex

Hypersurface Convexity and Extension of Kähler Forms

Maximum Rectilinear Crossing Number of Uniform Hypergraphs

Chernoff Bounds and Reverse Hypercontractivity on HDX