आंशिक अनुरेखण: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(5 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Function over linear operators}}
{{Short description|Function over linear operators}}
[[File:Partial Trace.svg|thumb|right|बाएं हाथ की ओर द्विदलीय क्यूबिट प्रणाली का पूर्ण घनत्व आव्यूह <math>\rho_{AB}</math> को दर्शाता है। आंशिक निशान 2 बटा 2 विमा (एकल क्यूबिट घनत्व आव्यूह) के उपसंक्रियक पर किया जाता है। दाहिने हाथ की ओर परिणामी 2 बटा 2 कम घनत्व आव्यूह <math>\rho_{A}</math> को दर्शाता है।]]रैखिक बीजगणित और [[कार्यात्मक विश्लेषण]] में, आंशिक [[ट्रेस (रैखिक बीजगणित)|निशान (रैखिक बीजगणित]]) का एक सामान्यीकरण है। जबकि निशान संक्रियकों पर अदिश (गणित) मानित फलन है, आंशिक निशान [[ऑपरेटर (गणित)|संक्रियक (गणित]]) -मानित फलन है। आंशिक निशान में क्वांटम सूचना और [[ असम्बद्धता |असम्बद्धता]] में अनुप्रयोग हैं जो [[क्वांटम माप]] के लिए प्रासंगिक हैं और इस प्रकार [[क्वांटम यांत्रिकी की व्याख्या|क्वांटम यांत्रिकी की व्याख्याओं]] के लिए निरंतर इतिहास और [[सापेक्ष राज्य व्याख्या|सापेक्ष अवस्था व्याख्या]] सहित निर्णायक दृष्टिकोण हैं।
[[File:Partial Trace.svg|thumb|right|बाएं हाथ की ओर द्विदलीय क्यूबिट प्रणाली का पूर्ण घनत्व आव्यूह <math>\rho_{AB}</math> को दर्शाता है। आंशिक अनुरेखण 2 बटा 2 विमा (एकल क्यूबिट घनत्व आव्यूह) के उपसंक्रियक पर किया जाता है। दाहिने हाथ की ओर परिणामी 2 बटा 2 कम घनत्व आव्यूह <math>\rho_{A}</math> को दर्शाता है।]]रैखिक बीजगणित और [[कार्यात्मक विश्लेषण|प्रकार्यक विश्लेषण]] में, आंशिक [[ट्रेस (रैखिक बीजगणित)|अनुरेखण (रैखिक बीजगणित]]) का एक सामान्यीकरण है। जबकि अनुरेखण संक्रियकों पर अदिश (गणित) मानित फलन है, आंशिक अनुरेखण [[ऑपरेटर (गणित)|संक्रियक (गणित]]) -मानित फलन है। आंशिक अनुरेखण में क्वांटम सूचना और [[ असम्बद्धता |असम्बद्धता]] में अनुप्रयोग हैं जो [[क्वांटम माप]] के लिए प्रासंगिक हैं और इस प्रकार [[क्वांटम यांत्रिकी की व्याख्या|क्वांटम यांत्रिकी की व्याख्याओं]] के लिए निरंतर इतिहास और [[सापेक्ष राज्य व्याख्या|सापेक्ष अवस्था व्याख्या]] सहित निर्णायक दृष्टिकोण हैं।


== विवरण ==
== विवरण ==
मान लीजिए कि <math>V</math>, <math>W</math> क्रमश [[आयाम|विमाओं]] <math>m</math> और <math>n</math> के साथ [[क्षेत्र (गणित)|क्षेत्र (गणित]]) पर परिमित-विमीय [[सदिश स्थल|सदिश समष्टि]] हैं। किसी भी समष्टि <math>A</math> के लिए, <math>L(A)</math> को <math>A</math> पर रैखिक संक्रियकों की समष्टि को इंगित करें। <math>W</math>पर आंशिक निशान तब <math>\operatorname{Tr}_W: \operatorname{L}(V \otimes W) \to \operatorname{L}(V)</math> के रूप में लिखा जाता है।
मान लीजिए कि <math>V</math>, <math>W</math> क्रमश [[आयाम|विमाओं]] <math>m</math> और <math>n</math> के साथ [[क्षेत्र (गणित)|क्षेत्र (गणित]]) पर परिमित-विमीय [[सदिश स्थल|सदिश समष्टि]] हैं। किसी भी समष्टि <math>A</math> के लिए, <math>L(A)</math> को <math>A</math> पर रैखिक संक्रियकों की समष्टि को इंगित करें। <math>W</math> पर आंशिक अनुरेखण तब <math>\operatorname{Tr}_W: \operatorname{L}(V \otimes W) \to \operatorname{L}(V)</math> के रूप में लिखा जाता है।


इसे निम्नानुसार परिभाषित किया गया है: <math> T\in \operatorname{L}(V \otimes W)</math> के लिए, मान लीजिए <math>e_1, \ldots, e_m </math>, और <math>f_1, \ldots, f_n </math>, क्रमशः V और W के आधार हैं; तो T में <math> V \otimes W</math> के आधार <math> e_k \otimes f_\ell </math> के सापेक्ष आव्यूह प्रतिनिधित्व
इसे निम्नानुसार परिभाषित किया गया है: <math> T\in \operatorname{L}(V \otimes W)</math> के लिए, मान लीजिए <math>e_1, \ldots, e_m </math>, और <math>f_1, \ldots, f_n </math>, क्रमशः V और W के आधार हैं; तो T में <math> V \otimes W</math> के आधार <math> e_k \otimes f_\ell </math> के सापेक्ष आव्यूह प्रतिनिधित्व
Line 12: Line 12:
अब सूचकांक k, i के लिए श्रेणी 1, ..., m में, योग
अब सूचकांक k, i के लिए श्रेणी 1, ..., m में, योग
:<math> b_{k, i} = \sum_{j=1}^n a_{k j, i j} </math> पर विचार करें।
:<math> b_{k, i} = \sum_{j=1}^n a_{k j, i j} </math> पर विचार करें।
यह आव्यूह B<sub>''k'', ''i''</sub> देता है। V पर संबंधित रैखिक संक्रियक आधारों के चुनाव से स्वतंत्र है और परिभाषा के अनुसार 'आंशिक निशान' है।
यह आव्यूह B<sub>''k'',''i''</sub> देता है। V पर संबंधित रैखिक संक्रियक आधारों के चुनाव से स्वतंत्र है और परिभाषा के अनुसार 'आंशिक अनुरेखण' है।


भौतिकविदों के बीच, इसे प्रायः W पर मात्र एक संक्रियक छोड़ने के संदर्भ में W पर अनुरेखण बाह्य या अनुरेखण कहा जाता है जहां W और V क्वांटम संक्रियक से जुड़े हिल्बर्ट रिक्त समष्टि हैं (नीचे देखें)।
भौतिकविदों के बीच, इसे प्रायः W पर मात्र एक संक्रियक छोड़ने के संदर्भ में W पर अनुरेखण बाह्य या अनुरेखण कहा जाता है जहां W और V क्वांटम संक्रियक से जुड़े हिल्बर्ट रिक्त समष्टि हैं (नीचे देखें)।


=== अपरिवर्तनीय परिभाषा ===
=== अपरिवर्तनीय परिभाषा ===
आंशिक निशान संक्रियक को अपरिवर्तनीय रूप से परिभाषित किया जा सकता है (अर्थात, आधार के संदर्भ के बिना) इस प्रकार है: यह अद्वितीय रैखिक प्रतिचित्र
आंशिक अनुरेखण संक्रियक को अपरिवर्तनीय रूप से परिभाषित किया जा सकता है (अर्थात, आधार के संदर्भ के बिना) इस प्रकार है: यह अद्वितीय रैखिक प्रतिचित्र
:<math> \operatorname{Tr}_W: \operatorname{L}(V \otimes W) \rightarrow \operatorname{L}(V) </math> है जैसे कि
:<math> \operatorname{Tr}_W: \operatorname{L}(V \otimes W) \rightarrow \operatorname{L}(V) </math> है जैसे कि
:<math> \operatorname{Tr}_W(R \otimes S) = \operatorname{Tr}(S) \, R \quad \forall R \in \operatorname{L}(V) \quad \forall S \in \operatorname{L}(W). </math>
:<math> \operatorname{Tr}_W(R \otimes S) = \operatorname{Tr}(S) \, R \quad \forall R \in \operatorname{L}(V) \quad \forall S \in \operatorname{L}(W). </math>
यह देखने के लिए कि उपरोक्त स्थितियाँ आंशिक निशान को अद्वितीय रूप से निर्धारित करती है, माना <math>v_1, \ldots, v_m</math> <math>V</math> के लिए आधार बनाते हैं, <math>w_1, \ldots, w_n</math> को <math>W</math> के लिए एक आधार बनाते हैं, <math>E_{ij} \colon V \to V</math> को प्रतिचित्र बनाते हैं जो <math>v_i</math> को <math>v_j</math> (और अन्य सभी आधार अवयवों को शून्य करने के लिए) भेजता है, और <math>F_{kl} \colon W \to W</math> को वह प्रतिचित्र बनने दें जो <math>w_k</math> को <math>w_l</math> भेजता है। चूंकि सदिश <math>v_i \otimes w_k</math> <math>V \otimes W</math> के लिए एक आधार बनाते हैं, प्रतिचित्र <math>E_{ij} \otimes F_{kl}</math> <math>\operatorname{L}(V \otimes W)</math> के लिए आधार बनाते हैं।
यह देखने के लिए कि उपरोक्त स्थितियाँ आंशिक अनुरेखण को अद्वितीय रूप से निर्धारित करती है, माना <math>v_1, \ldots, v_m</math> <math>V</math> के लिए आधार बनाते हैं, <math>w_1, \ldots, w_n</math> को <math>W</math> के लिए एक आधार बनाते हैं, <math>E_{ij} \colon V \to V</math> को प्रतिचित्र बनाते हैं जो <math>v_i</math> को <math>v_j</math> (और अन्य सभी आधार अवयवों को शून्य करने के लिए) भेजता है, और <math>F_{kl} \colon W \to W</math> को वह प्रतिचित्र बनने दें जो <math>w_k</math> को <math>w_l</math> भेजता है। चूंकि सदिश <math>v_i \otimes w_k</math> <math>V \otimes W</math> के लिए एक आधार बनाते हैं, प्रतिचित्र <math>E_{ij} \otimes F_{kl}</math> <math>\operatorname{L}(V \otimes W)</math> के लिए आधार बनाते हैं।


इस अमूर्त परिभाषा से, निम्न गुण अनुसरण करते हैं:
इस अमूर्त परिभाषा से, निम्न गुण अनुसरण करते हैं:
Line 30: Line 30:
=== श्रेणी सैद्धांतिक धारणा ===
=== श्रेणी सैद्धांतिक धारणा ===


यह रैखिक परिवर्तनों का आंशिक निशान है जो जॉयल, स्ट्रीट और [[ट्रेस मोनोइडल श्रेणी|निशान मोनोइडल श्रेणी]] की सत्यता की धारणा का विषय है। एक अनुरेखित मोनोइडल श्रेणी एक मोनोइडल श्रेणी <math>(C,\otimes,I)</math> है, साथ में श्रेणी में X, Y, U के लिए, होम-समुच्चय का एक फलन,
यह रैखिक परिवर्तनों का आंशिक अनुरेखण है जो जॉयल, स्ट्रीट और [[ट्रेस मोनोइडल श्रेणी|अनुरेखण मोनोइडल श्रेणी]] की सत्यता की धारणा का विषय है। एक अनुरेखित मोनोइडल श्रेणी एक मोनोइडल श्रेणी <math>(C,\otimes,I)</math> है, साथ में श्रेणी में X, Y, U के लिए, होम-समुच्चय का एक फलन,


:<math>\operatorname{Tr}^U_{X,Y}\colon \operatorname{Hom}_C(X\otimes U, Y\otimes U) \to \operatorname{Hom}_C(X,Y)</math>
:<math>\operatorname{Tr}^U_{X,Y}\colon \operatorname{Hom}_C(X\otimes U, Y\otimes U) \to \operatorname{Hom}_C(X,Y)</math>
कुछ स्वयंसिद्धों को संतुष्ट करता है।
कुछ स्वयंसिद्धों को संतुष्ट करता है।


आंशिक निशान की इस अमूर्त धारणा की अन्य स्थिति परिमित समुच्चयों और उनके बीच आपत्तियों की श्रेणी में होते है, जिसमें मोनोइडल उत्पाद असंयुक्त संघ है। कोई दिखा सकता है कि किसी भी परिमित समुच्चय के लिए, X, Y, U और द्विभाजन <math>X+U\cong Y+U</math> में संबंधित "आंशिक रूप से पता लगाया गया" द्विभाजन <math>X\cong Y</math> स्थित है।
आंशिक अनुरेखण की इस अमूर्त धारणा की अन्य स्थिति परिमित समुच्चयों और उनके बीच आपत्तियों की श्रेणी में होते है, जिसमें मोनोइडल उत्पाद असंयुक्त संघ है। कोई दिखा सकता है कि किसी भी परिमित समुच्चय के लिए, X, Y, U और द्विभाजन <math>X+U\cong Y+U</math> में संबंधित "आंशिक रूप से पता लगाया गया" द्विभाजन <math>X\cong Y</math> स्थित है।


== हिल्बर्ट रिक्त समष्टि पर संक्रियकों के लिए आंशिक निशान ==
== हिल्बर्ट रिक्त समष्टि पर संक्रियकों के लिए आंशिक अनुरेखण ==


आंशिक निशान संक्रियकों को अनंत विमीय हिल्बर्ट रिक्त समष्टि पर सामान्यीकृत करता है। मान लीजिए V, W हिल्बर्ट रिक्त समष्टि हैं, और
आंशिक अनुरेखण संक्रियकों को अनंत विमीय हिल्बर्ट रिक्त समष्टि पर सामान्यीकृत करता है। मान लीजिए V, W हिल्बर्ट रिक्त समष्टि हैं, और


:<math> \{f_i\}_{i \in I} </math>
:<math> \{f_i\}_{i \in I} </math>
Line 58: Line 58:


:<math> \sum_{\ell} T_{\ell \ell} </math>
:<math> \sum_{\ell} T_{\ell \ell} </math>
के [[मजबूत ऑपरेटर टोपोलॉजी|दृढ संक्रियक सांस्थिति]] में परिवर्तित हो जाते है, तो यह W के चुने हुए आधार से स्वतंत्र होते है। आंशिक निशान Tr<sub>''W''</sub> (T) को इस संक्रियक के रूप में परिभाषित किया गया है। स्व-संलग्न संक्रियक का आंशिक निशान परिभाषित किया गया है यदि और मात्र यदि धनात्मक और ऋणात्मक भागों के आंशिक निशान परिभाषित किए गए हैं।
के [[मजबूत ऑपरेटर टोपोलॉजी|दृढ संक्रियक सांस्थिति]] में परिवर्तित हो जाते है, तो यह W के चुने हुए आधार से स्वतंत्र होते है। आंशिक अनुरेखण Tr<sub>''W''</sub>(T) को इस संक्रियक के रूप में परिभाषित किया गया है। स्व-संलग्न संक्रियक का आंशिक अनुरेखण परिभाषित किया गया है यदि और मात्र यदि धनात्मक और ऋणात्मक भागों के आंशिक अनुरेखण परिभाषित किए गए हैं।


=== आंशिक निशान की गणना ===
=== आंशिक अनुरेखण की गणना ===


मान लीजिए W का एक प्रसामान्य आधार है, जिसे हम [[ अच्छा-केट |केट]] सदिश संकेतन द्वारा <math> \{| \ell \rangle\}_\ell </math> के रूप में निरूपित करते हैं। तब
मान लीजिए W का एक प्रसामान्य आधार है, जिसे हम [[ अच्छा-केट |केट]] सदिश संकेतन द्वारा <math> \{| \ell \rangle\}_\ell </math> के रूप में निरूपित करते हैं। तब
Line 67: Line 67:
कोष्ठक में अधिलेख आव्यूह घटकों का प्रतिनिधित्व नहीं करते हैं, बल्कि आव्यूह को ही लेबल करते हैं।
कोष्ठक में अधिलेख आव्यूह घटकों का प्रतिनिधित्व नहीं करते हैं, बल्कि आव्यूह को ही लेबल करते हैं।


== आंशिक निशान और अपरिवर्तनीय एकीकरण ==
== आंशिक अनुरेखण और अपरिवर्तनीय एकीकरण ==


परिमित विमीय हिल्बर्ट रिक्त समष्टि की स्थिति में, आंशिक निशान को देखने की एक उपयोगी विधि है जिसमें W के एकात्मक समूह U (W) पर उपयुक्त सामान्यीकृत हार माप μ के संबंध में एकीकरण सम्मिलित है। उपयुक्त रूप से सामान्यीकृत का अर्थ है कि μ को कुल द्रव्यमान dim (W) के साथ माप के रूप में लिया जाता है।
परिमित विमीय हिल्बर्ट रिक्त समष्टि की स्थिति में, आंशिक अनुरेखण को देखने की एक उपयोगी विधि है जिसमें W के एकात्मक समूह U(W) पर उपयुक्त सामान्यीकृत हार माप μ के संबंध में एकीकरण सम्मिलित है। उपयुक्त रूप से सामान्यीकृत का अर्थ है कि μ को कुल द्रव्यमान dim(W) के साथ माप के रूप में लिया जाता है।


'प्रमेय'. मान लीजिए V, W सीमित विमीय हिल्बर्ट रिक्त समष्टि हैं। तब
'प्रमेय'. मान लीजिए V, W सीमित विमीय हिल्बर्ट रिक्त समष्टि हैं। तब


:<math> \int_{\operatorname{U}(W)} (I_V \otimes U^*) T (I_V \otimes U) \ d \mu(U) </math>
:<math> \int_{\operatorname{U}(W)} (I_V \otimes U^*) T (I_V \otimes U) \ d \mu(U) </math>
रूप <math> I_V \otimes S </math> के सभी संक्रियकों के साथ काम करते है और इसलिए यह रूप <math> R \otimes I_W </math> का विशिष्ट है। संक्रियक R T का आंशिक निशान है।
रूप <math> I_V \otimes S </math> के सभी संक्रियकों के साथ कार्य करते है और इसलिए यह रूप <math> R \otimes I_W </math> का विशिष्ट है। संक्रियक R T का आंशिक अनुरेखण है।


== [[क्वांटम ऑपरेशन|क्वांटम संक्रियक]] के रूप में आंशिक निशान ==
== [[क्वांटम ऑपरेशन|क्वांटम संक्रियक]] के रूप में आंशिक अनुरेखण ==


आंशिक निशान को क्वांटम संक्रियक के रूप में देखा जा सकता है। क्वांटम यांत्रिक संक्रियक पर विचार करें जिसकी अवस्था समष्टि हिल्बर्ट रिक्त समष्टिका टेंसर उत्पाद <math>H_A \otimes H_B</math> है। मिश्रित अवस्था का वर्णन [[घनत्व मैट्रिक्स|घनत्व आव्यूह]] ρ द्वारा किया जाता है, जो टेन्सर उत्पाद <math> H_A \otimes H_B </math> पर निशान 1 का एक गैर-ऋणात्मक निशान-वर्ग है। संक्रियक B के संबंध में ρ का आंशिक निशान, जिसे <math>\rho ^A</math> द्वारा दर्शाया गया है, संक्रियक A पर ρ की घटी हुई अवस्था कहा जाता है। प्रतीकों में,
आंशिक अनुरेखण को क्वांटम संक्रियक के रूप में देखा जा सकता है। क्वांटम यांत्रिक संक्रियक पर विचार करें जिसकी अवस्था समष्टि हिल्बर्ट रिक्त समष्टिका टेंसर उत्पाद <math>H_A \otimes H_B</math> है। मिश्रित अवस्था का वर्णन [[घनत्व मैट्रिक्स|घनत्व आव्यूह]] ρ द्वारा किया जाता है, जो टेन्सर उत्पाद <math> H_A \otimes H_B </math> पर अनुरेखण 1 का एक गैर-ऋणात्मक अनुरेखण-वर्ग है। संक्रियक B के संबंध में ρ का आंशिक अनुरेखण, जिसे <math>\rho ^A</math> द्वारा दर्शाया गया है, संक्रियक A पर ρ की घटी हुई अवस्था कहा जाता है। प्रतीकों में,


:<math>\rho^A = \operatorname{Tr}_B \rho.</math>
:<math>\rho^A = \operatorname{Tr}_B \rho.</math>
यह दिखाने के लिए कि यह वस्तुतः A उपसंक्रियक पर ρ को अवस्था आवंटित करने की समझदार विधि है, हम निम्नलिखित प्रामाणिकता प्रदान करते हैं। M को उपसंक्रियक A पर अवलोकन योग्य होने दें, फिर समग्र संक्रियक पर संबंधित अवलोकन योग्य <math>M \otimes I</math> है। यद्यपि घटी हुई अवस्था <math>\rho^A</math>को परिभाषित करने का विकल्प चुनता है, मापन आँकड़ों की निरंतरता होनी चाहिए। उपसंक्रियक A के <math>\rho ^A</math> में तैयार होने के बाद M का अपेक्षित मान ρ में संयोजन संक्रियक तैयार होने पर <math>M \otimes I</math> के समान होना चाहिए, अर्थात निम्नलिखित समानता होनी चाहिए:
यह दिखाने के लिए कि यह वस्तुतः A उपसंक्रियक पर ρ को अवस्था आवंटित करने की समझदार विधि है, हम निम्नलिखित प्रामाणिकता प्रदान करते हैं। M को उपसंक्रियक A पर अवलोकन योग्य होने दें, फिर समग्र संक्रियक पर संबंधित अवलोकन योग्य <math>M \otimes I</math> है। यद्यपि घटी हुई अवस्था <math>\rho^A</math> को परिभाषित करने का विकल्प चुनता है, मापन आँकड़ों की निरंतरता होनी चाहिए। उपसंक्रियक A के <math>\rho ^A</math> में तैयार होने के बाद M का अपेक्षित मान ρ में संयोजन संक्रियक तैयार होने पर <math>M \otimes I</math> के समान होना चाहिए, अर्थात निम्नलिखित समानता होनी चाहिए:


:<math>\operatorname{Tr} ( M \cdot \rho^A) = \operatorname{Tr} ( M \otimes I \cdot \rho).</math>
:<math>\operatorname{Tr} ( M \cdot \rho^A) = \operatorname{Tr} ( M \otimes I \cdot \rho).</math>
हम देखते हैं कि यह संतुष्ट है यदि <math>\rho ^A</math> आंशिक निशान के माध्यम से ऊपर परिभाषित किया गया है। इसके अतिरिक्त, ऐसा संक्रियक अद्वितीय है।
हम देखते हैं कि यह संतुष्ट है यदि <math>\rho ^A</math> आंशिक अनुरेखण के माध्यम से ऊपर परिभाषित किया गया है। इसके अतिरिक्त, ऐसा संक्रियक अद्वितीय है।


बता दें कि T (H) हिल्बर्ट समष्टि H पर निशान-वर्ग संक्रियकों का [[बनच स्थान|बनच समष्टि]] है। यह सरलता से जांचा जा सकता है कि प्रतिचित्र
बता दें कि T (H) हिल्बर्ट समष्टि H पर अनुरेखण-वर्ग संक्रियकों का [[बनच स्थान|बनच समष्टि]] है। यह सरलता से जांचा जा सकता है कि प्रतिचित्र
:<math>\operatorname{Tr}_B : T(H_A \otimes H_B) \rightarrow T(H_A)</math>
:<math>\operatorname{Tr}_B : T(H_A \otimes H_B) \rightarrow T(H_A)</math>
के रूप में देखा जाने वाला आंशिक निशान पूर्ण रूप से धनात्मक और निशान-संरक्षित है।
के रूप में देखा जाने वाला आंशिक अनुरेखण पूर्ण रूप से धनात्मक और अनुरेखण-संरक्षित है।


घनत्व आव्यूह ρ [[हर्मिटियन मैट्रिक्स|हर्मिटियन आव्यूह]] है, [[सकारात्मक अर्ध-निश्चित मैट्रिक्स|धनात्मक अर्ध-निश्चित आव्यूह]] है, और इसमें 1 का निशान है। इसमें एक [[वर्णक्रमीय अपघटन (मैट्रिक्स)|वर्णक्रमीय अपघटन (आव्यूह]]) है:
घनत्व आव्यूह ρ [[हर्मिटियन मैट्रिक्स|हर्मिटियन आव्यूह]] है, [[सकारात्मक अर्ध-निश्चित मैट्रिक्स|धनात्मक अर्ध-निश्चित आव्यूह]] है, और इसमें 1 का अनुरेखण है। इसमें एक [[वर्णक्रमीय अपघटन (मैट्रिक्स)|वर्णक्रमीय अपघटन (आव्यूह]]) है:


:<math>\rho=\sum_{m}p_m|\Psi_m\rangle\langle \Psi_m|;\ 0\leq p_m\leq 1,\ \sum_{m}p_m=1</math>
:<math>\rho=\sum_{m}p_m|\Psi_m\rangle\langle \Psi_m|;\ 0\leq p_m\leq 1,\ \sum_{m}p_m=1</math>
यह देखना सरल है कि आंशिक निशान <math>\rho ^A</math> भी इन प्रतिबंधों को पूरा करता है। उदाहरण के लिए, <math>H_A</math> में किसी शुद्ध अवस्था <math>|\psi_A\rangle</math> के लिए, हमारे निकट  
यह देखना सरल है कि आंशिक अनुरेखण <math>\rho ^A</math> भी इन प्रतिबंधों को पूरा करता है। उदाहरण के लिए, <math>H_A</math> में किसी शुद्ध अवस्था <math>|\psi_A\rangle</math> के लिए, हमारे निकट  
:<math>\langle\psi_A|\rho^A|\psi_A\rangle=\sum_{m}p_m\operatorname{Tr}_B[\langle\psi_A|\Psi_m\rangle\langle \Psi_m|\psi_A\rangle]\geq 0</math> है
:<math>\langle\psi_A|\rho^A|\psi_A\rangle=\sum_{m}p_m\operatorname{Tr}_B[\langle\psi_A|\Psi_m\rangle\langle \Psi_m|\psi_A\rangle]\geq 0</math> है
ध्यान दें कि शब्द <math>\operatorname{Tr}_B[\langle\psi_A|\Psi_m\rangle\langle \Psi_m|\psi_A\rangle]</math> अवस्था <math>|\psi_A\rangle</math> को खोजने की संभावना का प्रतिनिधित्व करते है जब समग्र प्रणाली अवस्था <math>|\Psi_m\rangle</math> में होती है। यह <math>\rho ^A</math> की धनात्मक अर्ध-निश्चितता सिद्ध करते है।
ध्यान दें कि शब्द <math>\operatorname{Tr}_B[\langle\psi_A|\Psi_m\rangle\langle \Psi_m|\psi_A\rangle]</math> अवस्था <math>|\psi_A\rangle</math> को खोजने की संभावना का प्रतिनिधित्व करते है जब समग्र प्रणाली अवस्था <math>|\Psi_m\rangle</math> में होती है। यह <math>\rho ^A</math> की धनात्मक अर्ध-निश्चितता सिद्ध करते है।


जैसा कि ऊपर दिया गया है, आंशिक निशान प्रतिचित्र
जैसा कि ऊपर दिया गया है, आंशिक अनुरेखण प्रतिचित्र


:<math>\operatorname{Tr}_B ^* (A) = A \otimes I</math>  
:<math>\operatorname{Tr}_B ^* (A) = A \otimes I</math>  
:द्वारा दिए गए <math>\; H_A</math> और <math>H_A \otimes H_B</math> पर परिबद्ध संक्रियक के [[सी * - बीजगणित]] के बीच एक दोहरे प्रतिचित्र <math>\operatorname{Tr}_B ^*</math> को प्रेरित करते है।
:द्वारा दिए गए <math>\; H_A</math> और <math>H_A \otimes H_B</math> पर परिबद्ध संक्रियक के [[सी * - बीजगणित|सी*- बीजगणित]] के बीच एक दोहरे प्रतिचित्र <math>\operatorname{Tr}_B ^*</math> को प्रेरित करते है।


<math>\operatorname{Tr}_B ^*</math> प्रेक्षणीय को प्रेक्षणीय में प्रतिचित्रित करता है और <math>\operatorname{Tr}_B</math> का [[हाइजेनबर्ग चित्र]] प्रतिनिधित्व है।
<math>\operatorname{Tr}_B ^*</math> प्रेक्षणीय को प्रेक्षणीय में प्रतिचित्रित करता है और <math>\operatorname{Tr}_B</math> का [[हाइजेनबर्ग चित्र]] प्रतिनिधित्व है।
Line 106: Line 106:
=== शास्त्रीय स्थिति के साथ तुलना ===
=== शास्त्रीय स्थिति के साथ तुलना ===


मान लीजिए क्वांटम यांत्रिक संक्रियक के अतिरिक्त, दो संक्रियक A और B शास्त्रीय हैं। प्रत्येक प्रणाली के लिए प्रेक्षणीय का समष्टि तब एबेलियन सी * - बीजगणित है। ये सघन समष्टि X, Y के लिए क्रमशः C (X) और C (Y) के रूप में हैं। संयुक्त संक्रियक की अवस्था समष्टि मात्र  
मान लीजिए क्वांटम यांत्रिक संक्रियक के अतिरिक्त, दो संक्रियक A और B शास्त्रीय हैं। प्रत्येक प्रणाली के लिए प्रेक्षणीय का समष्टि तब एबेलियन सी*- बीजगणित है। ये सघन समष्टि X, Y के लिए क्रमशः C(X) और C(Y) के रूप में हैं। संयुक्त संक्रियक की अवस्था समष्टि मात्र  


:<math>C(X) \otimes C(Y) = C(X \times Y)</math> है।
:<math>C(X) \otimes C(Y) = C(X \times Y)</math> है।
समग्र प्रणाली पर अवस्था C (X× Y) के दोहरे का एक धनात्मक अवयव ρ है, जो कि रिज़-मार्कोव प्रमेय द्वारा X× Y पर नियमित बोरेल माप से मेल खाता है। इसी घटी हुई अवस्था को माप ρ से X तक प्रक्षेपित करके प्राप्त किया जाता है। इस प्रकार आंशिक निशान इस संक्रियक के क्वांटम यांत्रिक समतुल्य है।
समग्र प्रणाली पर अवस्था C (X× Y) के दोहरे का एक धनात्मक अवयव ρ है, जो कि रिज़-मार्कोव प्रमेय द्वारा X× Y पर नियमित बोरेल माप से मेल खाता है। इसी घटी हुई अवस्था को माप ρ से X तक प्रक्षेपित करके प्राप्त किया जाता है। इस प्रकार आंशिक अनुरेखण इस संक्रियक के क्वांटम यांत्रिक समतुल्य है।


{{DEFAULTSORT:Partial Trace}}
{{DEFAULTSORT:Partial Trace}}
Line 115: Line 115:
श्रेणी:रैखिक बीजगणित
श्रेणी:रैखिक बीजगणित


श्रेणी:कार्यात्मक विश्लेषण
श्रेणी: प्रकार्यक विश्लेषण


[[Category: Machine Translated Page]]
[[Category:Created On 20/05/2023|Partial Trace]]
[[Category:Created On 20/05/2023]]
[[Category:Lua-based templates|Partial Trace]]
[[Category:Machine Translated Page|Partial Trace]]
[[Category:Pages with script errors|Partial Trace]]
[[Category:Templates Vigyan Ready|Partial Trace]]
[[Category:Templates that add a tracking category|Partial Trace]]
[[Category:Templates that generate short descriptions|Partial Trace]]
[[Category:Templates using TemplateData|Partial Trace]]

Latest revision as of 11:30, 8 June 2023

बाएं हाथ की ओर द्विदलीय क्यूबिट प्रणाली का पूर्ण घनत्व आव्यूह को दर्शाता है। आंशिक अनुरेखण 2 बटा 2 विमा (एकल क्यूबिट घनत्व आव्यूह) के उपसंक्रियक पर किया जाता है। दाहिने हाथ की ओर परिणामी 2 बटा 2 कम घनत्व आव्यूह को दर्शाता है।

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

विवरण

मान लीजिए कि , क्रमश विमाओं और के साथ क्षेत्र (गणित) पर परिमित-विमीय सदिश समष्टि हैं। किसी भी समष्टि के लिए, को पर रैखिक संक्रियकों की समष्टि को इंगित करें। पर आंशिक अनुरेखण तब के रूप में लिखा जाता है।

इसे निम्नानुसार परिभाषित किया गया है: के लिए, मान लीजिए , और , क्रमशः V और W के आधार हैं; तो T में के आधार के सापेक्ष आव्यूह प्रतिनिधित्व

है।

अब सूचकांक k, i के लिए श्रेणी 1, ..., m में, योग

पर विचार करें।

यह आव्यूह Bk,i देता है। V पर संबंधित रैखिक संक्रियक आधारों के चुनाव से स्वतंत्र है और परिभाषा के अनुसार 'आंशिक अनुरेखण' है।

भौतिकविदों के बीच, इसे प्रायः W पर मात्र एक संक्रियक छोड़ने के संदर्भ में W पर अनुरेखण बाह्य या अनुरेखण कहा जाता है जहां W और V क्वांटम संक्रियक से जुड़े हिल्बर्ट रिक्त समष्टि हैं (नीचे देखें)।

अपरिवर्तनीय परिभाषा

आंशिक अनुरेखण संक्रियक को अपरिवर्तनीय रूप से परिभाषित किया जा सकता है (अर्थात, आधार के संदर्भ के बिना) इस प्रकार है: यह अद्वितीय रैखिक प्रतिचित्र

है जैसे कि

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

इस अमूर्त परिभाषा से, निम्न गुण अनुसरण करते हैं:


श्रेणी सैद्धांतिक धारणा

यह रैखिक परिवर्तनों का आंशिक अनुरेखण है जो जॉयल, स्ट्रीट और अनुरेखण मोनोइडल श्रेणी की सत्यता की धारणा का विषय है। एक अनुरेखित मोनोइडल श्रेणी एक मोनोइडल श्रेणी है, साथ में श्रेणी में X, Y, U के लिए, होम-समुच्चय का एक फलन,

कुछ स्वयंसिद्धों को संतुष्ट करता है।

आंशिक अनुरेखण की इस अमूर्त धारणा की अन्य स्थिति परिमित समुच्चयों और उनके बीच आपत्तियों की श्रेणी में होते है, जिसमें मोनोइडल उत्पाद असंयुक्त संघ है। कोई दिखा सकता है कि किसी भी परिमित समुच्चय के लिए, X, Y, U और द्विभाजन में संबंधित "आंशिक रूप से पता लगाया गया" द्विभाजन स्थित है।

हिल्बर्ट रिक्त समष्टि पर संक्रियकों के लिए आंशिक अनुरेखण

आंशिक अनुरेखण संक्रियकों को अनंत विमीय हिल्बर्ट रिक्त समष्टि पर सामान्यीकृत करता है। मान लीजिए V, W हिल्बर्ट रिक्त समष्टि हैं, और

को W के लिए असामान्य आधार होने दें। अब सममितीय समरूपता

है

इस अपघटन के अंतर्गत, किसी भी संक्रियक को V

पर संक्रियकों के अनंत आव्यूह के रूप में माना जा सकता है, जहां

पहले मान लीजिए कि T एक गैर-ऋणात्मक संकारक है। इस स्थिति में, उपरोक्त आव्यूह की सभी विकर्ण प्रविष्टियाँ V पर गैर-ऋणात्मक संकारक हैं। यदि योग

के दृढ संक्रियक सांस्थिति में परिवर्तित हो जाते है, तो यह W के चुने हुए आधार से स्वतंत्र होते है। आंशिक अनुरेखण TrW(T) को इस संक्रियक के रूप में परिभाषित किया गया है। स्व-संलग्न संक्रियक का आंशिक अनुरेखण परिभाषित किया गया है यदि और मात्र यदि धनात्मक और ऋणात्मक भागों के आंशिक अनुरेखण परिभाषित किए गए हैं।

आंशिक अनुरेखण की गणना

मान लीजिए W का एक प्रसामान्य आधार है, जिसे हम केट सदिश संकेतन द्वारा के रूप में निरूपित करते हैं। तब

कोष्ठक में अधिलेख आव्यूह घटकों का प्रतिनिधित्व नहीं करते हैं, बल्कि आव्यूह को ही लेबल करते हैं।

आंशिक अनुरेखण और अपरिवर्तनीय एकीकरण

परिमित विमीय हिल्बर्ट रिक्त समष्टि की स्थिति में, आंशिक अनुरेखण को देखने की एक उपयोगी विधि है जिसमें W के एकात्मक समूह U(W) पर उपयुक्त सामान्यीकृत हार माप μ के संबंध में एकीकरण सम्मिलित है। उपयुक्त रूप से सामान्यीकृत का अर्थ है कि μ को कुल द्रव्यमान dim(W) के साथ माप के रूप में लिया जाता है।

'प्रमेय'. मान लीजिए V, W सीमित विमीय हिल्बर्ट रिक्त समष्टि हैं। तब

रूप के सभी संक्रियकों के साथ कार्य करते है और इसलिए यह रूप का विशिष्ट है। संक्रियक R T का आंशिक अनुरेखण है।

क्वांटम संक्रियक के रूप में आंशिक अनुरेखण

आंशिक अनुरेखण को क्वांटम संक्रियक के रूप में देखा जा सकता है। क्वांटम यांत्रिक संक्रियक पर विचार करें जिसकी अवस्था समष्टि हिल्बर्ट रिक्त समष्टिका टेंसर उत्पाद है। मिश्रित अवस्था का वर्णन घनत्व आव्यूह ρ द्वारा किया जाता है, जो टेन्सर उत्पाद पर अनुरेखण 1 का एक गैर-ऋणात्मक अनुरेखण-वर्ग है। संक्रियक B के संबंध में ρ का आंशिक अनुरेखण, जिसे द्वारा दर्शाया गया है, संक्रियक A पर ρ की घटी हुई अवस्था कहा जाता है। प्रतीकों में,

यह दिखाने के लिए कि यह वस्तुतः A उपसंक्रियक पर ρ को अवस्था आवंटित करने की समझदार विधि है, हम निम्नलिखित प्रामाणिकता प्रदान करते हैं। M को उपसंक्रियक A पर अवलोकन योग्य होने दें, फिर समग्र संक्रियक पर संबंधित अवलोकन योग्य है। यद्यपि घटी हुई अवस्था को परिभाषित करने का विकल्प चुनता है, मापन आँकड़ों की निरंतरता होनी चाहिए। उपसंक्रियक A के में तैयार होने के बाद M का अपेक्षित मान ρ में संयोजन संक्रियक तैयार होने पर के समान होना चाहिए, अर्थात निम्नलिखित समानता होनी चाहिए:

हम देखते हैं कि यह संतुष्ट है यदि आंशिक अनुरेखण के माध्यम से ऊपर परिभाषित किया गया है। इसके अतिरिक्त, ऐसा संक्रियक अद्वितीय है।

बता दें कि T (H) हिल्बर्ट समष्टि H पर अनुरेखण-वर्ग संक्रियकों का बनच समष्टि है। यह सरलता से जांचा जा सकता है कि प्रतिचित्र

के रूप में देखा जाने वाला आंशिक अनुरेखण पूर्ण रूप से धनात्मक और अनुरेखण-संरक्षित है।

घनत्व आव्यूह ρ हर्मिटियन आव्यूह है, धनात्मक अर्ध-निश्चित आव्यूह है, और इसमें 1 का अनुरेखण है। इसमें एक वर्णक्रमीय अपघटन (आव्यूह) है:

यह देखना सरल है कि आंशिक अनुरेखण भी इन प्रतिबंधों को पूरा करता है। उदाहरण के लिए, में किसी शुद्ध अवस्था के लिए, हमारे निकट

है

ध्यान दें कि शब्द अवस्था को खोजने की संभावना का प्रतिनिधित्व करते है जब समग्र प्रणाली अवस्था में होती है। यह की धनात्मक अर्ध-निश्चितता सिद्ध करते है।

जैसा कि ऊपर दिया गया है, आंशिक अनुरेखण प्रतिचित्र

द्वारा दिए गए और पर परिबद्ध संक्रियक के सी*- बीजगणित के बीच एक दोहरे प्रतिचित्र को प्रेरित करते है।

प्रेक्षणीय को प्रेक्षणीय में प्रतिचित्रित करता है और का हाइजेनबर्ग चित्र प्रतिनिधित्व है।

शास्त्रीय स्थिति के साथ तुलना

मान लीजिए क्वांटम यांत्रिक संक्रियक के अतिरिक्त, दो संक्रियक A और B शास्त्रीय हैं। प्रत्येक प्रणाली के लिए प्रेक्षणीय का समष्टि तब एबेलियन सी*- बीजगणित है। ये सघन समष्टि X, Y के लिए क्रमशः C(X) और C(Y) के रूप में हैं। संयुक्त संक्रियक की अवस्था समष्टि मात्र

है।

समग्र प्रणाली पर अवस्था C (X× Y) के दोहरे का एक धनात्मक अवयव ρ है, जो कि रिज़-मार्कोव प्रमेय द्वारा X× Y पर नियमित बोरेल माप से मेल खाता है। इसी घटी हुई अवस्था को माप ρ से X तक प्रक्षेपित करके प्राप्त किया जाता है। इस प्रकार आंशिक अनुरेखण इस संक्रियक के क्वांटम यांत्रिक समतुल्य है।


श्रेणी:रैखिक बीजगणित

श्रेणी: प्रकार्यक विश्लेषण