The Okinawa Lectures on Entropy

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

लेकिन यहाँ एक पेचीदा बात है: हालांकि हम गैस के एक साधारण डिब्बे में बिखराव को गिनना जानते हैं, लेकिन जब हम क्वांटम दुनिया को देखते हैं—परमाणुओं और उप-परमाणु कणों का क्षेत्र जहाँ चीजें एक ही समय में दो स्थानों पर हो सकती हैं—तो चीजें अविश्वसनीय रूप से जटिल हो जाती हैं। इस सूक्ष्म दुनिया में, प्रायिकता (probability) के नियम बदल जाते हैं, और हमारे पुराने स्कोरकार्ड अक्सर विफल हो जाते हैं। यहीं पर लार्ज डेविएशन थ्योरी (large deviation theory) काम आती है। कल्पना कीजिए कि आप दस लाख बार एक सिक्का उछाल रहे हैं। आप उम्मीद करते हैं कि लगभग आधे 'हेड्स' और आधे 'टेल्स' आएंगे। लेकिन सभी 'हेड्स' आने की क्या संभावना है? यह न केवल असंभावित है; बल्कि यह संभावना इतनी कम है कि यह एक ढलान की तरह गिर जाती है। लार्ज डेविएशन थ्योरी वह गणित है जो ठीक से गणना करता है कि वह ढलान कितनी तीव्र है। यह हमें बताता है कि "असंभव" घटनाएं केवल दुर्लभ नहीं हैं; वे क्षय की एक विशिष्ट, गणना योग्य दर पर होती हैं।

यह हमें इस लेख की ओर ले आता है, जो क्लास लैंड्समैन (Klaas Landsman) के व्याख्यानों का एक संग्रह है जिसका शीर्षक है द ओकिनावा लेक्चर्स ऑन एन्ट्रॉपी (The Okinawa Lectures on Entropy)। लैंड्समैन एक भौतिक विज्ञानी और गणितज्ञ हैं जो उस अव्यवस्थित, शास्त्रीय दुनिया और उस विचित्र क्वांटम दुनिया के बीच एक सेतु बनाना चाहते हैं जिसे हम देख नहीं सकते। वह केवल सूत्रों की सूची नहीं बना रहे हैं; वह यह पता लगाने की कोशिश कर रहे हैं कि जब कोई क्वांटम प्रणाली अनंत हो या जब हमारे पास उसका केवल एक छोटा सा हिस्सा उपलब्ध हो, तो हम उस प्रणाली के "आश्चर्य" को कैसे माप सकते हैं। वह एक शक्तिशाली गणितीय उपकरण का उपयोग करते हैं जिसे वॉन न्यूमैन बीजगणित (von Neumann algebras) कहा जाता है—इसे क्वांटम प्रणालियों का वर्णन करने के लिए एक सुपर-एडवांस्ड, लचीली भाषा के रूप में समझें जो मानक गणित की सीमाओं में नहीं फंसती है।

लेख के मुख्य निष्कर्ष

लैंड्समैन के व्याख्यान एन्ट्रॉपी के इतिहास और गणित का एक निर्देशित दौरा हैं, लेकिन उनके कार्य का मूल एक विशिष्ट पहेली को हल करना है: हम उन क्वांटम प्रणालियों के लिए एन्ट्रॉपी को कैसे परिभाषित और गणना कर सकते हैं जो सरल, परिमित बक्सों की तरह व्यवहार नहीं करती हैं?

शास्त्रीय दुनिया में, यदि आप गैस की एन्ट्रॉपी जानना चाहते हैं, तो आप बस अणुओं के व्यवस्थित होने के तरीकों को गिनते हैं। क्वांटम दुनिया में, विशेष रूप से अनंत प्रणालियों (जैसे कणों का एक क्षेत्र जो अनंत तक फैला हुआ है) के लिए, आप केवल "गिनती" नहीं कर सकते। लैंड्समैन बताते हैं कि ऐसा करने के लिए, हमें सरल "डेंसिटी मैट्रिसेस" (प्रायिकता सूची का क्वांटत संस्करण) से हटकर हागरुप के नॉन-कम्यूटेटिव एल-पी स्पेस (Haagerup's noncommutative Lp spaces) नामक कुछ अधिक अमूर्त की ओर बढ़ने की आवश्यकता है।

यहाँ वह सफलता दी गई है जो वे प्रस्तुत करते हैं:

1. "उप-प्रणाली" की समस्या: यदि आपके पास एक विशाल क्वांटम प्रणाली है और आप केवल उसके एक छोटे से हिस्से को देखते हैं, तो आप उस हिस्से की एन्ट्रॉपी खोजने के लिए मानक गणित का उपयोग नहीं कर सकते। सामान्य उपकरण विफल हो जाते हैं क्योंकि "डेंसिटी ऑपरेटर" (वह चीज़ जो प्रणाली की स्थिति बताती है) उस हिस्से के लिए अद्वितीय या सुस्पष्ट नहीं होता है।
2. मॉड्यूलर समाधान: लैंड्समैन दिखाते हैं कि टोमिटा-टाकेसाकी थ्योरी (Tomita–Takesaki theory) का उपयोग करके (एक गहरा गणितीय ढांचा जिसमें "मॉड्यूलर फ्लो" शामिल है जो प्रणाली के लिए समय-विकास की तरह कार्य करता है), हम किसी भी स्थिति के लिए एक "कैनोनिकल" डेंसिटी ऑपरेटर को परिभाषित कर सकते हैं। यह हमें सबसे जटिल, अनंत क्वांटम प्रणालियों के लिए भी सापेक्ष एन्ट्रॉपी (relative entropy) (दो अवस्थाओं के बीच अंतर का एक माप) की गणना करने की अनुमति देता है।
3. दृष्टिकोण का एकीकरण: वह प्रदर्शित करते हैं कि प्रसिद्ध क्वांटम एन्ट्रॉपी, जैसे कि उमेगाकी एन्ट्रॉपी (Umegaki entropy) और अराकी की सापेक्ष एन्ट्रॉपी (Araki's relative entropy), केवल यादृच्छिक अनुमान नहीं हैं। वे शास्त्रीय कुल्बैक-लीब्लर डाइवर्जेंस (Kullback–Leibler divergence) (यह मापने का तरीका कि एक प्रायिकता वितरण दूसरे से कितना भिन्न है) के प्राकृतिक, कठोर विस्तार हैं।
4. परिकल्पना परीक्षण (Hypothesis Testing): यह लेख इन अमूर्त गणितीय अवधारणाओं को एक बहुत ही व्यावहारिक विचार से जोड़ता है: क्वांटम हाइपोथीसिस टेस्टिंग। कल्पना कीजिए कि आप एक जासूस हैं जो यह पता लगाने की कोशिश कर रहे हैं कि एक क्वांटम प्रणाली अवस्था A में है या अवस्था B में। लैंड्समैन दिखाते हैं कि आपकी भविष्यवाणी में गलती करने की दर सीधे सापेक्ष एन्ट्रॉपी द्वारा नियंत्रित होती है। यह सिद्ध करता है कि ये जटिल गणितीय परिभाषाएं केवल सैद्धांतिक बातें नहीं हैं; उनका वास्तविक, परिचालन अर्थ है कि हम क्वांटम अवस्थाओं के बीच कैसे अंतर करते हैं।

यह लेख क्या खारिज करता है और स्पष्ट करता है

यह ध्यान रखना महत्वपूर्ण है कि यह लेख क्या नहीं कर रहा है। लैंड्समैन स्पष्ट रूप रूप से कहते हैं कि वह द्वितीय नियम ऊष्मागतिकी (Second Law of Thermodynamics) (वह नियम कि एन्ट्रॉपी हमेशा बढ़ती है) या ब्लैक होल ऊष्मागतिकी (Black Hole Thermodynamics) (यह विचार कि ब्लैक होल की सतह के क्षेत्रफल के आधार पर एन्ट्रॉपी होती है) पर चर्चा नहीं कर रहे हैं, भले ही इन विषयों ने इस पाठ्यक्रम को प्रेरित किया हो। वह शुद्ध रूप से गणितीय आधारों पर ध्यान केंद्रित करने के लिए इन अनुप्रयोगों को अलग रख देते हैं।

वह इस विचार को भी खारिज करते हैं कि कोई सरल, प्रत्यक्ष "क्वांटम लार्ज डेविएशन थ्योरी" है जो शास्त्रीय वाली की बिल्कुल नकल करती है। हालांकि साहित्य में "क्वांटम सैनोव" (Quantum Sanov) प्रमेय मौजूद हैं, वह बताते हैं कि ये वास्तव में स्टीन के लेम्मा (Stein's Lemma) (परिकल्पना परीक्षण में त्रुटि दरों के बारे में एक परिणाम) के संस्करण हैं, न कि शास्त्रीय सिद्धांत का पूर्ण प्रतिस्थापन। लेख सुझाव देता है कि हालांकि हमारे पास विशिष्ट क्वांटम समस्याओं के लिए शक्तिशाली उपकरण हैं, लेकिन एक पूर्ण, एकीकृत क्वांटम लार्ज डेविएशन सिद्धांत अभी भी एक खुला क्षेत्र है।

हम कितने आश्वस्त हैं?

इस लेख में विश्वास का स्तर अत्यंत उच्च है, लेकिन यह एक विशिष्ट प्रकार का विश्वास है: गणितीय कठोरता (mathematical rigor)। लैंड्समैन कोई सिमुलेशन नहीं चला रहे हैं या प्रयोगशाला में परीक्षण के लिए कोई नया भौतिक नियम प्रस्तावित नहीं कर रहे हैं। इसके बजाय, वह यह सिद्ध कर रहे हैं कि यदि आप क्वांटम यांत्रिकी और ऑपरेटर बीजगणित के मानक सिद्धांतों को स्वीकार करते हैं, तो एन्ट्रॉपी की ये परिभाषाएँ इसी तरह की होनी ही चाहिए।

परिणामों को प्रमेय और प्रमाणों (theorems and proofs) के रूप में प्रस्तुत किया गया है। उदाहरण के लिए, वह सिद्ध करते हैं कि कोनेस-स्टॉर्मर-नार्नहोफर-थिरिंग एन्ट्रॉपी (Connes–Størmer–Narnhofer–Thirring entropy) (एक गतिशील प्रणाली की एन्ट्रॉपी का क्वांटम संस्करण) "हाइपरफाइनाइट" प्रणालियों पर लागू होने पर बिल्कुल अपने शास्त्रीय समकक्ष की तरह व्यवहार करती है। वह यह नहीं कहते कि "यह काम कर सकता है"; वह दिखाते हैं कि गणितीय रूप से, यह काम करता है।

हालांकि, वह इस बात में सावधानी बरतते हैं कि क्या सिद्ध है और क्या केवल "अनुमान" है। उदाहरण के लिए, वह उल्लेख करते हैं कि हालांकि गणितीय ढांचा ठोस है, लेकिन प्रकृति इन विशिष्ट संरचनाओं को क्यों चुनती है, इसका भौतिक अर्थ अभी भी गहन जांच का विषय है। वह हागरुप निर्माण (Haagerup construction) को अनंत प्रणालियों के लिए डेंसिटी ऑपरेटरों को परिभाषित करने की समस्या के समाधान के रूप में प्रस्तुत करते हैं, लेकिन वह स्वीकार करते हैं कि यह निर्माण तकनीकी रूप से जटिल है और उन्नत फलन विश्लेषण (functional analysis) पर निर्भर है।

जिज्ञासु किशोरों के लिए मुख्य बात

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