The threshold for the Maker-Breaker H -game Milo s Stojakovi c - - PowerPoint PPT Presentation

the threshold for the maker breaker h game
SMART_READER_LITE
LIVE PREVIEW

The threshold for the Maker-Breaker H -game Milo s Stojakovi c - - PowerPoint PPT Presentation

The threshold for the Maker-Breaker H -game Milo s Stojakovi c Department of Mathematics and Informatics, University of Novi Sad Joint work with Rajko Nenadov and Angelika Steger. 1 / 15 Introduction 2 / 15 Introduction A positional


slide-1
SLIDE 1

The threshold for the Maker-Breaker H-game

Miloˇ s Stojakovi´ c

Department of Mathematics and Informatics, University of Novi Sad

Joint work with Rajko Nenadov and Angelika Steger.

1 / 15

slide-2
SLIDE 2

Introduction

2 / 15

slide-3
SLIDE 3

Introduction

A positional game:

◮ The board – a finite set X, ◮ the winning sets – F ⊆ 2X, a collection of subsets of X. ◮ (X, F) – the hypergraph of the game.

2 / 15

slide-4
SLIDE 4

Introduction

A positional game:

◮ The board – a finite set X, ◮ the winning sets – F ⊆ 2X, a collection of subsets of X. ◮ (X, F) – the hypergraph of the game.

A Maker-Breaker positional game:

◮ Played by two players - Maker and Breaker, ◮ Maker and Breaker alternately claim unclaimed elements of

X,

◮ Maker wins if he claims all elements of some F ∈ F;

  • therwise Breaker wins.

2 / 15

slide-5
SLIDE 5

Introduction

A positional game:

◮ The board – a finite set X, ◮ the winning sets – F ⊆ 2X, a collection of subsets of X. ◮ (X, F) – the hypergraph of the game.

A Maker-Breaker positional game:

◮ Played by two players - Maker and Breaker, ◮ Maker and Breaker alternately claim unclaimed elements of

X,

◮ Maker wins if he claims all elements of some F ∈ F;

  • therwise Breaker wins.

A Maker-Breaker positional game on the complete graph:

◮ The board is the edge set of the complete graph Kn, ◮ the winning sets are usually representatives of a

graph-theoretic structure.

2 / 15

slide-6
SLIDE 6

Example

3 / 15

slide-7
SLIDE 7

Example

Maker-Breaker triangle game on the edge set of K6.

3 / 15

slide-8
SLIDE 8

Example

Maker-Breaker triangle game on the edge set of K6.

3 / 15

slide-9
SLIDE 9

Example

Maker-Breaker triangle game on the edge set of K6.

3 / 15

slide-10
SLIDE 10

Example

Maker-Breaker triangle game on the edge set of K6.

3 / 15

slide-11
SLIDE 11

Example

Maker-Breaker triangle game on the edge set of K6.

3 / 15

slide-12
SLIDE 12

Example

Maker-Breaker triangle game on the edge set of K6.

3 / 15

slide-13
SLIDE 13

Example

Maker-Breaker triangle game on the edge set of K6.

3 / 15

slide-14
SLIDE 14

Games on graphs

◮ Connectivity game: T – set of all spanning trees; ◮ Hamiltonicity game: H – set of all Hamiltonian cycles; ◮ H-game: GH – set of all copies of H, where H is a fixed graph

(e.g., triangle game)

4 / 15

slide-15
SLIDE 15

Games on graphs

◮ Connectivity game: T – set of all spanning trees; ◮ Hamiltonicity game: H – set of all Hamiltonian cycles; ◮ H-game: GH – set of all copies of H, where H is a fixed graph

(e.g., triangle game) The games are played on the edge set of Kn. What happens when n is large?

4 / 15

slide-16
SLIDE 16

Games on graphs

◮ Connectivity game: T – set of all spanning trees; ◮ Hamiltonicity game: H – set of all Hamiltonian cycles; ◮ H-game: GH – set of all copies of H, where H is a fixed graph

(e.g., triangle game) The games are played on the edge set of Kn. What happens when n is large? All three games are easy Maker wins!

4 / 15

slide-17
SLIDE 17

Games on graphs

◮ Connectivity game: T – set of all spanning trees; ◮ Hamiltonicity game: H – set of all Hamiltonian cycles; ◮ H-game: GH – set of all copies of H, where H is a fixed graph

(e.g., triangle game) The games are played on the edge set of Kn. What happens when n is large? All three games are easy Maker wins! To help Breaker, we can:

4 / 15

slide-18
SLIDE 18

Games on graphs

◮ Connectivity game: T – set of all spanning trees; ◮ Hamiltonicity game: H – set of all Hamiltonian cycles; ◮ H-game: GH – set of all copies of H, where H is a fixed graph

(e.g., triangle game) The games are played on the edge set of Kn. What happens when n is large? All three games are easy Maker wins! To help Breaker, we can:

◮ Let Breaker claim more than one edge in each move – biased

game,

4 / 15

slide-19
SLIDE 19

Games on graphs

◮ Connectivity game: T – set of all spanning trees; ◮ Hamiltonicity game: H – set of all Hamiltonian cycles; ◮ H-game: GH – set of all copies of H, where H is a fixed graph

(e.g., triangle game) The games are played on the edge set of Kn. What happens when n is large? All three games are easy Maker wins! To help Breaker, we can:

◮ Let Breaker claim more than one edge in each move – biased

game,

◮ Randomly remove some of the edges of the base graph before

the game starts – random game.

4 / 15

slide-20
SLIDE 20

Biased game

Biased game (1 : b) – Maker claims 1, and Breaker claims b edges per move. Introduced in [Chv´ atal-Erd˝

  • s 1978].

5 / 15

slide-21
SLIDE 21

Biased game

Biased game (1 : b) – Maker claims 1, and Breaker claims b edges per move. Introduced in [Chv´ atal-Erd˝

  • s 1978].

As b is increased, Breaker gains advantage...

5 / 15

slide-22
SLIDE 22

Biased game

Biased game (1 : b) – Maker claims 1, and Breaker claims b edges per move. Introduced in [Chv´ atal-Erd˝

  • s 1978].

As b is increased, Breaker gains advantage... For a game F, the threshold bias bF is the largest integer such that Maker can win biased (1 : bF) game.

5 / 15

slide-23
SLIDE 23

Biased game

Biased game (1 : b) – Maker claims 1, and Breaker claims b edges per move. Introduced in [Chv´ atal-Erd˝

  • s 1978].

As b is increased, Breaker gains advantage... For a game F, the threshold bias bF is the largest integer such that Maker can win biased (1 : bF) game.

◮ Connectivity game: bT = (1 + o(1))

n log n, [Gebauer-Szab´

  • 2009], [Chv´

atal-Erd˝

  • s 1978]

5 / 15

slide-24
SLIDE 24

Biased game

Biased game (1 : b) – Maker claims 1, and Breaker claims b edges per move. Introduced in [Chv´ atal-Erd˝

  • s 1978].

As b is increased, Breaker gains advantage... For a game F, the threshold bias bF is the largest integer such that Maker can win biased (1 : bF) game.

◮ Connectivity game: bT = (1 + o(1))

n log n, [Gebauer-Szab´

  • 2009], [Chv´

atal-Erd˝

  • s 1978]

◮ Hamiltonicity game: bH = (1 + o(1))

n log n, [Krivelevich 2011], [Chv´ atal-Erd˝

  • s 1978]

5 / 15

slide-25
SLIDE 25

Biased game

Biased game (1 : b) – Maker claims 1, and Breaker claims b edges per move. Introduced in [Chv´ atal-Erd˝

  • s 1978].

As b is increased, Breaker gains advantage... For a game F, the threshold bias bF is the largest integer such that Maker can win biased (1 : bF) game.

◮ Connectivity game: bT = (1 + o(1))

n log n, [Gebauer-Szab´

  • 2009], [Chv´

atal-Erd˝

  • s 1978]

◮ Hamiltonicity game: bH = (1 + o(1))

n log n, [Krivelevich 2011], [Chv´ atal-Erd˝

  • s 1978]

◮ H-game: bGH = Θ

  • n

1 m2(H)

  • .

[Bednarska- Luczak, 2000] ...where m2(H) = maxH′⊆H,v(H′)≥3

e(H′)−1 v(H′)−2.

5 / 15

slide-26
SLIDE 26

Biased game

The so-called random intuition [Erd˝

  • s] in positional games

suggests that the outcome of the same positional game

◮ played by two smart players, and ◮ played by two “stupid” (random) players,

could be the same.

6 / 15

slide-27
SLIDE 27

Biased game

The so-called random intuition [Erd˝

  • s] in positional games

suggests that the outcome of the same positional game

◮ played by two smart players, and ◮ played by two “stupid” (random) players,

could be the same. Connectivity game: bT ∼ n log n, so density of Maker’s edges at the end of the (1 : bT ) connectivity game is 1 bT + 1 ∼ log n n

6 / 15

slide-28
SLIDE 28

Biased game

The so-called random intuition [Erd˝

  • s] in positional games

suggests that the outcome of the same positional game

◮ played by two smart players, and ◮ played by two “stupid” (random) players,

could be the same. Connectivity game: bT ∼ n log n, so density of Maker’s edges at the end of the (1 : bT ) connectivity game is 1 bT + 1 ∼ log n n = pr. threshold for connectivity in G(n, p).

6 / 15

slide-29
SLIDE 29

Biased game

The so-called random intuition [Erd˝

  • s] in positional games

suggests that the outcome of the same positional game

◮ played by two smart players, and ◮ played by two “stupid” (random) players,

could be the same. Connectivity game: bT ∼ n log n, so density of Maker’s edges at the end of the (1 : bT ) connectivity game is 1 bT + 1 ∼ log n n = pr. threshold for connectivity in G(n, p). Clique game: bGH ∼ n

1 m2(H) .

But the threshold for appearance of H in G(n, p) is n−

1 m(H) ,

...where m(G) = maxG ′⊆G

e(G ′) v(G ′).

6 / 15

slide-30
SLIDE 30

Random game

7 / 15

slide-31
SLIDE 31

Random game

To help Breaker, we randomly remove some of the edges of the base graph before the game starts – each edge is included with probability p, independently.

7 / 15

slide-32
SLIDE 32

Random game

To help Breaker, we randomly remove some of the edges of the base graph before the game starts – each edge is included with probability p, independently. So, the game is actually played on the edge set of a random graph G(n, p).

7 / 15

slide-33
SLIDE 33

Random game

To help Breaker, we randomly remove some of the edges of the base graph before the game starts – each edge is included with probability p, independently. So, the game is actually played on the edge set of a random graph G(n, p). If game F is Maker’s win when played with bias (1 : 1) on Kn, the threshold probability pF is the probability at which an almost sure Breaker’s win turns into an almost sure Maker’s win.

7 / 15

slide-34
SLIDE 34

Random game

To help Breaker, we randomly remove some of the edges of the base graph before the game starts – each edge is included with probability p, independently. So, the game is actually played on the edge set of a random graph G(n, p). If game F is Maker’s win when played with bias (1 : 1) on Kn, the threshold probability pF is the probability at which an almost sure Breaker’s win turns into an almost sure Maker’s win.

◮ Pr[Maker wins F on G(n, p)] → 0 for p ≪ pF, ◮ Pr[Maker wins F on G(n, p)] → 1 for p ≫ pF.

7 / 15

slide-35
SLIDE 35

Random game

To help Breaker, we randomly remove some of the edges of the base graph before the game starts – each edge is included with probability p, independently. So, the game is actually played on the edge set of a random graph G(n, p). If game F is Maker’s win when played with bias (1 : 1) on Kn, the threshold probability pF is the probability at which an almost sure Breaker’s win turns into an almost sure Maker’s win.

◮ Pr[Maker wins F on G(n, p)] → 0 for p ≪ pF, ◮ Pr[Maker wins F on G(n, p)] → 1 for p ≫ pF.

The threshold probability surely exists, as “being Maker’s win” is an increasing graph property.

7 / 15

slide-36
SLIDE 36

Random game – what is known?

8 / 15

slide-37
SLIDE 37

Random game – what is known?

◮ Connectivity game: pT = log n

n (sharp), [St.-Szab´

  • 2005]

8 / 15

slide-38
SLIDE 38

Random game – what is known?

◮ Connectivity game: pT = log n

n (sharp), [St.-Szab´

  • 2005]

Note that pT = pconnectivity = b−1

T .

8 / 15

slide-39
SLIDE 39

Random game – what is known?

◮ Connectivity game: pT = log n

n (sharp), [St.-Szab´

  • 2005]

Note that pT = pconnectivity = b−1

T . ◮ Hamiltonicity game: pH = log n

n (sharp), [Hefetz-Krivelevich-St.-Szab´

  • 2009]

8 / 15

slide-40
SLIDE 40

Random game – what is known?

◮ Connectivity game: pT = log n

n (sharp), [St.-Szab´

  • 2005]

Note that pT = pconnectivity = b−1

T . ◮ Hamiltonicity game: pH = log n

n (sharp), [Hefetz-Krivelevich-St.-Szab´

  • 2009]

We also have pH = pHamiltonicity = b−1

H .

8 / 15

slide-41
SLIDE 41

Random H-game

9 / 15

slide-42
SLIDE 42

Random H-game

As we’ve seen, pappearance-of-H = n−

1 m(H) = n− 1 m2(H) = b−1

GH always!

9 / 15

slide-43
SLIDE 43

Random H-game

As we’ve seen, pappearance-of-H = n−

1 m(H) = n− 1 m2(H) = b−1

GH always!

We want to compare pGH and b−1

GH !

9 / 15

slide-44
SLIDE 44

Random H-game

As we’ve seen, pappearance-of-H = n−

1 m(H) = n− 1 m2(H) = b−1

GH always!

We want to compare pGH and b−1

GH ! ◮ For the triangle game, H = K3, we have pK3 = n− 5

9 .

[St.-Szab´

  • 2005]

9 / 15

slide-45
SLIDE 45

Random H-game

As we’ve seen, pappearance-of-H = n−

1 m(H) = n− 1 m2(H) = b−1

GH always!

We want to compare pGH and b−1

GH ! ◮ For the triangle game, H = K3, we have pK3 = n− 5

9 .

[St.-Szab´

  • 2005]

We have pK3 = n− 5

9 < n− 1 2 = b−1

K3 .

9 / 15

slide-46
SLIDE 46

Random H-game

As we’ve seen, pappearance-of-H = n−

1 m(H) = n− 1 m2(H) = b−1

GH always!

We want to compare pGH and b−1

GH ! ◮ For the triangle game, H = K3, we have pK3 = n− 5

9 .

[St.-Szab´

  • 2005]

We have pK3 = n− 5

9 < n− 1 2 = b−1

K3 . ◮ For the clique game for k ≥ 4, we have pKk = n−

2 k+1 .

[M¨ uller-St. 2014+]

9 / 15

slide-47
SLIDE 47

Random H-game

As we’ve seen, pappearance-of-H = n−

1 m(H) = n− 1 m2(H) = b−1

GH always!

We want to compare pGH and b−1

GH ! ◮ For the triangle game, H = K3, we have pK3 = n− 5

9 .

[St.-Szab´

  • 2005]

We have pK3 = n− 5

9 < n− 1 2 = b−1

K3 . ◮ For the clique game for k ≥ 4, we have pKk = n−

2 k+1 .

[M¨ uller-St. 2014+] As m2(Kk) = k+1

2 , here we have pKk = b−1 Kk .

9 / 15

slide-48
SLIDE 48

Random H-game

As we’ve seen, pappearance-of-H = n−

1 m(H) = n− 1 m2(H) = b−1

GH always!

We want to compare pGH and b−1

GH ! ◮ For the triangle game, H = K3, we have pK3 = n− 5

9 .

[St.-Szab´

  • 2005]

We have pK3 = n− 5

9 < n− 1 2 = b−1

K3 . ◮ For the clique game for k ≥ 4, we have pKk = n−

2 k+1 .

[M¨ uller-St. 2014+] As m2(Kk) = k+1

2 , here we have pKk = b−1 Kk . ◮ For a tree game, where H is a (fixed) tree, we have

pGH = n−

ℓ ℓ−1 , for ℓ = ℓ(H). 9 / 15

slide-49
SLIDE 49

Random H-game

As we’ve seen, pappearance-of-H = n−

1 m(H) = n− 1 m2(H) = b−1

GH always!

We want to compare pGH and b−1

GH ! ◮ For the triangle game, H = K3, we have pK3 = n− 5

9 .

[St.-Szab´

  • 2005]

We have pK3 = n− 5

9 < n− 1 2 = b−1

K3 . ◮ For the clique game for k ≥ 4, we have pKk = n−

2 k+1 .

[M¨ uller-St. 2014+] As m2(Kk) = k+1

2 , here we have pKk = b−1 Kk . ◮ For a tree game, where H is a (fixed) tree, we have

pGH = n−

ℓ ℓ−1 , for ℓ = ℓ(H).

Again, we have pGH = n−

ℓ ℓ−1 < n−1 = b−1

GH .

9 / 15

slide-50
SLIDE 50

Random H-game for general H

Question: For which H we have pGH = n−

1 m2(H) ? 10 / 15

slide-51
SLIDE 51

Random H-game for general H

Question: For which H we have pGH = n−

1 m2(H) ?

  • Theorem. [Nenadov-Steger-St. 2014+]

Let H be a graph, and suppose that H′ ⊆ H such that: m2(H′) = m2(H), H′ is strictly 2-balanced, and H′ is not a tree or a triangle. Then pGH = n−

1 m2(H) . 10 / 15

slide-52
SLIDE 52

Random H-game for general H

Question: For which H we have pGH = n−

1 m2(H) ?

  • Theorem. [Nenadov-Steger-St. 2014+]

Let H be a graph, and suppose that H′ ⊆ H such that: m2(H′) = m2(H), H′ is strictly 2-balanced, and H′ is not a tree or a triangle. Then pGH = n−

1 m2(H) .

Discussion:

10 / 15

slide-53
SLIDE 53

Random H-game for general H

Question: For which H we have pGH = n−

1 m2(H) ?

  • Theorem. [Nenadov-Steger-St. 2014+]

Let H be a graph, and suppose that H′ ⊆ H such that: m2(H′) = m2(H), H′ is strictly 2-balanced, and H′ is not a tree or a triangle. Then pGH = n−

1 m2(H) .

Discussion:

◮ If H is a tree or a triangle, we saw earlier what happens...

10 / 15

slide-54
SLIDE 54

Random H-game for general H

Question: For which H we have pGH = n−

1 m2(H) ?

  • Theorem. [Nenadov-Steger-St. 2014+]

Let H be a graph, and suppose that H′ ⊆ H such that: m2(H′) = m2(H), H′ is strictly 2-balanced, and H′ is not a tree or a triangle. Then pGH = n−

1 m2(H) .

Discussion:

◮ If H is a tree or a triangle, we saw earlier what happens... ◮ If m2(H) > 2, or if H has no triangle, Theorem applies.

10 / 15

slide-55
SLIDE 55

Random H-game for general H

Question: For which H we have pGH = n−

1 m2(H) ?

  • Theorem. [Nenadov-Steger-St. 2014+]

Let H be a graph, and suppose that H′ ⊆ H such that: m2(H′) = m2(H), H′ is strictly 2-balanced, and H′ is not a tree or a triangle. Then pGH = n−

1 m2(H) .

Discussion:

◮ If H is a tree or a triangle, we saw earlier what happens... ◮ If m2(H) > 2, or if H has no triangle, Theorem applies. ◮ If m2(H) = 2 and in H we have H′ with m2(H′) = 2 and not

containing a triangle, Theorem applies.

10 / 15

slide-56
SLIDE 56

Random H-game for general H

Question: For which H we have pGH = n−

1 m2(H) ?

  • Theorem. [Nenadov-Steger-St. 2014+]

Let H be a graph, and suppose that H′ ⊆ H such that: m2(H′) = m2(H), H′ is strictly 2-balanced, and H′ is not a tree or a triangle. Then pGH = n−

1 m2(H) .

Discussion:

◮ If H is a tree or a triangle, we saw earlier what happens... ◮ If m2(H) > 2, or if H has no triangle, Theorem applies. ◮ If m2(H) = 2 and in H we have H′ with m2(H′) = 2 and not

containing a triangle, Theorem applies.

◮ Remaining cases: H with m2(H) = 2, with max. 2-density

determined only by triangle subgraphs.

10 / 15

slide-57
SLIDE 57

Random H-game, remaining cases

Let H be graph with m2(H) = 2, with max. 2-density determined

  • nly by triangle subgraphs.

11 / 15

slide-58
SLIDE 58

Random H-game, remaining cases

Let H be graph with m2(H) = 2, with max. 2-density determined

  • nly by triangle subgraphs.

◮ The threshold is not below n− 5

9 ,

as on sparser random graph Maker is a.a.s. not able to make a triangle.

11 / 15

slide-59
SLIDE 59

Random H-game, remaining cases

Let H be graph with m2(H) = 2, with max. 2-density determined

  • nly by triangle subgraphs.

◮ The threshold is not below n− 5

9 ,

as on sparser random graph Maker is a.a.s. not able to make a triangle.

◮ The threshold is not above n− 1

2 ,

as denser random graph is H-Ramsey a.a.s., and hence Maker can claim H (strategy stealing).

11 / 15

slide-60
SLIDE 60

Random H-game, remaining cases

Let H be graph with m2(H) = 2, with max. 2-density determined

  • nly by triangle subgraphs.

◮ The threshold is not below n− 5

9 ,

as on sparser random graph Maker is a.a.s. not able to make a triangle.

◮ The threshold is not above n− 1

2 ,

as denser random graph is H-Ramsey a.a.s., and hence Maker can claim H (strategy stealing). As it will turn out, the threshold can be placed almost arbitrarily between n−5/9 and n−1/2.

11 / 15

slide-61
SLIDE 61

Random H-game, remaining cases

Graph HP:

12 / 15

slide-62
SLIDE 62

Random H-game, remaining cases

Graph HP:

  • Theorem. [Nenadov-Steger-St. 2014+]

If H is such that 9/5 < m2(H) < 2, then pGHP = n−

1 m2(H) .

Note: m2(HP) = 2.

12 / 15

slide-63
SLIDE 63

A proof – using containers in positional games

13 / 15

slide-64
SLIDE 64

A proof – using containers in positional games

How to show that Maker can win in an H-game?

13 / 15

slide-65
SLIDE 65

A proof – using containers in positional games

How to show that Maker can win in an H-game? We use container theorems of [Balogh-Morris-Samotij, 2012] and [Saxton-Thomason, 2012] (sketch of proof):

13 / 15

slide-66
SLIDE 66

A proof – using containers in positional games

How to show that Maker can win in an H-game? We use container theorems of [Balogh-Morris-Samotij, 2012] and [Saxton-Thomason, 2012] (sketch of proof): There exist containers C1, C2, ..., Ct ⊆ E(Kn), such that

◮ |Ci| ≤ (1 − δ)

n

2

  • , for all i,

◮ t is “not too large”, ◮ every H-free graph G ⊆ Kn is contained in some Ci.

13 / 15

slide-67
SLIDE 67

A proof – using containers in positional games

How to show that Maker can win in an H-game? We use container theorems of [Balogh-Morris-Samotij, 2012] and [Saxton-Thomason, 2012] (sketch of proof): There exist containers C1, C2, ..., Ct ⊆ E(Kn), such that

◮ |Ci| ≤ (1 − δ)

n

2

  • , for all i,

◮ t is “not too large”, ◮ every H-free graph G ⊆ Kn is contained in some Ci.

If Maker loses, then (at the end of the game) his graph is contained in some Ci.

13 / 15

slide-68
SLIDE 68

A proof – using containers in positional games

How to show that Maker can win in an H-game? We use container theorems of [Balogh-Morris-Samotij, 2012] and [Saxton-Thomason, 2012] (sketch of proof): There exist containers C1, C2, ..., Ct ⊆ E(Kn), such that

◮ |Ci| ≤ (1 − δ)

n

2

  • , for all i,

◮ t is “not too large”, ◮ every H-free graph G ⊆ Kn is contained in some Ci.

If Maker loses, then (at the end of the game) his graph is contained in some Ci. Hence: Maker wins if he claims an element in every container complement E(Kn) \ Ci.

13 / 15

slide-69
SLIDE 69

A proof – using containers in positional games

How to show that Maker can win in an H-game? We use container theorems of [Balogh-Morris-Samotij, 2012] and [Saxton-Thomason, 2012] (sketch of proof): There exist containers C1, C2, ..., Ct ⊆ E(Kn), such that

◮ |Ci| ≤ (1 − δ)

n

2

  • , for all i,

◮ t is “not too large”, ◮ every H-free graph G ⊆ Kn is contained in some Ci.

If Maker loses, then (at the end of the game) his graph is contained in some Ci. Hence: Maker wins if he claims an element in every container complement E(Kn) \ Ci. So, Maker can play as Container-Complement-Breaker! Winning sets are {E(Kn) \ Ci}i, each of size ≥ δ n

2

  • , and there is

not too many of them → win e.g. by Erd˝

  • s-Selfridge Theorem. ✷

13 / 15

slide-70
SLIDE 70

Hitting time of winning

14 / 15

slide-71
SLIDE 71

Hitting time of winning

For a game F, we want to describe the moment when the graph becomes “Maker’s win” in an Erd˝

  • s-R´

enyi random graph process.

14 / 15

slide-72
SLIDE 72

Hitting time of winning

For a game F, we want to describe the moment when the graph becomes “Maker’s win” in an Erd˝

  • s-R´

enyi random graph process.

◮ Connectivity game (Maker is the second player):

Hitting t. for Maker’s win = hitting t. for δ(G) ≥ 2, a.a.s. [St.-Szab´

  • 2005]

14 / 15

slide-73
SLIDE 73

Hitting time of winning

For a game F, we want to describe the moment when the graph becomes “Maker’s win” in an Erd˝

  • s-R´

enyi random graph process.

◮ Connectivity game (Maker is the second player):

Hitting t. for Maker’s win = hitting t. for δ(G) ≥ 2, a.a.s. [St.-Szab´

  • 2005]

◮ Hamiltonicity game (Maker is the second player):

Hitting t. for Maker’s win = hitting t. for δ(G) ≥ 4, a.a.s. [Ben-Shimon, Ferber, Hefetz, Krivelevich 2012]

14 / 15

slide-74
SLIDE 74

Hitting time of winning

For a game F, we want to describe the moment when the graph becomes “Maker’s win” in an Erd˝

  • s-R´

enyi random graph process.

◮ Connectivity game (Maker is the second player):

Hitting t. for Maker’s win = hitting t. for δ(G) ≥ 2, a.a.s. [St.-Szab´

  • 2005]

◮ Hamiltonicity game (Maker is the second player):

Hitting t. for Maker’s win = hitting t. for δ(G) ≥ 4, a.a.s. [Ben-Shimon, Ferber, Hefetz, Krivelevich 2012]

◮ Triangle game:

Hitting time for Maker’s win = hitting time for appearance of K5 − e, a.a.s. [M¨ uller-St. 2014+]

14 / 15

slide-75
SLIDE 75

Open problems

15 / 15

slide-76
SLIDE 76

Open problems

◮ Understand better the reason for Maker’s win in the

(biased/random) H-game...

15 / 15

slide-77
SLIDE 77

Open problems

◮ Understand better the reason for Maker’s win in the

(biased/random) H-game...

◮ ...and describe the hitting time (without mentioning games).

15 / 15

slide-78
SLIDE 78

Open problems

◮ Understand better the reason for Maker’s win in the

(biased/random) H-game...

◮ ...and describe the hitting time (without mentioning games). ◮ Determine pGH for the remaining graphs H.

15 / 15

slide-79
SLIDE 79

Open problems

◮ Understand better the reason for Maker’s win in the

(biased/random) H-game...

◮ ...and describe the hitting time (without mentioning games). ◮ Determine pGH for the remaining graphs H. ◮ Characterize all games F for which pF = b−1 F !

15 / 15

slide-80
SLIDE 80

Open problems

◮ Understand better the reason for Maker’s win in the

(biased/random) H-game...

◮ ...and describe the hitting time (without mentioning games). ◮ Determine pGH for the remaining graphs H. ◮ Characterize all games F for which pF = b−1 F ! ◮ Combining biased games and random games...

For a game F and bias b = b(n), what is the threshold probability pF(b) = pF(b, n) for “Maker’s win” in (1 : b) game?

15 / 15

slide-81
SLIDE 81

Open problems

◮ Understand better the reason for Maker’s win in the

(biased/random) H-game...

◮ ...and describe the hitting time (without mentioning games). ◮ Determine pGH for the remaining graphs H. ◮ Characterize all games F for which pF = b−1 F ! ◮ Combining biased games and random games...

For a game F and bias b = b(n), what is the threshold probability pF(b) = pF(b, n) for “Maker’s win” in (1 : b) game?

◮ Known for the connectivity game and the Hamiltonicity game, 15 / 15

slide-82
SLIDE 82

Open problems

◮ Understand better the reason for Maker’s win in the

(biased/random) H-game...

◮ ...and describe the hitting time (without mentioning games). ◮ Determine pGH for the remaining graphs H. ◮ Characterize all games F for which pF = b−1 F ! ◮ Combining biased games and random games...

For a game F and bias b = b(n), what is the threshold probability pF(b) = pF(b, n) for “Maker’s win” in (1 : b) game?

◮ Known for the connectivity game and the Hamiltonicity game, ◮ Not known for the H-game, not even for the clique game, if

1 < b < log n.

15 / 15