مسألة دائرة غاوس تنزلق إلى ما دون 5/16

خذ دائرة مركزها نقطة من نقاط الشبكة على ورقة مربعات لا نهائية، وعُدّ التقاطعات الواقعة داخلها. الجواب قريب من مساحة الدائرة — لكنه لا يساويها أبدًا، لأن الحافة تقطع الشبكة بطريقة غير منتظمة. ومسألة دائرة غاوس تسأل: إلى أي حد يمكن أن يكبر هذا التفاوت؟

بترميز الورقة، القرص هو a² + b² ≤ X، حيث X هو مربع نصف القطر، فتكون مساحته πX. والتفاوت هو

E(X) = #{(a, b) ∈ ℤ² : a² + b² ≤ X} − πX

— أي عدد نقاط الشبكة (a, b) الواقعة داخله، مطروحًا منه المساحة. وكل الأسس الواردة أدناه هي قوى لـX، كما في الورقة.

من المحيط إلى الحدسية

تعطي حجة غاوس الهندسية E(X) = O(X^{1/2}): فالخطأ على الأكثر من رتبة نصف القطر، أي بحجم محيط الدائرة تقريبًا. هذا هو الحد السهل.

وعلى الطرف الآخر، أثبت هاردي (Hardy) أن الخطأ لا يكفّ عن التأرجح، في الاتجاهين، إلى قيم من رتبة X^{1/4} — فلا يمكن لأي حد بأُس أقل من 1/4 أن يصح. والجواب المتوقع، الذي تسميه الورقة حدسية هاردي، هو أن 1/4 صحيح في جوهره: |E(X)| ≲ X^{1/4+ε} لكل ε > 0، حيث تعني ε خسارة أصغر من أي قوة ثابتة.

كل ما جاء بعد ذلك كان صراعًا على الأُس بين 1/2 و1/4. ويسرد جدول التاريخ في الورقة الخطوات: سيربينسكي (Sierpiński) عام 1906 بـ1/3، ثم فان دير كوربوت (van der Corput)، وتيتشمارش (Titchmarsh)، وهوا (Hua)، وتشن (Chen)، وكولسنيك (Kolesnik)، وإيفانيتس (Iwaniec) وموتسوكي (Mozzochi) بـ7/22 عام 1988، وهكسلي (Huxley) بـ23/73 عام 1993 و131/416 (نحو 0.3149) عام 2003، ثم لي (Li) ويانغ (Yang)، في نسخة أولية عام 2023، بـ0.3144831759…

عتبة 5/16

جاء جزء كبير من هذا التقدم من تقنية بناها بومبييري (Bombieri) وإيفانيتس، وكيّفها إيفانيتس وموتسوكي لمسألة الدائرة. تحوّل هذه التقنية المسألة إلى تقديرات لمجاميع أسية، تُختزل بدورها إلى مسألتين في «التباعد» (spacing): عدّ المرات التي تقع فيها تقريبات نسبية معيّنة قريبة بعضها من بعض. ودفع هكسلي هذه الطريقة إلى أبعد مدى، واقترح عام 1993 أن 5/16 = 0.3125 قد تكون حدًّا لطريقة بومبييري–إيفانيتس بصيغتها آنذاك. أما رقم لي ويانغ القياسي، الذي تحقق بإدخال أداة حديثة من التحليل التوافقي — مبرهنة «فك الاقتران للقلنسوات الصغيرة» (small cap decoupling) لغوث (Guth) ومالداغ (Maldague) — فكان لا يزال فوقها.

والآن يُثبت شي تسن (Xi Cen) من جامعة الصين للتعدين والتكنولوجيا في بكين، وشيتاو غاو (Xitao Gao) وجونيونغ تشانغ (Junyong Zhang) من معهد بكين للتكنولوجيا، وتشنغ تشانغ (Cheng Zhang) من مركز ياو للعلوم الرياضية في جامعة تسينغهوا:

المبرهنة 1.1. لكل ε > 0 ولكل عدد حقيقي X ≥ 4، |E(X)| ≲ X^{209/670+ε}.

ويوضحون بالضبط مقدار ما يقع تحت الخط:

209/670 = 5/16 − 3/5360

أي نحو 0.31194 — بتحسين قدره 0.0025 على نتيجة لي ويانغ. صغير في حجمه، لكنه يقع على الجانب الآخر من قيمة كانت علامة لنهج بأكمله.

تحسينان ونطاقان

يقسم البرهان المعاملات المتبقية إلى نطاقين، يلتقيان بالضبط عند النقطة التي يعطي فيها كلاهما 209/670.

في النطاق الأوسط، يفكّ المؤلفون طورًا (phase) حتى الرتبة السادسة ويستخدمون مبرهنة القيمة المتوسطة لفينوغرادوف لاختزال كل شيء إلى عدّ أزواج من النقاط تتفق في معاملات تايلور الرابع والخامس والسادس. والخطوة الحاسمة هي حل هذه القيود صراحةً: إذ يُلغى الخطأ الخطي، ويبقى خطأ تربيعي صغير بما يكفي لمعالجته بمفكوك فورييه وتقديرات التباعد لروبير (Robert) وسارغو (Sargos). ويأتي عدد الأزواج صغيرًا بقدر الأزواج «القطرية» البديهية، مع خسائر صغيرة على نحو اعتباطي.

وفي النطاق الأكبر، يتمثل المكوّن الجديد في تقدير توزيعي لمجاميع أسية تقع تردداتها على مخروط، مشتق من تقدير لغوث ومالداغ يعتمد على السعة. وهو ينتج حدّين، أحدهما بقوة رابعة والآخر بقوة سادسة. وإبقاؤهما منفصلين عبر الغربال الكبير المزدوج، بدلًا من دمجهما أولًا في تقدير عزوم واحد، هو ما يؤتي ثماره. ووفقًا للورقة، ينجح ذلك من دون تقوية حد التباعد الثاني لواط (Watt)، وهو المُدخل الرئيسي الآخر.

لا يزال الطريق إلى 1/4 طويلًا

الأُس الجديد، 0.3119، لا يزال بعيدًا عن 0.25 المحدوس. وتستعرض الورقة أيضًا الوجه الآخر للمسألة — إلى أي حد يُعرف أن الخطأ يكبر — حيث تحدد نتائج ساوندراراجان (Soundararajan) ولامزوري (Lamzouri) وغيرهما أكبر تأرجحاته بدقة متزايدة.

العمل نسخة أولية من 34 صفحة. ويصرّح المؤلفون بأنهم استخدموا ChatGPT وCodex لمناقشة استراتيجيات البرهان، والمساعدة في صياغة أجزاء من الحجج والتحقق منها، وتنظيم المراجع، وبأن كل نص وبرهان كتبوه وراجعوه وتحققوا منه بأنفسهم. وبالنسبة إلى شبكة نقاط غاوس، بات معروفًا الآن أن الخطأ لا ينمو أسرع من نحو X^{0.312} — مع بقاء متسع، من حيث المبدأ، للنزول حتى X^{0.25}.