English
Related papers

Related papers: Removal Lemmas with Polynomial Bounds

200 papers

The classical sharp threshold theorem of Friedgut and Kalai (1996) asserts that any symmetric monotone function $f:\{0,1\}^{n}\to\{0,1\}$ exhibits a sharp threshold phenomenon. This means that the expectation of $f$ with respect to the…

Combinatorics · Mathematics 2020-08-05 Noam Lifshitz

We propose a new proof technique that aims to be applied to the same problems as the Lov\'asz Local Lemma or the entropy-compression method. We present this approach in the context of non-repetitive colorings and we use it to improve…

Combinatorics · Mathematics 2020-06-24 Matthieu Rosenfeld

Fox, Gromov, Lafforgue, Naor, and Pach proved a regularity lemma for semi-algebraic $k$-uniform hypergraphs of bounded complexity, showing that for each $\epsilon>0$ the vertex set can be equitably partitioned into a bounded number of parts…

Combinatorics · Mathematics 2016-10-17 Jacob Fox , Janos Pach , Andrew Suk

Recent work of Gowers and Nagle, R\"odl, Schacht, and Skokan has established a hypergraph removal lemma, which in turn implies some results of Szemer\'edi and Furstenberg-Katznelson concerning one-dimensional and multi-dimensional…

Combinatorics · Mathematics 2007-05-23 Terence Tao

Large graphs are sometimes studied through their degree sequences (power law or regular graphs). We study graphs that are uniformly chosen with a given degree sequence. Under mild conditions, it is shown that sequences of such graphs have…

Probability · Mathematics 2011-08-31 Sourav Chatterjee , Persi Diaconis , Allan Sly

We say that a graph with $n$ vertices is $c$-Ramsey if it does not contain either a clique or an independent set of size $c \log n$. We define a CNF formula which expresses this property for a graph $G$. We show a superpolynomial lower…

Computational Complexity · Computer Science 2013-03-14 Massimo Lauria , Pavel Pudlák , Vojtěch Rödl , Neil Thapen

For any $\epsilon > 0$, we show that if $G$ is a regular graph on $n \gg_\epsilon 1$ vertices that is $\epsilon$-far (differs by at least $\epsilon n^2$ edges) from any Tur\'{a}n graph, then its second eigenvalue $\lambda_2$ satisfies…

Combinatorics · Mathematics 2025-07-15 Shengtong Zhang

One of the major results of [N. Robertson and P. D. Seymour. Graph minors. XIII. The disjoint paths problem. J. Combin. Theory Ser. B, 63(1):65--110, 1995], also known as the weak structure theorem, revealed the local structure of graphs…

Combinatorics · Mathematics 2011-03-01 Archontia C. Giannopoulou , Dimitrios M. Thilikos

Reidl, S\'anchez Villaamil, and Stravopoulos (2019) characterized graph classes of bounded expansion as follows: A class $\mathcal{C}$ closed under subgraphs has bounded expansion if and only if there exists a function $f:\mathbb{N} \to…

Combinatorics · Mathematics 2024-11-05 Gwenaël Joret , Clément Rambaud

The "slope-number" of a graph $G$ is the minimum number of distinct edge slopes in a straight-line drawing of $G$ in the plane. We prove that for $\Delta\geq5$ and all large $n$, there is a $\Delta$-regular $n$-vertex graph with…

Combinatorics · Mathematics 2008-09-09 Vida Dujmovic' , Matthew Suderman , David R. Wood

The celebrated grid exclusion theorem states that for every $h$-vertex planar graph $H$, there is a constant $c_{h}$ such that if a graph $G$ does not contain $H$ as a minor then $G$ has treewidth at most $c_{h}$. We are looking for…

Combinatorics · Mathematics 2015-11-10 Jean-Florent Raymond , Dimitrios M. Thilikos

The well-known regularity lemma of E. Szemer\'edi for graphs (i.e. 2-uniform hypergraphs) claims that for any graph there exists a vertex partition with the property of quasi-randomness. We give a simple construction of such a partition. It…

Combinatorics · Mathematics 2009-05-01 Yoshiyasu Ishigami

A graph is called (claw,diamond)-free if it contains neither a claw (a $K_{1,3}$) nor a diamond (a $K_4$ with an edge removed) as an induced subgraph. Equivalently, (claw,diamond)-free graphs can be characterized as line graphs of…

Data Structures and Algorithms · Computer Science 2015-03-03 Marek Cygan , Marcin Pilipczuk , Michał Pilipczuk , Erik Jan van Leeuwen , Marcin Wrochna

We give an arithmetic version of the recent proof of the triangle removal lemma by Fox [Fox11], for the group $\mathbb{F}_2^n$. A triangle in $\mathbb{F}_2^n$ is a triple $(x,y,z)$ such that $x+y+z = 0$. The triangle removal lemma for…

Combinatorics · Mathematics 2016-02-02 Pooya Hatami , Sushant Sachdeva , Madhur Tulsiani

Let $D_2$ denote the $3$-uniform hypergraph with $4$ vertices and $2$ edges. Answering a question of Alon and Shapira, we prove an induced removal lemma for $D_2$ having polynomial bounds. We also prove an Erd\H{o}s-Hajnal-type result:…

Combinatorics · Mathematics 2022-06-10 Lior Gishboliner , István Tomon

The Lov\'asz Local Lemma is a powerful probabilistic technique for proving the existence of combinatorial objects. It is especially useful for colouring graphs and hypergraphs with bounded maximum degree. This paper presents a general…

Combinatorics · Mathematics 2021-04-14 Ian M. Wanless , David R. Wood

We give an extension of a graph result by Alon and Shapira. And it affirmatively settles a question on property testing raised by them. All monotone hypergraph properties and all hereditary partite hypergraph properties are testable. Our…

Combinatorics · Mathematics 2008-03-24 Yoshiyasu Ishigami

We give a proof of Szemeredi's regularity lemma in the special case of a graph with bounded VC dimension and show that it is possible to obtain "merely" doubly exponential bounds on the size of the partition in this case.

Combinatorics · Mathematics 2013-04-24 Henry Towsner

We prove a far-reaching strengthening of Szemer\'edi's regularity lemma for intersection graphs of pseudo-segments. It shows that the vertex set of such a graph can be partitioned into a bounded number of parts of roughly the same size such…

Combinatorics · Mathematics 2023-12-05 Jacob Fox , Janos Pach , Andrew Suk

We introduce a new conjecture on the computational hardness of detecting random lifts of graphs: we claim that there is no polynomial-time algorithm that can distinguish between a large random $d$-regular graph and a large random lift of a…

Computational Complexity · Computer Science 2024-04-29 Dmitriy Kunisky , Xifan Yu