Skip to content
Preprint

Quadratic Expansion over Prime Fields via Centered Collisions and Popular-Sum Amplification

Aug 2026 · 0 citations · 22 references
Mathematics

Abstract

Let $p$ be an odd prime, let $\varnothing\neq A\subseteq\mathbb F_p$ have cardinality $N$, and let $f\in\mathbb F_p[x,y]$ be a non-degenerate quadratic polynomial. Writing $S=|A+A|$ and $M=|f(A,A)|$, we prove the full-range trade-off $S^8M^6\gtrsim N^{17}(1+N^3/p^2)^{-3}$. Consequently, $\max\{|A+A|,|f(A,A)|\}\gtrsim \min\{N^{17/14},p^{3/7}N^{4/7}\}$, and in particular the exponent $17/14$ holds throughout $N\le p^{2/3}$. The proof combines a centered collision estimate for $F(u,v,w)=f(u+v,w)$, a mixed fourth-energy bound, and a popular-sum amplification. Two complementary incidence estimates enter the argument: a centered spectral bound in the dense collision regime and a point--plane bound in the sparse regime.

View source

Similar papers

Preprint Sep 2026

On the exponential sum over squarefree integers

Let $\mu$ be the M\"obius function and $e(t)=e^{2\pi it}$. We prove that if $N\ge2$, $\alpha\in\mathbb{R}$, $(a,q)=1$, and $|\alpha-a/q|\le q^{-2}$, then \[\bigg|\sum_{n\le N}\mu^2(n)e(\alpha n)\bigg|\ll\left(\frac Nq+q\right)(\log 2N)^5, \] with an absolute implied constant, and we deduce the corresponding estimate on...

Nicolas Robles, Alexandru Zaharescu, Dirk Zeindler · 0 citations
Preprint Aug 2026

A Second-Logarithm Lower Bound for Sets with No Unique Sums

For an odd prime $p$, let $m(p)$ be the minimum cardinality of a set $A\subseteq \mathbb Z/p\mathbb Z$, with $|A|\geq2$, such that no sum in $A+A$ has a unique representation as an unordered pair from $A$, with repetition allowed. Bedert proved \[ m(p)\gg \log p\, \frac{\sqrt{\log^{(3)}p}}{\log^{(4)}p}. \] We prove the...

Jiao-Long Cao, Ye Yuan · 0 citations
Preprint Aug 2026

Integral quadratic forms over a ring of $p$-adic integers

Jungin Lee in 2018 proved a necessary and sufficient condition that an integral quadratic form $\sum_{i=1}^{m} a_iX_i^2$ is universal over $M_2(\mathbb{Z})$. For a positive integer $n \geq 2$, Lee defined $f(n)$ to be the smallest positive integer $m$ such that for every pairwise coprime $a_1, a_2, \ldots a_m \in \math...

Mrunal Hardikar, A. S. Garge · 0 citations
Preprint Aug 2026

Modular periodicity of the Euler up/down numbers at odd prime powers

Let $E_n$ denote the number of alternating permutations of $\{1,\dots,n\}$, equivalently characterized by $\sum_{n\ge0}E_nz^n/n!=\sec z+\tan z$. For every $q\ge1$, the sequence $(E_n\bmod q)_{n\ge0}$ is eventually periodic; let $d(q)$ and $s(q)$ denote its minimal eventual period and preperiod. For every odd prime $p$,...

Berke Güleç · 0 citations
Preprint Sep 2026

Affine Copies of Three-Point Patterns in Sets of Integers

Let $P=\{0,a,b\}$, where $0<a<b$ and $\gcd(a,b)=1$. For a finite set $A\subset\mathbb Z$, let $M_P^+(A)$ count the copies $x,x+ad,x+bd\in A$ with $d>0$, and let $M_P(A)$ count the copies with any $d\ne0$. We prove that every such three-point pattern other than the arithmetic progression $\{0,1,2\}$ satisfies \[ M_P^+(A...

Samuel Korsky · 1 citation
Preprint Sep 2026

Generalized Wieferich primes and monogenic polynomials

Let $b, p\in {\mathbb Z}$ with $b\ge 2$ and $p\ge 3$ a prime. If $b^{p-1}\equiv 1 \pmod{p^2}$, then $p$ is called a {\em generalized Wieferich prime base $b$}, or more succinctly, a {\em base-$b$ Wieferich prime}. When $b=2$, $p$ is also known simply as a Wieferich prime. We say that a monic polynomial $f(x)\in {\mathb...

Lenny Jones · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.