On a certain generalization of the Balog-Szemeredi-Gowers theorem
|
|
- Erica Chambers
- 5 years ago
- Views:
Transcription
1 On a certain generalization of the Balog-Szemeredi-Gowers theorem Ernie Croot and Evan Borenstein June 25, 2008 The Balog-Szemerédi-Gowers theorem has a rich history, and is one of the most useful tools in additive combinatorics. It began with the a paper by Balog and Szemerédi [2], and then was refined by Gowers [3] to the following basic result (actually, Gowers proved somewhat more than we bother to state here): Theorem 1 There exists an absolute constant κ > 0 such that the following holds for all finite subsets X and Y of size n > n 0 of an abelian group: Suppose that there are at least Cn 3 solutions to x 1 + y 1 = x 2 + y 2, x i X and y i Y. Then, X contains a subset X, of size at least C κ n, such that X + X C κ n. Sudakov, Szemerédi and Vu [5] proved a refinement of this theorem (Balog [1] independently obtained a similar result), given as follows: Theorem 2 Let n, C, K be positive numbers, and let A and B be two sets of n integers. Suppose that there is a bipartite graph G(A, B, E) with at least n 2 /K edges and A + G B Cn. Then one can find a subset A A and a subset B B such that A n/16k 2, B n/4k and A + B 2 12 C 3 K 5 n. Remark. It is not difficult to show that this theorem, along with some lemmas and theorems of Ruzsa (the Ruzsa triangle inequality [6], and the Ruzsa-Plunnecke Theorem [4]), implies that we may take κ < 20 in Theorem 1. 1
2 In the same paper, Sudakov, Szemerédi and Vu [5, Theorem 4.3] proved the following powerful hypergraph version of the Balog-Szemerédi-Gowers Theorem: Theorem 3 For any positive integer k, there are polynomials f k (x, y) and g k (x, y) with degrees and coefficients depending only on k, such that the following holds. Let n, C, K be positive numbers. If A 1,..., A k are sets of n positive integers, H(A 1,..., A k, E) is the k-partite, k-uniform hypergraph with at least n k /K edges, and k Hi=1 A i Cn, then one can find subsets A i A i such that A i n/f k(c, K) for all 1 i k; A A k g k(c, K)n. The notation H means that the sum is restricted to the hypergraph H. Beautiful and useful as it is, it would be nice if one had some control on the degrees of these polynomials f and g. And, for particular applications that we (Croot and Borenstein) have in mind, it would be good to be able to control the rate of growth of sums A A l, where l is much smaller than k it would be good to be able to bound the size of this sum from above by C 1+ε K d k n, (1) where d k depends only on k. Perhaps such a bound can be developed by modifying the proof of Sudakov, Szemerédi and Vu; however, in the present paper, we take a different tack, and produce an alternate proof of a related hypergraph Balog-Szmeredi-Gowers theorem, where such an upper bound as (1) will be implicit, though only for the case where A 1 = = A k. In our proof, we will use some of the same standard tricks as Sudakov, Szemerédi and Vu do in their proof. The notation we use to describe this theorem, and its proof, will be somewhat different from that used by Sudakov, Szemerédi and Vu. Furthermore, we will not attempt here to give the most general formulation of the theorem. Theorem 4 For every 0 < ε < 1/2 and c > 1, there exists δ > 0, such that the following holds for all k sufficiently large, and all sufficiently large finite subsets A of an additive abelian group: Suppose that S A A A = A k, 2
3 and let If then there exists such that Σ(S) := {a a k : (a 1,..., a k ) S}. S A k δ, and Σ(S) < A c, A A, A A 1 ε, la = A + + A A c(1+εl). 1 Proof of Theorem Notation and basic assumptions It will be advantageous to describe the proof in terms of strings. So, the set S A k will be thought of as a collection of strings of length k: x 1 x 2 x k, where each x i A. Often, we split these strings up into substrings; for example, the string x = x 1 x k can be written as a product of a left substring l of length k/2 (assume k is even) and a right substring r of length k/2. So, x = lr. We may assume that k = 2 n, since if this is not the case, then we let k be the largest power of 2 of size at most k, and proceed as follows: Given a string x 1 x k in S, we write it as a product l x r x, where l x := x 1 x k and r x := x k +1 x k. 3
4 Now, for some string y we will have that r x = y for at least S / A k k choices for x S. Letting S denote the set of all strings l x with r x = y, we will have S A k δ, and clearly Σ(S ) Σ({l x y : x S }) Σ(S) A c. So, we could just assume that our k had this value k all along (remember, we get to choose k to be as large as needed to get the desired conclusion). 1.2 The suppression of subscripts, and a comment about iteration In the proof of our theorem, we will iteratively replace our initial set S with other, smaller and smaller sets having certain useful properties. If we were so inclined, we could describe this iteration by saying that we produce a sequence of sets S 0 := S, S 1, S 2,..., S t, where S i A k i, S i A k i δ i. The trouble with this is that it leads to a proliferation of subscripts, which can be unpleasant. Instead of introducing subscripts, we use the assignment operator, denoted by S S, which means that the set S gets reassigned to the set S. So, it is worth keeping in mind that later into the proof, S refers to a different set than at the start of the proof. The same will be true of k and δ. 1.3 Lengths of iterations and the choice of δ and k At almost every step of our iteration, we will replace S A k with S A k, satisfying S A k δ, and A 1 O(δ) Σ(S ) Σ(S) 1 ε/400c Clearly, for δ > 0 small enough, the number of such iterations we can take will be bounded from above in terms of ε and c. Furthermore, since at each 4
5 step, k is at least half the size of k, so long as the initial value of k is large enough in terms of c and ε, we will not run out of dimensions. Since our theorem is a qualitative result, in that it does not even attempt to explain how δ or k depends on ε and c, there is no need to be more precise about just how small one needs take δ or how large to take k, in order for our iteration process to terminate and prove our theorem. 1.4 The iteration part of the argument Given a string x of length k/2, we let R x denote the set of all strings y of length k/2 such that xy S. We analogously define L x. We will now select an x, and therefore R x, very carefully, so that it satisfies certain useful properties: We begin with the inequality R x = S A k δ. x We now apply the following lemma, which is easily proved upon using the Cauchy-Schwarz inequality: Lemma 1 Suppose that V is a set of n elements, and suppose that U 1, U 2,..., U r V satisfy r U i rn 1 δ. i=1 Then, there exists 1 j r such that U i U j rn 1 2δ. 1 i r From this lemma we easily deduce that there exists x such that R x R y A k 2δ. y 5
6 Next, we let and we observe that S := {yz S : z R x }, (2) S = y R x R y A k 2δ ; so, S is not too much smaller than S. We now make a reassignment: and observe that S now satisfies S S, δ 2δ, S A k δ, and we in addition have that every element of S can be expressed as yz, where z R x. then Now suppose that there is a string y of length k/2 such that if R y A k/2 2δ, Σ(R y ) Σ(S) 1 ε/400c. If this occurs, then we make another reassignment: S R y, k k/2, δ 2δ, and we start back at the very beginning of this subsection The sets H and H When we come out of the iteration loops ( reassignments ) from the previous subsection, we finish with a set S having a number of highly useful properties, among them: S A k δ ; Each R y R x ; and, 6
7 If we let H denote those strings h of length k/2 such that R h A k/2 2δ, then for every such h we will have that Σ(S) 1 ε/400c < Σ(R h ) Σ(S). One can easily show, using the lower bound for S, that for A sufficiently large, H > A k/2 2δ. Since {h H : hz S} H A k/2 2δ, z R x we deduce that there exists z R x such that there are at least H A 2δ A k/2 4δ vectors h H satisfying hz S. (3) Fix one of these z, and let H H denote all those h H such that (3) holds. Note that H A k/2 4δ. Next, let H H denote those h H such that there are at least H Σ(H ) 1 /2 (4) other h H satisfying We have that Σ(h ) = Σ(h). H \ H Σ(H ) ( H Σ(H ) 1 /2) = H /2 7
8 So, for A sufficiently large. We also note that H H /2 A k/2 5δ, (5) Σ(H ) Σ(H ) = Σ({hz : h H }) Σ(S). This is one of the places where it was essential to have that z R h for all h H. Now suppose that, in fact, If so, then we assign Σ(H ) Σ(S) 1 ε/400c. (6) S H, k k/2, δ 5δ, and we repeat our iteration process again, starting in subsection 1.4. On the other hand, if (6) does not hold, then we will have that Σ(S) 1 ε/400c Σ(H ) Σ(H ) Σ(S) (7) 1.6 The final leg of the proof From the fact that Σ({hu S : h H, u R h }) Σ(S), along with the fact that R h R x and Σ(S) 1 ε/400c Σ(R h ) Σ(R x ) Σ(S), as well as (7), we deduce that there are at least Σ(S) 3 3ε/400c quadruples h 1, h 2 Σ(H ), and u 1, u 2 Σ(R x ), 8
9 such that Σ(h 1 ) + Σ(u 1 ) = Σ(h 2 ) + Σ(u 2 ). Now we apply Theorem 1, setting X := Σ(H ), and Y := Σ(R x ). Following the comment after Theorem 2, we have that there exists Σ Σ(H ), Σ Σ(H ) 1 ε/2c, such that Σ + Σ Σ 1+ε/2c. (8) Let H denote the set of all h H, such that Σ(h) Σ. By (4) and (7), we have that H Σ ( H Σ(H ) 1 /2) Σ(H ) 1 ε/2c H Σ(S) 1 /2 Σ(H ) 1 ε/2c Σ(H ) 1/(1 ε/400c) H /2 Σ(H ) ε/c H A k/2 4δ ε. By simple averaging, there is some vector w A k/2 1, such that there are at least A 1 4δ ε vectors h H whose last k/2 1 coordinates are the vector w. The upshot of this is that if we let A := {a A : aw H }, 9
10 then and A A 1 4δ ε, (9) A + A + 2Σ(w) Σ(H ) + Σ(H ) = Σ + Σ. Now we apply a weak form of the Ruzsa-Plunnecke Theorem [4], given as follows: Theorem 5 Suppose that X is some finite subset of an additive abelian group, such that X + X C X. Then, we have that Using we deduce that for l even, kx = X + X + + X C k X. X := Σ, and C := Σ ε/2c, la lσ Σ 1+εl/2c A c+εl A (c+εl)/(1 4δ ε) By selecting δ > 0 small enough, relative to ε > 0, we can ensure that for ε < 1/2, la A c(1+2εl). Of course, when 1/2 ε < 1 the inequality is trivial, as c > 1. Clearly, on rescaling ε appropriately, our theorem is proved. 2 Acknowledgements We would first and foremost like to thank Jozsef Solymosi, who ed us the reference to the Sudakov-Szemerédi-Vu paper, and then who presented to us his own proof of it. We would also like to thank Boris Bukh, who also pointed out this paper and result to us. Jozsef (as we have been reminded) and especially Boris made certain very helpful remarks to us concerning an application of the Bourgain-Chang sumproduct theorem on a paper of ours yet to be written up, of which the present 10
11 paper was once a part. We wish to thank them for their remarks in advance of the writeup of that new paper. Van Vu also mentioned his hypergraph result to us in passing during the conference, and we wish to thank him for the comment. We wish to thank Terry Tao for pointing out a result from section 2.6 from his book with Vu. Evan plans to work on this. We wish to thank Harald Helfgott for pointing out section 2.6 of the Tao-Vu book. Finally, we wish to thank Antal Balog for the warmth and interest in our result. For anyone we forgot to thank, our apologies in advance. References [1] A. Balog, Many additive quadruples, CRM Proceedings and Lecture Notes in Additive Combinatorics, 43 (2007). [2] A. Balog and E. Szemerédi, A statistical theorem of set addition, Combinatorica 14 (1994), [3] W. T. Gowers, A new proof of Szemerédi s Theorem for progressions of length four, GAFA 8 (1998), [4] I. Ruzsa, Arithmetic Progressions and the number of sums, Periodica Math. Hung. 33 (1992), [5] B. Sudakov, E. Szeméredi, and V. Vu, On a question of Erdős and Moser, Duke Math Jour. 129 (2005), [6] T. Tao and V. Vu, Additive Combinatorics, Cambridge Univ. Press,
Notes on the Bourgain-Katz-Tao theorem
Notes on the Bourgain-Katz-Tao theorem February 28, 2011 1 Introduction NOTE: these notes are taken (and expanded) from two different notes of Ben Green on sum-product inequalities. The basic Bourgain-Katz-Tao
More informationGROWTH IN GROUPS I: SUM-PRODUCT. 1. A first look at growth Throughout these notes A is a finite set in a ring R. For n Z + Define
GROWTH IN GROUPS I: SUM-PRODUCT NICK GILL 1. A first look at growth Throughout these notes A is a finite set in a ring R. For n Z + Define } A + {{ + A } = {a 1 + + a n a 1,..., a n A}; n A } {{ A} = {a
More informationA NEW PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS
A NEW PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS ERNIE CROOT AND OLOF SISASK Abstract. We present a proof of Roth s theorem that follows a slightly different structure to the usual proofs, in that
More informationSum-Product Type Estimates for Subsets of Finite Valuation Rings arxiv: v1 [math.co] 27 Jan 2017
Sum-Product Type Estimates for Subsets of Finite Valuation Rings arxiv:70.080v [math.co] 27 Jan 207 Esen Aksoy Yazici September 9, 208 Abstract Let R be a finite valuation ring of order q r. Using a point-plane
More informationARITHMETIC PROGRESSIONS IN SPARSE SUMSETS. Dedicated to Ron Graham on the occasion of his 70 th birthday
ARITHMETIC PROGRESSIONS IN SPARSE SUMSETS Dedicated to Ron Graham on the occasion of his 70 th birthday Ernie Croot 1 School of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 Imre Ruzsa
More informationh-fold sums from a set with few products
h-fold sums from a set with few products Dedicated to the memory of György Elekes Ernie Croot Derrick Hart January 7, 2010 1 Introduction Before we state our main theorems, we begin with some notation:
More informationAdditive Combinatorics and Szemerédi s Regularity Lemma
Additive Combinatorics and Szemerédi s Regularity Lemma Vijay Keswani Anurag Sahay 20th April, 2015 Supervised by : Dr. Rajat Mittal 1 Contents 1 Introduction 3 2 Sum-set Estimates 4 2.1 Size of sumset
More informationResearch Problems in Arithmetic Combinatorics
Research Problems in Arithmetic Combinatorics Ernie Croot July 13, 2006 1. (related to a quesiton of J. Bourgain) Classify all polynomials f(x, y) Z[x, y] which have the following property: There exists
More informationarxiv: v1 [math.co] 28 Jan 2019
THE BROWN-ERDŐS-SÓS CONJECTURE IN FINITE ABELIAN GROUPS arxiv:191.9871v1 [math.co] 28 Jan 219 JÓZSEF SOLYMOSI AND CHING WONG Abstract. The Brown-Erdős-Sós conjecture, one of the central conjectures in
More informationarxiv: v3 [math.co] 23 Jun 2008
BOUNDING MULTIPLICATIVE ENERGY BY THE SUMSET arxiv:0806.1040v3 [math.co] 23 Jun 2008 Abstract. We prove that the sumset or the productset of any finite set of real numbers, A, is at least A 4/3 ε, improving
More informationSzemerédi s Lemma for the Analyst
Szemerédi s Lemma for the Analyst László Lovász and Balázs Szegedy Microsoft Research April 25 Microsoft Research Technical Report # MSR-TR-25-9 Abstract Szemerédi s Regularity Lemma is a fundamental tool
More informationSzemerédi-Trotter type theorem and sum-product estimate in finite fields
Szemerédi-Trotter type theorem and sum-product estimate in finite fields arxiv:0711.4427v1 [math.co] 28 Nov 2007 Le Anh Vinh Mathematics Department Harvard University Cambridge, MA 02138, US vinh@math.harvard.edu
More informationMULTIFOLD SUMS AND PRODUCTS OVER R, AND COMBINATORIAL PROBLEMS ON SUMSETS
MULTIFOLD SUMS AND PRODUCTS OVER R, AND COMBINATORIAL PROBLEMS ON SUMSETS A Thesis Presented to The Academic Faculty by Albert Bush In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy
More information1.1 Szemerédi s Regularity Lemma
8 - Szemerédi s Regularity Lemma Jacques Verstraëte jacques@ucsd.edu 1 Introduction Szemerédi s Regularity Lemma [18] tells us that every graph can be partitioned into a constant number of sets of vertices
More informationAdditive Combinatorics and Computational Complexity
Additive Combinatorics and Computational Complexity Luca Trevisan U.C. Berkeley Ongoing joint work with Omer Reingold, Madhur Tulsiani, Salil Vadhan Combinatorics: Studies: Graphs, hypergraphs, set systems
More informationSZEMERÉDI S REGULARITY LEMMA FOR MATRICES AND SPARSE GRAPHS
SZEMERÉDI S REGULARITY LEMMA FOR MATRICES AND SPARSE GRAPHS ALEXANDER SCOTT Abstract. Szemerédi s Regularity Lemma is an important tool for analyzing the structure of dense graphs. There are versions of
More informationA PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS
A PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS ERNIE CROOT AND OLOF SISASK Abstract. We present a proof of Roth s theorem that follows a slightly different structure to the usual proofs, in that
More informationMei-Chu Chang Department of Mathematics University of California Riverside, CA 92521
ERDŐS-SZEMERÉDI PROBLEM ON SUM SET AND PRODUCT SET Mei-Chu Chang Department of Mathematics University of California Riverside, CA 951 Summary. The basic theme of this paper is the fact that if A is a finite
More informationSum-product estimates over arbitrary finite fields
Sum-product estimates over arbitrary finite fields Doowon Koh Sujin Lee Thang Pham Chun-Yen Shen Abstract arxiv:1805.08910v3 [math.nt] 16 Jul 2018 In this paper we prove some results on sum-product estimates
More informationNew upper bound for sums of dilates
New upper bound for sums of dilates Albert Bush Yi Zhao Department of Mathematics and Statistics Georgia State University Atlanta, GA 30303, USA albertbush@gmail.com yzhao6@gsu.edu Submitted: Nov 2, 2016;
More informationarxiv: v1 [math.co] 25 Oct 2018
AN IMPROVED BOUND FOR THE SIZE OF THE SET A/A+A OLIVER ROCHE-NEWTON arxiv:1810.10846v1 [math.co] 25 Oct 2018 Abstract. It is established that for any finite set of positive real numbers A, we have A/A+A
More informationChromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz
Chromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz Jacob Fox Choongbum Lee Benny Sudakov Abstract For a graph G, let χ(g) denote its chromatic number and σ(g) denote
More informationBURGESS INEQUALITY IN F p 2. Mei-Chu Chang
BURGESS INEQUALITY IN F p 2 Mei-Chu Chang Abstract. Let be a nontrivial multiplicative character of F p 2. We obtain the following results.. Given ε > 0, there is δ > 0 such that if ω F p 2\F p and I,
More informationREGULARITY LEMMAS FOR GRAPHS
REGULARITY LEMMAS FOR GRAPHS Abstract. Szemerédi s regularity lemma proved to be a fundamental result in modern graph theory. It had a number of important applications and is a widely used tool in extremal
More informationCounting substructures II: hypergraphs
Counting substructures II: hypergraphs Dhruv Mubayi December, 01 Abstract For various k-uniform hypergraphs F, we give tight lower bounds on the number of copies of F in a k-uniform hypergraph with a prescribed
More informationRoth s Theorem on 3-term Arithmetic Progressions
Roth s Theorem on 3-term Arithmetic Progressions Mustazee Rahman 1 Introduction This article is a discussion about the proof of a classical theorem of Roth s regarding the existence of three term arithmetic
More informationThe Green-Tao theorem and a relative Szemerédi theorem
The Green-Tao theorem and a relative Szemerédi theorem Yufei Zhao Massachusetts Institute of Technology Based on joint work with David Conlon (Oxford) and Jacob Fox (MIT) Green Tao Theorem (arxiv 2004;
More informationAPPROXIMATE HOMOMORPHISMS BETWEEN THE BOOLEAN CUBE AND GROUPS OF PRIME ORDER
APPROXIMATE HOMOMORPHISMS BETWEEN THE BOOLEAN CUBE AND GROUPS OF PRIME ORDER TOM SANDERS The purpose of this note is to highlight a question raised by Shachar Lovett [Lov], and to offer some motivation
More informationSUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS
SUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS DERRICK HART, ALEX IOSEVICH, AND JOZSEF SOLYMOSI Abstract. We establish improved sum-product bounds in finite fields using incidence theorems
More informationRamsey theory and the geometry of Banach spaces
Ramsey theory and the geometry of Banach spaces Pandelis Dodos University of Athens Maresias (São Paulo), August 25 29, 2014 1.a. The Hales Jewett theorem The following result is due to Hales & Jewett
More informationWalk through Combinatorics: Sumset inequalities.
Walk through Combinatorics: Sumset inequalities (Version 2b: revised 29 May 2018) The aim of additive combinatorics If A and B are two non-empty sets of numbers, their sumset is the set A+B def = {a+b
More information#A34 INTEGERS 13 (2013) A NOTE ON THE MULTIPLICATIVE STRUCTURE OF AN ADDITIVELY SHIFTED PRODUCT SET AA + 1
#A34 INTEGERS 13 (2013) A NOTE ON THE MULTIPLICATIVE STRUCTURE OF AN ADDITIVELY SHIFTED PRODUCT SET AA + 1 Steven Senger Department of Mathematics, University of Delaware, Newark, Deleware senger@math.udel.edu
More informationSelected Results in Additive Combinatorics: An Exposition
Electronic Colloquium on Computational Complexity, Report No. 103 (2007) Selected Results in Additive Combinatorics: An Exposition Emanuele Viola September 27, 2007 Abstract We give a self-contained exposition
More informationA talk given at the Institute of Math., Chinese Academy of Sciences ( ).
A talk given at the Institute of Math., Chinese Academy of Sciences (2007-01-30). COMBINATORIAL ASPECTS OF SZEMERÉDI S THEOREM Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing 210093, P.
More informationGeneralized incidence theorems, homogeneous forms and sum-product estimates in finite fields arxiv: v2 [math.
Generalized incidence theorems, homogeneous forms and sum-product estimates in finite fields arxiv:0801.0728v2 [math.co] 31 Mar 2008 David Covert, Derrick Hart, Alex Iosevich, Doowon Koh, and Misha Rudnev
More informationChapter 6: Third Moment Energy
Chapter 6: Third Moment Energy Adam Sheffer May 13, 2016 1 Introduction In this chapter we will see how to obtain various results by relying on a generalization of the concept of energy. While such generalizations
More informationA PURELY COMBINATORIAL APPROACH TO SIMULTANEOUS POLYNOMIAL RECURRENCE MODULO Introduction
A PURELY COMBINATORIAL APPROACH TO SIMULTANEOUS POLYNOMIAL RECURRENCE MODULO 1 ERNIE CROOT NEIL LYALL ALEX RICE Abstract. Using purely combinatorial means we obtain results on simultaneous Diophantine
More informationCONSECUTIVE INTEGERS IN HIGH-MULTIPLICITY SUMSETS
CONSECUTIVE INTEGERS IN HIGH-MULTIPLICITY SUMSETS VSEVOLOD F. LEV Abstract. Sharpening (a particular case of) a result of Szemerédi and Vu [4] and extending earlier results of Sárközy [3] and ourselves
More informationarxiv:math/ v1 [math.nt] 20 Mar 2007
arxiv:math/0703614v1 [math.nt] 20 Mar 2007 and A SLIGHT IMPROVEMENT TO GARAEV S SUM PRODUCT ESTIMATE Nets Hawk Katz and Chun-Yen Shen Indiana University 0 Introduction Let A be a subset of F p, the field
More informationOn sums and products in C[x]
On sums and products in C[x] Ernie Croot and Derrick Hart February 8, 2010 1 Introduction Suppose that S is a subset of a ring R (in our case, the real or complex numbers), and define S.S := {st : s, t
More informationLong Arithmetic Progressions in A + A + A with A a Prime Subset 1. Zhen Cui, Hongze Li and Boqing Xue 2
Long Arithmetic Progressions in A + A + A with A a Prime Subset 1 Zhen Cui, Hongze Li and Boqing Xue 2 Abstract If A is a dense subset of the integers, then A + A + A contains long arithmetic progressions.
More informationOn tight cycles in hypergraphs
On tight cycles in hypergraphs Hao Huang Jie Ma Abstract A tight k-uniform l-cycle, denoted by T Cl k, is a k-uniform hypergraph whose vertex set is v 0,, v l 1, and the edges are all the k-tuples {v i,
More informationBipartite graphs of approximate rank 1. W. T. Gowers
Bipartite graphs of approximate rank 1 W T Gowers 1 Introduction Quasirandomness is a central concept in graph theory, and has played an important part in arithmetic combinatorics as well Roughly speaking,
More informationMaximum union-free subfamilies
Maximum union-free subfamilies Jacob Fox Choongbum Lee Benny Sudakov Abstract An old problem of Moser asks: how large of a union-free subfamily does every family of m sets have? A family of sets is called
More informationColoring Simple Hypergraphs
Department of Mathematics, Statistics and Computer Science University of Illinois Chicago May 13, 2011 A Puzzle Problem Let n 2 and suppose that S [n] [n] with S 2n 1. Then some three points in S determine
More informationarxiv:math/ v3 [math.co] 15 Oct 2006
arxiv:math/060946v3 [math.co] 15 Oct 006 and SUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS DERRICK HART, ALEX IOSEVICH, AND JOZSEF SOLYMOSI Abstract. We establish improved sum-product bounds
More informationThe Green-Tao theorem and a relative Szemerédi theorem
The Green-Tao theorem and a relative Szemerédi theorem Yufei Zhao Massachusetts Institute of Technology Joint work with David Conlon (Oxford) and Jacob Fox (MIT) Simons Institute December 2013 Green Tao
More informationSzemerédi s regularity lemma revisited. Lewis Memorial Lecture March 14, Terence Tao (UCLA)
Szemerédi s regularity lemma revisited Lewis Memorial Lecture March 14, 2008 Terence Tao (UCLA) 1 Finding models of large dense graphs Suppose we are given a large dense graph G = (V, E), where V is a
More informationOPEN PROBLEMS IN ADDITIVE COMBINATORICS
OPEN PROBLEMS IN ADDITIVE COMBINATORICS ERNIE CROOT AND VSEVOLOD F. LEV Abstract. A brief historical introduction to the subject of additive combinatorics and a list of challenging open problems, most
More informationTrigonometric sums with multiplicative coefficients
TIM AUSTIN University of California, Los Angeles A very brief look at the Density Hales-Jewett Theorem In 1991 Furstenberg and Katznelson offered a proof of the density version of a classical result of
More informationSumset and Inverse Sumset Inequalities for Differential Entropy and Mutual Information
Sumset and Inverse Sumset Inequalities for Differential Entropy and Mutual Information Ioannis Kontoyiannis, Fellow, IEEE Mokshay Madiman, Member, IEEE June 3, 2012 Abstract The sumset and inverse sumset
More informationHypergraph Regularity and the multidimensional Szemerédi Theorem. W. T. Gowers
Hypergraph Regularity and the multidimensional Szemerédi Theorem. W. T. Gowers Abstract. We prove analogues for hypergraphs of Szemerédi s regularity lemma and the associated counting lemma for graphs.
More informationSZEMERÉDI S REGULARITY LEMMA 165
SZEMERÉDI S REGULARITY LEMMA 165 9.4 SZEMERÉDI S REGULARITY LEMMA In this section we describe a fundamental result, the Regularity Lemma, proved by Endre Szemerédi in the 70s. The original motivation for
More informationTHE RELATIVE SIZES OF SUMSETS AND DIFFERENCE SETS. Merlijn Staps Department of Mathematics, Utrecht University, Utrecht, The Netherlands
#A42 INTEGERS 15 (2015) THE RELATIVE SIZES OF SUMSETS AND DIFFERENCE SETS Merlijn Staps Department of Mathematics, Utrecht University, Utrecht, The Netherlands M.Staps@uu.nl Received: 10/9/14, Revised:
More informationRoth s theorem on 3-arithmetic progressions. CIMPA Research school Shillong 2013
Roth s theorem on 3-arithmetic progressions CIPA Research school Shillong 2013 Anne de Roton Institut Elie Cartan Université de Lorraine France 2 1. Introduction. In 1953, K. Roth [6] proved the following
More information1 Functions of Several Variables 2019 v2
1 Functions of Several Variables 2019 v2 11 Notation The subject of this course is the study of functions f : R n R m The elements of R n, for n 2, will be called vectors so, if m > 1, f will be said to
More informationGAPS BETWEEN FRACTIONAL PARTS, AND ADDITIVE COMBINATORICS. Antal Balog, Andrew Granville and Jozsef Solymosi
GAPS BETWEEN FRACTIONAL PARTS, AND ADDITIVE COMBINATORICS Antal Balog, Andrew Granville and Jozsef Solymosi Abstract. We give bounds on the number of distinct differences N a a as a varies over all elements
More informationA SUM-PRODUCT ESTIMATE IN ALGEBRAIC DIVISION ALGEBRAS OVER R. Department of Mathematics University of California Riverside, CA
A SUM-PRODUCT ESTIMATE IN ALGEBRAIC DIVISION ALGEBRAS OVER R 1 Mei-Chu Chang Department of Mathematics University of California Riverside, CA 951 mcc@math.ucr.edu Let A be a finite subset of an integral
More informationConstructions in Ramsey theory
Constructions in Ramsey theory Dhruv Mubayi Andrew Suk Abstract We provide several constructions for problems in Ramsey theory. First, we prove a superexponential lower bound for the classical 4-uniform
More informationErnie Croot 1. Department of Mathematics, Georgia Institute of Technology, Atlanta, GA Abstract
SUMS OF THE FORM 1/x k 1 + + 1/x k n MODULO A PRIME Ernie Croot 1 Deartment of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 ecroot@math.gatech.edu Abstract Using a sum-roduct result
More informationSum-Product Problem: New Generalisations and Applications
Sum-Product Problem: New Generalisations and Applications Igor E. Shparlinski Macquarie University ENS, Chaire France Telecom pour la sécurité des réseaux de télécommunications igor@comp.mq.edu.au 1 Background
More informationAn exact Turán result for tripartite 3-graphs
An exact Turán result for tripartite 3-graphs Adam Sanitt Department of Mathematics University College London WC1E 6BT, United Kingdom adam@sanitt.com John Talbot Department of Mathematics University College
More informationTHE SUM-PRODUCT PHENOMENON IN ARBITRARY RINGS
Volume 4, Number 2, Pages 59 82 ISSN 1715-0868 THE SUM-PRODUCT PHENOMENON IN ARBITRARY RINGS TERENCE TAO Abstract. The sum-product phenomenon predicts that a finite set A in a ring R should have either
More informationOn graphs decomposable into induced matchings of linear sizes
On graphs decomposable into induced matchings of linear sizes Jacob Fox Hao Huang Benny Sudakov Abstract We call a graph G an (r, t)-ruzsa-szemerédi graph if its edge set can be partitioned into t edge-disjoint
More informationSZEMERÉDI-TROTTER INCIDENCE THEOREM AND APPLICATIONS
SZEMERÉDI-TROTTER INCIDENCE THEOREM AND APPLICATIONS PAUL H. KOESTER Given a finite set of points P R 2 and a finite family of lines L, we define the set of incidences of P and L by I(P, L) = {(p, l) P
More informationMy favorite application using eigenvalues: Eigenvalues and the Graham-Pollak Theorem
My favorite application using eigenvalues: Eigenvalues and the Graham-Pollak Theorem Michael Tait Winter 2013 Abstract The famous Graham-Pollak Theorem states that one needs at least n 1 complete bipartite
More informationA Szemerédi-Trotter type theorem, sum-product estimates in finite quasifields, and related results
A Szemerédi-Trotter type theorem, sum-product estimates in finite uasifields, and related results arxiv:1505.07308v4 [math.nt] 19 Oct 2016 Thang Pham Michael Tait Craig Timmons Le Anh Vinh Abstract We
More informationDepartment of Mathematics University of California Riverside, CA
SOME PROBLEMS IN COMBINATORIAL NUMBER THEORY 1 Mei-Chu Chang Department of Mathematics University of California Riverside, CA 92521 mcc@math.ucr.edu dedicated to Mel Nathanson on his 60th birthday Abstract
More informationThe Erdős-Szemerédi problem on sum set and product set
Annals of Mathematics, 157 (003), 939 957 The Erdős-Szemerédi problem on sum set and product set By Mei-Chu Chang* Summary The basic theme of this paper is the fact that if A is a finite set of integers,
More informationVariants of the Erdős-Szekeres and Erdős-Hajnal Ramsey problems
Variants of the Erdős-Szekeres and Erdős-Hajnal Ramsey problems Dhruv Mubayi December 19, 2016 Abstract Given integers l, n, the lth power of the path P n is the ordered graph Pn l with vertex set v 1
More informationOff-diagonal hypergraph Ramsey numbers
Off-diagonal hypergraph Ramsey numbers Dhruv Mubayi Andrew Suk Abstract The Ramsey number r k (s, n) is the minimum such that every red-blue coloring of the k- subsets of {1,..., } contains a red set of
More informationApplications of model theory in extremal graph combinatorics
Applications of model theory in extremal graph combinatorics Artem Chernikov (IMJ-PRG, UCLA) Logic Colloquium Helsinki, August 4, 2015 Szemerédi regularity lemma Theorem [E. Szemerédi, 1975] Every large
More informationSum of dilates in vector spaces
North-Western European Journal of Mathematics Sum of dilates in vector spaces Antal Balog 1 George Shakan 2 Received: September 30, 2014/Accepted: April 23, 2015/Online: June 12, 2015 Abstract Let d 2,
More informationIndependent Transversals in r-partite Graphs
Independent Transversals in r-partite Graphs Raphael Yuster Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract Let G(r, n) denote
More informationDifference Sets are Not Multiplicatively Closed
DISCRETE ANALYSIS, 2016:17, 21 pp. www.discreteanalysisjournal.com arxiv:1602.02360v4 [math.nt] 3 Oct 2016 Difference Sets are Not Multiplicatively Closed Shkredov, I. D. Received 16 February 2016; Published
More informationCycles with consecutive odd lengths
Cycles with consecutive odd lengths arxiv:1410.0430v1 [math.co] 2 Oct 2014 Jie Ma Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA 15213. Abstract It is proved that there
More informationMinimal Paths and Cycles in Set Systems
Minimal Paths and Cycles in Set Systems Dhruv Mubayi Jacques Verstraëte July 9, 006 Abstract A minimal k-cycle is a family of sets A 0,..., A k 1 for which A i A j if and only if i = j or i and j are consecutive
More information< k 2n. 2 1 (n 2). + (1 p) s) N (n < 1
List of Problems jacques@ucsd.edu Those question with a star next to them are considered slightly more challenging. Problems 9, 11, and 19 from the book The probabilistic method, by Alon and Spencer. Question
More informationOn two problems in Ramsey-Turán theory
On two problems in Ramsey-Turán theory József Balogh Hong Liu Maryam Sharifzadeh July 7, 016 Abstract Alon, Balogh, Keevash and Sudakov proved that the (k 1)-partite Turán graph maximizes the number of
More informationSQUARES AND DIFFERENCE SETS IN FINITE FIELDS
SQUARES AND DIFFERENCE SETS IN FINITE FIELDS C. Bachoc 1 Univ Bordeaux, Institut de Mathématiques de Bordeaux, 351, cours de la Libération 33405, Talence cedex, France bachoc@math.u-bordeaux1.fr M. Matolcsi
More informationRandom sets of isomorphism of linear operators on Hilbert space
IMS Lecture Notes Monograph Series Random sets of isomorphism of linear operators on Hilbert space Roman Vershynin University of California, Davis Abstract: This note deals with a problem of the probabilistic
More informationA NOTE ON THE TURÁN FUNCTION OF EVEN CYCLES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 A NOTE ON THE TURÁN FUNCTION OF EVEN CYCLES OLEG PIKHURKO Abstract. The Turán function ex(n, F
More informationarxiv:math/ v2 [math.nt] 21 Oct 2004
SUMS OF THE FORM 1/x k 1 + +1/x k n MODULO A PRIME arxiv:math/0403360v2 [math.nt] 21 Oct 2004 Ernie Croot 1 Deartment of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 ecroot@math.gatech.edu
More informationQuadruple Systems with Independent Neighborhoods
Quadruple Systems with Independent Neighborhoods Zoltan Füredi Dhruv Mubayi Oleg Pikhurko Abstract A -graph is odd if its vertex set can be partitioned into two sets so that every edge intersects both
More informationA course on sum-product bounds
A course on sum-product bounds Frank de Zeeuw May 29, 2017 1 Sum-product bounds in R 2 1.1 Introduction...................................... 2 1.2 The Erdős-Szemerédi Theorem...........................
More informationBounds for pairs in partitions of graphs
Bounds for pairs in partitions of graphs Jie Ma Xingxing Yu School of Mathematics Georgia Institute of Technology Atlanta, GA 30332-0160, USA Abstract In this paper we study the following problem of Bollobás
More informationDisjoint Hamiltonian Cycles in Bipartite Graphs
Disjoint Hamiltonian Cycles in Bipartite Graphs Michael Ferrara 1, Ronald Gould 1, Gerard Tansey 1 Thor Whalen Abstract Let G = (X, Y ) be a bipartite graph and define σ (G) = min{d(x) + d(y) : xy / E(G),
More informationPRODUCT THEOREMS IN SL 2 AND SL 3
PRODUCT THEOREMS IN SL 2 AND SL 3 1 Mei-Chu Chang Abstract We study product theorems for matrix spaces. In particular, we prove the following theorems. Theorem 1. For all ε >, there is δ > such that if
More informationConstructive bounds for a Ramsey-type problem
Constructive bounds for a Ramsey-type problem Noga Alon Michael Krivelevich Abstract For every fixed integers r, s satisfying r < s there exists some ɛ = ɛ(r, s > 0 for which we construct explicitly an
More informationRemarks on a Ramsey theory for trees
Remarks on a Ramsey theory for trees János Pach EPFL, Lausanne and Rényi Institute, Budapest József Solymosi University of British Columbia, Vancouver Gábor Tardos Simon Fraser University and Rényi Institute,
More informationarxiv: v4 [math.ca] 30 Oct 2010
APPENDIX TO ROTH S THEOREM ON PROGRESSIONS REVISITED BY J. BOURGAIN arxiv:0710.0642v4 [math.ca] 30 Oct 2010 TOM SANDERS 1. Introduction In this appendix we flesh out the details of two results stated in
More informationOn explicit Ramsey graphs and estimates of the number of sums and products
On explicit Ramsey graphs and estimates of the number of sums and products Pavel Pudlák Abstract We give an explicit construction of a three-coloring of K N,N in which no K r,r is monochromatic for r =
More informationOn judicious bipartitions of graphs
On judicious bipartitions of graphs Jie Ma Xingxing Yu Abstract For a positive integer m, let fm be the maximum value t such that any graph with m edges has a bipartite subgraph of size at least t, and
More informationOn two-point configurations in subsets of pseudo-random sets
On two-point configurations in subsets of pseudo-random sets Elad Aigner-Horev 2 Department of Mathematics University of Hamburg Bundesstrasse 55 D-20146 Hamburg, Germany Hiệp Hàn 1,3 Instituto de Matemática
More informationVERTEX DEGREE SUMS FOR PERFECT MATCHINGS IN 3-UNIFORM HYPERGRAPHS
VERTEX DEGREE SUMS FOR PERFECT MATCHINGS IN 3-UNIFORM HYPERGRAPHS YI ZHANG, YI ZHAO, AND MEI LU Abstract. We determine the minimum degree sum of two adjacent vertices that ensures a perfect matching in
More informationAvoider-Enforcer games played on edge disjoint hypergraphs
Avoider-Enforcer games played on edge disjoint hypergraphs Asaf Ferber Michael Krivelevich Alon Naor July 8, 2013 Abstract We analyze Avoider-Enforcer games played on edge disjoint hypergraphs, providing
More informationAn optimal algorithm for computing Frieze Kannan regular partitions
An optimal algorithm for computing Frieze Kannan regular partitions Domingos Dellamonica Jr. Subrahmanyam Kalyanasundaram Daniel Martin Vojtěch Rödl Asaf Shapira December 7, 011 Abstract In this paper
More informationNew lower bounds for hypergraph Ramsey numbers
New lower bounds for hypergraph Ramsey numbers Dhruv Mubayi Andrew Suk Abstract The Ramsey number r k (s, n) is the minimum N such that for every red-blue coloring of the k-tuples of {1,..., N}, there
More informationA lattice point problem and additive number theory
A lattice point problem and additive number theory Noga Alon and Moshe Dubiner Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract
More informationColoring Simple Hypergraphs
Department of Mathematics, Statistics and Computer Science University of Illinois Chicago August 28, 2010 Problem Let n 2 and suppose that S [n] [n] with S 2n 1. Then some three points in S determine a
More information