حول نظير مستوى لنتيجة سيلبرغ على S(t)
On a level analog of Selberg’s result on S(t)

المجلة: Lithuanian Mathematical Journal
DOI: https://doi.org/10.1007/s10986-026-09713-6
تاريخ النشر: 2026-03-06
المؤلف: Qingfeng Sun وآخرون
الموضوع الرئيسي: أبحاث نظرية الأعداد التحليلية

نظرة عامة

في هذا القسم، يقدم المؤلفون الدالة \( S(t, f) = \pi^{-1} \arg L(1/2 + it, f) \)، حيث \( f \) هو شكل هيكي هولومورفي من الوزن 2 ومستوى أولي \( q \). يقدم البحث صيغة حدية غير مشروطة للحظات \( S(t, f) \)، والتي تعمل كتناظر لمستوى لنتائج سيلبرغ الكلاسيكية حول \( S(t) \).

علاوة على ذلك، يستنتج المؤلفون نظرية حد مركزي موزون لتوزيع \( S(t, f) \) عند تطبيعه بواسطة \( \sqrt{\log \log q} \). لتحقيق هذه النتائج، يقدمون تقريبًا مفصلًا لـ \( S(t, f) \) من خلال سلسلة ديريشليت المقطوعة ويستخدمون تقدير كثافة الصفر الموزون للعائلة المرتبطة من دوال L. تساهم هذه الأعمال في فهم الخصائص الإحصائية لـ \( S(t, f) \) في سياق نظرية الأعداد التحليلية.

مقدمة

في هذا القسم، يقدم المؤلفون دراسة دالة زيتا ريمان $\zeta(s)$ وأصفارها، مع التركيز بشكل خاص على عدد الأصفار $N(T)$ في الشريط الحرج المحدد بواسطة $0 < \beta < 1$ و $0 < \gamma < T$. يشيرون إلى صيغة تقريبية لـ $N(T)$ تم اشتقاقها بواسطة دافنبورت، والتي تتضمن مصطلح $S(T)$ الذي يلتقط حجة $\zeta(1/2 + iT)$. سلوك $S(T)$ مهم في نظرية الأعداد التحليلية، مع التقدمات الأخيرة المنسوبة إلى عمل سيلبرغ، الذي يوفر نتائج حدية لـ $S(T)$ وعلاقته بدوال L لديريشليت. يناقش المؤلفون أيضًا سياق نتائجهم ضمن إطار المجموعة الخطية العامة ومجموعات التوافق هيكي، مع تسليط الضوء على الصيغ الحدية للحظات الطيفية لأشكال القمة المرتبطة بهذه المجموعات. يقدمون نظريتهم الرئيسية، التي تؤسس صيغة حدية غير مشروطة للحظات لحجة دوال L المرتبطة بأشكال القمة الهولومورفية من الوزن 2 ومستوى أولي $q$. تؤدي هذه النظرية إلى نظرية حد مركزي موزون، مما يشير إلى أنه مع اقتراب $q$ من اللانهاية، يتقارب قياس الاحتمال إلى توزيع غاوسي. ينتهي القسم بالتعريفات والرموز التي ستستخدم في جميع أنحاء البحث.

نقاش

في قسم النقاش من البحث، يتم تقديم العديد من النتائج الكلاسيكية واللمسات، التي تضع الأساس لتقريب المجموع \( S(t, f) \) المتعلق بأصفار \( L(s, f) \). تشمل النتائج الرئيسية اللمسة 1، التي تؤسس سلوكًا حدياً لمشتق اللوغاريتمي لـ \( L(s, f) \)، واللمسة 2، التي تقدم صيغة تتبع بيترسون التي تتضمن أوزان هارمونية ودوال بيسل. يناقش القسم أيضًا حدود لمجموعات كلوستيرمان وتأثيرات هذه النتائج على توزيع أصفار \( L(s, f) \)، خاصة تحت فرضية ريمان العامة (GRH).

تقدم النظريتان 3 و 4 تقريبًا لـ \( S(t, f) \) وتؤسس معدل نموه، موضحة أنه تحت فرضية GRH، يتصرف \( S(t, f) \) مثل \( \log(|t| + q) \log \log(|t| + q) \). تستفيد الإثباتات من لمسات متنوعة، بما في ذلك نظرية اللحظات، لربط لحظات توزيع الأصفار بالسلوك الحدّي لـ \( S(t, f) \). بشكل عام، يبرز القسم التفاعل بين نظرية الأعداد التحليلية وخصائص الأشكال المودولية، مما يساهم في فهم أعمق لتوزيع أصفار \( L(s, f) \).

Journal: Lithuanian Mathematical Journal
DOI: https://doi.org/10.1007/s10986-026-09713-6
Publication Date: 2026-03-06
Author(s): Qingfeng Sun et al.
Primary Topic: Analytic Number Theory Research

Overview

In this section, the authors introduce the function \( S(t, f) = \pi^{-1} \arg L(1/2 + it, f) \), where \( f \) is a holomorphic Hecke cusp form of weight 2 and prime level \( q \). The paper presents an unconditional asymptotic formula for the moments of \( S(t, f) \), which serves as a level aspect analogue to Selberg’s classical results on \( S(t) \).

Furthermore, the authors derive a weighted central limit theorem for the distribution of \( S(t, f) \) when normalized by \( \sqrt{\log \log q} \). To achieve these results, they provide a detailed approximation of \( S(t, f) \) through a truncated Dirichlet series and utilize a weighted zero-density estimate for the associated family of L-functions. This work contributes to the understanding of the statistical properties of \( S(t, f) \) in the context of analytic number theory.

Introduction

In this section, the authors introduce the study of the Riemann zeta function $\zeta(s)$ and its zeros, specifically focusing on the number of zeros $N(T)$ in the critical strip defined by $0 < \beta < 1$ and $0 < \gamma < T$. They reference an approximate formula for $N(T)$ derived by Davenport, which includes a term $S(T)$ that captures the argument of $\zeta(1/2 + iT)$. The behavior of $S(T)$ is significant in analytic number theory, with recent advancements attributed to Selberg's work, which provides asymptotic results for $S(T)$ and its relation to Dirichlet L-functions. The authors also discuss the context of their results within the framework of the general linear group and Hecke congruence subgroups, highlighting the asymptotic formulas for spectral moments of cusp forms associated with these groups. They present their main theorem, which establishes an unconditional asymptotic formula for the moments of the argument of L-functions associated with holomorphic cusp forms of weight 2 and prime level $q$. This theorem leads to a weighted central limit theorem, indicating that as $q$ approaches infinity, the probability measure converges to a Gaussian distribution. The section concludes with notation and definitions that will be used throughout the paper.

Discussion

In the discussion section of the paper, several classical results and lemmas are presented, which lay the groundwork for approximating the sum \( S(t, f) \) related to the zeros of \( L(s, f) \). Key findings include Lemma 1, which establishes asymptotic behavior for the logarithmic derivative of \( L(s, f) \), and Lemma 2, which introduces the Petersson trace formula involving harmonic weights and Bessel functions. The section also discusses bounds for Kloosterman sums and the implications of these results on the distribution of zeros of \( L(s, f) \), particularly under the Generalized Riemann Hypothesis (GRH).

Theorems 3 and 4 provide approximations for \( S(t, f) \) and establish its growth rate, showing that under the GRH, \( S(t, f) \) behaves like \( \log(|t| + q) \log \log(|t| + q) \). The proofs leverage various lemmas, including moment theory, to connect the moments of the distribution of zeros to the asymptotic behavior of \( S(t, f) \). Overall, the section emphasizes the interplay between analytic number theory and the properties of modular forms, contributing to a deeper understanding of the distribution of zeros of \( L(s, f) \).