arXiv++ Combinatorics

Hindman's theorem and van der Waerden's theorem are two classical Ramsey theoretic results, the first one deals with finite configurations and the second one deals with infinite configurations. The Central Sets Theorem due to Furstenberg is a strong simultaneous extension of both theorems, which also applies to general commutative semigroups. Beiglboeck provided a common extension of the Central Sets Theorem and Milliken-Taylor Theorem in commutative case. Furstenberg's original Central Sets Theorem was proved in \cite{key-2} for $\left(\mathbb{N},+\right)$ for finitely many sequences at a time. Bergelson and Hindman provided a non commutative version of this Theorem \cite{key-3}. The first author of this article jointly with Hindman and Straus provided a non-commutative version of Central Sets Theorem using arbitrary many sequence at a time \cite{key-5}. In this work we will provide a non-commutative extension of Beiglboeck's Theorem. We also provide polynomial generalization of Beiglbock's theorem.

Using the notions of Topological dynamics, H. Furstenberg defined central sets and proved the Central Sets Theorem. Later V. Bergelson and N. Hindman characterized central sets in terms of algebra of the Stone-Čech compactification of discrete semigroup. They found that central sets are the members of the minimal idempotents of \b{eta}S, the Stone-Čech compactification of a semigroup (S, .). Hindman and leader introduced the notion of Central set near zero algebraically. Later dynamical and combinatorial characterization have also been established. For any given filter F in S a set A is said to be a F- central set if it is a member of a minimal idempotent of a closed subsemigroup of \b{eta}S, generated by the filter F. In a recent article Bergelson, Hindman and Strauss introduced strongly central and very strongly central sets in [BHS]. They also dynamically characterized the sets in the same paper. In the present article we will characterize the strongly F- central sets dynamically and combinatorially. Here we introduce the filter version of strongly central sets and very strongly central sets. We also provide dynamical and combinatorial characterization of such sets.

H.Furstenberg and E.Glasner proved that for an arbitrary $k\in\mathbb{N}$, any piecewise syndetic set of integers contains a $k$-term arithmetic progression and the collection of such progressions is itself piecewise syndetic in $\mathbb{Z}.$ The above result was extended for arbitrary semigroups by V. Bergelson and N. Hindman, using the algebra of the Stone-Čech compactification of discrete semigroups. However, they provided an abundance for various types of large sets. In \cite{DHS}, the first author, Neil Hindman and Dona Strauss introduced two notions of large sets, namely, $J$-set and $C$-set. In \cite{BG}, V. Bergelson and D. Glasscock introduced another notion of largeness, which is analogous to the notion of $J$-set, namely $\mathcal{CR}$- set. All these sets contain arithmetic progressions of arbitrary length. In \cite{DG}, the second author and S. Goswami proved that for any $J$-set, $A\subseteq\mathbb{N}$, the collection $\{(a,b):\,\{a,a+b,a+2b,\ldots,a+lb\}\subset A\}$ is a $J$-set in $(\mathbb{N\times\mathbb{N}},+)$. In this article, we prove the same for $\mathcal{CR}$-sets.

The notion of Image partition regularity near zero was first introduced by De and Hindman. It was shown there that like image partition regularity over $\mathbb{N}$ the main source of infinite image partition regular matrices near zero are Milliken- Taylor matrices. But Milliken- Taylor matrices are far apart to have images in central sets. In this regard the notion of centrally image partition regularity was introduced. In the present paper we propose the notion centrally partition regular matrices near zero for dense sub semigroup of $(\ber^+,+)$ which are different from centrally partition regular matrices unlike finite cases.

It is known that for an IP${^\star}$ set $A$ in $\mathbb{N}$ and a sequence $< x_{n}>_{n=1}^{\infty}$ there exists a sum subsystem $< y_{n}>_{n=1}^{\infty}$ of $< x_{n}>_{n=1}^{\infty}$ such that $FS(< y_n>_{n=1}^\infty)\cup FP(< y_n>_{n=1}^\infty)\subseteq A$. Similar types of results also have been proved for central* sets where the sequences have been taken from the class of minimal sequences. In this present work we will prove some analogues results for C$^{\star}$-sets for a more general class of sequences.

It was proved that whenever $\mathbb{N}$ is partitioned into finitely many cells, one cell must contain arbitrary length arithmetic and geometric progression nicely intertwined, so that one cell must be rich in the sense of containing substantial combined additive and multiplicative properties. Further it is known that IP$^*$ and central$^*$ sets are also rich in substantial combined additive and multiplicative properties but not partition regular. In this article we prove that these types of results also hold near zero for dense subsemigroups $S$ of $((0,\infty),+)$ for which $(S\cap(0,1),\cdot)$.