Erdős and arithmetic progressions

Size: px
Start display at page:

Download "Erdős and arithmetic progressions"

Transcription

1 Erdős and arithmetic progressions W. T. Gowers University of Cambridge July 2, 2013 W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

2 Two famous Erdős conjectures Let A be a set of positive integers such that n A n 1 =. Then A contains arbitrarily long arithmetic progressions. Let ɛ 1, ɛ 2, ɛ 3,... be a sequence taking values in the set { 1, 1}. Then for every constant C there exist positive integers n and d such that n m=1 ɛ md C. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

3 Two famous Erdős conjectures Let A be a set of positive integers such that n A n 1 =. Then A contains arbitrarily long arithmetic progressions. Let ɛ 1, ɛ 2, ɛ 3,... be a sequence taking values in the set { 1, 1}. Then for every constant C there exist positive integers n and d such that n m=1 ɛ md C. A third famous Erdős conjecture about arithmetic progressions... For every m there exist distinct positive integers r 1,..., r k m and integers a 1, a 2,..., a k such that for every n N there exists i such that n a i mod r i. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

4 Interpreting the sum-of-reciprocals conjecture Given a set A, define the density function δ A by δ A (n) = n 1 A {1, 2,..., n} W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

5 Interpreting the sum-of-reciprocals conjecture Given a set A, define the density function δ A by δ A (n) = n 1 A {1, 2,..., n} The sum-of-reciprocals conjecture is roughly equivalent to the statement δ A (n) is significantly less than (log n) 1. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

6 Interpreting the conjecture continued Sufficient to prove For every k there exists n 0 such that for every n n 0, if A is any subset of {1,..., n} of cardinality at least n/ log n(log log n) 2, then A contains an arithmetic progression of length k. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

7 Motivation for the conjecture If we take A to be the set of primes, then n A n 1 = (reproved by Erdős when he was a boy). W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

8 Motivation for the conjecture If we take A to be the set of primes, then n A n 1 = (reproved by Erdős when he was a boy). So it would yield a purely combinatorial proof of the assertion that the primes contain arbitrarily long arithmetic progressions W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

9 Motivation for the conjecture If we take A to be the set of primes, then n A n 1 = (reproved by Erdős when he was a boy). So it would yield a purely combinatorial proof of the assertion that the primes contain arbitrarily long arithmetic progressions This statement is now the Green-Tao theorem. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

10 Motivation for the conjecture If we take A to be the set of primes, then n A n 1 = (reproved by Erdős when he was a boy). So it would yield a purely combinatorial proof of the assertion that the primes contain arbitrarily long arithmetic progressions This statement is now the Green-Tao theorem. But much motivation remains! W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

11 What do we know? Erdős-Turán conjecture (1936). For every k, if A is a set of integers containing no arithmetic progression of length k, then δ A (n) 0. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

12 What do we know? Erdős-Turán conjecture (1936). For every k, if A is a set of integers containing no arithmetic progression of length k, then δ A (n) 0. In 1975 this became Szemerédi s theorem. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

13 What do we know? Erdős-Turán conjecture (1936). For every k, if A is a set of integers containing no arithmetic progression of length k, then δ A (n) 0. In 1975 this became Szemerédi s theorem. Szemerédi s proof did not give useful quantitative information. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

14 What do we know? Erdős-Turán conjecture (1936). For every k, if A is a set of integers containing no arithmetic progression of length k, then δ A (n) 0. In 1975 this became Szemerédi s theorem. Szemerédi s proof did not give useful quantitative information. Alternative proof in 1977 by Furstenberg. Very important and influential, but again not quantitative. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

15 Progressions of length 3 The sum-of-reciprocals conjecture not known in first non-trivial case. Roth (1953) obtained δ A (n) C/ log log n. Heath-Brown (1987) and Szemerédi (1990) obtained δ A (n) (log n) c. Bourgain (1999) obtained δ A (n) C(log log n/ log n) 1/2. Bourgain (2008) obtained δ A (n) (log log n) 2 /(log n) 2/3. Sanders (2011) obtained δ A (n) (log n) 3/4+o(1). Sanders (2011) obtained δ A (n) C(log log n) 5 / log n. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

16 What is the right bound probably? W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

17 What is the right bound probably? Best known lower bound is due to Behrend (1946). Crucial observations are that A d-dimensional sphere contains no three points in arithmetic progression. Some d-dimensional spheres contain many points. Subsets of Z d can be isomorphic to subsets of Z. This gives a bound of the form exp( c log n). So the extremal examples are not random. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

18 Is the apparent barrier at (log n) 1 significant? W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

19 Is the apparent barrier at (log n) 1 significant? Meshulam (1995) observed that Roth s argument works very cleanly in F n 3 and gives an upper bound of C/n. Very hard to improve on this bound a favourite problem of many people. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

20 Is the apparent barrier at (log n) 1 significant? Meshulam (1995) observed that Roth s argument works very cleanly in F n 3 and gives an upper bound of C/n. Very hard to improve on this bound a favourite problem of many people. Bateman and Katz (2012) did improve it to n 1 ɛ for a small ɛ > 0. However, their proof hard to combine with Sanders s. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

21 Another piece of evidence Schoen and Shkredov (2011) proved the following. Theorem Let A be a subset of {1, 2,..., n} of density exp( c(log n) 1/6 ɛ ). Then A contains distinct elements x 1, x 2, x 3, x 4, x 5, y such that x 1 + x 2 + x 3 + x 4 + x 5 = 5y. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

22 Another piece of evidence Schoen and Shkredov (2011) proved the following. Theorem Let A be a subset of {1, 2,..., n} of density exp( c(log n) 1/6 ɛ ). Then A contains distinct elements x 1, x 2, x 3, x 4, x 5, y such that x 1 + x 2 + x 3 + x 4 + x 5 = 5y. Thus, for a closely related problem a Behrend-type bound is correct. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

23 Another piece of evidence Schoen and Shkredov (2011) proved the following. Theorem Let A be a subset of {1, 2,..., n} of density exp( c(log n) 1/6 ɛ ). Then A contains distinct elements x 1, x 2, x 3, x 4, x 5, y such that x 1 + x 2 + x 3 + x 4 + x 5 = 5y. Thus, for a closely related problem a Behrend-type bound is correct. However, convolutions of three or more sets are very different from convolutions of two sets. Therefore, it is hard to say how strong this evidence is. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

24 Longer progressions W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

25 Longer progressions To obtain a progression of length k a density of C(log log n) 1/22k+9 suffices (WTG 2001). W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

26 Longer progressions To obtain a progression of length k a density of C(log log n) 1/22k+9 suffices (WTG 2001). When k = 4, Green and Tao have improved this to exp( c log log n). In a finite-field model they have obtained (log n) c. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

27 Erdős s discrepancy problem W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

28 Erdős s discrepancy problem A homogeneous arithmetic progression is a set of the form {d, 2d,..., md}. If we colour the integers from 1 to n red or blue, the discrepancy of the colouring is the maximum over all HAPs of the difference between the number of blue elements and the number of red elements. How small can this discrepancy be? W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

29 Erdős s discrepancy problem A homogeneous arithmetic progression is a set of the form {d, 2d,..., md}. If we colour the integers from 1 to n red or blue, the discrepancy of the colouring is the maximum over all HAPs of the difference between the number of blue elements and the number of red elements. How small can this discrepancy be? Erdős conjectured that it tends to infinity with n. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

30 Again, random examples are not best A random red/blue colouring gives n 1/2+o(1). But we can do much better. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

31 Again, random examples are not best A random red/blue colouring gives n 1/2+o(1). But we can do much better. Observe that the sequence 1, 1, 0, 1, 1, 0,... is completely multiplicative. (It is a multiplicative character mod 3.) Therefore, its discrepancy is 1. Same is true of the dilation by 3 : that is, the sequence 0, 0, 1, 0, 0, -1, 0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0,... Adding together all dilations by powers of 3, we get a growth rate of log 3 n for the discrepancy. (Borwein, Choi 2006) W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

32 Completely multiplicative functions The resulting sequence, 1, -1, 1, 1, -1, -1, 1, -1, 1, 1, -1, 1, 1, -1, -1, 1, -1, -1,... is completely multiplicative. It is 1 or -1 according as the last non-zero ternary digit is 1 or 2. Partial sum up to m is the number of 1s in the ternary expansion of m. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

33 Completely multiplicative functions The resulting sequence, 1, -1, 1, 1, -1, -1, 1, -1, 1, 1, -1, 1, 1, -1, -1, 1, -1, -1,... is completely multiplicative. It is 1 or -1 according as the last non-zero ternary digit is 1 or 2. Partial sum up to m is the number of 1s in the ternary expansion of m. Discrepancy conjecture not even known for completely multiplicative functions! W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

34 What makes the problem hard? W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

35 What makes the problem hard? The extremal examples are not random. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

36 What makes the problem hard? The extremal examples are not random. The example 1, -1, 0, 1, -1, 0, 1, -1, 0,... makes it hard to turn the problem into an analytic one. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

37 What makes the problem hard? The extremal examples are not random. The example 1, -1, 0, 1, -1, 0, 1, -1, 0,... makes it hard to turn the problem into an analytic one. There are several examples (discovered by computer) of sequences of length 1124 and discrepancy 2. (Polymath5 2010) W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

38 W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

39 W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

40 Interesting variants Replace ±1 by complex numbers of modulus 1. Replace ±1 by unit vectors in a Hilbert space. Replace ±1 by non-zero elements mod p for arbitrarily large prime p. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

41 Completely multiplicative sequences again W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

42 Completely multiplicative sequences again An observation of Terence Tao. Suppose that there exists an infinite ±1 sequence of discrepancy at most C. Then there exists a completely multiplicative sequence z 1, z 2,... of complex numbers of modulus 1 such that the averages N 1 N n=1 n i=1 z i 2 are bounded above by a constant that depends on C only. Proof is a short argument using Fourier analysis. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

43 Analytic versions after all An observation of Moses Charikar (Polymath5 2010). If we can find non-negative coefficients c m,d and b n such that c m,d = 1, b n =, and m,d n c m,d (x d + x 2d + + x md ) 2 n m,d is positive semidefinite, then Erdős s conjecture is true. b n x 2 n W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

44 Why is this approach promising? W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

45 Why is this approach promising? The existence of such a quadratic form is equivalent to the Hilbert-spaces version of the conjecture. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

46 Why is this approach promising? The existence of such a quadratic form is equivalent to the Hilbert-spaces version of the conjecture. One can use semidefinite programming to work out optimal coefficients for fairly large values of n and try to get insight into what they might look like in general. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

47 Why is this approach promising? The existence of such a quadratic form is equivalent to the Hilbert-spaces version of the conjecture. One can use semidefinite programming to work out optimal coefficients for fairly large values of n and try to get insight into what they might look like in general. Shows that an analytic version may exist. If this approach works, it yields weights b n such that every sequence (x n ) with n b nx 2 n = has unbounded discrepancy. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

48 Why is this approach promising? The existence of such a quadratic form is equivalent to the Hilbert-spaces version of the conjecture. One can use semidefinite programming to work out optimal coefficients for fairly large values of n and try to get insight into what they might look like in general. Shows that an analytic version may exist. If this approach works, it yields weights b n such that every sequence (x n ) with n b nx 2 n = has unbounded discrepancy. Interesting problem: what are those weights? W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

49 Another analytic generalization The following conjecture easily implies Erdős s conjecture and is again an analytic statement. If A = (a ij ) is any infinite matrix with 1s on the diagonal, then for every C there exist homogeneous arithmetic progressions P and Q such that i P j Q a ij C. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

50 Another analytic generalization The following conjecture easily implies Erdős s conjecture and is again an analytic statement. If A = (a ij ) is any infinite matrix with 1s on the diagonal, then for every C there exist homogeneous arithmetic progressions P and Q such that i P j Q a ij C. To recover EDP, set a ij = ɛ i ɛ j. W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, / 22

Roth s Theorem on 3-term Arithmetic Progressions

Roth 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 information

Roth s Theorem on Arithmetic Progressions

Roth s Theorem on Arithmetic Progressions September 25, 2014 The Theorema of Szemerédi and Roth For Λ N the (upper asymptotic) density of Λ is the number σ(λ) := lim sup N Λ [1, N] N [0, 1] The Theorema of Szemerédi and Roth For Λ N the (upper

More information

Szemerédi s regularity lemma revisited. Lewis Memorial Lecture March 14, Terence Tao (UCLA)

Szemeré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 information

On some inequalities between prime numbers

On some inequalities between prime numbers On some inequalities between prime numbers Martin Maulhardt July 204 ABSTRACT. In 948 Erdős and Turán proved that in the set of prime numbers the inequality p n+2 p n+ < p n+ p n is satisfied infinitely

More information

PATTERNS OF PRIMES IN ARITHMETIC PROGRESSIONS

PATTERNS OF PRIMES IN ARITHMETIC PROGRESSIONS PATTERNS OF PRIMES IN ARITHMETIC PROGRESSIONS JÁNOS PINTZ Rényi Institute of the Hungarian Academy of Sciences CIRM, Dec. 13, 2016 2 1. Patterns of primes Notation: p n the n th prime, P = {p i } i=1,

More information

Research Problems in Arithmetic Combinatorics

Research 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 information

The dichotomy between structure and randomness. International Congress of Mathematicians, Aug Terence Tao (UCLA)

The dichotomy between structure and randomness. International Congress of Mathematicians, Aug Terence Tao (UCLA) The dichotomy between structure and randomness International Congress of Mathematicians, Aug 23 2006 Terence Tao (UCLA) 1 A basic problem that occurs in many areas of analysis, combinatorics, PDE, and

More information

Additive Combinatorics and Computational Complexity

Additive 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 information

Roth s theorem on 3-arithmetic progressions. CIMPA Research school Shillong 2013

Roth 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 information

Resolution of the Cap Set Problem: Progression Free Subsets of F n q are exponentially small

Resolution of the Cap Set Problem: Progression Free Subsets of F n q are exponentially small Resolution of the Cap Set Problem: Progression Free Subsets of F n q are exponentially small Jordan S. Ellenberg, Dion Gijswijt Presented by: Omri Ben-Eliezer Tel-Aviv University January 25, 2017 The Cap

More information

The Green-Tao Theorem on arithmetic progressions within the primes. Thomas Bloom

The Green-Tao Theorem on arithmetic progressions within the primes. Thomas Bloom The Green-Tao Theorem on arithmetic progressions within the primes Thomas Bloom November 7, 2010 Contents 1 Introduction 6 1.1 Heuristics..................................... 7 1.2 Arithmetic Progressions.............................

More information

1.1 Szemerédi s Regularity Lemma

1.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 information

arxiv: v2 [math.nt] 21 May 2016

arxiv: v2 [math.nt] 21 May 2016 arxiv:165.156v2 [math.nt] 21 May 216 PROGRESSION-FREE SETS IN Z n 4 ARE EXPONENTIALLY SMALL ERNIE CROOT, VSEVOLOD F. LEV, AND PÉTER PÁL PACH Abstract. We show that for integer n 1, any subset A Z n 4 free

More information

Szemerédi-Trotter type theorem and sum-product estimate in finite fields

Szemeré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 information

Sums, Products, and Rectangles

Sums, Products, and Rectangles July 11, 2012 Joint work in progress with Victor Lie, Princeton. Table of contents 1 Sums and Products 2 3 4 Preliminary definitions We consider sets of real numbers. Now: A is a *finite* set Later: A

More information

Some unsolved problems in additive/combinatorial number theory. W. T. Gowers

Some unsolved problems in additive/combinatorial number theory. W. T. Gowers Some unsolved problems in additive/combinatorial number theory. W. T. Gowers The following article is a small modification of the last part of a longer article based on two lectures given in the Harvard/MIT

More information

Ramsey theory. Andrés Eduardo Caicedo. Undergraduate Math Seminar, March 22, Department of Mathematics Boise State University

Ramsey theory. Andrés Eduardo Caicedo. Undergraduate Math Seminar, March 22, Department of Mathematics Boise State University Andrés Eduardo Department of Mathematics Boise State University Undergraduate Math Seminar, March 22, 2012 Thanks to the NSF for partial support through grant DMS-0801189. My work is mostly in set theory,

More information

A lattice point problem and additive number theory

A 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 information

Arithmetic progressions in primes

Arithmetic progressions in primes Arithmetic progressions in primes Alex Gorodnik CalTech Lake Arrowhead, September 2006 Introduction Theorem (Green,Tao) Let A P := {primes} such that Then for any k N, for some a, d N. lim sup N A [1,

More information

ARITHMETIC STRUCTURES IN RANDOM SETS. Mariah Hamel Department of Mathematics, University of British Columbia, Vancouver, B.C.

ARITHMETIC STRUCTURES IN RANDOM SETS. Mariah Hamel Department of Mathematics, University of British Columbia, Vancouver, B.C. INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A04 ARITHMETIC STRUCTURES IN RANDOM SETS Mariah Hamel Department of Mathematics, University of British Columbia, Vancouver, B.C. V6T

More information

OPEN PROBLEMS IN ADDITIVE COMBINATORICS

OPEN 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 information

On reducible and primitive subsets of F p, II

On reducible and primitive subsets of F p, II On reducible and primitive subsets of F p, II by Katalin Gyarmati Eötvös Loránd University Department of Algebra and Number Theory and MTA-ELTE Geometric and Algebraic Combinatorics Research Group H-1117

More information

Sum-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: 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 information

A PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS

A 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 information

Arithmetic progressions in multiplicative groups of finite fields

Arithmetic progressions in multiplicative groups of finite fields arxiv:1608.05449v2 [math.nt] 17 Nov 2016 Arithmetic progressions in multiplicative groups of finite fields Mei-Chu Chang Department of Mathematics University of California, Riverside mcc@math.ucr.edu Abstract

More information

Department of Mathematics University of California Riverside, CA

Department 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 information

Roth s Theorem on Arithmetic Progressions

Roth s Theorem on Arithmetic Progressions CHAPTER 4 Roth s Theorem on Arithmetic Progressions c W W L Chen, 1997, 213. This chapter is available free to all individuals, on the understanding that it is not to be used for financial gain, and may

More information

Ramsey theory. Andrés Eduardo Caicedo. Graduate Student Seminar, October 19, Department of Mathematics Boise State University

Ramsey theory. Andrés Eduardo Caicedo. Graduate Student Seminar, October 19, Department of Mathematics Boise State University Andrés Eduardo Department of Mathematics Boise State University Graduate Student Seminar, October 19, 2011 Thanks to the NSF for partial support through grant DMS-0801189. My work is mostly in set theory,

More information

Ramsey theory and the geometry of Banach spaces

Ramsey 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 information

Dept of Math., SCU+USTC

Dept of Math., SCU+USTC 2015 s s Joint work with Xiaosheng Wu Dept of Math., SCU+USTC April, 2015 Outlineµ s 1 Background 2 A conjecture 3 Bohr 4 Main result 1. Background s Given a subset S = {s 1 < s 2 < } of natural numbers

More information

Additive Combinatorics

Additive Combinatorics Additive Combinatorics arxiv:1108.3790v9 [math.co] 25 Oct 2012 with a view towards Computer Science and Cryptography An Exposition Khodakhast Bibak Department of Combinatorics and Optimization University

More information

FINITE FIELDS AND APPLICATIONS Additive Combinatorics in finite fields (3 lectures)

FINITE FIELDS AND APPLICATIONS Additive Combinatorics in finite fields (3 lectures) FINITE FIELDS AND APPLICATIONS Additive Combinatorics in finite fields (3 lectures) Ana Zumalacárregui a.zumalacarregui@unsw.edu.au November 30, 2015 Contents 1 Operations on sets 1 2 Sum-product theorem

More information

Ergodic methods in additive combinatorics

Ergodic methods in additive combinatorics Ergodic methods in additive combinatorics Bryna Kra Abstract. Shortly after Szemerédi s proof that a set of positive upper density contains arbitrarily long arithmetic progressions, Furstenberg gave a

More information

Decoupling course outline Decoupling theory is a recent development in Fourier analysis with applications in partial differential equations and

Decoupling course outline Decoupling theory is a recent development in Fourier analysis with applications in partial differential equations and Decoupling course outline Decoupling theory is a recent development in Fourier analysis with applications in partial differential equations and analytic number theory. It studies the interference patterns

More information

1 i<j k (g ih j g j h i ) 0.

1 i<j k (g ih j g j h i ) 0. CONSECUTIVE PRIMES IN TUPLES WILLIAM D. BANKS, TRISTAN FREIBERG, AND CAROLINE L. TURNAGE-BUTTERBAUGH Abstract. In a stunning new advance towards the Prime k-tuple Conjecture, Maynard and Tao have shown

More information

Solving a linear equation in a set of integers II

Solving a linear equation in a set of integers II ACTA ARITHMETICA LXXII.4 (1995) Solving a linear equation in a set of integers II by Imre Z. Ruzsa (Budapest) 1. Introduction. We continue the study of linear equations started in Part I of this paper.

More information

A 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. 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 information

ARITHMETIC 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 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 information

Les chiffres des nombres premiers. (Digits of prime numbers)

Les chiffres des nombres premiers. (Digits of prime numbers) Les chiffres des nombres premiers (Digits of prime numbers) Joël RIVAT Institut de Mathématiques de Marseille, UMR 7373, Université d Aix-Marseille, France. joel.rivat@univ-amu.fr soutenu par le projet

More information

Square-Difference-Free Sets of Size Ω(n )

Square-Difference-Free Sets of Size Ω(n ) Square-Difference-Free Sets of Size Ω(n 0.7334 ) Richard Beigel Temple University William Gasarch Univ. of MD at College Park Abstract A set A N is square-difference free (henceforth SDF) if there do not

More information

Small gaps between primes

Small gaps between primes CRM, Université de Montréal Princeton/IAS Number Theory Seminar March 2014 Introduction Question What is lim inf n (p n+1 p n )? In particular, is it finite? Introduction Question What is lim inf n (p

More information

Elementary Number Theory

Elementary Number Theory Elementary Number Theory 21.8.2013 Overview The course discusses properties of numbers, the most basic mathematical objects. We are going to follow the book: David Burton: Elementary Number Theory What

More information

103 Some problems and results in elementary number theory. By P. ERDÖS in Aberdeen (Scotland). Throughout this paper c, c,... denote absolute constant

103 Some problems and results in elementary number theory. By P. ERDÖS in Aberdeen (Scotland). Throughout this paper c, c,... denote absolute constant 103 Some problems and results in elementary number theory. By P. ERDÖS in Aberdeen (Scotland). Throughout this paper c, c,... denote absolute constants, p p,,... are primes, P, P,,... is the sequence of

More information

Ergodic aspects of modern dynamics. Prime numbers in two bases

Ergodic aspects of modern dynamics. Prime numbers in two bases Ergodic aspects of modern dynamics in honour of Mariusz Lemańczyk on his 60th birthday Bedlewo, 13 June 2018 Prime numbers in two bases Christian MAUDUIT Institut de Mathématiques de Marseille UMR 7373

More information

On the Existence of Semi-Regular Sequences

On the Existence of Semi-Regular Sequences On the Existence of Semi-Regular Sequences Sergio Molina 1 joint work with T. J. Hodges 1 J. Schlather 1 Department of Mathematics University of Cincinnati DIMACS, January 2015 Sergio Molina (UC) Semi-Regular

More information

Small Sets Which Meet All the k(n)-term Arithmetic Progressions in the Interval [1;n]

Small Sets Which Meet All the k(n)-term Arithmetic Progressions in the Interval [1;n] Small Sets Which Meet All the k(n)-term Arithmetic Progressions in the Interval [1;n] Tom C. Brown and Allen R. Freedman Citation data: T.C. Brown and A.R. Freedman, Small sets which meet every f (n)-term

More information

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2 8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose

More information

BOHR CLUSTER POINTS OF SIDON SETS. L. Thomas Ramsey University of Hawaii. July 19, 1994

BOHR CLUSTER POINTS OF SIDON SETS. L. Thomas Ramsey University of Hawaii. July 19, 1994 BOHR CLUSTER POINTS OF SIDON SETS L. Thomas Ramsey University of Hawaii July 19, 1994 Abstract. If there is a Sidon subset of the integers Z which has a member of Z as a cluster point in the Bohr compactification

More information

Generalized 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: 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 information

Mei-Chu Chang Department of Mathematics University of California Riverside, CA 92521

Mei-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 information

Sum-product estimates over arbitrary finite fields

Sum-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 information

Math 259: Introduction to Analytic Number Theory The Selberg (quadratic) sieve and some applications

Math 259: Introduction to Analytic Number Theory The Selberg (quadratic) sieve and some applications Math 259: Introduction to Analytic Number Theory The Selberg (quadratic) sieve and some applications An elementary and indeed naïve approach to the distribution of primes is the following argument: an

More information

(Primes and) Squares modulo p

(Primes and) Squares modulo p (Primes and) Squares modulo p Paul Pollack MAA Invited Paper Session on Accessible Problems in Modern Number Theory January 13, 2018 1 of 15 Question Consider the infinite arithmetic progression Does it

More information

SZEMERÉDI S REGULARITY LEMMA 165

SZEMERÉ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 information

Random matrices: A Survey. Van H. Vu. Department of Mathematics Rutgers University

Random matrices: A Survey. Van H. Vu. Department of Mathematics Rutgers University Random matrices: A Survey Van H. Vu Department of Mathematics Rutgers University Basic models of random matrices Let ξ be a real or complex-valued random variable with mean 0 and variance 1. Examples.

More information

On the parity of k-th powers modulo p

On the parity of k-th powers modulo p On the parity of k-th powers modulo p Jennifer Paulhus Kansas State University paulhus@math.ksu.edu www.math.ksu.edu/ paulhus This is joint work with Todd Cochrane and Chris Pinner of Kansas State University

More information

A NEW PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS

A 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 information

The Green-Tao theorem and a relative Szemerédi theorem

The 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 information

Lecture 7. January 15, Since this is an Effective Number Theory school, we should list some effective results. x < π(x) holds for all x 67.

Lecture 7. January 15, Since this is an Effective Number Theory school, we should list some effective results. x < π(x) holds for all x 67. Lecture 7 January 5, 208 Facts about primes Since this is an Effective Number Theory school, we should list some effective results. Proposition. (i) The inequality < π() holds for all 67. log 0.5 (ii)

More information

Equidivisible consecutive integers

Equidivisible consecutive integers & Equidivisible consecutive integers Ivo Düntsch Department of Computer Science Brock University St Catherines, Ontario, L2S 3A1, Canada duentsch@cosc.brocku.ca Roger B. Eggleton Department of Mathematics

More information

Remarks on a Ramsey theory for trees

Remarks 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 information

New upper bound for sums of dilates

New 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 information

Andrzej Schinzel 80: an outstanding scientific career

Andrzej Schinzel 80: an outstanding scientific career 1 / 18 Andrzej Schinzel 80: an outstanding scientific career Kálmán Győry Short biography 2 / 18 Professor Andrzej Schinzel world-famous number theorist, old friend of Hungarian mathematicians. Born on

More information

Induced subgraphs of prescribed size

Induced subgraphs of prescribed size Induced subgraphs of prescribed size Noga Alon Michael Krivelevich Benny Sudakov Abstract A subgraph of a graph G is called trivial if it is either a clique or an independent set. Let q(g denote the maximum

More information

Szemerédi s Lemma for the Analyst

Szemeré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 information

SZEMERÉDI-TROTTER INCIDENCE THEOREM AND APPLICATIONS

SZEMERÉ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 information

A talk given at the Institute of Math., Chinese Academy of Sciences ( ).

A 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 information

VAN DER WAERDEN S THEOREM.

VAN DER WAERDEN S THEOREM. VAN DER WAERDEN S THEOREM. REU SUMMER 2005 An arithmetic progression (AP) of length k is a set of the form A = {a, a+d,..., a+(k 1)d} which we ll also denote by A = a+[0, k 1]d. A basic result due to Van

More information

MATHEMATICS 6180, SPRING 2017 SOME MOTIVATIONAL PROBLEMS IN NUMBER THEORY. p k

MATHEMATICS 6180, SPRING 2017 SOME MOTIVATIONAL PROBLEMS IN NUMBER THEORY. p k MATHEMATICS 680, SPRING 207 SOME MOTIVATIONAL PROBLEMS IN NUMBER THEORY KATHERINE E. STANGE Number theory may be loosely defined as the study of the integers: in particular, the interaction between their

More information

The Green-Tao theorem and a relative Szemerédi theorem

The 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 information

+ ε /2N) be the k th interval. k=1. k=1. k=1. k=1

+ ε /2N) be the k th interval. k=1. k=1. k=1. k=1 Trevor, Angel, and Michael Measure Zero, the Cantor Set, and the Cantor Function Measure Zero : Definition : Let X be a subset of R, the real number line, X has measure zero if and only if ε > 0 a set

More information

Sums and products. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA. Dartmouth Mathematics Society May 16, 2012

Sums and products. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA. Dartmouth Mathematics Society May 16, 2012 Sums and products Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA Dartmouth Mathematics Society May 16, 2012 Based on joint work with P. Kurlberg, J. C. Lagarias, & A. Schinzel Let s begin

More information

arxiv: v1 [math.co] 19 Mar 2019

arxiv: v1 [math.co] 19 Mar 2019 arxiv:1903.07876v1 [math.co] 19 Mar 2019 Sum-Product type Estimates over Finite Fields Esen Aksoy Yazici March 20, 2019 Abstract Let F q denote the finite field with q elements where q = p l is a prime

More information

joint with Katherine Thompson July 29, 2015 The Wake Forest/Davidson Experience in Number Theory Research A Generalization of Mordell to Ternary

joint with Katherine Thompson July 29, 2015 The Wake Forest/Davidson Experience in Number Theory Research A Generalization of Mordell to Ternary to to joint with Katherine Thompson The Wake Forest/Davidson Experience in Number Theory Research July 29, 2015 cknowledgements to Thanks to UG and to the organizers. Special thanks to Dr. Jeremy Rouse,

More information

Long 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 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 information

On Normal Numbers. Theodore A. Slaman. University of California Berkeley

On Normal Numbers. Theodore A. Slaman. University of California Berkeley 1/24 On Normal Numbers Theodore A. Slaman University of California Berkeley Joint work with Verónica Becher, and in part with Pablo Heiber, Yann Bugeaud and Jan Reimann CApril 29, 2015 2/24 Émile Borel

More information

GROWTH 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. 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 information

The dichotomy between structure and randomness, arithmetic progressions, and the primes

The dichotomy between structure and randomness, arithmetic progressions, and the primes The dichotomy between structure and randomness, arithmetic progressions, and the primes Terence Tao Abstract. A famous theorem of Szemerédi asserts that all subsets of the integers with positive upper

More information

A course in arithmetic Ramsey theory

A course in arithmetic Ramsey theory A course in arithmetic Ramsey theory Frank de Zeeuw May 6, 2017 1 Coloring Theorems 2 1.1 Van der Waerden s Theorem............................ 2 1.2 Bounds for Van der Waerden s Theorem......................

More information

DENSITY HALES-JEWETT AND MOSER NUMBERS IN LOW DIMENSIONS

DENSITY HALES-JEWETT AND MOSER NUMBERS IN LOW DIMENSIONS DENSITY HALES-JEWETT AND MOSER NUMBERS IN LOW DIMENSIONS D.H.J. POLYMATH Abstract. For any n 0 and k 1, the density Hales-Jewett number c n,k is defined as the size of the largest subset of the cube [k]

More information

Distribution of Prime Numbers Prime Constellations Diophantine Approximation. Prime Numbers. How Far Apart Are They? Stijn S.C. Hanson.

Distribution of Prime Numbers Prime Constellations Diophantine Approximation. Prime Numbers. How Far Apart Are They? Stijn S.C. Hanson. Distribution of How Far Apart Are They? June 13, 2014 Distribution of 1 Distribution of Behaviour of π(x) Behaviour of π(x; a, q) 2 Distance Between Neighbouring Primes Beyond Bounded Gaps 3 Classical

More information

What we still don t know about addition and multiplication. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA

What we still don t know about addition and multiplication. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA What we still don t know about addition and multiplication Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA You would think that all of the issues surrounding addition and multiplication were

More information

Sets of integers that do not contain long arithmetic progressions

Sets of integers that do not contain long arithmetic progressions Sets of integers that do not contain long arithmetic progressions Kevin O Bryant Department of Mathematics The City University of ew York College of Staten Island and The Graduate Center kevin@member.ams.org

More information

Goldbach and twin prime conjectures implied by strong Goldbach number sequence

Goldbach and twin prime conjectures implied by strong Goldbach number sequence Goldbach and twin prime conjectures implied by strong Goldbach number sequence Pingyuan Zhou E-mail:zhoupingyuan49@hotmail.com Abstract In this note, we present a new and direct approach to prove the Goldbach

More information

arxiv:math/ v1 [math.co] 20 Apr 2006

arxiv:math/ v1 [math.co] 20 Apr 2006 THE ERGODIC AND COMBINATORIAL APPROACHES TO SZEMERÉDI S THEOREM TERENCE TAO ariv:math/0604456v1 [math.co] 20 Apr 2006 Abstract. A famous theorem of Szemerédi asserts that any set of integers of positive

More information

An Improved Construction of Progression-Free Sets

An Improved Construction of Progression-Free Sets An Improved Construction of Progression-Free Sets Michael Elkin Ben-Gurion University + 1 The Problem Numbers i, j, l form an arithmetic triple if i = j+l 2 or j = i+l 2 or l = i+j 2. A subset S {1,2,...,

More information

REGULARITY LEMMAS FOR GRAPHS

REGULARITY 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 information

Sums and products. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA

Sums and products. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA Sums and products Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA International Number Theory Conference in Memory of Alf van der Poorten, AM 12 16 March, 2012 CARMA, the University of Newcastle

More information

Sums and products. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA. Providence College Math/CS Colloquium April 2, 2014

Sums and products. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA. Providence College Math/CS Colloquium April 2, 2014 Sums and products Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA Providence College Math/CS Colloquium April 2, 2014 Let s begin with products. Take the N N multiplication table. It has

More information

FROM HARMONIC ANALYSIS TO ARITHMETIC COMBINATORICS: A BRIEF SURVEY

FROM HARMONIC ANALYSIS TO ARITHMETIC COMBINATORICS: A BRIEF SURVEY FROM HARMONIC ANALYSIS TO ARITHMETIC COMBINATORICS: A BRIEF SURVEY IZABELLA LABA The purpose of this note is to showcase a certain line of research that connects harmonic analysis, specifically restriction

More information

Arithmetic progressions in sumsets

Arithmetic progressions in sumsets ACTA ARITHMETICA LX.2 (1991) Arithmetic progressions in sumsets by Imre Z. Ruzsa* (Budapest) 1. Introduction. Let A, B [1, N] be sets of integers, A = B = cn. Bourgain [2] proved that A + B always contains

More information

The additive structure of the squares inside rings

The additive structure of the squares inside rings The additive structure of the squares inside rings David Cushing arxiv:1611.01570v1 [math.co] 4 Nov 016 George Stagg August 10, 018 Abstract When defining the amount of additive structure on a set it is

More information

On the maximal density of sum-free sets

On the maximal density of sum-free sets ACTA ARITHMETICA XCV.3 (2000) On the maximal density of sum-free sets by Tomasz Luczak (Poznań) and Tomasz Schoen (Kiel and Poznań) 1. Introduction. For a set A N, let A(n) = A {1,..., n} and { } P(A)

More information

The discrete Fourier restriction phenomenon: the non-lattice case

The discrete Fourier restriction phenomenon: the non-lattice case The discrete Fourier restriction phenomenon: the non-lattice case November 2, 2013 Let S n 1 be the sphere of radius 1 in R n and let P n 1 = {(x 1,...,x n 1,x 2 1 +...x2 n 1 ) : 1 x i 1} be the truncated

More information

On the elliptic curve analogue of the sum-product problem

On the elliptic curve analogue of the sum-product problem Finite Fields and Their Applications 14 (2008) 721 726 http://www.elsevier.com/locate/ffa On the elliptic curve analogue of the sum-product problem Igor Shparlinski Department of Computing, Macuarie University,

More information

Least singular value of random matrices. Lewis Memorial Lecture / DIMACS minicourse March 18, Terence Tao (UCLA)

Least singular value of random matrices. Lewis Memorial Lecture / DIMACS minicourse March 18, Terence Tao (UCLA) Least singular value of random matrices Lewis Memorial Lecture / DIMACS minicourse March 18, 2008 Terence Tao (UCLA) 1 Extreme singular values Let M = (a ij ) 1 i n;1 j m be a square or rectangular matrix

More information

Arithmetic progressions and the primes

Arithmetic progressions and the primes Collect. Math. (2006), 37 88 Proceedings of the 7th International Conference on Harmonic Analysis and Partial Differential Equations El Escorial, Madrid (Spain), June 21-25, 2004 c 2006 Universitat de

More information

A quantitative ergodic theory proof of Szemerédi s theorem

A quantitative ergodic theory proof of Szemerédi s theorem A quantitative ergodic theory proof of Szemerédi s theorem Terence Tao Department of Mathematics, UCLA, Los Angeles CA 90095-1555 tao@math.ucla.edu http://www.math.ucla.edu/ tao Submitted: May 14, 2004;

More information

EXTENSIONS OF VARNAVIDES PROOF ON 3-TERM ARITHMETIC PROGRESSIONS. Abstract

EXTENSIONS OF VARNAVIDES PROOF ON 3-TERM ARITHMETIC PROGRESSIONS. Abstract EXTESIOS OF VARAVIDES PROOF O 3-TERM ARITHMETIC PROGRESSIOS LUCIA PETITO Abstract Varnavides proved, as a result of Roth s theorem, a lower bound on the number of three term arithmetic progressions in

More information

Ernie Croot 1. Department of Mathematics, Georgia Institute of Technology, Atlanta, GA Abstract

Ernie 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 information