Submitted:
10 June 2026
Posted:
16 June 2026
Read the latest preprint version here
Abstract
This paper proves the Riemann Hypothesis by constructing, rather than postulating, a self-adjoint Hilbert--Schmidt determinant model for the completed zeta function. The proof is organized around a single principle: the zeros of the completed zeta function are not used as spectral data. Instead, the classical explicit formula is first converted into a finite-window comparison problem in an orthogonal Hilbert-space decomposition. Sections~2--5 build the three ingredients needed for this conversion: the analytic compact-resolvent framework, the coefficient-space arithmetic trace for the prime-power contribution, and the singular-boundary component. These are placed in the ambient decomposition \(X = \mathcal K_R \oplus J_{\mathrm{arith}}\mathcal H_{\mathrm{arith}} \oplus \operatorname{Ran}\Pi_{\mathrm{res}}.\) Passing to the canonical comparison representative modulo \(\operatorname{Ran}\Pi_{\mathrm{res}}\) leaves an effective \(\mathcal K_R\)-component, while the arithmetic summand accounts for the Euler-product term. The finite-part structure used in this comparison is intrinsic to the finite-window coordinate ledger. It is fixed from the contour convention, the logarithmic representative, and the finite readout probes; the completed zeta function, its divisor, and its logarithmic derivative do not belong to the operator construction. The operator-side functional is defined from the \(\mathcal K_R\)-projection of the canonical comparison representative, whereas the classical explicit-formula ledger is introduced separately and identified with the completed zeta logarithmic derivative only at the final target-identification stage. Section~6 closes the proof. The centered Mellin seam involution \(w\mapsto -w\) descends to a self-adjoint involution on \(\mathcal K_R\). Its signed boundary-distribution kernel is realized, by a Sobolev-reference Schatten-four sandwich estimate, as a self-adjoint Hilbert--Schmidt operator \(K=K^*\in\mathfrak S_2.\) This gives the intrinsic determinant factor \(F_K^0(s)=\det\nolimits_2\bigl(I+i(s-\tfrac12)K\bigr),\) and the comparison function \(F_K(s) = e^{a_{\mathrm{EF}}+b_{\mathrm{EF}}(s-\frac12)} F_K^0(s),\) where \(a_{\mathrm{EF}}\) and \(b_{\mathrm{EF}}\) are central constants of the explicit-formula ledger; they are not supplied from \(\xi\) at the construction stage. The finite-window comparison quotient is then passed to the central Cauchy--Laplace family. On the \(K\)-side, the finite-part realized functional is identified with the determinant trace through finite-window scalar coefficients, cyclic tensor contractions, finite-rank compression, and the Hilbert--Schmidt limit. On the classical side, the explicit-formula ledger is identified with the central logarithmic derivative of the completed zeta function. These two independently obtained transform identities give \(\frac{d}{dw}\log F_K\!\left(\frac12+w\right) = \frac{d}{dw}\log \xi\!\left(\frac12+w\right)\) near \(w=0\). The central scalar target identification gives local analytic equality, and the identity theorem yields \(F_K(s)\equiv \xi(s).\) Since \(K\) is self-adjoint, every zero of \(F_K\) coming from a nonzero eigenvalue \(\lambda_j\in\mathbb R\setminus\{0\}\) has the form \(s=\frac12+\frac{i}{\lambda_j}.\) The identity \(F_K=\xi\) therefore places every nontrivial zero of \(\xi\), and hence of \(\zeta\), on the critical line.
Keywords:
Riemann hypothesis
; Millennium problems
; Fredholm determinant
; operator theory
; analytic number theory
1. Introduction
1.1. Problem Setting and Outline of the Proof
The purpose of this paper is to prove operator-theoretically that all nontrivial zeros of the completed zeta function
lie on the critical line
The proof does not begin with a Hilbert–Polya operator and does not identify zeros with eigenvalues at the outset. Its aim is to construct, from the explicit formula and the singular-boundary comparison framework, a self-adjoint Hilbert–Schmidt operator whose regularized determinant is then forced to equal .
The argument has five stages:
Section 2, Section 3, Section 4 and Section 5 are not preparatory decorations; they are the construction of the comparison object itself. Section 2 supplies the compact-resolvent analytic scale. Section 3 supplies the arithmetic trace that reads the prime-power term. Section 4 constructs the singular-boundary carrier and transport data. Section 5 places the analytic, arithmetic, and boundary components into the common orthogonal decomposition
For finite-window comparison data, the arithmetic summand accounts for the Euler-product contribution, while the passage to the canonical representative modulo leaves the effective -component
A point of the proof is the order in which the objects are introduced. The finite readout reconstruction map
is the Moore–Penrose inverse of the finite readout Gram matrix. The local principal-part ledger is obtained from universal local normal forms and common finite-jet counterterms. The unsmoothed full-test-space transport kernel of Section 4 is optional and is not imported into the determinant argument as an unconditional datum. The finite-window finite-part coordinate is a coordinate of the comparison quotient: it is fixed by the finite-window contour convention, the logarithmic representative, and the fixed probes. Thus the -side readout is defined without supplying the completed zeta function, its zero divisor, or its logarithmic derivative.
The central proof chain is then as follows. From the finite-window comparison quotient, Section 6 constructs the continuous comparison map
The centered Mellin seam involution induces a boundary reflection
which descends to a bounded self-adjoint involution
The corresponding signed boundary-distribution comparison kernel
is Hermitian by and the Hilbert inner product. Quantitative smoothing and a Schatten-four sandwich estimate then realize it as a self-adjoint Hilbert–Schmidt operator
No positivity, Herglotz property, zero-localization assertion, or divisor information equivalent to the Riemann Hypothesis is used in constructing K.
The intrinsic determinant factor is
The comparison function is obtained by adjoining the central scalar and logarithmic-slope constants of the explicit-formula ledger:
These constants restore the central scalar normalization after target identification; they do not encode the zeros of and are not supplied from or at the construction stage.
The equality is proved by a central Cauchy–Laplace comparison. The central kernel
the finite-window cutoffs, the central finite-jet map, the principal-part map, and the topology of the central comparison space are fixed before either side is evaluated. The regularized finite-window test object is obtained by subtracting the common finite-jet counterterm:
This subtraction is common to the Archimedean, arithmetic, and singular-boundary contributions. After passage to the closed Cauchy–Laplace comparison subspace , the finite-window comparison quotient gives
The two pairings are then identified separately. On the K-side, is first connected to finite-window scalar coefficients and cyclic tensor contractions; finite-rank compression and the Hilbert–Schmidt limit prove
On the classical side, the explicit-formula ledger is identified with the central logarithmic derivative of the completed zeta function. Consequently
near . The central scalar target identification gives local analytic equality, and the identity theorem gives
Finally, since K is self-adjoint, a zero of arising from a nonzero eigenvalue satisfies
hence
Thus all nontrivial zeros of lie on the critical line.
1.2. The Analytic Operator Setup and the Coefficient-Space Arithmetic Construction
Section 2 constructs the analytic operator setup. Starting from a weighted Hilbert space on the half-line, it introduces the quadratic form and its admissible core, and constructs the closed form and self-adjoint operator realization
It then obtains the compact embedding of the form domain, compact resolvent, purely discrete spectrum, and scalar Herglotz-type resolvent function
This section provides the analytic foundation and does not use the arithmetic trace, the finite-window comparison quotient, or any conclusion about the locations of zeros.
Section 3 constructs the coefficient-space arithmetic data. In the formal Dirichlet algebra and its completed augmentation ideal, it defines the exact prime indicator, the exact von Mangoldt lift
the composite-cancellation operator, and the arithmetic derivation. The principal coefficient-extraction identity is
The section then Hilbertizes the coefficient layer and constructs the coefficient Hilbert space, the coefficient projectors, and the weighted diagonal arithmetic trace operator. This trace operator is the means by which the prime-power contribution is evaluated exactly on the arithmetic summand in Section 5.
1.3. Singular-Boundary Data and the Orthogonal-Decomposition Comparison Framework
Section 4 constructs the singular-boundary data inside the analytic Hilbert-space setup. Using the Gelfand triple
it separates point evaluations, distribution kernels, boundary traces, and boundary forms by type. It also constructs the boundary parameter space, the regular area measure, and the zero-area singular locus
and obtains
from the singular boundary trace and the regular boundary trace. These data define the -null and regular-trace-vanishing generating class and its closure. The section also constructs the Friedrichs-type realization, the singular-boundary transport group, the anti-self-adjoint generator, and the distribution-kernel representation. Its output is the one-sided singular-boundary subspace , the one-sided projection , and the boundary-distribution data needed for the analytic comparison in Section 6.
The generator-kernel statement exported from Section 4 is deliberately restricted. The unconditional object is the regularized weak kernel for , together with the unsmoothed kernel on the generator-admissible core. The full-test-space unsmoothed kernel is recorded only as an optional object under an additional sufficient condition, and the determinant argument does not import that optional object.
Section 5 places the coefficient-space arithmetic construction and the singular-boundary construction on a common ambient Hilbert space X. The one-sided singular-boundary subspace is lifted as
and the ambient projection is
Together with the arithmetic embedding, this gives
For localized finite-window comparison data, the prime-power contribution is evaluated on the arithmetic summand and the comparison class is represented by
The effective singular-boundary component is then
This is the component carried into Section 6.
1.4. Spectral Determinant Closure in Section 6
Section 6 turns the finite-window comparison quotient into an analytic identity. The centered Mellin seam reflection descends to the self-adjoint involution on , and the resulting signed boundary-distribution kernel is realized as
The smoothing exponent is chosen in the Schatten-four window
Thus the Hilbert–Schmidt property of K is obtained from the two-sided sandwich
and the construction does not use or . The determinant construction then starts from the intrinsic factor and only afterwards adjoins the explicit-formula central constants and .
The central comparison is not an equality by definition. The central Cauchy–Laplace kernel, finite-window cutoffs, common counterterm, and comparison topology are fixed first. The proof then uses the closed comparison subspace , the convergence of to , and the pre-determinant continuity of the finite-part realized functional.
The K-side transform is obtained through finite-window scalar coefficients and cyclic tensor contractions. Scalar central tests and cyclic tensor tests are not identified as elements of the same space. Instead, both are realized from a universal Cauchy–Laplace coefficient object, and comparison is made after pullback. The finite-window cyclic tests evaluate the powers
finite-rank compression gives the finite matrices , and the Hilbert–Schmidt limit gives the determinant trace of K. Separately, the explicit-formula ledger transform is identified with the central logarithmic derivative of . Combining the central comparison equality with these two transform identifications yields .
The spectral conclusion then follows only from . The nonzero spectrum of K is real, so the zeros of lie on the critical line. Since , all nontrivial zeros of the completed zeta function lie on the critical line. The finite-window bridge, anchored defect staircase, and no-first-hit material later in Section 6 record this spectral conclusion in finite-window form; they are not used to prove the determinant identity .
2. Analytic Operator Setup
2.1. Weighted Hilbert Space and Boundary Geometry
In this section, we fix only the analytic Hilbert-space setup necessary for constructing the weighted self-adjoint generator and preparing its compactness theory. Accordingly, the role of this subsection is limited to specifying the weighted Hilbert space, the boundary notation, and the trace conventions used in the form constructions below. Here, we introduce no arithmetic projector, no comparison identity, and no zero-counting statement.
Definition 2.1
(Weighted Hilbert-space setup). Fix the parameters
Define the weighted measure on the positive half-line by
Let the one-sided weighted Hilbert space be
and give its inner product by
Let the doubled analytic Hilbert space be
and give its direct-sum inner product by
In what follows, we repeatedly use the unitary transport
Definition 2.2
(Boundary notation). Set
We identify
with the inner product associated with counting measure.
When each component of
is locally absolutely continuous in a neighborhood of , we write the boundary trace as
and, when the one-sided derivatives exist, we write the oriented normal-derivative trace as
For scalar functions on , if the endpoint limits below exist, we write the weighted boundary form as
Thus
This is the boundary term that appears when performing integration by parts with respect to the weighted measure .
Remark 2.3
(Scope of Section 2). The purpose of Section 2 is purely analytic. Namely, it fixes the weighted Hilbert space, constructs the closed quadratic form and its associated self-adjoint operator, and prepares the compactness argument through an explicit confining potential. No part of this section presupposes any arithmetic projector, any orthogonal decomposition of an entire trace space, or any conclusion theorem for the Riemann hypothesis.
2.2. Closed Quadratic Form and the Admissible Core
Here we introduce the first-order weighted differential operator and the raw quadratic form on a concrete admissible core. What is needed in this subsection is that the form domain of the closed form contain smooth elements with boundary values. For this reason, the admissible core is taken to consist of compactly supported functions that extend smoothly to the endpoint 0, and boundary cancellation itself is carried out later in the trace-vanishing singular-boundary subspace. This distinction prevents the singular boundary trace used in Section 4 from being trivialized.
Definition 2.4
(Quadratic form and admissible core).
On , define the first-order weighted differential operator
Equivalently,
holds.
Let be a locally bounded measurable function. Its concrete choice is fixed in Definition 2.7. In what follows, write
Define the raw quadratic form on by
and let its quadratic-form version be
Define its raw form norm by
Theorem 2.5
(Boundary formula on the admissible core and symmetry of the raw form). For any ,
holds. Here
In particular, on ,
On the other hand, the raw quadratic form
is symmetric on .
Proof.
Let . By definition,
Since are smooth up to the endpoint 0 and vanish for sufficiently large x, integration by parts is justified. Integrating the first term by parts gives
Substituting this into the preceding formula yields
If , then both vanish in a neighborhood of the endpoint 0, so the boundary term also vanishes.
Finally, the symmetry of follows from the fact that, for any linear operator ,
holds, and from the Hermitian property of the potential term. This conclusion does not require itself to be symmetric without boundary terms. □
Theorem 2.6
(Closedness, lower boundedness, and core density). Let D be the closure of in , and let
be the multiplication operator with maximal domain
Then the raw graph map
is closable. Furthermore, set
and write its closure again as
Then the following hold:
- 1.
-
The sesquilinear formis well-defined and closed on ;
- 2.
- This form is lower bounded:
- 3.
- is a form core for . Namely,
Proof.
We first begin with the operator D. By Definition 2.4,
holds. Here is the space of compactly supported functions smooth up to the endpoint. The graph closure of on in is the standard weak derivative operator
which is a closed operator. Since is unitary, the transported operator D is also a closed operator on .
Next consider the multiplication operator . Since is measurable and finite almost everywhere, multiplication by is a closed operator on . Indeed, suppose that
Passing to a subsequence if necessary, pointwise convergence almost everywhere holds:
Therefore
and hence
Thus is closed.
We now show that is closable. Assume that
Since and D is closed, the convergence
implies . Similarly, since is closed and
holds, we obtain . Therefore is closable.
Set , and define
By the graph-closure definition, is precisely the graph closure of with respect to the norm
For , define
Then
Since is a closed operator, its graph is complete. Therefore
is a Hilbert space. This is precisely the closedness of the form .
The lower bound follows immediately:
Finally, since is defined as the graph closure of with respect to the form norm, it also follows by definition that is a form core. Equivalently, for any , there exists a sequence
such that
Therefore
This proves all three assertions. □
2.3. Explicit Confining Potential
Here we fix the potential entering the quadratic form . The essential point of the choice in this subsection is not mere positivity. The potential must grow to sufficiently slowly, but explicitly, and must prevent -bounded mass from escaping to infinity. This tail control is precisely the global ingredient that will be needed later in the compactness argument.
Definition 2.7
(Explicit confining potential). For , define
Accordingly, set
Then is positive, measurable, locally bounded, and satisfies
In what follows, denotes the potential used in Definition 2.4 and Theorem 2.6.
Proposition 2.8
(Logarithmic growth of ). For every ,
holds. In particular,
Proof.
By definition,
Since
the monotonicity of the logarithm gives
On the other hand, since
monotonicity again gives
This proves the two-sided estimate. Dividing by and letting , we obtain
that is,
□
Theorem 2.9
(Escape prevention at infinity). Let be any family satisfying
where is a constant. Then, for every ,
Consequently,
In particular, every -bounded sequence in is globally tight and does not lose mass at infinity.
Proof.
Fix . Since is increasing on ,
holds. Therefore
The right-hand side is bounded by the potential part of :
By the assumption
we obtain in particular
Combining the three estimates above gives
Taking the supremum over , we get
Furthermore,
so the right-hand side converges to 0. Hence the family F is tight in , and no -bounded sequence escapes to infinity. □
At this point, the analytic framework is self-contained. Namely, the weighted Hilbert-space setup, admissible core, closed lower-bounded quadratic form , and explicit confining potential have all been fixed. The next step is to pass from this closed-form construction to the corresponding self-adjoint operator and then to combine the tail estimate of Theorem 2.9 with local compactness on bounded intervals.
2.4. Self-Adjoint Operator Associated with and Positive Shifted Operator L
We now pass from the closed and lower-bounded form to its operator realization. This construction is purely form-theoretic. Namely, the operator is obtained from the representation theorem for closed forms, and at this point we do not identify the operator domain with a formal differential representation. After fixing the self-adjoint operator associated with , we introduce the positive shifted operator
This will be used as the basic spectral object in the remainder of the analytic section.
Theorem 2.10
(Self-adjoint operator associated with ). There exists a unique self-adjoint and lower-bounded operator
associated with the closed form of Theorem 2.6. More precisely, for and , the following are equivalent:
and
Furthermore,
Proof.
By Theorem 2.6, the form
is densely defined, closed, and lower bounded on . Density follows from
and from the fact that is dense in .
Therefore, the first representation theorem for closed and lower-bounded sesquilinear forms applies. It yields a unique self-adjoint lower-bounded operator
such that
For such a u, the representing vector h is unique, and we define it to be .
This gives the stated equivalence
Finally, by Theorem 2.6,
Hence the lower bound in the representation theorem is 0, and therefore
Equivalently,
This completes the proof. □
Definition 2.11
(Positive shifted operator). On the same domain
define the positive shifted operator
Since ,
holds.
Proposition 2.12
(Form domain of ).
and for any ,
Proof.
Define the shifted form on by
Since is densely defined and closed, so is . Moreover, since ,
and hence is strictly positive.
Next, we identify the operator associated with . Let and . By Theorem 2.10,
Therefore
Thus the operator associated with the positive closed form is precisely L.
We now apply the second representation theorem for positive closed forms. This gives
and
Substituting the definition of , we obtain
as claimed. □
Corollary 2.13
(Resolvent bound for ). For every ,
Proof.
Since , the spectral theorem gives
Therefore
so is invertible and
□
2.5. Compact Resolvent and Discrete Spectrum
Here we connect the local regularity of the transported differential operator with the tail tightness given by Theorem 2.9. This yields a compact embedding from the form domain into the ambient Hilbert space, and hence compact resolvent for both and its positive shift L. After that, the spectral theorem yields a purely discrete positive spectrum.
Proposition 2.14
(Local compactness on bounded intervals). Let . If is bounded with respect to the form norm defined by
then the restricted family
is relatively compact in .
Proof.
Fix , and assume that there exists such that
Take , and set
Since is unitary,
Hence
Next, since D is the closure of , and since
the transported closed operator is the closure of on . In particular, if , then belongs to , and
holds. Therefore
From (2.5.1) and (2.5.2), it follows that
is bounded in . By Rellich’s compactness theorem, this family is relatively compact in .
We now return to the weighted space. On the bounded interval , the weight is bounded above and below by positive constants:
Therefore , restricted to this interval, is a bounded isomorphism between and . Furthermore, the potential is also bounded on , so the form norm introduces no new local singularity. Hence relative compactness in is equivalent to relative compactness in .
Accordingly,
is relatively compact in . □
Theorem 2.15
(Compact embedding of the form domain). The embedding
is compact.
Proof.
Let be bounded in the form norm:
for some . We must show that has a subsequence convergent in .
Fix . Applying Theorem 2.9 to the family
we obtain some such that
Thus each has a uniformly small tail beyond .
On the bounded interval , Proposition 2.14 implies that the restricted sequence is relatively compact in . Therefore, after passing to a subsequence and denoting it again by , we may assume that
is Cauchy in . Hence there exists N such that, for all ,
For the full-space norm, we estimate
Using
together with (2.5.3) and (2.5.4), we obtain, for ,
Therefore the chosen subsequence is Cauchy in , and hence converges in .
It follows that every form-bounded sequence in has a convergent subsequence in . This is precisely the compactness of the embedding
□
Theorem 2.16
(Compact resolvent and discrete spectrum). For every , the resolvent
is compact. In particular,
is compact.
Therefore L has purely discrete positive spectrum. Namely, there exist a strictly increasing sequence
and finite-rank orthogonal projectors
such that
holds in the strong operator topology. Equivalently, by choosing an orthonormal basis in each eigenspace , one obtains an orthonormal basis consisting of eigenvectors of L. In particular, if the eigenvalues are repeated according to multiplicity, then there exist
and an orthonormal basis of satisfying
The corresponding eigenvalues of are
Proof.
Fix , and define the shifted form on by
Since is closed and nonnegative, is a densely defined positive closed form on .
Its norm
is equivalent to the form norm . Indeed,
Therefore Theorem 2.15 implies that the embedding
is also compact.
Now take . The functional
is continuous on . Indeed,
Thus, by the Riesz representation theorem, there exists a unique element
such that
By Theorem 2.10, (2.5.6) is precisely the weak-form characterization of the resolvent equation
Hence
The map
is a bounded operator from to , and the inclusion map
is compact. Therefore
is compact on . In particular, taking , we obtain that
is compact.
Next, apply the spectral theorem to the compact self-adjoint positive operator . Then there exist a sequence of positive numbers
and finite-rank orthogonal projectors such that
holds strongly. Setting
we have
Multiplying the eigenvalue equation for by L, we obtain
Thus the spectrum of L is purely discrete, the eigenspaces are finite-dimensional, and there is no finite accumulation point.
Finally, choose an orthonormal basis in each eigenspace and concatenate them. This gives an orthonormal basis consisting of eigenvectors of L. Repeating the distinct eigenvalues according to multiplicity, there exist a sequence
and an orthonormal basis such that
Since , the corresponding eigenvalues of are
This completes the proof. □
2.6. Weighted Resolvent and Herglotz Resolvent Construction
Here we record the scalar-valued meromorphic/Herglotz resolvent construction associated with the positive self-adjoint operator L. The datum is an arbitrarily fixed probe vector . The output is the scalar resolvent function
and its analytic behavior is directly controlled by the spectral theorem. This is the endpoint of the present analytic section.
Definition 2.17
(Resolvent probe and scalar Herglotz function). Fix a probe vector
For
define
Lemma 2.18
(Spectral expansion of the resolvent). Use and from Theorem 2.16. Then, for any and any ,
converges in . Furthermore, for any fixed ,
and this scalar series converges locally uniformly on compact subsets of .
Proof.
By Theorem 2.16,
strongly, and
holds. Therefore, for any ,
holds in , and on each spectral subspace ,
Hence
It remains to verify convergence in . Since ,
For partial sums with , we have
The vectors are mutually orthogonal, and moreover
Thus the right-hand side tends to 0 as . This proves norm convergence.
For the scalar function , taking the inner product with gives
Since is an orthogonal projector,
Therefore
Finally, let be compact, and set
Then, for any ,
But
so the Weierstrass M-test implies local uniform convergence on K. Thus the scalar expansion converges locally uniformly on compact subsets of . □
Theorem 2.19
(Herglotz positivity and pole law). For any fixed , the function
is holomorphic on . Furthermore, if
then
more precisely,
Finally, let be one of the discrete eigenvalues from Theorem 2.16. If
then
Equivalently, has a simple pole at , and its principal part is
If , then no singular term appears at .
Proof.
The map
is holomorphic as an -valued operator-valued map on the resolvent set . Therefore, taking the scalar product with the fixed vector , it follows that
is holomorphic on .
Next, take satisfying , and write
Since L is self-adjoint,
Using the resolvent identity, we obtain
and hence
Since ,
Therefore
and thus
Since , this implies
It remains to prove the pole law. Fix n, and choose such that
By Lemma 2.18,
If , then
and in particular the denominators remain uniformly away from 0. Hence the residual series
is holomorphic and bounded in a neighborhood of , by the same local uniform convergence argument used in Lemma 2.18. Therefore
If , this is a genuine simple pole with the displayed principal part. If , the singular term vanishes and only the bounded holomorphic residual term remains. □
Remark 2.20
(End of the analytic section). Section 2 ends here. At this point, we have constructed the operator-side analytic construction
together with the compact embedding of the form domain, compact resolvent, discrete spectrum, and the scalar-valued meromorphic/Herglotz resolvent function . In this section, we have used no arithmetic projector, no comparison theorem, and no conclusion statement for the Riemann hypothesis.
3. Coefficient-Space Arithmetic Construction
3.1. Formal Dirichlet Algebra and Coefficient-Extraction Conventions
In this subsection, we argue entirely on the coefficient layer. We use neither analytic continuation, nor a complex variable s, nor meromorphic functions. The sole purpose here is to fix the formal arithmetic algebra in which the coefficient-extraction statement will be formulated later.
Definition 3.1
(Formal Dirichlet algebra and augmentation ideal). Let
be the complex vector space of all arithmetic functions. Equip with Dirichlet convolution
Then is a commutative -algebra with unit
For and , write the coefficient-extraction operator at n as
Define the augmentation ideal by
Equivalently,
When necessary, one may write as a formal Dirichlet series
but here is merely a formal basis symbol indexed by n. At no point in §3.1–§3.2 do we substitute any value for s.
Lemma 3.2
(Coefficient and convolution laws). Let . Then, for any ,
More generally, for any integer ,
where denotes the k-fold Dirichlet convolution power of a.
If , then there exists a unique Dirichlet inverse
satisfying
Its coefficients are determined recursively by
and, for , by
In particular, the inverse is uniquely determined coefficientwise by the divisor recursion.
Proof.
The first identity is merely the definition of Dirichlet convolution rewritten in coefficient-extraction notation:
The k-fold formula is proved by induction on k. The case is immediate. Assume the identity holds for some . Then
By the induction hypothesis,
Substituting this into the preceding formula gives
Relabeling , this is exactly
and the induction is complete.
Next, we prove the existence and uniqueness of the Dirichlet inverse. Suppose that
satisfies
Looking at the coefficient , we obtain
and hence necessarily
For , the identity gives
Therefore
If , then , so the right-hand side depends only on coefficients with that have already been determined. Thus this recursion admits at most one inverse.
Conversely, define b recursively by
Tracing the same calculation in reverse yields
Thus
Since Dirichlet convolution is commutative,
also holds. Hence exists and is unique. □
Proposition 3.3
(Formal logarithm and exponential on the augmentation ideal). For , define formally
using the convention
Then the following hold:
- 1.
- Both series are coefficientwise well-defined;
- 2.
- 3.
- The two maps are inverse to each other:
Proof.
Let denote the total number of prime factors of n, counted with multiplicity.
First, we prove coefficientwise well-definedness. Take , and fix . By Lemma 3.2,
Since , we have . Therefore, if a nonzero term appears, it must satisfy
But an ordered factorization
can exist only when
Hence
Thus the formal series for the coefficient n of reduces to the finite sum
For , all terms vanish because for . Therefore is coefficientwise well-defined and belongs to .
The same argument applies to . For ,
so
is a finite sum. For , since for , only the term contributes. Thus
and hence
This proves (1) and (2).
It remains to prove the inverse-map identities. Fix , and set
Consider the finite-dimensional convolution algebra
with convolution restricted to the divisors of n:
Furthermore, set
By the factorization-count estimate already proved, every satisfies
Indeed, for any divisor , there is no factorization of m into more than integers all . Thus is a nilpotent ideal.
Consequently, in the finite-dimensional commutative algebra , the formal series
truncate to genuine finite polynomials on , and the usual formal identities hold exactly:
Apply this to the restrictions of a or b to . Since the coefficient n depends only on values on the divisors of n,
Since was arbitrary, the coefficients agree for all n, and therefore
Hence and are inverse to each other. □
Remark 3.4
(Formal–analytic separation discipline). In §3.1–§3.2, we use neither , nor , nor , nor the Euler product, nor analytic continuation, nor any discussion of poles or zeros on the complex plane. The reader may understand that also in the subsequent part of Section 3, the argument is carried out entirely on the coefficient layer of the formal Dirichlet algebra.
3.2. Prime Indicator and von Mangoldt Function
Here we fix the basic arithmetic data that will later be datum into the purely coefficient-level extraction theorem. At this stage, they are simply arithmetic functions on . One is supported on the prime support, and the other is supported on the prime-power support.
Definition 3.5
(Prime indicator and von Mangoldt function). Define the prime indicator
by
and define the von Mangoldt function
by
Thus can be nonzero only on primes, whereas can be nonzero only on prime powers.
Theorem 3.6
(Divisor-sum law for the von Mangoldt function). For every integer ,
holds. Equivalently, if
and
then
Therefore, if
is the Dirichlet inverse of , then
Proof.
First consider . Since 1 is not a prime power,
and hence
Next let , and write its prime factorization as
Here are distinct primes and . A divisor contributes to
if and only if d is a prime power dividing n. Such divisors are precisely
Therefore
On the other hand,
so
This proves the divisor-sum law for all .
The convolution formulation follows immediately:
Thus
Finally, since , Lemma 3.2 gives a unique Dirichlet inverse
Convolving both sides of
from the left by , and using associativity together with
we obtain
Hence
□
Proposition 3.7
(Support and positivity properties). For an arithmetic function , set
Then
and
Furthermore,
and moreover
Accordingly, the prime support of and the prime-power support of are distinct and must be distinguished in the later coefficient-level argument.
Proof.
By Definition 3.5,
holds if and only if n is prime, and it is 0 otherwise. Therefore
Similarly, by Definition 3.5,
holds if and only if for some prime p and integer , and it is 0 otherwise. Therefore
If n is not a prime power, then
On the other hand, if is a prime power, then
Every prime satisfies , so
Thus
and strict inequality holds exactly in the prime-power case. This proves all the asserted support and positivity properties. □
Corollary 3.8
(Coefficient-level recovery of the logarithm function). Define the arithmetic function
and define
Then
Equivalently, for every ,
Proof.
For any , Lemma 3.2 gives
Replacing by the divisor variable , we get
By Theorem 3.6,
Therefore
Since the coefficients agree for all n, it follows that, as arithmetic functions,
□
3.3. Completed Augmentation Ideal and Dirichlet-Logarithmic Linearization
We now pass from the augmentation ideal to its coefficientwise completed setting. The point remains purely formal, and no analytic layer is introduced. We extend and from §Section 3.1 to the completed coefficientwise topology, and use them to linearize the prime-local convolution factors. This converts the multiplicative overlap arising from the factorization of composite numbers into a linear sum of prime-power expansions.
Definition 3.9
(Completed augmentation ideal and coefficientwise topology). For , define the Dirichlet basis atom by
Thus , and any arithmetic function can be written formally as
Define the coefficientwise formal completion by
Equivalently,
Viewed as coefficient sets, and contain the same data. The hat notation indicates that, from this point onward, these are interpreted as formal infinite sums equipped with the coefficientwise product topology. Namely, a sequence converges to a if
Equivalently, the coordinate maps
are continuous, and they define the product topology.
The completed unit neighborhood is
Dirichlet convolution on extends coefficientwise to . Namely, for , define
This is well-defined because the divisor set of n is finite.
Definition 3.10
(Completed exponential map). Define
by the same coefficientwise formula as in Proposition 3.3:
where
Thus E is not a new exponential symbol, but the same formal exponential map interpreted in the completed coefficientwise setting.
Theorem 3.11
(Invertibility of the completed exponential map). The map
is bijective. Its inverse is the coefficientwise extension of the formal logarithm from §Section 3.1; that is,
where
Equivalently,
and
hold.
Proof.
First, we verify that the displayed series are coefficientwise well-defined on the completed space.
Take , and fix . By Lemma 3.2,
Since , we have . Therefore, if a nonzero term appears, it must satisfy
Thus an ordered factorization contributing to can exist only when
where is the total number of prime factors of n, counted with multiplicity. Hence
Therefore, for the fixed coefficient n,
is a finite sum. Thus is coefficientwise well-defined.
The same argument applies to . If , then
so
is also a finite sum. Therefore is coefficientwise well-defined.
Next, we prove the inverse-map identities coefficientwise. Fix , and consider the finite divisor algebra
with the restricted Dirichlet convolution
Furthermore, set
As in the proof of Proposition 3.3, the ideal is nilpotent. Indeed, if , then
Therefore, in the finite-dimensional commutative algebra , the formal series and truncate to genuine finite polynomials, and the usual identities
hold exactly.
Now let and . Restrict them to . Since the coefficient depends only on values on the divisors of n, the finite-dimensional identities above imply
and
Since was arbitrary, the coefficients agree for all n. Therefore
and
Hence is bijective, and its inverse is precisely . □
Definition 3.12
(Dirichlet-logarithmic linearization operator). Define the Dirichlet-logarithmic linearization operator by
Its role is to remove the multiplicities of composite numbers built into multiplicative Dirichlet convolution through the logarithmic linearization of prime-local convolution factors.
Theorem 3.13
(Coefficientwise Euler-factor decomposition and log-linearization). Let
and for each prime p, define the local geometric factor
Then the following hold.
- 1.
-
The coefficientwise Euler-factor decompositionholds. Here the infinite convolution product is interpreted coefficientwise. Namely, for fixed n, the coefficient is the stable value of the finite product over any prime set containing all prime factors of n.
- 2.
-
again with all equalities understood coefficientwise.
Proof.
We divide the proof into three steps.
Step 1: Coefficientwise Euler-factor decomposition. For a finite set S of primes, define
Fix , and write its prime factorization as
Here are distinct primes and . The claim is
Indeed, each factor contributes only powers of p:
Therefore, a nonzero contribution to the coefficient of n in the finite convolution product occurs only when, for each prime dividing n, one selects exactly one atom from the factor , and for every other prime , one selects . By uniqueness of prime factorization, if all prime factors of n belong to S, there is exactly one such choice, and otherwise there is none. This proves (3.3.1).
Now set
If , then (3.3.1) gives
Therefore the coefficient stabilizes to 1 once S contains all prime factors of n. This is precisely the coefficientwise meaning of
Step 2: Local log-linearization of each Euler factor. Fix a prime p. Since
we have
But
so the right-hand side telescopes as desired:
Thus
Next we compute . Since , the finite-dimensional divisor-algebra argument used in the proof of Theorem 3.11 gives
Hence
Using the defining series for , we obtain
and therefore
Step 3: Global log-linearization of . Fix , and let be the finite set of all prime factors of n. By Step 1,
Restrict everything to the finite divisor algebra . In this finite-dimensional commutative algebra, logarithm and exponential are genuine finite polynomials on the nilpotent augmentation ideal. Therefore the usual commutative identity
holds. Taking the coefficient n, we get
If , then each term of is supported only on powers of p, so
Hence the sum can be extended to all primes:
Using (3.3.2), this becomes
Since this holds for every , the coefficientwise identity
follows. This completes the proof. □
Thus has already removed the multiplicative overlap carried by the Euler-type convolution product. After linearization, only prime-power atoms remain. The remaining task is purely arithmetic and coefficientwise: to act on this linearized output by the arithmetic derivation and recover the logarithm function .
3.4. Arithmetic Derivation and Formal Coefficient Extraction
Here we give logarithmic weights to the prime-power atoms generated by . Since the log-linearization of Theorem 3.13 has already separated the prime-power support, the arithmetic derivation recovers the von Mangoldt function without leaving the purely formal arithmetic layer.
Definition 3.14
(Arithmetic derivation). Define the arithmetic derivation
by
Equivalently,
Lemma 3.15
(Derivation law for Dirichlet convolution). For all ,
holds.
Proof.
Fix . By the definitions of and Dirichlet convolution,
Using
we obtain
The first sum is exactly
and the second sum is exactly
Therefore
Since the coefficients agree for all n, as arithmetic functions we have
□
Theorem 3.16
(Formal coefficient-extraction theorem).
Equivalently, for every ,
Proof.
By Theorem 3.13,
Applying coefficientwise gives
Fix , and compute the coefficient in three cases.
If , then 1 is not of the form with , so
By Definition 3.5,
If is a prime power with , then the only contributing term is the one corresponding to the pair . Therefore
Again by Definition 3.5,
If n is not a prime power, then no basis atom appearing in the above sum is supported at n. Therefore
By Definition 3.5,
Thus, in all cases,
Since this holds for every , we obtain
□
Corollary 3.17
(Prime-power output under Dirichlet-logarithmic linearization).
Equivalently, every integer that is not a prime power carries zero output:
Accordingly, the Dirichlet-logarithmic linearization means that the general composite-number overlap appearing in the multiplicative convolution product is converted into a prime-power-supported coefficient sum, and the surviving output is supported only on prime powers.
Proof.
By Theorem 3.16,
Therefore
By Proposition 3.7,
Hence
The coefficientwise restatement follows immediately. □
Remark 3.18
(End of the purely formal extraction layer). The purely formal extraction layer ends here. At this point, we have not yet introduced , , any diagonal arithmetic trace formula, any analytic resolvent construction, or any comparison interface. The objects obtained from §3.3–§3.4 are exactly
and nothing else. These are precisely the only arithmetic data needed for the next construction step.
3.5. Coefficient Hilbert Space and Weighted Diagonal Arithmetic Trace
The purely arithmetic extraction layer of §3.1–§3.4 is now complete. Accordingly, we now pass to the Hilbertized coefficient layer. Using the Dirichlet basis atoms as an orthonormal basis, we define the coefficient Hilbert space, its rank-one coordinate projection family , and the weighted diagonal arithmetic trace operator . No analytic Hilbert space, resolvent construction, or comparison interface enters here.
Definition 3.19
(Coefficient Hilbert space and coordinate projections). Using the Dirichlet basis atoms from Definition 3.9, define the coefficient Hilbert space by
Its inner product is given by
For
write the n-th coefficient with respect to the basis as
For each , define the coordinate projection
by
Thus is the rank-one orthogonal projection onto the n-th coefficient line inside the coefficient Hilbert space.
Lemma 3.20
(Coordinate-projection laws on the coefficient Hilbert space). The family satisfies
and
Furthermore, for every ,
converges in . Equivalently,
holds on in the strong operator topology.
Proof.
By the definition of , is the standard orthonormal basis of the -type coefficient space. In particular,
Let
Then
Applying once more gives
Since this holds for all u,
Next let
be elements of . Then
On the other hand,
Therefore
and hence
Now let . For any ,
Therefore
It remains to prove the strong decomposition of the identity. For , define the partial-sum operator
Then, for
we have
Therefore
and since is orthonormal,
Because , the series
converges, and hence its tail converges to 0. Thus
Accordingly,
holds in , equivalently
strongly. This proves that
holds in the strong operator topology. □
Remark 3.21
(Coefficient Hilbert space versus analytic Hilbert space). The family is defined, on its natural coefficient Hilbert space . It is a coordinate projection family on the Dirichlet-basis Hilbert space, not a projection family on the analytic Hilbert space of Section 2.
Definition 3.22
(Weighted diagonal arithmetic trace operator). Let
be a finitely supported weight. Define the weighted diagonal arithmetic trace operator by
This is a finite-rank diagonal operator on . Equivalently, for
we have
In the theorem below, this definition is extended from finitely supported weights to all by trace-norm completion.
Theorem 3.23
(Weighted diagonal arithmetic trace formula). The following hold.
(1)Let . For , define the finite-rank partial sum
Then is Cauchy with respect to the trace norm , and hence converges to a trace-class operator on . Write its limit as
Furthermore,
holds.
(2)Let be finitely supported, and understand pointwise products coefficientwise:
Then
Equivalently, using Theorem 3.16,
Proof.
We prove the two parts in order.
Step 1: Finite-rank partial sums and their traces. Fix . Since is a finite sum of rank-one operators, it has finite rank. On the basis ,
Thus is diagonal with respect to the arithmetic basis, and its diagonal entries are . Hence
Step 2: Trace-norm Cauchy property for . Let . Then
On basis vectors,
Therefore is a finite-rank diagonal operator, and its singular values are exactly
Equivalently,
Thus
Since , the right-hand side tends to 0 as . Hence is Cauchy in . The trace-class space is complete, so there exists a unique trace-class limit, which we write as
Furthermore, the trace is continuous with respect to the trace norm, and therefore
Using (3.5.1), we obtain
because the series is absolutely convergent. This proves (1).
Step 3: Specialization to the prime-power weighted trace. Now let be finitely supported. Then the pointwise product is also finitely supported, and hence belongs to . Applying (1) to
we get
By Definition 3.5,
when n is not a prime power, and
Therefore the sum in (3.5.3) reduces to
This proves
Finally, Theorem 3.16 states that
Multiplying both sides pointwise by , we obtain
Therefore, applying and then taking the trace gives
This proves (2). □
Corollary 3.24
(Prime-power trace specialization). Let be finitely supported. Then
Therefore
In particular, the weighted diagonal arithmetic trace here sees only the prime-power support and is not specialized to the prime support of .
Proof.
For any arithmetic functions ,
holds. Indeed, can be nonzero only where both factors are nonzero. Applying this to
we obtain
By Proposition 3.7,
Therefore
The trace identity follows immediately from Theorem 3.23:
The final sentence merely states the difference of supports already established in Definition 3.5 and Proposition 3.7. Namely, is supported on primes, whereas is supported on prime powers. □
3.6. Summary and Transition to Singular Boundary Data
Remark 3.25
(Summary of the arithmetic section). The coefficient-space arithmetic construction ends here. The arithmetic data constructed in this section are
At this point, the coefficient-extraction layer, coefficient Hilbert space, coordinate projection family, and weighted diagonal arithmetic trace operator have all been fixed on their natural defining space. These arithmetic data are combined with the singular-boundary data only in the orthogonal-decomposition framework of Section 5. Section 4 does not use these arithmetic objects; it independently constructs the singular-boundary datum inside the analytic Hilbert-space setup of Section 2.
4. Operator-Theoretic Construction of Singular Boundary Data
4.0. Purpose and Logical Role of This Section
The purpose of this section is to construct, inside the analytic Hilbert-space setup of Section 2, the operator-theoretic boundary data used in the subsequent orthogonal-decomposition framework, rather than to add them as an external assumption. Specifically, in this section we construct the singular boundary data consisting of
and then successively define the associated trace-vanishing generating subspace, singular-boundary closed-form subspace, singular-boundary Hilbert space, orthogonal projection onto , transport generator, and distribution kernel.
For the purposes of the later comparison, this section records the centered boundary seam and the universal finite-part coordinate mechanism that will be used after the internal construction has been completed. The reflection identifies the two centered boundary sides of a finite-window contour. The regular part of this reflected boundary contribution is absorbed into the common reference term, whereas the finite part left after removal of the common Archimedean/reference contribution and the arithmetic prime-power contribution is represented as a singular boundary distribution.
The construction below is therefore used in two layers. First, Section 4.1–4.9 build a universal zero-area carrier and the associated Hilbert-space boundary data internally. Second, Section 4.10 fixes the natural realization of the construction-internal centered finite-part coordinate ledger on that carrier. In particular, the smooth seam carrier introduced below is not a zeta-zero measure and does not encode prime weights. It is a standard -null support, smoothly coded from the centered boundary seam, on which finite-window boundary distributions can be realized without being annihilated by the regular area measure.
This section is not a section that develops a zero-counting theory for closing the Riemann hypothesis. Nor is it a section that proves the orthogonality of the arithmetic construction and the boundary-data construction. Its role is exhausted by preparing, without type conflation and in an analytically closed form, the singular-boundary objects needed when constructing the orthogonal-decomposition framework in the next section.
Definition 4.1
(Operator-theoretic boundary data constructed in this section). Write the basic data constructed in this section as
Here each object is constructed with the following meaning.
- 1.
- is the boundary parameter space used to parametrize the singular boundary structure.
- 2.
- is a regular area-type measure on .
- 3.
- is the -null singular support, constructed as a closed set satisfying
- 4.
- is a linear subspace inside the form domain on which the singular/regular boundary trace is defined.
- 5.
- is the map that assigns to an element of the support of its singular boundary trace.
- 6.
- is a nonnegative functional measuring the regular boundary trace mass over E, for and a measurable set .
Remark 4.2
(Separation of -null property and nontriviality). The condition means that is null with respect to the regular area measure. Therefore, if the boundary trace on were treated merely as an ordinary function in , that component would become trivial. To avoid this conflation, this section distinguishes the regular area measure from the singular measure supported on . Namely, the -null property is described on the -side, whereas the nontriviality of the boundary trace is retained on the side of the singular trace or distributional boundary distribution introduced later.
Definition 4.3
(Analytic output of this section). Write the final analytic output of this section as
Here,
is the generating class satisfying the -null support and regular-trace vanishing conditions,
is its form-norm closure,
is the corresponding singular-boundary Hilbert space,
is the closed singular-boundary subspace on the one-sided analytic Hilbert space, and
is the one-sided orthogonal projection from onto that closed subspace. Moreover,
is the strongly continuous transport group on the singular-boundary subspace,
is its anti-self-adjoint generator,
is the associated transport kernel, formulated as a distribution kernel, and
denotes the positive shifted operator obtained from the closed quadratic form.
Convention 4.4
(Objects not used in this section). In this section, we do not use the following objects or propositions.
- 1.
- The arithmetic projector family .
- 2.
- The weighted diagonal arithmetic trace.
- 3.
- The von Mangoldt function in the formal Dirichlet algebra.
- 4.
- The zero-counting function.
- 5.
- The finite-window comparison theorem.
- 6.
- The cumulative defect sequence.
- 7.
- The exclusion of minimal-index obstruction.
- 8.
- Quoted finite-height verification for the low-height band.
Accordingly, the construction in this section depends neither on the arithmetic construction of Section 3 nor on the subsequent final deduction chain.
Remark 4.5
(Logical position of this section). Section 2 constructed the weighted Hilbert space, the closed quadratic form, the self-adjoint realization, compact resolvent, and the Herglotz-type resolvent function. This section does not reconstruct them. The role of this section is to cut out, on the analytic Hilbert-space setup of Section 2, the singular-boundary subspace satisfying the -null support condition and regular-trace vanishing condition, and to construct the projector and transport structure associated with that subspace.
Definition 4.6
(Transition principle). The output of this section is the only singular-boundary datum for the orthogonal-decomposition framework in the next section. Namely, in the next section, after fixing
we place the analytic singular-boundary subspace and the arithmetic subspace on a common ambient Hilbert space. The arguments from the next section onward refer only to the data constructed internally in this section as the singular-boundary datum, and introduce no additional boundary-data assumption outside this section. This transfer rule is called the transition principle in this paper. In particular, the subsequent comparison argument does not require the unregularized generator kernel to exist on the full test space . Whenever a distribution-level generator kernel is needed without an additional domain assumption, the regularized kernels are used; the limit is taken only on the generator-admissible core or inside already justified pairings.
Proposition 4.7
(Transition from this section to the next section). Once each construction in this section is complete, the next section may use the following objects as already constructed:
In particular, the one-sided projector used as singular-boundary datum in the next section is not arbitrarily assumed; it is the orthogonal projection from onto the closed singular-boundary subspace constructed in this section. The ambient projector is defined only after this datum is embedded into the ambient Hilbert space in Section 5.
Proof.
In the first half of this section, we construct the boundary parameter space, regular area measure, -null singular support, singular boundary trace, support map, and regular boundary trace-mass functional. This fixes
Next, from these data, we define the trace-vanishing generating subspace associated with , denoted by , and obtain
as its closure with respect to the form norm of the closed quadratic form constructed in Section 2. As its -closure, we construct
and obtain the corresponding self-adjoint operator by the representation theorem for closed forms.
Furthermore, we construct the strongly continuous transport group on the singular-boundary subspace and its anti-self-adjoint generator, and formulate the associated transport kernel as a distribution kernel. Finally, we obtain the closed one-sided singular-boundary subspace
Since the orthogonal projection onto a closed subspace exists uniquely by the projection theorem in Hilbert spaces, the one-sided projector
is fixed. The lift of these objects to the ambient Hilbert space is carried out in Section 5.
Accordingly, all the above objects are constructed inside this section, and the next section can receive as already constructed data. □
4.1. Basic Spaces, Gelfand Triple, and Type Separation
In this subsection, we fix the object level for constructing -null singular boundary data. In the subsequent argument, we handle point evaluations, boundary traces, singular measures, distribution kernels, quadratic forms, and operators simultaneously. If all of these are treated as elements of the same Hilbert space, then one obtains the unboundedness of point evaluations, a conflation of distribution kernels and bounded operators, and a conflation of quadratic forms and generators. Accordingly, in this subsection, we place at the center the one-sided analytic Hilbert space of Section 2,
and introduce a Gelfand triple by placing a test space and a distribution space around it. The standard background on rigged Hilbert spaces, nuclear spaces, and the distribution kernel theorem follows [1,2].
Definition 4.8
(Boundary test space). Let . Define the boundary test space by
where
Equip with the Fréchet topology determined by the seminorm family
Lemma 4.9
(Continuous dense embedding of the test space into the Hilbert space). The natural inclusion map
is continuous, and its image is dense in .
Proof.
We first prove continuity. For any , fix one . Then
Therefore
Since , the integral on the right-hand side is finite. Thus
so the inclusion map is continuous.
Next, we prove density. We have , and is dense in the weighted space . Indeed, for any , first approximate f in the -norm by
and then use standard smoothing and cutoff on the finite interval to approximate to arbitrary precision by elements of . Therefore the image of is dense in . □
Definition 4.10
(Anti-dual and Gelfand triple). Let be the space of all continuous antilinear functionals on , that is, the anti-dual. Write the duality pairing as
The Hilbert space is embedded anti-linearly continuously into by
where
Then
is called the Gelfand triple on the singular-boundary side in this section.
Lemma 4.11
(Continuity of the Gelfand triple). The embeddings
are all continuous, and is dense in .
Proof.
The continuity and density of the first embedding were proved in Lemma 4.9.
Next we prove the continuity of . For any and , the Cauchy–Schwarz inequality gives
By Lemma 4.9,
and therefore
Thus is a continuous antilinear functional on , and the map is continuous. □
Proposition 4.12
(Point evaluation is a distribution and not a bounded functional on the Hilbert space). For any ,
is an element of . On the other hand, is not in general defined as a bounded functional on . Accordingly, point evaluations and boundary point evaluations are treated not as elements of , but as elements of .
Proof.
We first prove . For any ,
Therefore is a continuous linear functional on , and is regarded as an element of according to the complex-conjugation convention.
Next, we show that is not a bounded functional on . For , take with , and for sufficiently large n, set
Then , and
On the other hand, the support is contained in an interval of length near a, and is bounded above and below on that interval, so
Therefore .
If were a bounded functional on , there would exist a constant such that
for all n. But the right-hand side converges to 0, a contradiction.
The case is similar. Take with , and set
Then
Therefore boundary point evaluation is also not a bounded functional on .
This proves that point evaluation is meaningful as an element of , but cannot be treated as a bounded functional on . □
Definition 4.13
(Distribution kernel). When the distribution kernel associated with is treated as a distribution kernel, its primary type is defined to be
Here denotes the completed projective tensor product. Namely, K is a continuous bilinear functional assigning
to a simple tensor
Since is a nuclear space, as will be verified later, this space may be identified, when necessary, with
However, this identification is a type identification through nuclearity, and does not automatically make a distribution kernel into a bounded operator on .
Lemma 4.14
(Scope of the kernel theorem). is a nuclear Fréchet space. Therefore, for any continuous bilinear form
there exists a unique distribution kernel
such that
Moreover, by nuclearity, when necessary one may identify
Likewise, any continuous linear map
is represented by a distribution kernel.
Proof.
is a Schwartz-type space on the half-line and is a nuclear Fréchet space obtained as a restriction space of the Schwartz space on the real line. Nuclearity is preserved under closed subspaces and quotient spaces, and hence is also nuclear.
By the Schwartz kernel theorem for nuclear Fréchet spaces, continuous bilinear forms on correspond uniquely to continuous linear functionals on . Therefore
exists and satisfies
Furthermore, since is nuclear, the standard kernel identification on the strong-dual side allows this kernel to be expressed as an element of . However, this last representation is a type representation of the distribution kernel, and by itself does not give an -bounded operator.
For a continuous map , define
This is a continuous bilinear form on . Accordingly, by the same kernel theorem, T is also represented by a distribution kernel. □
Remark 4.15
(Distinction between distribution kernels and bounded operators). A distribution kernel
does not, by itself, define a bounded operator on . For a distribution kernel to define a bounded operator, one must separately prove -boundedness such as
or its domain and closedness as a closed operator. Accordingly, in this paper we distinguish the distribution kernel K from the operator obtained as its realization.
Definition 4.16
(Object level of quadratic forms). When this section refers to a quadratic form, it means not an element of a Hilbert space or a distribution kernel, but the pair
Here is a dense linear subspace, and
is a sesquilinear form.
In particular, when referring to the closed quadratic form constructed in Section 2, we write its form domain as and the form itself as
At this level, is not an operator. Only after closedness, semiboundedness, and the representation theorem are established does one obtain the corresponding self-adjoint operator.
Definition 4.17
(Object level of generators). When this section refers to a generator, it means a closed operator on a Hilbert space or on the subsequent ambient Hilbert-space setting,
A generator must be specified together with its domain, closedness, symmetry or anti-self-adjointness, and the strongly continuous semigroup or group that it generates. Therefore, a form q, a distribution kernel K, or a boundary form b must not be identified with a generator without proof.
Definition 4.18
(Object level of boundary forms). A boundary bilinear form is treated as a sesquilinear form on a space where the boundary trace is defined. Namely, when a linear space T and a boundary trace map are given, the boundary form is defined in the form
or
A boundary form is an object of a different type from the interior energy form q, and is not itself an operator on .
Definition 4.19
(Type-separation convention for object levels). From this section onward, we distinguish the following types. Objects of different types are not identified until they are related through an explicitly stated realization map, closure operation, or representation theorem.
| Symbol | Type | Ambient space/object | Allowed basic operations |
| cycle | geometric or measure-theoretic cycle | support, pushforward, pullback | |
| or, after ambient embedding, | bounded projection | , with the underlying Hilbert space specified | action, composition, adjoint, orthogonal projection |
| kernel | duality pairing with test functions | ||
| quadratic form | form norm, closure, representation theorem | ||
| generator | closed operator, resolvent, semigroup/group generation | ||
| boundary form | boundary trace evaluation, boundary cancellation |
Convention 4.20
(Prohibition of notational conflation). This paper prohibits the following.
- 1.
- Identifying the geometric cycle directly with a Hilbert-space projector such as or .
- 2.
- Treating the distribution kernel as an operator on without a proof of boundedness or closed-operator status.
- 3.
- Identifying the quadratic form with the self-adjoint operator without passing through the representation theorem.
- 4.
- Identifying the boundary form with the interior energy form or the transport generator .
- 5.
- Treating point evaluation or a boundary trace as a bounded functional on .
Whenever such an identification is needed, the corresponding realization map, boundedness, closedness, or representation theorem is explicitly stated and proved.
Proposition 4.21
(Basic consequences of this subsection). This subsection has fixed the following three foundational points.
- 1.
- Distributional objects on the singular-boundary side are handled inside the Gelfand triple
- 2.
- Point evaluations and boundary point evaluations are not bounded functionals on , but are treated as elements of .
- 3.
- Distribution kernels, quadratic forms, generators, boundary forms, and projectors are objects of different types and are not identified until an explicitly stated construction has been carried out.
Proof.
The first item follows from Definition 4.10 and Lemma 4.11. The second item follows from Proposition 4.12. The third item follows from Definition 4.19 and Convention 4.20. □
4.2. Boundary Parameter Space and -Null Singular Support
In this subsection, we internally construct the measure-theoretic parameter space describing the boundary parameter structure. There are two points needed here. First, we construct a space
equipped with a regular area-type measure for measuring boundary contributions. Second, we introduce a smooth zero-area seam carrier and a singular carrier measure that retains nontrivial boundary traces despite being null with respect to this regular area measure.
This two-layer structure is indispensable. Indeed, if a boundary trace is supported on a set satisfying
as an ordinary -function, then that trace is zero -almost everywhere. Therefore, the -null property is measured on the -side, whereas the nontrivial boundary trace is retained on the side of a measure singular with respect to , or of a distributional boundary distribution.
Definition 4.22
(Boundary parameter space and regular area measure). Let the closed unit square
be the boundary parameter space for the singular support construction. Standard facts concerning Radon measures, Borel regularity, and measure decomposition are used within the scope of [3]. Write its Borel -algebra as
Define the regular area measure on by
Here denotes two-dimensional Lebesgue measure on . Thus
Lemma 4.23
(Basic properties of the regular area space). is a finite regular Borel measure space on a compact metric space. Furthermore, is nonatomic.
Proof.
is a compact metric space with respect to the Euclidean metric. is its Borel -algebra, and is the restriction of Lebesgue measure to a compact set, hence is a finite regular Borel measure.
For any point ,
Therefore has no atoms. □
Definition 4.24
(Standard zero-area seam carrier for the centered Mellin boundary class). Define the -null singular seam by
This seam is the standard zero-area carrier on which the centered Mellin boundary finite-part class is realized. It is not a zeta-zero measure and it does not itself carry prime or zero weights. When the finite-part boundary coordinate origin is fixed in Section 4.10, the actual finite-window weights are carried by the realized boundary distributions
not by the carrier itself.
Lemma 4.25
(-null property). is a closed subset of and satisfies
Proof.
The set is closed in the compact square . Moreover,
because it is a one-dimensional Lipschitz submanifold of the plane. Equivalently, Fubini’s theorem gives
Thus is a closed -null set. □
Definition 4.26
(Carrier measure supported on the standard zero-area seam). Let denote one-dimensional Lebesgue measure restricted to . Define the singular carrier measure supported on by
Thus, for every continuous test function ,
The measure is a carrier measure for keeping nonzero traces on a -null seam. It is not a zero measure and not a finite-window divisor measure. Finite-window boundary weights are represented only through boundary distributions realized by the independently constructed map in Definition 4.162.
Lemma 4.27
(Support and singularity of the singular measure). is a finite regular Borel measure on , and satisfies
Furthermore,
Proof.
The measure is a finite regular Borel measure on , and is the Dirac measure on . Therefore
is a finite regular Borel probability measure on , and
The support of the product measure is
By Lemma 4.25, , whereas
Thus is a -null set and a full-measure set for , which is exactly
□
Definition 4.28
(Regular boundary channel and singular boundary channel). Let be the space of all finite complex Radon measures on . For any , write its Lebesgue decomposition as
We call the regular boundary channel and the singular boundary channel.
In particular, is a purely singular boundary channel, and its regular component is zero.
Definition 4.29
(Initial singular boundary trace). By Proposition 4.12, the boundary point evaluation
is an element of . Using this, define the initial singular boundary trace
by
Equivalently, for any ,
Lemma 4.30
(Continuity of the singular boundary trace). The map
is a continuous linear map from the Fréchet topology of to the total variation norm topology of . Furthermore,
holds for every .
Proof.
For any ,
On the other hand,
Therefore
and hence is continuous.
For the support, we have
and by Lemma 4.27,
Therefore, when , the support is , and when , the measure is the zero measure. In either case,
holds. □
Proposition 4.31
(The singular boundary trace is not a Hilbert boundary function). In general, cannot be represented as a function in . More precisely, if , then the measure is not absolutely continuous with respect to . Therefore there exists no satisfying
In particular, it also cannot be represented by a .
Proof.
Assume . Then
By Lemma 4.27,
and therefore is also singular with respect to .
If there existed some such that
then the left-hand side would be singular with respect to , whereas the right-hand side would be absolutely continuous with respect to . By uniqueness of the Lebesgue decomposition, for the two measures to coincide, both would have to be the zero measure. However,
which is a contradiction. Therefore no such g exists. □
Lemma 4.32
(Ordinary -traces on a -null set are trivial). If satisfies
then
Proof.
By assumption,
On the other hand, by Lemma 4.25,
Therefore the values of g on are ignored as an element of . Hence
Thus -almost everywhere. □
Definition 4.33
(Convention on -null singular support and singular retention). From now on, when we refer to a boundary trace supported on , this does not mean support as an ordinary function in
A boundary trace on is retained as one of the following singular or distributional objects:
On the other hand, is used only to measure regular boundary trace mass.
Theorem 4.34
(Internal construction of the standard zero-area boundary carrier). By the construction above,
is fixed as boundary carrier data satisfying the following properties.
- 1.
- is a compact metric space.
- 2.
- is a finite regular Borel area measure on .
- 3.
- is a closed smooth seam and satisfies
- 4.
-
The nonzero singular probability carrier measureis supported on , andholds.
- 5.
-
The initial singular boundary traceis continuous, and its values are always supported on .
- 6.
- The quadruple is a standard smooth zero-area seam carrier for realized centered Mellin boundary finite parts: it keeps distributional trace data supported on a -null seam while separating those data from the regular area measure.
Proof.
Items 1 and 2 follow from Definition 4.22 and Lemma 4.23. Item 3 follows from Definition 4.24 and Lemma 4.25. Item 4 follows from Definition 4.26 and Lemma 4.27. Item 5 follows from Definition 4.29 and the continuity statement in Lemma 4.30. Item 6 is the categorical meaning of the preceding items: the regular measure kills , while and retain nonzero distributional boundary data on . The finite-window boundary weights are not placed in ; they are represented later by the realized boundary-coordinate distributions of Definition 4.162. □
Lemma 4.35
(Separation of -null property and nontriviality). is null with respect to the regular area measure . However, the singular measure on is retained nontrivially as a singular measure or distribution. More precisely, the following hold.
- 1.
- 2.
- The only element of essentially supported on is the zero element.
- 3.
-
and is a nonzero singular measure.
- 4.
- If satisfies , thenis nonzero and its support is .
Therefore the -null property is a property on the -side, whereas the nontriviality of the boundary trace is retained as a property on the - or -side.
Proof.
Item 1 was proved in Lemma 4.25. Item 2 is Lemma 4.32. Item 3 follows from Lemma 4.27. For Item 4, if , then
and its total variation norm is
Therefore it is nonzero. Moreover, by Lemma 4.30, its support is contained in , and when , it has the same support as . Hence
Thus, although is null with respect to the area measure, it retains a nontrivial boundary trace on the side of singular measures and distributional boundary traces. □
Proposition 4.36
(Output of this subsection). This subsection has constructed the following objects:
Here
hold. Moreover, is a singular boundary trace defined on . In the subsequent subsections, we extend it to a singular boundary trace on the form domain and construct the support map and regular boundary trace-mass functional.
Proof.
The construction of each object follows respectively from Definition 4.22, Definition 4.24, Definition 4.26, and Definition 4.29. The displayed properties were proved in Lemma 4.25, Lemma 4.27, and Lemma 4.35. □
4.3. Traces, Support Maps, and Regular Trace-Mass Functionals
In this subsection, using the boundary triple data
and the singular measure constructed in the preceding subsection, we construct the boundary traces, support map, and regular boundary trace-mass functional on the form domain. Let denote the form domain constructed in Section 2, and write the corresponding form norm as
When necessary, if is lower bounded, this norm is interpreted after replacing it by an equivalent positive norm.
There are two types of boundary traces introduced in this subsection. One is the singular boundary trace supported on , and the other is the regular boundary trace absolutely continuous with respect to . The former is used to retain the nontriviality of the boundary trace, while the latter is used to measure regular boundary trace mass.
Definition 4.37
(Trace core). Write the common intersection of the form domain and the boundary test space as
Equip with the form norm induced from .
Remark 4.38.
is the class of smooth elements for which boundary traces can first be defined classically. The trace maps in this subsection are extended to a subspace of by closing the maps on this core with respect to the form norm.
Definition 4.39
(Singular boundary trace on the core). For , define
using the singular measure from the preceding subsection. Here denotes the space of all finite complex Radon measures on . Namely, for any ,
Definition 4.40
(Regular boundary trace on the core). Set
Since the construction in the preceding subsection gives ,
For , define the regular trace mass coefficient by
Then define the regular boundary trace on the core by
Remark 4.41
(Independence of regular trace and singular trace). is defined through the boundary-value-type singular measure . On the other hand, measures regular boundary trace mass absolutely continuous with respect to the regular area measure . Accordingly, even if
is nonzero, it is possible that
This separation allows one to handle simultaneously a nontrivial boundary trace on the -null singular support and vanishing regular-trace mass in the regular boundary-trace direction.
Definition 4.42
(Graph of the closed trace). A triple
is said to belong to the closed-trace graph if there exists a sequence
such that
and
and further
hold. Denote this set by
Definition 4.43
(Closed boundary trace space). We say that has a boundary trace if there exists an element
of , and if such a pair is uniquely determined. Define the set of all such f by
For , write the uniquely determined and g as
respectively.
Lemma 4.44
(Linearity of the closed boundary trace space). is a linear subspace of . Moreover,
are both linear maps.
Proof.
Let , and write
By definition, for each j there exists a sequence
such that
and
For arbitrary , set
Since is a linear space, we have . Moreover,
and by the linearity of the trace maps on the core,
hold. Therefore
Uniqueness is included in the definition of , so , and
Hence is a linear subspace, and the two trace maps are linear. □
Lemma 4.45
(Support of the singular trace). For any ,
holds.
Proof.
Let , and write
By definition, there exists a sequence such that
For each n,
and by Lemma 4.27,
Therefore
Let be an open set satisfying
For any ,
holds for every n. Using weak-star convergence, we get
Hence vanishes on . Therefore
That is,
□
Definition 4.46
(Singular support map). For , define its singular support by
If , set
Corollary 4.47
(-null property of singular support). For any ,
Therefore
Proof.
The first assertion is Lemma 4.45. The second follows from Lemma 4.25, namely from
□
Definition 4.48
(Regular trace-mass measure). For , define the finite positive measure
on by
Namely, for any ,
Definition 4.49
(Regular boundary trace-mass functional). For and , define the regular boundary trace-mass functional by
Equivalently,
Lemma 4.50
(Basic properties of the regular boundary trace-mass functional). For any , the map
is a finite positive measure on . Moreover, for any ,
holds. Furthermore,
Proof.
By definition,
Since ,
Therefore
is a finite positive measure.
For scalar multiplication,
and hence
The final equality follows immediately by setting . □
Lemma 4.51
(Vanishing criterion for regular trace mass). For , the following are equivalent.
- 1.
- 2.
- 3.
Proof.
By Lemma 4.25,
Therefore, for any ,
holds. Set
First suppose that (1) holds. By definition,
The preceding equality and imply
Therefore
so (2) holds.
The implication from (2) to (3) is immediate from the definition. The implication from (3) to (1) follows by monotonicity. Thus the three conditions are equivalent. □
Definition 4.52
(Trace-vanishing generating subspace associated with ). Define the trace-vanishing generating subspace associated with by
Proposition 4.53
(Equivalent representation of the generating class). can be written as
Then, for any ,
hold.
Proof.
For any ,
holds automatically by Corollary 4.47. Therefore, the substantive condition in the definition of is
By Lemma 4.51, this condition is equivalent to
The displayed representation follows.
Finally,
together with
implies
□
Lemma 4.54
(Separation of -null property and regular-trace vanishing property). For , the singular boundary trace
is supported on . On the other hand, the regular boundary trace satisfies
Therefore is the generating class that simultaneously realizes the singular boundary trace on the -null singular support and vanishing regular-trace mass in the regular boundary-trace direction.
Proof.
Let . By Definition 4.52,
By Definition 4.46,
so
is supported on .
Also by the definition of ,
Applying Lemma 4.51, we obtain
The claim follows. □
Remark 4.55
(Reason for avoiding interpretation as an ordinary boundary function). The boundary trace of is a singular boundary object described by , and is not described as an ordinary function in
Indeed, by Lemma 4.32, every -function essentially supported on is the zero element. Accordingly, the nontriviality in is retained on the side of or , while the regular-trace vanishing property is described as the vanishing of .
Proposition 4.56
(Output of this subsection). This subsection has constructed the following objects:
Here,
is the linear subspace on which the singular boundary trace and the regular boundary trace are simultaneously defined, and
Moreover,
is the nonnegative functional measuring regular boundary trace mass, and
is the trace-vanishing generating subspace associated with .
Proof.
, , and were constructed by Definition 4.43. was constructed by Definition 4.46. was constructed by Definition 4.49. Finally, was defined by Definition 4.52, and its meaning was verified in Lemma 4.54. □
4.4. Boundary Bilinear Form and Boundary-Cancellation Theorem
In this subsection, using the regular boundary trace
constructed in the preceding subsection, we define a regular boundary-trace bilinear form and prove that its boundary contribution vanishes on the trace-vanishing generating subspace associated with . What is important here is that the boundary form is a -area-type regular boundary form and does not directly integrate the singular boundary trace
This separation allows one to eliminate only the regular-area boundary term while retaining the nontrivial singular boundary trace on .
Definition 4.57
(Regular-area-type boundary coefficient). From now on, fix one function
We call this the regular boundary coefficient. If necessary, normalize it so that .
Definition 4.58
(Regular-area-type boundary bilinear form). For , define
We call this the -regular boundary-trace bilinear form.
Lemma 4.59
(Boundedness of the boundary form). For any ,
holds. In particular, is bounded with respect to the -norm of the regular boundary trace.
Proof.
By the Cauchy–Schwarz inequality,
This proves the claim. □
Remark 4.60
(The singular boundary trace does not enter ). The form is defined using only
Therefore, even if
exist as nontrivial singular measures or distributions on , they do not enter the area-type integral defining . When this paper refers to boundary cancellation, what is cancelled is the -regular-area boundary term, not the singular measure supported on itself.
Lemma 4.61
(Regular boundary contribution on a -null singular support). If satisfy
then
Proof.
By Lemma 4.25,
Moreover, by assumption, g and h are zero -almost everywhere on . Hence
On the other hand, since is a -null set,
Therefore, in total,
□
Lemma 4.62
(Vanishing of the regular trace by the regular-trace vanishing condition). For any ,
holds.
Proof.
Let . By Definition 4.52,
By Lemma 4.51, this is equivalent to
□
Theorem 4.63
(Boundary cancellation on the trace-vanishing generating subspace associated with ). For any ,
holds.
Proof.
By Lemma 4.62,
Therefore, by Definition 4.58,
What is used here is the vanishing of the regular boundary trace, not the vanishing of or . Thus, even if singular boundary traces remain nontrivially on , the -area-type boundary term vanishes. □
Corollary 4.64
(Boundary cancellation on the linear span). For any
one has
Proof.
Let . There exist finitely many elements and coefficients such that
Since is sesquilinear,
By Theorem 4.63, each term is zero. Therefore
□
Definition 4.65
(Singular-boundary form closure). Define the form-norm closure of the trace-vanishing generating subspace associated with by
We call this space the -null trace-vanishing form subspace.
Definition 4.66
(Regular boundary form on the closure). Let . Take arbitrary sequences in
Then define
Lemma 4.67
(Well-definedness of the boundary form on the closure). The right-hand side of Definition 4.66 does not depend on the choice of sequences, and
Thus is well-defined as the zero form on .
Proof.
For any approximating sequences
Corollary 4.64 gives
for all n. Therefore
This value clearly does not depend on the choice of approximating sequences. Hence is uniquely defined as the zero form on the closure. □
Theorem 4.68
(Extension of boundary cancellation to the form-norm closure). For any ,
Furthermore, if and the regular trace is defined for these elements in the closed-graph sense, then the original regular-trace-type boundary form also satisfies
Proof.
The first assertion is exactly Lemma 4.67.
We prove the second assertion. Let . By the definition of , there exists a sequence
such that
Since each belongs to , Lemma 4.62 and linearity imply
The regular trace being defined for u in the closed-graph sense means that if and
then
Here
so the left-hand side converges to 0 in the -norm. Therefore
Similarly,
follows. Hence, by Definition 4.58,
□
Remark 4.69
(Cancellation on the closure is not cancellation of the singular trace). The cancellation identity extended to ,
means the vanishing of the regular-trace-type boundary form. It does not mean that
vanishes. The singular boundary trace is an object on the - or -side and is not included in the -area-type boundary integral. Therefore the structure is preserved in which the singular information on the -null singular support is retained while only the regular boundary trace mass is removed.
Proposition 4.70
(Output of this subsection). This subsection has obtained the following objects and properties.
- 1.
-
The -regular boundary-trace bilinear formhas been defined.
- 2.
-
For any ,holds.
- 3.
-
On the form-norm closure of the trace-vanishing generating subspace associated with ,the zero extension of the boundary formis well-defined, andholds.
- 4.
- This boundary cancellation is the vanishing of the -regular-area boundary term, and does not mean the vanishing of the singular boundary trace on .
Proof.
Item 1 follows from Definition 4.58. Item 2 follows from Theorem 4.63. Item 3 follows from Definition 4.65, Definition 4.66, and Theorem 4.68. Item 4 follows from the entire construction of this subsection, in particular from the separation between the regular trace and the singular trace, and from the immediately preceding remark. □
4.5. Closure of the -Null Trace-Vanishing Form Subspace
In this subsection, we do not reconstruct the closed quadratic form
constructed in Section 2. Here, using the trace-vanishing generating subspace associated with
constructed up to the preceding subsection, we cut out, from the form domain of , the closed form subspace satisfying the -null -null support condition.
In Section 2, was constructed as a closed form bounded from below. From now on, if necessary, we take a sufficiently large constant and replace it by
so as to use a positive-definite form inner product. For simplicity, in this subsection we write the form norm after this positive shift as
Accordingly,
is a Hilbert space, and the inclusion map
is continuous.
Definition 4.71
(-null trace-vanishing form subspace). Define the form-norm closure of the trace-vanishing generating subspace associated with by
This space is called the -null trace-vanishing form subspace. Also,
is called the restriction form of to the -null singular-boundary part.
Remark 4.72
(Restriction operation performed in this subsection). is not a new form, but the restriction of , constructed in Section 2, to the closed subspace selected by the -null support and regular-trace vanishing conditions. Accordingly, in this subsection we do not reprove the self-adjoint realization or compactness of , but only treat the closedness of the form domain cut out by the -null condition and the preservation of boundary cancellation.
Lemma 4.73
(Linearity of the generating class). is a linear subspace of . Therefore
Proof.
By the equivalent representation obtained in the preceding subsection,
By Lemma 4.44, is a linear space, and
is a linear map. Therefore is a linear subspace of . Since , we have . Thus is a linear subspace of , and follows. □
Definition 4.74
(Nondegenerate trace core). Define the -null and blocking candidates on the core by
Here is the trace core, and and are the regular boundary trace and singular boundary trace defined on the core.
Lemma 4.75
(Existence of the nondegenerate trace core).
holds. More concretely, there exists
such that
Proof.
Take so that
For example, one may take a smooth cut-off that equals 1 near the endpoint and becomes 0 for sufficiently large x. By the definition of the admissible core in Section 2,
Moreover, all derivatives of are bounded with polynomial weights, and hence
Therefore
By the definition of the trace on the core,
By Lemma 4.27, , and therefore
On the other hand, the regular boundary trace is
Thus , and
follows. □
Lemma 4.76
(Sufficient condition for nontriviality). If
then
Furthermore, any gives a nonzero element of .
Proof.
Take . We have , and the trace on the core belongs to the closed-trace graph through the constant sequence
Therefore
By the definition of ,
and hence
By the equivalent representation from the preceding subsection,
we obtain
Furthermore,
and hence
If held as an element of , then by uniqueness of the continuously defined closed trace one would have to have
This is a contradiction. Therefore is a nonzero element of , and follows. □
Corollary 4.77
(Nontriviality of the trace-vanishing generating subspace associated with ).
Proof.
By Lemma 4.75, . Therefore Lemma 4.76 gives . Furthermore, , and since the form norm contains the -norm, a nonzero element remains nonzero also in . Thus and . □
Remark 4.78
(Positioning of nontriviality). By Lemma 4.75, the nondegenerate trace-core condition
is actually satisfied within the construction of this paper. Therefore Lemma 4.76 gives
The closure, continuous embedding, and extension of boundary cancellation below hold formally even in the zero-space case, but in this paper, by the above nondegeneracy, we deal with a nonzero -null singular-boundary subspace.
Lemma 4.79
(Minimality of the closure). is the smallest -closed linear subspace of containing :
Proof.
By definition,
By Lemma 4.73,
and hence
Thus is a closed linear subspace containing .
Conversely, if is a -closed linear subspace satisfying , then M also contains the closure of . That is,
Therefore the intersection representation above holds. □
Theorem 4.80
(Completeness of the -null trace-vanishing form subspace).
is a Hilbert space. In particular, is a -closed linear subspace of .
Proof.
By the analytic data of Section 2,
is a Hilbert space. By Definition 4.71,
and therefore is a closed linear subspace of . A closed linear subspace of a Hilbert space is again a Hilbert space with respect to the induced norm. Accordingly,
is complete. □
Proposition 4.81
(Continuous embedding into the Hilbert space). The inclusion map
is continuous. More concretely, for any ,
holds.
Proof.
We have , and is chosen as
Since this is the positively shifted form norm, the right-hand side is nonnegative, and in particular
holds. Therefore
Hence the inclusion map is continuous. □
Lemma 4.82
(Closedness of the restriction form). The restriction form
is a closed lower-bounded form on . Its form domain is .
Proof.
was constructed in Section 2 as a closed lower-bounded form. Therefore, with respect to the positively shifted form norm ,
is a Hilbert space. By Theorem 4.80,
is a closed subspace of this Hilbert space. Thus
is also a Hilbert space.
The restriction of a closed form to a closed subspace is a closed form. Indeed, if a sequence in is -Cauchy, then it is also Cauchy in . By completeness of , there exists some such that
Since is closed in ,
Therefore is complete with respect to the form norm of the restriction form, and is closed. Lower boundedness follows immediately because it is merely the restriction of the lower boundedness of . □
Definition 4.83
(Boundary form on the closure). Write the zero extension constructed in the preceding subsection as
Namely, for , take arbitrary approximating sequences
Then
Theorem 4.84
(Preservation of boundary cancellation under form closure). For any ,
holds. Therefore, the cancellation of the regular-area boundary term that held on the trace-vanishing generating subspace associated with is preserved on the entire form-norm closure .
Proof.
By definition, for any , one may take sequences
such that
By the boundary-cancellation theorem in the preceding subsection, for each n,
Therefore
Since this value does not depend on the choice of approximating sequences, is well-defined as the zero form on . □
Corollary 4.85
(Vanishing of the ordinary boundary form when a closed-graph trace exists). Let , and suppose that the regular trace for these elements is determined from approximating sequences in in the closed-graph sense. Then
Proof.
Let . By definition, there exists a sequence
such that
For every ,
By the closed-graph assumption, the regular trace corresponding to this limit must be
Similarly,
Therefore
□
Proposition 4.86
(Closure data of the -null singular-boundary part). The construction in this subsection gives the following.
- 1.
-
is a linear subspace of , and sinceholds within the present construction, .
- 2.
-
is a -closed linear subspace of , and is a Hilbert space.
- 3.
-
The inclusion mapis continuous.
- 4.
-
The restriction formis a closed lower-bounded form.
- 5.
- The regular-trace-type boundary form satisfies
Proof.
Item 1 follows from Lemma 4.73, Lemma 4.75, and Lemma 4.76. Item 2 follows from Theorem 4.80. Item 3 follows from Proposition 4.81. Item 4 follows from Lemma 4.82. Item 5 follows from Theorem 4.84. □
Remark 4.87
(Meaning for the next step). The space obtained in this subsection is the form domain satisfying the -null support and regular-trace vanishing conditions. On this space, the regular-trace-type boundary term vanishes. On the other hand, since the singular boundary trace remains on the - or -side, the boundary trace itself is not trivialized. In the next subsection, we apply the representation theorem to the closed lower-bounded form and construct the corresponding singular-boundary Hilbert space and self-adjoint realization.
4.6. Singular-Boundary Hilbert Space and Friedrichs Realization
In this subsection, from the -null trace-vanishing form subspace
constructed in the preceding subsection, we construct the corresponding Hilbert space
and by applying the first representation theorem to the restriction form
we obtain the self-adjoint operator
The operator obtained here does not redefine the global operator associated with constructed in Section 2. It is a partial Friedrichs-type realization corresponding to the closed form on the singular-boundary subspace cut out by the -null support and regular-trace vanishing conditions.
From now on, in this section, following the positive-shift convention of Section 4.5, we write as if has been normalized so that
In the lower-bounded case, this should be interpreted as replacing the form by an equivalent form obtained by adding a sufficiently large constant and then using the same notation .
Definition 4.88
(Singular-boundary Hilbert space). Define the -null singular-boundary Hilbert space by
Equip with the inner product induced from :
Lemma 4.89
(Closedness of the singular-boundary Hilbert space). is a closed linear subspace of . In particular, is a Hilbert space.
Proof.
By definition,
so it is a closed set obtained as a closure in . Moreover, since is a linear space, its -norm closure is also a linear space. Therefore is a closed linear subspace of . A closed linear subspace of a Hilbert space is again a Hilbert space, and the claim follows. □
Lemma 4.90
(Density of the form domain). is dense in . Namely,
Proof.
This is exactly the definition of . Indeed, is defined as the -norm closure of , and the norm of is induced from . Therefore is dense in . □
Proposition 4.91
(Continuous embedding from the form domain into the singular-boundary Hilbert space). The natural inclusion map
is continuous. More concretely, for any ,
holds.
Proof.
By Proposition 4.81 of the preceding subsection, for any ,
holds. Moreover, the norm of is the restriction of the norm of , and hence
The claim follows. □
Lemma 4.92
(Closedness and density of the restriction form). The form
is a densely defined closed nonnegative symmetric form on the Hilbert space . Its form domain is .
Proof.
First, density follows from Lemma 4.90.
Next we prove closedness. By Lemma 4.82 of the preceding subsection, is a closed lower-bounded form on , and
is a Hilbert space. In this subsection, by the positive-shift convention, we have
Therefore
is the form norm of . Thus is complete with respect to this form norm, and is a closed form on .
Symmetry is the restriction of the symmetry of constructed in Section 2, and nonnegativity follows from the positive-shift convention. Therefore is a densely defined closed nonnegative symmetric form on . □
Definition 4.93
(Closed-form Hilbert space). Let
denote the Hilbert space obtained by equipping with the inner product
Namely,
Lemma 4.94
(Continuous noncompact embedding from the form space to the base Hilbert space). The natural map
is continuous. At this level, compactness is not asserted.
Proof.
For any ,
Thus the inclusion map is continuous with norm at most 1. Compactness is an additional property of the embedding and will be treated in the later subsection on compact resolvent. □
Theorem 4.95
(Friedrichs realization of the -null restricted closed form). For the closed nonnegative symmetric form
there exists a unique nonnegative self-adjoint operator
on the Hilbert space satisfying the following.
and, defining
for such w, one has
for all
Proof.
By Lemma 4.92,
is a densely defined closed nonnegative symmetric form on the Hilbert space . Therefore the first representation theorem for closed lower-bounded forms, namely the Friedrichs-type representation theorem, applies. This theorem yields a unique nonnegative self-adjoint operator
and this operator represents the closed form .
More concretely, the first representation theorem characterizes the operator as follows. For , when the linear functional
is continuous with respect to the -norm, the Riesz representation theorem gives a unique
such that
The set of all such u is defined to be
and
The operator obtained by this construction is nonnegative and self-adjoint, and uniquely represents the closed form . Uniqueness also follows from the uniqueness part of the first representation theorem. □
Corollary 4.96
(Nonnegativity). For any ,
holds. Therefore
Proof.
In the representation formula of Theorem 4.95, set . Then
By the positive-shift convention, the right-hand side is nonnegative. Therefore is a nonnegative self-adjoint operator. □
Remark 4.97
(Distinction from the global operator). When the global operator associated with obtained in Section 2 is written as
the operator
of this subsection is not in general defined as a simple operator restriction of . is the operator obtained by restricting the closed form
to the -null restricted closed form domain
and then representing that restricted form on the base Hilbert space
Therefore, unless it is separately proved that
is an operator-theoretic reducing subspace for the global operator , we do not write
What is needed in this paper is not a simple restriction of the global operator, but
as the closed-form realization of the -null restricted closed form.
Definition 4.98
(Positive shifted operator). Define the -null positive shifted operator on by
Here is the identity operator on . Its domain is
Lemma 4.99
(Basic properties of the positive shifted operator). is a self-adjoint operator on , and
In particular,
and
Proof.
By Theorem 4.95, is self-adjoint. Adding the bounded self-adjoint operator to a self-adjoint operator gives
which is self-adjoint on the same domain.
Moreover, by Corollary 4.96,
Therefore
By the spectral theorem,
Hence , that is,
Furthermore,
□
Definition 4.100
(Energy inner product on the singular-boundary solution space). Define the energy inner product associated with by
Its domain is
and
holds.
Lemma 4.101
(Agreement of square-root domain and form domain).
and for any ,
holds.
Proof.
is the representing operator of the closed nonnegative form . By the square-root representation in the first representation theorem,
and its form is given by
By Definition 4.98,
and the claim follows. □
Proposition 4.102
(Propagation of nondegeneracy to the Hilbert space). If
then
In particular, if the condition
of Lemma 4.76 holds, then is a nonzero Hilbert space.
Proof.
Assume , and take a nonzero element . Since ,
Moreover, , and the form norm contains the -norm. Therefore g, being nonzero as an element of , is also nonzero as an element of . Thus its -closure,
is also nonzero.
The final assertion follows from Lemma 4.75 and Lemma 4.76. □
Proposition 4.103
(Output of this subsection). This subsection has constructed the following objects:
They satisfy the following properties.
- 1.
- is a closed Hilbert subspace of .
- 2.
- is dense in , and is a closed nonnegative symmetric form on .
- 3.
- is the unique nonnegative self-adjoint representing operator of .
- 4.
-
is self-adjoint, and
- 5.
- is not a redefinition of the global operator of Section 2, but a Friedrichs-type realization on the -null trace-vanishing form subspace.
Proof.
Item 1 follows from Lemma 4.89. Item 2 follows from Lemma 4.90 and Lemma 4.92. Item 3 follows from Theorem 4.95. Item 4 follows from Definition 4.98 and Lemma 4.99. Item 5 follows from the nature of the construction in this subsection, in particular from the fact that was constructed from the restriction form of to the closed subspace . □
Remark 4.104
(Transition to the next step). The objects obtained in this subsection,
are the operator-theoretic foundation on the singular-boundary subspace. In the next subsection, we introduce a strongly continuous transport group on this Hilbert space and construct its anti-self-adjoint generator by Stone’s theorem. After that, through the distribution kernel representation, we formulate the distribution kernel associated with as an object of .
4.7. Transport Group on , Anti-Self-Adjoint Generator, and Kernel Representation
In this subsection, we introduce the canonical strongly continuous unitary transport group on the -null singular-boundary Hilbert space
constructed in the preceding subsection, and obtain its anti-self-adjoint generator by Stone’s theorem. Furthermore, by evaluating this transport group on the dual side of the test space
we define the distribution kernel associated with not as an ordinary function kernel, but as an element of
What is important here is that the transport group and its generator are constructed internally within the -null singular-boundary subspace
Accordingly, the transport in this subsection is not an externally given geometric flow, but the canonical unitary transport obtained from the spectral calculus of the positive shifted operator
Definition 4.105
(Orthogonal projection onto ). By Lemma 4.89, is a closed linear subspace of . Therefore, there exists a unique orthogonal projection on
We call this projection the orthogonal projection onto on the one-sided analytic Hilbert space.
Remark 4.106
(Distinction from the subsequent integrated projector). is the local Hilbert projection from within the one-sided analytic Hilbert space onto . The unsuperscripted projection
used in the subsequent orthogonal-decomposition framework is the projector onto the singular-boundary subspace after it has been lifted to the ambient Hilbert-space setting, and its object space is different from that of the one-sided projector in this subsection. Accordingly, in this subsection denotes the one-sided projection, while without + is reserved for Section 5.
Definition 4.107
(Canonical transport group on ). By Lemma 4.99, the positive shifted operator
is a self-adjoint operator on . Therefore, by the spectral theorem, define
We call this the canonical transport group on on the -null singular-boundary subspace.
Theorem 4.108
(Strong continuity of the canonical transport group on ). The family
is a strongly continuous unitary group on . Namely,
hold, and for every ,
Proof.
Since is self-adjoint, the spectral theorem implies that
is a unitary operator for each . Moreover, from the multiplicative law of the function
we obtain
For the adjoint, we also have
We prove strong continuity. Let be the spectral measure of . For any ,
For each ,
and
The dominating measure on the right-hand side is the finite measure
Therefore, by the dominated convergence theorem,
Thus strong continuity holds. □
Definition 4.109
(Anti-self-adjoint transport generator). Define
Its domain is
Theorem 4.110
(Stone generator). is an anti-self-adjoint operator on , and
Furthermore,
and for every
one has
in the sense of the -strong limit. Conversely, any for which this strong limit exists belongs to .
Proof.
Since is self-adjoint,
Therefore
and is anti-self-adjoint.
Also, by definition,
By Stone’s theorem, the generator of the strongly continuous unitary group
is the anti-self-adjoint operator , and its domain consists of exactly those u for which the difference quotient
has a strong -limit. This limiting value is . The claim follows. □
Proposition 4.111
(Preservation of the -null singular-boundary subspace). For every ,
Furthermore, also for the form domain,
and
hold.
Proof.
The first assertion follows immediately from the fact that is defined as a unitary operator on .
Next, consider the form domain. By Lemma 4.101,
Since is a Borel function of , the spectral calculus gives
Therefore, if
then
Applying the same argument to gives the reverse inclusion, and hence
For norm preservation, preservation of the -norm follows from unitarity. Moreover,
The claim follows. □
Definition 4.112
(Extended transport group on the one-sided analytic Hilbert space). Define the operator on
Namely, it acts as on and as the identity operator on its orthogonal complement.
Lemma 4.113
(Properties of the extended transport group).
is a strongly continuous unitary group on , and satisfies
Proof.
Every decomposes uniquely as
Then
Since is unitary on and the operator is the identity on the orthogonal complement, is unitary on .
The group law follows from
Strong continuity follows from
and the strong continuity of .
Finally, since ,
and
Thus the displayed commutation relations hold. □
Definition 4.114
(Transport kernel family). For each , define the sesquilinear form on by
By the kernel theorem, write the corresponding distribution kernel as
Namely,
In particular,
is called the transport distribution kernel at the canonical time.
Lemma 4.115
(Distribution-kernel property of the transport kernel family). For any ,
is well-defined. Furthermore, for any , there exists a constant such that
for all .
Proof.
Since is a unitary operator on ,
By Lemma 4.9, for any ,
Therefore the displayed estimate follows.
This estimate implies that
is a continuous sesquilinear form. By the kernel theorem of Section 4.1, there exists a unique distribution kernel
□
Remark 4.116
(Not an ordinary function kernel). is not defined as a pointwise function
It is a distribution kernel assigning
to a pair of test functions
Therefore, in order to treat as an ordinary integral kernel, additional regularity, such as Hilbert–Schmidt property or representability of the Schwartz kernel by a function, must be proved separately. This paper assumes no such function-kernel representation.
Definition 4.117
(Difference-quotient kernel family). For , define the bounded operator
Let the corresponding sesquilinear form be
and write its distribution kernel as
Namely,
Lemma 4.118
(Existence of the difference-quotient kernel family). For each ,
is well-defined.
Proof.
is a bounded operator satisfying
Therefore, for ,
Thus is a continuous sesquilinear form on , and the kernel theorem gives a unique distribution kernel
□
Definition 4.119
(Yosida-regularized generator and difference-quotient kernels). For , define the Yosida regularizer on by
Define the regularized transport generator on by
For , define the regularized difference quotient by
The corresponding distribution kernels are denoted by
They are defined by the pairings
and
Lemma 4.120
(Unconditional existence of the regularized generator kernel). For every ,
is well-defined. Moreover, for ,
is well-defined.
Proof.
By the functional calculus for the positive self-adjoint operator ,
Hence
Therefore, for ,
Thus defines a continuous sesquilinear form on , and the kernel theorem gives .
The operator is bounded because it is the product of the bounded difference quotient and the bounded operator . The same estimate as in Lemma 4.118 therefore gives . □
Theorem 4.121
(Unconditional weak limit of the regularized difference-quotient kernels). For every ,
in the weak topology of
Equivalently, for all
one has
Proof.
For , the vector
belongs to . By Stone’s theorem,
strongly in . Pairing with any gives the required scalar convergence. Since defines a continuous sesquilinear form on , this scalar convergence is precisely the weak distributional convergence of the corresponding kernels. □
Definition 4.122
(Generator-admissible core for the unsmoothed kernel). Define
Equip with the graph topology generated by the seminorms of together with seminorms controlling
as a -valued distribution. On this core define
Theorem 4.123
(Core-level unsmoothed generator kernel). On the generator-admissible core , the unsmoothed difference quotient has the weak distributional limit
as a kernel on
The limiting kernel is represented by
Proof.
For , one has
Hence Stone’s theorem gives
strongly in , and therefore weakly in . Pairing with gives the asserted weak kernel limit. The graph topology on makes
continuous, so the resulting sesquilinear form is continuous on . □
Definition 4.124
(Optional unsmoothed generator kernel on the full test space). The unregularized generator kernel on the full test space is an optional object. It is not used as an unconditional datum in the subsequent comparison argument. If the difference-quotient kernel family
has a limit as in the weak topology of
write this limit as
and call it the distribution kernel of the transport generator. Namely, is defined by this limit when, for all
one has
Theorem 4.125
(Conditional unsmoothed generator kernel on the full test space). Assume the following condition:
where
is defined on
Assume furthermore that the map
is continuous. Then the difference-quotient kernel family has a limit in the weak topology of
and
holds for all .
Proof.
By assumption, for any ,
By Stone’s theorem, Theorem 4.110,
as a strong -limit, and hence as a weak -limit.
On the other hand,
Therefore
Hence for any ,
Finally, by assumption,
is continuous. Therefore
is a continuous sesquilinear form on . By the kernel theorem, there exists a distribution kernel
representing it. The pointwise limit representation shown above implies that
in the sense of weak distributional convergence. □
Definition 4.126
(Resolvent-type kernel family). For , let
be the resolvent on . Extend it to by
Write the distribution kernel corresponding to this bounded operator as
and define it by
Lemma 4.127
(Existence of the resolvent kernel). For each ,
is well-defined. Furthermore,
holds.
Proof.
is a bounded operator on , and
Therefore
Thus the corresponding bilinear form is continuous, and the kernel theorem gives a unique distribution kernel. □
Definition 4.128
(Fredholm-type regularized kernel). For , let
be a bounded operator on . Write the corresponding distribution kernel as
and define it by
Theorem 4.129
(Weak distributional limit of the Fredholm-type regularized kernel). As ,
holds in the strong operator topology on . Therefore the corresponding distribution kernels satisfy
in the sense of weak distributional limit. Here
is the distribution kernel defined by
Proof.
We first prove the strong operator limit. Decompose any as
Here , and . Then
By the spectral theorem, since ,
is a bounded operator on , and the spectral function
converges pointwise to 1 for each as , while its absolute value is bounded by 1. Therefore, by the dominated convergence theorem,
holds in the -norm. Thus
and the strong operator convergence follows.
Next, we prove weak convergence of the distribution kernels. For any , the strong convergence gives
Therefore
This means that
holds in the weak topology of . □
Proposition 4.130
(Output of this subsection). This subsection has constructed the following objects:
They satisfy the following properties.
- 1.
- is a strongly continuous unitary group on .
- 2.
- is the anti-self-adjoint generator, and
- 3.
- preserves the -null singular-boundary subspace and the form domain .
- 4.
- and are not ordinary function kernels, but distribution kernels defined as elements of
- 5.
-
For every , the regularized generator kernelexists unconditionally and is the weak distributional limit of the regularized difference-quotient kernelsThe unregularized generator kernel is available on the generator-admissible core , or on all of only under the separate sufficient condition of Theorem 4.125.
- 6.
-
The resolvent kernelexists as a distribution kernel for .
Proof.
Item 1 follows from Theorem 4.108. Item 2 follows from Theorem 4.110. Item 3 follows from Proposition 4.111. Item 4 follows from Definition 4.114 and Lemma 4.115. Item 5 follows from Definition 4.119, Lemma 4.120, Theorem 4.121, and Theorem 4.123. The optional full-test-space statement follows from Definition 4.124 and Theorem 4.125. Item 6 follows from Definition 4.126 and Lemma 4.127. □
Remark 4.131
(No downstream use of the optional full-test unsmoothed generator kernel). The optional full-test-space kernel in Definition 4.124 is not part of the unconditional data exported from this subsection to Section 5 and 6. The exported kernel data are the transport kernels, the resolvent kernels, the unconditional regularized generator kernels , and the unsmoothed generator kernel only on the generator-admissible core . Thus the localized comparison interface, the Hilbert–Schmidt realization of K, the central comparison, and the determinant identity do not require the additional sufficient condition of Theorem 4.125. Whenever a full-test-space pairing is used later, it is either a regularized pairing, a core-level pairing, or a pairing already mediated by the continuous comparison maps constructed in Section 5–6.
Remark 4.132
(Transition to the next step). The transport group, anti-self-adjoint generator, and distribution kernel representation obtained in this subsection show that the singular-boundary subspace is not merely a closed subspace, but has a conservative time evolution inside it. In the next subsection, we treat compactness of the resolvent of the positive shifted operator
and construct the spectral foundation needed for purely discrete spectrum and finite-window localization.
4.8. Compact Resolvent and Purely Discrete Spectrum
In this subsection, we show that the resolvent of the -null positive shifted operator on
is compact. The proof is carried out by restricting the compact embedding of the global form domain established in Section 2 to the -null trace-vanishing form subspace
Accordingly, the compact-resolvent operator below is constructed only from the compactness inherited from Section 2 and the closed-subspace structure constructed up to the preceding subsection. This operator supplies the internal singular-boundary transport spectrum. For the later trace-ideal estimates, however, we also fix at the end of this subsection a separate quantitative Sobolev reference scale. That scale is a positive elliptic regularizer used only for boundary-trace smoothing and Schatten estimates; it is not a new confining dynamics and it does not replace .
Lemma 4.133
(Restriction of the global compact embedding). Consider the global compact embedding obtained in Section 2,
Then the natural inclusion map
is compact.
Proof.
Let be a bounded sequence in
That is, there exists such that
Since , this is also a bounded sequence in .
On the other hand, all belong to
By Lemma 4.89, is a closed subspace of . Therefore the -norm limit u also satisfies
Moreover, since the norm of is the restriction of the norm of ,
also holds. Thus extracts a convergent subsequence from every bounded sequence. Hence is compact. □
Remark 4.134
(Why compactness is preserved). What is used here is not merely the fact that a global compact operator has been restricted. The essential point is that
is a form-norm closed subspace of , and that
is a norm-closed subspace of . The fact that the limit obtained from the global compact embedding does not leave is guaranteed by the closedness of . Thus the compactness of Section 2 is correctly inherited by the -null singular-boundary subspace.
Lemma 4.135
(Variational representation of the inverse operator). For any
there exists a unique
such that
Furthermore,
and
holds.
Proof.
Consider the inner product on
By Lemma 4.92 and Definition 4.93,
is a Hilbert space.
For fixed , set
By the Cauchy–Schwarz inequality and
we have
Therefore is a bounded linear functional on .
By the Riesz representation theorem, there exists a unique
such that
for all . That is,
By the definition
and the first representation theorem, this equality is equivalent to
Therefore
Finally, the norm estimate in the Riesz representation gives
□
Theorem 4.136
(Compactness of the inverse operator).
is a compact operator.
Proof.
By Lemma 4.135,
factors as a bounded operator
Namely, setting
we have
On the other hand, by Lemma 4.133, the inclusion map
is compact. Therefore
is the composition of a bounded operator and a compact operator. Hence
is compact on . □
Theorem 4.137
(Compact resolvent). For any
the operator
is compact on . Therefore has compact resolvent.
Proof.
First, the case follows from Theorem 4.136, which shows that
is compact.
Now take arbitrary . By the spectral theorem, we can write
where
Since , the function
is a bounded Borel function on . Therefore
is a bounded operator on .
Since
is already compact, the composition with the bounded operator
is compact. Hence
is compact. □
Theorem 4.138
(Purely discrete spectrum). The spectrum of is purely discrete. That is, if , then there exist at most countably many eigenvalues
each eigenvalue has finite multiplicity, and there exists a complete orthonormal system of corresponding eigenvectors
in . Furthermore, if there are infinitely many eigenvalues, then
In the finite-dimensional case, the spectrum consists only of finitely many eigenvalues.
Proof.
By Lemma 4.99, is a self-adjoint operator, and by Theorem 4.137 it has compact resolvent. When a self-adjoint operator has compact resolvent, its spectrum consists of pure point spectrum, each eigenvalue has finite multiplicity, and no finite accumulation point occurs. Moreover, the corresponding eigenvectors form a complete orthonormal system of the Hilbert space.
Furthermore,
and hence
Therefore the eigenvalues can be arranged at or above 1. If there are infinitely many eigenvalues, since they cannot accumulate at any finite point, the only possible accumulation point is . Thus
follows. □
Definition 4.139
(Finite-window spectral projection). Let be the spectral measure of . For a bounded Borel set
write
We call this the finite-window spectral projection of the -null singular-boundary subspace. Also,
is called its finite-window spectral count.
Corollary 4.140
(Finiteness of finite-window counts). For any bounded Borel set
one has
In particular, for any
one has
Proof.
By Theorem 4.138, any bounded interval contains only finitely many eigenvalues, and each eigenvalue has finite multiplicity. Therefore the direct sum of eigenspaces belonging to the bounded Borel set I is finite-dimensional. Hence
□
Remark 4.141
(Transition to finite-window localization). By Corollary 4.140, on the -null singular-boundary subspace, the degrees of freedom contained in any bounded spectral window are finite-dimensional. Therefore the subsequent finite-window localization, finite-rank projection, and discrete counting comparison can be carried out on top of this spectral data. The finiteness obtained here is not a statement concerning zero counting; it is solely operator-theoretic finiteness following from the compact resolvent of the singular-boundary operator.
Definition 4.142
(Spectral resolvent measure on ). Fix . For the spectral measure of , define
This is a finite positive Borel measure on , and satisfies
Definition 4.143
(Herglotz-type resolvent function). For , define
We call this the -null Herglotz-type resolvent function on associated with .
Lemma 4.144
(Spectral representation). For any
one has
Furthermore, using the purely discrete spectral representation,
and this series converges absolutely for
Proof.
The first representation follows immediately from the spectral theorem. Indeed,
and therefore
The purely discrete spectral representation is obtained by using the complete orthonormal system from Theorem 4.138. Namely,
and
This gives the displayed series.
For absolute convergence, since
we have
□
Lemma 4.145
(Herglotz property). If , then
More precisely,
Therefore is a Herglotz-type function from the upper half-plane to the closure of the upper half-plane.
Proof.
By the spectral representation,
Write , . Then
Therefore
Integrating this gives
□
4.8.0.1. Concrete smooth-seam Sobolev reference model for the later Schatten estimate.
The compact-resolvent transport operator constructed above supplies the internal singular-boundary dynamics. For the trace-ideal estimates we use a separate Sobolev reference scale attached to the smooth zero-area seam carrier of Section 4.2.
Let
and let
be the positive Neumann Sobolev regularizer on . The unitary map used below is not arbitrary. It is the fixed Sobolev seam chart obtained as follows.
Let
be the weight-removing unitary from Section 2. Let
be the standard Laguerre orthonormal basis of . On , set
with the usual normalizing constants, and enumerate these Neumann eigenfunctions by increasing value of
using lexicographic order when eigenvalues coincide. Write the resulting orthonormal basis of as
Define
Equivalently,
where
Thus
is a fixed unitary seam chart determined by the weighted Hilbert space of Section 2 and the smooth seam carrier of Section 4; it is not chosen from zero data.
Define
For , define the transported Neumann Sobolev scale
In particular,
In this concrete model the effective Sobolev dimension and elliptic order are
If
then the Weyl lower bound for gives constants and such that
The same bound holds after transport by .
We now separate the raw seam restriction from the smoothed comparison trace used in the trace-ideal argument. Let
be the raw seam restriction on smooth functions on , and let
be the fixed continuous embedding from the seam trace space into the admissible boundary-distribution space used by the localized comparison interface. Because the -control norm is defined by finitely many boundary seminorms, there exists a finite integer . Choose once and for all
so that the trace theorem and Sobolev embedding give
The raw seam trace is
It is only a restriction map and carries no Schatten decay by itself.
Set
Here is the lower threshold for fourth-Schatten summability, and is the Hilbert–Schmidt threshold.
Choose once and for all the net trace-decay exponent in the open interval
The lower bound is exactly the condition needed to put the one-sided reference smoothing factor in . The upper bound records that the construction does not introduce the one-sided Hilbert–Schmidt smoothing route.
The actual smoothing exponent required before applying the raw trace is
Define the bounded pre-trace operator
The singular-boundary trace used in the trace-ideal part of the proof is the smoothed comparison trace
Thus the decay used below is not a property of the raw restriction alone. It is a property of the smoothed comparison trace constructed from the seam Sobolev chart.
Finally,
Therefore the matrix entries in Section 6.3 are evaluated on vectors lying in the initial boundary-test domain. In Section 6.3 we write only to lighten notation.
Proposition 4.146
(Output of this subsection). This subsection has constructed the following spectral and Sobolev-reference data.
- 1.
-
The embeddingis compact.
- 2.
-
is compact for every .
- 3.
- has purely discrete spectrum.
- 4.
-
The projection corresponding to a bounded spectral window,has finite rank.
- 5.
-
For any , the Herglotz-type resolvent functionis defined.
- 6.
-
The Sobolev seam chartis fixed by the Laguerre basis on and the Neumann eigenbasis on .
- 7.
-
The transported Sobolev scaleand the reference regularizerare fixed.
- 8.
-
The model hasand the Weyl-type lower bound
- 9.
-
The raw seam trace and smoothed comparison trace are separated:Equivalently,with
Proof.
Items 1–5 are exactly Lemma 4.133, Theorem 4.137, Theorem 4.138, Corollary 4.140, and Definition 4.143. Item 6 follows from the concrete smooth-seam Sobolev model fixed above and the Weyl lower bound for the Neumann elliptic regularizer on . Item 7 follows from the trace theorem on the smooth seam, the finite -seminorm control, and the fixed smoothing exponent . All of these reference data are logically separate from the compact-resolvent transport operator , from the divisor of , and from the determinant identity . □
4.9. Internal-Construction Theorem for the Operator-Theoretic Boundary Data
In this subsection, we collect the objects constructed in this section into a single operator-theoretic data. The purpose is to fix the singular-boundary datum passed to the subsequent orthogonal-decomposition framework entirely as objects defined internally in this section.
The construction of this section proceeded in the following order. First, as the basic space on the singular-boundary side, we introduced
and separated the types of point evaluations, boundary traces, distribution kernels, quadratic forms, generators, and boundary forms. Next, we constructed the boundary parameter space, regular area measure, and -null singular support, and then separated the regular boundary channel from the singular boundary channel. After that, we took the subspace on which boundary traces are defined inside the form domain, and constructed the support map of the singular trace and the regular trace mass functional. Finally, from the trace-vanishing generating subspace associated with , we constructed the closed form subspace, Hilbert space, self-adjoint realization, transport group, distribution kernel, and compact resolvent.
Below, we formulate these collectively as the operator-theoretic boundary data.
Definition 4.147
(Internally constructed boundary data package). Write the boundary data package constructed in this section as
Each component is defined as follows.
| Symbol | Internal construction | Construction location |
| boundary parameter space | ||
| regular area measure | ||
| -null smooth seam support | ||
| closed boundary trace space | ||
| distribution support of the singular boundary trace | ||
| regular boundary trace-mass functional |
Here is the smooth zero-area seam carrier. Also, is the form domain constructed in Section 2.
Lemma 4.148
(Basic properties of the boundary data package). The boundary data package
satisfy the following.
- 1.
- is a compact metric space.
- 2.
- is a finite regular Borel area measure on .
- 3.
- is a closed set, and
- 4.
- A singular probability measureis supported on , andhold.
- 5.
- is a linear subspace, andare linear maps.
- 6.
- For any ,and therefore
- 7.
- For any , the mapis a finite positive measure on , and satisfies
Proof.
Items 1, 2, 3, and 4 follow from the construction of the boundary parameter space and the -null singular support. Item 5 follows from the linearity of , defined by the closed-trace graph, and from the linearity of the two boundary trace maps. Item 6 follows from the fact that the singular trace is always supported on , together with . Item 7 follows from the definition of the regular boundary trace-mass functional
□
Definition 4.149
(Internally constructed trace-vanishing generating subspace associated with ). Define the trace-vanishing generating subspace associated with by
Equivalently,
Lemma 4.150
(-null property and regular-trace vanishing property of the generating class). For any , the following hold.
- 1.
- The singular boundary trace is supported on the -null singular support:
- 2.
- Regular-trace mass in the regular boundary-trace direction vanishes:
- 3.
- Therefore,
Proof.
Item 1 follows from the definition of and from . Item 2 follows from the equivalent representation of ,
Item 3 is obtained by substituting Item 2 into
□
Definition 4.151
(Internally constructed closed quadratic form and Hilbert data). From the trace-vanishing generating subspace associated with , define
Furthermore, define
Write the restriction form as
Also, let its Friedrichs-type representing operator be
and define the positive shifted operator by
Lemma 4.152
(Basic properties of the form and Hilbert data). The objects defined above satisfy the following.
- 1.
- is a closed linear subspace ofandis a Hilbert space.
- 2.
- The inclusion mapis continuous.
- 3.
- is a closed linear subspace of .
- 4.
- is dense in .
- 5.
- is a densely defined closed lower-bounded form on .
- 6.
- is the unique self-adjoint representing operator of .
- 7.
- is self-adjoint, and
Proof.
Items 1 and 2 follow from the construction of the closure of the -null trace-vanishing form subspace. Items 3 and 4 follow from the definition of . Item 5 follows from the fact that the restriction of a closed form to a closed subspace is a closed form. Item 6 follows from the first representation theorem for closed lower-bounded forms. Item 7 follows from the definition
and from . □
Definition 4.153
(Internally constructed singular-boundary subspace). Define the singular-boundary subspace on the one-sided analytic Hilbert space by
Also, write the canonical kernel associated with its distribution kernel representation as
Here is the transport kernel family determined from the canonical transport group on
Remark 4.154
(Distinction between the subspace and the distribution kernel). The symbol denotes a closed subspace inside a Hilbert space. On the other hand,
is a distribution kernel belonging to
They are objects of different types and are not identified, in accordance with the type-separation convention.
Lemma 4.155
(Closedness of the singular-boundary subspace).
is a closed linear subspace of .
Proof.
This follows immediately from Lemma 4.89 and Definition 4.153. □
Lemma 4.156
(Transport and spectral structure on the singular-boundary subspace). The following structures exist on .
- 1.
- There exists a strongly continuous unitary group
- 2.
- Its anti-self-adjoint generatorexists, and
- 3.
- has compact resolvent.
- 4.
- has purely discrete spectrum, and the spectral projection on a bounded spectral window has finite rank.
Proof.
Items 1 and 2 follow from the construction of the transport group on and the Stone generator. Item 3 follows from the compact-resolvent theorem. Item 4 follows from the purely discrete spectrum theorem and the finiteness of finite-window counts. □
Theorem 4.157
(Internal construction of the operator-theoretic boundary data). By the construction of this section, the operator-theoretic boundary data
are internally fixed. Together with the standard zero-area carrier of Theorem 4.34, these data provide the boundary model on which the centered Mellin finite-part coordinate class is represented in Section 4.10. They satisfy the following properties.
- 1.
- is null with respect to the regular area measure:
- 2.
-
A nonzero singular carrier measureis supported on .
- 3.
-
The singular boundary traceand the regular boundary traceare defined on .
- 4.
- The support map is defined by
- 5.
- The regular boundary trace-mass functional is defined by
- 6.
-
The trace-vanishing generating subspace associated withis defined.
- 7.
-
is a closed form domain.
- 8.
-
is a Hilbert space, andis a closed subspace of .
- 9.
-
On , there exists the positive shifted operatorwhich is self-adjoint and has compact resolvent.
- 10.
-
On , there exist the conservative transport groupand the anti-self-adjoint generator
- 11.
- The distribution kernel associated with is not an ordinary function kernel, but is defined as the distribution kernel
- 12.
-
The package is ready to receive realized centered Mellin boundary finite parts: after the classical finite-window ledger coordinate is fixed, the finite-window distributionsare inserted through the same singular boundary trace and boundary-pairing structure, without altering the internally constructed Hilbert-space data.
Proof.
Items 1 and 2 follow from the construction of the boundary parameter space and the -null singular support. Items 3, 4, and 5 follow from the construction of traces, support maps, and regular boundary trace-mass functionals. Item 6 follows from Definition 4.149. Item 7 follows from the definition
and from completeness of the -null trace-vanishing form subspace. Item 8 follows from the definition of and from the fact that it is a closed linear subspace of . Item 9 follows from the Friedrichs-type realization of , which gives
from the self-adjointness of its positive shift
and from the compact-resolvent theorem. Item 10 follows from the construction
by the spectral theorem and the construction
by Stone’s theorem. Item 11 follows from the distribution kernel representation of the transport kernel family. Item 12 follows from Theorem 4.34: the smooth seam carrier keeps -null distributional boundary data nontrivial, so the boundary finite-part coordinates can be realized later by the transpose map without changing the construction of , , or the transport kernel.
Thus all displayed objects are defined internally in this section and satisfy the listed properties. □
Corollary 4.158
(Existence of the orthogonal projection onto ). is a closed linear subspace of . Therefore, by the projection theorem for Hilbert spaces, there exists a unique orthogonal projection
Namely,
Proof.
By Lemma 4.155,
is a closed linear subspace. By the projection theorem for Hilbert spaces, any
decomposes uniquely as
Defining
this is the orthogonal projection onto . By the general properties of orthogonal projections,
and its range is . Uniqueness is also included in the projection theorem. □
Definition 4.159
(Canonical one-sided projection onto ). The orthogonal projection
constructed on the one-sided analytic Hilbert space is called the canonical one-sided projection onto . The unsuperscripted symbol
is reserved for the ambient Hilbert-space projector defined in Section 5 after has been embedded into X.
Proposition 4.160
(Output of this subsection). This subsection fixes the singular-boundary datum as the following internally constructed data:
These data include the -null property, regular-trace vanishing property, closed-form property, Hilbert closedness, self-adjoint realization, conservative transport, distribution kernel representation, compact resolvent, and existence of the orthogonal projection.
Proof.
The boundary data were constructed by Definition 4.147. The trace-vanishing generating subspace associated with was constructed by Definition 4.149. The form and Hilbert data were constructed by Definition 4.151. The singular-boundary subspace was constructed by Definition 4.153, and its closedness was proved by Lemma 4.155. The orthogonal projection exists by Corollary 4.158. The transport group, generator, distribution kernel, and compact resolvent are given by Lemma 4.156 and Theorem 4.157. Therefore the displayed data is fixed as internally constructed data. □
4.10. Intrinsic Finite-Part Coordinate Ledger and Seam-Readout Channel
In this subsection, we fix the singular-boundary objects constructed in this section as a single set of data package. In the next section, the data fixed here are received as the singular-boundary datum and integrated with the arithmetic construction of Section 3 on a common ambient Hilbert space. Accordingly, the role of this subsection is not to add a new analytic construction, but to record the output of this section and fix the types and dependencies of the objects referred to in the next section.
For clarity, we separate three layers of notation. The symbol denotes the universal finite-window contour finite-part rule. The symbol denotes the universal finite-part coordinate obtained from the finite-window contour convention and the logarithmic representative. The maps , , , and belong to the fixed seam/readout realization machinery and contain no datum from another entire function.
Definition 4.161
(Operator-theoretic boundary data). Define the singular-boundary data package constructed in this section by
Here each component has the following meaning.
- 1.
- is the boundary triple data equipped with a regular area measure and a -null singular support.
- 2.
- is a linear subspace inside the form domain on which the singular boundary trace and the regular boundary trace are defined.
- 3.
- is the support map assigning the distribution support of the singular boundary trace.
- 4.
- is the regular boundary trace-mass functional with respect to the regular area measure .
- 5.
- is the generating class satisfying the -null property and the regular-trace vanishing condition simultaneously.
- 6.
- is the -form-norm closure of .
- 7.
- is the -closure of .
- 8.
- is the closed singular-boundary subspace inside the one-sided analytic Hilbert space.
- 9.
- is the orthogonal projection from onto .
- 10.
- is the positive shifted self-adjoint operator obtained from the Friedrichs-type realization of the -null restricted closed form.
- 11.
- is the strongly continuous unitary transport group on .
- 12.
- is the anti-self-adjoint generator of .
- 13.
- is the distribution kernel representation of the transport distribution kernel.
Definition 4.162
(Intrinsic centered finite-part coordinates and seam-readout channel). For each finite window M, let
denote the universal centered finite-window contour-coordinate space. This space records only the finite-window contour convention, the centered contour coordinate, the central and endpoint jet convention, and the contour finite-part probes. It is not a zeta-zero space, and it is not a space of values obtained from any other entire function. It is fixed before any seam realization, -readout, determinant construction, central comparison, or final analytic identification theorem is invoked.
We identify the finite readout-probe space with this finite-window contour-coordinate space by writing
The subscript records only the universal contour finite-part probe convention.
Let denote the finite-dimensional contour finite-part probe space attached to the centered finite window M. Its elements are the fixed contour-side probes used to read finite parts before any realization on the Section 4 seam carrier is applied. For
define the universal finite-part coordinate bilinear form by
Here is the standard finite-window Mellin contour test obtained from the logarithmic representative and the contour finite-part probe . The operation is a universal finite-window contour finite-part rule: it fixes how the finite part is read after the common Archimedean/reference part and the prime-power ledger have been separated. No final completed target function, no divisor of such a target, no logarithmic derivative of another entire function, and no determinant identity is part of this rule.
The finite-window finite-part coordinate functional is
and is defined by
Thus is a coordinate ledger of the finite-window comparison quotient. It is not obtained from any final completed target function, divisor, logarithmic derivative, or another entire function.
Let be the linear span of the boundary distributions represented by this intrinsic finite-part coordinate functional. For each logarithmic finite-window representative , define
by the rule
This boundary finite-part distribution is a coordinate representative of the finite-window comparison ledger before any -side readout is mentioned. It is not defined using , the spectral operator K, the central equality, or any assertion about zeros.
For each finite window M, fix once and for all the finite-part probe
This probe is determined by the oriented centered finite-window contour, the finite-part convention, and the window cutoff. For represented in , define the scalar finite part by
If the same representative is read in a larger window, the fixed probes are chosen compatibly with the window-refinement maps, so the displayed scalar depends only on the class .
Let
be the centered contour boundary seam. The fixed smooth coding map from the centered seam to the Section 4 zero-area seam carrier is
It is a -diffeomorphism from onto the open seam , with inverse
This coding map is fixed before any explicit-formula ledger or K-side pairing is evaluated.
For a boundary test representative on the -seam, write
Define the pullback from the Section 4 seam to the centered contour boundary seam by
Thus
is a fixed continuous linear map between the seam-test spaces. Here denotes the seam trace test layer of the Section 4 boundary-test space, and denotes the centered contour boundary test space.
The natural seam-transpose realization map on the Section 4 carrier is defined as the transpose of this fixed pullback:
Equivalently, for
we define
This is the definition of . The name is deliberately seam-based: is not another-function-dependent map and is not characterized by requiring agreement of explicit-formula ledger and -side readouts. It is constructed only from , seam trace, and transposition.
For a logarithmic finite-window representative , write
If , we also write .
More generally, for any finite-window finite-part coordinate functional
let denote its boundary-distribution representative, defined by
The boundary-level comparison-independent realization machine is
The notation records the fixed seam-transpose construction. The map uses only the fixed seam coding map, the seam pullback, and transposition. It does not use any final completed target function, , the central comparison equality, or spectral localization. For the intrinsic finite-window coordinate functional,
Finally, define a fixed readout lifting operator
as follows. Choose once and for all a smooth transverse cutoff with , and choose an interior cutoff which is identically 1 on the compact x-interval corresponding to the finite window under . For a contour finite-part readout supported in that finite window, set
On the corresponding finite-window support,
The construction of is part of the fixed seam/readout machinery and contains no another entire-function datum.
Lemma 4.163
(intrinsic finite-part coordinate audit: no another-function datum). For every finite window M and every logarithmic representative , the coordinate functional
is obtained from the finite-window contour convention, the fixed contour-coordinate probes, the logarithmic representative , and the universal rule . Its construction uses neither the final completed target function, nor its logarithmic derivative, nor the final global identity
nor any critical-line assertion, the equality , central pairing equality, or spectral-localization conclusion.
Proof.
The definition of is the intrinsic finite-part coordinate rule
No final completed target function, no operator K, no determinant , no central equality, and no assertion on zero locations enters this formula; the finite-part coordinate is fixed from the finite-window ledger itself. □
Proposition 4.164
(Independent realization, pairing theorem, and Mellin-boundary naturality). Each component of is determined by the analytic Hilbert-space setup of Section 2 and the construction of this section. After the finite-part boundary coordinate origin is fixed by Definition 4.162, the realized boundary finite parts are attached to by the already constructed transpose map
without changing any internally constructed Hilbert-space object. In particular, the following hold.
- 1.
- 2.
- For any ,
- 3.
-
is a closed form subspace of , andis a closed lower-bounded form on .
- 4.
-
is the unique self-adjoint representing operator of , andis self-adjoint and positive.
- 5.
- has compact resolvent and purely discrete spectrum.
- 6.
-
is a closed subspace of , and thereforeexists uniquely.
- 7.
- For every finite-window finite-part boundary distribution and every finite-window contour finite-part readout ω,
- 8.
-
The centered Mellin reflection induced by is realized on the Section 4 seam byIf denotes the distributional pushforward induced by , thenon finite-window realized boundary distributions.
Proof.
Items 1–6 follow exactly as in the internal construction of the boundary parameter space, trace-vanishing form subspace, Friedrichs realization, compact-resolvent theorem, and Hilbert projection theorem.
For Item 7, use the definition
Then
because on the finite-window support. Thus the pairing preservation is a theorem following from the explicitly constructed pullback and lifting maps, not a defining property of .
For Item 8, compute the seam reflection. Since
we have
Hence
Taking pushforwards on distributions and using gives
Accordingly, all components of and the attached finite-window boundary-coordinate ledger are fixed without circular use of the determinant comparison or of any zero-location assertion. □
Definition 4.165
(Fixing as the singular-boundary datum). To fix the singular-boundary datum from the next section onward means first to fix the data
of Definition 4.161. When the finite-part boundary coordinate origin is used, the realized package is written
The Hilbert-space and operator-theoretic components passed to the orthogonal-decomposition framework are still precisely those contained in :
The extra symbols specify only how the centered Mellin boundary finite-part coordinates are transported to these already constructed data.
Proposition 4.166
(Transition to the next section). In the next section, is fixed as the already constructed singular-boundary datum and is placed, together with the arithmetic-side data constructed in Section 3, on an ambient Hilbert space. When a finite-window explicit-formula ledger boundary term is used, it enters only through the realized distribution
In this transition, the Hilbert-space information passed from the singular-boundary side is limited to what is contained in
In particular, the singular-boundary subspace and orthogonal projection onto used in the next section are obtained by lifting
constructed in this section to the ambient Hilbert-space setting.
Proof.
By Definition 4.165, the singular-boundary datum fixed in the next section is , and the optional finite-window boundary-coordinate ledger only identify which finite-window boundary distributions are inserted into . Moreover, by Proposition 4.164, each component of has already been constructed in this section and the realization map is a fixed transpose construction whose boundary-pairing identity is proved from .
In the orthogonal-decomposition framework of the next section, and are first lifted through the analytic embedding into the ambient Hilbert space. The isometric image of the closed subspace is closed, so the orthogonal projection onto that image exists. This lifted projection is denoted by in Section 5 and acts on X, not on . Therefore, the singular-boundary subspace and projector required in the next section are derived from the one-sided objects and of this section. It follows that the transition on the singular-boundary side is completed by , while supplies only the fixed seam-pushforward origin of the finite-window boundary distributions. □
Remark 4.167
(Separation of dependencies). The construction in this section is based on the analytic Hilbert-space setup of Section 2 and the measure-theoretic and operator-theoretic constructions inside this section. The arithmetic projector family, arithmetic trace, and subsequent zero-counting machinery of Section 3 are integrated only from the next section onward. Therefore this section is the section that constructs the singular-boundary datum, and it is not a section that proves orthogonality with the arithmetic side or closure of finite-window counting.
Convention 4.168
(Meaning of fixing at the beginning of the next section). When the beginning of the next section says that “the auxiliary operator-theoretic boundary data is fixed,” this does not mean assuming externally and arbitrarily given unconstructed data. It means fixing the singular boundary data
constructed by Theorem 4.157 of this section. From now on, the singular-boundary datum is used in this sense.
Proposition 4.169
(Completion of Section 4). This section fixes all singular-boundary data, form data, Hilbert-space data, projection data, transport data, distribution-kernel data, and spectral data required in the next section as
Proof.
The boundary data have been fixed as
The form data have been fixed as
The Hilbert-space data have been fixed as
The projection data have been fixed as
The transport data have been fixed as
The distribution-kernel data have been fixed as
The spectral data have been fixed as
together with its compact resolvent, purely discrete spectrum, and finite-window spectral projections. Therefore all singular-boundary objects required in the next section are contained in
□
4.10.0.2. Preparation for the analytic comparison to Section 6.
The type separation on the singular-boundary side constructed in this section is the foundation for the analytic comparison used in Section 6. In that comparison, distributional objects on the singular-boundary side are handled inside a Gelfand triple
and point evaluations and singular boundary traces are treated not as ordinary bounded functionals on , but as distributional boundary distributions belonging to . Furthermore, the distribution kernels, quadratic forms, generators, boundary forms, and projectors distinguished in this section are preparation for defining the tempered distribution pairings and -approximations appearing in Section 6,
In particular, the boundary-distribution comparison kernel K introduced later and its finite-rank cutoffs are interpreted within the framework of distribution kernels, projectors, and compactness established up to this section. This comparison is not a new assumption, but a notational bridge for using the operator-theoretic objects already constructed from Section 2 through 5 in the distributional evaluations, central regularization, and -approximations of Section 6.
5. Orthogonal-Decomposition Spectral Comparison Framework
5.1. Embedding the Constructed Singular-Boundary Subspace into the Ambient Hilbert Space
Section 2 fixed the analytic Hilbert-space data
and Section 3 fixed the coefficient-space arithmetic construction
Section 4 constructed, independently of these, the singular-boundary data package
operator-theoretically. In this section, we lift this constructed datum to the ambient Hilbert space and place it on the same orthogonal-decomposition stage as the coefficient-space arithmetic construction of Section 3.
What is done in this subsection is not a reconstruction of the operator-theoretic singular-boundary data. Namely,
is fixed as data already constructed in Section 4. In this subsection, among its outputs,
are lifted to the ambient stage X, and the singular-boundary projector used below is defined.
Definition 5.1
(Ambient Hilbert space and canonical embeddings). Define the ambient Hilbert space for the orthogonal-decomposition comparison by
Its inner product is given by
Write its norm as
Define the canonical embeddings
and
Then
and
At this stage, no further operator on X is introduced.
Definition 5.2
(Fixing and lifting the constructed singular-boundary datum). Fix the singular-boundary data package
constructed in Section 4. Among its components, write the closed one-sided singular-boundary subspace as
Define the singular-boundary component on the ambient stage by
Also, let
be the orthogonal projection on the one-sided analytic stage constructed in Section 4. Define the singular-boundary projector on the ambient stage by
Convention 5.3
(One-sided and ambient singular-boundary notation). In this section and in Section 6, denotes the one-sided closed subspace constructed in Section 4, while
denotes its ambient image. Likewise, denotes the one-sided projector on , whereas
denotes the ambient projector on X. Thus every occurrence of from this point onward is an X-operator, while is reserved for the one-sided analytic stage.
Lemma 5.4
(Closedness of the lifted singular-boundary component). is a closed linear subspace of X, and
Proof.
By Section 4, is a closed linear subspace of . The map is an isometric isomorphism from onto . Therefore the image of the closed set ,
is closed in . Furthermore, is a closed subspace of X, so
is closed in X. The inclusion
follows immediately from the definition. □
Theorem 5.5
(Singular-boundary projector on the ambient stage). The operator
is an orthogonal projector on X, and satisfies
Equivalently, every has a unique orthogonal decomposition
and
Proof.
First we show that is a projection. For the canonical embedding,
Therefore
Also,
Thus is a self-adjoint projector.
Next we identify its range. For any ,
so
Therefore
Conversely, any can be written as
Then , and hence
Thus
Therefore
The kernel of a self-adjoint projector is the orthogonal complement of its range, so
The final orthogonal decomposition follows from the projection theorem for Hilbert spaces. □
Remark 5.6
(Status of the constructed datum). The -side datum used in this section is
constructed in Section 4. The role of this section is to lift these constructed data to the ambient Hilbert space X and place them on the same ambient stage as the coefficient-space arithmetic construction of Section 3. Therefore, this section does not reconstruct the operator-theoretic singular-boundary data.
Theorem 5.7
(Lifting boundary cancellation to the ambient stage). For the zero extension of the boundary form constructed in Section 4,
one has
for any
Therefore, for the lifts
on the ambient stage,
holds.
Proof.
By the boundary cancellation theorem of Section 4,
Since is an isometric embedding and , we have
The boundary form on the ambient stage is defined by
so immediately
□
Remark 5.8
(Boundary cancellation convention below). Unless otherwise stated, every use of boundary cancellation for the -component is interpreted as a statement on
Namely, the -null support and regular-trace vanishing conditions constructed in Section 4 first cut out the analytic form subspace
and give the zero extension of the boundary form on it,
This section only lifts that cancellation identity to the ambient stage, and imposes no new assumption on the boundary data.
5.2. Lifting the Transport Block to the Ambient Stage
Next, we lift the singular-boundary transport group constructed in Section 4 to the ambient stage. On the one-sided analytic stage, the operators
have already been constructed on . In this subsection, we do not reintroduce them arbitrarily; rather, through the canonical embedding , we transfer them to
and further extend them unitarily to all of X.
Definition 5.9
(Singular-boundary transport group on the ambient stage). Using the constructed transport group on , define the operator on by
Furthermore, define its extension to all of X by
Lemma 5.10
(Strongly continuous unitarity of the lifted transport group). is a strongly continuous unitary group on . Moreover,
is a strongly continuous unitary group on X, and satisfies
Proof.
First we verify that is well-defined. The map is an isometric isomorphism from onto , and its restriction is an isometric isomorphism from onto . Therefore
Since was constructed in Section 4 as a strongly continuous unitary group on , its isometric conjugate is also a strongly continuous unitary group on .
Next consider the extension to X. Every decomposes uniquely as
Then
Since is unitary on and acts as the identity on , is unitary on X. The group law follows immediately from the same decomposition.
For strong continuity,
and the right-hand side converges to 0 as by strong continuity of . Finally, the commutation relation follows immediately from
and the decomposition above. □
Definition 5.11
(Transport generator on the ambient stage). Define the transport generator on the ambient stage by
Its domain is
and define
where
Theorem 5.12
(Transport block and conservativity). The operator is anti-self-adjoint on X, and
Moreover,
and
holds on . Equivalently,
Finally,
and
Proof.
On ,
and its generator is
Since Section 4 proved , this isometric conjugate is also anti-self-adjoint on . On the other hand, on , the transport is the identity group and its generator is the zero operator. Therefore, the direct-sum generator with respect to the orthogonal direct sum
is
and it is anti-self-adjoint and satisfies
Next we verify the support relation. Write , where
Then
Therefore
and
Moreover, , so
Hence
holds on the domain.
Norm preservation follows from the unitarity of Lemma 5.10. Finally, anti-self-adjointness gives
Therefore this number is purely imaginary, and
□
Remark 5.13
(Treatment of the boundary-distribution comparison kernel). Section 4 constructed the singular-boundary distribution kernel
as a distribution kernel. This section does not reinterpret this kernel as an ordinary function kernel. What is used on the ambient stage is the constructed transport group , the generator , and their lifts. Therefore, statements concerning the boundary-distribution comparison kernel are to be interpreted within the scope of the distribution-kernel representation of Section 4.
5.3. Orthogonality of the Arithmetic Summand and the Singular-Boundary Component
We now import the arithmetic projector family from its canonical home in Section 3 and lift it to the ambient stage X. The sole purpose of this subsection is to show that these lifted arithmetic projectors are completely orthogonal to the singular-boundary projector lifted to the ambient stage in §Section 5.1. No zero-counting proposition, comparison theorem, or argument toward the conclusion is used here.
Definition 5.14
(Lifted arithmetic projectors on the ambient stage). For each , define the lifted arithmetic projector on X by
More generally, when
has finite support or belongs to , define
Here and still retain their canonical home on the coefficient Hilbert space of Section 3, and in the orthogonal-decomposition comparison, only their lifts to the ambient space,
are used.
Furthermore,
hold.
Theorem 5.15
(Orthogonality of the arithmetic projectors and the singular-boundary projector). For every ,
hold, and if , then
Furthermore,
holds.
More generally, if ϕ has finite support or belongs to , then
Proof.
First record the basic relations for the canonical embedding
By Definition 5.1, for ,
Thus its adjoint is projection onto the arithmetic component, and
Therefore
We now prove the laws for the projector family. Using (5.3) and Lemma 3.20, for any ,
Similarly,
If , then
because on . This proves the laws for the lifted projector family.
Next we prove orthogonality with . By Definition 5.2 and Theorem 5.5,
On the other hand, by Definition 5.14,
By Definition 5.1,
and hence
Since is the orthogonal projector onto , any vector orthogonal to belongs to . Thus
and therefore
For the product in the reverse order, take . Since
the relation in (5.3) gives
Therefore
This holds for all , so
The same argument applies to . Indeed, if has finite support or belongs to , then
so its range is again orthogonal to . Therefore
Conversely, since ,
Thus
This completes the proof. □
Remark 5.16
(Canonical-home discipline in the orthogonal-decomposition comparison). The projector family belongs, in its canonical home, to the coefficient-level arithmetic Hilbert space of Section 3. On the other hand, belongs, in its canonical home, to the singular-boundary subspace in this section. Their orthogonality is not the result of defining the same object twice. Rather, it is the result of importing these two objects into the ambient direct sum
and comparing their lifted ranges there.
5.4. Orthogonal Decomposition and the Localized Comparison Interface
We now collect the singular-boundary subspace and the arithmetic summand as an orthogonal decomposition of the ambient stage. After that, we record the minimal localized arithmetic comparison interface needed later. Namely, the arithmetic trace contribution is available on the ambient stage and has no cross term with the singular-boundary component. Even so, no conclusion theorem arises here.
Definition 5.17
(Arithmetic-summand projector and residual projector). Define the arithmetic-summand projector on X by
By Lemma 3.20, on ,
holds, so its lift to the ambient space satisfies
on X.
Define the residual projector by
When the standard notation is used, it denotes only the decomposition notation
It is not a new dynamical operator.
Theorem 5.18
(Orthogonal decomposition of the ambient stage). The operators
are mutually orthogonal self-adjoint projectors on X. More precisely,
and
Furthermore,
and
Equivalently,
Proof.
We divide the proof into four steps.
Step 1: The projector . By Definition 5.1, the embedding
is an isometry onto the closed subspace
Therefore
and hence
Also,
Thus is the orthogonal projector onto .
Its kernel is the orthogonal complement of the arithmetic direct-sum component, namely
Step 2: Orthogonality of and . By Theorem 5.5,
By Step 1,
But
so their ranges are orthogonal. Therefore every vector in belongs to , and every vector in belongs to . Hence
Step 3: The residual projector . By Definition 5.17,
Using (5.4) and
we compute
Similarly,
Thus is a self-adjoint projector.
Next we prove orthogonality between and the other two projectors. Using (5.4),
Similarly,
The same computation gives
Step 4: Identification of the range and direct-sum decomposition. The three projectors are mutually orthogonal and satisfy
Therefore their ranges give the orthogonal direct-sum decomposition
Since , this becomes
It remains to identify . Let . Then there exists such that
Since
we have
By (5.4),
Also,
so
Since is the orthogonal projector onto , this means that y is orthogonal to . Therefore
Hence
Conversely, let
Then , so
Also, since ,
Therefore
Thus
Hence
This completes the proof. □
Proposition 5.19
(Localized arithmetic side of the comparison interface). Let
have finite support. Then the lifted arithmetic operator
is trace-class on X, and
Furthermore, for any ,
Therefore the arithmetic trace contribution and the -component contribution have no cross term on the ambient stage.
Proof.
Since has finite support and is an arithmetic function, the pointwise product
has finite support and hence belongs to . Therefore
is trace-class on by Theorem 3.23, and its lift to the ambient space,
is also trace-class on X.
Next we compute its trace. Since and are bounded and is trace-class, cyclicity of the trace gives
But
so this becomes
Applying the arithmetic trace formula of Theorem 3.23, we obtain
Therefore
It remains to prove the disappearance of the cross term. Take . By Theorem 5.5,
On the other hand, by Definition 5.14,
But
and hence
Thus the arithmetic trace contribution and the -component contribution have no cross term on the ambient stage. This proves the proposition. □
Definition 5.20
(canonical comparison-quotient representative). For any representative of localized comparison data obtained from the finite-window explicit formula, define
and call it its canonical comparison-quotient representative. When two representatives satisfy
we say that they are equivalent as finite-window comparison data.
Definition 5.21
(finite-window comparison quotient). Localized comparison data obtained from the finite-window explicit formula are treated not as representatives themselves, but as quotient classes
modulo the residual component:
The quotient is equipped with the finite-window comparison norm
By the orthogonal decomposition of Theorem 5.18, this norm is represented by the canonical comparison-quotient representative:
On this quotient, define the arithmetic and singular-boundary projections by
Equivalently, define the effective finite-window comparison map
These definitions are independent of the representative. Indeed, for ,
and hence
Thus is an isometric identification
A finite-window comparison readout is called admissible if, after the common calibrated reference term has been separated, it has the form
where
are bounded linear readouts. The singular-boundary readouts represented by the boundary pairing of Section 4 give the -part, and the arithmetic trace readouts represented by Section 3 and Proposition 5.19 give the -part. The Archimedean and endpoint calibration terms are common reference terms and are therefore not X-readouts.
Every admissible readout descends uniquely to the quotient:
and satisfies the estimate
Lemma 5.22
(comparison quotient theorem: no finite-window comparison data loss). For , the following conditions are equivalent:
and
Consequently,
where the intersection ranges over all admissible finite-window comparison readouts. Thus is not an arbitrarily discarded component: it is exactly the common kernel of the readouts that occur in the finite-window comparison problem. The word “residual” refers only to the orthogonal complement of the finite-window comparison readout universe; it does not mean an uncontrolled remainder of the explicit formula. Replacing any representative by its canonical comparison-quotient representative preserves all finite-window comparison content.
Proof.
The orthogonal decomposition
gives the unique expansion
Hence if and only if the first two components of vanish, namely if and only if
This proves the equivalence of the first two conditions and also proves the isometric formula for .
Let
be an admissible readout. If , then
so
Thus every admissible readout factors through the quotient. The displayed norm estimate follows from Cauchy–Schwarz:
It remains to show that the readouts separate exactly the non-residual part. Suppose
for every admissible finite-window comparison readout. Taking and letting range over , the dual separation property of Hilbert spaces gives
Taking and letting range over , we likewise get
Therefore
The reverse inclusion follows from the factorization just proved. Hence
Finally, since
has the same -image as x, replacing x by preserves every admissible finite-window readout, including the arithmetic trace contribution and the singular-boundary -readout. This completes the proof. □
Definition 5.23
(finite-window logarithmic representative algebra and its coordinates). For , define the finite-window logarithmic representative space
Set
Thus an element of is a concrete logarithmic-side finite-window representative.
For , define its arithmetic coordinate by logarithmic sampling:
If , then
Hence
The centered boundary coordinate is defined from the same representative by the universal finite-window finite-part coordinate functional:
Equivalently, is the finite-part boundary distribution obtained by applying to the finite-window Mellin contour test generated by . This construction uses the finite-window comparison ledger only; it does not use another entire-function datum, , the central pairing equality, or any zero-location statement.
The central finite-window coordinate is the class of the same representative in the central pre-completion space:
Define the simultaneous null space
The finite-window test algebra is the quotient
For , choose a representative
The three coordinate maps on are induced by the representative maps:
and
These definitions are independent of the chosen representative because we have divided by the simultaneous kernel .
Thus a finite-window datum is not an abstract ledger carrying unrelated coordinates. It is the equivalence class of one concrete logarithmic representative , and the arithmetic, centered Mellin boundary, and central finite-window coordinates are all functorially obtained from that same representative.
For notational convenience, we also write
This is only a notational alias for the quotient test algebra. Throughout the sequel, denotes a finite-window quotient class, denotes its logarithmic representative, denotes a concrete arithmetic or open-band test function, and denotes a central-coordinate element. If a concrete is used as a finite-window datum, the actual datum is the quotient class
Proposition 5.24
(finite-window comparison decomposition and exclusive-complement principle). Let
be a finite-window test object represented by a logarithmic finite-window representative
Write its arithmetic coordinate as
All quantities below depend only on the quotient class , because the three coordinates are defined on . Let
denote the calibrated scalar of the classical explicit-formula ledger. Write
for the common Archimedean term together with the fixed finite-window reference term, and define the arithmetic finite-window contribution by
Then
Let
be the centered Mellin boundary finite-part coordinate of τ. Its realization on the Section 4 seam carrier is
Set
By Theorem 6.4, is the Riesz vector obtained from the concrete synthesis family ; it depends only on the total boundary distribution , not on any generator-level presentation of or on an auxiliary refinement of the finite window.
Choose M with . Let
be the fixed finite-part probe of Definition 4.162, and set
Here is the Gram-inverse finite-readout reconstruction map constructed from the quotient channel ; hence is determined by the fixed finite-part probe and the finite-dimensional readout Gram matrix, not by a desired comparison value. Define the finite-window singular-boundary readout by
and
This definition uses the fixed contour finite-part probe, the constructed transpose map , the Gram-inverse reconstruction map , the localized comparison interface, and the orthogonal projectors of Section 5. It does not define as the residual of the explicit-formula ledger functional, and it does not depend on a chosen decomposition of .
Then the following finite-window identity holds:
and
Consequently, after the common reference term and the arithmetic contribution have been removed, the remaining effective finite-window comparison content is represented uniquely by
Proof.
We give the proof in five steps.
Step 1: fixing the finite-window explicit formula on the common test algebra. Choose a logarithmic representative . The calibrated finite-window explicit formula attached to this representative class reads
Here is the common Archimedean/reference part, is the prime-power part read through the arithmetic coordinate , and is the centered Mellin boundary finite part read through the Mellin-boundary coordinate . The decomposition is a statement about the single finite-window test object , not about three unrelated data.
Step 2: arithmetic evaluation. By Proposition 5.19, applied to the finite-support arithmetic coordinate ,
Thus
is obtained without reference to the -component.
Step 3: construction-internal finite-window coordinate, comparison-independent realization, and reconstruction of the boundary finite part. Choose M with .
Step 3a: universal finite-part extraction and construction-internal finite-part coordinate. The finite-window comparison quotient first fixes the coordinate functional
by the contour finite-part rule
Equivalently, its boundary-distribution representative is
By Lemma 4.163, this coordinate functional uses only the finite-window contour convention, the logarithmic representative, and the fixed probes; it uses no completed zeta function, no logarithmic derivative of another entire function, no zero-location assumption, no central comparison equality, and no identity .
Step 3b: comparison-independent seam realization. The boundary distribution on the Section 4 seam carrier is obtained by the comparison-independent realization machine
Thus no another-function dependence is present in the finite-window coordinate functional or in the seam realization map; the latter is the fixed transpose of the smooth seam pullback.
Step 3c: fixed probe and Gram-inverse reconstruction. The scalar contour finite part is evaluated by the fixed finite-part probe
namely
Since and , this equals
Now set
By the Gram-inverse reconstruction theorem in Theorem 6.4,
Step 3d: LCI pairing. The Riesz definition of gives
Consequently
Thus the equality is a computation through the construction-internal finite-window coordinate functional, the fixed comparison-independent seam realization, the Gram-inverse probe reconstruction, and the concrete LCI synthesis formula. It is not a definition of as a residual of the explicit-formula finite-window functional, and it keeps the -side readout defined by the canonical comparison representative, not by any classical completed function.
Step 4: finite-window preservation and representation independence. Substituting the identities of Steps 2 and 3 into the finite-window explicit formula of Step 1 gives
Theorem 6.4 shows that , , and are functions of the total boundary distribution , not of a chosen finite generator expression. Lemma 5.22 then shows that passing to the canonical residual-free quotient preserves exactly the finite-window comparison content.
Step 5: exclusive complement and uniqueness. By definition,
The orthogonal decomposition of Theorem 5.18 gives
The orthogonality theorem
from Theorem 5.15 shows that the arithmetic term has no projection into . Since orthogonal projection onto the three summands of
is unique, the finite-window residual after the common reference and arithmetic terms have been removed is represented uniquely by
□
Remark 5.25
(Meaning of the word exclusive). The exclusive complement here does not assert
Indeed, by Theorem 5.18, in general there is a residual component
Exclusive means that the residual subspace is the common kernel of the admissible finite-window readouts of Definition 5.21 and Lemma 5.22. Passing to the canonical comparison-quotient representative is therefore not an extra deletion of data, but the isometric identification of the finite-window comparison quotient with
After exact arithmetic trace evaluation, the remaining non-reference comparison content is consequently limited to the -readout. Thus this paper does not identify zeros with -eigenvalues in advance, but obtains the -component from explicit-formula preservation, exact arithmetic trace evaluation, orthogonality, and the finite-window quotient that preserves exactly the comparison content.
Remark 5.26
(Role of the orthogonal-decomposition comparison framework). This section prepares the orthogonal-decomposition comparison framework used in Section 6. Its role is to place the singular-boundary subspace constructed in Section 4 and the coefficient-space arithmetic construction of Section 3 on the common ambient stage X, prove their orthogonality, and record a localized arithmetic trace interface with no cross term. The closure argument toward the conclusion begins only in Section 6.
6. Analytic Comparison and Finite-Window Closure
6.0. From the Finite-Window Comparison Quotient to Analytic Closure: Dependency Audit
In this section, the integrated stage constructed in Section 5 and the canonical comparison-quotient representative are fixed as the data package 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 finite-window comparison quotient, 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.
| Object | Constructed from | Does not use |
| finite-window contour convention | , , , RH | |
| finite-window contour convention, , finite-part probes | , , RH, zero localization | |
| , seam trace, transpose | -zeros, , | |
| finite readout Gram matrix | , , RH | |
| , , | , central equality, RH | |
| , finite-part readout | , explicit-formula ledger residual definition, determinant trace | |
| , trace calculus |
Definition 6.1
(comparison-quotient analytic data). The finite-window comparison-quotient 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 comparison-quotient 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
(origin 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, together with the centered Mellin boundary realization fixed in Definition 4.162. No additional zero-location datum 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, the boundary pairing, and the standard realization mapfor the centered Mellin boundary finite-part coordinates.
- 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 is obtained from the centered Mellin reflection by
and its descended involution on , the signed boundary-distribution comparison form, the Hilbert–Schmidt operator K, and the central finite-window test data of Section 6 are obtained from these data together with the intrinsic centered Mellin involution . 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 origin of the boundary distribution inserted into this component is fixed by , and the centered Mellin seam reflection is transported 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 represented by Section 2–5 and the classical centered Mellin boundary realization, and does not insert a zero-location assumption or a conclusion of the comparison as an datum. □
Remark 6.3
(Section 6 dependency audit: generator kernels and construction-internal finite-window coordinates). The transition to Section 6 imports no unconditional full-test-space unsmoothed generator kernel from Section 4. The generator-kernel datum is exactly the one recorded in Remark 4.131: regularized kernels, core-level unsmoothed limits, and pairings controlled by the comparison maps. Thus the determinant comparison is not conditional on the optional full-test-space limit of Definition 4.124.
Likewise, the finite-part coordinate used by the comparison is construction-internal. The singular-boundary machine is fixed without the classical completed function. Rather, is first fixed on the finite-window contour-coordinate space ; the fixed transpose map , the finite readout quotient, the Gram-inverse reconstruction , and the LCI synthesis then realize that coordinate inside the residual-free -component. None of these steps uses , a central pairing equality, RH, or a zero-location statement.
Before stating the extension theorem, we now construct the readout-synthesis family used by the localized comparison interface from the seam model itself. Let
The finite-window generator space is the free complex vector space
spanned by the generator-level boundary pieces that occur in finite-window data. A generator carries two pieces of data:
where is the boundary distribution generated by g, and is the comparison-quotient representative attached to the same generator. These define linear maps
and
For , let
and set
For ,
is the realized centered Mellin boundary finite-part distribution.
Choose finite index sets
large enough to dominate the seam-readout and lifted-test seminorms constructed below. For , set
For , define
and
We next define the readout-synthesis family. For each window M, fix a continuous seam readout extraction map
It reads a vector on the smooth seam carrier , transports it to the centered contour coordinate u through , and applies the finite-window cutoff. We write
The extraction is fixed by the seam model of Section 4 and satisfies, for the finite logarithmic seminorms used by ,
Thus this construction uses only; it does not read the arithmetic summand of .
Let
For , put and define the jet readout functionals
and
Their continuity follows from the previous estimate and the finite order of the central and endpoint jet functionals.
Choose contour-side jet-dual representatives
so that
and
Lift them to by the explicit extension operator of Section 4.10:
Now define, for ,
and
The family
is the concrete readout-synthesis family. It is built from
and is therefore fixed before is defined. For every there is a constant such that
For the bulk channel this follows from the continuity of and ; for the jet channels it follows from the continuity of the jet functionals and the fixed seminorms of the lifted dual tests.
We now construct the finite-window contour-readout reconstruction map by finite-dimensional linear algebra. Let
where , , and . The vectors are the finite list of bulk probes actually detected by the finite-window comparison interface in the window M. Define the readout-null subspace by
and set
This quotient is the finite readout channel actually visible from . Choose a basis
of . For each basis vector define a continuous functional on by
Let be its Riesz representative:
The corresponding Gram matrix is
The matrix is positive definite. Indeed, if , then
Pairing this identity with arbitrary gives
Since the form a basis after quotienting by , the functionals are linearly independent; hence for all i. Thus .
Define
and the finite contour-extraction map
With respect to the bases and , the matrix of is . Hence
For
define
Equivalently,
is the Moore–Penrose right inverse of on the finite readout channel. By construction,
Moreover finite-dimensional norm equivalence gives
The reconstruction identity used below is now a consequence of the Gram-inverse construction. For every ,
where is the common annihilator of in the test-function space. Hence, for every and every ,
Thus is not an extra right-inverse assumption: it is the Gram-inverse reconstruction map of the finite readout quotient detected by . If , the bases are chosen compatibly with the refinement map ; the two reconstructed vectors may differ only by a readout-null direction and therefore give the same pairing against every .
The admissible boundary-distribution space is the completion, modulo the common kernel of , of the finite-window span:
When it is viewed as a subspace of , only distributional limits with finite LCI-control seminorm are retained. Any Hilbertizable norm used below is chosen so that
Theorem 6.4
(well-defined localized comparison interface and seminorm estimate). Let . Define a linear functional on by
Then is bounded and hence has a unique Riesz representative
defined by
The definition is independent of the chosen generator-level presentation of T and of the auxiliary window M whenever the same finite-window representative is read in a larger window. Moreover, for every finite-window contour finite-part probe ,
Here is the Gram-inverse reconstruction map obtained from the finite readout quotient above. In particular, if
are two generator-level presentations of the same element of , then
Moreover,
Consequently extends uniquely to a continuous linear map
and the extended map satisfies
after taking the supremum over the finite set of seminorm types required by the chosen window system.
Moreover, the singular boundary trace of Section 4 is admissible with an explicit trace-to-LCI bound: there exist finitely many pairs and a constant such that
In particular,
Finally, for every finite-window generator g,
Proof.
For , each concrete synthesis channel satisfies
Hence, for ,
Thus is a bounded functional on the Hilbert space . It depends on z only through , because every synthesis channel was defined using . Therefore its Riesz representative lies in . This representative is, by definition, , and the same estimate gives the displayed norm bound.
For a contour finite-part probe , set . By the definition of the Riesz representative and by the Gram-inverse reconstruction identity proved above,
This proves the reconstruction formula.
For generator-level data, the contour finite-part readout profile, the jet-dual tests, and the lift are constructed from the same finite-window representative used to define and . Therefore, for every ,
Hilbert-space dual separation gives
Now let
and suppose . For every ,
Hence
which is the kernel inclusion
Thus two presentations of the same boundary distribution give the same comparison vector.
If the same representative is read in a larger window , then the cutoffs agree on the support of the representative and the jet-dual systems are chosen compatibly under the refinement maps of the quotient . Therefore the synthesized functional is unchanged:
Thus is independent of the auxiliary window.
The extension to follows from the same Cauchy argument as before. If is Cauchy for , then
so is Cauchy in the Hilbert space . The limit defines , and the same estimate proves independence of approximating sequence and continuity.
Finally, the singular trace estimate follows because is continuous from the Fréchet topology of to the distribution topology of , and because the LCI-control seminorms involve only finitely many . This gives
and hence the stated admissibility. □
Definition 6.5
(comparison-stage comparison-independent realization machine). For a finite window M, the boundary-level realization machine
was fixed in Definition 4.162. The comparison-stage realization machine is the composition
Thus, for any finite-window finite-part coordinate functional ℓ,
The map is comparison-independent in the following precise sense: after a finite-window coordinate functional ℓ is specified, its realization uses only the fixed seam pullback transpose, the finite readout quotient, the Gram-inverse reconstruction, and the concrete LCI synthesis family. It does not use , the central comparison equality, RH, or zero-location information.
Theorem 6.6
(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 concrete localized comparison interface of Section 5. Specifically, define
by
Then is well-defined, continuous, and linear, and it satisfies the explicit estimate
For a generator-level finite-window datum g represented by ,
Proof.
By Theorem 6.4,
is well-defined and continuous, and satisfies
The same theorem gives the trace estimate
Thus the composition
is a continuous linear map from to , and the displayed bound follows after renaming the finite family of seminorms and the constant. For generator-level finite-window data, the final statement follows from the compatibility
proved in Theorem 6.4. □
Definition 6.7
(singular-boundary test-to-comparison map). Apply the canonical residual-free projection to the map of Theorem 6.6, and define
Since , this projection is retained to make the residual-free nature explicit; on the range of it acts as the identity. In what follows, write
By the estimate for ,
and, in particular,
Lemma 6.8
(continuity, estimates, and residual-free property of ). The map
is continuous and linear, and there are finite seminorm families and constants such that
For every ,
holds. Moreover, if is a generator-level finite-window boundary datum, then
Proof.
By Theorem 6.6, is continuous and satisfies a finite seminorm estimate. Since the orthogonal projections are bounded on X,
is also continuous and satisfies the two displayed bounds. Moreover, because , and equivalently because
one has
Also,
The generator-level statement follows from
and the fact that is already residual-free. □
Definition 6.9
(operator-side finite-window readout and explicit-formula ledger functionals). Let
be the finite-window test algebra of Definition 5.23. Thus every finite-window datum is represented by a concrete logarithmic representative class
At this stage, is treated as a dense datum class for the distributional test spaces introduced in Section 6.1.
For , use the notation of Proposition 5.24:
The operator-side finite-window readout functional is defined first, independently of the explicit-formula ledger residual, by
This definition uses only the finite-window comparison quotient, the canonical comparison representative, the -projection, and the fixed finite-part readout probe. It contains no classical finite-window ledger datum, no divisor datum, and no datum from another entire function. It is not the determinant trace functional; the determinant trace identification is proved later.
Equivalently, if , then
The latter formula is only the realization of the already fixed construction-internal coordinate ledger on the Section 4 seam carrier.
The explicit-formula ledger functional is the common-term-removed functional
Equivalently,
in the arithmetic-side notation, where for any representative . On logarithmic-side local tests the same arithmetic part is represented by
With these definitions, Proposition 5.24 gives, already on ,
Thus the finite-window equality is a theorem imported from the finite-window comparison decomposition; it is not built into the definitions of and .
In Section 6.1, these functionals are realized as continuous functionals on
for local coefficient bookkeeping, and on
for the open-band equality. The central test family is introduced independently in Section 6.4.
Definition 6.10
(boundary-distribution comparison kernel and intrinsic determinant datum). Use the Gelfand triple of Section 4
and the map of Definition 6.7
In Section 6.3, after constructing the intrinsic centered Mellin reflection operator
the signed comparison-quotient 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, the determinant datum exported from this definition is only the intrinsic factor
The comparison function , obtained by adjoining the two explicit-formula ledger constants and , is introduced later in Definition 6.76. No value of , no derivative of , and no zero-location information is used in this kernel or intrinsic determinant datum.
Proposition 6.11
(comparison data from the finite-window comparison quotient). 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 destinations)The objects treated in the analytic closure part of Section 6 areand these are respectively defined as the residual-free singular-boundary functional, the classical finite-window residual functional after subtraction of the common Archimedean/reference and arithmetic finite-window terms, 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,
Therefore
The second assertion is the content of Proposition 5.24. 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.9 and 6.10. 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 comparison-quotient 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 a distributional equality on the relevant test object. On a finite-window quotient class it is written
whereas on an open-band concrete test it is written
Therefore, this section uses neither a half-value convention, pointwise boundary correction, nor heuristic contribution at the endpoints.
Definition 6.12
(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
6.1.0.3. Type convention for comparison data.
In Section 6.1–6.4 we keep four symbols separated. A finite-window datum is written
where is its logarithmic representative. A concrete comparison test in or is denoted by . When such a is used in the finite-window equality, the datum is
A central-coordinate element is denoted by . Accordingly, expressions such as in this subsection mean the continuous extension of the finite-window functional from to the concrete open-band test , whereas expressions such as occur only after passing to the central comparison space.
Definition 6.13
(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 comparison-quotient 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.
Definition 6.14
(projected finite-window comparison topology). Fix
and choose a cutoff
and define
Let
be the completion of
with respect to the seminorms
Thus a sequence converges in precisely when its ordinary Schwartz seminorms and the Schwartz seminorms of its projected open-band part converge. This topology is used only to pass between finite-window representatives and open-band tests; it is not the central Cauchy–Laplace topology of Section 6.4.
Lemma 6.15
(continuity on the projected finite-window topology). Let
For every choice
the finite-window functional , initially defined on quotient data , extends continuously to
Equivalently, for each bounded family in this topology there are constants and finitely many indices such that
Consequently, if in , then
Proof.
The finite-window functionals have two types of terms. The local and endpoint terms are controlled by finitely many ordinary Schwartz seminorms on the finite-window representatives, because their supports and local derivatives are fixed by the cutoff convention. The residual open-band terms are controlled after applying , since their comparison estimates are those of the open-band class . The two families of seminorms in Definition 6.14 are exactly these two controls. Hence the displayed estimate follows by summing the finitely many local, endpoint, and projected open-band bounds. The convergence statement is then immediate from continuity. □
Lemma 6.16
(cutoff convergence in the projected finite-window topology). Let
be the Fourier-projected finite-window approximant of an open-band test . Then, for fixed M,
as . Moreover,
as .
Proof.
The first convergence holds in the ordinary Schwartz topology because with all derivatives on expanding compact sets and . Since is a continuous Fourier multiplier on ,
in the same topology. These are exactly the two families of seminorms defining .
For the second convergence, in the Schwartz topology, and applying the same continuous projection gives
The projected seminorms converge by applying once more. Thus convergence holds in the projected finite-window topology. □
Lemma 6.17
(Fourier-projected finite-window exhaustion of the open band). Let
Choose
such that
Define the Fourier projection
Let be the finite-window cutoff in the logarithmic variable. For every
set
Then
Moreover, for each fixed M,
and
Consequently, by Lemma 6.15, for
one has
Thus the passage from finite-window quotient data to the open-band class is made through Fourier projection and not through the false assertion that compactly supported logarithmic tests are themselves strictly band-limited.
Proof.
Since , its Fourier transform is supported in . Hence
As , in the Schwartz topology. The multiplier is continuous on , and its image has Fourier support in . Therefore
in the Fréchet topology of .
For fixed M, need not be compactly supported. Multiplying by gives a genuine finite-window logarithmic representative, but this operation generally destroys strict band limitation. We therefore do not regard as an element converging in . Instead, the cutoff convergence is taken in : the ordinary Schwartz seminorms converge because with all derivatives on the fixed Schwartz function , and the projected seminorms converge because is continuous on . Lemma 6.15 then gives the displayed iterated limit. □
Remark 6.18
(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.19
(exact 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.20
(coefficient support of the total explicit-formula ledger and von Mangoldt lift). Let
denote the total explicit-formula finite-window ledger before the common Archimedean/reference term and the arithmetic term are subtracted. In the notation of Definition 6.9,
Then
Here is the smooth distribution representing the Archimedean term and the calibrated reference term, is the arithmetic distribution of Definition 6.19, and is the common-term-removed explicit-formula ledger residual of Definition 6.9.
The arithmetic singular support of the total ledger is therefore contained in
and the principal delta coefficient of the arithmetic part at is
Equivalently, if has support in a sufficiently small neighborhood of and contains no other prime-power positions, then
Proof.
The total finite-window ledger is, by definition,
The first term is represented on the logarithmic side by the smooth distribution . The arithmetic term is represented by the exact von Mangoldt distribution
whose coefficient at the prime-power position is, by Definition 6.19, . This gives
Since the smooth term has no singular support and the residual is used after the common arithmetic term has been removed, the arithmetic singular support of the total ledger is precisely the support carried by . Testing with a bump function isolating a single prime-power position removes all other delta components and yields the displayed identity. □
Theorem 6.21
(local arithmetic coefficient identification). The arithmetic singular part of the total explicit-formula finite-window ledger
is given at prime-power positions by the exact von Mangoldt lift. Namely, the arithmetic singular support is contained in
and the principal delta coefficient at each is
Proof.
This is a theorem-level summary of Lemma 6.20. The assertion concerns the total explicit-formula ledger before common-term subtraction. The residual functional used in the comparison is obtained only after the smooth Archimedean/reference term and the arithmetic von Mangoldt term have been removed. □
Lemma 6.22
(continuous realization of the explicit-formula ledger residual functional on the comparison tests). The explicit-formula ledger residual functional of Definition 6.9,
is realized, through its concrete representative , as a continuous linear functional on the following two types of test classes:
In particular, is well-defined on the test spaces required for the residual comparison.
Proof.
On , the total classical finite-window ledger acts as the ordinary local explicit-formula distribution. The smooth Archimedean/reference part is continuous on compact supports, and the arithmetic part is a finite sum on compactly supported tests. Therefore their difference,
is continuous on .
On the open-band class , the total finite-window explicit-formula functional, the common Archimedean/reference term, and the arithmetic trace term are all evaluated by continuous extension from the open-band coordinates of finite-window quotient classes. The compact Fourier support in a fixed open band controls these three components by finitely many seminorms of . Thus their difference is also continuous on . □
Lemma 6.23
(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, through its concrete representative , as a continuous linear functional on the following two types of test classes:
More precisely, for each fixed open band , there are finitely many defining seminorms on and a constant such that
An analogous finite seminorm estimate holds on on each fixed compact support set.
Proof.
For a finite-window test , let
be its realized boundary finite-part distribution. By Theorem 6.4,
The natural realization map of Section 4.10 is continuous with respect to the finite-window centered Mellin boundary seminorms. Hence, for finitely many seminorms on the centered Mellin boundary finite-part space,
For , the compact Fourier support in the fixed band and the finite-window contour construction control the latter seminorms by finitely many defining seminorms of :
Combining the preceding estimates gives
The singular-boundary readout defining is a bounded readout on the -component, so
This proves continuity on . The proof on is identical, with the usual compact-support seminorms replacing the open-band seminorms. The central logarithmic test family is handled later in Section 6.4 after the central comparison topology has been defined. □
Lemma 6.24
(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.12 is placed on . Lemma 6.22 and Lemma 6.23 state that and act continuously in this topology. The assertion follows. □
Lemma 6.25
(open-band comparison-quotient). Let . For every , the canonical comparison-quotient data satisfy
Proof.
First let be a genuine finite-window logarithmic representative and put
By Proposition 5.24,
Definition 6.9 gives
and
Substitution yields
Thus the equality on finite-window quotient data is a direct consequence of Proposition 5.24, not a definition of as the residual part of .
Now take an arbitrary
Choose
and construct
as in Lemma 6.17. For each fixed M and L,
so the finite-window equality just proved gives
Letting and using the continuity of the comparison functionals gives
Finally,
by Lemma 6.17, and Lemma 6.22, Lemma 6.23, and Lemma 6.24 give continuity on . Hence
The compact-support step and the band-limited step are therefore separated by the Fourier projection . □
Theorem 6.26
(distributional comparison theorem on the open band). Let . Then and are realized as continuous linear functionals on
and for every
one has
Proof.
The continuous realizations of and on were shown in Lemma 6.22 and Lemma 6.23. Their restrictions agree by Lemma 6.25. □
Theorem 6.27
(open-band comparison-quotient equality). For ,
holds.
Proof.
This is the equality part of Theorem 6.26. The assertion here is the comparison-quotient equality on open-band test functions whose Fourier support is contained in , and is used separately from the local coefficient identification of Theorem 6.21. □
Remark 6.28
(boundary band is not used in the open-band theorem). Theorem 6.26 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.2. Endpoint Stability Theorem
In this section, when connecting the open-band distributional equality obtained in Section 6.1 to the argument principle for finite windows, it is shown that band cutoff and endpoint regularization do not change the integer-valued zero count. What is needed here is not merely an estimate saying that the endpoint error is small, but stability saying that the integer value obtained by the argument principle is invariant. Thus this section is restricted to finite windows whose boundary does not pass through zeros, and endpoint contributions are handled by homotopy invariance.
Definition 6.29
(admissible finite window). Let G be a holomorphic function on . Let , and let be a bounded closed rectangle. Its positively oriented boundary is denoted by
This finite window is said to be G-admissible if
holds. Then, by compactness,
In what follows, when is clear, it is simply denoted by R.
Definition 6.30
(argument-principle count). Let R be a G-admissible finite window. Define
Since G is holomorphic in a neighborhood of R, the argument principle gives
In particular, when , write
Definition 6.31
(admissible analytic cutoff near a window). Let be a G-admissible finite window. Let be a family of holomorphic functions on an open neighborhood of R. This family is said to be an admissible analytic cutoff with respect to R if, for some integer ,
holds.
Then define the argument count after cutoff by as
provided that the right-hand side is defined, namely that has no zero on .
Definition 6.32
(endpoint cutoff term). Let R be a G-admissible finite window, and let be an admissible analytic cutoff with respect to R. When has no zero on , define the endpoint cutoff term by
Namely,
Lemma 6.33
(Sobolev trace control on the boundary). Let be a bounded Lipschitz neighborhood of R, and let . If
then
In particular,
Proof.
By the Sobolev trace theorem for Lipschitz boundaries, the restriction map
is continuous. Here is a one-dimensional piecewise smooth compact curve, and since ,
Therefore, by the one-dimensional Sobolev embedding,
is continuous. Hence
implies
□
Lemma 6.34
(boundary non-vanishing stability). Let R be a G-admissible finite window, and let be an admissible analytic cutoff with respect to R. Then, for all sufficiently large ,
holds. Moreover, for every ,
satisfies
Proof.
By Definition 6.29,
By Lemma 6.33,
Therefore, for sufficiently large ,
holds.
For such , for and ,
The assertion follows. □
Lemma 6.35
(homotopy invariance of the argument count). Let R be a G-admissible finite window, and let be an admissible analytic cutoff with respect to R. For sufficiently large ,
holds. Equivalently,
Proof.
By Lemma 6.34, for sufficiently large ,
has no zero on for every u. Therefore
is continuous with respect to . On the other hand, for each u, is holomorphic in a neighborhood of R, and has no zero on , so by the argument principle this quantity is an integer. A continuous integer-valued function is constant on an interval. Therefore the values at and are equal, and
By Definition 6.32,
also follows. □
Theorem 6.36
(endpoint stability theorem). Let be a G-admissible finite window, and let be an admissible analytic cutoff with respect to R. Then, for sufficiently large Λ,
In particular, when ,
Proof.
Applying Lemma 6.35 to G and gives, for sufficiently large ,
In the case , using the notation
gives the same conclusion. □
Corollary 6.37
(integer stability of endpoint cutoff term). Under the assumptions of Theorem 6.36, for sufficiently large Λ,
Therefore endpoint cutoff term does not change the zero count given by the argument principle inside the finite window.
Proof.
By Definition 6.32,
By Theorem 6.36, the right-hand side is zero for sufficiently large . □
Remark 6.38
(no zero-counting conclusion in this section). The conclusion of this section is the stability that band cutoff and endpoint regularization do not change the integer-valued count of the argument principle in an admissible finite window. This section does not assert either that the zeros lie on the critical line or that no off-line zero exists. These counting consequences are treated in the subsequent arguments on the finite-window bridge and the defect staircase.
6.3. Trace-ideal Determinant Theorem
In this section, using the compact-resolvent construction, the distribution-kernel representation of Section 4, and the Schatten-four sandwich estimate, 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.39
(reference spectral resolution). For the trace-ideal estimates in this subsection, write
where
is the Sobolev seam-chart regularizer constructed in Section 4.8 from
Thus is not the singular-boundary transport operator ; it is the positive compact-resolvent regularizer used only for trace smoothing and Schatten estimates.
The transported Sobolev scale is
and
The effective dimension, elliptic order, and Weyl exponent are fixed concretely by
For the Schatten estimates below set
Here is the threshold for , while is the Hilbert–Schmidt threshold.
The net trace-decay exponent and the actual comparison-trace smoothing exponent fixed in Section 4.8 are
Equivalently, in the present model,
In the trace-ideal estimates below,
is the trace used to define the comparison map. The raw restriction is used only to define this smoothed comparison trace.
At this point we neither assume nor claim
The information used downstream is instead
and the two-sided sandwich
Choose an orthonormal basis
of consisting of eigenfunctions of ,
The eigenvalues satisfy
for constants and . Moreover,
so the matrix coefficients are defined on the original boundary-test domain. For each , define
Then
Definition 6.40
(centered Mellin seam reflection). Let
be the centered Mellin boundary reflection induced by
On the smooth seam carrier , define the geometric seam reflection by
This is equivalently
Let
be the distributional pushforward induced by , extended by continuity in the boundary-distribution topology fixed in Section 4. Then, on realized finite-window boundary distributions,
holds as a consequence of the preceding commutative identity and of . Thus is the smooth-seam realization of the intrinsic centered Mellin involution . It is defined from the seam reflection and the transpose realization map, not from a completed-function datum, a divisor, or the location of zeros.
Lemma 6.41
(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 seam reflection satisfies
because . Taking distributional pushforwards gives
on finite-window seam distributions, and continuity extends the identity to .
The equality
implies
because . The centered Mellin boundary pairing is invariant under , and is invariant under . Therefore, for realized finite-window boundary distributions,
Density of the realized finite-window boundary distributions and continuity of the boundary trace topology extend the identity to all admissible boundary distributions. Boundedness follows from the same seminorm-preserving estimate on the dense seam-distribution class and the continuous extension. □
Lemma 6.42
(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. On the seam, is the smooth map , so derivatives and finite-order trace seminorms are transformed by the chain rule with uniformly bounded coefficients on each finite window. 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.43
(compatibility with admissible boundary data and comparison-quotient). The boundary reflection preserves the admissible boundary-distribution subspace:
Moreover, it is compatible with the finite-window comparison-quotient 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 data, , is the smooth seam reflection transported from the centered Mellin reflection by . The finite-window comparison identity is invariant under this reflection, and the canonical comparison-quotient 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.4, was defined as the closed subspace satisfying the uniform boundary estimate in the closure of finite-window boundary data. Since is bounded in the boundary-distribution topology by Lemma 6.42 and preserves the boundary pairing by Lemma 6.41, 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. □
Lemma 6.44
(finite synthesis form of the LCI readout). On a finite comparison window M, suppose the original localized comparison interface is given in the z-dependent readout form
where
is a finite-rank continuous probe operator. Then there are finitely many
such that
with the conjugation convention adjusted to the convention for the Hilbert inner product. Consequently,
is a finite synthesis form of the same finite-window LCI readout.
Proof.
Because each is finite-rank, its range has a finite basis . Hence
for continuous linear functionals on the finite-dimensional Hilbert space . By the finite-dimensional Riesz representation theorem, there are with
up to the fixed sesquilinear convention. Substitution gives
Since this holds for every z in the finite comparison range, the displayed finite synthesis formula follows. Thus the finite synthesis form is not a new definition of LCI; it is the Riesz decomposition of the displayed z-dependent readout formula. □
Lemma 6.45
(explicit Riesz probe from the LCI synthesis family). On each finite comparison window M, write the localized comparison interface in the finite synthesis form
Here is finite, and the vectors span the finite-window comparison range
For , define
where is the scalar dictated by the sesquilinear convention so that
for all T. With the convention that the X-inner product is linear in the first variable, this is simply . Then
The map is continuous because it is finite-rank.
If is a larger window and z is represented in both comparison ranges, then
annihilates all finite-window boundary distributions already visible in window M. Hence the Riesz probe is intrinsically an element of the quotient
After fixing the representative section already used in the finite-window readout construction, we denote this quotient class by
All pairings below are independent of the chosen representative.
Definition 6.46
(Riesz probe associated with the localized comparison interface). Let
For , the Riesz probe
is the quotient class constructed in Lemma 6.45. Choosing the fixed finite-window representative section, it is characterized by
This identity is therefore not an additional duality assumption: it is obtained from the concrete finite-window LCI synthesis formula and then extended by continuity.
For
define the boundary comparison form by
Then
Thus the equality between the boundary comparison form and the Hilbert X-inner product is a consequence of the finite-window Riesz construction of , not a normalization imposed after the fact.
Lemma 6.47
(kernel invariance of the comparison quotient). Let
Then
Consequently, the rule
is well-defined on the quotient comparison range.
Proof.
If , then by Definition 6.46,
The boundary reflection preserves the centered boundary pairing by Lemma 6.41, and the Riesz probe is transported contragrediently by the test-side pullback associated with . Hence
Using the Riesz identity again gives
so . Applying the same argument to gives equality of the two kernels. □
Lemma 6.48
(Riesz inner-product transport for the descended reflection). For
the Riesz transport identity is
Moreover, on the dense comparison range
the descended reflection satisfies
and
Thus the self-adjointness of the descended reflection is obtained by transporting the boundary pairing through the Riesz representation of .
Proof.
The first displayed identity is the defining Riesz identity of Definition 6.46, with . Hence
On finite-window boundary representatives, is the seam realization of the centered reflection . The centered finite-window pairing is defined to be invariant under this reflection before any final analytic identification theorem is used. The test-side probe is transported by the pullback dual to this reflection; equivalently,
on , where denotes the test-probe pullback. Consequently,
and similarly
The kernel invariance in Lemma 6.47 ensures that the displayed formulas are independent of the chosen admissible representatives . Since , , and the boundary pairing are continuous on the admissible closure, the identities pass from finite-window representatives to all . □
Proposition 6.49
(descent to the singular-boundary component). The boundary reflection descends to a bounded self-adjoint involution
on the residual-free -component. It satisfies
For every ,
Proof.
By Lemma 6.43 and Lemma 6.47, the rule
is well-defined on the projected comparison range. This range is dense in the component generated by the residual-free comparison interface.
By Lemma 6.48, this rule is isometric and symmetric on the dense comparison range:
It therefore extends uniquely to a bounded isometry
The identity gives . Hence
Since an isometry satisfies , we obtain
Finally, taking
and using
gives the displayed formula. □
Definition 6.50
(-signature operator). In what follows, the self-adjoint involution
constructed in Proposition 6.49 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 centered Mellin seam reflection after passage to the finite-window comparison-quotient -component.
Definition 6.51
(signed comparison-quotient -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.52
(signed comparison-quotient boundary-distribution comparison kernel). Define the signed comparison-quotient 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.53
(Hermitian symmetry of the signed boundary-distribution comparison kernel).
holds. Moreover,
In general, is not assumed.
Proof.
By Definition 6.52,
The only structural property used here is the self-adjointness
obtained in Proposition 6.49. Therefore
This gives
Taking , the value is real. No positivity of is used or asserted. □
Remark 6.54
(non-circularity of the construction of K). The construction of , , the signed boundary-distribution comparison kernel , and the operator K uses the intrinsic centered Mellin seam involution , the boundary distribution framework of Section 4–5, and the orthogonal projection structure of X. It does not use a completed-function datum, a divisor, a logarithmic derivative, or 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. The correspondence of this centered involution with the classical symmetry of the final target function is used only in the later target-identification stage.
Theorem 6.55
(quantitative Sobolev eigenvalue growth and Schatten-four summability of the reference operator). For the smooth-seam Sobolev reference operator fixed in Section 4.8 and Definition 6.39,
one has
Consequently, if
then
Proof.
By Section 4.8,
on the smooth compact carrier . The Neumann elliptic regularizer has effective dimension and order , hence the usual Weyl lower bound gives
Unitary conjugation by preserves the spectrum. For ,
Since , the exponent satisfies , and the displayed series converges. The finitely many terms do not affect convergence. □
Remark 6.56
(Schatten scale inherited from the smooth-seam Sobolev model). Theorem 6.55 is the only spectral-growth datum used in the Schatten-four sandwich construction below. The operator is the Sobolev regularizer attached to the smooth seam carrier, not a zero-detecting operator. It is fixed before is identified with , and it contains no information about the location of the zeros of . The trace-ideal argument uses only
together with the smoothed comparison trace and the -control estimate proved earlier.
In this section we do not derive
The Hilbert–Schmidt operator K is obtained by placing the one-sided factor in on both sides:
Theorem 6.57
(fixed trace-smoothing exponent and Schatten-four summability). Set
The exponent fixed in Section 4.8 and Definition 6.39 satisfies
Consequently,
and equivalently
Proof.
This is exactly the fourth-summability conclusion of Theorem 6.55. For a positive self-adjoint operator with eigenbasis ,
Thus the summability is equivalent to -membership.
No floating “sufficiently large” exponent is used below. The single exponent controls the net Schatten-four one-sided decay, while the actual comparison-trace smoothing order is
Here we do not assert
The membership is proved below by the two-sided -sandwich. □
Remark 6.58
(role of the upper bound ). The lower bound
is used to obtain
The upper bound
records that the construction does not use the former one-sided Hilbert–Schmidt route.
If one instead imposed
then the reference smoothing factor would be Hilbert–Schmidt, and the former one-sided route would force
Consequently
At the borderline , the sandwich estimate still gives the critical singular-value upper scale
which is too rigid for the intended genus-one determinant model. Therefore the exponent is fixed in the open interval
and is obtained only from the two-sided Schatten-four sandwich.
Lemma 6.59
(construction of the raw and smoothed singular-boundary comparison traces). The raw seam trace and the smoothed comparison trace are the two distinct operators
and
They are given by
and
where
Moreover,
is bounded and satisfies
Proof.
By construction in Section 4.8, was chosen so that the raw seam restriction followed by the admissible boundary embedding obeys
Since
the raw trace is a bounded map from into the -controlled admissible boundary-distribution space. The operator
maps boundedly into . Therefore
is bounded from to with the displayed -estimate. Multiplying on the right by the net decay factor
gives
Since
this is the same as
Thus the decay used below is a property of the smoothed comparison trace, not of the raw restriction alone.
The rightmost net decay factor
belongs to by Theorem 6.57. This lemma does not assert . □
Lemma 6.60
(boundary trace smoothing on the reference eigenbasis). There exists such that, for every ,
In particular, for the reference eigenbasis ,
Consequently, for any Hilbertizable admissible norm dominating the LCI-control seminorm,
Proof.
By Lemma 6.59,
and is bounded into the -controlled admissible boundary space. Therefore
For ,
which proves the eigenbasis estimate. The final inequality follows from the chosen admissible norm dominating . □
Lemma 6.61
(boundedness of the comparison extension). The continuously extended localized comparison interface
is bounded by the explicit LCI-control seminorm:
In particular,
Proof.
The displayed inequality is exactly the extension estimate in Theorem 6.4. The second inequality follows from the defining domination of the Hilbertizable admissible norm over the LCI-control seminorm. Thus this boundedness is a consequence of the explicit finite family of boundary dual seminorms, not a continuity assertion inserted after the fact. □
Theorem 6.62
(smoothing of the singular-boundary comparison map). There exists such that, for every ,
and hence
In particular,
Proof.
By definition,
Applying and using , we obtain
Therefore, by Lemma 6.61,
This proves the first estimate. The second follows by inserting Lemma 6.60. For , the eigenbasis identity
gives the stated decay estimate.
This eigenbasis estimate is not used to prove . In the revised route it is used through the factorization
with , so that only. □
Theorem 6.63
(Schatten-four sandwich estimate for the signed boundary-distribution comparison kernel). Set
and define
Then is bounded and
Moreover
The signed boundary-distribution comparison kernel is represented by
Consequently
and the estimate
holds.
Proof.
By Lemma 6.59,
The operator is bounded, and Lemma 6.61 gives the boundedness of in the -controlled seminorms. Hence
is a bounded operator from to .
Using
and , we obtain
Theorem 6.57 gives
Since Schatten ideals are stable under multiplication by bounded operators,
For , the defining signed kernel is
Thus the representing operator is
The middle factor is bounded and satisfies
By Schatten Hölder,
so
and
This proof does not use
does not prove , and does not imply . □
Remark 6.64
(equivalent Fan estimate). Let
Then , where is positive compact and
Fan’s inequality gives
Hence
This is the singular-value form of the Schatten-four sandwich proof.
Remark 6.65
(exclusion of trace-class collapse). In the revised route
is only placed in . The statement
is neither asserted nor used. Therefore the route
does not occur in the construction.
The determinant construction needs exactly
and that membership is supplied by
Proposition 6.66
(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,
and
The assertion is independent of the reference orthonormal basis.
Proof.
Theorem 6.63 gives the explicit operator factorization
with . Therefore
The norm estimate is the one proved in that theorem.
On the initial dense domain , this operator realizes the sesquilinear kernel
Since Hilbert–Schmidt operators are bounded and is dense in , the realization is unique by continuous extension. The -class is an operator ideal and is therefore basis-independent. □
Lemma 6.67
(Hermitian symmetry of the comparison-quotient 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.53. Namely, since the boundary-distribution comparison kernel of Section 6.0 is evaluated as the polarized kernel of Definition 6.52, it inherits the Hermitian symmetry coming from the inner product of the Hilbert space X. □
Theorem 6.68
(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.66, K closes uniquely as a Hilbert–Schmidt operator on . This Hilbert–Schmidt realization is obtained from the Schatten-four sandwich
not from the one-sided assertion . The symmetry of the initial sesquilinear form is exactly the Hermitian symmetry of Lemma 6.67. 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.69
(finite-rank compressions and central matrix readout). Let be the finite-rank projection of Definition 6.39, and set
Let
denote the ordinary finite-dimensional trace on . Define the finite-rank cutoff of the boundary-distribution comparison kernel K by
When is used inside , it is viewed as the self-adjoint endomorphism
and outside it is extended by zero. Thus is finite rank and
For w in the central disk on which is invertible, define
and the finite-dimensional boundary central matrix
Equivalently, since commutes with ,
The finite-rank boundary central functional is the trace of this matrix:
This definition uses only the compressed boundary-distribution comparison matrix ; it is not a determinant-side definition.
Lemma 6.70
(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.
Now
Thus, by the triangle inequality,
The right-hand side converges to zero as . Hence
□
Definition 6.71
(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.72
(first trace renormalization). In , the first trace term is removed by normalization. Indeed, in the range ,
Therefore
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.73
(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.70,
Moreover,
Therefore, for ,
and the exponential factor is uniformly bounded with respect to N and z. Hence
□
Lemma 6.74
(trace-power convergence). For each ,
Therefore
Proof.
in , and in particular also in operator norm:
Moreover, .
First, for ,
By the Schatten Hölder inequality,
and
Thus in .
For ,
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.75
(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.76
(intrinsically normalized determinant and final comparison scaling). Set
First define the intrinsically normalized determinant
The constants
are the central scalar and central logarithmic-slope constants of the classical explicit-formula ledger. They are not obtained from a classical finite-window ledger datum in the -side construction. Their identification with the corresponding classical finite-window central constants is made only in the final analytic identification step.
Define the comparison function by
Thus the zero set of is the zero set of the intrinsic determinant ; the exponential factor is zero-free and only restores the two central ledger constants after the determinant has been constructed.
Remark 6.77
(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.54.
Lemma 6.78
(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.73,
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.79
(coefficient transport for the regularized determinant). In a sufficiently small neighborhood of the origin, take the branch of
satisfying
Then, for each ,
Moreover,
Likewise,
Proof.
Since , there exists such that
By Lemma 6.73, 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 ,
Hence, for ,
Moreover, since there is no linear term,
□
Corollary 6.80
(coefficient transport for ). Set . In a neighborhood of the origin, take the branch of
satisfying
No completed-function value is used in this branch choice. Then
and for ,
Furthermore, the Taylor coefficients of
converge in each order.
Proof.
By Definition 6.76,
Therefore
Applying Theorem 6.79 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.79. □
Proposition 6.81
(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
one has
and this limiting coefficient is compatible with the calibrated coefficient comparison on the open band obtained from
in Section 6.1.
Proof.
The convergence follows immediately from Lemma 6.74. 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.82
(trace-ideal determinant theorem). The boundary-distribution comparison kernel candidate K of Section 6.0 is realized as
Moreover, the finite-rank cutoffs
satisfy
and
locally uniformly on compact sets in the z-plane.
The intrinsic determinant factor
is an entire function. The comparison-scaled determinant
is also entire, where and are the central scalar and logarithmic-slope constants of the explicit-formula ledger. At this trace-ideal stage no value of , no value of , and no zero-location datum is used. The later target-identification theorem identifies these two constants with the corresponding classical central constants. Moreover, the Taylor coefficients of are transported degree by degree from the finite-rank cutoffs.
Proof.
The fact that was shown in Proposition 6.66, whose proof uses the Schatten-four sandwich
The self-adjointness follows from Theorem 6.68. The Hilbert–Schmidt convergence of the finite-rank cutoffs follows from Lemma 6.70. The local uniform convergence of follows from Lemma 6.73. The definition and normalization of are given by Definition 6.76. The entireness of follows from Lemma 6.78. Finally, the degree-by-degree transport of Taylor coefficients was shown in Theorem 6.79 and Corollary 6.80. □
Remark 6.83
(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.84
(common holomorphic domain). Both and are entire functions on .
Proof.
That is entire was shown in Lemma 6.78. 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.85
(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
Therefore
Furthermore,
Thus, taking , the asserted estimate follows. This estimate gives
in the form of order at most 2. □
Lemma 6.86
(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.
Use the representation
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.87
(growth of the difference).
is an entire function of order at most 2.
Proof.
By Lemma 6.84, is entire. By Lemma 6.85, has order at most 2, and by Lemma 6.86, has order 1. Therefore the difference has order at most 2. □
Definition 6.88
(logarithmic germs at the central point). Set . By Definition 6.76,
and by Lemma 6.75,
Hence there exists such that
On this disk, define
by the branches satisfying
The equality of these two central constants is not part of this definition; it is invoked only at the target-identification step of the local analytic equality. For each , write the central logarithmic coefficients as
Definition 6.89
(central Cauchy–Laplace kernel). Take in Definition 6.88 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.90
(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 datum before the central finite-part subtraction. The cutoff function is fixed once and for all throughout the central comparison argument.
Definition 6.91
(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 , write the central jet coordinates as
and define
For each , write the endpoint jet coordinates on the cutoff transition annulus as
The endpoint functional is fixed by the cutoff scheme and is supported in
The endpoint singular transition is encoded, before either pairing is evaluated, by the finite-order differential normal form
The coefficients are fixed by the completed finite-window local normal form and by the chosen cutoff convention. They carry no side label •; the Archimedean/reference, arithmetic-trace, and singular-boundary endpoint contributions will be reduced to this single operator. More explicitly, after the rescaling , it may be written in the form
where the coefficient functions are fixed finite linear combinations of derivatives of . Thus the endpoint jet is also a finite, pre-pairing object.
The central finite-jet map is
given on representatives by
For the central Cauchy–Laplace kernel
one has the convergent expansion
Consequently,
Since near ,
for every fixed a. On the endpoint annulus,
so every endpoint jet of is an explicit finite combination of cutoff-transition derivatives and derivatives of .
The universal endpoint transition coefficients are defined by the cutoff commutator
By the Leibniz rule,
with the convention that an empty sum is zero. These functions are universal for the three sides and replace any side-dependent symbolic coefficient functions.
Definition 6.92
(central local normal form). In a fixed neighborhood of the central point, the central local singular principal part of the Archimedean/reference, arithmetic-trace, and singular-boundary sides is represented by one finite-order local differential normal form
The coefficients are smooth near and are fixed by the completed finite-window local convention and the central jet convention. They carry no side label. Since the finite-window cutoff satisfies near , no cutoff-derivative commutator occurs in the central local term.
Definition 6.93
(central principal-part jet functional). Let
be the finite central jet used by the Hadamard finite-part convention. The central finite-part extraction rule is the fixed linear functional
The coefficients are part of the central finite-part normalization and are fixed before the three pairings are evaluated. They carry no side label
Lemma 6.94
(explicit central jet coefficients). Let
be the common central local normal form of Definition 6.92. After enlarging the central jet order if necessary, assume . For each side
the central principal part is
where the coefficients are the side-independent finite sums
Equivalently, if
is the -dual central test basis, then
For the central Cauchy–Laplace kernel
the common central principal part is
Proof.
For each q,
Putting gives the displayed formula for . Since and have no side label, the resulting coefficient ledger is common to the Archimedean/reference, arithmetic-trace, and singular-boundary sides.
On the arithmetic side, there is no additional central prime-power singularity:
whereas the central band is chosen inside . On the singular-boundary side, seam realization and finite readout reconstruction preserve the central contour jet,
on the finite readout quotient channel. Hence all three sides apply the same functional
Finally,
follows from the Taylor expansion of . Substituting this jet into the common coefficient ledger gives the displayed equality of the three central polynomials. □
Definition 6.95
(principal-part space, jet-dual basis, and counterterm operator). 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 datum. The basis is chosen to be -dual:
where and are the standard coordinate vectors in the central and endpoint jet components. In particular, the cross-coordinates vanish.
For coefficient extraction in Lemma 6.98, set
These are not additional data. They are the embedded -dual test basis elements. Thus
and
Define the universal principal-part map
by
The associated finite-rank counterterm operator on the pre-completion finite-window space is
The jet-duality gives
and therefore
Thus the central counterterm associated with and the window M is the principal-part vector
and its embedded finite-window reference element is
No coefficient in is chosen from the values of
Definition 6.96
(finite-window central cutoff data). For and , the regularized finite-window central test datum is
Equivalently, using the embedded principal-part element,
The logarithmic-side representative of this regularized datum is
By the projection identity above,
The subtraction is an algebraic subtraction in the pre-completion finite-window test-datum space . It is not performed after applying either central pairing.
The data
fix the finite-rank operator and hence before the values of
are evaluated. Thus is a pre-pairing finite-jet operation and cannot encode the desired equality of the two pairings.
Definition 6.97
(central finite-window representatives as quotient finite-window data). For and , let
denote the logarithmic-side smooth representative of the regularized central finite-window datum
Equivalently,
where the second term means the smooth finite-window representative of the embedded principal-part reference element. By Lemma 6.98,
and
Thus is a finite-window representative whose common local principal part has already been removed on all three sides. Since both and the finite-jet reference element have finite-window support, there is a fixed constant depending only on the cutoff convention such that
With the present normalization of the cutoff, one may take . Hence
Define the central-to-finite-window representative map
by
By Definition 5.23, the three coordinates of are induced from the same representative :
and
Thus the boundary coordinate is not chosen independently; it is obtained by inserting the same logarithmic representative into the centered Mellin finite-window contour identity.
In particular,
and hence
For any central pairing symbol, we use the convention
Thus denotes the central coordinate of the quotient finite-window test object , while the actual datum to Proposition 5.24 is .
Lemma 6.98
(explicit endpoint transition coefficients and principal-part cancellation). For every , each side
has central and endpoint local-principal-part functionals
The central coefficients are extracted from the embedded central jet-dual test basis by
For the central Cauchy–Laplace kernel, define
Since near ,
Regular Taylor terms that are not singular principal parts are kept in the regular Archimedean/reference term and are not placed in .
For the endpoint part, let
and let
be the universal endpoint local differential normal form of Definition 6.91. The cutoff commutator has the explicit Leibniz expansion
where
Hence the endpoint coefficients are computed by the side-independent formula
Equivalently,
The central coefficients also agree:
Consequently, for every finite-window representative ,
where the single local coefficient ledger is
In particular,
Thus, for
one has
Proof.
The central extraction follows from Lemma 6.94 and from the -dual basis. The expansion
gives
Since near , the central jet of is the same. Differentiating
times at gives
Only the singular central principal part is entered into the counterterm; regular Taylor terms remain in the regular Archimedean/reference contribution.
For the endpoint part, all endpoint contributions are supported in
By Definition 6.91, the endpoint local normal form is the finite-order operator
Applying the Leibniz rule to gives
Since , this proves the explicit formula for
Evaluating the endpoint principal part on the endpoint-dual basis element
therefore gives
We now verify the three sides. On the Archimedean/reference side, the completed local factors and the finite-window endpoint convention reduce the endpoint singular term to the cutoff commutator of the same operator . Thus
Regular terms from the gamma factor, the -factor, and the -normalization that are not singular principal parts remain in .
On the arithmetic-trace side, the finite-window quotient construction gives
The prime-power sampling
is the regular arithmetic contribution. It does not create an independent endpoint singular normal form. The endpoint principal part comes only from the same cutoff transition convention; hence
On the singular-boundary side, the contour finite jet is transported by
and is read through the LCI synthesis family and the Gram-inverse reconstruction
These maps preserve the finite endpoint coordinates on the readout quotient channel. Consequently, the singular-boundary endpoint principal part is again the same cutoff-transition functional:
This proves the equality of the endpoint coefficients across the three sides. The equality of the central coefficients is obtained similarly by testing the central principal part on the -dual basis ; the arithmetic prime-power sampling has no additional singular support at , and the singular-boundary transfer preserves the contour central jet. Hence the three central extractions yield the common .
Thus all three local principal parts factor through the same ledger
Finally, Definition 6.95 gives
Therefore
for all three sides. Taking gives the asserted statement for .
The calculation uses only the fixed cutoff , the central kernel , the finite jet maps, the seam realization maps, and the LCI readout synthesis. It does not use a central pairing equality, , zero localization, or the Riemann Hypothesis. □
Lemma 6.99
(seminorm control of the finite-jet counterterm). 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 finite-jet counterterm is a continuous finite-rank operator 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-datum 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 for . □
Remark 6.100
(the counterterm does not encode the comparison equality). The finite-jet operator
and the counterterm
are fixed before the two central pairings are evaluated. They depend only on the fixed cutoff , the central kernel , the finite-jet map , and the universal principal-part map . They do not depend on the values of
and therefore cannot encode the central comparison-quotient equality. The operator is only a pre-pairing algebraic removal of the common local principal part.
Equivalently, Lemma 6.98 writes the three local principal parts as
with a single coefficient ledger . The counterterm kills this common ledger because
not because either central pairing has been evaluated.
Definition 6.101
(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 data
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.107.
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.102
(central Cauchy–Laplace comparison subspace). Let be the central radius used below. The central Cauchy–Laplace comparison subspace is
For a compact set and an integer , set
Only this closed Cauchy–Laplace subspace and its finite derivative levels are used for the central pairing argument. No continuity assertion on the whole ambient space is required for the proof of the determinant identity.
Definition 6.103
(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.101; in that case denotes its unique limit in the completion .
For the central kernel , the corresponding finite-window family is precisely
of Definition 6.96. 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 represented by a separate convergence statement.
Remark 6.104
(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 explicit-formula side, in Lemma 6.142 and Lemma 6.108.
Definition 6.105
(central Cauchy–Laplace test family). For , the central Cauchy–Laplace test datum 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.107. 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.106
(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.101 control finitely many w- and u-derivatives uniformly on compact subsets of . By Lemma 6.107, 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.107
(finite-window approximation of the central kernel). For every compact set
set
For every and every , there is a function
such that, for all ,
Hence the finite-window central test data of Definition 6.96 form a Cauchy family in . Its limit is denoted by
and
locally uniformly for . Equivalently,
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 . Put
For and , direct differentiation of
gives constants and an integer such that
Consequently
Define
Then . This gives the tail estimate
On the transition annulus , each derivative of contributes a factor . The same exponential tail bound therefore gives
Thus the raw cutoff family is Cauchy in every defining seminorm.
It remains to check that the finite-jet subtraction preserves this Cauchy estimate. By Lemma 6.99,
for finite-window families . Applying this to the raw cutoff difference and using the preceding tail and transition estimates for the finitely many seminorms on the right gives
after increasing to dominate the finitely many seminorms involved. Combining the raw cutoff estimate and the finite-rank counterterm estimate yields the displayed Cauchy estimate for
Since is the completion of the finite-window space with respect to these seminorms, the Cauchy family has a unique limit, denoted . Passing in the Cauchy estimate gives the stated convergence to the limit. The estimates are uniform on B and include the w-derivatives present in the defining seminorms.
Only the cutoff , the kernel , the finite-jet operator , and the seminorms of enter the proof. No value of
is used. □
Lemma 6.108
(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 explicit-formula ledger residual distribution of Definition 6.9, with the common Archimedean/reference and arithmetic finite-window parts treated by the universal central counterterm. Namely,
Proof.
Since is entire and
taking sufficiently small gives for . Write the Hadamard product in normalized form at the central point and take the difference of logarithmic derivatives
Taking the central logarithmic-difference form cancels the constant factor and the central value of the linear exponential factor. The remaining completed explicit-formula expression is then split, exactly as in Definition 6.9, into the common Archimedean/reference contribution, the arithmetic von Mangoldt contribution, and the explicit-formula ledger residual contribution. The first two components are the universal local principal parts removed by the central counterterm fixed in Definition 6.96; after this common subtraction the finite part is precisely the residual pairing with .
The Cauchy–Laplace kernel corresponding to the 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 and by applying the common central counterterm, the identical divergent principal parts are cancelled. The operator in Definition 6.103 is the linear regularization realizing this finite-part residual pairing. Therefore
holds. □
Lemma 6.109
(central transform of ). There exists such that, for ,
The data are only the central Cauchy–Laplace kernel of Definition 6.89, the regularization operator of Definition 6.103, 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.
By Lemma 6.108,
By Definition 6.105,
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.110
(Hilbert–Schmidt continuity of the central determinant transform). Let . For , define
Then
where the trace is a trace-class trace. Moreover, if and
then, after fixing any compact set
one has, for every ,
In particular the map
is continuous from the Hilbert–Schmidt topology to the topology of locally uniformly convergent holomorphic functions, with finitely many w-derivatives, on the central disk.
Proof.
The standard differential identity for gives
Since
we obtain
This is well-defined because and is bounded.
It remains to prove the continuity assertion. Put
For sufficiently close to A in , the resolvents and are uniformly bounded on B. Then
The trace-ideal inequality gives
The resolvent identity gives
and hence
Therefore
The same argument applied after differentiating the resolvent identity finitely many times gives
This proves the asserted convergence. □
Lemma 6.111
(finite-rank determinant and boundary central compatibility). Let , , , , and be as in Definition 6.69. Define the determinant-side finite-rank central functional separately by
Then, for w in a sufficiently small central disk,
More explicitly,
If
are the nonzero eigenvalues of the self-adjoint matrix , counted with multiplicity, then
In the smaller disk , this is equivalently the finite matrix trace-power expansion
Moreover,
defines the determinant-side limiting central functional, and for every compact and every ,
Equivalently, the finite-rank boundary matrix traces converge to the same trace limit:
This statement defines only the determinant-side trace limit. Its identification with the finite-part realized functional is proved separately in Theorem 6.141.
Proof.
The proof is finite-dimensional until the final limiting step.
First, by Definition 6.69,
Since
we also have
Second, the determinant-side finite-rank functional is computed independently. In finite dimension,
Therefore
The last expression is exactly the boundary-side finite matrix trace above. Thus
This is a finite-dimensional trace identity; the determinant side has not been used to define .
Third, diagonalize the self-adjoint matrix . There is a unitary such that
Consequently,
Taking the finite-dimensional trace gives
Zero eigenvalues do not contribute. Since finite-dimensional trace is invariant under unitary conjugation, the boundary central value is independent of the chosen reference basis.
If , then
and therefore
This connects the finite-rank boundary readout with the trace-power coefficients of Section 6.3.
Finally, by Lemma 6.70,
Lemma 6.110 therefore gives
locally uniformly with all finitely many w-derivatives on the central disk. This is precisely the convergence of to .
The same resolvent estimate applies to the boundary-side central matrix trace, because it is the trace-class expression
in finite rank and its Hilbert–Schmidt limit is
Thus, for every compact and every ,
The right-hand side tends to zero. Since the finite-rank boundary functional and the finite-rank determinant functional agree for every N, their trace limits agree on the central Cauchy–Laplace family. The identification of this trace limit with the finite-part realized is not imposed here; it is the content of Theorem 6.141.
This finite-dimensional calculation is performed before any comparison with the explicit-formula ledger functional, and uses only , the compressions , finite-dimensional trace identities, and the Hilbert–Schmidt continuity of the central determinant transform. □
Definition 6.112
(finite-dimensional R-side lift of the central finite-window regularization). Let
be the central finite-window regularization on logarithmic representatives. Instead of assuming a global continuous section of an infinite-dimensional trace map, we use only the finite-dimensional central channel visible in the M-th window.
Let
be this finite-dimensional central trace-readout space. Choose a basis
adapted to the central jet and regular finite-window channels, and choose R-side test representatives
such that
Since is finite-dimensional, the section
defined by
is continuous and satisfies
Define the R-side lift of the central regularization by the type-correct formula
Thus the central regularization is first read in the finite-dimensional central channel and then lifted back to R-side test functions. In the finite-window construction below, this lift is placed between the bounded pre-trace channel and the fixed one-sided Schatten-four smoothing factor. No infinite-dimensional splitting theorem is used here; the lift is the explicit finite-window section determined by the displayed jet-dual and regular readout representatives.
Definition 6.113
(finite-window compressed boundary operator). For the regularized finite-window central datum
define the finite-window localized comparison interface by the type-correct formula
Thus the central regularization is inserted between the bounded pre-trace operator and the fixed one-sided Schatten-four smoothing factor . In this definition, the finite-rank lift is used through its continuous extension to the smoothed range , with the estimates measured after the bounded pre-trace channel . With
we have
The finite-window finite-part realized boundary kernel is
By the same trace smoothing and Schatten-four sandwich estimates used for , this kernel is represented by a self-adjoint Hilbert–Schmidt operator
For the finite-rank projection used in Section 6.3, set
Thus is the finite-rank compression of the finite-window finite-part realized boundary kernel before any determinant is formed.
Lemma 6.114
(intrinsic finite-readout stability). Equip the finite readout quotient
with the intrinsic quotient Hilbert norm
Then the Gram-minimal reconstruction
satisfies
Moreover, for every compact and every finite derivative order m, the readout vectors produced by the central Cauchy–Laplace comparison family satisfy
with independent of M.
Proof.
The first identity is the standard minimal-norm property of the Moore–Penrose right inverse on the finite-dimensional quotient channel. The quotient norm is defined precisely so that the norm of the minimal preimage equals the quotient norm.
For the uniform estimate, use the already constructed finite-window realized vector representing the same intrinsic readout. Its coordinate-ledger expression passes through the seam transpose, finite readout, R-side lift, and localized comparison interface. It satisfies
Therefore
The R-side lift is finite-dimensional on each window by Definition 6.112, the LCI estimate is continuous by Theorem 6.4, and the Cauchy–Laplace seminorms defining were chosen to dominate the central finite-jet, endpoint, and regular readout channels. Hence
with independent of M. This proves the claim without estimating the coordinate norm of the Gram inverse separately. □
Definition 6.115
(weighted uniform finite-window comparison seminorms). For , , and an integer , define the weighted finite-window seminorms
and, after applying the cyclic realization,
These seminorms are added to the Cauchy–Laplace comparison topology only to record uniform finite-window stability; they do not change the scalar/cyclic compatibility statements, which are pullback statements on .
Lemma 6.116
(uniform finite-window stability of the comparison realization). There exists an integer such that, for every compact and every , the finite-window realization maps satisfy
and similarly for the cyclic realization . Equivalently, these maps are uniformly continuous with respect to the weighted seminorms of Definition 6.115 for .
Proof.
The Gram-minimal reconstruction has norm 1 for the intrinsic quotient readout norm by Lemma 6.114; hence no coordinate small singular value of the finite Gram matrix enters the estimate. The finite-window section in Definition 6.112 is built from finitely many central jet-dual and regular readout representatives. Differentiating the cutoff gives factors , while the possible increase of support length and the finite number of representatives are polynomially bounded in M. Thus the R-side lift is bounded by times a finite list of central, endpoint, and regular readout seminorms.
For the cyclic realization, the ℓ-fold channel is controlled by the same finite-window readout norms and by
On , after shrinking r once, the weighted seminorms dominate the resulting normally convergent Neumann majorant. This gives the displayed -control. Choosing any in Definition 6.115 absorbs this growth, since
Thus the supremum over M in the weighted seminorms is finite, which proves the uniform stability statement. □
Lemma 6.117
(uniform pre-determinant continuity of the operator-side finite-window readout). Let
be the operator-side finite-window readout functional of Definition 6.9. For every compact set and every integer , there are finitely many seminorms on and a constant , independent of the finite window M, such that every Cauchy–Laplace finite-window family satisfies
This estimate is obtained before the determinant-side trace formula is used.
Proof.
By Definition 6.9, is defined on a finite-window comparison class by
Thus its construction starts from the canonical representative in the finite-window comparison quotient, not from a previously formed ledger difference.
For estimates we use the equivalent intrinsic realization of the same -projected representative:
Here is the intrinsic finite-window coordinate ledger fixed in Section 4.10. It is not a residual of the explicit-formula ledger and carries no data from a final completed target.
The realization path used only for this estimate consists of the continuous maps
The only point at which a coordinate Gram inverse could appear is the reconstruction . Lemma 6.114 replaces coordinate control by the intrinsic quotient readout norm, and Lemma 6.116 records the weighted finite-window seminorm estimates needed for uniform M-control on the Cauchy–Laplace comparison family.
The seam transpose, the finite-dimensional R-side lift, the localized comparison interface, and the projection are continuous with respect to the finite list of seminorms defining . Taking the maximum over the central finite-jet, endpoint, and regular readout channels gives the displayed estimate.
No determinant-side representation, no identity , and no zero-location statement is used in this continuity estimate. □
Definition 6.118
(finite-window restriction of the finite-part realized functional). For each finite window M, define
as the restriction of to the regularized finite-window central family:
This definition is a restriction of the finite-part realized functional; it is not a determinant-side definition.
Definition 6.119
(type firewall: scalar finite-window realization and universal coefficient space). The ordinary scalar finite-window central test used by the explicit-formula ledger comparison is denoted by
Likewise,
denotes the scalar finite-window restriction of the finite-part realized functional. The explicit-formula ledger scalar finite-window functional is denoted by
and is defined by restriction of the already constructed scalar explicit-formula ledger residual functional:
for every scalar finite-window central Cauchy–Laplace datum . Thus is only a notation for the scalar finite-window restriction of , not an additional explicit-formula ledger datum.
For , let
be the Fréchet space of coefficient families
which converge locally uniformly on , together with all finitely many w-derivatives. Its distinguished universal Cauchy–Laplace coefficient family is
where is the ℓ-th universal coefficient vector. This object is a coefficient object only; it is not yet a scalar central test and not yet a cyclic tensor test.
Definition 6.120
(finite-window cyclic central comparison channel). For each finite window M and each integer , let
be the finite-window cyclic central test channel generated by ℓ-fold ordered readout tensors of the comparison-quotient boundary comparison interface. Its elementary tensor product is denoted by
For a central disk of radius , define
as the space of coefficient families
such that
for the cyclic readout seminorms induced by the finite-window comparison topology. The cyclic Cauchy–Laplace finite-window realization is the coefficient family
Thus the symbols are not introduced by the desired trace value; they are the coefficient tests in the cyclic central comparison channel. The scalar central test and the cyclic coefficient family are kept distinct until the scalar–cyclic realization compatibility theorem below identifies them as two realizations of the same universal coefficient object.
Definition 6.121
(type firewall: scalar and cyclic realizations of the universal Cauchy–Laplace family). For each finite window M, define two continuous realization maps
where
is the ordinary scalar Cauchy–Laplace comparison subspace. They are defined coefficientwise by
where is the ℓ-th scalar finite-window coefficient of the regularized central Cauchy–Laplace family and is the corresponding cyclic coefficient test in . Equivalently,
and
The scalar realization is the ordinary regularized central Cauchy–Laplace test used by the explicit-formula ledger Hadamard transform. The cyclic realization is the tensor-channel coefficient family used to read the K-side cyclic traces. These maps record a type distinction; they do not identify the two codomains.
Definition 6.122
(matrix-coefficient central test). For , define
by
Here
is the finite-window boundary-to-central matrix readout constructed explicitly in Definition 6.123. Thus is obtained from finite readout coordinates, Gram/Riesz data, and the localized comparison interface; it is not a test chosen to force a prescribed matrix coefficient.
Definition 6.123
(explicit boundary-to-central matrix readout). Let
be the finite comparison range of the finite synthesis form
Choose a basis of , let
and, consistently with the convention that the first Hilbert-space variable is linear, set
Let
be the central matrix-coordinate test obtained from the finite central readout coordinate basis and its Gram inverse, normalized by
Equivalently, in a fixed finite central coordinate basis ,
For
define
This conjugation placement follows the convention fixed in Definition 2.1, namely that the first Hilbert-space variable is linear. The displayed formula is the definition of .
Lemma 6.124
(explicit boundary-to-central matrix readout identity). For ,
is a well-defined finite-window central readout test and
This identity follows from the finite readout coordinate construction and the Riesz representation of the localized comparison interface; it is not a defining property imposed on .
Proof.
By construction of the coordinate tests,
Pairing this coordinate identity with the finite-part realized functional means, via the finite synthesis representation of and the Riesz probe identity of Lemma 6.45, that
Indeed, the tensor extracts the i-th dual coordinate of the first comparison vector and the j-th coordinate of the second, and the Riesz synthesis converts this coordinate contraction into the X-inner product matrix entry. Therefore
The construction is finite-dimensional, hence continuous and independent of the chosen basis after evaluation. □
Lemma 6.125
(matrix-coefficient readout identity). For all ,
Equivalently,
Proof.
Set
By Definition 6.122,
Lemma 6.124 gives
which is the displayed identity. The second equality is the definition of as the Hilbert–Schmidt representative of the finite-window boundary kernel. Thus the matrix coefficient is obtained from the finite readout coordinate construction and the LCI/Riesz synthesis, not by imposing the desired value. □
Definition 6.126
(cyclic readout tensor product). For matrix-coefficient tests , define
to be their ordered cyclic readout tensor. The ℓ-fold finite-part lifted functional
acts by
This is a tensor lift of the finite-window readout. It is not a multiplicativity assertion for a scalar distribution and does not claim that is multiplicative on ordinary products of scalar test functions.
For a cyclic coefficient family
define the cyclic finite-part functional by
whenever the defining cyclic seminorm series converges. Thus is a tensor-channel functional, while is the ordinary scalar finite-window functional.
Lemma 6.127
(scalar coefficient realization and cyclic tensor-lift compatibility). For each finite window M and every integer , the scalar finite-window coefficient of the already constructed finite-part realized functional is determined by the finite readout kernel before the cyclic tensor channel is used:
Independently, the cyclic tensor coefficient satisfies
Consequently the scalar finite-part realized functional and its cyclic tensor lift define the same pullback functional on the universal central Cauchy–Laplace coefficient space:
Equivalently, for the distinguished family ,
Thus the compatibility is not obtained by declaring the scalar and cyclic codomains to be equal; both sides are first evaluated, coefficient by coefficient, against the same finite-window readout kernel.
Proof.
Fix M and . Let , and choose an orthonormal basis of . Put
By Lemma 6.125,
This is the only datum used from the scalar finite-part functional.
Let
denote the -truncated scalar coefficient obtained by restricting the ordinary scalar Cauchy–Laplace coefficient to the finite central readout ledger
of Definition 6.123. The ledger is fixed by the finite central coordinate tests and the Gram/Riesz reconstruction before any determinant trace is introduced. Its coefficient contraction gives
where and . This identity is a finite matrix-coordinate consequence of the scalar readout ; it is not a multiplicativity statement for the ordinary scalar distribution.
Since , the compressions satisfy
For , the standard trace-power estimate gives
The scalar coefficient construction is continuous in the finite-window central comparison topology, and the finite central readout ledger exhausts . Hence
The cyclic coefficient is evaluated separately. For the same finite-rank cutoff, the ordered cyclic tensor
is evaluated by the tensor lift as
Passing again to the Hilbert–Schmidt limit gives
Thus the scalar coefficient and the cyclic coefficient are not identified with each other directly; they are both independently evaluated as the same trace power of .
Finally, if
normal convergence in the defining Fréchet topology and the estimate
allow coefficientwise summation. Therefore
This proves the pullback equality on , and in particular on the distinguished family and its finite w-derivatives. □
The comparison below is not an equality in either codomain. It is an equality after pullback to the universal coefficient object .
Theorem 6.128
(pullback-only scalar–cyclic compatibility; no codomain identification). For every finite window M, the scalar realization and the cyclic realization are two realization functors of the same universal central Cauchy–Laplace coefficient family:
Moreover, on the K-side alone, the scalar finite-window finite-part functional and its cyclic tensor lift determine the same pullback functional on :
Thus the scalar and cyclic codomains are not identified directly; only their pullbacks to the common universal coefficient object are compared.
Proof.
The first assertion is the definition of the two realization maps in Definition 6.121. The second assertion is the strengthened coefficientwise statement of Lemma 6.127: the scalar coefficient is first evaluated through the finite central readout ledger and the matrix-coefficient identity, the cyclic coefficient is evaluated through the ordered tensor contraction, and both give . Hence the compatibility is internal to the finite-part realized K-side and does not involve the explicit-formula ledger functional. □
Theorem 6.129
(finite-window comparison-quotient on the universal coefficient space). For every finite window M, the finite-window comparison-quotient is the following equality of scalar pullback functionals on :
on the Cauchy–Laplace family and its finite w-derivatives. Combining this with Theorem 6.128 gives the type-correct mixed comparison
Thus the K-side cyclic tensor value and the explicit-formula ledger scalar value are compared only after pullback to the same universal coefficient object.
Proof.
The first displayed identity is the finite-window comparison-quotient equality transported to the universal coefficient space through the scalar realization . Here is the scalar finite-window restriction of , while is the scalar finite-window restriction of the already constructed finite-part realized functional. The second displayed identity follows by substituting the K-side scalar–cyclic pullback equality of Theorem 6.128. No direct equality between elements of the scalar and cyclic codomains is used. □
Definition 6.130
(finite-rank cyclic coefficient tests). Let and let
be an orthonormal basis of . Set
so that
For , define
The definition is basis-independent after evaluation, because the evaluation is the finite-dimensional trace of the compression .
Lemma 6.131
(explicit finite-rank cyclic coefficient identity). For every M, N, and ,
Proof.
By Definitions 6.126 and 6.130,
where . This is exactly the matrix trace of on . □
Lemma 6.132
(existence of the infinite-rank cyclic coefficient test). For each M and , the sequence
is Cauchy in . Its limit is the cyclic coefficient test
used in Definition 6.120 and Lemma 6.127. Moreover,
Proof.
Because in , for every ,
Indeed,
and the standard telescoping estimate gives, for Hilbert–Schmidt ,
The cyclic seminorm on was defined to dominate precisely these finite cyclic contractions. Hence is Cauchy and its evaluation converges to . □
Lemma 6.133
(cyclic Cauchy–Laplace expansion). After shrinking if necessary, for every ,
in . The convergence is locally uniform in w, with all finitely many w-derivatives.
Proof.
The -central Cauchy–Laplace kernel has no contribution and the first-trace term is removed by the common central counterterm. Thus the regularized finite-window family is represented by the cyclic coefficient sequence displayed above. The seminorm estimate
follows from Lemma 6.132. For , the resulting geometric majorant gives normal convergence, and differentiating in w only multiplies the ℓ-th term by a polynomial in ℓ, which is still dominated after shrinking r. □
Lemma 6.134
(finite-window readout-kernel representation of ). For each finite window M, after shrinking if necessary,
for . Equivalently,
The convergence is locally uniform in w, with all finitely many derivatives.
Proof.
By Lemma 6.133,
in the cyclic central comparison channel. Applying the cyclic finite-part functional term by term gives
where the last equality is Lemma 6.132. The Neumann expansion
then gives
This proves the finite-window readout-kernel representation. The proof constructs in the cyclic tensor channel and evaluates it by the matrix coefficient identity; it does not define by the desired trace value, does not identify scalar and cyclic codomains directly, and does not use the determinant. □
Lemma 6.135
(finite-window finite-rank cyclic contraction identity). Let be as in Definition 6.113. For an orthonormal basis of , set
For , define the finite cyclic contraction
Then
Consequently, for , the finite-window finite-rank finite-part readout
satisfies
The left-hand side is defined by cyclic contraction of the finite-part realized boundary kernel; the determinant is not used in its definition.
Proof.
The equality
is the standard finite-dimensional matrix trace formula written in the orthonormal basis . For , the Neumann series gives
Multiplying by and taking the trace yields the asserted identity. □
Lemma 6.136
(finite-rank approximation of the finite-window finite-part functional). For each M, in . Hence, for every compact and every integer ,
as . Equivalently,
locally uniformly in w, with finite w-derivative control.
Proof.
Because strongly and ,
For and ,
Applying this with , , and using the normal convergence bounds of Lemma 6.134 gives convergence of the trace-power series and of its finitely many w-derivatives. The finite-rank trace formula of Lemma 6.135 gives the displayed matrix-trace form. □
Lemma 6.137
(finite-window convergence of the finite-part realized functional). For every compact and every integer ,
as .
Proof.
By Lemma 6.107,
The pre-determinant continuity estimate of Lemma 6.117 applies directly to the difference of these two finite-window central families. This gives the displayed convergence without using the determinant-side trace formula. □
Lemma 6.138
(finite-window convergence of compressed boundary operators). As ,
Consequently, for each fixed N,
in operator norm and in .
Proof.
Set
By the Schatten-four sandwich theorem,
For the finite-window central representative write, in the same type-correct sense,
Lemma 6.107 gives convergence of the regularized central representatives, while Lemma 6.99 controls the common finite-jet subtraction. Through the finite family of -seminorms appearing in Lemma 6.61, the finite-window approximants are uniformly bounded in the corresponding control norms.
The convergence needed here is not full operator-norm convergence of to . It is enough to use convergence after the fixed Schatten-four smoothing factor. Namely, the finite-window central approximation and the uniform finite-window stability estimates give
and equivalently
Indeed, since , choose the spectral projections of so that
On the finite-dimensional range , the finite-window approximation of the regularized central representatives and the finite family of -controlled seminorms give
The uniformly bounded -control of and gives
Letting first and then proves
Hence
Using the Schatten Hölder inequality , we obtain
Moreover,
The two -convergence statements above therefore imply
Compression by is continuous in both operator norm and Hilbert–Schmidt norm, giving the asserted convergence of to . □
Lemma 6.139
(trace convergence from to K). After shrinking if necessary,
locally uniformly for , with all finitely many w-derivatives.
Proof.
Only the Hilbert–Schmidt convergence is used here; neither nor K is assumed to be trace class. Put
For w in a sufficiently small compact central disk these resolvents are uniformly bounded. The resolvent identity gives
Hence
and
Together with in , these estimates imply trace-norm convergence of the displayed resolvent trace. Differentiating in w produces finite sums of products of bounded resolvents and Hilbert–Schmidt factors, so the same trace-norm estimates give locally uniform convergence for every fixed finite number of w-derivatives. □
Lemma 6.140
(double-limit finite-part trace bridge). After shrinking if necessary, for every compact and every ,
Proof.
For fixed M, Lemma 6.136 passes from to as . Lemma 6.134 then identifies the N-limit with
Finally Lemma 6.139 passes and gives the stated limit, including the finite w-derivative control. □
Theorem 6.141
(non-definitional finite-part-to-determinant trace bridge on the central Cauchy–Laplace family). Let
denote the operator-side finite-window readout functional of Definition 6.9, restricted and continued to the central Cauchy–Laplace family. Its intrinsic coordinate-ledger realization through is used only as a representation of the same -projected readout, as in Lemma 6.117; it is not a separate input datum. Let
denote the determinant-side central trace functional
Then, after shrinking the central disk if necessary,
The convergence is locally uniform in w, with all finitely many w-derivatives controlled by the seminorms of . Consequently, on the central Cauchy–Laplace family we may write
This is the first point at which the finite-part realized boundary functional and the determinant trace functional are identified. Before this theorem the two objects are distinct and carry distinct notation; the displayed equality is not a definition of either side.
Proof.
Fix a compact and a finite derivative order m. By Lemma 6.137,
locally uniformly on B, with the same finite derivative control.
For each fixed M, the scalar–cyclic pullback compatibility on , namely Lemma 6.127 and Theorem 6.128, gives
Thus the K-side cyclic calculation and the scalar central finite-window functional evaluate two realizations of the same universal coefficient object rather than elements of two unrelated codomains.
Lemma 6.136 and Lemma 6.135 give
This equality starts from the finite-part realized functional and its cyclic tensor lift; the determinant is not used to define it.
By Lemma 6.134, the same finite-window value is
and Lemma 6.139 sends this expression to
as . Combining this M-limit with the scalar finite-window convergence gives
By the definition of ,
The bridge identity follows.
The proof uses only the universal finite-window finite-part coordinate obtained from and the finite-window comparison representative, the fixed finite-part realization mechanism, the type-correct R-side lift of central regularization, the universal Cauchy–Laplace coefficient object, finite-window cyclic contractions, finite-rank compressions, and Hilbert–Schmidt convergence. It uses neither , nor the central equality with , nor any zero-location statement. □
Lemma 6.142
(determinant central partial fraction formula). For the same , for ,
holds.
Proof.
By Definition 6.105,
Theorem 6.141 gives
It remains only to identify with the central logarithmic derivative of the normalized determinant comparison function. By Definition 6.76,
Therefore
At , the first-trace renormalization in gives
Hence
and subtraction yields
Combining this with the bridge identity proves the claim.
This argument identifies the finite-part realized -side central transform with the regularized determinant transform before any comparison with is made. It uses the finite-part/trace bridge, , the finite-rank compressions , Hilbert–Schmidt continuity of the -central transform, and finite-rank boundary-kernel compatibility. □
Lemma 6.143
(central transform of ). For the same ,
holds. The data are , the regularized Fredholm determinant of Definition 6.71, and the central Cauchy–Laplace regularization of Definition 6.103.
Proof.
By Lemma 6.142,
By Definition 6.105,
The assertion follows. Thus the -side central transform is obtained from the -Fredholm determinant expansion and not from any comparison with . □
Lemma 6.144
(central explicit-formula ledger logarithmic derivative identity). There exists such that
holds.
Proof.
This is exactly Lemma 6.109, the explicit-formula ledger central transform lemma. □
Lemma 6.145
(central trace identity on the singular-boundary side). For the same ,
holds.
Proof.
This is exactly Lemma 6.143, the -side central transform lemma. □
Theorem 6.146
(separate central transform identification theorem). There exists such that the map
is holomorphic and satisfies the following:
and
Proof.
Holomorphicity follows from Lemma 6.106. The -side identity follows from Lemma 6.145, whose datum is the -Fredholm determinant model for . The classical final analytic identification identity follows from Lemma 6.144, whose datum is the standard Hadamard product for the completed zeta function. No central comparison-quotient equality is used in this theorem; it only records the two separate transform identifications. □
Lemma 6.147
(-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.101, the corresponding series for
converges locally uniformly on B, and the resulting bounds are controlled by finitely many seminorms .
Proof.
By Theorem 6.68,
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 datum 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.148
(classical 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.101. 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.75, 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.101. Consequently, for each finite derivative order m, the j-th w-derivative of the explicit-formula ledger pairing is bounded on B by a finite sum of the seminorms applied to the central test datum. No information about the location of the zeros is used; they remain in their a priori positions throughout the argument. □
Theorem 6.149
(continuity on the central Cauchy–Laplace comparison subspace). Let
be the central Cauchy–Laplace comparison subspace of Definition 6.102. For
and for every compact set and every , there exist a constant and finitely many defining seminorms
such that every finite-window central Cauchy–Laplace test family
satisfies
Consequently the functionals
initially defined on the span of finite-window central Cauchy–Laplace data, extend uniquely to continuous linear functionals on . In particular, if
then
For the finite-window central cutoff family
of Lemma 6.107, these convergences are locally uniform for w in every compact subset , and the same assertion holds after applying any finite number of w-derivatives up to the order covered by .
Proof.
By Definition 6.102, the relevant domain is the closure of the finite-window Cauchy–Laplace family and its finite w-derivatives. Thus it is enough to prove the displayed seminorm bounds on that generating family; no estimate for arbitrary elements of the larger ambient space is needed.
For the -side finite-part pairing, the estimate is supplied by Lemma 6.117. That lemma uses the finite-window coordinate functional, the seam transpose, the finite readout quotient, the Gram-inverse reconstruction, and the localized comparison interface. It is deliberately proved before the determinant trace formula is invoked. Hence the displayed bound holds for the finite-part realized on without using the identity .
For the explicit-formula ledger pairing, the estimate is supplied by Lemma 6.148. That lemma uses only the standard order-one Hadamard product of the completed zeta function. After the central subtraction,
is locally dominated by the usual genus-one normal-convergence majorant, and the same remains true after finitely many w-derivatives on compact subsets. Thus the displayed bound holds for on .
The displayed estimates give continuity on each finite derivative level , and hence on by the local projective description. Applying the same estimates to proves convergence of the pairings whenever in . Taking and using Lemma 6.107 gives the local uniform convergence in w and the corresponding convergence after finitely many w-derivatives.
No step in this argument assumes the Riemann Hypothesis, , or the central equality of pairings. The explicit-formula ledger datum is only the standard order-one Hadamard product for , with its zeros left in their a priori positions, and the -side datum is only . □
Lemma 6.150
(admissibility of regularized finite-window central cutoffs). For every and every , the regularized logarithmic representative
belongs to . Hence it defines the quotient finite-window object
Its central coordinate is
and its arithmetic coordinate is
Moreover,
Hence , and Proposition 5.24 is applicable to the finite-window quotient object .
Finally,
Here the vanishing of the three principal parts is the conclusion of the coefficient-extraction calculation in Lemma 6.98: the endpoint coefficients are computed by the explicit common cutoff-transition functions , and the center coefficients are extracted separately on the Archimedean/reference, arithmetic-trace, and singular-boundary sides before the counterterm is applied. The finite-jet counterterm used to form is fixed before either pairing is evaluated.
Proof.
The raw kernel is smooth and supported in the window
The counterterm
is a finite linear combination of the fixed principal-part reference elements of Definition 6.95. These reference elements have the same finite-window localization convention as . Therefore
is smooth and has support contained in . Hence
By Definition 5.23, the quotient class
is an element of , and all its coordinates are induced from this same representative. In particular,
by the definition of the regularized central finite-window datum.
For the arithmetic coordinate,
If , then . Since , this implies
Thus has finite support and belongs to .
The boundary coordinate is
obtained by inserting the same logarithmic representative into the centered Mellin finite-window contour functional. Thus the arithmetic, boundary, and central coordinates of all come from the single representative .
The vanishing of the finite jet and of the three local principal parts follows from the coefficient-extraction form of Lemma 6.98, applied to
Thus the principal parts are not merely postulated to be common; their center coefficients are extracted on each side, and their endpoint coefficients are computed from the explicit common cutoff-transition functions before the vanishing is used. The construction uses only
and the quotient construction of , and not the values of the pairings with or . □
Lemma 6.151
(finite-window comparison-quotient equality for central cutoffs). Let be fixed as in Lemma 6.106. For every M and every , let
be the quotient finite-window test object constructed in Lemma 6.150. Its central coordinate is
Then
Equivalently, under the central-coordinate convention of Definition 6.97,
This is a fixed finite-window statement on the quotient class . It contains no passage to the central limit.
Proof.
Fix M and . By Lemma 6.150,
Its central coordinate is , but the actual datum to Proposition 5.24 is the quotient finite-window object . The same lemma, using the coefficient-extraction version of Lemma 6.98, gives
Thus the finite-window equality below is applied after the center coefficients have been extracted and the endpoint coefficients have been computed from the explicit common cutoff-transition functions , so that the local principal part has been removed simultaneously on the Archimedean/reference, arithmetic-trace, and singular-boundary sides.
Apply Proposition 5.24 to
It gives
By Definition 6.9,
and
Substitution yields
The displayed equality for is only the central-coordinate notation for this equality on the quotient class . No central limiting argument, no determinant identity, no central pairing equality, and no identity is used. □
Theorem 6.152
(central comparison-quotient 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 , let
and let
be the quotient finite-window test object whose central coordinate is
Thus the logarithmic representative of the finite-window object is
and Lemma 6.150 gives
The second equality uses the explicit coefficient extraction and endpoint-transition calculation of Lemma 6.98. Thus the finite-window equality is applied to the coefficient-checked regularized finite-window object, not to the raw cutoff. Lemma 6.151 gives the finite-window equality
By the central-coordinate convention of Definition 6.97, this is written as
Thus the finite-window equality is a statement on , not a direct application of Proposition 5.24 to a bare u-kernel. It is not a central limiting statement.
Step 2: finite-window central convergence. Let
be compact. By Lemma 6.107, for every defining seminorm ,
This convergence is obtained from tail estimates, transition-annulus estimates, and finite-jet counterterm control; it uses no values of or .
Step 3: continuity of the central pairings. By Theorem 6.149, for there are constants and finitely many seminorms such that
The right-hand side tends to 0 by Step 2. Therefore, 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 estimates give the asserted local uniformity.
The dependency chain is
No implication in this chain uses , the Riemann Hypothesis, or an external central pairing equality. □
Theorem 6.153
(central equality after separate transform identification). There exists such that, for ,
holds. The dependency chain is:
The conclusion is not used here.
Proof.
By Lemma 6.145,
and by Lemma 6.144,
These are separate transform identifications: the first uses and the regularized Fredholm determinant, while the second uses the Hadamard product of .
Theorem 6.152 identifies the two central pairings. Therefore
By Definition 6.76, the linear exponential factor of carries the explicit-formula central logarithmic-slope constant , so that
The final analytic identification of the explicit-formula ledger, recorded in Lemma 6.144, identifies this same central logarithmic-slope constant with
This target-identification step occurs after the K-side determinant has already been constructed and uses no zero-location information. Substituting the equality of central logarithmic-slope constants into the preceding display gives the asserted local logarithmic derivative equality. □
Lemma 6.154
(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.153, there exists such that
Moreover, the scalar constant in Definition 6.76 is the central scalar constant of the explicit-formula ledger. Its final target identification gives
Therefore, after this target-identification step, if the logarithmic branches of Definition 6.88 are fixed with the same value, there exists such that
Thus all Taylor coefficients agree, and
holds. □
Lemma 6.155
(local analytic equality near the central point). There exists such that
holds. The data are the local logarithmic derivative equality and the target-identified central scalar constant
This central scalar equality is not a construction input for K or .
Proof.
By Definition 6.88, after shrinking if necessary, both
are nonzero for . Hence the quotient
is holomorphic and nonzero in a smaller central disk. By Theorem 6.153,
there. Thus Q is constant on that disk. The target-identified central scalar constant gives
Therefore in a sufficiently small central disk, which is exactly
□
Theorem 6.156
(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.157
(global uniqueness theorem). The normalized determinant comparison function constructed in Section 6.3 agrees with the completed zeta function on the whole plane:
This is the first point in the proof at which the global identity is obtained.
Proof.
The local analytic equality of Lemma 6.155 gives a nonempty open disk
on which
By Lemma 6.85 and Lemma 6.86, both functions are entire, and hence they are holomorphic on the connected open set . Applying Theorem 6.156 with and this V gives
All previous central comparison steps supplied only the finite-window equality, central seminorm convergence, independent continuity of the two pairings, and local analytic equality. The global identity is therefore a consequence of the identity theorem, not an datum to the regularization or to the central comparison. □
Corollary 6.158
(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.
By Theorem 6.157,
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.159
(role of growth estimates). Lemma 6.85, Lemma 6.86, and Corollary 6.87 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.155 and Theorem 6.156.
Remark 6.160
(output of the analytic comparison layer). Section 6.1 through the present section show that the -side regularized-determinant comparison function obtained from the finite-window comparison-quotient 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.199; 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 uses no finite-word contradiction argument. 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.161
(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.162
(admissible zero-counting window). A finite window is said to be classically 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.29 of Section 6.2 is satisfied for the classical completed function.
Definition 6.163
(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.164
(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.165
(argument count on the finite rectangle). Let be a classically 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
Therefore
Finally, by Definition 6.161,
and therefore
The displayed formula follows. □
Lemma 6.166
(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.167
(endpoint correction does not change the finite-window count). Let be a classically 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.
By Theorem 6.157 of Section 6.4,
Moreover, by Lemma 6.78 of Section 6.3,
locally uniformly on compact sets. By Lemma 6.166, 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.36 can be applied with
Consequently, for sufficiently large N,
□
Lemma 6.168
(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.169
(finite-window bridge theorem). Let be a classically admissible finite window. Then
Moreover,
Proof.
By Lemma 6.165,
Moreover, by Lemma 6.167, 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.168,
Rearranging this gives
The final integral representation is precisely the left-wall/cap-path decomposition of Lemma 6.165. □
Definition 6.170
(finite-window off-line defect). Fix , and suppose that is admissible. Define the finite-window off-line defect by
By Theorem 6.169,
This is called the finite-window tail defect identity.
Corollary 6.171
(admissible-height tail defect identity). Fix , and suppose that is ξ-admissible. Then
holds. In particular,
Proof.
The first equality follows from Definition 6.170 and Theorem 6.169. Moreover,
is a function that counts off-line zeros with multiplicity, and therefore
□
Remark 6.172
(role of the finite-window bridge). Theorem 6.169 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 datum 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 represented 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.173
(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.174
(off-line defect staircase). For , define the off-line defect staircase by
Equivalently,
Thus is the same object as the full off-line count
Lemma 6.175
(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.162. Then
Proof.
By Definition 6.174,
Also, by Definition 6.170,
Therefore
Furthermore, by Theorem 6.169,
Combining these identities gives the assertion. □
Lemma 6.176
(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
Here
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.177
(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
If , then
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.178
(symmetric off-line pair count). By Lemma 6.177, 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.179
(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 intervalhas 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.180
(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.181
(anchored interval defects). Let be a regular anchored Gram lattice. For each , write
Define the off-line defect contained in this interval by
Equivalently,
Clearly,
When is fixed in context, abbreviate
Lemma 6.182
(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.183
(partial interval defect). Let . Take the unique such that , and define the partial interval defect by
Then
Lemma 6.184
(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.185
(first positive defect index). If
for some , then
is well-defined. Moreover,
Proof.
By Lemma 6.184, 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.186
(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 datum 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 an independent finite-word contradiction mechanism.
Definition 6.187
(regular admissible heights above ). Fix , and assume that is not the imaginary part of a zero of . Define
Lemma 6.188
(regular heights give admissible windows). If , then for every , is -admissible in the sense of Definition 6.162.
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.189
(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.190
(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.68, 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.71 to , one obtains
Since , this -product converges uniformly on compact sets. Multiplying by the exponential normalization factor gives the displayed formula. □
Theorem 6.191
(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.190, the exponential factors
have no zeros. Therefore is equivalent to the existence of a nonzero eigenvalue such that
Solving this gives
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.192
(spectral localization of zeros of ). All nontrivial zeros of the completed zeta function ξ lie on the critical line. Namely,
Proof.
By Theorem 6.157,
Therefore the zeros of agree with the zeros of , counted with multiplicity. By Theorem 6.191, all zeros of lie on the critical line. Hence all zeros of also lie on the critical line. □
Theorem 6.193
(admissible-height vanishing of the tail defect). For every
one has
Proof.
By Corollary 6.192, has no off-line zeros. Therefore, for every ,
is empty. In particular, if , then
□
Lemma 6.194
(extension from admissible heights to all heights). For every
one has
Proof.
Take arbitrary . By Lemma 6.189, one can take a sequence
By Theorem 6.193, for each j,
On the other hand, by Lemma 6.176, is right-continuous. Therefore
□
Theorem 6.195
(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.194. □
Definition 6.196
(RH above ). means that, for every nontrivial zero
one has
Theorem 6.197
(RH above ).
holds.
Proof.
By Theorem 6.195,
If there existed an off-line zero
with , then taking would give
This contradicts Theorem 6.195. Therefore all nontrivial zeros with satisfy
□
Corollary 6.198
(vanishing of anchored interval defects). For every regular anchored Gram lattice
one has
Proof.
By Theorem 6.195,
By Definition 6.181,
The right-hand side is
Therefore
□
Theorem 6.199
(Riemann Hypothesis). For every nontrivial zero
one has
That is, the Riemann Hypothesis holds.
Proof.
By Corollary 6.192, 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.200
(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.
7. Conclusion
The preceding sections prove the Riemann Hypothesis by converting the classical explicit formula into an operator-theoretic determinant identity and then applying the spectral localization of a self-adjoint Hilbert–Schmidt operator. The conclusion records the logical closure of the argument; no additional comparison principle is introduced here.
Sections 2 and 3 provide the two non-boundary ingredients. Section 2 constructs the weighted Hilbert-space operator framework, the closed quadratic form , the self-adjoint operator , the shifted operator , compact resolvent, and the scalar Herglotz-type resolvent. Section 3 constructs the coefficient-space arithmetic layer: the formal Dirichlet algebra, the exact von Mangoldt lift , the coefficient Hilbert space, and the weighted diagonal arithmetic trace. This trace evaluates the prime-power contribution on the arithmetic summand.
Section 4 supplies the singular-boundary component. Inside the Gelfand triple
it separates point evaluations, singular boundary traces, distribution kernels, and boundary forms by type, constructs the singular-boundary Hilbert space , and obtains the transport and distribution-kernel data used later. The optional full-test-space unsmoothed transport kernel is not an unconditional datum in the determinant proof.
Section 5 combines the analytic, arithmetic, and boundary constructions in the ambient decomposition
For a finite-window comparison class, the canonical representative
has no residual component. The arithmetic projection evaluates the prime-power term, and the singular-boundary projection
is the operator-side comparison component. The finite-part coordinate and the Gram-minimal readout probe are fixed within this finite-window comparison quotient; they are not obtained from the zero divisor or logarithmic derivative of the completed zeta function.
Section 6 first turns this -component into a self-adjoint Hilbert–Schmidt operator. The centered Mellin seam reflection descends to a self-adjoint involution on , and the signed boundary-distribution kernel
is realized as
The determinant side is therefore
and the comparison function is
The constants and are central constants of the explicit-formula ledger and are identified with the corresponding classical target constants only after the central transform comparison has been made.
The finite-window comparison equality is then transported to the central Cauchy–Laplace family. The common finite-jet counterterm, the projected finite-window topology, and the closed comparison subspace justify the limit
The resulting central comparison equality is
This equality is not the determinant identity by definition. On the K-side, finite-window scalar coefficient identities, cyclic tensor contractions, finite-rank compression, and the Hilbert–Schmidt limit prove
on the central Cauchy–Laplace family. Hence the left side reads the central logarithmic derivative of . On the classical side, the explicit-formula ledger is separately identified with the central logarithmic derivative of . Therefore
near . The target-identified central scalar constant gives local analytic equality, and the identity theorem gives
It remains only to read the zeros of . Since is compact, its nonzero eigenvalues are real. Thus
implies
The exponential factor in has no zeros, so every zero of lies on the critical line. Since , all nontrivial zeros of the completed zeta function, and hence of the Riemann zeta function, lie on the critical line.
Remark 7.1
(non-circular data in the final chain). The proof chain does not use the completed zeta function as construction data for K. The construction proceeds through the finite-window comparison quotient, the intrinsic finite-part coordinate, the Gram-minimal readout, the centered Mellin seam reflection, and the boundary-distribution kernel. The equality with appears only after the K-side determinant transform and the classical explicit-formula transform have been identified separately on the central Cauchy–Laplace family.
Remark 7.2
(role of the finite-window material). The finite-window bridge, anchored defect staircase, and no-first-hit material of Section 6.5–6.7 do not supply an additional hypothesis for . They record the spectral conclusion in finite-window form after the determinant identity and self-adjoint spectral localization have already been established.
References
A. Standard background on the zeta function and the Riemann Hypothesis
B. Closed forms, self-adjoint realizations, and spectral theory
C. Semigroups, compactness, and PDE / Sobolev tools
- Functional-analytic background on -semigroups and Stone-type theory: [13]
D. Gelfand triples, distribution kernels, and measure theory
E. Regularized Fredholm determinants and Schatten classes
F. Complex analysis, canonical products, and the identity theorem
G. Fourier, Paley–Wiener, and transform-topology tools
H. Herglotz functions, spectral measures, and resolvent transforms
I. Finite-dimensional matrix analysis, Gram matrices, and Moore–Penrose inverses
Supplementary Materials
The following supporting information can be downloaded at the website of this paper posted on Preprints.org.
Author Contributions
Conceptualization, Y.S.; methodology, Y.S.; software, Y.S.; validation, Y.S.; formal analysis, Y.S.; investigation, Y.S.; resources, Y.S.; data curation, Y.S.; writing—original draft preparation, Y.S.; writing—review and editing, Y.S.; visualization, Y.S.; supervision, Y.S.; project administration, Y.S.; funding acquisition, Y.S. All authors (single-author paper) have read and agreed to the published version of the manuscript.
Funding
This research received no external funding. The APC was funded by the author.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
No new data were created or analyzed in this study. Data sharing is not applicable to this article.
Acknowledgments
In the pre-review of an early version of this paper (September 2025, Dr. Anik Chakraborty), I received constructive and concrete comments concerning small-band equivalence, the uniqueness principle, the rigorous treatment of band endpoint terms, the regularized Fredholm determinant and coefficient identification, and the justification of densification and interchange of limits. In light of these suggestions, the relevant points were systematically reinforced in the old version in order to improve the self-containedness and auditability of the proof. I express my deep gratitude here. In comments on an old version of this paper (February 2026, Dr. Michel Planat), I received extremely essential and sharp remarks concerning the application of the uniqueness principle in extending narrow-band identification to global identification, and concerning the possible anticipation of implicit positivity (the Herglotz structure) and the risk of circular reasoning arising in that process. This constructive criticism, based on his deep insight, was the direct occasion for fundamentally reconsidering the previous local/global strategy and for completely reconstructing the proof architecture of this paper into the present functional-analytic orthogonal framework. I express my deep gratitude here to him for providing the decisive turning point for this revision. Any remaining deficiencies or errors in this paper are entirely my responsibility.
Conflicts of Interest
The author declares no conflict of interest.
References
- Gel’fand, I.M.; Vilenkin, N.Y. Generalized Functions . In Applications of Harmonic Analysis; Academic Press, 1964; Vol. 4. [Google Scholar]
- Trèves, F. Topological Vector Spaces, Distributions and Kernels; Academic Press, 1967. [Google Scholar]
- Folland, G.B. Real Analysis: Modern Techniques and Their Applications, 2nd ed.; John Wiley & Sons, 1999. [Google Scholar]
- Simon, B. Trace Ideals and Their Applications . In Mathematical Surveys and Monographs, 2nd ed.; American Mathematical Society: Providence, RI, 2005; Vol. 120. [Google Scholar]
- Gohberg, I.C.; Kreĭn, M.G. Introduction to the Theory of Linear Nonselfadjoint Operators in Hilbert Space . In Translations of Mathematical Monographs; American Mathematical Society: Providence, RI, 1969; Vol. 18. [Google Scholar]
- Riemann, B. Über die Anzahl der Primzahlen unter einer gegebenen Grösse. Monatsberichte Der Königlich Preußischen Akad. Der Wiss. Zu Berl. Published in the Monatsberichte for November 1859. 1859, 671–680. [Google Scholar]
- Titchmarsh, E.C. The Theory of the Riemann Zeta-Function, 2nd ed.; Heath-Brown, D. R., Ed.; The Clarendon Press, Oxford University Press, 1986. [Google Scholar]
- Edwards, H.M. Riemann’s Zeta Function; Academic Press, 1974. [Google Scholar]
- Ivić, A. The Riemann Zeta-Function: Theory and Applications; Reprint of the 1985 Wiley edition; Dover Publications, 2003. [Google Scholar]
- Kato, T. Perturbation Theory for Linear Operators . In Classics in Mathematics, 2nd ed.; Springer-Verlag, 1995. [Google Scholar]
- Reed, M.; Simon, B. Methods of Modern Mathematical Physics. I. Functional Analysis, 2nd ed.; Academic Press, 1980. [Google Scholar]
- Davies, E.B. Spectral Theory and Differential Operators; Cambridge Studies in Advanced Mathematics; Cambridge University Press, 1995; Vol. 42. [Google Scholar]
- Pazy, A. Semigroups of Linear Operators and Applications to Partial Differential Equations . In Applied Mathematical Sciences; Springer-Verlag, 1983; Vol. 44. [Google Scholar] [CrossRef]
- Evans, L.C. Partial Differential Equations . In Graduate Studies in Mathematics, 2nd ed.; American Mathematical Society, 2010; Vol. 19. [Google Scholar]
- Adams, R.A.; Fournier, J.J.F. Sobolev Spaces . In Pure and Applied Mathematics, 2nd ed.; Academic Press, 2003; Vol. 140. [Google Scholar]
- Conway, J.B. Functions of One Complex Variable I . In Graduate Texts in Mathematics, 2nd ed.; Springer-Verlag: New York, 1978; Vol. 11. [Google Scholar] [CrossRef]
- Boas, R.P. Entire Functions . In Pure and Applied Mathematics; Academic Press: New York, 1954; Vol. 5. [Google Scholar]
- Stein, E.M.; Shakarchi, R. Fourier Analysis: An Introduction . In Princeton Lectures in Analysis; Princeton University Press: Princeton, NJ, 2003; Vol. 1. [Google Scholar]
- Rudin, W. Functional Analysis . In International Series in Pure and Applied Mathematics, 2nd ed.; McGraw-Hill: New York, 1991. [Google Scholar]
- Donoghue, W.F. Monotone Matrix Functions and Analytic Continuation . In Die Grundlehren der mathematischen Wissenschaften; Springer-Verlag: Berlin, 1974; Vol. 207. [Google Scholar]
- Akhiezer, N.I.; Glazman, I.M. Theory of Linear Operators in Hilbert Space, Translated from the Russian, dover edition ed.; Dover Publications: New York, 1993. [Google Scholar]
- Horn, R.A.; Johnson, C.R. Matrix Analysis, 2nd ed.; Cambridge University Press: Cambridge, 2013. [Google Scholar]
- Ben-Israel, A.; Greville, T.N.E. Generalized Inverses: Theory and Applications . In CMS Books in Mathematics, 2nd ed.; Springer-Verlag: New York, 2003. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2026 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.