🔢 mathematics

Large values of quadratic Dirichlet $L$ -functions of prime-related moduli

This paper utilizes the long resonator method to demonstrate large values at the central point for the family of quadratic Dirichlet $L$ -functions with prime-related moduli, assuming the generalized Riemann hypothesis.

Original authors: Peng Gao

Published 2026-06-16

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Peng Gao

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: Hunting for Giant Numbers

Imagine you have a massive library of musical instruments. Each instrument is tuned to a specific "frequency" (mathematically, a number called a modulus). When you play a specific note on these instruments (mathematically, evaluating a function at a specific point), they produce a volume level.

In the world of mathematics, these instruments are called Dirichlet L-functions. They are complex tools used to study prime numbers. The "note" the author is interested in playing is the "central point" (a specific spot in the middle of the musical scale).

The question this paper asks is: What is the loudest possible volume we can get from a specific group of these instruments?

The author, Peng Gao, is trying to prove that if you pick the right instruments from a very specific group (those related to prime numbers), you can make them play incredibly loudly—much louder than we previously thought was possible.

The Cast of Characters

The Instruments (L-functions): Think of these as a family of sound waves. Some are quiet, some are loud. We want to find the absolute loudest one in a specific neighborhood.
The Prime Numbers: The paper focuses on instruments tuned to "prime" frequencies. Specifically, it looks at a special subset of primes (numbers like 3, 5, 7, 11, etc.) that fit a certain pattern (related to the number 8).
The Resonator (The Amplifier): This is the paper's main tool. Imagine you have a microphone and a speaker. If you want to make a specific sound louder, you might use a "resonator"—a device that vibrates in sync with that sound to boost its volume.
- In math, the author builds a special "mathematical resonator." It's a carefully constructed recipe (a sum of numbers) designed to vibrate in perfect harmony with the specific L-functions the author is studying.
- When this resonator is applied to the L-functions, it amplifies the ones that are already naturally loud, making them even louder.

The Method: The "Long Resonator"

The paper uses a technique called the "Long Resonator Method."

The Old Way: Previous mathematicians used short, simple resonators. They could make the instruments loud, but there was a limit to how loud they could get.
The New Way: This paper uses a "Long Resonator." Imagine a very long, complex pipe organ. Because it is so long and intricate, it can catch and amplify a much wider range of frequencies.
The Result: By using this long, complex tool, the author shows that the volume of these mathematical instruments can reach a new, higher peak than anyone had proven before.

The Rules of the Game

The author has to play by a strict set of rules to make this proof work:

The "Generalized Riemann Hypothesis" (GRH): This is a famous, unproven guess in mathematics that acts like a safety net. The author assumes this guess is true. If this "safety net" holds, the proof works. It's like saying, "Assuming the laws of physics work exactly as we think they do, here is how loud the instrument can get."
The "Prime-Related" Group: The author isn't looking at every instrument in the library. They are looking at a specific shelf: instruments tuned to prime numbers (specifically those related to $8q$ , where $q$ is a prime).

The Conclusion: Breaking the Record

The paper concludes with a specific mathematical formula (Theorem 1.1). In plain English, it says:

"If we assume the Generalized Riemann Hypothesis is true, and we look at a huge range of these prime-related instruments, we can guarantee that at least one of them will be incredibly loud. The volume will be roughly proportional to a specific, very large number involving logarithms."

Why does this matter?
Before this paper, we knew these instruments could get loud, but we didn't know exactly how loud they could get. This paper pushes the boundary, showing that the "maximum volume" is higher than we previously calculated. It's like discovering that a guitar string can vibrate at a frequency we thought was impossible, simply by using a better amplifier (the long resonator).

Summary Analogy

Imagine you are trying to find the tallest building in a city.

Previous studies said, "The tallest building is at least 1,000 feet tall."
This paper says, "Using a new, super-accurate laser scanner (the long resonator) and assuming our city maps are perfect (GRH), we can prove that there is actually a building in this specific neighborhood that is at least 1,500 feet tall."

The paper doesn't tell you what the building is made of or how to build it; it just proves with high confidence that it exists and is taller than we thought.

Technical Summary: Large Values of Quadratic Dirichlet L-Functions of Prime-Related Moduli

Problem Statement
The paper addresses the problem of establishing lower bounds for the maximum values of quadratic Dirichlet $L$ -functions at the central point $s = 1/2$ . Specifically, it investigates the family of $L$ -functions $L(s, \chi_{8q})$ where $q$ ranges over odd primes. While significant progress has been made in understanding the maximum sizes of the Riemann zeta function and general quadratic Dirichlet $L$ -functions (fundamental discriminants) using the resonance method, the specific behavior of $L$ -functions associated with prime moduli (or prime-related moduli like $8q$ ) under the Generalized Riemann Hypothesis (GRH) requires further refinement. The author aims to extend the techniques developed by Darbar and Maiti to this specific family of prime-related moduli.

Methodology
The proof relies on the long resonator method, a technique pioneered by Soundararajan and significantly enhanced by Aistleitner, Bondarenko, and Seip. The core strategy involves constructing a "resonator" Dirichlet polynomial designed to amplify the values of the $L$ -functions in question.

Approximate Functional Equation: The analysis begins with the approximate functional equation for $L(1/2, \chi_{8q})$ , expressing the $L$ -value as a sum involving a smooth weight function $V(x)$ . This function is shown to be positive, smooth, and rapidly decaying.
Resonator Construction: A multiplicative function $\psi$ is defined, supported on square-free integers composed of primes in specific ranges $P_k$ . These ranges are carefully chosen based on iterated logarithms of a large parameter $N$ . The resonator $R_q$ is defined as $\sum_{m \in R} \psi(m)\chi_{8q}(m)$ , where $R$ is a set of integers constructed to maximize the resonance effect while controlling the size of the coefficients.
Smoothed Character Sums: The proof utilizes smoothed character sums over primes $q$ in the interval $(X, 2X]$ . Under the assumption of GRH, Lemma 2.4 provides an asymptotic formula for sums of the form $\sum \chi_{8q}(c)\Phi(q/X)$ , isolating the contribution from perfect squares.
Ratio Estimation: The maximum value is bounded from below by the ratio $S_1/S_2$ $S_{1} / S_{2}$ , where:
- $S_1 = \sum (\log q) L(1/2, \chi_{8q}) R_q^2 \Phi(q/X)$
- $S_2 = \sum (\log q) R_q^2 \Phi(q/X)$
  The author establishes a lower bound for $S_1$ by isolating the diagonal terms ( $lmn = \square$ ) and an upper bound for $S_2$ by analyzing the square-free nature of the support.

Key Contributions and Results
The primary contribution is the derivation of a sharp lower bound for the maximum size of $L(1/2, \chi_{8q})$ for primes $q$ .

Main Theorem (Theorem 1.1): Assuming the Generalized Riemann Hypothesis, for sufficiently large $X$ , the maximum value satisfies:
$\max_{\substack{q \text{ prime} \\ X < q \le 2X}} |L(1/2, \chi_{8q})| \ge \exp\left( \left(\frac{1}{2} + o(1)\right) \sqrt{\frac{\log X \log_3 X}{\log_2 X}} \right)$
Here, $\log_j$ denotes the $j$ -fold iterated logarithm.
Comparison with Previous Work:
- The result improves upon the bound established by Fan, Hua, and Xie for $L(1/2, \chi_p)$ with $p \equiv 1 \pmod 8$ , which had a constant factor of $\sqrt{8/45} \approx 0.42$ .
- It matches the constant factor of $1/2$ achieved by Darbar and Maiti for fundamental discriminants, thereby demonstrating that the prime-related moduli family $8q$ exhibits similar large value behavior to the general family of fundamental discriminants.

Significance and Claims
The paper claims that its result demonstrates the efficacy of the long resonator method when applied to families of $L$ -functions with prime-related moduli. By successfully adapting the approach of Darbar and Maiti, the author shows that the maximum size of these specific $L$ -functions is at least as large as the bound suggested by the general theory for fundamental discriminants.

The author notes that the result implies the bound given in equation (1.1) of the introduction (regarding fundamental discriminants) and suggests that with minor adjustments, the theorem could also be applied to $L(1/2, \chi_q)$ where $q$ is a fundamental discriminant, further improving existing bounds under GRH. The work is presented as a technical advancement in the analytic number theory of $L$ -functions, specifically refining the understanding of large values in the context of prime moduli.