High-Dimensional Expanders 4
summary
Claim: global hypercontractivity and small-set expansion for epsilon-global functions on the p-biased cube extend to certain high-dimensional expanders by treating partite complexes as approximate products. Tools: Efron–Stein decomposition, localization to marginal bipartite graphs, and the trickling down theorem to lift codimension-2 expansion; key notion is a gamma product (pairwise and conditioned marginals are gamma-expanders). Main quantitative step bounds marginal operator eigenvalues (lambda ≤ gamma/(1−gamma)), but error terms multiply with dimension so the method needs very small gamma and currently works best for strong algebraic HDX constructions.
AI-written summary · about
chapters (10)
- 0:00Introduction and background
- 2:06Hypercontractivity overview
- 5:54Product spaces challenges
- 8:33Failure of naive extensions
- 14:26Global functions definition
- 21:19HDX as product structures
- 30:17Partite complex definitions
- 34:36Gamma product theory
- 41:45Proof of spectral bounds
- 1:01:16Conclusion and discussion
