Submitted:
14 August 2025
Posted:
14 August 2025
Read the latest preprint version here
Abstract
Keywords:
1. Introduction
1.1. Background and Problem Setting [1,2,3,4,5]
Formulation of the Riemann Hypothesis (RH)
Framework for General L-Functions (Outline)
Test Space and Bilinear Form Used in This Paper (Preview of Their Roles)
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
1.2. Main Results of This Paper (Summary) [1,2,3]
(A) Main Theorem on RH (Weil Route; Conclusion of §8)
(B) Main Theorem on RH (Herglotz Route; Conclusion of §8)
(C) Generalization (Self-dual -type L-functions; Conclusion of §10)
(D) Immediate Application to Specific Classes
(E) Robustness (Error Budget and Tolerances)
(F) Summary of This Section (Correspondence with Chapter Structure)
1.3. Proof Strategy (Overview of Two Routes) [1,2,6]
(I) Weil Positivity Route: Composition of and the Equivalence Theorem (§6–§8)
(II) Herglotz Route: Equality of Windowed m-functions and Reality of Poles (§8H, §10.6–§10.7)
(III) Extension to General (Self-dual) and Consistency of the Two Routes (§10)
(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)
1.4. Technical Essentials and Notation [2,6,7]
Fourier Conventions and Basic Operations
Finite-Bandwidth Family and Basic Test Space
Zero Measure and Bilinear Form Q
Windowed m-function and Cayley Phase
Regularized Determinant
Small-Bandwidth Endpoints and Management of Endpoint Terms
Remarks (Summary of Symbols)
1.5. Scope of Application [3,8,9,10,11,12,13]
(i) Riemann and Its Completion (, Basic Example)
(ii) Dirichlet L (, Real (Self-Conjugate) Characters)
(iii) Dedekind of a Number Field K (, Special Case of Hecke Characters)
(iv) Hecke Characters (, Self-Conjugate Unitary Idele Class Characters over Number Fields)
(v) Self-Dual Newforms (Automorphic Forms: Holomorphic / Maaß)
(vi) Error / Constant Dependence and Appendix References
Summary
1.6. Organization of This Paper
§2 (Foundations: Conventions, Distributions, Kernels)
§3 (Distributional Form of the Explicit Formula and Preparation for Small Bandwidth)
§4 (Operator Side I: Convolution Operators and Regularization)
§5 (Operator Side II: m-Functions and the Uniqueness Principle)
§6 (Small-Bandwidth Equivalence)
§7 (, Weyl, and Upper Bound Design)
§8 (The Case: Main Theorem on RH)
§9 (Conclusions and Guidelines: Overview of Robustness and Applications)
§10 (Generalization: Self-Dual -Type L-Functions)
Appendices
2. Space and Generator
2.1. Introduction of Space and Generator [7,14]
Important Note (Regarding the Double Definition of )
- (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).
- (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).
Positioning of this Subsection (Relation to the Overall Strategy)
Basic Setting and Fixed Notation
Strong Commutativity on the Fourier Side and Restricted Operator
Equivalence of the Two Representations (in the Sense of Unitary Equivalence)
- 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 ).
Standard Notation and References Used Hereafter
2.2. Domain and Graph Norm
Position of this Subsection (Relation to Overall Strategy)
Definition (Minimal Domain and Maximal Domain)
Equivalence of graph norm and
Verification of the Core and Minimal Closure
Conclusion of This Subsection and Connection to the Next
2.3. Self-Adjointization [14,15]
Position of this subsection (relation to overall strategy).
as a Bounded Symmetric Perturbation
Main Proposition on Self-Adjointness
- 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 .
Basic Resolvent Estimate and Closed Graph Property
Summary: Conclusion of This Subsection
2.4. Compactness of the Inclusion and the Resolvent [14,16,17]
Position of This Subsection (Relation to Overall Strategy)
Boundedness of point evaluations and local Sobolev inequality
Compactness of the Inclusion
Compactness of the Resolvent and Discreteness of the Spectrum
Summary: Conclusion of This Subsection and Connection to Later Sections
3. Main Term of the Eigenvalue Distribution
3.1. Purely Discrete Spectrum and Eigenbasis [14,15]
Position of this Subsection (Relation to Overall Strategy)
Compact Resolvent ⇒ Purely Discrete Spectrum
- 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.
Spectral Decomposition and Preparation for Functional Calculus
Core and Normalization Notes
Summary: Connection to the Next Section
3.2. Normalization, Conjugate Symmetry, and Mercer Expansion [6,14,18]
Position of This Subsection (Relation to Overall Strategy)
± correspondence via complex conjugation (including correction of a misprint)
Mercer-Type Expansion and Schatten Class Conditions
- 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 .
Summary: Connection to the Next Section
3.3. Weyl-Type Counting (Rough Main Term) [19,20,21]
Position of this Subsection (Relation to Overall Strategy)
Standard form of the Quadratic Form and Correction of the Auxiliary Potential
IMS Partition and Localization
Upper Bound: Variational Principle and Phase Space Volume Estimate
Lower Bound: Construction of Quasimodes
Summary: Rough Weyl Law
3.4. Precise Weyl Law (Distribution Identity and ) [4,7,22,23]
Position of This Subsection (Relation to Overall Strategy)
Distribution Identity (Smoothing)
Tauberian Pullback: Refinement to
Summary: Connection to §4 and §6
4. Functional Calculus and Regularization
4.1. Functional Calculus and Schatten Class Criteria [6,14]
Position of This Subsection (Relation to Overall Strategy)
Definition and Basic Properties of the Borel Functional Calculus
- ;
- 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.
Self-Adjointness and Compatibility with Conjugation Symmetry
Schatten Class Criteria: Eigenvalue Conditions and Kernel Representation
- (Hilbert–Schmidt);
- (trace class);
-
In either case,holds (the latter in the case).
Compatibility with Unitary Removal (for Reference)
Summary: Connection to the Next Section
4.2. Localization, Endpoint Gluing, and Off-Diagonal Decay [6,24,25]
Position of This Subsection (Relation to Overall Strategy)
Working Assumptions (Endpoint Vanishing and Smoothness)
Kato–Seiler–Simon Type Estimates and Local Trace Class
- with
-
, and for any ,In particular (taking ), .
Construction of Endpoint Gluing and Stable Estimates
Off-Diagonal Decay and Suppression of Distant Interactions
Summary: Connection to §6 and Role in This Chapter
4.3. Regularized Fredholm Determinant and Trace Identities [6,26]
Position of This Subsection (Relation to Overall Strategy)
Definition and Basic Properties (Branch and Zero Avoidance)
Power Series Expansion and Trace Identities
Equivalence of Localized Cyclic Integrals and Eigenvalue Sums
Summary: Agreement of and Kernel Cyclic Products
Summary: Connection to §5 and §6
5. Distribution Identity and Error Optimization
5.1. Framework of the Distribution Identity [19,25,27]
Position of This Subsection (Relation to Overall Strategy)
Main Term and Uniform Error Estimate
Note on Small Bandwidth and Connection to §6
Summary: Connection to the Next Section
5.2. Short-time Kernel Cutoff, Finite Part, and Endpoint Vanishing [7,25,28,29]
Position of This Subsection (Relation to Overall Strategy)
Short-Time Cutoff Kernel and Scaling
Introduction of the Finite Part (Hadamard Finite Part)
Unified Error After Short-Time Cutoff
Auxiliary Estimate (Paley–Wiener type)
Summary: Connection to the Next Section
5.3. Band-limited Approximation: Vaaler / Beurling–Selberg Construction and Optimization [30,31,32,33]
Position of This Subsection (Relation to Overall Strategy)
Basic Design: Separation of Smoothing Kernel and Endpoint Correction
Vaaler / Beurling–Selberg Type Upper/Lower Approximations
- (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 ,
Concrete Estimates for Derivative Norms and Insertion Into (25)
Summary: Connection to the Next Section
5.4. Tauberian Sandwich and Determination of [4,23,30,34]
Position of this Subsection (Relation to Overall Strategy)
Evenization and Assembly of the Sandwich
Substitution into the Distribution Identity and Extraction of the Main Term
Parameter Selection and Conclusion
Summary: Connection to §6
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)
Main Theorem (Small Bandwidth Equivalence)
Summary: Connection to Next Section
6.2. Archimedean Calibration: Agreement between Term and Main Term Kernel [4,5,29,35]
Position of this subsection (relation to overall strategy).
Main Proposition (Calibration Identity)
Summary: Connection to Next Section
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)
Recollection of Assumptions and Notation
Main Theorem (Wide-Band Difference = Finite Sum of Prime Terms)
Upper Bound for the Prime Term (Basic Form)
Summary: Connection to Next Section (Boundary Handling)
6.4. Treatment of the Band Edge: and Endpoint Vanishing [7,25,29]
Position of This Subsection (Relation to Overall Strategy)
Edge Localization Decomposition and Technical Preparation
Main Result: Bound on the Boundary Term
Limit and Connection to the Small Band
Summary: Connection to Next Section
6.5. Summary and Bridge to §7
Conclusions of This Chapter
- (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
Bridge to §7: and the Cayley Transform
- 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).
Summary: Work Plan for the Next Chapter
- (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.
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)
- 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
- (i)
- and ;
- (ii)
- More strongly, ;
- (iii)
- Or is band-limited with .
Summary: Connection to the Next Section
7.2. Regularized Fredholm Determinant: Entire Functionality and Expansion [6,26,36]
Position of This Subsection (Relation to the Overall Strategy)
Definition and Basic Properties
Entire Function Property, Zero Structure, and Coefficient Expansion
- (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.
Growth Estimate and Preparation for Jensen/Carleman Application
Summary: Connection to the Next Section
7.3. Coefficient Identification: and Transfer of Distributional Equivalence [6,14,29]
Position of this Subsection (Relation to the Overall Strategy)
Expressing the Trace as a Distributional Moment
Small Band: Complete Coefficient Equality
Wide Band: Coefficient Difference = Finite Prime Sum + Boundary Term
Density and Approximation (Relaxation of Band Limitation)
Summary: Connection to the Next Section
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)
Finite-order identity in the small band and its remainder
Prototype of Analytic Continuation and Densification Strategy
Summary: Goal of §7 and Hints for §8 Onward
Next (Optional): Rough Upper Bound on Zero Distribution
7.5. Upper Bounds on Zero Distribution and Consistency Check [6,36]
Position of This Subsection (Relation to the Overall Strategy)
Quadratic-Type Upper Bound for Zero Counting
Consistency with Weyl’s Law and HS Condition
Zeros and Growth of the Difference Function (Preparation)
Summary: Bridge to §8
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)
Construction and Normalization of the Shrinking Bandwidth Family
Uniform Control of Boundary Terms over the Family
Uniform Control of Prime Finite Sum Coefficients over the Family
Uniform Vanishing of the Difference Generating Function over the Family
Summary: Connection to the Next Section (Key B)
8.2. From Agreement in a Small Disk to Agreement on the Whole Domain (Key B: Uniqueness Principle) [36,37]
Position of This Subsection (Relation to the Overall Strategy)
Three–Circle–Type Interpolation for Entire Functions of Order ( Version)
Carleman–Type Uniqueness: Vanishing in a Small Disk ⇒ Vanishing Everywhere
Global Vanishing of the Difference Generating Function
Summary: Connection to the Next Section (Weil positivity)
8.3. Construction and Positivity of the Weil–type Bilinear Form [14,38]
Position of This Subsection (Relation to the Overall Strategy)
Definition and Basic Identity
Transfer of Positivity in the Small–Bandwidth Case
Test Space and Band–Cutoff Approximation
Extension of Positivity to the Dense Family
Summary: Bridge to the Next Subsection (RH via the Weil Equivalence Theorem)
8.4. Weil’s Equivalence Theorem (Restatement) and the Main Theorem on RH [1,38]
Position of This Subsection (Relation to the Overall Strategy)
Weil’s Equivalence Theorem (Restated in the Present Setting)
- (i)
- Positivity: .
- (ii)
- RH: Every nontrivial zero ρ of the Riemann ξ-function satisfies .
Main Theorem on RH
Summary: Bridge to the Next Subsection (Robustness and Error Budget)
8.5. Robustness and Summary of the Error Budget
Position of This Subsection (Relation to the Overall Strategy)
List of Global Constants and Assumptions
- 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.
Decomposition of the Difference and Uniform Estimates for Each Term
Comprehensive Error Budget and Solvable Region
Consistency with the Uniqueness Principle and Positivity Transfer
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
8.6. Construction of the m-function and Identification with [2,25,29]
Position of This Subsection (Relation to the Overall Strategy)
Window Function and Weighted Measure
Construction of the Herglotz Function and Basic Properties
Equality of Boundary Values and Nevanlinna Representation
Calibration at Infinity and Vanishing of the Linear Term (Preparation)
Summary: Connection to the Next Subsection
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)
Representation by Zeros and Window Localization
Exclusion of Non-Real Poles
RH (H Route)
Summary: Conclusion of This Chapter and Note
9. Conclusion [1,2,6,7,26,36,40]
Summary of the Point Reached
- 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),
Landing of the Weil Route
Landing of the Herglotz Route
Consistency and Robustness
Conclusion (Restatement)
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)
- 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).
Summary and Connection to the Next Section
10.2. Wide-Band Explicit Formula: Finite Prime Sum and Endpoint Evaluation [1,7,25,32]
Position of This Subsection
Preparation of Local Coefficients
Summary and Connection to the Next Section
10.3. Self-Adjoint Generator and Functional Calculus: Hilbert–Schmidt/Trace Class Criteria [6,14,24]
Position of This Subsection
Notation and Restatement of Assumptions
Commutative Functional Calculus and Notation
Summary and Connection to the Next Section
10.4. Regularized Fredholm Determinant: Entire Functionality, Zero Structure, and Coefficient Expansion [6,26,36]
Position of This Subsection
Definition and Basic Properties
- Hence is an entire function of order , with type .
- The zero set coincides (with multiplicities) with (zeros of the Hadamard-type product (81)).
Coefficient Expansion (Series Representation)
Summary and Connection to the Next Section
10.5. Coefficient Identification: Transport of Trace Coefficients to the Zero Side / Prime Side [7,14,29]
Position of This Subsection
Preparation: Convolution and Band Enlargement
10.5.0.95. Substitution into the Generating Function: Zero-Side / Prime-Side Representation of
Summary and Connection to the Next Section
10.6. Construction of Windowed m-Functions and Identification with [2,25,29,39]
Position of This Subsection
Window and Fourier Convention
Equality of Boundary Values (from Small-Band Equalization)
Uniqueness of the Herglotz Representation and Linear Polynomial Difference
Summary and Connection to the Next Section
10.7. Reality of Poles and the Generalized Riemann Hypothesis (Herglotz Route) [2,36,39]
Position of This Subsection
Preparation: Hadamard Expansion and Logarithmic Derivative
Meromorphic Continuation of the Arithmetic-Side m-Function (Explicit Pole Set)
Reality of Poles on the Operator Side
From Equality of the Two m-Functions to .
Summary and Connection to the Next Section
10.8. Weil-type Positivity and Equivalence (Weil Route) [2,36,39]
10.8.0.108. Position of This Subsection
Test Space and Bilinear Form
Weil’s Equivalence Theorem (Generalized Form)
- (i)
- For all even-real , (Weil-type positivity).
- (ii)
- : all nontrivial zeros satisfy .
Summary and Connection to the Next Section
10.9. Applications and Scope: Dirichlet/Hecke/Dedekind/Self-dual [8,9,10,11,12,13,32]
Position of This Subsection
Reference Conventions
Expression for the Archimedean Kernel (Before/After Calibration)
Dirichlet (Primitive, Self-Dual)
Dedekind
Hecke Character (Self-Dual )
Self-Dual GL(2) Newforms
Summary and Connection to the Next Section
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
Notation and Norms
Unified Evaluation of Wide-Band Differences
Control of Finite Sums in Coefficient Identification
Error Decomposition for the Generating Function
Parameter Selection Recipe (for Desired Accuracy )
- 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
- 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
Summary (End of Chapter)
Appendix A. Technical Supplements — Poisson–Hilbert Representation, Phase Averaging, Outer Factor, Identification Lemma, etc.
Appendix A.1. Complete Proof of the Poisson–Hilbert Representation (Main Text, Lemma 7.27) [42,43,44]
Proof
Appendix A.2. Coincidence of Phase Averages (Main Text, Proposition 7.29) [7,30]
Consequence for Type Equality (Main Text, Theorem 7.28)
Appendix A.3. Phase Equality ⇒ Outer Factor Identification (Main Text, Proposition 7.11) [43,45]
Appendix A.4. L 2 Estimate for Outer Quotients (Preparation for Main Text, Lemma 7.33) [29,46]
Appendix A.5. Monotonicity from Herglotz to Cayley Phase (Main Text, Lemma 7.33) [2,45]
Outline of Proof
Appendix A.6. Commutation in the Wide-Band Limit (Main Text, §6.5) [47]
Appendix A.7. Stabilization of Truncation Limits by Abel Regularization [46,48]
Appendix A.8. Boundary Values and Argument Function of the Stieltjes Transform [44,49]
Appendix A.9. Distributional Convergence of the Logarithmic Derivative of Outer Factors [25,43]
Appendix A.10. Main Term of the Riemann–von Mangoldt Formula (Main Text, Proposition 8.22) [4,32]
Appendix A.11. Equality of Weil-Type Quadratic Forms (Main Text, Proposition 8.29, Theorem 8.31) [32,50]
Sketch of Equality Proof
Appendix A.12. Consistency of Endpoint Correction and Finite-Part (Main Text, §5.2) [25,51]
- 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
- (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.
Appendix A.14. Pole Expansion of -ξ ′ /ξ and Window |Φ| 2 , Commutation of Cauchy Transform [4,5]
Setup
Appendix A.15. Boundary Value Coincidence ⇒ Herglotz Uniqueness ⇒ Linear Polynomial Difference ≡0 [2,45,52]
Appendix A.16. Small-Band Endpoint and Enforcement of Strict Inequality [30]
Convention Fixing
Appendix B. Generating-Function Supplements (Cayley Phase Correction and Kernel Extension)
Appendix B.1. Purpose of Introducing Generating Functions (in a Broad Sense) [2,39,45]
- (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.
Appendix B.2. Two Methods: Nyström / Galerkin [18,53]
Nyström (Integral Approximation)
Galerkin (Projection Approximation)
Discrete Extraction of the Cayley Phase
Appendix B.3. Extension of ϕ (from Completely Monotone to Exponential Type) [7,36,54]
Appendix B.4. Structure of M-Matrix (Positive Principal Minors and Total Monotonicity) [55,56]
Appendix B.5. Band Design: Hard Barrier and Smooth Barrier [7,30,57]
Hard Barrier (Vaaler Type)
Smooth Barrier (High-Order Vanishing)
Appendix B.6. Cayley Phase Correction and Truncation of the Two Sums in AFE [2,4,32,58]
Appendix B.7. Summary: Role of the Generating-Function Perspective
Appendix C. Appendix: List of Symbols and Abbreviations
- 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]
- (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)
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).
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).
Appendix E. Typos, Notational Inconsistencies, and Editorial Notes (Errata Candidates)
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
Formula for Phase Derivative
(E2-3) Asymptotic of Γ R
(E2-4) Constant in Riemann–von Mangoldt Main Term
(E2-5) Phase of Schur Function
(E2-6) Differential of Regularized Determinant and Phase
(E2-7) Treatment of Small-Band Endpoint
(E2-8) Conversion Between One-Sided and Two-Sided Counts
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.
Appendix F. Taxonomy of Alternative Kernels and Positivity (Recipe for Completely Monotone Families)
Appendix F.1. Completely Monotone Functions and Positivity: Bernstein–Bochner Viewpoint [38,54]
Appendix F.2. Spectral Growth and Schatten Classes (Including HS/Trace) [6,14]
Important special cases.
Appendix F.3. CBF Composition and Representative Examples (Matérn/Rational/ Heat-type) [65,66,67]
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
- (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]
Appendix F.5. Consistency with Bandwidth, Endpoints, and Normalization [7,30]
Appendix F.6. Parameterization and Differentiation (Optimization and Sensitivity Analysis) [6,15,68]
Rational Type ϕ(λ)=(c+λ) -σ :
Matérn (First Order) ϕ(λ)=(1+αλ) -ν :
Heat-Type Matérn ϕ(λ)=(1+αλ 2 ) -ν :
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
Appendix G.1. Beurling–Selberg / Vaaler-type Approximation of Indicator Functions [30,70,71,72]
Basic Kernel and Bandwidth Preservation
Vaaler-Type Upper and Lower Approximations
Appendix G.2. Endpoint Correction Structure and Vanishing Order [30,64,71]
Appendix G.3. Smooth Windows and High-Order Vanishing [25,47,64]
Appendix G.4. Norm Control and Paley–Wiener [7,40,73]
Appendix G.5. Commutation of Poisson Smoothing and Abel Regularization [46,49,74]
Appendix G.6. Phase Average Testing and Cayley Phase Extraction [2,45,59]
Appendix G.7. AFE (Two-Sum) Truncation and Bandwidth Matching [4,8,32]
Appendix G.8. Testing Small-Band Equalization [5,50,63,75]
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).
Appendix H. Complete Expansion of Endpoint Terms and Constants in the Explicit Formula
Appendix H.1. Skeleton and Decomposition of the GL(d) Explicit Formula [1,11,32]
Appendix H.2. Complete Expansion of the Archimedean Term into “Main Term + Constant” [4,35]
Separation of Constants via Stirling
Combination with Conductor Term
Appendix H.3. Refinement of Prime Sum and Endpoint Contribution (Half Rule) [1,7,32,63]
Standard Form of the Prime Sum
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
General Form of the Stieltjes Half Rule
Commutation with Abel regularization
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]
| 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/).
