क्वांटम सापेक्ष एन्ट्रापी: Difference between revisions

From Vigyanwiki
(Created page with "क्वांटम सूचना सिद्धांत में, क्वांटम सापेक्ष एन्ट्रापी दो घनत्...")
 
No edit summary
Line 1: Line 1:
[[क्वांटम सूचना सिद्धांत]] में, क्वांटम [[सापेक्ष एन्ट्रापी]] दो [[घनत्व मैट्रिक्स]] के बीच विभेदन का एक उपाय है। यह सापेक्ष एन्ट्रॉपी का क्वांटम मैकेनिकल एनालॉग है।
[[क्वांटम सूचना सिद्धांत]] में, '''क्वांटम [[सापेक्ष एन्ट्रापी]]''' दो [[घनत्व मैट्रिक्स|क्वांटम अवस्थाओं]] के बीच भिन्नता का एक परिमाण है। यह सापेक्ष एन्ट्रापी का क्वांटम यांत्रिक अनुरूप है।


== प्रेरणा ==
== अभिप्रेरण ==


सरलता के लिए, यह मान लिया जाएगा कि लेख में सभी वस्तुएँ परिमित-विमीय हैं।
सरलता के लिए, यह मान लिया जाएगा कि लेख में सभी वस्तुएं परिमित-आयामी हैं।


हम पहले शास्त्रीय मामले पर चर्चा करते हैं। मान लीजिए कि घटनाओं के परिमित क्रम की प्रायिकताएँ प्रायिकता बंटन P = {p<sub>1</sub>...पी<sub>''n''</sub>}, लेकिन किसी तरह हमने गलती से इसे Q = {q मान लिया<sub>1</sub>...क्यू<sub>''n''</sub>}. उदाहरण के लिए, हम एक अनुचित सिक्के को सही सिक्के की गलती कर सकते हैं। इस गलत धारणा के अनुसार, जे-वें घटना के बारे में हमारी अनिश्चितता, या समतुल्य, जे-वें घटना को देखने के बाद प्रदान की गई जानकारी की मात्रा है
सबसे पहले हम चिरसम्मत स्थितियों पर चर्चा करते हैं। मान लीजिए कि घटनाओं के परिमित अनुक्रम की संभावनाएं प्रायिकता वितरण ''P'' = {''p''<sub>1</sub>...''p<sub>n</sub>''} द्वारा दी गई हैं, लेकिन किसी तरह हमने गलती से इसे ''Q'' = {''q''<sub>1</sub>...''q<sub>n</sub>''} मान लिया। उदाहरण के लिए, हम एक अनुचित सिक्के को उचित सिक्के के रूप में गलत समझ सकते हैं। इस गलत धारणा के अनुसार, जे-वें घटना के बारे में हमारी अनिश्चितता, या समतुल्य, जे-वें घटना को देखने के बाद प्रदान की जाने वाली जानकारी की मात्रा है


:<math>\; - \log q_j.</math>
:<math>\; - \log q_j.</math>
Line 11: Line 11:


:<math>\; - \sum_j p_j \log q_j.</math>
:<math>\; - \sum_j p_j \log q_j.</math>
दूसरी ओर, प्रायिकता बंटन p की [[शैनन एंट्रॉपी]], द्वारा परिभाषित
दूसरी ओर, प्रायिकता वितरण ''p'' की [[शैनन एंट्रॉपी|शैनन एन्ट्रापी]], द्वारा परिभाषित


:<math>\; - \sum_j p_j \log p_j,</math>
:<math>\; - \sum_j p_j \log p_j,</math>
Line 17: Line 17:


:<math>\; - \sum_j p_j \log q_j - \left(- \sum_j p_j \log p_j\right) = \sum_j p_j \log p_j - \sum_j p_j \log q_j</math>
:<math>\; - \sum_j p_j \log q_j - \left(- \sum_j p_j \log p_j\right) = \sum_j p_j \log p_j - \sum_j p_j \log q_j</math>
दो प्रायिकता वितरण p और q की भिन्नता का एक उपाय है। यह शास्त्रीय सापेक्ष एंट्रॉपी, या कुल्बैक-लीब्लर विचलन है:
दो प्रायिकता वितरण ''p'' और ''q'' की भिन्नता का परिमाण है। यह चिरसम्मत सापेक्ष एंट्रॉपी, या कुल्बैक-लीब्लर विचलन है-


:<math>D_{\mathrm{KL}}(P\|Q) = \sum_j p_j \log \frac{p_j}{q_j} \!.</math>
:<math>D_{\mathrm{KL}}(P\|Q) = \sum_j p_j \log \frac{p_j}{q_j} \!.</math>
टिप्पणी
'''टिप्पणी'''
# ऊपर दी गई परिभाषाओं में, 0·log 0 = 0 माना जाता है, चूंकि <math>\lim_{x \searrow 0} x \log(x) = 0</math>. सहज रूप से, किसी को उम्मीद होगी कि शून्य प्रायिकता की घटना एन्ट्रापी की दिशा में कुछ भी योगदान नहीं देगी।
# ऊपर दी गई परिभाषाओं में, अभिसमय है कि 0·log 0 = 0 माना जाता है, क्योंकि <math>\lim_{x \searrow 0} x \log(x) = 0</math>सहज रूप से, किसी को अपेक्षा होगी कि शून्य प्रायिकता की घटना एन्ट्रापी की दिशा में कुछ भी योगदान नहीं देगी।
#सापेक्ष एन्ट्रापी एक [[मीट्रिक स्थान]] नहीं है। उदाहरण के लिए, यह सममित नहीं है। एक निष्पक्ष सिक्के को अनुचित मानने की अनिश्चितता की विसंगति विपरीत स्थिति के समान नहीं है।
#सापेक्ष एंट्रॉपी [[मीट्रिक स्थान|मैट्रिक]] नहीं है। उदाहरण के लिए, यह सममित नहीं है। एक उचित सिक्के को गलत समझने में अनिश्चितता की विसंगति विपरीत स्थिति के समान नहीं है।


== परिभाषा ==
== परिभाषा ==


क्वांटम सूचना सिद्धांत में कई अन्य वस्तुओं के साथ, क्वांटम सापेक्ष एन्ट्रॉपी को संभाव्यता वितरण से घनत्व मैट्रिक्स तक शास्त्रीय परिभाषा का विस्तार करके परिभाषित किया गया है। चलो ρ एक घनत्व मैट्रिक्स हो। ρ का [[वॉन न्यूमैन एन्ट्रॉपी]], जो शैनन एंट्रॉपी का क्वांटम मैकेनिकल एनालॉग है, द्वारा दिया गया है
क्वांटम सूचना सिद्धांत में कई अन्य वस्तुओं के साथ, क्वांटम सापेक्ष एन्ट्रॉपी को प्रायिकता वितरण से लेकर घनत्व मैट्रिक्स तक चिरसम्मत परिभाषा का विस्तार करके परिभाषित किया गया है। माना कि ρ एक घनत्व मैट्रिक्स है। ρ का [[वॉन न्यूमैन एन्ट्रॉपी|वॉन न्यूमैन एंट्रॉपी]], जो शैनन एंट्रॉपी का क्वांटम यांत्रिक अनुरूप है, द्वारा दिया गया है


:<math>S(\rho) = - \operatorname{Tr} \rho \log \rho.</math>
:<math>S(\rho) = - \operatorname{Tr} \rho \log \rho.</math>
दो घनत्व आव्यूह ρ और σ के लिए, σ के संबंध में ρ की क्वांटम सापेक्ष एन्ट्रापी' द्वारा परिभाषित किया गया है
दो घनत्व आव्यूह ρ और σ के लिए, σ के संबंध में ρ की क्वांटम सापेक्ष एन्ट्रॉपी को परिभाषित किया गया है


:<math>
:<math>
S(\rho \| \sigma) = - \operatorname{Tr} \rho \log \sigma - S(\rho) = \operatorname{Tr} \rho \log \rho - \operatorname{Tr} \rho \log \sigma = \operatorname{Tr}\rho (\log \rho - \log \sigma).
S(\rho \| \sigma) = - \operatorname{Tr} \rho \log \sigma - S(\rho) = \operatorname{Tr} \rho \log \rho - \operatorname{Tr} \rho \log \sigma = \operatorname{Tr}\rho (\log \rho - \log \sigma).
</math>
</math>
हम देखते हैं कि, जब राज्य शास्त्रीय रूप से संबंधित होते हैं, यानी ρσ = σρ, परिभाषा शास्त्रीय मामले के साथ मेल खाती है, इस अर्थ में कि यदि <math>\rho = S D_1 S^{\mathsf{T}}</math> और <math>\sigma = S D_2 S^{\mathsf{T}}</math> साथ <math>D_1 = \text{diag}(\lambda_1, \ldots, \lambda_n)</math> और <math>D_2 = \text{diag}(\mu_1, \ldots, \mu_n)</math> (क्योंकि <math>\rho</math> और <math>\sigma</math> [[आने वाले मैट्रिसेस]], वे [[विकर्ण मैट्रिक्स]] हैं), फिर <math>S(\rho \| \sigma) = \sum_{j = 1}^{n} \lambda_j \ln\left(\frac{\lambda_j}{\mu_j}\right)</math> प्रायिकता सदिश का केवल साधारण कुल्बैक-लीब्लर विचलन है <math>(\lambda_1, \ldots, \lambda_n)</math> संभाव्यता वेक्टर के संबंध में <math>(\mu_1, \ldots, \mu_n)</math>.
हम देखते हैं कि, जब अवस्था चिरसम्मत रूप से संबंधित होती हैं, अर्थात ''ρσ'' = ''σρ'', परिभाषा चिरसम्मत स्थिति के साथ मेल खाती है, इस अर्थ में कि यदि <math>\rho = S D_1 S^{\mathsf{T}}</math> और <math>\sigma = S D_2 S^{\mathsf{T}}</math> <math>D_1 = \text{diag}(\lambda_1, \ldots, \lambda_n)</math> और <math>D_2 = \text{diag}(\mu_1, \ldots, \mu_n)</math> के साथ (क्योंकि <math>\rho</math> और <math>\sigma</math> कम्यूट करते हैं , वे एक साथ [[विकर्ण मैट्रिक्स|विकर्ण]] करने योग्य हैं), तो <math>S(\rho \| \sigma) = \sum_{j = 1}^{n} \lambda_j \ln\left(\frac{\lambda_j}{\mu_j}\right)</math> प्रायिकता सदिश <math>(\lambda_1, \ldots, \lambda_n)</math> के संबंध में प्रायिकता सदिश <math>(\mu_1, \ldots, \mu_n)</math> का सामान्य कुल्बैक-लीब्लर विचलन है)।


=== गैर-परिमित (भिन्न) सापेक्ष एन्ट्रॉपी ===
=== गैर-परिमित (विचलन) सापेक्ष एन्ट्रॉपी ===


सामान्य तौर पर, मैट्रिक्स एम का समर्थन इसके कर्नेल (मैट्रिक्स) का ऑर्थोगोनल पूरक है, यानी। <math>\text{supp}(M) = \text{ker}(M)^\perp </math>. क्वांटम सापेक्ष एंट्रॉपी पर विचार करते समय, हम मानते हैं कि −s · log 0 = ∞ किसी भी > 0 के लिए। इससे यह परिभाषा मिलती है कि
सामान्य तौर पर, मैट्रिक्स ''M'' का समर्थन इसके कर्नेल का ऑर्थोगोनल पूरक होता है, अर्थात <math>\text{supp}(M) = \text{ker}(M)^\perp </math>क्वांटम सापेक्ष एंट्रॉपी पर विचार करते समय, हम मानते हैं कि −''s'' · log 0 = किसी भी ''s'' > 0 के लिए। यह परिभाषा की ओर जाता है कि


:<math>S(\rho \| \sigma) = \infty</math>
:<math>S(\rho \| \sigma) = \infty</math>
कब
जब


:<math>\text{supp}(\rho) \cap \text{ker}(\sigma) \neq \{ 0 \}.</math>
:<math>\text{supp}(\rho) \cap \text{ker}(\sigma) \neq \{ 0 \}.</math>
इसे निम्न प्रकार से समझा जा सकता है। अनौपचारिक रूप से, क्वांटम सापेक्ष एन्ट्रापी दो क्वांटम अवस्थाओं में अंतर करने की हमारी क्षमता का एक माप है जहां बड़े मान राज्यों को इंगित करते हैं जो अधिक भिन्न हैं। ऑर्थोगोनल होना सबसे अलग क्वांटम राज्यों का प्रतिनिधित्व करता है। यह ऑर्थोगोनल क्वांटम राज्यों के लिए गैर-परिमित क्वांटम सापेक्ष एन्ट्रापी द्वारा परिलक्षित होता है। मोटिवेशन सेक्शन में दिए गए तर्क का पालन करते हुए अगर हम गलती से स्टेट मान लेते हैं <math>\rho</math> में समर्थन है <math>\text{ker}(\sigma)</math>, यह एक ऐसी त्रुटि है जिससे उबरना असंभव है।
इसे निम्न प्रकार से समझा जा सकता है। अनौपचारिक रूप से, क्वांटम सापेक्ष एन्ट्रॉपी दो क्वांटम अवस्थाओं में अंतर करने की हमारी क्षमता का परिमाण है जहां बड़े मान उन अवस्थाओं को इंगित करते हैं जो अधिक भिन्न हैं। ऑर्थोगोनल होना सबसे अलग क्वांटम अवस्थाओं का प्रतिनिधित्व करता है। यह ऑर्थोगोनल क्वांटम अवस्थाओं के लिए गैर-परिमित क्वांटम सापेक्ष एन्ट्रापी द्वारा परिलक्षित होता है। अभिप्रेरण अनुभाग में दिए गए तर्क का पालन करते हुए, यदि हम गलती से मान लेते हैं कि अवस्था <math>\rho</math> को <math>\text{ker}(\sigma)</math> में समर्थन प्राप्त है, तो यह एक ऐसी त्रुटि है जिससे ठीक होना असंभव है।  


हालांकि, किसी को सावधान रहना चाहिए कि यह निष्कर्ष न निकालें कि क्वांटम सापेक्ष एन्ट्रापी का विचलन <math>S(\rho\|\sigma)</math> तात्पर्य यह है कि राज्य <math>\rho</math> और <math>\sigma</math> ऑर्थोगोनल हैं या अन्य उपायों से भी बहुत अलग हैं। विशेष रूप से, <math>S(\rho\|\sigma)</math> कब अलग हो सकता है <math>\rho</math> और <math>\sigma</math> कुछ मानदंड द्वारा मापी गई एक लुप्त हो रही छोटी राशि से भिन्न होती है। उदाहरण के लिए, चलो <math>\sigma</math> विकर्ण प्रतिनिधित्व है
हालांकि, किसी को सावधान रहना चाहिए कि यह निष्कर्ष न निकाला जाए कि क्वांटम सापेक्ष एंट्रॉपी <math>S(\rho\|\sigma)</math> का विचलन यह दर्शाता है कि अवस्था <math>\rho</math> और <math>\sigma</math> ऑर्थोगोनल हैं या अन्य परिमाणों से भी बहुत भिन्न हैं। विशेष रूप से, जब <math>\rho</math> और <math>\sigma</math> कुछ मानक द्वारा मापी गई लुप्त हो रही अल्प मात्रा से भिन्न होते हैं, तो <math>S(\rho\|\sigma)</math> विचलन कर सकता है। उदाहरण के लिए, मान लीजिए कि <math>\sigma</math> का विकर्ण निरूपण है  


<math>\sigma=\sum_{n}\lambda_n|f_n\rangle\langle f_n|</math>
<math>\sigma=\sum_{n}\lambda_n|f_n\rangle\langle f_n|</math>
साथ <math>\lambda_n>0</math> के लिए <math>n=0,1,2,\ldots</math> और <math>\lambda_n=0</math> के लिए <math>n=-1,-2,\ldots</math> कहाँ <math>\{|f_n\rangle, n\in \Z\}</math> एक असामान्य सेट है। की गिरी <math>\sigma</math> सेट द्वारा फैला हुआ स्थान है <math>\{|f_{n}\rangle, n=-1,-2,\ldots\}</math>. अगला चलो
 
<math>\lambda_n>0</math> के लिए <math>n=0,1,2,\ldots</math> और <math>\lambda_n=0</math> के लिए <math>n=-1,-2,\ldots</math> के साथ जहां <math>\{|f_n\rangle, n\in \Z\}</math> ऑर्थोनॉर्मल समुच्चय है। <math>\sigma</math> का कर्नेल समुच्चय <math>\{|f_{n}\rangle, n=-1,-2,\ldots\}</math> द्वारा विस्तृत स्थान है। अगला माना


<math>    \rho=\sigma+\epsilon|f_{-1}\rangle\langle f_{-1}| - \epsilon|f_1\rangle\langle f_1|</math>
<math>    \rho=\sigma+\epsilon|f_{-1}\rangle\langle f_{-1}| - \epsilon|f_1\rangle\langle f_1|</math>
एक छोटी सकारात्मक संख्या के लिए <math>\epsilon</math>. जैसा <math>\rho</math> समर्थन है (अर्थात् राज्य <math>|f_{-1}\rangle</math>) के कर्नेल में <math>\sigma</math>, <math>S(\rho\|\sigma)</math> अंतर के ट्रेस मानदंड के बावजूद भिन्न है <math>(\rho-\sigma)</math> है <math>2\epsilon</math> . इसका मतलब है कि बीच का अंतर <math>\rho</math> और <math>\sigma</math> जैसा कि ट्रेस मानदंड द्वारा मापा जाता है, गायब होने के रूप में छोटा है <math>\epsilon\to 0</math> चाहे <math>S(\rho\|\sigma)</math> अपसारी है (अर्थात अनंत)। क्वांटम सापेक्ष एंट्रॉपी की यह संपत्ति देखभाल के साथ इलाज न किए जाने पर गंभीर कमी का प्रतिनिधित्व करती है।


== सापेक्ष एन्ट्रापी की गैर-नकारात्मकता ==
छोटी धनात्मक संख्या <math>\epsilon</math> के लिए। चूंकि <math>\rho</math> को <math>\sigma</math> के कर्नेल में समर्थन (अर्थात् अवस्था <math>|f_{-1}\rangle</math>) है, <math>S(\rho\|\sigma)</math> विचलन है, यद्यपि अंतर <math>(\rho-\sigma)</math> का ट्रेस मानदंड <math>2\epsilon</math> है। इसका अर्थ यह है कि ट्रेस मानदंड द्वारा मापे गए <math>\rho</math> और <math>\sigma</math> के बीच का अंतर <math>\epsilon\to 0</math> के रूप में लुप्त हो जाता है, यद्यपि <math>S(\rho\|\sigma)</math> विचलन (अर्थात अनंत) हो। क्वांटम सापेक्ष एंट्रॉपी का यह गुण सावधानी के साथ अभिक्रियित न किए जाने पर गंभीर कमी का प्रतिनिधित्व करता है।


=== शास्त्रीय कथन के अनुरूप ===
== सापेक्ष एन्ट्रापी की गैर-ऋणात्मकता ==


शास्त्रीय कुल्बैक-लीब्लर विचलन के लिए, यह दिखाया जा सकता है
=== संगत चिरसम्मत कथन ===
 
चिरसम्मत कुल्बैक-लीब्लर विचलन के लिए, यह दिखाया जा सकता है


:<math>D_{\mathrm{KL}}(P\|Q) = \sum_j p_j \log \frac{p_j}{q_j} \geq 0,</math>
:<math>D_{\mathrm{KL}}(P\|Q) = \sum_j p_j \log \frac{p_j}{q_j} \geq 0,</math>
और समानता तब और केवल तभी लागू होती है जब P = Q. बोलचाल की भाषा में, इसका मतलब यह है कि गलत धारणाओं का उपयोग करके गणना की गई अनिश्चितता हमेशा अनिश्चितता की वास्तविक मात्रा से अधिक होती है।
और समानता धारण करती है यदि और केवल यदि ''P'' = ''Q। संवादात्मक रूप से, इसका अर्थ यह है कि गलत धारणाओं का उपयोग करके अनिश्चितता की गणना हमेशा अनिश्चितता की वास्तविक मात्रा से अधिक होती है।''


असमानता दिखाने के लिए, हम फिर से लिखते हैं
असमानता दिखाने के लिए, हम फिर से लिखते हैं


:<math>D_{\mathrm{KL}}(P\|Q) = \sum_j p_j \log \frac{p_j}{q_j} =  \sum_j (- \log \frac{q_j}{p_j})(p_j).</math>
:<math>D_{\mathrm{KL}}(P\|Q) = \sum_j p_j \log \frac{p_j}{q_j} =  \sum_j (- \log \frac{q_j}{p_j})(p_j).</math>
ध्यान दें कि log एक अवतल फलन है। अतः -log उत्तल फलन है। जेन्सेन की असमानता को लागू करते हुए, हम प्राप्त करते हैं
ध्यान दें कि log एक अवतल फलन है। अतः -log उत्तल है। जेन्सेन की असमानता को लागू करने पर, हमें प्राप्त होता है


:<math>
:<math>
D_{\mathrm{KL}}(P\|Q) = \sum_j (- \log \frac{q_j}{p_j})(p_j) \geq - \log ( \sum_j \frac{q_j}{p_j} p_j ) = 0.
D_{\mathrm{KL}}(P\|Q) = \sum_j (- \log \frac{q_j}{p_j})(p_j) \geq - \log ( \sum_j \frac{q_j}{p_j} p_j ) = 0.
</math>
</math>
जेन्सेन की असमानता यह भी बताती है कि समानता केवल और केवल अगर, सभी i, q के लिए है<sub>i</sub>= (क्यू<sub>j</sub>) पी<sub>i</sub>, यानी पी = क्यू।
जेन्सेन की असमानता यह भी बताती है कि समानता तभी और केवल तभी लागू होती है, जब सभी ''i'', ''q<sub>i</sub>'' = (Σ''q<sub>j</sub>'') ''p<sub>i</sub>'', अर्थात ''p'' = ''q'' के लिए।


=== परिणाम ===
=== परिणाम ===


ट्रेस असमानताएँ#Klein2016 10|क्लेन की असमानता बताती है कि क्वांटम सापेक्ष एन्ट्रापी
क्लेन की असमानता बताती है कि क्वांटम सापेक्ष एन्ट्रापी


:<math>
:<math>
S(\rho \| \sigma) = \operatorname{Tr}\rho (\log \rho - \log \sigma).
S(\rho \| \sigma) = \operatorname{Tr}\rho (\log \rho - \log \sigma).
</math>
</math>
सामान्य रूप से गैर-नकारात्मक है। यह शून्य है अगर और केवल अगर ρ = σ।
सामान्य रूप से गैर-ऋणात्मकता है। यह शून्य होता है यदि और केवल यदि ''ρ'' = ''σ''।


'सबूत'
==== प्रमाण ====
 
माना ''ρ'' और ''σ''  में वर्णक्रमीय अपघटन हैं  
चलो ρ और σ में वर्णक्रमीय अपघटन हैं


:<math>\rho = \sum_i p_i v_i v_i ^* \; , \; \sigma = \sum_i q_i w_i w_i ^*.</math>
:<math>\rho = \sum_i p_i v_i v_i ^* \; , \; \sigma = \sum_i q_i w_i w_i ^*.</math>
Line 95: Line 96:
:<math>\qquad \quad \;  = \sum_i p_i ( \log p_i - \sum_j \log q_j | v_i ^* w_j |^2)</math>
:<math>\qquad \quad \;  = \sum_i p_i ( \log p_i - \sum_j \log q_j | v_i ^* w_j |^2)</math>
:<math>\qquad \quad \; = \sum_i p_i (\log p_i - \sum_j (\log q_j )P_{ij}),</math>
:<math>\qquad \quad \; = \sum_i p_i (\log p_i - \sum_j (\log q_j )P_{ij}),</math>
जहां पी<sub>i j</sub>= |में<sub>i</sub>*में<sub>j</sub>|<sup>2</उप>
जहां ''P<sub>i j</sub>'' = |''v<sub>i</sub>*w<sub>j</sub>''|<sup>2</sup>


चूंकि मैट्रिक्स (पी<sub>i j</sub>)<sub>i j</sub>एक [[दोगुना स्टोकेस्टिक मैट्रिक्स]] है और -लॉग एक उत्तल कार्य है, उपरोक्त अभिव्यक्ति है
चूंकि मैट्रिक्स (''P<sub>i j</sub>'')''<sub>i j</sub>''  [[दोगुना स्टोकेस्टिक मैट्रिक्स|दोगुना प्रसंभाव्यता मैट्रिक्स]] है और -log उत्तल फलन है, उपरोक्त अभिव्यक्ति है


:<math>\geq \sum_i p_i (\log p_i - \log (\sum_j q_j P_{ij})).</math>
:<math>\geq \sum_i p_i (\log p_i - \log (\sum_j q_j P_{ij})).</math>
आर परिभाषित करें<sub>i</sub> = एस<sub>''j''</sub>q<sub>j</sub> P<sub>i j</sub>. तब {आर<sub>i</sub>} एक प्रायिकता बंटन है। शास्त्रीय सापेक्ष एन्ट्रॉपी की गैर-नकारात्मकता से, हमारे पास है
''r''<sub>i</sub> = Σ<sub>''j''</sub>''q<sub>j</sub> P<sub>i j</sub>''. परिभाषित करें। तब {''r''<sub>i</sub>} एक प्रायिकता वितरण है। चिरसम्मत सापेक्ष एन्ट्रॉपी की गैर-ऋणात्मकता से, हमारे पास है


:<math>S(\rho \| \sigma) \geq \sum_i p_i \log \frac{p_i}{r_i} \geq 0.</math>
:<math>S(\rho \| \sigma) \geq \sum_i p_i \log \frac{p_i}{r_i} \geq 0.</math>
दावे का दूसरा भाग इस तथ्य से अनुसरण करता है कि, चूंकि -लॉग कड़ाई से उत्तल है, समानता प्राप्त की जाती है
दावे का दूसरा भाग इस तथ्य से अनुसरण करता है कि, चूंकि -log पूर्णता उत्तल है, इसलिए समानता प्राप्त की जाती है


:<math>
:<math>
\sum_i p_i (\log p_i - \sum_j (\log q_j )P_{ij}) \geq \sum_i p_i (\log p_i - \log (\sum_j q_j P_{ij}))
\sum_i p_i (\log p_i - \sum_j (\log q_j )P_{ij}) \geq \sum_i p_i (\log p_i - \log (\sum_j q_j P_{ij}))
</math>
</math>
अगर और केवल अगर (पी<sub>i j</sub>) एक [[क्रमपरिवर्तन मैट्रिक्स]] है, जिसका अर्थ है ρ = σ, ईजेनवेक्टरों के उपयुक्त लेबलिंग के बाद {v<sub>i</sub>} और डब्ल्यू<sub>i</sub>}.
यदि और केवल यदि (''P<sub>i j</sub>'') [[क्रमपरिवर्तन मैट्रिक्स|क्रमचय मैट्रिक्स]] है, जिसका अर्थ है ''ρ'' = ''σ'', अभिलाक्षणिक सदिश {''v<sub>i</sub>''} और {''w<sub>i</sub>''} की उपयुक्त लेबलिंग के बाद।


== ट्रेस असमानताएं#संयुक्त उत्तलता 2016 10 ==
== सापेक्ष एन्ट्रॉपी की संयुक्त उत्तलता ==
सापेक्ष एन्ट्रॉपी ट्रेस असमानताएं # संयुक्त उत्तलता समारोह 2016 10 है। के लिए <math>0\leq \lambda\leq 1</math> और राज्यों <math>\rho_{1(2)}, \sigma_{1(2)}</math> अपने पास
सापेक्ष एन्ट्रॉपी संयुक्त रूप से उत्तल है। <math>0\leq \lambda\leq 1</math> और अवस्थाओं <math>\rho_{1(2)}, \sigma_{1(2)}</math> के लिए हमारे पास है


<math>D(\lambda\rho_1+(1-\lambda)\rho_2\|\lambda\sigma_1+(1-\lambda)\sigma_2)\leq \lambda D(\rho_1\|\sigma_1)+(1-\lambda)D(\rho_2\|\sigma_2)</math>
<math>D(\lambda\rho_1+(1-\lambda)\rho_2\|\lambda\sigma_1+(1-\lambda)\sigma_2)\leq \lambda D(\rho_1\|\sigma_1)+(1-\lambda)D(\rho_2\|\sigma_2)</math>
 
== सापेक्ष एन्ट्रापी की एकदिष्टता ==
 
घनत्व आव्यूह पर पूरी तरह से धनात्मक [[ट्रेस (रैखिक बीजगणित)|ट्रेस]] संरक्षण (सीपीटीपी) संचालन <math>\mathcal{N}</math> के तहत सापेक्ष एन्ट्रापी नीरस रूप से घट जाती है,
== क्वांटम एन्ट्रापी की मजबूत उप-विषमता # मोनो2016 10 ==
पूरी तरह से सकारात्मक नक्शा [[ट्रेस (रैखिक बीजगणित)]] संरक्षण (सीपीटीपी) संचालन के तहत रिश्तेदार एंट्रॉपी मोनोटोनिक रूप से घट जाती है <math>\mathcal{N}</math> घनत्व मैट्रिसेस पर,


<math>S(\mathcal{N}(\rho)\|\mathcal{N}(\sigma))\leq S(\rho\|\sigma)</math>.
<math>S(\mathcal{N}(\rho)\|\mathcal{N}(\sigma))\leq S(\rho\|\sigma)</math>.


इस असमानता को क्वांटम सापेक्ष एन्ट्रॉपी की मोनोटोनिकिटी कहा जाता है और इसे सबसे पहले Göran_Lindblad_(भौतिक विज्ञानी) द्वारा सिद्ध किया गया था।
इस असमानता को '''क्वांटम सापेक्ष एन्ट्रॉपी की एकदिष्टता''' कहा जाता है और इसे सबसे पहले लिंडब्लैड द्वारा सिद्ध किया गया था।


== एक उलझाव उपाय ==
== जटिलता परिमाण ==


बता दें कि एक कंपोजिट क्वांटम सिस्टम में स्टेट स्पेस होता है
माना कि समग्र क्वांटम प्रणाली में अवस्था स्थान है  


:<math>H = \otimes _k H_k</math>
:<math>H = \otimes _k H_k</math>
और ρ H पर अभिनय करने वाला घनत्व मैट्रिक्स हो।
और ''ρ'' ''H'' पर कार्य करने वाला एक घनत्व मैट्रिक्स हो।


ρ की 'उलझन की सापेक्ष एन्ट्रापी' द्वारा परिभाषित किया गया है
''ρ'' की जटिलता की सापेक्ष एन्ट्रापी द्वारा परिभाषित किया गया है


:<math>\; D_{\mathrm{REE}} (\rho) = \min_{\sigma} S(\rho \| \sigma)</math>
:<math>\; D_{\mathrm{REE}} (\rho) = \min_{\sigma} S(\rho \| \sigma)</math>
जहां अलग-अलग राज्यों के परिवार पर न्यूनतम लिया जाता है। मात्रा की एक भौतिक व्याख्या अलग-अलग राज्यों से राज्य ρ की इष्टतम भिन्नता है।
जहां अलग-अलग अवस्थाओं के समूह पर न्यूनतम लिया जाता है। मात्रा की भौतिक व्याख्या अलग-अलग अवस्थाओं से अवस्था ''ρ'' की इष्टतम भिन्नता है।


स्पष्ट रूप से, जब ρ क्वांटम उलझाव नहीं है
स्पष्ट रूप से, जब ''ρ'' उलझा हुआ नहीं है


:<math>\; D_{\mathrm{REE}} (\rho) = 0</math>
:<math>\; D_{\mathrm{REE}} (\rho) = 0</math>
क्लेन की असमानता से।
क्लेन असमानता द्वारा।


== अन्य क्वांटम सूचना मात्राओं से संबंध ==
== अन्य क्वांटम सूचना मात्राओं से संबंध ==


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


ρ चलो<sub>AB</sub> आयाम n के सबसिस्टम A के साथ द्विदलीय प्रणाली की संयुक्त स्थिति हो<sub>A</sub> और आयाम n का B<sub>B</sub>. ρ चलो<sub>A</sub>, आर<sub>B</sub> संबंधित घटे हुए राज्य हों, और I<sub>A</sub>, मैं<sub>B</sub> संबंधित पहचान। [[अधिकतम मिश्रित अवस्था]]एँ I हैं<sub>A</sub>/एन<sub>A</sub> और मैं<sub>B</sub>/एन<sub>B</sub>. तब प्रत्यक्ष संगणना से यह दिखाना संभव है कि
माना ''ρ''<sub>AB</sub> आयाम ''n''<sub>A</sub> के उपप्रणाली ''A'' और आयाम ''n''<sub>B</sub> के ''B'' के साथ द्विभागी प्रणाली की संयुक्त अवस्था है। माना ''ρ''<sub>A</sub>, ''ρ''<sub>B</sub> संबंधित घटी हुई अवस्थाएँ हैं, और ''I''<sub>A</sub>, ''I''<sub>B</sub> संबंधित सर्वसमिकाएँ हैं। [[अधिकतम मिश्रित अवस्था|अधिकतम मिश्रित अवस्थाएँ]] ''I''<sub>A</sub>/''n''<sub>A</sub> और ''I''<sub>B</sub>/''n''<sub>B</sub> हैं। तब प्रत्यक्ष संगणना से यह दिखाना संभव है कि


:<math>S(\rho_{A} || I_{A}/n_A) = \mathrm{log}(n_A)- S(\rho_{A}), \;</math>
:<math>S(\rho_{A} || I_{A}/n_A) = \mathrm{log}(n_A)- S(\rho_{A}), \;</math>
:<math>S(\rho_{AB} || \rho_{A} \otimes \rho_{B}) = S(\rho_{A}) + S(\rho_{B}) - S(\rho_{AB}) = I(A:B), </math>
:<math>S(\rho_{AB} || \rho_{A} \otimes \rho_{B}) = S(\rho_{A}) + S(\rho_{B}) - S(\rho_{AB}) = I(A:B), </math>
:<math>S(\rho_{AB} || \rho_{A} \otimes I_{B}/n_B) = \mathrm{log}(n_B) + S(\rho_{A}) - S(\rho_{AB}) = \mathrm{log}(n_B)- S(B|A), </math>
:<math>S(\rho_{AB} || \rho_{A} \otimes I_{B}/n_B) = \mathrm{log}(n_B) + S(\rho_{A}) - S(\rho_{AB}) = \mathrm{log}(n_B)- S(B|A), </math>
जहां I(A:B) क्वांटम आपसी जानकारी है और S(B|A) क्वांटम सशर्त एन्ट्रॉपी है।
जहां ''I''(''A'':''B'') क्वांटम पारस्परिक सूचना है और ''S''(''B''|''A'') क्वांटम सशर्त एन्ट्रापी है।


== संदर्भ ==
== संदर्भ ==

Revision as of 16:33, 25 May 2023

क्वांटम सूचना सिद्धांत में, क्वांटम सापेक्ष एन्ट्रापी दो क्वांटम अवस्थाओं के बीच भिन्नता का एक परिमाण है। यह सापेक्ष एन्ट्रापी का क्वांटम यांत्रिक अनुरूप है।

अभिप्रेरण

सरलता के लिए, यह मान लिया जाएगा कि लेख में सभी वस्तुएं परिमित-आयामी हैं।

सबसे पहले हम चिरसम्मत स्थितियों पर चर्चा करते हैं। मान लीजिए कि घटनाओं के परिमित अनुक्रम की संभावनाएं प्रायिकता वितरण P = {p1...pn} द्वारा दी गई हैं, लेकिन किसी तरह हमने गलती से इसे Q = {q1...qn} मान लिया। उदाहरण के लिए, हम एक अनुचित सिक्के को उचित सिक्के के रूप में गलत समझ सकते हैं। इस गलत धारणा के अनुसार, जे-वें घटना के बारे में हमारी अनिश्चितता, या समतुल्य, जे-वें घटना को देखने के बाद प्रदान की जाने वाली जानकारी की मात्रा है

सभी संभावित घटनाओं की (अनुमानित) औसत अनिश्चितता तब है

दूसरी ओर, प्रायिकता वितरण p की शैनन एन्ट्रापी, द्वारा परिभाषित

अवलोकन से पहले अनिश्चितता की वास्तविक मात्रा है। इसलिए इन दोनों मात्राओं के बीच का अंतर

दो प्रायिकता वितरण p और q की भिन्नता का परिमाण है। यह चिरसम्मत सापेक्ष एंट्रॉपी, या कुल्बैक-लीब्लर विचलन है-

टिप्पणी

  1. ऊपर दी गई परिभाषाओं में, अभिसमय है कि 0·log 0 = 0 माना जाता है, क्योंकि । सहज रूप से, किसी को अपेक्षा होगी कि शून्य प्रायिकता की घटना एन्ट्रापी की दिशा में कुछ भी योगदान नहीं देगी।
  2. सापेक्ष एंट्रॉपी मैट्रिक नहीं है। उदाहरण के लिए, यह सममित नहीं है। एक उचित सिक्के को गलत समझने में अनिश्चितता की विसंगति विपरीत स्थिति के समान नहीं है।

परिभाषा

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

दो घनत्व आव्यूह ρ और σ के लिए, σ के संबंध में ρ की क्वांटम सापेक्ष एन्ट्रॉपी को परिभाषित किया गया है

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

गैर-परिमित (विचलन) सापेक्ष एन्ट्रॉपी

सामान्य तौर पर, मैट्रिक्स M का समर्थन इसके कर्नेल का ऑर्थोगोनल पूरक होता है, अर्थात । क्वांटम सापेक्ष एंट्रॉपी पर विचार करते समय, हम मानते हैं कि −s · log 0 = ∞ किसी भी s > 0 के लिए। यह परिभाषा की ओर जाता है कि

जब

इसे निम्न प्रकार से समझा जा सकता है। अनौपचारिक रूप से, क्वांटम सापेक्ष एन्ट्रॉपी दो क्वांटम अवस्थाओं में अंतर करने की हमारी क्षमता का परिमाण है जहां बड़े मान उन अवस्थाओं को इंगित करते हैं जो अधिक भिन्न हैं। ऑर्थोगोनल होना सबसे अलग क्वांटम अवस्थाओं का प्रतिनिधित्व करता है। यह ऑर्थोगोनल क्वांटम अवस्थाओं के लिए गैर-परिमित क्वांटम सापेक्ष एन्ट्रापी द्वारा परिलक्षित होता है। अभिप्रेरण अनुभाग में दिए गए तर्क का पालन करते हुए, यदि हम गलती से मान लेते हैं कि अवस्था को में समर्थन प्राप्त है, तो यह एक ऐसी त्रुटि है जिससे ठीक होना असंभव है।

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

के लिए और के लिए के साथ जहां ऑर्थोनॉर्मल समुच्चय है। का कर्नेल समुच्चय द्वारा विस्तृत स्थान है। अगला माना

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

सापेक्ष एन्ट्रापी की गैर-ऋणात्मकता

संगत चिरसम्मत कथन

चिरसम्मत कुल्बैक-लीब्लर विचलन के लिए, यह दिखाया जा सकता है

और समानता धारण करती है यदि और केवल यदि P = Q। संवादात्मक रूप से, इसका अर्थ यह है कि गलत धारणाओं का उपयोग करके अनिश्चितता की गणना हमेशा अनिश्चितता की वास्तविक मात्रा से अधिक होती है।

असमानता दिखाने के लिए, हम फिर से लिखते हैं

ध्यान दें कि log एक अवतल फलन है। अतः -log उत्तल है। जेन्सेन की असमानता को लागू करने पर, हमें प्राप्त होता है

जेन्सेन की असमानता यह भी बताती है कि समानता तभी और केवल तभी लागू होती है, जब सभी i, qi = (Σqj) pi, अर्थात p = q के लिए।

परिणाम

क्लेन की असमानता बताती है कि क्वांटम सापेक्ष एन्ट्रापी

सामान्य रूप से गैर-ऋणात्मकता है। यह शून्य होता है यदि और केवल यदि ρ = σ

प्रमाण

माना ρ और σ में वर्णक्रमीय अपघटन हैं

इसलिए

प्रत्यक्ष गणना देता है

जहां Pi j = |vi*wj|2

चूंकि मैट्रिक्स (Pi j)i j दोगुना प्रसंभाव्यता मैट्रिक्स है और -log उत्तल फलन है, उपरोक्त अभिव्यक्ति है

ri = Σjqj Pi j. परिभाषित करें। तब {ri} एक प्रायिकता वितरण है। चिरसम्मत सापेक्ष एन्ट्रॉपी की गैर-ऋणात्मकता से, हमारे पास है

दावे का दूसरा भाग इस तथ्य से अनुसरण करता है कि, चूंकि -log पूर्णता उत्तल है, इसलिए समानता प्राप्त की जाती है

यदि और केवल यदि (Pi j) क्रमचय मैट्रिक्स है, जिसका अर्थ है ρ = σ, अभिलाक्षणिक सदिश {vi} और {wi} की उपयुक्त लेबलिंग के बाद।

सापेक्ष एन्ट्रॉपी की संयुक्त उत्तलता

सापेक्ष एन्ट्रॉपी संयुक्त रूप से उत्तल है। और अवस्थाओं के लिए हमारे पास है

सापेक्ष एन्ट्रापी की एकदिष्टता

घनत्व आव्यूह पर पूरी तरह से धनात्मक ट्रेस संरक्षण (सीपीटीपी) संचालन के तहत सापेक्ष एन्ट्रापी नीरस रूप से घट जाती है,

.

इस असमानता को क्वांटम सापेक्ष एन्ट्रॉपी की एकदिष्टता कहा जाता है और इसे सबसे पहले लिंडब्लैड द्वारा सिद्ध किया गया था।

जटिलता परिमाण

माना कि समग्र क्वांटम प्रणाली में अवस्था स्थान है

और ρ H पर कार्य करने वाला एक घनत्व मैट्रिक्स हो।

ρ की जटिलता की सापेक्ष एन्ट्रापी द्वारा परिभाषित किया गया है

जहां अलग-अलग अवस्थाओं के समूह पर न्यूनतम लिया जाता है। मात्रा की भौतिक व्याख्या अलग-अलग अवस्थाओं से अवस्था ρ की इष्टतम भिन्नता है।

स्पष्ट रूप से, जब ρ उलझा हुआ नहीं है

क्लेन असमानता द्वारा।

अन्य क्वांटम सूचना मात्राओं से संबंध

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

माना ρAB आयाम nA के उपप्रणाली A और आयाम nB के B के साथ द्विभागी प्रणाली की संयुक्त अवस्था है। माना ρA, ρB संबंधित घटी हुई अवस्थाएँ हैं, और IA, IB संबंधित सर्वसमिकाएँ हैं। अधिकतम मिश्रित अवस्थाएँ IA/nA और IB/nB हैं। तब प्रत्यक्ष संगणना से यह दिखाना संभव है कि

जहां I(A:B) क्वांटम पारस्परिक सूचना है और S(B|A) क्वांटम सशर्त एन्ट्रापी है।

संदर्भ

  • Vedral, V. (8 March 2002). "The role of relative entropy in quantum information theory". Reviews of Modern Physics. American Physical Society (APS). 74 (1): 197–234. arXiv:quant-ph/0102094. Bibcode:2002RvMP...74..197V. doi:10.1103/revmodphys.74.197. ISSN 0034-6861. S2CID 6370982.
  • Michael A. Nielsen, Isaac L. Chuang, "Quantum Computation and Quantum Information"
  • Marco Tomamichel, "Quantum Information Processing with Finite Resources -- Mathematical Foundations". arXiv:1504.00233