Ramsey algebras and the existence of idempotent ultrafilters

Hindman’s Theorem says that every finite coloring of the positive natural numbers has a monochromatic set of finite sums. Ramsey algebras, recently introduced, are structures that satisfy an analogue of Hindman’s Theorem. It is an open problem posed by Carlson whether every Ramsey algebra has an idempotent ultrafilter. This paper develops a general framework to study idempotent ultrafilters. Under certain countable setting, the main result roughly says that every nondegenerate Ramsey algebra has a nonprincipal idempotent ultrafilter in some nontrivial countable field of sets. This amounts to a positive result that addresses Carlson’s question in some way.     

Categorical equivalence and the Ramsey property for finite powers of a primal algebra

In this paper, we investigate the best known and most important example of a categorical equivalence in algebra, that between the variety of boolean algebras and any variety generated by a single primal algebra. We consider this equivalence in the context of Kechris-Pestov-Todor?evi? correspondence, a surprising correspondence between model theory, combinatorics and topological dynamics. We show that relevant combinatorial properties (such as the amalgamation property, Ramsey property and ordering property) carry over from a category to an equivalent category. We then use these results to show that the category whose objects are isomorphic copies of finite powers of a primal algebra \({\mathcal{A}}\) together with a particular linear ordering <, and whose morphisms are embeddings, is a Ramsey age (and hence a Fraïssé age). By the Kechris-Pestov-Todor?evi? correspondence, we then infer that the automorphism group of its Fraïssé limit is extremely amenable. This correspondence also enables us to compute the universal minimal flow of the Fraïssé limit of the class \({{\bf V}_{fin} \mathcal{(A)}}\) whose objects are isomorphic copies of finite powers of a primal algebra \({\mathcal{A}}\) and whose morphisms are embeddings.     

On the Dual Ramsey Property for Finite Distributive Lattices

The class of finite distributive lattices, as many other natural classes of structures, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriately chosen linear orders the resulting class has the Ramsey property. So, one might expect that a similar result holds for the class of all finite distributive lattices. Surprisingly, Kechris and Soki? have proved in 2012 that this is not the case: no expansion of the class of finite distributive lattices by linear orders satisfies the Ramsey property. In this paper we prove that the class of finite distributive lattices does not have the dual Ramsey property either. However, we are able to derive a dual Ramsey theorem for finite distributive lattices endowed with a particular linear order. Both results are consequences of the recently observed fact that categorical equivalence preserves the Ramsey property.     

Determinacy and weakly Ramsey sets in Banach spaces

We give a sufficient condition for a set of block subspaces in an infinite-dimensional Banach space to be weakly Ramsey. Using this condition we prove that in the Levy-collapse of a Mahlo cardinal, every projective set is weakly Ramsey. This, together with a construction of W. H. Woodin, is used to show that the Axiom of Projective Determinacy implies that every projective set is weakly Ramsey. In the case of we prove similar results for a stronger Ramsey property. And for hereditarily indecomposable spaces we show that the Axiom of Determinacy plus the Axiom of Dependent Choices imply that every set is weakly Ramsey. These results are the generalizations to the class of projective sets of some theorems from W. T. Gowers, and our paper ``Weakly Ramsey sets in Banach spaces.'

     

Crossed products of operator systems

In this paper we introduce the crossed product construction for a discrete group action on an operator system. In analogy to the work of E. Katsoulis and C. Ramsey, we describe three canonical crossed products arising from such a dynamical system. We describe how these crossed product constructions behave under G-equivariant maps, tensor products, and the canonical $C^{?}$-covers. We show that hyperrigidity is preserved under two of the three crossed products. Finally, using A. Kavruk's notion of an operator system that detects $C^{?}$-nuclearity, we give a negative answer to a question on operator algebra crossed products posed by Katsoulis and Ramsey.     

A Ramsey theorem for multiposets

In the parlance of relational structures, the Finite Ramsey Theorem states that the class of all finite chains has the Ramsey property. A classical result from the 1980s claims that the class of all finite posets with a linear extension has the Ramsey property. In 2010 Sokić proved that the class of all finite structures consisting of several linear orders has the Ramsey property. This was followed by a 2017 result of Solecki and Zhao that the class of all finite posets with several linear extensions has the Ramsey property.Using the categorical reinterpretation of the Ramsey property in this paper we prove a common generalization of all these results. We consider multiposets to be structures consisting of several partial orders and several linear orders. We allow partial orders to extend each other in an arbitrary but fixed way, and require that every partial order is extended by at least one of the linear orders. We then show that the class of all finite multiposets conforming to a fixed template has the Ramsey property.     

Conditions on Ramsey Nonequivalence

Given a graph H , a graph G is called a Ramsey graph of H if there is a monochromatic copy of H in every coloring of the edges of G with two colors. Two graphs G , H are called Ramsey equivalent if they have the same set of Ramsey graphs. Fox et al. (J Combin Theory Ser B 109 (2014), 120–133) asked whether there are two nonisomorphic connected graphs that are Ramsey equivalent. They proved that a clique is not Ramsey equivalent to any other connected graph. Results of Ne?et?il et al. showed that any two graphs with different clique number (Combinatorica 1(2) (1981), 199–202) or different odd girth (Comment Math Univ Carolin 20(3) (1979), 565–582) are not Ramsey equivalent. These are the only structural graph parameters we know that “distinguish” two graphs in the above sense. This article provides further supportive evidence for a negative answer to the question of Fox et al. by claiming that for wide classes of graphs, the chromatic number is a distinguishing parameter. In addition, it is shown here that all stars and paths and all connected graphs on at most five vertices are not Ramsey equivalent to any other connected graph. Moreover, two connected graphs are not Ramsey equivalent if they belong to a special class of trees or to classes of graphs with clique‐reduction properties.     

A Ramsey property for graph invariants

We consider the problem of which graph invariants have a certain property relating to Ramsey's theorem. Invariants which have this property are called Ramsey functions. We examine properties of chains of graphs associated with Ramsey functions. Methods are developed which enable one to prove that a given invariant is not a Ramsey function. Results for several familiar invariants are presented.     

Making all cardinals almost Ramsey

We examine combinatorial aspects and consistency strength properties of almost Ramsey cardinals. Without the Axiom of Choice, successor cardinals may be almost Ramsey. From fairly mild supercompactness assumptions, we construct a model of ZF + ${\neg {\rm AC}_\omega}$ in which every infinite cardinal is almost Ramsey. Core model arguments show that strong assumptions are necessary. Without successors of singular cardinals, we can weaken this to an equiconsistency of the following theories: “ZFC + There is a proper class of regular almost Ramsey cardinals”, and “ZF + DC + All infinite cardinals except possibly successors of singular cardinals are almost Ramsey”.     

Ramsey unsaturated and saturated graphs

A graph is Ramsey unsaturated if there exists a proper supergraph of the same order with the same Ramsey number, and Ramsey saturated otherwise. We present some conjectures and results concerning both Ramsey saturated and unsaturated graphs. In particular, we show that cycles C_n and paths P_n on n vertices are Ramsey unsaturated for all n ≥ 5. © 2005 Wiley Periodicals, Inc.     

Ramsey numbers for bipartite graphs with small bandwidth

We estimate Ramsey numbers for bipartite graphs with small bandwidth and bounded maximum degree. In particular we determine asymptotically the two and three color Ramsey numbers for grid graphs. More generally, we determine asymptotically the two color Ramsey number for bipartite graphs with small bandwidth and bounded maximum degree and the three color Ramsey number for such graphs with the additional assumption that the bipartite graph is balanced.     

On the Size‐Ramsey Number of Hypergraphs

The size‐Ramsey number of a graph G is the minimum number of edges in a graph H such that every 2‐edge‐coloring of H yields a monochromatic copy of G. Size‐Ramsey numbers of graphs have been studied for almost 40 years with particular focus on the case of trees and bounded degree graphs. We initiate the study of size‐Ramsey numbers for k‐uniform hypergraphs. Analogous to the graph case, we consider the size‐Ramsey number of cliques, paths, trees, and bounded degree hypergraphs. Our results suggest that size‐Ramsey numbers for hypergraphs are extremely difficult to determine, and many open problems remain.     

Ramsey Numbers for Partially-Ordered Sets

We present a refinement of Ramsey numbers by considering graphs with a partial ordering on their vertices. This is a natural extension of the ordered Ramsey numbers. We formalize situations in which we can use arbitrary families of partially-ordered sets to form host graphs for Ramsey problems. We explore connections to well studied Turán-type problems in partially-ordered sets, particularly those in the Boolean lattice. We find a strong difference between Ramsey numbers on the Boolean lattice and ordered Ramsey numbers when the partial ordering on the graphs have large antichains.     

Ramsey Partial Orders from Acyclic Graphs

We prove that finite partial orders with a linear extension form a Ramsey class. Our proof is based on the fact that the class of acyclic graphs has the Ramsey property and uses the partite construction.     

On zero sum Ramsey numbers: Multiple copies of a graph

As a consequence of our main result, a theorem of Schrijver and Seymour that determines the zero sum Ramsey numbers for the family of all r-hypertrees on m edges and a theorem of Bialostocki and Dierker that determines the zero sum Ramsey numbers for r-hypermatchings are combined into a single theorem. Another consequence is the determination of zero sum Ramsey numbers of multiple copies of some small graphs.     

On several variations of the turan and ramsey numbers

We introduce several variations of the Turan and Ramsey numbers, including zero-sum and bounded-average Ramsey numbers. Some interesting relations between these concepts are presented. In particular, a generalization of the k-local Ramsey numbers is established.     

代数构造及在Ramsey理论中的应用

本文在Galois域上的代数构造和关于一些特定类型图的Ramseyr数之间建立了一个关系．关键问题是研究了关于Galois域上的代数构造的方程及方程组的解．我们得到了一些关于二部图的新的下界和上界．     

A GAME-THEORETIC PROOF OF ANALYTIC RAMSEY THEOREM

We give a simple game-theoretic proof of Silver's theorem that every analytic set is Ramsey. A set P of subsets of ω is called Ramsey if there exists an infinite set H such that either all infinite subsets of H are in P or all out of P. Our proof clarifies a strong connection between the Ramsey property of partitions and the determinacy of infinite games.     

All regular polytopes are Ramsey

In this paper it is shown that all regular polytopes are Ramsey. In the course of this proof all convex quasi-regular polyhedra are proved to be Ramsey.     

List Ramsey numbers

We introduce a list‐coloring extension of classical Ramsey numbers. We investigate when the two Ramsey numbers are equal, and in general, how far apart they can be from each other. We find graph sequences where the two are equal and where they are far apart. For $?$‐uniform cliques we prove that the list Ramsey number is bounded by an exponential function, while it is well known that the Ramsey number is superexponential for uniformity at least 3. This is in great contrast to the graph case where we cannot even decide the question of equality for cliques.