क्वांटम अवस्थाओं तद्रूपता

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

दो घनत्व ऑपरेटरों $$\rho$$ और $$\sigma$$ को देखते हुए, तद्रूपता को प्रायः मात्रा $$F(\rho, \sigma) = \left(\operatorname{tr} \sqrt{\sqrt\rho \sigma\sqrt\rho}\right)^2$$के रूप में परिभाषित किया जाता है। विशेष स्थिति में जहां $$\rho$$ और $$\sigma$$ शुद्ध क्वांटम अवस्थाओं का प्रतिनिधित्व करते हैं, अर्थात्, $$\rho=|\psi_\rho\rangle\!\langle\psi_\rho|$$ और $$\sigma=|\psi_\sigma\rangle\!\langle\psi_\sigma|$$, परिभाषा अवस्थाओं के बीच वर्ग ओवरलैप को कम करती है: $$F(\rho, \sigma)=|\langle\psi_\rho|\psi_\sigma\rangle|^2$$। यदि दोनों में से कम से कम एक अवस्था शुद्ध है तो यह कम हो जाती है:, जहां $$\sigma$$ शुद्ध अवस्था है। जबकि सामान्य परिभाषा से यह स्पष्ट नहीं है, तद्रूपता सममित है: $$F(\rho,\sigma)=F(\sigma,\rho)$$।

प्रेरणा
दो यादृच्छिक चर $$X,Y$$ को मान $$(1, ..., n)$$ (श्रेणीबद्ध यादृच्छिक चर) और संभावनाओं $$p = (p_1,p_2,\ldots,p_n)$$ और $$q = (q_1,q_2,\ldots,q_n)$$ के साथ देखते हुए, $$X$$ और $$Y$$ की तद्रूपता को मात्रा के रूप में परिभाषित किया गया है


 * $$F(X,Y) = \left(\sum _i \sqrt{p_i q_i}\right)^2$$.

तद्रूपता यादृच्छिक चर के सीमांत वितरण से संबंधित है। यह उन चरों के संयुक्त वितरण के बारे में कुछ नहीं कहता है। दूसरे शब्दों में, तद्रूपता $$F(X,Y)$$ यूक्लिडियन समष्टि में वैक्टर के रूप में देखे गए $$(\sqrt{p_1}, \ldots ,\sqrt{p_n})$$ और $$(\sqrt{q_1}, \ldots ,\sqrt{q_n})$$ के आंतरिक उत्पाद का वर्ग है। ध्यान दें कि $$F(X,Y) = 1$$ यदि और केवल यदि $$p = q$$ है। सामान्य रूप में, $$0 \leq F(X,Y) \leq 1$$ है। माप $$\sum _i \sqrt{p_i q_i}$$ भट्टाचार्य गुणांक के रूप में जाना जाता है।

दो संभाव्यता वितरणों की भिन्नता के चिरप्रतिष्ठित माप को देखते हुए, कोई दो क्वांटम अवस्थाओं की भिन्नता के माप को निम्नानुसार प्रेरित कर सकता है। यदि कोई प्रयोगकर्ता यह निर्धारित करने का प्रयास कर रहा है कि क्या क्वांटम अवस्था दो संभावनाओं $$\rho$$ या $$\sigma$$ में से एक है, तो वे अवस्था पर वे जो सबसे सामान्य संभावित माप कर सकते हैं वह एक पीओवीएम है, जिसे हर्मिटियन धनात्मक अर्धनिश्चित ऑपरेटरों $$\{F_i\} $$ के एक समुच्चय द्वारा वर्णित किया गया है। यदि प्रयोगकर्ता को दी गई स्थिति $$\rho$$ है, वे परिणाम $$i$$ को संभाव्यता $$p_i = \operatorname{tr}( \rho F_i )$$ के साथ देखेंगे, और इसी तरह $$\sigma$$ के लिए संभाव्यता के साथ $$q_i = \operatorname{tr}( \sigma F_i )$$ के साथ देखेंगे। क्वांटम अवस्थाओं  $$\rho$$ और $$\sigma$$ के बीच अंतर करने की उनकी क्षमता चिरप्रतिष्ठित संभाव्यता वितरण  $$p$$ और $$q$$ के बीच अंतर करने की उनकी क्षमता के बराबर है। स्वाभाविक रूप से, प्रयोगकर्ता सबसे अच्छा पीओवीएम चुनेंगे जो वे पा सकते हैं, इसलिए यह सभी संभावित पीओवीएम$$\{F_i\} $$ पर चरम होने पर वर्ग भट्टाचार्य गुणांक के रूप में क्वांटम तद्रूपता को परिभाषित करने के लिए प्रेरित करता है:


 * $$F(\rho,\sigma) = \min_{\{F_i\}} F(X,Y) = \min_{\{F_i\}} \left(\sum _i \sqrt{\operatorname{tr}( \rho F_i ) \operatorname{tr}( \sigma F_i )}\right)^{2}.$$

फुच्स और केव्स द्वारा यह दिखाया गया कि यह स्पष्ट रूप से सममित परिभाषा अगले भाग में दिए गए सरल असममित सूत्र के बराबर है।

परिभाषा
दो घनत्व मैट्रिक्स ρ और σ दिए जाने पर, तद्रूपता को परिभाषित किया गया है
 * $$F(\rho, \sigma) = \left(\operatorname{tr} \sqrt{\sqrt{\rho} \sigma \sqrt{\rho}}\right)^2,$$

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

क्वांटम अवस्था तद्रूपता के कुछ महत्वपूर्ण गुण हैं:

\left[\operatorname{tr}\sqrt{\rho\sigma}\right]^2 = \left(\sum_k \sqrt{p_k q_k} \right)^2 = F(\boldsymbol p, \boldsymbol q),$$जहां $$p_k, q_k$$ के क्रमशः $$\rho,\sigma$$ के अभिलक्षणिक मान ​​हैं। इसे देखने के लिए याद रखें कि यदि $$[\rho,\sigma]=0$$ तो उन्हें उसी आधार पर विकर्णीय किया जा सकता है: $$ \rho = \sum_i p_i | i \rangle \langle i | \text{ and } \sigma = \sum_i q_i | i \rangle \langle i |,$$इसलिए $$ \operatorname{tr}\sqrt{\rho\sigma} = \operatorname{tr}\left(\sum_k \sqrt{p_k q_k} |k\rangle\!\langle k|\right) = \sum_k \sqrt{p_k q_k}.$$ F(\rho, \sigma) = \left(\operatorname{tr} \sqrt{ | \psi_\rho \rangle \langle \psi_\rho | \sigma | \psi_\rho \rangle \langle \psi_\rho |} \right)^2 = \langle \psi_\rho | \sigma | \psi_\rho \rangle \left(\operatorname{tr} \sqrt{ | \psi_\rho \rangle \langle \psi_\rho |} \right)^2 = \langle \psi_\rho | \sigma | \psi_\rho \rangle $$से अनुसरण करता है।
 * समरूपता. $$F(\rho,\sigma)=F(\sigma,\rho)$$.
 * परिबद्ध मान. किसी भी $$\rho$$ और $$\sigma$$ के लिए $$0\le F(\rho,\sigma) \le 1$$, और $$F(\rho,\rho)=1$$ है।
 * संभाव्यता वितरणों के बीच तद्रूपता के साथ संगति. यदि $$\rho$$ और $$\sigma$$ अंतर्वतन करते हैं,, तो परिभाषा सरल हो जाती है$$F(\rho,\sigma) =
 * शुद्ध अवस्थाओं के लिए सरलीकृत अभिव्यक्तियाँ. यदि $$\rho$$ शुद्ध है, $$\rho=|\psi_\rho\rangle\!\langle\psi_\rho|$$, तब $$F(\rho,\sigma) = \langle\psi_\rho|\sigma|\psi_\rho\rangle$$ है। यह $$
 * यदि दोनों $$\rho$$ और $$\sigma$$ शुद्ध हैं, तो $$\rho=|\psi_\rho\rangle\!\langle\psi_\rho|$$ और $$\sigma=|\psi_\sigma\rangle\!\langle\psi_\sigma|$$तब $$F(\rho, \sigma) = |\langle\psi_\rho|\psi_\sigma\rangle|^2$$ है। यह $$\rho$$ उपरोक्त अभिव्यक्ति का तुरंत अनुसरण करता है।

 ट्रेस मानदंड का उपयोग करके तद्रूपता के लिए एक समकक्ष अभिव्यक्ति लिखी जा सकती है
 * समतुल्य अभिव्यक्ति.


 * $$F(\rho, \sigma)= \lVert \sqrt{\rho} \sqrt{\sigma} \rVert_\operatorname{tr}^2 = \Big(\operatorname{tr}|\sqrt\rho\sqrt\sigma|\Big)^2,$$

जहां एक ऑपरेटर का निरपेक्ष मान यहां $$|A|\equiv \sqrt{A^\dagger A}$$ के रूप में परिभाषित किया गया है।

 यदि $$\rho$$ और $$\sigma$$ दोनों क्यूबिट अवस्थाएँ हैं, तो तद्रूपता की गणना इस प्रकार की जा सकती है
 * क्यूबिटस् के लिए स्पष्ट अभिव्यक्ति.
 * $$F(\rho, \sigma) = \operatorname{tr}(\rho\sigma)+2\sqrt{\det(\rho)\det(\sigma)}.$$

क्यूबिट अवस्था का अर्थ है कि $$\rho$$ और $$\sigma$$ द्वि-आयामी मैट्रिक्स द्वारा दर्शाया गया है। यह परिणाम इस बात पर ध्यान देता है कि $$M=\sqrt{\rho}\sigma\sqrt{\rho}$$ एक धनात्मक अर्धनिश्चित ऑपरेटर है, इसलिए $$\operatorname{tr}\sqrt{M}=\sqrt{\lambda_1}+\sqrt{\lambda_2}$$, जहां $$\lambda_1$$ और $$\lambda_2$$, $$M$$ के (गैरनकारात्मक) अभिलक्षणिक मान ​​हैं। यदि $$\rho$$ (या $$\sigma$$) शुद्ध है, इस परिणाम को $$F(\rho,\sigma) = \operatorname{tr}(\rho\sigma)$$ तक सरलीकृत किया जाता है क्योंकि शुद्ध अवस्था के लिए $$\mathrm{Det}(\rho) = 0$$ होता है।

वैकल्पिक परिभाषा
कुछ लेखक वैकल्पिक परिभाषा $$F':=\sqrt{F}$$ का उपयोग करते हैं और इस मात्रा को तद्रूपता कहते हैं। हालाँकि $$F$$ की परिभाषा अधिक सामान्य है।  भ्रम की स्थिति से बचने के लिए $$F'$$ को वर्गमूल तद्रूपता कहा जा सकता है। किसी भी स्थिति में यह सलाह दी जाती है कि जब भी तद्रूपता का प्रयोग किया जाए तो अपनाई गई परिभाषा को स्पष्ट किया जाए।

एकल अपरिवर्तन
प्रत्यक्ष गणना से पता चलता है कि तद्रूपता एकल विकास द्वारा संरक्षित है, अर्थात।


 * $$\; F(\rho, \sigma) = F(U \rho \; U^*, U \sigma U^*) $$

किसी भी एकल ऑपरेटर $$U$$ के लिए है।

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

प्रमेय मान लीजिए कि ρ और σ, Cn पर कार्य करने वाले घनत्व आव्यूह हैं। मान लीजिए ρ$1/2$, ρ का अद्वितीय धनात्मक वर्गमूल हो और

$$ $$ ρ का शोधन हो (इसलिए $$\textstyle \{|e_i\rangle\}$$ एक लंबात्मक आधार है), तो निम्नलिखित समानता स्थापित है:
 * \psi _{\rho} \rangle = \sum_{i=1}^n (\rho^{{1}/{2}} | e_i \rangle) \otimes | e_i \rangle \in \mathbb{C}^n \otimes \mathbb{C}^n


 * $$F(\rho, \sigma) = \max_{|\psi_{\sigma} \rangle} | \langle \psi _{\rho}| \psi _{\sigma} \rangle |^2$$

जहां $$| \psi _{\sigma} \rangle$$, σ का शोधन है। इसलिए, सामान्यतः, शोधन के बीच तद्रूपता अधिकतम ओवरलैप है।

प्रमाण का रेखाचित्र
एक साधारण प्रमाण को इस प्रकार रेखांकित किया जा सकता है। मान लीजिए $$\textstyle |\Omega\rangle$$ सदिश को निरूपित करता है


 * $$| \Omega \rangle= \sum_{i=1}^n | e_i \rangle \otimes | e_i \rangle $$

और σ$1/2$, σ का अद्वितीय धनात्मक वर्गमूल हो। हम देखते हैं कि, वर्गमूल गुणनखंडों में एकल स्वतंत्रता और लंबात्मक आधार चुनने के कारण, σ का एक यादृच्छिक शोधन रूप का होता है


 * $$| \psi_{\sigma} \rangle = ( \sigma^{{1}/{2}} V_1 \otimes V_2 ) | \Omega \rangle $$

जहां Vi एकल ऑपरेटर हैं। अब हम सीधे आँकलन करते हैं



= | \langle \Omega | ( \rho^{{1}/{2}} \otimes I) ( \sigma^{{1}/{2}} V_1 \otimes V_2 ) | \Omega \rangle |^2 = | \operatorname{tr} ( \rho^{{1}/{2}} \sigma^{{1}/{2}} V_1 V_2^T )|^2. $$ लेकिन सामान्यतः, किसी भी वर्ग मैट्रिक्स A और एकल U के लिए, यह सच है कि |tr(AU)| ≤ tr((A*A)$1/2$) है। इसके अलावा, समानता तब प्राप्त होती है जब U* A के ध्रुवीय अपघटन में एकल ऑपरेटर है। इससे सीधे उहल्मन की प्रमेय का अनुसरण होता है।
 * \langle \psi _{\rho}| \psi _{\sigma} \rangle |^2

स्पष्ट विघटन के साथ प्रमाण
हम यहां उहल्मन के प्रमेय को प्रमाणित करने के लिए एक वैकल्पिक, स्पष्ट तरीका प्रदान करेंगे।

माना कि $$|\psi_\rho\rangle$$ और $$|\psi_\sigma\rangle$$ क्रमशः $$\rho$$ और $$\sigma$$ का शोधन हो। आरंभ करने के लिए, आइए दिखाते हैं $$|\langle\psi_\rho|\psi_\sigma\rangle|\le\operatorname{tr}|\sqrt\rho\sqrt\sigma|$$ है।

अवस्थाओं की शोधन का सामान्य रूप है:$$\begin{align} |\psi_\rho\rangle  &=\sum_k\sqrt{\lambda_k}|\lambda_k\rangle\otimes|u_k\rangle, \\ |\psi_\sigma\rangle &=\sum_k\sqrt{\mu_k}|\mu_k\rangle\otimes|v_k\rangle, \end{align}$$$$|\lambda_k\rangle, |\mu_k\rangle$$, $$\rho,\ \sigma$$ के अभिलक्षणिकसदिश हैं, और $$\{u_k\}_k, \{v_k\}_k$$ यादृच्छिक ऑर्थोनॉर्मल आधार हैं। शोधन के बीच ओवरलैप है$$\langle\psi_\rho|\psi_\sigma\rangle = \sum_{jk}\sqrt{\lambda_j\mu_k} \langle\lambda_j|\mu_k\rangle\,\langle u_j|v_k\rangle = \operatorname{tr}\left(\sqrt\rho\sqrt\sigma U\right),$$जहां एकल मैट्रिक्स $$U$$ परिभाषित किया गया है$$U=\left(\sum_k |\mu_k\rangle\!\langle u_k| \right)\,\left(\sum_j |v_j\rangle\!\langle \lambda_j|\right).$$अब असमानता $$|\operatorname{tr}(AU)|\le \operatorname{tr}(\sqrt{A^\dagger A})\equiv\operatorname{tr}|A|$$ का उपयोग करके निष्कर्ष पर पहुंचा गया है : $$|\langle\psi_\rho|\psi_\sigma\rangle|= \operatorname{tr}|\sqrt\rho\sqrt\sigma|.$$ध्यान दें कि यह असमानता मैट्रिक्स के एकल मानों पर लागू त्रिकोण असमानता है। सचमुच में, एक सामान्य मैट्रिक्स $$A\equiv \sum_j s_j(A)|a_j\rangle\!\langle b_j|$$और एकल $$U=\sum_j |b_j\rangle\!\langle w_j|$$ के लिए हमारे पास है$$\begin{align} \left|\operatorname{tr}\left(\sum_j s_j(A)|a_j\rangle\!\langle b_j| \,\,\sum_k |b_k\rangle\!\langle w_k| \right)\right| \\ &= \left|\sum_j s_j(A)\langle w_j|a_j\rangle\right|\\ &\le \sum_j s_j(A) \,|\langle w_j|a_j\rangle| \\ &\le \sum_j s_j(A) \\ &= \operatorname{tr}|A|, \end{align}$$
 * \operatorname{tr}(\sqrt\rho\sqrt\sigma U)| \le
 * \operatorname{tr}(AU)| &=

जहां $$s_j(A)\ge 0$$, $$A$$के (हमेशा वास्तविक और गैर-नकारात्मक) एकल मान हैं, जैसा कि एकल मूल्य अपघटन में होता है। असमानता संतृप्त हो जाती है और $$\langle w_j|a_j\rangle=1$$, यानी जब $$U=\sum_k |b_k\rangle\!\langle a_k|,$$ और इस प्रकार $$AU=\sqrt{AA^\dagger}\equiv |A|$$ होने पर समानता बन जाती है। उपरोक्त $$|\langle\psi_\rho|\psi_\sigma\rangle|= \operatorname{tr}|\sqrt\rho\sqrt\sigma|$$ दर्शाता है कि जब शोधन $$|\psi_\rho\rangle$$ और $$|\psi_\sigma\rangle$$ ऐसे $$\sqrt\rho\sqrt\sigma U=|\sqrt\rho\sqrt\sigma|$$ होते हैं। चूँकि यह विकल्प अवस्थाओं की परवाह किए बिना संभव है, हम अंततः यह निष्कर्ष निकाल सकते हैं कि$$\operatorname{tr}|\sqrt\rho\sqrt\sigma|=\max|\langle\psi_\rho|\psi_\sigma\rangle|.$$

परिणाम
उहलमैन के प्रमेय के कुछ तात्कालिक परिणाम हैं
 * तद्रूपता अपने तर्कों में सममित है, अर्थात F (ρ,σ) = F (σ,ρ)। ध्यान दें कि यह मूल परिभाषा से स्पष्ट नहीं है।
 * F (ρ,σ) कॉची-श्वार्ज़ असमानता द्वारा [0,1] में निहित है।
 * F (ρ,σ) = 1 यदि और केवल यदि ρ = σ, चूँकि Ψρ = Ψσ का तात्पर्य ρ = σ है।

तो हम देख सकते हैं कि तद्रूपता लगभग एक मीट्रिक की तरह व्यवहार करती है। इसे परिभाषित करके औपचारिक एवं उपयोगी बनाया जा सकता है
 * $$ \cos^2 \theta_{\rho\sigma} = F(\rho,\sigma) \,$$

अवस्थाओं $$\rho$$ और $$\sigma$$ के बीच के कोण के रूप में है। उपरोक्त गुणों से यह निष्कर्ष निकलता है कि $$\theta_{\rho\sigma}$$ गैर-नकारात्मक है, अपने इनपुट में सममित है, और शून्य के बराबर है यदि और केवल यदि  $$\rho = \sigma$$ है। इसके अलावा, यह सिद्ध किया जा सकता है कि यह त्रिभुज असमानता का पालन करता है, इसलिए यह कोण अवस्था स्थान पर एक मीट्रिक है: फ़ुबिनी-अध्ययन मीट्रिक है।

संगत संभाव्यता वितरण के बीच तद्रूपता के साथ संबंध
मान लीजिए $$\{E_k\}_k$$ एक यादृच्छिक धनात्मक ऑपरेटर-मूल्य माप (पीओवीएम) है; अर्थात्, धनात्मक अर्धनिश्चित ऑपरेटरों का एक समूह $$E_k$$ संतोषजनक $$\sum_k E_k=I$$ है। फिर, अवस्थाओं $$\rho$$ और $$\sigma$$ के किसी भी जोड़े के लिए, हमारे पास है $$ \sqrt{F(\rho,\sigma)} \le \sum_k \sqrt{\operatorname{tr}(E_k\rho)}\sqrt{\operatorname{tr}(E_k\sigma)} \equiv \sum_k \sqrt{p_k q_k}, $$ जहां अंतिम चरण में हमने पीओवीएम $$\{E_k\}_k$$ के साथ $$\rho,\ \sigma$$ को मापकर प्राप्त संभाव्यता वितरण को $$p_k \equiv \operatorname{tr}(E_k \rho)$$ और $$q_k \equiv \operatorname{tr}(E_k \sigma)$$ से दर्शाया है।

इससे पता चलता है कि दो क्वांटम अवस्थाओं के बीच तद्रूपता का वर्गमूल किसी भी संभावित पीओवीएम में संबंधित संभाव्यता वितरण के बीच भट्टाचार्य गुणांक द्वारा ऊपरी सीमा पर है। सचमुच में, यह अधिक सामान्यतः सत्य है $$F(\rho,\sigma)=\min_{\{E_k\}} F(\boldsymbol p,\boldsymbol q),$$ जहां $$F(\boldsymbol p, \boldsymbol q)\equiv\left(\sum_k\sqrt{p_k q_k}\right)^2$$, और सभी संभावित पीओवीएम पर न्यूनतम लिया जाता है। अधिक विशेष रूप से, कोई यह प्रमाणित कर सकता है कि ऑपरेटर $$\sigma^{-1/2}|\sqrt\sigma\sqrt\rho|\sigma^{-1/2}$$ के अभिलक्षणिक आधार में माप के अनुरूप प्रोजेक्टिव पीओवीएम द्वारा न्यूनतम प्राप्त किया जाता है।

असमानता का प्रमाण
जैसा कि पहले दिखाया गया था, तद्रूपता का वर्गमूल $$\sqrt{F(\rho,\sigma)}=\operatorname{tr}|\sqrt\rho\sqrt\sigma|$$ के रूप में लिखा जा सकता है, जो एकल ऑपरेटर $$U$$ के अस्तित्व के बराबर है जैसे कि

$$\sqrt{F(\rho,\sigma)}=\operatorname{tr}(\sqrt\rho\sqrt\sigma U).$$यह याद रखते हुए कि $$\sum_k E_k=I$$ किसी भी पीओवीएम के लिए मान्य है, फिर हम लिख सकते हैं$$\sqrt{F(\rho,\sigma)}=\operatorname{tr}(\sqrt\rho\sqrt\sigma U)= \sum_k\operatorname{tr}(\sqrt\rho E_k \sqrt\sigma U)=\sum_k\operatorname{tr}(\sqrt\rho \sqrt{E_k} \sqrt{E_k}\sqrt\sigma U) \le \sum_k\sqrt{\operatorname{tr}(E_k\rho)\operatorname{tr}(E_k \sigma)},$$जहां अंतिम चरण में हमने $$|\operatorname{tr}(A^\dagger B)|^2\le\operatorname{tr}(A^\dagger A)\operatorname{tr}(B^\dagger B)$$ कॉची-श्वार्ज़ असमानता का उपयोग किया था।

क्वांटम संचालन के तहत व्यवहार
जब गैर-चयनात्मक क्वांटम ऑपरेशन $$\mathcal E$$ को दो अवस्थाओं पर लागू किया जाता है, तो दो अवस्थाओं के बीच निष्ठा कभी कम नहीं होती है: $$F(\mathcal E(\rho),\mathcal E(\sigma)) \ge F(\rho,\sigma),$$ किसी भी ट्रेस-संरक्षित पूरी तरह से धनात्मक मानचित्र $$\mathcal E$$ के लिए है।

ट्रेस दूरी से संबंध
हम दो मैट्रिक्स ए और बी के बीच ट्रेस दूरी को ट्रेस मानदंड के संदर्भ में परिभाषित कर सकते हैं



D(A,B) = \frac{1}{2}\| A-B\|_{\rm tr} \,. $$ जब ए और बी दोनों घनत्व ऑपरेटर हैं, तो यह सांख्यिकीय दूरी का एक क्वांटम सामान्यीकरण है। यह प्रासंगिक है क्योंकि ट्रेस दूरी फुच्स-वैन डे ग्रेफ असमानताओं द्वारा निर्धारित तद्रूपता पर ऊपरी और निचली सीमाएं प्रदान करती है,

1-\sqrt{F(\rho,\sigma)} \le D(\rho,\sigma) \le\sqrt{1-F(\rho,\sigma)} \,. $$ प्रायः ट्रेस दूरी की गणना करना या तद्रूपता की तुलना में इसे परिबद्ध करना आसान होता है, इसलिए ये रिश्ते काफी उपयोगी होते हैं। इस स्थिति में कि कम से कम एक अवस्था शुद्ध अवस्था Ψ है, निचली सीमा को कड़ा किया जा सकता है।



1-F(\psi,\rho) \le D(\psi,\rho) \,. $$

संदर्भ

 * Quantiki: Fidelity