Presentation is loading. Please wait.

Presentation is loading. Please wait.

Thresholds for Ackermannian Ramsey Numbers Authors: Menachem Kojman Gyesik Lee Eran Omri Andreas Weiermann.

Similar presentations


Presentation on theme: "Thresholds for Ackermannian Ramsey Numbers Authors: Menachem Kojman Gyesik Lee Eran Omri Andreas Weiermann."— Presentation transcript:

1 Thresholds for Ackermannian Ramsey Numbers Authors: Menachem Kojman Gyesik Lee Eran Omri Andreas Weiermann

2 Notation … n = {1..n} means: for every coloring C of the edges of the complete graph K n, there is a complete Q monochromatic sub-graph of size k. n – Size of complete graph over which we color edges. k – Size of homogeneous sub-graph. c – Number of colors. 2 – Size of tuples we color – pairs (edges). Q is homogeneous for C Example 2

3 Example … Let us prove: means: for every coloring C of the edges of the complete graph K n, there is a complete Q monochromatic sub-graph of size k. n = 2 2k-1 – Size of complete graph over which we color edges. k – Size of homogeneous sub-graph. c = 2 – Number of colors.

4 Let us, from now on, assume the vertex set of every graph we consider is some initial segment of the natural numbers. First step: Find a m in-homogeneous complete sub-graph of size 2k. Proof …

5 Definition: A complete graph G = (E,V), with the natural ordering on V, is min- homogeneous for a coloring if for every v in V, all edges (v,u), for u > v, are assigned one color.

6 x1x1 x2x2 x3x3 x4x4 x5x5 x6x6 … Let G = (V,E) be the complete graph with V= 2 2k-1 : And let C be a coloring of the vertices of G with 2 colors (Red, Blue). C(x 1,x 2 ) = red C(x 2,x 6 ) = blue … Proof … x 2 2k-1 …

7 Mark x i with the color C(x 1, x i ) There is a monochromatic complete sub-graph of {x 2,x 3,…} of size 2 2k-2. (Say red) x1x1 x2x2 x3x3 x4x4 x5x5 … x6x6 … … Proof … x 2 2k-1 …

8 Mark x i with the color C(x 2, x i ) There is a monochromatic complete sub-graph of {x 3,x 6,…} of size 2 2k-3. (Say blue) x1x1 x2x2 x3x3 x6x6 … … Proof …

9 Now, we have a min-homogeneous sequence {x i 1, x i 2, x i 3, …, x i 2k } Mark x i a with C(x i a, x i b ) for all b > a. There is a monochromatic subset of {x i 1, x i 2, x i 3, … x i 2k } of size k. xi1xi1 xi2xi2 xi3xi3 xi4xi4 xi5xi5 xi6xi6 … Second (and final) step: Find a k-sized h omogeneous complete sub-graph … Proof … x i 2k

10 Ramsey Numbers. We Showed: On the other Hand: - Using the Probabilistic Method, we can show: To sum up: R 2 (k) – Exponential in k Denote R c (k) := The minimum n to satisfy:

11 More importantly: Explanation: - For a k-sized sequence iterate step #1 (repeated division) k times (namely, divide by at most c at each iteration)

12 Primitive Recursive Functions and Ackermann’s Function A function that can be implemented using only for-loops is called primitive recursive. primitive recursive. Ackermann’s function Ackermann’s function – A simple example of a well defined total function that is computable but not primitive recursive

13 Regressive Ramsey …. g-regressive colorings: A coloring C is g-regressive if for every (m,n) C(m,n) ≤ g(min(m,n)) = g(m) Can we still demand homogeneity?? Not necessarily!!! ( e.g C(m,n) = Id(m) ) Observe that Is true for any g: N  N which can be established by means, similar to the regular Ramsey proof and compactness.

14 Denote R g (k) := The minimum n to satisfy: We have seen so far: For a constant function, g(x) = c R g (k) ≤ c k Since The g-regressive Ramsey Number

15 On the other hand it was known … That for g = ID: R g (k) is Ackermannian in terms of k.Ackermannian Namely, DOMINATES every primitive recursive function.

16 The Problem constant g R g (k) < g k (primitive recursive.) Threshold g R g (k) is ackermannian. g = Id

17 The Results I will insert a drawing x 1/j - Ackermannian If g(n) is ‘fast’ to go below n 1/k then, R g (k) is primitive recursive If g(n) ≤ n 1/k then,

18 The Results Suppose B : N  N is positive, unbounded and non-decreasing. Let g B (n) = n 1 / B −1 (n). Where B-1(n) = min{t : B(t) ≥ n}. Then, R g B (k) is Ackermannian iff B is Ackermannian.

19 Min-homogeneity – Lower Threshold Suppose B : N  N is positive, unbounded and non-decreasing. Let g B (n) = n 1 / B −1 (n). Where B-1(n) = min{t : B(t) ≥ n}. Then, for every natural number k, it holds that R g B (k) ≤ B(k). Basic Pointers: Assume more colors. Set c = g B (n) Use repeated division to show min B(k) ≥ c k (k) g B

20 Min-homogeneity – Upper Threshold We show: To prove this, we present, given k, a bad coloring of an Akermannianly large n

21 The Bad Coloring µ µ +1 µ +2 … i k (f g ) 3 (µ) (f g ) 3 (2) (µ) (f g ) i (µ) C(m,n) = I  Largest i s.t m,n are not in same segment. D  Distance between m’s segment and n’s. {(f g ) i }

22 The Bad Coloring µ µ +1 µ +2 … i k m = µ +8 n = µ +29 C(m,n) = = I  Largest i s.t m,n are not in same segment. D  Distance between m’s segment and n’s.

23 The Coloring – Formal Definition Given a monotonically increasing function 4g 2 and a natural number k >2 with we define a coloring That is: 1. 4g 2 -regressive on the interval 2.Has no min-homogeneous set of size k+1 within that interval.

24 Definitions …

25 The Coloring … So, why is it: 4g 2 -regressive4g 2 -regressive? Avoiding a min-homogeneous setAvoiding a min-homogeneous set?

26 I will insert a drawing x 1/j - Ackermannian The Results - Surfing the waves

27 Besides The Asymptotic bounds, We can also establish:

28

29 In 1985 Kanamori & McAloon eventually DOMINATES every primitive recursive function. Had used means of Model Theory to show that the bound of : In 1991 Prömel, Thumser & Voigt and independently in 1999 Kojman & Shelah have presented two simple combinatorial proofs to this fact.

30 Input: Tuples of natural numbers Output: A natural number Basic primitive recursive functions: The constant function 0 The successor function S The projection functions P i n (x 1, x 2,…, x n ) = x i Primitive Recursive Functions

31 More complex primitive recursive functions are obtained by : Composition: h(x 0,...,x l-1 ) = f(g 0 (x 0,..., xl-1 ),...,g k-1 (x0,...,x l-1 )) Primitive recursion: h(0,x 0,...,x k-1 ) = f(x 0,...,x k-1 ) h(S(n),x 0,...,x k-1 ) = g(h(n,x 0,...,x k-1 ),n,x 0,...,x k-1 ) Primitive Recursive Functions

32 Given a function g : N  N, denote Where f 0 (n) = n and f j+1 (n) = f(f j (n)) General Definition – (f g ) Hierarchy

33 Let g = Id. Now Denote: Ack(n) = A n (n) Ackermann’s Function

34 Examples: Ackermann’s Function

35 3.Infinite Canonical Ramsey theorem (Erd ö s & Rado – 1950) Definition … Examples … 4.Finite Canonical Ramsey theorem (Erd ö s & Rado – 1950)

36

37

38

39 1. clearly: 2. On the other hand there exist t,l such that: And thus: Now, since We have

40 The Bad Coloring µ µ +1 µ +2 … i k

41 There exists no: Which is min-homogeneous for C g... But, for every (m,n) in the interval,

42 A natural G ö del ’ s sentence What is a G ö del ’ s sentence?? Paris Harrington – Notion of Relatively large SETS.

43 Previous Work 1.Infinite Ramsey ’ s theorem 2.Finite Ramsey ’ s theorem

44 Regressive Ramsey Theorem Infinite Finite (*) Examples…

45 Homogeneity – Lower Bound We show: To prove that we used:

46 Homogeneity – Upper Bound We showed: To do that we used a general, well known, coloring method …

47 The s -basis coloring

48 Example… Imagine yourself in a billiard hall… A tournament is being organized… The rules: 1.Any two players may choose to play Pool or Snooker. (Coloring pairs with two colors) 2.A tournament can take place either in Snooker or in Pool. All the couples must choose the same. (Homogeneous set) 3.Three players minimum. (Size of subset)

49 Pool= Snooker= How many players will ensure a Tournament?? 6 Ramsey Number for 3 is 6.

50 Given a function g : N  N, denote Where f 0 (n) = n and f j+1 (n) = f(f j (n)) General Definition – (f g ) Hierarchy

51 Suppose g : N  N is nondecreasing and unbounded. Then, R g (k) is bounded by some primitive recursive function in k iff for every t > 0 there is some M(t) s.t for all n ≥ M(t) it holds that g(n) < n 1/t and M(t) is primitive recursive in t.


Download ppt "Thresholds for Ackermannian Ramsey Numbers Authors: Menachem Kojman Gyesik Lee Eran Omri Andreas Weiermann."

Similar presentations


Ads by Google