arXiv++ Combinatorics

We study (bounded) finitely additive measures on the group of integers $\mathbb Z$, as elements of the Banach algebra $\mathrm{ba}(\mathbb Z)$, viewed as a natural generalization of ultrafilters. The algebraic structure of $\mathrm{ba}(\mathbb Z)$ extends the semigroup structure of the Čech--Stone compactification, allowing methods from ultrafilter theory to be applied in a broader measure-theoretic setting. We investigate idempotent finitely additive measures and establish additive properties of subsets of $\mathbb Z$ having positive measure. We then proceed to study almost translation-invariant and translation-invariant finitely additive measures, showing that these stronger notions yield correspondingly stronger additive conclusions. In particular, we prove that every subset of $\mathbb Z$ whose measure exceeds a certain explicit threshold necessarily is an $\mathsf{IP}_{n}$-set; with stronger properties and lower thresholds depending on the properties of the relevant measures. Several examples illustrating the sharpness and limitations of the results are also presented, together with a discussion of open problems and directions for future research.

A particular case of the Hindman--Galvin--Glazer theorem states that, for every partition of an infinite abelian group $G$ into two cells, there will be an infinite $X\subseteq G$ such that the set of its finite sums $\{x_1+\cdots+x_n\big|n\in\mathbb N\wedge x_1,\ldots,x_n\in X\text{ are distinct}\}$ is monochromatic. It is known that the same statement is false, in a very strong sense, if one attempts to obtain an uncountable (rather than just infinite) $X$. On the other hand, a recent result of Komjáth states that, for partitions into uncountably many cells, it is possible to obtain monochromatic sets of the form $\mathrm{FS}(X)$, for $X$ of some prescribed finite size, when working with sufficiently large Boolean groups. In this paper, we provide a generalization of Komjáth's result, and we show that, in a sense, this generalization is the strongest possible.

We show that various analogs of Hindman's Theorem fail in a strong sense when one attempts to obtain uncountable monochromatic sets: Theorem 1: There exists a colouring $c:\mathbb R\rightarrow\mathbb Q$, such that for every $X\subseteq\mathbb R$ with $|X|=|\mathbb R|$, and every colour $γ\in\mathbb Q$, there are two distinct elements $x_0,x_1$ of $X$ for which $c(x_0+x_1)=γ$. This forms a simultaneous generalization of a theorem of Hindman, Leader and Strauss and a theorem of Galvin and Shelah. Theorem 2: For every Abelian group $G$, there exists a colouring $c:G\rightarrow\mathbb Q$ such that for every uncountable $X\subseteq G$, and every colour $γ$, for some large enough integer $n$, there are pairwise distinct elements $x_0,\ldots,x_n$ of $X$ such that $c(x_0+\cdots+x_n)=γ$. In addition, it is consistent that the preceding statement remains valid even after enlarging the set of colours from $\mathbb Q$ to $\mathbb R$. Theorem 3: Let $\circledast_κ$ assert that for every Abelian group $G$ of cardinality $κ$, there exists a colouring $c:G\rightarrow G$ such that for every positive integer $n$, every $X_0,\ldots,X_n \in[G]^κ$, and every $γ\in G$, there are $x_0\in X_0,\ldots, x_n\in X_n$ such that $c(x_0+\cdots+x_n)=γ$. Then $\circledast_κ$ holds for unboundedly many uncountable cardinals $κ$, and it is consistent that $\circledast_κ$ holds for all regular uncountable cardinals $κ$.