Download presentation

Presentation is loading. Please wait.

Published byElisabeth Palfrey Modified over 4 years ago

1
presented by: Ryan ODonnell Carnegie Melloni by D. H. J. Polymath

4
If A {0,1,2} n has density Ω(1), then A contains a (combinatorial) line. DHJ(3): point:1 1 2 1 2 1 0 0 0 1 0 1 1 0 1 2 0 1 2 2 line: 1 0 2 1 1 2 1 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 2 1 1 2 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 2 1 1 2 1 1 0 2 2 1 0 0 2 1 1 2 1 1 { },, 1 0 2 1 1 2 1 1 0 1 0 0 1 1 1 1

5
[Furstenberg-Katznelson91] : DHJ(k) is true k. (k = 3): δ > 0, n 0 (δ) s.t. n n 0 (δ), A {0,1,2} n has density δ A contains a line proof: Used ergodic theory. No effective bound on n 0 (δ).

6
Importance in combinatorics: Implies Szemerédis Theorem. 1 0 2 1 1 2 1 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 2 1 1 2 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 2 1 1 2 1 1 0 2 2 1 0 0 2 1 1 2 1 1

7
Why I was interested: 0 1 2 0 0, 1, 2, 1 0 1 2 2 A {0,1,2} n, no trips w/ all cols 0 0 0 1 1 0, 0, 1, 0, 1 0 1 0 0 1 A {0,1} n, no trips w/ all cols see [O-Wu09]

21
[D.H.J. Polymath]: δ > 0, n 2 O(1/δ 3 ), A {0,1,2} n has density δ A contains a line proof: Elementary probability/combinatorics. also the general k case, with Ackermann-type bounds

22
Proof sketch

23
DHJ(2): A {0,1} n dens. δ A contains line line: 1 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 { }, 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 contrapositive: If A has no comparable pairs i.e., A is an antichain then A is very sparse. Sperners Theorem

24
DHJ(2): A {0,1} n dens. δ A contains line 1234567n 00011111 equal-slices distribution

25
DHJ(2): A {0,1} n dens. δ A contains line equal-slices distribution 5 0 n 0 2 0 4 1 1 1 3 1 6 1 7 1 1 1 7 1 6 1 3 1 4 1 2 0 n 0 5 0 (each Hamming wt. equally likely)

26
DHJ(2): A {0,1} n dens. δ A contains line 5 0 n 0 2 0 4 1 1 1 3 1 6 1 7 1 1 0 1 1 0 1 1 0 1234567n equal-slices distribution DHJ(2): A {0,1} n eq-slices dens. δ A contains line

27
5 0 n 0 2 0 4 1 1 1 3 1 6 1 7 1 1 0 1 1 0 1 1 0 1234567n DHJ(2): A {0,1} n eq-slices dens. δ A contains line 00000011

28
5 0 n 0 2 0 4 1 1 1 3 1 6 1 7 1 1 0 1 1 0 1 1 0 1234567n DHJ(2): A {0,1} n eq-slices dens. δ A contains line 0000001100000011 0 0 0 0 0 1 1 0 0000001100000011

29
5 0 n 0 2 0 4 1 1 1 3 1 6 1 7 1 1 0 1 1 0 1 1 0 1234567n DHJ(2): A {0,1} n eq-slices dens. δ A contains line 0000001100000011 0 0 0 0 0 1 1 0 00000011

30
5 0 n 0 2 0 4 1 1 1 3 1 6 1 7 1 1 0 1 1 0 1 1 0 DHJ(2): A {0,1} n eq-slices dens. δ A contains line 0000001100000011 0 0 0 0 0 1 1 0 00000011 ( Pr[degen] = ) random eq-slices line

31
DHJ(2): A {0,1} n eq-slices dens. δ eq-slice-line in A w.p. δ 2 Pr[ x, y A ] = E xy x y A A & Pr = E x x A 2 Pr E x x A 2 = δ 2 (independent)

32
DHJ(2): A {0,1} n eq-slices dens. δ eq-slice-line in A w.p. δ 2

33
DHJ(2): A {0,1} n eq-slices dens. δ n 1/δ 2 A contains a line

34
DHJ(2): A {0,1} n eq-slices dens. δ Distribution Hackery 1 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 0 1 1unif rand. coords unif on eq-slices on 1 0 0 1 1 0 1 1 1 1 1 0 0 0 1 0 0 1 0 1

35
[ eq-slices ( A ) ] DHJ(2): A {0,1} n eq-slices dens. δ Distribution Hackery 1 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 0 1 1unif 1 0 0 1 1 0 1 1 1 1 1 0 0 0 1 0 0 1 0 1 easy: d TV ( unif, unif ) = o(1)unif (A) δ = E [ eq-slices A y y rand. coords

36
5 0 n 0 2 0 4 1 1 1 3 1 6 1 7 1 1 0 1 1 0 1 1 0 0000001100000011 0 0 0 0 0 1 1 0 00000011 1234567n DHJ(2): A {0,1} n eq-slices dens. δ eq-slice-line in A w.p. δ 2

37
DHJ(3): A {0,1,2} n eq-slices dens. δ eq-slice-line in A w.p. δ 3 ???

38
Pr[ x, y A ] = E xy x y A A & Pr = E x y x A 2 Pr E xy x A 2 = δ 2 (independent)

39
5 0 n 0 2 0 4 1 1 1 3 1 6 1 7 1 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 DHJ(3): A {0,1,2} n eq-slices dens. δ ? 00000011 1234567n

40
5 0 n 0 2 0 4 1 1 1 3 1 6 1 7 1 1 0 1 1 0 1 1 0 00000011 0 0 0 0 0 1 1 0 1234567n DHJ(3): A {0,1,2} n eq-slices dens. δ 00022211 2 0 2 2 0 1 1 0 eq-slices pt in {0,1,2} n eq-slices line over {0,1} n if in A as a line, & in A as a point, done!

41
DHJ(3): A {0,1,2} n eq-slices dens. δ by distrib. hackery: A {0,1} n eq-slices dens. δ also {0,1,2} n {0,1} n A A

42
DHJ(3): A {0,1,2} n eq-slices dens. δ by distrib. hackery: A {0,1} n eq-slices dens. δ also {0,1,2} n {0,1} n A A L L = { x {0,1,2} n : x 21, x 20 A } δ 2

43
L = { x {0,1,2} n : x 21, x 20 A } {0,1,2} n {0,1} n A A L δ 2 L = { x {0,1,2} n : x 21, x 20 A } {0,1,2} n {0,1} n A A L δ 2

44
L = { x {0,1,2} n : x 21, x 20 A } {0,1,2} n {0,1} n A A L δ 2 if L A, done! δ

45
L = { x {0,1,2} n : x 21, x 20 A } {0,1,2} n {0,1} n A A L δ 2 δ idea: A has dens. in

46
L = { x {0,1,2} n : x 21, x 20 A } {0,1,2} n idea: A has dens. in A δ + δ 3

47
L = { x {0,1,2} n : x 21, x 20 A } {0,1,2} n A δ + δ 3 Suppose, somehow, that

48
L = { x {0,1,2} n : x 21, x 20 A } {0,1,2} log log log n A δ + δ 3 Suppose, somehow, that

49
L = { x {0,1,2} n : x 21, x 20 A } {0,1,2} log log log n A δ + δ 3 Suppose, somehow, that Repeat.

50
L = { x {0,1,2} n : x 21, x 20 A } {0,1,2} log log log n A δ + δ 3 Suppose, somehow, that Repeat. δ 2

51
L = { x {0,1,2} n : x 21, x 20 A } {0,1,2} log log log n A δ + δ 3 Suppose, somehow, that Repeat. δ 2

52
L = { x {0,1,2} n : x 21, x 20 A } {0,1,2} log log log log log log n A δ + 2δ 3 Suppose, somehow, that Repeat.

53
L = { x {0,1,2} n : x 21, x 20 A } {0,1,2} log log log log log log log log log n A δ + 3δ 3 Suppose, somehow, that Repeat.

54
L = { x {0,1,2} n : x 21, x 20 A } {0,1,2} log (3/δ 3 ) n A > 2/3 Suppose, somehow, that Repeat. A contains line trivially. Density Increment Argument

55
L = { x {0,1,2} n : x 21, x 20 A } {0,1,2} n A δ + δ 3 Suppose, somehow, that

56
L = { x {0,1,2} n : x 21, x 20 A } Suppose, somehow, that L = { x : x 21 A } { x : x 20 A } = { x : x 21 A } (harmless cheat) pretend idea: is a 12-insensitive set 12-insensitive set

57
= { x : x 21 A } 12-insensitive set

58
= { x : x 21 A } 12-insensitive set monkeying with 1s and 2s does not affect presence in the set Closer to an isomorphic copy of

59
key thm: A dense 12-insensitive set can be almost completely partitioned into copies of

60
key thm: A dense 12-insensitive set can be almost completely partitioned into copies of

61
A has dens. δ + δ 3 inside A has dens. δ + δ 3 inside some

62
key thm: A dense 12-insensitive set can be almost completely partitioned into copies of 2 1 1 0 1 1 1 0 1 0 2 1 1 2 1 2 2 2 1 1 1 2 lemma 1: Dense 12-insensitive set contains a copy of

63
key thm: A dense 12-insensitive set can be almost completely partitioned into copies of lemma 1: Dense 12-insensitive set contains a copy of lemma 2: Dense 12-insensitive set contains a copy of {0, 1, 2} i.e., a line

64
lemma 2: Dense 12-insensitive set contains a copy of {0, 1, 2} i.e., a line lemma 2: Dense 12-insensitive set contains a copy of {0, 1, 2} i.e., a line

65
lemma 2: Dense 12-insensitive set contains a copy of {0, 1, 2} i.e., a line (i) Distrib. hack: make it dense in {0,1} n also. (ii) Apply DHJ(2). 1 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 0 1 1 A 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 A 1 0 1 1 1 1 1 1 0 2 2 1 0 0 2 1 1 2 1 1 A (iii) … by 12-insensitivity.

66
Questions?

Similar presentations

Presentation is loading. Please wait....

OK

Equivalence Relations

Equivalence Relations

© 2018 SlidePlayer.com Inc.

All rights reserved.

To make this website work, we log user data and share it with processors. To use this website, you must agree to our Privacy Policy, including cookie policy.

Ads by Google

Ppt on statistics and probability help Ppt on council of ministers kuwait Ppt on latest technology in computer Ppt on obesity prevention grants Ppt on success and failures Ppt on google glass project Ppt on 60 years of indian parliament latest Ppt on elections in india download film Ppt on ms word 2003 By appt only movie theater