arXiv++ Combinatorics

H. Furstenberg introduced the notion of central sets in terms of topological dynamics and established the famous Central Sets Theorem. Later in [A new and stronger Central Sets Theorem, Fund. Math. 199 (2008), 155-175], D. De, N. Hindman, and D. Strauss established a stronger version of the Central Sets Theorem that uses the algebra of the Stone-\v Cech compactification of discrete semigroups. In this article, We will provide a new and combinatorial proof of the stronger Central Sets Theorem.

An infinite integral domain $R$ is called a large ideal domain (LID) if every nontrivial ideal of $R$ has finite index in $R$. Recently, N. Hindman and D. Strauss have established a refinement of Moreira's theorem for the set of natural numbers and infinite fields. In this article, we prove the same result of N. Hindman and D. Strauss for large ideal domains (LID) and a polynomial extension.

The concept of Central sets, introduced by Furstenberg through the framework of topological dynamics, has played a pivotal role in combinatorial number theory. Furstenberg's Central Sets Theorem highlighted their rich combinatorial structure. Later, De, Hindman, and Strauss strengthen this theorem using the algebraic framework of the Stone--Čech compactification. In this article, we establish a unified version of the Central Sets Theorem that simultaneously captures both additive and multiplicative structures.

Using the methods from topological dynamics, H. Furstenberg introduced the notion of a central set and proved the famous Central Sets Theorem. Later D. De, Neil Hindman, and D. Strauss [Fund. Math.199 (2008), 155-175.] established a stronger version of the Central Sets Theorem and then introduced the notion of $C$-sets satisfying the Central Sets Theorem and studied the properties of these sets. For any weak mixing system $\left(X, \mathcal{B},μ, T\right),$ and $A_{0},A_{1}\in\mathcal{B}$, with $μ\left(A_{0}\right)μ\left(A_{1}\right)>0$, R. Kung and X.Ye [Disc. Cont. Dyn. sys., 18 (2007) 817-827.] proved that the set $N\left(A,B\right)= \left\{n:μ\left(A_{0}\cap T^{-n}A_{1}\right)>0\right\}$ intersects all sets of positive upper Banach density. However, later N. Hindman and D. Strauss [New York J. Math. 26 (2020) 230-260.] proved that there exist $C$-sets having zero upper Banach density. Inspired by this result, in this article, we prove that $N\left(A, B \right)$ intersects with all $C$-sets. Then we introduce the notion of a dynamical $C^{\star}$-set and then we study their combinatorial properties.

Let $r\in\mathbb{N}$ and $\mathbb{N}=\bigcup_{i=1}^{r}C_{i}$. Do there exist $x,y\in\mathbb{N}$ and $i\in\left\{1,2,\ldots,r\right\}$ such that $\left\{x,y,xy,x+y\right\}\subseteq C_{i}$? This is still an unanswered question asked by N. Hindman. Joel Moreira in [Annals of Mathematics 185 (2017) 1069-1090] established a partial answer to this question and proved that for infinitely many $x,y\in\mathbb{N}$, $\left\{x,xy,x+y\right\}\subseteq C_{i}$ for some $i\in\left\{1,2,\ldots,r\right\}$, which is called Moreira's Theorem. Recently, H. Hindman and D. Strauss established a refinement of Moreira's Theorem and proved that for infinitely many $y$, $\left\{x\in\mathbb{N}:\left\{x,xy,x+y\right\}\subseteq C_{i}\right\}$ is a piecewise syndetic set. In this article, we will prove infinitely many $y\in FP\left(\mathbb{P}-1\right)$ such that $\left\{x\in\mathbb{N}:\left\{xy,x+f(y):f\in F\right\}\subseteq C_{i}\right\}$ is piecewise syndetic, where $F$ is a finite subset of $x\mathbb{Z}\left[x\right]$. We denote $\mathbb{P}$ is the set of prime numbers in $\mathbb{N}$ and $FP\left(\mathbb{P}-1\right)$ is the set of all finite products of distinct elements of $\mathbb{P}-1$.

Using the methods from topological dynamics, H. Furstenberg introduced the notions of Central sets and proved the famous Central Sets Theorem which is the simultaneous extension of the van der Waerden and Hindman Theorem. Later N. Hindman and V. Bergelson found an equivalent formulation of Central sets in the set of natural numbers in terms of the algebra of the Stone-Čech compactification of discrete semigroups. The general case was proved by H. Shi and H. Yang. Using the notions of ultrafilters, J. McLeod introduced the notions of Central sets for commutative adequate partial semigroups, however for noncommutative cases, Central sets can be defined similarly. In this article, introducing the notions of topological dynamics for partial semigroup actions, we find an equivalent dynamical characterization of central sets in partial semigroups\footnote{Recently in \cite{GTG}, authors attempted to do the same but in a different approach.}. Throughout our article, we follow the approach of N. Hindman and D. Strauss [N. Hindman, and D. Strauss: Algebra in the Stone-\v Cech compactification: theory and applications, second edition, de Gruyter, Berlin, 2012.].

$A$ set is called $IP$-set in a semigroup $\left(S,\cdot \right)$ if it contains finite products of a sequence. A set that intersects with all $IP$-sets is called $IP^\star$-set. It is a well known and established result by Bergelson and Hindman that if $A$ is an $IP^{\star}$-set, then for any sequence $\langle x_{n}\rangle_{n=1}^{\infty}$, there exists a sum subsystem $\langle y_{n}\rangle_{n=1}^{\infty}$ such that $FS\left(\langle y_{n}\rangle_{n=1}^{\infty}\right)\cup FP\left(\langle y_{n}\rangle_{n=1}^{\infty}\right)\subset A$. In \cite[Question 3]{G}, S. Goswami posed the question: if we replace the single sequence by $l$-sequences, then is it possible to obtain a sum subsystem such that all of its zigzag finite sums and products will be in $A$. Goswami has given affirmative answers only for dynamical $IP^{\star}$-sets which are not equivalent to those of $IP^{\star}$-sets, but are rather significantly stronger. In this article, we will give the answer to Goswami's question that was unknown until now.

In \cite{Fi} A. Fish proved that if $E_{1}$ and $E_{2}$ are two subsets of $\mathbb{Z}$ of positive upper Banach density, then there exists $k\in\mathbb{Z}\setminus{0}$ such that $k\cdot\mathbb{Z}\subset\left(E_{1}-E_{1}\right)\cdot\left(E_{2}-E_{2}\right)$. In \cite{G}, S. Goswami proved the same but a fundamental result on the set of prime numbers $\mathbb{P}$ in $\mathbb{N}$ and proved that for some $k\in\mathbb{N}$, $k\cdot\mathbb{N}\subset\left(\mathbb{P}-\mathbb{P}\right)\cdot\left(\mathbb{P}-\mathbb{P}\right)$. To do so, Goswami mainly proved that the product of an $IP^{\star}$-set with an $IP_{r}^{\star}$-set contains $k\mathbb{N}$. This result is very important and surprising to mathematicians who are aware of combinatorially rich sets. In this article, we extend Goswami's result to large Lntegral Domain, that behave like $\mathbb{N}$ in the sense of some combinatorics. We prove that for a combinatorially rich ($CR$-set) set, $A$, for some $k\in\mathbb{N}$, $k\cdot\mathbb{N}\subset\left(A-A\right)\cdot\left(A-A\right)$. We provide a new proof that if we partition a large Integral Domain, $R$, into finitely many cells, then at least one cell is both additive and multiplicative central, and we prove the converse part, which is a new and unknown result.

In [On $IP^{\star}$sets and central sets, Combinatorica, 14 (1994) 269-277], N. Hindman and V.Bergelson proved additive $IP^{\star}$-sets contain finite sums and finite products of a single sequence. An analogous study was made by A. Sisto in [Exponential triples, Electronics Journal of Combinatorics, 18 (2011), no. 147], where he proved that multiplicative $IP^{\star}$-sets contain exponential $IP$ of type $I$ and finite sums of a single sequence as well as exponential $IP$ of type $II$ and finite products of another single sequence, using the algebra in the Stone-Čech Compactification of discrete semigroups. In this article, we will provide a combinatorial proof of the result of A. Sisto.

In \cite[Proposition 8.21 Page-169]{F} Using the methods of topological dynamics, H. Furstenberg introduced the notion of central set and proved the famous Central Sets Theorem. Later, in \cite{DHS}, D. De, H. Hindman and D. Struss established a strong Central Sets Theorem, where they introduced the notion of $J$-set. Like $J$-set, in \cite{BG} V. Bergelson and D. Glasscock introduced the notion of combinatorially rich set ( $CR$-set). Let $u,v\in\mathbb{N}$ and $A$ be a $u\times v$ matrix with rational entries. In \cite{HS23}, N. Hindman and D. Strauss established that whenever $B$ is a piecewise syndetic set (resp. $J$-set) in $\mathbb{Z}$, $\left\{ \vec{x}\in\mathbb{Z}^{v}:A\vec{x}\in B^{u}\right\} $ is a piecewise syndetic set ( resp. $J$-set) in $\mathbb{Z}^{v}$. In this article, we prove the same result for $CR$-sets using an equivalent definition of $CR$-set in \cite{HHST} by N. Hindman, H. Hosseini, D. Strauss and M. Tootkaboni.

$IP$ sets play fundamental role in arithmetic Ramsey theory. A set is called an additive $IP$ set if it is of the form $FS\left(\langle x_{n}\rangle_{n\in \mathbb{N}}\right)=\left\{ \sum_{t\in H}x_{t}:H\right.$ is a nonempty finite subset of $\left.\mathbb{N}\right\}$, whereas it is called a multiplicative $IP$ set if it is of the form $FP\left(\langle x_{n}\rangle_{n\in \mathbb{N}}\right)=\left\{ \prod_{t\in H}x_{t}:H\right.$ is a nonempty finite subset of $\left. \mathbb{N}\right\}$ for some injective sequence $\langle x_{n}\rangle_{n\in \mathbb{N}}.$ An additive $IP^{\star}$ (resp. multiplicative $IP^{\star}$) set is a set which intersects every additive $IP$ set (resp. multiplicative $IP$ set). In \cite{key-1}, V. Bergelson and N. Hindman studied how rich additive $IP^{\star}$ sets are. They proved additive $IP^{\star}$ sets ($AIP^{\star}$ in short) contain finite sums and finite products of a single sequence. An analogous study was made by A. Sisto in\cite{key-3}, where he proved that multiplicative $IP^{\star}$ sets ($MIP^{\star}$ in short) contain exponential tower\footnote{will be defined later} and finite product of a single sequence. However exponential patterns can be defined in two different ways. In this article we will prove that $MIP^{\star}$ sets contain two different exponential patterns and finite product of a single sequence. This immediately improves the result of A. Sisto. We also construct a $MIP^\star$ set, not arising from the recurrence of measurable dynamical systems. Throughout our work we will use the machinery of the algebra of the Stone-Čech Compactification of $\mathbb{N}$.

Using the methods of topological dynamics, H. Furstenberg introduced the notion of a central set and proved the famous Central Sets Theorem. D. De, N. Hindman, and D. Strauss introduced $C$-set, satisfying the strong central set theorem. Using the algebraic structure of the Stone-Čech compactification of a discrete semigroup, N. Hindman and D. Strauss proved that the Cartesian product of two $C$-sets is a $C$-set. S. Goswami has proved the same result using the elementary characterization of $C$-sets. In this article, we will prove that the product of two $C$-sets is a $C$-set, using the dynamical characterization of $C$-sets. Recently, S. Goswami has proved that the Cartesian product of two $CR$-sets is a $CR$-set, which was a question posed by N. Hindman, H. Hosseini, D. Strauss, and M. Tootkaboni in [Semigroup Forum 107 (2023)]. Here we also prove that the Cartesian product of two essential $CR$-sets is an essential $CR$-set.

Let $α>0$ and $0<γ<1$. Define $g_{α,γ}:\mathbb{N}\rightarrow\mathbb{N}$ by $g_{α,γ}\left(n\right)=\lfloorαn+γ\rfloor$. The set $\left\{ g_{α,γ}\left(n\right):n\in\mathbb{N}\right\} $ is called the nonhomogeneous spectrum of $α$ and $γ$. We refer to the maps $g_{α,γ}$ as nonhomogeneous spectra. In \cite{BHK}, Bergelson, Hindman and Kra showed that if $A$ is an $IP$-set, a central set, an $IP^{\star}$-set, or a central$^{\star}$-set, then $g_{α,γ}\left[A\right]$ is the corresponding objects. Hindman and Johnsons extended this result to include several other notions of largeness: $C$-sets, $J$-sets, strongly central sets, piecwise syndetic sets, $AP$-sets syndetic set, $C^{\star}$-sets, strongly central$^{\star}$- sets . In \cite{DHS}, De, Hindman and Strauss introduced $C$-set and $J$-set and showed that $C$-sets satisfy the conclusion of the Central Sets Theorem. To prepare this article, we have been strongly motivated by the fact that $C$-sets are essential $\mathcal{J}$-sets. In this article, we prove some new results regarding nonhomogeneous spectra of essential $\mathcal{F}$-sets for shift invariant $\mathcal{F}$-sets. We have a special interest in the family $\mathcal{HSD}=\left\{ A\subseteq\mathbb{N}:\sum_{n\in A}\frac{1}{n}=\infty\right\} $ as this family is directly connected with the famous Erdős sum of reciprocal conjecture and as a consequence we get $g_{α,γ}\left[\mathbb{P}\right]\in\mathcal{HSD}$, where $\mathbb{P}$ is the set of prime numbers in $\mathbb{N}$. Throughout this article, we use some elementary techniques and algebra of the Stone-Čech compactifications of discrete semigroups.

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.

V. Bergelson and N. Hindman proved that IP$^{\star}$- sets contain all possible finite sums and products of a sum subsystem of any sequence in $\mathbb{N}$. In a recent work the second author of this article has proved that a stronger result holds for dynamical IP$^{\star}$- sets. In this article we will establish a non-commutative version of this result. We will prove that a richer configuration is contained in dynamical IP$^{\star}$- sets in weak rings.

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 $βS$, the Stone-Čech Compactification of a semigroup $\left(S,\cdot\right)$. We know that any closed subsemigroup of $βS$ is generated by a filter. We call a set $A$ to be a $\mathcal{F}$-central set if it is a member of a minimal idempotent of a closed subsemigroup of $βS$, generated by the filter $\mathcal{F}$. In this article we will characterize the $\mathcal{F}$-central sets dynamically.

There is a long history of studying Ramsey theory using the algebraic structure of Stone-Cech compactification of discrete semigroup. It has been shown that various Ramsey theoretic structures are contained in different algebraic large sets. In this article we will study elementary characterization of essential F sets. And also study the mixing properties arises from essential F sets.

Furstenberg and Glasner proved that for an arbitrary k in N, any piecewise syndetic set contains k length arithmetic progression and such collection is also piecewise syndetic in Z: They used algebraic structure of beta N. The above result was extended for arbitrary semigroups by Bergelson and Hindman, again using the structure of Stone-Cech compactification of general semigroup. However they provided the abundances for various types of large sets. But the abundances in in many large sets is still unknown. In this work we will provide the abundance in Quasi Central sets, J-sets and C-sets.

The famous van der Waerden theorem states that if partition N into finitely many cells then one of them will contain arbitrary length arithmetic progressions. It has a polynomial version also. In this article we will prove the near 0 version of the polynomial van der Waerden theorem which was unsolved, using combinatorics.