Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
120 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

The $3k-4$ Theorem modulo a Prime: High Density for $A+B$ (2402.15028v1)

Published 23 Feb 2024 in math.NT

Abstract: The $3k-4$ Theorem asserts that, if $A,\,B\subseteq \mathbb Z$ are finite, nonempty subsets with $|A|\geq |B|$ and $|A+B|=|A|+|B|+r< |A|+2|B|-3$, then there are arithmetic progressions $P_A$ and $P_B$ of common difference with $X\subseteq P_X$ with $|P_X|\leq |X|+r+1$ for all $X\in {A,B}$. There is much progress extending this result to $\mathbb Z/p\mathbb Z$ with $p\geq 2$ prime. Here we begin by showing that, if $A,\,B\subseteq G=\mathbb Z/p\mathbb Z$ are nonempty with $|A|\geq |B|$, $A+B\neq G$, $|A+B|=|A|+|B|+r\leq |A|+1.0527|B|-3$, and $|A+B|\leq |A|+|B|-9(r+3)$, then there are arithmetic progressions $P_A$, $P_B$ and $P_C$ of common difference such that $X\subseteq P_X$ with $|P_X|\leq |X|+r+1$ for all $X\in {A,B,C}$, where $C=-\,G\setminus (A+B)$. This gives a rare high density version of the $3k-4$ Theorem for general sumsets $A+B$ and is the first instance with tangible (rather than effectively existential) values for the constants for general sumsets $A+B$ with high density. The ideal conjectured density restriction under which a version of the $3k-4$ Theorem modulo $p$ is expected is $|A+B|\leq p-(r+3)$. In part by utilizing the above result as well as several other recent advances, we extend methods of Serra and Z\'emor to give a version valid under this ideal density constraint. We show that, if $A,\,B\subseteq G=\mathbb Z/p\mathbb Z$ are nonempty with $|A|\geq |B|$, $A+B\neq G$, $|A+B|=|A|+|B|+r\leq |A|+1.01|B|-3$, and $|A+B|\leq |A|+|B|-(r+3)$, then there exist arithmetic progressions $P_A$, $P_B$ and $P_C$ of common difference such that $X\subseteq P_X$ with $|P_X|\leq |X|+r+1$ for all $X\in {A,B,C}$, where $C=-\,G\setminus (A+B)$. This notably improves upon the original result of Serra and Z\'emor, who treated the case $A+A$, required $p$ be sufficiently large, and needed the much more restrictive small doubling hypothesis $|A+A|\leq |A|+1.0001|A|$.

Summary

We haven't generated a summary for this paper yet.