arXiv++ Combinatorics

It is an important fact that extremal discrete structures -- that is, discrete structures of maximal size among those that avoid certain configurations -- exhibit strong pseudorandom behavior. We present instances of this phenomenon in the context of graph-codes, a notion put forth recently by Alon, as well as on related problems related to density polynomial Hales--Jewett conjecture.

We prove oscillation stability for the Banach space $\ell_\infty$: every weak-* Borel, uniformily continuous map from the unit sphere of this space to a compact metric space can be made arbitrarily close to a constant map when restricted to the unit sphere of a suitable linear isometric subcopy of $\ell_\infty$. We also give a new proof of oscillation stability for the Urysohn sphere (a result by Nguyen Van Thé--Sauer): every uniformily continuous map from the Urysohn sphere to a compact metric space can be made arbitrarily close to a constant map when restricted to a suitable isometric subcopy of the Urysohn sphere. Both proofs are based on Carlson-Simpson's dual Ramsey theorem.

Richmond and Richmond (American Mathematical Monthly 104 (1997), 713--719) proved the following theorem: If, in a metric space with at least five points, all triangles are degenerate, then the space is isometric to a subset of the real line. We prove that the hypothesis is unnecessarily strong: In a metric space on $n$ points, fewer than $7n^2/6$ suitably placed degenerate triangles suffice. However, fewer than $n(n-1)/2$ degenerate triangles, no matter how cleverly placed, never suffice.

Oscillation stability is an important concept in Banach space theory which happens to be closely connected to discrete Ramsey theory. For example, Gowers proved oscillation stability for the Banach space $c_0$ using his now famous Ramsey theorem for $\mathrm{FIN}_k$ as the key ingredient. We develop the theory behind this connection and introduce the notion of compact big Ramsey degrees, extending the theory of (discrete) big Ramsey degrees. We then prove existence of compact big Ramsey degrees for the Banach space $\ell_\infty$ and the Urysohn sphere, with an explicit characterization in the case of $\ell_\infty$.

This paper investigates big Ramsey degrees of unrestricted relational structures in (possibly) infinite languages. Despite significant progress in the study of big Ramsey degrees, the big Ramsey degrees of many classes of structures with finite small Ramsey degrees are still not well understood. We show that if there are only finitely many relations of every arity greater than one, then unrestricted relational structures have finite big Ramsey degrees, and give some evidence that this is tight. This is the first time finiteness of big Ramsey degrees has been established for a random structure in an infinite language. Our results represent an important step towards a better understanding of big Ramsey degrees for structures with relations of arity greater than two.

We develop a general framework for infinite-dimensional Ramsey theory with and without pigeonhole principle, inspired by Gowers' Ramsey-type theorem for block sequences in Banach spaces and by its exact version proved by Rosendal. In this framework, we prove the adversarial Ramsey principle for Borel sets, a result conjectured by Rosendal that generalizes at the same time his version of Gowers' theorem and Borel determinacy of games on integers.