arXiv++ Combinatorics

Geschke, Lubarsky, and Rahn in ``Choice and the Hat Game''~\cite{choice-and-the-hat-game} generalize the classic hat game puzzle to infinitely-many players and ask whether every model of set theory without choice in which the optimal solution can be carried out contains either a nonprincipal ultrafilter on $\mathbb N$ or else a Vitali set. A negative answer is obtained here by constructing a model in which there is an optimal solution to the hat game puzzle but no nonprincipal ultrafilter on $\mathbb N$ and no Vitali set. This is accomplished in a more general setting, establishing that for any Borel bipartite graph $Γ$ not embedding some $K_{n,ω_1}$ and with countable colouring number there is a model of $\mbox{ZF} + \mbox{DC}$ in which $Γ$ has a $2$-colouring but there is no ultrafilter as above or Vitali set. The same conclusion applies to the natural generalization of the hat game to an arbitrary finite number of hat colours.

The investigation of width parameters in both graph and algebraic contexts has attracted considerable interest. Among these parameters, the linear branch width has emerged as a crucial measure. In this concise paper, we explore the concept of linear decomposition, specifically focusing on the single filter in a connectivity system. Additionally, we examine the relevance of matroids, antimatroids, and greedoids in the context of connectivity systems. Our primary objective in this study is to shed light on the impediments to linear decomposition from multiple perspectives.

In recent years, several problems regarding the partition regularity of exponential configurations have been studied in the literature, in some cases using the properties of specific ultrafilters. In this paper, we start to lay down the foundations of a general theory of exponentiations of ultrafilters, with a particular focus on their combinatorial properties and the existence of idempotents.

This paper explores two fundamental concepts: branch width and weak ultrafilter. Branch width is a significant graph width parameter that measures the degree of connectivity in a graph using a branch decomposition and a symmetric submodular function. Weak ultrafilter, introduced as a weakened definition of an ultrafilter, plays a vital role in interpreting defaults in logic. We introduce the concept of Weak Ultrafilter on the connectivity system (X, f) and demonstrate its duality with branch decomposition. This study enhances our understanding of these concepts in graph combinatorial and logical contexts.

Tangle is a concept in graph theory that has a dual relationship with branch-width which is well-known graph width parameter. Ultrafilter, a fundamental notion in mathematics, is similarly known to have a dual relationship with branch-width when extended to a connectivity system (X, f). We will reconsider these concepts using separation and partition.

It will be shown to be consistent that there are at least two non-isomorphic selective ultrafilters, but no stable ordered-union ultrafilters. This answers a question of Blass from his 1987 paper which introduced the concept of a stable ordered-union ultrafilter.

In this article, we will explore a recent method of Alweiss \cite{key-1} using ultrafilter technique to study monochromatic partition regular structure of the form $\left\{ x,y,x+y,x\cdot y\right\} $ over rationals, which is recently proved by Bowen, and Sabok in \cite{key-17}. Our methods explore that each member of combinatorially rich ultrafilters contains these types of configurations. Besides this, we will also prove that for any $n\in\mathbb{N},$ these sets will contain configuration of the form $\left\{ x,y,x+y,x\cdot y^{n}\right\}$, partially proved by Xiao in \cite{key-25}.

We investigate the infinite version of the $k$-switch problem of Greenwell and Lovász. Given infinite cardinals $κ$ and $λ$, for functions $x,y\in {}^λκ$ we say that they are totally different if $x(i)\ne y(i)$ for each $i\in λ$. A function $F:{}^λκ\longrightarrow κ $ is a proper coloring if $F(x)\ne F(y)$ whenever $x$ and $y$ are totally different elements of ${}^λκ $. We say that $F$ is weakly uniform iff there are pairwise totally different functions $\{r_α:α<κ\}\subset {}^λκ$ such that $F(r_α)=α$; $F$ is tight if there is no proper coloring $G:{}^λκ\longrightarrow κ$ such that there is exactly one $x\in {}^λκ$ with $G(x)\ne F(x)$. We show that given a proper coloring $F:{}^λκ\to κ$, the following statements are equivalent $F$ is weakly uniform, there is a $κ ^{+}$-complete ultrafilter $\mathscr{U}$ on $λ$ and there is a permutation $π\in Symm(κ)$ such that for each $x\in {}^λκ$ we have $$F(x)=π(α)\ \Longleftrightarrow \ \{i\in λ: x(i)=α\} \in \mathscr{U}.$$ We also show that there are tight proper colorings which cannot be obtained such a way.

We present a short ultrafilter proof of the existence of monochromatic exponential triples $\{a, b, b^a\}$ in any finite coloring of the natural numbers. The proof is given from scratch and uses only Ramsey's theorem, the notion of asymptotic density and the definition of ultrafilter as prerequisites. We then generalize the construction using a special ultrafilter whose existence is well known in the algebra of ultrafilters, and prove a new result on the existence of infinite monochromatic exponential patterns.

We study the localization along a filter of several dynamical notions. This generalizes and extends similar localizations that have been considered in the literature, e.g. near 0 and near an idempotent. Definitions and basic properties of F-syndetic, piecewise F-syndetic, collectionwise F-piecewise syndetic, F-quasi central and F-central sets and their relations with F-uniformly recurrent points and ultrafilters are studied. We provide also the nonstandard characterizations of some of the above notions and we prove the partition regularity of several nonlinear equations along filters under mild general assumptions.

Erdős-Ginzburg-Ziv theorem says that if there are 2n-1 number is given, then there are n numbers such that their sum is divided by n. We will connect this theorem with the Ramsey theoretic large sets and will prove an infinitary version of this theorem. In our proof we will use the methods of ultrafilters. But one may proceed using methods of Topological dynamics.

We show that the Ramsey theory of block sequences in infinite-dimensional discrete vector spaces can be parametrized by perfect sets. As special cases, we prove combinatorial dichotomies for definable families of partitions and linear transformations on those spaces. We also consider the extent to which analogues of selective ultrafilters in this setting are preserved by Sacks forcing.

The main result provide a common generalization for Ramsey-type theorems concerning finite colorings of edge sets of complete graphs with vertices in infinite semigroups. We capture the essence of theorems proved in different fields: for natural numbers due to Milliken--Tylor, Deuber--Hindman, Bergelson--Hindman, for combinatorial covering properties due to Scheepers and Tsaban, and local properties in function spaces due to Scheepers. To this end, we use idempotent ultrafilters in the Čech--Stone compactifications of discrete infinite semigroups and topological games. The research is motivated by the recent breakthrough work of Tsaban about colorings and the Menger covering property.

We show the existence of several infinite monochromatic patterns in the integers obtained as values of suitable symmetric polynomials. The simplest example is the following. For every finite coloring of the natural numbers $\mathbb{N}=C_1\cup\ldots\cup C_r$, there exists an increasing sequence $a<b<c<\ldots$ such that all elements below are monochromatic, that is, they belong to the same $C_i$: $$a,b,c,\ldots, a+b+ab, a+c+ac, b+c+bc,\ldots,a+b+c+ab+ac+bc+abc,\ldots.$$ The proofs use algebra in the space of ultrafilters $β\mathbb{Z}$.

We fully characterise the solvability of Rado equations inside linear combinations $a_{1}\U\oplus\dots\oplus a_{n}\U$ of idempotent ultrafilters $\U\inβ\Z$ by exploiting known relations between such combinations and strings of integers. This generalises a partial characterization previously obtained by Mauro Di Nasso.

Recently, S.~Kanti Patra and Md.~Moid Shaik proved the existence of monochromatic solutions to systems of polynomial equations near zero for particular dense subsemigroups $S$ of $((0,\infty),+)$. We extend their results to a much larger class of systems whilst weakening the requests on $S$, using solely basic results about ultrafilters.

H. Furstenberg introduced the notion of central set in terms of topological dynamics and established the central set theorem. The essence of central set theorem is that it is the simultaneous extension of van der Waerden's theorem and Hindman's theorem. Later V. Bergelson and N. Hindman established a connection between central sets and the algebra of Stone-cech compactification and proved that the central sets are the member of minimal idempotent ultrafilter of discrete semigroup. In some subsequent papers the central set theorem has been studied more deeply and some generalizations has been established. Those works use the techniques of Stone-Cech compactification of discrete semigroup. In this work we will prove central set theorem via combinatorial approach using the combinatorial characterization of central set established by N. Hindman, A. Malkeki and D. Strauss. Though we will use the combinatorial approach but the technique of the proof is similar to the proof of D. De, N. Hindman, D. Strauss.

N. Hindman and I. Leader introduced the set of ultrafilters 0+ on (0,1) and characterize smallest ideal of (0+,+) and proved the Central Set Theorem near zero. Recently Polynomial Central Set Theorem has been proved by V. Bergelson, J. H. Johnson Jr. and J. Moreira. In this article, we will prove Polynomial Central Set Theorem near zero.

Hindman and Leader first introduced the notion of semigroup of ultrafilters converging to zero for a dense subsemigroups of $((0,\infty),+)$. Using the algebraic structure of the Stone-$\breve{C}$ech compactification, Tootkabani and Vahed generalized and extended this notion to an idempotent instead of zero, that is a semigroup of ultrafilters converging to an idempotent $e$ for a dense subsemigroups of a semitopological semigroup $(T, +)$ and they gave the combinatorial proof of central set theorem near $e$. Algebraically one can also define quasi-central sets near $e$ for dense subsemigroups of $(T, +)$. In a dense subsemigroup of $(T,+)$, C-sets near $e$ are the sets, which satisfy the conclusions of the central sets theorem near $e$. S. K. Patra gave dynamical characterizations of these combinatorially rich sets near zero. In this paper we shall prove these dynamical characterizations for these combinatorially rich sets near $e$.

A small part of real line which is very close to zero has rich combinatorial properties. The aim of this paper is to express and then prove some locally combinatorial concepts near a virtual idempotent by considering the $wap$-compactification of a semitopological semigroup $S$. The $wap-$compactification of a semitopological semigroup $S$, is denoted by $S^w$, the collection of all ultrafilters near an idempotent $η\in S^w$ forms a compact subsemigroup of $βS_d$, where $S_d$ denotes $S$ as discrete space.