Borel-Tukey morphisms between Ramsey homogeneity relations

Tatsuya Goto

In the authors' words

We study Borel-Tukey morphisms between almost-homogeneity relations. For finite $r, s \geq 1$ and $m, n \geq 2$ , we give the complete one-stage classification: $Hom_{m}^{r} \to_{B T} Hom_{n}^{s}$ holds exactly when $r > s$ , or when $r = s$ and $m \geq n$ . Our main result is that binary triple homogeneity requires exactly three sequential binary pair stages: $Hom_{2}^{2}; Hom_{2}^{2}; Hom_{2}^{2} ⟶_{B T} Hom_{2}^{3}$ and $Hom_{2}^{2}; Hom_{2}^{2} \neq ⟶_{B T} Hom_{2}^{3}$ . We also construct Borel morphisms $Hom_{2}^{2}; Hom_{3}^{2} ⟶_{B T} Hom_{2}^{3}$ and $Hom_{2}^{2}; Hom_{2}^{2} ⟶_{B T} Hom_{k}^{2}$ for every finite positive $k$ .

Main resultThe abstract does not state a limitation.

Borel-Tukey morphisms between Ramsey homogeneity relations

In the authors' words

More on Combinatorics & discrete math that day

Circular s-choice parking functions: an exact closed formula via rotational symmetry

Single-Fragment Forensic Coding via Multidimensional Cyclically Permutable Codes

The Deterministic Broadcast Channel Revisited: A Bipartite Graph Approach

Proof of Almkvist's conjecture on the unimodality of partition polynomials

On infinite families of [Pn​]-irregular graphs

On infinite families of $[P_{n}]$ -irregular graphs