{"id":"arxiv/2608.23319","url":"https://arxiv.org/abs/2608.23319","tags":["math.CO","math.NT"],"score":0,"title":"The Gao-Zhuang conjecture for the Heisenberg group over $\\mathbb{F}_p$","domain":"math.CO","source":"arxiv","authors":["Yongke Qu","Guoqing Wang"],"reviews":0,"subject":"math.CO","summary":"Let $G$ be a finite nonabelian group. The small Davenport constant $\\mathsf d(G)$ of $G$ is the largest integer $\\ell$ such that there exists a product-one free sequence over $G$ of length $\\ell$, while the Gao constant $E(G)$ of $G$ is the least integer $\\ell$ such that every sequence over $G$ of length at least $\\ell$ contains a product-one subsequence of length exactly $|G|$. A long-standing conjecture of Gao and Zhuang \\cite{ZG2005} asserts that $E(G)=\\mathsf d(G)+|G|$ for every finite nonabelian group $G$. Let $p$ be an odd prime and let $H_{p^3}=\\operatorname{UT}_3(\\mathbb F_p)$ be the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-24","reactions":{}}