⚛️ quantum physics

Entanglement in C $^*$ -algebras: tensor products of state spaces

यह शोध पत्र स्थापित करता है कि C*-बीजगणनों के अवस्था स्थानों (state spaces) का न्यूनतम नामियोका-फेलप्स (Namioka-Phelps) टेंसर उत्पाद पृथक्करणीय अवस्थाओं (separable states) के अनुरूप होता है, यह सिद्ध करता है कि अवस्था स्थानों के न्यूनतम और अधिकतम टेंसर उत्पाद तभी सह-अस्तित्व में होते हैं जब एक बीजगणक क्रमविनिमेय (commutative) हो (इस मामले के लिए बार्कर के अनुमान की पुष्टि करते हुए), और यह प्रदर्शित करता है कि ट्रेस सिम्प्लेक्स (trace simplexes) का टेंसर उत्पाद सदैव परिणामी C*-बीजगणक टेंसर उत्पाद का ट्रेस सिम्प्लेक्स होता है।

मूल लेखक: Magdalena Musat, Mikael Rørdam

प्रकाशित 2026-04-16

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

CC BY 4.0

मूल लेखक: Magdalena Musat, Mikael Rørdam

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

यहाँ मैग्डेलेना मुसाट और मिकाएल रोर्डम के शोध पत्र "Entanglement in C∗-algebras: tensor products of state spaces" की व्याख्या का हिंदी अनुवाद दिया गया है:

बड़ी तस्वीर: खिलौनों के दो डिब्बों को मिलाना

कल्पना कीजिए कि आपके पास खिलौनों के दो अलग-अलग डिब्बे हैं।

डिब्बा A में उन नियमों का एक सेट है कि उसके अंदर के खिलौने आपस में कैसे क्रिया करेंगे।
डिब्बा B में नियमों का एक दूसरा सेट है।

गणित और क्वांटम भौतिकी की दुनिया में, इन "डिब्बों" को C∗-algebras कहा जाता है। इन डिब्बों के अंदर के "खिलौने" गणितीय वस्तुएं हैं जिन्हें states (अवस्थाएं) कहा जाता है (जो एक सिस्टम की संभावित स्थितियों या विन्यासों का प्रतिनिधित्व करती हैं)।

इस शोध पत्र के लेखक एक बहुत ही विशिष्ट प्रश्न पूछ रहे हैं: जब आप इन दो डिब्बों को मिलाते हैं, तो क्या होता है?

जब आप डिब्बा A और डिब्बा B को मिलाते हैं, तो आप एक नया, विशाल डिब्बा बनाते हैं (एक "टेन्सर प्रोडक्ट")। इस नए डिब्बे के अंदर, आप दो प्रकार के विन्यास (configurations) पा सकते हैं:

सेपरेबल (विभाज्य/अन-एंटैंगल्ड): ये वे विन्यास हैं जहाँ डिब्बा A और डिब्बा B के खिलौने बस एक-दूसरे के बगल में बैठे हैं, और स्वतंत्र रूप से व्यवहार कर रहे हैं। आप पूरे सिस्टम का वर्णन केवल यह बताकर कर सकते हैं कि डिब्बा A में क्या है और डिब्बा B में क्या है।
एंटैंगल्ड (उलझे हुए): ये वे विन्यास हैं जहाँ खिलौने इतनी गहराई से एक-दूसरे से जुड़े हुए हैं कि आप उन्हें अलग-अलग वर्णित नहीं कर सकते। वे एक एकल, अविभाज्य इकाई बन गए हैं। यह क्वांटम मैकेनिक्स का प्रसिद्ध "स्पूकी एक्शन एट अ डिस्टेंस" (दूरी पर रहस्यमयी क्रिया) है।

मिलाने के दो तरीके ("मिनिमल" बनाम "मैक्सिमल" मिक्स)

यह शोध पत्र इस "मिलाने" की प्रक्रिया को परिभाषित करने के दो अलग-अलग गणितीय तरीकों की खोज करता है। इन्हें डिब्बों को मिलाने के दो अलग-अलग व्यंजनों (recipes) के रूप में सोचें:

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

मुख्य खोज: "कम्यूट" नियम

लेखक एक आश्चर्यजनक और सुंदर नियम सिद्ध करते हैं कि ये दोनों मिक्स वास्तव में कब समान होते हैं।

नियम: "सेफ मिक्स" और "वाइल्ड मिक्स" तभी समान होते हैं यदि और केवल यदि मूल डिब्बों में से एक "बोरिंग" (गणितीय रूप से, कम्यूटेटिव) हो।

"कम्यूटेटिव" क्या है? एक ऐसे डिब्बे की कल्पना करें जहाँ कार्यों का क्रम मायने नहीं रखता। यदि आप पहले अपना बायां जूता पहनते हैं और फिर दायां, तो यह वही है जैसे आपने पहले दायां और फिर बायां पहना हो। गणित में, इसका अर्थ है कि इसके अंदर की वस्तुएं साधारण संख्याओं की तरह व्यवहार करती हैं।
"नॉन-कम्यूटेटिव" क्या है? एक ऐसे डिब्बे की कल्पना करें जहाँ क्रम मायने रखता है। बायां जूता पहनने के बाद दायां जूता पहनना और इसके विपरीत करना अलग है। क्वांटम मैकेनिक्स में, यह मानक, "अजीब" व्यवहार है।

उपमा (Analogy):

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

निष्कर्ष: एंटैंगलमेंट केवल एक दुर्लभ दुर्घटना नहीं है; यह दो नॉन-कम्यूटेटिव सिस्टम्स को मिलाने का एक अनिवार्य परिणाम है। यदि आपके पास दो क्वांटम सिस्टम हैं, तो आपके पास एंटैंगल्ड अवस्थाएं जरूर होंगी।

एक पुराने अनुमान की पुष्टि

गणितज्ञ बार्कर द्वारा दिए गए एक पुराने अनुमान (conjecture) पर भी विचार किया गया था। उन्होंने अनुमान लगाया था कि "सेफ मिक्स" और "वाइल्ड मिक्स" केवल तभी समान होते हैं जब एक डिब्बा "सिम्प्लेक्स" (एक बहुत ही सरल, ज्यामितीय आकार, जैसे त्रिकोण या टेट्राहेड्रोन) हो।

लेखक सिद्ध करते हैं कि बार्कर सही थे, विशेष रूप से इन क्वांटम डिब्बों के लिए। यदि किसी C∗-एल्जेब्रा का स्टेट स्पेस एक सिम्प्लेक्स (सरल आकार) है, तो वह एल्जेब्रा कम्यूटेटिव होना चाहिए। यदि यह एक जटिल, अस्त-व्यस्त आकार है, तो वह नॉन-कम्यूटेटिव है, और एंटैंगलमेंट मौजूद है।

"ट्रेस" ट्विस्ट: एक विशेष मामला

शोध पत्र अवस्थाओं के एक विशेष उपसमूह जिसे ट्रेस (सोचिए कि ये "औसत" या "निष्पक्ष" अवस्थाएं हैं) कहा जाता है, उस पर भी नज़र डालता है।

आश्चर्य: इन "औसत" अवस्थाओं को मिलाते समय, "सेफ मिक्स" और "वाइल्ड मिक्स" हमेशा एक ही होते हैं, चाहे डिब्बे कम्यूटेटिव हों या नहीं।
रूपक (Metaphor): जबकि नियमित अवस्थाएं "एंटैंगल" हो सकती हैं और गांठों में उलझ सकती हैं, "ट्रेस" अवस्थाएं पानी की तरह हैं। आप दो बाल्टियाँ पानी को चाहे कैसे भी मिलाएं, आपको बस और पानी ही मिलेगा। आप पानी को उसी तरह "एंटैंगल" नहीं कर सकते जैसे अन्य चीजों को किया जा सकता है।
यह क्यों महत्वपूर्ण है: यह गणितज्ञों को उनके स्टेट स्पेस के आकारों को वर्गीकृत करने में मदद करता है। अब वे सटीक रूप से भविष्यवाणी कर सकते हैं कि मिश्रित सिस्टम का आकार एक "पौलसेन सिम्प्लेक्स" (एक बहुत ही विशिष्ट, अस्त-व्यस्त आकार जहाँ किनारे हर जगह होते हैं) होगा या एक "बाउर सिम्प्लेक्स" (एक साफ आकार जिसके किनारे केवल कोनों पर होते हैं)।

एक वाक्य में सारांश

यह शोध पत्र सिद्ध करता है कि जब भी आप दो जटिल, नॉन-कम्यूटेटिव क्वांटम सिस्टम को मिलाते हैं, तो एंटैंगलमेंट एक स्वाभाविक स्थिति होती है, और यह एक सटीक गणितीय मानचित्र प्रदान करता है कि आपको उन सिस्टम्स को मिलाने से कितना "अजीबपन" (एंटैंगलमेंट) प्राप्त होगा।

यहाँ मैग्डेलेना मुसाट और मिकेल रोरडम के शोध पत्र "Entanglement in C∗-algebras: tensor products of state spaces" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र कॉम्पैक्ट उत्तल समुच्चयों (compact convex sets) के नामियाका-फेल्प्स टेंसर उत्पादों (Namioka–Phelps tensor products) और $C^*$ -एल्जेब्रा के संदर्भ में क्वांटम एंटैंगलमेंट (quantum entanglement) की घटना के बीच संबंध को संबोधित करता है।

विशेष रूप से, लेखक दो विशिष्ट $C^*$ -एल्जेब्रा $A$ और $B$ के स्टेट स्पेस (state spaces) $S(A)$ और $S(B)$ के टेंसर उत्पाद को परिभाषित करने के दो अलग-अलग तरीकों की जांच करते हैं:

मिनिमल टेंसर उत्पाद ( $S(A) \otimes_\wedge S(B)$ ): इसे एलिमेंटरी टेंसरों द्वारा उत्पन्न "आंतरिक" (inner) धनात्मक शंकु (positive cone) के माध्यम से परिभाषित किया गया है।
मैक्सिमल टेंसर उत्पाद ( $S(A) \otimes_\vee S(B)$ ): इसे "बाहरी" (outer) धनात्मक शंकु के माध्यम से परिभाषित किया गया है, जो सभी धनात्मक फंकशनल्स के टेंसर उत्पाद के विरुद्ध धनात्मक तत्वों का समूह है।

केंद्रीय समस्या यह निर्धारित करना है कि ये दोनों टेंसर उत्पाद किन परिस्थितियों में समान होते हैं। यह सीधे तौर पर बार्कर के अनुमान (Barker's Conjecture) से संबंधित है, जो यह प्रस्तावित करता है कि कॉम्पैक्ट उत्तल समुच्चयों $K_1$ और $K_2$ के लिए, $K_1 \otimes_\wedge K_2 = K_1 \otimes_\vee K_2$ होगा यदि और केवल यदि कम से कम एक समुच्चय एक चोइकेट सिम्प्लेक्स (Choquet simplex) हो। जबकि यह परिमित-आयामी (finite-dimensional) समुच्चयों के लिए ज्ञात था, यह शोध पत्र $C^*$ -एल्जेब्रा के अनंत-आयामी स्टेट स्पेस के लिए इसे हल करने और इस सेटिंग में एंटैंगलमेंट की प्रकृति को स्पष्ट करने का प्रयास करता है।

2. कार्यप्रणाली (Methodology)

लेखक फलन विश्लेषण (functional analysis), उत्तल ज्यामिति (convex geometry), और ऑपरेटर बीजगणित (operator algebra) सिद्धांत के संयोजन का उपयोग करते हैं:

स्टेट स्पेस की पहचान: वे $S(A)$ को ऑर्डर्ड वेक्टर स्पेस $(A_{sa}, A_+, 1_A)$ के स्टेट स्पेस के रूप में पहचानते हैं। यह उन्हें उत्तल समुच्चयों के टेंसर उत्पादों की नामियाका-फेल्प्स परिभाषाओं को $C^*$ -एल्जेब्रा टेंसर उत्पादों (एल्जेब्रिक, मिनिमल/स्पेशियल, और मैक्सिमल) की भाषा में अनुवादित करने की अनुमति देता है।
सेपरेबल बनाम एंटैंगल्ड स्टेट्स: वे यह स्थापित करते हैं कि स्टेट स्पेस का मिनिमल टेंसर उत्पाद स्थानिक टेंसर उत्पाद (spatial tensor product) $A \otimes B$ पर सेपरेबल (un-entangled) स्टेट्स के सेट के बराबर है। मैक्सिमल टेंसर उत्पाद धनात्मक मानचित्रों (positive maps) से संबंधित एक व्यापक सेट का प्रतिनिधित्व करता है।
एम्बेडिंग तकनीक (ग्लिम का लेम्मा - Glimm's Lemma): सामान्य गैर-कोम्यूटेटिव (non-commutative) $C^*$ -एल्जेब्रा को संभालने के लिए, लेखक ग्लिम के लेम्मा के एक रूपांतर का उपयोग करते हैं। यह मैट्रिक्स एल्जेब्रा (या उनके ऊपर के शंकुओं) को पर्याप्त उच्च रैंक वाले किसी भी गैर-कोम्यूटेटिव $C^*$ -एल्जेब्रा में एम्बेड करने की अनुमति देता है। यह तकनीक ज्ञात एंटैंगलमेंट घटनाओं को परिमित-आयामी मैट्रिक्स एल्जेब्रा से अनंत-आयामी एल्जेब्रा तक "लिफ्ट" करती है।
इंजेक्टिविटी और एप्रोक्सिमेट इंजेक्टिविटी: शोध पत्र इंजेक्टिव और एप्रोक्सिमेटली इंजेक्टिव $C^*$ -एल्जेब्रा (जैसे, न्यूक्लियर एल्जेब्रा) की अवधारणाओं का उपयोग यह दिखाने के लिए करता है कि सब-एल्जेब्रा में एंटैंगलमेंट बड़े एल्जेब्रा में जाने पर "अन-एंटैंगल" नहीं हो सकता है।
ट्रेस सिम्प्लेक्स (Trace Simplexes): वे ट्रेस सिम्प्लेक्स (ट्रेस स्टेट्स के सेट) के टेंसर उत्पादों का विश्लेषण करते हैं, इस तथ्य का लाभ उठाते हुए कि ट्रेस सिम्प्लेक्स हमेशा चोइकेट सिम्प्लेक्स होते हैं।

3. प्रमुख योगदान और परिणाम (Key Contributions and Results)

A. $C^*$ -एल्जेब्रा के लिए बार्कर के अनुमान का समाधान

यह शोध पत्र सिद्ध करता है कि यूनिटल $C^*$ -एल्जेब्रा के स्टेट स्पेस के लिए, मिनिमल और मैक्सिमल नामियाका-फेल्प्स टेंसर उत्पाद तभी और केवल तभी समान होते हैं जब कम से कम एक एल्जेब्रा कोम्यूटेटिव (commutative) हो।

प्रमेय 3.17: $S(A) \otimes_\wedge S(B) = S(A) \otimes_\vee S(B)$ यदि और केवल यदि $A$ या $B$ कोम्यूटेटिव है।
निहितार्थ: यदि $A$ और $B$ दोनों गैर-कोम्यूटेटिव हैं, तो ये सेट भिन्न होते हैं। यह $C^*$ -एल्जेब्रा के विशिष्ट वर्ग के लिए बार्कर के अनुमान की पुष्टि करता है।
शास्त्रीय तथ्य का पुन: प्रमाण: एक उप-उत्पाद के रूप में, वे यह पुनः सिद्ध करते हैं कि $C^*$ -एल्जेब्रा का स्टेट स्पेस एक चोइकेट सिम्प्लेक्स है यदि और केवल यदि एल्जेब्रा कोम्यूटेटिव है (जिस स्थिति में यह एक बाउअर सिम्प्लेक्स होता है)।

B. एंटैंगलमेंट का लक्षण वर्णन (Characterization of Entanglement)

लेखक अनंत-आयामी $C^*$ -एल्जेब्रा में एंटैंगलमेंट का एक कठोर लक्षण वर्णन प्रदान करते हैं:

स्ट्रिक्ट समावेशन (Strict Inclusions): गैर-कोम्यूटेटिव $A$ और $B$ के लिए, निम्नलिखित स्ट्रिक्ट समावेशन श्रृंखला मान्य है:
$S^*(A \otimes B) \subsetneq S(A \otimes B) \subsetneq S(A \otimes_{max} B) \subsetneq S(A) \otimes_\vee S(B)$
जहाँ $S^*(A \otimes B)$ सेपरेबल स्टेट्स का सेट है।
धनात्मक तत्व: वे दिखाते हैं कि सेपरेबल पॉजिटिव एलिमेंट्स का शंकु $A_+ \otimes B_+$ सभी पॉजिटिव एलिमेंट्स $(A \otimes B)_+$ के शंकु के भीतर स्ट्रिक्ट रूप से समाहित है, यदि और केवल यदि दोनों एल्जेब्रा गैर-कोम्यूटेटिव हैं।
एंटैंगलमेंट का परिमाणीकरण: वे एक स्थिरांक $\kappa(A, B)$ $κ (A, B)$ पेश करते है जिसे मिनिमल टेंसर उत्पाद के स्टेट स्पेस में फंकशनल्स के मैक्सिमल नॉर्म्स के सुप्रीमम (supremum) के रूप में परिभाषित किया गया है।
- यदि $A$ और $B$ सब-होमोजेनियस नहीं हैं (अर्थात उनमें अनिश्चित रूप से बड़े मैट्रिक्स एल्जेब्रा शामिल हैं), तो $\kappa(A, B) = \infty$ ।
- इसका तात्पर्य यह है कि गैर-कोम्यूटेटिव मामले में स्टेट स्पेस का मैक्सिमल टेंसर उत्पाद मिनिमल टेंसर उत्पाद के सापेक्ष अनबाउंडेड (unbounded) है, जो एंटैंगलमेंट के "आकार" को मापने का एक नया तरीका प्रदान करता है।

C. ट्रेस सिम्प्लेक्स के टेंसर उत्पाद

सामान्य स्टेट स्पेस के विपरीत, ट्रेस सिम्प्लेक्स के टेंसर उत्पाद अलग तरह से व्यवहार करते हैं क्योंकि ट्रेस एक विशिष्ट अर्थ में स्वाभाविक रूप से "अन-एंटैंगल्ड" होते हैं:

प्रमेय 4.1: ट्रेस वाले किसी भी यूनिटल $C^*$ -एल्जेब्रा $A$ और $B$ के लिए, उनके ट्रेस सिम्प्लेक्स के मिनिमल और मैक्सिमल टेंसर उत्पाद समान होते हैं और एल्जेब्रा के टेंसर उत्पाद के ट्रेस सिम्प्लेक्स के बराबर होते हैं:
$T(A) \otimes T(B) = T^*(A \otimes B) = T(A \otimes B) = T(A \otimes_{max} B)$
महत्व: यह परिणाम पुष्टि करता है कि ट्रेस कभी भी एंटैंगल्ड नहीं हो सकते। $A \otimes_{max} B$ पर प्रत्येक ट्रacial स्टेट $A \otimes B$ के मिनिमल टेंसर उत्पाद के माध्यम से ही गुजरता है।
वर्गीकरण: वे यह लक्षणित करते हैं कि कब एक टेंसर उत्पाद का ट्रेस सिम्प्लेक्स एक बाउअर सिम्प्लेक्स (Bauer simplex) या पौलसेन सिम्प्लेक्स (Poulsen simplex) (अद्वितीय गैर-तुच्छ सिम्प्लेक्स जिसका बाउंड्री सघन है) होता है। उदाहरण के लिए, $C^*$ -एल्जेब्रा के अनंत टेंसर उत्पाद का ट्रेस सिम्प्लेक्स बाउर सिम्प्लेक्स है यदि और केवल यदि घटकों के ट्रेस सिम्प्लेक्स बाउर (या तुच्छ) हैं और वे सभी तुच्छ नहीं हैं।

4. महत्व (Significance)

क्षेत्रों को जोड़ना: यह शोध पत्र अमूर्त उत्तल ज्यामिति (नामियाका-फे phép सिद्धांत) और क्वांटम सूचना सिद्धांत ( $C^*$ -एल्जेब्रा में एंटैंगलमेंट) के बीच के अंतर को सफलतापूर्वक पाटता है।
अनंत आयाम: यह एंटैंगलमेंट पर परिमित-आयामी परिणामों को $C^*$ -एल्जेब्रा के सामान्य अनंत-आयामी सेटिंग तक विस्तारित करता है, यह सिद्ध करते हुए कि इस संदर्भ में गैर-कोम्यूटेटिविटी ही एंटैंगलमेंट का एकमात्र स्रोत है।
नए मेट्रिक्स: स्थिरांक $\kappa(A, B)$ की शुरूआत और गैर-कोम्यूटेटिव मामले में अनबाउंडेडनेस का अवलोकन, बाइनरी सेपरेबल/एंटैंगल्ड अंतर से परे एंटैंगलमेंट के "डिग्री" को मापने का एक अभिनव तरीका प्रदान करता है।
ट्रेस थ्योरी: यह परिणाम कि ट्रेस कभी भी एंटैंगल्ड नहीं होते हैं, जटिल ऑपरेटर एल्जेब्रा में ट्रacial स्टेट्स के विश्लेषण को सरल बनाकर, मिनिमल और मैक्सिमल $C^*$ -एल्जेब्रा टेंसर उत्पादों के बीच संबंधों के बारे में एक शक्तिशाली संरचनात्मक अंतर्दृष्टि प्रदान करता है।

संक्षेप में, मुसाट और रोरडम यह प्रदर्शित करते हैं कि स्टेट स्पेस के मिनिमल और मैक्सिमल टेंसर उत्पादों के बीच ज्यामितीय अंतर क्वांटम एंटैंगलमेंट की एक सटीक गणितीय अभिव्यक्ति है, जो ठीक तभी होती है जब अंतर्निहित एल्जेब्रा गैर-कोम्यूटेटिव होते हैं।