Counterexamples of Friedlander--Iwaniec dual sums conjecture

कल्पना कीजिए कि आप ब्लॉकों से एक मीनार बनाने के तरीकों की गिनती करने की कोशिश कर रहे हैं। संख्याओं की दुनिया में, यह पूछने जैसा है कि: "मैं एक विशिष्ट परिणाम प्राप्त करने के लिए पूर्ण संख्याओं को कितनी अलग-अलग तरीकों से गुणा कर सकता हूँ?" उदाहरण के लिए, संख्या 12 को $3 \times 4$, $2 \times 6$, या $1 \times 12$ द्वारा बनाया जा सकता है। गणितज्ञ इन्हें "डिविसर फंक्शन्स" (divisor functions) कहते हैं, और ये एनालिटिक नंबर थ्योरी (analytic number theory) नामक एक विशाल, रहस्यमय परिदृश्य के निर्माण खंड हैं।

इस परिदृश्य में नेविगेट करने के लिए, वैज्ञानिक "डिरिचलेट सीरीज़" (Dirichlet series) नामक शक्तिशाली उपकरणों का उपयोग करते हैं। इन्हें ऐसे शक्तिशाली दूरबीनों के रूप में सोचें जो संख्याओं के एक अस्त-व्यस्त ढेर को एक सुचारू, बहती हुई लहर में बदल देते हैं। जब आप इस दूरबीन के माध्यम से इन लहरों को देखते हैं, तो वे अक्सर एक सख्त नियम का पालन करती हैं जिसे "फंक्शनल इक्वेशन" (functional equation) कहा जाता है, जो एक दर्पण की तरह कार्य करता है: यदि आप लहर को पलट देते हैं, तो यह लगभग वैसी ही दिखती है, बस संख्याओं को आपस में बदल दिया जाता है। यह दर्पण का कमाल इतना उपयोगी है कि यह गणितज्ञों को यह अनुमान लगाने की अनुमति देता है कि दूर की दूरी में संख्याएँ कैसे व्यवहार करती हैं, भले ही वे उन्हें एक-एक करके न गिन सकें।

लंबे समय तक, जॉन फ्रीडलैंडर और हेनरी इवानेक सहित बुद्धिमान गणितज्ञों के एक समूह ने इन लहरों के बारे में एक साहसी विचार प्रस्तावित किया। उन्होंने सुझाव दिया कि यदि आप इस लहर के एक विशिष्ट, ऊबड़-खाबड़ हिस्से (एक "डुअल सम") को देखते हैं, तो वह ऊबड़-खाबड़पन खुद को पूरी तरह से रद्द कर देना चाहिए। उन्होंने भविष्यवाणी की कि चाहे आप कितना भी ज़ूम इन करें या कितनी भी संख्याएँ गिनें, बचा हुआ "शोर" इतना छोटा होगा कि वह व्यावहारिक रूप से गायब हो जाएगा। यह एक सुंदर, सुरुचिपूर्ण अनुमान था जिसने गणित की कुछ सबसे कठिन पहेलियों को सरल बनाने का वादा किया था।

लेकिन इस शोध पत्र में, एक गणितज्ञ खई-होन न्गुयेन-डांग (Khai-Hoan Nguyen-Dang) एक वास्तविकता की जाँच के साथ आगे आते हैं। प्रसिद्ध रीमैन ज़ेटा फंक्शन के स्वयं के गुणनफल (जिसे $\zeta(s)^m$ के रूप में लिखा जाता है) के रूप में एक विशिष्ट प्रकार की संख्या मीनार का उपयोग करके, लेखक एक ऐसी स्थिति का निर्माण करते हैं जहाँ वह सुंदर रद्दीकरण (cancellation) बिल्कुल नहीं होता है। महत्वपूर्ण रूप से, यह विफलता चार या अधिक परतों वाली मीनारों ($m \ge 4$) के लिए होती है, लेकिन विफलता का विशिष्ट तरीका मीनार की ऊंचाई पर निर्भर करता है। $m=4$ के लिए, प्रति-उदाहरण (counterexample) एक विशिष्ट सीमा की स्थितियों के तहत काम करता है। हालाँकि, $m=5$ या $m=6$ वाली ऊंची मीनारों के लिए, लेखक सिद्ध करते हैं कि भविष्यवाणी और भी व्यापक रूप से विफल होती है, जिसमें वे संख्याएँ भी शामिल हैं जिनका आमतौर पर अध्ययन किया जाता है। गायब होने के बजाय, शोर वास्तव में बहुत तेज़ और निरंतर होता है। यह पत्र सिद्ध करता है कि इन विशिष्ट बड़ी संख्याओं के लिए, "ऊबड़-खाबड़पन" वास्तव में एक विशाल, अनुमानित लहर है जो गायब होने से इनकार करती है। यह केवल एक छोटी त्रुटि नहीं है; यह भविष्यवाणी में एक मौलिक दरार है, जो दिखाती है कि फ्रीडलैंडर और इवानेक द्वारा प्रस्तावित सुरुचिपूर्ण नियम इन विशिष्ट, जटिल संख्या मीनारों के लिए लागू नहीं होता है जब पैरामीटर एक विशिष्ट सीमा के लिए ट्यून किए गए हों।

एक जिद्दी लहर की कहानी

आइए इस खोज के तंत्र में उतरें। कल्पना कीजिए कि आप गायकों के एक समूह (choir) को सुन रहे हैं, जहाँ प्रत्येक गायक एक संख्या का प्रतिनिधित्व करता है। फ्रीडलैंडर-इवानेक की दुनिया में, गायक एक पंक्ति में व्यवस्थित होते हैं, और उनसे अपेक्षा की जाती है कि वे एक ऐसा गीत गाएं जो खुद को रद्द कर दे। गीत की एक विशिष्ट लय है, और गणितज्ञों का मानना था कि यदि वे गीत को किसी भी बिंदु पर रोक दें, तो शेष ध्वनि केवल एक फुसफुसाहट होगी।

न्यूयेन-डांग ने इसे एक बहुत ही विशिष्ट समूह चुनकर परखने का निर्णय लिया: "डिविसर कॉयर", जहाँ प्रत्येक गायक एक ऐसी संख्या है जिसे कई तरीकों से बनाया जा सकता है (जैसे संख्या 12, जिसके कई गुणनखंड संयोजन हैं)। उन्होंने एक विशेष प्रयोग सेट किया जहाँ उन्होंने गीत की लय को गायकों की प्राकृतिक आवृत्ति (natural frequency) से मेल खाने के लिए ट्यून किया।

यहाँ एक चाल है: उन्होंने समय का एक विशिष्ट क्षण (एक विशिष्ट मान $x$ के लिए) चुना जहाँ पंक्ति के अंतिम कुछ गायक एक ही समय में बिल्कुल एक ही ऊँची स्वरलहरी (high note) लगा रहे थे। यह केवल तभी काम करता है जब गायकों की कुल संख्या और प्रयोग के "ज़ूम लेवल" के बीच का संबंध एक विशिष्ट नियम (गणितीय रूप से पैरामीटर $a$ द्वारा परिभाषित) का पालन करता है। क्योंकि गायक (संख्याएँ) सभी धनात्मक हैं और स्वर पूरी तरह से संरेखित हैं, वे एक-दूसरे को रद्द नहीं कर पाए; बल्कि वे एक के ऊपर एक जमा हो गए! यह एक स्टेडियम वेव की तरह है जहाँ हर कोई ठीक उसी सेकंड में खड़ा हो जाता है—प्रभाव बहुत बड़ा है, न कि सूक्ष्म।

शोध पत्र दिखाता है कि इन विशिष्ट संख्या मीनारों (के लिए $m \ge 4$) के लिए, आप हमेशा एक क्षण पा सकते हैं जहाँ गीत का अंतिम हिस्सा (एंडपॉइंट) पूरी तरह से सिंक्रोनाइज़्ड होता है, बशर्ते आप सही पैरामीटर चुनें। जब ऐसा होता है, तो संख्याओं का योग शून्य तक नहीं सिकुड़ता। इसके बजाय, यह गायकों की संख्या की एक शक्ति (power) के समान बढ़ता है। गणित की भाषा में, इसका अर्थ है कि मान गायकों की संख्या के एक पावर के समानुपाती है, न कि एक नगण्य कण के।

लेखक इसे एक चतुर गणितीय निर्माण के साथ सिद्ध करते हैं। वह दिखाते हैं कि गायकों की किसी भी बड़ी संख्या $N$ के लिए, वह लय को इस तरह समायोजित कर सकते हैं कि अंतिम $H$ गायक (जहाँ $H$ कुल का एक महत्वपूर्ण हिस्सा है) पूरी तरह से सामंजस्य में गा रहे हों। क्योंकि प्रत्येक गायक का "वॉल्यूम" कम से कम 1 है, इस अंतिम ब्लॉक का कुल वॉल्यूम बहुत अधिक है। यह विशाल ब्लॉक गीत के दो थोड़े अलग रुकने के बिंदुओं के बीच का अंतर है। यदि पूरा गीत एक फुसफुसाहट होना चाहिए था, तो इसका एक हिस्सा गर्जना कैसे हो सकता है? यह नहीं हो सकता। इसलिए, यह भविष्यवाणी कि पूरा गीत एक फुसफुसाहट है, गलत है।

निर्णय

यह शोध पत्र उन विशिष्ट प्रकार की संख्या मीनारों के लिए फ्रीडलैंडर और इवानेक द्वारा की गई विशिष्ट भविष्यवाणी को एक स्पष्ट, कठोर "ना" देता है जब मीनार में चार या अधिक परतें ($m \ge 4$) हों और प्रयोग को एक विशिष्ट पैरामीटर रेंज के भीतर सेट किया गया हो। यह केवल यह सुझाव नहीं देता कि भविष्यवाणी थोड़ी गलत हो सकती है; यह एक गणितीय प्रमाण निर्मित करता है कि भविष्यवाणी विफल हो जाती है। लेखक दिखाते हैं कि $\zeta(s)^m$ (जहाँ $m$ 4 या उससे अधिक है) से बनी संख्या मीनारों के लिए, हमेशा ऐसे क्षण होते हैं जहाँ "डुअल सम" बड़ा और शक्तिशाली होता है, जो इस विचार को चुनौती देता है कि इसे छोटा होना चाहिए। विशेष रूप से, जबकि $m=4$ के लिए प्रति-उदाहरण के लिए एक सावधानीपूर्वक सेटअप की आवश्यकता होती है, यह पत्र सिद्ध करता है कि $m=5$ और $m=6$ के लिए, भविष्यवाणी उन मानक संख्याओं की रेंज में भी विफल हो जाती है जिन पर गणितज्ञ आमतौर पर भरोसा करते हैं।

इसका मतलब यह नहीं है कि संख्या सिद्धांत का पूरा क्षेत्र टूट गया है। इसका मतलब सिर्फ यह है कि इस एक विशिष्ट, सुरुचिपूर्ण नियम की एक सीमा है। यह वैसा ही है जैसे यह पता चलना कि एक पुल कारों के लिए पूरी तरह सुरक्षित है, लेकिन यदि आप एक निश्चित गति पर भारी ट्रक चलाते हैं, तो यह जोर-जोर से हिलने लगेगा। पुल अभी भी कारों के लिए काम करता है, लेकिन "हिलने के बिना" वाला नियम सार्वभौमिक नहीं है।

यह शोध पत्र कठोर और निर्णायक है। यह कंप्यूटर सिमुलेशन या अनुमानों पर निर्भर नहीं है; यह तार्किक चरणों का उपयोग करके यह सिद्ध करने के लिए है कि योग में "शोर" वास्तव में एक "सिग्नल" है जिसे अनदेखा नहीं किया जा सकता है। इन "प्रति-उदाहरणों" को खोजकर, लेखक गणितज्ञों को इन जटिल योगों को संभालने के तरीके पर पुनर्विचार करने के लिए मजबूर करते हैं। एक एकल, सरल नियम का सपना कि हर प्रकार की संख्या मीनार के लिए सारा शोर गायब हो जाएगा, टूट गया है, कम से कम इन विशिष्ट, महत्वपूर्ण संख्याओं के लिए। इन संख्याओं को समझने की यात्रा जारी है, लेकिन अब हम जानते हैं कि पथ अधिक ऊबड़-खाबड़ है और लहरें हमारी पिछली सोच की तुलना में अधिक तेज़ हैं।