Packing sets under finite groups via algebraic incidence structures

Let $G$ be a finite group acting on a vector space $V = \mathbb{F}p^n$ over a prime field. Given finite sets $S \subset G$ and $E \subset V$, we study the restricted orbit union $S(E) = \bigcup{g\in S} g(E)$ and establish quantitative lower bounds for $|S(E)|$ in terms of $|S|$, $|E|$, and natural structural conditions. This finite field packing problem has connections to distance geometry, configuration counting, and expanding graphs. For $G = SL_2(\mathbb{F}_p)$ acting on $\mathbb{F}_p^2$, we prove that $$|S(E)| \gg \min\left\lbrace p^2, \frac{|S||E|}{p^2}\right\rbrace,$$ which is sharp. Under geometric non-concentration conditions on $E$ and subgroup-avoidance hypotheses on $S$, we obtain a power-saving improvement of the form $$|S(E)|\gg \min \left\lbrace p^2, ~\max\left\lbrace\frac{|S||E|}{pk}, ~\frac{|S|^{\frac{1}{2}}|E|}{p^{\frac{1-ε}{2}}k^{\frac{1}{2}}}\right\rbrace \right\rbrace,$$ where $k$ bounds the radial multiplicity of $E$. For small sets $|E| \leq p$, we establish optimal bounds using weighted incidence theory. Analogous results are proved for the first Heisenberg group $\mathbb{H}_1(\mathbb{F}_p)$ acting on $\mathbb{F}_p^3$. Our approach reformulates the problem as an incidence question in a bipartite action graph. The proofs combine Fourier analytic techniques, energy estimates, point-line incidence bounds, and area-energy inequalities for skew dot products. The methods extend classical sum-product type problems and incidence theory to noncommutative group actions.

💡 Research Summary

The paper studies a finite‑field analogue of a packing problem: given a finite group G acting linearly on the vector space V=𝔽ₚⁿ, and two finite subsets S⊂G and E⊂V, one wants quantitative lower bounds for the size of the restricted orbit union S(E)=⋃_{g∈S}g(E). The authors focus mainly on two groups: the special linear group SL₂(𝔽ₚ) acting on 𝔽ₚ² and the first Heisenberg group H₁(𝔽ₚ) acting on 𝔽ₚ³. Their approach is to encode the relation g·y=x as incidences in a bipartite “action‑incidence graph” whose left vertices are ordered pairs (x,y)∈V×V and right vertices are the group elements g∈S. This reformulation reduces the expansion problem to an incidence‑discrepancy estimate of the form

 |I(A×B,S)−|A||B||S|/pⁿ| ≲ p·|A||B||S|+|S|,

where I(A×B,S) counts triples (x,y,g) with g·y=x.

For SL₂(𝔽ₚ) the key algebraic invariant is the skew dot product (equivalently signed area) x₁·x₂^⊥=y₁·y₂^⊥, which is preserved by the group. By expanding the incidence count via Fourier analysis and applying Cauchy–Schwarz, the main term becomes an “area‑energy” count. Known L²‑bounds for the skew‑dot product give the universal estimate above. Plugging A=S(E) and B=E yields the first main theorem

 |S(E)| ≫ min{p², |S||E|/p²},

which is sharp (examples with S fixing a line and E lying on a line attain equality).

To improve this bound, the authors impose two non‑concentration hypotheses: (i) E has at most k points on any line through the origin (radial multiplicity), and (ii) S avoids large subgroups, i.e. for any proper subgroup H⊂SL₂(𝔽ₚ) and any g∈SL₂(𝔽ₚ) we have |S∩gH| < |S|·p^{−γ}. Under these conditions the incidence analysis is refined. The area‑energy of E is bounded by k·|E|, while the multiplicative energy E(S,S)=#{ab=cd} is reduced from the trivial |S|³ to |S|^{3−ε} by the Bourgain–Gamburd L²‑flattening theorem. Combining these savings gives

 |S(E)| ≫ min{p², max{|S||E|/(p·k), |S|^{1/2}|E|/(p^{(1−ε)/2}k^{1/2})}}.

Thus, when k is small and S is not concentrated in a subgroup, the expansion is significantly stronger than the generic bound.

When |E|≤p (the “small‑set” regime), Fourier methods become ineffective. The authors turn to a weighted point‑line incidence theorem (a multi‑set version of Stevens–de Zeeuw). By dyadic decomposition of multiplicities they introduce two parameters: k₁ (radial multiplicity) and k₂ (number of distinct directions determined by E). This yields a sharp lower bound

 |S(E)| ≳ min{ |E||S|^{1/2}k₁^{−1/2}, |E|^{1/2}|S|^{1/2}k₁^{−1/4}, |E||S|^{1/2}k₁^{−1}, |E|^{2}k₁^{−1}},

which matches constructions where E consists of one point on each of p^{c} different lines and S=SL₂(𝔽ₚ).

The paper then treats the Heisenberg group H₁(𝔽ₚ). Its action on 𝔽ₚ³ preserves the third coordinate, so the problem reduces to a two‑dimensional skew‑determinant (xy′−yx′) invariant. Using the same incidence‑graph framework and energy arguments, the authors prove

 |X(E)| ≫ min{p³, |X||E|/p^{3−ε}}.

When ε=0 this is optimal, as shown by examples where E lies on a small number of vertical planes. For small E (≤p) a non‑concentration condition on the fibers of the projection (y,z)↦(y,z) suffices to obtain the same bound.

Methodologically, the work unifies Fourier‑analytic energy estimates, L²‑flattening for non‑abelian groups, and weighted incidence geometry. It extends classical sum‑product and point‑line incidence results to non‑commutative group actions, providing near‑optimal expansion estimates under natural structural hypotheses. The authors note that extending these techniques to higher dimensions (e.g., SL₃(𝔽ₚ) or higher‑step nilpotent groups) would require new L²‑bounds for determinant‑type energies, a direction left for future research.