Related papers: An Infinite self dual Ramsey theorem

I show that physical quantities in several two-dimensional condensed-matter models are related to the Seiberg-Witten calculation of exact quantities in supersymmetric gauge theory. In particular, the magnetization in the Kondo problem and…

The purpose of the present paper is to prove for finitely generated groups of type I the following conjecture of A.Fel'shtyn and R.Hill, which is a generalization of the classical Burnside theorem. Let G be a countable discrete group, f one…

We consider Fra\"iss\'e structures whose objects have finite big Ramsey degree and ask what consequences this has for the dynamics of the automorphism group. Motivated by a theorem of D. Devlin about the partition properties of the…

The theorem of orthogonal-orthogonal duality of Rowe, Repka, and Carvalho is proven by a method based on characters that is very different from theirs and akin to Helmers's half a century earlier proof of the analogous sympletic-symplectic…

An infinite graph is said to be highly connected if the induced subgraph on the complement of any set of vertices of smaller size is connected. We continue the study of weaker versions of Ramsey Theorem on uncountable cardinals asserting…

The Borel covering property, introduced a century ago by E. Borel, is intimately connected with Ramsey theory, initiated ninety years ago in an influential paper of F.P. Ramsey. The current state of knowledge about the connection between…

Does the $n^{th}$ root of the diagonal Ramsey number converge to a finite limit? The answer is yes. A sequence can be shown to converge if it satifies convergence conditions other than or besides monotonicity. We show such a property holds…

An open problem of arithmetic Ramsey theory asks if given a finite $r$-colouring $c:\mathbb{N}\to\{1,...,r\}$ of the natural numbers, there exist $x,y\in \mathbb{N}$ such that $c(xy)=c(x+y)$ apart from the trivial solution $x=y=2$. More…

A celebrated result of Chv\'atal, R\"odl, Szemer\'edi and Trotter states (in slightly weakened form) that, for every natural number $\Delta$, there is a constant $r_\Delta$ such that, for any connected $n$-vertex graph $G$ with maximum…

We introduce the notion of a {\it semi-retraction}. Given two structures $\A$ and $\B$, $\A$ is a semi-retraction of $\B$ if there exist quantifier-free type respecting maps $f: \B \raw \A$ and $g: \A \raw \B$ such that $f \circ g$ is an…

We prove that for every colouring of pairs of reals with finitely-many colours, there is a set homeomorphic to the rationals which takes no more than two colours. This was conjectured by Galvin in 1970, and a colouring of Sierpi{\'n}ski…

We study the positions in the Weihrauch lattice of parallel products of various combinatorial principles related to Ramsey's theorem. Among other results, we obtain an answer to a question of Brattka, by showing that Ramsey's theorem for…

In this article, we prove that Ramsey's theorem for pairs and two colors is a $\forall \Pi^0_4$ conservative extension of $\mathsf{RCA}_0 + \mathsf{B}\Sigma^0_2$, where a $\forall \Pi^0_4$ formula consists of a universal quantifier over…

We give a characterizations of Ramsey ultrafilters on $\mathscr P(\omega)$ in terms of functions $f:\omega^n\to\omega$ and their ultrafilter extensions. To do this, we prove that for any partition $\mathcal P$ of $[\omega]^n$ there is a…

We prove the finiteness of formal analogues of the spherical function (Spherical Finiteness), the ${\mathbf c}$-function (Gindikin-Karpelevich Finiteness), and obtain a formal analogue of Harish-Chandra's limit (Approximation Theorem)…

Let $R$ be a commutative ring and $\Gamma$ be an infinite discrete group. The algebraic $K$-theory of the group ring $R[\Gamma]$ is an important object of computation in geometric topology and number theory. When the group ring is…

Let $R(k_1, \cdots, k_r)$ denote the classical $r$-color Ramsey number for integers $k_i \ge 2$. The Diagonal Conjecture (DC) for classical Ramsey numbers poses that if $k_1, \cdots, k_r$ are integers no smaller than 3 and $k_{r-1} \leq…

In this note we study graphs $G_r$ with the property that every colouring of $E(G_r)$ with $r+1$ colours admits a copy of some graph $H$ using at most $r$ colours. For $1\le r\le e(H)$ such graphs occur naturally at intermediate steps in…

Our main result is a robust generalisation of the Cockayne-Lorimer theorem on the multicolour Ramsey number of matchings. It is moreover a generalisation of the transference generalisation of Cockayne-Lorimer, which (informally) says that…

For finite-dimensional maps and periodic systems, Palmer rigorously proved Smale horseshoe theorem using shadowing lemma in 1988. For infinite-dimensional maps and periodic systems, such a proof was completed by Steinlein and Walther in…