Szemer'edi's Regularity Lemma is an important tool in discrete mathematics. It says that, in some sense, all graphs can be approximated by random-looking graphs. Therefore the lemma helps in proving theorems for arbitrary graphs whenever the corresponding result is easy for random graphs. Recently quite a few new results were obtained by using the Regularity Lemma, and also some new variants and generalizations appeared. In this survey we describe some typical applications and some generalizations. Contents Preface 1. Introduction 2. How to apply the Regularity Lemma 3. Early applications 4. Building large subgraphs 5. Embedding trees 6. Bounded degree spanning subgraphs 7. Weakening the Regularity Lemma 8. Strengthening the Regularity Lemma 9. Algorithmic questions 10. Regularity and randomness Preface Szemer'edi's Regularity Lemma [121] is one of the most powerful tools of (extremal) graph theory. It was invented as an auxiliary lemma in the proof of the famous conjectu...

Abstract not found

Abstract not found

The Regularity Lemma of Szemerédi is a result that asserts that every graph can be par-titioned in a certain regular way. This result has numerous applications, but its known proof is not algorithmic. Here we first demonstrate the computational difficulty of finding a regular partition; we show that deciding if a given partition of an input graph satisfies the properties guaranteed by the lemma is co-NP-complete. However, we also prove that despite this difficulty the lemma can be made constructive; we show how to obtain, for any input graph, a partition with the properties guaranteed by the lemma, efficiently. The desired partition, for an n-vertex graph, can be found in time O(M(n)), where M(n) = O(n 2.376) is the time needed to multiply two n by n matrices with 0, 1-entries over the integers. The algorithm can be parallelized and implemented in NC 1. Besides the curious phenomenon of exhibiting a natural problem in which the search for a solution is easy whereas the decision if a given instance is a solution is difficult (if P and NP differ), our constructive version of the Regularity Lemma supplies efficient sequential and parallel algorithms for many problems, some of which are naturally motivated by the study of various graph embedding and graph coloring problems.

Abstract. Szemerédi’s Regularity Lemma proved to be a very powerful tool in extremal graph theory with a large number of applications. Chung [Regularity lemmas for hypergraphs and quasi-randomness, Random

Abstract. Szemerédi’s Regularity Lemma proved to be a powerful tool in the area of extremal graph theory. Many of its applications are based on its accompanying Counting Lemma: If G is an ℓ-partite graph with V (G) = V1 ∪ · · · ∪ Vℓ and |Vi | = n for all i ∈ [ℓ], and all pairs (Vi, Vj) are ε-regular of density d for ℓ 1 ≤ i < j ≤ ℓ and ε ≪ d, then G contains (1 ± fℓ(ε))d 2 × nℓ cliques Kℓ, where fℓ(ε) → 0 as ε → 0.

This paper shows for a bounded tile that all tilings it gives of R are periodic, and that there are finitely many translation-equivalence classes of such tilings. The main result of the paper is that for any tiling of R by a bounded tile, any two tiles in the tiling differ by a rational multiple of the minimal period of the tiling. This result implies a structure theorem characterizing such tiles in terms of complementing sets for finite cyclic groups. 1. Introduction

lfh and k are positive integers there exists N(h, k) such that whenever N ^ N(h, k), and the integers 1,2,...,N are divided into h subsets, at least one must contain an arithmetic progression of length k. This is the famous theorem of van der Waerden [10], dating from 1927. The proof of this uses multiple nested inductions, which result

In this paper the following improvement on Freiman’s theorem on set addition is obtained (see Theorems 1 and 2 in Section 1). Let A ⊂ Z be a finite set such that |A + A | < α|A|. Then A is contained in a proper d-dimensional progression P, where d ≤ [α − 1] and log(|P|/|A|) < Cα 2 (log α) 3. Earlier bounds involved exponential dependence in α in the second estimate. Our argument combines I. Ruzsa’s method, which we improve in several places, as well as Y. Bilu’s proof of Freiman’s theorem.

Abstract. Recent work of Gowers [10] and Nagle, Rödl, Schacht, and Skokan [15], [19], [20] has established a hypergraph removal lemma, which in turn implies some results of Szemerédi [26] and Furstenberg-Katznelson [7] concerning one-dimensional and multi-dimensional arithmetic progressions respectively. In this paper we shall give a self-contained proof of this hypergraph removal lemma. In fact we prove a slight strengthening of the result, which we will use in a subsequent paper [29] to establish (among other things) infinitely many constellations of a prescribed shape in the Gaussian primes. 1.