Upper bounds on positional Paris-Harrington games

We give upper bounds for a positional game — in the sense of Beck — based on the Paris-Harrington principle for bi-colorings of graphs and uniform hypergraphs of arbitrary dimension. The bounds show a striking difference with respect to the bounds of the combinatorial principle itself. Our results confirm a phenomenon already observed by Beck and others: the upper bounds for the game version of a combinatorial principle are drastically smaller than the upper bounds for the principle itself. In the case of Paris-Harrington games the difference is qualitatively very striking. For example, the bounds for the game on 3uniform hypergraphs are a fixed stack of exponentials while the bounds on the corresponding combinatorial principle are known to be Ackermannian! For higher dimensions, the combinatorial Paris-Harrington numbers are known to be cofinal in the Schwichtenberg-Wainer Hiearchy of fast-growing functions up to ε0, while we show that the game Paris-Harrington numbers are fixed stacks of exponentials.

[1]  J. Beck Combinatorial Games: Tic-Tac-Toe Theory , 2008 .

[2]  Jaroslav Nesetril,et al.  On Ramsey‐type positional games , 2010, J. Graph Theory.

[3]  L. Moser,et al.  AN EXTREMAL PROBLEM IN GRAPH THEORY , 2001 .

[4]  P. Erdös Some remarks on the theory of graphs , 1947 .

[5]  Thomas Wilke,et al.  Automata Logics, and Infinite Games , 2002, Lecture Notes in Computer Science.

[6]  J. Paris A Mathematical Incompleteness in Peano Arithmetic , 1977 .

[7]  Jussi KETONENt,et al.  Rapidly growing Ramsey functions , 1981 .

[8]  Paul Erdös,et al.  Some Bounds for the Ramsey-Paris-Harrington Numbers , 1981, J. Comb. Theory, Ser. A.

[9]  Frank Plumpton Ramsey,et al.  On a Problem of Formal Logic , 1930 .

[10]  Hercules versus Hidden Hydra Helper , 1991 .

[11]  D. Conlon A new upper bound for diagonal Ramsey numbers , 2006, math/0607788.

[12]  George Mills,et al.  Ramsey-Paris-Harrington Numbers for Graphs , 1985, J. Comb. Theory, Ser. A.

[13]  Wolfgang Slany,et al.  The Complexity of Graph Ramsey Games , 2000, Computers and Games.

[14]  J. Nesetril,et al.  An unprovable Ramsey-type theorem , 1992 .

[15]  D. Conlon,et al.  Hypergraph Ramsey numbers , 2008, 0808.3760.

[16]  József Beck,et al.  Van der waerden and ramsey type games , 1981, Comb..

[17]  J. Paris,et al.  Accessible Independence Results for Peano Arithmetic , 1982 .

[18]  Aleksandar Pekec,et al.  A Winning Strategy for the Ramsey Graph Game , 1995, Combinatorics, Probability and Computing.

[19]  József Beck Ramsey games , 2002, Discret. Math..

[20]  A. Hajnal,et al.  Partition relations for cardinal numbers , 1965 .

[21]  G. Szekeres,et al.  A combinatorial problem in geometry , 2009 .