⚛️ quantum physics

The quantum supremum of the $I_{3322}$ Bell inequality is not attained in finite dimension

यह शोध पत्र सिद्ध करता है कि $I_{3322}$ बेल असमानता (Bell inequality) का क्वांटम सुप्रीमम (quantum supremum) किसी भी परिमित-विमीय रणनीति (finite-dimensional strategy) द्वारा प्राप्त करने योग्य नहीं है, जो यह प्रदर्शित करता है कि परिमित-विमीय क्वांटम सहसंबंधों (quantum correlations) का समुच्चय $(3,3,2,2)$ परिदृश्य में बंद (closed) नहीं है और अधिकतम मान तक पहुँचने के लिए अनबाउंड स्थानीय विमाओं (unbounded local dimensions) की आवश्यकता होती है।

मूल लेखक: Jef Pauwels

प्रकाशित 2026-09-01

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Jef Pauwels

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

क्वांटम भौतिकी की विचित्र और प्रतितुल्य (counterintuitive) दुनिया में, कण इस तरह से जुड़े हो सकते हैं जो रोजमर्रा के अनुभवों के नियमों को चुनौती देते हुए प्रतीत होते हैं। 'एंटैंगलमेंट' (entanglement) नामक यह घटना दो अलग-थलग वस्तुओं को एक ही अस्तित्व साझा करने की अनुमति देती है, जहाँ एक का मापन तुरंत दूसरे के बारे में जानकारी प्रकट कर देता है, चाहे वे एक-दूसरे से कितनी भी दूर क्यों न हों। वैज्ञानिकों ने लंबे समय से गणितीय परीक्षणों का उपयोग किया है, जिन्हें 'बेल इनइक्वालिटीज' (Bell inequalities) कहा जाता है, ताकि यह जांचा जा सके कि ये संबंध वास्तव में क्वांटम हैं या इन्हें छिपे हुए, शास्त्रीय (classical) नियमों द्वारा समझाया जा सकता है। ये परीक्षण एक सीमा रेखा की तरह कार्य करते हैं: यदि परिणाम एक तरफ रहते हैं, तो दुनिया शास्त्रीय व्यवहार करती है; यदि वे दूसरी ओर पार कर जाते हैं, तो ब्रह्मांड वास्तव में क्वांटम तरीके से व्यवहार कर रहा होता है। दशकों से, भौतिकविदों ने यह सोचने में समय बिताया है कि क्या इन क्वांटम संबंधों को कितनी मजबूती से परखा जा सकता है। विशेष रूप से, उन्होंने पूछा कि क्या इन परीक्षणों के लिए एक अधिकतम संभव स्कोर है जिसे सीमित क्वांटम संसाधनों के साथ प्राप्त किया जा सकता है, या क्या सर्वोत्तम संभव स्कोर एक सैद्धांतिक शिखर है जिसे केवल अनंत संसाधनों का उपयोग करके ही छुआ जा सकता है।

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

पॉवेल्स ने अब सिद्ध कर दिया है कि पाल और वर्टेसी दोनों बातों पर सही थे। यह अध्ययन प्रदर्शित करता है कि इस परीक्षण के लिए उच्चतम संभव स्कोर वास्तव में वही विशिष्ट संख्या है, लेकिन यह यह भी सिद्ध करता है कि सीमित आयामों (dimensions) से निर्मित कोई भी क्वांटम रणनीति इसे कभी प्राप्त नहीं कर सकती। इस सीमा तक पहुँचने के लिए, आपको एक अनबाउंड (unbounded), या अनंत स्थानीय आयाम वाले सिस्टम की आवश्यकता होगी। यह खोज महत्वपूर्ण है क्योंकि यह हमारे क्वांटम सहसंबंधों (correlations) की समझ में एक मौलिक अंतर को प्रकट करती है। यह दिखाता है कि सीमित क्वांटम प्रणालियों से प्राप्त सभी संभावित परिणामों का सेट "बंद" (closed) नहीं है, जिसका अर्थ है कि वहाँ ऐसे 'लिमिट पॉइंट्स' हैं जिनके अत्यंत निकट प्रणालियाँ पहुँच सकती हैं लेकिन उन्हें वास्तव में छू नहीं सकतीं। तीन सेटिंग्स और प्रत्येक व्यक्ति के लिए दो परिणामों वाले विशिष्ट परिदृश्य में, यह वह सबसे छोटा सेटअप है जहाँ यह विचित्र व्यवहार होता है।

यह प्रमाण किसी जटिल क्वांटम समस्या को सरल और अधिक प्रबंधनीय रूप में अनुवादित करने की पद्धति पर आधारित है। शोधकर्ता ने एलिस और बॉब द्वारा उपयोग की जाने वाली किसी भी संभावित रणनीति को एक संभाव्यता ग्रिड (grid of probabilities) पर मैप किया, जो यह वर्णन करता है कि उनके माप सेटिंग एक-दूसरे से कैसे संबंधित हैं। यह ग्रिड एक छत (ceiling) के रूप में कार्य करता है, जो उनके द्वारा प्राप्त किए जा सकने वाले स्कोर पर एक ऊपरी सीमा प्रदान करता है। अध्ययन ने दिखाया कि पाल और वर्टेसी द्वारा खोजी गई रणनीतियाँ, जो कनेक्शनों के दोहराव वाले पैटर्न का उपयोग करती हैं, इस छत की ओर बढ़ने का सबसे कुशल तरीका हैं। जैसे-जैसे क्वांटम सिस्टम का आकार बढ़ता है, ये रणनीतियाँ सीमा के करीब पहुँचती जाती हैं। हालाँकि, सीमा को सटीक रूप से छूने के लिए आवश्यक गणितीय स्थितियाँ क्वांटम अवस्था को असंभव रूप से 'नॉर्मलाइज़' (normalize) कर देंगी, जिसका अर्थ है कि उस अवस्था को अस्तित्व में रहने के लिए अनंत ऊर्जा या संभाव्यता की आवश्यकता होगी। इसलिए, पूर्ण स्कोर एक ऐसा क्षितिज है जिसका पीछा सीमित प्रणालियाँ कर सकती हैं लेकिन उसे पकड़ नहीं सकतीं।

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

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

तकनीकी सारांश: I3322 बेल असमानता (Bell Inequality) का क्वांटम सुप्रीमम (Quantum Supremum) परिमित आयाम (Finite Dimension) में प्राप्त नहीं होता है

समस्या विवरण
यह शोध पत्र क्वांटम गैर-स्थानीयता (quantum nonlocality) के एक मौलिक प्रश्न को संबोधित करता है: क्या प्रत्येक बेल असमानता के पास एक परिमित-आयामी हिल्बर्ट स्पेस (Hilbert space) के भीतर एक इष्टतम क्वांटम रणनीति (optimal quantum strategy) होती है? जबकि एक निश्चित परिमित आयाम के लिए क्वांटम सहसंबंधों (quantum correlations) का सेट कॉम्पैक्ट होता है (जो एक अधिकतम मान सुनिश्चित करता है), सभी परिमित आयामों पर इन सेट्स का संघ (union) आवश्यक रूप से बंद (closed) नहीं होता है। फलस्वरूप, बढ़ते आयामों वाली रणनीतियों का एक अनुक्रम (sequence) एक ऐसे सुप्रीमम (supremum) के करीब पहुँच सकता है जिसे कोई भी एकल परिमित-आdimensional रणनीति प्राप्त नहीं कर सकती।

विशिष्ट ध्यान I3322 बेल असमानता पर है, जो $(3, 3, 2, 2)$ परिदृश्य (तीन माप सेटिंग्स प्रति पक्ष, दो बाइनरी परिणाम) में परिभाषित है। यह परिदृश्य महत्वपूर्ण है क्योंकि बेगी (Beigi) के उस परिणाम के आधार पर, जिसमें प्रति पक्ष केवल दो सेटिंग्स वाले परिदृश्य बंद होते हैं, यह वह सबसे छोटा बाइनरी-आउटकम सेटिंग है जहाँ परिमित-आयामी सहसंबंधों ( $C_q$ ) के गैर-बंद (non-closure) होने की संभावना सैद्धांतिक रूप से संभव है।

2010 में, पाल और वर्तेसी (Pál and Vértesi - PV) ने श्मिट गुणांकों (Schmidt coefficients) और स्पेक्ट्रल लेबल (spectral labels) की एक पुनरावृत्ति संरचना का उपयोग करते हुए I3322 के लिए परिमित-आयामी रणनीतियों के एक परिवार की पहचान की। उनके संख्यात्मक अनुकूलन (numerical optimization) ने सुझाव दिया कि ये मान एक विशिष्ट सीमा ( $\approx 0.25087538$ ) की ओर अभिसरित (converge) होते हैं जैसे-जैसे आयाम बढ़ता है, लेकिन उन्हें कभी प्राप्त नहीं करते। उन्होंने यह अनुमान लगाया कि यह सीमा ही सभी परिमित-आयामी रणनीतियों का वास्तविक सुप्रीमम है और कोई भी परिमित-आयामी रणनीति इसे प्राप्त नहीं कर सकती।

कार्यप्रणाली (Methodology)
प्रमाण एक मनमाने परिमित-आयामी क्वांटम रणनीति और एक विशिष्ट परिवर्तनशील परिवार (variational family - PV परिवार) के बीच एक कठोर पत्राचार स्थापित करके और अनुकूलन स्थितियों (optimality conditions) का विश्लेषण करके आगे बढ़ता है।

समूहन और न्यूनीकरण (Symmetrization and Reduction):
लेखक पहले एक मनमाने परिमित-आयामी रणनीति को एक सममित (symmetric) रूप में कम करते हैं। एक डायरेक्ट-सम डबलिंग तकनीक का उपयोग करते हुए, वे एक समकक्ष रणनीति का निर्माण करते हैं जहाँ बॉब के माप, एलिस के परिणामों के फ्लिप किए गए, संयुग्मी (conjugated) संस्करण होते हैं। यह समरूपता तीसरे माप (जो बेल फलन में रैखिक रूप से प्रवेश करता है) को विश्लेवणात्मक रूप से अनुकूलित करने की अनुमति देती है।
स्पेक्ट्रल-वेट मैट्रिक्स निर्माण (Spectral-Weight Matrix Construction):
शेष माप युग्म पर जोर्डन लेम्मा (Jordan's lemma) लागू करते हुए, रणनीति को स्पेक्ट्रल उप-स्थानों (spectral subspaces) के एक परिमित सेट में कम किया जाता है। लेखक एक स्पेक्ट्रल-वेट मैट्रिक्स $\theta$ को परिभाषित करते हैं, जो एलिस और बॉब के स्पेक्ट्रल लेबल के संयुक्त संभाव्यता वितरण (joint probability distribution) का प्रतिनिधित्व करता है। वे एक ऊपरी-सीमा फलन (upper-bound functional), $\Phi(\theta)$ व्युत्पन्न करते हैं, जो किसी भी रणनीति $S$ के बेल मान को सीमित करता है जहाँ $I_{3322}(S) \leq \Phi(\theta)$ ।
PV परिवार के साथ तुल्यता (Theorem 1):
शोध पत्र यह सिद्ध करता है कि सभी वैध स्पेक्ट्रल-वेट मैट्रिसेस पर फलन $\Phi(\theta)$ का सुप्रीमम, PV परिवार के सुप्रीमम ( $\beta_{PV}$ ) के ठीक बराबर है। यह इस तथ्य द्वारा प्राप्त किया गया है कि किसी भी स्पेक्ट्रल-वेट मैट्रिक्स को परिमित PV श्रृंखलाओं (PV chains) के भारित औसत (weighted average) द्वारा अनुमानित किया जा सकता है। जैसे-जैसे श्रृंखला की लंबाई $N \to \infty$ होती है, भारित औसत $\Phi(\theta)$ की ओर अभिसरित होता है। इस प्रकार, PV परिवार के बाहर का कोई भी रणनीति $\beta_{PV}$ से अधिक नहीं हो सकती।
गैर-प्राप्ति का प्रमाण (Theorem 2):
यह सिद्ध करने के लिए कि सुप्रीमम परिमित आयामों में प्राप्त नहीं होता है, लेखक यह मान लेते हैं कि एक परिमित-आयामी रणनीति मौजूद है जो सुप्रीमम को प्राप्त करती है। इसका अर्थ है कि संबंधित स्पेक्ट्रल-वेट मैट्रिक्स $\theta$ $\Phi(\theta) = \beta_{PV}$ को संतुष्ट करता है।

$\Phi$ की प्रथम-क्रम अनुकूलन स्थितियों के विश्लेषण द्वारा, वे सहायक गुणांकों $u_i$ और स्पेक्ट्रल लेबल $c_i$ की एक अनुक्रमिक पुनरावृत्ति संबंध (recurrence relation) निकालते हैं जो $\theta$ से निकाले गए हैं।
इन गुणांकों को एक तीन-पद पुनरावृत्ति संबंध को संतुष्ट करना चाहिए जो एक जैकोबी ऑपरेटर (Jacobi operator) के आइजनवैल्यू समीकरण जैसा दिखता है।
प्रमाण यह दर्शाता है कि अधिकतम मान के लिए, सहायक गुणांकों को एक दिशा में ज्यामितीय रूप से बढ़ना चाहिए (जो एक अनंत, गैर-सामान्य करने योग्य अवस्था का संकेत देता है) जबकि साथ ही उन्हें एक परिमित-आयामी रणनीति के लिए वर्ग-योग करने योग्य (square-summable/normalizable) होने की आवश्यकता होती है। यह असंगतता सिद्ध करती है कि कोई भी परिमित-आयामी रणनीति सुप्रीमम को प्राप्त नहीं कर सकती।

मुख्य परिणाम

Theorem 1: I3322 का परिमित-आयामी क्वांटम सुप्रीमम, PV परिवार के सुप्रीमम के बराबर है ( $I^*_{3322} = \beta_{PV}$ )।
Theorem 2: कोई भी परिमित-आयामी क्वांटम रणनीति $I^*_{3322}$ का मान प्राप्त नहीं करती है। प्रत्येक परिमित-आयामी रणनीति सुप्रीमम से कम मान प्रदान करती है।
Corollary 1 (Non-closure): परिमित-आयामी क्वांटम सहसंबंधों का सेट $C_q(3, 3, 2, 2)$ बंद नहीं है। इसका क्लोजर (closure) $C_{qa}$ ऐसे सहसंबंधों को समाहित करता है जिन्हें किसी भी परिमित-आयामी टेंसर-प्रोडक्ट रणनीति द्वारा उत्पन्न नहीं किया जा सकता है।
Corollary 2 (Dimension Witness): सुप्रीमम के करीब पहुँचने के लिए अनबाउंडेड (unbounded) स्थानीय आयाम की आवश्यकता होती है। किसी भी परिमित आयाम $k$ के लिए, अधिकतम मान $\beta_k$ , $I^*_{3322}$ से स्पष्ट रूप से कम है।

महत्व और दावे
यह शोध पत्र स्थापित करता है कि $(3, 3, 2, 2)$ परिदृश्य सबसे छोटा बाइनरी-आउटकम बेल परिदृश्य है जहाँ परिमित-आयामी सहसंबंधों का सेट बंद नहीं है, जिससे पुष्टि होती है कि इस न्यूनतम सेटिंग में भी गैर-बंद होना संभव है। यह I3322 असमानता के लिए विशिष्ट प्राप्ति प्रश्न को हल करता है, और 2010 के पाल और वर्तेसी के अनुमान की पुष्टि करता है।

लेखक स्पष्ट रूप से कहते हैं कि उनके परिणाम परिमित-आयामी रणनीतियों पर लागू होते हैं। यह प्रश्न खुला है कि क्या एक अनंत-आयामी टेंसर-प्रोडक्ट रणनीति (सेट $C_{qs}$ में) सुप्रीमम को प्राप्त करती है। यदि ऐसी रणनीति मौजूद है, तो इसके लिए अनंत-आयामी एंटैंगलमेंट की आवश्यकता होगी; यदि नहीं, तो यह इस विशिष्ट परिदृश्य में टेंसर-प्रोडक्ट और कम्यूटिंग-ऑपरेटर सहसंबंधों ( $C_{qs} \neq C_{qc}$ ) के बीच अलगाव को दर्शाएगा।

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

लेखकत्व और AI पर नोट
लेखक, जेफ पॉवेल्स (Jef Pauwels), खोज प्रक्रिया में AI की भूमिका के संबंध में एक विवरण शामिल करते हैं। वे उल्लेख करते हैं कि प्रारंभिक प्रमाण स्केच (proof sketch) एक AI मॉडल (OpenAI Codex/GPT-5.6-sol) द्वारा उत्पन्न किया गया था, जिसे अनुमान (conjecture) के साथ बने रहने के लिए प्रेरित किया गया था। बाद के कार्य में AI के "गैर-अंग्रेजी" गणितीय शब्दावली को मानक क्वांटम सूचना शब्दावली में अनुवादित करना, सत्यापन करना और Lean 4 में औपचारिक बनाना शामिल था। लेखक अंतिम दावों और मशीन-जनित तर्क को सुलभ और सत्यापन योग्य बनाने के लिए आवश्यक "प्रूफ डाइजेशन" (proof digestion) के लिए पूरी जिम्मेदारी लेते हैं।

इसी तरह के और पेपर