arXiv++ Combinatorics

In any semigroup $S$ satisfying the Strong Folner Condition, there are three natural notions of density for a subset $A$ of $S$: Folner density $d(A)$, Banach density $d^*(A)$, and translation density $d_t(A)$. If $S$ is commutative or left cancellative, it is known that these three notions coincide. We shall show that these notions coincide for every semigroup $S$ which satisfies the Strong Folner Condition. Using this fact, we solve a problem that has been open for decades, showing that the set of ultrafilters every member of which has positive Folner density is a two sided ideal of $βS$. We also show that, if $S$ is a left amenable semigroup, then the set of ultrafilters every member of which has positive Banach density is a two sided ideal of $βS$. We investigate the density properties of subsets of $S$ in the case in which the minimal left ideals of the Stone-Čech compactification $βS$ are singletons. This occurs in many familiar examples, including all semilattices and all semigroups which have a right zero. We show that this is equivalent to the statement that $S$ satisfies the Strong Folner Condition and that, for every subset $A$ of $S$, $d(A)\in \{0,1\}$. We also examine the relation between the density properties of two semigroups when one is a quotient of the other. The Folner density of a subset of $S$ is always determined by some Folner net in $S$. We show that an arbitrary Folner net in $S$ determines the density of all of the subsets of $S$. And we prove that, if $S$ and $T$ are left amenable semigroups, then $d^*(A\times B)=d^*(A)d^*(B)$ for every subset $A$ of $S$ and every subset $B$ of $T$.

There are several notions of size for semigroups that have natural analogues for partial semigroups. Among these are thick, syndetic, central, piecewise syndetic, IP, J, and the more recently introduced notion of combinatorially rich, abbreviated CR. We investigate the notion of CR set for adequate partial semigroups, its relation to other notions, especially J sets, and some surprising differences among them.

Our aim in this paper is to show that, for any $k$, there is a finite colouring of the set of rationals whose denominators contain only the first $k$ primes such that no infinite set has all of its finite sums and products monochromatic. We actually prove a `uniform' form of this: there is a finite colouring of the rationals with the property that no infinite set whose denominators contain only finitely many primes has all of its finite sums and products monochromatic. We also give various other results, including a new short proof of the old result that there is a finite colouring of the naturals such that no infinite set has all of its pairwise sums and products monochromatic.

The Hales-Jewett Theorem states that given any finite nonempty set $\A$ and any finite coloring of the free semigroup $S$ over the alphabet $\A$ there is a {\it variable word\/} over $\A$ all of whose instances are the same color. This theorem has some extensions involving several distinct variables occurring in the variable word. We show that, when combined with a sufficiently well behaved homomorphism, the relevant variable word simultaneously satisfies a Ramsey-Theoretic conclusion in the other structure. As an example we show that if $τ$ is the homomorphism from the set of variable words into the natural numbers which associates to each variable word $w$ the number of occurrences of the variable in $w$, then given any finite coloring of $S$ and any infinite sequence of natural numbers, there is a variable word $w$ whose instances are monochromatic and $τ(w)$ is a sum of distinct members of the given sequence. Our methods rely on the algebraic structure of the Stone-\v Cech compactification of $S$ and the other semigroups that we consider. We show for example that if $τ$ is as in the paragraph above, there is a compact subsemigroup $P$ of $β\ben$ which contains all of the idempotents of $β\ben$ such that, given any $p\in P$, any $A\in p$, and any finite coloring of $S$, there is a variable word $w$ whose instances are monochromatic and $τ(w)\in A$. We end with a new short algebraic proof of an infinitary extension of the Graham-Rothschild Parameter Sets Theorem.

A matrix A is image partition regular over Q provided that whenever Q - {0} is finitely coloured, there is a vector x with entries in Q - {0} such that the entries of Ax are monochromatic. It is kernel partition regular over Q provided that whenever Q - {0} is finitely coloured, the matrix has a monochromatic member of its kernel. We establish a duality for these notions valid for both finite and infinite matrices. We also investigate the extent to which this duality holds for matrices partition regular over proper subsemigroups of Q.

Suppose that we have a finite colouring of the reals. What sumset-type structures can we hope to find in some colour class? One of our aims is to show that there is such a colouring for which no uncountable set has all of its pairwise sums monochromatic. We also show that there is such a colouring such that there is no infinite set X with X+X (the pairwise sums from X, allowing repetition) monochromatic. These results assume CH. In the other direction, we show that if each colour class is measurable, or each colour class is Baire, then there is an infinite set X (and even an uncountable X, of size the reals) with X+X monochromatic. We also give versions for all of these results for k-wise sums in place of pairwise sums.

A finite or infinite matrix $A$ with rational entries (and only finitely many non-zero entries in each row) is called image partition regular if, whenever the natural numbers are finitely coloured, there is a vector $x$, with entries in the natural numbers, such that $Ax$ is monochromatic. Many of the classical results of Ramsey theory are naturally stated in terms of image partition regularity. Our aim in this paper is to investigate maximality questions for image partition regular matrices. When is it possible to add rows on to $A$ and remain image partition regular? When can one add rows but `nothing new is produced'? What about adding rows and also new variables? We prove some results about extensions of the most interesting infinite systems, and make several conjectures. Perhaps our most surprising positive result is a compatibility result for Milliken-Taylor systems, stating that (in many cases) one may adjoin one Milliken-Taylor system to a translate of another and remain image partition regular. This is in contrast to earlier results, which had suggested a strong inconsistency between different Milliken-Taylor systems. Our main tools for this are some algebraic properties of the $βN$, the Stone-Cech compactification of the natural numbers.

A system of linear equations with integer coefficients is partition regular over a subset S of the reals if, whenever S\{0} is finitely coloured, there is a solution to the system contained in one colour class. It has been known for some time that there is an infinite system of linear equations that is partition regular over R but not over Q, and it was recently shown (answering a long-standing open question) that one can also distinguish Q from Z in this way. Our aim is to show that the transition from Z to Q is not sharp: there is an infinite chain of subgroups of Q, each of which has a system that is partition regular over it but not over its predecessors. We actually prove something stronger: our main result is that if R and S are subrings of Q with R not contained in S, then there is a system that is partition regular over R but not over S. This implies, for example, that the chain above may be taken to be uncountable.

A finite or infinite matrix A with rational entries is called partition regular if whenever the natural numbers are finitely coloured there is a monochromatic vector x with Ax=0. Many of the classical theorems of Ramsey Theory may naturally be interpreted as assertions that particular matrices are partition regular. In the finite case, Rado proved that a matrix is partition regular if and only it satisfies a computable condition known as the columns property. The first requirement of the columns property is that some set of columns sums to zero. In the infinite case, much less is known. There are many examples of matrices with the columns property that are not partition regular, but until now all known examples of partition regular matrices did have the columns property. Our main aim in this paper is to show that, perhaps surprisingly, there are infinite partition regular matrices without the columns property --- in fact, having no set of columns summing to zero. We also make a conjecture that if a partition regular matrix (say with integer coefficients) has bounded row sums then it must have the columns property, and prove a first step towards this.

Let $A$ be a finite matrix with rational entries. We say that $A$ is {\it doubly image partition regular\/} if whenever the set ${\mathbb N}$ of positive integers is finitely coloured, there exists $\vec x$ such that the entries of $A\vec x$ are all the same colour (or {\it monochromatic\/}) and also, the entries of $\vec x$ are monochromatic. Which matrices are doubly image partition regular? More generally, we say that a pair of matrices $(A,B)$, where $A$ and $B$ have the same number of rows, is {\it doubly kernel partition regular\/} if whenever ${\mathbb N}$ is finitely coloured, there exist vectors $\vec x$ and $\vec y$, each monochromatic, such that $A \vec x + B \vec y = 0$. There is an obvious sufficient condition for the pair $(A,B)$ to be doubly kernel partition regular, namely that there exists a positive rational $c$ such that the matrix $M=(\begin{array}{ccccc}A&cB\end{array})$ is kernel partition regular. (That is, whenever ${\mathbb N}$ is finitely coloured, there exists monochromatic $\vec x$ such that $M \vec x=\vec 0$.) Our aim in this paper is to show that this sufficient condition is also necessary. As a consequence we have that a matrix $A$ is doubly image partition regular if and only if there is a positive rational $c$ such that the matrix $(\begin{array}{lr}A&cI\end{array})$ is kernel partition regular, where $I$ is the identity matrix of the appropriate size. We also prove extensions to the case of several matrices.

In this paper we study some additive properties of subsets of the set $\nats$ of positive integers: A subset $A$ of $\nats$ is called {\it $k$-summable} (where $k\in\ben$) if $A$ contains $\textstyle \big{\sum_{n\in F}x_n | \emp\neq F\subseteq {1,2,...,k\} \big}$ for some $k$-term sequence of natural numbers $x_1<x_2 < ... < x_k$. We say $A \subseteq \nats$ is finite FS-big if $A$ is $k$-summable for each positive integer $k$. We say is $A \subseteq \nats$ is infinite FS-big if for each positive integer $k,$ $A$ contains ${\sum_{n\in F}x_n | \emp\neq F\subseteq \nats and #F\leq k}$ for some infinite sequence of natural numbers $x_1<x_2 < ... $. We say $A\subseteq \nats $ is an IP-set if $A$ contains ${\sum_{n\in F}x_n | \emp\neq F\subseteq \nats and #F<\infty}$ for some infinite sequence of natural numbers $x_1<x_2 < ... $. By the Finite Sums Theorem [5], the collection of all IP-sets is partition regular, i.e., if $A$ is an IP-set then for any finite partition of $A$, one cell of the partition is an IP-set. Here we prove that the collection of all finite FS-big sets is also partition regular. Let $\TM =011010011001011010... $ denote the Thue-Morse word fixed by the morphism $0\mapsto 01$ and $1\mapsto 10$. For each factor $u$ of $\TM$ we consider the set $\TM\big|_u\subseteq \nats$ of all occurrences of $u$ in $\TM$. In this note we characterize the sets $\TM\big|_u$ in terms of the additive properties defined above. Using the Thue-Morse word we show that the collection of all infinite FS-big sets is not partition regular.

A system of homogeneous linear equations with integer coefficients is partition regular if, whenever the natural numbers are finitely coloured, the system has a monochromatic solution. The Finite Sums theorem provided the first example of an infinite partition regular system of equations. Since then, other such systems of equations have been found, but each can be viewed as a modification of the Finite Sums theorem. We present here a new infinite partition regular system of equations that appears to arise in a genuinely different way. This is the first example of a partition regular system in which a variable occurs with unbounded coefficients. A modification of the system provides an example of a system that is partition regular over Q but not N, settling another open problem.