Correction: Gušić, D. Prime Geodesic Theorems for Compact Locally Symmetric Spaces of Real Rank One. Mathematics 2020, 8, 1762

The author wishes to make the following correction to the paper [1].

It was found that there was a typo in the abstract section of [1]. Namely, it should be $O\left(x^{2\rho -\frac{\rho }{n}}{\left(logx\right)}^{-1}\right)$ in place of $O\left(x^{2\rho -\frac{\rho }{\eta }}{\left(logx\right)}^{-1}\right)$. This change has no material impact on the conclusions of the paper.

In [1], we derived a number of results on prime geodesic theorems for compact, even-dimensional, locally symmetric Riemannian manifolds of strictly negative sectional curvature. For the sake of readers and the overall completeness of the research, we would also like to complement [1] with analogous results in odd dimensions. Thus, we shall briefly prove that the results obtained in [1] remain valid if the dimension of the underlying locally symmetric space is assumed to be odd.

Let Y be a compact, n-dimensional (n odd), locally symmetric Riemannian manifold of strictly negative sectional curvature. The rest of the notation used below will be fully adopted from [1].

The following results hold true (see, [1] (Theorems 1–3) for the counterparts in the even-dimensional case).

Theorem 1.

Let Y be as above. Then

$$\begin{array}{c}\hfill {\psi }_0\left(x\right)=\sum _{p=0}^{n-1}{\left(-1\right)}^{p+1}\sum _{\left(\tau ,\lambda \right)\in I_p}\sum _{\begin{array}{c}\alpha \in S_{p,\tau ,\lambda }^{\mathbb{R}}\\ 2\rho -\frac{\rho }{n}<\alpha \le 2\rho \end{array}}{\alpha }^{-1}{x}^{\alpha }+O\left(x^{2\rho -\frac{\rho }{n}}\right),\end{array}$$

where $S_{p,\tau ,\lambda }^{\mathbb{R}}$ denotes the set of real singularities of $Z_S\left(s+\rho -\lambda ,\tau \right)$.

Proof. 

We adjust the proof of Theorem 1 in [1] (pp. 6–9).

The singularities of $Z_S\left(s+\rho -\lambda ,\tau \right)$ are given by Theorem 3.15 in [2] (pp. 113–115).

Since n is odd, there are only spectral singularities, so the part of the proof related to topological singularities is missing now. The actual proof (in odd dimensions) is therefore much simpler.

On page 7 in [1], Equation (9) becomes

$$\begin{array}{cc}\hfill {\psi }_{2n}\left(x\right)=& \sum _{j=0}^{2n}{\alpha }_{2n-j}{x}^{2n-j}logx+\sum _{j=0}^{2n}{\beta }_{2n-j}{x}^{2n-j}+\hfill \\ \hfill & \sum _{p=0}^{n-1}{\left(-1\right)}^{p+1}\sum _{\left(\tau ,\lambda \right)\in I_p}\sum _{\alpha \in S_{p,\tau ,\lambda }^{\mathbb{R}}}{\alpha }^{-1}{\left(\alpha +1\right)}^{-1}\dots {\left(\alpha +2n\right)}^{-1}{x}^{\alpha +2n}+\hfill \\ \hfill & \sum _{p=0}^{n-1}{\left(-1\right)}^{p+1}\sum _{\left(\tau ,\lambda \right)\in I_p}\sum _{\alpha \in S_{p,\tau ,\lambda }^{-\rho +\lambda }}{\alpha }^{-1}{\left(\alpha +1\right)}^{-1}\dots {\left(\alpha +2n\right)}^{-1}{x}^{\alpha +2n},\hfill \end{array}$$

(1)

where 0, $-1$,..., $-2n$ ∉ $S_{p,\tau ,\lambda }^{\mathbb{R}}$, $S_{p,\tau ,\lambda }^{-\rho +\lambda }$ is the set of non-real singularities of $Z_S\left(s+\rho -\lambda ,\tau \right)$, and ${\alpha }_j$, ${\beta }_j$, j∈$\left\{0,1,\dots ,2n\right\}$ are some explicitly computable constants.

The first inequality in [1] (p. 9) is now read as

$$\begin{array}{cc}\hfill {\psi }_0\left(x\right)\le & \sum _{p=0}^{n-1}{\left(-1\right)}^{p+1}\sum _{\left(\tau ,\lambda \right)\in I_p}\sum _{\begin{array}{c}\alpha \in S_{p,\tau ,\lambda }^{\mathbb{R}}\\ 0<\alpha \le 2\rho \end{array}}{\alpha }^{-1}{x}^{\alpha }+O\left(x^{2\rho -1}d\right)+O\left(x^{\rho }{K}^{n-1}\right)+\hfill \\ \hfill & O\left(d^{-2n}{x}^{\rho +2n}{K}^{-n-1}\right)+O\left(logx\right).\hfill \end{array}$$

The assertion follows by taking d=$x^{1-\frac{\rho }{n}}$, K=$x^{\frac{\rho }{n}}$. □

Theorem 2. (Prime Geodesic Theorem) Let Y be as above. Then

$$\begin{array}{c}\hfill {\pi }_{\mathsf{\Gamma }}\left(x\right)=\sum _{p=0}^{n-1}{\left(-1\right)}^{p+1}\sum _{\left(\tau ,\lambda \right)\in I_p}\sum _{\begin{array}{c}\alpha \in S_{p,\tau ,\lambda }^{\mathbb{R}}\\ 2\rho -\frac{\rho }{n}<\alpha \le 2\rho \end{array}}li\left(x^{\alpha }\right)+O\left(x^{2\rho -\frac{\rho }{n}}{\left(logx\right)}^{-1}\right),\end{array}$$

as x→∞, where ${\pi }_{\mathsf{\Gamma }}\left(x\right)$ is the function counting prime geodesics on Y of length not larger than $logx$.

Proof. 

Follows immediately from Theorem 1. □

Theorem 3. (Gallagherian Prime Geodesic Theorem) Let Y be as above and ε> 0. There exists a set E of finite logarithmic measure such that

$$\begin{array}{cc}\hfill {\pi }_{\mathsf{\Gamma }}\left(x\right)=& \sum _{p=0}^{n-1}{\left(-1\right)}^{p+1}\sum _{\left(\tau ,\lambda \right)\in I_p}\sum _{\begin{array}{c}\alpha \in S_{p,\tau ,\lambda }^{\mathbb{R}}\\ 2\rho -\rho \frac{4n+1}{4n^2+1}<\alpha \le 2\rho \end{array}}li\left(x^{\alpha }\right)+\hfill \\ \hfill & O\left(x^{2\rho -\rho \frac{4n+1}{4n^2+1}}{\left(logx\right)}^{\frac{n-1}{4n^2+1}-1}{\left(loglogx\right)}^{\frac{n-1}{4n^2+1}+\epsilon }\right),\hfill \end{array}$$

as x → ∞, x ∉ E.

Proof. 

As a starting point, we take the explicit formula for ${\psi }_{2n}\left(x\right)$ given by Equation (1).

Bearing in mind the fact that topological singularities are missing, and proceeding in the same way as in [1] (pp. 10–12), we conclude that for x ∉ E (Cf. [1] (p. 12, relation (21)))

$$\begin{array}{cc}\hfill {\psi }_0\left(x\right)\le & \sum _{p=0}^{n-1}{\left(-1\right)}^{p+1}\sum _{\left(\tau ,\lambda \right)\in I_p}\sum _{\begin{array}{c}\alpha \in S_{p,\tau ,\lambda }^{\mathbb{R}}\\ 0<\alpha \le 2\rho \end{array}}{\alpha }^{-1}{x}^{\alpha }+O\left(x^{2\rho -1}d\right)+O\left(x^{\rho }{Y}^{n-1}\right)+\hfill \\ \hfill & O\left(\frac{x^{\alpha }{\left(logx\right)}^{\beta }{\left(loglogx\right)}^{\beta +\epsilon }}{d^{2n}}\right)+O\left(d^{-2n}\frac{x^{\rho +2n}}{W^{n+1}}\right)+O\left(logx\right).\hfill \end{array}$$

(2)

The assertion of the theorem now follows by putting

d=$x^{\frac{\alpha -2\rho +1}{2n+1}}{\left(logx\right)}^{\frac{\beta }{2n+1}}{\left(loglogx\right)}^{\frac{\beta }{2n+1}}$, Y∼$x^{\frac{2\rho +4n-2\alpha }{2n+3}}{\left(logx\right)}^{\frac{1-2\beta }{2n+3}}{\left(loglogx\right)}^{\frac{1-2\beta }{2n+3}}$ into (2),

$\alpha$=$\frac{8n^3+2n+\rho -6n\rho }{4n^2+1}$, $\beta$=$\frac{2n^2-n-1}{4n^2+1}$, and finalizing the argument in a standard way. □

The author would like to thank the editor and anonymous referees who kindly reviewed the manuscript and provided valuable suggestions and comments. The authors apologize for any inconvenience caused and state that the scientific conclusions are unaffected. The original article has been updated.