Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This paper establishes sharp extension estimates for quadratic forms on $\mathbb F_q^{2m}$, proving $R_{S_j}^*(2\to r)\lesssim_m1$ for spheres $S_j=\{Q=j\}$ when $r\ge 2(m+1)/m$, uniformly in $q$, $Q$, and $j$. This result is then applied to show that sufficiently dense subsets $E$ of $\mathbb F_q^{2m}$ are "almost all" determined by the values of $Q(x-y)$ for points $y \in E$. The proof leverages arithmetic Hecke operator estimates, dimensional induction, a sphere-cone estimate, and orthogonal decomposition.
Dense subsets of $\mathbb F_q^{2m}$ are nearly determined by quadratic form values, revealing a surprising geometric rigidity.
Let $q$ be an odd prime power and $m\geq 1$. Let $Q$ be a nondegenerate quadratic form on $\mathbb F_q^{2m}$. For every sphere $S_j=\{Q=j\}$ with $j\in \mathbb F_q^\times$, we prove the sharp extension estimate $R_{S_j}^*(2\to r)\lesssim_m1$ for $r\ge 2(m+1)/m$, uniformly in $q$, $Q$, and $j$. As an application, we show that if $E\subseteq\mathbb F_q^{2m}$ satisfies $|E|/q^{m+1/3}\to\infty$, then almost every pin $y\in E$ determines $(1-o(1))q$ values of $Q(x-y)$. The proof combines two arithmetic Hecke operator estimates with an induction in the dimension, a centered sphere--cone estimate, and an orthogonal decomposition.