Uniform lower bound for difference bases in finite abelian groups

Determine whether there exists an absolute constant \(\epsilon>0\) such that every finite abelian group \(G\) satisfies \(\eta_1(G)>\epsilon\sqrt{|G|}\).

Background

The paper defines η1(G)\eta_1(G) as the minimum cardinality of a subset of an abelian group GG whose difference set contains every group element with at least one representation. Counting arguments provide lower bounds of square-root order, but the authors emphasize that constructions and sharp estimates depend strongly on the group. They identify the existence of a uniform positive square-root lower-bound constant across all finite abelian groups as an unresolved question cited from the literature.

References

In particular, it is not known if there exists an ǫ > 0 such thatη1(G) > ǫ√|G| for any finite abelian group G (see the discussion after Problem 31 in [18]).

Cardinalities of $g$-difference sets  (2501.11736 - Schmutz et al., 20 Jan 2025) in Section 1, page 2