The higher-rank square-modulus conjecture for transversal difference numbers

From papers

Let pp be an odd prime and let r1r\geq 1. Set

G=(Z/p2Z)r,H=p(Z/p2Z)r.G=(\mathbb Z/p^2\mathbb Z)^r,\qquad H=p(\mathbb Z/p^2\mathbb Z)^r.

For a transversal TT of G/HG/H, write D(T)=TTD(T)=T-T and define

δ(G,H)=minTD(T).\delta(G,H)=\min_T |D(T)|.

Higher-rank square-modulus conjecture. For every odd prime pp and every r1r\geq 1,

δ((Z/p2Z)r,p(Z/p2Z)r)=(2p1)r.\delta\bigl((\mathbb Z/p^2\mathbb Z)^r,p(\mathbb Z/p^2\mathbb Z)^r\bigr)=(2p-1)^r.

The case r=2r=2 is the central odd square-plane problem, for which the paper proves only a weaker lower bound. The asserted formula is suggested by the coordinate box and remains open in higher rank.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Mugurel Barcau, Vicenţiu Paşol and George C. Ţurcaş, “Transversal Difference Numbers in Finite Abelian Quotients”, arXiv:2606.27961 (2026).

Solutions 0

No solutions have been posted yet.