I'm reading [Amplitudes and the Riemann Zeta Function](https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.127.241602), which recently appeared in Physical Review Letters. It's received some [publicity](https://phys.org/news/2022-01-quantum-zeta-epiphany-physicist-approach.html), including [my own campus](https://www.news.ucsb.edu/2022/020520/quantum-zeta-epiphany)' PR operation. From the abstract (adapting the notation)



> 
> "Physical properties of scattering amplitudes are mapped to the
> Riemann zeta function. Specifically, a closed-form amplitude is
> constructed, describing the tree-level exchange of a tower with masses
> $m\_n^2=\gamma\_n^2$, where $\zeta(1/2+i\gamma\_n)=0$. Requiring real
> masses corresponds to the Riemann hypothesis..."
> 
> 
> 


NB: I'm skeptical that this will lead to any progress on the Riemann Hypothesis, and not interested in that aspect.


I'm trying to determine the new (if any) mathematical content. The author develops the identity


$$-4+\frac{\pi^2}{8}+G+\frac{\zeta^{\prime\prime}(1/2)}{2\zeta(1/2)}-\frac{1}{8}\left(C+\frac{\pi}{2}+\log8\pi\right)^2
=2\sum\_{n=1}^\infty\frac{1}{\gamma\_n^2}.$$
Here $G$ is the Catalan constant and $C$ denotes the Euler constant. (I can check this via the logarithmic derivative of the Hadamard product for $\Xi(\sqrt{s})$, and differentiating the functional equation for $\zeta(s)$ twice.)


More generally, with
$$\zeta\_n(s)=\frac{\zeta^{(n)}(s)}{\zeta(s)}, \qquad\zeta\_n^k=\zeta\_n(1/2)^k,$$
he has identities for $2\sum\_{n=1}^\infty 1/\gamma\_n^{2k}$ for odd $k$, for example
$$
2\sum\_{n=1}^\infty \frac{1}{\gamma\_n^6}=-128+\frac{1}{7680}\Psi^{(5)}(1/4)-\zeta\_1^6+3\zeta\_1^4\zeta\_2-\frac{9}{4}\zeta\_1^2\zeta\_2^2+\frac{1}{4}\zeta\_2^3-\zeta\_1^3\zeta\_3+\zeta\_1\zeta\_2\zeta\_3-\frac{1}{12}\zeta\_3^2+\frac{1}{4}\zeta\_1^2\zeta\_4-\frac{1}{8}\zeta\_2\zeta\_4-\frac{1}{20}\zeta\_1\zeta\_5+\frac{1}{120}\zeta\_6
$$


The author writes



> 
> "[These] can be proven exactly albeit laboriously, without appeal to
> our amplitude, using repeated differentiation of the functional
> equation and the Hadamard product form of the zeta function, as well
> as various polygamma identities... what is remarkable is that our
> amplitude construction allows for much simpler, physical derivations
> of these identities."
> 
> 
> 


Are such identities new? Are they interesting? Regarding the latter, the author in an [online talk](https://pirsa.org/21100004) describes such sums as moments of the $\{\gamma\_n\}$, and they look like moments to me.



Scattering amplitudes and the Riemann zeta function
Thanks to @reuns for the answer in the comments. I've asked him to post as an answer, and I will accept it if he does. Meanwhile, his comments encouraged me to look again, and here is another approach, quite easy (Lemma 4.11 in Equivalents of the Riemann Hypothesis vol. II)


Let $\Xi(s)=\xi(1/2+is)$, so $\Xi(-s)=\Xi(s)$. Let $\gamma\_n$ be the zeros with positive real part, so the Hadamard product looks like
$$
\Xi(s)=\xi(1/2)\prod\_{n=1}^\infty\left(1-\frac{s^2}{\gamma\_n^2}\right)
$$
Expanding $\Xi(s)$ as a power series about $s=0$
$$
\sum\_{k=0}^\infty \frac{(-1)^k\xi^{(2k)}(1/2)}{2k!}s^{2k}=\Xi(s)=\xi(1/2)\left(1-s^2\left(\sum\_n \gamma\_n^{-2}\right)+s^4\left(\sum\_{m,n}\gamma\_m^{-2}\gamma\_n^{-2}\right)-\ldots\right)
$$
Equating coefficients and the [Newton Identities](https://en.wikipedia.org/wiki/Newton%27s_identities) gives the moments as polynomials in the $\xi^{(2k)}(1/2)$, for example
$$
\sum\_n\frac{1}{\gamma\_n^6}=\frac{\xi^{(6)}(1/2)}{240\,\xi(1/2)}-\frac{\xi^{(2)}(1/2)\xi^{(4)}(1/2)}{16\,\xi(1/2)}+\frac{\xi^{(2)}(1/2)^3}{8\,\xi(1/2)}.
$$


