On the zeros of linear combinations of L-functions of degree two on the critical line. Selberg's approach

Basic Information

• Paper ID: 2501.00551
• Title: On the zeros of linear combinations of L-functions of degree two on the critical line. Selberg's approach
• Author: I.S. Rezvyakova (Steklov Mathematical Institute of RAS, Moscow)
• Classification: math.NT (Number Theory)
• Publication Information: Published in Izvestiya: Mathematics, 2016, Volume 80, Issue 3
• Paper Link: https://arxiv.org/abs/2501.00551
• Mathematical Subject Classification: 11M41, 11M26

Abstract

This paper provides a detailed study of A. Selberg's method, which under certain natural conditions proves that a positive proportion of nontrivial zeros of linear combinations of L-functions in the Selberg class lie on the critical line. The author supplies all necessary components required to establish this result in the case of linear combinations of degree two L-functions (attached to automorphic forms).

Research Background and Motivation

Core Problem

The central problem addressed in this research is to prove that a positive proportion of nontrivial zeros of linear combinations of degree two L-functions lie on the critical line Re(s) = 1/2, which represents a generalization of the Riemann Hypothesis to a broader class of L-functions.

Research Significance

1. Theoretical Importance: This constitutes an important generalization of the Riemann Hypothesis and is fundamental to understanding the zero distribution of L-functions
2. Historical Value: Extends and develops Selberg's pioneering work on the Riemann ζ-function from 1942
3. Technical Challenge: Linear combinations of L-functions typically lack Euler product decomposition, making the problem substantially more complex

Limitations of Existing Methods

• General linear combinations of L-functions have many zeros outside the critical line, violating the Riemann Hypothesis
• The Hardy-Littlewood method has limited effectiveness for such problems
• Lack of systematic treatment for linear combinations of degree two L-functions

Research Motivation

Selberg observed that his method could be extended to linear combinations of degree two L-functions, but a detailed proof was lacking. This paper fills this theoretical gap.

Core Contributions

1. Method Unification: Provides a complete implementation of Selberg's method for linear combinations of degree two L-functions
2. Technical Innovation: Introduces a new mollifier construction suitable for complex Hecke characters
3. Theoretical Refinement: Establishes necessary mean value estimates and value distribution results
4. Application Extension: Provides a framework for linear combinations of general Selberg class L-functions

Methodology in Detail

Problem Formulation

Let $F(s) = \sum_{j=1}^m c_j L_j(s)$ be a linear combination of m distinct Hecke L-functions, where $c_j$ are real coefficients and $L_j(s)$ correspond to complex ideal class group characters. The goal is to prove that $F(s)$ has a positive proportion of nontrivial zeros on the critical line.

Core Methodological Framework

1. Mollifier Construction

For $L_j(s) := L_{\psi_j}(s)$, define coefficients $\alpha_j(\nu)$ by: $\sum_{\nu=1}^{\infty} \frac{\alpha_j(\nu)}{\nu^s} = L_j(s)^{-1/2}$

The mollifier is defined as: $\eta_j(s) = \sum_{\nu \leq X} \frac{\beta_j(\nu)}{\nu^s}$

where $\beta_j(\nu) = \alpha_j(\nu)L(\nu)$, and $L(\nu)$ is a weight function.

2. Key Estimates

Three core estimates must be established:

Estimate (3): $\int_T^{2T} |I_j(t,H)|^2 dt = O\left(\frac{T}{H}\log T\right)$

Estimate (4): $\int_T^{2T} |L_j(1/2+it)\eta_j^2(1/2+it)|^2 dt = O(T)$

Estimate (5): $\int_T^{2T} |M_j(t,H)|^2 dt = O\left(\frac{T}{H}\log T\right)$

3. Value Distribution Results

For distinct Hecke L-functions $L_j$ and $L_{j'}$, one must prove: $\int_T^{2T} \kappa_{a,b}\left(\frac{\log|L_j(1/2+it)| - \log|L_{j'}(1/2+it)|}{\sqrt{(n_j+n_{j'})\pi\log\log T}}\right) dt = T\int_a^b e^{-\pi u^2} du + O(T\phi(T))$

where $\phi(T) \to 0$ as $T \to +\infty$.

Technical Innovations

1. Novel Mollifier Design

Compared to traditional methods, the mollifier in this paper possesses:

• Superior analytic properties
• Adaptation to the special structure of complex Hecke characters
• Unified treatment of estimates (5) and Selberg's density theorem

2. Selberg Summation Estimates

Establishes the crucial Selberg summation estimate: $S(\theta) = \sum_{\nu_1,\ldots,\nu_4 \leq X} \frac{\beta(\nu_1)\beta(\nu_2)\beta(\nu_3)\beta(\nu_4)}{\nu_2\nu_4} \left(\frac{q}{\nu_1\nu_3}\right)^{1-\theta} K\left(\frac{\nu_1\nu_4}{q}, 1-\theta\right) K\left(\frac{\nu_2\nu_3}{q}, 1-\theta\right) \ll \frac{X^{2\theta}}{\log X}$

3. Zero Detection Mechanism

Employs the Bohr-Landau approach by comparing integral inequalities: $\int_t^{t+H} |F(u)| du > \left|\int_t^{t+H} F(u) du\right|$ to detect zeros of odd order.

Experimental Setup

Mathematical Objects

• L-functions: Complex Hecke L-functions of imaginary quadratic fields $\mathbb{Q}(\sqrt{-D})$
• Parameter Range: $X$ is a small power of $T$, $H \asymp 1/\log T$
• Characters: Complex ideal class group characters $\psi$

Technical Parameters

• Mollifier truncation parameter: $X = T^{\epsilon}$ ($\epsilon$ a small positive number)
• Integration interval length: $H = \frac{A}{m\log T}$ ($A$ a sufficiently large constant)
• Zero counting interval: $T \leq t \leq 2T$

Main Results

Core Theorem

Theorem: Let $F(s) = \sum_{j=1}^m c_j L_j(s)$ be a real coefficient linear combination of m distinct complex Hecke L-functions. Then $F(s)$ has a positive proportion of nontrivial zeros on the critical line. Specifically, if $N_0(T)$ denotes the number of zeros of $F(s)$ in the region $\{s = 1/2 + it, T \leq t \leq 2T\}$, then for arbitrarily large positive $T$: $N_0(T) \gg \frac{1}{m} T \log T$

Technical Results

1. Establishment of Mean Value Estimates

Successfully proves estimates (3)-(5), where the key steps are:

• Utilizing Gabriel's convexity theorem to establish intermediate estimates
• Handling "diagonal" and "off-diagonal" terms via Selberg summation techniques
• Applying special properties of complex Hecke characters

2. Density Theorem

As a byproduct, establishes Selberg's density theorem: $N(\sigma, T) \ll T^{1-a_1(\sigma-1/2)} \log T$ where $a_1 > 0$ is a constant.

3. Normality of Value Distribution

Proves the asymptotic normal distribution of logarithmic value differences between distinct L-functions, which is a key step in establishing the main result.

Related Work

Historical Development

1. Selberg (1942): Original result for the Riemann ζ-function
2. Hafner (1983, 1987): Extension to L-functions of cusp forms for the full modular group
3. Rezvyakova (2010): Extension to general Hecke congruence groups

Research on Linear Combinations

1. Davenport-Heilbronn (1936): First study of zeros of L-function linear combinations
2. Voronin (1980): Unconditional results for linear combinations of first degree L-functions
3. Karatsuba (1989-1994): Important improvements
4. Selberg (1998-1999): Proposed methodological framework for the degree two case

Position of This Paper

This paper provides the first complete proof for linear combinations of degree two L-functions, filling the theoretical gap in Selberg's method in this domain.

Conclusions and Discussion

Main Conclusions

1. Successfully extends Selberg's method to linear combinations of complex Hecke L-functions
2. Establishes all required technical estimates and value distribution results
3. Proves the main theorem on positive proportion of zeros on the critical line

Limitations

1. Character Restrictions: Treats only complex Hecke characters; real characters require additional work
2. Independence Assumptions: Some results depend on "independence" assumptions among L-functions
3. Ineffective Constants: The specific constant for the positive proportion is not given effective bounds

Future Directions

1. Extension to Real Characters: Complete treatment of real Hecke characters
2. Higher Degree Cases: Generalization to higher degree L-functions
3. Epstein ζ-functions: Application to Epstein ζ-functions of binary positive definite quadratic forms
4. Effective Constants: Pursuit of more precise estimates for the proportion of zeros

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides complete implementation of Selberg's method in the degree two case
2. Technical Depth: Involves profound analytic number theory techniques, including Selberg summation and density theorems
3. Method Unification: Unifies treatment of individual L-functions and linear combinations within a single framework
4. Historical Significance: Completes the theoretical construction left unfinished by Selberg

Weaknesses

1. Readability: Technical details are complex, requiring deep background in analytic number theory
2. Application Scope: Results are primarily theoretical with limited practical applications
3. Computational Complexity: Implementation of the method is extremely difficult

Impact

1. Theoretical Contribution: Provides important tools for L-function zero distribution theory
2. Methodological Value: Serves as a template for handling general Selberg class L-functions
3. Academic Standing: Holds important position in analytic number theory

Applicable Scenarios

• Theoretical work on L-function zero distribution
• Research on Riemann Hypothesis-related problems
• Study of analytic properties of automorphic form L-functions

References

The paper cites 28 important references, including:

• Selberg's original work and subsequent developments
• Hafner's contributions on degree two L-functions
• The author's prior work on individual L-functions
• Classical literature on Hecke theory and automorphic forms
• Related work on value distribution theory

Technical Note: This paper represents pure mathematical theoretical research involving advanced analytic number theory techniques. While theoretically significant, it requires specialized mathematical background for complete understanding of its technical details and profound implications.