A proof of the Freiman-Lev conjecture

कल्पना कीजिए कि आप एक जासूस हैं जो इस रहस्य को सुलझाने की कोशिश कर रहे हैं कि संख्याएँ आपस में कैसे मिलती हैं। गणित की दुनिया में, "एडिटिव नंबर थ्योरी" (additive number theory) नामक एक शाखा है, जो मूल रूप से इस बात का अध्ययन है कि क्या होता है जब आप संख्याओं के एक समूह को लेते हैं और उन्हें जोड़ना शुरू करते हैं। यदि आपके पास संख्याओं का एक सेट है, जैसे $\{1, 3, 5\}$, और आप हर संभावित जोड़े को जोड़ते हैं, तो आपको योगों का एक नया संग्रह प्राप्त होता है: $\{1+3, 1+5, 3+5\} = \{4, 6, 8\}$। गणितज्ञ इस नए संग्रह को "समसेट" (sumset) कहते हैं।

लेकिन यहाँ एक मोड़ है: क्या होगा यदि आपको केवल अलग-अलग संख्याओं को जोड़ने की अनुमति हो? आप एक संख्या को स्वयं में नहीं जोड़ सकते (तो $1+1$ या $3+3$ नहीं)। यह एक ऐसी पार्टी की तरह है जहाँ हर किसी को एक साथी के साथ नृत्य करना है, लेकिन किसी को भी खुद के साथ नृत्य करने की अनुमति नहीं है। इससे एक "रिस्ट्रिक्टेड समसेट" (restricted sumset) बनता है। गणितज्ञ दशकों से एक सवाल पूछ रहे हैं: "यदि मेरे पास मेहमानों (पूर्णांकों) की एक विशिष्ट संख्या है, तो मैं कितने अद्वितीय नृत्य जोड़े (योग) होने की गारंटी दे सकता हूँ?"

लंबे समय तक, मानक "नृत्य" (जहाँ स्वयं के साथ नृत्य करना अनुमत है) के लिए एक प्रसिद्ध नियम था, लेकिन "स्वयं के साथ नृत्य न करने वाला" संस्करण बहुत अधिक कठिन था। यह निकलकर आया कि मूल संख्याओं की संरचना बहुत मायने रखती है। यदि संख्याएँ एक साथ सघन रूप से पैक की गई हैं, तो आपको कम अद्वितीय योग प्राप्त होते हैं। यदि वे फैली हुई हैं, तो आपको अधिक योग प्राप्त होते हैं। वर्षों तक, गणितज्ञों के पास एक बहुत मजबूत अनुमान था—एक "कन्जेक्चर" (conjecture)—कि आप अपने संख्याओं के कितने अद्वितीय योग प्राप्त कर सकते हैं, चाहे आप उन्हें कैसे भी व्यवस्थित करें, जब तक कि वे कुछ बुनियादी नियमों (जैसे कि 1 के अलावा कोई अन्य सामान्य भाजक न होना) का पालन करते हों। यह अनुमान "फ्रीमैन-लेव कन्जेक्चर" (Freiman-Lev conjecture) के रूप में जाना जाता था। यह एक मानचित्र की तरह था जो एक पर्वत श्रृंखला में सबसे निचले घाटी को दिखाता था, लेकिन उसमें एक छोटा सा, धुंधला शिखर था जहाँ कोई भी सुनिश्चित नहीं हो सका कि क्या घाटी और भी नीचे जा सकती है।

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

प्रमाण की कहानी

यह समझने के लिए कि लेखकों ने क्या किया, कल्पना कीजिए कि आपके पास $k$ पूर्णांकों का एक सेट है, जिसे हम "मेहमानों की सूची" कहेंगे। मान लीजिए कि सबसे छोटा मेहमान 0 है और सबसे बड़ा मेहमान कोई बड़ी संख्या $l$ है। लेखक "रिस्ट्रिक्टेड समसेट" में रुचि रखते हैं, जो उन सभी योगों का संग्रह है जिन्हें आप सूची से दो अलग-अलग मेहमानों को जोड़कर बना सकते हैं।

लंबे समय तक, गणितज्ञों को पता था कि यदि मेहमानों की सूची "सघन" (dense) है (संख्याएँ पास-पास हैं), तो योगों की संख्या अपेक्षाकृत कम होती है। लेकिन यदि सूची "विरल" (sparse) है (संख्याएँ दूर-दूर हैं), तो योगों की संख्या बढ़ती है। फ्रीमैन-लेव कन्जेचर ने एक विशिष्ट सूत्र प्रस्तावित किया था कि आप कितनी न्यूनतम संख्या में योग प्राप्त कर सकते हैं, जो इस बात पर निर्भर करता है कि सबसे बड़ी संख्याएँ कितनी फैली हुई हैं।

सूत्र कहता है:

• यदि संख्याएँ मजबूती से पैक की गई हैं (विशेष रूप से, यदि सबसे बड़ी संख्या $l$, $2k - 5$ के बराबर या उससे कम है), तो योगों की संख्या कम से कम $l + k - 2$ है।
• यदि संख्याएँ अधिक फैली हुई हैं (यदि $l$, $2k - 4$ के बराबर या उससे अधिक है), तो योगों की संख्या कम से कम $3k - 7$ है।

कठिन हिस्सा दूसरा मामला था। वर्षों तक, गणितज्ञ लगभग हर स्थिति के लिए इस निचली सीमा (lower bound) को सिद्ध कर सकते थे, लेकिन एक विशिष्ट, जिद्दी परिदृश्य था जहाँ गणित जटिल हो गया था। यह तब हुआ जब सूची में दूसरे-से-अंतिम नंबर ($a_{k-2}$) कम से कम $2k - 4$ था और बिल्कुल अंतिम नंबर ($a_{k-1}$) कम से कम $2k - 2$ था। यह एक ऐसा जिग्सॉ पहेली (jigsaw puzzle) को हल करने जैसा था जहाँ आपके पास सभी टुकड़े थे सिवाय उस एक के जो बिल्कुल केंद्र में फिट बैठता था।

वेंग और टेंग का शोध पत्र, जिसका शीर्षक "ए प्रूफ ऑफ द फ्रीमैन-लेव कन्जेक्चर" (A proof of the Freiman-Lev conjecture) है, इसी अंतिम, सबसे चुनौतीपूर्ण मामले को संबोधित करता है। उन्होंने केवल संख्याओं को नहीं देखा; उन्होंने सेट के "आकार" का विश्लेषण किया। उन्होंने "गैप सेट्स" (संख्याएँ जो सूची में गायब हैं) और "लोकलली डेंस सेट्स" (ऐसे समूह जहाँ संख्याएँ शुरुआत में सघन रूप से पैक की गई हैं) का उपयोग करते हुए एक चतुर रणनीति का उपयोग किया।

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

उन्होंने विशिष्ट पैटर्न का परीक्षण किया, जैसे कि जब सेट में संख्याएँ एक नियम का पालन करती हैं जैसे $a_i < 2i$ (अर्थात $i$-वीं संख्या उसकी स्थिति के दोगुने से कम है)। उन्होंने दिखाया कि यहाँ तक कि इन जटिल, "लोकलली डेंस" स्थितियों में भी, योगों की संख्या कभी भी $3k - 7$ से नीचे नहीं गिरती है। उन्होंने यह भी देखा कि क्या होता है जब आप संख्याओं के एक सघन समूह को सूची के अंत में कुछ बहुत बड़ी संख्याएँ जोड़ते हैं। उन्होंने सिद्ध किया कि इन बड़ी संख्याओं को जोड़ने से योगों की संख्या बढ़ जाती है, जिससे यह सुनिश्चित होता है कि न्यूनतम सीमा कभी भंग न हो।

इन संरचनात्मक अंतर्दृष्टि को सावधानीपूर्वक तार्किक तर्कों के साथ जोड़कर, उन्होंने प्रदर्शित किया कि आप अपनी संख्याओं को कैसे भी व्यवस्थित करें (जब तक कि वे बुनियादी मानदंडों को पूरा करती हों), आप ऐसी स्थिति नहीं बना सकते जहाँ अनूठे योगों की संख्या $3k - 7$ से कम हो जाए जब संख्याएँ पर्याप्त रूप से फैली हुई हों।

निष्कर्ष

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

यहाँ कोई "शायद" या "संभवतः" वाले बयान नहीं हैं। लेखकों ने एक पूर्ण प्रमाण प्रदान किया है। उन्होंने केवल एक पैटर्न का सुझाव नहीं दिया; उन्होंने दिखाया है कि नियम को तोड़ने का कोई भी प्रयास एक तार्किक विरोधाभास की ओर ले जाता है। रिस्ट्रिक्टेड समसेट के न्यूनतम आकार का रहस्य आधिकारिक तौर पर सुलझ गया है, जिससे दशकों से गणितज्ञों को उलझाने वाली समस्या का अध्याय बंद हो गया है। "धुंधला शिखर" अब साफ हो गया है, और मानचित्र अब पूर्ण है।