क्वांटम सापेक्ष एन्ट्रापी: Difference between revisions
(Created page with "क्वांटम सूचना सिद्धांत में, क्वांटम सापेक्ष एन्ट्रापी दो घनत्...") |
No edit summary |
||
Line 1: | Line 1: | ||
[[क्वांटम सूचना सिद्धांत]] में, क्वांटम [[सापेक्ष एन्ट्रापी]] दो [[घनत्व मैट्रिक्स]] के बीच | [[क्वांटम सूचना सिद्धांत]] में, '''क्वांटम [[सापेक्ष एन्ट्रापी]]''' दो [[घनत्व मैट्रिक्स|क्वांटम अवस्थाओं]] के बीच भिन्नता का एक परिमाण है। यह सापेक्ष एन्ट्रापी का क्वांटम यांत्रिक अनुरूप है। | ||
== | == अभिप्रेरण == | ||
सरलता के लिए, यह मान लिया जाएगा कि लेख में सभी | सरलता के लिए, यह मान लिया जाएगा कि लेख में सभी वस्तुएं परिमित-आयामी हैं। | ||
हम | सबसे पहले हम चिरसम्मत स्थितियों पर चर्चा करते हैं। मान लीजिए कि घटनाओं के परिमित अनुक्रम की संभावनाएं प्रायिकता वितरण ''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'' की [[शैनन एंट्रॉपी|शैनन एन्ट्रापी]], द्वारा परिभाषित | ||
:<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>। सहज रूप से, किसी को अपेक्षा होगी कि शून्य प्रायिकता की घटना एन्ट्रापी की दिशा में कुछ भी योगदान नहीं देगी। | ||
#सापेक्ष | #सापेक्ष एंट्रॉपी [[मीट्रिक स्थान|मैट्रिक]] नहीं है। उदाहरण के लिए, यह सममित नहीं है। एक उचित सिक्के को गलत समझने में अनिश्चितता की विसंगति विपरीत स्थिति के समान नहीं है। | ||
== परिभाषा == | == परिभाषा == | ||
क्वांटम सूचना सिद्धांत में कई अन्य वस्तुओं के साथ, क्वांटम सापेक्ष एन्ट्रॉपी को | क्वांटम सूचना सिद्धांत में कई अन्य वस्तुओं के साथ, क्वांटम सापेक्ष एन्ट्रॉपी को प्रायिकता वितरण से लेकर घनत्व मैट्रिक्स तक चिरसम्मत परिभाषा का विस्तार करके परिभाषित किया गया है। माना कि ρ एक घनत्व मैट्रिक्स है। ρ का [[वॉन न्यूमैन एन्ट्रॉपी|वॉन न्यूमैन एंट्रॉपी]], जो शैनन एंट्रॉपी का क्वांटम यांत्रिक अनुरूप है, द्वारा दिया गया है | ||
:<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> का सामान्य कुल्बैक-लीब्लर विचलन है)। | ||
=== गैर-परिमित ( | === गैर-परिमित (विचलन) सापेक्ष एन्ट्रॉपी === | ||
सामान्य तौर पर, मैट्रिक्स | सामान्य तौर पर, मैट्रिक्स ''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>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> \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>\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। संवादात्मक रूप से, इसका अर्थ यह है कि गलत धारणाओं का उपयोग करके अनिश्चितता की गणना हमेशा अनिश्चितता की वास्तविक मात्रा से अधिक होती है।'' | ||
असमानता दिखाने के लिए, हम फिर से लिखते हैं | असमानता दिखाने के लिए, हम फिर से लिखते हैं | ||
:<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>'' = (Σ''q<sub>j</sub>'') ''p<sub>i</sub>'', अर्थात ''p'' = ''q'' के लिए। | ||
=== परिणाम === | === परिणाम === | ||
क्लेन की असमानता बताती है कि क्वांटम सापेक्ष एन्ट्रापी | |||
:<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> | ||
जहां | जहां ''P<sub>i j</sub>'' = |''v<sub>i</sub>*w<sub>j</sub>''|<sup>2</sup> | ||
चूंकि मैट्रिक्स ( | चूंकि मैट्रिक्स (''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> | ||
''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> | ||
यदि और केवल यदि (''P<sub>i j</sub>'') [[क्रमपरिवर्तन मैट्रिक्स|क्रमचय मैट्रिक्स]] है, जिसका अर्थ है ''ρ'' = ''σ'', अभिलाक्षणिक सदिश {''v<sub>i</sub>''} और {''w<sub>i</sub>''} की उपयुक्त लेबलिंग के बाद। | |||
== | == सापेक्ष एन्ट्रॉपी की संयुक्त उत्तलता == | ||
सापेक्ष एन्ट्रॉपी | सापेक्ष एन्ट्रॉपी संयुक्त रूप से उत्तल है। <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> के तहत सापेक्ष एन्ट्रापी नीरस रूप से घट जाती है, | |||
== | |||
पूरी तरह से | |||
<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>. | ||
इस असमानता को क्वांटम सापेक्ष एन्ट्रॉपी की | इस असमानता को '''क्वांटम सापेक्ष एन्ट्रॉपी की एकदिष्टता''' कहा जाता है और इसे सबसे पहले लिंडब्लैड द्वारा सिद्ध किया गया था। | ||
== | == जटिलता परिमाण == | ||
माना कि समग्र क्वांटम प्रणाली में अवस्था स्थान है | |||
:<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''<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) क्वांटम | जहां ''I''(''A'':''B'') क्वांटम पारस्परिक सूचना है और ''S''(''B''|''A'') क्वांटम सशर्त एन्ट्रापी है। | ||
== संदर्भ == | == संदर्भ == |
Revision as of 16:33, 25 May 2023
क्वांटम सूचना सिद्धांत में, क्वांटम सापेक्ष एन्ट्रापी दो क्वांटम अवस्थाओं के बीच भिन्नता का एक परिमाण है। यह सापेक्ष एन्ट्रापी का क्वांटम यांत्रिक अनुरूप है।
अभिप्रेरण
सरलता के लिए, यह मान लिया जाएगा कि लेख में सभी वस्तुएं परिमित-आयामी हैं।
सबसे पहले हम चिरसम्मत स्थितियों पर चर्चा करते हैं। मान लीजिए कि घटनाओं के परिमित अनुक्रम की संभावनाएं प्रायिकता वितरण P = {p1...pn} द्वारा दी गई हैं, लेकिन किसी तरह हमने गलती से इसे Q = {q1...qn} मान लिया। उदाहरण के लिए, हम एक अनुचित सिक्के को उचित सिक्के के रूप में गलत समझ सकते हैं। इस गलत धारणा के अनुसार, जे-वें घटना के बारे में हमारी अनिश्चितता, या समतुल्य, जे-वें घटना को देखने के बाद प्रदान की जाने वाली जानकारी की मात्रा है
सभी संभावित घटनाओं की (अनुमानित) औसत अनिश्चितता तब है
दूसरी ओर, प्रायिकता वितरण p की शैनन एन्ट्रापी, द्वारा परिभाषित
अवलोकन से पहले अनिश्चितता की वास्तविक मात्रा है। इसलिए इन दोनों मात्राओं के बीच का अंतर
दो प्रायिकता वितरण p और q की भिन्नता का परिमाण है। यह चिरसम्मत सापेक्ष एंट्रॉपी, या कुल्बैक-लीब्लर विचलन है-
टिप्पणी
- ऊपर दी गई परिभाषाओं में, अभिसमय है कि 0·log 0 = 0 माना जाता है, क्योंकि । सहज रूप से, किसी को अपेक्षा होगी कि शून्य प्रायिकता की घटना एन्ट्रापी की दिशा में कुछ भी योगदान नहीं देगी।
- सापेक्ष एंट्रॉपी मैट्रिक नहीं है। उदाहरण के लिए, यह सममित नहीं है। एक उचित सिक्के को गलत समझने में अनिश्चितता की विसंगति विपरीत स्थिति के समान नहीं है।
परिभाषा
क्वांटम सूचना सिद्धांत में कई अन्य वस्तुओं के साथ, क्वांटम सापेक्ष एन्ट्रॉपी को प्रायिकता वितरण से लेकर घनत्व मैट्रिक्स तक चिरसम्मत परिभाषा का विस्तार करके परिभाषित किया गया है। माना कि ρ एक घनत्व मैट्रिक्स है। ρ का वॉन न्यूमैन एंट्रॉपी, जो शैनन एंट्रॉपी का क्वांटम यांत्रिक अनुरूप है, द्वारा दिया गया है
दो घनत्व आव्यूह ρ और σ के लिए, σ के संबंध में ρ की क्वांटम सापेक्ष एन्ट्रॉपी को परिभाषित किया गया है
हम देखते हैं कि, जब अवस्था चिरसम्मत रूप से संबंधित होती हैं, अर्थात ρσ = σρ, परिभाषा चिरसम्मत स्थिति के साथ मेल खाती है, इस अर्थ में कि यदि और और के साथ (क्योंकि और कम्यूट करते हैं , वे एक साथ विकर्ण करने योग्य हैं), तो प्रायिकता सदिश के संबंध में प्रायिकता सदिश का सामान्य कुल्बैक-लीब्लर विचलन है)।
गैर-परिमित (विचलन) सापेक्ष एन्ट्रॉपी
सामान्य तौर पर, मैट्रिक्स 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