Heath-Brown identities for fractional powers of $ζ$

ملخص تقني: متطابقات هيث-براون للقوى الكسرية لدالة زيتا $\zeta$

بيان المسألة
تتناول الورقة تقدير المجموعات الأسية التي تتضمن القوى الكسرية لدالة زيتا ريمان، وتحديداً $S_z(x, \alpha) = \sum_{n \le x} d_z(n) e(n\alpha)$، حيث $d_z$ هي الدالة الضربية المعرفة بمعاملات ديريكليه لـ $\zeta(s)^z$. وبينما يُعد سلوك هذه المجموعات مفهوماً جيداً بالنسبة للأسس الصحيحة (مثل دالة القاسم $\tau_k = d_k$ ودالة موبيوس $\mu = d_{-1}$)، فإن الحالة الكسرية $z \in (-1, 1) \setminus \mathbb{Z}$ تمثل فجوة معرفية. تفشل الطرق الكلاسيكية التي تعتمد على التفكيك (مثل $\tau_k = 1^{*k}$) في حالة الأعداد غير الصحيحة، كما أن المتطابقات الموجودة (مثل متطابقات فون فاون أو هيث-براون) لا تنطبق مباشرة دون تعديل. النتائج الجزئية السابقة، مثل الحد لـ $d_{1/2}$ في [MV, Exercise 9]، أعطت أسّاً أوسطاً دون المستوى الأمثل قدره $6/7$ في تقدير القوس الصغير، بينما تحقق الحالات الصحيحة معيار "جودة فينوغرادوف" البالغ $4/5$. تكمن المشكلة المركزية في بناء متطابقة توافقية منتهية لـ $\zeta(s)^{\pm a/b}$ تسمح باشتقاق حدود بأس أمثل قدره $4/5$ وفقدان لوغاريتمي بحت، دون عامل $x^\varepsilon$.

المنهجية
يستخدم المؤلف نهجاً ذا طبقتين: بناء جبري يليه تقدير تحليلي.

1. البناء الجبري (متطابقات من نوع هيث-براون):
   الابتكار الجوهري هو بناء متطابقات منتهية لـ $\zeta(s)^{\pm a/b}$ باستخدام متسلسلة نيوتن ذات الحد الثنائي داخل جبر الدوال الحسابية.

• بالنسبة للقوة الكسرية $\zeta(s)^{-h/b}$، يُعرف المؤلف كثير حدود ديريكليه المبتور $F(s) = \sum_{n \le V} d_{-h/b}(n)n^{-s}$.
• من خلال النظر في الباقي $H = 1 - \zeta(s)^h F(s)^b$، يستفيد المؤلف من خاصية أن $H$ له دعم على الأعداد الصحيحة $> V$. وبناءً عليه، فإن $H^K$ له دعم على الأعداد الصحيحة $> V^K$.
• عبر تعويض $H$ في توسيع نيوتن ذي الحد الثنائي المبتور لـ $(1-H)^{-1/b}$، يستخلص المؤلف متطابقة دقيقة لـ $\zeta(s)^{-h/b}$ صالحة للمعاملات $n \le V^K$.
• تختار الورقة العمق $K=5$ و $V = x^{1/5}$. هذا يضمن أن المتطابقة صالحة لجميع قيم $n \le x$. المتطابقة الناتجة تعبر عن $\zeta(s)^{-h/b}$ كتركيبة خطية من التلافيف (convolutions) التي تتضمن $F$ وقوى $\zeta$. ومن الأهمية بمكان أن كل عامل "طويل" في هذه التلافيف هو قوة موجبة لـ $\zeta$ (الدالة الثابتة 1)، مما يضمن النعومة، بينما العوامل "القصيرة" محدودة بـ 1.
• بالنسبة للأسس الموجبة $z = h/b$، يتم اشتقاق المتطابقة بشكل غير مباشر عبر $\zeta(s)^{h/b} = \zeta(s) \cdot \zeta(s)^{-(b-h)/b}$، مما يحافظ على نعومة العوامل الطويلة.
• حالة الطرف النهائي $z = -1$ (دالة موبيوس) تُسترد كحالة خاصة حيث تتقلص المتطابقة إلى متطابقة هيث-براون الكلاسيكية.

2. التقدير التحليلي:
   تختزل المتطابقات المشتقة المجموع الأسي $S_z(x, \alpha)$ إلى مجموع أشكال متعددة الخطية $T_{J,L}(x, \alpha)$.

• التفكيك الثنائي (Dyadic Decomposition): يتم تحديد المتغيرات في فترات ثنائية.
• الثنائية التوافقية (Combinatorial Dichotomy): يتم تطبيق لمة "النافذة أو المتغير الطويل". لأي تكوين ثنائي بضرب $P \in (x^{4/5}, x]$، إما يمكن تجميع مجموعة فرعية من المتغيرات في "نافذة النوع الثاني" $[x^{2/5}, x^{3/5}]$، أو يكون هناك متغير واحد طويل ($> x^{3/10}$) بينما يكون ضرب بقية المتغيرات قصيراً ($< x^{7/10}$).
• التقديرات:
  • النوع الثاني (Type II): تُطبق التقديرات الثنائية عندما يتحقق شرط النافذة، مما يعطي حد $x^{4/5}$.
  • النوع الأول (Type I): عندما يوجد متغير ناعم طويل، يُعامل المجموع كـ مجموع من النوع الأول. يتجنب المؤلف الافتراض الخاطئ بأن المجموعات من النوع الأول الموزونة بدالة القاسم لا تقبل إلا فقداناً لوغاريتمياً؛ بدلاً من ذلك، يستخدم استراتيجية النطاقين:
    • بالنسبة لـ $q \le x^{3/10}$ و $q \ge x^{7/10}$، يُستخدم تقدير متوسط المربع للنوع الأول.
    • في النطاق المتوسط $x^{3/10} < q < x^{7/10}$، يُستخدم تقدير نقطي مع فقدان $x^{o(1)}$. الفجوة بين $x^{7/10}$ والهدف $x^{4/5}$ تستوعب هذا الفقدان، مما يضمن احتفاظ الحد النهائي بأس $4/5$ مع عوامل لوغاريتمية فقط.

النتائج الرئيسية

1. حدود القوس الصغير (Theorem 1.1 & 1.3):
   لأي كسر مختزل $a/b$ مع $0 < a/b < 1$، ولـ $z = \pm a/b$، تثبت الورقة أن:
   $$\sum_{n \le x} d_{\pm a/b}(n) e(n\alpha) \ll_{a,b} \left( \frac{x}{\sqrt{q}} + x^{4/5} + \sqrt{xq} \right) (\log 2x)^C$$
   لـ $|\alpha - r/q| \le 1/q^2$.

• هذا الحد يعمل دون فقدان $x^\varepsilon$، مما يطابق شكل تقدير فينوغرادوف لدالة فون لانغدت وتقديرات القوى الصحيحة المعروفة.
• يوسع Theorem 1.3 هذا ليشمل حالة الطرف النهائي $z = -1$ (دالة موبيوس) بثابت مطلق، مما يحسن التقديرات السابقة بإزالة الـ $\varepsilon$.

2. توسيع القوس الكبير (Theorem 1.5):
   للقيم الحقيقية $0 < |z| < 1$، تقدم الورقة توسيعاً للقوس الكبير لـ $S_z(x, \alpha)$ بدقة لوغاريتمية تعسفية. الحد الرئيسي يتضمن عوامل محلية $g_z(q)$ (تعميم للسلسلة المنفردة) ومعاملات مشتقة من طريقة سيلبيرج-ديلانج. الحد الخطأ هو $O(x (\log x)^{-A})$ لأي $A > 0$، وإن كان الثابت الضمني غير فعال بسبب الاعتماد على مبرهنة سيجل-والفيس.

3. الحدود الموحدة والعزوم (Theorems 1.6 & 1.7):

• الحد الأعلى (Supremum): تحدد الورقة رتبة مقدار $\sup_\alpha |S_z(x, \alpha)|$. بالنسبة لـ $z > 0$، يتحقق الحد الأعلى عند $\alpha=0$ ويكون متناسباً مع القيمة المتوسطة. بالنسبة لـ $z < 0$، يؤدي التلاشي إلى تقليل الحد الأعلى بمعامل $(\log x)^{1+|z|}$ مقارنة بنورم $\ell^1$.
• العزوم (Moments): بالنسبة لـ $z \in (-1, 1)$ العقلاني و $s > 2$ الحقيقي، تثبت الورقة صيغة تقاربية لعزوم $\int_0^1 |S_z(x, \alpha)|^s d\alpha$. الحد الرئيسي يتحدد بواسطة سلسلة منفردة تتضمن $g_z(q)$، على غرار نتيجة باندي لدوال القاسم الصحيحة. القيد $s > 2$ ضروري لأن السلسلة المنفردة تتباعد عند $s=2$.

الأهمية والادعاءات
تدعي الورقة حل الفجوة بين القوى الصحيحة والكسرية لدالة زيتا في سياق المجموعات الأسية. تكمن أهميتها الأساسية في:

• المثالية (Optimality): تحقيق الأس $x^{4/5}$ للقوى الكسرية، وهو ما كان سؤالاً مفتوحاً وعُرف سابقاً فقط في حالات محددة بحدود أضعف.
• الكفاءة (Efficiency): إزالة فقدان $x^\varepsilon$، وهو أمر حاسم للتطبيقات التي تتطلب حدود خطأ دقيقة (مثل طريقة الدائرة).
• الجدة الجبرية (Algebraic Novelty): بناء متطابقات هيث-براون منتهية للقوى الكسرية عبر متسلسلة نيوتن ذات الحد الثنائي وحجج الدعم، مما يوفر أداة جبرية جديدة للتعامل مع الأسس غير الصحيحة في جبر الدوال الحسابية.
• الفعالية (Effectivity): حدود القوس الصغير وبناء المتطابقات فعالة تماماً. عدم الفعالية في تطبيقات القوس الكبير يُعزى صراحة إلى مبرهنة سيجل-والفيس، وهو قيد قياسي في هذا المجال وليس ناتجاً عن الآليات الجديدة.

يؤكد المؤلف أن القيد على الأسس العقلانية ضروري للبناء الجبري (لأنه يعتمد على الجذر رقم $b$ لقوة صحيحة)، وأن القيد $|z| \le 1$ يضمن بقاء المعاملات القصيرة محصورة بـ 1. لا تدعي الورقة تمديد هذه النتائج إلى الأسس غير العقلية أو الأسس خارج النطاق $[-1, 1]$ دون تعديلات جوهرية.