{"id":"arxiv/2609.29784","url":"https://arxiv.org/abs/2609.29784","tags":["math.CO","math.NT"],"score":0,"title":"Congruence Classes in $\\mathbb{F}_p^2$: Sharp Results via an Energy Approach","domain":"math.CO","source":"arxiv","authors":["Thang Pham","Le Quang Ham","Steven Senger","Dung The Tran","Boqing Xue"],"reviews":0,"subject":"math.CO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-24","reactions":{}}