Sharp exponents for bipartite Erd\H{o}s-Rado numbers

TL;DR

This paper establishes that bipartite Erdős-Rado numbers grow roughly as an exponential of m log m, revealing sharp exponents and contrasting with the non-bipartite case.

Contribution

It proves that the bipartite Erdős-Rado number's logarithm scales as Θ(m log m), providing tight bounds and advancing understanding of bipartite Ramsey theory.

Findings

log ER_B(m) = Θ(m log m)

Sharp exponents for bipartite Erdős-Rado numbers

Contrast with non-bipartite bounds

Abstract

The Erd\H{o}s-Rado canonization theorem generalizes Ramsey's theorem to edge-colorings with an unbounded number of colors, in the sense that for $n = ER(m)$ sufficiently large, any edge-coloring of $E(K_n) \to \mathbb{N}$ will yield some copy of $K_m$ which is colored according to one of four canonical patterns. In this paper, we show that in the bipartite setting, the bipartite Erd\H{o}s-Rado number $ER_B(m)$ satisfies \[ \log ER_B(m) = \Theta(m \log m). \] Comparing this to the non-bipartite setting, the best known lower and upper bounds on $\log ER(m)$ are still separated by a factor of $\log m$.