A counterexample to the Etzion-Silberstein conjecture

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

दशकों से, गणितज्ञों ने एक विशिष्ट पहेली को हल करने की कोशिश की है कि कैसे ब्लॉकों के एक फेरस डायग्राम (Ferrers diagram)—जो एक सीढ़ी या ब्लॉक के पिरामिड जैसा दिखता है—में स्विचों को व्यवस्थित किया जाए। उन्होंने एक सैद्धांतिक "गति सीमा" (speed limit) की खोज की कि किसी भी सीढ़ीनुमा आकार में सूचना कितनी मात्रा में समा सकती है बिना त्रुटि सुधारने की क्षमता खोए। इस सीमा को सिनिंगटन बाउंड (Singleton bound) कहा जाता है। 2009 में, दो प्रतिभाशाली गणितज्ञों, एत्ज़ियन और सिल्वरस्टीन ने एक साहसी अनुमान लगाया: उनका मानना था कि हर संभावित सीढ़ीनुमा आकार और हर प्रकार के त्रुटि-सुधार नियम के लिए, आप हमेशा एक "परफेक्ट कोड" बना सकते हैं जो इस गति सीमा को ठीक उसी स्तर पर छू लेता है। यह कुछ ऐसा था जैसे यह कहना कि, "चाहे स्टोरेज बॉक्स का आकार कुछ भी हो, हम हमेशा उसे बिना एक बूंद गिराए बिल्कुल किनारे तक भर सकते हैं।" यह विचार एक प्रसिद्ध अनुमान (conjecture) बन गया, जो बेहतर त्रुटि-सुधार कोड डिजाइन करने वाले शोधकर्ताओं के लिए एक मार्गदर्शक तारे की तरह काम करता था।

जितेंद्र प्रजापति का एक नया शोध पत्र आया है, जिसने धीरे से, लेकिन दृढ़ता से, उस तारे को बुझा दिया है। लेखक यह सिद्ध करता है कि एत्ज़ियन-सिल्वरस्टीन अनुमान वास्तव में गलत है। ब्लॉकों से बने एक विशिष्ट, अजीब आकार के सीढ़ीनुमा ढांचे का उपयोग करते हुए, यह पेपर दिखाता है कि आप इसे सैद्धांतिक रूप से पूरी तरह से नहीं भर सकते। अनुमानित 12 इकाइयों की जानकारी के बजाय, आप अधिकतम 11 इकाइयाँ ही रख सकते हैं। यह बिल्कुल वैसा ही है जैसे कि आप एक ऐसे सूटकेस को पैक करने की कोशिश कर रहे हैं जिसमें 12 शर्ट आनी चाहिए; आपको लग सकता है कि यह भरा हुआ है, लेकिन यदि आप 12वीं शर्ट डालने की कोशिश करेंगे, तो ज़िप बंद नहीं होगी या कपड़ा फट जाएगा। यह पेपर केवल अनुमान नहीं लगाता; यह एक विशाल, कंप्यूटर-सत्यापित गणितीय प्रमाण का उपयोग करता है ताकि यह दिखाया जा सके कि इस विशिष्ट आकार के लिए 12वीं इकाई गणितीय रूप से असंभव है।

कहानी $E$ नामक एक डायग्राम से शुरू होती है, जो एक ऐसी सीढ़ी की तरह दिखता है जिसमें पाँच ब्लॉकों वाली चार ऊँची कॉलम हैं, जिसके बाद केवल एक ब्लॉक वाली दो छोटी कॉलम हैं। खेल के नियम यह आवश्यक करते हैं कि इस डायग्राम पर आपका कोई भी "संदेश" (स्विच का पैटर्न) इतना मजबूत होना चाहिए कि वह एक निश्चित मात्रा में क्षति झेल सके, विशेष रूप से एक "न्यूनतम रैंक दूरी" (minimum rank distance) 3। इसे ऐसे समझें कि आपके प्रत्येक संदेश को इतना जटिल होना चाहिए कि किसी अन्य वैध संदेश में बदलने के लिए आपको इसके कम से कम तीन अलग हिस्सों को बदलना पड़े। पुराने सिद्धांत के आधार पर, गणित ने कहा था कि आप इस आकार में 12 स्वतंत्र संदेश फिट कर सकते हैं।

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

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

यह पेपर यहीं नहीं रुकता। यह "रो-कोन प्रोपेगेशन" (row-cone propagation) नामक एक चतुर तकनीक की भी खोज करता है। कल्पना कीजिए कि आप अपने असफल 12-ब्लॉक वाले सीढ़ीनुमा ढांचे में ऊपर एक नई परत जोड़ते हैं, और फिर बगल में कुछ और ब्लॉक जोड़ते हैं। पेपर दिखाता है कि यदि आप मूल आकार को पूरी तरह से नहीं भर सकते, तो आप इन नए, बड़े आकारों को भी पूरी तरह से नहीं भर सकते। इसका मतलब है कि यह विफलता केवल एक बार की घटना नहीं है; यह जटिलता के हर स्तर पर होती है। 3 या उससे अधिक की किसी भी न्यूनतम दूरी के लिए, एक ऐसा सीढ़ीनुमा आकार मौजूद है जहाँ सैद्धांतिक सीमा 12 है, लेकिन वास्तविक सीमा 11 पर अटकी हुई है।

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