Quantum channel discrimination has been studied from an information-theoretic perspective, wherein one is interested in the optimal decay rate of error probabilities as a function of the number of unknown channel accesses. In this paper, we study the query complexity of quantum channel discrimination, wherein the goal is to determine the minimum number of channel uses needed to reach a desired error probability. To this end, we show that the query complexity of binary channel discrimination depends logarithmically on the inverse error probability and inversely on the negative logarithm of the (geometric and Holevo) channel fidelity. As a special case of these findings, we precisely characterize the query complexity of discriminating two classical channels and two classical-quantum channels. Furthermore, by obtaining an optimal characterization of the sample complexity of quantum hypothesis testing, including prior probabilities, we provide a more precise characterization of query complexity when the error probability does not exceed a fixed threshold. We also provide lower and upper bounds on the query complexity of binary asymmetric channel discrimination and multiple quantum channel discrimination. For the former, the query complexity depends on the geometric Rényi and Petz Rényi channel divergences, while for the latter, it depends on the negative logarithm of the (geometric and Uhlmann) channel fidelity. For multiple channel discrimination, the upper bound scales as the logarithm of the number of channels.
पेपर ID : 2504.12989शीर्षक : Query Complexity of Classical and Quantum Channel Discriminationलेखक : Theshani Nuradha (कॉर्नेल विश्वविद्यालय और इलिनॉय विश्वविद्यालय अरबाना-शैम्पेन), Mark M. Wilde (कॉर्नेल विश्वविद्यालय)वर्गीकरण : quant-ph cs.IT cs.LG math.IT math.ST stat.THप्रकाशन समय : 13 अक्टूबर 2025 (arXiv v3)पेपर लिंक : https://arxiv.org/abs/2504.12989 यह पेपर क्वेरी जटिलता के दृष्टिकोण से क्वांटम चैनल विभेदन समस्या का अध्ययन करता है, जिसका उद्देश्य वांछित त्रुटि संभावना प्राप्त करने के लिए आवश्यक न्यूनतम चैनल उपयोग संख्या निर्धारित करना है। अनुसंधान से पता चलता है कि द्विआधारी चैनल विभेदन की क्वेरी जटिलता त्रुटि संभावना के व्युत्क्रम के साथ लॉगरिदमिक रूप से संबंधित है, और ज्यामितीय और Holevo चैनल निष्ठा के नकारात्मक लॉगरिदम के विपरीत आनुपातिक है। विशेष मामलों के रूप में, पेपर दो शास्त्रीय चैनलों और दो शास्त्रीय-क्वांटम चैनलों की क्वेरी जटिलता को सटीक रूप से चिन्हित करता है। क्वांटम परिकल्पना परीक्षण नमूना जटिलता का इष्टतम चिन्हांकन प्राप्त करके, त्रुटि संभावना निश्चित सीमा से अधिक न होने पर अधिक सटीक क्वेरी जटिलता विशेषता प्रदान की जाती है। इसके अतिरिक्त, द्विआधारी असममित चैनल विभेदन और बहु-चैनल विभेदन क्वेरी जटिलता के ऊपरी और निचली सीमाएं भी प्रदान की गई हैं।
क्वांटम चैनल विभेदन क्वांटम परिकल्पना परीक्षण का सामान्यीकरण है, जिसमें अज्ञात चैनल की पहचान निर्धारित करना शामिल है। पारंपरिक अनुसंधान मुख्य रूप से स्पर्शोन्मुख स्थिति में त्रुटि संभावना के इष्टतम क्षय दर पर ध्यान केंद्रित करता है, जबकि यह पेपर गैर-स्पर्शोन्मुख स्थिति में क्वेरी जटिलता समस्या पर ध्यान केंद्रित करता है।
सैद्धांतिक महत्व : क्वांटम चैनल विभेदन के गैर-स्पर्शोन्मुख विश्लेषण में अंतराल को भरता है, नमूना जटिलता के दृष्टिकोण से नई सैद्धांतिक रूपरेखा प्रदान करता हैव्यावहारिक मूल्य : क्वांटम शिक्षण सिद्धांत, क्वांटम कंप्यूटिंग और क्वांटम एल्गोरिदम में महत्वपूर्ण अनुप्रयोग क्षमतापद्धतिगत योगदान : सैद्धांतिक कंप्यूटर विज्ञान से क्वेरी जटिलता की अवधारणा को क्वांटम सूचना सिद्धांत में प्रस्तुत करता हैमौजूदा अनुसंधान मुख्य रूप से स्पर्शोन्मुख स्थिति (n → ∞) पर केंद्रित है निश्चित गैर-शून्य त्रुटि संभावना के तहत न्यूनतम क्वेरी संख्या के सटीक चिन्हांकन की कमी विभिन्न प्रकार के चैनलों की क्वेरी जटिलता के लिए एकीकृत सैद्धांतिक रूपरेखा की कमी क्वांटम चैनल विभेदन के तीन प्रकार की क्वेरी जटिलता को परिभाषित किया : सममित द्विआधारी, असममित द्विआधारी और बहु-चैनल विभेदनक्वांटम परिकल्पना परीक्षण की नमूना जटिलता सीमा में सुधार : सीमा बाधा के तहत इष्टतम चिन्हांकन प्रदान किया (प्रमेय 3)सममित द्विआधारी चैनल विभेदन के लिए कसी हुई सीमाएं प्राप्त की : त्रुटि संभावना और चैनल निष्ठा के संबंध में सटीक चिन्हांकन (प्रमेय 8)विशेष मामलों को पूरी तरह से हल किया : शास्त्रीय चैनल और शास्त्रीय-क्वांटम चैनल की क्वेरी जटिलता कसी हुई विशेषता (निष्कर्ष 10, 12, 14, 15)सामान्य मामलों तक विस्तारित किया : असममित चैनल विभेदन और बहु-चैनल विभेदन के लिए ऊपरी और निचली सीमाएं (प्रमेय 16, 19)दो क्वांटम चैनल N \mathcal{N} N और M \mathcal{M} M दिए गए हैं, जिन्हें पूर्व संभावनाओं p p p और q = 1 − p q = 1-p q = 1 − p के साथ चुना जाता है। क्वेरी जटिलता को इस प्रकार परिभाषित किया जाता है:
n ∗ ( p , N , q , M , ε ) : = inf { n ∈ N : p e ( p , N , q , M , n ) ≤ ε } n^*(p,\mathcal{N},q,\mathcal{M},\varepsilon) := \inf\{n \in \mathbb{N} : p_e(p,\mathcal{N},q,\mathcal{M},n) \leq \varepsilon\} n ∗ ( p , N , q , M , ε ) := inf { n ∈ N : p e ( p , N , q , M , n ) ≤ ε }
जहां p e p_e p e इष्टतम त्रुटि संभावना है।
प्रथम प्रकार की त्रुटि संभावना को ε \varepsilon ε से अधिक न होने के लिए बाधित करते हुए, द्वितीय प्रकार की त्रुटि संभावना को न्यूनतम करें:
n ∗ ( N , M , ε , δ ) : = inf { n ∈ N : β ε ( N ( n ) ∥ M ( n ) ) ≤ δ } n^*(\mathcal{N},\mathcal{M},\varepsilon,\delta) := \inf\{n \in \mathbb{N} : \beta_\varepsilon(\mathcal{N}^{(n)}\|\mathcal{M}^{(n)}) \leq \delta\} n ∗ ( N , M , ε , δ ) := inf { n ∈ N : β ε ( N ( n ) ∥ M ( n ) ) ≤ δ }
M M M चैनलों से अज्ञात चैनल की पहचान करें:
n ∗ ( S , ε ) : = inf { n ∈ N : p e ( S , n ) ≤ ε } n^*(\mathcal{S},\varepsilon) := \inf\{n \in \mathbb{N} : p_e(\mathcal{S},n) \leq \varepsilon\} n ∗ ( S , ε ) := inf { n ∈ N : p e ( S , n ) ≤ ε }
पेपर कई क्वांटम सूचना उपायों का उपयोग करता है:
ज्यामितीय निष्ठा : F ^ ( ρ , σ ) = inf ϵ > 0 ( Tr [ ρ ( ϵ ) # σ ( ϵ ) ] ) 2 \hat{F}(\rho,\sigma) = \inf_{\epsilon>0}(\text{Tr}[\rho^{(\epsilon)}\#\sigma^{(\epsilon)}])^2 F ^ ( ρ , σ ) = inf ϵ > 0 ( Tr [ ρ ( ϵ ) # σ ( ϵ ) ] ) 2 Holevo निष्ठा : F H ( ρ , σ ) = ( Tr [ ρ σ ] ) 2 F_H(\rho,\sigma) = (\text{Tr}[\sqrt{\rho}\sqrt{\sigma}])^2 F H ( ρ , σ ) = ( Tr [ ρ σ ] ) 2 ज्यामितीय Rényi विचलन : D ^ α ( ρ ∥ σ ) \hat{D}_\alpha(\rho\|\sigma) D ^ α ( ρ ∥ σ ) Petz-Rényi विचलन : D α ( ρ ∥ σ ) D_\alpha(\rho\|\sigma) D α ( ρ ∥ σ ) ज्यामितीय Rényi विचलन के श्रृंखला नियम का उपयोग:
F ^ ( N ( ρ ) , M ( σ ) ) ≥ F ^ ( N , M ) F ^ ( ρ , σ ) \hat{F}(\mathcal{N}(\rho),\mathcal{M}(\sigma)) \geq \hat{F}(\mathcal{N},\mathcal{M})\hat{F}(\rho,\sigma) F ^ ( N ( ρ ) , M ( σ )) ≥ F ^ ( N , M ) F ^ ( ρ , σ )
सबसे सामान्य अनुकूली रणनीतियों पर विचार करें, जिनमें शामिल हैं:
मनमाना प्रारंभिक अवस्था तैयारी प्रत्येक चैनल उपयोग के बाद अनुकूली संचालन अंतिम क्वांटम माप एकीकृत रूपरेखा : विभिन्न प्रकार की चैनल विभेदन समस्याओं को एकीकृत क्वेरी जटिलता रूपरेखा में शामिल करता हैकसी हुई सीमाएं : सुधारी गई क्वांटम Chernoff सीमा और ज्यामितीय विधियों के माध्यम से कसी हुई ऊपरी और निचली सीमाएं प्राप्त करता हैइष्टतम रणनीति : विशिष्ट मामलों (जैसे शास्त्रीय-क्वांटम चैनल) के लिए साबित करता है कि उत्पाद रणनीति स्पर्शोन्मुख रूप से इष्टतम हैसूक्ष्म विश्लेषण : पूर्व संभावनाओं के प्रभाव पर विचार करता है, सभी मापदंडों पर निर्भर सटीक चिन्हांकन प्रदान करता हैmax { ln ( p q ε ( 1 − ε ) ) − ln F ^ ( N , M ) , 1 − ε ( 1 − ε ) p q [ d F ^ ( N , M ) ] 2 } ≤ n ∗ ( p , N , q , M , ε ) \max\left\{\frac{\ln\left(\frac{pq}{\varepsilon(1-\varepsilon)}\right)}{-\ln\hat{F}(\mathcal{N},\mathcal{M})}, \frac{1-\frac{\varepsilon(1-\varepsilon)}{pq}}{[d_{\hat{F}}(\mathcal{N},\mathcal{M})]^2}\right\} \leq n^*(p,\mathcal{N},q,\mathcal{M},\varepsilon) max { − l n F ^ ( N , M ) l n ( ε ( 1 − ε ) pq ) , [ d F ^ ( N , M ) ] 2 1 − pq ε ( 1 − ε ) } ≤ n ∗ ( p , N , q , M , ε )
n ∗ ( p , N , q , M , ε ) ≤ ⌈ inf s ∈ [ 0 , 1 ] ln ( p s q 1 − s ε ) C s ( N ∥ M ) ⌉ n^*(p,\mathcal{N},q,\mathcal{M},\varepsilon) \leq \left\lceil\inf_{s\in[0,1]}\frac{\ln\left(\frac{p^s q^{1-s}}{\varepsilon}\right)}{C_s(\mathcal{N}\|\mathcal{M})}\right\rceil n ∗ ( p , N , q , M , ε ) ≤ inf s ∈ [ 0 , 1 ] C s ( N ∥ M ) l n ( ε p s q 1 − s )
शास्त्रीय चैनलों के लिए, क्वेरी जटिलता संतुष्ट करती है:
n ∗ ( p , N , q , M , ε ) = Θ ( ln ( 1 / ε ) − ln F ( N , M ) ) n^*(p,\mathcal{N},q,\mathcal{M},\varepsilon) = \Theta\left(\frac{\ln(1/\varepsilon)}{-\ln F(\mathcal{N},\mathcal{M})}\right) n ∗ ( p , N , q , M , ε ) = Θ ( − l n F ( N , M ) l n ( 1/ ε ) )
p ∈ ( 0 , 1 / 2 ] p \in (0,1/2] p ∈ ( 0 , 1/2 ] और ε ∈ ( 0 , p / 64 ) \varepsilon \in (0,p/64) ε ∈ ( 0 , p /64 ) शर्तों के तहत:
⌈ 1 2 λ ∗ ln ( p / ε ) − ln Q ^ λ ∗ ( N ∥ M ) ⌉ ≤ n ∗ ( p , N , q , M , ε ) ≤ ⌈ 2 λ ∗ ln ( p / ε ) − ln Q λ ∗ ( N ∥ M ) ⌉ \left\lceil\frac{1}{2}\frac{\lambda^*\ln(p/\varepsilon)}{-\ln\hat{Q}_{\lambda^*}(\mathcal{N}\|\mathcal{M})}\right\rceil \leq n^*(p,\mathcal{N},q,\mathcal{M},\varepsilon) \leq \left\lceil\frac{2\lambda^*\ln(p/\varepsilon)}{-\ln Q_{\lambda^*}(\mathcal{N}\|\mathcal{M})}\right\rceil ⌈ 2 1 − l n Q ^ λ ∗ ( N ∥ M ) λ ∗ l n ( p / ε ) ⌉ ≤ n ∗ ( p , N , q , M , ε ) ≤ ⌈ − l n Q λ ∗ ( N ∥ M ) 2 λ ∗ l n ( p / ε ) ⌉
जहां λ ∗ = ln ( q / ε ) ln ( q / ε ) + ln ( p / ε ) \lambda^* = \frac{\ln(q/\varepsilon)}{\ln(q/\varepsilon) + \ln(p/\varepsilon)} λ ∗ = l n ( q / ε ) + l n ( p / ε ) l n ( q / ε ) ।
शास्त्रीय इनपुट-आउटपुट चैनलों के लिए, ऊपरी और निचली सीमाएं केवल 4 के स्थिर कारक से भिन्न होती हैं, गैर-स्पर्शोन्मुख इष्टतमता प्राप्त करती हैं।
साबित करता है कि उत्पाद रणनीति (सर्वोत्तम इनपुट चुनना और टेंसर शक्ति रणनीति लागू करना) त्रुटि संभावना पर्याप्त रूप से छोटी होने पर इष्टतम है, अनुकूली रणनीति की आवश्यकता नहीं है।
ऊपरी सीमा चैनल संख्या M M M के लॉगरिदम के साथ स्केल करती है:
n ∗ ( S , ε ) ≤ ⌈ max m ≠ m ˉ 2 ln ( M ( M − 1 ) p m p m ˉ 2 ε ) − ln F ( N m , N m ˉ ) ⌉ n^*(\mathcal{S},\varepsilon) \leq \left\lceil\max_{m\neq\bar{m}}\frac{2\ln\left(\frac{M(M-1)\sqrt{p_m}\sqrt{p_{\bar{m}}}}{2\varepsilon}\right)}{-\ln F(\mathcal{N}_m,\mathcal{N}_{\bar{m}})}\right\rceil n ∗ ( S , ε ) ≤ ⌈ max m = m ˉ − l n F ( N m , N m ˉ ) 2 l n ( 2 ε M ( M − 1 ) p m p m ˉ ) ⌉
शास्त्रीय कार्य: Helstrom-Holevo प्रमेय इष्टतम त्रुटि संभावना का चिन्हांकन स्थापित करता है स्पर्शोन्मुख विश्लेषण: क्वांटम Chernoff सीमा और Stein लेम्मा का क्वांटम विस्तार गैर-स्पर्शोन्मुख विश्लेषण: हाल का कार्य नमूना जटिलता समस्याओं पर ध्यान केंद्रित करना शुरू करता है अनुकूली बनाम गैर-अनुकूली रणनीतियों की तुलना पूर्ण विभेदन की परिमित क्वेरी शर्तें स्पर्शोन्मुख स्थिति में मजबूत विपरीत प्रमेय और त्रुटि घातांक सैद्धांतिक कंप्यूटर विज्ञान में शास्त्रीय अवधारणा क्वांटम एल्गोरिदम में अनुप्रयोग (जैसे एकात्मक ऑपरेटर विभेदन) यह पेपर पहली बार इसे क्वांटम चैनल विभेदन पर व्यवस्थित रूप से लागू करता है सैद्धांतिक पूर्णता : क्वांटम चैनल विभेदन के लिए पूर्ण क्वेरी जटिलता सैद्धांतिक रूपरेखा प्रदान करता हैइष्टतमता परिणाम : महत्वपूर्ण विशेष मामलों के लिए कसी हुई सीमाएं प्राप्त करता है, कुछ रणनीतियों की इष्टतमता साबित करता हैएकीकृत दृष्टिकोण : विभिन्न प्रकार की चैनल विभेदन समस्याओं को क्वेरी जटिलता की रूपरेखा के तहत एकीकृत करता हैसामान्य क्वांटम चैनल : सामान्य क्वांटम चैनलों के लिए, ऊपरी और निचली सीमाओं के बीच अभी भी अंतराल मौजूद हैकम्प्यूटेशनल जटिलता : कुछ चैनल निष्ठा की गणना के लिए अर्ध-निश्चित प्रोग्रामिंग की आवश्यकता होती है, जो कम्प्यूटेशनल चुनौतियां पेश कर सकता हैव्यावहारिक शोर : सैद्धांतिक परिणाम आदर्श क्वांटम संचालन मानते हैं, व्यावहारिक अनुप्रयोगों में शोर और डीकोहेरेंस पर विचार करने की आवश्यकता हैअधिक कसी हुई सीमाएं : सामान्य क्वांटम चैनलों के लिए अधिक कसी हुई क्वेरी जटिलता सीमाएं प्राप्त करनाएल्गोरिदम कार्यान्वयन : सैद्धांतिक इष्टतम विभेदन रणनीतियों को लागू करने के लिए कुशल एल्गोरिदम विकसित करनाव्यावहारिक अनुप्रयोग : क्वांटम शिक्षण, क्वांटम एल्गोरिदम और क्वांटम संचार में विशिष्ट समस्याओं के लिए परिणामों को लागू करनासैद्धांतिक गहराई : क्वांटम चैनल विभेदन क्वेरी जटिलता का पहला व्यवस्थित सैद्धांतिक विश्लेषण प्रदान करता हैतकनीकी नवाचार : क्वांटम सूचना सिद्धांत में कई उपकरणों को चतुराई से जोड़ता है, जैसे ज्यामितीय निष्ठा, Rényi विचलन आदिपूर्णता : सममित, असममित और बहु-चैनल विभेदन के विभिन्न मामलों को शामिल करता हैसटीकता : महत्वपूर्ण विशेष मामलों के लिए कसा हुआ चिन्हांकन देता है, स्थिर कारक को 4 गुना सटीकता तक निर्दिष्ट करता हैसामान्यता : सामान्य क्वांटम चैनलों के लिए सीमाएं अभी भी पर्याप्त रूप से कसी हुई नहीं हैंव्यावहारिकता : कुछ सैद्धांतिक परिणामों का व्यावहारिक अनुप्रयोग मूल्य अभी सत्यापित किया जाना बाकी हैकम्प्यूटेशन : इष्टतम रणनीति का वास्तविक कार्यान्वयन कम्प्यूटेशनल जटिलता चुनौतियों का सामना कर सकता हैशैक्षणिक मूल्य : क्वांटम सूचना सिद्धांत के लिए नई अनुसंधान दिशा और उपकरण प्रदान करता हैअनुप्रयोग क्षमता : क्वांटम मशीन लर्निंग और क्वांटम एल्गोरिदम में महत्वपूर्ण अनुप्रयोग संभावनाएंपद्धतिविज्ञान : दिखाता है कि सैद्धांतिक कंप्यूटर विज्ञान की अवधारणाओं को क्वांटम सूचना सिद्धांत में कैसे प्रस्तुत किया जाएक्वांटम शिक्षण सिद्धांत : क्वांटम वर्गीकरणकर्ता और क्वांटम तंत्रिका नेटवर्क का सैद्धांतिक विश्लेषणक्वांटम एल्गोरिदम डिजाइन : चैनल विभेदन की आवश्यकता वाले क्वांटम एल्गोरिदम की जटिलता विश्लेषणक्वांटम संचार : क्वांटम चैनल क्षमता और कोडिंग सिद्धांत के अनुप्रयोगपेपर क्वांटम सूचना सिद्धांत के महत्वपूर्ण साहित्य का हवाला देता है, जिसमें शामिल हैं:
Helstrom और Holevo का शास्त्रीय क्वांटम परिकल्पना परीक्षण कार्य क्वांटम Chernoff सीमा और संबंधित गैर-स्पर्शोन्मुख विश्लेषण क्वांटम चैनल विभेदन में हाल की प्रगति क्वांटम निष्ठा और विचलन का सैद्धांतिक विकास यह पेपर क्वांटम चैनल विभेदन के लिए व्यापक क्वेरी जटिलता सैद्धांतिक रूपरेखा प्रदान करता है, सैद्धांतिक पूर्णता और तकनीकी गहराई दोनों में उच्च मानक तक पहुंचता है, और क्वांटम सूचना सिद्धांत और संबंधित अनुप्रयोग क्षेत्रों के लिए महत्वपूर्ण मूल्य रखता है।