6.0. Analytic Comparison Data from the Residual-Free Comparison Interface
In this section, the integrated stage constructed in
Section 5 and the canonical residual-free representative is fixed as the input data for passing to the analytic closure argument of
Section 6. What is done here is a notational organization for connecting the objects constructed in
Section 2 through 5 to distributional equalities, regularized determinants, and finite-window counts, and does not add any new assumption.
All objects used in the analytic closure argument are introduced below by formal definitions or by references to the constructions of
Section 2–5. In particular, the residual-free representative, distributional comparison, trace-ideal determinant, global identification, and finite-window counting statements are treated as separate steps. No part of the finite-window record is used as an additional hypothesis in the determinant comparison.
Definition 6.1 (residual-free comparison data). The residual-free comparison data passed from
Section 5 to
Section 6 are the following tuple:
Here
X is the integrated stage, and by Theorem 5.18 it has the orthogonal decomposition
The corresponding orthogonal projections are denoted by
Moreover,
is the exact von Mangoldt lift fixed in
Section 3, and for a finitely supported weight
, the arithmetic-side contribution is evaluated as
Here
is a finitely supported weight on the arithmetic side, and it is to be interpreted as notationally distinct from the logarithmic-side test functions used from
Section 6.1 onward.
When
denotes a representative of the localized comparison data obtained from the finite-window explicit formula, define
as its canonical residual-free representative, in accordance with Definition 5.20. Then
holds. Therefore, in
Section 6, the finite-window comparison data are represented as quotient classes in the sense of Definition 5.21, and
is always used as the representative.
Lemma 6.2 (source of the analytic comparison data). All data used in the determinant-comparison part of
Section 6 are determined by the constructions of
Section 2–5, and no additional zero-location input is introduced at the transition to
Section 6. More precisely:
- 1.
Section 2 fixes the analytic Hilbert space , the dense domain , the closed form , the associated self-adjoint operator , and the compact-resolvent spectral scale used in the Schatten estimates.
- 2.
Section 3 fixes the coefficient-space arithmetic construction, the exact von Mangoldt lift , and the weighted diagonal arithmetic trace which evaluates the prime-power contribution.
- 3.
Section 4 fixes the one-sided singular-boundary subspace , the one-sided projection , the boundary distribution space , the singular-boundary trace, and the boundary pairing.
- 4.
Section 5 fixes the integrated Hilbert space X, the lifted subspace , the ambient projection , the arithmetic projection , the residual projection , and the canonical representative modulo .
Consequently, the boundary reflection
, its descended involution
on
, the signed boundary-distribution comparison form, the Hilbert–Schmidt operator
K, and the central finite-window test inputs of
Section 6 are obtained only from these data and from the functional equation
. In particular, the construction does not use the location of the zeros of
, the identity
, or any finite-window consequence proved later in
Section 6.
Proof. The assertions follow by tracing the definitions in
Section 2–5. Items (1)–(4) list exactly the objects constructed before
Section 6. The map
and the representative
use the quotient by
fixed in
Section 5; the arithmetic term has already been evaluated by the trace of
Section 3; and the remaining effective component is the
-component obtained by
. The later definitions of
,
,
,
K, and the central finite-window kernels refer only to this list. Thus the determinant-comparison argument starts from the data supplied by
Section 2–5 and does not insert a zero-location assumption or a conclusion of the comparison as an input. □
Theorem 6.3 (continuous extension of the localized comparison interface).
The finite-window localized comparison interface of Section 5 is continuously defined on the dense subspace of singular-boundary data generated from finite-window inputs, and extends uniquely to its completion. Namely, there exist a closed subspace
of , and a continuous linear map
satisfying the following.
- 1.
The singular boundary trace of Section 4 satisfies
- 2.
For a singular-boundary test vector arising from a finite-window input, if the comparison representative before residual-free projection is denoted by , then
- 3.
is a continuous linear map from the locally convex topology of to the Hilbert topology of X.
Proof. The localized comparison interface of
Section 5 is constructed as a linear map sending the boundary distribution obtained from the finite-window explicit formula to the integrated stage
X. By the singular boundary trace of
Section 4, the
-component arising from a finite-window input is represented as a boundary distribution in
. Writing
for the linear subspace spanned by these finite-window boundary distributions, the exact arithmetic trace evaluation and residual-free quotient construction of
Section 5 imply that
is continuous and linear. Here the continuity follows from the fact that each finite-window comparison functional is uniformly controlled by the boundary-trace seminorms of
Section 4 and the
X-norm of
Section 5.
Define
to be the closed subspace consisting of boundary data finite with respect to this uniform estimate inside the
-closure of
. Then, by continuity,
extends uniquely to
Since the singular boundary trace of
Section 4 is constructed so as to send the singular-boundary test space
to admissible boundary data, one has
The agreement on finite-window inputs is precisely the defining property of before extension. □
Theorem 6.4 (singular-boundary boundary-distribution comparison realization).
Singular-boundary test vectors on the Gelfand triple of Section 4
are realized continuously and linearly as comparison data on the integrated stage X through the localized comparison interface of Section 5. Specifically, define
Then is continuous and linear, and for arising from a finite-window input,
holds.
Proof. By Theorem 6.3,
is continuous and linear, and the singular boundary trace of
Section 4
is also continuous and linear. Therefore the composition
is a continuous linear map from
to
X. The equality for finite-window inputs
follows from the finite-window compatibility in Theorem 6.3. □
Definition 6.5 (singular-boundary test-to-comparison map). Apply the canonical residual-free projection to the map
of Theorem 6.4, and define
This is a continuous linear map representing, on the integrated stage
X, the residual-free comparison representative corresponding to a singular-boundary test vector
. In what follows, write
Lemma 6.6 (continuity and residual-free property of
). The map
is continuous and linear, and for every
,
holds. Moreover, the representative
obtained from a finite-window weight
is read, for a suitable
, as
Proof. By Theorem 6.4,
is continuous and linear. Since the orthogonal projections
are bounded on
X,
is also continuous and linear. Moreover, from
one obtains
For
arising from the finite-window explicit formula, Theorem 6.4 gives
such that
□
Definition 6.7 (finite-window singular-boundary and zeta functionals). Let
be the initial test algebra generated by the finitely supported weights used in the finite-window explicit formula of
Section 5. At this stage,
is treated as a dense input class for the distributional test spaces introduced in
Section 6.1.
For
, define the residual-free singular-boundary functional
as the local
-side functional determined by the finite set
That is, by Proposition 5.23, is the scalar functional associated with the -component remaining after the prime-power contribution evaluated on the arithmetic side has been removed.
On the other hand, let
be the calibrated scalar functional obtained from the finite-window explicit formula for the completed zeta function
. Here “calibrated” means that the Archimedean term and the fixed reference term are separated according to the conventions of
Section 5, and that the prime-power contribution on the arithmetic side is evaluated, in the notation of arithmetic-side finitely supported weights, as
After passing to logarithmic-side test functions, the same contribution is represented as
In this definition,
and
are first introduced as linear functionals on
. In
Section 6.1, these are realized as continuous functionals on
for local coefficient identification, and on
for the open-band equality. The test family
for the central logarithmic transform is introduced independently in
Section 6.4.
Definition 6.8 (boundary-distribution comparison kernel and normalized determinant datum). Use the Gelfand triple of
Section 4
and the map of Definition 6.5
In
Section 6.3, after constructing the signature operator induced by the functional equation,
the signed residual-free boundary-distribution comparison kernel is defined by
The operator candidate
K corresponding to this kernel is defined on the initial domain
by
At this stage, the construction of
, the self-adjointness of
K, and the Hilbert–Schmidt property are not yet asserted. They are proved in
Section 6.3.
After
is established in
Section 6.3, define, using the regularized determinant,
Here
are normalization constants, and are fixed in the subsequent trace-ideal determinant theorem so as to satisfy
This definition specifies the type of the comparison function
, and at this point it does not assert
Proposition 6.9 (comparison data from the residual-free comparison interface). The comparison data of Definition 6.1 satisfies the following three properties.
- 1.
-
(residual removal)
For the canonical representative of any finite-window comparison datum,
holds.
- 2.
(singular-boundary localization)
The effective residual after removing the arithmetic side is represented uniquely as
- 3.
-
(analytic targets)
The objects treated in the analytic closure part of Section 6 are
and these are respectively defined as the residual-free singular-boundary functional, the explicit-formula functional on the completed-zeta-function side, the boundary-distribution comparison kernel candidate, and its regularized-determinant comparison function.
Proof. The first assertion follows immediately from Definition 5.20. Indeed,
and by the orthogonal decomposition of Theorem 5.18,
The second assertion is the content of Proposition 5.23. In the finite-window explicit formula, the prime-power contribution on the arithmetic side is evaluated exactly as
and by Lemma 5.22, the residual component does not contribute to the comparison data. Hence the effective residual after removing the calibrated reference term and the arithmetic contribution is evaluated as the only remaining effective component in the orthogonal decomposition,
By uniqueness of the orthogonal projection decomposition, this component is also unique.
The third assertion is the notational fixing in Definitions 6.7 and 6.8. Here
are first introduced as linear functionals on the finite-window test algebra, and
K is introduced as the boundary-distribution comparison kernel candidate obtained from the distribution-kernel representation of
Section 4. Their continuity as distributions, the
-realization of
K, and the global agreement of
with
are proved in
Section 6.1, 6.3, and 6.4, respectively. Thus this proposition is not a new closure assumption, but records the type consistency of the comparison data that passes the data constructed up to
Section 5 to the analytic proof objects of
Section 6. □
The purpose of
Section 6.1 through 6.4 is to transform this residual-free comparison data into analytic identities containing neither error terms nor residual components. Specifically, one first compares
and
as continuous functionals on the comparison test classes, then realizes the boundary-distribution comparison kernel
K as an
-operator, constructs the regularized determinant
, and finally proves
as the global uniqueness theorem of
Section 6.4.
6.1. Distributional Comparison Theorem
In this section, the finite-window functionals introduced in the previous section,
are realized as continuous functionals on comparison test classes, and it is proved that they agree on small-band test functions. The equality treated here is not a pointwise boundary-value equality, but the distributional equality
Therefore, this section uses neither a half-value convention, pointwise boundary correction, nor heuristic contribution at the endpoints.
Definition 6.10 (Fourier convention and open-band Schwartz class). In this section, the Fourier transform is normalized by
For
, define
Endow
with the Fréchet topology induced from
. That is, when
are the standard seminorms of
, convergence in
is defined by convergence with respect to these seminorms.
Moreover, the dual pairing between
and
is denoted by
Definition 6.11 (RH comparison test classes). The comparison test classes used in this section are the following two classes:
Here
is used for local coefficient identification at prime-power positions, and
is used for the open-band residual-free equality. The test family representing the central logarithmic derivative,
is introduced independently in
Section 6.4. Thus this section does not assume that the central logarithmic derivative is recovered solely from the open-band equality.
Remark 6.12 (open-band convention). Throughout this section, assume
The boundary band
is treated separately from the open-band distributional equality, because the Fourier support touches the first prime-power position. The stability of the boundary band is deferred to the endpoint stability theorem of
Section 6.2.
Definition 6.13 (completed von Mangoldt distribution on the logarithmic side). Let
be the exact von Mangoldt lift fixed in
Section 3. The corresponding arithmetic distribution on the logarithmic side is denoted by
Namely, for
, define
This sum is finite because is compact. Hence is a distribution on local logarithmic tests. In this paper, this arithmetic singular part is not used as a tempered distribution on the whole of . The open-band equality is defined on , and the central logarithmic transform is defined separately on .
Lemma 6.14 (coefficient support and von Mangoldt lift). The finite-window explicit-formula distribution
on the completed-zeta-function side decomposes as
Here
is the smooth tempered distribution consisting of the Archimedean term and the calibrated reference term, and
is the arithmetic distribution of Definition 6.13. Therefore
Moreover, the principal delta coefficient at each point
is
Namely, if
has support in a sufficiently small neighborhood of
and contains no other prime-power positions, then
Proof. In the explicit formula for the completed zeta function, the calibrated Archimedean term and reference term give a smooth kernel on the logarithmic side. Denote this by
. On the other hand, the discrete contribution on the arithmetic side is concentrated at each prime-power position
by the exact von Mangoldt lift
fixed in
Section 3. Therefore, the arithmetic singular part is
and its principal delta coefficient is, by definition,
.
Since the smooth term has no singular support,
Finally, if
is chosen so as to isolate only one prime-power position
, the other delta components do not act on
. Hence
follows. □
Theorem 6.15 (local arithmetic coefficient identification).
The arithmetic singular part of the distribution on the completed-zeta-function side is given at prime-power positions by the exact von Mangoldt lift. Namely,
and the principal delta coefficient at each is
Proof. This is a theorem-level summary of the content of Lemma 6.14. This assertion is coefficient identification that isolates each prime-power position by local test functions, and is used independently of the open-band equality. □
Lemma 6.16 (continuous realization of the zeta-side functional on the comparison tests). The finite-window functional of the previous section,
is realized as a continuous linear functional on the following two types of test classes:
In particular, is well-defined on the test spaces required for local coefficient identification and the open-band comparison.
Proof. On , the arithmetic singular part is defined as a finite sum by Definition 6.13. The smooth Archimedean term and calibrated reference term act as ordinary distributions on compact supports, and therefore is continuous on .
On the open-band class
, by the open-band convention of
Section 6.1,
is evaluated as the continuous extension of the calibrated finite-window explicit-formula functional of
Section 5. Namely, the functional defined on the initial test algebra
of
Section 6.0 is extended continuously with respect to the Fréchet topology of
. This continuity follows from the fact that, on a fixed open band, the Fourier support is compactly restricted, and the Archimedean term and finite-window calibration term are controlled by finitely many seminorms of
. □
Lemma 6.17 (continuous realization of the residual-free singular-boundary functional on the comparison tests). The residual-free singular-boundary functional of the previous section,
is realized as a continuous linear functional on the following two types of test classes:
Proof. The residual-free singular-boundary functional is read, through the localized comparison interface of
Section 5 and the map
of Definition 6.5, as
The residual-free projection of
Section 5 is continuous, and the boundary trace of
Section 4 is also continuous with respect to the topologies of local coefficient tests and open-band tests. Therefore
acts as a continuous linear functional on
and on
. Its action on the central logarithmic test family is constructed independently in
Section 6.4 after introducing
and the Cauchy–Laplace representation. □
Lemma 6.18 (continuity of the open-band restriction map).
and
are restricted as continuous linear functionals on
More generally, for any comparison functional
T realized continuously on
,
is continuous.
Proof. The Fréchet topology of Definition 6.10 is placed on . Lemma 6.16 and Lemma 6.17 state that and act continuously in this topology. The assertion follows. □
Lemma 6.19 (open-band residual-free comparison). Let
. For every
, the canonical residual-free comparison data satisfy
Proof. First let
. By the exclusive-complement principle of
Section 5, the total variation of the finite-window explicit formula is preserved as the sum of the calibrated reference term, the arithmetic-side prime-power contribution, and the
-side residual-free singular-boundary functional. The arithmetic side is evaluated as
For an open-band test, however, this sum is not used as a direct infinite sum, but is interpreted as the pairing continuously extended from the arithmetic trace on finite-window inputs. In this sense the arithmetic side is evaluated exactly, and the residual component does not contribute to the comparison data by
Therefore, the local residual after removing the arithmetic side is represented completely by
On the other hand,
is defined as the same calibrated finite-window explicit-formula functional on the completed-zeta-function side. By Lemma 6.14, the coefficients of its arithmetic singular part agree with the exact von Mangoldt lift
of
Section 3. Hence the prime-power contribution evaluated by the exact arithmetic trace evaluation of
Section 5 and the arithmetic singular part of
are identical. The remaining calibrated reference term is also fixed commonly by the definition of the previous section, and therefore
is obtained.
Next take an arbitrary
. The space
is chosen in
Section 6.0 to be dense in
. Therefore one can take a sequence
By Lemma 6.16, Lemma 6.17, and Lemma 6.18,
and
are continuous on
. Thus
This proves the assertion. □
Theorem 6.20 (distributional comparison theorem on the open band).
Let . Then and are realized as continuous linear functionals on
Proof. The continuous realizations of and on were shown in Lemma 6.16 and Lemma 6.17. Their restrictions agree by Lemma 6.19. □
Theorem 6.21 (open-band residual-free equality).
For ,
holds.
Proof. This is the equality part of Theorem 6.20. The assertion here is the residual-free equality on open-band test functions whose Fourier support is contained in , and is used separately from the local coefficient identification of Theorem 6.15. □
Remark 6.22 (boundary band is not used in the open-band theorem). Theorem 6.20 is the open-band statement for
At the boundary value
the Fourier support may touch the first prime-power position, and therefore the proof of this section is not applied as it stands. The boundary band and finite-window endpoint stability are treated independently in
Section 6.2.
6.3. Trace-Ideal Determinant Theorem
In this section, using the compact-resolvent construction and the distribution-kernel representation of
Section 4, we realize the boundary-distribution comparison kernel candidate
K introduced in
Section 6.0 as a Hilbert–Schmidt operator. After that, we introduce the finite-rank cutoff
and prove the local uniform convergence and coefficient transport
The conclusion of this section is the construction of the comparison function
and the stability of its Taylor coefficients, and here we do not yet assert
Definition 6.33 (reference spectral resolution). Write
for the compact-resolvent reference operator fixed in
Section 4. Let
be an orthonormal basis of
consisting of its eigenfunctions. For each
, define the corresponding finite-rank orthogonal projection by
Definition 6.34 (functional-equation boundary reflection). Let
denote the boundary reflection induced by the functional equation
of the completed function. On the finite-window boundary distributions it exchanges the left and right boundary components and reverses the orientation with respect to the central line. The operator
is defined at the level of boundary distributions and residual-free comparison data; it is not defined from, and does not use, any information about the location of the zeros of
.
Lemma 6.35 (basic properties of the boundary reflection). The boundary reflection
is a bounded involution on
. Moreover,
and it preserves the boundary pairing used in the construction of the singular-boundary component. Equivalently, for admissible boundary distributions
for which the boundary pairing is defined,
Proof. The map
is an involution, and applying it twice returns each boundary side and orientation to its original position. Thus
on the finite-window boundary distributions. The boundary norm and pairing in
Section 4 were constructed from the two reflected boundary components symmetrically, so the same reflection preserves the pairing. By density of the finite-window boundary distributions and continuity of the boundary trace topology, the action extends uniquely to a bounded involution on
, and the pairing identity extends by continuity. □
Lemma 6.36 (topological realization of the boundary reflection). Let
be the finite-window boundary-distribution subspace used to construct the admissible boundary-distribution closure. Then
is dense in the boundary-distribution topology of
, and the reflection
is bounded with respect to the defining seminorms of that topology. In particular, if
in
, then
and the boundary pairing identities verified on
extend uniquely to all admissible limits.
Proof. In
Section 4,
is obtained as the distributional completion generated by finite-window boundary distributions subject to the boundary trace estimates and support constraints. Thus
is dense by definition of this completion. The reflection
exchanges the two boundary sides and preserves the central weights entering those trace seminorms. Consequently, for every defining seminorm
q of the boundary-distribution topology there are a defining seminorm
and a constant
such that
The estimate extends by density and gives a bounded operator on . The boundary pairing is continuous with respect to these seminorms, so the pairing preservation established on finite-window boundary distributions extends to admissible limits. □
Lemma 6.37 (compatibility with admissible boundary data and residual-free comparison). The boundary reflection preserves the admissible boundary-distribution subspace:
Moreover, it is compatible with the residual-free comparison interface in the following sense. If
have the same
-projected comparison component,
then
Consequently, the rule
is well-defined on the
-projected comparison range.
Proof. On the dense subspace of boundary distributions obtained from finite-window inputs,
,
is the left-right boundary reflection determined by the functional equation. The finite-window comparison identity is invariant under this reflection, and the canonical residual-free representative of
Section 5 is defined modulo
, which is orthogonal to the
-component. Therefore equality of the
-projected components is preserved by applying
.
In Theorem 6.3,
was defined as the closed subspace satisfying the uniform boundary estimate in the closure of finite-window boundary inputs. Since
is bounded in the boundary-distribution topology by Lemma 6.36 and preserves the boundary pairing by Lemma 6.35, it preserves this closure and the same uniform estimate. Hence
The well-definedness of the displayed rule follows from the first part of the statement and the residual-free quotient compatibility just proved. □
Proposition 6.38 (descent to the singular-boundary component).
The boundary reflection descends to a bounded self-adjoint involution
on the residual-free -component. It satisfies
Proof. By Lemma 6.37, the rule
is well-defined on the projected comparison range. This range is dense in the component
generated by the residual-free comparison interface. Because
preserves the boundary pairing by Lemma 6.35, the induced map is isometric on this dense range. It therefore extends uniquely to a bounded isometry
The identity
gives
. Since an isometric involution satisfies
we obtain
Finally, taking
and using
gives the displayed formula. □
Definition 6.39 (
-signature operator). In what follows, the self-adjoint involution
constructed in Proposition 6.38 is called the
-signature operator. The operator
is not an operator for making the form positive-definite. It is only the self-adjoint involution induced by the functional-equation reflection after passage to the residual-free
-component.
Definition 6.40 (signed residual-free
-quadratic form). For
, define
This is not a positive quadratic form, but a Hermitian quadratic form representing the oriented component on the singular-boundary side.
Definition 6.41 (signed residual-free boundary-distribution comparison kernel). Define the signed residual-free boundary-distribution comparison kernel by
Equivalently, it is the sesquilinear form obtained as the polarization of
. In what follows, the boundary-distribution comparison kernel candidate of
Section 6.0 is evaluated as this signed kernel.
Lemma 6.42 (Hermitian symmetry of the signed boundary-distribution comparison kernel).
holds. Moreover,
In general, is not assumed.
Proof.
The only structural property used here is the self-adjointness
obtained in Proposition 6.38. Therefore
Taking , the value is real. No positivity of is used or asserted. □
Remark 6.43 (non-circularity of the construction of
K). The construction of
,
, the signed boundary-distribution comparison kernel
, and the operator
K uses only the functional equation
the boundary distribution framework of
Section 4–5, and the orthogonal projection structure of
X. It does not use any information about the location of the zeros of
. In particular, no positivity, Herglotz property, or spectral-localization statement equivalent to the Riemann Hypothesis is assumed in the definition of
,
, or
K.
Theorem 6.44 (Sobolev eigenvalue growth of the reference operator).
The eigenvalue sequence of the compact-resolvent reference operator constructed in Section 4,
satisfies, for some constants and ,
Proof. In the reference Sobolev model of
Section 4,
is constructed as a compact-resolvent elliptic regularizing operator on
. Its Hilbert scale
is the Sobolev scale controlling boundary traces and distribution kernels, and the corresponding resolvent has trace smoothing of sufficiently high order by the compactness estimate of
Section 4. By the standard eigenvalue growth estimate for this Sobolev model, there exist
such that
holds.
If
, then
and hence
follows. □
Remark 6.45 (Schatten scale inherited from the Sobolev model). Theorem 6.44 is the only spectral-growth input inherited from the compact-resolvent Sobolev model constructed in
Section 4. Namely, the property used below,
is not an independent external assumption, but the Schatten smoothing obtained from the Hilbert scale generated by the reference operator
of
Section 4 and from the eigenvalue growth
In the subsequent Hilbert–Schmidt estimates, only this eigenvalue growth and the smoothing factorization of the boundary trace are used.
Theorem 6.46 (Schatten scale inherited from the reference Sobolev model).
The compact-resolvent reference operator of Section 4 has a Schatten smoothing scale on the singular-boundary side. Namely, there exists such that, for every ,
holds. Equivalently, for the reference spectral resolution ,
Proof. By Theorem 6.44, there exist
such that
Thus, if
, then
Fix one
. Then, for every
,
and this is equivalent to
□
Lemma 6.47 (smoothing nature of the singular-boundary trace). For sufficiently large
, the singular boundary trace of
Section 4 factors as
Here
is a bounded linear map.
Proof. The boundary trace of
Section 4 is not an ordinary boundary-value map, but is constructed as a singular boundary distribution regularized by the singular-boundary Sobolev scale. Namely, the high-frequency components are estimated by
-Sobolev smoothing. Taking
sufficiently large,
provides the regularity required by the boundary trace theorem of
Section 4, and the subsequent boundary-distribution map
is bounded. Therefore
can be written. □
Lemma 6.48 (boundary trace smoothing). If
is taken sufficiently large, then there exists a constant
such that, for the reference spectral basis
,
Proof. By Lemma 6.47,
and
is bounded. Therefore
Taking
, one has
and hence
□
Lemma 6.49 (boundedness of the comparison extension). The continuously extended localized comparison interface
is bounded. Namely, there exists a constant
such that
Proof. This is the continuity of Theorem 6.3, rewritten in terms of the Hilbertizable boundary norm of . □
Theorem 6.50 (smoothing of the singular-boundary comparison map).
Take so as to satisfy the condition of Lemma 6.48. Then there exists a constant such that
More generally, for ,
Proof.
By Lemma 6.49 and the boundedness of
,
Taking
and applying Lemma 6.48, one obtains
□
Theorem 6.51 (Schatten estimate for the signed boundary-distribution comparison kernel).
Take so as to satisfy the conditions of Theorem 6.46 and Theorem 6.50. Then, with respect to the reference spectral resolution ,
Proof. By definition of the signed kernel,
Since
is bounded and
, the Cauchy–Schwarz inequality and Theorem 6.50 imply
Renaming the constant as
, we obtain the asserted pointwise estimate. Furthermore, by Theorem 6.46,
□
Proposition 6.52 (Hilbert–Schmidt realization of the boundary-distribution comparison kernel).
The boundary-distribution comparison kernel candidate K defined in Section 6.0 closes uniquely as a Hilbert–Schmidt operator on . Namely,
Proof. By Definition 6.41, the sesquilinear kernel on the initial domain
,
is determined as the polarization of the residual-free
-quadratic evaluation. By Theorem 6.51, the matrix coefficients with respect to the reference spectral basis
satisfy
Therefore the operator
, initially defined on finite linear combinations by
satisfies
Hence
extends uniquely to the whole of
as a Hilbert–Schmidt operator. Writing this extension again as
K, one has
and
follows. □
Lemma 6.53 (Hermitian symmetry of the residual-free boundary-distribution comparison kernel). The boundary-distribution comparison kernel of
Section 6.0,
is Hermitian. That is,
Proof. This is the content of Lemma 6.42. Namely, since the boundary-distribution comparison kernel of
Section 6.0 is evaluated as the polarized kernel of Definition 6.41, it inherits the Hermitian symmetry coming from the inner product of the Hilbert space
X. □
Theorem 6.54 (self-adjoint Hilbert–Schmidt realization).
The boundary-distribution comparison kernel candidate K of Section 6.0 is realized as a self-adjoint Hilbert–Schmidt operator satisfying
Proof. By Proposition 6.52,
K closes uniquely as a Hilbert–Schmidt operator on
. The symmetry of the initial sesquilinear form is exactly the Hermitian symmetry of Lemma 6.53. That lemma, in turn, uses only the self-adjointness
of the
-involution and the Hilbert-space inner product on
X. Thus, for
,
No positivity of
, Herglotz property, or zero-localization assertion is used in this step. Since
is dense in
, and
K is bounded, the symmetry extends continuously to all of
. Therefore
holds. □
Definition 6.55 (finite-rank compressions). Let
be the finite-rank projection of Definition 6.33. Define the finite-rank cutoff of the boundary-distribution comparison kernel
K by
Then
is a finite-rank operator, and in particular
Lemma 6.56 (Hilbert–Schmidt convergence of finite-rank compressions).
Proof.
converges strongly on
. For a Hilbert–Schmidt operator
K, a bounded strongly convergent sequence of operators
satisfies
Indeed, using the orthonormal basis
,
For each
j,
, and moreover
and
Therefore the first convergence follows by dominated convergence. The second convergence is identical.
Thus, by the triangle inequality,
The right-hand side converges to zero as
. Hence
□
Definition 6.57 (regularized Fredholm determinant). Let
. Define the regularized Fredholm determinant by
The standard properties of the regularized Fredholm determinant, trace ideals, and
follow [
4,
5]. The right-hand side is defined as an ordinary Fredholm determinant because
Equivalently, if the eigenvalue sequence of
A, counted with algebraic multiplicities, is denoted by
, then
This product converges under the -condition.
In particular, for
, write
Remark 6.58 (first trace renormalization). In
, the first trace term is removed by normalization. Indeed, in the range
,
For this reason, in the comparison with the completed zeta function, the constant term and the linear term must be normalized separately by an exponential factor
Lemma 6.59 (continuity of
in Hilbert–Schmidt norm). For every
,
Namely,
converges to
locally uniformly on compact sets in the
z-plane.
Proof. For Hilbert–Schmidt operators
, the regularized determinant satisfies the following Lipschitz-type estimate. There exists a universal constant
such that
Set
and
. By Lemma 6.56,
Therefore, for
,
and the exponential factor is uniformly bounded with respect to
N and
z. Hence
□
Lemma 6.60 (trace-power convergence). For each
,
Proof.
in
, and in particular also in operator norm:
Moreover, .
By the Schatten Hölder inequality,
and
Thus in .
In each term,
converges in
; taking one of the remaining factors as an
-factor and estimating the other factors as bounded operators, the product converges to zero in
. That is, there exists a constant
such that
Hence
in
, and continuity of the trace gives
□
Lemma 6.61 (non-vanishing at the central point). One has
Proof. For
, the Dirichlet eta function is represented by the convergent alternating series
At
, the terms
are positive, decrease monotonically to zero, and
The alternating-series estimate therefore gives
Since
on
by the usual analytic continuation of the eta function, and
we obtain
The remaining factors in
are nonzero at
, and hence
□
Definition 6.62 (normalized determinant comparison function). Set
Define the comparison function by
The normalization constants
are fixed by
Here we use Lemma 6.61. The branch of the logarithm is used only to fix the value at this single point, and the definition of
is independent of the branch by
Remark 6.63 (normalization does not encode zero locations). The constants
and
fix only the value and the first derivative, equivalently the first logarithmic derivative, at the central point. They do not prescribe any zero of
, and they do not contain any information about the location of the zeros of
. The zero set of
is determined only by the regularized determinant factor
where
K was constructed independently of zero-location information as explained in Remark 6.43.
Lemma 6.64 (entireness of the normalized determinant comparison function).
is an entire function of
. Moreover, for each
N,
is also entire, and
locally uniformly on compact sets.
Proof. The map
is an entire function. Therefore
is also an entire function. The exponential factor
is also entire, and hence
is entire.
For the same reason,
is also entire. By Lemma 6.59,
locally uniformly on compact sets in
z. The map
sends compact sets to compact sets, and therefore
also locally uniformly on compact sets in
s. □
Theorem 6.65 (coefficient transport for the regularized determinant).
In a sufficiently small neighborhood of the origin, take the branch of
Proof. Since
, there exists
such that
By Lemma 6.59,
uniformly on
. Therefore, for sufficiently large
N,
and
uniformly on every
,
. By Cauchy’s integral formula, the derivatives also converge in each order
. Namely,
On the other hand, for
,
Moreover, since there is no linear term,
□
Corollary 6.66 (coefficient transport for
).
Set . In a neighborhood of the origin, take the branch of
Furthermore, the Taylor coefficients of
converge in each order.
Proof.
Applying Theorem 6.65 with
, for
one obtains
The linear coefficient is fixed by , and the constant term is fixed by . The coefficient convergence from finite-rank cutoffs also follows from Theorem 6.65. □
Proposition 6.67 (compatibility with the distributional comparison coefficients).
The open-band coefficient comparison obtained from the distributional comparison theorem of Section 6.1 transports continuously to the trace-ideal coefficients
constructed in this section. Namely, setting the coefficient sequence obtained by finite-rank cutoffs as
and this limiting coefficient is compatible with the calibrated coefficient comparison on the open band obtained from
Proof. The convergence
follows immediately from Lemma 6.60. In
Section 6.1, it was shown that
and
agree as continuous linear functionals on
. On the other hand, the
-component of
is represented by the kernel of
K in
Section 6.0, and in the finite-rank approximation it is represented as finite trace coefficients by
. Therefore the open-band comparison quantity represented by finite-rank coefficients transports to
as
This transport is due to -convergence and trace-power convergence, and does not use any additional endpoint convention or pointwise boundary value. □
Theorem 6.68 (trace-ideal determinant theorem).
The boundary-distribution comparison kernel candidate K of Section 6.0 is realized as
Moreover, the finite-rank cutoffs
locally uniformly on compact sets in the z-plane.
The normalized comparison function
is an entire function and is normalized so as to satisfy
Moreover, its Taylor coefficients are transported degree by degree from the finite-rank cutoffs.
Proof. The fact that was shown in Proposition 6.52. The self-adjointness follows from Theorem 6.54. The Hilbert–Schmidt convergence of the finite-rank cutoffs follows from Lemma 6.56. The local uniform convergence of follows from Lemma 6.59. The definition and normalization of are given by Definition 6.62. The entireness of follows from Lemma 6.64. Finally, the degree-by-degree transport of Taylor coefficients was shown in Theorem 6.65 and Corollary 6.66. □
Remark 6.69 (no global identification in this section). In this section,
was constructed by the regularized determinant, and it was proved that its coefficients can be transported from finite-rank approximations. However, this section does not yet conclude
This global agreement is proved in the global uniqueness theorem of
Section 6.4.
6.4. Global Uniqueness Theorem
In this section, we globally identify the regularized-determinant comparison function constructed in
Section 6.3,
with the completed zeta function
. The uniqueness principle used in this section is only the identity theorem of complex analysis. That is, we use only the fact that if two entire functions agree on a nonempty open set, then they agree on the whole plane. Carlson-type theorems, the Phragmén–Lindelöf principle, or other growth-type uniqueness theorems are not used in the identity proof of this section.
Lemma 6.70 (common holomorphic domain). Both and are entire functions on .
Proof. That
is entire was shown in Lemma 6.64. On the other hand,
is the completed zeta function; the simple pole of
at
is removed by the factor
, and the poles of
at the negative even integers are cancelled by the trivial zeros of
. Therefore
is an entire function. □
Lemma 6.71 (growth of the determinant comparison function). For every
, there exists a constant
such that
Consequently, is an entire function of order at most 2.
Proof. For a Hilbert–Schmidt operator
, the regularized determinant satisfies
Taking
, one has
Thus, taking
, the asserted estimate follows. This estimate gives
in the form of order at most 2. □
Lemma 6.72 (growth of the completed zeta function). The completed zeta function
is an entire function of order 1. In particular, for every
, there exist constants
such that
holds.
Proof.
The growth of
in vertical strips is controlled exponentially by Stirling’s formula. Moreover,
, as a meromorphic function, has growth of order at most 1, and its only pole at
is removed by the factor
. By the functional equation
the estimates in the left and right half-planes are transferred to each other. Therefore
is an entire function of order 1, and the stated
-type estimate follows. □
Corollary 6.73 (growth of the difference).
is an entire function of order at most 2.
Proof. By Lemma 6.70, is entire. By Lemma 6.71, has order at most 2, and by Lemma 6.72, has order 1. Therefore the difference has order at most 2. □
Definition 6.74 (logarithmic germs at the central point). Set
. By the normalization of
Section 6.3 and Lemma 6.61,
Hence there exists
such that
On this disk, define
by the branches satisfying
For each
, write the central logarithmic coefficients as
Definition 6.75 (central Cauchy–Laplace kernel). Take
in Definition 6.74 smaller if necessary. For
, define
The value at
fills the removable singularity, and the resulting kernel is holomorphic in
w. Let
denote the vector space spanned by finite linear combinations of the kernels
and their
w-derivatives.
Definition 6.76 (raw finite-window central kernels). Fix an even function
such that
and set
for
. For
, define the raw finite-window kernel
and let
denote the corresponding finite-window test input before the central finite-part subtraction. The cutoff function
is fixed once and for all throughout the central comparison argument.
Definition 6.77 (central finite-jet map). The local singular orders in the completed finite-window explicit formula determine two non-negative integers
These integers are fixed once and for all. They do not depend on the cutoff scale
M, the central parameter
w, or the values of the pairings with
and
. For a finite-window kernel
, define its central jet at
by
For each
, define the endpoint jet on the cutoff transition annulus by
where each endpoint functional
is supported in
and is obtained from derivatives of
of order at most
b, after the fixed rescaling
. The central finite-jet map is
given on representatives by
For the central Cauchy–Laplace kernel one has
so the central jet
is determined by finitely many powers of
w.
Definition 6.78 (principal-part space and universal principal-part map). For every
, let
be the finite-dimensional vector space spanned by fixed local-principal-part basis elements
The basis elements may depend on
M, but only through the fixed rescaling
and the associated finite-window localization. They are fixed before either central pairing is evaluated. There is a canonical local-principal-part embedding
which regards a local principal part as the corresponding finite-window reference test input.
Define the universal principal-part map
by
Thus the central counterterm associated with
and the window
M is
When the counterterm is subtracted from a finite-window test input, it is always understood through the embedded element
Definition 6.79 (finite-window central cutoff inputs). For
and
, the regularized finite-window central test input is
The subtraction is an algebraic subtraction in the pre-completion finite-window test-input space . It is not performed after applying either central pairing.
The data
fix
before the values of
are evaluated. Hence the regularized finite-window input does not encode the equality of the two pairings.
Lemma 6.80 (common local principal part). For every
, the local singular contributions in the finite-window completed explicit formula factor through the same central finite-jet map
More precisely, the Archimedean term, the coefficient-space arithmetic trace term, and the singular-boundary term have local principal-part projections
and, on the common local principal-part component, all three projections have the same factorization
Consequently, for the central kernel,
is precisely the common local principal part removed from all three contributions before either central pairing is evaluated.
Equivalently,
inside
. Since
near
, the first scalar factors agree with the central derivatives
.
The jet orders are uniform in M. The space , the embedding , and the basis elements may depend on M, but only through the fixed rescaling and the corresponding finite-window localization. No part of this M-dependence is chosen after either central pairing has been evaluated.
Proof. The singular terms in the finite-window completed explicit formula are local. At the central point , their singular part is determined by a finite Taylor jet of order . On the cutoff transition region , the only additional singular data come from finitely many derivatives of the fixed rescaled cutoff , equivalently from the endpoint jet of order . The integers are fixed by the local singular orders of the completed explicit formula and by the cutoff scheme; they are not adjusted as M, w, , or varies.
The local principal data for the three contributions are summarized by the following table:
Although the three contributions have different global origins, their finite-window singular parts are obtained from the same local normal form of the completed explicit formula. This local normal form depends only on the central jet and the endpoint jet. In particular, the concrete principal-part projection for each contribution is obtained by applying the same finite-jet map
, the same universal map
, and then the same embedding
; the labels
record only the three global origins of the identical local subtraction. Hence the three principal-part projections have the same restriction to the common principal-part component, namely
Thus the counterterm is the finite-jet projection
. The finite-dimensional space
, its basis, and the embedding into
are fixed before the pairings are applied. Therefore the counterterm is determined entirely by
,
, and the local principal-part maps, and not by the numerical values of
□
Lemma 6.81 (seminorm control of the local principal part). Let
. For every defining seminorm
of
, there exist finitely many defining seminorms
and a constant
, independent of
M, such that, for every finite-window family
used in the central comparison,
In particular, the local principal-part subtraction is continuous with respect to the central comparison seminorms on the finite-window families appearing in the proof.
Proof. The map consists of finitely many evaluations of u-derivatives at and finitely many endpoint functionals on . Each such functional is controlled by finitely many of the seminorms defining the central comparison topology, after increasing if necessary. The map is finite rank, and the embedding inserts the resulting finite local principal part into the fixed finite-window test-input model. Since the orders are uniform in M, only finitely many seminorm types are needed. The dependence on M is only through the fixed rescaling , which is already controlled by the finite-window seminorms. This gives the stated estimate. □
Remark 6.82 (the counterterm does not encode the comparison equality). The counterterm
is fixed before the two central pairings are evaluated. It depends only on the fixed cutoff
, the central kernel
, the finite-jet map
, and the universal principal-part map
. It does not depend on the values of
and therefore it does not encode the central residual-free equality.
Definition 6.83 (central comparison topology). The central comparison topology is the locally convex topology generated as follows. For every compact set
, every integer
, every integer
, and every
define, on kernel representatives
,
Let
be the vector space spanned by the finite-window central test inputs
and their finite
w-derivatives. For each
M, the finite-dimensional counterterm space
is regarded as a subspace of
via the canonical local-principal-part embedding
Thus the expression
is formed in the algebraic space
, not after applying either central pairing. The space
is the locally convex completion of
, modulo zero seminorms, with respect to the seminorms above. Central finite-part limits such as
are not inserted as additional generators of the topology. They denote elements of the completion only after the corresponding finite-window family has been proved Cauchy in these seminorms; for the family used here this is exactly Lemma 6.88.
The seminorms defining
are fixed before the functionals
are applied. In particular, the topology depends only on the finite-window cutoff structure, the central kernel family, and its
w- and
u-derivatives; it does not depend on the values of
Definition 6.84 (Hadamard finite-part central regularization). The notation
denotes the Hadamard finite-part limit in
of the finite-window family obtained from
after subtracting the common central counterterm in the Archimedean, arithmetic, and singular-boundary contributions. More precisely,
is defined for those
for which the corresponding regularized finite-window family is Cauchy in the topology of Definition 6.83; in that case
denotes its unique limit in the completion
.
For the central kernel
, the corresponding finite-window family is precisely
of Definition 6.79. The existence of
as an element of
is not asserted by the definition alone; it is proved by the finite-window approximation lemma below. Thus the present definition fixes the cutoff procedure, the common counterterm, and the ambient topology, while the existence of the relevant finite-part limits is supplied by a separate convergence statement.
Remark 6.85 (no conclusion is encoded in the central regularization). The central regularization does not define by fiat. The cutoff , the kernel , the counterterm , and the topology of are fixed without using the numerical values of the pairings with or . The identities connecting these pairings to the logarithmic derivatives of and are proved later, separately on the singular-boundary side and on the zeta side, in Lemma 6.91 and Lemma 6.89.
Definition 6.86 (central Cauchy–Laplace test family). For
, the central Cauchy–Laplace test input is denoted by
This notation means the unique element of the completion
obtained as the limit of the finite-window family
once the convergence is established in Lemma 6.88. In particular,
is not an additional generator of the topology of
. By normalization,
The space is a test space distinct from the open-band class , and is used to represent the central logarithmic derivative comparison.
Lemma 6.87 (regularity of the central Cauchy–Laplace family). There exists
such that the map
is holomorphic for
.
Proof. For each
M, the finite-window representative
is holomorphic as a
-valued map: it is obtained from the holomorphic kernel
, the fixed cutoff
, and finitely many
w-holomorphic jet counterterms. The seminorms of Definition 6.83 control finitely many
w- and
u-derivatives uniformly on compact subsets of
. By Lemma 6.88, after possibly decreasing the radius to
, these finite-window holomorphic maps converge to
locally uniformly in the
-seminorms, and the same is true after the finitely many
w-derivatives appearing in those seminorms. The standard Weierstrass theorem for locally convex-valued holomorphic maps therefore gives that
is holomorphic for
. □
Lemma 6.88 (finite-window approximation of the central kernel). For every compact set
the finite-window central test inputs of Definition 6.79 converge to the central Cauchy–Laplace test family in the central comparison topology:
locally uniformly for
. Equivalently, for every
and every
one has
In particular, the same convergence holds after applying any finite number of w-derivatives covered by the seminorms . The assertion is purely an approximation statement in ; it does not use the values of the pairings with or .
Proof. Fix
,
, and
By Definition 6.83, convergence in
is measured by the seminorms
. The representatives of
are obtained from the cutoff kernels
after subtracting the common central counterterm of Definition 6.79. The notation
denotes the element of the completion represented by the Cauchy limit of this finite-window family; the present lemma proves that this limit exists in the seminorm topology of Definition 6.83.
The difference between the cutoff kernel and the limiting kernel is supported, apart from the finite-part subtraction, in the transition and tail regions of the cutoff. For
, all
w-derivatives and the finitely many
u-derivatives appearing in
are bounded by an exponential of type strictly smaller than the weight
, up to a polynomial factor. Hence the cutoff-tail contribution tends to zero in every seminorm
. For the counterterm part, Lemma 6.80 identifies the subtracted term with the same fixed finite-jet principal part at every finite window, and Lemma 6.81 shows that this finite-jet subtraction is controlled by the defining seminorms of
. The difference between the finite-window counterterm and its completion-limit representative is therefore measured by the same jet seminorms and tends to zero as the cutoff annulus leaves every compact
u-set. Therefore
The estimate is uniform for , and the seminorms already include all w-derivatives up to order m. Thus the convergence is locally uniform in w and remains valid after finitely many w-derivatives.
Only the cutoff family, the central kernel, the counterterms, and the seminorms of
have been used. No value of
enters the argument. □
Lemma 6.89 (Hadamard central partial fraction formula for
). There exists
such that, for
,
is equal to the Hadamard finite part pairing of the central Cauchy–Laplace kernel
against the zeta-side distribution in the completed explicit formula. Namely,
Proof. Since
is entire and
taking
sufficiently small gives
for
. When the Hadamard product is written in normalized form at the central point, in the difference of logarithmic derivatives
the part common at the central point among the constant factor and the linear exponential factor is cancelled. The remaining zero terms, arithmetic terms, and Archimedean terms are represented by the central difference of the completed explicit formula. The Cauchy–Laplace kernel corresponding to this central difference is
The unregularized pairing may contain divergent terms component by component, but in the Hadamard finite part obtained by subtracting the value at the central point
, the identical divergent principal parts are cancelled. The operator
in Definition 6.84 is the linear regularization realizing this finite part pairing. Therefore
holds. □
Lemma 6.90 (central transform of
). There exists
such that, for
,
The inputs are only the central Cauchy–Laplace kernel of Definition 6.75, the regularization operator of Definition 6.84, and the standard Hadamard product of the completed zeta function. No information about the location of the zeros of , and in particular no form of the Riemann Hypothesis, is used.
Proof.
Substitution gives the asserted identity. The proof uses only the completed zeta function as an order-one entire function with its Hadamard product; the zeros are kept at their a priori locations throughout. □
Lemma 6.91 (determinant central partial fraction formula). For the same
, for
,
holds.
Proof. First prove the assertion for the finite-rank cutoff
. If the eigenvalues of
are denoted by
, then
Taking the difference from the central point, the linear term of the normalizing exponential factor is cancelled by
, and the remaining finite sum agrees with the finite-rank singular-boundary evaluation of the Cauchy–Laplace kernel
. Therefore
Next let
. By the convergence shown in
Section 6.3,
and by Hilbert–Schmidt continuity of
,
locally uniformly in a neighborhood of the central point. Taking
r smaller so as to preserve nonvanishing, Cauchy’s integral formula implies that the logarithmic derivatives also converge locally uniformly. Moreover, the finite-rank singular-boundary evaluation
converges to
with respect to the
-pairing. Thus, passing to the limit in the above formula, one obtains
□
Lemma 6.92 (central transform of
). For the same
,
holds. The inputs are
, the regularized Fredholm determinant of Definition 6.57, and the central Cauchy–Laplace regularization of Definition 6.84.
Proof.
The assertion follows. Thus the -side central transform is obtained from the -Fredholm determinant expansion and not from any comparison with . □
Lemma 6.93 (central zeta-side logarithmic derivative identity). There exists
such that
holds.
Proof. This is exactly Lemma 6.90, the zeta-side central transform lemma. □
Lemma 6.94 (central trace identity on the singular-boundary side). For the same
,
holds.
Proof. This is exactly Lemma 6.92, the -side central transform lemma. □
Theorem 6.95 (central transform theorem from the residual-free comparison).
There exists such that the map
is holomorphic and satisfies the following:
Proof. Holomorphicity follows from Lemma 6.87. The -side identity follows from Lemma 6.94, whose input is the -Fredholm determinant model for . The zeta-side identity follows from Lemma 6.93, whose input is the standard Hadamard product for the completed zeta function. No central residual-free equality is used in this theorem; it only records the two separate transform identifications. □
Lemma 6.96 (
-side central normal convergence estimate). After shrinking
if necessary, the central logarithmic-derivative expansion of the Fredholm determinant side is normally convergent on every compact set
after the central subtraction at
. More precisely, for every finite set of
w-derivatives covered by the seminorms of Definition 6.83, the corresponding series for
converges locally uniformly on
B, and the resulting bounds are controlled by finitely many seminorms
.
Proof.
Let
be the nonzero eigenvalues of
K, counted with multiplicity. Then
and
is bounded. After shrinking
r, the factors
are uniformly bounded away from zero for
and all
j. The logarithmic derivative of the regularized determinant is
and, in the eigenvalue expansion, each summand is bounded by a constant multiple of
on
B. Its finite
w-derivatives are bounded by constant multiples of
for the relevant finite
m, which is summable because
and
is bounded. Hence the expansion and its finitely many
w-derivatives are normally convergent on
B. In particular, for each finite derivative order
m, there is a constant
such that the
j-th
w-derivative of the
-side pairing on a finite-window input is bounded by
times a finite sum of the seminorms
controlling the corresponding central kernel derivatives. The exponential normalization contributes only a polynomial expression in
w and is therefore controlled by the same central seminorms. □
Lemma 6.97 (
-side central Hadamard convergence estimate). The central partial-fraction expansion obtained from the standard Hadamard product of the completed zeta function converges normally on every compact set
after the central subtraction at
. The convergence remains valid after finitely many
w-derivatives covered by the seminorms of Definition 6.83. This estimate uses only the order-one entire-function structure of
and does not assume the Riemann Hypothesis.
Proof. The completed zeta function is an entire function of order one and admits its standard genus-one Hadamard product. Let
range over the zeros of
, counted with multiplicity, and put
By Lemma 6.61,
for every zero
. The logarithmic derivative of the genus-one product, after subtracting its value at the central point, has the central partial-fraction form
The summand may be written as
On a compact set
, all but finitely many
satisfy
and for those zeros the summand is bounded by a constant multiple of
The genus-one product condition gives
after removing the finite set already mentioned. Hence the central partial-fraction series converges normally on
B. After finitely many
w-derivatives, the corresponding summands are bounded by constants times
for
, and the same genus-one estimate gives normal convergence. The polynomial contribution from the exponential factor is controlled by the seminorms of Definition 6.83. Consequently, for each finite derivative order
m, the
j-th
w-derivative of the zeta-side pairing is bounded on
B by a finite sum of the seminorms
applied to the central test input. No information about the location of the zeros is used; they remain in their a priori positions throughout the argument. □
Theorem 6.98 (continuity of the central pairings).
Let be the central comparison space of Definition 6.83. The functionals
initially defined on the span of finite-window central test inputs, extend uniquely to continuous linear functionals on . Consequently, if
For the finite-window central cutoff family
of Lemma 6.88, these convergences are locally uniform for w in every compact subset , and the same assertion holds after applying any finite number of w-derivatives covered by the seminorms of Definition 6.83.
Proof. By Definitions 6.79 and 6.83, the finite-window central test inputs form the prescribed dense generating subspace of for the seminorms . Hence it is enough to have uniform seminorm bounds for the two pairings on this dense subspace.
Concretely, for each compact set
and each finite derivative order
m, continuity is obtained from estimates of the following form: there are a constant
and finitely many seminorms of the form
such that every finite-window central test input
satisfies
where
denotes either
or
. The two estimates below provide this bound separately for the
-side and for the zeta side.
For the
-side pairing, these bounds are exactly the normal convergence estimates of Lemma 6.96, which use only
and the
logarithmic-derivative expansion. Therefore
is continuous on the finite-window central test inputs and extends uniquely to
.
For the zeta-side pairing, the required bounds are the central Hadamard convergence estimates of Lemma 6.97. They use only the standard order-one Hadamard product of the completed zeta function and do not use the Riemann Hypothesis. Therefore is also continuous on the finite-window central test inputs and extends uniquely to .
The asserted convergence of pairings follows immediately from these continuous extensions. For the particular family , the local uniformity in w and stability under finitely many w-derivatives follow by combining the continuity just proved with Lemma 6.88.
No step in this argument assumes the Riemann Hypothesis. The zeta-side input is only the standard order-one Hadamard product for , with its zeros left in their a priori positions, and the -side input is only . □
Lemma 6.99 (admissibility of finite-window central cutoffs). For every
and every
, the finite-window central cutoff test input
belongs to the finite-window comparison class to which the residual-free comparison interface of
Section 5 applies. Moreover, the counterterm
is a finite-window calibrated reference term. It changes only the common local principal part of the completed explicit formula and does not change the residual-free quotient class modulo
Proof. The raw kernel
has compact
u-support in the finite window
and is smooth in both variables. Hence
is a bounded finite-window comparison datum of the kind used in Definition 5.21. The counterterm
is a finite linear combination of the central and endpoint local jets specified in Definition 6.79. Those jets are inserted identically into the Archimedean, arithmetic, and singular-boundary parts of the completed explicit formula and hence represent a calibrated reference subtraction. They do not introduce an additional
-component and do not alter the class of the finite-window datum in the quotient by
. Therefore
is an admissible finite-window input for the residual-free comparison interface of
Section 5. □
Lemma 6.100 (finite-window residual-free equality for central cutoffs). Let
be fixed as in Lemma 6.87. For every
M and every
, the finite-window central cutoff test input
of Definition 6.79 satisfies
This is the finite-window residual-free equality for the central cutoff input.
Proof. Fix
M and
. By Lemma 6.99,
is an admissible finite-window comparison input for the residual-free comparison interface of
Section 5, and its counterterm does not change the quotient class modulo
.
The finite-window datum is therefore evaluated through the residual-free comparison interface constructed in
Section 5. More precisely, the canonical representative of Definition 5.20 removes the
-component; Lemma 5.22 shows that this change of representative does not alter the finite-window comparison datum; and Proposition 5.23 places the remaining
-projected contribution on the component
, after the prime-power contribution has been evaluated exactly by the arithmetic trace. Equivalently, the same residual-free finite-window comparison interface is summarized in Proposition 6.9.
Applying that interface to the finite-window central cutoff input gives the finite-window equality
No limiting argument and no central continuity statement is used in this lemma; the assertion is the equality at the fixed finite-window level. □
Theorem 6.101 (central residual-free equality).
For every ,
holds. The equality is obtained locally uniformly in w on compact subsets of .
Proof. We separate the argument into the three steps needed for the passage from finite windows to the central kernel.
Step 1: finite-window equality. For every
M and every
, Lemma 6.100 gives
This equality is the finite-window residual-free comparison equality supplied by the
Section 5 residual-free interface, as recalled in the proof of that lemma.
Step 2: finite-window central convergence. Let
be compact. By Lemma 6.88,
in the central comparison topology of
, locally uniformly for
. The same convergence holds after any finite number of
w-derivatives controlled by the seminorms of Definition 6.83.
Step 3: continuity of the central pairings. By Theorem 6.98, the pairings
are continuous on
. Hence the convergence in Step 2 implies, locally uniformly for
,
and
Passing to the limit
in the finite-window equality of Step 1 gives
Since was arbitrary, the equality holds for every , and the preceding argument gives the asserted local uniformity. □
Theorem 6.102 (local logarithmic derivative equality).
There exists such that, for ,
holds. The only inputs are the two central-transform lemmas, Theorem 6.101, and the central normalization of fixed in Section 6.3.
Proof. By Lemma 6.94,
and by Lemma 6.93,
Theorem 6.101 identifies the two pairings. Therefore
The normalization of
in
Section 6.3 gives
and hence
Substituting this equality of central logarithmic derivatives into the preceding display gives the asserted local logarithmic derivative equality. □
Lemma 6.103 (local coefficient equality). For every
,
holds. This lemma records the coefficient consequence of the local logarithmic derivative equality; the subsequent local analytic equality is obtained directly from the quotient argument and does not rely on an additional coefficient comparison.
Proof. By Theorem 6.102, there exists
such that
Therefore, if the logarithmic branches of Definition 6.74 are fixed with the same value, there exists
such that
Thus all Taylor coefficients agree, and
holds. □
Lemma 6.104 (local analytic equality near the central point). There exists
such that
holds. The inputs are the local logarithmic derivative equality and the central normalization
Proof. By Definition 6.74, after shrinking
if necessary, both
are nonzero for
. Hence the quotient
is holomorphic and nonzero in a smaller central disk. By Theorem 6.102,
there. Thus
Q is constant on that disk. The central normalization gives
Therefore
in a sufficiently small central disk, which is exactly
□
Theorem 6.105 (identity theorem used in this section).
Let be a connected open set, and let be holomorphic functions on U. If
holds on some nonempty open set , then
Proof. The difference is holomorphic on U, and vanishes on the nonempty open set V. Therefore the zero set of h has an accumulation point in U. By the identity theorem for holomorphic functions, on U. □
Theorem 6.106 (global uniqueness theorem).
The normalized determinant comparison function constructed in Section 6.3 agrees with the completed zeta function on the whole plane:
This theorem uses only the local analytic equality near , the fact that both functions are entire, and the identity theorem for holomorphic functions.
Proof. By Lemma 6.70,
and
are entire on the connected domain
. By Lemma 6.104, there exists
such that
The set
is a nonempty open subset of
. Applying Theorem 6.105 with
and this
V gives
□
Corollary 6.107 (zero sets with multiplicity).
and ξ have the same zero set on the whole plane, and the multiplicities of their zeros also agree. Namely, for every ,
Proof.
Therefore their Taylor expansions at any point agree, and the presence or absence of a zero and the order of the first nonzero Taylor coefficient also agree. Hence the multiplicities agree. □
Remark 6.108 (role of growth estimates). Lemma 6.71, Lemma 6.72, and Corollary 6.73 record that , , and are entire functions of finite order. However, the identity proof of this section does not use Carlson-type theorems or the Phragmén–Lindelöf principle, and uses only the agreement on an open disk obtained in Lemma 6.104 and Theorem 6.105.
Remark 6.109 (output of the analytic comparison layer).
Section 6.1 through the present section show that the
-side regularized-determinant comparison function obtained from the residual-free comparison interface is identical to the completed zeta function itself. In the finite-window counting below, we use
as an identity on the whole plane. The finite-window bridge and the defect staircase introduced below do not enter the proof of this global identity. They are subsequent auxiliary constructions recording the consequences of the self-adjoint Hilbert–Schmidt determinant model in bounded height windows. This section itself makes no assertion about the location of zeros; applications to zero counting are treated in the following sections.
6.5. Finite-Window Bridge Theorem
This section records consequences of the determinant closure proved in
Section 6.4. It uses the global identity
the endpoint stability theorem of
Section 6.2, and the argument principle to record zero-counting consequences in a bounded height window. The finite-window bridge is not used in the proof of the determinant identity
. Nor are the remaining finite-window subsections used in the proof of Theorem 6.148; they record bounded-window consequences of the spectral localization already obtained from the self-adjoint Hilbert–Schmidt determinant model.
The role of the bridge is purely comparative: it expresses the classical zero count in a finite window as the sum of the critical-line contribution and the off-line defect. It is not a finite-word contradiction argument of the type used in the earlier hybrid formulation. No finite encoding, minimal obstruction, or first-hit contradiction is used in this subsection. No nonexistence of zeros is asserted here. Equivalently,
Section 6.5,
Section 6.6 and
Section 6.7 may be removed without affecting the proof of
or the spectral localization theorem; they are retained to record those conclusions in bounded height windows.
Definition 6.110 (finite rectangle, left wall, and cap path). Let
, and let
. Define the finite-window rectangle by
Its positively oriented boundary is denoted by
Define the left wall, oriented upward, by
Since the left wall is traversed downward on the positively oriented boundary, write
Here
is the cap path consisting of the following three sides:
where
Thus is the positively oriented boundary part excluding the left wall.
Definition 6.111 (admissible zero-counting window). A finite window
is said to be
-admissible if
holds. Equivalently, no zero of
lies on the boundary of the finite window. Under this assumption, the condition of an admissible finite window in Definition 6.23 of
Section 6.2 is satisfied for
.
Definition 6.112 (classical zero count). When
is not the imaginary part of a zero of
, define the classical zero count by
Here is the multiplicity of the zero of . The subscript “cl” means classical count, and does not mean critical line.
Definition 6.113 (critical-line and off-line finite-window counts). Let
, and suppose that
are not imaginary parts of zeros of
. Define the critical-line zero count by
Also define the full off-line count by
When
is fixed in context, also write
Lemma 6.114 (argument count on the finite rectangle). Let
be a
-admissible finite window. Then
is equal to
Moreover, using the left wall and the cap path,
Proof. The function
is entire and has no zero on the boundary of
. Therefore, by the argument principle,
counts the zeros of
inside
with multiplicity.
The zeros of
are the nontrivial zeros of
, and by the standard zero region they satisfy
Therefore, for any choice of
,
Moreover, by
-admissibility, neither
nor
T is the imaginary part of a zero. Hence the zeros inside
are exactly the zeros satisfying
and under the right-continuous counting convention this is the same number as the zeros satisfying
Finally, by Definition 6.110,
and therefore
The displayed formula follows. □
Lemma 6.115 (analytic local uniform convergence implies Sobolev cutoff convergence). Let
be a bounded Lipschitz domain, and let
be holomorphic functions on
U. If
locally uniformly on compact sets in
U, then for every
,
holds.
Proof. Since
, one can take finitely many small disk neighborhoods of
inside
U. By Cauchy’s integral formula, for every multi-index
, there exists
such that
The right-hand side converges to zero by local uniform convergence. Therefore the derivatives of every order converge uniformly to zero on
. Since the
-norm on a bounded domain is dominated by the uniform norm, for every
,
follows. □
Lemma 6.116 (endpoint correction does not change the finite-window count). Let
be a
-admissible finite window. Let the cutoff comparison functions obtained from the finite-rank cutoffs of
Section 6.3 be
Then, for sufficiently large
N,
Equivalently, the cutoff endpoint correction on the boundary of the finite window does not change the integer zero count.
Proof.
Moreover, by Lemma 6.64 of
Section 6.3,
locally uniformly on compact sets. By Lemma 6.115, for every
and every
,
follows. Therefore, in a neighborhood of
, the conditions of the admissible analytic cutoff of
Section 6.2 are satisfied. Hence Theorem 6.30 can be applied with
Consequently, for sufficiently large
N,
□
Lemma 6.117 (partition into line and off-line zeros). Let
be heights that are not imaginary parts of zeros of
. Then
Proof. The difference
counts, with multiplicity, the zeros of
satisfying
Each zero
belongs exclusively to one of the two alternatives
or
The contribution of the former, collected with multiplicity, is
and the contribution of the latter, collected with multiplicity, is
Therefore the count decomposes as the stated sum. □
Theorem 6.118 (finite-window bridge theorem).
Let be a ξ-admissible finite window. Then
Proof.
Moreover, by Lemma 6.116, the endpoint correction arising from the finite-rank cutoffs of
Section 6.3 does not change this integer count for sufficiently large cutoff degree. Therefore the count obtained by the finite-window argument principle is independent of the presence or absence of cutoff and is
On the other hand, by Lemma 6.117,
The final integral representation is precisely the left-wall/cap-path decomposition of Lemma 6.114. □
Definition 6.119 (finite-window off-line defect). Fix
, and suppose that
is admissible. Define the finite-window off-line defect by
This is called the finite-window tail defect identity.
Corollary 6.120 (admissible-height tail defect identity).
Fix , and suppose that is ξ-admissible. Then
Proof. The first equality follows from Definition 6.119 and Theorem 6.118. Moreover,
is a function that counts off-line zeros with multiplicity, and therefore
□
Remark 6.121 (role of the finite-window bridge). Theorem 6.118 is an identity decomposing the total zero count in a finite window into the critical-line zero count and the off-line defect. It is a consequence of the already established determinant identity and the argument principle, not an input to the proof of
. At this stage,
is not asserted. In the following sections, this finite-window defect is organized as a nonnegative-integer staircase function and compared with the spectral localization already supplied by the self-adjoint Hilbert–Schmidt determinant model.
6.6. Anchored Defect Staircase
In this section, the contribution of off-line zeros in the upper tail is isolated as a nonnegative-integer-valued right-continuous staircase function. By the finite-window bridge theorem of the preceding section, in a finite window whose boundary does not pass through zeros, this staircase function agrees with the finite-window off-line defect.
This construction records auxiliary finite-window consequences after the determinant identity . It does not contribute to the proof of that identity. It records, in an anchored lattice of bounded height intervals, the same -projected data that will be compared with the spectral localization of the self-adjoint Hilbert–Schmidt determinant model. This section treats only the type of the defect staircase, local finiteness, and decomposition by an anchored lattice; the vanishing of the off-line defect is treated in the next section.
Definition 6.122 (off-line zero multiset above
). Fix
. Define the multiset of off-line zeros with positive imaginary part, counted with multiplicity, by
Here is the multiplicity of the zero of .
Definition 6.123 (off-line defect staircase). For
, define the off-line defect staircase by
Thus
is the same object as the full off-line count
Lemma 6.124 (compatibility with the finite-window defect). Suppose that
is a
-admissible height. That is,
T is not the imaginary part of a zero of
, and
is admissible in the sense of Definition 6.111. Then
Proof.
Also, by Definition 6.119,
Furthermore, by Theorem 6.118,
Combining these identities gives the assertion. □
Lemma 6.125 (staircase properties). The function
is nonnegative-integer-valued, monotonically nondecreasing, right-continuous, and has only finitely many jumps on any bounded interval. Moreover, the jump size at
is
Proof. By definition,
is the number of zeros counted with multiplicity, and hence
Moreover, if
, then
and therefore
We show right-continuity. For fixed
,
is an entire function, and its zero set is discrete. Therefore there exists
such that the interval
contains no imaginary part of a zero of
. Then, for
,
and right-continuity follows.
Local finiteness follows for the same reason. For arbitrary
,
is compact, and since the zero set of
is discrete, there are only finitely many zeros in this region. Nontrivial zeros lie in the critical strip
and hence there are only finitely many nontrivial zeros whose imaginary parts lie in
. Thus
has only finitely many jumps on bounded intervals.
Finally, by the half-open convention
the jump at
T is exactly the contribution, counted with multiplicity, of the off-line zeros whose imaginary part is exactly
T. Therefore
□
Lemma 6.126 (symmetric pairing of off-line zeros). If
,
,
, is a zero of
, then
is also a zero with the same multiplicity. Therefore
is even for every
.
Proof. If
, then the functional equation
gives
, and the reality property
gives
Moreover, the multiplicity of a zero is preserved under composition with a holomorphic function, and therefore the two zeros have the same multiplicity. Thus off-line zeros with positive imaginary part split into symmetric pairs at the same height. Therefore is even. □
Definition 6.127 (symmetric off-line pair count). By Lemma 6.126,
is even. Define the symmetric off-line pair count by
This paper mainly uses the full count , but may equivalently be used when needed.
Definition 6.128 (regular anchored Gram lattice). Fix
. A regular anchored Gram lattice above
means a strictly increasing sequence
satisfying the following.
- 1.
- 2.
For each
,
is not the imaginary part of a zero of
.
- 3.
Each interval
has finite length and satisfies
When needed, in a sufficiently large region where the Riemann–Siegel theta function
is monotone, one may take phase-anchored Gram points satisfying
as the reference, and perturb only those points that coincide with imaginary parts of zeros by arbitrarily small amounts to obtain a regular lattice. The arguments below use only the three conditions above.
Lemma 6.129 (existence of regular anchored lattices). For every , a regular anchored Gram lattice exists.
Proof. The set of imaginary parts of zeros of
is finite in every bounded interval of
. Therefore, for every
, there exists a point in the interval
which is not the imaginary part of a zero of
. Choosing one such point, and if necessary choosing recursively so as to preserve the ordering, we obtain a strictly increasing sequence
such that
and
, for
, is not the imaginary part of a zero. This gives
Hence a regular anchored Gram lattice exists. □
Definition 6.130 (anchored interval defects). Let
be a regular anchored Gram lattice. For each
, write
Define the off-line defect contained in this interval by
When
is fixed in context, abbreviate
Lemma 6.131 (lattice decomposition at anchored heights). For every
,
Proof. The intervals
are disjoint and satisfy
Each
counts the off-line zeros in
, with multiplicity. Therefore, taking the sum gives the number of all off-line zeros in
counted with multiplicity, and this is equal to
□
Definition 6.132 (partial interval defect). Let
. Take the unique
such that
, and define the partial interval defect by
Lemma 6.133 (lattice decomposition at arbitrary heights). Let
, and suppose that
. Then
In particular, when
,
Proof. By the half-open interval decomposition
the number of off-line zeros in
counted with multiplicity decomposes into the contribution of the complete intervals
, and the contribution of the final partial interval
The former is
and the latter is
The assertion follows. □
Corollary 6.134 (first positive defect index).
If
is well-defined. Moreover,
Proof. By Lemma 6.133, if
, then some finite interval contribution or partial interval contribution is positive. In that case, at least one
is positive. By the well-ordering property of the natural numbers,
exists. By definition,
□
Remark 6.135 (role of the anchored staircase). The objects constructed in this section are the nonnegative-integer-valued right-continuous staircase function
and its anchored lattice decomposition
This staircase does not supply an additional assumption for the determinant identity. It only records the off-line part of the zero count after the identity has already been established. In the next section, using the spectral localization of the regularized determinant and the staircase-function structure of this section, we show that the off-line defect vanishes identically.
6.7. No-First-Hit THEOREM
This section is the first point at which zero localization is used. The input is the self-adjoint Hilbert–Schmidt realization of
Section 6.3 together with the global determinant identity of
Section 6.4,
The finite-window bridge and the defect staircase of
Section 6.5–6.6 are used only to record this localization in bounded height windows and anchored intervals. They are not used to prove
.
The core of the argument is spectral localization: the zeros of the regularized determinant
are localized on the critical line by the real eigenvalues of the self-adjoint operator
K. The defect staircase of
Section 6.6 then translates this spectral localization into the vanishing of a nonnegative-integer-valued staircase function. Thus the no-first-hit argument is a subsequent zero-counting consequence of the determinant closure, not a replacement for the finite-word contradiction mechanism of the earlier hybrid formulation.
Definition 6.136 (regular admissible heights above
). Fix
, and assume that
is not the imaginary part of a zero of
. Define
Lemma 6.137 (regular heights give admissible windows). If , then for every , is -admissible in the sense of Definition 6.111.
Proof. Nontrivial zeros lie in the critical strip
Therefore no zero lies on the vertical sides
and
. Moreover, since
and
T are not imaginary parts of zeros, no zero lies on the upper or lower horizontal side. Therefore
and
is
-admissible. □
Lemma 6.138 (right-density of admissible heights). For every
and every
,
In particular, for each
, one can take a sequence
Proof. Nontrivial zeros lie in the critical strip
Therefore the nontrivial zeros whose imaginary parts lie in
are contained in the compact rectangle
Since
is an entire function and its zero set is discrete, there are only finitely many zeros in this compact set. Hence there are only finitely many values in the interval
that occur as imaginary parts of zeros, and the complement is nonempty. Thus
Taking and choosing a point gives a sequence satisfying , . If necessary, by taking a monotone subsequence, one can arrange that . □
Lemma 6.139 (spectral product for the determinant comparison function). Let
, and denote its nonzero eigenvalues, counted with algebraic multiplicity, by
Then
and the product converges uniformly on compact sets.
Proof. By Theorem 6.54,
K is a self-adjoint Hilbert–Schmidt operator. Therefore
K is a compact normal operator, and by the spectral theorem it is diagonalized by a real eigenvalue sequence
and an orthonormal system of eigenvectors. Applying the product representation of Definition 6.57 to
, one obtains
Since , this -product converges uniformly on compact sets. Multiplying by the exponential normalization factor gives the displayed formula. □
Theorem 6.140 (spectral localization of zeros).
All zeros of lie on the critical line. Namely,
More concretely, the zeros are of the form
for nonzero eigenvalues , and their multiplicities agree with the corresponding eigenvalue multiplicities.
Proof. In the representation of Lemma 6.139, the exponential factors
have no zeros. Therefore
is equivalent to the existence of a nonzero eigenvalue
such that
By self-adjointness,
, and hence
If the same eigenvalue occurs with multiplicity, then the corresponding linear factor occurs with the same multiplicity, and therefore the zero multiplicity is equal to the eigenvalue multiplicity. □
Corollary 6.141 (spectral localization of zeros of
).
All nontrivial zeros of the completed zeta function ξ lie on the critical line. Namely,
Proof.
Therefore the zeros of agree with the zeros of , counted with multiplicity. By Theorem 6.140, all zeros of lie on the critical line. Hence all zeros of also lie on the critical line. □
Theorem 6.142 (admissible-height vanishing of the tail defect).
For every
Proof. By Corollary 6.141,
has no off-line zeros. Therefore, for every
,
is empty. In particular, if
, then
□
Lemma 6.143 (extension from admissible heights to all heights). For every
one has
Proof. Take arbitrary
. By Lemma 6.138, one can take a sequence
By Theorem 6.142, for each
j,
On the other hand, by Lemma 6.125,
is right-continuous. Therefore
□
Theorem 6.144 (no-first-hit theorem).
There is no first hit of the off-line defect in the upper tail. Namely,
Proof. This follows immediately from Lemma 6.143. □
Definition 6.145 (RH above
).
means that, for every nontrivial zero
one has
Proof.
If there existed an off-line zero
with
, then taking
would give
This contradicts Theorem 6.144. Therefore all nontrivial zeros with
satisfy
□
Corollary 6.147 (vanishing of anchored interval defects).
For every regular anchored Gram lattice
Theorem 6.148 (Riemann Hypothesis).
For every nontrivial zero
That is, the Riemann Hypothesis holds.
Proof. By Corollary 6.141, all nontrivial zeros of the completed zeta function
lie on the critical line. Therefore, for every nontrivial zero
one has
This is precisely the Riemann Hypothesis. □
Remark 6.149 (logic of the spectral closure). The argument of this section connects the spectral localization on the regularized-determinant side with the nonnegative-integer-valued defect staircase of
Section 6.6. From the reality of the eigenvalues of the self-adjoint Hilbert–Schmidt operator
K, the zeros of
are localized on the critical line. By the global uniqueness of
Section 6.4,
the zeros of
are identified with the same critical-line zeros. Therefore the off-line defect staircase is identically zero, and the Riemann Hypothesis follows.