Congruence Classes in mathbbFp2: Sharp Results via an Energy Approach

Thang Pham; Le Quang Ham; Steven Senger; Dung The Tran; Boqing Xue

In the authors' words

Let $T_{k} (E)$ denote the set of congruence classes of ordered $k$ -tuples of pairwise distinct points of $E$ . Let $p \equiv 3 (mod 4)$ be prime. For $E \subset F_{p}^{2}$ with $3 \leq ∣ E ∣ \leq p^{3/4}$ , we prove that $∣ T_{3} (E) ∣ ≫ ∣ E ∣^{11/6}$ ; for $4 \leq ∣ E ∣ \leq p^{3/4}$ , we prove that $∣ T_{4} (E) ∣ ≫ ∣ E ∣^{3} / lo g ∣ E ∣$ . For every fixed $k \geq 5$ and $k \leq ∣ E ∣ \leq p^{3 (k - 2) / (3 k - 4)}$ , we prove that $∣ T_{k} (E) ∣ ≫_{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 $F_{p} (i)$ . The bound for $k = 4$ is sharp up to a logarithmic factor, while the bounds for $k \geq 5$ are sharp up to constants.

Main resultLimitation the authors admit

Congruence Classes in Fp2​: Sharp Results via an Energy Approach

In the authors' words

More on Combinatorics & discrete math that day

Thinning and sprinkling: from robust sampling to almost Hamiltonicity

Boolean threshold functions, neuron capacity, and memory retrieval

The Marcus-Minc Transform Inequality

The coarse Erd\H{o}s-P\'{o}sa theorem

A Combinatorial Proof of Hilton's Conjecture and Beyond

Congruence Classes in $F_{p}^{2}$ : Sharp Results via an Energy Approach