स्टाइनस्प्रिंग फैलाव प्रमेय

गणित में, स्टाइनस्प्रिंग का फैलाव प्रमेय, जिसे स्टाइनस्प्रिंग का गुणनखंडन प्रमेय भी कहा जाता है, जिसका नाम डब्ल्यू फॉरेस्ट स्टाइनस्प्रिंग के नाम पर रखा गया है, यह संक्रियक सिद्धांत का एक परिणाम है जो सी*-बीजगणित पर किसी भी पूर्ण रूप से धनात्मक प्रतिचित्र का प्रतिनिधित्व करता है, जिसमें से प्रत्येक में दो पूर्ण रूप से धनात्मक प्रतिचित्र होते हैं। एक विशेष रूप: इसके अतिरिक्त, स्टाइनस्प्रिंग की प्रमेय एक संरचना प्रमेय है जो सी*-बीजगणित से हिल्बर्ट समष्टि पर परिबद्ध संक्रियकों के बीजगणित में है। पूर्ण रूप से धनात्मक प्रतिचित्रों को *-निरूपणों के सरल संशोधनों के रूप में दिखाया जाता है, या कभी-कभी *-समरूपता कहा जाता है।
 * 1) A * - कुछ सहायक हिल्बर्ट समष्टि K पर A का प्रतिनिधित्व
 * 2) रूप T ↦ V*TV का संक्रियक प्रतिचित्र।

सूत्रीकरण
इकाई बीजगणित सी*-बीजगणित की स्थिति में, परिणाम इस प्रकार है:


 * प्रमेय। मान लीजिए A एक इकाई सी*-बीजगणित है, H एक हिल्बर्ट समष्टि है, और B(H) H पर परिबद्ध संकारक हैं। प्रत्येक पूर्ण रूप से धनात्मक
 * $$\Phi : A \to B(H)$$
 * के लिए, हिल्बर्ट समष्टि K और एक इकाई *- समरूपता
 * $$\pi : A \to B(K)$$
 * स्थित होता है जैसे कि
 * $$\Phi(a) = V^\ast \pi (a) V,$$
 * जहाँ $$V: H \to K$$ एक परिबद्ध संकारक है। इसके अतिरिक्त, हमारे निकट
 * $$\| \Phi(1) \| = \| V \|^2$$ है।

अनौपचारिक रूप से, कोई कह सकता है कि प्रत्येक पूर्ण रूप से धनात्मक प्रतिचित्र $$\Phi$$ प्रपत्र के प्रतिचित्र तक संपत्ति को उठाना हो सकता है $$V^* (\cdot) V$$.

प्रमेय का विलोम तुच्छ रूप से सत्य है। इसलिए स्टिंसप्रिंग का परिणाम पूर्ण रूप से धनात्मक प्रतिचित्रों को वर्गीकृत करता है।

प्रमाण का रेखाचित्र
अब हम संक्षेप में प्रमाण की रूपरेखा तैयार करते हैं। होने देना $$K = A \otimes H$$. के लिए $$a \otimes h, \ b \otimes g \in K$$, परिभाषित करना


 * $$ \langle a \otimes h, b \otimes g \rangle _K := \langle \Phi(b^*a) h, g  \rangle _H = \langle h, \Phi(a^*b)g \rangle_H$$

और अर्ध-रैखिकता से सभी K तक विस्तारित होता है। यह एक हर्मिटियन संक्रियक sesquilinear रूप है क्योंकि $$\Phi$$ * ऑपरेशन के अनुकूल है। की पूर्ण धनात्मकता $$\Phi$$ तब यह दिखाने के लिए प्रयोग किया जाता है कि यह अनुक्रमिक रूप वास्तव में धनात्मक अर्ध निश्चित है। चूँकि धनात्मक-निश्चित मैट्रिक्स हर्मिटियन सेस्क्विलिनियर रूप कॉची-श्वार्ज़ असमानता को संतुष्ट करते हैं, उपसमुच्चय


 * $$K' = \{x \in K \mid \langle x, x  \rangle _K = 0 \} \subset K$$

एक उपक्षेत्र है। भागफल स्थान (रैखिक बीजगणित)#Quotient_of_a_Banach_space_by_a_subspace पर विचार करके हम पतन (गणित) को हटा सकते हैं $$K / K' $$. इस भागफल स्थान का समापन (बीजगणित) तब एक हिल्बर्ट स्थान है, जिसे इसके द्वारा भी निरूपित किया जाता है $$K$$. अगला परिभाषित करें $$\pi (a) (b \otimes g) = ab \otimes g$$ और $$V h = 1_A \otimes h$$. कोई इसकी जांच कर सकता है $$\pi$$ और $$V$$ वांछित गुण हैं।

नोटिस जो $$V$$ H का K में प्राकृतिक रूपांतरण बीजगणितीय एम्बेडिंग है। कोई भी इसे सत्यापित कर सकता है $$V^\ast(a\otimes h) = \Phi(a)h$$ रखती है। विशेष रूप से $$V^\ast V = \Phi(1)$$ ऐसा रखता है $$V$$ एक आइसोमेट्री है अगर और केवल अगर $$\Phi(1)=1$$. इस मामले में एच को हिल्बर्ट समष्टि अर्थ में, के और में एम्बेड किया जा सकता है $$V^\ast$$, K पर कार्य करते हुए, H पर प्रक्षेपण बन जाता है। प्रतीकात्मक रूप से, हम लिख सकते हैं


 * $$\Phi (a) = P_H \; \pi(a) \Big|_H.$$

तनुकरण सिद्धांत की भाषा में यही कहना है $$\Phi(a)$$ का संपीडन है $$\pi(a)$$. इसलिए यह स्टाइनस्प्रिंग के प्रमेय का एक परिणाम है कि प्रत्येक इकाई पूर्ण रूप से धनात्मक प्रतिचित्र कुछ ** - समरूपता का संपीड़न है।

न्यूनतमता
ट्रिपल ($\pi$, V, K) को Φ का 'स्टाइनस्प्रिंग प्रतिनिधित्व' कहा जाता है। एक स्वाभाविक प्रश्न अब यह है कि क्या कोई किसी अर्थ में दिए गए स्टिनस्प्रिंग प्रतिनिधित्व को कम कर सकता है।

चलो के1 की बंद रैखिक अवधि हो π(ए) वीएच। *-निरूपण की संपत्ति द्वारा सामान्य रूप से, के1 की एक अपरिवर्तनीय उपसमष्टि है π(ए) सभी के लिए ए। साथ ही, के1 वीएच शामिल है। परिभाषित करना


 * $$\pi _1 (a) = \pi (a) \Big|_{K_1}.$$

हम सीधे गणना कर सकते हैं


 * $$\begin{align}

\pi_1 (a) \pi_1 (b) &= \pi (a) \Big|_{K_1} \pi (b) \Big|_{K_1} \\ &= \pi (a) \pi (b) \Big|_{K_1} \\ &= \pi (ab) \Big|_{K_1} \\ &= \pi_1 (ab) \end{align}$$ और अगर k और ℓ K में स्थित हैं1
 * $$\begin{align}

\langle \pi_1 (a^*)k, \ell \rangle &= \langle \pi (a^*)k, \ell \rangle \\ &= \langle \pi(a)^* k, \ell \rangle \\ &= \langle k, \pi (a) \ell \rangle \\ &= \langle k, \pi_1 (a) \ell \rangle \\ &=\langle \pi_1 (a)^* k, \ell \rangle. \end{align}$$ इसलिए (π1, वी, के1) भी Φ का एक स्टिंसप्रिंग प्रतिनिधित्व है और इसमें अतिरिक्त संपत्ति है जो K1 की बंद रैखिक अवधि है π(ए) वी एच। इस तरह के एक प्रतिनिधित्व को 'न्यूनतम स्टाइनस्प्रिंग प्रतिनिधित्व' कहा जाता है।

अनोखापन
होने देना (π1, में1, क1) और (π2, में2, क2) किसी दिए गए Φ के दो स्टाइनस्प्रिंग निरूपण हैं। आंशिक समावयवता W : K को परिभाषित कीजिए1 → के2 द्वारा


 * $$\; W \pi_1 (a) V_1 h = \pi_2 (a) V_2 h.$$

वह अंदर है1एच ⊂ के1, यह परस्पर संबंध देता है


 * $$\; W \pi_1 = \pi_2 W.$$

विशेष रूप से, यदि दोनों स्टिन्सप्रिंग प्रतिनिधित्व न्यूनतम हैं, तो डब्ल्यू एकात्मक संक्रियक है। इस प्रकार एकात्मक परिवर्तन के लिए न्यूनतम स्टाइनस्प्रिंग अभ्यावेदन अद्वितीय हैं।

कुछ परिणाम
हम कुछ परिणामों का उल्लेख करते हैं जिन्हें स्टाइनस्प्रिंग प्रमेय के परिणामों के रूप में देखा जा सकता है। ऐतिहासिक रूप से, नीचे दिए गए कुछ परिणाम स्टाइनस्प्रिंग के प्रमेय से पहले के हैं।

जीएनएस निर्माण
गेलफैंड-नैमार्क-सेगल निर्माण | गेलफैंड-नैमार्क-सेगल (जीएनएस) निर्माण इस प्रकार है। स्टाइनस्प्रिंग के प्रमेय में एच को 1-आयामी, यानी जटिल संख्या होने दें। तो Φ अब ए पर एक धनात्मक रैखिक कार्यात्मक है। अगर हम मानते हैं कि Φ एक राज्य (कार्यात्मक विश्लेषण) है, अर्थात, Φ का मानदंड 1 है, तो आइसोमेट्री $$V : H \to K$$ इसके द्वारा निर्धारित किया जाता है


 * $$V 1 = \xi$$

कुछ के लिए $$\xi \in K$$ यूनिट-मानदंड वेक्टर का। इसलिए


 * $$\begin{align}

\Phi(a) = V^* \pi (a) V &= \langle V^* \pi (a) V 1, 1 \rangle _H \\ &= \langle \pi (a) V 1, V 1 \rangle _K \\ &= \langle \pi (a) \xi, \xi \rangle _K \end{align} $$ और हमने राज्यों के GNS प्रतिनिधित्व को पुनः प्राप्त किया है। यह देखने का एक तरीका है कि पूर्ण रूप से धनात्मक प्रतिचित्र, केवल धनात्मक के बजाय, धनात्मक कार्यात्मक के सच्चे सामान्यीकरण हैं।

सी * - बीजगणित पर एक रैखिक धनात्मक कार्यात्मक ऐसे अन्य कार्यात्मक (संदर्भ कार्यात्मक कहा जाता है) के संबंध में बिल्कुल निरंतर है यदि यह किसी भी धनात्मक तत्व पर 0 है जिस पर संदर्भ धनात्मक कार्यात्मक शून्य है। यह रैडॉन-निकोडिम प्रमेय के एक गैर-अनुक्रमिक सामान्यीकरण की ओर जाता है। मानक ट्रेस (रैखिक बीजगणित) के संबंध में मैट्रिक्स बीजगणित पर राज्यों का सामान्य घनत्व संक्रियक कुछ भी नहीं है, लेकिन रैडॉन-निकोडिम व्युत्पन्न है जब संदर्भ कार्यात्मक को ट्रेस करने के लिए चुना जाता है। व्याचेस्लाव बेलावकिन ने दूसरे (संदर्भ) प्रतिचित्र के संबंध में एक पूर्ण रूप से धनात्मक प्रतिचित्र की पूर्ण निरपेक्ष निरंतरता की धारणा पेश की और पूर्ण रूप से धनात्मक प्रतिचित्रों के लिए गैर-अनुवर्ती रेडॉन-निकोडिम प्रमेय के एक संक्रियक संस्करण को साबित किया। मैट्रिक्स बीजगणित पर ट्रेसियल पूर्ण रूप से धनात्मक संदर्भ प्रतिचित्र के अनुरूप इस प्रमेय का एक विशेष मामला चोई संक्रियक को मानक ट्रेस के संबंध में एक सीपी प्रतिचित्र के रेडॉन-निकोडिम व्युत्पन्न के रूप में ले जाता है (चोई के प्रमेय देखें)।

चोई की प्रमेय
चोई द्वारा यह दिखाया गया था कि यदि $$\Phi: B(G) \to B(H)$$ पूर्ण रूप से धनात्मक है, जहां G और H क्रमशः आयाम n और m के परिमित-आयामी हिल्बर्ट रिक्त स्थान की श्रेणी हैं, फिर Φ रूप लेता है:


 * $$\Phi (a) = \sum_{i = 1}^{nm} V_i^* a V_i .$$

इसे पूर्ण रूप से धनात्मक प्रतिचित्रों पर चोई का प्रमेय कहा जाता है। चोई ने रेखीय बीजगणित तकनीकों का उपयोग करके इसे सिद्ध किया, लेकिन उनके परिणाम को स्टाइनस्प्रिंग के प्रमेय के एक विशेष मामले के रूप में भी देखा जा सकता है: मान लीजिए (π, V, K) Φ का न्यूनतम स्टाइनस्प्रिंग प्रतिनिधित्व हो। न्यूनता से, K का आयाम इससे कम है $$C^{n \times n} \otimes C^m$$. तो सामान्यता के नुकसान के बिना, K की पहचान की जा सकती है


 * $$K = \bigoplus_{i = 1}^{nm} C_i^n.$$

प्रत्येक $$C_i^n$$ एन-डायमेंशनल हिल्बर्ट समष्टि की एक प्रति है। से $$\pi (a) (b \otimes g) = ab \otimes g$$, हम देखते हैं कि K की उपरोक्त पहचान को व्यवस्थित किया जा सकता है $$\; P_i \pi(a) P_i = a$$, जहां पीiK से प्रक्षेपण है $$C_i^n$$. होने देना $$V_i = P_i V$$. अपने निकट


 * $$\Phi (a) = \sum_{i = 1}^{nm} (V^* P_i) (P_i \pi(a) P_i) (P_i V) = \sum _{i = 1} ^{nm} V_i^* a V_i$$

और चोई का परिणाम सिद्ध होता है।

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

ध्यान दें कि, चोई के प्रमेय को सिद्ध करने में, साथ ही स्टाइनस्प्रिंग के सूत्रीकरण से बेलावकिन के प्रमेय में, तर्क क्रॉस संक्रियकों वी को नहीं देता हैiस्पष्ट रूप से, जब तक कि कोई रिक्त स्थान की विभिन्न पहचान स्पष्ट नहीं करता। दूसरी ओर, चोई के मूल प्रमाण में उन संक्रियकों की सीधी गणना शामिल है।

नैमार्क का फैलाव प्रमेय
नाइमार्क के प्रमेय का कहना है कि प्रत्येक बी (एच) -मूल्यवान, कमजोर रूप से गणनीय-योगात्मक उपाय कुछ कॉम्पैक्ट हौसडॉर्फ समष्टि एक्स पर उठाया जा सकता है ताकि माप वर्णक्रमीय माप बन जाए। इस तथ्य को जोड़कर यह सिद्ध किया जा सकता है कि C(X) क्रमविनिमेय सी*-बीजगणित और Stinespring's theorem है।

Sz.-नागी का फैलाव प्रमेय
इस परिणाम में कहा गया है कि हिल्बर्ट समष्टि पर प्रत्येक संकुचन (संचालक सिद्धांत) में न्यूनतम संपत्ति के साथ एकात्मक फैलाव होता है।

आवेदन
क्वांटम सूचना सिद्धांत में, क्वांटम चैनल, या क्वांटम ऑपरेशन को सी*-एलजेब्रा के बीच पूर्ण रूप से धनात्मक प्रतिचित्र के रूप में परिभाषित किया गया है। ऐसे सभी नक्शों का वर्गीकरण होने के नाते, स्टाइनस्प्रिंग का प्रमेय उस संदर्भ में महत्वपूर्ण है। उदाहरण के लिए, प्रमेय के अद्वितीय भाग का उपयोग क्वांटम चैनलों के कुछ वर्गों को वर्गीकृत करने के लिए किया गया है।

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


 * $$\Phi (a) = \sum_{i = 1}^{nm} V_i^* a V_i.$$

Φ के क्रूस संचालक कहलाते हैं। इजहार


 * $$\sum_{i = 1}^{nm} V_i^* ( \cdot ) V_i$$

कभी-कभी Φ का संचालक योग निरूपण कहा जाता है।

संदर्भ

 * M.-D. Choi, Completely Positive Linear Maps on Complex Matrices, Linear Algebra and its Applications, 10, 285–290 (1975).
 * V. P. Belavkin, P. Staszewski, Radon–Nikodym Theorem for Completely Positive Maps, Reports on Mathematical Physics, v. 24, No 1, 49–55 (1986).
 * V. Paulsen, Completely Bounded Maps and Operator Algebras, Cambridge University Press, 2003.
 * W. F. Stinespring, Positive Functions on सी*-algebras, Proceedings of the American Mathematical Society, 6, 211–216 (1955).