arXiv++ Combinatorics

For a set $A$ of $k$ elements from an additive abelian group $G$ and a positive integer $r \leq k$, we consider the set of elements of $G$ that can be written as a sum of $h$ elements of $A$ with at least $r$ distinct elements. We denote this set by $h^{(\geq r)}A$. The set $h^{(\geq r)}A$ generalizes the classical sumsets $hA$ and $h\hat{}A$ for $r=1$ and $r=h$, respectively. As the main result of this article, we give an upper bound for the minimum size of $h^{(\geq r)}A$ over $\mathbb{Z}_m$ for $m \geq 2$. Further, by an observation relating the sumsets $hA$, $h\hat{}A$, and $h^{(\geq r)}A$ we obtain the sharp lower bound on the size of $h^{(\geq r)}A$ and also characterize the set $A$ for which the lower bound on the size of $h^{(\geq r)}A$ is tight over the groups $\mathbb{Z}$ and $\mathbb{Z}_p$, where $p$ is a prime number.

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.

Let $\mathcal{A}$ be a sequence of $rk$ terms which is made up of $k$ distinct integers each appearing exactly $r$ times in $\mathcal{A}$. The sum of all terms of a subsequence of $\mathcal{A}$ is called a subsequence sum of $\mathcal{A}$. For a nonnegative integer $α\leq rk$, let $Σ_α (\mathcal{A})$ be the set of all subsequence sums of $\mathcal{A}$ that correspond to the subsequences of length $α$ or more. When $r=1$, we call the subsequence sums as subset sums and we write $Σ_α (A)$ for $Σ_α (\mathcal{A})$. In this article, using some simple combinatorial arguments, we establish optimal lower bounds for the size of $Σ_α (A)$ and $Σ_α (\mathcal{A})$. As special cases, we also obtain some already known results in this study.

In this note we find the optimal lower bound for the size of the sumsets $HA$ and $H\,\hat{}A$ over finite sets $H, A$ of nonnegative integers, where $HA = \bigcup_{h\in H} hA$ and $H\,\hat{}A = \bigcup_{h\in H} h\,\hat{}A$. We also find the underlying algebraic structure of the sets $A$ and $H$ for which the size of the sumsets $HA$ and $H\,\hat{}A$ is minimum.