TY - JOUR

T1 - Strong Ramsey games

T2 - Drawing on an infinite board

AU - Hefetz, Dan

AU - Kusch, Christopher

AU - Narins, Lothar

AU - Pokrovskiy, Alexey

AU - Requilé, Clément

AU - Sarid, Amir

N1 - Publisher Copyright:
© 2017

PY - 2017/8/1

Y1 - 2017/8/1

N2 - Consider the following strong Ramsey game. Two players take turns in claiming a previously unclaimed edge of the complete graph on n vertices until all edges have been claimed. The first player to build a copy of Kq (q≥3) is declared the winner of the game. If none of the players win, then the game ends in a draw. A simple strategy stealing argument shows that the second player cannot expect to ever win this game. Moreover, for sufficiently large n, it follows from Ramsey's Theorem that the game cannot end in a draw and is thus a first player win. A famous question of Beck asks whether the minimum number of moves needed for the first player to win this game on Kn grows with n. This seems unlikely but is still wide open. A striking equivalent formulation of this question is whether the same game played on the infinite complete graph is a first player win or a draw. The target graph of the strong Ramsey game does not have to be Kq: it can be any predetermined fixed graph. In fact, it can even be a k-uniform hypergraph (and then the game is played on the infinite k-uniform hypergraph). Since strategy stealing and Ramsey's Theorem still apply, one can ask the same question: is this game a first player win or a draw? The same intuition which led most people (including the authors) to believe that the Kq strong Ramsey game on the infinite board is a first player win, would also lead one to believe that the H strong Ramsey game on the infinite board is a first player win for any uniform hypergraph H. However, in this paper we construct a 5-uniform hypergraph for which the corresponding game is a draw.

AB - Consider the following strong Ramsey game. Two players take turns in claiming a previously unclaimed edge of the complete graph on n vertices until all edges have been claimed. The first player to build a copy of Kq (q≥3) is declared the winner of the game. If none of the players win, then the game ends in a draw. A simple strategy stealing argument shows that the second player cannot expect to ever win this game. Moreover, for sufficiently large n, it follows from Ramsey's Theorem that the game cannot end in a draw and is thus a first player win. A famous question of Beck asks whether the minimum number of moves needed for the first player to win this game on Kn grows with n. This seems unlikely but is still wide open. A striking equivalent formulation of this question is whether the same game played on the infinite complete graph is a first player win or a draw. The target graph of the strong Ramsey game does not have to be Kq: it can be any predetermined fixed graph. In fact, it can even be a k-uniform hypergraph (and then the game is played on the infinite k-uniform hypergraph). Since strategy stealing and Ramsey's Theorem still apply, one can ask the same question: is this game a first player win or a draw? The same intuition which led most people (including the authors) to believe that the Kq strong Ramsey game on the infinite board is a first player win, would also lead one to believe that the H strong Ramsey game on the infinite board is a first player win for any uniform hypergraph H. However, in this paper we construct a 5-uniform hypergraph for which the corresponding game is a draw.

KW - Positional games

KW - Ramsey Theory

KW - Strong games

UR - http://www.scopus.com/inward/record.url?scp=85016317457&partnerID=8YFLogxK

U2 - 10.1016/j.jcta.2017.03.008

DO - 10.1016/j.jcta.2017.03.008

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85016317457

SN - 0097-3165

VL - 150

SP - 248

EP - 266

JO - Journal of Combinatorial Theory. Series A

JF - Journal of Combinatorial Theory. Series A

ER -