Classification of bipartite observables II: NIP observables and the Todorcevic trichotomy

क्वांटम दुनिया में, हम चीजों को कैसे मापते हैं, यह इस बात पर बहुत निर्भर करता है कि माप शुरू होने से पहले सिस्टम को कैसे तैयार किया गया है। कल्पना कीजिए कि दो वैज्ञानिक, एलिस और बॉब, अलग-अलग क्वांटम सिस्टम के साथ काम कर रहे हैं। एलिस अपने सिस्टम को एक विशिष्ट अवस्था (स्टेट) में तैयार करती है, और बॉब उसे एक डिटेक्टर से टटोलता है। उन्हें जो परिणाम मिलता है वह एक 'एक्सपेक्टेशन वैल्यू' (अपेक्षा मान) है, जो एक संख्या है जो उन्हें औसत पर क्या उम्मीद करनी चाहिए, यह बताती है। भौतिक विज्ञानी अक्सर "आदर्शित" (idealized) तैयारियों की कल्पना करते हैं, जैसे कि एक कण जो एक एकल बिंदु पर पूरी तरह से स्थित हो या अनंत ऊर्जा वाली एक प्रकाश तरंग। ये भौतिक रूप से साकार करने योग्य नहीं हैं, लेकिन वे वास्तविक प्रयोगों के उपयोगी गणितीय सीमाएँ (limits) हैं। इस क्षेत्र में एक केंद्रीय प्रश्न यह है कि क्या इन सीमाओं को लेने का क्रम मायने रखता है। यदि एलिस पहले अपनी तैयारी को आदर्शित करती है, और फिर बॉब अपने प्रोब को आदर्शित करता है, तो क्या उन्हें एक ही उत्तर मिलेगा जो तब मिलता जब बॉब पहले अपने प्रोब को आदर्शित करता? जब उत्तर हमेशा एक ही होता है, तो माप को "स्थिर" (stable) कहा जाता है। जब क्रम बदलने से परिणाम बदल जाता है, तो माप "अस्थिर" (unstable) कहलाता है।

द दशकों से, गणितज्ञों ने इस आधार पर संरचनाओं को वर्गीकृत करने के लिए एक परिष्कृत ढांचा विकसित किया है कि उनके पैटर्न कितने जटिल हो सकते हैं। तर्कशास्त्र (logic) और समुच्चय सिद्धांत (set theory) के अध्ययन से जन्मा यह ढांचा, उन प्रणालियों के बीच अंतर करता है जो "सुव्यवस्थित" (tame) हैं और जो अराजक हैं। एक प्रमुख अवधारणा "स्वतंत्रता गुण" (independence property) है, जो यह वर्णन करती है कि कैसे घटनाओं का एक क्रम परिणामों के हर संभव पैटर्न को उत्पन्न करने के लिए व्यवस्थित किया जा सकता है, चाहे वह कितना भी जटिल क्यों न हो। यदि किसी प्रणाली में यह गुण नहीं है, तो इसे "सुव्यवस्थित" या "NIP" (स्वतंत्रता गुण का अभाव) माना जाता है। यह शोध पत्र इन अमूर्त गणितीय वर्गीकरणों को ज़मीन पर लाता है, उन्हें सीधे क्वांटम यांत्रिकी के भौतिक प्रेक्षणों (observables) पर लागू करता है। वे दिखाते हैं कि एक माप की स्थिरता केवल एक तकनीकी विवरण नहीं है, बल्कि एक विशेषता है जिसे गणितीय स्थानों के एक सटीक पदानुक्रम (hierarchy) पर मैप किया जा सकता है। वे सिद्ध करते हैं कि स्थिर माप निरंतर प्रतिक्रियाओं (continuous responses) के अनुरूप होते हैं, जबकि सुव्यवस्थित लेकिन अस्थिर माप उन कार्यों के एक विशिष्ट वर्ग के अनुरूप होते हैं जो निरंतर कार्यों की सीमाएँ हैं। सबसे महत्वपूर्ण बात यह है कि वे प्रदर्शित करते हैं कि यह गणितीय पदानुक्रम केवल एक अमूर्त जिज्ञासा नहीं है; यह वास्तविक भौतिक घटनाओं द्वारा व्याप्त है, फोटॉनों की गिनती से लेकर स्पेसटाइम (देश-काल) की कारणिक संरचना (causal structure) तक।

शोधकर्ताओं ने सबसे पहले यह परिभाषित करके शुरुआत की कि उनके लिए "आदर्शित प्रतिक्रिया" (idealized response) का क्या अर्थ है। जब एलिस एक क्वांटम सिस्टम तैयार करती है और बॉब उसे मापता है, तो परिणाम को एक फलन (function) के रूप में देखा जा सकता है। यदि एलिस की तैयारी को आदर्शित किया जाता है, तो यह फलन विच्छिन्न (discontinuous) हो सकता है, जिसका अर्थ है कि बॉब के प्रोब में एक सूक्ष्म परिवर्तन भी परिणाम में अचानक उछाल ला सकता है। लेखकों ने सिद्ध किया कि एक माप स्थिर है यदि और केवल यदि प्रत्येक संभावित आदर्शित प्रतिक्रिया एक निरंतर फलन है। यदि माप अस्थिर है लेकिन फिर भी "सुव्यवस्थित" (NIP) है, तो आदर्शित प्रतिक्रियाएं निरंतर नहीं होती हैं, लेकिन वे एक विशिष्ट तरीके से सुव्यवस्थित होती हैं: वे निरंतर कार्यों के अनुक्रमों की 'पॉइंटवाइज लिमिट्स' (बिंदुवार सीमाएँ) हैं। इसका अर्थ है कि वे 'प्रथम बेयर क्लास' (first Baire class) के रूप में ज्ञात कार्यों के वर्ग से संबंधित हैं। यदि कोई माप न तो स्थिर है और न ही सुव्यवस्थित, तो उसमें स्वतंत्रता गुण होता है, जो अराजकता के एक स्तर को दर्शाता है जहाँ प्रतिक्रियाएं सबसे जटिल गणितीय संरचनाओं के व्यवहार की नकल कर सकती हैं, जिसमें प्राकृतिक संख्याओं के 'स्टोन-चेच कॉम्पैक्टिफिकेशन' (Stone–Čech compactification) की एक प्रति शामिल होती है।

यह शोध पत्र फिर इन सुव्यवस्थित, अस्थिर मापों के सूक्ष्म वर्गीकरण की ओर बढ़ता है। सेट थ्योरी के एक गहरे परिणाम, जिसे 'टोडोर्सेविच ट्राइकोटॉमी' (Todorčević trichotomy) कहा जाता है, का उपयोग करते हुए, लेखक दिखाते हैं कि ऐसा कोई भी माप तीन अलग-अलग श्रेणियों में से एक में आता है। पहली श्रेणी उन मापों की है जहाँ आदर्शित प्रतिक्रियाएं एक ऐसा स्थान बनाती हैं जो "मेट्रिजेबल" (metrizable) है, जिसका अर्थ है कि इसे एक सरल दूरी फलन के साथ वर्णित किया जा सकता है। दूसरी श्रेणी उन स्थानों से जुड़ी है जो "हेरिटेरीली सेपरेबल" (hereditarily separable) हैं, एक ऐसा गुण जो सुनिश्चित करता है कि स्थान बहुत बड़ा नहीं है, लेकिन जो मेट्रिजेबल होने में विफल रहता है। तीसरी श्रेणी उन स्थानों से जुड़ी है जो "फर्स्ट काउंटेबल" (first countable) हैं, जिसका अर्थ है कि प्रत्येक बिंदु के पास पड़ोस (neighborhoods) की एक गणनीय सूची है, लेकिन जो हेरिटेरीली सेपरेबल होने में विफल रहते हैं। लेखकों ने एक महत्वपूर्ण भौतिक बाधा की खोज की: क्योंकि क्वांटम अवस्थाओं को मिश्रित (संभाव्यता के आधार पर संयोजित) किया जा सकता है, इसलिए किसी भी भौतिक प्रेक्षण की आदर्शित प्रतिक्रियाएं हमेशा एक 'कॉन्वेक्स सेट' (उत्तल समुच्चय) बनाती हैं। उन्होंने सिद्ध किया कि ऐसे उत्तल समुच्चयों के लिए, दूसरी श्रेणी (हेरिटेरीली सेपरेबल लेकिन मेट्रिजेबल नहीं) असंभव है। भौतिक दुनिया में, हेरिटेरीली सेपरेबिलिटी, मेट्रिजेबिलिटी को मजबूर करती है। यह गणितीय ट्राइकोटॉमी को एक भौतिक ट्राइकोटॉमी में बदल देता है: क्वांटम माप या तो स्थिर (मेट्रिजेबल) होते हैं, या वे दो अस्थिर वर्गों में से एक में आते हैं, जो इस बात से अलग होते हैं कि उनकी सीमाएँ कैसे व्यवहार करती हैं।

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

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

अंत में, लेखक इस ढांचे को 'क्वांटम आइसिंग मॉडल' पर लागू करते हैं, जो चुंबकीय क्षेत्र में परस्पर क्रिया करने वाले स्पिनों का एक तंत्र है। वे दिखाते हैं कि यह वर्गीकरण 'फेज ट्रांजिशन' (अवस्था परिवर्तन) का पता लगा सकता है। मॉडल के 'ऑर्डर्ड फेज' (क्रमबद्ध अवस्था) में, जहाँ स्वतःस्फूर्त चुंबकत्व (spontaneous magnetization) होता है, दो शुद्ध अवस्थाओं की प्रतिक्रियाएं एक "स्प्लिट पेयर" (विभाजित जोड़ा) बनाती हैं, और सममित अवस्था की प्रतिक्रिया ठीक बीच में स्थित होती है। यह संरचना अस्थिर, गैर-मेट्रिजेबल वर्ग के अनुरूप है। 'डिसऑर्डर्ड फेज' (अव्यवस्थित अवस्था) में, जहाँ कोई स्वतःस्फूर्त चुंबकत्व नहीं होता है, प्रतिक्रियाएं निरंतर और स्थिर होती हैं। यह प्रमाण 'ट्रांसवर्स-फील्ड आइसिंग मॉडल' के लिए 'ली-यैंग प्रमेय' के एक नए संस्करण पर आधारित है, जो यह दर्शाता है कि 'पार्टीशन फंक्शन' (विभाजन फलन) जटिल तल (complex plane) के एक विशिष्ट क्षेत्र में शून्य नहीं होता है। यह विश्लेषणात्मक गुण सुनिश्चित करता है कि शून्य क्षेत्र से दूर सिस्टम का 'प्रेशर' (दबाव) सुचारू है, जिससे लेखक कठोरता से गणितीय वर्गीकरण को भौतिक फेज डायग्राम से जोड़ने में सक्षम होते हैं। कार्य का समापन यह दिखाते हुए होता है कि भौतिकी की अन्य मौलिक अवधारणाएं, जैसे कि 'काइरल सिमेट्री ब्रेकिंग' के लिए 'बैंक्स-कैसर संबंध' और 'सुपरकंडक्टिविटी' (अतिचालकता) का मानदंड, भी निश्चित सीमाओं की स्थिरता के बारे में कथन हैं। प्रत्येक मामले में, स्थिरता से अस्थिरता की ओर संक्रमण एक भौतिक अवस्था परिवर्तन को चिह्नित करता है, जो यह प्रकट करता है कि सीमाओं की गहरी गणितीय संरचना भौतिक वास्तविकता के ताने-बाने में बुनी हुई है।