The Induced Bipartite Ramsey Theorem: An Exposition

William Gasarch,Gary Peng

2024-01-10

Abstract:We present an exposition of the proof of the induced bipartite Ramsey Theorem.

Combinatorics

What problem does this paper attempt to address?

A note on the induced Ramsey theorem for spaces

Bryce Frederickson,Vojtech Rödl,Marcelo Sales

2024-06-19

Abstract:The aim of this note is to give a simplified proof of the induced version of the Ramsey theorem for vector spaces first proved by H. J. Prömel.

Combinatorics
Multipartite Ramsey numbers of complete bipartite graphs arising from algebraic combinatorial structures

I Wayan Palton Anuwiksa,Rinovia Simanjuntak,Edy Tri Baskoro

2023-07-19

Abstract:In 2019, Perondi and Carmelo determined the set multipartite Ramsey number of particular complete bipartite graphs by establishing a relationship between the set multipartite Ramsey number, Hadamard matrices, and strongly regular graphs, which is a breakthrough in Ramsey theory. However, since Hadamard matrices of order not divisible by 4 do not exist, many open problems have arisen. In this paper, we generalize Perondi and Carmelo's results by introducing the $[\alpha]$-Hadamard matrix that we conjecture exists for arbitrary order. Finally, we determine set and size multipartite Ramsey numbers for particular complete bipartite graphs.

Combinatorics
Anticoncentration in Ramsey graphs and a proof of the Erdős-McKay conjecture

Matthew Kwan,Ashwin Sah,Lisa Sauermann,Mehtaab Sawhney

DOI: https://doi.org/10.1017/fmp.2023.17

2024-05-30

Abstract:An $n$-vertex graph is called $C$-Ramsey if it has no clique or independent set of size $C\log_2 n$ (i.e., if it has near-optimal Ramsey behavior). In this paper, we study edge-statistics in Ramsey graphs, in particular obtaining very precise control of the distribution of the number of edges in a random vertex subset of a $C$-Ramsey graph. This brings together two ongoing lines of research: the study of "random-like" properties of Ramsey graphs and the study of small-ball probabilities for low-degree polynomials of independent random variables. The proof proceeds via an "additive structure" dichotomy on the degree sequence, and involves a wide range of different tools from Fourier analysis, random matrix theory, the theory of Boolean functions, probabilistic combinatorics, and low-rank approximation. One of the consequences of our result is the resolution of an old conjecture of Erdős and McKay, for which Erdős offered one of his notorious monetary prizes.

Combinatorics,Probability
Exponential Schur and Hindman Theorem in Ramsey Theory

Sayan Goswami,Sourav Kanti Patra

2024-11-29

Abstract:Answering a conjecture of A. Sisto, J. Sahasrabudhe proved the exponential version of the Schur theorem: for every finite coloring of the naturals, there exists a monochromatic copy of $\{x,y,x^y:x\neq y\},$ which initiates the study of exponential Ramsey theory in arithmetic combinatorics. In this article, We first give two short proofs of the exponential Schur theorem, one using Zorn's lemma and another using $IP_r^\star$ van der Waerden's theorem. Then using the polynomial van der Waerden theorem iteratively we give a proof of the exponential Hindman theorem. Then applying our results we prove for every natural number $m,n$ the equation $x_n^{x_{n-1}^{\cdot^{\cdot^{\cdot^{x_1}}}}}=y_1\cdots y_m$ is partition regular, which can be considered as the exponential version of a more general version of the P. Csikvári, K. Gyarmati, and A. Sárközy conjecture, which was solved by V. Bergelson and N. Hindman independently. As a consequence of our results, we also prove that for every finite partition of $\mathbb{N},$ there exists two different sequences $\langle x_n\rangle_n$ and $\langle y_n\rangle_n$ such that both the multiplicative and exponential version of Hindman theorem generated by these sequences resp. are monochromatic, whereas in the counterpart in the finitary case, J. Sahasrabudhe proved that both sequences are the same. Our result can be considered as an exponential analog to the result of V. Bergelson and N. Hindman. We also prove that a large class of ultrafilters with certain properties do not exist, which could give us direct proof of the exponential Schur theorem. This result can be thought of as partial evidence of the nonexistence of Galvin-Glazer's proof of the exponential Hindman theorem.

Combinatorics
ON CRITICAL RAMSEY DECOMPOSITION

Lingsheng Shi,Kemin Zhang

DOI: https://doi.org/10.3969/j.issn.0469-5097.2000.01.010

2000-01-01

Abstract:After inducing the definitions of decomposition, Ramsey decomposition and critical Ramsey decomposition,we deduce some propositions of these kinds of decompositions and a lower bound formula for Ramsey numbers.
Induced Ramsey problems for trees and graphs with bounded treewidth

Zach Hunter,Benny Sudakov

2024-06-01

Abstract:The induced $q$-color size-Ramsey number $\hat{r}_{\text{ind}}(H;q)$ of a graph $H$ is the minimal number of edges a host graph $G$ can have so that every $q$-edge-coloring of $G$ contains a monochromatic copy of $H$ which is an induced subgraph of $G$. A natural question, which in the non-induced case has a very long history, asks which families of graphs $H$ have induced Ramsey numbers that are linear in $|H|$. We prove that for every $k,w,q$, if $H$ is an $n$-vertex graph with maximum degree $k$ and treewidth at most $w$, then $\hat{r}_{\text{ind}}(H;q) = O_{k,w,q}(n)$. This extends several old and recent results in Ramsey theory. Our proof is quite simple and relies upon a novel reduction argument.

Combinatorics
On Ramsey degrees, compactness and approximability

Dragan Mašulović

2024-07-30

Abstract:One of the consequences of the Compactness Principle in structural Ramsey theory is that the small Ramsey degrees cannot exceed the corresponding big Ramsey degrees, thereby justifying the choice of adjectives. However, it is unclear what happens in the realm of dual Ramsey degrees due to the lack of the compactness argument that applies to that setting. In this paper we present a framework within which both "direct" and dual Ramsey statements can be stated and reasoned about in a uniform fashion. We introduce the notion of approximability which yields a general compactness argument powerful enough to prove statements about both "direct" and dual Ramsey phenomena. We conclude the paper with an application of the new strategies by generalizing Voigt's $\star$-version of the Infinite Ramsey Theorem to a large class of relational structures and deriving a Ramsey statement for "loose colorings" of enumerated Fra\"ıssé limits.

Logic,Combinatorics
Parametrizing the Ramsey theory of vector spaces I: Discrete spaces

Iian B. Smythe

2023-12-25

Abstract:We show that the Ramsey theory of block sequences in infinite-dimensional discrete vector spaces can be parametrized by perfect sets. As special cases, we prove combinatorial dichotomies for definable families of partitions and linear transformations on those spaces. We also consider the extent to which analogues of selective ultrafilters in this setting are preserved by Sacks forcing.

Combinatorics,Logic
Ramsey Approach to Quantum Mechanics

Edward Bormashenko,Nir Shvalb

2024-11-04

Abstract:Ramsey theory enables re-shaping of the basic ideas of quantum mechanics. Quantum observables represented by linear Hermitian operators are seen as the vertices of a graph. Relations of commutation define the coloring of edges linking the vertices: if the operators commute, they are connected with a red link; if they do not commute, they are connected with a green link. Thus, a bi-colored complete Ramsey graph emerges. According to Ramsey's theorem, a complete bi-colored graph built of six vertices will inevitably contain at least one monochromatic triangle; in other words, the Ramsey number $ R(3,3) = 6 $. In our interpretation, this triangle represents the triad of observables that could or could not be established simultaneously in a given quantum system. The Ramsey approach to quantum mechanics is illustrated.

Mathematical Physics,Quantum Physics
Optimizing the CGMS upper bound on Ramsey numbers

Parth Gupta,Ndiame Ndiaye,Sergey Norin,Louis Wei

2024-07-27

Abstract:In a recent breakthrough Campos, Griffiths, Morris and Sahasrabudhe obtained the first exponential improvement of the upper bound on the diagonal Ramsey numbers since 1935. We shorten their proof, replacing the underlying book algorithm with a simple inductive statement. This modification allows us - to give a very short proof of an improved upper bound on the off-diagonal Ramsey numbers, which extends to the multicolor setting, and - to clarify the dependence of the bounds on underlying parameters and optimize these parameters, obtaining, in particular, an upper bound $$R(k,k) \leq (3.8)^{k+o(k)}$$ on the diagonal Ramsey numbers.

Combinatorics
Simple proofs of estimations of Ramsey numbers and of discrepancy

A. Buchaev,A. Skopenkov

DOI: https://doi.org/10.48550/arXiv.2107.13831

2022-07-04

Abstract:In this expository note we present simple proofs of the lower bound of Ramsey numbers (Erdös theorem), and of the estimation of discrepancy. Neither statements nor proofs require any knowledge beyond high-school curriculum (except a minor detail). Thus they are accessible to non-specialists, in particular, to students. Our exposition is simpler than the standard exposition because no probabilistic language is used. In order to prove the existence of a `good' object we prove that the number of `bad' objects is smaller than the number of all objects.

Combinatorics,Discrete Mathematics,History and Overview
Combinatorial aspects of szemerédi ’ s theorem

Zhi-Wei Sun

2007-01-01

Abstract:In the first section we review the beautiful combinatorial theory of Ramsey as well as the history of Szemerédi’s theorem. In Section 2 we give a sketch of Ruzsa’s modern proof of Freiman’s theorem on sumsets which plays an important role in Gowers’ quantitative proof of Szemerédi’s theorem. In the last section we deduce Roth’s theorem (Szemerédi’s theorem in the case k=3) from the Triangle Removal Lemma (in graph-theoretic language) which is an application of Szemerédi’s Regularity Lemma (a powerful tool in graph theory), and show the BalogSzemerédi-Gowers theorem by a graph-theoretic method.
An inside/outside Ramsey theorem and recursion theory

Marta Fiori-Carones,Paul Shafer,Giovanni Soldà

DOI: https://doi.org/10.48550/arXiv.2006.16969

2021-09-16

Abstract:Inspired by Ramsey's theorem for pairs, Rival and Sands proved what we refer to as an inside/outside Ramsey theorem: every infinite graph $G$ contains an infinite subset $H$ such that every vertex of $G$ is adjacent to precisely none, one, or infinitely many vertices of $H$. We analyze the Rival-Sands theorem from the perspective of reverse mathematics and the Weihrauch degrees. In reverse mathematics, we find that the Rival-Sands theorem is equivalent to arithmetical comprehension and hence is stronger than Ramsey's theorem for pairs. We also identify a weak form of the Rival-Sands theorem that is equivalent to Ramsey's theorem for pairs. We turn to the Weihrauch degrees to give a finer analysis of the Rival-Sands theorem's computational strength. We find that the Rival-Sands theorem is Weihrauch equivalent to the double jump of weak König's lemma. We believe that the Rival-Sands theorem is the first natural theorem shown to exhibit exactly this strength. Furthermore, by combining our result with a result of Brattka and Rakotoniaina, we obtain that solving one instance of the Rival-Sands theorem exactly corresponds to simultaneously solving countably many instances of Ramsey's theorem for pairs. Finally, we show that the uniform computational strength of the weak Rival-Sands theorem is weaker than that of Ramsey's theorem for pairs by showing that a number of well-known consequences of Ramsey's theorem for pairs do not Weihrauch reduce to the weak Rival-Sands theorem. We also address an apparent gap in the literature concerning the relationship between Weihrauch degrees corresponding to the ascending/descending sequence principle and the infinite pigeonhole principle.

Logic
Ramsey problems for monotone paths in graphs and hypergraphs

Lior Gishboliner,Zhihan Jin,Benny Sudakov

2023-08-09

Abstract:The study of ordered Ramsey numbers of monotone paths for graphs and hypergraphs has a long history, going back to the celebrated work by Erdős and Szekeres in the early days of Ramsey theory. In this paper we obtain several results in this area, establishing two conjectures of Mubayi and Suk and improving bounds due to Balko, Cibulka, Král and Kynčl. We also obtain a color-monotone version of the well-known Canonical Ramsey Theorem of Erdős and Rado, which could be of independent interest.

Combinatorics
Topological games in Ramsey spaces

Julián C. Cano,Carlos A. Di Prisco

DOI: https://doi.org/10.48550/arXiv.2305.09611

2023-05-17

Abstract:Topological Ramsey theory studies a class of combinatorial topological spaces, called topological Ramsey spaces, unifying the essential features of those combinatorial frames where the Ramsey property is equivalent to Baire property. In this article, we expose a general overview of the combinatorial structure of topological Ramsey spaces and their main properties, and we propose an alternative proof of abstract Ellentuck theorem for a large family of topological Ramsey spaces. Additionally, we present the notion of selective topological Ramsey space, and generalize Kastanas games in order to characterize the Baire property for the family of selective topological Ramsey spaces.

Logic
Large recurrence of the polynomial Van der Waerden's theorem and its application in Ramsey theory

Sayan Goswami

2024-06-22

Abstract:Recently M. Di Nasso and M. Ragosta proved an exponential version of Hindman's finite sum theorem: for every finite partition of $\mathbb{N}$, there exists a monochromatic Hindman tower of a single sequence. They used the stronger version of Furstenberg's Central Sets Theorem and the theory of ultrafilters to prove their results. In this article, we prove these patterns are abundant by considering two-fold extensions of the Di Nasso-Ragosta theorem. We prove that each term of this pattern can be chosen from a finite set of any given length, consisting of a multiplicative $IP_r$ (that we will define later) set and a set consisting of geometric progression (sets containing both arithmetic and geometric progression) of finite length. To prove our result, first, we improve the size of the recurrence set of V. Bergelson and A. Leibmann's polynomial Van der Waerden's Theorem, and then we study its two-fold applications. First, we study monochromatic patterns involving polynomials over sum sets in additive piecewise syndetic sets. Then in the second, applying methods of induction, we construct infinitary patterns involving a two-fold improvement of the Di Nasso-Ragosta theorem. Then we study the properties of some special classes of ultrafilters witnessing variants of these patterns. Throughout our article, we use the methods from the Algebra of the Stone-Čech-Compactification of discrete semigroups (for details see [N. Hindman and D. Strauss: Algebra in the Stone-Čech compactification. Walter de Gruyter\& Co., Berlin, 2012.]).

Combinatorics
Borel sets of Rado graphs and Ramsey's Theorem

Natasha Dobrinen

2024-09-29

Abstract:The well-known Galvin-Prikry Theorem states that Borel subsets of the Baire space are Ramsey: Given any Borel subset $\mathcal{X}\subseteq [\omega]^{\omega}$, where $[\omega]^{\omega}$ is endowed with the metric topology, each infinite subset $X\subseteq \omega$ contains an infinite subset $Y\subseteq X$ such that $[Y]^{\omega}$ is either contained in $\mathcal{X}$ or disjoint from $\mathcal{X}$. Kechris, Pestov, and Todorcevic point out in their seminal 2005 paper the dearth of similar results for homogeneous structures. Such results are a necessary step to the larger goal of finding a correspondence between structures with infinite dimensional Ramsey properties and topological dynamics, extending their correspondence between the Ramsey property and extreme amenability. In this article, we prove an analogue of the Galvin-Prikry theorem for the Rado graph. Any such infinite dimensional Ramsey theorem is subject to constraints following from the 2006 work of Laflamme, Sauer, and Vuksanovic. The proof uses techniques developed for the author's work on the Ramsey theory of the Henson graphs as well as some new methods for fusion sequences, used to bypass the lack of a certain amalgamation property enjoyed by the Baire space.

Combinatorics,Logic
An intuitionistic version of Ramsey Theorem (italian version)

Stefano Berardi

DOI: https://doi.org/10.48550/arXiv.1401.2515

2014-01-11

Logic in Computer Science

Abstract:Ramsey Theorem [6] for pairs is intuitionistically but not classically provable: it is equivalent to a subclassical principle [2]. In this note we show that Ramsey may be restated in an intuitionistically provable form, which is informative (or at least without negations), and classically equivalent to the original. With respect to previous works of the same kind, we do not use no counterexample as in [1], [5], nor we add a new principle to the intuitionism as in [4]. We claim that this intuitionistic version of Ramsey could be use to replace Ramsey Theorem in the convergence proof of programs included in [3]. [1] Gianluigi Bellin. Ramsey interpreted: a parametric version of Ramsey Theorem. In AMS, editor, Logic and Computation: Proceedings of a Symposium held at Carnegie Mellon University, volume 106. [2] Stefano Berardi, Silvia Steila, Ramsey Theorem for pairs as a classical principle in Intuitionistic Arithmetic, Submitted to the proceedings of Types 2013 in Toulouse. [3] Byron Cook, Abigail See, Florian Zuleger, Ramsey vs. Lexicographic Termination Proving, LNCS 7795, 2013, Springer Berlin Heidelberg. [4] Thierry Coquand. A direct proof of Ramsey Theorem. [5] Paulo Oliva and Thomas Powell. A Constructive Interpretation of Ramsey Theorem via the Product of Selection Functions. CoRR, arXiv:1204.5631, 2012. [6] F. P. Ramsey. On a problem in formal logic. Proc. London Math. Soc., 1930.
Ramsey numbers of large books versus multipartite graphs

Chunchao Fan,Junqiang Huang,Qizhong Lin

DOI: https://doi.org/10.1007/s00373-024-02859-5

2024-11-27

Graphs and Combinatorics

Abstract:For graphs and , the Ramsey number is the smallest positive integer N such that any graph G on N vertices contains as a subgraph, or its complement contains as a subgraph. Let denote the book graph on vertices which consists of n copies of all sharing a common , and let be the complete p -partite graph with parts of sizes . Recently, strengthening a result of Fox, He and Wigderson ( Adv. Combin. 4 (2023), 21pp), Fan and Lin ( J. Combin. Theory Ser. A 199 (2023), 19pp) showed that for every , there exists such that the following holds for all large n . Let and be positive integers. If , then . The inequality is tight if . In this paper, we improve the above upper bounds for the cases when and . Combining the new upper bounds and constructions of the lower bounds for these cases, we are able to determine the exact values of when . The bound on we obtain is not of tower-type since our proof does not rely on the regularity lemma.

mathematics
A Multidimensional Central Sets Theorem

Mathias Beiglböck

DOI: https://doi.org/10.48550/arXiv.0807.1451

2008-07-09

Abstract:The Theorems of Hindman and van der Waerden belong to the classical theorems of partition Ramsey Theory. The Central Sets Theorem is a strong simultaneous extension of both theorems that applies to general commutative semigroups. We give a common extension of the Central Sets Theorem and Ramsey's Theorem.

Combinatorics

The Induced Bipartite Ramsey Theorem: An Exposition

A note on the induced Ramsey theorem for spaces

Multipartite Ramsey numbers of complete bipartite graphs arising from algebraic combinatorial structures

Anticoncentration in Ramsey graphs and a proof of the Erdős-McKay conjecture

Exponential Schur and Hindman Theorem in Ramsey Theory

ON CRITICAL RAMSEY DECOMPOSITION

Induced Ramsey problems for trees and graphs with bounded treewidth

On Ramsey degrees, compactness and approximability

Parametrizing the Ramsey theory of vector spaces I: Discrete spaces

Ramsey Approach to Quantum Mechanics

Optimizing the CGMS upper bound on Ramsey numbers

Simple proofs of estimations of Ramsey numbers and of discrepancy

Combinatorial aspects of szemerédi ’ s theorem

An inside/outside Ramsey theorem and recursion theory

Ramsey problems for monotone paths in graphs and hypergraphs

Topological games in Ramsey spaces

Large recurrence of the polynomial Van der Waerden's theorem and its application in Ramsey theory

Borel sets of Rado graphs and Ramsey's Theorem

An intuitionistic version of Ramsey Theorem (italian version)

Ramsey numbers of large books versus multipartite graphs

A Multidimensional Central Sets Theorem