arXiv++ Combinatorics

In [9], [15] it has been introduced a technique, based on nonstandard analysis, to study some problems in combinatorial number theory. In this paper we present three applications of this technique: the first one is a new proof of a known result regarding the algebra of \betaN, namely that the center of the semigroup (β\mathbb{N};\oplus) is \mathbb{N}; the second one is a generalization of a theorem of Bergelson and Hindman on arithmetic progressions of lenght three; the third one regards the partition regular polynomials in Z[X], namely the polynomials in Z[X] that have a monochromatic solution for every finite coloration of N. We will study this last application in more detail: we will prove some algebraical properties of the sets of such polynomials and we will present a few examples of nonlinear partition regular polynomials. In the first part of the paper we will recall the main results of the nonstandard technique that we want to use, which is based on a characterization of ultrafilters by means of nonstandard analysis.

We give a partial answer to the following question of Dobrinen: For a given topological Ramsey space $\mathcal{R}$, are the notions of selective for $\mathcal{R}$ and Ramsey for $\mathcal{R}$ equivalent? Every topological Ramsey space $\mathcal{R}$ has an associated notion of Ramsey ultrafilter for $\mathcal{R}$ and selective ultrafilter for $\mathcal{R}$ (see \cite{MijaresSelective}). If $\mathcal{R}$ is taken to be the Ellentuck space then the two concepts reduce to the familiar notions of Ramsey and selective ultrafilters on $ω$; so by a well-known result of Kunen the two are equivalent. We give the first example of an ultrafilter on a topological Ramsey space that is selective but not Ramsey for the space, and in fact a countable collection of such examples. For each positive integer $n$ we show that for the topological Ramsey space $\mathcal{R}_{n}$ from \cite{Ramsey-Class2}, the notions of selective for $\mathcal{R}_{n}$ and Ramsey for $\mathcal{R}_{n}$ are not equivalent. In particular, we prove that forcing with a closely related space using almost-reduction, adjoins an ultrafilter that is selective but not Ramsey for $\mathcal{R}_{n}$. Moreover, we introduce a notion of finite product among members of the family $\{\mathcal{R}_{n}: n<ω\}$. We show that forcing with closely related product spaces using almost-reduction, adjoins ultrafilters that are selective but not Ramsey for these product topological Ramsey spaces.

Let $G$ be a group, $X$ be an infinite transitive $G$-space. A free ultrafilter $\UU$ on $X$ is called $G$-selective if, for any $G$-invariant partition $\PP$ of $X$, either one cell of $\PP$ is a member of $\UU$, or there is a member of $\UU$ which meets each cell of $\PP$ in at most one point. We show (Theorem 1) that in ZFC with no additional set-theoretical assumptions there exists a $G$-selective ultrafilter on $X$, describe all $G$-spaces $X$ (Theorem 2) such that each free ultrafilter on $X$ is $G$-selective, and prove (Theorem 3) that a free ultrafilter $\UU$ on $ω$ is selective if and only if $\UU$ is $G$-selective with respect to the action of any countable group $G$ of permutations of $ω$. A free ultrafilter $\UU$ on $X$ is called $G$-Ramsey if, for any $G$-invariant coloring $χ:[G]^2 \to \{0,1\}$, there is $U\in \UU$ such that $[U]^2$ is $χ$-monochrome. By Theorem 4, each $G$-Ramsey ultrafilter on $X$ is $G$-selective. Theorems 5 and 6 give us a plenty of $\mathbb{Z}$-selective ultrafilters on $\mathbb{Z}$ (as a regular $\mathbb{Z}$-space) but not $\mathbb{Z}$-Ramsey. We conjecture that each $\mathbb{Z}$-Ramsey ultrafilter is selective.

A ballean is a set $X$ endowed with some family $\F$ of its subsets, called the balls, in such a way that $(X,\F)$ can be considered as an asymptotic counterpart of a uniform topological space. Given a cardinal $κ$, we define $\F$ using a natural order structure on $κ$. We characterize balleans up to coarse equivalence, give the criterions of metrizability and cellularity, calculate the basic cardinal invariant of these balleans. We conclude the paper with discussion of some special ultrafilters on cardinal balleans.

In this paper we establish a new connection between central sets and the strong coincidence conjecture for fixed points of irreducible primitive substitutions of Pisot type. Central sets, first introduced by Furstenberg using notions from topological dynamics, constitute a special class of subsets of $\nats$ possessing strong combinatorial properties: Each central set contains arbitrarily long arithmetic progressions, and solutions to all partition regular systems of homogeneous linear equations. We give an equivalent reformulation of the strong coincidence condition in terms of central sets and minimal idempotent ultrafilters in the Stone-Čech compactification $β\nats .$ This provides a new arithmetical approach to an outstanding conjecture in tiling theory, the Pisot substitution conjecture. The results in this paper rely on interactions between different areas of mathematics, some of which had not previously been directly linked: They include the general theory of combinatorics on words, abstract numeration systems, tilings, topological dynamics and the algebraic/topological properties of Stone-Čech compactification of $\nats.$

In 2011, Neil Hindman proved that for every natural number $n,m$ the polynomial \begin{equation*} \sum_{i=1}^{n} x_{i}-\prod\limits_{j=1}^{m} y_{j} \end{equation*} has monochromatic solutions for every finite coloration of $\mathbb{N}$. We want to generalize this result to two classes of nonlinear polynomials. The first class consists of polynomials $P(x_{1},...,x_{n},y_{1},...,y_{m})$ of the following kind: \begin{equation*} P(x_{1},...,x_{n},y_{1},...,y_{m})=\sum_{i=1}^{n}a_{i}x_{i}M_{i}(y_{1},...,y_{m}), \end{equation*} where $n,m$ are natural numbers, $\sum\limits_{i=1}^{n}a_{i}x_{i}$ has monochromatic solutions for every finite coloration of $\mathbb{N}$ and the degree of each variable $y_{1},...,y_{m}$ in $M_{i}(y_{1},...,y_{m})$ is at most one. An example of such a polynomial is \begin{equation*} x_{1}y_{1}+x_{2}y_{1}y_{2}-x_{3}.\end{equation*} The second class of polynomials generalizing Hindman's result is more complicated to describe; its particularity is that the degree of some of the involved variables can be greater than one.\\ The technique that we use relies on an approach to ultrafilters based on Nonstandard Analysis. Perhaps, the most interesting aspect of this technique is that, by carefully chosing the appropriate nonstandard setting, the proof of the main results can be obtained by very simple algebraic considerations.

In literature, many important combinatorial properties of subsets of N have been studied both with nonstandard techniques and from the point of view of N. In this thesis we mix these two different approaches in a technique that, at the same time, incorporates nonstandard tools and ultrafilters.

We establish a new mixing theorem for quasirandom groups (finite groups with no low-dimensional unitary representations) $G$ which, informally speaking, asserts that if $g, x$ are drawn uniformly at random from $G$, then the quadruple $(g,x,gx,xg)$ behaves like a random tuple in $G^4$, subject to the obvious constraint that $gx$ and $xg$ are conjugate to each other. The proof is non-elementary, proceeding by first using an ultraproduct construction to replace the finitary claim on quasirandom groups with an infinitary analogue concerning a limiting group object that we call an \emph{ultra quasirandom group}, and then using the machinery of idempotent ultrafilters to establish the required mixing property for such groups. Some simpler recurrence theorems (involving tuples such as $(x,gx,xg)$) are also presented, as well as some further discussion of specific examples of ultra quasirandom groups.

We give a proof of an infinitary version of the well known Hales-Jewett theorem on finite words avoiding the use of ultrafilters.

W. T. Gowers proved that every Lipschitz function from the unit sphere of the Banach space $c_0$ to $\mathbb{R}$ is oscilation stable. His proof uses a result about finite partitions of the set $FIN_k$ of finitely supported functions $p$ from $\mathbb{N}$ to $\{0,1,...,k\}$ with $k$ in $Im(p)$. Every known proof of this fact uses methods of topological dynamics on the space $β\mathbb{N}$ of ultrafilters on $\mathbb{N}$. We give a purely combinatorial proof of this result avoiding the use of ultrafilters.

We present a short proof of Jin's theorem which is entirely elementary, in the sense that no use is made of nonstandard analysis, ergodic theory, measure theory, ultrafilters, or other advanced tools. The given proof provides the explicit bound 1/c where c=BD(A)*BD(B) to the number of shifts of A+B that are needed to cover a thick set.

Van der Waerden's theorem asserts that if you color the natural numbers with, say, five different colors, then you can always find arbitrarily long sequences of numbers that have the same color and that form an arithmetic progression. Szemerédi's theorem generalizes this statement and asserts that every subset of natural numbers with positive density contains arithmetic progressions of arbitrary length. Van der Waerden's theorem can be proven using elementary combinatorics, but it is also possible to give an interpretation and a short proof in terms of ultrafilters and the Stone-Čech compactification βN. This diploma thesis gives an interpretation of Szemerédi's theorem in terms of ultrafilters as well. In particular, van der Waerden's theorem is equivalent to the existence of a single ultrafilter with special properties and we will show that Szemerédi's theorem is equivalent to the fact that with respect to a counting measure on βN, almost all ultrafilters have these properties.

Motivated by Tukey classification problems and building on work in \cite{Dobrinen/Todorcevic11}, we develop a new hierarchy of topological Ramsey spaces $\mathcal{R}_α$, $α<ω_1$. These spaces form a natural hierarchy of complexity, $\mathcal{R}_0$ being the Ellentuck space, and for each $α<ω_1$, $\mathcal{R}_{α+1}$ coming immediately after $\mathcal{R}_α$ in complexity. Associated with each $\mathcal{R}_α$ is an ultrafilter $\mathcal{U}_α$, which is Ramsey for $\mathcal{R}_α$, and in particular, is a rapid p-point satisfying certain partition properties. We prove Ramsey-classification theorems for equivalence relations on fronts on $\mathcal{R}_α$, $2\leα<ω_1$. These are analogous to the Pudlak-\Rodl\ Theorem canonizing equivalence relations on barriers on the Ellentuck space. We then apply our Ramsey-classification theorems to completely classify all Rudin-Keisler equivalence classes of ultrafilters which are Tukey reducible to $\mathcal{U}_α$, for each $2\leα<ω_1$: Every ultrafilter which is Tukey reducible to $\mathcal{U}_α$ is isomorphic to a countable iteration of Fubini products of ultrafilters from among a fixed countable collection of rapid p-points. Moreover, we show that the Tukey types of nonprincipal ultrafilters Tukey reducible to $\mathcal{U}_α$ form a descending chain of order type $α+1$.

Motivated by a Tukey classification problem we develop here a new topological Ramsey space $\mathcal{R}_1$ that in its complexity comes immediately after the classical is a natural Ellentuck space \cite{MR0349393}. Associated with $\mathcal{R}_1$ is an ultrafilter $\mathcal{U}_1$ which is weakly Ramsey but not Ramsey. We prove a canonization theorem for equivalence relations on fronts on $\mathcal{R}_1$. This is analogous to the Pudlak-\Rodl\ Theorem canonizing equivalence relations on barriers on the Ellentuck space. We then apply our canonization theorem to completely classify all Rudin-Keisler equivalence classes of ultrafilters which are Tukey reducible to $\mathcal{U}_1$: Every ultrafilter which is Tukey reducible to $\mathcal{U}_1$ is isomorphic to a countable iteration of Fubini products of ultrafilters from among a fixed countable collection of ultrafilters. Moreover, we show that there is exactly one Tukey type of nonprincipal ultrafilters strictly below that of $\mathcal{U}_1$, namely the Tukey type a Ramsey ultrafilter.

A subset $A$ of $\mathbb{N}$ is called an IP-set if $A$ contains all finite sums of distinct terms of some infinite sequence $(x_n)_{n\in \mathbb{N}} $ of natural numbers. Central sets, first introduced by Furstenberg using notions from topological dynamics, constitute a special class of IP-sets possessing additional nice combinatorial properties: Each central set contains arbitrarily long arithmetic progressions, and solutions to all partition regular systems of homogeneous linear equations. In this paper we show how certain families of aperiodic words of low factor complexity may be used to generate a wide assortment of central sets having additional nice properties inherited from the rich combinatorial structure of the underlying word. We consider Sturmian words and their extensions to higher alphabets (so-called Arnoux-Rauzy words), as well as words generated by substitution rules including the famous Thue-Morse word. We also describe a connection between central sets and the strong coincidence condition for fixed points of primitive substitutions which represents a new approach to the strong coincidence conjecture for irreducible Pisot substitutions. Our methods simultaneously exploit the general theory of combinatorics on words, the arithmetic properties of abstract numeration systems defined by substitution rules, notions from topological dynamics including proximality and equicontinuity, the spectral theory of symbolic dynamical systems, and the beautiful and elegant theory, developed by N. Hindman, D. Strauss and others, linking IP-sets to the algebraic/topological properties of the Stone-Čech compactification of $\mathbb{N}.$ Using the key notion of $p$-$\lim_n,$ regarded as a mapping from words to words, we apply ideas from combinatorics on words in the framework of ultrafilters.

Using ultrafilter techniques we show that in any partition of $\mathbb{N}$ into 2 cells there is one cell containing infinitely many exponential triples, i.e. triples of the kind $a,b,a^b$ (with $a,b>1$). Also, we will show that any multiplicative $IP^*$ set is an "exponential $IP$ set", the analogue of an $IP$ set with respect to exponentiation.

We show a general scheme of Ramsey-type results for partitions of countable sets of finite functions, where "one piece is big" is interpreted in the language originating in creature forcing. The heart of our proofs follows Glazer's proof of the Hindman Theorem, so we prove the existence of idempotent ultrafilters with respect to suitable operation. Then we deduce partition theorems related to creature forcings.

The Dense Hindman's Theorem states that, in any finite coloring of the integers, one may find a single color and a "dense" set $B_1$, for each $b_1\in B_1$ a "dense" set $B_2^{b_1}$ (depending on $b_1$), for each $b_2\in B_2^{b_1}$ a "dense" set $B_3^{b_1,b_2}$ (depending on $b_1,b_2$), and so on, such that for any such sequence of $b_i$, all finite sums belong to the chosen color. (Here density is often taken to be "piecewise syndetic", but the proof is unchanged for any notion of density satisfying certain properties.) This theorem is an example of a combinatorial statement for which the only known proof requires the use of ultrafilters or a similar infinitary formalism. Here we give a direct combinatorial proof of the theorem.

It is well known and not difficult to prove that if $C$ of integers has positive upper Banach density, the set of differences $C-C$ is syndetic, i.e. the length of gaps is uniformly bounded. More surprisingly, Renling Jin showed that whenever $A$ and $B$ have positive upper Banach density, then $A-B$ is piecewise syndetic. Jin's result follows trivially from the first statement provided that $B$ has large intersection with a shifted copy $A-n$ of $A$. Of course this will not happen in general if we consider shifts by integers, but the idea can be put to work if we allow "shifts by ultrafilters". As a consequence we obtain Jin's Theorem.

Hindman's Theorem is a prototypical example of a combinatorial theorem with a proof that uses the topology of the ultrafilters. We show how the methods of this proof, including topological arguments about ultrafilters, can be translated into second order arithmetic.