Godara–Sarkar conjecture for the small Davenport constant of Heisenberg groups

Godara and Sarkar conjectured that, for every odd prime pp, if Hp3=UT⁡3(Fp)H_{p^3}=\operatorname{UT}_3(\mathbb{F}_p) is the Heisenberg group of order p3p^3, then d(Hp3)=3p−3\mathsf{d}(H_{p^3})=3p-3, where d(G)\mathsf{d}(G) is the maximum length of a sequence over a finite group GG having no nonempty subsequence whose terms can be ordered to have product equal to the identity.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

A new August preprint claims the conjecture for every odd prime, but the claim has not yet been independently verified.

Godara and Sarkar conjectured the formula d(Hp3)=3p−3\mathsf{d}(H_{p^3})=3p-3 for every odd prime pp and proved the case p=3p=3. The general conjecture has now attracted claims covering the next two cases and all primes.

Known results

  • Godara and Sarkar proved d(H27)=6\mathsf{d}(H_{27})=6 (p=3p=3).

August 2026 claimed uniform proof

A later preprint claims a theoretical proof of d(Hp3)=3p−3\mathsf{d}(H_{p^3})=3p-3 for every odd prime pp. It presents the p=5p=5 and p=7p=7 results of White and Volkmann as earlier special cases and says its uniform argument removes the need for finite computation. The claim is unverified. White’s July preprint claimed d(H125)=12\mathsf{d}(H_{125})=12, and Volkmann’s August preprint claimed d(H343)=18\mathsf{d}(H_{343})=18, both matching the conjecture.

Current status (as of August 2026): p=3p=3, p=5p=5, and p=7p=7 have claimed proofs, and a preprint claims the all-odd-prime formula, but independent verification is absent and the conjecture is not yet settled.

Sources

Solutions 0

No solutions have been posted yet.