

























The $3k-4$ Theorem is a classical result which asserts that if $A,\,B\subseteq \mathbb Z$ are finite, nonempty subsets with \begin{equation}\label{hyp}|A+B|=|A|+|B|+r\leq |A|+|B|+\min\{|A|,\,|B|\}-3-δ,\end{equation} where $δ=1$ if $A$ and $B$ are translates of each other, and otherwise $δ=0$, then there are arithmetic progressions $P_A$ and $P_B$ of common difference such that $A\subseteq P_A$, $B\subseteq P_B$, $|B|\leq |P_B|+r+1$ and $|P_A|\leq |A|+r+1$. It is one of the few cases in Freiman's Theorem for which exact bounds on the sizes of the progressions are known. The hypothesis above is best possible in the sense that there are examples of sumsets $A+B$ having cardinality just one more, yet $A$ and $B$ cannot both be contained in short length arithmetic progressions. In this paper, we show that the hypothesis above can be significantly weakened and still yield the same conclusion for one of the sets $A$ and $B$. Specifically, if $|B|\geq 3$, $s\geq 1$ is the unique integer with $$(s-1)s\left(\frac{|B|}{2}-1\right)+s-1<|A|\leq s(s+1)\left(\frac{|B|}{2}-1\right)+s,$$ and \begin{equation}\label{hyp2} |A+B|=|A|+|B|+r< (\frac{|A|}{s}+\frac{|B|}{2}-1)(s+1),\end{equation} then we show there is an arithmetic progression $P_B\subseteq \mathbb Z$ with $B\subseteq P_B$ and $|P_B|\leq |B|+r+1$. The above hypothesis is best possible (without additional assumptions on $A$) for obtaining such a conclusion.
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。