क्वांटम चरण आकलन एल्गोरिदम: Difference between revisions

From Vigyanwiki
No edit summary
Line 6: Line 6:


==समस्या==
==समस्या==
मान लीजिए कि U एक [[एकात्मक संचालिका]] है जो एक eigenvalues ​​​​और eigenvectors के साथ m qubit पर काम करता है<math>| \psi \rangle,</math> ऐसा है कि <math>U| \psi\rangle =  e^{ 2\pi i \theta}\left|\psi \right\rangle , 0 \leq \theta < 1 </math>.
मान लीजिए कि U एक [[एकात्मक संचालिका]] है जो एक आइगेनवैल्यू ​​​​और आइजन्वेक्टर के साथ m क्वैबिट पर काम करता है<math>| \psi \rangle,</math> ऐसा है कि <math>U| \psi\rangle =  e^{ 2\pi i \theta}\left|\psi \right\rangle , 0 \leq \theta < 1 </math>.


हम <math> e^{2 \pi i \theta} </math> और <math> |\psi\rangle </math>का eigenvalue ज्ञात करना चाहेंगे। जो इस मामले में <math>\theta</math> में परिशुद्धता के एक सीमित स्तर तक चरण का अनुमान लगाने के बराबर है। हम eigenvalue को इस रूप में लिख सकते हैं,  <math>e^{2 \pi i \theta} </math> क्योंकि U एक जटिल सदिश समष्टि पर एक एकात्मक संचालिका है, इसलिए इसके eigenvalues ​​​​पूर्ण मान 1 के साथ जटिल संख्याएँ होनी चाहिए।
हम <math> e^{2 \pi i \theta} </math> और <math> |\psi\rangle </math>का आइगेनवैल्यू ज्ञात करना चाहेंगे। जो इस स्थिति में <math>\theta</math> में परिशुद्धता के एक सीमित स्तर तक चरण का अनुमान लगाने के सामान है। हम आइगेनवैल्यू को इस रूप में लिख सकते हैं,  <math>e^{2 \pi i \theta} </math> क्योंकि U एक जटिल सदिश समष्टि पर एक एकात्मक संचालिका है इसलिए इसके आइगेनवैल्यू ​​​​पूर्ण मान 1 के साथ जटिल संख्याएँ होनी चाहिए।


==एल्गोरिदम==
==एल्गोरिदम==
Line 18: Line 18:
सिस्टम की प्रारंभिक स्थिति है:
सिस्टम की प्रारंभिक स्थिति है:
:<math> |0\rangle^{\otimes n}|\psi\rangle .</math>
:<math> |0\rangle^{\otimes n}|\psi\rangle .</math>
एन-बिट पहले रजिस्टर पर एन-बिट हैडामर्ड गेट ऑपरेशन लागू करने के बाद <math> H^{\otimes n} </math> स्थिति बन जाती है:
एन-बिट पहले रजिस्टर पर एन-बिट हैडामर्ड गेट संचालिका लागू करने के बाद <math> H^{\otimes n} </math> स्थिति बन जाती है:
:<math>\frac{1}{2^{\frac{n}{2}}}(|0\rangle + |1\rangle)^{\otimes n}|\psi\rangle = \frac{1}{2^{n/2}} \sum_{j = 0}^{2^n - 1} |j\rangle |\psi\rangle</math>.
:<math>\frac{1}{2^{\frac{n}{2}}}(|0\rangle + |1\rangle)^{\otimes n}|\psi\rangle = \frac{1}{2^{n/2}} \sum_{j = 0}^{2^n - 1} |j\rangle |\psi\rangle</math>.
मान लीजिए कि <math>U</math> eigenvector के साथ एकात्मक संचालिका <math> |\psi\rangle </math> ऐसा है कि <math>U| \psi \rangle =  e^{ 2\pi i \theta}|\psi \rangle</math> इस प्रकार,
मान लीजिए कि <math>U</math> आइजन्वेक्टर के साथ एकात्मक संचालिका <math> |\psi\rangle </math> ऐसा है कि <math>U| \psi \rangle =  e^{ 2\pi i \theta}|\psi \rangle</math> इस प्रकार,


:<math>U^{2^{j}}| \psi\rangle = e^{ 2\pi i 2^{j}\theta}|\psi \rangle</math>.
:<math>U^{2^{j}}| \psi\rangle = e^{ 2\pi i 2^{j}\theta}|\psi \rangle</math>.


कुल मिलाकर कंट्रोल्ड_गेट्स द्वारा दो रजिस्टरों पर परिवर्तन लागू किया गया <math>U, U^{2}, U^{2^2}, \ldots, U^{2^{n - 1}}</math> है<math display="block">|k\rangle|\psi\rangle \mapsto |k\rangle U^{k}|\psi\rangle</math>इसे के विघटन <math>k</math> द्वारा देखा जा सकता हैं, बिटस्ट्रिंग में <math>k_{n - 1}k_{n - 2}\ldots k_1 k_0</math> और [[ बाइनरी संख्या ]] <math>2^{n - 1}k_{n - 1} + 2^{n - 2}k_{n - 2} + \ldots + 2 k_1 + k_0</math>, जहाँ <math>k_{n - 1}, \ldots, k_1, k_0 \in \{0, 1\}</math>. स्पष्ट रूप से, <math>U^k</math> बन जाता है<math display="block">U^{2^{n - 1}k_{n - 1} + \ldots + 2^2 k_2 + 2 k_1 + k_0} = U^{2^{n - 1}k_{n - 1}}\ldots U^{2^2 k_2} U^{2 k_1} U^{k_0}</math>प्रत्येक <math>U^{2^{j}k_j}</math> केवल तभी लागू होगा जब qubit <math>k_j</math> है <math>1</math>, जिसका अर्थ है कि यह उस बिट द्वारा नियंत्रित होता है। इसलिए समग्र परिवर्तन <math>|k\rangle U^k |\psi\rangle</math> नियंत्रित के समतुल्य है <math>U^{2^j}</math> प्रत्येक <math>j</math>-वें क्वबिट से गेट.
कुल मिलाकर कंट्रोल्ड_गेट्स द्वारा दो रजिस्टरों पर परिवर्तन लागू किया गया <math>U, U^{2}, U^{2^2}, \ldots, U^{2^{n - 1}}</math> है<math display="block">|k\rangle|\psi\rangle \mapsto |k\rangle U^{k}|\psi\rangle</math>इसे के विघटन <math>k</math> द्वारा देखा जा सकता हैं, बिटस्ट्रिंग में <math>k_{n - 1}k_{n - 2}\ldots k_1 k_0</math> और [[ बाइनरी संख्या ]] <math>2^{n - 1}k_{n - 1} + 2^{n - 2}k_{n - 2} + \ldots + 2 k_1 + k_0</math>, जहाँ <math>k_{n - 1}, \ldots, k_1, k_0 \in \{0, 1\}</math>. स्पष्ट रूप से, <math>U^k</math> बन जाता है<math display="block">U^{2^{n - 1}k_{n - 1} + \ldots + 2^2 k_2 + 2 k_1 + k_0} = U^{2^{n - 1}k_{n - 1}}\ldots U^{2^2 k_2} U^{2 k_1} U^{k_0}</math>प्रत्येक <math>U^{2^{j}k_j}</math> केवल तभी लागू होगा जब क्वैबिट <math>k_j</math> है <math>1</math>, जिसका अर्थ है कि यह उस बिट द्वारा नियंत्रित होता है। इसलिए समग्र परिवर्तन <math>|k\rangle U^k |\psi\rangle</math> नियंत्रित के समतुल्य है <math>U^{2^j}</math> प्रत्येक <math>j</math>-वें क्वबिट से गेट.


इसलिए, अवस्था को इस प्रकार नियंत्रित गेटों  <math>U^{2^j}</math> द्वारा रूपांतरित किया जाएगा:<math display="block">\frac{1}{\sqrt{2^n}} \sum_{j = 0}^{2^n - 1} |j\rangle |\psi\rangle \mapsto \frac{1}{\sqrt{2^n}} \sum_{j = 0}^{2^n - 1} e^{2\pi i j \theta}|j\rangle|\psi\rangle</math>इस बिंदु पर eigenvector के साथ दूसरे रजिस्टर की आवश्यकता नहीं है। चरण आकलन के दूसरे दौर में इसका पुन: उपयोग किया जा सकता है। बिना <math>|\psi\rangle</math> वाली अवस्था हैं:
इसलिए, अवस्था को इस प्रकार नियंत्रित गेटों  <math>U^{2^j}</math> द्वारा रूपांतरित किया जाएगा:<math display="block">\frac{1}{\sqrt{2^n}} \sum_{j = 0}^{2^n - 1} |j\rangle |\psi\rangle \mapsto \frac{1}{\sqrt{2^n}} \sum_{j = 0}^{2^n - 1} e^{2\pi i j \theta}|j\rangle|\psi\rangle</math>इस बिंदु पर आइजन्वेक्टर के साथ दूसरे रजिस्टर की आवश्यकता नहीं है। चरण आकलन के दूसरे दौर में इसका पुन: उपयोग किया जा सकता है, बिना <math>|\psi\rangle</math> वाली अवस्था हैं:


<math>\frac{1}{\sqrt{2^n}} \sum_{j = 0}^{2^n - 1} e^{2\pi i j \theta}|j\rangle</math>
<math>\frac{1}{\sqrt{2^n}} \sum_{j = 0}^{2^n - 1} e^{2\pi i j \theta}|j\rangle</math>
Line 35: Line 35:
व्युत्क्रम क्वांटम फूरियर को लागू करने पर परिवर्तन होता है
व्युत्क्रम क्वांटम फूरियर को लागू करने पर परिवर्तन होता है


:<math>\frac{1}{2^{\frac{n}{2}}}\sum_{k=0}^{2^n - 1} e^{2\pi i \theta k} |k\rangle</math> पैदावार
:<math>\frac{1}{2^{\frac{n}{2}}}\sum_{k=0}^{2^n - 1} e^{2\pi i \theta k} |k\rangle</math> उत्पन्न


:<math>\frac{1}{2^{\frac{n}{2}}}\sum_{k=0}^{2^n - 1} e^{2\pi i \theta k} \left( \frac{1}{2^{\frac{n}{2}}}\sum_{x=0}^{2^n - 1} e^{\frac{-2\pi i kx}{2^n}}|x\rangle \right) = \frac{1}{2^{n}}\sum_{x=0}^{2^n - 1} \sum_{k=0}^{2^n - 1}e^{-\frac{2\pi i k}{2^n} \left ( x - 2^n \theta \right )}  |x\rangle.</math>
:<math>\frac{1}{2^{\frac{n}{2}}}\sum_{k=0}^{2^n - 1} e^{2\pi i \theta k} \left( \frac{1}{2^{\frac{n}{2}}}\sum_{x=0}^{2^n - 1} e^{\frac{-2\pi i kx}{2^n}}|x\rangle \right) = \frac{1}{2^{n}}\sum_{x=0}^{2^n - 1} \sum_{k=0}^{2^n - 1}e^{-\frac{2\pi i k}{2^n} \left ( x - 2^n \theta \right )}  |x\rangle.</math>
Line 49: Line 49:
=== माप ===
=== माप ===
पहले रजिस्टर पर कम्प्यूटेशनल आधार पर क्वांटम यांत्रिकी में माप करने से परिणाम मिलता है <math> |y\rangle </math> संभाव्यता के साथ<math display="block">\Pr(y) = |c_y|^2 =  \left| \frac{1}{2^{n}} \sum_{k=0}^{2^n-1} e^{\frac{-2\pi i k}{2^n}(y-a)} e^{2 \pi i \delta k} \right |^2.
पहले रजिस्टर पर कम्प्यूटेशनल आधार पर क्वांटम यांत्रिकी में माप करने से परिणाम मिलता है <math> |y\rangle </math> संभाव्यता के साथ<math display="block">\Pr(y) = |c_y|^2 =  \left| \frac{1}{2^{n}} \sum_{k=0}^{2^n-1} e^{\frac{-2\pi i k}{2^n}(y-a)} e^{2 \pi i \delta k} \right |^2.
</math>यह इस प्रकार है कि <math>\operatorname{Pr}(a)=1</math> यदि <math>\delta=0</math> तो <math>\theta</math> के रूप में लिखा जा सकता है <math>\theta=a/2^n</math>, तो हमेशा यह परिणाम मिलता है <math>y=a</math>. दूसरी ओर, यदि <math>\delta\neq0</math>, संभावना पढ़ती है<math display="block">\operatorname{Pr}(a)=\frac{1}{2^{2n}} \left | \sum_{k=0}^{2^n-1} e^{2 \pi i \delta k} \right |^2 = \frac{1}{2^{2n}} \left | \frac{1- {e^{2 \pi i 2^n \delta}}}{1-{e^{2 \pi i \delta}}} \right|^2.
</math>यह इस प्रकार है कि <math>\operatorname{Pr}(a)=1</math> यदि <math>\delta=0</math> तो <math>\theta</math> के रूप में लिखा जा सकता है <math>\theta=a/2^n</math> तो हमेशा यह परिणाम मिलता है <math>y=a</math> दूसरी ओर, यदि <math>\delta\neq0</math> संभावना पढ़ती है<math display="block">\operatorname{Pr}(a)=\frac{1}{2^{2n}} \left | \sum_{k=0}^{2^n-1} e^{2 \pi i \delta k} \right |^2 = \frac{1}{2^{2n}} \left | \frac{1- {e^{2 \pi i 2^n \delta}}}{1-{e^{2 \pi i \delta}}} \right|^2.
</math>इस अभिव्यक्ति से हम यह देख सकते हैं कि <math>\Pr(a) \geqslant \frac{4}{\pi^2} \approx 0.405</math> तब <math>\delta\neq0</math> इसे देखने के लिए हम देखते हैं कि <math>\delta</math> डेल्टा की परिभाषा से हमें असमानता मिलती है <math>|\delta| \leqslant \tfrac{1}{2^{n+1}}</math> और इस प्रकार:<ref name="benet">{{cite book|last1=Benenti|first1=Guiliano|last2=Casati|first2=Giulio|last3=Strini|first3=Giuliano|title=क्वांटम गणना और सूचना के सिद्धांत|date=2004|publisher=World Scientific| location=New Jersey [u.a.]|isbn=978-9812388582|edition=Reprinted.}}</ref>{{rp|157}}<ref name="ekert">{{cite journal| last1=Cleve| first1=R.| last2=Ekert |first2=A. |last3=Macchiavello| first3=C.| last4=Mosca|first4=M.|title=क्वांटम एल्गोरिदम पर दोबारा गौर किया गया|journal=Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences|date=8 January 1998| volume=454| issue=1969| pages=339–354|doi=10.1098/rspa.1998.0164|arxiv=quant-ph/9708016|bibcode=1998RSPSA.454..339C| s2cid=16128238}}</ref>{{rp|348}}<math display="block">\begin{align}  
</math>इस अभिव्यक्ति से हम यह देख सकते हैं कि <math>\Pr(a) \geqslant \frac{4}{\pi^2} \approx 0.405</math> तब <math>\delta\neq0</math> इसे देखने के लिए हम देखते हैं कि <math>\delta</math> डेल्टा की परिभाषा से हमें असमानता मिलती है <math>|\delta| \leqslant \tfrac{1}{2^{n+1}}</math> और इस प्रकार:<ref name="benet">{{cite book|last1=Benenti|first1=Guiliano|last2=Casati|first2=Giulio|last3=Strini|first3=Giuliano|title=क्वांटम गणना और सूचना के सिद्धांत|date=2004|publisher=World Scientific| location=New Jersey [u.a.]|isbn=978-9812388582|edition=Reprinted.}}</ref>{{rp|157}}<ref name="ekert">{{cite journal| last1=Cleve| first1=R.| last2=Ekert |first2=A. |last3=Macchiavello| first3=C.| last4=Mosca|first4=M.|title=क्वांटम एल्गोरिदम पर दोबारा गौर किया गया|journal=Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences|date=8 January 1998| volume=454| issue=1969| pages=339–354|doi=10.1098/rspa.1998.0164|arxiv=quant-ph/9708016|bibcode=1998RSPSA.454..339C| s2cid=16128238}}</ref>{{rp|348}}<math display="block">\begin{align}  
\Pr(a) &=  \frac{1}{2^{2n}} \left | \frac{1- {e^{2 \pi i 2^n \delta}}}{1-{e^{2 \pi i \delta}}} \right |^2 && \text{for } \delta \neq 0 \\ [6pt]
\Pr(a) &=  \frac{1}{2^{2n}} \left | \frac{1- {e^{2 \pi i 2^n \delta}}}{1-{e^{2 \pi i \delta}}} \right |^2 && \text{for } \delta \neq 0 \\ [6pt]
Line 57: Line 57:
&\geqslant \frac{1}{2^{2n}}  \frac {|2 \cdot 2^n \delta|^2}{| \pi \delta |^2} &&  | 2\cdot2^n \delta | \leqslant | \sin(\pi 2^n\delta) |  \text{ for }  |\delta| \leqslant \frac{1}{2^{n+1}} \\ [6pt]
&\geqslant \frac{1}{2^{2n}}  \frac {|2 \cdot 2^n \delta|^2}{| \pi \delta |^2} &&  | 2\cdot2^n \delta | \leqslant | \sin(\pi 2^n\delta) |  \text{ for }  |\delta| \leqslant \frac{1}{2^{n+1}} \\ [6pt]
&\geqslant \frac {4}{\pi^2}  
&\geqslant \frac {4}{\pi^2}  
.\end{align}</math>हम यह निष्कर्ष निकालते हैं कि एल्गोरिथम हमेशा सर्वोत्तम <math>n</math>-बिट प्रदान करता है जिसका अनुमान <math>\theta</math> उच्च संभावना के द्वारा qubits की संख्या में वृद्धि करके <math>O(\log(1/\epsilon))</math> और उन अंतिम क्वैबिट्स को अनदेखा करके हम इसकी संभावना <math>1 - \epsilon</math><ref name="ekert" />बढ़ा सकते हैं।
.\end{align}</math>हम यह निष्कर्ष निकालते हैं कि एल्गोरिथम हमेशा सर्वोत्तम <math>n</math>-बिट प्रदान करता है जिसका अनुमान <math>\theta</math> उच्च संभावना के द्वारा क्वैबिट की संख्या में वृद्धि करके <math>O(\log(1/\epsilon))</math> और उन अंतिम क्वैबिट्स को अनदेखा करके हम इसकी संभावना <math>1 - \epsilon</math><ref name="ekert" />बढ़ा सकते हैं।




== उदाहरण ==
== उदाहरण ==
एल्गोरिथ्म के सबसे सरल संभव उदाहरण पर विचार करें, जहां केवल <math>n=1</math> qubit एन्कोड करने के लिए आवश्यक qubits के शीर्ष पर <math>|\psi\rangle</math> शामिल है। मान लीजिए कि eigenvalue <math>|\psi\rangle</math> पढ़ता है <math>\lambda=e^{2\pi i \theta}</math> एल्गोरिथम का पहला भाग एक-क्विबिट स्थिति उत्पन्न करता है <math>|\phi\rangle\equiv \frac{1}{\sqrt2}(|0\rangle+\lambda |1\rangle)</math>, इस मामले में व्युत्क्रम QFT को लागू करना [[हैडमार्ड गेट]] लगाने के समान है। अंतिम परिणाम की संभावनाएँ इस प्रकार हैं <math>p_\pm = |\langle\pm|\phi\rangle|^2</math> जहाँ <math>|\pm\rangle\equiv\frac{1}{\sqrt2}(|0\rangle\pm|1\rangle)</math> या अधिक स्पष्ट रूप से,<math display="block">p_\pm = \frac{|1\pm\lambda|^2}{4}
एल्गोरिथ्म के सबसे सरल संभव उदाहरण पर विचार करें, जहां केवल <math>n=1</math> क्वैबिट एन्कोड करने के लिए आवश्यक क्वैबिट के शीर्ष पर <math>|\psi\rangle</math> सम्मिलित है। मान लीजिए कि आइगेनवैल्यू <math>|\psi\rangle</math> पढ़ता है <math>\lambda=e^{2\pi i \theta}</math> एल्गोरिथम का पहला भाग एक-क्विबिट स्थिति उत्पन्न करता है <math>|\phi\rangle\equiv \frac{1}{\sqrt2}(|0\rangle+\lambda |1\rangle)</math>, इस स्थिति में व्युत्क्रम QFT को लागू करना [[हैडमार्ड गेट]] लगाने के समान है। अंतिम परिणाम की संभावनाएँ इस प्रकार हैं <math>p_\pm = |\langle\pm|\phi\rangle|^2</math> जहाँ <math>|\pm\rangle\equiv\frac{1}{\sqrt2}(|0\rangle\pm|1\rangle)</math> या अधिक स्पष्ट रूप से,<math display="block">p_\pm = \frac{|1\pm\lambda|^2}{4}
=\frac{1 \pm \cos(2\pi \theta)}{2}.</math>यह स्पष्ट है कि इस सरल उदाहरण में यदि <math>\lambda=\pm1</math> तो <math>|\phi\rangle=|\pm\rangle</math> और इस प्रकार हम माप परिणाम से सटीक आइगेनवैल्यू को निश्चित रूप से पुनर्प्राप्त करते हैं।
=\frac{1 \pm \cos(2\pi \theta)}{2}.</math>यह स्पष्ट है कि इस सरल उदाहरण में यदि <math>\lambda=\pm1</math> तो <math>|\phi\rangle=|\pm\rangle</math> और इस प्रकार हम माप परिणाम से सटीक आइगेनवैल्यू को निश्चित रूप से पुनर्प्राप्त करते हैं।



Revision as of 01:41, 16 July 2023

क्वांटम कम्प्यूटिंग में, क्वांटम चरण अनुमान एल्गोरिदम (जिसे क्वांटम आइजेनवैल्यू अनुमान एल्गोरिदम भी कहा जाता है), एक एकात्मक ऑपरेटर के आइजेनवेक्टर के चरण (या आइजेनवैल्यू) का अनुमान लगाने के लिए एक क्वांटम एल्गोरिथ्म है। अधिक सटीक रूप से, एक एकात्मक मैट्रिक्स और एक क्वांटम अवस्था दी गई है, जिससे कि ऐसा है कि , एल्गोरिथम के मूल्य का अनुमान लगाता है के मान का अनुमान लगाता है योगात्मक त्रुटि के भीतर उच्च संभावना के साथ का उपयोग करके क्वैबिट्स (इजेनवेक्टर स्थिति को एन्कोड करने के लिए उपयोग किए जाने वाले क्वैबिट्स की गिनती किए बिना) और क्वांटम लॉजिक गेट नियंत्रित-यू संचालन। एल्गोरिदम को शुरुआत में 1995 में एलेक्सी किताएव द्वारा पेश किया गया था।[1][2]: 246 

चरण अनुमान का उपयोग अक्सर अन्य क्वांटम एल्गोरिदम में एक सबरूटीन के रूप में किया जाता है, जैसे कि शोर का एल्गोरिदम,[2]: 131  समीकरणों की रैखिक प्रणालियों के लिए क्वांटम एल्गोरिदम, और क्वांटम गिनती एल्गोरिदम।

समस्या

मान लीजिए कि U एक एकात्मक संचालिका है जो एक आइगेनवैल्यू ​​​​और आइजन्वेक्टर के साथ m क्वैबिट पर काम करता है ऐसा है कि .

हम और का आइगेनवैल्यू ज्ञात करना चाहेंगे। जो इस स्थिति में में परिशुद्धता के एक सीमित स्तर तक चरण का अनुमान लगाने के सामान है। हम आइगेनवैल्यू को इस रूप में लिख सकते हैं, क्योंकि U एक जटिल सदिश समष्टि पर एक एकात्मक संचालिका है इसलिए इसके आइगेनवैल्यू ​​​​पूर्ण मान 1 के साथ जटिल संख्याएँ होनी चाहिए।

एल्गोरिदम

क्वांटम चरण आकलन के लिए सर्किट।

स्थापित करना

इनपुट में दो क्वांटम_रजिस्टर (अर्थात्, दो भाग) होते हैं: ऊपरी क्वैबिट में पहला रजिस्टर होता है और निचला क्वैबिट दूसरा रजिस्टर होता है।

सिस्टम की प्रारंभिक स्थिति है:

एन-बिट पहले रजिस्टर पर एन-बिट हैडामर्ड गेट संचालिका लागू करने के बाद स्थिति बन जाती है:

.

मान लीजिए कि आइजन्वेक्टर के साथ एकात्मक संचालिका ऐसा है कि इस प्रकार,

.

कुल मिलाकर कंट्रोल्ड_गेट्स द्वारा दो रजिस्टरों पर परिवर्तन लागू किया गया है

इसे के विघटन द्वारा देखा जा सकता हैं, बिटस्ट्रिंग में और बाइनरी संख्या , जहाँ . स्पष्ट रूप से, बन जाता है
प्रत्येक केवल तभी लागू होगा जब क्वैबिट है , जिसका अर्थ है कि यह उस बिट द्वारा नियंत्रित होता है। इसलिए समग्र परिवर्तन नियंत्रित के समतुल्य है प्रत्येक -वें क्वबिट से गेट.

इसलिए, अवस्था को इस प्रकार नियंत्रित गेटों द्वारा रूपांतरित किया जाएगा:

इस बिंदु पर आइजन्वेक्टर के साथ दूसरे रजिस्टर की आवश्यकता नहीं है। चरण आकलन के दूसरे दौर में इसका पुन: उपयोग किया जा सकता है, बिना वाली अवस्था हैं:


व्युत्क्रम क्वांटम फूरियर रूपांतरण लागू करें

व्युत्क्रम क्वांटम फूरियर को लागू करने पर परिवर्तन होता है

उत्पन्न

हम इसके मूल्य का अनुमान लगा सकते हैं को पूर्णांकित करके निकटतम पूर्णांक तक का मान अनुमानित कर सकते हैं। इस का मतलब है कि जहाँ के निकटतम पूर्णांक है और अंतर संतुष्ट करता है

इस अपघटन का उपयोग करके हम स्थिति को इस प्रकार पुनः लिख सकते हैं जहाँ


माप

पहले रजिस्टर पर कम्प्यूटेशनल आधार पर क्वांटम यांत्रिकी में माप करने से परिणाम मिलता है संभाव्यता के साथ

यह इस प्रकार है कि यदि तो के रूप में लिखा जा सकता है तो हमेशा यह परिणाम मिलता है दूसरी ओर, यदि संभावना पढ़ती है
इस अभिव्यक्ति से हम यह देख सकते हैं कि तब इसे देखने के लिए हम देखते हैं कि डेल्टा की परिभाषा से हमें असमानता मिलती है और इस प्रकार:[3]: 157 [4]: 348