arXiv · 2609.29784
Congruence Classes in $\mathbb{F}_p^2$: Sharp Results via an Energy Approach
Abstract
Let $T_k(E)$ denote the set of congruence classes of ordered $k$-tuples of pairwise distinct points of $E$. Let $p\equiv3\pmod4$ be prime. For $E\subset\mathbb{F}_p^2$ with $3\leq|E|\leq p^{3/4}$, we prove that $|T_3(E)|\gg|E|^{11/6}$; for $4\leq|E|\leq p^{3/4}$, we prove that $|T_4(E)|\gg|E|^3/\log|E|$. For every fixed $k\geq5$ and $k\leq|E|\leq p^{3(k-2)/(3k-4)}$, we prove that $|T_k(E)|\gg_k|E|^{k-1}$. The proofs proceed by bounding the moments of the overlap function of rigid motions. The main inputs are an exact identity involving the distance energy and an incidence bound obtained by viewing rigid motions as lines over $\mathbb{F}_p(i)$. The bound for $k=4$ is sharp up to a logarithmic factor, while the bounds for $k\geq5$ are sharp up to constants.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Thang Pham, Le Quang Ham, Steven Senger, Dung The Tran, Boqing Xue. 2026-09-24. Congruence Classes in $\mathbb{F}_p^2$: Sharp Results via an Energy Approach. https://arxiv.org/abs/2609.29784
Cite the original work for its findings. Save a collection to share your selection of sources.