Results 1  10
of
27
A variant of the hypergraph removal lemma
, 2006
"... 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 FurstenbergKatznelson [7] concerning onedimensional and multidimensional arithmetic progressions respecti ..."
Abstract

Cited by 47 (4 self)
 Add to MetaCart
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 FurstenbergKatznelson [7] concerning onedimensional and multidimensional arithmetic progressions respectively. In this paper we shall give a selfcontained 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.
Applications of the regularity lemma for uniform hypergraphs
 ALGORITHMS
, 2006
"... In this note we discuss several combinatorial problems that can be addressed by the Regularity Method for hypergraphs. Based on recent results of Nagle, Schacht and the authors, we give here solutions to these problems. In particular, we prove the following: Let F be a kuniform hypergraph on t ver ..."
Abstract

Cited by 35 (6 self)
 Add to MetaCart
In this note we discuss several combinatorial problems that can be addressed by the Regularity Method for hypergraphs. Based on recent results of Nagle, Schacht and the authors, we give here solutions to these problems. In particular, we prove the following: Let F be a kuniform hypergraph on t vertices and suppose an nvertex kuniform hypergraph H contains only o(n t) copies of F. Then one can delete o(n k) edges of H to make it Ffree. Similar results were recently obtained by W. T. Gowers.
A quantitative ergodic theory proof of Szemerédi’s theorem
, 2004
"... A famous theorem of Szemerédi asserts that given any density 0 < δ ≤ 1 and any integer k ≥ 3, any set of integers with density δ will contain infinitely many proper arithmetic progressions of length k. For general k there are essentially four known proofs of this fact; Szemerédi’s original combinato ..."
Abstract

Cited by 34 (14 self)
 Add to MetaCart
A famous theorem of Szemerédi asserts that given any density 0 < δ ≤ 1 and any integer k ≥ 3, any set of integers with density δ will contain infinitely many proper arithmetic progressions of length k. For general k there are essentially four known proofs of this fact; Szemerédi’s original combinatorial proof using the Szemerédi regularity lemma and van der Waerden’s theorem, Furstenberg’s proof using ergodic theory, Gowers’ proof using Fourier analysis and the inverse theory of additive combinatorics, and Gowers’ more recent proof using a hypergraph regularity lemma. Of these four, the ergodic theory proof is arguably the shortest, but also the least elementary, requiring in particular the use of transfinite induction (and thus the axiom of choice), decomposing a general ergodic system as the weakly mixing extension of a transfinite tower of compact extensions. Here we present a quantitative, selfcontained version of this ergodic theory proof, and which is “elementary ” in the sense that it does not require the axiom of choice, the use of infinite sets or measures, or the use of the Fourier transform or inverse theorems from additive combinatorics. It also gives explicit (but extremely poor) quantitative bounds.
A correspondence principle between (hyper)graph theory and probability theory, and the (hyper)graph removal lemma, preprint
"... Abstract. We introduce a correspondence principle (analogous to the Furstenberg correspondence principle) that allows one to extract an infinite random graph or hypergraph from a sequence of increasingly large deterministic graphs or hypergraphs. As an application we present a new (infinitary) proof ..."
Abstract

Cited by 21 (5 self)
 Add to MetaCart
Abstract. We introduce a correspondence principle (analogous to the Furstenberg correspondence principle) that allows one to extract an infinite random graph or hypergraph from a sequence of increasingly large deterministic graphs or hypergraphs. As an application we present a new (infinitary) proof of the hypergraph removal lemma of NagleSchachtRödlSkokan and Gowers, which does not require the hypergraph regularity lemma and requires significantly less computation. This in turn gives new proofs of several corollaries of the hypergraph removal lemma, such as Szemerédi’s theorem on arithmetic progressions. 1.
The dichotomy between structure and randomness, arithmetic progressions, and the primes
"... Abstract. A famous theorem of Szemerédi asserts that all subsets of the integers with positive upper density will contain arbitrarily long arithmetic progressions. There are many different proofs of this deep theorem, but they are all based on a fundamental dichotomy between structure and randomness ..."
Abstract

Cited by 19 (1 self)
 Add to MetaCart
Abstract. A famous theorem of Szemerédi asserts that all subsets of the integers with positive upper density will contain arbitrarily long arithmetic progressions. There are many different proofs of this deep theorem, but they are all based on a fundamental dichotomy between structure and randomness, which in turn leads (roughly speaking) to a decomposition of any object into a structured (lowcomplexity) component and a random (discorrelated) component. Important examples of these types of decompositions include the Furstenberg structure theorem and the Szemerédi regularity lemma. One recent application of this dichotomy is the result of Green and Tao establishing that the prime numbers contain arbitrarily long arithmetic progressions (despite having density zero in the integers). The power of this dichotomy is evidenced by the fact that the GreenTao theorem requires surprisingly little technology from analytic number theory, relying instead almost exclusively on manifestations of this dichotomy such as Szemerédi’s theorem. In this paper we survey various manifestations of this dichotomy in combinatorics, harmonic analysis, ergodic theory, and number theory. As we hope to emphasize here, the underlying themes in these arguments are remarkably similar even though the contexts are radically different. 1.
The Gaussian primes contain arbitrarily shaped constellations
 J. dAnalyse Mathematique
"... Abstract. We show that the Gaussian primes P[i] ⊆ Z[i] contain infinitely constellations of any prescribed shape and orientation. More precisely, given any distinct Gaussian integers v0,..., vk−1, we show that there are infinitely many sets {a+rv0,..., a+rvk−1}, with a ∈ Z[i] and r ∈ Z\{0}, all of ..."
Abstract

Cited by 18 (10 self)
 Add to MetaCart
Abstract. We show that the Gaussian primes P[i] ⊆ Z[i] contain infinitely constellations of any prescribed shape and orientation. More precisely, given any distinct Gaussian integers v0,..., vk−1, we show that there are infinitely many sets {a+rv0,..., a+rvk−1}, with a ∈ Z[i] and r ∈ Z\{0}, all of whose elements are Gaussian primes. The proof is modeled on that in [9] and requires three ingredients. The first is a hypergraph removal lemma of Gowers and RödlSkokan, or more precisely a slight strengthening of this lemma which can be found in [22]; this hypergraph removal lemma can be thought of as a generalization of the SzemerédiFurstenbergKatznelson theorem concerning multidimensional arithmetic progressions. The second ingredient is the transference argument from [9], which allows one to extend this hypergraph removal lemma to a relative version, weighted by a pseudorandom measure. The third ingredient is a GoldstonYıldırım type analysis for the Gaussian integers, similar to that in [9], which yields a pseudorandom measure which is concentrated on Gaussian “almost primes”. 1.
Szemerédi’s regularity lemma and quasirandomness
 CMS BOOKS MATH./OUVRAGES MATH. SMC
, 2003
"... The first half of this paper is mainly expository, and aims at introducing the regularity lemma of Szemerédi. Among others, we discuss an early application of the regularity lemma that relates the notions of universality and uniform distribution of edges, a form of ‘pseudorandomness’ or ‘quasirand ..."
Abstract

Cited by 17 (9 self)
 Add to MetaCart
The first half of this paper is mainly expository, and aims at introducing the regularity lemma of Szemerédi. Among others, we discuss an early application of the regularity lemma that relates the notions of universality and uniform distribution of edges, a form of ‘pseudorandomness’ or ‘quasirandomness’. We then state two closely related variants of the regularity lemma for sparse graphs and present a proof for one of them. In the second half of the paper, we discuss a basic idea underlying the algorithmic version of the original regularity lemma: we discuss a ‘local’ condition on graphs that turns out to be, roughly speaking, equivalent to the regularity condition of Szemerédi. Finally, we show how the sparse version of the regularity lemma may be used to prove the equivalence of a related, local condition for regularity. This new condition turns out to give a O(n²) time algorithm for testing the quasirandomness of an nvertex graph.
The Ramsey number for hypergraph cycles
 I, Journal of Combinatorial Theory, Ser. A
"... Abstract. Let Cn denote the 3uniform hypergraph loose cycle, that is the hypergraph with vertices v1,..., vn and edges v1v2v3, v3v4v5, v5v6v7,..., vn−1vnv1. We prove that every redblue colouring of the edges of the complete 3uniform hypergraph with N vertices contains a monochromatic copy of Cn, ..."
Abstract

Cited by 15 (3 self)
 Add to MetaCart
Abstract. Let Cn denote the 3uniform hypergraph loose cycle, that is the hypergraph with vertices v1,..., vn and edges v1v2v3, v3v4v5, v5v6v7,..., vn−1vnv1. We prove that every redblue colouring of the edges of the complete 3uniform hypergraph with N vertices contains a monochromatic copy of Cn, where N is asymptotically equal to 5n/4. Moreover this result is (asymptotically) best possible. 1.
Szemerédi’s regularity lemma revisited
 Contrib. Discrete Math
"... Abstract. Szemerédi’s regularity lemma is a basic tool in graph theory, and also plays an important role in additive combinatorics, most notably in proving Szemerédi’s theorem on arithmetic progressions [19], [18]. In this note we revisit this lemma from the perspective of probability theory and inf ..."
Abstract

Cited by 14 (3 self)
 Add to MetaCart
Abstract. Szemerédi’s regularity lemma is a basic tool in graph theory, and also plays an important role in additive combinatorics, most notably in proving Szemerédi’s theorem on arithmetic progressions [19], [18]. In this note we revisit this lemma from the perspective of probability theory and information theory instead of graph theory, and observe a slightly stronger variant of this lemma, related to similar strengthenings of that lemma in [1]. This stronger version of the regularity lemma was extended in [21] to reprove the analogous regularity lemma for hypergraphs. 1.
Regular partitions of hypergraphs: Regularity Lemmas
 COMBIN. PROBAB. COMPUT
, 2007
"... Szemerédi’s regularity lemma for graphs has proved to be a powerful tool with many subsequent applications. The objective of this paper is to extend the techniques developed by Nagle, Skokan, and authors and obtain a stronger and more “user friendly” regularity lemma for hypergraphs. ..."
Abstract

Cited by 14 (1 self)
 Add to MetaCart
Szemerédi’s regularity lemma for graphs has proved to be a powerful tool with many subsequent applications. The objective of this paper is to extend the techniques developed by Nagle, Skokan, and authors and obtain a stronger and more “user friendly” regularity lemma for hypergraphs.