The Green-Tao theorem and a relative Szemerédi theorem
|
|
- Lucas Gallagher
- 5 years ago
- Views:
Transcription
1 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
2 Green Tao Theorem (arxiv 2004; Annals 2008) The primes contain arbitrarily long arithmetic progressions. Examples: 3, 5, 7 5, 11, 17, 23, 29 7, 37, 67, 97, 127, 157 Longest known: 26 terms
3 Green Tao Theorem (2008) The primes contain arbitrarily long arithmetic progressions (AP). Szemerédi s Theorem (1975) Every subset of N with positive density contains arbitrarily long APs. (upper) density of A N is lim sup [N] := {1, 2,..., N} P = prime numbers Prime number theorem: N P [N] N A [N] N 1 log N
4 Proof strategy of Green Tao theorem P = prime numbers, Q = almost primes P [N] P Q with relative positive density, i.e., Q [N] > δ Step 1: Relative Szemerédi theorem (informally) If S N satisfies certain pseudorandomness conditions, then every subset of S of positive density contains long APs. Step 2: Construct a superset of primes that satisfies the conditions.
5 Relative Szemerédi theorem Relative Szemerédi theorem (informally) If S N satisfies certain pseudorandomness conditions, then every subset of S of positive density contains long APs. What pseudorandomness conditions? Green Tao: 1 Linear forms condition 2 Correlation condition
6 Relative Szemerédi theorem Relative Szemerédi theorem (informally) If S N satisfies certain pseudorandomness conditions, then every subset of S of positive density contains long APs. What pseudorandomness conditions? Green Tao: 1 Linear forms condition 2 Correlation condition A natural question (e.g., asked by Green, Gowers,... ) Does relative Szemerédi theorem hold with weaker and more natural hypotheses?
7 Relative Szemerédi theorem Relative Szemerédi theorem (informally) If S N satisfies certain pseudorandomness conditions, then every subset of S of positive density contains long APs. What pseudorandomness conditions? Green Tao: 1 Linear forms condition 2 Correlation condition no longer needed A natural question (e.g., asked by Green, Gowers,... ) Does relative Szemerédi theorem hold with weaker and more natural hypotheses? Our main result Yes! A weak linear forms condition suffices.
8 Szemerédi s theorem Host set: N Relative Szemerédi theorem Host set: some sparse subset of integers Conclusion: relatively dense subsets contain long APs
9 Szemerédi s theorem Host set: N Relative Szemerédi theorem Host set: some sparse subset of integers Random host set Kohayakawa Luczak Rödl 96 3-AP, p N 1/2 Conlon Gowers 10+ Schacht 10+ k-ap, p N 1/(k 1) Pseudorandom host set Green Tao 08 Conlon Fox Z. 13+ linear forms + correlation linear forms Conclusion: relatively dense subsets contain long APs
10 Roth s theorem Roth s theorem (1952) If A [N] is 3-AP-free, then A = o(n). [N] := {1, 2,..., N} 3-AP = 3-term arithmetic progression It ll be easier (and equivalent) to work in Z N := Z/NZ.
11 Proof of Roth s theorem Roth s theorem (1952) If A Z N is 3-AP-free, then A = o(n). Given A, construct tripartite graph G A with vertex sets X = Y = Z = Z N. G A X Y Z
12 Proof of Roth s theorem Roth s theorem (1952) If A Z N is 3-AP-free, then A = o(n). Given A, construct tripartite graph G A with vertex sets X = Y = Z = Z N. G A x y iff 2x + y A X x Y y Z
13 Proof of Roth s theorem Roth s theorem (1952) If A Z N is 3-AP-free, then A = o(n). X Given A, construct tripartite graph G A with vertex sets X = Y = Z = Z N. G A x x z iff x z A Y z Z
14 Proof of Roth s theorem Roth s theorem (1952) If A Z N is 3-AP-free, then A = o(n). Given A, construct tripartite graph G A with vertex sets X = Y = Z = Z N. G A X Y y y z iff y 2z A z Z
15 Proof of Roth s theorem Roth s theorem (1952) If A Z N is 3-AP-free, then A = o(n). X Given A, construct tripartite graph G A with vertex sets X = Y = Z = Z N. G A x y iff 2x + y A x x z iff x z A Y y y z iff y 2z A z Z
16 Proof of Roth s theorem Roth s theorem (1952) If A Z N is 3-AP-free, then A = o(n). Given A, construct tripartite graph G A with vertex sets X = Y = Z = Z N. Triangle xyz in G A 2x + y, x z, y 2z A G A x y iff 2x + y A Y y X x y z iff y 2z A x z iff x z A z Z
17 Proof of Roth s theorem Roth s theorem (1952) If A Z N is 3-AP-free, then A = o(n). Given A, construct tripartite graph G A with vertex sets X = Y = Z = Z N. Triangle xyz in G A 2x + y, x z, y 2z A It s a 3-AP with diff x y z G A x y iff 2x + y A Y y X x y z iff y 2z A x z iff x z A z Z
18 Proof of Roth s theorem Roth s theorem (1952) If A Z N is 3-AP-free, then A = o(n). Given A, construct tripartite graph G A with vertex sets X = Y = Z = Z N. Triangle xyz in G A 2x + y, x z, y 2z A It s a 3-AP with diff x y z No triangles? Y G A x y iff 2x + y A y X x y z iff y 2z A x z iff x z A z Z
19 Proof of Roth s theorem Roth s theorem (1952) If A Z N is 3-AP-free, then A = o(n). Given A, construct tripartite graph G A with vertex sets X = Y = Z = Z N. Triangle xyz in G A 2x + y, x z, y 2z A y It s a 3-AP with diff x y z Y y z iff y 2z A No triangles? Only triangles trivial 3-APs with diff 0. G A x y iff 2x + y A X x x z iff x z A z Z
20 Proof of Roth s theorem Roth s theorem (1952) If A Z N is 3-AP-free, then A = o(n). Given A, construct tripartite graph G A with vertex sets X = Y = Z = Z N. G A x y iff 2x + y A Triangle xyz in G A 2x + y, x z, y 2z A y z It s a 3-AP with diff x y z Y y z iff y 2z A No triangles? Only triangles trivial 3-APs with diff 0. Every edge of the graph is contained in exactly one triangle (the one with x + y + z = 0). X x x z iff x z A Z
21 Proof of Roth s theorem Roth s theorem (1952) If A Z N is 3-AP-free, then A = o(n). Constructed a graph with 3N vertices 3N A edges every edge in exactly one triangle
22 Proof of Roth s theorem Roth s theorem (1952) If A Z N is 3-AP-free, then A = o(n). Constructed a graph with 3N vertices 3N A edges every edge in exactly one triangle Theorem (Ruzsa & Szemerédi 76) If every edge in a graph G = (V, E) is contained in exactly one triangle, then E = o( V 2 ). (a consequence of the triangle removal lemma) So 3N A = o(n 2 ). Thus A = o(n).
23 Relative Roth theorem Roth s theorem (1952) If A Z N is 3-AP-free, then A = o(n). Relative Roth theorem (Conlon, Fox, Z.) If S Z N satisfies some pseudorandomness conditions, and A S is 3-AP-free, then A = o( S ).
24 Relative Roth theorem Roth s theorem (1952) If A Z N is 3-AP-free, then A = o(n). Relative Roth theorem (Conlon, Fox, Z.) If S Z N satisfies some pseudorandomness conditions, and A S is 3-AP-free, then A = o( S ). G S x y iff 2x + y S Z N x x z iff x z S Z N y y z iff y 2z S z Z N
25 Relative Roth theorem Roth s theorem (1952) If A Z N is 3-AP-free, then A = o(n). Relative Roth theorem (Conlon, Fox, Z.) If S Z N satisfies some pseudorandomness conditions, and A S is 3-AP-free, then A = o( S ). G S x y iff 2x + y S Z N x x z iff x z S Pseudorandomness condition for S: G S has asymp. the expected number of embeddings of K 2,2,2 & its subgraphs (compared to random graph of same density) Z N y y z iff y 2z S z Z N K 2,2,2 & subgraphs, e.g.,
26 Analogy with quasirandom graphs Chung-Graham-Wilson 89 showed that in constant edge-density graphs, many quasirandomness conditions are equivalent, one of which is having the correct C 4 count 2-blow-up
27 Analogy with quasirandom graphs Chung-Graham-Wilson 89 showed that in constant edge-density graphs, many quasirandomness conditions are equivalent, one of which is having the correct C 4 count 2-blow-up In sparse graphs, the CGW equivalences do not hold.
28 Analogy with quasirandom graphs Chung-Graham-Wilson 89 showed that in constant edge-density graphs, many quasirandomness conditions are equivalent, one of which is having the correct C 4 count 2-blow-up In sparse graphs, the CGW equivalences do not hold. Our results can be viewed as saying that: Many extremal and Ramsey results about H (e.g., H = K 3 ) in sparse graphs hold if there is a host graph that behaves pseudorandomly with respect to counts of the 2-blow-up of H. 2-blow-up
29 Roth s theorem: from one 3-AP to many 3-APs Roth s theorem δ > 0. Every A Z N with A δn contains a 3-AP, provided N is sufficiently large.
30 Roth s theorem: from one 3-AP to many 3-APs Roth s theorem δ > 0. Every A Z N with A δn contains a 3-AP, provided N is sufficiently large. By an averaging argument (Varnavides), we get many 3-APs: Roth s theorem (counting version) δ > 0 c > 0 so that every A Z N with A δn contains at least cn 2 3-APs, provided N is sufficiently large.
31 Transference Start with (sparse) A S Z N, A δ S
32 Transference Start with (sparse) A S Z N, A δ S One can find a dense model à for A: (dense) à Z N, à N A S δ
33 Transference Start with (sparse) A S Z N, A δ S One can find a dense model à for A: (dense) à Z N, à N A S δ Counting lemma will tell us that ( ) N 3 {3-APs in A} {3-APs in S Ã}
34 Transference Start with (sparse) A S Z N, A δ S One can find a dense model à for A: (dense) à Z N, à N A S δ Counting lemma will tell us that ( ) N 3 {3-APs in A} {3-APs in S Ã} cn 2 [By Roth s Theorem] = relative Roth theorem
35 Roth s theorem: weighted version Roth s theorem (counting version) δ > 0 c > 0 so that every A Z N with A δn contains at least cn 2 3-APs, provided N is sufficiently large.
36 Roth s theorem: weighted version Roth s theorem (counting version) δ > 0 c > 0 so that every A Z N with A δn contains at least cn 2 3-APs, provided N is sufficiently large. Roth s theorem (weighted version) δ > 0 c > 0 so that every f : Z N [0, 1] with Ef δ satisfies E x,d ZN [f (x)f (x + d)f (x + 2d)] c provided N is sufficiently large.
37 Roth s theorem (weighted version) δ > 0 c > 0 so that every f : Z N [0, 1] with E[f ] δ satisfies E x,d ZN [f (x)f (x + d)f (x + 2d)] c provided N is sufficiently large. Sparse setting: some sparse host set S Z N. More generally, use a normalized measure: ν : Z N [0, ) with Eν = 1. E.g., ν = N S 1 S normalized indicator function.
38 Roth s theorem (weighted version) δ > 0 c > 0 so that every f : Z N [0, 1] with E[f ] δ satisfies E x,d ZN [f (x)f (x + d)f (x + 2d)] c provided N is sufficiently large. Sparse setting: some sparse host set S Z N. More generally, use a normalized measure: ν : Z N [0, ) with Eν = 1. E.g., ν = N S 1 S normalized indicator function. The subset A S with A δ S corresponds to f : Z N [0, ), Ef δ and f majorized by ν, meaning that f (x) ν(x) x Z N.
39 Dense setting Sparse setting Sets A Z N A δ A S Z N A δ S Functions f : Z N [0, 1] Ef δ f ν : Z N [0, ) Ef δ, Eν = 1 (sparse with ν 1 dense setting)
40 Relative Roth theorem Roth s theorem (weighted version) δ > 0 c > 0 so that every f : Z N [0, 1] with Ef δ satisfies E x,d ZN [f (x)f (x + d)f (x + 2d)] c provided N is sufficiently large. Relative Roth theorem (Conlon, Fox, Z.) δ > 0 c > 0 so that if ν : Z N [0, ) satisfies the 3-linear forms condition, and f : Z N [0, ) majorized by ν and Ef δ, then E x,d ZN [f (x)f (x + d)f (x + 2d)] c provided N is sufficiently large.
41 3-linear forms condition The density of K 2,2,2 in Z N x ν(2x + y) ν(x z) y z Z N ν( y 2z) Z N
42 Relative Roth theorem (Conlon, Fox, Z.) δ > 0 c > 0 so that if ν : Z N [0, ) satisfies the 3-linear forms condition, and f : Z N [0, ) majorized by ν and Ef δ, then E x,d ZN [f (x)f (x + d)f (x + 2d)] c provided N is sufficiently large. ν : Z N [0, ) satisfies the 3-linear forms condition if E[ν(2x + y)ν(2x + y)ν(2x + y )ν(2x + y ) ν(x z)ν(x z)ν(x z )ν(x z ) ν( y 2z)ν( y 2z)ν( y 2z )ν( y 2z )] = 1 + o(1) as well as if any subset of the 12 factors were deleted.
43 Relative Szemerédi theorem (Conlon, Fox, Z.) δ > 0, k N c(k, δ) > 0 so that if ν : Z N [0, ) satisfies the k-linear forms condition, and f : Z N [0, ) majorized by ν and Ef δ, then E x,d ZN [f (x)f (x + d)f (x + 2d) f (x + (k 1)d)] c(k, δ) provided N is sufficiently large. k = 4: build a weighted 4-partite 3-uniform hypergraph on W X Y : ν(3w + 2x + y ) on W X Z: ν(2w + x z) on W Y Z: ν(w y 2z) on X Y Z: ν( x 2y 3z) common diff: w x y z
44 Relative Szemerédi theorem (Conlon, Fox, Z.) δ > 0, k N c(k, δ) > 0 so that if ν : Z N [0, ) satisfies the k-linear forms condition, and f : Z N [0, ) majorized by ν and Ef δ, then E x,d ZN [f (x)f (x + d)f (x + 2d) f (x + (k 1)d)] c(k, δ) provided N is sufficiently large. k = 4: build a weighted 4-partite 3-uniform hypergraph on W X Y : ν(3w + 2x + y ) on W X Z: ν(2w + x z) on W Y Z: ν(w y 2z) on X Y Z: ν( x 2y 3z) common diff: w x y z 4-linear forms condition: correct count of the 2-blow-up of the simplex K (3) 4 (as well as its subgraphs)
45 Two approaches Conlon, Fox, Z. A relative Szemerédi theorem. 20pp Z. An arithmetic transference proof of a relative Sz. theorem. 6pp
46 Two approaches Conlon, Fox, Z. A relative Szemerédi theorem. 20pp Transfer hypergraph removal lemma Z. An arithmetic transference proof of a relative Sz. theorem. 6pp
47 Two approaches Conlon, Fox, Z. A relative Szemerédi theorem. 20pp Transfer hypergraph removal lemma Z. An arithmetic transference proof of a relative Sz. theorem. 6pp Transfer Szemerédi s theorem
48 Two approaches Conlon, Fox, Z. A relative Szemerédi theorem. 20pp Transfer hypergraph removal lemma More general Z. An arithmetic transference proof of a relative Sz. theorem. 6pp Transfer Szemerédi s theorem More direct
49 Transference Start with f ν (sparse) f : Z N [0, ) Ef δ
50 Transference Start with f ν (sparse) f : Z N [0, ) Ef δ Dense model theorem: one can approximate f (in cut norm) by (dense) f : ZN [0, 1] E f = Ef
51 Transference Start with f ν (sparse) f : Z N [0, ) Ef δ Dense model theorem: one can approximate f (in cut norm) by (dense) f : ZN [0, 1] E f = Ef Counting lemma implies E x,d [f (x)f (x + d)f (x + 2d)] E x,d [ f (x) f (x + d) f (x + 2d)]
52 Transference Start with f ν (sparse) f : Z N [0, ) Ef δ Dense model theorem: one can approximate f (in cut norm) by (dense) f : ZN [0, 1] E f = Ef Counting lemma implies E x,d [f (x)f (x + d)f (x + 2d)] E x,d [ f (x) f (x + d) f (x + 2d)] c [By Roth s Thm (weighted version)] = relative Roth theorem
53 Transference Start with f ν (sparse) f : Z N [0, ) Ef δ Dense model theorem: one can approximate f (in cut norm) by (dense) f : ZN [0, 1] E f = Ef Counting lemma implies E x,d [f (x)f (x + d)f (x + 2d)] E x,d [ f (x) f (x + d) f (x + 2d)] c [By Roth s Thm (weighted version)] = relative Roth theorem
54 In what sense does 0 f 1 approximate 0 f ν?
55 In what sense does 0 f 1 approximate 0 f ν? Previous approach (Green Tao): Gowers uniformity norm Our approach: cut norm (aka discrepancy)
56 In what sense does 0 f 1 approximate 0 f ν? Previous approach (Green Tao): Gowers uniformity norm Our approach: cut norm (aka discrepancy) Using cut norm: Cheaper dense model theorem Trickier counting lemma
57 Cut norm X Weighted bipartite graphs g, g : X Y R Cut norm (Frieze-Kannan): g g A ɛ means that for all A X and B Y : E x X [(g(x, y) g(x, y))1 A (x)1 B (y)] ɛ y Y B Y
58 Cut norm X Weighted bipartite graphs g, g : X Y R Cut norm (Frieze-Kannan): g g A ɛ means that for all A X and B Y : E x X [(g(x, y) g(x, y))1 A (x)1 B (y)] ɛ y Y B Y For Z N : f, f : Z N R being ɛ-close in cut norm means: for all A, B Z N E x,y ZN [(f (2x + y) f (2x + y))1 A (x)1 B (y)] ɛ. (weaker than being close in Gowers uniformity norm)
59 Dense model theorem Theorem (Dense model) If ν : Z N [0, ) is close to 1 in cut norm then f : Z N [0, ) majorized by ν f : Z N [0, 1] s.t. f is close to f in cut norm and Ef = E f
60 Dense model theorem Theorem (Dense model) If ν : Z N [0, ) is close to 1 in cut norm then f : Z N [0, ) majorized by ν f : Z N [0, 1] s.t. f is close to f in cut norm and Ef = E f Proof approaches 1. Regularity-type energy-increment argument (Green Tao, Tao Ziegler) 2. Separating hyperplane theorem / LP duality + Weierstrass polynomial approximation theorem (Gowers & Reingold Trevisan Tulsiani Vadhan)
61 Transference Start with f ν (sparse) f : Z N [0, ) Ef δ Dense model theorem: one can approximate f (in cut norm) by (dense) f : ZN [0, 1] E f = Ef Counting lemma implies E x,d [f (x)f (x + d)f (x + 2d)] E x,d [ f (x) f (x + d) f (x + 2d)] c [By Roth s Thm (weighted version)] = relative Roth theorem
62 Transference Start with f ν (sparse) f : Z N [0, ) Ef δ Dense model theorem: one can approximate f (in cut norm) by (dense) f : ZN [0, 1] E f = Ef Counting lemma implies E x,d [f (x)f (x + d)f (x + 2d)] E x,d [ f (x) f (x + d) f (x + 2d)] c [By Roth s Thm (weighted version)] = relative Roth theorem
63 Counting lemma Weighted graphs g, g : (X Y ) (X Z) (Y Z) R Triangle counting lemma (dense setting) Assume 0 g, g 1. If g g ɛ, then E[g(x, y)g(x, z)g(y, z)] = E[ g(x, y) g(x, z) g(y, z)] + O(ɛ). y x z
64 Counting lemma Weighted graphs g, g : (X Y ) (X Z) (Y Z) R Triangle counting lemma (dense setting) Assume 0 g, g 1. If g g ɛ, then E[g(x, y)g(x, z)g(y, z)] = E[ g(x, y) g(x, z) g(y, z)] + O(ɛ). y x z E[(g(x, y) g(x, y))1 A (x)1 B (y)] ɛ A X, B Y
65 Counting lemma Weighted graphs g, g : (X Y ) (X Z) (Y Z) R Triangle counting lemma (dense setting) Assume 0 g, g 1. If g g ɛ, then E[g(x, y)g(x, z)g(y, z)] = E[ g(x, y) g(x, z) g(y, z)] + O(ɛ). y x z E[(g(x, y) g(x, y))a(x)b(y)] ɛ a: X [0, 1], b : Y [0, 1]
66 Counting lemma Weighted graphs g, g : (X Y ) (X Z) (Y Z) R Triangle counting lemma (dense setting) Assume 0 g, g 1. If g g ɛ, then E[g(x, y)g(x, z)g(y, z)] = E[ g(x, y) g(x, z) g(y, z)] + O(ɛ). y x z E[(g(x, y) g(x, y))a(x)b(y)] ɛ a: X [0, 1], b : Y [0, 1] E[g(x, y)g(x, z)g(y, z)]
67 Counting lemma Weighted graphs g, g : (X Y ) (X Z) (Y Z) R Triangle counting lemma (dense setting) Assume 0 g, g 1. If g g ɛ, then E[g(x, y)g(x, z)g(y, z)] = E[ g(x, y) g(x, z) g(y, z)] + O(ɛ). y x z E[(g(x, y) g(x, y))a(x)b(y)] ɛ a: X [0, 1], b : Y [0, 1] E[g(x, y)g(x, z)g(y, z)] = E[ g(x, y)g(x, z)g(y, z)] + O(ɛ)
68 Counting lemma Weighted graphs g, g : (X Y ) (X Z) (Y Z) R Triangle counting lemma (dense setting) Assume 0 g, g 1. If g g ɛ, then E[g(x, y)g(x, z)g(y, z)] = E[ g(x, y) g(x, z) g(y, z)] + O(ɛ). y x z E[(g(x, y) g(x, y))a(x)b(y)] ɛ a: X [0, 1], b : Y [0, 1] E[g(x, y)g(x, z)g(y, z)] = E[ g(x, y)g(x, z)g(y, z)] + O(ɛ) = E[ g(x, y) g(x, z)g(y, z)] + O(ɛ)
69 Counting lemma Weighted graphs g, g : (X Y ) (X Z) (Y Z) R Triangle counting lemma (dense setting) Assume 0 g, g 1. If g g ɛ, then E[g(x, y)g(x, z)g(y, z)] = E[ g(x, y) g(x, z) g(y, z)] + O(ɛ). y x z E[(g(x, y) g(x, y))a(x)b(y)] ɛ a: X [0, 1], b : Y [0, 1] E[g(x, y)g(x, z)g(y, z)] = E[ g(x, y)g(x, z)g(y, z)] + O(ɛ) = E[ g(x, y) g(x, z)g(y, z)] + O(ɛ) = E[ g(x, y) g(x, z) g(y, z)] + O(ɛ)
70 Counting lemma Weighted graphs g, g : (X Y ) (X Z) (Y Z) R Triangle counting lemma (dense setting) Assume 0 g, g 1. If g g ɛ, then E[g(x, y)g(x, z)g(y, z)] = E[ g(x, y) g(x, z) g(y, z)] + O(ɛ). y x z E[(g(x, y) g(x, y))a(x)b(y)] ɛ a: X [0, 1], b : Y [0, 1] E[g(x, y)g(x, z)g(y, z)] = E[ g(x, y)g(x, z)g(y, z)] + O(ɛ) = E[ g(x, y) g(x, z)g(y, z)] + O(ɛ) = E[ g(x, y) g(x, z) g(y, z)] + O(ɛ) This argument doesn t work in the sparse setting (g unbounded)
71 Sparse counting lemma Sparse triangle counting lemma (Conlon, Fox, Z.) Assume that ν satisfies the 3-linear forms condition. If 0 g ν, 0 g 1 and g g = o(1), then E[g(x, y)g(x, z)g(y, z)] = E[ g(x, y) g(x, z) g(y, z)] + o(1).
72 Sparse counting lemma Sparse triangle counting lemma (Conlon, Fox, Z.) Assume that ν satisfies the 3-linear forms condition. If 0 g ν, 0 g 1 and g g = o(1), then E[g(x, y)g(x, z)g(y, z)] = E[ g(x, y) g(x, z) g(y, z)] + o(1). Proof ingredients 1 Cauchy-Schwarz 2 Densification 3 Apply cut norm/discrepancy (as in dense case)
73 Densification x E[g(x, z)g(y, z)g(x, z )g(y, z )] y z z
74 Densification x E[g(x, z)g(y, z)g(x, z )g(y, z )] y z z Set g (x, y) := E z [g(x, z )g(y, z )], i.e., codegrees g (x, y) 1 for almost all (x, y)
75 Densification x E[g(x, z)g(y, z)g(x, z )g(y, z )] = E[g (x, y)g(x, z)g(y, z)] y z Set g (x, y) := E z [g(x, z )g(y, z )], i.e., codegrees g (x, y) 1 for almost all (x, y)
76 Densification x E[g(x, z)g(y, z)g(x, z )g(y, z )] = E[g (x, y)g(x, z)g(y, z)] y z Set g (x, y) := E z [g(x, z )g(y, z )], i.e., codegrees g (x, y) 1 for almost all (x, y) Made X Y dense. Now repeat for X Z & Y Z. Reduce to dense setting.
77 Transference Start with f ν (sparse) f : Z N [0, ) Ef δ Dense model theorem: one can approximate f (in cut norm) by (dense) f : ZN [0, 1] E f = Ef Counting lemma implies E x,d [f (x)f (x + d)f (x + 2d)] E x,d [ f (x) f (x + d) f (x + 2d)] c [By Roth s Thm (weighted version)] = relative Roth theorem
78 Coming Soon The Green-Tao theorem: an exposition
79 Coming Soon The Green-Tao theorem: an exposition A gentle exposition giving a complete & self-contained proof of the Green-Tao theorem (other than a black-box application of Szemerédi s theorem) 25 pages
80 Relative Szemerédi theorem (Conlon, Fox, Z.) If ν : Z N [0, ) satisfies the k-linear forms condition, then any f with 0 f ν and E x,d ZN [f (x)f (x + d)f (x + 2d) f (x + (k 1)d)] = o(1) must satisfy Ef = o(1). 3-linear forms condition: (x, x, y, y, z, z Unif(Z N )) E[ν(2x + y)ν(2x + y)ν(2x + y )ν(2x + y ) ν(x z)ν(x z)ν(x z )ν(x z ) ν( y 2z)ν( y 2z)ν( y 2z )ν( y 2z )] = 1 + o(1) as well as if any subset of the 12 factors were deleted. 4-linear forms condition: E[ν(3w + 2x + y) ] = 1 + o(1) THANK YOU!
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 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 informationarxiv: v1 [math.nt] 14 Sep 2017
SZEMERÉDI S THEOREM IN THE PRIMES LUKA RIMANIĆ AND JULIA WOLF arxiv:1709.04719v1 [math.nt] 14 Sep 2017 In memory of Kevin Henriot. Abstract. Green and Tao famously proved in 2005 that any subset of the
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 informationPseudorandomness in Computer Science and in Additive Combinatorics. Luca Trevisan University of California, Berkeley
Pseudorandomness in Computer Science and in Additive Combinatorics Luca Trevisan University of California, Berkeley this talk explain what notions of pseudorandomness and indistinguishability arise in
More informationEwan Davies Counting in hypergraphs via regularity inheritance
Ewan Davies Counting in hypergraphs via regularity inheritance Article (Accepted version) (Refereed) Original citation: Davies, Ewan (2015) Counting in hypergraphs via regularity inheritance. Electronic
More informationQuasirandomness, Counting and Regularity for 3-Uniform Hypergraphs. W. T. Gowers
Quasirandomness, Counting and Regularity for 3-Uniform Hypergraphs W. T. Gowers Abstract. The main results of this paper are regularity and counting lemmas for 3- uniform hypergraphs. A combination of
More informationArithmetic 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 informationarxiv: v2 [math.co] 16 Oct 2013
Extremal results in sparse pseudorandom graphs David Conlon Jacob Fox Yufei Zhao arxiv:104.6645v [math.co] 16 Oct 013 Accepted for publication in Advances in Mathematics Abstract Szemerédi s regularity
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 informationThe 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 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 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 informationThe critical window for the classical Ramsey-Turán problem
The critical window for the classical Ramsey-Turán problem Jacob Fox Po-Shen Loh Yufei Zhao Abstract The first application of Szemerédi s powerful regularity method was the following celebrated Ramsey-Turán
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 informationThe regularity method and blow-up lemmas for sparse graphs
The regularity method and blow-up lemmas for sparse graphs Y. Kohayakawa (São Paulo) SPSAS Algorithms, Combinatorics and Optimization University of São Paulo July 2016 Partially supported CAPES/DAAD (430/15),
More informationPolynomial configurations in fractal sets
(Joint work with Vincent Chan, Kevin Henriot and Malabika Pramanik) Continuous analogues of Szemerédi s theorem Given a finite configuration in R n (a fixed set of k points, e.g. a 3-term arithmetic progression
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 informationMONOCHROMATIC SCHUR TRIPLES IN RANDOMLY PERTURBED DENSE SETS OF INTEGERS
MONOCHROMATIC SCHUR TRIPLES IN RANDOMLY PERTURBED DENSE SETS OF INTEGERS ELAD AIGNER-HOREV AND YURY PERSON Abstract. Given a dense subset A of the first n positive integers, we provide a short proof showing
More informationCombinatorial theorems relative to a random set
Combinatorial theorems relative to a random set David Conlon Abstract We describe recent advances in the study of random analogues of combinatorial theorems. 1 Introduction Random graphs have played an
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 informationThe regularity method and blow-up lemmas for sparse graphs
The regularity method and blow-up lemmas for sparse graphs Y. Kohayakawa (São Paulo) SPSAS Algorithms, Combinatorics and Optimization University of São Paulo July 2016 Partially supported CAPES/DAAD (430/15),
More informationOn the K LR conjecture in random graphs
On the K LR conjecture in random graphs D. Conlon W. T. Gowers W. Samotij M. Schacht Abstract The K LR conjecture of Kohayakawa, Luczak, and Rödl is a statement that allows one to prove that asymptotically
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 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 informationThe 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 informationApplications of the Sparse Regularity Lemma
Applications of the Sparse Regularity Lemma Y. Kohayakawa (Emory and São Paulo) Extremal Combinatorics II DIMACS 2004 1 Szemerédi s regularity lemma 1. Works very well for large, dense graphs: n-vertex
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 informationRandomness and regularity
Randomness and regularity Tomasz Łuczak Abstract. For the last ten years the theory of random structures has been one of the most rapidly evolving fields of discrete mathematics. The existence of sparse
More informationDense Subsets of Pseudorandom Sets
Dense Subsets of Pseudorandom Sets [Extended Abstract] Omer Reingold Weizmann Institute of Science omer.reingold@weizmann.ac.il Luca Trevisan U.C. Berkeley luca@cs.berkeley.edu Madhur Tulsiani U.C. Berkeley
More informationInduced Ramsey-type theorems
Induced Ramsey-type theorems Jacob Fox Benny Sudakov Abstract We present a unified approach to proving Ramsey-type theorems for graphs with a forbidden induced subgraph which can be used to extend and
More informationHYPERGRAPHS, QUASI-RANDOMNESS, AND CONDITIONS FOR REGULARITY
HYPERGRAPHS, QUASI-RANDOMNESS, AND CONDITIONS FOR REGULARITY YOSHIHARU KOHAYAKAWA, VOJTĚCH RÖDL, AND JOZEF SKOKAN Dedicated to Professors Vera T. Sós and András Hajnal on the occasion of their 70th birthdays
More informationARITHMETIC 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 informationRegularity, Boosting, and Efficiently Simulating Every High-Entropy Distribution
Regularity, Boosting, and Efficiently Simulating Every High-Entropy Distribution Luca Trevisan Madhur Tulsiani Salil Vadhan April 19, 010 Abstract We show that every high-entropy distribution is indistinguishable
More informationRoth 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 informationPATTERNS 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 informationOn the Regularity Method
On the Regularity Method Gábor N. Sárközy 1 Worcester Polytechnic Institute USA 2 Computer and Automation Research Institute of the Hungarian Academy of Sciences Budapest, Hungary Co-authors: P. Dorbec,
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: v2 [math.co] 20 Jun 2018
ON ORDERED RAMSEY NUMBERS OF BOUNDED-DEGREE GRAPHS MARTIN BALKO, VÍT JELÍNEK, AND PAVEL VALTR arxiv:1606.0568v [math.co] 0 Jun 018 Abstract. An ordered graph is a pair G = G, ) where G is a graph and is
More informationDept 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 informationWEAK QUASI-RANDOMNESS FOR UNIFORM HYPERGRAPHS
WEAK QUASI-RANDOMNESS FOR UNIFORM HYPERGRAPHS DAVID CONLON, HIỆP HÀN, YURY PERSON, AND MATHIAS SCHACHT Abstract. We study quasi-random properties of k-uniform hypergraphs. Our central notion is uniform
More informationQuasi-randomness is determined by the distribution of copies of a fixed graph in equicardinal large sets
Quasi-randomness is determined by the distribution of copies of a fixed graph in equicardinal large sets Raphael Yuster 1 Department of Mathematics, University of Haifa, Haifa, Israel raphy@math.haifa.ac.il
More informationHypergraph Turán Problems (IPAM Tutorial)
(IPAM Tutorial) Peter Keevash School of Mathematical Sciences, Queen Mary, University of London. p.keevash@qmul.ac.uk Introduction: From graphs to hypergraphs Mantel s Theorem (1907) The largest graph
More informationTHE INTERPLAY OF REGULARITY METHOD AND COMPUTER SCIENCE. 1. introduction
THE INTERPLAY OF REGULARITY METHOD AND COMPUTER SCIENCE MOHAMMAD BAVARIAN Abstract. In this report, we review the connections between regularity theory, low rank approximation of matrices and tensors,
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 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 informationThe Erdős-Hajnal hypergraph Ramsey problem
The Erdős-Hajnal hypergraph Ramsey problem Dhruv Mubayi Andrew Suk February 28, 2016 Abstract Given integers 2 t k +1 n, let g k (t, n) be the minimum N such that every red/blue coloring of the k-subsets
More informationREGULARITY INHERITANCE IN PSEUDORANDOM GRAPHS
REGULARITY INHERITANCE IN PSEUDORANDOM GRAPHS PETER ALLEN*, JULIA BÖTTCHER*, JOZEF SKOKAN*, AND MAYA STEIN Abstract. Advancing the sparse regularity method, we prove one-sided and two-sided regularity
More informationA sequence of triangle-free pseudorandom graphs
A sequence of triangle-free pseudorandom graphs David Conlon Abstract A construction of Alon yields a sequence of highly pseudorandom triangle-free graphs with edge density significantly higher than one
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 informationA PROBABILISTIC THRESHOLD FOR MONOCHROMATIC ARITHMETIC PROGRESSIONS
A PROBABILISTIC THRESHOLD FOR MONOCHROMATIC ARITHMETIC PROGRESSIONS Aaron Robertson Department of Mathematics, Colgate University, Hamilton, New York arobertson@colgate.edu Abstract Let f r (k) = p k r
More informationThe Effect of Induced Subgraphs on Quasi-Randomness
The Effect of Induced Subgraphs on Quasi-Randomness Asaf Shapira Raphael Yuster Abstract One of the main questions that arise when studying random and quasi-random structures is which properties P are
More informationThe quantitative ergodic theory proof of Szemerédi s theorem
The quantitative ergodic theory proof of Szemerédi s theorem Peter Rudzis 6 June 2016 Contents 1 Introduction 2 2 Overview of the proof 4 2.1 The Z N C setting: definitions and notation for Tao s proof....
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 informationPOLYNOMIAL CONFIGURATIONS IN SUBSETS OF RANDOM AND PSEUDO-RANDOM SETS
POLYNOMIAL CONFIGURATIONS IN SUBSETS OF RANDOM AND PSEUDO-RANDOM SETS ELAD AIGNER-HOREV AND HIỆP HÀN Abstract. We prove transference results for sparse random and pseudo-random subsets of Z N,whichareanalogoustothequantitativeversionofthewellknown
More informationRandom Graphs III. Y. Kohayakawa (São Paulo) Chorin, 4 August 2006
Y. Kohayakawa (São Paulo) Chorin, 4 August 2006 Outline 1 Outline of Lecture III 1. Subgraph containment with adversary: Existence of monoχ subgraphs in coloured random graphs; properties of the form G(n,
More informationInduced 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 informationMost Continuous Functions are Nowhere Differentiable
Most Continuous Functions are Nowhere Differentiable Spring 2004 The Space of Continuous Functions Let K = [0, 1] and let C(K) be the set of all continuous functions f : K R. Definition 1 For f C(K) we
More informationA New Proof of a Theorem of Green, Tao, and Ziegler
A New Proof of a Theorem of Green, Tao, and Ziegler Omer Reingold Luca Trevisan Madhur Tulsiani, Salil Vadhan April 24, 2008 Abstract Green, Tao and Ziegler prove structure theorems of the following form:
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 informationRemoval Lemmas with Polynomial Bounds
Removal Lemmas with Polynomial Bounds Lior Gishboliner Asaf Shapira Abstract A common theme in many extremal problems in graph theory is the relation between local and global properties of graphs. One
More informationOn subgraphs of large girth
1/34 On subgraphs of large girth In Honor of the 50th Birthday of Thomas Vojtěch Rödl rodl@mathcs.emory.edu joint work with Domingos Dellamonica May, 2012 2/34 3/34 4/34 5/34 6/34 7/34 ARRANGEABILITY AND
More informationOrdered Ramsey numbers
Ordered Ramsey numbers David Conlon Jacob Fox Choongbum Lee Benny Sudakov Abstract Given a labeled graph H with vertex set {1, 2,..., n}, the ordered Ramsey number r < (H) is the minimum N such that every
More informationHigher-order Fourier analysis of F n p and the complexity of systems of linear forms
Higher-order Fourier analysis of F n p and the complexity of systems of linear forms Hamed Hatami School of Computer Science, McGill University, Montréal, Canada hatami@cs.mcgill.ca Shachar Lovett School
More informationCan a Graph Have Distinct Regular Partitions?
Can a Graph Have Distinct Regular Partitions? Noga Alon Asaf Shapira Uri Stav Abstract The regularity lemma of Szemerédi gives a concise approximate description of a graph via a so called regular partition
More informationComplementary Ramsey numbers, graph factorizations and Ramsey graphs
Complementary Ramsey numbers, graph factorizations and Ramsey graphs Akihiro Munemasa Tohoku University joint work with Masashi Shinohara May 30, 2017, Tohoku University 1st Tohoku-Bandung Bilateral Workshop:
More informationPARTITIONING PROBLEMS IN DENSE HYPERGRAPHS
PARTITIONING PROBLEMS IN DENSE HYPERGRAPHS A. CZYGRINOW Abstract. We study the general partitioning problem and the discrepancy problem in dense hypergraphs. Using the regularity lemma [16] and its algorithmic
More informationarxiv: v1 [math.co] 2 Dec 2013
What is Ramsey-equivalent to a clique? Jacob Fox Andrey Grinshpun Anita Liebenau Yury Person Tibor Szabó arxiv:1312.0299v1 [math.co] 2 Dec 2013 November 4, 2018 Abstract A graph G is Ramsey for H if every
More informationATLANTA LECTURE SERIES In Combinatorics and Graph Theory (XIX)
ATLANTA LECTURE SERIES In Combinatorics and Graph Theory (XIX) April 22-23, 2017 GEORGIA STATE UNIVERSITY Department of Mathematics and Statistics Sponsored by National Security Agency and National Science
More informationThe number of edge colorings with no monochromatic cliques
The number of edge colorings with no monochromatic cliques Noga Alon József Balogh Peter Keevash Benny Sudaov Abstract Let F n, r, ) denote the maximum possible number of distinct edge-colorings of a simple
More informationThe typical structure of graphs without given excluded subgraphs + related results
The typical structure of graphs without given excluded subgraphs + related results Noga Alon József Balogh Béla Bollobás Jane Butterfield Robert Morris Dhruv Mubayi Wojciech Samotij Miklós Simonovits.
More informationTight minimum degree conditions forcing perfect matchings in. matchings in uniform hypergraphs
Tight minimum degree conditions forcing perfect matchings in uniform hypergraphs University of Birmingham 11th September 013 Joint work with Yi Zhao (Georgia State Advertisement: Birmingham Fellowship
More informationErdős and arithmetic progressions
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, 2013 1 / 22 Two famous Erdős conjectures
More informationTHE SZEMERÉDI REGULARITY LEMMA AND ITS APPLICATION
THE SZEMERÉDI REGULARITY LEMMA AND ITS APPLICATION YAQIAO LI In this note we will prove Szemerédi s regularity lemma, and its application in proving the triangle removal lemma and the Roth s theorem on
More informationPaul Erdős and Graph Ramsey Theory
Paul Erdős and Graph Ramsey Theory Benny Sudakov ETH and UCLA Ramsey theorem Ramsey theorem Definition: The Ramsey number r(s, n) is the minimum N such that every red-blue coloring of the edges of a complete
More informationSzemerédi s Theorem via Ergodic Theory
Szemerédi s Theorem via Ergodic Theory Yufei Zhao April 20, 20 Abstract We provide an expository account of Furstenberg s ergodic theoretic proof of Szemerédi s theorem, which states that every subset
More informationThe 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 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 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 informationLecture 5. Max-cut, Expansion and Grothendieck s Inequality
CS369H: Hierarchies of Integer Programming Relaxations Spring 2016-2017 Lecture 5. Max-cut, Expansion and Grothendieck s Inequality Professor Moses Charikar Scribes: Kiran Shiragur Overview Here we derive
More informationA 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 informationOn a certain generalization of the Balog-Szemeredi-Gowers theorem
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
More informationArithmetic 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 informationGenerating all subsets of a finite set with disjoint unions
Generating all subsets of a finite set with disjoint unions David Ellis, Benny Sudakov May 011 Abstract If X is an n-element set, we call a family G PX a k-generator for X if every x X can be expressed
More informationHAMBURGER BEITRÄGE ZUR MATHEMATIK
HAMBURGER BEITRÄGE ZUR MATHEMATIK Heft 353 Extremal results for random discrete structures Mathias Schacht, Hamburg Version Oktober 2009 EXTREMAL RESULTS FOR RANDOM DISCRETE STRUCTURES MATHIAS SCHACHT
More informationGraph Limits and Parameter Testing
Graph Limits and Parameter Testing Christian Borgs borgs@microsoft.com Jennifer Chayes jchayes@microsoft.com Microsoft Research, Redmond, WA 98052 László Lovász lovasz@microsoft.com Vera T. Sós Rényi Institute
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 informationA 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 informationMonochromatic Boxes in Colored Grids
Monochromatic Boxes in Colored Grids Joshua Cooper, Stephen Fenner, and Semmy Purewal October 16, 008 Abstract A d-dimensional grid is a set of the form R = [a 1] [a d ] A d- dimensional box is a set of
More informationPigeonhole Principle and Ramsey Theory
Pigeonhole Principle and Ramsey Theory The Pigeonhole Principle (PP) has often been termed as one of the most fundamental principles in combinatorics. The familiar statement is that if we have n pigeonholes
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 informationMathematics and Computer Science
Technical Report TR-2012-001 The number of Sidon sets and the maximum size of Sidon sets contained in a sparse random set of integers by Yoshiharu Kohayakawa, Sang June Lee, Vojtech Rodl, Wojciech Samotij
More informationCycle lengths in sparse graphs
Cycle lengths in sparse graphs Benny Sudakov Jacques Verstraëte Abstract Let C(G) denote the set of lengths of cycles in a graph G. In the first part of this paper, we study the minimum possible value
More informationRamsey 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- Well-characterized problems, min-max relations, approximate certificates. - LP problems in the standard form, primal and dual linear programs
LP-Duality ( Approximation Algorithms by V. Vazirani, Chapter 12) - Well-characterized problems, min-max relations, approximate certificates - LP problems in the standard form, primal and dual linear programs
More informationOn the Chromatic Thresholds of Hypergraphs
On the Chromatic Thresholds of Hypergraphs József Balogh Jane Butterfield Ping Hu John Lenz Dhruv Mubayi September 14, 2011 Abstract Let F be a family of r-uniform hypergraphs. The chromatic threshold
More informationSHORT PATHS IN 3-UNIFORM QUASI-RANDOM HYPERGRAPHS. Joanna Polcyn. Department of Discrete Mathematics Adam Mickiewicz University
Discussiones Mathematicae Graph Theory 24 (2004 ) 469 484 SHORT PATHS IN 3-UNIFORM QUASI-RANDOM HYPERGRAPHS Joanna Polcyn Department of Discrete Mathematics Adam Mickiewicz University Poznań e-mail: joaska@amu.edu.pl
More informationarxiv: v1 [math.co] 12 Mar 2019
TRIFORCE AND CORNERS JACOB FOX, ASHWIN SAH, MEHTAAB SAWHNEY, DAVID STONER, AND YUFEI ZHAO arxiv:1903.04863v1 [math.co] 12 Mar 2019 Abstract. May the triforce be the 3-uniform hypergraph on six vertices
More informationHomework If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator.
Homework 3 1 If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator Solution: Assuming that the inverse of T were defined, then we will have to have that D(T 1
More informationarxiv:math.nt/ v2 17 Nov 2004
THE PRIMES COTAI ARBITRARILY LOG ARITHMETIC PROGRESSIOS BE GREE AD TERECE TAO Abstract. We prove that there are arbitrarily long arithmetic progressions of primes. arxiv:math.t/0404188 v2 17 ov 2004 There
More information