arXiv++ Combinatorics

A family $\mathcal{F}$ of subsets of $\{1,2,\ldots,n\}$ is called a $t$-intersecting family if $|F\cap G| \geq t$ for any two members $F, G \in \mathcal{F}$ and for some positive integer $t$. If $t=1$, then we call the family $\mathcal{F}$ to be intersecting. Define the set $\mathcal{I}(\mathcal{F}) = \{F\cap G: F, G \in \mathcal{F} \text{ and } F \neq G\}$ to be the collection of all distinct intersections of $\mathcal{F}$. Frankl et al. proved an upper bound for the size of $\mathcal{I}(\mathcal{F})$ of intersecting families $\mathcal{F}$ of $k$-subsets of $\{1,2,\ldots,n\}$. Their theorem holds for integers $n \geq 50 k^2$. In this article, we prove an upper bound for the size of $\mathcal{I}(\mathcal{F})$ of $t$-intersecting families $\mathcal{F}$, provided that $n$ exceeds a certain number $f(k,t)$. Along the way we also improve the threshold $k^2$ to $k^{3/2+o(1)}$ for the intersecting families.

For a family $\mathcal{F}$ of subsets of $\{1,2,\ldots,n\}$, let $\mathcal{D}(\mathcal{F}) = \{F\setminus G: F, G \in \mathcal{F}\}$ be the collection of all (setwise) differences of $\mathcal{F}$. The family $\mathcal{F}$ is called a $t$-intersecting family, if for some positive integer $t$ and any two members $F, G \in \mathcal{F}$ we have $|F\cap G| \geq t$. The family $\mathcal{F}$ is simply called intersecting if $t=1$. Recently, Frankl proved an upper bound on the size of $\mathcal{D}(\mathcal{F})$ for the intersecting families $\mathcal{F}$. In this note we extend the result of Frankl to $t$-intersecting families.

Inspired by the inductive proof of LYM-inequality given by P. Frankl, we provide an inductive proof of the Bollobás two family theorem.

W. T. Gower generalized Hindman's Finite sum theorem over $X_{k}=\left\{ \left(n_{1},n_{2},\ldots,n_{k}\right):n_{1}\neq0\right\} $ by showing that for any finite coloring of $X_{k}$ there exists a sequence such that the Gower subspace generated by that sequence is monochromatic. For $k=1,$ this immediately gives the finite sum theorem. In this article we will show that for any finite coloring of $X_{k}$ there exist two sequences $\left\{ \mathbf{n_{i}}:i\in I\right\} $ and $\left\{ \mathbf{m_{i}}:i\in I\right\} $ such that the Gower subspace generated by $\left\{ \mathbf{n_{i}}:i\in I\right\} $ and set of all finite products of $\left\{ \mathbf{m_{i}}:i\in I\right\} $ are in a single color. This immediately generalize a result of V. Bergelson and N. Hindman which says that for any finite coloring of $\mathbb{N}$, there exist two sequences $\left(x_{n}\right)_{n}$ and $\left(y_{n}\right)_{n}$ such that the finite sum and product generated by $\left(x_{n}\right)_{n}$ and $\left(y_{n}\right)_{n}$ are in a same color.

In a recent work \cite{key-11}, 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}$ such that $k\cdot\mathbb{Z}\subset\left(E_{1}-E_{1}\right)\cdot\left(E_{2}-E_{2}\right).$ In this article we will show that a similar result is true for the set of primes $\mathbb{P}$ (which has density $0$). We will prove that there exists $k\in\mathbb{N}$ such that $k\cdot\mathbb{N}\subset\left(\mathbb{P}-\mathbb{P}\right)\cdot\left(\mathbb{P}-\mathbb{P}\right),$ where $\mathbb{P}-\mathbb{P}=\left\{ p-q:p>q\,\text{and}\,p,q\in\mathbb{P}\right\} .$

In [F81] Furstenberg introduced the notion of central set and established his famous Central Sets Theorem. Since then, several improved versions of Furstenberg's result have been found. The strongest generalization has been published by De, Hindman and Strauss in [DHS08], whilst a polynomial extension by Bergelson, Johnson and Moreira appeared in [BJM17]. In this article, we will establish a polynomial extension of the stronger version of the central sets theorem, and we will discuss properties of the families of sets that this result leads to consider

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.

V. Bergelson and N. Hindman proved that $IP^{*}$ sets contain all possible finite sum and product of a sum subsystem of any sequence in $\mathbb{N}$. In this article, we will prove this result using Nonstandard analysis.

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.

In this article, we will investigate several new configurations in Ramsey Theory, using the $\ostar_{l,k}$-operation on the set of integers, recently introduced in \cite{key-4}. This operation is useful to study symmetric structures in the set of integers, such as monochromatic configurations of the form $\left\{ x,y,x+y+xy\right\} $ as one of its simplest case. In \cite{key-4}, the author has studied more general symmetric structures. It has been shown that the Hindman's Theorem, van der Waerden's Theorem, Deuber's Theorem have their own symmetric versions. In this article we will explore several new structures, including polynomial versions of these symmetric structures and some of its variants. As a result, we get several new symmetric polynomial configurations as well as new linear symmetric patterns. In the final section, we will also introduce two new operations on the set of non-negative integers $\mathbb{N}$, to obtain further new configurations.

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.

The Central Sets Theorem was introduced by H. Furstenberg and then afterwards several mathematicians have provided various versions and extensions of this theorem. All of these theorems deal with central sets, and its origin from the algebra of Stone-Cech compactification of arbitrary semigroup, say $βS$. It can be proved that every closed subsemigroup of $βS$ is generated by a filter. We will show that, under some restrictions, one can derive the Central Sets Theorem for any closed subsemigroup of $βS$ . We will derive this theorem using the corresponding filter and its algebra. Later we will also deal with how the notions of largeness along filters are preserved under some well behaved homomorphisms and give some consequences.

Inspired by the paper [1] of V. Bergelson, John H.Johnson Jr., J. Moreira, we formulate an abstract version of image partition regularity. To establish the result we have used a variant of first entry condition and for infinite case we contained our work to Milliken-Taylor system.

In a recent work, N. Hindman, D. Strauss and L. Zamboni have shown that the Hales-Jewett theorem can be combined with a sufficiently well behaved homomorphisms. In this paper we will show that those combined extensions can be made if we replace the alphabet by an increasing sequence of alphabets, infact it holds for some Ramsey theoretic small sets. To obtained this we achieved some interesting configurations.

In a recent work, N. Hindman, D. Strauss and L. Zamboni have shown that the Hales-Jewett theorem can be combined with a sufficiently well behaved homomorphisms. Their work was completely algebraic in nature, where they have used the algebra of Stone-Cech compactification of discrete semigroup. They have proved the existence of those configurations in piecewise syndetic sets, which is a Ramsey theoretic rich set. In our work we will show those forms are still present in very small but Ramsey theoretic sets, (like J-set, C-set) and our proof is purely elementary in nature.

In this paper we will systematically study the preservation of the notion of largeness of sets, arises from the algebraic structure of Stone-Cech compactification, under homomorphism and difference group. Some of these results were studied previously using algebra of Stone-Cech compactification. But our approach is purely combinatorial.

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.

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 D. Strauss had shown that, for discrete semigroups, the cartesian product of two central sets are central. They also proved that the product of J- sets and C-sets are also J-set and C-set and characterized when the infnite product of these sets are preserved. To prove these results they used the algebraic structure of Stone-Cech compactification of discrete semigroups. In this work we will give a combinatorial proof of the preserveness of those large sets under fnite cartesian product.

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.