On an Analogue Of the Gauss Circle Problem For the Heisenberg Groups

We consider the problem of estimating the error term $\mathcal{E}_{q}(x)=\big|\mathbb{Z}^{2q+1}\capδ_{x}\mathcal{B}\big|-\textit{vol}\big(\mathcal{B}\big)x^{2q+2}$ which occurs in the counting of lattice points in Heisenberg dilates of the Cygan-Kor{á}nyi ball. We prove three type of results regarding the order of magnitude of $\mathcal{E}_{q}(x)$, which are valid for any $q\geq3$. An upper bound estimate of the form $|\mathcal{E}_{q}(x)|\ll x^{2q-2/3}$ ; A sharp second moment estimate, which shows that $\mathcal{E}_{q}(x)$ has order of magnitude $x^{2q-1}$ in mean-square ; And an $Ω$-estimate of the form $\mathcal{E}_{q}(x)=Ω\big(x^{2q-1}\big(\log{x}\big)^{1/4}\big(\log{\log{x}}\big)^{1/8}\big)$. Consequently, we obtain the lower bound $κ_{q}=\sup\big\{α>0:\big|\mathcal{E}_{q}(x)\big|\ll x^{2q+2-α}\big\}\geq\frac{8}{3}$ for $q\geq3$, and conjecture that $κ_{q}=3$