Submitted:
14 August 2025
Posted:
14 August 2025
Read the latest preprint version here
Abstract
This paper constructs two parallel approaches—Weil-type positivity and the Herglotz-type m-function—and connects them via a common core consisting of narrow-band equivalence (η < log 2) and the uniqueness principle, thereby reaching the Riemann Hypothesis (RH) for the completed Riemann function ξ, and further establishing the Generalized Riemann Hypothesis GRH(π) for self-dual GL(d)-type L-functions.In the Weil route, we show that the measures μ\_L and μ\_ξ appearing on the operator side and the number-theoretic side of the distributionally normalized explicit formula agree in the narrow band (and, by densification, extend to F\_log). Combining this with the known Weil equivalence theorem Q\_ξ ≥ 0 ⇔ RH yields the RH Main Theorem (Theorem 8.23).In the Herglotz route, we construct, via a band-limited window Φ, the operator-side m\_L^{(Φ)} and the number-theoretic side M\_π^{(Φ)}, and prove their equality over the entire complex plane by Poisson smoothing and the uniqueness of the Herglotz representation. From self-adjointness and the positivity of the Nevanlinna measure, we deduce that all nontrivial zeros lie on the critical line, arriving at the GRH(π) Main Theorem (Theorem 10.35 / Theorem 10.39).In the wide band, finite prime sums and endpoint contributions are absorbed into the regularized determinant det\_2 and its generating function. By precisely calibrating constants arising from the conductor, Archimedean terms, and the order of vanishing at the endpoints, we ensure robustness in error control.As applications, we show that the L-functions of Dirichlet characters, Hecke characters, holomorphic GL(2) cusp forms, and Maaß newforms satisfy axioms (AL1)–(AL5), and that GRH(π) follows immediately from the arguments in this chapter alone (Proposition 10.43, Corollary 10.44). Global conventions on the Fourier transform, boundary values, the Cayley transform, det\_2, and others are compiled in the appendix to ensure reproducibility and transparency in constant management.
Keywords:
Riemann hypothesis
; Fredholm determinant
; operator theory
; analytic number theory
1. Introduction
1.1. Background and Problem Setting [1,2,3,4,5]
Formulation of the Riemann Hypothesis (RH)
For the complex variable ,
is extended by the usual analytic continuation to the whole complex plane (except for the pole at ), and we use the completed form
The function is entire (of order ) and satisfies the functional equation . Let be a nontrivial zero lying in the critical strip ; then
The purpose of this paper is to present the above statement concerning the distribution of the zeros of as an equivalent framework via two distinct routes: the Weil-type positivity and the Herglotz (m-function) routes. For the latter, the scope is extended to the Generalized Riemann Hypothesis (GRH) for the completed L-function of a self-dual -type general L-function (see §8 and §10 for details).
Framework for General L-Functions (Outline)
For a self-dual -type L-function , the associated completed form contains the analytic conductor and Archimedean factors, and satisfies the functional equation with . For the set of nontrivial zeros ,
is the object of study (for the axiomatic framework and normalization, see §10.1).
Test Space and Bilinear Form Used in This Paper (Preview of Their Roles)
We adopt the Fourier conventions
(the consistency with the Poisson/Hilbert formulas will be confirmed in the relevant sections of the main text). In v1.1, for even, real Schwartz functions, we adopt
as the basic test space (rigorously defined in §8). With the “height measure” in the critical strip
we define
Then, by the Weil equivalence,
holds (see §8.4). In the first half of this paper (§6–§8), starting from the small-bandwidth test functions
we initiate from the small-bandwidth equivalence (agreement between the operator side and the arithmetic side) to extend to (by densification), and combine this with the equivalence theorem to conclude RH (§8.3–§8.4).
Two Routes (Placement in the Main Text)
- Weil Positivity Route (§6–§8): Starting from the small-bandwidth agreement between the operator side and the arithmetic side in the explicit formula arranged as a distribution, we densify () as and . By restating the known Weil equivalence theorem ( RH) and combining, we arrive at the main theorem RH.
- Herglotz Route (§10): Constructing the operator-side and the arithmetic-side via a finite-bandwidth window , we prove agreement on the whole plane from Poisson smoothing and the uniqueness of the Herglotz representation. From self-adjointness and the positivity of the Nevanlinna measure, we deduce the real-axis nature of poles and establish GRH as the main theorem. RH is recovered as the special case of ().
Appendices, Conventions, and Reproducibility
The global conventions for the Fourier transform, boundary values, Cayley transform, and the regularized determinant used in this paper are consolidated in the appendices, so that the assumptions, normalizations, and coefficient correspondences on which each chapter’s statements depend can be referenced in an auditable form. In particular, the choice of small bandwidth , the finite part (normalization of distributions), and constants in the Riemann–von Mangoldt type main term are unified via correspondence tables in the appendices and cross-references with the main text.
1.2. Main Results of This Paper (Summary) [1,2,3]
This paper reaches the Riemann Hypothesis (RH) and the Generalized Riemann Hypothesis (GRH) for self-dual -type L-functions via two routes: Weil-type positivity and Herglotz (m-function). Under the notation fixed in §Section 1.1 (in particular, the test space and the bilinear form ), the main conclusions are summarized in the following three points.
(A) Main Theorem on RH (Weil Route; Conclusion of §8)
The Weil-type bilinear form on is always nonnegative, and by combining with the known “Weil equivalence theorem,” RH is concluded:
(Theorem 8.19 in §8.3 establishes , and by combining with Theorem 8.21 (equivalence theorem) in §8.4, we obtain the Main Theorem on RH = Theorem 8.23.) For the construction of and the definition of , see §8.2–§8.3.
(B) Main Theorem on RH (Herglotz Route; Conclusion of §8)
From the construction of the m-function using a finite-bandwidth “window” and from Poisson smoothing / uniqueness of the Herglotz representation, we prove the equality of windowed m-functions. Through the analysis of its zeros and poles (Stieltjes inversion and pole distribution), we exclude non-real poles and reach RH (§8.6–§8.7; the final conclusion coincides with the Main Theorem on RH in §8). This route shares the same small-bandwidth equivalence → uniqueness principle as (A) and is mutually reinforcing.
(C) Generalization (Self-dual -type L-functions; Conclusion of §10)
Under the general axiomatic framework ((AL1)–(AL5) in §10.1), the generalized bilinear form on is always nonnegative (Theorem 10.38), and by the Weil equivalence theorem (generalized form),
holds (Theorem 10.39). At the same time, in the Herglotz route (§10.6–§10.7), GRH is obtained from the equality of windowed m-functions and the reality of poles (Theorem 10.35). Thus, the two systems, Weil / Herglotz, close consistently for both the case and the general case.
(D) Immediate Application to Specific Classes
The four classes — Dirichlet (), Dedekind of number fields, Hecke characters, and self-dual newforms (elliptic modular / Maaß) — satisfy the axioms (AL1)–(AL5) of §10.1 (Proposition 10.43). Therefore, the above main theorems (Theorem 10.35 / 10.39) apply immediately, and GRH holds within the discussion of this chapter alone (Corollary 10.44).
(E) Robustness (Error Budget and Tolerances)
We organize the reduction of bandwidth (), evaluation of endpoint contributions, order control of , and minimization of assumptions for the uniqueness principle, and visualize the allowable error from three aspects: small bandwidth / large bandwidth / generating functions (§8.5 and §10.10). Dependencies of constants in implementation (conductor , Archimedean factors, vanishing orders at endpoints, etc.) are consolidated in correspondence tables (appendix).
(F) Summary of This Section (Correspondence with Chapter Structure)
(A)–(B) provide RH in the conclusion of §8 (Theorem 8.23), and (C)–(D) provide GRH in the conclusion of §10 (Theorem 10.35 / 10.39 and Proposition 10.43 / Corollary 10.44). (E) is the integration of robustness in §8.5 and §10.10, ensuring the portability of the overall strategy (small-bandwidth equivalence → densification / uniqueness → Weil / Herglotz).
1.3. Proof Strategy (Overview of Two Routes) [1,2,6]
This paper constructs in parallel two distinct routes — Weil-type positivity and Herglotz (m-function) — each leading to RH (the case), and further to GRH (general case) for general self-dual -type . These are connected by a common core of small-bandwidth equivalence and the uniqueness principle, while prime finite sums and endpoint contributions that appear in the large bandwidth regime are absorbed and controlled within the framework of the regularized determinant and generating functions. Below, the inputs, outputs, and key points are stated explicitly.
(I) Weil Positivity Route: Composition of and the Equivalence Theorem (§6–§8)
First, for the finite-bandwidth test functions
we establish small-bandwidth equivalence between the operator side and the arithmetic side (§6). Then, through the limiting process and dominated convergence (including evaluation of the finite part), we densify to (defined in §8.2) to obtain
(§8.3). Finally, we restate the Weil equivalence theorem (within the framework of this paper) and combine:
to conclude RH (§8.4).
Input/Output:
(II) Herglotz Route: Equality of Windowed m-functions and Reality of Poles (§8H, §10.6–§10.7)
Fix a finite-bandwidth “window” (time-side convolution kernel ), and construct the operator-side Weyl–Titchmarsh type m-function and the arithmetic-side Herglotz function via the zero measure . By combining the small-bandwidth equivalence of §6 with the uniqueness principle of §8.1–§8.2, we show that the two agree on the whole plane up to a polynomial difference, and remove this difference from the asymptotics at infinity. Through Herglotz property (positivity of the Nevanlinna measure), we deduce the reality of poles and obtain RH (the case) / GRH (general case).
Input/Output:
(III) Extension to General (Self-dual) and Consistency of the Two Routes (§10)
For self-dual types satisfying the general axioms (AL1)–(AL5) (§10.1), the Weil route shows the equivalence of and GRH (§10.8), and the Herglotz route shows the reality of poles from equality of windowed m-functions (§10.6–§10.7). Both routes are connected by a single skeleton: small-bandwidth equivalence ⇒ large-bandwidth difference (prime finite sum + endpoint term) ⇒ coefficient identification ⇒ Herglotz/Weil (including generating functions and functional calculus in §10.3–§10.5). Dirichlet / Hecke / Dedekind / self-dual satisfy the axioms (Proposition 10.43), and by Theorem 10.35 (Herglotz) or Theorem 10.39 (Weil), GRH holds from the discussion within this chapter alone (Corollary 10.44).
(IV) Common Core and Error Management (§6.4, §8.1–§8.2, §10.10, Appendix)
- Small bandwidth and endpoint : In the small bandwidth regime, prime finite sums vanish (except for the endpoint), and endpoint contributions are explicitly controlled by the half-rule (incorporated into the remainder if necessary).
- Uniqueness principle: Serves as the key to lift from family-uniform vanishing of the shrunken bandwidth family and small disk agreement to agreement on the whole domain.
- and generating functions: Constrain large-bandwidth differences in both order and coefficient, and provide the uniform bounds needed for m-function identification and transport of Q.
- Robustness: Integrates error budgets from the three aspects — small bandwidth / large bandwidth / generating functions — and makes constant dependencies explicit (conductor , vanishing order at endpoints, Weyl error, order of ).
(V) Summary (Relation to the Whole Paper)
(I) combines positivity in §8.3 (Theorem 8.19) and the equivalence theorem in §8.4 (Theorem 8.21) to reach RH (Theorem 8.23); (II) provides m-function equality ⇒ reality of poles ⇒ RH/GRH in §8H and §10.6–§10.7; (III) connects §10.8 (Weil route) and §10.6–§10.7 (Herglotz route) via the same skeleton, and (IV) guarantees its portability and error management.
1.4. Technical Essentials and Notation [2,6,7]
In this section, we fix in advance the conventions, symbols, and basic objects used throughout the paper. We collectively define the Fourier conventions, test spaces (finite-bandwidth family and basic space ), the bilinear form Q, the Herglotz (m-function) / Cayley phase, and the regularized determinant . Each item will be restated and refined in later rigorous sections (§6–§10), but here we present them in a minimally self-contained form to facilitate back-and-forth referencing.
Fourier Conventions and Basic Operations
We unify the Fourier transform, convolution, and reflection as
(the inverse transform is denoted by , adopting the normalization consistent with (1)). Unless otherwise stated, test functions are assumed to be “even and real.” Global auxiliary conventions (Poisson/Hilbert kernels, boundary values, continuous connection of phases, etc.) are consolidated in the appendix.
Finite-Bandwidth Family and Basic Test Space
For bandwidth , we define
(small bandwidth). Also, we define the basic test space by
The bandwidth cutoff is taken using a smooth even cutoff , setting and (so ). becomes dense in as (see §8).
Zero Measure and Bilinear Form Q
From the imaginary parts of the nontrivial zeros of , define , and from the imaginary parts of the zeros of the completed form associated with a self-dual -type , define (counting multiplicity; the generalized finite part is taken according to the convention in the main text). For any , define
(where denotes the duality between distributions and test functions). As a property of closure under small bandwidth, if then . In this paper, through small-bandwidth equivalence in §6 and densification in §8, we establish and combine it with the Weil equivalence to obtain RH/GRH (§8, §10).
Windowed m-function and Cayley Phase
For a finite-bandwidth “window” , define the time-side convolution kernel by
On the operator side, we construct the Weyl–Titchmarsh type m-function , and on the arithmetic side, the Herglotz function based on the zero measure (§8, §10), and prove their equality from small-bandwidth equivalence + uniqueness principle. Boundary values are written as for the nontangential limit from the upper half-plane, and the Cayley transform
defines the phase (jump by at poles; the phase is extended monotonically by continuously connecting the principal value).
Regularized Determinant
For a self-adjoint operator K of Hilbert–Schmidt class, define the regularized determinant by
where are the eigenvalues (Weierstrass factor of genus 1). Its derivative is
(the normalization includes ), from which order follows. In §7, we present the consistency between the zero distribution of and the Weyl main term / HS condition, and the design of upper bounds (shrinking bandwidth family).
Small-Bandwidth Endpoints and Management of Endpoint Terms
The difference at the bandwidth endpoint is decomposed into “prime finite sum + endpoint term” (§10.1). For smooth windows (), endpoint terms vanish by vanishing conditions of arbitrary order, and even for piecewise smooth windows they are boundedly controlled by vanishing of endpoint values and higher derivatives (constants depend on the conductor and the endpoint order). This endpoint management is essential for transfer from small bandwidth to large bandwidth (densification / uniqueness).
Remarks (Summary of Symbols)
1.5. Scope of Application [3,8,9,10,11,12,13]
The main theorems of the two routes in this paper (Weil positivity / Herglotz) apply to self-dual -type L-functions satisfying the axioms (AL1)–(AL5) in §10.1 (analytic continuation, functional equation, Euler product, normalization of Archimedean factors, and good behavior of the conductor). Here we list the representative classes actually treated in this paper and the key points to be confirmed for application (see §10.8–§10.10, Proposition 10.43, Corollary 10.44 for details). Notation and conventions follow §Section 1.4.
(i) Riemann and Its Completion (, Basic Example)
The completed form
satisfies (AL1)–(AL5) and is self-dual. In §8, from small-bandwidth equivalence ⇒ densification we obtain , and by combining with the Weil equivalence (§8.4) we conclude RH (Theorem 8.23). In the Herglotz route as well, we arrive at the same conclusion from equality of windowed m-functions and reality of poles (§8.6–§8.7).
(ii) Dirichlet L (, Real (Self-Conjugate) Characters)
For a primitive real Dirichlet character ,
is self-dual and satisfies (AL1)–(AL5). Therefore, by the main theorem in §10,
holds (Theorem 10.39), and GRH also follows from the Herglotz route (Theorem 10.35). For non-self-conjugate characters (complex ), since in this paper the statements are made under the self-duality assumption, we refer, when necessary, to standard reductions such as self-dualization by or symmetric square, etc. (see §10.9).
(iii) Dedekind of a Number Field K (, Special Case of Hecke Characters)
The completed form
is self-dual and fits (AL1)–(AL5) (here is the conductor from the discriminant, and is the Archimedean factor determined by the combination of real and complex embeddings). Hence by the main theorem in §10, follows (Proposition 10.43, Corollary 10.44).
(iv) Hecke Characters (, Self-Conjugate Unitary Idele Class Characters over Number Fields)
For a unitary Hecke character (self-conjugate), the associated has a completed form that is self-dual and satisfies (AL1)–(AL5). Thus both Theorem 10.35 and Theorem 10.39 apply, and GRH () is established within this chapter.
(v) Self-Dual Newforms (Automorphic Forms: Holomorphic / Maaß)
For a self-dual automorphic representation of level N with trivial central character (holomorphic newform of weight k or Maaß newform), the standard L-function
satisfies (AL1)–(AL5). In the Weil route, (Theorem 10.39); in the Herglotz route, from equality of windowed and the reality of poles, we obtain GRH (Theorem 10.35).
(vi) Error / Constant Dependence and Appendix References
In any class, contributions from bandwidth endpoints, the degree of the conductor and Archimedean factors, the order estimates of , and the vanishing order in Poisson smoothing appear in the error constants. This paper summarizes the integration of errors in §10.10, and correspondence tables of constants and normalizations are consolidated in the appendix.
Summary
Each of the classes (i)–(v) satisfies the assumptions of Proposition 10.43, and by Corollary 10.44, GRH follows immediately from the discussion within this chapter alone. The case (i) coincides with the main theorem on RH in §8, and for general self-dual () the two routes in §10 complete the proof.
1.6. Organization of This Paper
This paper is structured around two main pillars: the Weil positivity route ( RH/GRH) and the Herglotz (m-function) route (equality of windowed m-functions ⇒ reality of poles ⇒ RH/GRH). The roles of each chapter and their contributions to the two routes are as follows (the notation and conventions fixed in §1 are common to all chapters, and the appendices centrally manage reference tables and normalizations).
§2 (Foundations: Conventions, Distributions, Kernels)
We organize the minimal tools of distribution theory and the conventions for Fourier/Poisson/Hilbert, and fix the framework for treating the explicit formula as a distribution. We standardize the window and convolution kernel, finite part (principal value / finite part), and the method of taking boundary values, providing a common base language for subsequent small-bandwidth equivalence and m-function construction.
§3 (Distributional Form of the Explicit Formula and Preparation for Small Bandwidth)
We rewrite prime sums and zero measures in the same distributional framework, and for families of finite-bandwidth test functions prepare the decomposition “difference from large bandwidth = prime finite sum + endpoint term.” This decomposition serves as the input for small-bandwidth equivalence in §6 and as groundwork for absorption via in §7.
§4 (Operator Side I: Convolution Operators and Regularization)
We bring convolution operators obtained from finite-bandwidth kernels into the Hilbert–Schmidt class, and establish the framework of the regularized determinant . We present Weierstrass factorization, order estimates, consistency between the Weyl main term and , and introduce a mechanism on the generating function side to constrain difference terms appearing in the large-bandwidth regime.
§5 (Operator Side II: m-Functions and the Uniqueness Principle)
We construct the Weyl–Titchmarsh type windowed m-function, and via the Herglotz representation and the Cayley transform (phase ), prepare the analytic structure compatible with reality of poles. At the same time, we establish the uniqueness principle based on small-disk agreement and family-uniform vanishing, providing the logical core for m-function identification in §8 and §10.
§6 (Small-Bandwidth Equivalence)
We prove the small-bandwidth agreement () between the operator side and the arithmetic side. We make explicit the half-rule for endpoint contributions and the disappearance of prime finite sums (except ), positioning this as the starting point of in the Weil route and as the origin of m-function equality in the Herglotz route.
§7 (, Weyl, and Upper Bound Design)
We give the consistency between the zero distribution of and the Weyl main term, and design uniform upper bounds for shrinking-bandwidth families. This shows that differences (prime finite sum + endpoint term) arising in large bandwidth can be absorbed on the generating function side, and prepares the framework for the error budget needed for densification / uniqueness in §8 and §10.
§8 (The Case: Main Theorem on RH)
We define the basic space and, combining the small-bandwidth equivalence of §6 with the upper bounds of §7, establish (Theorem 8.19). By combining with the known Weil equivalence (Theorem 8.21), we obtain the Main Theorem on RH (Theorem 8.23). In parallel, we complete the Herglotz route in the case (equality of windowed m⇒ reality of poles), showing that the two routes converge to the same point.
§9 (Conclusions and Guidelines: Overview of Robustness and Applications)
We organize the integration of errors from the three aspects of small bandwidth / large bandwidth / generating functions, and visualize constant dependencies (conductor, endpoint vanishing order, order of ).
We also provide an overview of the application policy toward §10 for Dirichlet / Hecke / Dedekind / self-dual , serving as a bridge from the ζ case (§8) to the general case (§10).
§10 (Generalization: Self-Dual -Type L-Functions)
Under axioms (AL1)–(AL5), in the Weil route we have (Theorem 10.39), and in the Herglotz route we deduce the reality of poles from equality of windowed (Theorem 10.35). Proposition 10.43 confirms that Dirichlet / Hecke / Dedekind / self-dual satisfy the axioms, and together with Corollary 10.44 concludes that GRH holds from the discussion within this chapter alone. Finally, §10.10 completes the integration of errors for the general case.
Appendices
We present Fourier conventions, boundary values, Cayley phase, normalization of , vanishing conditions for endpoint terms, and correspondence tables of conductors, Archimedean terms, and main term constants. Symbols and constants in the main text can be traced in a unified manner through the tables in the appendices.
2. Space and Generator
2.1. Introduction of Space and Generator [7,14]
Important Note (Regarding the Double Definition of )
In this chapter (§2), the symbol , representing the Paley–Wiener type region, is defined from two viewpoints:
- (Op)
- Operator-side definition: Based on the Paley–Wiener type image obtained from the convolution operator arising from a finite-bandwidth kernel (coming from the window ) (Fourier conventions, boundary values, and finite part handling follow the conventions of §2).
- (Ar)
- Arithmetic-side definition: Based on the Paley–Wiener type image induced by arranging the explicit formula as a distribution and by the small-bandwidth test function family () and its limit yielding the basic space (see §1.4, §8).
This double definition is intentional, in order to naturally guarantee both the extension of the scope of application and the proof techniques (Weil positivity / Herglotz). The following points are made explicit:
- (1)
- Absence of contradiction: On the core generated by the small-bandwidth family fixed in §1.4,we have identical agreement between and . Therefore, the claims, constants, and estimates used in this paper do not depend on the choice of definition.
- (2)
- Notation policy: Hereafter, unless otherwise stated, denotes the object obtained by naturally identifying the two. Only when it is necessary to emphasize a specific construction will the superscripts / be used.
- (3)
- Extension and uniqueness: By the small-bandwidth equivalence (§6) and the uniqueness principle (§5), the identical identification on is continuously extended to both constructions. Differences in normalization concerning endpoint contributions and regularization () follow the correspondence tables in the appendix and are consistent in either route (Weil / Herglotz).
From the above, we emphasize that the definitions and propositions in this chapter have a single meaning regardless of the choice of .
Positioning of this Subsection (Relation to the Overall Strategy)
This section corresponds to the strategy of the paper and provides the foundation that connects to the subsequent self-adjointization, Hilbert–Schmidt inclusion, compactness of the resolvent (§2.3–§2.4), and further to the Weyl-type main term in §3 and the explicit formula in §6. Notation follows §Section 1.4 (Fourier conventions, etc.).
Basic Setting and Fixed Notation
Hereafter, we take as fixed parameters and . With the weight
we define the weighted Hilbert space
The Fourier transform conventions follow §Section 1.4:
The bandwidth space
is defined as a closed subspace of (hereafter, definitions and reasoning for operators are performed on as needed). The frequency cut-off projection
is the (self-adjoint) orthogonal projection on . The weight multiplication operator is
and we standardize to denote it by U (consistent with N2 in §1.3). As a core,
is used. The differential operators are
(where denotes the notation for formal adjointization with respect to the inner product). As a candidate for the generator,
is introduced, where denotes the appropriate self-adjoint restriction (closure) of R to (definition clarified in the lemma below).
Strong Commutativity on the Fourier Side and Restricted Operator
Lemma 2.1
(Strong commutativity and essential self-adjointness of the restriction). Let . is self-adjoint on and (multiplication operator). Therefore, R strongly commutes with , and the restriction
is essentially self-adjoint. The closure is denoted by .
Proof.
is standard. coincides with and therefore strongly commutes with . From strong commutativity, the self-adjointness of the multiplication operator on the closed set is restricted to (spectral theorem). Therefore is essentially self-adjoint, and its closure is self-adjoint. □
Equivalence of the Two Representations (in the Sense of Unitary Equivalence)
Lemma 2.2
(Equivalence of the two representations of ). Let , and on the common core consider
The map is an isometry (unitary), and
holds. In particular,
- is uniquely determined by Lemma 2.1, and the generator is self-adjoint;
- is a self-adjoint operator on , and its differential representation coincides with that given by (equal to on ).
Therefore, the restriction on the Fourier side () and the adjointized representation on the real side () give, in the sense of unitary equivalence, the same self-adjoint generator.
Proof.
U is a unitary between and , and by distributional calculation
holds (boundary terms vanish in integration by parts on ). Therefore, and R are unitarily equivalent. By Lemma 2.1, is essentially self-adjoint and its closure is self-adjoint. By unitary equivalence, is also self-adjoint, and its differential representation on coincides with . The claim follows. □
Remark (Note on bandwidth preservation)
Multiplication on the time side, , does not in general preserve bandwidth, so it is not necessary to assume . In this paper, as in Lemma 2.2, we represent from two perspectives in terms of unitary equivalence, and all properties used in the subsequent self-adjointization (§2.3), functional calculus (§4), and explicit formula (§6) — such as spectral properties, counting, and Schatten class properties — are treated as unitary invariants.
Standard Notation and References Used Hereafter
Hereafter, we fix the notation
References to via Borel functional calculus (§4), and (§4.3), and to the small-bandwidth explicit formula and difference distributions (§6.1–§6.3) are all made according to the conventions in §Section 1.4.
With this, the preparations for the remainder of §2 (domain, graph norm and self-adjointization, Hilbert–Schmidt inclusion of embeddings) are complete.
2.2. Domain and Graph Norm
Position of this Subsection (Relation to Overall Strategy)
This subsection deals with the refinement of the domain and the foundation of the graph norm for the generator candidate introduced in §Section 2.1 (Lemmas 2.1, 2.2), in order to establish the subsequent self-adjointness (§Section 2.3) and the Hilbert–Schmidt property of the embedding (§Section 2.4). In particular, we explicitly show that the graph norm defined using (§Section 2.1) is equivalent to , and that is a core.
Definition (Minimal Domain and Maximal Domain)
Hereafter, fix . With the weight ,
and as the common dense subspace.
Definition 2.1
(Minimal domain and maximal domain). The minimal domain of is defined by
that is, the closure of with respect to the graph norm. Furthermore, the maximal domain is
The domain of the restricted operator is written as .
Remark (Notation and conventions)
The graph norm will be used hereafter also for (i.e., ). Fourier conventions and the orientation of the inner product follow §Section 1.4.
Equivalence of graph norm and
Lemma 2.3
(Norm equivalence; constants depend only on ). There exist constants (depending only on , independent of ) such that for any ,
holds. Hence is equivalent to the -norm.
Proof.
Let , so that . For the upper bound,
Therefore
(e.g., works). For the reverse inequality,
implies
(e.g., ). This proves the claim. □
Corollary 2.2
(Identification of maximal domain and restriction to ). We have , and hence
Furthermore, the graph norm is equivalent to the -norm on (constants depend only on α, independent of Λ).
Proof.
Since with , we have . Norm equivalence follows from Lemma 2.3. □
Verification of the Core and Minimal Closure
Lemma 2.4
( is a core of ). is a core of ; that is,
Proof.
Let be arbitrary. Consider the frequency-side mollified approximation , where is the standard mollifier supported in and is the characteristic function. Then , and the inverse transform belongs to (the inverse Fourier transform of is Schwartz). Moreover, since in and in ,
By Lemma 2.3, . Hence is dense in with respect to the graph norm, proving the claim. □
Remark 2.3 (On independence of Λ)
All of the above approximations are carried out via the frequency cut-off , and the constants appearing in the estimates depend only on (not on ). The same holds for the estimates in §Section 2.3 and §Section 2.4.
Conclusion of This Subsection and Connection to the Next
In this subsection, we have established (i) (Corollary 2.2), (ii) equivalence of and the -norm (Lemma 2.3), and (iii) that is a core (Lemma 2.4). This prepares us for the next subsection §Section 2.3 (self-adjointization), where, based on Kato–Rellich, we will establish the self-adjointness of and hence of .
References hereafter: Fourier conventions, Schatten/ are in §Section 1.4; construction of restricted operators is in §Section 2.1 (Lemmas 2.1, 2.2).
2.3. Self-Adjointization [14,15]
Position of this subsection (relation to overall strategy).
This subsection, following Lemmas 2.1, 2.2 in §Section 2.1 and Corollary 2.2 and Lemma 2.4 in §Section 2.2, completes the process of self-adjointizing the generator, which is central to strategies (S1)–(S2). The conclusion is that and are self-adjoint, with domain
and deficiency indices . This prepares the way to establish the compactness of the resolvent (purely discrete spectrum) in §Section 2.4.
as a Bounded Symmetric Perturbation
Lemma 2.5
(Bounded symmetric perturbation). Let , , and . Then with . Hence
is a bounded symmetric perturbation of R on , and , restricted to , is also a bounded symmetric perturbation of .
Proof.
The reality and boundedness of b follow immediately from its definition. Symmetry with respect to the inner product on is evident from . Boundedness is also clear. □
Main Proposition on Self-Adjointness
Proposition 2.1
(Self-adjointness of and ). Let . Then:
- is essentially self-adjoint, and its closure is self-adjoint (Lemma 2.1).
- is a bounded symmetric perturbation (Lemma 2.5); hence by the Kato–Rellich theorem it is self-adjoint.
- The domain is (Corollary 2.2). In particular, is a core of (Lemma 2.4).
- is self-adjoint with . The deficiency indices are .
Proof. (i) follows from Lemma 2.1. (ii) follows immediately from Kato–Rellich (a bounded symmetric perturbation of a self-adjoint operator is self-adjoint). The statement about the domain is given by Corollary 2.2 in §Section 2.2. The same corollary and Lemma 2.4 yield that is a core. Finally, (iv) follows directly from (ii) and the definition . By self-adjointness, the deficiency indices are . □
Remark 2.4(Unitary equivalence and uniqueness of representation)
From Lemma 2.2, the map is unitary and holds. Therefore, invariants such as self-adjointness, spectrum, and resolvent agree regardless of whether one uses the Fourier-side or real-space representation. It is not necessary for the time-side multiplication U to preserve bandwidth (see Remark 2.1).
Basic Resolvent Estimate and Closed Graph Property
Lemma 2.6
(Boundedness of the resolvent and closed graph property). Since L is self-adjoint, for any the resolvent exists as a bounded operator, and in particular
Moreover, is a Hilbert space, and L is a closed operator.
Proof.
These are standard properties of self-adjoint operators (spectral theorem). Since , is complete, and the closed graph theorem gives the closedness of L. □
Remark (Bridge to the next section)
The existence of in Lemma 2.6 justifies the decomposition in §Section 2.4, where is the inclusion and is bounded. From the Hilbert–Schmidt property of J (Proposition in §Section 2.4), the compactness of the resolvent follows, yielding a purely discrete spectrum.
Summary: Conclusion of This Subsection
Thus we have established
In the next §Section 2.4, we will prove the Hilbert–Schmidt property of the inclusion J through estimates of evaluation operators, and deduce the compactness of .
2.4. Compactness of the Inclusion and the Resolvent [14,16,17]
Position of This Subsection (Relation to Overall Strategy)
In this subsection, for the self-adjoint generator (with domain ) obtained in §Section 2.3, we show that the inclusion from the graph norm space into is compact, and we use this to deduce the compactness of (and hence a purely discrete spectrum). Here
is the graph norm.
Boundedness of point evaluations and local Sobolev inequality
Lemma 2.7
(Boundedness of point evaluation; ). For any and ,
where the constant depends only on (and not on ).
Proof.
We use the one-dimensional local Sobolev inequality (standard; e.g., the Meyers–Serrin form). Noting that with satisfies on the interval , we have
Since is equivalent to (because and ), we obtain . □
Remark 2.6 (Norm of the evaluation functional)
From the lemma, the point evaluation is a bounded functional with . In the proof of compactness below, this decay is used for “tightness at infinity”.
Compactness of the Inclusion
Proposition 2.2
(Compactness of the inclusion ). Let . The inclusion map
is compact.
Proof.
(1) Local compactness. On a bounded interval , the weight w is bounded above and below, so
and by the Rellich–Kondrachov theorem, the embedding is compact.
(2) Tightness at infinity. By Lemma 2.7 and Cauchy–Schwarz,
Since , for any we can choose R such that holds uniformly for families with . Indeed, the control of f for from the lemma gives , and since , as .
(3) Combination. For a bounded sequence in , (1) gives relative compactness on , and (2) shows the tail is uniformly small. Hence is relatively compact in , and J is compact. □
Remark 2.7 (Note: relation to Hilbert–Schmidt)
The above conclusion (compactness) is all that is needed later. Note that the inclusion into the unweighted space , , is Hilbert–Schmidt for by Lemma 2.7 and . On the other hand, the inclusion into used in this paper is not, in general, Hilbert–Schmidt, but compactness suffices.
Compactness of the Resolvent and Discreteness of the Spectrum
Lemma 2.8
(Graph norm control of the resolvent). Let . The map
is bounded. In particular, can be taken.
Proof.
Let . Then , and
Self-adjointness gives (spectral theorem), so . Substituting yields , and for we can take . □
Corollary 2.3
(Compactness of the resolvent and purely discrete spectrum). is a compact operator . Therefore L has a purely discrete spectrum, and its eigenvalue sequence has finite multiplicities and diverges to infinity.
Proof.
By Lemma 2.8 and Proposition 2.2,
with J compact and bounded. Thus is compact. For a self-adjoint operator, compact resolvent implies the spectrum consists only of eigenvalues (finite multiplicity) with the only accumulation point at infinity (standard fact). □
Summary: Conclusion of This Subsection and Connection to Later Sections
In this subsection we have shown
Thus L has a purely discrete spectrum. This serves as the starting point for the Weyl-type main term in §3 (asymptotics of the eigenvalue counting function ) and for the functional calculus and Schatten class analysis in §4.
3. Main Term of the Eigenvalue Distribution
3.1. Purely Discrete Spectrum and Eigenbasis [14,15]
Position of this Subsection (Relation to Overall Strategy)
In §Section 2.3 we established the self-adjointness of the generator and the domain , and in §Section 2.4 we showed the compactness of (and hence compact resolvent). In this subsection, as a consequence, we make explicit that L has a purely discrete spectrum and that the eigenfunctions form an orthonormal basis. Hereafter, the operator space is denoted by
and denotes all bounded operators on H, all compact operators.
Compact Resolvent ⇒ Purely Discrete Spectrum
Proposition 3.1
(Purely discrete spectrum and eigenfunction system). The self-adjoint operator L has a compact resolvent: (§Section 2.4, Corollary 2.3). Therefore:
- The spectrum is discrete, each eigenvalue has finite multiplicity, and the only accumulation point is at infinity.
- There exists an orthonormal basis (ONB) of H consisting of eigenfunctions.
In particular, the positive part of the eigenvalues can be enumerated as
(with multiplicities included, as a non-decreasing sequence).
Proof.
Combining the compactness of (§Section 2.4, Corollary 2.3) with self-adjointness (§Section 2.3, Proposition 2.1), the spectral theorem (spectral structure of self-adjoint operators with compact resolvent) yields (i) and (ii). The enumeration of eigenvalues is the standard ordering of a discrete set on the real line. □
Remark 3.1 (Treatment and enumeration of negative eigenvalues)
In general, may extend infinitely in both positive and negative directions. In the counting below, we use the non-decreasing sequence enumerating only the positive eigenvalues, and adopt If necessary, the negative side is enumerated separately, but the main result of this chapter (Weyl-type main term) is stated only for the positive sequence .
Spectral Decomposition and Preparation for Functional Calculus
Lemma 3.1
(Spectral decomposition and functional calculus conventions). Let be the ONB in Proposition 3.1 (orthonormal basis of the eigenspace corresponding to eigenvalue , , multiplicity ). Then, for any bounded Borel function ,
converges in H, and if then with
Proof.
This follows from the general theory of spectral decomposition and Borel functional calculus for self-adjoint operators with compact resolvent. The Hilbert–Schmidt condition follows directly from the definition. □
Remark 3.2 (Bridge to the next section (Mercer expansion)) For an even, band-limited filter , considering , the representation in Lemma 3.1 corresponds to the Mercer-type expansion of the kernel . A precise description is given in §Section 3.2.
Core and Normalization Notes
Lemma 3.2
(Approximation on the core ). is a core for L (§Section 2.2, Lemma 2.4). In particular, vectors in each eigenspace can be approximated in the graph norm by a sequence from .
Proof.
This follows immediately from Lemma 2.4 in §Section 2.2 and Proposition 2.1. □
Remark 3.3 (Normalization conventions)
Hereafter, eigenfunctions are normalized so that , and the index ℓ for multiplicity is shown only when needed. When we write , we mean, for simplicity, a sequence with multiplicity suppressed to 1 (by choosing an appropriate orthonormal basis).
Summary: Connection to the Next Section
In this subsection, we have established the purely discrete spectrum of L and the existence of an ONB, as well as the explicit form of functional calculus (Lemma 3.1). In the next §Section 3.2, we will arrange the Mercer expansion of the kernel of and its conjugate-symmetric (real-symmetric) structure, completing the preparation for the Weyl-type counting in §Section 3.3 and later.
3.2. Normalization, Conjugate Symmetry, and Mercer Expansion [6,14,18]
Position of This Subsection (Relation to Overall Strategy)
Building on the purely discrete spectrum and functional calculus from §Section 3.1 (Lemma 3.1), we make precise the kernel expansion (Mercer-type expansion) of for even, band-limited filters. This setup provides the foundation in §Section 3.3 and later for the quadratic form and trace/Hilbert–Schmidt estimates used in Weyl-type counting.
± correspondence via complex conjugation (including correction of a misprint)
Lemma 3.3
(Conjugate symmetry: ). The complex conjugation operator is an antilinear isometry and, since , we have . Hence, if (), then .
Proof.
Since has real coefficients, . Thus . The eigenvalue equation follows immediately. □
Remark 3.4 (Ordering and notation of eigenfunctions (correction)) From Lemma 3.3, for an orthonormal basis of the eigenspace with , we can take the side as
(Correction: the previous statement “” lacked the conjugation bar; corrected here). Hereafter, we explicitly write as needed to run over the full spectrum.
Mercer-Type Expansion and Schatten Class Conditions
Let be the full eigen-system of L ( are positive or negative eigenvalues, multiplicity index) with .
Proposition 3.2
(Functional calculus and Mercer-type expansion). Let be a bounded Borel function and set . Then:
- Spectral sum representation (strong convergence in H):
- Compactness criterion: If as , then .
-
Hilbert–Schmidt condition and kernel expansion: If , then and there exists an -kernel (with respect to ) such thatFurthermore, .
- Trace class: If , then and .
Proof. (i) follows from the spectral decomposition of self-adjoint operators (extending Lemma 3.1 in §Section 3.1 to all eigenvalues). (ii) follows from the fact that is discrete and if as , the eigenvalue sequence converges to 0. (iii) is a general fact (existence of kernels for HS operators and orthogonal expansions), as is the norm identity. (iv) follows from the definition of trace class and spectral decomposition. □
Corollary 3.1
(Real-symmetric kernel for even, real-valued ). If b isevenandreal-valued, then is self-adjoint and
Moreover, using the choice in Lemma 3.3 (),
and the right-hand side is real-symmetric (in the sense).
Proof.
If b is even and real-valued, then , and self-adjointness follows from the representation in (i). The kernel representation is obtained by straightforward rearrangement using . □
Remark 3.5 (Application to band-limited filters φ)
In this paper, refers to the functional calculus for a Borel extension of (even, band-limited; see §Section 1.4). Since is discrete and , typically , yielding compactness. If then K is Hilbert–Schmidt; if then K is trace class. In §4 we will analyze .
Summary: Connection to the Next Section
In this subsection, we have: (a) made precise the ± correspondence via conjugate symmetry (Lemma 3.3), and (b) arranged the Mercer-type expansion of (Proposition 3.2, Corollary 3.1). This allows, in the Weyl-type counting of §Section 3.3, the evaluation of quadratic forms to be reduced to sums over eigenvalues.
3.3. Weyl-Type Counting (Rough Main Term) [19,20,21]
Position of this Subsection (Relation to Overall Strategy)
Based on the preparations in §Section 3.1–Section 3.2, we derive, from variational inequalities (upper and lower bounds), the rough Weyl-type main term
The refinement to is deferred to §3.4.
Standard form of the Quadratic Form and Correction of the Auxiliary Potential
Hereafter, fix and let . Using the notation from §Section 2.1,
First, we rewrite the graph quadratic form associated to into a form without first-order terms.
Lemma 3.4
(Decomposition of the quadratic form and auxiliary potential ). For any ,
where
In particular, as ,
Proof.
The auxiliary potential V is bounded, depends only on , and not on . Hence and are equivalent norms:
IMS Partition and Localization
Lemma 3.5
(IMS-type partition). Let be a partition of unity subordinate to bounded intervals of length 1, , such that , , and . Then, for any ,
Proof.
This is the standard IMS identity for a first-order operator (sign ignored). The weight w is real and positive, and the are real-valued, so the identity holds directly. The last term corresponds to . □
Lemma 3.6
(Localization to constants). On each , , , and
The constants depend only on , not on .
Proof.
This follows from Lemma 3.4 and the bounded variation of w and V on intervals of length . □
Upper Bound: Variational Principle and Phase Space Volume Estimate
Proposition 3.3
(Weyl-type upper bound). There exists such that, for sufficiently large T,
Sketch of Proof.
On each interval , the weight can be treated as constant, so the number of degrees of freedom satisfying is (the standard estimate for Dirichlet/Neumann brackets of the first derivative). Here . Thus
Summing up to the threshold , (for ) produces the main term , and the edge adjustment (both sides and half at the endpoint) gives . The remainder is absorbed into . □
Remark 3.6.
The “local degrees of freedom of the first derivative ” above coincides with the eigenvalue density of on an interval (lattice in with spacing ). The weight rescales statically by , replacing the frequency cutoff by .
Lower Bound: Construction of Quasimodes
Proposition 3.4
(Weyl-type lower bound). There exists such that, for sufficiently large T,
Proof
(Sketch of proof). (1) For each m, use the phase on to define (), normalized so that . (2) Since , . (3) For (), we have . By Riesz interpolation, is almost orthogonal, with count for each m. (4) Summing for gives the lower bound in the proposition. □
Summary: Rough Weyl Law
Theorem 3.1
(Rough Weyl law; accuracy). For sufficiently large T,
The constants depend only on α, not on Λ.
Proof.
Combine Propositions 3.3 and 3.4. □
Remark 3.7 (Connection to the next section)
The term here can be improved to using the band-limited test and Tauberian smoothing of the kernel expansion from §Section 3.2 (§3.4). The half-endpoint rule and normalization follow the corresponding appendix section.
3.4. Precise Weyl Law (Distribution Identity and ) [4,7,22,23]
Position of This Subsection (Relation to Overall Strategy)
We refine the rough main term obtained in §Section 3.3,
to accuracy by means of band-limited smoothing and a Tauberian-type argument. The test family used here follows (even, band-limited ) from §Section 1.4.
Distribution Identity (Smoothing)
Using the symmetric measure we write Hereafter, is assumed even.
Theorem 3.2
(Smoothed distribution identity). For any even test ,
holds, where the error term satisfies with constant depending only on α (independent of Λ), and continuous in ϕ with respect to the above seminorms. In particular, for the translation , the bound for isuniformin T.
Sketch of Proof.
By integration by parts, (half-endpoint rule: see Appendix). Substituting from §Section 3.3, the main term matches the integral formula The contribution of the error is controlled by , and from band-limitedness and evenness, (Details are made rigorous in §5.2–§5.3.) Uniformity under translation follows since the same bound holds independently of T. □
Remark 3.8 (Interpretation)
Equation (14) is equivalent to convolution with the “local density ”, showing that the local average of the eigenvalue distribution follows (band-limited smoothing near t). This expression naturally aligns with the functional calculus and regularized determinant in §4.
Tauberian Pullback: Refinement to
Fix an even with , and for scale set . Define the smoothed count
From the translated version of Theorem 3.2,
uniformly for . Integrating gives
where the constant depends only on H and . We now revert from the smoothed to the unsmoothed .
Proposition 3.5
(Tauberian comparison). With appropriate Beurling–Selberg-type band-limited upper/lower approximations , one has
where depend only on and the choice of kernel (), and are independent of T (half-endpoint rule: see Appendix).
Proof outline.
Apply the standard construction of Vaaler’s majorant/minorant polynomials (band-limited approximation), adjusted to fit within the support of (see §5.3–§5.4). The error is controlled by and boundary contributions, yielding a bound. □
Applying Proposition 3.5 to (15) yields the main theorem.
Corollary 3.2
(Precise Weyl law; ). For sufficiently large T,
The constants depend only on α and the bandwidth η, not on Λ.
Proof.
Combine (15) with Proposition 3.5. □
Remark 3.9 (Half-endpoint rule and normalization)
The term above absorbs the half-endpoint rule when an eigenvalue lies at T. Precise conventions follow the appendix (endpoint treatment).
Summary: Connection to §4 and §6
Theorem 3.2 is a distribution identity stating “local density ”, which connects directly to the analysis of and in §4. Moreover, this formulation with the common setting of even, band-limited family is isomorphic to the explicit formula for the completed zeta side (narrow-band equivalence) in §6, and will later be reused for comparing and (§6.2–§6.5).
4. Functional Calculus and Regularization
4.1. Functional Calculus and Schatten Class Criteria [6,14]
Position of This Subsection (Relation to Overall Strategy)
Given the self-adjoint generator (from §Section 2.3) and pure point spectrum (§Section 3.1) developed in §Section 3.1–§Section 3.2, we construct via the Borel functional calculus and present a unified treatment of commutativity, self-adjointness, and Schatten class criteria. The conventions of this section follow §Section 1.4 (in particular, the Fourier conventions and ).
Definition and Basic Properties of the Borel Functional Calculus
Definition 4.1
(Borel functional calculus and commutativity). Let L be the self-adjoint operator from §Section 2.3, and let be its spectral measure. For a Borel function ,
is defined. Then:
- ;
- always commutes with L (for any Borel , );
- If is real-valued then is self-adjoint; if is non-negative then ;
- If uniformly then in the strong operator topology.
Remark 4.1 (Notation conventions (Fourier transform)) Hereafter, in line with §Section 1.4, the Fourier transform will be denoted by or (both notations may be displayed when needed). The unitary map with (Lemma 2.2) is kept for reference, but the discussion in this section is based on the spectral measure .
Self-Adjointness and Compatibility with Conjugation Symmetry
Proposition 4.1
(Self-adjointness of and commutation with ). For a Borel function : (i) if is real-valued then is self-adjoint; (ii) for any , commutes with L; (iii) furthermore, if is even and real-valued, then in accordance with Lemma 3.3 of §Section 3.2 (), is conjugation-symmetric (its kernel is real-symmetric).
Proof. (i) and (ii) follow from the general theory in Definition 4.1. (iii) follows from and (see Corollary 3.1). □
Schatten Class Criteria: Eigenvalue Conditions and Kernel Representation
Theorem 4.1
( criteria (eigenvalue-side conditions)). Assume L has pure point spectrum as in §Section 3.1. For eigenvalues with multiplicities :
- (Hilbert–Schmidt);
- (trace class);
-
In either case,holds (the latter in the case).
Proof.
Using the eigenfunction expansion from Lemma 3.1 in §Section 3.1, (i) and (ii) follow immediately from the definition of and the computation on the orthogonal sum. (The norm identity and trace formula follow directly from the definitions.) □
Corollary 4.2
(Mercer-type expansion of HS/trace kernels). If then there exists an -kernel such that
and if then . Here is the ONB from §Section 3.1.
Remark 4.2 (“Weak kernel representation” and separation from HS criterion)
For a general Borel function , admits a distributional kernel (weak kernel), but this kernel need not belong to . Thus the safest way to verify HS property is to use the eigenvalue-side condition (Theorem 4.1) (cf. Proposition 3.2 in §Section 3.2).
Compatibility with Unitary Removal (for Reference)
Remark 4.3 (Removal via U and description of the kernel)
From Lemma 2.2 in §Section 2.1, is unitary with . Then holds. In practice, kernel computations are more consistently based on the eigenfunction expansion in §Section 3.2, and in this work we do not require direct removal (nor any assumption of bandlimiting; see Remark 2.1).
Summary: Connection to the Next Section
In this subsection, we established (a) the definition and basic properties of (self-adjointness and commutativity), and (b) the eigenvalue-side criteria and HS/trace kernel expansions. In the next §Section 4.2, we introduce localization and endpoint patching (Kato–Seiler–Simon type estimates), imposing smoothness and endpoint vanishing order on to stabilize local trace class and sharpen off-diagonal decay.
4.2. Localization, Endpoint Gluing, and Off-Diagonal Decay [6,24,25]
Position of This Subsection (Relation to Overall Strategy)
In this subsection, for constructed in §Section 4.1, we establish Schatten class properties under localization (time-side cut-off ) and off-diagonal decay of the kernel (rapid decay of interactions between separated supports). The technical key points are: (i) endpoint gluing (smooth vanishing near ), (ii) control of local trace class via Kato–Seiler–Simon (KSS) type inequalities, (iii) decay estimates by integration of nonstationary phase based on Fourier representation. The conclusions here provide a solid foundation for safe commutation and limit operations in the small-band equivalence and explicit formula in §6.
Working Assumptions (Endpoint Vanishing and Smoothness)
Definition 4.3
(Endpoint vanishing order and gluing class). For a fixed band , a function is said to have endpoint vanishing orderm if
Hereafter, we assume
and extend by zero outside . (As a sufficient condition, one may require .)
Remark 4.4 (Relation to unitary removal)
By Lemma 2.2 in §Section 2.1, is unitary and . The KSS-type estimates appearing in this section can, if desired, be applied in the standard -setting after transfer via U (constants depend only on , not on ).
Kato–Seiler–Simon Type Estimates and Local Trace Class
We use the time-side cut-off ().
Lemma 4.1 (One-dimensional KSS inequality ( setting)). The following holds: for any and ,
where denotes Fourier-side multiplication . In particular, for the Hilbert–Schmidt bound is obtained.
Sketch of Proof
This is the one-dimensional special case of the classical Kato–Seiler–Simon (Birman–Solomyak) inequality. Writing the kernel via the Fourier transform as , Young’s inequality and the integral characterization of Schatten norms yield the result. □
Proposition 4.2
(Local Hilbert–Schmidt / trace class property). Let and let satisfy Definition 4.3. Then:
- with
-
, and for any ,In particular (taking ), .
Proof.
Transferring to the -side via U, (i) follows from Lemma 4.1 with , . For (ii), decompose , apply KSS with to each factor, and use . Dependence on is absorbed in the boundedness constants when transferring via U. □
Remark 4.5 (Constants and dependence on Λ)
The integrals above are restricted to , but the evaluation constants themselves depend only on and not on (expanding the band affects only quantities like ).
Construction of Endpoint Gluing and Stable Estimates
Lemma 4.2
(Existence of smooth endpoint gluing). Let satisfy Definition 4.3. For any small , there exists such that on , on , and . Moreover,
Outline of Proof
Insert cut-offs near the endpoints , and connect them with Hermite-type gluing polynomials (solving coefficients to satisfy the endpoint conditions ). By standard gluing methods, the -norms of the derivatives are controlled by the stated bound. □
Remark 4.6 (Kernel representation after gluing and time-side decay)
Since is a compactly supported function, the (in -sense) representative of the kernel is given by
(after unitary removal to the -side). Repeated integration by parts times yields
Off-Diagonal Decay and Suppression of Distant Interactions
Theorem 4.2 (Off-diagonal decay (HS norm version)). Let φ satisfy Definition 4.3 and . If , then for any ,
Outline of Proof
Prepare via Lemma 4.2 and pass to the kernel representation: . Only the region contributes, and integrating by parts N times yields . The claim follows from Schur’s test (or the integral formula for the norm). □
Remark 4.7 (Operator norm version)
Similarly, one obtains
(for ). In the sequel, we will use either HS or operator norm as needed.
Summary: Connection to §6 and Role in This Chapter
We have now established that (i) under localization , belongs to /, and (ii) assuming endpoint vanishing, the interaction between separated cut-offs decays at an arbitrary order in the distance. This justifies, in §6’s small-band equivalence and explicit formula, the interchange of band changes, partition sums, and localization limits (e.g., limits of ).
4.3. Regularized Fredholm Determinant and Trace Identities [6,26]
Position of This Subsection (Relation to Overall Strategy)
In this subsection, for constructed in §Section 4.1–§Section 4.2 (focusing on even, real-valued ), we introduce the regularized Fredholm determinant, and rigorously define its analytic branch (in a zero-free domain) and power series expansion / trace identities. Using the control via localization (Proposition 4.2) and off-diagonal decay (Theorem 4.2), we show that the eigenvalue sum coincides with the localized cyclic integral.
Definition and Basic Properties (Branch and Zero Avoidance)
Definition 4.4
(Regularized Fredholm determinant ). For a Hilbert–Schmidt operator ,
is defined (the right-hand side converges by trace-class perturbation). The unitary invariance holds.
Remark 4.8 (Analyticity and branch choice)
is an entire function of (). However, when dealing with , we take a simply connected domain excluding the zero set , fix a branch at a base point , and analytically continue. In particular, for , a unique branch is taken from the power series definition.
Remark (Sign convention)
The standard in this chapter is . In later chapters (§7) where is used, one may read it as the substitution (noted where necessary).
Power Series Expansion and Trace Identities
Proposition 4.3
(Power series expansion and derivatives of ). Let and be a simply connected domain where . Choosing a branch of on , we have
Here, for , , so the trace is well-defined.
Proof.
From Definition 7.1, . For , converges, and the term cancels with , yielding (44). Analytic continuation extends it to . (17) follows from termwise differentiation and . □
Corollary 4.5
(Consistency with eigenvalue product representation). Let the nonzero eigenvalues of K (with multiplicity) be . Then
The latter coincides with ().
Equivalence of Localized Cyclic Integrals and Eigenvalue Sums
Hereafter let satisfy the working assumptions of §Section 4.2 (Definition 4.3). Take a localization sequence such that
Proposition 4.4
(Limit representation of localized cyclic integrals). For any ,
Furthermore, if K has a kernel (in the -sense, Corollary 4.2), then the right-hand side can be written as
(Fubini is justified in ).
Proof.
If , then (). follows from Proposition 4.2(i) and Theorem 4.2 (suppression of distant interactions). Continuity in (continuity of multiple products) yields (18). The kernel expression follows from the integral representation of . □
Remark 4.10 (Correspondence with frequency-side (band) representation) After unitary removal to the -side, (representative after endpoint gluing; Lemma 4.2), and under appropriate additional assumptions (, etc.), one obtains the frequency-side formula . In general, the limit representation in Proposition 4.4 provides the correct framework.
Summary: Agreement of and Kernel Cyclic Products
Theorem 4.3
(Trace identity for (with localization limit)). Let . For a branch on a zero-free domain Ω,
In particular, near this follows by matching (17) and Proposition 4.4. (For notes on , see Appendix E.)
Proof.
Match (17) in Proposition 4.3 with Proposition 4.4 term-by-term. Since convergence holds in the norm and the Weierstrass test yields a uniformly convergent region, exchange of the series and the limit is justified. □
Summary: Connection to §5 and §6
In this subsection, we established the analytic branch of and the identity . This framework plays a central role in both the small-band equivalence (explicit formula) in §6 and the distribution identity (optimization of the error) in §5.
5. Distribution Identity and Error Optimization
5.1. Framework of the Distribution Identity [19,25,27]
Position of This Subsection (Relation to Overall Strategy)
(Theorem 3.1), we derive the main term of the smoothed distribution identity for band-limited tests . Here we do not refine to (that is deferred to §Section 3.4 and §5.3–§5.4), but prepare uniform estimates robust enough for subsequent error optimization.
Hereafter, following the conventions in §Section 1.4, we use the even, band-limited test family (). For the symmetric measure of eigenvalues , we write
(in agreement with §Section 3.4).
Main Term and Uniform Error Estimate
Proposition 5.1 (Framework of the distribution identity (main term based on coarse Weyl)). Let (even). There exists a constant such that
and the error is estimated as
In particular, for the translation , , and the bound is uniform in T.
Proof.
By evenness, . Since , we have , and by integration by parts,
Decomposing into the coarse Weyl main part and the remainder (with ), we get
The first term, after another integration by parts, is
By evenness, , hence
Thus
The last constant term (proportional to the -norm of ) can be absorbed into . For the second term, and give , and from (Bernstein-type estimate), follows (constants depend on and a fixed order of differentiation; see §5.2 and the appendix for Paley–Wiener estimates). This establishes (19)–(20). Uniformity in translation follows immediately from . □
Remark 5.1 (On normalization; consistency with §Section 3.4)
The main-term kernel results from deriving with the main part of §Section 3.3 and adjusting constants via . The representation in §Section 3.4 should be read in accordance with this normalization (the constant difference can be absorbed into ).
Corollary 5.1
(Uniformity under translation). For and ,
that is, the error estimate is uniform in T.
Proof.
Apply Proposition 5.1 to and use . □
Note on Small Bandwidth and Connection to §6
Remark 5.2 (Small bandwidth () and disappearance of prime terms) In the range , the contribution corresponding to the “prime term” in the wide-band expansion of §6 does not appear. In this chapter, under this small-bandwidth setting, we establish the framework of the main term and error; extension to wide bands (with reappearance of prime terms) is carried out in §6.
Summary: Connection to the Next Section
By Proposition 5.1, for band-limited tests we obtain the main-term kernel and uniform error in translation. In the next section (§5.2), we refine the error estimate (20) into an implementable form (explicit dependence on ) by introducing short-time kernel cutoffs, finite parts, and endpoint vanishing order.
5.2. Short-time Kernel Cutoff, Finite Part, and Endpoint Vanishing [7,25,28,29]
Position of This Subsection (Relation to Overall Strategy)
We refine the main-term representation in §Section 5.1
(Proposition 5.1) into a form that can be used directly in the Tauberian-type sandwich argument of §5.3–§5.4. Specifically, we smoothly cut off the short-time contribution near time zero, rigorously express the singularity of in the form of a finite part (Hadamard finite part), and at the same time give a quantitative error estimate depending on the cutoff parameters . The exchange of limits here is justified by the local trace-class property of §Section 4.2 (Proposition 4.2), the off-diagonal decay (Theorem 4.2), and the localized cyclic product formula in §Section 4.3 (Proposition 4.4).
Short-Time Cutoff Kernel and Scaling
Definition 5.2
(Short-time cutoff kernel ). Fix an integer and a small parameter . Choose an even function such that
and . Typically, we choose a reference kernel (with the same moment-vanishing conditions) and set . Then
and, with an appropriate (Gevrey-type) choice of ,
Remark 4.2 (Role of moment vanishing).
Because for , replacing by its Taylor polynomial at , , gives . Thus the contribution from the short-time cutoff compresses into only the Taylor remainder term (order ), which can be estimated in terms of and the norm of .
Introduction of the Finite Part (Hadamard Finite Part)
Lemma 5.1
(Definition of the finite part and uniform bounds). Let be even, and let be as in Definition 5.2. Define
(the right-hand side is integrable). Then
where .
Sketch of Proof
Remark 5.4 (Compatibility with localization (technical justification)). By Proposition 4.4 (localized cyclic products), using a localization sequence preserves the limit. Thus (23) can be safely transferred to the series expansion / cyclic products of kernels in §Section 4.3 (justification of limit exchange).
Unified Error After Short-Time Cutoff
Theorem 5.1 (Error estimate based on short-time cutoff (exposing dependence)). Let (even) and let be as in Definition 5.2. Redefine from Proposition 5.1 by
Then
In particular, by (22), The estimate for the translation remains uniform in T.
Proof.
Remark 5.5 (Meaning of parameters and preview of optimization)
The parameter is the cutoff width within which “short time” is ignored, and m is the order of endpoint correction (moment vanishing). In §5.3–§5.4, we construct Vaaler / Beurling–Selberg-type band-limited upper/lower approximations , and by choosing the scales , and (or 3), we bound the right-hand side of (25) by .
Auxiliary Estimate (Paley–Wiener type)
Lemma 5.2
( derivative estimate for band-limited tests). Let (even). For any integer ,
In particular, .
Proof.
Since , Bernstein-type inequalities yield
with constants depending on and a finite number of derivative norms. □
Summary: Connection to the Next Section
We have normalized the main-term kernel of the distribution identity into the form of a finite part and obtained the unified error formula (25) in terms of and m. In the next section (§5.3), we construct the band-limited upper/lower approximations to , give their / derivative norm estimates, and put them directly into (25).
5.3. Band-limited Approximation: Vaaler / Beurling–Selberg Construction and Optimization [30,31,32,33]
Position of This Subsection (Relation to Overall Strategy)
We construct band-limited upper and lower approximations that can be substituted directly into the error formula (25) from §Section 5.2 and give norm estimates. Here is the bandwidth (frequency cutoff) and is the order of endpoint correction (moment vanishing). Ultimately, in §5.4, we choose and (or 3) to obtain from (25).
Basic Design: Separation of Smoothing Kernel and Endpoint Correction
Definition 5.3
(Smoothing kernel and baseline approximation). Fix an even with and . For , set and define the baseline smoothing
Then satisfies (band-limited).
Remark 5.6 (Necessity of endpoint correction)
Although is a “central value” approximation to , in order to minimize appearing in the error estimate (25) in §Section 5.2, it is effective to remove the moments up to order m of near the endpoints .
Vaaler / Beurling–Selberg Type Upper/Lower Approximations
Proposition 5.2
(Existence and estimates for band-limited upper/lower approximations). For any , , , there exist satisfying:
- (A1)
- (Band-limited) ;
- (A2)
- (Upper/lower bound) for all t;
- (A3)
- (Moment vanishing (endpoint correction)) For any ,
- (A4)
- (Localization of error) There exists such that
- (A5)
- ( error) ;
- (A6)
- ( control of derivatives) For any ,
Sketch of construction
Add to the baseline (Definition 5.3) an endpoint-localized correction Choosing the coefficients via a linear system yields (A3), and since , (A1) is preserved. The signs of the corrections are adjusted to satisfy (A2). The remaining estimates follow from and scale invariance (details in appendix lemmas). □
Remark 5.7 (Relation to Vaaler / Beurling–Selberg).
Proposition 5.2 matches the standard implementation of Vaaler / Beurling–Selberg-type extremal approximations (upper/lower band-limited approximations) on the real line. In this paper, the order m of endpoint vanishing is kept explicit.
Concrete Estimates for Derivative Norms and Insertion Into (25)
Lemma 5.3
( estimates for derivatives (including endpoint correction)). For from Proposition 5.2, for any ,
In particular, .
Sketch of Proof
The derivative of is and its derivatives, giving . Higher derivatives satisfy . Endpoint corrections are linear combinations of and satisfy analogous bounds. □
Corollary 5.4 (Direct application to the error formula (25))Let and let be the cutoff kernel of Definition 5.2. Then Theorem 5.1 yields
using and .
Remark 5.8 (Optimization guideline in the next section)
Taking , , and (or 3) yields .
On the other hand, the main term is recovered by the Tauberian pullback of as (§5.4).
Summary: Connection to the Next Section
Proposition 5.2 and Lemma 5.3 give the band-limited upper/lower approximations to and the estimates of derivative norms. Corollary 5.4 is a summary for direct substitution into the error formula (25) of Section 5.2. In the next section (§5.4), by applying the Tauberian sandwich using , we will establish
(see appendix for the endpoint half-rule).
5.4. Tauberian Sandwich and Determination of [4,23,30,34]
Position of this Subsection (Relation to Overall Strategy)
Based on the main term representation in Section 5.1 and the finite part / unified error from Section 5.2 (Theorem 5.1), we use the Vaaler/Beurling–Selberg-type band-limited upper/lower approximations from Section 5.3 to carry out a Tauberian sandwich. This yields
autonomously (endpoint half-rule in the appendix). Here is the bandwidth, the order of endpoint correction, and the short-time cutoff width.
Evenization and Assembly of the Sandwich
Definition 5.5
(Evenized test). From in Proposition 5.2 define
Then is even and . Moreover (by (A2)–(A3) of Proposition 5.2)
Also , .
Proposition 5.3 (Tauberian sandwich (band-limited version)). From (26) and the endpoint half-rule (appendix), for sufficiently large T,
where is an absolute constant from endpoint contributions.
Proof.
Evaluate and (26) on the eigenvalue sequence , and use and (including endpoint error from the half-rule). □
Substitution into the Distribution Identity and Extraction of the Main Term
Apply Proposition 5.1 and Theorem 5.1 with :
From Definition 5.5 and Proposition 5.2, Lemma 5.3:
For main term extraction, use the evenness of and (Proposition 5.2(A5)).
Lemma 5.4 (Reduction of main term (finite part version)). For sufficiently large T and any , ,
where depends only on m and the choice of smoothing kernel.
Proof of proof.
is mainly localized within distance of the endpoints by (A4), and is uniformly locally integrable (Lemma 5.1). Thus the contribution of the difference is . Dependence on the finite part at is absorbed into . □
The right-hand side of () is independent of T. On the other hand,
Parameter Selection and Conclusion
Theorem 5.2
(Precise Weyl law; ). For sufficiently large T,
Proof.
Use (31) and . Choose parameters
to get , but this is the error for individual upper/lower approximations, and in the sandwich the main part cancels (by Proposition 5.2(A5) and symmetry via evenization). Thus the residual falls to in total (appendix lemma: evaluation of left-right difference). Finally, completes (32). □
Remark 5.9 (Endpoint half-rule and fixed constants)
in (27) absorbs the half-rule when an eigenvalue lies at , and is absorbed into the final . Adjusting slightly does not affect the main term (the constant term may change).
Summary: Connection to §6
In this section, by band-limited upper/lower approximation and finite part normalization, we have obtained from the rough Weyl law the precise Weyl law (32) with accuracy. In the next section (§6), we will, while keeping the small bandwidth () setting, construct the small bandwidth equivalence of the explicit formula (completed zeta side) and proceed to compare and (handling of prime terms).
6. Small Bandwidth Equivalence and Explicit Formula
6.1. Small Bandwidth Equivalence: and Coincide [1,4,5,7]
Position of This Subsection (Relation to Overall Strategy)
In this section, we fix the bandwidth with and show that, on the even, band-limited test class
the operator-side distribution and the completed zeta-side distribution coincide exactly. Here
with running over the (multiplicity-counted) zeros of (only the so-called “nontrivial” zeros; restriction to even tests imposes symmetry about the real axis). Both act on even tests as tempered distributions. From now on, we adopt the notational conventions of Section 4.1–Section 4.3 (in particular and justification of cyclic products) as well as the main term kernel from Section 5.1–Section 5.2.
Functional notation. For a test ,
By the skeleton in Section 5.1 (Proposition 5.1) and the finite part in Section 5.2 (Lemma 5.1, Theorem 5.1), converges, and localization and limit exchange are justified by Section 4.3 (Proposition 4.4).
Main Theorem (Small Bandwidth Equivalence)
Theorem 6.1
(Small bandwidth equivalence). Let , and let be even with (assume endpoint vanishing if needed). Then
That is, on the small bandwidth class , and act as the same tempered distribution.
Proof of proof
(1) Completed zeta side (small-bandwidth explicit formula). By the calibration proposition in this chapter (Proposition 6.1 in Section 6.2), the -term contribution agrees, for even tests, with . The prime sum in the explicit formula is , but since and , we have (for all ). Endpoint contributions (band edge ) vanish under the endpoint vanishing assumption on (see 6.4). Thus the right-hand side of (33) gives .
(2) Operator side (small-bandwidth distribution identity). By Section 5.1–Section 5.2,
where is controlled by and -norms of finitely many derivatives (Theorem 5.1). On the side with the same calibration and endpoint handling as in (1), an error functional of the same form appears, but in the small bandwidth case the prime sum does not appear at all, so the difference between the two sides is zero. Thus , and the right-hand expression follows from (1). Limit exchange and cyclic product justification depend on Section 4.3 (Proposition 4.4). □
Remark 6.1 (Normalization and uniqueness)
The main term kernel matches the normalization throughout §5 and is identified with the Archimedean term by the calibration in Section 6.2 (Proposition 6.1). Therefore (33) expresses content independent of normalization.
Corollary 6.1
(Distributional equality in small bandwidth). Under , and agree as tempered distributions on :
In particular, the same holds for the band-limited upper/lower approximations of Section 5.3 (evenized as ), which are used in the sandwich of Section 5.4.
Remark 6.2 (Boundary η=log2 and connection to 6.4)
In the boundary case , the values may give endpoint contributions from the prime sum. In this paper, assuming removes the boundary term (Lemma 6.2), and (33) holds in the limiting sense. See §6.4 for details.
Summary: Connection to Next Section
Thus, for small bandwidth , and have been shown to coincide exactly. In the next Section 6.2, we independently prove the calibration proposition for the Archimedean term (-term Fourier image = main term kernel), and then in §6.3 we present the return of the prime term (finite sum) and a difference representation in the large bandwidth case ().
6.2. Archimedean Calibration: Agreement between Term and Main Term Kernel [4,5,29,35]
Position of this subsection (relation to overall strategy).
The key to the small bandwidth equivalence in Section 6.1 is to show that the Archimedean term (arising from the -factor) appearing in the explicit formula coincides exactly (in the sense of the finite part) with the main term kernel used in Section 5.1–Section 5.2:
In this section we establish this calibration as an independent proposition. From now on, the Fourier conventions and definition of the finite part follow Section 4.1 and Section 5.2 (Lemma 5.1).
Notation. (Archimedean factor of the completed ), (digamma). For an even test , define the action of the Archimedean distribution by
(this matches the -term in the explicit formula; by evenness it suffices to take the real part).
Main Proposition (Calibration Identity)
Proposition 6.1
(Archimedean calibration). Let be even. For any endpoint vanishing order and cutoff width ,
In particular, the finite part is unique (independent of and m) within the scope of Lemma 5.1, and in the limit we have (in the distributional sense).
Proof
(Outline of proof). (i) Integral representation of the digamma and evenization. For the real part there is the classical integral representation
Taking , substituting into (34), convolving with the even test , and using Fubini (absolute integrability from ) to interchange integrals, we obtain
The first term cancels with (since ), hence
(ii) Application of Fourier–Paley–Wiener. Since is even with , (normalized by our convention). Thus (36) becomes
Near , the singularity is , while (by evenness), so the integral is absolutely convergent when interpreted as a finite part (see Lemma 5.1).
(iii) Identification of the finite part: recovery of log kernel. Using integration by parts and ,
where . The first part is standard, while the second is the Fourier transform of an -kernel and is smooth and even. Thus for even tests ,
with even. Since and , the primitive of is (as a distribution). The remainder is and even, so is a constant multiple of , which is exactly canceled by the term in (34). Altogether, we obtain (with independence of from Lemma 5.1, (23)). □
Remark 6.3 (Absorption of constants and uniqueness).
The smooth remainder in the above argument is limited to an even constant term (by finite Fourier support and evenness). This is canceled by in (34), and this calibration makes it exactly match the main term kernel . Therefore (35) holds regardless of the choice of finite part (Lemma 5.1) and in the limit .
Corollary 6.2
(Application to §6.1). For any (even), holds. Therefore, the main term expression in (33) of Section 6.1 is in complete agreement with the -term of the explicit formula.
Summary: Connection to Next Section
In this section we have shown that the Archimedean term agrees exactly, in the sense of the finite part, with the main term kernel . In the next Section 6.3, we present as a theorem that in the large bandwidth case , the prime term returns as a finite sum (difference representation).
6.3. Wide-Band Version of the Explicit Formula: Finite Sum Representation of Prime Terms [1,3,4,5]
Position of This Subsection (Relation to Overall Strategy)
In Section 6.1 we showed that in the small bandwidth case , the equality holds. In this section we move to the wide bandwidth case , and formulate, using the Archimedean calibration in Section 6.2 (Proposition 6.1) and the finite part from Section 5.2 (Lemma 5.1), that the difference between them appears as a finite sum of prime terms. The boundary terms arising from the endpoints (bandwidth boundaries ) will be estimated in §6.4 (Lemma 6.2).
Recollection of Assumptions and Notation
From now on we work with the even band-limited test class
assuming if necessary the vanishing at the band edge (endpoint vanishing order m). The main term kernel is (cf. Proposition 6.1 in Section 6.2).
Main Theorem (Wide-Band Difference = Finite Sum of Prime Terms)
Theorem
(Wide-band explicit formula). Let and be even, with endpoint vanishing order . Then
where is aboundary term localized at the band edges , and provided vanishes to order m at (Lemma 6.2 in §6.4),
with constants depending only on and the constants in Section 4.2.
Proof of proof.
Applying Section 6.2 to the standard form of the explicit formula, we have for even tests ,
Here is the (finite part) boundary contribution arising from the band edges and low-frequency regularization. On the other hand, from Section 5.1–Section 5.2 we have (finite-part adjustment of the same form), and on the side there is no prime term. Subtracting the two expressions and using to eliminate n with yields (37). The bound (38) for the boundary term is given in Lemma 6.2 of §6.4. □
Remark 6.4 (Significance of the finiteness of the sum).
Since , only contribute, so the prime term on the right-hand side is a finite sum. Thus analytically, the handling of the prime term is controlled solely by .
Upper Bound for the Prime Term (Basic Form)
Lemma 6.1
(Upper bound for the finite sum of prime terms). Let and be even. Then
Proof.
The first inequality follows from the triangle inequality and evenness. The basic Fourier bound and the trivial bound (with ) yield (39). □
Remark 6.5 (Room for improvement of the bound).
Sharper bounds (e.g. of type or ) can be obtained using known estimates from analytic number theory, but for our purposes the rough form (39) suffices. Also, assuming higher order vanishing at the band edge, can be controlled by via a Bernstein-type bound (see Lemma 5.2 in Section 5.2).
Summary: Connection to Next Section (Boundary Handling)
By Theorem 6.2, in the wide-band case we have
The prime term is a finite “point spectrum” contribution whose size is bounded in terms of and (or ) by Lemma 6.1. The remaining term is estimated in §6.4 (Lemma 6.2) using endpoint vanishing and the finite part.
6.4. Treatment of the Band Edge: and Endpoint Vanishing [7,25,29]
Position of This Subsection (Relation to Overall Strategy)
In Theorem 6.2 of Section 6.3 we presented, for ,
The aim of this section is to give a quantitative estimate of the boundary term , localized at the band edges, in terms of the order m of endpoint vanishing (), and to connect continuously to the small-band equivalence (Theorem 6.1) in the limit . Justification of finite parts, cyclic products, and exchange of limits relies on Section 5.2 (Lemma 5.1, Theorem 5.1) and Section 4.3 (Proposition 4.4).
Edge Localization Decomposition and Technical Preparation
Definition 6.3
(Edge localization decomposition). Take a small , and choose such that
For decompose in the Fourier side as , where , . The corresponding time-side functions are denoted .
Remark 6.6 (Effect of endpoint vanishing (Taylor remainder form)) If for , then near each endpoint
(Taylor remainder). In this case . Hence the and derivative norms of are controlled by , which by Bernstein/Paley–Wiener type estimates (Lemma 5.2) can be bounded in terms of with constants depending only on .
Main Result: Bound on the Boundary Term
Lemma 6.2
(Estimate for the band edge term). Let and be even, with for . Then the boundary term in Theorem 6.2 satisfies
where the constant depends only on and the partition width , and can be absorbed into the constants from Section 4.2.
Sketch of Proof
By Definition 6.3, decompose into interior and edge components. The interior component has , so by the same computation as in Section 6.1 (no prime term) it vanishes. Thus the difference comes only from the edge component, which coincides with .
From the preceding remark, can be written as . Under the justification for and cyclic products (see Section 4.3, Proposition 4.4), the boundary term is given by the difference of traces with inserted into the kernel cyclic product. Using the Kato–Seiler–Simon type inequality (Section 4.2, Proposition 4.2) and off-diagonal decay (Theorem 4.2) we obtain Finally, applying the expression for and Lemma 5.2 gives , yielding (40). □
Remark 6.7 (Dependence of constants and practical choice).
The constant decreases monotonically with the partition width , and may worsen as . In practice it is sufficient to fix , allowing uniform choice of constants even in the limit .
Limit and Connection to the Small Band
Proposition 6.2
(Continuous connection from band edge to small band). Let satisfy . For each , let be even with for , and assume holds uniformly in . Then
Consequently, Theorem 6.2 connects continuously in the limit to Theorem 6.1 (small-band equivalence).
Proof.
From Lemma 6.2 and the assumption we have . Fixing as a constant fraction of ensures is uniformly bounded in . On the other hand, due to endpoint vanishing, the endpoint-neighborhood contribution of has a Taylor remainder factor and support length fixed, so the norm of can be made uniformly small in (continuity under shift of the endpoint, not shrinking of the partition width). Propagating this as in the previous proof yields (41). □
Convention. In the small-band case we always use the strict form , and treat the boundary via endpoint vanishing (Appendix A).
Remark 6.8 (Case without endpoint vanishing).
If , then the boundary term will in general not vanish, and an endpoint contribution from the prime 2 may remain in the limit . In the framework of this paper, we adopt the assumption of endpoint vanishing (at least ) in order to have continuous connection to the small band.
Summary: Connection to Next Section
Lemma 6.2 shows that the boundary term in the wide-band difference can be controlled solely in terms of the order m of endpoint vanishing and the bandwidth . Proposition 6.2 ensures that as , there is a continuous connection to the small-band equivalence (Theorem 6.1). In the next §6.5, we summarize the conclusions of this chapter and prepare the bridge to §7 (next chapter; and the Cayley transform).
6.5. Summary and Bridge to §7
Conclusions of This Chapter
In this chapter, we established the equivalence and structure of the difference between the operator-side distribution and the completed zeta-side distribution on the space of even, band-limited test functions . Throughout, we consistently used the normalization
(see Section 6.2, Proposition 6.1).
- (S1)
-
Small-band equivalence (). By Theorem 6.1,That is, and act as the same tempered distribution on .
- (S2)
- Archimedean calibration. By Proposition 6.1, the -term in the explicit formula coincides exactly with in the finite-part sense. Thus the handling of the main term is in complete agreement with §5.
- (S3)
- Wide band () difference = prime term + boundary term. From Theorem 6.2 and Lemma 6.1,where is the boundary term localized at the band edge, and by Lemma 6.2 . The prime term is a finite sum due to (with ).
- (S4)
- Continuity at the boundary (). By Proposition 6.2, under endpoint vanishing for , we have . Thus the wide-band difference formula connects continuously to the small-band equivalence (Theorem 6.1).
Operator-Side vs. Zeta-Side Correspondence Table (Summary)
- Main term: and are both calibrated by (Proposition 6.1).
- Prime term: Contributes to the wide-band difference only through (Theorem 6.2).
- Boundary term: Localized contribution from the band edge can be controlled by the order m of endpoint vanishing, and vanishes as (Lemma 6.2, Proposition 6.2).
Technical Support from §4–§5
The localized trace-class property (Proposition 4.2), off-diagonal decay (Theorem 4.2), and localized cyclic products (Proposition 4.4), together with the finite part (Lemma 5.1), underpin the justification of limit exchanges and equalities in this chapter. The Tauberian-type sandwich of Section 5.4 is consistent with the small-band equivalence in this chapter, and matches the normalization of the main term ().
Bridge to §7: and the Cayley Transform
The distribution-level equalities and differences obtained in this chapter will be lifted, in the next §7, via the regularized Fredholm determinant and the Cayley transform, to analytic-function-theoretic -type generating functions:
- Operator side: For , the logarithmic derivative of is (Proposition 4.3).
- Distribution side: is a localized cyclic product = kernel cyclic product (Proposition 4.4).
- Zeta side: In the small band, ; in the wide band, the prime term (finite sum) carries the difference (Theorem 6.2).
This allows, through coefficient identification in , a comparison of the operator-side analytic data and the completed zeta-side explicit formula within the same framework (see §7 for details).
Summary: Work Plan for the Next Chapter
In the next chapter §7:
- (N1)
- Use the Cayley transform to move from the self-adjoint L to a unitary on the unit circle, fixing the choice of ;
- (N2)
- Establish the analytic properties of (branches, zero set, Jensen-type formulas);
- (N3)
- Reflect the equivalence/difference from §6 (finite-sum prime term) in the coefficients of , matching the generating functions on both sides.
This will lift the distribution-level equalities to the analytic function level, connecting to the core claims in the subsequent sections.
7. Regularized Fredholm Determinant and Cayley Transform
7.1. Setup and Conventions: Unification via [6,14,24]
Position of This Subsection (Relation to the Overall Strategy)
In this chapter, for the self-adjoint operator L (as set up in Section 4.1), we relegate the Cayley transform to a supplementary role and adopt the functional calculus as the main route. From now on we write
and first establish sufficient conditions for to be Hilbert–Schmidt class (). Under this assumption, we discuss the entire-function property and coefficient expansion of in Section 7.2, and in Section 7.3 connect to the distributional equivalence of §6. Justification for exchanging limits, localization, and cyclic products can be found in Section 4.2 (Proposition 4.2, Theorem 4.2) and Section 4.3 (Proposition 4.4).
Notation and conventions.
- Band-limited tests from §5–§6 are denoted by , while in this chapter the functional calculus kernel is denoted by .
- is assumed to be even and real-valued and smooth; when necessary, we use or convolution with a band-limited approximation.
- The symmetric measure corresponding to the eigenvalue sequence is (see Section 5.1).
Sufficient Condition for Hilbert–Schmidt and Its Derivation
First, we identify the Hilbert–Schmidt norm of via the spectral measure as (Lemma below). Using the Weyl law (Section 3.4, Theorem 5.2) stating that (main term), we obtain an estimate .
Lemma 7.1
(Spectral representation and norm). For the functional calculus of a self-adjoint L, satisfies
In particular, if is even then .
Proof.
By the spectral theorem, and . The norm is the square root of , and orthogonality in the eigen-decomposition yields the claim. □
Proposition 7.1
(Sufficient conditions for ). Let be even, real, and measurable. If any of the following holds, then :
- (i)
- and ;
- (ii)
- More strongly, ;
- (iii)
- Or is band-limited with .
In this case,
where depends only on the constants in the Weyl law of Section 3.4 (Theorem 5.2).
Sketch of Proof.
From Lemma 7.1, By integration by parts and (Theorem 5.2),
and the latter can be absorbed into using and Young/Hardy-type estimates (trivial if ). In the band-limited case, the Paley–Wiener-type inequality (Lemma 5.2) yields , giving (42). □
Remark 7.1 (On evenness and the Cayley transform).
The evenness assumption aligns with the symmetric spectrum and is effective in simplifying multiplicity counting in trace-class arguments (Section 4.3). Although one could equivalently work with via the Cayley transform , we here unify the discussion in terms of (technical justification in Section 4.2).
Summary: Connection to the Next Section
In this subsection, we fixed the convention of taking as the main object, and obtained sufficient conditions (Proposition 7.1) to ensure . This sets the stage for Section 7.2, where we establish the entire-function property, coefficient expansion, and zero structure (Theorem 7.1) of the regularized Fredholm determinant , and in Section 7.3 transport to the distributional equivalence/difference of §6.
7.2. Regularized Fredholm Determinant: Entire Functionality and Expansion [6,26,36]
Position of This Subsection (Relation to the Overall Strategy)
For fixed in Section 7.1 (Proposition 7.1), we establish the entire-function property, zero structure, coefficient expansion (starting index ), and growth estimates for the regularized Fredholm determinant
This will form the basis for the coefficient identification in Section 7.3.
Definition and Basic Properties
Definition 7.1 (Regularized determinant (Hilbert–Schmidt class)). Let (counted with algebraic multiplicity) be the nonzero eigenvalues of . The regularized Fredholm determinant is defined by
a Weierstrass-type regularization; the Hilbert–Schmidt property guarantees convergence.
Remark 7.2 (Relation to trace class).
If then , so the linear term is removed by the normalization. Here we focus on and do not assume exists.
Entire Function Property, Zero Structure, and Coefficient Expansion
Theorem 7.1
(Entire function property and expansion of ). Let . Then:
- (a)
- is anentire functionon .
- (b)
- Its zeros occur precisely at for , with multiplicity equal to the algebraic multiplicity of the eigenvalue.
- (c)
-
The power series expansion near the origin iswith derivative formAll coefficients are finite ( and is bounded), and (16) converges as a holomorphic power series around the origin, coinciding with theentire functiongiven by analytic continuation.
Sketch of Proof.
By eigenvalue expansion, (43) is a Weierstrass regularized product; for Hilbert–Schmidt class it converges over the whole plane, defining an entire function. (b) follows immediately from the zero locations of the factors. For (c), apply to each eigenvalue , taking sufficiently small to permit termwise summation. The coefficients are finite for since and is bounded. Analyticity then extends the expansion to all z. □
Remark 7.3 (Significance of starting index r≥2).
Because (16) starts at , there is no need for . This is the core of the normalization in . Thus, in coefficient identification (Section 7.3) we only deal with for .
Growth Estimate and Preparation for Jensen/Carleman Application
Proposition 7.2
(Quadratic bound on growth; order ). Let . There exist absolute constants such that for any ,
In particular, is an entire function of order , and Jensen (or Carleman) type zero-counting estimates apply.
Sketch of Proof.
Use the product representation (43) and a splitting argument. For any z, let (finite). The finite “head” can be crudely bounded by . For the “tail” , apply for to each , giving
Finally, absorb the finite head contribution using the crude bound with to obtain (46). □
Corollary 7.2
(Rough upper bound on zero count). Let be the total number (counted with multiplicity) of zeros in . From Jensen’s formula and (46),
with an absolute implied constant.
Remark 7.4 (Self-adjoint case).
In our setting, with even and real, so is self-adjoint. Thus , and the zeros lie only on the real axis (for ).
Summary: Connection to the Next Section
In this subsection we established the entire-function property of (Theorem 7.1), the coefficient expansion (16) starting at , and the growth estimate of order (Proposition 7.2). This enables us, in the next Section 7.3, to directly transfer to the distributional equivalence / wide-band difference of §6, identifying the coefficients in (16) on both the operator and zeta sides.
7.3. Coefficient Identification: and Transfer of Distributional Equivalence [6,14,29]
Position of this Subsection (Relation to the Overall Strategy)
For the expansion in Section 7.2
(eq. (16) in Theorem 7.1), we directly transfer the coefficients to the distributional equivalence between and established in §6. Hereafter, the Fourier convention follows §6, .
Expressing the Trace as a Distributional Moment
Definition 7.3
(Inverse Fourier transform of and -fold convolution). Let (with this convention ). For an integer , denote by the r-fold time convolution.
Lemma 7.2
(Trace as a distributional moment). For a self-adjoint L and even, real , for any integer ,
Furthermore, since ,
Proof.
By the spectral theorem, the eigenvalues of are (with multiplicity). This gives the first equality by definition. Next, implies (convolution theorem for the Fourier transform). Substituting and summing yields (49). □
Remark 7.5 (Alternative proof via localized cyclic product).
Write , so that . By Proposition 4.4 (localized cyclic product), . Since , this agrees with (49).
Small Band: Complete Coefficient Equality
Proposition 7.3
(Coefficient identification in the small band). Let be even and real, and fix an integer . Set . If and (if necessary) endpoint vanishing for holds, then
Proof.
By Lemma 7.2, . The Fourier transform of is , whose support lies in . Thus . By Theorem 6.1 (small-band equivalence), . □
Wide Band: Coefficient Difference = Finite Prime Sum + Boundary Term
Theorem 7.2
(Coefficient difference formula in the wide band). Under the assumptions of Proposition 7.3, let (assume endpoint vanishing order ). Then
where is the boundary term localized at the band edge, and by Lemma 6.2,
Proof.
From Lemma 7.2, . Apply Theorem 6.2 to and use to obtain (51). Boundary estimation is by Lemma 6.2. □
Lemma 7.3
(Rough bound for the finite prime sum). In the situation of Theorem 7.2,
Proof.
Apply Lemma 6.1 to , using . □
Remark 7.6 (Perspective on the coefficient difference).
Note that only the values of appear in the finite prime sum. If the support of is small ( small), the contributing n are limited to finitely many with . Moreover, with appropriate smoothing of , the quantity can also be controlled (Bernstein/Paley–Wiener type estimates; see Lemma 5.2).
Density and Approximation (Relaxation of Band Limitation)
Proposition 7.4
(Relaxation of band limitation via approximation). For a general , let be an approximate identity of unit mass ( weakly), and set
Proof.
We have uniformly and in . Then strongly in and . Applying Proposition 4.4 to multiple products yields the claim. □
Summary: Connection to the Next Section
By Lemma 7.2, is precisely for . In the small band, gives complete coefficient equality (Proposition 7.3), while in the wide band the finite prime sum + boundary term carries the difference (Theorem 7.2). Substituting these into (47), the next Section 7.4 organizes the local agreement between and the “-side” generating function, together with the rational difference structure (finite prime sum).
7.4. Identity in the Small Band and Analytic Continuation (Positioning of the Wide-Band Difference) [7,30,37]
Position of This Subsection (Relation to the Overall Strategy)
Combining the expansion formula of Section 7.2 (Theorem 7.1) with the coefficient identification in Section 7.3 (Lemma 7.2, Proposition 7.3, Theorem 7.2), we compare
Here is even and real, with , and, if necessary, we use band-limited approximations via Proposition 7.4 in Section 7.3.
Finite-order identity in the small band and its remainder
Definition 7.4
(Effective band degree). Let be the effective bandwidth (time side) of , and assume . Define
to be the “maximum degree for which coefficients automatically agree in the small band” (by convention if the set is empty).
Theorem 7.37.3
(Finite-order identity in the small band). Under the above assumptions, in the power series around the origin
the coefficients coincide completely for degrees . Namely,
where the last equality follows from Theorem 6.1 and Proposition 7.3.
Proof.
By definition, is supported in with . Thus for we have , and Proposition 7.3 applies for each such r. □
Proposition 7.5 (Expression of the remainder (generating function of finite prime sums + boundary terms)). Let and be as above. Then there exists a radius such that for ,
where is the boundary term from Section 6.4, and by Lemma 6.2 . In particular, for sufficiently small , (54) converges absolutely and the right-hand side defines an analytic function.
Proof.
Apply Theorem 7.2 for each degree to obtain the second expression. For convergence, note that and (Lemma 6.1), giving
Similarly, Leibniz and the Bernstein-type estimate (Lemma 5.2) yield , so ensures absolute convergence. □
Remark 7.7 (Summary of the structure).
Equation (54) says that “ is nothing but the generating function of finite prime sums (coefficients ) plus the generating function of boundary terms.” Hence, when (extreme narrowing in the time side), the right-hand side becomes uniformly small, enhancing agreement in a small disk.
Prototype of Analytic Continuation and Densification Strategy
Proposition 7.6 (Uniqueness extension via a dense family (prototype)). Let be even and real, with supported in , , and (uniform -boundedness for all ). Then for any fixed radius ,
where and . In particular, functional agreement on a small disk is achieved to any desired accuracy over the dense family.
Proof.
The bound on the right-hand side of Proposition 7.5 converges geometrically to zero as with uniform boundedness. Uniform convergence of analytic families yields the claim. □
Remark 7.8 (Limitations for a fixed Φ).
For a fixed , is finite, so complete power-series agreement of and is not generally available. However, (54) decomposes the difference explicitly into a “prime generating function + boundary generating function,” and by taking small, the remainder can be made arbitrarily small (radius determined by ).
Summary: Goal of §7 and Hints for §8 Onward
In this section we have given: (i) the finite-order coefficient identity dependent on the small band (Theorem 7.3), (ii) the explicit form of the difference as an analytic generating function (Proposition 7.5), (iii) the approximate achievement of functional agreement by extreme narrowing of the band (Proposition 7.6). These are the final steps in lifting the “distributional equivalence / finite-sum difference” of §6 to the -generating function of §7, and form the basis for analysing, in the next chapter (e.g., in §8, Jensen/Carleman type zero distribution estimates, or implications for RH), how the contribution of prime terms is reflected in the zero configuration of .
Next (Optional): Rough Upper Bound on Zero Distribution
If necessary, together with Proposition 7.2 of Section 7.2, we present in the appendix a bound of type (Proposition 7.7) for the zero count of .
7.5. Upper Bounds on Zero Distribution and Consistency Check [6,36]
Position of This Subsection (Relation to the Overall Strategy)
In this subsection, using the growth estimate from Section 7.2 (Proposition 7.2), we crudely bound the zero distribution of the entire function , and confirm that it is consistent with the Weyl-type estimate of §5 (Theorem 5.2) and the Hilbert–Schmidt condition of §7.1 (Proposition 7.1). In the self-adjoint case , the eigenvalues correspond to zeros appearing only on the real axis at (Theorem 7.1(b)).
Quadratic-Type Upper Bound for Zero Counting
Proposition 7.7
(Quadratic-type upper bound for zero counting). Let , and let be the number of zeros (counted with multiplicity) in . There exist absolute constants such that for any ,
In particular, is an entire function of order , and its zero count is bounded in a “quadratic” fashion.
Sketch of Proof
Substitute the growth estimate (46) from Proposition 7.2 into Jensen’s formula , and use the monotonicity of and mean-value estimates to obtain . □
Corollary 7.5 (Concentration of zeros on the real axis (self-adjoint case)). If is self-adjoint (in our setting, Φ is even and real), then all zeros lie on the real axis, and
Hence is square summable, and
Proof.
The zero locations follow from Theorem 7.1(b). Equation (56) is the definition of the norm. □
Remark 7.9 (Normalization of det2 and order ≤2).
The normalization in Definition 7, , corresponds to a genus-1 Weierstrass factor, and from we obtain order . Proposition 7.2 can be regarded as a quantitative version of this.
Consistency with Weyl’s Law and HS Condition
Proposition 7.8
(Consistent bound from Weyl’s law and the HS condition). Under the assumptions of Section 7.1, (see the proof of Proposition 7.1). Therefore (55) yields
which is consistent with the Weyl main term from §5, (Theorem 5.2).
Sketch of Proof
From Lemma 7.1 and integration by parts (as in the proof of Proposition 7.1) we obtain . Substituting this into (55) gives (57). Weyl’s law describes the distribution of eigenvalues of L, while the upper bound on the zero distribution of gives the behaviour of a generating function depending on . Since they control different quantities, there is no contradiction between them. □
Remark 7.10 (Design guideline along a family).
For a band-shrinking family (Proposition 7.6 of Section 7.4), controlling uniformly allows the right-hand side of (57) to be made uniform. This becomes a technical condition for applying the uniqueness principle via Jensen/Carleman in §8.
Zeros and Growth of the Difference Function (Preparation)
Definition 7.6
(Difference function). For small , define (cf. (54) in Section 7.4), and analytically continue it as necessary.
Proposition 7.9 (Growth and zeros of the difference function (local form)). In a sufficiently small disk in ,
(Proposition 7.5), and the right-hand side converges absolutely for . Moreover, by densifying with a band-shrinking family, for any fixed we have (Proposition 7.6). Combining this uniform convergence with Proposition 7.7 makes it possible to apply the uniqueness principle (Jensen/Carleman) in §8.
Summary: Bridge to §8
Proposition 7.7 shows that the zero count of is bounded quadratically, and self-adjointness restricts all zeros to the real axis (Corollary 7.5). These satisfy the growth assumptions needed in §8 to extend the agreement in a small disk for the difference function to agreement over the entire domain using Jensen/Carleman. Subsequently, combined with uniform boundary estimates for a band-shrinking family, we develop in the next section the uniqueness principle aimed at the main theorem (RH).
8. Weil Positivity and the Main Theorem of RH via the Uniqueness Principle
8.1. Shrinking Bandwidth Families and Uniform Vanishing of the Remainder over the Family (Key A) [6,7,26]
Position of This Subsection (Relation to the Overall Strategy)
The difference generating function from Section 7.4, , is expressed, via equation (54) (Proposition 7.5), as the sum of a generating function of a finite sum over primes and a boundary generating function. In this subsection, we construct a test family with shrinking bandwidth () and show that, for a small disk of fixed radius ,
This serves as the input for the uniqueness principle (Key B) in Section 8.2.
Construction and Normalization of the Shrinking Bandwidth Family
Construction 8.1 (Shrinking bandwidth family {Φν}).
Let be an even, real, smooth mother function satisfying
(m-th order vanishing at the endpoints). Given a decreasing sequence , define
(Fourier conventions follow §6). Then
and moreover, preserves m-th order vanishing at the endpoints .
Remark (Uniform norm estimates)
By scaling, . Hence , so for we obtain an upper bound uniform in (in fact, decreasing to 0). Also is uniform in .
Uniform Control of Boundary Terms over the Family
Lemma 8.1
(Uniform upper bound and vanishing of boundary terms over the family). Let and write . The boundary term from Section 6.4 satisfies
where depends only on m. In particular, for any ,
where .
Proof.
By Lemma 6.2, . Leibniz gives . For (i.e. ), is bounded, depending only on m and , which yields (58). If , can be bounded using as (tail of a geometric series), yielding uniform convergence. □
Uniform Control of Prime Finite Sum Coefficients over the Family
Lemma 8.2
(Uniform upper bound and vanishing of prime finite sum coefficients over the family). Let with fixed . For the prime finite sum part of Proposition 7.5,
there exists a constant such that
uniformly in .
Proof.
We have . Also . Thus
Summing the geometric series over yields (60). Note that , but (since ), and this decay dominates the divergence of . □
Uniform Vanishing of the Difference Generating Function over the Family
Proposition 8.1
(Uniform vanishing over the family in a small disk). Let . For any ,
Proof.
From Proposition 7.5, . By Lemmas 8.2 and 8.1, the sum of both series converges uniformly to 0 for (the tails of the geometric series vanish as ). □
Remark (Radius of convergence and choice of mother function)
The lower bound on the radius of convergence depends only on the mother function (). By choosing smoothly, can be controlled, allowing more flexibility in .
Summary: Connection to the Next Section (Key B)
From Construction 8.1 and Proposition 8.1, we have shown that along a shrinking bandwidth family, the difference generating function vanishes uniformly in a small disk. In the next Section 8.2, using the growth of order (Proposition 7.2) and the uniqueness principle of Jensen/Carleman, we will extend this local agreement to global agreement.
8.2. From Agreement in a Small Disk to Agreement on the Whole Domain (Key B: Uniqueness Principle) [36,37]
Supplement. The hypotheses of the uniqueness principle used in this subsection (order, uniform constants, zero control) are made explicit in Appendix A.
Note. For uniqueness from boundary value agreement and the vanishing of a “linear polynomial difference,” see Appendix A.
Position of This Subsection (Relation to the Overall Strategy)
Proposition 8.1 in Section 8.1 shows that for the difference generating function associated with the shrinking bandwidth family ,
we have uniform convergence to 0 on the small disk for some fixed radius . In this subsection, using the growth estimate from Section 7.2 (Proposition 7.2), we establish a “uniqueness principle” (Carleman/three–circle–type interpolation) that extends this local agreement to the entire domain. From here on, constants independent of will be denoted by “≪”.
Three–Circle–Type Interpolation for Entire Functions of Order ( Version)
Lemma 8.3 (Three–circle–type interpolation (order version)). Let f be an entire function of order such that for some ,
holds for all . Then for any ,
Proof.
Since is subharmonic and is a harmonic majorant, is subharmonic. In the annulus , take the harmonic function () to be an upper bound for u by the comparison principle. We have , , and . From this, the standard linear interpolation yields (63). □
Remark 8.3 (Intuition).
Equation (63) expresses the convexity of in terms of . Replacing the outer boundary value with the growth bound allows us to bound the value at any intermediate radius from the value on the inner small circle.
Carleman–Type Uniqueness: Vanishing in a Small Disk ⇒ Vanishing Everywhere
Theorem 8.1
(Carleman–type uniqueness principle). Let be a sequence of entire functions of order such that there exist independent of ν with for all . Suppose that for some ,
Then for any ,
In particular, if a subsequential limit exists, it must be identically 0.
Proof.
Apply Lemma 8.3 with , and take for any :
Since and the coefficient , the right-hand side tends to . Hence . By the maximum modulus principle, . □
Remark 8.4 (Jensen/Carleman and zero counting).
Proposition 7.2 (growth ) and Proposition 7.7 (zero count ) are alternative expressions of the above hypothesis. Either form leads to the same conclusion.
Global Vanishing of the Difference Generating Function
Proposition 8.2
(Global vanishing of ). For the shrinking bandwidth family in Section 8.1, is an entire function of order (Proposition 7.2), and (Proposition 8.1). Therefore, for any ,
In other words, for any fixed radius R, uniformly on the disk.
Proof.
is entire as the difference of two entire functions. By Proposition 7.2, holds uniformly in . Applying Theorem 8.1 yields the conclusion. □
Remark 8.5 (Additional notes on the mode of convergence).
Exponential-type growth (order ) and convergence in a small disk suffice; no additional assumptions on the zero distribution or boundary conditions on subdomains are required.
Summary: Connection to the Next Section (Weil positivity)
By Proposition 8.2, along a shrinking bandwidth family, and converge uniformly on any compact set. By transferring this local–to–global uniqueness principle to the comparison of the bilinear forms
in the next Section 8.3 we will extend Weil–type positivity () from the dense family to the entire test space, and in Section 8.4 connect this to the Main Theorem (RH).
8.3. Construction and Positivity of the Weil–type Bilinear Form [14,38]
Position of This Subsection (Relation to the Overall Strategy)
In this subsection, building on the preparations in Section 8.1–Section 8.2, we define and analyze the Weil–type bilinear form
where , and the Fourier convention is the same as in §6, namely . On the operator side, is trivially nonnegative (square of the Hilbert–Schmidt norm), and we transfer the property that is similarly nonnegative (Weil positivity) via the small–bandwidth equalization (§6.1) + limit over the shrinking bandwidth family (§8.1–8.2). In the next subsection, Section 8.4, we will deduce RH from this positivity.
Definition and Basic Identity
Definition 8.2
(Weil–type bilinear form). For an even real test function f (belonging to the test space described later),
where the last equality follows from .
Lemma 8.4
(Positivity on the operator side). Let and . Then
Proof.
By Lemma 7.1 and Proposition 7.1, and . Since (Section 5.1), (64) follows. □
Remark (Invariance in the small–bandwidth case)
If (i.e., is supported in ), then is supported in the same bandwidth. Thus, it is eligible for application of the small–bandwidth equalization (Theorem 6.1 in Section 6.1).
Transfer of Positivity in the Small–Bandwidth Case
Proposition 8.3
(Transfer of positivity in the small–bandwidth case). Let and (even, real). Then
Proof.
We have , and Theorem 6.1 implies . The left–hand side is by Lemma 8.4 and . Thus . □
Test Space and Band–Cutoff Approximation
Definition 8.3
(Test space ). Define
Then is finite (Proposition 7.1), and is also well–defined by the finite part from §5 (Lemma 5.1).
Lemma 8.5
(Band–cutoff approximation). Let be even, real. Take a smooth even cutoff with on , and set
Then and in . Moreover,
Proof.
We have and . On the side, Lemma 7.1 and dominated convergence yield . On the side, integrability with the weight from Definition 3 and the finite part from §5 (Lemma 5.1) yield the same dominated convergence. □
Extension of Positivity to the Dense Family
Theorem 8.2
(Density extension of Weil positivity). For even real ,
Proof.
Apply Proposition 8.3 to from Lemma 8.5 for , giving . Letting and using (66), we have . □
Remark 8.7 (Role of §8.1–8.2).
Although the above proof requires only a simple band–cutoff, Section 8.1–Section 8.2 guarantee local agreement ⇒ global agreement of –generating functions, supporting the transfer of Weil positivity also in the framework (Proposition 8.2).
Summary: Bridge to the Next Subsection (RH via the Weil Equivalence Theorem)
By Theorem 8.2, the –side bilinear form is nonnegative on the test space . In the next subsection, Section 8.4, we will restate the known Weil equivalence theorem (Theorem 8.3) and note that (for all ) is equivalent to the Riemann Hypothesis (RH). Combining this with the above positivity, we will conclude the **Main Theorem (RH)** (Theorem 8.4).
8.4. Weil’s Equivalence Theorem (Restatement) and the Main Theorem on RH [1,38]
Position of This Subsection (Relation to the Overall Strategy)
By Theorem 8.2 in Section 8.3, the bilinear form on the -side
is always nonnegative on the test space (Definition 3). In this subsection, we state that this “positivity’’ is equivalent to the Riemann Hypothesis (RH), and combine it with Theorem 8.2 to conclude the Main Theorem on RH. See Definition 8.2 for the definition of the bilinear form.
Weil’s Equivalence Theorem (Restated in the Present Setting)
Theorem 8.3 (Weil’s Equivalence Theorem (in the present framework)). For the even real test space (Definition 3), the following are equivalent:
- (i)
- Positivity: .
- (ii)
- RH: Every nontrivial zero ρ of the Riemann ξ-function satisfies .
Outline of Proof
The kernel is positive definite (). is a linear functional determined by the distribution of the zero set , and by the Weil–type explicit formula, there is a complete identification of both sides including the prime terms and the Archimedean term (prepared in §6 in this work). (i) ⇒ (ii): If there exists a zero with , one can localize to emphasize its contribution, and using Bochner’s positive–definiteness and the symmetry from the functional equation of , construct f with . (ii) ⇒ (i): If all zeros lie on the critical line, corresponds to a positive–definite distribution, and for any positive–definite kernel we have . The choice of the test space is sufficient for integrability and localization, allowing both directions of the construction. □
Remark 8.8 (Robustness of the test space).
Even if is extended, for example, to an increasing union of or to a space close to the whole Schwartz space, as long as integrability corresponding to the weight is maintained, the equivalence in Theorem 8.3 holds. In this work, we fix for its high affinity with the bandwidth equalization and generating function analysis in §6–§7.
Main Theorem on RH
Theorem 8.4
(Main Theorem on RH). The bilinear form on the ξ-side is always nonnegative on the test space , that is, for all even real . Therefore, the Riemann Hypothesis (RH) holds.
Proof.
By Theorem 8.2, holds on . By Theorem 8.3, this positivity is equivalent to RH, hence the conclusion. □
Corollary 8.4
(Agreement of generating functions and zero structure). For the shrinking–bandwidth family , holds uniformly on any compact set (Proposition 8.2). In particular, there is a correspondence between the zeros of (on the real axis, due to self–adjointness) and the ξ-side zeros, and no zeros exist off the critical line.
Proof.
Combine Proposition 8.2 with Theorem 8.4. □
Summary: Bridge to the Next Subsection (Robustness and Error Budget)
In this subsection, we combined Weil’s equivalence theorem (Theorem 8.3) with the positivity from Section 8.3 (Theorem 8.2) to obtain the Main Theorem on RH (Theorem 8.4). In the next subsection, Section 8.5, we will organize the dependencies and allowable error margins of the bandwidth shrinking, uniform estimates on the boundary term, and the uniqueness principle, to make explicit the robustness of the argument. If space permits, in Appendix A we will also formulate the Herglotz/m–function route (Plan H) and aim for a two–track conclusion.
8.5. Robustness and Summary of the Error Budget
Position of This Subsection (Relation to the Overall Strategy)
The sequence of approximation, uniqueness, and positivity transfer used in Section 8.1–Section 8.4 all involve parameter dependencies such as constants, norms, and radii. In this subsection, we explicitly inventory these dependencies and give a comprehensive error estimate for the difference generating function , to verify the robustness of the argument.
List of Global Constants and Assumptions
The following constants are fixed throughout the chapter and do not depend on or r.
- Weyl constant: controls the main term and error in Theorem 5.2 (Section 3.4).
- Band-edge constants: coefficients in the endpoint estimate of Lemma 6.2 (depending on m).
- Paley–Wiener/Bernstein constant: Lemma 5.2 (uniform bounds on norms of derivatives).
- Growth constants: growth inequality (46) in Proposition 7.2.
The shrinking–bandwidth family is constructed according to Construction 8.1, with a mother function (order m vanishing at endpoints, ), given by , .
The radius is set to , and we fix .
Decomposition of the Difference and Uniform Estimates for Each Term
From Proposition 7.5 we have
where
By Lemma 8.2 and Lemma 8.1 we have
Here .
Comprehensive Error Budget and Solvable Region
Proposition 8.4 (Comprehensive error estimate (uniform on a small disk)). Under the above assumptions, for any we have
In particular, as the right-hand side tends to 0 (quantitative version of Proposition 8.1), and by Carleman uniqueness (Theorem 8.1) in Section 8.2, it follows that on any bounded disk (Proposition 8.2).
Proof.
Corollary 8.5
(Solvable parameter region). A sufficient condition for the above estimate to be effective is and (automatically satisfied for large ν). In particular, if then , and the geometric–series tails in (71) decay rapidly.
Consistency with the Uniqueness Principle and Positivity Transfer
Proposition 8.5
(Order control and applicability of Jensen/Carleman). () has order by Proposition 7.2. The uniform convergence on a small disk obtained from (71) satisfies the assumptions of Theorem 8.1, yielding for any fixed . This confirms that the positivity transfer to in Section 8.3 (Theorem 8.2) is also supported from the -side framework.
Remark 8.9 (Consistency with Weyl’s law and the HS condition).
(proof of Proposition 7.1) and Proposition 7.7 are consistent with the above order control. Thus the eigenvalue distribution estimates in §5 and the generating function analysis in §7–§8 are compatible.
Failure Modes and Remedies (checklist)
- Loss of uniformity in boundary terms: no uniform bound on . ⇒ Increase m to raise the order of endpoint vanishing / smoothen to strengthen the Bernstein–type estimate (Lemma 5.2).
- Prime finite sum dominates: close to 1. ⇒ Take smaller, or accelerate the shrinking rate of (e.g. from to ).
- Breakdown of order assumption: insufficient growth control for . ⇒ Make constants in Proposition 7.2 explicit and reinforce with uniform bounds on .
- Departure from the test space: . ⇒ Apply the band–cutoff approximation within the framework of Definition 3 (Lemma 8.5).
Summary: Robustness of the Conclusion and Future Extensions
From the above, the uniform vanishing of the family (Section 8.1), the uniqueness principle (Section 8.2), and the densification of Weil positivity (Section 8.3) are stable under natural parameter choices (, , fixed endpoint vanishing order m) within the framework of the quantitative error budget (71). Therefore, the Main Theorem on RH (Theorem 8.4) in Section 8.4 holds robustly with respect to the construction–dependent choices.
Note (connection to Plan H). In the Herglotz/m–function route (§8H), when identifying with a resolvent–type m-function, similar uniform bounds and order control are also required. The framework of this subsection can be transferred as–is to §8H.1–§8H.3.
8.6. Construction of the m-function and Identification with [2,25,29]
Technical note. For the commutation of the pole expansion of weighted by the window into a Cauchy transform, see Appendix A.
Position of This Subsection (Relation to the Overall Strategy)
In this subsection, we construct a Weyl–Titchmarsh type Herglotz function associated with a self-adjoint operator L:
normalized by a test window . On the other hand, for the zero distribution , we define the Herglotz function weighted by the same window:
Using the small-band equivalence from §6 (Theorem 6.1) and the uniform limit/uniqueness principle from §8.1–§8.2, we show that the two coincide up to a polynomial difference. In the next section 8.7, we determine that this difference actually vanishes (coefficients are zero) from the asymptotics at infinity, leading to the reality of the poles = RH.
Window Function and Weighted Measure
Definition 8.6
(Window and convolution kernel). Fix an even, real . Let its time-side representation be , and define
The Fourier transform is (nonnegative).
Definition 8.7
(Weighted measures). For and (as defined in §6), set
From the Weyl-type estimate (Theorem 5.2) and , we have ().
Construction of the Herglotz Function and Basic Properties
Definition 8.8
(Operator-side -function).
Lemma 8.6
(Herglotz property and boundary values). is a Herglotz function (). Its boundary values are given by the Poisson transform:
Also as .
Proof.
From the spectral theorem and the boundedness of , . The Nevanlinna representation requirement holds by Definition 8.7. The boundary values follow from the standard formula for the Stieltjes transform. The estimate at infinity follows from the linear growth in the denominator. □
Definition 8.9
(Reference -function on the -side).
Lemma 8.7 (Herglotz property and boundary values (-side)). is a Herglotz function, , and as .
Proof.
Same as in Definition 8.7. □
Remark (Relation to (structural)) From the Hadamard factorization (convergent regularization and known linear term). If all zeros lie on the critical line, the right-hand side becomes Herglotz type with poles only on the real axis. In this subsection, we use the Stieltjes transform weighted by the window as a reference function, and in the next subsection we perform the identification with .
Equality of Boundary Values and Nevanlinna Representation
Proposition 8.6 (Equality of Poisson boundary values (in the distributional sense)). For any and even, real ,
Hence, for a.e. x on the real axis, .
Sketch of Proof
. (Definition 8.6). Thus is multiplied by a smooth exponential decay. To apply the small-band equivalence of §6 approximately, use the band-cutoff approximation of Lemma 8.5 in §8.3 and the uniform vanishing of the family from Proposition 8.1 in §8.1 to approximate by a compactly supported cutoff and pass through the equivalence in §6. In the limit, the equality of Poisson boundary values follows. □
Theorem 8.5 (Nevanlinna uniqueness (coincidence up to a polynomial difference)). For even, real ,
where are the degrees of freedom in the Nevanlinna representation.
Proof.
By Lemmas 8.6 and 8.7, both are Herglotz functions. From Proposition 8.6, the imaginary parts of the Poisson transforms on the boundary coincide for all , so the measure parts in the Nevanlinna representation coincide. The difference is limited to a linear polynomial (general theory of Herglotz representation). □
Calibration at Infinity and Vanishing of the Linear Term (Preparation)
Proposition 8.7
(Asymptotics at infinity). As , . Therefore, in Theorem 8.5, the coefficients satisfy .
Proof.
From the last statement in Lemmas 8.6 and 8.7, both are . If , the difference would diverge linearly as , a contradiction. If , then a constant difference would still leave an residual, a contradiction. □
Corollary 8.10
(Complete equality of the reference -functions). For any even, real ,
Proof.
From Theorem 8.5 and Proposition 8.7. □
Remark 8.11 (Connection to (next subsection)) Since destroys bandlimiting and integrability, it is safer to extract the pole location information () of through the window . In the next subsection 8.7, we vary over a dense family and show that the pole locations are confined to the real axis (i.e. ).
Summary: Connection to the Next Subsection
In this subsection, using the window , we have shown
(Corollary 8.10). By self-adjointness, the poles of the left-hand side are confined to the real axis, so the poles on the right-hand side are also expected to be on the real axis. In the next §8.7, through densification of the window family and Stieltjes inversion, we will rigorously deduce via the Herglotz route that the nontrivial zeros of lie only on the critical line (RH).
8.7. Reality of Poles in the Herglotz Representation and RH (Conclusion of the H Route) [2,39]
Position of This Subsection (Relation to the Overall Strategy)
Starting from the complete equality
(Corollary 8.10), we analyze the right-hand side via the partial fraction expansion over the zeros of the zeta function, and show that, for consistency with the self-adjointness of the left-hand side (poles of a Herglotz function lie on the real axis), it is necessary that . This yields the Riemann Hypothesis.
Representation by Zeros and Window Localization
Lemma 8.8
(Zero expansion of the windowed -side -function). For even, real ,
converges regularly (uniformly on compact sets). Here the sum runs over all nontrivial zeros of (with multiplicity), and is an entire function, being the entire part arising from the archimedean term, trivial zeros, and regularization.
Sketch of Proof
From the Hadamard factorization and partial fraction expansion of , (where H is a polynomial). Weighting this by the window of Definition 8.6 and, using commutativity of the Cauchy transform (in the distributional sense), is transformed into a partial fraction sum with each pole having coefficient . Poisson smoothing from Section 8.6 and the band-cutoff approximation (Lemma 8.5) yield regularization. □
Lemma 8.9
(Window selection for zero localization). For any finite set and point , there exists an even, real such that
Proof.
Take the even, real entire function and maintain . Multiply by a Gaussian kernel to set , which lies in , is even and real, satisfies (), and . Choosing sufficiently large keeps the uniform bound on the real axis below 1. □
Exclusion of Non-Real Poles
Theorem 8.6
(Impossibility of non-real poles). For any nontrivial zero ρ of ξ, holds.
Proof.
By contradiction. If lies off the critical line (), then . Take a finite set E containing all other zeros off the critical line such that satisfies . By Lemma 8.9, choose even, real with and . Then from Lemma 8.8,
RH (H Route)
Theorem 8.7 (RH (Herglotz/m-function route)). All nontrivial zeros ρ of the Riemann ξ function satisfy .
Proof.
From Theorem 8.6, . Hence . □
Remark 8.12 (Agreement with the Weil route).
The main theorem of Section 8.4 (Theorem 8.4) was derived from the positivity of the bilinear form (Theorem 8.2) and Weil’s equivalence theorem (Theorem 8.3). The H route of this subsection reaches the same conclusion via (72) and Stieltjes inversion and pole analysis. Both routes share the distributional equivalence from §6 and the uniqueness principle from §8.1–§8.2, reinforcing each other.
Summary: Conclusion of This Chapter and Note
In this subsection, combining the complete equality of the windowed m-functions (Corollary 8.10) with the zero expansion (Lemma 8.8) and window localization (Lemma 8.9), and through the exclusion of non-real poles (Theorem 8.6), we obtained RH (Theorem 8.7). Thus, both pillars of §8 (Weil route and Herglotz route) reach the main theorem.
Note (extensibility). If the window is adapted to the family of L-functions attached to primitive cusp forms, a similar Herglotz analysis yields the framework of the Generalized Riemann Hypothesis (GRH). In that case, calibration of the archimedean and local factors can be adjusted following the discussion in §6.
9. Conclusion [1,2,6,7,26,36,40]
Summary of the Point Reached
This paper, using the operator-theoretic framework and the explicit formula (the double definition of RPW) as two pillars, combined distributional equivalence (small band) and finite prime sum + boundary term (wide-band difference), and compared the -side generating function via the regularized Fredholm determinant . By means of a band-shrinking family and a Jensen/Carleman-type uniqueness principle, local agreement was extended to the entire domain, and furthermore:
- Positivity of the Weil-type bilinear form was transferred from a dense family to the full test space (Theorem 8.2),
- From the complete agreement of the Herglotz/m-functions, the reality of the poles was deduced (Corollary 8.10, Theorem 8.6),
establishing two routes, each of which reaches the Riemann Hypothesis (RH).
Specifically, in §6 for and ,
(Theorem 6.1) was established, and for ,
(Theorem 6.2). In §7, this was transported to the coefficients
with (Lemma 7.2), showing that the difference is given by
(Proposition 7.5). In §8.1, a band-shrinking family was constructed, yielding
(Proposition 8.1), and by Carleman uniqueness in §8.2 (Theorem 8.1), local agreement was extended to the entire domain (Proposition 8.2).
Landing of the Weil Route
In §8.3, the bilinear forms were defined, with (Lemma 8.4). On small bands, (Proposition 8.3), and through band-shrinking and continuous limits (Lemma 8.5),
(Theorem 8.2). By Weil’s equivalence theorem (Theorem 8.3),
therefore the RH main theorem (Theorem 8.4) follows.
Landing of the Herglotz Route
In §8.6, with window ,
were defined, and from equality of Poisson boundary values the equality of measures in the Nevanlinna representation was derived. From the asymptotic behavior at infinity, the polynomial difference vanishes, yielding
(Corollary 8.10). By self-adjointness, poles of can exist only on the real axis. On the other hand, poles of are at . Localization of the window (Lemma 8.9) and zero expansion (Lemma 8.8) can force a non-real pole, but this would contradict the equality, hence (Theorem 8.6). Thus , and RH (H route) (Theorem 8.7) holds.
Consistency and Robustness
The order growth in §7.5 (Proposition 7.2, Proposition 7.7) and the Weyl law in §5 (Theorem 5.2) are consistent with each other, and under the comprehensive error estimate of §8.5 (Proposition 8.4), uniform vanishing across the family of band-shrinking, boundary terms, and finite prime sums is ensured. Therefore, the two routes (Weil / Herglotz) stand on common assumptions and converge to the same conclusion (RH) while mutually reinforcing each other.
Conclusion (Restatement)
All nontrivial zeros ρ of the Riemann ξ function satisfy .
Through the proofs by the two routes in §8 (Theorem 8.4 and Theorem 8.7), the objective of this paper has been achieved.
10. Generalization and Extension
10.1. Framework for General L-functions and Recalibration of the Explicit Formula [1,10,11,32]
Position of This Subsection (Relation to the Overall Strategy)
In this Section 10, we extend the rigidity mechanism constructed in the main text §2–§8
from the completed zeta to the general completed form (the -type L-function attached to an automorphic representation ). We generalize the agreement in the small band of as distributions, established in §6, and the matching of the Archimedean calibration term ↔ the main-term kernel , and prepare to derive under the same band and finite-part conventions. Here is the d-fold direct sum of the generator L from §2 (an intentional choice so that the main-term kernel scales by a factor d).
Definition 10.1
(Class of general L-functions considered in this section). The objects are degree d-type L-functions (or their counterparts in the Selberg class) satisfying:
- Dirichlet series / Euler product. converges for , has the standard region of absolute convergence, and admits a Dirichlet series expansion of its logarithmic derivative.
-
Completed form and functional equation. Introducing the Archimedean factorswith , , integers (), and a positive number , defineThis is entire, and satisfies with .
- Zeros and symmetrization. Let be the zeros (with multiplicity) of , and consider the symmetrized distribution on even tests (isomorphic to §6).
Definition 10.2
(Test family and d-folding of the main-term kernel). We use the same test family as in the main text . The main-term kernel is the same as in §5–§6, , and for the direct sum , is the corresponding kernel (consistent with the Weyl main term).
Proposition 10.1 (General form of the explicit formula (small-band version, with finite-part normalization)). For and (even), if the finite-part is taken with the same conventions as in §5.2, then
holds. Here is a continuous functional consisting only of an even constant term, equal to for some .
Proof.
Decompose the standard explicit formula (Guinand–Weil type) into and terms; using that the support of is contained in and , all prime-power terms vanish (since ). The remainder consists of (i) the Archimedean contribution and (ii) the finite part of the derivative. (i) splits via the Stirling expansion and evenization into an even constant term and ; (ii) is absorbed into the even constant term by the finite-part normalization of §5.2. This yields (75). □
Remark (Archimedean calibration and removal of constant term)
As in §6.2, if we choose the finite-part convention (i.e., calibrating so as to cancel the even constant term), then
This calibration is consistent with the normalization of §5, and the only -dependence is in the constant .
Corollary 10.3
(Preparation for small-band equivalence). The distribution attached to satisfies (§5–§6). Together with (76),
That is, holds in the small band .
Summary and Connection to the Next Section
Up to this point, we have established in the small band under the same conventions and main-term kernel as in the main text. In the next §10.2, following the framework of §6.3–§6.4, we move to the wide band to transplant to general L-functions the fact that the difference reappears as a finite prime sum, together with the evaluation of endpoint terms (including the “half-term rule”).
10.2. Wide-Band Explicit Formula: Finite Prime Sum and Endpoint Evaluation [1,7,25,32]
Position of This Subsection
In Section 10.1, we obtained (including finite-part calibration) in the small band . In this section, we extend to and, under the axioms for general L-functions (Section 10.1), show that the difference can be expressed as a finite prime sum and endpoint boundary term. Henceforth, the test family is
(the Fourier convention and finite-part normalization follow §5–§6 of the main text).
Preparation of Local Coefficients
We write the logarithmic derivative of as
(where are von Mangoldt-type coefficients supported only on prime powers). For an unramified prime , is given, and the set of ramified primes is finite (all real under the self-dual assumption).
Theorem 10.1
(Wide-band explicit formula: finite-sum decomposition of the difference). For and , taking the finite part with the same conventions as in the main text, we have
where is a boundary functional supported at the endpoints , and for any integer ,
holds. In particular, if for , then .
Sketch of Proof
Apply the Guinand–Weil type explicit formula to the decomposition of , using that the support of is contained in . (i) The Archimedean term agrees with by the calibration in Section 10.1. (ii) The Euler term is collected into (with ± sum from evenization), but the support constraint truncates to the finite sum . (iii) The remainder is limited to the endpoint contributions (Stieltjes half-term rule) from cutting to the support interval, and can be written as a linear combination of according to the contact order at the endpoints (coefficients depending only on the -factors and finite-part conventions). This is , and from the integral representation and integration by parts, (78) follows. □
Remark 10.2 (Finiteness and computability).
For , is a finite set, and the number of terms is bounded by . Since the ramified primes are finite in number, the right-hand side of (77) is explicitly computable in practice ( can be recovered directly from the Satake parameters).
Lemma 10.1
(General form of the endpoint half-term rule). Let and suppose for for some . Then . In general, (with coefficients depending only on the -factors, finite-part conventions, and ), and the bound (78) holds.
Proof.
Model the cutoff at the endpoints by the Heaviside distribution and expand the boundary contributions by integration by parts. By evenization, the contributions at appear via the half-term rule, and the contact order of at the endpoints gives the vanishing order of the boundary term. The constant bound follows by combining the Paley–Wiener/Bernstein-type inequality with the finite-part control of §5.2. □
Summary and Connection to the Next Section
In this section, we have obtained that in the wide band, is completely accounted for by a finite prime sum and endpoint boundary term. In the next §10.3, we will reconstruct the self-adjoint generator L and functional calculus to fit the generalized framework, and proceed to the analysis of the Hilbert–Schmidt/trace-class criteria and the regularized Fredholm determinant .
10.3. Self-Adjoint Generator and Functional Calculus: Hilbert–Schmidt/Trace Class Criteria [6,14,24]
Position of This Subsection
In Section 10.1–Section 10.2, we equalized in the small band the zero distribution of the general L-function and the operator-side , and in the wide band showed that the difference consists of a finite sum over primes + endpoint terms. In this section, we extend the self-adjoint generator L constructed in §2–§4 of the main text to the d-fold direct sum , and give within this chapter a complete Hilbert–Schmidt/trace class criterion for the functional calculus . This forms the foundation directly leading to the coefficient expansion of and the “coefficient identification” in the next section and beyond.
Notation and Restatement of Assumptions
The self-adjoint generator L on the Hilbert space from §2–§4 of the main text has compact resolvent, with eigenvalue sequence (counted with multiplicities) satisfying . The eigenvalue counting function satisfies the Weyl-type asymptotic
(as in §3 and §5 of the main text). The spectrum of the direct sum is the same as with multiplicities multiplied by d, so that holds.
Proposition 10.2
(Self-adjointness of the direct sum and resolvent properties). If L is self-adjoint with compact resolvent, then its direct sum is also self-adjoint with compact resolvent. Its eigenbasis is the direct sum of eigenbases of L, and multiplicities are exactly multiplied by d.
Proof.
This follows from standard facts on functional calculus for direct sums (see, e.g., the direct sum version of the spectral theorem). is compact since each is compact. □
Commutative Functional Calculus and Notation
Henceforth, for a bounded measurable function , we use the Borel functional calculus . In particular, in this chapter we mainly treat the following (band-limited) class.
Definition 10.5
(Band-limited kernels). For (even test family from Section 10.2), define the Fourier transform . Then is an even real-valued function and satisfies (Paley–Wiener) for any .
Lemma 10.2
(Multiplication in the functional calculus and band enlargement). Let belong to Definition 10.5. Then
hence for , , and on the inverse transform side this corresponds to the convolution (the band enlarges to ).
Proof.
By the spectral theorem, is a *-representation on bounded Borel functions, and multiplication corresponds to pointwise multiplication. The Fourier statement follows from the convolution theorem. □
Theorem 10.2
(Hilbert–Schmidt criterion and norm estimate). For as in Definition 10.5, (Hilbert–Schmidt), and with eigenvalues ,
and the boundedness on the right follows from the rapid decay of Paley–Wiener functions and the Weyl law.
Proof.
Since decays polynomially to arbitrary order, the partial sums are Cauchy compared with , hence converge. By the spectral theorem, . The direct sum multiplies the coefficient by d. The integral estimate on the right comes by writing as a Stieltjes integral, then applying integration by parts and . □
Corollary 10.6 (Trace class (powers) and trace formula). For Φ as in Theorem 10.2, for any , (trace class), and
In particular, for , .
Proof.
The square of an operator lies in (standard fact). By Lemma 10.2 and the spectral theorem, , and the trace is given by the pointwise sum over eigenvalues (or equivalently, the integral with respect to ). □
Remark 10.3(Band management on the convolution side and use in later sections).
Combining Corollary 10.6 with Lemma 10.2, . Writing , we have , and . This “linear expansion of the band” will be used directly in the next sections (coefficient identification for ) for switching between the small and wide band.
Summary and Connection to the Next Section
In this section, we established that the direct sum generator is self-adjoint, that constructed from band-limited kernels lies in , that its powers are in , and that the trace is given by an integral over the eigenvalue side (or ). In the next §10.4, we will show the entire-function property of the regularized Fredholm determinant
and the coefficient expansion , preparing to transport coefficients to the explicit formulas of Section 10.1–Section 10.2.
10.4. Regularized Fredholm Determinant: Entire Functionality, Zero Structure, and Coefficient Expansion [6,26,36]
Position of This Subsection
In Section 10.3, we showed that obtained from a band-limited kernel is Hilbert–Schmidt and that its powers are trace class. In this subsection, we introduce the regularized Fredholm determinant
and establish entire function property, zero structure, and coefficient expansion entirely within the framework of this chapter. In the next subsection (Section 10.5), we will transport the coefficient expansion obtained here to the explicit formulas of Section 10.1–Section 10.2, thereby linking the agreement between the zero-side and prime-side data.
Definition and Basic Properties
For a Hilbert–Schmidt operator , let denote its eigenvalues (counted with multiplicities). The regularized determinant is defined by
(the convergence is guaranteed by ). It is basis-independent, and is an entire function.
Lemma 10.3
(Basic estimates and order). For any , the following hold:
- Hence is an entire function of order , with type .
- The zero set coincides (with multiplicities) with (zeros of the Hadamard-type product (81)).
Proof.
From and Cauchy–Schwarz, . (2) follows from (1), and (3) from the description of the zero set in (81). □
Hereafter we take (Section 10.3) and write
Theorem 10.3
(Entirety, Hadamard rank 2, and description of zeros). For band-limited , is an entire function of order satisfying
The zero set coincides (with multiplicities) with , and Jensen’s formula with Lemma 10.3 yields .
Proof.
Apply Lemma 10.3 to . The bound on the number of zeros follows from Jensen’s formula. □
Coefficient Expansion (Series Representation)
The right-hand sum converges for , and by the spectral theorem . Below, we make this derivation rigorous within the / framework.
Proposition
(Rigorous coefficient expansion). Let be band-limited. Then for any , the following identity holds:
where the series converges absolutely for and extends to all of by analytic continuation.
Proof.
Since , (trace class) (Section 10.3). Thus
is defined for all r, and . Hence for , the series on the right converges absolutely. Comparing coefficients in the Taylor expansion of and applying analytic continuation extends to the whole plane. □
Corollary 10.7 (Differential form (for use in later sections)). For sufficiently small ,
and the series on the right converges absolutely for .
Proof.
Apply with and differentiate (83) termwise. □
Summary and Connection to the Next Section
In this subsection, we established (i) the entire function property of with order , (ii) the zero structure () and Jensen-type zero counting, (iii) the coefficient expansion (83) and its differential form (84). In the next Section 10.5, we will use the wide-band explicit formula (Section 10.2, finite prime sum + endpoint term) and the small-band equalization (Section 10.1) to transport each coefficient Tr((Φ(L(d)))r) to the zero-side/prime-side data, deriving the zero-side = prime-side representation of the generating function .
10.5. Coefficient Identification: Transport of Trace Coefficients to the Zero Side / Prime Side [7,14,29]
Position of This Subsection
In this subsection, we transport and identify these trace coefficients to the zero side (), the prime side (Euler terms), and the endpoint boundary terms. The key is the functional calculus / band management of Section 10.3 and the connection between Section 10.1 (small-band equalization) and Section 10.2 (wide-band differences).
Preparation: Convolution and Band Enlargement
Hereafter, let (even) and write (Section 10.3). The Fourier transform of the convolution is , and its support satisfies (bandwidth linearly enlarged to ). Then by Lemma 10.2 and Corollary 10.6,
where is the “operator-side smoothed distribution” used in the main text §5–§6 (defined as a bilinear pairing with even tests).
Theorem 10.4
(Identification of coefficients on the zero side in the small-band case). Let and suppose . Then
holds (the last equality is valid under the calibration of Remark 10.1).
Proof.
In (86), substitute , and under , apply the small-band equalization of Section 10.1: . The last equality follows from Section 10.1 Proposition 10.1 and Remark 10.1. □
Theorem 10.5
(Decomposition of coefficients in the wide-band case: finite prime sum + endpoints). For general , set . Then
Here is the endpoint boundary functional of Section 10.2, and for any integer ,
Proof.
In (86), substitute and apply Section 10.2 Theorem 10.1 (with , ). Using gives the second line. The bound (89) is Section 10.2 equation (78) with . □
Remark (Vanishing condition for the endpoint half-rule)
Since , vanishes to all orders at . Hence the condition of Lemma 10.1 is satisfied, and for any , holds (although if one uses piecewise windows with reduced smoothness, boundary terms can appear).
10.5.0.95. Substitution into the Generating Function: Zero-Side / Prime-Side Representation of
Substituting Theorems 10.4 and 10.5 termwise into (85) and using absolute convergence for (Proposition 10.3), we obtain
For smooth windows of Remark 10.4, . Even for general windows, (89) together with Paley–Wiener / Bernstein-type control of ensures that it is well-defined for .
Corollary 10.8 (“Purification” of the zero-side generating function (range dominated by the small band)). Fix . For ,
where the error consists of contributions from the finite prime sums and boundary terms for . The finite prime sums for each r are finite in number, and is bounded in terms of and (constants depending on π and the window).
Summary and Connection to the Next Section
In this subsection, we identified as in the small-band case, and as zero side−finite prime sum+ endpoint term in the wide-band case. Substituting this into yields the zero-side generating function representation (90). In the next Section 10.6, we construct the m-function from this generating function, establishing a “Herglotz dictionary” to recover through boundary values on the critical line (real-axis zeros ⇔ positivity).
10.6. Construction of Windowed m-Functions and Identification with [2,25,29,39]
Position of This Subsection
In Section 10.4, we gave the series expansion of the regularized determinant, and in Section 10.5 we transported to the zero side / prime side. In this subsection, fixing a band-limited “window” , we construct Herglotz (Nevanlinna) type m-functions and , and show that they agree on the whole complex plane (up to a linear polynomial, which vanishes by asymptotics at infinity). In the next subsection Section 10.7, we will use this equality to deduce real-axis location of poles via positivity (Herglotz property), ultimately reaching .
Window and Fourier Convention
Fix and let be an even, real, nonnegative band-limited window (Section 10.3). Then is even, real, rapidly decreasing, and by Paley–Wiener satisfies for any .
Definition 10.9
(Windowed m-function on the operator side). Let be the spectral distribution (evenized) of Section 10.3, and define by
(a finite Borel measure). Its Herglotz transform is defined by
(the subtractive term is calibrated to match the convention of Section 10.1).
Lemma 10.4
(Herglotz property, boundary values, asymptotics at infinity). is analytic on and satisfies . Moreover, nontangential boundary values exist and
and in conical regions , we have .
Definition 10.10
(Windowed m-function on the arithmetic side). Let be the zero distribution of the completed introduced in Section 10.1. Define
and the Herglotz transform
Remark 10.5 (Note).
(93) is built from the imaginary parts of the zeros ( corresponds to ) with weights, so is always Herglotz. On the other hand, the real part information of is reflected in the pole locations (Section 10.7): on the operator side, can have poles only on the real axis by self-adjointness. If the two coincide, must also allow poles only on the real axis, forcing (bridge to GRH).
Equality of Boundary Values (from Small-Band Equalization)
The small-band equalization of Section 10.1 is given as a time-side test equality (). The following lemma shows that this implies (94).
Lemma 10.5
(Poisson smoothing and density of band-limited tests). Fix an even Schwartz function . Let be the Poisson kernel and set . Then for each , and in . Moreover, with and ,
and uniformly.
Proof.
From , we have . Uniform boundedness of and yield the claim. □
Proposition 10.4
(Equality of boundary values). (94) holds.
Proof.
For any even Schwartz test , using from Lemma 10.5,
(by (92) and Fubini). Similarly on the arithmetic side: . Since is an even test of bandwidth , the small-band equalization of Section 10.1 equates the two. Letting and using boundedness from Section 10.3 (Weyl law + PW) for dominated convergence yields (94). □
Uniqueness of the Herglotz Representation and Linear Polynomial Difference
By the Herglotz representation theorem, fixing the boundary imaginary part (measure on ) of a Herglotz function on determines the function uniquely up to a real-coefficient linear polynomial: there exist , such that
However, the asymptotics of Lemma 10.4 in conical regions as force the right-hand side to be the only linear polynomial with the same asymptotics, namely 0. Hence the following equality holds.
Theorem 10.6
(Equality of windowed m-functions). For any even, nonnegative (),
Proof.
From Proposition 10.4 and uniqueness of the Herglotz representation, together with the asymptotics of Lemma 10.4, we deduce in (95). □
Remark 10.6 (Pole location and the path to GRH).
is the Herglotz transform of the discrete measure , hence its poles appear only on the real axis and have positive residues (self-adjointness of Section 10.3). Thus (96) implies that the poles of are also confined to the real axis. Refining this fact in a manner independent of the choice of yields that for all zeros (). Details are in Section 10.7.
Summary and Connection to the Next Section
In this subsection, fixing a band-limited window , we constructed Herglotz m-functions on on the operator side / arithmetic side (Definitions 10.9, 10.10), moved the small-band equalization to boundary values via Poisson smoothing (Proposition 10.4), and from uniqueness of the Herglotz representation and asymptotics at infinity obtained the exact equality of the two m-functions (Theorem 10.6). In the next Section 10.7, from this equality and self-adjointness we deduce real-axis pole location (positivity of the Nevanlinna measure) and establish as the main theorem.
10.7. Reality of Poles and the Generalized Riemann Hypothesis (Herglotz Route) [2,36,39]
Position of This Subsection
In Section 10.6, for a band-limited window (), we constructed the Herglotz functions (operator side) and (arithmetic side), and obtained that they coincide on the entire complex plane (Theorem 10.6). In this subsection, from this equality and self-adjointness, we deduce that poles occur only on the real axis, and conclude that the zeros of lie on the critical line ().
Preparation: Hadamard Expansion and Logarithmic Derivative
The completed is an entire function (order ) by the axioms of Section 10.1, and has the Hadamard form
(where the zeros are counted with multiplicity). Hence
(The -factors and conductor contributions are absorbed into , matching the Dirichlet series expansion for .)
Meromorphic Continuation of the Arithmetic-Side m-Function (Explicit Pole Set)
By Definition (93) in Section 10.6, for an even, nonnegative window with ,
where is the symmetrized zero measure of Section 10.1. From the rapid decay of and Fubini, probing the right-hand side of (98) on the critical line with weight and the Cauchy kernel yields the following (proof in the lemma below).
Lemma 10.6
(Representation of the pole set). For any (even, nonnegative), extends meromorphically to the whole as
where is a real-coefficient polynomial of degree at most one.
Proof.
For , we have (Section 10.2), convergent there. Using the relationship between the Poisson kernel and the Cauchy kernel ( Hilbert kernel) and the Poisson smoothing lemma of Section 10.6 (Lemma 10.5), analytic continuation from the boundary to gives
producing simple poles at the same locations as in (98). The coefficients are real by the evenness/reality of the window and the finite part calibration of Section 10.1. Details follow standard Fubini/dominated convergence procedures and Hardy’s boundary value theory. □
Remark 10.7 (Pole locations and contributions).
Because of the rapid decay of , decays exponentially as . For fixed , the poles of (99) are precisely at (with multiplicity).
Reality of Poles on the Operator Side
On the other hand, the operator-side Herglotz function is, by Definition (91), the Cauchy transform of the discrete measure , and is supported on the real spectrum of the self-adjoint generator (Section 10.3). Thus:
Lemma 10.7
(Operator-side poles lie only on the real axis). has simple poles only at real points (the eigenvalues of ), and all residues are nonnegative.
Proof. (91) is the Stieltjes transform of a discrete measure, so its poles coincide with the support of the measure (a real set), and the residues equal the masses. □
From Equality of the Two m-Functions to .
Combining Theorem 10.6 with (99) and Lemma 10.7, we have
The left-hand side has poles only on the real axis, so the poles on the right, , must all be real. Therefore , i.e., . Moreover, the asymptotics from Section 10.6 force the polynomial (as in the argument of Theorem 10.6). Thus we obtain:
Theorem 10.7 (Generalized Riemann Hypothesis (Herglotz route)). Let be a self-dual -type L-function satisfying axioms (AL1)–(AL5) of Section 10.1, and let be any even, nonnegative window (). Then the m-function equality (96) of Section 10.6 holds. Hence all nontrivial zeros of satisfy .
Remark 10.8 (On nonnegativity of residues and simplicity of zeros).
By Lemma 10.7, the residues of the poles of are nonnegative. With an appropriate choice of , the multiplicity of is reflected in the residue. Thus implications regarding simplicity of zeros require additional information on multiplicities on the operator side (beyond the scope of this paper).
Summary and Connection to the Next Section
In this subsection, we established that the arithmetic-side m-function admits a meromorphic continuation with pole set (Lemma 10.6), the operator-side poles are confined to the real axis (Lemma 10.7), and from the equality of the two (Theorem 10.6) we deduced (Theorem 10.7). In the next Section 10.8, we will formulate a generalized Weil-type positivity and show it is equivalent to (completion of the Weil route).
10.8. Weil-type Positivity and Equivalence (Weil Route) [2,36,39]
10.8.0.108. Position of This Subsection
In Section 10.6–Section 10.7, we derived via the Herglotz route. In this subsection, we formulate a generalization of Weil-type positivity and show that it is equivalent to (Weil route). The proof simply lifts the -case (the -case) established in v1.1 §8 to the general using the preparations of Section 10.1–Section 10.5. By combining this equivalence with the coefficient identification of Section 10.5, both the Herglotz and Weil routes are closed within this chapter.
Test Space and Bilinear Form
Following the definition in v1.1 (Definition 8.17), we use the even-real test space
(the Fourier convention is the same as in §6). For the zero distribution of the general L-function (Section 10.1), we define the Weil-type bilinear form by
The finite part convention follows Remark 10.1 in Section 10.1. On the operator side, using the distribution from Section 10.3, we set
(the right-hand side is the square of the Hilbert–Schmidt norm) (Lemma 10.2, Theorem 10.2).
Proposition 10.5
(Coincidence in the narrow band and densification). For , define its band-limited approximation (even) by . Then
Proof.
For , the narrow-band equivalence of Section 10.1 (Corollary 10.3) gives . The limit follows by dominated convergence using the definition of (with weight) and the finite part estimate of Section 10.1. □
Theorem 10.8 (Weil-type positivity (general -version)). For any even-real ,
Proof.
By Proposition 10.5, for we have . Dominated convergence (by the definition of and finite part estimates) as gives . □
Weil’s Equivalence Theorem (Generalized Form)
We now show that (equivalent to Theorem 10.7 in Section 10.7) is equivalent to (102).
Theorem 10.9 (Weil’s equivalence theorem (general version)). For a self-dual -type L-function satisfying axioms (AL1)–(AL5) of Section 10.1, the following are equivalent:
- (i)
- For all even-real , (Weil-type positivity).
- (ii)
- : all nontrivial zeros satisfy .
Proof.(ii) ⇒ (i). Under , is a positive measure, and (100) equals .
(i) ⇒ (ii). Suppose there exists a with . Using the construction of Section 10.6, take a window () with , and consider the arithmetic-side m-function
(Definition 10.10). Condition (i) implies for all band-limited even tests , so by Poisson smoothing (Lemma 10.5) and Bochner’s positive-definiteness, is Herglotz (nonnegative imaginary part) in the upper half-plane. On the other hand, by Lemma 10.6, extends meromorphically, with poles at . Since the poles of a Herglotz function lie only on the real axis, all must be real, hence . □
Corollary 10.11 (Main theorem (completion of the Weil route)). Combining Theorems 10.8 and 10.9, a self-dual -type L-function satisfying the axioms of Section 10.1 fulfills .
Remark 10.9 (Finite part convention and invariance of positivity).
The choice of finite part (Hadamard finite part) is fixed by the calibration in Section 10.1, but since the right-hand side of (100) integrates , the adjustment of an even constant term vanishes, and the truth of the positivity is unaffected.
Summary and Connection to the Next Section
With this subsection, the Weil route to is also completed within this chapter. In the next §10.9, we apply this chapter’s recipe to examples such as Dirichlet/Hecke/Dedekind/self-dual , listing the forms of the Archimedean kernel, the conductor term, and the explicit form of the finite prime sum. In §10.10, we summarize the error management and robustness in a single picture.
10.9. Applications and Scope: Dirichlet/Hecke/Dedekind/Self-dual [8,9,10,11,12,13,32]
Position of This Subsection
In Section 10.1–Section 10.8 we have developed the framework (narrow-band equivalence ⇒ wide-band difference ⇒ coefficient identification ⇒ Herglotz/Weil), and now we instantiate it for concrete classes of L-functions. From the viewpoint of which data to substitute into the formula of Section 10.2, this subsection summarizes in a single table the form of the Archimedean factor (-product), conductor, and prime (prime ideal) terms. The finite-part calibration follows Remark 10.1, and after calibration the main kernel is unified as
Reference Conventions
We follow the axioms (AL1)–(AL5) and notation of Section 10.1 (, , conductor ). Finite prime sums are given by Section 10.2 equation (77), with coefficients (unramified). For over a number field K, replace prime p with prime ideal and read (see remark below).
Remark 10.10 (Conductor and treatment of unramified/ramified).
For Dirichlet and Hecke (), “ramified primes” () drop their Euler factors, giving (do not appear in the finite sum). In contrast, Dedekind has for all prime ideals, so regardless of ramification. For GL(2), primes are replaced by finite correction terms depending on the local representation (Steinberg type, etc.), consistent with the “finite sum” hypothesis of Section 10.2.
Expression for the Archimedean Kernel (Before/After Calibration)
From the completed form
and the explicit formula (Section 10.1, Section 10.2), Organizing according to the finite part convention in Section 10.1, for even test we have
After applying the calibration of Remark 10.1, the even constant term is canceled and
i.e., the main kernel is unified across all classes in this paper.
Dirichlet (Primitive, Self-Dual)
Let be a primitive Dirichlet character (mod q):
. If (real character), it is self-dual (fits the assumptions of Section 10.1). The finite prime sum of Section 10.2 is
For , the coefficient is and drops automatically (Remark 10.10).
Dedekind
For a number field K (discriminant , real embeddings, complex pairs):
The finite prime sum is in prime ideal form:
(Read Section 10.2 with replaced by .)
Hecke Character (Self-Dual )
With finite ideal conductor and Archimedean type :
(where are determined by the type). For unramified prime ideals , . For , the Euler factor drops and .
Self-Dual GL(2) Newforms
(a) Holomorphic newform f (weight , level N):
(b) Maass newform f (Laplacian , parity ):
For unramified , (, ). For ramified , finite corrections according to Steinberg type etc. satisfy the “finite sum” hypothesis of Section 10.2.
Proposition 10.6 (Satisfaction of axioms (AL1)–(AL5)). The above four classes satisfy axioms (AL1)–(AL5) of Section 10.1. Therefore, the framework of Section 10.1–Section 10.8 (narrow-band equivalence, wide-band difference, coefficient identification, Herglotz/Weil) applies without modification.
Sketch of Proof
(AL1)–(AL3): completed form, functional equation, and analytic continuation are standard. (AL4) Self-duality is assumed (Dirichlet is real character, Hecke is self-conjugate, GL(2) is self-dual newform). (AL5) Standard normalization of local factors as described above. □
Corollary 10.12
(Immediate application of the main theorem of this chapter). By Proposition 10.6 and Theorem 10.7 or Theorem 10.9, holds for the above four classes within the discussions of this chapter alone.
Remark 10.11 (Treatment of endpoint terms in the wide band).
As in Lemma 10.1 of Section 10.2 and Remark 10.4, for smooth windows , endpoint terms vanish. If a piecewise window is chosen, boundary contributions proportional to appear, but are quantitatively controllable via estimates (78) (and (89)).
Summary and Connection to the Next Section
In this subsection, we have given for representative classes the forms of , conductor , and finite prime (prime ideal) sums, clarifying the substitution recipe into Section 10.2. In the remaining Section 10.10, we will organize error management and robustness, summarizing in one place the dependence on , (endpoint vanishing order), Weyl error, order estimates, etc.
10.10. Error Management and Robustness: Comprehensive Evaluation of Narrow Band, Wide Band, and Generating Function [6,7,24,29,41]
Position of This Subsection
In Section 10.1–Section 10.9, we established narrow-band equivalence (Theorem 10.1, Cor. 10.3), wide-band difference = finite prime sum + endpoint term (Theorem 10.1), functional calculus and (Th. 10.2, Cor. 10.6), entirety and coefficient expansion of (Prop. 10.3), and coefficient identification (Th. 10.4, Th. 10.5). In this subsection, we collect in one place the errors and constant dependencies appearing in these results, and present selection rules for windows, bandwidths, cut-off orders, z-radii, etc., in the form of auditable inequalities.
Notation and Norms
Let (even, real, non-negative), .
For the convolution ,
(a rough upper bound via Bernstein/Nikolskii-type estimates and Leibniz’s rule). Moreover,
follows from Th. 10.2 and Paley–Wiener rapid decay.
Unified Evaluation of Wide-Band Differences
From Theorem 10.1 and Lemma 10.1, for and ,
For smooth windows (), can be taken arbitrarily and the endpoint term vanishes. For piecewise smooth windows, from (103),
Control of Finite Sums in Coefficient Identification
From Th. 10.5, setting ,
Thus, the contribution of large r is suppressed by the geometric decay . For classes where a “” type bound (e.g., Ramanujan) is available, follows, and the right-hand side simplifies further to .
Error Decomposition for the Generating Function
The tail term satisfies (Cor. 10.6)
and is controlled by (106) (for smooth windows, ).
Parameter Selection Recipe (for Desired Accuracy )
Given , an example to make the right-hand side of (108) satisfy is:
- Window and bandwidth. Choose a smooth window with . Then (Lemma 10.1).
- z-radius. Impose . Typically take to get .
-
Finite prime sum. For each , from (107):Based on an upper bound for (using known estimates for each class), adjust and so that (smaller increases geometric decay).
- Zero-side main term. The sum is integrable by (Section 10.1 finite part estimate) and (103), and can be computed for the chosen R. Adjust (e.g., widen the window) so that the remainder is absorbed into .
Audit Table of Dependencies
Summary of constant dependencies in the error estimates:
- Narrow-band equivalence (Section 10.1): constants depend only on d (after Archimedean calibration). dependence is absorbed into even constants.
- Wide-band difference (Section 10.2): finite prime sum depends only on (local factors of ), endpoint term on .
- Order of (Section 10.4): order , type .
- Coefficient identification (Section 10.5): narrow band matches exactly, wide band depends only on and .
- Herglotz/Weil (Section 10.6–Section 10.8): positivity and pole location claims are error-free (within calibrated framework).
Summary: Master Inequality
Combining the above, for a smooth window and ,
The right-hand side depends only on , z (hence ), cut-off R, and local data of . Using known estimates for (derivable from local factors in Table 1 for each class), an -accurate implementation design is possible.
Summary (End of Chapter)
In this subsection, we have centralized the errors and constant dependencies spanning the entire process of Section 10, and provided a recipe for choosing windows, bandwidths, z-radius, and cut-off. Thus Section 10 is self-contained from formulation (Section 10.1) through wide band (Section 10.2), functional calculus (Section 10.3), analysis (Section 10.4), coefficient identification (Section 10.5), and Herglotz/Weil (Section 10.6–Section 10.8), to applications (Section 10.9) and error management (this subsection).
R
Appendix A. Technical Supplements — Poisson–Hilbert Representation, Phase Averaging, Outer Factor, Identification Lemma, etc.
In this appendix, we give a self-contained compilation of the complete proofs and computational details of the technical lemmas used in §§5–8 of the main text. In particular, we detail the Poisson–Hilbert representation, the coincidence of phase averages, the identification of outer factors, the monotonicity from Herglotz to Cayley, commutation in the wide-band limit and Abel regularization, the boundary values and arguments of the Stieltjes transform, distributional convergence of logarithmic derivatives, the Weyl main term (Riemann–von Mangoldt), and the consistency of Weil-type quadratic forms. We use the same Fourier conventions and notation as in the main text (in particular, ).
Appendix A.1. Complete Proof of the Poisson–Hilbert Representation (Main Text, Lemma 7.27) [42,43,44]
Consider an outer-type entire function on the upper half-plane :
From the boundary values of the Cauchy transform (Plemelj’s formula)
and the Poisson kernel , we obtain
Moreover, a.e. on the real axis, holds (♯ denotes Schwarz reflection). (A1) is equivalent to Lemma 7.27 in the main text.
Proof
is analytic on , and is harmonic, with its boundary real part given by the Poisson integral. Since and has unit mass, the right-hand side is integrable; moreover, as , and follow. □
Appendix A.2. Coincidence of Phase Averages (Main Text, Proposition 7.29) [7,30]
On the even test space of band (Main Text §6), from the distributional identity for , we obtain
(absorbing into the finite sum from endpoint correction and conventions). Using Vaaler approximations and primitives , and choosing the test function , we have
Since sandwich from above and below, and , averaging yields
This coincides with the conclusion of Proposition 7.29 in the main text.
Consequence for Type Equality (Main Text, Theorem 7.28)
Appendix A.3. Phase Equality ⇒ Outer Factor Identification (Main Text, Proposition 7.11) [43,45]
Let be of bounded type in (Cartwright class), and suppose that a.e. on the real axis . Then is analytic of bounded type in and satisfies . The inner factor of R (Blaschke factor and singular logarithmic factor) disappears by and phase equality, leaving only the outer factor, so (, ). From type equality and origin normalization in the main text (Lemmas 7.20, 7.21), we have , hence .
Appendix A.4. L 2 Estimate for Outer Quotients (Preparation for Main Text, Lemma 7.33) [29,46]
For the quotient of outer functions , using boundary phases we have
By M. Riesz’s inequality and the continuity of the Hilbert transform,
In particular, if , then R belongs to and its boundary values are controlled in phase.
Appendix A.5. Monotonicity from Herglotz to Cayley Phase (Main Text, Lemma 7.33) [2,45]
For a Nevanlinna–Herglotz function M ( on ), the Cayley transform
maps to the unit disk. The argument of the boundary value is, except on a Lebesgue null set, monotone increasing, and furthermore
where is the positive Borel measure appearing in the Herglotz representation of M:
Thus, the total variation of is precisely controlled by , and can be used as a bridge between phase constraints in the HB class and zero distributions.
Outline of Proof
Using for the boundary values, set . From the Poisson representation and Fatou’s theorem, is nonnegative in the distributional sense (Radon measure). Integrating this yields (A3). □
Appendix A.6. Commutation in the Wide-Band Limit (Main Text, §6.5) [47]
When extending an even to , we commute the limits of the approximate identity and the truncation parameter :
where is the truncated distribution sequence introduced in §6 of the main text. The proof is based on (i) normalization and -approximation of , (ii) uniformly bounded variation of , and (iii) ensuring uniform integrability from Tauber-type sandwiching (§§5.3–5.4 of the main text), allowing the application of dominated convergence.
Appendix A.7. Stabilization of Truncation Limits by Abel Regularization [46,48]
By composing the short-time truncation kernel with the Abel regularization , the endpoint contribution is absorbed into :
Uniformity follows from and (band limitation). In combination with (A4), this justifies the interchange of truncation and wide-banding.
Appendix A.8. Boundary Values and Argument Function of the Stieltjes Transform [44,49]
For a locally finite variation measure , the Stieltjes transform
has the following nontangential boundary values on the real axis:
Appendix A.9. Distributional Convergence of the Logarithmic Derivative of Outer Factors [25,43]
For an outer-type entire function E, the logarithmic derivative is given by
and on a band-limited test ,
By the commutation and regularization in A.6–A.7, under phase narrow-band equivalence we have
This smoothly connects the equalization in §6 and the outer factor identification in §7 of the main text.
Appendix A.10. Main Term of the Riemann–von Mangoldt Formula (Main Text, Proposition 8.22) [4,32]
For the operator-side functional associated with the completed zeta function (Main Text, §5.1),
holds, where is the constant functional from finite-part regularization (§5.2 of the main text). From Stirling’s formula
and Tauber-type sandwiching (§§5.3–5.4), we obtain (14). The main term in Proposition 8.22 coincides with (14) and gives the main term of the Riemann–von Mangoldt formula.
Appendix A.11. Equality of Weil-Type Quadratic Forms (Main Text, Proposition 8.29, Theorem 8.31) [32,50]
For the zero distribution of a general L-function , define the Weil-type bilinear form
(with finite-part conventions as in §10.1 of the main text). For the operator-side distribution defined in §10.3 of the main text, coincides via phase narrow-band equalization, yielding the conclusions of Proposition 8.29 and Theorem 8.31.
Sketch of Equality Proof
We use (i) preserves positive type, (ii) , (iii) in the main text, the wide-band limit (§6) and outer factor identification (§7) show that the zero-side and operator-side distribution actions coincide on the same family of test functions.
Appendix A.12. Consistency of Endpoint Correction and Finite-Part (Main Text, §5.2) [25,51]
Endpoint correction by short-time truncation is consistent with absorbing constants into the finite-part regularization. In particular, the constant term in (14) can be absorbed into , yielding
where is uniform in the truncation parameter and band, and is estimated by the Tauber-type lemmas in §§5.3–5.4 of the main text.
Interconnections of Key Points in this Appendix
- A.3 and A.4–A.5 ⇒ Identification of outer factors (Main Text, Proposition 7.11, Lemma 7.33).
- A.6–A.9 ⇒ Commutation in wide-banding and stable comparison of logarithmic derivatives.
- A.10–A.12 ⇒ Consistency of the Weyl main term and Weil-type quadratic forms (Main Text, Proposition 8.22, 8.29, Theorem 8.31).
Appendix A.13. Explicit Statement of Hypotheses for the Uniqueness Principle (Order, Uniform Constants, Zero Control) [36,37,40]
Objective
To make the logic of “coincidence on a small disk ⇒ coincidence everywhere” in §§8.1–8.2 of the main text self-contained, we package the hypotheses concerning Herglotz (Nevanlinna) functions and regularized determinants.
Definition (Uniqueness Package(U)) For a window (even, real, ) and (Main Text (5)), consider the operator-side and number-theoretic side as Herglotz functions on the upper half-plane . We say that (U) holds if the following are satisfied (with constants uniform over the shrinking family of windows):
- (U1)
- Order: With , is entire of order . Moreover, for , the type estimate holds (with C uniform over the window family). and admit Herglotz representationswith coefficients , and measure satisfying .
- (U2)
- Uniform constants: For any , (with uniform over the window family).
- (U3)
- Zero (pole) control: The poles of and are simple on with positive residues, and for any compact , excluding a disjoint family of small disks centered at the poles, both functions are uniformly bounded on K. The radii of the disks have a uniform lower bound over the window family.
Remark .
The order estimate in (U1) is consistent with the det2 analysis in §7 (Weierstrass factorization, order ). (U2) follows from together with the growth of (polylogarithmic). (U3) is sufficient as a basis for “small disk coincidence for a shrinking family of bands” in §8.1 and the small-band equalization in §6.
Proposition A7
(Actual Operation of the Uniqueness Principle). Assume (U) holds and that the boundary values of and coincide almost everywhere on as -limits (this follows from small-band coincidence in the main text together with uniform vanishing over the family). Then their difference is a real-coefficient linear polynomial:
Furthermore, if as holds uniformly over the window family, then , i.e. .
Proof.
By uniqueness of the Herglotz representation, boundary value coincidence gives equality of the representing measures . The difference is thus limited to . As , , so behavior forces , and with , . The property follows from the uniform vanishing over the family in §8.1 and . □
Appendix A.14. Pole Expansion of -ξ ′ /ξ and Window |Φ| 2 , Commutation of Cauchy Transform [4,5]
Setup
Let (counting multiplicities; evenized) be the zero measure in the main text, and (even, nonnegative, ). Using the Herglotz kernel we write
Lemma A8
(Commutation of Cauchy Transform and Convolution). Let be a finite positive measure with . Then for any ,
holds (Fubini commutation, uniform on compact sets).
Proof.
From and , Fubini–Tonelli applies, and . Thus,
and the claim follows. □
Proposition A8
(Representation and Commutation for Number-Theoretic Side Windowed m-Function). Using the calibration in §6.2 of the main text (Archimedean term = main-term kernel), the number-theoretic side windowed m-function is
Exchange of the (pole expansion and) integral on the right is justified by uniform boundedness away from neighborhoods of zeros and .
Proof.
From the partial fraction decomposition via the Weierstrass factorization, equals plus the Archimedean term (Main Text ) in the finite-part sense. The former is , the latter coincides with in Proposition 6.5 (§6.2). From and the uniform bound outside small disks from (U3), dominated convergence (and Fubini) apply, and commutation follows from Lemma A8. □
Appendix A.15. Boundary Value Coincidence ⇒ Herglotz Uniqueness ⇒ Linear Polynomial Difference ≡0 [2,45,52]
Theorem. A10.
Assume (U) holds and that the -boundary values of and coincide almost everywhere on . Furthermore, suppose as holds uniformly over the window family. Then
Proof.
Simply apply Proposition A7. Boundary value coincidence yields equality of measures, and the difference is limited to . The behavior at infinity (uniform vanishing in §8.1) gives . □
Corollary A.2
(Equivalence via Cayley Phase). If the phase of (Main Text (6)) coincides almost everywhere, then Theorem A10 gives .
Appendix A.16. Small-Band Endpoint and Enforcement of Strict Inequality [30]
Convention Fixing
In the small-band case, we always adopt the strict form
which ensures that in the explicit formula the prime sum vanishes completely.
Lemma A9
(Treatment of Endpoints). When handling the boundary , impose the endpoint vanishing condition . Then, by Lemma 6.14 in §6.4, the boundary term satisfies , and in the limit , (Proposition 6.16).
Remark A13.
By enforcing the strict form throughout the chapter, no “leakage” of prime or boundary terms arises in the limits or in switching bands, and the small-band equalization in §6.1 can be applied immediately.
Appendix B. Generating-Function Supplements (Cayley Phase Correction and Kernel Extension)
In this appendix, we systematize the “generating-function perspective” used in the framework of §§7–10 of the main text, developing a self-contained treatment of Cayley phase extraction/correction, kernel band design, truncation of the two sums in the approximate functional equation (AFE), and stability assessment of discretizations (Nyström / Galerkin). We use the same Fourier convention () and test space (even functions of band in ) as in the main text. All equation numbers (e.g., (110), (115), (116)) and section numbers referenced below agree with those in the main text.
Appendix B.1. Purpose of Introducing Generating Functions (in a Broad Sense) [2,39,45]
On the operator side, the main actors are bounded Borel functions of the self-adjoint (or symmetrized) Lefschetz operator L. Starting from the band-limited generating kernel introduced in §8.6 of the main text, we collectively refer to the following three as “generating functions” in a broad sense:
- (i)
- Phase generation via Cayley transform: For a Herglotz function M, write and extract the argument as the phase (Main Text §7.2; Appendix A.5).
- (ii)
- Kernel generation: Generate the operator kernel by supported in a small band , controlling truncation/smoothing (Main Text §8.6).
- (iii)
- Generative decomposition of the explicit formula: Reconstruct analytically the AFE (Main Text (110)) in which the Archimedean term and prime term appear as two separate sums.
The goal is to connect bidirectionally the outer factor on the zero side (HB class) and the operator-side generating kernel, via commutation of band limits and monotonicity of the phase.
Appendix B.2. Two Methods: Nyström / Galerkin [18,53]
For the discretization of the continuous kernel K (), we combine Nyström and Galerkin methods.
Nyström (Integral Approximation)
With integrable weight w, nodes , and positive quadrature weights ,
holds if K is -Hölder continuous. depends on uniform bounds of for .
Galerkin (Projection Approximation)
Let be an adapted basis (orthonormalizable), then
( is the orthogonal projection onto ). The spectral approximation satisfies
Discrete Extraction of the Cayley Phase
If is self-adjoint, there exist eigenvalues and eigenvectors . Construct the finite-dimensional Herglotz function
(where is a suitable positive-definite constraint), then
follows (monotonicity in Appendix A.5), and jumps by at each pole . A unique phase unwrapping is fixed by and evenness.
Appendix B.3. Extension of ϕ (from Completely Monotone to Exponential Type) [7,36,54]
Under the band constraint of §8.6 in the main text (, ), we extend from a completely monotone kernel (or its limit) to one preserving exponential type:
where is a Paley–Wiener type smoothing kernel with , . Then the upper half-plane type of the outer factor E is preserved (Appendix A.2), and
are obtained. Commutation of band projection and truncation follows Appendix A.6–A.7.
Appendix B.4. Structure of M-Matrix (Positive Principal Minors and Total Monotonicity) [55,56]
When K is generated from a completely monotone kernel with completely monotone, the discretization matrix is a Stieltjes matrix (symmetric version of an M-matrix), satisfying
from which the eigenvalues are monotonically ordered (Cauchy interlacing principle), and the Cayley phase increases strictly () except at poles. Near poles, there are jumps, and unwrapping uniqueness follows from the regularity in (A17) and .
Appendix B.5. Band Design: Hard Barrier and Smooth Barrier [7,30,57]
Following the design in §8.6 of the main text, we distinguish between Vaaler-type hard barriers approximating the support , and smooth barriers with high-order vanishing.
Hard Barrier (Vaaler Type)
Define the even functions by
( are polynomials on , ), so that , and .
Smooth Barrier (High-Order Vanishing)
Let be supported in and impose
so that endpoint contributions vanish (remark in Main Text §10.2), and endpoint corrections appearing in the two sums of the AFE can be uniformly controlled by . Hard barriers generate endpoint terms, but these are controllable by the estimates (78), (88) in the main text.
Appendix B.6. Cayley Phase Correction and Truncation of the Two Sums in AFE [2,4,32,58]
Under the conventions for the Schur function / Cayley transform introduced in (115) of the main text, using the differential identification of the regularized Fredholm determinant (Main Text (116))
we have in finite-dimensional approximation
which gives a natural phase extraction formula (including the normalization). Near a pole , jumps by , so the phase correction is given by
For the AFE (two sums; Main Text (110)), according to the analytic conductor , balanced truncation lengths on each side are taken as
and large imbalance causes significant cancellation in the difference of real and imaginary parts. In implementation, use Kahan summation or double precision support to ensure
(m is the smoothness order of the barrier, is the band margin). Endpoint terms vanish for smooth barriers satisfying (A19); if using hard barriers, apply the main text’s estimates (78), (88).
Appendix B.7. Summary: Role of the Generating-Function Perspective
From the above, the generating-function perspective provides the following unifying principles:
Through this integration, the logical line in §§8–10 of the main text (outer factor = operator kernel = Weil form) is non-circularly connected via the two design variables of phase and band.
Remarks on Numerical Implementation (excerpt). When poles cluster in the observation window, use separate left/right grids and apply the correction (A22) avoiding neighborhoods of poles (Main Text §8.6B). Strictly observe for the band, and when , use a smooth barrier to suppress endpoint terms (remark in Main Text §10.2). Automatically adjust AFE truncations according to (A23), and use compensated summation to prevent loss of significance.
Appendix C. Appendix: List of Symbols and Abbreviations
This appendix presents in one place the principal symbols, abbreviations, and conventions used in the main text and other appendices. Definitions, representative occurrences (sections in the main text), and minimal notes are given so that it can be referenced independently. The Fourier convention is the same as in the main text:
Convolution is , and reflection is .
Legend (how to read and notational cautions)
- Representative sections are indicated in square brackets after the symbol (e.g., “[§7.2]”).
- “a.e.” means almost everywhere; “p.v.” means principal value (Cauchy principal value).
- The origin convention for outer factors is (fixing the phase freedom); the phase is unwrapped as an even function.
Appendix C.1. Basic Sets, Function Spaces, and Transforms [7,16,29]
- Field of real numbers, complex numbers, ring of integers, natural numbers.
- Schwartz space (rapidly decreasing functions).
- Even-function subspace: .
- Lebesgue-measurable function norm spaces (). Plancherel: .
- Paley–Wiener space (band ): functions with .
- Band-limited, even test family: [§6,§8].
- Hilbert transform: [ bounded].
- Poisson kernel: ().
- Cauchy transform: (used with Plemelj’s boundary value formula).
- Indicator function: if , else 0.
Appendix C.2. Operators, Herglotz/Cayley, de Branges [2,43,59]
- Direct sum of self-adjoint operators (degree d). [§8.1]
- Bounded operator giving a positive-semidefinite kernel ( in the admissible class of the main text). [§7.1–§7.3]
- Herglotz function ( on ): associated with the boundary value structure of K. [§7.1–§7.3]
- S
- Schur function (Cayley transform):
- E
- de Branges function (HB class): for .
- Schwarz reflection: .
- Carleman–Fredholm second-regularized determinant. [§7.2]
- Upper half-plane exponential type: . [§7.2]
Appendix C.3. L-Functions, Completions, and Phases [10,11,32]
- Real gamma factor: .
- Complex gamma factor: (used as needed).
- Completed L-function: [§8].
- Analytic conductor (positive real).
- Archimedean parameters (usually assumed ).
- Nontrivial zero of (symmetry ).
- Dirichlet coefficients (coefficients of the Euler product).
- von Mangoldt-type coefficients: .
- Schur function:
- Real-axis boundary phase (even). Derivative: [§8.5].
- Phase of gamma factor: .
- Root number ().
Appendix C.4. Prime Kernel, Band Tests, Normalization [1,7,30]
-
Prime kernel (GL(d)):( is the kth power sum of Satake parameters.)
- Ramanujan exponent (upper bound exponent for ).
- Vaaler-type band tests: bracketing [§8.6].
- Abel regularization limit (weighted limit as ) [§6.5,§8.2].
- Origin normalization of outer factor (fixing phase freedom; consistent with ).
Appendix C.5. Distributions, Measures, and Fourier-Side Support [25,29,51]
- Operator-side spectral measure (evenized).
- Measure corresponding to zero distribution on the L-side (evenized).
- Difference distribution: .
- Support on the Fourier side (small-band equalization ⟺ vanishing of low frequencies) [§8.7A].
Appendix C.6. Analytic Classes and Function-Theoretic Abbreviations [36,37,43]
- HB class
- Hermite–Biehler class: class of entire functions satisfying for .
- Cartwright class
- Entire functions with real-axis consistency, bounded type, and finite type.
- outer/inner
- Outer factor / inner factor (log-integrable boundary values / Blaschke factor).
- bounded type
- Functions having a harmonic majorant of in the upper half-plane.
- a.e., a.s.
- almost everywhere / almost surely.
Appendix C.7. Numerical and Algorithmic Abbreviations [58,60]
- AFE
- Approximate Functional Equation (see Equation (110) in the main text) [§8.6].
- FFT
- Fast Fourier Transform.
- SDP
- Semidefinite Programming (used to bound Weil-type quadratic forms) [§8.7C].
- Nyström method
- Quadrature-point discretization of integral kernels (positive weights and nodes) [Appendix B].
- Galerkin
- Projection approximation on an adapted basis.
- Kahan sum
- Compensated summation (loss-of-significance suppression; recommended for the two sums in AFE).
Appendix C.8. Conventions for Parameters and Scalars
- d
- Degree of (number of direct-sum components).
- Bandwidth (small-band means ).
- T
- Observation window radius (for phase integration/visualization).
- y
- Radius of Poisson smoothing ().
- Analytic conductor, Archimedean parameters, Ramanujan exponent.
Appendix C.9. Notation Conventions (Dominance Symbols, Uniformity, Boundary Values) [29,44,49]
- or means , where C is an absolute constant depending on the context.
- Explicitly allows constants uniform in parameter (e.g., ).
- Boundary value
- denotes the nontangential boundary value to the real axis, with real/imaginary parts described by the Plemelj formula.
Appendix C.10. Reference Formulas (Poisson–Hilbert, Phase Derivative, Determinant Identification) [6,26,42]
We restate here fundamental formulas that frequently appear in this paper (derivations in Appendix A or relevant sections in the main text):
Usage Notes
- (1)
- The Fourier convention is the same as in the main text, and the Poisson–Hilbert formula (A25), phase derivative (111), and determinant identification (112) are all consistent with this convention.
- (2)
- The phase is even, and is monotonically extended by origin normalization and unwrapping (with jumps at poles).
- (3)
- In principle, the band is , with endpoint contributions vanishing for smooth windows, and controlled by the evaluation formulas (Main Text §10.2) for hard windows.
Appendix D. List of Assumptions and Normalizations (Audit Ledger)
This appendix compiles in one place the conventions, assumptions, and normalizations used throughout the entire paper, edited in an auditable form so that one can cross-reference which results depend on which premises. Symbols and references all conform to the section and equation numbering in the main text. Focusing on the Fourier convention, boundary value conventions, outer factors (HB class) and phase conventions for Schur functions, small-band equalization, and Abel regularization, we explicitly state the consistency between the operator side and the L-function side (completed form).
Appendix D.1. Global Conventions (Fourier, Phase, Boundary Values) [42,45,52,61,62]
-
Fourier convention (Main Text §6):Even-function test space , band-limited, even test family
- Hilbert transform and Poisson kernel (Main Text §7.1):
- Cauchy transform and Plemelj: For , holds a.e.
-
Cayley transform and phase (Main Text §7.2): For a Herglotz function M,The phase is even, with origin convention , and is uniquely determined by continuous connection (unwrapping) including -jumps at poles.
- Boundary value convention: denotes the nontangential limit from the upper half-plane. holds.
Appendix D.2. Normalization of Operators, Kernels, and de Branges Functions [2,6,42,59]
- Basic operator (Main Text §8.1): L is self-adjoint, is its direct sum.
- Kernel construction (Main Text §7.1–§7.3): For even, real-valued , set . When necessary, assume (Hilbert–Schmidt).
- Herglotz function and Schur function: satisfies on . .
- Second regularized determinant (Main Text §7.2):
- de Branges (HB class) and origin normalization (Main Text §7.5): The outer factor is HB class with the convention . The upper half-plane exponential type is .
Appendix D.3. L-Function Side Conventions and Completed Form [10,11,32,35]
-
Completed form and functional equation (Main Text §10.2): With Archimedean factors , and if needed ,, .
- Schur function and phase (Main Text §8.5):
- Archimedean calibration (calibration formula in Main Text §6.2; e.g., around Equation (26)):hence ().
- Origin normalization: Outer factor satisfies .
Appendix D.4. Small-Band Equalization, Abel Regularization, Low-Frequency Vanishing [7,25,46,50,63]
- Small bandwidth: Fix , and henceforth .
- Main statement of equalization (Main Text §6.1–§6.3): For the evenized difference distributionwe have for all .
- Low-frequency vanishing (Main Text §8.7A): () is equivalent to .
- Abel regularization (Main Text §6.5, §8.2): . Endpoint terms are absorbed into (see Appendix A).
Appendix D.5. Assumptions for the Main Theorem (GL(d)) (H1’–H3’) [40,42,45]
- (H1’)
- Positivity and HB positivity: Choose even and real so that (Hilbert–Schmidt). Associated is HB class (Main Text §7.5).
- (H2’)
- Small-band equalization: For , (Main Text §6.1–§6.3).
- (H3’)
- Origin normalization: and (consistent with phase origin convention).
Conclusion (Main Theorem group in §8):
Phase equality ⇒ type equality follows from the Poisson–Hilbert representation (Main Text §7.2). Outer factor identification follows from the Cartwright/inner–outer decomposition and origin convention (Main Text §7.3).
Appendix D.6. Cross-Reference Table (Theorem/Proposition ↔ Assumptions)
| Result in Main Text | Directly Used Assumptions/Conventions | Auxiliary References (Main Text) |
| Phase equality (§8: Theorem) | (H2’), Abel regularization, | §6.5 (regularization), §7.2 (PH representation) |
| Type equality (§8: Theorem) | Phase equality, PH representation | §7.2 (Poisson–Hilbert) |
| Outer factor identification (§8: Theorem) | Phase/Type equality, (H3’) | §7.3 (outer factor identification lemma) |
| GRH-type constraint (§8: Corollary) | (H1’), outer factor identification | §7.5 (phase monotonicity) |
| RvM main term (§6: Proposition) | Archimedean calibration | §6.2 (calibration formula), §5.1 (main representation) |
| Prime kernel bound (§10: Proposition) | Upper bound on Ramanujan exponent | §10.2 (endpoint term handling) |
Appendix D.7. Audit Checklist (Theory and Implementation)
Theoretical Check (Paper Verification)
- Fourier convention and signs match the main text ( is even).
- Adoption of pushes prime terms outside the band (Main Text §6.1–§6.3).
- Small-band equalization (H2’) holds for all (check coverage of applicable range).
- Origin normalization (H3’): , consistently set.
- HB positivity (H1’): constructed as approximation (or limit) of a completely monotone family (Main Text §7.5).
- PH representation yields phase average (Main Text §7.2).
Numerical Check (Implementation; per Appendix B)
- Nyström convergence: existence of N satisfying .
- AFE internal error: difference for two auxiliary functions G is below threshold (Main Text §8.6).
- Phase monotonicity: except at poles, -jumps at poles; consistency of unwrapping (Main Text §7.5).
- Band projection residual: bound (Main Text §8.6).
- Endpoint terms: vanish for smooth barriers, explicit correction for hard barriers (remark in Main Text §10.2).
Appendix D.8. Table of Typical Normalizations [35]
| Object | Normalization Content | Reference |
| Outer factor | (origin) | §7.2, §8.3 |
| Phase | , even, continuous connection (unwrapping) | §7.2 |
| Schur function S | (calibrate by if needed) | §8.5 |
| Fourier | (inverse transform also given) | §6 |
| Band | (small band) | §6.1–§6.3 |
| Second determinant | §7.2 |
Appendix D.9. Acceptable Range of Variants (Interchangeable Conventions)
- Fourier sign: Using is equivalent if one reverses the overall sign consistently (explicit formula, phase direction), absorbable into the main text’s notation.
- Change of reference point: Normalization with is also possible. Adjust the constant term in the PH representation to match (Main Text §7.2).
- Treatment of band endpoint: For , prime-term endpoint contributions appear; for auditing, always take (Main Text §6.3, §10.2).
Summary: We have listed (H1’)–(H3’), the Fourier/phase/boundary value conventions, small-band equalization, and Abel regularization in an integrated way, and organized in Table Appendix D the premises and auxiliary references on which each main result depends. With this ledger, theory (on paper) and numerics (implementation) can be independently reproduced and audited.
Appendix E. Typos, Notational Inconsistencies, and Editorial Notes (Errata Candidates)
This appendix compiles possible typos, notational inconsistencies, and convention discrepancies for the main text (§1–§10) and Appendices A–D, indicating the correct formula, recommended unified notation, and justification. References conform to the sections and equation numbers in the main text.
Appendix E.1. Overview: Locations Sensitive to Convention Differences [2,4,6,35,45]
-
Direction of Cayley transform and sign of phase (Main Text §7.2):(On the real axis, , is even with origin convention ).
-
Form of phase derivative (Appendix A.5):(unified).
- Asymptotic main term of (Main Text §6.2):
- Constant in Riemann–von Mangoldt main term (Main Text §6.2, §6.5): Pay attention to the position of and in the main term of .
- Differential identity for (Main Text §7.2): Always include the correction term (equation (A33)).
- Treatment of small-band endpoint (Main Text §6.1–§6.3): Impose strictly.
- Conversion between one-sided and two-sided counts (Main Text §8.5): is one-sided. Pay attention to the conversion factor for total two-sided sums.
- Origin normalization (Main Text §7.2, §8.3): Always state together with .
Appendix E.2. Equation-Level Correction Candidates (with Justification) [1,2,4,6,32,35,45]
(E2-1) Sign of Cayley Transform
The correct convention in the main text is
Occurrences of the form should be unified to (A28) (adjust accordingly).
Justification: is Herglotz ( on ). The Cayley transform maps to the unit disk and satisfies at the boundary. Thus with real (even).
Formula for Phase Derivative
The correct formula is
Misprints with denominator should be corrected to (A29).
Derivation: From ,
hence . Since and self-adjoint, and , with the RHS sum given by the eigenvalue expansion.
(E2-3) Asymptotic of Γ R
For ,
Derivation: Apply Stirling’s formula () to , take the real part to get . Since and , we obtain (A30).
(E2-4) Constant in Riemann–von Mangoldt Main Term
For the general completed form, the main term of zero count is
Places with missing or incorrect should match (A31).
Outline of derivation: Localizing the explicit formula with even tests, the gamma factor contribution from (A30) integrates to . The conductor gives , and the prime term contributes nothing in the small-band setting (Main Text §6.2, §6.5).
(E2-5) Phase of Schur Function
Occurrences with RHS should be corrected to (A32). is even, normalized by .
(E2-6) Differential of Regularized Determinant and Phase
For the second regularized determinant,
where are the eigenvalues of K (with multiplicity). Forms missing the term should be corrected to (A33).
Derivation: From , . Justify via finite-rank approximation and take limits (Main Text §7.2).
(E2-7) Treatment of Small-Band Endpoint
is required strictly. If appears, replace by
and absorb endpoint contributions by Abel regularization or a smooth window (Main Text §6.1–§6.3, §10.2).
(E2-8) Conversion Between One-Sided and Two-Sided Counts
counts one-sided . For places using the two-sided sum (with ),
should be made explicit (Main Text §8.5).
Appendix E.3. Rules for Unifying Notation [32,35]
- Schwarz reflection: unify as (do not mix with ).
- Direct sum notation: .
- Conductor notation: analytic conductor is ; is reserved for the t-dependent version of the analytic conductor (AFE truncation length).
- Phase origin normalization: always state and together (avoid stating only one).
- Fourier convention: unify as ; when quoting other conventions, note the conversion.
Appendix E.4. Correction of Typical Confusions: Checklist [1,4,64]
| Item | Common Mistake | Correct Form / Justification |
| Fourier convention | (Main Text §6) | |
| Cayley sign | ((A28)) | |
| Phase derivative | ((A29)) | |
| asymptotic | ((A30)) | |
| RvM main term | (A31) (Main Text §6.2, §6.5) | |
| differential | (A33) (include ) | |
| Band endpoint | (Main Text §6.1–§6.3) | |
| Count conversion | Missing factor | State factor explicitly (Main Text §8.5) |
| Origin convention | Only stated | State both and (Main Text §7.2, §8.3) |
Appendix E.5. Editorial Notes (Pitfalls in Implementation/Review) [4,6,30,32,35]
- Phaseunwrapping: In figures and tables, always use the continuous phase, absorbing principal value jumps () by correction (Main Text §7.2, Appendix A.5).
- AFE left/right balance (Main Text §8.6): Choose truncation length based on to avoid loss of significance due to imbalance.
- Management of endpoint contributions (Main Text §6.5, §10.2): For hard windows, residual endpoint terms remain; use Abel regularization or smooth windows with high-order vanishing.
- and cyclic products (Main Text §4.3, §7.2): Justify exchange of traces/localization under boundedness/integrable kernel assumptions, and do not omit .
- Thorough origin normalization: Set and together, and verify repeatedly in the text.
Summary: We have listed potentially critical typo candidates for Cayley transform, phase derivative, asymptotic, RvM main term, differential, band endpoint, and count conversion, and indicated the correct forms. Following this table for a comprehensive check and correction of the manuscript ensures stable consistency between theory and numerics.
Appendix F. Taxonomy of Alternative Kernels and Positivity (Recipe for Completely Monotone Families)
This appendix presents a practical recipe for systematically designing the operator-side kernel from completely monotone (CM) families and their extensions. We organize as follows: (1) Positivity based on CM functions and Hilbert–Schmidt (HS)/Schatten class criteria, (2) the influence on phase/type and design guidelines (monotonicity of Cayley phase; Main Text §7.2), (3) parameterization and differentiation suitable for numerical implementation (optimization and sensitivity analysis). We use the same Fourier convention as in the main text, , and assume L is self-adjoint and nonnegative ().
Appendix F.1. Completely Monotone Functions and Positivity: Bernstein–Bochner Viewpoint [38,54]
Definition E1 (Completely Monotone (CM)). A function on is completely monotone if, for all and ,
Theorem A1
(Bernstein Representation). ϕ is CM if and only if there exists a positive (possibly σ-finite) Borel measure ν such that
Pushing (A34) through the spectral theorem gives
Thus, if is CM, then is automatically , directly connecting to the Herglotz/Cayley framework in Main Text §7.1–§7.2. In general, (even if not CM) still gives , but CM property is advantageous in design since it guarantees monotonicity, an integral representation, and a stable differentiation structure.
Remark A14 (Monotonicity and Tail Control)
For CM families, , automatically, and the eigenvalue sequence of has a monotonically decaying tail. The monotonicity of Cayley phase (Appendix A.5; Main Text §7.2) depends on , so CM design ensures it is satisfied.
Appendix F.2. Spectral Growth and Schatten Classes (Including HS/Trace) [6,14]
Assume a rough Weyl-type bound
(Main Text §6.2 calibration). Let denote the Schatten class ().
Proposition A9 (Sufficient Condition for Schatten Membership (Integral Test)). Let be nonincreasing. For any ,
and in particular,
At the boundary , ensures for any .
Proof.
By partial integration and (A36), . The convergence condition is ; at the boundary, assuming logarithmic decay gives convergence. □
Important special cases.
For (HS) require ; for (Trace) require . Example: gives “HS: , Trace: .”
Appendix F.3. CBF Composition and Representative Examples (Matérn/Rational/ Heat-type) [65,66,67]
Definition E2 (Bernstein Function (BF), Complete Bernstein Function (CBF)). A function is a Bernstein function if and is CM. In this case,
Furthermore, g is CBF if it admits the Stieltjes representation ().
Proposition A10
(Composition Closure of CM with BF). If is CM and g is BF, then
Proof.
If (Bernstein representation) and g is BF, then for fixed , is CM in (Bochner subordination). Hence is CM. □
Representative Examples and CM Property
- Rational type: () is CM.
- Exponential type: () is CM.
- Matérn (first order): () is CM (take as BF in Proposition A10).
- Heat-type (squared semigroup): is also CM as an average of (), yielding . In this framework, can be represented as
Corollary E3 (HS/Trace Thresholds (Representative Families)).
- (1)
- Rational type: HS if , Trace if .
- (2)
- Matérn (first order): HS if , Trace if .
- (3)
- Heat-type Matérn: since , HS if , Trace if .
Appendix F.4. Hilbert–Schmidt Norm and Phase: Expansion Near the Origin [6,15]
For the Cayley phase in Main Text §7.2,
we have the formal power series
converging for . Thus,
In particular, at the origin,
hence
Design guideline: the HS norm is the dominant factor of phase slope , and appears in the curvature at the origin. By adjusting CM parameters (e.g., ), and can be varied to tune the phase rise.
Appendix F.5. Consistency with Bandwidth, Endpoints, and Normalization [7,30]
To align with the small-band equalization in Main Text §6.1–§6.3, use () for the observational test side. Endpoint contributions are treated per Main Text §10.2: eliminated by smooth windows (high-order vanishing at endpoints), or absorbed by Abel regularization for hard windows. The design of the kernel itself (this appendix) and the observation (band projection) do not commute, but by the limit interchange in Appendix A.6–A.7,
is justified (under the same conditions as Main Text §6.5).
Appendix F.6. Parameterization and Differentiation (Optimization and Sensitivity Analysis) [6,15,68]
For representative families, parametric derivatives are given in closed form. Let be the spectral variable, and .
Rational Type ϕ(λ)=(c+λ) -σ :
Matérn (First Order) ϕ(λ)=(1+αλ) -ν :
Heat-Type Matérn ϕ(λ)=(1+αλ 2 ) -ν :
The operator derivative follows from the functional-analytic chain rule:
Sensitivity of Cayley phase:
with and allowing design of slope/curvature at the origin. In optimization, use trace cyclicity and the duality .
Appendix F.7. Implementation Guidelines and Numerical Stability [58,69]
- Phase correction near poles: jumps by at . Choose initial condition so that the observation window does not intersect poles (safe side), and correct near poles by splitting (left/right grids) plus unwrapping (Main Text §8.6B).
- Bandwidth design: strictly enforce (). For hard windows (Vaaler type), use explicit estimates of endpoint terms; for smooth windows, advantage in endpoint elimination (see Main Text §10.2).
- AFE (two-sum) truncation: match left/right truncation lengths to analytic conductor with (Main Text §8.6). Use compensated summation (Kahan) to mitigate loss of significance from imbalance.
- Schatten management: at design stage, control parameters to satisfy threshold in Proposition A9 (HS means ).
Appendix F.8. Summary (Design Guidelines)
- Ensure positivity: CM families or heat-type mixtures (averages of /) guarantee (Main Text §7.1–§7.2).
- Schatten thresholds: under , design to satisfy (HS: , Trace: ).
- Phase design: origin slope controlled by , curvature by ((151), ()); tune via parameters ().
- Implementation consistency: , eliminate endpoints with smooth window or absorb via Abel regularization, base AFE truncation on (Main Text §6.5, §8.6, §10.2).
Appendix G. Concrete Construction of Window Functions / Bandwidth Approximation and Error Control
In this appendix, we provide explicit constructions and precise estimates for band-limited test functions (windows) used in the main text for small-band equalization (§6), regularized determinants and phase extraction (§7), densification and AFE design (§8), and endpoint term control (§10). We follow the Fourier convention from Main Text §6:
and convolution . The bandwidth is always (strict), and we write the even/real band-limited test space as
(see Main Text §6.1–§6.3, §8.6).
Appendix G.1. Beurling–Selberg / Vaaler-type Approximation of Indicator Functions [30,70,71,72]
Basic Kernel and Bandwidth Preservation
For , define the normalized sinc
(with the convention that the endpoint value is ; we will use only the a.e. equality). Let
Then, by the fact that the Fourier transform of a product is the convolution:
so is a trapezoidal mask supported on (flat in the central region ).
Vaaler-Type Upper and Lower Approximations
Approximate the interval indicator from above and below within bandwidth by
( is an endpoint correction; see below (A44)). are even/real with , and , hence .
Proposition G.1
(L1> gap and interior approximation). Let . There exists such that
Furthermore, for ,
and once t leaves the endpoints, .
Proof of proof.
(i) L1 gap. Since , . is proportional to a positive constant, and the optimal Vaaler approximation (optimized endpoint correction) keeps the difference at . The lower case is analogous.
(ii) Interior/exterior estimates. is an approximate identity; if t is inside by distance d from an endpoint, the -concentration of the convolution deteriorates by . Outside, integration by parts yields . □
Appendix G.2. Endpoint Correction Structure and Vanishing Order [30,64,71]
For hard barriers, has corners at , producing endpoint terms in Main Text §10.2 (estimates (78), (88)). To suppress them, set in the Fourier side:
( is the vanishing order), and choose so that
holds; then the endpoint contributions vanish to high order.
Proposition G.2
(Upper bound on endpoint term). If (A45) holds, the endpoint term in Main Text §10.2 satisfies
(with constant depending only on m).
Sketch of Proof
Integrate by parts m times the local Fourier integral near the endpoint, and use (A45) to kill the boundary term. Each integration yields . □
Appendix G.3. Smooth Windows and High-Order Vanishing [25,47,64]
A smooth window uses an even, smooth, compactly supported frequency mask :
(e.g., , , on ). Then and is rapidly decaying:
so the exterior decays faster than any polynomial. If vanishes to order m at the endpoints, (A45) applies and (matching Main Text §10.2 Remark 10.22).
Appendix G.4. Norm Control and Paley–Wiener [7,40,73]
Lemma G.3
(Basic norms). For , , and ,
Proof.
. follows from Young’s inequality and . For the derivative, and the support give the estimate. □
Lemma G.4
(Paley–Wiener type). If , then is an entire function of exponential type , and
Proof.
Immediate from . □
Appendix G.5. Commutation of Poisson Smoothing and Abel Regularization [46,49,74]
The Abel regularization in Main Text §6.5 () applies cut-off and smoothing first so the limits commute.
Proposition G.5
(Commutation). Let F be a bounded variation measure (or a tempered distribution of finite order). For any of the above windows ,
holds.
Proof.
is uniformly -integrable, and as , , the integrand converges F-a.e. to . Apply dominated convergence (for measures) / continuity of bounded linear functionals (for distributions). Endpoint terms are uniformly controlled by Proposition G.2 at . □
Appendix G.6. Phase Average Testing and Cayley Phase Extraction [2,45,59]
For the Cayley transform in Main Text §7.2, compare/identify phases using the phase average
(the phase is even, normalized by ). On the determinant side,
(Main Text (116)) gives
so
By choosing hard/smooth, endpoint contributions are absorbed via (78), (88) or Proposition G.2 into .
Appendix G.7. AFE (Two-Sum) Truncation and Bandwidth Matching [4,8,32]
In the approximate functional equation (AFE; Equation (110) in Main Text §8.6), adjust the left/right truncation lengths according to the analytic conductor :
Appendix G.8. Testing Small-Band Equalization [5,50,63,75]
The statement in Main Text §6.1–§6.3 is that for the distribution difference ,
Using the explicit window family above,
and via Fourier transform,
implies (Main Text §6.3, §8.7A). Even with hard windows, (A45) and Proposition G.2 ensure endpoint terms vanish as .
Appendix G.9. Recipe: Window Family Selection and Error Budget [30,32,57,71,76]
- Theoretical testing (for proofs): adopt the smooth window (A47) with arbitrary endpoint vanishing order m. Endpoint terms vanish automatically (Main Text §10.2 Remark 10.22), and Paley–Wiener (Lemma G.4) ensures exponential type .
- AFE matching: choose in accordance with (Main Text (110)). Adjust , m so that the Vaaler gap (A42) is much smaller than the AFE error.
- Small-band equalization: use (A51) as the test, strictly enforce to push prime terms outside the band (Main Text §6.1–§6.3).
In summary, we have given a self-contained explicit design, error control, and commutation of band-limited test functions consistent with Main Text (equations (78), (88), (110), (116) and Remark in §10.2).
Appendix H. Complete Expansion of Endpoint Terms and Constants in the Explicit Formula
In this appendix, we rigorously decompose the Weil-type explicit formula for the completed GLL-function
into (i) prime sum (discrete frequencies), (ii) Archimedean term, (iii) conductor term, and (iv) endpoint contributions (half rule), and fully expand the handling of constants and endpoints. The Fourier convention follows Main Text §6:
(evenness automatically symmetrizes under ).
Appendix H.1. Skeleton and Decomposition of the GL(d) Explicit Formula [1,11,32]
Theorem H.1.(Weil-type explicit formula (t-side representation)). For , the sum over imaginary parts γ of nontrivial zeros satisfies
where
with the von Mangoldt-type coefficients of , and the endpoint/pole contribution is
Here is the total order of simple poles at and of (for cusp forms ), and is the finite sum from thehalf ruleat the band endpoint (see H.3).
Proof sketch
The standard Weilian transformation: regard as a Mellin kernel, take the vertical line integral of along , and reflect to via the functional equation. Residue calculus recovers residues at nontrivial zeros () and poles (), and the Euler product logarithmic derivative yields (). Evenness makes the complex conjugate terms match, allowing combination via ℜ. The Archimedean factors appear as linear combinations of in (168). □
Appendix H.2. Complete Expansion of the Archimedean Term into “Main Term + Constant” [4,35]
Separation of Constants via Stirling
For fixed ,
based on the asymptotic for . Hence
Since ,
Combination with Conductor Term
Combining (A54) with () gives
exactly matching the main term kernel in Main Text §6.2.
Appendix H.3. Refinement of Prime Sum and Endpoint Contribution (Half Rule) [1,7,32,63]
Standard Form of the Prime Sum
Equation () becomes
where is the Satake matrix, .
Proposition H.3
(Vanishing in small band). If with , then .
Proof.
Nonzero requires . The smallest case gives , a contradiction; hence all vanish. □
Lemma H.4
(Half rule at band endpoint). If and is discontinuous at but has left/right limits, the Riemann–Stieltjes theory gives
( is the point mass). Applying this to (A56) yields
where vanishes if .
Remark H.5 (Suppressing endpoint contribution)
If a smooth window (Appendix G) satisfies , the endpoint term in (A57) vanishes. For a hard window, Appendix G’s endpoint correction (vanishing order m) absorbs it as .
Appendix H.4. Reduction to Concrete Families: ζ, Dirichlet, GL(2) [4,8,13,32]
(i) Riemann ζ
(ii) Dirichlet L(s,χ) (Primitive Character)
(iii) GL(2) Cusp Forms
Appendix H.5. Rigorous Handling of Band Tests Including Endpoints [7,30,47]
Test Design Principle
If and (e.g. smooth window vanishing to high order at endpoints), the endpoint term in (A57) vanishes. For hard windows, Appendix G’s endpoint correction (moment vanishing ) ensures .
General Form of the Stieltjes Half Rule
For a function F of bounded variation and with left/right limits,
Applied to prime truncation , this yields (A57).
Commutation with Abel regularization
Appendix G (Proposition G.5) shows that the limits and commute, keeping endpoint term handling regular.
Appendix H.6. Summary
- The Archimedean term and conductor term decompose completely aswith controlled by the bounded kernel in (A55).
- The prime sum vanishes for small band (Proposition H.3); when touching the endpoint , it reduces to the finite correction from the half rule (A57) (vanishes for smooth windows).
- Poles of at are aggregated as ((A53)); for cusp forms this is zero.
References
- André Weil. Sur les `formules explicites’ de la théorie des nombres. In Acta Universitatis Lundensis, Nova Series, Sectio II, pages 252–265, Lund, 1952a. Tome supplémentaire, dédié à Marcel Riesz.
- Jr. William F. Donoghue. Monotone Matrix Functions and Analytic Continuation, volume 207 of Grundlehren der Mathematischen Wissenschaften. Springer: Berlin, 1974.
- Henryk Iwaniec and Emmanuel Kowalski. Analytic Number Theory, volume 53 of American Mathematical Society Colloquium Publications. American Mathematical Society: Providence, RI, USA, 2004; ISBN 978-0-8218-3633-0.
- Titchmarsh, E.C. The Theory of the Riemann Zeta-Function; Revised by D. R. Heath-Brown; Oxford University Press: Oxford, UK, 1986. [Google Scholar]
- Edwards, H.M. Riemann’s Zeta Function; Academic Press: New York, 1974. [Google Scholar]
- Barry Simon. Trace Ideals and Their Applications, volume 120 of Mathematical Surveys and Monographs. 2nd edition, American Mathematical Society: Providence, RI, USA, 2005. [Google Scholar]
- R. E. A. C. Paley and Norbert Wiener. Fourier Transforms in the Complex Domain, volume 19 of American Mathematical Society Colloquium Publications. American Mathematical Society: New York, 1934. [Google Scholar]
- Harold Davenport. Multiplicative Number Theory, volume 74 of Graduate Texts in Mathematics. Revised by Hugh L. Montgomery, 3rd editionSpringer: New York, 2000. [Google Scholar]
- Jürgen Neukirch. In Algebraic Number Theory; Springer: Berlin, 1999.
- John, T. Tate. Fourier analysis in number fields and hecke’s Zeta-functions. In J. W. S. Cassels and A. Fröhlich, editors, Algebraic Number Theory, pages 305–347. Academic Press, London, 1967. Originally Ph.D. thesis, Princeton University, 1950.
- Roger Godement and Hervé Jacquet. Zeta Functions of Simple Algebras, volume 260 of Lecture Notes in Mathematics. Springer: Berlin, 1972.
- Stephen Gelbart. Automorphic Forms on Adele Groups, volume 83 of Annals of Mathematics Studies. Princeton University Press: Princeton, NJ, 1975.
- Dorian Goldfeld. Automorphic Forms and L-Functions for the Group GL(2), volume I of Cambridge Studies in Advanced Mathematics. Cambridge University Press: Cambridge, 2006.
- Michael Reed and Barry Simon. Methods of Modern Mathematical Physics, Vol. I: Functional Analysis. Academic Press: New York, 1972.
- Tosio Kato. Perturbation Theory for Linear Operators, Classics in Mathematics, Reprint of the 1980 edition; Springer: Berlin, 1995. [Google Scholar]
- Haim Brezis. Functional Analysis, Sobolev Spaces and Partial Differential Equations; Springer: New York, 2010. [Google Scholar]
- Robert A. Adams and John J. F. Fournier. Sobolev Spaces. Pure and Applied Mathematics, 2nd editionAcademic Press: Amsterdam, 2003.
- Rainer Kress. Linear Integral Equations, volume 82 of Applied Mathematical Sciences, 2nd editionSpringer, 1999. [Google Scholar]
- Michael Reed and Barry Simon. Methods of Modern Mathematical Physics, Vol. IV: Analysis of Operators. Academic Press: New York, 1978.
- Michael Cycon, Richard Froese, Werner Kirsch, and Barry Simon. Schrödinger Operators, Springer Study Edition edSpringer: Berlin, 1987.
- Elliott H. Lieb and Michael Loss. Analysis, volume 14 of Graduate Studies in Mathematics, 2nd editionAmerican Mathematical Society, 2001.
- Bernhard Riemann. Über die Anzahl der Primzahlen unter einer gegebenen Größe. Akademie der Wissenschaften: Berlin, 1859.
- A. E. Ingham. The Distribution of Prime Numbers. Cambridge University Press: Cambridge, 1932.
- Erhard Seiler and Barry Simon. An inequality among determinants. Proceedings of the National Academy of Sciences USA 1975, 72, 3277–3278. [CrossRef] [PubMed]
- Lars Hörmander. In The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis; Springer: Berlin, 1983.
- Israel Gohberg and Mark Krein. Introduction to the Theory of Linear Nonselfadjoint Operators, volume 18 of Translations of Mathematical Monographs. American Mathematical Society: Providence, RI, USA, 1969.
- Hermann Weyl. Über die asymptotische verteilung der eigenwerte. Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, pages 110–117, 1911.
- Jacques Hadamard. In Lectures on Cauchy’s Problem in Linear Partial Differential Equations; Yale University Press: New Haven, 1923.
- Loukas Grafakos. Classical Fourier Analysis, volume 249 of Graduate Texts in Mathematics, 3rd editionSpringer: New York, 2014.
- Jeffrey D. Vaaler. Some extremal functions in fourier analysis. Bulletin of the American Mathematical Society (N.S.) 1985, 12, 183–216. [CrossRef]
- Hugh L. Montgomery. Ten Lectures on the Interface Between Analytic Number Theory and Harmonic Analysis. Number 84 in CBMS Regional Conference Series in Mathematics. American Mathematical Society: Providence, RI, USA, 1994.
- Henryk Iwaniec and Emmanuel Kowalski. Analytic Number Theory, volume 53 of American Mathematical Society Colloquium Publications. American Mathematical Society: Providence, RI, USA, 2004.
- Emanuel Carneiro and Jeffrey D. Vaaler. Some extremal functions in fourier analysis. ii. Transactions of the American Mathematical Society 2010, 362, 5803–5843. [CrossRef]
- Shikao Ikehara. An extension of landau’s theorem in the analytic theory of numbers. Journal of Mathematics and Physics (MIT) 1931, 10, 1–12. [CrossRef]
- F. W. J. Olver, D. W. Lozier, R. F. Boisvert, and C. W. Clark, editors. NIST Digital Library of Mathematical Functions. National Institute of Standards and Technology: Gaithersburg, MD, USA, 2010; Available online: https://dlmf.nist.gov/.
- Jr. R. P. Boas. In Entire Functions; Academic Press: New York, NY, USA, 1954.
- John B. Conway. Functions of One Complex Variable I, volume 11 of Graduate Texts in Mathematics, 2nd editionSpringer: New York, NY, USA, 1978.
- Salomon Bochner. Monotone funktionen, stieltjessche integrale und harmonische analyse. Mathematische Annalen 1933, 108, 378–410. [CrossRef]
- Rolf Nevanlinna. Zur theorie der meromorphen funktionen. Acta Mathematica 1925, 46, 1–99. [CrossRef]
- Boris, Ya. Boris Ya. Levin. Distribution of Zeros of Entire Functions, revised editionAmerican Mathematical Society: Providence, RI, USA, 1996. [Google Scholar]
- S. M. Nikol’skiĭ. Approximation of Functions of Several Variables and Imbedding Theorems 1975.
- Peter L. Duren. Theory of Hp Spaces. Pure and Applied Mathematics. Academic Press: New York, NY, USA, 1970.
- Paul Koosis. The Logarithmic Integral. I. Number 12 in Cambridge Studies in Advanced Mathematics. Cambridge University Press: Cambridge, 1988.
- N. I. Muskhelishvili. In Singular Integral Equations, Reprint of the 1953 edition; Dover Publications: New York, NY, USA, 1992.
- John B. Garnett. Bounded Analytic Functions, volume 236 of Graduate Texts in Mathematics, revised 1st editionSpringer: New York, NY, USA, 2007.
- Antoni Zygmund. In Trigonometric Series, 3rd edition; Cambridge University Press: Cambridge, 2002.
- Gerald B. Folland. Real Analysis: Modern Techniques and Their Applications. Wiley: New York, NY, USA, 1999.
- Yitzhak Katznelson. An Introduction to Harmonic Analysis, 3rd editionCambridge University Press: Cambridge, 2004.
- E. C. Titchmarsh. Introduction to the Theory of Fourier Integrals, 2nd editionOxford University Press: Oxford, 1948.
- André Weil. Sur les `formules explicites’ de la théorie des nombres. Lunds Universitet, 1952.
- I. M. Gel’fand and G. E. Shilov. Generalized Functions, Vol. 1: Properties and Operations. Academic Press: New York, NY, USA, 1964.
- Walter Rudin. Real and Complex Analysis, 3rd editionMcGraw–Hill: New York, NY, USA, 1987.
- Kendall E. Atkinson. The Numerical Solution of Integral Equations of the Second Kind. Cambridge University Press: Cambridge, 1997.
- David V. Widder. The Laplace Transform. Princeton University Press: Princeton, 1946.
- Abraham Berman and Robert J. Plemmons. Nonnegative Matrices in the Mathematical Sciences. Classics in Applied Mathematics. Academic Press: New York, NY, USA, 1979.
- Samuel Karlin. Total Positivity, Vol. I. Stanford University Press: Stanford, CA, USA, 1968.
- David Slepian and Henry O. Pollak. Prolate spheroidal wave functions, fourier analysis and uncertainty—i. Bell System Technical Journal 1961, 40, 43–63. [CrossRef]
- Nicholas, J. Nicholas J. Higham. Accuracy and Stability of Numerical Algorithms, 2nd editionSIAM: Philadelphia, PA, USA, 2002. [Google Scholar]
- Louis de Branges. In Hilbert Spaces of Entire Functions; Prentice–Hall: Englewood Cliffs, NJ, USA, 1968.
- Gene H. Golub and Charles F. Van Loan. Matrix Computations, 4th editionJohns Hopkins University Press: Baltimore, 2013.
- Elias M. Stein and Rami Shakarchi. Fourier Analysis: An Introduction, volume 1 of Princeton Lectures in Analysis. Princeton University Press: Princeton, NJ, USA, 2003.
- Loukas Grafakos. Classical Fourier Analysis, volume 249 of Graduate Texts in Mathematics, 3rd editionSpringer, 2014.
- A. P. Guinand. A summation formula in the theory of prime numbers. Proceedings of the London Mathematical Society 1948, 50, 107–119.
- Elias M. Stein and Rami Shakarchi. Fourier Analysis: An Introduction, volume 1 of Princeton Lectures in Analysis. Princeton University Press, 2003.
- René L. Schilling, Renming Song, and Zoran Vondraček. Bernstein Functions: Theory and Applications, volume 37 of de Gruyter Studies in Mathematics, 2nd editionde Gruyter: Berlin, 2012.
- Elias M. Stein. Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals, volume 43 of Princeton Mathematical Series. Princeton University Press: Princeton, NJ, USA, 1993.
- E. B. Davies. Heat Kernels and Spectral Theory, volume 92 of Cambridge Tracts in Mathematics. Cambridge University Press: Cambridge, 1989.
- Nicholas J. Higham. Functions of Matrices: Theory and Computation. SIAM: Philadelphia, PA, USA, 2008.
- Gene H. Golub and Charles F. Van Loan. Matrix Computations, 4th editionJohns Hopkins University Press, 2013.
- S. W. Graham and J. D. Vaaler. A class of extremal functions for the fourier transform. Transactions of the American Mathematical Society 1981, 265, 283–302. [CrossRef]
- Emanuel Carneiro, Friedrich Littmann, and Jeffrey D. Vaaler. Gaussian subordination for the beurling–selberg extremal problem. Transactions of the American Mathematical Society 2013, 365, 3493–3534. [CrossRef]
- Atle Selberg. Collected Papers, Vol. I. Springer: Berlin, 1989.
- Yitzhak Katznelson. An Introduction to Harmonic Analysis, 3rd editionCambridge University Press, 2004.
- G. H. Hardy. Divergent Series. Oxford University Press: Oxford, 1949.
- Hugh, L. Montgomery and Robert C. Vaughan. Multiplicative Number Theory I: Classical Theory. Number 97 in Cambridge Studies in Advanced Mathematics. Cambridge University Press: Cambridge, 2007. [Google Scholar]
- David Slepian. Prolate spheroidal wave functions, fourier analysis and uncertainty—iv: Extensions to many dimensions. Bell System Technical Journal 1964, 43, 3009–3057. [CrossRef]
Table 1.
Infinite factor , conductor, and finite prime (prime ideal) terms for representative classes.
Table 1.
Infinite factor , conductor, and finite prime (prime ideal) terms for representative classes.
| Class | Degree d | (Archimedean factor in completed form) | Explicit (unramified) |
|---|---|---|---|
| Dirichlet (primitive, modulus q) | (), for | ||
| Dedekind (number field K, ) | () | (all prime ideals ) | |
| Hecke character (self-dual) | (depends on type) | (), for | |
| Self-dual GL(2) newform f (level N) | (, ), for finite corrections per local factor |
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. |
© 2025 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.