Exact certification of a positive-order Rényi additivity violation for an explicit channel pair

क्वांटम सूचना की विचित्र और प्रति-सहज दुनिया में, वैज्ञानिक इस बात का अध्ययन करते हैं कि सबसे छोटे संभव कंटेनरों में कितनी जानकारी भरी जा सकती है। दशकों से एक केंद्रीय प्रश्न यह रहा है कि क्या दो अलग-अलग क्वांटम प्रणालियों को मिलाने से वे व्यक्तिगत रूप से जो रख सकती थीं, उसके योग से अधिक जानकारी रख पाती हैं। लंबे समय तक, शोधकर्ताओं का मानना था कि सूचना क्षमता पूरी तरह से योगात्मक (additive) होती है: दो प्रणालियाँ मिलकर उनके हिस्सों के योग के बराबर ही होती हैं। हालाँकि, यह विश्वास तब टूट गया जब यह खोजा गया कि कुछ प्रकार के क्वांटम चैनलों, या सूचना के मार्गों के लिए, संयुक्त प्रणाली साधारण योग की तुलना में वास्तव में अधिक कुशल हो सकती है। यह घटना, जिसे 'योगात्मकता का उल्लंघन' (violation of additivity) कहा जाता है, यह दर्शाती है कि एंटैंगल्ड इनपुट—जहाँ दो प्रणालियाँ इस तरह जुड़ी होती हैं जिसका कोई शास्त्रीय समकक्ष नहीं होता—छिपे हुए भंडारण क्षमता को अनलॉक कर सकते हैं। जबकि यह उल्लंघन एक विशिष्ट गणितीय सीमा पर सिद्ध किया गया था, लेकिन उस सीमा के ठीक ऊपर के मानों के दायरे के लिए एक अनिश्चितता बनी हुई थी, जहाँ संख्यात्मक सिमुलेशन ने उल्लंघन का संकेत तो दिया था लेकिन उनके पास कोई कठोर, अटूट प्रमाण नहीं था।

पर्सीवियो लिमिटेड के आर्टस क्रोन-ग्रिमबेग द्वारा किए गए एक नए अध्ययन ने अंततः इस अंतराल को एक विशिष्ट, सुप्रसिद्ध जोड़ी क्वांटम चैनलों के लिए भर दिया है। शोधकर्ता एक पूरी तरह से सत्यापित, कंप्यूटर-जांच योग्य प्रमाण प्रदान करते हैं कि ये दो चैनल शून्य से लेकर एक विशिष्ट बिंदु तक के मानों की एक निरंतर श्रेणी के लिए योगात्मकता के नियम का उल्लंघन करते हैं। पिछले कार्यों के विपरीत, जो संख्यात्मक सन्निकटन (approximations) पर निर्भर थे या बिना किसी कठोर गणितीय सीमा के उल्लंघन का सुझाव देते थे, यह शोध पत्र एक सत्य का प्रमाण पत्र (certificate of truth) प्रदान करता है। यह संख्याओं और मैट्रिसेस (matrices) के एक सेट का उपयोग करता है जिन्हें कोई भी बुनियादी कंप्यूटर प्रोग्राम चलाकर तुरंत परिणाम सत्यापित कर सकता है। यह प्रमाण पुष्टि करता है कि एक बाईसवें (1/22) के हर वास्तविक क्रम के लिए, इन दो विशिष्ट चैनलों की संयुक्त प्रणाली प्रत्येक के व्यक्तिगत न्यूनतमों के योग से कम एंट्रॉपी (एन्ट्रॉपी—अव्यवस्था या अनिश्चितता का एक माप) उत्पन्न करती है। इसका अर्थ है कि ये चैनल अलग होने की तुलना में साथ मिलकर वास्तव में अधिक कुशल हैं, और यह तथ्य अब केवल मजबूत संख्यात्मक साक्ष्य के बजाय पूर्ण गणितीय निश्चितता के साथ स्थापित हो गया है।

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

सत्यापन प्रक्रिया पारदर्शी और अचूक बनाने के लिए डिज़ाइन की गई है। गणना का प्रत्येक चरण पूर्णांकों (whole numbers) की तुलना में बदल जाता है, जिससे त्रुटि उत्पन्न कर सकने वाले किसी भी फ्लोटिंग-पॉइंट सन्निकटन की आवश्यकता समाप्त हो जाती है। शोधकर्ता ने सीमाओं को निर्धारित करने के लिए आवश्यक विशिष्ट मैट्रिसेस खोजने के लिए एक एआई-सहायता प्राप्त खोज (AI-assisted search) का उपयोग किया, लेकिन प्रमाण स्वयं उस खोज पर निर्भर नहीं है। इसके बजाय, यह पूरी तरह से प्रिंट किए गए प्रमाण पत्र पर निर्भर है: कुछ छोटे मैट्रिसेस और परिमेय संख्याओं की एक सूची। दो स्वतंत्र रूप से लिखे गए कंप्यूटर प्रोग्रामों ने प्रत्येक दावे की जाँच की। एक प्रोग्राम सटीक गणितीय क्षेत्रों (exact mathematical fields) के साथ काम करता था, जबकि दूसरे ने पेपर के मुद्रित पाठ से डेटा को पुनर्गठित किया और प्रत्येक मान को सुरक्षित अंतरालों (safe intervals) में रखा। दोनों प्रोग्रामों ने पुष्टि की कि असमानताएँ सत्य हैं और विशिष्ट इनपुट अनुमानित परिणाम उत्पन्न करता है। यह दोहरी सत्यापन प्रक्रिया सुनिश्चित करती है कि निष्कर्ष किसी एकल सॉफ़्टवेयर बग या संख्यात्मक गड़बड़ी का परिणाम नहीं है।

यह अध्ययन अपने स्वयं के सीमित दायरे को परिभाषित करने में सावधान है। शोधकर्ता यह दावा नहीं करते हैं कि उन्होंने वह पूर्ण अधिकतम बिंदु खोज लिया है जहाँ उल्लंघन समाप्त होता है, न ही वे उस पूर्ण इनपुट का दावा करते हैं जो सभी मामलों के लिए एंट्रॉपी को कम करता है। प्रमाण एक गारंटीकृत अंतराल स्थापित करता है जहाँ उल्लंघन निश्चित है, लेकिन यह स्वीकार करता है कि उल्लंघन संभवतः आगे भी बना रहता है, शायद लगभग 0.11 के मान तक जैसा कि पहले के संख्यात्मक कार्य द्वारा सुझाया गया था। वर्तमान पद्धति एक बाईसवें (1/22) पर रुक जाती है क्योंकि प्रमाण में उपयोग की गई सीमाएँ नए गणितीय उपकरणों के बिना आगे जाने के लिए पर्याप्त तीक्ष्ण (sharp) नहीं हैं। फिर भी, यह उपलब्धि महत्वपूर्ण है क्योंकि यह इस प्रसिद्ध उदाहरण के लिए पहला मुद्रित, स्वतंत्र रूप से सत्यापन योग्य एंडपॉइंट प्रदान करती है। यह एक परिणाम को जो कभी "संख्यात्मक सुझाव" था, उसे "कठोर तथ्य" में बदल देता है, जिससे वैज्ञानिक समुदाय को एक ठोस आधार मिलता है।

यह कार्य उन जटिल गणनाओं के युग में सटीक सत्यापन की शक्ति के प्रमाण के रूप में खड़ा है जो अक्सर ब्लैक-बॉक्स सिमुलेशन पर निर्भर करती हैं। समस्या को पूर्णांक तुलनाओं की एक श्रृंखला में बदलकर और कच्चा डेटा प्रदान करके जिसे कोई भी जांच सकता है, यह शोध पत्र क्वांटम सूचना सिद्धांत में एक लंबे समय से चले आ रहे प्रश्न से संदेह को हटा देता है। यह पुष्टि करता है कि इस विशिष्ट जोड़ी चैनलों के लिए, क्वांटम दुनिया शास्त्रीय सहजता को चुनौती देना जारी रखती है, जो अपने हिस्सों के योग से स्पष्ट रूप से अधिक दक्षता प्रदान करती है, और यह एक ऐसी निश्चितता के स्तर के साथ करती है जिसे हाथ से या एक सरल स्क्रिप्ट द्वारा जांचा जा सकता है। परिणाम एक स्पष्ट, स्पष्ट पुष्टि है कि योगात्मकता का उल्लंघन केवल एक संख्यात्मक जिज्ञासा नहीं है, बल्कि एक परिभाषित सीमा के भीतर एक मजबूत गणितीय वास्तविकता है।