गाउस की वृत्त समस्या 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 से कम घातांक वाली कोई सीमा सही नहीं हो सकती। अपेक्षित उत्तर, जिसे शोधपत्र हार्डी का अनुमान (Hardy’s conjecture) कहता है, यह है कि 1/4 मूलतः सही है: हर ε > 0 के लिए |E(X)| ≲ X^{1/4+ε}, जहाँ ε का अर्थ किसी भी निश्चित घात से छोटी हानि है।

उसके बाद से सब कुछ 1/2 और 1/4 के बीच के घातांक की लड़ाई रहा है। शोधपत्र की इतिहास-तालिका क़दम गिनाती है: 1906 में 1/3 के साथ सियेरपिन्स्की (Sierpiński), फिर फ़ान डेर कॉर्पुट (van der Corput), टिचमार्श (Titchmarsh), हुआ (Hua), चेन (Chen), कोलेस्निक (Kolesnik), 1988 में 7/22 के साथ इवानियेत्स (Iwaniec) और मोत्सोकी (Mozzochi), 1993 में 23/73 और 2003 में 131/416 (लगभग 0.3149) के साथ हक्सले (Huxley), फिर 2023 के एक प्रीप्रिंट में 0.3144831759… के साथ ली (Li) और यांग (Yang)।

5/16 की दहलीज़

उस प्रगति का बड़ा हिस्सा बॉम्बिएरी (Bombieri) और इवानियेत्स द्वारा बनाई गई और इवानियेत्स व मोत्सोकी द्वारा वृत्त के लिए ढाली गई एक तकनीक से आया। यह समस्या को चरघातांकी योगों (exponential sums) के आकलनों में बदल देती है, जो दो “अंतराल” (spacing) समस्याओं में सिमट जाते हैं: यह गिनना कि कुछ परिमेय सन्निकटन कितनी बार एक-दूसरे के पास आ पड़ते हैं। हक्सले ने इस विधि को सबसे आगे धकेला, और 1993 में 5/16 = 0.3125 को उस समय के रूप में बॉम्बिएरी–इवानियेत्स विधि की संभावित सीमा बताया। ली और यांग का रिकॉर्ड, जो हार्मोनिक विश्लेषण के एक नए औज़ार — गुथ (Guth) और माल्डाग (Maldague) के “स्मॉल कैप डिकपलिंग” (small cap decoupling) प्रमेय — को लाकर हासिल हुआ था, अब भी उसके ऊपर था।

शी सेन (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) के अंतराल-आकलनों से सँभाला जा सके। युग्मों की गिनती तुच्छ “विकर्ण” युग्मों जितनी छोटी निकलती है, मनमाने ढंग से छोटी हानियों तक।

बड़ी परास में नया घटक उन चरघातांकी योगों के लिए एक वितरण-आकलन है जिनकी आवृत्तियाँ एक शंकु पर हैं, जिसे गुथ और माल्डाग के एक आयाम-निर्भर आकलन से निकाला गया है। यह दो पद देता है, एक चौथी घात वाला और एक छठी घात वाला। उन्हें पहले एक ही आघूर्ण-आकलन में मिलाने के बजाय दोहरी बड़ी छलनी (double large sieve) में अलग रखना ही फ़ायदेमंद साबित होता है। शोधपत्र के अनुसार, यह वॉट (Watt) की दूसरी-अंतराल सीमा, यानी दूसरे मुख्य घटक, को मज़बूत किए बिना काम करता है।

1/4 अभी बहुत दूर

नया घातांक, 0.3119, अनुमानित 0.25 से अब भी दूर है। शोधपत्र समस्या के दूसरे पक्ष का भी सर्वेक्षण करता है — यह ज्ञात है कि त्रुटि कितनी बड़ी हो जाती है — जहाँ साउंडरराजन (Soundararajan), लामज़ौरी (Lamzouri) और अन्य के परिणाम उसके सबसे बड़े झूलों को लगातार ज़्यादा सटीकता से तय करते हैं।

यह काम 34 पृष्ठों का एक प्रीप्रिंट है। लेखक बताते हैं कि उन्होंने उपपत्ति की रणनीतियों पर चर्चा करने, तर्कों के कुछ हिस्सों का मसौदा बनाने और जाँचने, और संदर्भों को व्यवस्थित करने में ChatGPT और Codex का उपयोग किया, और हर कथन और उपपत्ति उन्होंने ख़ुद लिखी, समीक्षा की और सत्यापित की। गाउस के बिंदु-ग्रिड के लिए अब ज्ञात है कि त्रुटि लगभग X^{0.312} से तेज़ नहीं बढ़ती — और सिद्धांततः X^{0.25} तक नीचे जाने की गुंजाइश बाक़ी है।