arXiv++ Combinatorics

We systematize and analyze some results obtained in Subset Combinatorics of $G$ groups after publications the previous surveys [1-4]. The main topics: the dynamical and descriptive characterizations of subsets of a group relatively their combinatorial size, Ramsey-product subsets in connection with some general concept of recurrence in $G$-spaces, new ideals in the Boolean algebra $\mathcal{P}_{G}$ of all subsets of a group $G$ and in the Stone-$\check{C}$ech compactification $βG$ of $G$ , the combinatorial derivation.

Given a metric space $(X,d)$, we say that a mapping $χ: [X]^{2}\longrightarrow\{0.1\}$ is an isometric coloring if $d(x,y)=d(z,t)$ implies $χ(\{x,y\})=χ(\{z,t\})$. A free ultrafilter $\mathcal{U}$ on an infinite metric space $(X,d)$ is called metrically Ramsey if, for every isometric coloring $χ$ of $[X]^{2}$, there is a member $U\in\mathcal{U}$ such that the set $[U]^{2}$ is $χ$-monochrome. We prove that each infinite ultrametric space $(X,d)$ has a countable subset $Y$ such that each free ultrafilter $\mathcal{U}$ on $X$ satisfying $Y\in\mathcal{U}$ is metrically Ramsey. On the other hand, it is an open question whether every metrically Ramsey ultrafilter on the natural numbers $\mathbb{N}$ with the metric $|x-y|$ is a Ramsey ultrafilter. We prove that every metrically Ramsey ultrafilter $\mathcal{U}$ on $\mathbb{N}$ has a member with no arithmetic progression of length 2, and if $\mathcal{U}$ has a thin member then there is a mapping $f:\mathbb{N}\longrightarrowω$ such that $f(\mathcal{U})$ is a Ramsey ultrafilter.

For every $n\in\mathbb N$ we construct a finite graph $G$ such that every orientation $\vec G$ of $G$ contains an isometric copy of any oriented tree on $n$ vertices, and evaluate the smallest possible cardinality of $G$. On the other hand, we prove that every graph $G$ admits an orientation containing no directed $ω$-paths of infinite diameter.

Every countable topological group $G$ has a closed discrete subset $A$ such that $G=AA^{-1}.$

We say that a topological group $G$ is partially box $κ$-resolvable if there exist a dense subset $B$ of $G$ and a subset $A $ of $G$, $|A|=κ$ such that the subsets $\{ aB: a\in A\}$ are pairwise disjoint. If $G=AB$ then $G$ is called box $κ$-resolvable. We prove two theorems. If a topological group $G$ contains an injective convergent sequence then $G$ is box $ω$-resolvable. Every infinite totally bounded topological group $G$ is partially box $n$-resolvable for each natural number $n$, and $G$ is box $κ$-resolvable for each infinite cardinal $κ, κ<|G|$.

Given a semigroup $S$ and an $n$-partition $\mathcal{P}$ of $S$, $n\in \mathbb{N}$, do there exist $A\in \mathcal{P}$ and a subset $F$ of $S$ such that $S=F ^{-1} \{x \in S: x A \bigcap A\neq\emptyset\}$ and $|F |\leq n$? We give an affirmative answer provided that either $S$ is finite or $n=2$.

In 1995 in Kourovka notebook the second author asked the following problem: it is true that for each partition $G=A_1\cup\dots\cup A_n$ of a group $G$ there is a cell $A_i$ of the partition such that $G=FA_iA_i^{-1}$ for some set $F\subset G$ of cardinality $|F|\le n$? In this paper we survey several partial solutions of this problem, in particular those involving certain canonical invariant densities and submeasures on groups.

We define thin and asymptotically scattered metric spaces as asymptotic counterparts of discrete and scattered metric spaces respectively. We characterize asymptotically scattered spaces in terms of prohibited subspaces, and classify thin metric spaces up to coarse equivalence. We introduce the types of asymptotically scattered spaces and construct the spaces of distinct types. We transfer the notion of asymptotically scattered spaces to $G$-spaces and characterize asymptotically scattered spaces of groups.

Can the real line with removed zero be covered by countably many linearly (algebraically) independent subsets over the field of rationals? We use a matroid approach to show that an answer is "Yes" under the Continuum Hypothesis, and "No" under its negation.