Hypergraph Removal Lemmas via Robust Sharp Threshold Theorems

Noam Lifshitz

Research output: Contribution to journalArticlepeer-review

3 Scopus citations

Abstract

The classical sharp threshold theorem of Friedgut and Kalai (1996) asserts that any symmetric monotone function f: {0,1}n →{0,1} exhibits a sharp threshold phenomenon. This means that the expectation of f with respect to the biased measure μp increases rapidly from 0 to 1 as p increases. In this paper we present ‘robust’ versions of the theorem, which assert that it holds also if the function is ‘almost’ monotone, and admits a much weaker notion of symmetry. Unlike the original proof of the theorem which relies on hypercontractivity, our proof relies on a ‘regularity’ lemma (of the class of SzemerÌl’di’s regularity lemma and its generalizations) and on the ‘invariance principle’ of Mossel, O’Donnell, and Oleszkiewicz which allows (under certain conditions) replacing functions on the cube {0,1}n with functions on Gaussian random variables. The hypergraph removal lemma of Gowers (2007) and independently of Nagle, Rödl, Schacht, and Skokan (2006) says that if a k-uniform hypergraph on n vertices contains few copies of a fixed hypergraph H, then it can be made H-free by removing few of its edges. While this settles the ‘hypergraph removal problem’ in the case where k and H are fixed, the result is meaningless when k is large (e.g. k > logloglogn). Using our robust version of the Friedgut–Kalai Theorem, we obtain a hypergraph removal lemma that holds for k up to linear in n for a large class of hypergraphs.

Original languageEnglish
Article number11
JournalDiscrete Analysis
Volume2020
DOIs
StatePublished - 2020
Externally publishedYes

Bibliographical note

Publisher Copyright:
© Licensed under a Creative Commons Attribution License (CC-BY)

Funding

I would like to thank Nathan Keller for providing many helpful comments and suggestions, which tremendously improved the exposition of the paper

Fingerprint

Dive into the research topics of 'Hypergraph Removal Lemmas via Robust Sharp Threshold Theorems'. Together they form a unique fingerprint.

Cite this