क्लिफोर्ड गेट्स: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Definition of quantum circuits}} | {{Short description|Definition of quantum circuits}} | ||
[[ क्वांटम कम्प्यूटिंग |क्वांटम कम्प्यूटिंग]] और [[क्वांटम सूचना सिद्धांत]] में, क्लिफोर्ड गेट्स क्लिफोर्ड समूह के तत्व हैं, गणितीय परिवर्तनों का एक समूह जो <math>n</math>-क्विबिट [[पाउली समूह]] को सामान्य करता है, यानी, संयुग्मन के माध्यम से पाउली मैट्रिसेस के टेंसर उत्पादों को पाउली मैट्रिसेस के टेंसर उत्पादों में मैप करता है। यह धारणा [[डेनियल गॉट्समैन]] गेटा प्रस्तुत की गई थी और इसका नाम गणितज्ञ [[विलियम किंग्डन क्लिफोर्ड]] के नाम पर रखा गया है।<ref>{{Cite journal|last=Gottesman|first=Daniel|date=1998-01-01|title=दोष-सहिष्णु क्वांटम गणना का सिद्धांत|journal=[[Physical Review A]]|volume=57|issue=1|pages=127–137|doi=10.1103/physreva.57.127|arxiv=quant-ph/9702029|bibcode=1998PhRvA..57..127G|s2cid=8391036|issn=1050-2947|url=https://authors.library.caltech.edu/3850/1/GOTpra98.pdf}}</ref> क्वांटम सर्किट जिसमें केवल क्लिफ़ोर्ड गेट्स होते हैं, उन्हें गॉट्समैन-निल प्रमेय के कारण | [[ क्वांटम कम्प्यूटिंग |क्वांटम कम्प्यूटिंग]] और [[क्वांटम सूचना सिद्धांत]] में, क्लिफोर्ड गेट्स क्लिफोर्ड समूह के तत्व हैं, गणितीय परिवर्तनों का एक समूह जो <math>n</math>-क्विबिट [[पाउली समूह]] को सामान्य करता है, यानी, संयुग्मन के माध्यम से पाउली मैट्रिसेस के टेंसर उत्पादों को पाउली मैट्रिसेस के टेंसर उत्पादों में मैप करता है। यह धारणा [[डेनियल गॉट्समैन]] गेटा प्रस्तुत की गई थी और इसका नाम गणितज्ञ [[विलियम किंग्डन क्लिफोर्ड]] के नाम पर रखा गया है।<ref>{{Cite journal|last=Gottesman|first=Daniel|date=1998-01-01|title=दोष-सहिष्णु क्वांटम गणना का सिद्धांत|journal=[[Physical Review A]]|volume=57|issue=1|pages=127–137|doi=10.1103/physreva.57.127|arxiv=quant-ph/9702029|bibcode=1998PhRvA..57..127G|s2cid=8391036|issn=1050-2947|url=https://authors.library.caltech.edu/3850/1/GOTpra98.pdf}}</ref> क्वांटम सर्किट जिसमें केवल क्लिफ़ोर्ड गेट्स होते हैं, उन्हें गॉट्समैन-निल प्रमेय के कारण मौलिक कंप्यूटर के साथ कुशलतापूर्वक अनुकरण किया जा सकता है। | ||
== क्लिफोर्ड समूह == | == क्लिफोर्ड समूह == | ||
Line 15: | Line 15: | ||
क्लिफ़ोर्ड समूह को एकात्मक समूह के रूप में परिभाषित किया गया है जो <math>\mathbf{C}_n=\{V\in U_{2^n}\mid V\mathbf{P}_nV^\dagger = \mathbf{P}_n\}</math> पाउली समूह को केंद्रीकृत और सामान्यीकृत करता है, क्लिफोर्ड गेट्स को क्लिफोर्ड समूह के तत्वों के रूप में परिभाषित किया गया है। | क्लिफ़ोर्ड समूह को एकात्मक समूह के रूप में परिभाषित किया गया है जो <math>\mathbf{C}_n=\{V\in U_{2^n}\mid V\mathbf{P}_nV^\dagger = \mathbf{P}_n\}</math> पाउली समूह को केंद्रीकृत और सामान्यीकृत करता है, क्लिफोर्ड गेट्स को क्लिफोर्ड समूह के तत्वों के रूप में परिभाषित किया गया है। | ||
कुछ लेखक क्लिफोर्ड समूह को [[भागफल समूह]] <math>\mathbf{C}_n/U(1)</math>, के रूप में परिभाषित करना चुनते हैं, जो <math>\mathbf{C}_n</math> में ऐसे तत्वों की गणना करता है जो समान तत्व के रूप में केवल समग्र चरण कारक से भिन्न होते हैं। <math>n=</math>1, 2, और 3 के लिए, इस समूह में क्रमशः 24, 11,520 और 92,897,280 तत्व | कुछ लेखक क्लिफोर्ड समूह को [[भागफल समूह]] <math>\mathbf{C}_n/U(1)</math>, के रूप में परिभाषित करना चुनते हैं, जो <math>\mathbf{C}_n</math> में ऐसे तत्वों की गणना करता है जो समान तत्व के रूप में केवल समग्र चरण कारक से भिन्न होते हैं। <math>n=</math>1, 2, और 3 के लिए, इस समूह में क्रमशः 24, 11,520 और 92,897,280 तत्व सम्मलित हैं।<ref>{{Cite OEIS|A003956|Order of Clifford group}}</ref> | ||
यह पता चलता है<ref>{{Citation |title=Qiskit Community Tutorials |date=2022-05-10 |url=https://github.com/qiskit-community/qiskit-community-tutorials/blob/7a255971674813fb8e0aec6d2a1a05db0af4d02d/terra/qis_adv/Clifford_Group.ipynb |publisher=Qiskit Community |access-date=2022-05-11}}</ref> कि भागफल समूह <math>\mathbf{C}_n/\mathbf{P}_n</math> दो तत्वों के क्षेत्र F<sub>2</sub> पर <math>2n\times 2n</math> [[सिंपलेक्टिक मैट्रिक्स]] {{math|Sp(2''n'')}} के लिए आइसोमोर्फिक है। एकल क्वबिट के स्थिति में, जहां <math>\mathbf{A}\in\{I,V,W,H,HV,HW\}</math> और <math>\mathbf{B}\in\mathbf{P}_1=\{I,X,Y,Z\}</math>, <math>\mathbf{C}_1</math> में प्रत्येक तत्व को | यह पता चलता है<ref>{{Citation |title=Qiskit Community Tutorials |date=2022-05-10 |url=https://github.com/qiskit-community/qiskit-community-tutorials/blob/7a255971674813fb8e0aec6d2a1a05db0af4d02d/terra/qis_adv/Clifford_Group.ipynb |publisher=Qiskit Community |access-date=2022-05-11}}</ref> कि भागफल समूह <math>\mathbf{C}_n/\mathbf{P}_n</math> दो तत्वों के क्षेत्र F<sub>2</sub> पर <math>2n\times 2n</math> [[सिंपलेक्टिक मैट्रिक्स|सिंपलेक्टिक आव्यूह]] {{math|Sp(2''n'')}} के लिए आइसोमोर्फिक है। एकल क्वबिट के स्थिति में, जहां <math>\mathbf{A}\in\{I,V,W,H,HV,HW\}</math> और <math>\mathbf{B}\in\mathbf{P}_1=\{I,X,Y,Z\}</math>, <math>\mathbf{C}_1</math> में प्रत्येक तत्व को आव्यूह उत्पाद <math>\mathbf{A}\mathbf{B}</math>, के रूप में व्यक्त किया जा सकता है, यहां <math>H</math> हैडामर्ड गेट है, <math>S</math> चरण गेट है, <math>W=HS</math> और <math>V=W^{\dagger}</math>, <math> HS </math> अक्षों को <math> WXV = Y</math>, <math> WYV = Z</math> के रूप में स्वैप करें और <math> WZV = X</math> ,शेष गेटों के लिए, <math>HV=R_x(-\pi/2)</math> x-अक्ष के अनुदिश एक घूर्णन है, और <math>HW=S \sim R_Z(\pi/2)</math> z-अक्ष के अनुदिश एक घूर्णन है। | ||
=== जेनरेटर === | === जेनरेटर === | ||
क्लिफ़ोर्ड समूह तीन गेटों, हैडमार्ड, S और [[सीएनओटी]] गेटों | क्लिफ़ोर्ड समूह तीन गेटों, हैडमार्ड, S और [[सीएनओटी]] गेटों को उत्पन्न करता है।<ref>{{Cite book |last1=Nielsen |first1=Michael A. |url=https://books.google.com/books?id=j2ULnwEACAAJ |title=Quantum Computation and Quantum Information: 10th Anniversary Edition |last2=Chuang |first2=Isaac L. |date=2010-12-09 |publisher=Cambridge University Press |isbn=978-1-107-00217-3 |language=en}}</ref><ref>{{Cite journal |last=Gottesman |first=Daniel |date=1998-01-01 |title=दोष-सहिष्णु क्वांटम गणना का सिद्धांत|url=https://link.aps.org/doi/10.1103/PhysRevA.57.127 |journal=Physical Review A |language=en |volume=57 |issue=1 |pages=127–137 |doi=10.1103/PhysRevA.57.127 |bibcode=1998PhRvA..57..127G |s2cid=8391036 |issn=1050-2947}}</ref><ref>{{Cite journal |last=Gottesman |first=Daniel |date=1997-05-28 |title=स्टेबलाइजर कोड और क्वांटम त्रुटि सुधार|arxiv=quant-ph/9705052 |bibcode=1997PhDT.......232G }}</ref> चूंकि सभी पाउली मैट्रिस का निर्माण चरण S और हैडामर्ड गेट से किया जा सकता है, प्रत्येक पाउली गेट भी क्लिफोर्ड समूह का एक तत्व है। | ||
<math>Y</math> गेट, <math>X</math> और <math>Z</math> गेट के गुणनफल के | <math>Y</math> गेट, <math>X</math> और <math>Z</math> गेट के गुणनफल के समतुल्य है। यह दिखाने के लिए कि एक एकात्मक <math>U</math> क्लिफोर्ड समूह का सदस्य है, यह दिखाना पर्याप्त है कि सभी <math>P \in \mathbf{P}_n</math> के लिए जिसमें केवल <math>X</math> और <math>Z</math> के टेंसर उत्पाद सम्मलित हैं, हमारे पास गणित में <math>UPU^\dagger \in \mathbf{P}_n</math> है। | ||
==== हैडमार्ड गेट ==== | ==== हैडमार्ड गेट ==== | ||
Line 53: | Line 53: | ||
== गुण और अनुप्रयोग == | == गुण और अनुप्रयोग == | ||
क्लिफोर्ड गेट और पाउली गेट का क्रम आपस में | क्लिफोर्ड गेट और पाउली गेट का क्रम आपस में परिवर्तित किया जा सकता है। उदाहरण के लिए, इसे 2 क्यूबिट पर निम्नलिखित ऑपरेटर पर विचार करके चित्रित किया जा सकता है। | ||
:<math>A=(X \otimes Z)CZ </math>. | :<math>A=(X \otimes Z)CZ </math>. | ||
हम यह जानते हैं:<math>CZ(X \otimes I)CZ^\dagger =X \otimes Z </math>, यदि हम दाईं ओर से CZ से गुणा करते है। | हम यह जानते हैं:<math>CZ(X \otimes I)CZ^\dagger =X \otimes Z </math>, यदि हम दाईं ओर से CZ से गुणा करते है। | ||
:<math>CZ(X \otimes I) =(X \otimes Z)CZ </math>. | :<math>CZ(X \otimes I) =(X \otimes Z)CZ </math>. | ||
अतः A, के | अतः A, के समतुल्य है, | ||
:<math>A=(X \otimes Z)CZ = CZ(X \otimes I) </math>. | :<math>A=(X \otimes Z)CZ = CZ(X \otimes I) </math>. | ||
===अनुकरणीयता=== | ===अनुकरणीयता=== | ||
गॉट्समैन-निल प्रमेय में कहा गया है कि केवल निम्नलिखित तत्वों का उपयोग करके एक क्वांटम सर्किट को | गॉट्समैन-निल प्रमेय में कहा गया है कि केवल निम्नलिखित तत्वों का उपयोग करके एक क्वांटम सर्किट को मौलिक कंप्यूटर पर कुशलतापूर्वक अनुकरण किया जा सकता है: | ||
# | # अभिकलनीय आधार पर क्वैबिट की तैयारी बताई जाती है, | ||
# क्लिफ़ोर्ड गेट्स, और | # क्लिफ़ोर्ड गेट्स, और | ||
# अभिकलनीय के आधार पर मापन | # अभिकलनीय के आधार पर मापन | ||
Line 70: | Line 70: | ||
== क्वांटम गेट्स का एक सार्वभौमिक समूह बनाना == | == क्वांटम गेट्स का एक सार्वभौमिक समूह बनाना == | ||
क्लिफोर्ड गेट्स क्वांटम गेट्स का एक सार्वभौमिक समूह नहीं बनाते हैं क्योंकि सभी गेट क्लिफोर्ड समूह के सदस्य नहीं हैं और कुछ गेटों को संचालन के एक सीमित समूह के साथ | क्लिफोर्ड गेट्स क्वांटम गेट्स का एक सार्वभौमिक समूह नहीं बनाते हैं क्योंकि सभी गेट क्लिफोर्ड समूह के सदस्य नहीं हैं और कुछ गेटों को संचालन के एक सीमित समूह के साथ स्वेच्छ रूप से अनुमानित नहीं किया जा सकता है। एक उदाहरण चरण शिफ्ट गेट है (ऐतिहासिक रूप से इसे <math>\pi /8</math> गेट के रूप में जाना जाता है): | ||
:<math> T = \begin{bmatrix} 1 & 0 \\ 0 & e^{i \frac{\pi}{4}} \end{bmatrix} = \sqrt{S} = \sqrt[4]{Z}</math>. | :<math> T = \begin{bmatrix} 1 & 0 \\ 0 & e^{i \frac{\pi}{4}} \end{bmatrix} = \sqrt{S} = \sqrt[4]{Z}</math>. | ||
यह दिखाने के लिए कि <math>T</math> गेट पाउली-<math>X</math> गेट को किसी अन्य पाउली | यह दिखाने के लिए कि <math>T</math> गेट पाउली-<math>X</math> गेट को किसी अन्य पाउली आव्यूह पर मैप नहीं करता है: | ||
:<math>TX{T^\dagger } = \left[ {\begin{array}{*{20}{c}} | :<math>TX{T^\dagger } = \left[ {\begin{array}{*{20}{c}} | ||
Line 89: | Line 89: | ||
{{e^{i\frac{\pi }{4}}}}&0 | {{e^{i\frac{\pi }{4}}}}&0 | ||
\end{array}} \right]\not \in {{\mathbf{P}}_1}</math> | \end{array}} \right]\not \in {{\mathbf{P}}_1}</math> | ||
चूंकि, क्लिफ़ोर्ड समूह, जब इसके साथ संवर्धित किया गया <math>T</math> गेट, क्वांटम गणना के लिए एक सार्वभौमिक क्वांटम गेट समूह बनाता है। | |||
== यह भी देखें == | == यह भी देखें == |
Revision as of 20:09, 16 July 2023
क्वांटम कम्प्यूटिंग और क्वांटम सूचना सिद्धांत में, क्लिफोर्ड गेट्स क्लिफोर्ड समूह के तत्व हैं, गणितीय परिवर्तनों का एक समूह जो -क्विबिट पाउली समूह को सामान्य करता है, यानी, संयुग्मन के माध्यम से पाउली मैट्रिसेस के टेंसर उत्पादों को पाउली मैट्रिसेस के टेंसर उत्पादों में मैप करता है। यह धारणा डेनियल गॉट्समैन गेटा प्रस्तुत की गई थी और इसका नाम गणितज्ञ विलियम किंग्डन क्लिफोर्ड के नाम पर रखा गया है।[1] क्वांटम सर्किट जिसमें केवल क्लिफ़ोर्ड गेट्स होते हैं, उन्हें गॉट्समैन-निल प्रमेय के कारण मौलिक कंप्यूटर के साथ कुशलतापूर्वक अनुकरण किया जा सकता है।
क्लिफोर्ड समूह
परिभाषा
एकल क्वबिट के घनत्व ऑपरेटरों के साथ-साथ उन इकाइयों के लिए एक आधार प्रदान करें जिन्हें उन पर लागू किया जा सकता है। -क्विबिट स्थिति के लिए, कोई एक समूह का निर्माण कर सकता है, जिसे पाउली समूह के रूप में जाना जाता है,
क्लिफ़ोर्ड समूह को एकात्मक समूह के रूप में परिभाषित किया गया है जो पाउली समूह को केंद्रीकृत और सामान्यीकृत करता है, क्लिफोर्ड गेट्स को क्लिफोर्ड समूह के तत्वों के रूप में परिभाषित किया गया है।
कुछ लेखक क्लिफोर्ड समूह को भागफल समूह , के रूप में परिभाषित करना चुनते हैं, जो में ऐसे तत्वों की गणना करता है जो समान तत्व के रूप में केवल समग्र चरण कारक से भिन्न होते हैं। 1, 2, और 3 के लिए, इस समूह में क्रमशः 24, 11,520 और 92,897,280 तत्व सम्मलित हैं।[2]
यह पता चलता है[3] कि भागफल समूह दो तत्वों के क्षेत्र F2 पर सिंपलेक्टिक आव्यूह Sp(2n) के लिए आइसोमोर्फिक है। एकल क्वबिट के स्थिति में, जहां और , में प्रत्येक तत्व को आव्यूह उत्पाद , के रूप में व्यक्त किया जा सकता है, यहां हैडामर्ड गेट है, चरण गेट है, और , अक्षों को , के रूप में स्वैप करें और ,शेष गेटों के लिए, x-अक्ष के अनुदिश एक घूर्णन है, और z-अक्ष के अनुदिश एक घूर्णन है।
जेनरेटर
क्लिफ़ोर्ड समूह तीन गेटों, हैडमार्ड, S और सीएनओटी गेटों को उत्पन्न करता है।[4][5][6] चूंकि सभी पाउली मैट्रिस का निर्माण चरण S और हैडामर्ड गेट से किया जा सकता है, प्रत्येक पाउली गेट भी क्लिफोर्ड समूह का एक तत्व है।
गेट, और गेट के गुणनफल के समतुल्य है। यह दिखाने के लिए कि एक एकात्मक क्लिफोर्ड समूह का सदस्य है, यह दिखाना पर्याप्त है कि सभी के लिए जिसमें केवल और के टेंसर उत्पाद सम्मलित हैं, हमारे पास गणित में है।
हैडमार्ड गेट
हैडामर्ड गेट
- और के रूप में क्लिफोर्ड समूह का सदस्य है।
S गेट
चरण गेट
- और के रूप में एक क्लिफोर्ड गेट है।
सीएनओटी गेट
सीएनओटी गेट दो क्वैबिट पर लागू होता है। और के बीच चार विकल्प हैं:
सीएनओटी सीएनओटी | |
---|---|
गुण और अनुप्रयोग
क्लिफोर्ड गेट और पाउली गेट का क्रम आपस में परिवर्तित किया जा सकता है। उदाहरण के लिए, इसे 2 क्यूबिट पर निम्नलिखित ऑपरेटर पर विचार करके चित्रित किया जा सकता है।
- .
हम यह जानते हैं:, यदि हम दाईं ओर से CZ से गुणा करते है।
- .
अतः A, के समतुल्य है,
- .
अनुकरणीयता
गॉट्समैन-निल प्रमेय में कहा गया है कि केवल निम्नलिखित तत्वों का उपयोग करके एक क्वांटम सर्किट को मौलिक कंप्यूटर पर कुशलतापूर्वक अनुकरण किया जा सकता है:
- अभिकलनीय आधार पर क्वैबिट की तैयारी बताई जाती है,
- क्लिफ़ोर्ड गेट्स, और
- अभिकलनीय के आधार पर मापन
गॉट्समैन-निल प्रमेय से पता चलता है कि कुछ अत्यधिक उलझी हुई अवस्थाओं का भी कुशलतापूर्वक अनुकरण किया जा सकता है। कई महत्वपूर्ण प्रकार के क्वांटम कलन विधि केवल क्लिफोर्ड गेट्स का उपयोग करते हैं, सबसे महत्वपूर्ण रूप से उलझाव आसवन और क्वांटम त्रुटि सुधार के लिए मानक कलन विधि का उपयोग किया जाता है।
क्वांटम गेट्स का एक सार्वभौमिक समूह बनाना
क्लिफोर्ड गेट्स क्वांटम गेट्स का एक सार्वभौमिक समूह नहीं बनाते हैं क्योंकि सभी गेट क्लिफोर्ड समूह के सदस्य नहीं हैं और कुछ गेटों को संचालन के एक सीमित समूह के साथ स्वेच्छ रूप से अनुमानित नहीं किया जा सकता है। एक उदाहरण चरण शिफ्ट गेट है (ऐतिहासिक रूप से इसे गेट के रूप में जाना जाता है):
- .
यह दिखाने के लिए कि गेट पाउली- गेट को किसी अन्य पाउली आव्यूह पर मैप नहीं करता है:
चूंकि, क्लिफ़ोर्ड समूह, जब इसके साथ संवर्धित किया गया गेट, क्वांटम गणना के लिए एक सार्वभौमिक क्वांटम गेट समूह बनाता है।
यह भी देखें
संदर्भ
- ↑ Gottesman, Daniel (1998-01-01). "दोष-सहिष्णु क्वांटम गणना का सिद्धांत" (PDF). Physical Review A. 57 (1): 127–137. arXiv:quant-ph/9702029. Bibcode:1998PhRvA..57..127G. doi:10.1103/physreva.57.127. ISSN 1050-2947. S2CID 8391036.
- ↑ Sloane, N. J. A. (ed.). "Sequence A003956 (Order of Clifford group)". The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.
- ↑ Qiskit Community Tutorials, Qiskit Community, 2022-05-10, retrieved 2022-05-11
- ↑ Nielsen, Michael A.; Chuang, Isaac L. (2010-12-09). Quantum Computation and Quantum Information: 10th Anniversary Edition (in English). Cambridge University Press. ISBN 978-1-107-00217-3.
- ↑ Gottesman, Daniel (1998-01-01). "दोष-सहिष्णु क्वांटम गणना का सिद्धांत". Physical Review A (in English). 57 (1): 127–137. Bibcode:1998PhRvA..57..127G. doi:10.1103/PhysRevA.57.127. ISSN 1050-2947. S2CID 8391036.
- ↑ Gottesman, Daniel (1997-05-28). "स्टेबलाइजर कोड और क्वांटम त्रुटि सुधार". arXiv:quant-ph/9705052. Bibcode:1997PhDT.......232G.
{{cite journal}}
: Cite journal requires|journal=
(help)