Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Statement

Claim (§3, p. 12, unnumbered). For the template 1…1⏟r2…2⏟s\underbrace{1\ldots1}_{r}\underbrace{2\ldots2}_{s} over [2][2] and every kk, there is an nn such that every kk-coloring of [2]n[2]^n contains a monochromatic block set with that template whose blocks are r+sr+s singletons. The block set is uniform, of degree r+sr+s, so Conjectures E and F (see the conjecture page) hold for m=2m=2; the paper calls the case m=1m=1 trivial (p. 12).

Proof sketch

P. 12. Choose nn by Ramsey's theorem so that every kk-coloring of the ss-subsets of [n][n] has a homogeneous set of size r+sr+s. Color an ss-set by the word that is 22 on it and 11 elsewhere, take the homogeneous set's points as singleton blocks, and fix 11 outside it.

Note

This case is what covers alphabets of at most two letters in Proposition 2.4, where Lemma 2.3 needs m≥3m\ge3. When r=0r=0 or s=0s=0 the template has one rearrangement and any r+sr+s singleton blocks serve.

Source. Imre Leader, Paul A. Russell and Mark Walters, Transitive sets in Euclidean Ramsey theory, J. Combin. Theory Ser. A 119 (2012), no. 2, 382--396, doi:10.1016/j.jcta.2011.09.005; page from the arXiv version 1012.1350v1 identified in the source digest.

Read depth. Claims checked: the argument (p. 12) was read in full and followed.

Bears on

  • Problem 174: settles the two-letter cases of the paper's block-set conjectures, which on their own prove no new set Ramsey.