Definition Definition (The n-th Gram discriminant)
4MJQFor any n \in \mathbb{Z}, we define
\Delta_n(\overline{a}) := Z_{N(g_n)}(g_n(\overline{a}); \overline{a})
as the n-th Gram discriminant of Z(t).
The A-philosophy for the Hardy Z-Function
- arXiv
- 2406.06548v2 · PDF · 25 March 2025
- Categories
- math.GM
- Licence
- CC BY 4.0 The site shows the text.
Abstract
In recent works we have introduced the parameter space \mathcal{Z}_N of A-variations of the Hardy Z-function, Z(t), whose elements are functions of the form
Z_N(t ; \overline{a} ) = \cos(\theta(t))+ \sum_{k=1}^{N} \frac{a_k}{\sqrt{k+1} } \cos ( \theta (t) - \ln(k+1) t),
where \overline{a} = (a_1,...,a_N) \in \mathbb{R}^N. The A-philosophy advocates that studying the discriminant hypersurface forming within such parameter spaces, often reveals essential insights about the original mathematical object and its zeros. In this paper we apply the A-philosophy to our space \mathcal{Z}_N by introducing \Delta_n(\overline{a} ) the n-th Gram discriminant of Z(t). We show that the Riemann Hypothesis (RH) is equivalent to the corrected Gram’s law
(-1)^n \Delta_n(\overline{1}) > 0,
for any n \in \mathbb{Z}. We further show that the classical Gram’s law (-1)^n Z(g_n) >0 can be considered as a first-order approximation of our corrected law. The second-order approximation of \Delta_n (\overline{a}) is then shown to be related to shifts of Gram points along the t-axis. This leads to the discovery of a new, previously unobserved, repulsion phenomena
\left| Z'(g_n) \right| > 4 \left| Z(g_n) \right|,
for bad Gram points g_n whose consecutive neighbours g_{n \pm 1} are good. Our analysis of the A-variation space \mathcal{Z}_N introduces a wealth of new results on the zeros of Z(t), casting new light on classical questions such as Gram’s law, the Montgomery pair-correlation conjecture, and the RH, and also unveils previously unknown fundamental properties.
Items 28
Theorem A (Corrected Gram’s law equivalent to RH)
QMJGFor any n \in \mathbb{Z}, The Riemann hypothesis holds if and only if the following corrected Gram’s law holds
(-1)^n \Delta_n (\overline{1} ) >0.
In particular, the extended Gram point g_n(\overline{a}) can be analytically continued to \overline{1}=(1,...,1).
Theorem B (First-order approximation of \Delta_n(\overline{a}))
LO6YFor any n \in \mathbb{Z} and \overline{a}\in \mathbb{R}^{N(g_n)} the following first-order approximation holds
\Delta_n(\overline{a}) =Z(g_n;\overline{a})+ O(\abs{\overline{a}}^2).
Theorem C (Second-order Hessian of \Delta_n(r))
ZBK8For any n \in \mathbb{Z} the second-order Hessian of \Delta_n(r) is given by
H_n =2(-1)^n \left ( \frac{Z'(g_n)}{\ln \left ( \frac{g_n }{2 \pi } \right )} \right )^2.
Theorem D
6AKQFor any n \in \mathbb{Z} the following holds
Z'(g_n) = \frac{1}{4} (-1)^n \ln^2 \left ( \frac{g_n}{2 \pi} \right ) \overline{1} \cdot \nabla g_n(0).
In particular, the second-order Hessian H_n measures the magnitude of the local shift of g_n(r) along the t-axis.
Conjecture 1.1 (Repulsion for isolated bad Gram points)
EQ2ZAssume g_n is a bad Gram point with good consecutive neighbours g_{n \pm 1}. Then the following (non-sharp) bound holds
\abs{Z'(g_n) }>4 \abs{Z(g_n)}.
Definition 2.2 (Core Function)
YVQAWe refer to the zero-th order term of the AFE
Z_0(t) := cos (\theta (t))
as the core function of Z(t).
Theorem 2.1
2LQ7All the non-trivial zeros of the Hardy Z-function Z(t) are real if and only if all the non-trivial zeros of the high-order Spira approximation Z_{N(t)}(t) are real.
Definition 2.4 (N-th A-Parameter Space)
DIL0For a given N \in \mathbb{N}, we define \mathcal{Z}_N to be the A-parameter space consisting of functions of the form
Z_N(t; \overline{a}) = Z_0(t) + \sum_{k=1}^{N-1} \frac{a_k}{\sqrt{k+1}} \cos (\theta(t) - \ln(k+1) t),
where \overline{a} = (a_1, \ldots, a_N) belongs to \mathbb{R}^N.
Theorem 2.2 (Edwards’ Speculation for High-Order Sections)
5UOUThe Riemann Hypothesis holds if and only if, for any n \in \mathbb{Z}, there exists a path \gamma_n(r) in \mathcal{Z}_{N(t_n) } from \overline{a}=\overline{0} to \overline{a}=\overline{1}, along which t_n does not collide with its adjacent zeros t_{n\pm 1}. That is, for which t_n(r) \neq t_{n \pm 1}(r) for all r \in [0,1].
Used by Proof
Definition Definition (The n-th Gram discriminant)
VILGFor any n \in \mathbb{Z}, we define
\Delta_n(\overline{a}) := Z_{N(g_n)}(g_n(\overline{a}); \overline{a})
as the n-th Gram discriminant of Z(t).
Theorem 3.1 (Corrected Gram’s law equivalent to RH)
SOP8For any n \in \mathbb{Z}, The Riemann hypothesis holds if and only if the following corrected Gram’s law holds
(-1)^n \Delta_n (\overline{1} ) >0.
In particular, the extended Gram point g_n(\overline{a}) can be analytically continued to \overline{1}=(1,...,1).
Proof of Theorem 3.1
According to Theorem 2.2 the RH holds if and only if, for any n \in \mathbb{Z}, there exists a path \gamma_n(r) in \mathcal{Z}_{N(t_n) } from \overline{a}=\overline{0} to \overline{a}=\overline{1}, along which t_n does not collide with its adjacent zeros t_{n\pm 1}. In particular, along such a curve the discriminant \Delta_n(\gamma_n(r)) does not change sign. Note that
\Delta_n(\overline{0}) = Z_N(g_n; 0) = \cos(\theta(g_n))=cos(\pi n) = (-1)^{n}.
Hence, the fact that \Delta_n(\gamma_n(r)) does not change sign implies (3.1) as required.
Uses Theorem 2.2
Theorem 4.1 (First order approximation is Gram’s law)
I43RFor any n \in \mathbb{Z}, the first-order approximation of the discriminant \Delta_n(\overline{a}) of the linear curve is given by
\Delta_{n}(\overline{a}) = Z(g_n ; \overline{a} ) +O(\abs{\overline{a}}^2).
In particular, the classical Gram’s law is the first-order approximation of the corrected Gram’s law for the linear curve.
Proof of Theorem 4.1
Consider the function
F_k(t;a):= \cos(\theta(t)) + \frac{a}{\sqrt{k+1}} \cos(\theta(t)- \ln(k+1)t)
and set
G_k(t;a):= \frac{\partial}{\partial t} F_k(t; a).
Denote by g_n(a) the extremal point of F_k(t;a) locally extending the gram point g_n. Then, by definition, the discriminant can be written as
\Delta_n( 0,...,0,a,0,...,0) = F_k(g_n(a);a).
Hence, by the chain rule, we have
\frac{\partial \Delta_{n}}{\partial a_k} (\overline{0})=\frac{\partial}{\partial a} F_k(g_n(a) ; a)(0)= \frac{\partial g_n}{\partial a}(0) \cdot G_k(g_n ; 0)+ \frac{\partial}{\partial a} F_k (g_n ; 0).
But since the Gram points are exactly the solutions of G_k(g_n;0)=0, we get
\frac{\partial \Delta_{n}}{\partial a_k} (\overline{0})=\frac{\partial}{\partial a} F_k (g_n ; 0)=\frac{1}{\sqrt{k+1} } \cos ( \theta (g_n) - \ln(k+1) g_n).
The first-order approximation of the discriminant \Delta_n(r) is given by
\begin{gathered}
\Delta_{n}(\overline{a}) \approx \Delta_{n}(\overline{0})+ \nabla \Delta_{n} (\overline{0}) \cdot \overline{a}= \\ =
\Delta_{n}(\overline{0})+ \cdot \sum_{k=1}^N a_k \cdot \frac{\partial \Delta_{n}}{\partial a_k} (\overline{0})= \\ = \cos(\theta(g_n)) +\sum_{k=0}^N \frac{a_k}{\sqrt{k+1} } \cos ( \theta (g_n) - \ln(k+1) g_n) = Z(g_n ; r).
\end{gathered}
Theorem 5.1 (Second-order approximation)
53EOFor any n \in \mathbb{Z}, the second-order Hessian is given by
H_n(\overline{a}) :=\overline{a}^T \text{Hess}_n(0) \cdot \overline{a} =2(-1)^n \left ( \frac{Z'(g_n ; \overline{a} )}{\ln \left ( \frac{g_n }{2 \pi } \right )} \right )^2.
Proof (Proof of Theorem 5.1) of Theorem 5.1
By Proposition 5.1 we have
\begin{gathered}
H_n(\overline{a}):=\sum_{k_1,k_2=1}^N \frac{\partial^2 \Delta_{n}}{\partial a_{k_1} \partial a_{k_2}} (\overline{0}) \cdot a_{k_1} a_{k_2},
=\\= \frac{(-1)^n}{\ln^2 \left ( \frac{g_n }{2 \pi } \right )} \sum_{k_1,k_2=1}^N \prod_{i=1}^2
\frac{\sin(\ln(k_i+1) g_n) \cdot \ln \left ( \frac{g_n }{2 \pi (k_i+1)^2 } \right )}{\sqrt{k_i+1} } a_{k_i}=\\=
\frac{(-1)^n}{\ln^2 \left ( \frac{g_n }{2 \pi } \right )} \left ( \sum_{k=1}^N
\frac{\sin(\ln(k+1) g_n) \cdot \ln \left ( \frac{g_n }{2 \pi (k+1)^2 } \right )}{\sqrt{k+1} } a_{k}\right )^2=
4(-1)^n \left ( \frac{Z'(g_n; \overline{a})}{\ln \left ( \frac{g_n }{2 \pi } \right )} \right )^2,
\end{gathered}
as required.
Uses Proposition 5.1
Lemma 5.2
ER5G\frac{\partial}{\partial a_k} g_n(\overline{a})= \frac{\sin ( \theta (g_n(\overline{a})) - \ln(k+1) g_n(\overline{a}))}{2 \sqrt{k+1} Z''(g_n(\overline{a}) ; \overline{a}) } \ln \left (\frac{g_n(\overline{a})}{2 \pi (k+1)^2} \right ).
In particular,
\frac{\partial}{\partial a_k} g_n(\overline{0})= 2 (-1)^{n+1} \frac{\sin ( \theta (g_n) - \ln(k+1) g_n)}{ \sqrt{k+1} \ln^2 \left ( \frac{g_n}{2 \pi} \right ) } \ln \left (\frac{g_n}{2 \pi (k+1)^2} \right ).
Used by Proof
Proof of Lemma 5.2
Let g_n(\overline{a}; \epsilon) be the n-th extremal point of
F_{k,\epsilon}(t;\overline{a}):= Z_N (t ; \overline{a}) + \frac{\epsilon}{\sqrt{k+1}} \cos(\theta(t)- \ln(k+1)t).
for 0<\epsilon small enough. That is, the zero of the equation
G_{k,\epsilon}(t;\overline{a}):= \frac{\partial}{\partial t} F_{k,\epsilon}(t; a)=0.
Then according to Newton’s method, one can take the following first iteration
\widetilde{g}_n(\overline{a};\epsilon) := g_n (\overline{a}) - \frac{G_{k,\epsilon}(g_n(\overline{a}) ; \overline{a})}{G_{k,\epsilon}'(g_n(\overline{a}) ;\overline{a})},
as an approximation of g_n(\overline{a};\epsilon), which improves as \epsilon decreases, see [SM]. Note that
G_{k,\epsilon}(t;\overline{a})=Z'_N (t ; \overline{a}) - \frac{\epsilon }{\sqrt{k+1}} \sin(\theta(t)- \ln(k+1)t)(\theta'(t)-\ln(k+1)).
Since Z'_N (g_n (\overline{a}) ; \overline{a})=0 and
\theta'(t) = \left ( \frac{t}{2} \ln \left ( \frac{t}{2 \pi} \right ) - \frac{t}{2} -\frac{\pi}{8} \right) ' = \frac{1}{2} \ln \left ( \frac{t}{2 \pi} \right ),
we have
G_{k,\epsilon}(g_n(\overline{a}) ;\overline{a})= - \frac{\epsilon}{2\sqrt{k+1}} \sin(\theta(g_n (\overline{a}) )- \ln(k+1)g_n (\overline{a}) )\cdot \ln \left ( \frac{g_n( \overline{a})}{2 \pi (k+1)^2} \right ).
For the derivative the main term is given by
G'_{k,\epsilon}(g_n ( \overline{a}) ;\overline{a})= Z''_N(g_n(\overline{a}) ; \overline{a})+ O(\epsilon).
In particular, we have
Z''_N(g_n;\overline{0})= -\cos(\theta(g_n)) (\theta'(g_n) )^2 =\frac{(-1)^{n+1}}{4} \ln^2 \left ( \frac{g_n}{2 \pi} \right ),
as required.
Proposition 5.1
NWBVFor any 1 \leq k_1,k_2 \leq N the following holds:
\frac{\partial^2 \Delta_{n}}{\partial a_{k_1} \partial a_{k_2}} (\overline{a}) =-\frac{1}{4 Z''(g_n(\overline{a}) ; \overline{a}) } \prod_{i=1}^2
\frac{\sin(\theta(g_n(\overline{a}))- \ln(k_i+1) g_n (\overline{a})) \cdot \ln \left ( \frac{g_n (\overline{a})}{2 \pi (k_i+1)^2 } \right )}{\sqrt{k_i+1} } .
In particular,
\frac{\partial^2 \Delta_{n}}{\partial a_{k_1} \partial a_{k_2}} (\overline{0}) =\frac{(-1)^n}{\ln^2 \left ( \frac{g_n }{2 \pi } \right )} \prod_{i=1}^2
\frac{\sin(\ln(k_i+1) g_n) \cdot \ln \left ( \frac{g_n }{2 \pi (k_i+1)^2 } \right )}{\sqrt{(k_i+1)} } .
Used by Proof
Proof of Proposition 5.1
Consider the function
\begin{gathered}
F_{k_1,k_2,\epsilon_1,\epsilon_2}(t;\overline{a}):= Z_N(t ; \overline{a}) + \frac{\epsilon_1}{\sqrt{k_1+1}} \cos(\theta(t)- \ln(k_1+1)t)+ \\ +\frac{\epsilon_2}{\sqrt{k_2+1}} \cos(\theta(t)- \ln(k_2+1)t)
\end{gathered}
and set
G_{k_1,k_2,\epsilon_1,\epsilon_2}(t;\overline{a}):= \frac{\partial}{\partial t} F_{k_1,k_2,\epsilon_1,\epsilon_2}(t; \overline{a}).
Denote by g_n(\overline{a}; \epsilon_1,\epsilon_2) the extremal point of F_{k_1,k_2}(t;a_1,a_2) locally extending the gram point g_n(\overline{a}). Then, by definition, the discriminant can be written as
\Delta_n( a_1,...,a_{k_1}+\epsilon_1,...,a_{k_2}+\epsilon_2,..,a_N) = F_{k_1,k_2,\epsilon_1,\epsilon_2}(g_n(\overline{a}; \epsilon_1, \epsilon_2); \overline{a} ).
Hence, by the chain rule, we have
\begin{gathered}
\frac{\partial \Delta_{n}}{\partial \epsilon_1} ( a_1,...,a_{k_1}+\epsilon_1,...,a_{k_2}+\epsilon_2,..,a_N) =\frac{\partial}{\partial \epsilon_1} F_{k_1,k_2,\epsilon_1,\epsilon_2}(g_n(\overline{a}; \epsilon_1, \epsilon_2); \overline{a} )=\\=
\frac{\partial g_n}{\partial \epsilon_1}(\overline{a}; \epsilon_1,\epsilon_2) \cdot G_{k_1,k_2,\epsilon_1,\epsilon_2}(g_n(\overline{a};\epsilon_1,\epsilon_2) ; \overline{a})+ \frac{\partial}{\partial \epsilon_1} F_{k_1,k_2,\epsilon_1,\epsilon_2} (g_n(\overline{a}; \epsilon_1,\epsilon_2) ; \overline{a})=\\=\frac{\partial}{\partial \epsilon_1} F_{k_1,k_2,\epsilon_1,\epsilon_2} (g_n(\overline{a}; \epsilon_1,\epsilon_2) ; \overline{a})=\\
=\frac{1}{\sqrt{k_1+1}} \cos(\theta(g_n(\overline{a};\epsilon_1,\epsilon_2))- \ln(k_1+1) g_n(\overline{a}; \epsilon_1,\epsilon_2)).
\end{gathered}
Again, we use the fact that g_n(\overline{a}; \epsilon_1,\epsilon_2) are, by definition, the solutions of
G_{k_1,k_2,\epsilon_1,\epsilon_2}(g_n(\overline{a}; \epsilon_1,\epsilon_2);\overline{a})=0.
Thus, for the second derivative we have
\begin{gathered}
\frac{\partial^2 \Delta_{n}}{\partial \epsilon_1 \partial \epsilon_2} ( a_1,...,a_{k_1}+\epsilon_1,...,a_{k_2}+\epsilon_2,..,a_N) =\\
=\frac{\partial}{\partial \epsilon_2} \left ( \frac{1}{\sqrt{k_1+1}} \cos(\theta(g_n(\overline{a};\epsilon_1,\epsilon_2))- \ln(k_1+1) g_n(\overline{a}; \epsilon_1,\epsilon_2)) \right )= \\
= -\frac{1}{2\sqrt{k_1+1}} \sin(\theta(g_n(\overline{a};\epsilon_1,\epsilon_2))- \ln(k_1+1) g_n(\overline{a}; \epsilon_1,\epsilon_2)) \cdot \ln \left ( \frac{g_n(\overline{a}; \epsilon_1,\epsilon_2)}{2 \pi (k+1)^2 } \right ) \frac{\partial g_n}{\partial \epsilon_2} (\overline{a} ; \epsilon_1,\epsilon_2).
\end{gathered}
By substituting (\epsilon_1,\epsilon_2)=(0,0) and applying Lemma 5.2 the result follows.
Uses Lemma 5.2
Theorem 6.1
3DKTFor any n \in \mathbb{Z} the following holds
Z'(g_n ; \overline{a} ) = \frac{1}{4} (-1)^n \ln^2 \left ( \frac{g_n}{2 \pi} \right ) \overline{a} \cdot \nabla g_n(0),
where
\nabla g_{n} (\overline{0}) := \left ( \frac{\partial g_{n}}{\partial a_1} (\overline{0}) ,...,\frac{\partial g_{n}}{\partial a_N} (\overline{0}) \right )
is the gradient of g_n(\overline{a}) at \overline{a}=\overline{0}.
Proof of Theorem 6.1
The following holds
\begin{gathered}
Z'_N(t; \overline{a}) = -\sin(\theta(t))\theta'(t) -\sum_{k=1}^{N} \frac{a_k}{\sqrt{k+1} } \sin ( \theta (t) - \ln(k+1) t) (\theta'(t)-\ln(k+1)) =
\\= -\frac{1}{2} \sin(\theta(t))\ln \left ( \frac{t}{2 \pi} \right ) -\sum_{k=1}^{N} \frac{a_k}{2\sqrt{k+1} } \sin ( \theta (t) - \ln(k+1) t) \ln \left ( \frac{t}{2 \pi (k+1)^2} \right ).
\end{gathered}
Hence,
Z'_N(g_n ; \overline{a})= \sum_{k=1}^{N} \frac{a_k}{2\sqrt{k+1} } \sin (\ln(k+1) g_n) \ln \left ( \frac{g_n}{2 \pi (k+1)^2} \right ).
But also,
\frac{1}{4} \ln^2 \left ( \frac{g_n}{2 \pi} \right ) \frac{\partial}{\partial a_k} g_n(\overline{0})= (-1)^{n} \frac{\sin ( \ln(k+1) g_n)}{ 2 \sqrt{k+1} } \ln \left (\frac{g_n}{2 \pi (k+1)^2} \right ).
Hence,
Z'(g_n ; \overline{a} ) = \frac{1}{4} (-1)^n \ln^2 \left ( \frac{g_n}{2 \pi} \right ) \overline{a} \cdot \nabla g_n(0).
Corollary 6.1
9S3XThe following holds:
The second-order Hessian H_n ( \overline{1}) measures the magnitude of the gradient \nabla g_n(0).
The direction of the shift of the n-th extremal point of Z(t; \overline{a}) with respect to g_n is given by the sign of (-1)^n Z'(g_n ; \overline{a}).
Definition Definition (Viscosity of a Gram point)
85AKFor any n \in \mathbb{Z} we refer to( Recall that in general \frac{Z'(t)}{Z(t)}=i \theta'(t) -\frac{1}{it-\frac{1}{2}}+\sum_{\rho} \frac{1}{\frac{1}{2}+it-\rho}- \frac{1}{2} \frac{\Gamma'(\frac{5}{4}+\frac{it}{2})}{\Gamma(\frac{5}{4}+\frac{it}{2})}+\frac{1}{2}\ln(\pi), see 3.2 of [E]. )
\mu(g_n) := \left \vert \frac{Z'(g_n)}{Z(g_n)} \right \vert
as the viscosity of the Gram point g_n.
Definition 7.1 (Gram block)
16RXA consecutive collection \left \{ g_n,g_{n+1},...,g_{n+N} \right \} of Gram points is called a Gram block if g_n and g_{n+N} are good Gram points while g_{n+j} are bad Gram points for j=1,...,N-1. We refer to a bad Gram point as isolated if it is the middle point of a block with N=2.
Used by Conjecture 7.1
Conjecture 7.1 (Repulsion for isolated bad Gram points)
XDXKIf g_n is an isolated bad Gram point then
\abs{Z'(g_n)}>4\abs{Z(g_n)}.
In particular, corrupt Gram points must be non-isolated.
Uses Definition 7.1
Remark 7.2 (Montgomery’s Conjecture - Statistical vs. Dynamical Repulsion)
8VL0Due to the decay of the integral (?) for small u, the Montgomery pair correlation conjecture is often interpreted as anticipating the existence of a repulsion phenomena between consecutive zeros of Z(t). However, it is crucial to emphasize that this notion of repulsion is based on the probabilistic properties of zeros in the large scale. In particular, while the term repulsion hints on an underlying dynamical phenomena, in the setting of Montgomery’s conjecture the Z-function as well as its zeros are actually static and the repulsion is meant merely in a statistical sense.
In contrast, in our setting, paths in the space \mathcal{Z}_N lead to a genuine notion of continuous variations of zeros t_n(r) and the repulsion relation (7.1) is hence a dynamic property of consecutive pair of zeros rather than a statistical property regarding their distribution. In fact, we argue that the newly discovered dynamic repulsion relation (7.1) might in practice be the phenomena responsible for the statistical repulsion anticipated by Montgomery’s conjecture.
Source and licence
The text on this page is from arXiv:2406.06548v2 by Yochay Jerby, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2406/2406.06548.jsonl.