8 QCI Quantum Search Algorithm
8 QCI Quantum Search Algorithm
١٠ﺧﺮداد ١۴٠٢
١ﻣﻘﺪﻣﻪ
،ﺷﯿﻤ ،زﯾﺴﺖ ﺷﻨﺎﺳ (...،وﺟﻮد دارﻧﺪ ﮐﻪ ﺑﺮای آﻧﻬﺎ راﻫ ﺑﺠﺰ ﺑﺴﯿﺎری از ﻣﺴﺎﯾﻞ در ﺣﻮزه ﻫﺎی رﯾﺎﺿﯿﺎت ،ﻋﻠﻮم ﮐﺎﻣﭙﯿﻮﺗﺮ و ﻋﻠﻮم ﻃﺒﯿﻌ )ﻓﯿﺰﯾ
ﺟﺴﺘﺠﻮ ﻧﺪارﯾﻢ .ﺻﻮرت اﯾﻦ ﻣﺴﺎﺋﻞ ﺑﺴﯿﺎر ﺳﺎده وﻟ ﺣﻞ آﻧﻬﺎ ﺑﺴﯿﺎر ﺳﺨﺖ اﺳﺖ .اﮔﺮ ﻓﻀﺎی ﻫﯿﺌﺖ ﻫﺎی ﻣﻤ ﻦ ﺑﺮای اﯾﻦ ﻣﺴﺎﯾﻞ را ﺑﺎ Sﻧﺸﺎن دﻫﯿﻢ
ﺧﺎﺻﯿﺖ ﻣﻌﯿﻦ ﻫﺴﺘﻨﺪ و ﯾﺎ ﭼﻨﺪ ﻫﯿﺌﺖ ﺧﺎص در اﯾﻦ ﻓﻀﺎ وﺟﻮد دارﻧﺪ ﮐﻪ دارای ﯾ ﮐﻪ در آن ﺗﻌﺪاد ﻫﯿﺌﺖ ﻫﺎ را ﺑﺎ |S| = Nﻧﺸﺎن دﻫﯿﻢ ،ﯾ
ﻫﺎﻣﯿﻠﺘﻮﻧ ﺑﺲ ذره ای ﻧﻤﻮﻧﻪ ای از اﯾﻦ ﻣﺴﺎﯾﻞ ﻫﺎﻣﯿﻠﺘﻮﻧ ﺑﺲ ذره ای :ﺑﻪ ﻋﻨﻮان ﻣﺜﺎل ﭘﯿﺪا ﮐﺮدن ﺣﺎﻟﺖ ﭘﺎﯾﻪ ﯾ nﯾﺎﻓﺘﻦ ﺣﺎﻟﺖ ﭘﺎﯾﻪ ﯾ
آﯾﺰﯾﻨﮓ ﺑﺎ ﺑﺮﻫﻢ ﮐﻨﺶ ﻫﺎی ﺗﺼﺎدﻓ در ﻧﻈﺮ ﺑ ﯿﺮﯾﺪ: ﻫﺎﻣﯿﻠﺘﻮﻧ ﮐﻼﺳﯿ اﺳﺖ .ﺑﺮای ﺳﺎدﮔ ﯾ
∑
=H Ji,j Si Sj , )(١
i,j
اﺧﺘﯿﺎر ﻣ ﮐﻨﺪ .ﻣ ﺗﻮاﻧﯿﻢ از ﺧﻮد ﺑﭙﺮﺳﯿﻢ ﮐﻪ ﮐﺪام ﻫﯿﺌﺖ از اﺳﭙﯿﻦ ﻫﺎﺳﺖ ﮐﻪ ﻣﻘﺪار اﻧﺮژی و ﻣﻨﻬﺎی ﯾ ﮐﻪ در آن Si = ±1ﻣﻘﺎدﯾﺮ ﯾ
ﻣﻘﺪار ﻣﻌﯿﻦ E0ﭘﺎﯾﯿﻦ ﺗﺮ ﻣ آورد .ﺑﺎ ﺗﮑﺮار اﯾﻦ ﻋﻤﻞ و ﮐﻮﭼ ﺘﺮ ﮐﺮدن E0ﻣ ﺗﻮاﻧﯿﻢ ﺣﺎﻟﺖ ﭘﺎﯾﻪ اﯾﻦ ﻫﺎﻣﯿﻠﺘﻮﻧ را ﭘﯿﺪا ﮐﻨﯿﻢ .در را از ﯾ
ﻫﺎﻣﯿﻠﺘﻮﻧ را ﭘﯿﺪا ﮐﻨﯿﻢ. اﺳﺖ ﮐﻪ در آﻧﻬﺎ ﻣ ﺧﻮاﻫﯿﻢ ﺣﺎﻟﺖ ﭘﺎﯾﻪ ﯾ واﻗ اﯾﻦ ﻣﺴﺌﻠﻪ ﻧﻤﻮﻧﻪ ای ﮐﻠ از ﮔﺮوه وﺳﯿﻌ از ﻣﺴﺎﯾﻞ ﻓﯿﺰﯾ
١
زﻧﺠﯿﺮه ﭘﺮوﺗﺌﯿﻦ ﻣﺎﮐﺮوﻣﻮﻟ ﻮﻟ اﺳﺖ ﺷﺎﻣﻞ ﺻﺪﻫﺎ و ﻫﺰاران آﻣﯿﻨﻮ اﺳﯿﺪِ ﻣﺨﺘﻠﻒ ﮐﻪ در ﯾ ﭘﺮوﺗﺌﯿﻦ :ﯾ nﭘﯿﺪا ﮐﺮدن ﺣﺎﻟﺖ ﺛﺎﻧﻮی ﯾ
ﺳﺎﺧﺘﺎر ﻓﻀﺎﯾﯽ ﻗﺮار ﮔﺮﻓﺘﻪ اﻧﺪ .اﻧﻮاع آﻣﯿﻨﻮ اﺳﯿﺪ ٢١ﺗﺎﺳﺖ .ﺑﺴﺘﻪ ﺑﻪ ﻧﺤﻮه ﻗﺮار ﮔﺮﻓﺘﻦ اﯾﻦ آﻣﯿﻨﻮاﺳﯿﺪ ﻫﺎ و اﻧﺮژی ﺑﯿﻦ آﻧﻬﺎ ﭘﺮوﺗﺌﯿﻦ ﻧﻬﺎﯾﺘﺎ ﯾ
ﭘﯿﺪا ﻣ ﮐﻨﺪ ﮐﻪ ﮐﺎرﮐﺮد آن را در ﺳﻠﻮل ﺗﻌﯿﯿﻦ ﻣ ﮐﻨﺪ .اﻏﻠﺐ ﭘﺮوﺗﺌﯿﻦ ﻫﺎ ﻣﺜﻞ ﻗﻔﻞ ﻫﺎ و ﮐﻠﯿﺪﻫﺎی ﻣﺨﺘﻠﻒ ﯾﺎ ﻣﺎﺷﯿﻦ ﻫﺎی ﺳﻠﻮﻟ ﻋﻤﻞ ﻣ
ﻣﺴﺌﻠﻪ ﻣﻬﻢ ﺑﺮای ﺷﻨﺎﺧﺖ ﮐﺎرﮐﺮد ﭘﺮوﺗﺌﯿﻦ ﻫﺎ و اﺣﺘﻤﺎﻻ ﺳﻨﺘﺰ آﻧﻬﺎ اﯾﻦ اﺳﺖ ﮐﻨﻨﺪ و ﮐﺎرﮐﺮدﺷﺎن دﻗﯿﻘﺎ ﺑﻪ ﺷ ﻞ ﻓﻀﺎﯾﯽ آﻧﻬﺎ واﺑﺴﺘﻪ اﺳﺖ .ﯾ
ﮐﻪ از روی ﺳﺎﺧﺘﺎر اوﻟﯿﻪ )ﯾﻌﻨ ﻧﺤﻮه ﭼﯿﻨﺶ آﻣﯿﻨﻮاﺳﯿﺪﻫﺎ( ﺑﺘﻮاﻧﯿﻢ ﺳﺎﺧﺘﺎر ﻧﻬﺎﯾﯽ آﻧﻬﺎ را ﭘﯿﺪا ﮐﻨﯿﻢ .ﺑﺪﯾﻬ اﺳﺖ ﮐﻪ ﺗﻌﺪاد ﺳﺎﺧﺘﺎرﻫﺎی ﻧﻬﺎﯾﯽ
ﻓﻮق اﻟﻌﺎده زﯾﺎد اﺳﺖ .در ﻏﯿﺎب راه ﻫﺎی ﺗﺤﻠﯿﻠ ﺗﻨﻬﺎ راه ﺑﺮای ﯾﺎﻓﺘﻦ ﺳﺎﺧﺘﺎر ﻧﻬﺎﯾﯽ ﺟﺴﺘﺠﻮﺳﺖ.
ﻣﺴﺌﻠﻪ ﻣﻬﻢ در ﻋﻠﻮم ﮐﺎﻣﭙﯿﻮﺗﺮ و ﻃﺒﯿﻌﺘﺎ در رﯾﺎﺿﯿﺎت اﺳﺖ .ﻓﺮض ﮐﻨﯿﺪ ﮐﻪ = A اﯾﻦ ﻣﺴﺌﻠﻪ ﯾ nﻣﺴﺌﻠﻪ ﺗﺼﺪﯾﻖ ﻋﺒﺎرت ﻫﺎی ﻣﻨﻄﻘ
ﻋﺒﺎرت k ِ ١ﺗﺎﯾﯽ ،ﻋﺒﺎرﺗ } {x1 , x2 , · · · xnﻣﺘﻐﯿﺮﻫﺎی ﻣﻨﻄﻘ ﻫﺴﺘﻨﺪ ﮐﻪ ﻣ ﺗﻮاﻧﻨﺪ ﻣﻘﺎدﯾﺮ درﺳﺖ 1ﯾﺎ ﻧﺎدرﺳﺖ 0را اﺧﺘﯿﺎر ﮐﻨﻨﺪ .ﯾ
اﺳﺖ ﻣﺜﻞ
4 − Clause از ﻣﺘﻐﯿﺮﻫﺎی } .A = {x1 , x2 , · · · xnﺑﻪ ﻋﻨﻮان ﻣﺜﺎل ﯾ از ﻣﺘﻐﯿﺮﻫﺎی Aﺳﺖ ﯾﺎ ﯾ ﮐﻪ درآن ﻫﺮﮐﺪام از xiﻫﺎ ﯾﺎ ﯾ
ﺟﻤﻠﻪ ﺷﺎﻣﻞ ﺗﻌﺪادی ﻋﺒﺎرت ﻫﻢ اﻧﺪازه در ﻧﻈﺮ ﻣ ﮔﯿﺮﯾﻢ ﻣﺜﻞ ﻋﺒﺎرﺗ اﺳﺖ ﻣﺜﻞ .x1 ∨ x3 ∨ x5 ∨ x6ﺣﺎل ﯾ
اﻧﺘﺨﺎب از ﻣﺘﻐﯿﺮﻫﺎی Aوﺟﻮد دارد ﮐﻪ ﺑﻪ ازای آﻧﻬﺎ ﻋﺒﺎرتِ Sﻣﻘﺪار ِ ١را اﺧﺘﯿﺎر ﮐﻨﺪ ﯾﻌﻨ ﻋﺒﺎرت Sارزش ﺳﻮال اﯾﻦ اﺳﺖ ﮐﻪ آﯾﺎ ﯾ
ﻣﻨﻄﻘ درﺳﺖ داﺷﺘﻪ ﺑﺎﺷﺪ ﯾﺎ ﺧﯿﺮ؟ ﻻزﻣﻪ اﯾﻦ ﮐﺎر آن اﺳﺖ ﮐﻪ ﻋﺒﺎرت ﻫﺎی C1ﺗﺎ Cpﻫﻤﻪ ﻣﻘﺎدﯾﺮ ١را اﺧﺘﯿﺎر ﮐﻨﻨﺪ .ﺑﻨﺎﺑﺮاﯾﻦ ،اﯾﻦ ﻣﺴﺌﻠﻪ را
ﻣﺴﺌﻠﻪی pﻣﻌﺎدﻟﻪ و nﻣﺠﻬﻮﻟ از ﻣﺘﻐﯿﺮﻫﺎی ﻣﻨﻄﻘ ﻧﺎﻣﯿﺪ ،ﺑﻪ اﯾﻦ ﻣﻌﻨﺎ ﮐﻪ ﮐﻪ اﺻﻄﻼﺣﺎً ﻣﺴﺌﻠﻪ ٢ K − Satﻣ ﻧﺎﻣﻨﺪ ،ﻣ ﺗﻮان ﺑﻪ ﻋﻨﻮان ﯾ
···
٢
ﺑﻌﺪاز آﻧﮑﻪ اﺛﺒﺎت ﮐﺎﻣﻞ ﺑﻮدن ﻣﺴﺌﻠﻪ ﺗﺼﺪﯾﻖ در ﮐﻼس N Pﺗﻮﺳﻂ ﮐﻮک و ﻟﻮﯾﻦ در ﺳﺎل ،١٩٧٠ﺗﻌﺪاد ﺑﺴﯿﺎر زﯾﺎدی از ﻣﺴﺎﺋﻞ ﮐﺎﻣﻞ در
ﻣﺴﺌﻠﻪ ﻫﻤﯿﻦ ﮐﻼس ﮐﺸﻒ ﺷﺪﻧﺪ .ﺗﻌﺪاد اﯾﻦ ﻧﻮع ﻣﺴﺎﺋﻞ آﻧﻘﺪر زﯾﺎد ﺷﺪه اﺳﺖ )ﺣﺪود ٢٠٠٠ﻣﺴﺌﻠﻪ( ﮐﻪ اﻣﺮوزه دﯾ ﺮ اﺛﺒﺎت ﮐﺎﻣﻞ ﺑﻮدن ﯾ
در ﮐﻼس N Pﻫﯿﺠﺎن ﭼﻨﺪاﻧ اﯾﺠﺎد ﻧﻤ ﮐﻨﺪ .ﻧﻤﻮﻧﻪای از اﯾﻦ ﻣﺴﺎﯾﻞ در اداﻣﻪ ﻣ آﯾﺪ.
ﻣﺴﺌﻠﻪ ﻣﻬﻢ در ﻋﻠﻮم ﮐﺎﻣﭙﯿﻮﺗﺮ و رﯾﺎﺿﯿﺎت اﺳﺖ .دﻻﯾﻞ اﯾﻦ اﻫﻤﯿﺖ را در درﺳﻬﺎی ﺑﻌﺪی nﻣﺴﺌﻠﻪ ﻓﺮوﺷﻨﺪه دوره ﮔﺮد اﯾﻦ ﻣﺴﺌﻠﻪ ﻧﯿﺰ ﯾ
ﻋﺪد ﻧﺎﻣﻨﻔ ﻧﺴﺒﺖ داده ﺷﺪه ﮔﺮاف ِ وزن دارِ ،G = (V, E) ٣ﻋﺒﺎرت از ﮔﺮاﻓ اﺳﺖ ﮐﻪ ﺑﻪ ﻫﺮﮐﺪام از ﯾﺎل ﻫﺎی آن ﯾ ﺧﻮاﻫﯿﻢ دﯾﺪ .ﯾ
ﻣﻨﻄﻘﻪ و وزن ﻫﺎ را ﻣﺴﺎﻓﺖ ﺑﯿﻦ اﯾﻦ ﺷﻬﺮﻫﺎ ﯾﺎ ﻣﺜﻼ ﺑﻬﺎی ﺳﻔﺮ ﺑﯿﻦ اﯾﻦ ﺷﻬﺮﻫﺎ اﺳﺖ .ﻣ ﺗﻮان راس ﻫﺎی اﯾﻦ ﮔﺮاف را ﺑﻪ ﻋﻨﻮان ﺷﻬﺮﻫﺎی ﯾ
ﺗﻠﻘ ﮐﺮد .ﻣﺴﺌﻠﻪ ﻓﺮوﺷﻨﺪه دوره ﮔﺮد ﻋﺒﺎرت اﺳﺖ از ﭘﯿﺪا ﮐﺮدن ارزان ﺗﺮﯾﻦ ﻣﺴﯿﺮ ﺑﺴﺘﻪای ﮐﻪ از ﻫﻤﻪ ﺷﻬﺮﻫﺎی اﯾﻦ ﻣﻨﻄﻘﻪ ﺑ ﺬرد .در اﯾﻦ ﻣﺴﺌﻠﻪ
ﻣﺴﺌﻠﻪ ﮐﻠ ﺟﺴﺘﺠﻮ ﻃﺒﻘﻪ ﺑﻨﺪی ﮐﺮد و ﻣﺴﺌﻠﻪ ﺟﺴﺘﺠﻮ را ﺑﻪ ﺻﻮرت ﻣﺠﺮد و ﮐﻠ ﺑﻪ اﯾﻦ ﺗﺮﺗﯿﺐ ﻫﻤﻪ اﯾﻦ ﻣﺴﺎﯾﻞ را ﻣ ﺗﻮان ﺗﺤﺖ ﻋﻨﻮان ﯾ
زﯾﺮ ﺗﻌﺮﯾﻒ ﮐﺮد .ﻣﺠﻤﻮﻋﻪ } S := {x1 , x2 , · · · xNﺷﺎﻣﻞ Nﺷ اﺳﺖ .ﺗﺎﺑﻌ ﻣﺜﻞ } f : S −→ {0, 1روی اﯾﻦ ﻣﺠﻤﻮﻋﻪ ﺗﻌﺮﯾﻒ ﺷﺪه
از ﻋﻨﺎﺻﺮ اﯾﻦ ﻣﺠﻤﻮﻋﻪ ﮐﻪ آن را ﺑﺎ wﻧﺸﺎن ﻣ دﻫﯿﻢ ﺑﺮاﺑﺮﺑﺎ ﺻﻔﺮ اﺳﺖ و روی دﯾ ﺮ ﻋﻨﺎﺻﺮ ﻣﺠﻤﻮﻋﻪ اﺳﺖ .ﻣ داﻧﯿﻢ ﮐﻪﻣﻘﺪار ﺗﺎﺑﻊ fﺗﻨﻬﺎﯾ
از آﻧﻬﺎﺳﺖ .ﻓﻌﻼ ﺣﺎﻟﺖ ﺳﺎده ای را در ﻧﻈﺮ ﻣ از xiﻫﺎﺳﺖ وﻟ ﻧﻤ داﻧﯿﻢ ﮐﻪ ﮐﺪام ﯾ Sﻣﻘﺪار اﯾﻦ ﺗﺎﺑﻊ ﺑﺮاﺑﺮ ﺑﺎ ﺻﻔﺮ اﺳﺖ w .ﯾ
ﺟﻮاب وﺟﻮد دارد .ﺣﺎﻟﺖ ﮐﻠ ﺗﺮ در ﺗﻤﺮﯾﻦ ﻫﺎ آﻣﺪه اﺳﺖ .درﻏﯿﺎب ﻫﺮﻧﻮع اﻃﻼﻋﺎت اﺿﺎﻓﻪ ای ،ﺗﻨﻬﺎ ﮐﺎری ﮐﻪ ﺑﺎﯾﺪ ﮔﯿﺮﯾﻢ ﮐﻪ ﺗﻨﻬﺎ ﯾ
ﺷﺪ ﻣ ﺑﻪ ﺗﺎﺑﻊ ﺑﺪﻫﯿﻢ و ﺧﺮوﺟ ﺗﺎﺑﻊ را ﻧﮕﺎه ﮐﻨﯿﻢ .ﻫﺮﮔﺎه ﺧﺮوﺟ ﺗﺎﺑﻊ fﺑﺮاﺑﺮ ﺑﺎ ﯾ ﺑﻪ ﯾ ﺑ ﻨﯿﻢ آن اﺳﺖ ﮐﻪ xiﻫﺎی ﻣﺨﺘﻠﻒ را ﯾ
ﻓﻬﻤﯿﻢ ﮐﻪ ﻋﻨﺼﺮ داده ﺷﺪه ﺑﻪ ﺗﺎﺑﻊ wﺑﻮده اﺳﺖ .ﺑﻄﻮر ﻣﺘﻮﺳﻂ ﻣ ﺑﺎﯾﺴﺖ ﺗﺎﺑﻊ را ) O( N2ﺑﺎر ﺑﺨﻮاﻧﯿﻢ ﺗﺎ ﺑﺘﻮاﻧﯿﻢ ﺑﻪ wدﺳﺘﺮﺳ ﭘﯿﺪاﮐﻨﯿﻢ .اﻣﺎ
√
ﺑﺎ اﺳﺘﻔﺎده ﻫﻮﺷﻤﻨﺪاﻧﻪ ای از اﺻﻞ ﺑﺮﻫﻢ ﻧﻬ و ﺗﻮازی ﮐﻮاﻧﺘﻮﻣ ﻣ ﺗﻮان اﯾﻦ ﻣﻘﺪار را ﺑﻪ ) O( Nﺗﻘﻠﯿﻞ داد ﮐﻪ ﺑﺮای Nﻫﺎی ﺑﺰرگ ﮐﺎﻫﺶ
ﻗﺎﺑﻞ ﻣﻼﺣﻈﻪ ای اﺳﺖ .ﻣﺴﻠﻢ اﺳﺖ ﮐﻪ ﮐﻼس اﯾﻦ ﻣﺴﺌﻠﻪ ﺑﺎ اﯾﻦ اﺑﺪاع ﺗﻐﯿﯿﺮی ﻧﮑﺮده اﺳﺖ و ﻫﻤﭽﻨﺎن اﯾﻦ ﻣﺴﺌﻠﻪ درﮐﻼس ﻣﺴﺎﺋﻞ ﭼﻨﺪ ﺟﻤﻠﻪ
آﻟ ﻮرﯾﺘﻢ ﺟﺴﺘﺠﻮ دراﻏﻠﺐ آﻟ ﻮرﯾﺘﻢ ﻫﺎی دﯾ ﺮﺑﺎزی ﻣ ﮐﻨﺪ ،اﯾﻦ ﭘﯿﺸﺮﻓﺖ اﻫﻤﯿﺖ زﯾﺎدی دارد .دﻗﺖ ﮐﻨﯿﺪ ای اﺳﺖ،اﻣﺎ ﺑﺪﻟﯿﻞ ﻧﻘﺸ ﮐﻪ ﯾ
ﮐﻪ در ﻫﻤﻪ اﯾﻦ ﻣﺴﺎﯾﻞ ﻣﺎ ﺗﺎﺑﻊ fرا ﺑﺨﻮﺑﯽ ﻣ ﺷﻨﺎﺳﯿﻢ اﻣﺎ ﻧﻤ داﻧﯿﻢ ﮐﻪ ﮐﺪام ﻣﺘﻐﯿﺮ wاﺳﺖ ﮐﻪ اﯾﻦ ﺗﺎﺑﻊ ﺑﻪ ازای آن ﺑﺮاﺑﺮ ﺑﺎ 1اﺳﺖ.
از اﯾﻦ دو روش از آﻧﻬﺎ داده ﻣﻄﻠﻮب ﻣﺎﺳﺖ در ﻧﻈﺮ ﺑ ﯿﺮﯾﺪ .ﺣﺎل ﺑﻪ ﯾ ﻣﺠﻤﻮﻋﻪ داده ﻧﺎﻣﻨﻈﻢ ﮐﻪ دارای Nداده اﺳﺖ و ﯾ nﺗﻤﺮﯾﻦ :ﯾ
ﺑﻪ ﻃﻮر ﻣﻨﻈﻢ ﺟﺴﺘﺠﻮ ﻣ ﮐﻨﯿﻢ ﺗﺎ ﺑﻪ داده ﻣﻄﻠﻮب ﺑﺮﺳﯿﻢ .ﻃﺒﯿﻌ اﺳﺖ ﮐﻪ در اﯾﻦ روش ﻫﺮ داده را ﻓﻘﻂ ﯾ روش اول :ﻣﺠﻤﻮﻋﻪ داده را ﯾ
Weighted graph٣
٣
ﺷ ﻞ :١ﻟﻮ ﮔﺮور )(‐١٩۶١
داده ﻣﻤ ﻦ اﺳﺖ ﺑﯿﺶ از ﯾ روش دوم :ﻣﺠﻤﻮﻋﻪ داده ﻫﺎ را ﺑﻪ ﻃﻮر ﺗﺼﺎدﻓ ﺟﺴﺘﺠﻮ ﻣ ﮐﻨﯿﻢ ﺗﺎ ﺑﻪ داده ﻣﻄﻠﻮب ﺑﺮﺳﯿﻢ .در اﯾﻦ روش ﯾ
ﺑﺎر ﺗﺴﺖ ﺷﻮد .ﺗﻌﺪاد ﻣﺘﻮﺳﻂ دﻓﻌﺎﺗ را ﮐﻪ ﺑﺎﯾﺪ داده ﻫﺎ را ﺗﺴﺖ ﮐﻨﯿﻢ ﺗﺎ ﺑﻪ ﻧﺘﯿﺠﻪ ﻣﻄﻠﻮب ﺑﺮﺳﯿﻢ در ﻫﺮﮐﺪام از دو روش ﻣﺤﺎﺳﺒﻪ ﮐﻨﯿﺪ.
ﻟﻮ ﮔﺮور داﻧﺸﻤﻨﺪ ) (Lov Groverﻋﻠﻮم ﮐﺎﻣﭙﯿﻮﺗﺮ آﻣﺮﯾ ﺎﯾﯽ ﻫﻨﺪی ﺗﺒﺎر اﺳﺖ ﮐﻪ ﺗﺤﺼﯿﻼت ﻟﯿﺴﺎﻧﺲ ﺧﻮد را درﻣﻮﺳﺴﻪ ﻓﻨﺎوری ﻫﻨﺪ و
ﺗﺤﺼﯿﻼت ﺗﮑﻤﯿﻠ ﺧﻮد را در داﻧﺸ ﺎه اﺳﺘﺎﻧﻔﻮرد ﺗﻤﺎم ﮐﺮده اﺳﺖ و ﺳﭙﺲ ﺑﻪ آزﻣﺎﯾﺸ ﺎه ﺑﻞ و ﭘﺲ از آن ﺑﻪ داﻧﺸ ﺎه ﮐﺮﻧﻞ رﻓﺘﻪ .در آزﻣﺎﯾﺸ ﺎه
ﺑﻞ و در ﺳﺎل ١٩٩۶آﻟ ﻮرﯾﺘﻢ ﺧﻮد را ﺑﺮای ﺟﺴﺘﺠﻮی ﮐﻮاﻧﺘﻮﻣ اراﺋﻪ ﮐﺮد ،ﮐﻪ دوﻣﯿﻦ آﻟ ﻮرﯾﺘﻢ ﮐﻮاﻧﺘﻮﻣ ﻣﻬﻢ ﺑﻌﺪ از آﻟ ﻮرﯾﺘﻢ ﺷﺮ آ دوﻣﯿﻦ
۴
آﻟ ﻮرﯾﺘﻢ ﻣﻬﻢ ﮐﻮاﻧﺘﻮﻣ اﺳﺖ.
آShor Algorithm
ﻣﺪار ﮐﻮاﻧﺘﻮﻣ ﺑﺼﻮرت ﻋﻤﻠ ﺮ ﮐﻮاﻧﺘﻮﻣ ﯾ ﺎﻧ زﯾﺮ ﻧﺸﺎن داده ﻣ ﺷﻮد: ﻧﺨﺴﺖ دﻗﺖ ﻣ ﮐﻨﯿﻢ ﮐﻪ ﺗﺎﺑﻊ fدرﯾ
اﻧﻌﮑﺎس ﻇﺎﻫﺮ ﻣ ﺷﻮد .ﯾﻌﻨ اﯾﻦ ﻋﻤﻠ ﺮ ﺣﺎﻟﺖ ⟩ |wرا ﺑﻪ ﺣﺎﻟﺖ ⟩ −|wﺑﺮﻣ ﮔﺮداﻧﺪ ﺑﻨﺎﺑﺮاﯾﻦ روی زﯾﺮﻓﻀﺎی اول اﺛﺮ اﯾﻦ ﻋﻤﻠ ﺮ ﺑﻪ ﺷ ﻞ ﯾ
وﺑﻘﯿﻪ ﺣﺎﻻت را دﺳﺖ ﻧﺨﻮرده ﺑﺎﻗ ﻣ ﮔﺬارد .ازاﯾﻦ ﺑﻪ ﺑﻌﺪ درﺑﺤﺚ ﺧﻮد ﻓﻀﺎی دوم ﯾﻌﻨ ⟩ |−را ﺑﺮای ﺳﺎدﮔ ﺣﺬف ﻣ ﮐﻨﯿﻢ .درﻧﺘﯿﺠﻪ ﻣ ﺗﻮان
دراﯾﻦ ﺟﺎ ﺗﺬﮐﺮ اﯾﻦ ﻧﮑﺘﻪ ﻣﻬﻢ اﺳﺖ ﮐﻪ ﻋﻠﯿﺮﻏﻢ ﺷ ﻞ ﻇﺎﻫﺮی ﺧﻮد ﻋﻤﻠ ﺮ Ufﺑﺪون داﻧﺴﺘﻦ ﺣﺎﻟﺖ ⟩ |wاﯾﻦ اﻧﻌﮑﺎس را اﻧﺠﺎم ﻣ دﻫﺪ زﯾﺮا اﯾﻦ ﻋﻤﻠ ﺮ
ﭼﯿﺰی ﻧﯿﺴﺖ ﺟﺰﻫﻤﺎن ﻋﻤﻞ ﺗﺎﺑﻊ fروی ﻋﻨﺎﺻﺮ ﻣﺠﻤﻮﻋﻪ Sوﯾﺎ ﺣﺎﻻت ﻣﺘﻨﺎﻇﺮ ﺑﺎ آﻧﻬﺎ.
1
)⟩ |s⟩ := √ (|x1 ⟩ + |x2 ⟩ + · · · |xN )(٨
N
اﺛﺮ دﻫﯿﻢ .ﻧﺨﺴﺖ آﻟ ﻮرﯾﺘﻢ ﮔﺮور را ﺑﻪ ﻃﻮر ﮐﯿﻔ ﺗﻮﺿﯿﺢ ﻣ دﻫﯿﻢ .ﻫﺮﮔﺎه ﺣﺎﻟﺖ ﻓﻮق راﺑﻪ ﺷ ﻞ 2ﻧﺸﺎن دﻫﯿﻢ ﺑﻌﺪاز اﺛﺮ ﻋﻤﻠ ﺮ Ufﺑﻪ ﺷ ﻞ 3
درﺧﻮاﻫﺪ آﻣﺪ .ﺣﺎل اﮔﺮ اﯾﻦ ﺣﺎﻟﺖ را روی ﻣﺘﻮﺳﻂ ﯾﺎ ﻣﯿﺎﻧﮕﯿﻦ ﺧﻮدش )ﮐﻪروی ﺷ ﻞ ﺑﻪ ﺻﻮرت ﺧﻂ ﭼﯿﻦ ﻧﺸﺎن داده ﺷﺪه و ﺑﻌﺪا ﺑﻪ ﺻﻮرت دﻗﯿﻖ
ﺗﻌﺮﯾﻒ ﺧﻮاﻫﺪ ﺷﺪ( اﻧﻌﮑﺎس دﻫﯿﻢ ،ﺣﺎﻟﺖ ﻧﺸﺎن داده ﺷﺪه درﺷ ﻞ 4ﺑﺪﺳﺖ ﺧﻮاﻫﺪ آﻣﺪ .اﯾﻦ ﮐﺎر را ﺑﺎزﺗﺎب ﻧﺴﺒﺖ ﺑﻪ ﻣﯿﺎﻧﮕﯿﻦ ۴ﻣ ﺧﻮاﻧﯿﻢ.
ﻋﻤﻠ ﺮ ﯾ ﺎﻧ اﺳﺖ ﮐﻪآن را ﺑﺎ Isﻧﺸﺎن ﻣ دﻫﯿﻢ .ﺧﻮاﻧﻨﺪه ﻣ ﺗﻮاﻧﺪ ﺑﻪ راﺣﺘ ﻣ ﺗﻮان ﻧﺸﺎن داد ﮐﻪ اﯾﻦ ﺑﺎزﺗﺎب ﻧﺴﺒﺖ ﺑﻪ ﻣﯿﺎﻧﮕﯿﻦ ﻧﯿﺰ ﯾ
ﺗﺼﺪﯾﻖ ﮐﻨﺪ ﮐﻪ ﺑﻌﺪازﭼﻨﺪ ﺑﺎر ﺧﻮاﻧﺪن ﺗﺎﺑﻊ و ﺑﺎزﺗﺎب ﻧﺴﺒﺖ ﺑﻪ ﻣﯿﺎﻧﮕﯿﻦ ،ﯾﻌﻨ ﺑﻌﺪ از ﭼﻨﺪ ﺑﺎر اﻋﻤﺎل ﻋﻤﻠ ﺮ G := Is Ufﺷ ﻞ ﺣﺎﻟﺖ ﺑﻪ ﺻﻮرﺗ
Inversion around the average۴
۵
w
ﺑﺮدار ﺣﺎﻟﺖ ورودی ﮐﻪ ﺗﺮﮐﯿﺒﯽ ﺧﻄ از ﻫﻤﻪ داده ﻫﺎی ﻣﻤ ﻦ ﺑﺎ ﺿﺮاﯾﺐ ﻣﺴﺎوی اﺳﺖ. ﺷ ﻞ :٢ﺑﯿﺎن ﺷﻤﺎﺗﯿ
w
درﺧﻮاﻫﺪ آﻣﺪ ﮐﻪ درآن داﻣﻨﻪ ﻣﺮﺑﻮط ﺑﻪ ⟩ |wﻧﺴﺒﺖ ﺑﻪ ﺑﻘﯿﻪ داﻣﻨﻪ ﻫﺎ اﻓﺰاﯾﺶ ﻗﺎﺑﻞ ﻣﻼﺣﻈﻪ ای ﭘﯿﺪاﮐﺮده اﺳﺖ و درﻧﺘﯿﺠﻪ اﻧﺪازه ﮔﯿﺮی ﭼﻨﯿﻦ ﺣﺎﻟﺘ ﺑﻪ
اﺣﺘﻤﺎل زﯾﺎد ،ﻧﺘﯿﺠﻪ اش ⟩ |wﺧﻮاﻫﺪ ﺑﻮد .اﻟﺒﺘﻪ ﭘﺲ از ﻫﺮﺑﺎراﻧﺪازه ﮔﯿﺮی ﺑﺎاﺣﺘﻤﺎل ﺿﻌﯿﻔ ﻣﻤ ﻦ اﺳﺖ ﮐﻪ ﻋﻨﺼﺮی ﻏﯿﺮاز ⟩ |wﯾﺎﻓﺖ ﺷﻮد ﮐﻪ دراﯾﻦ
ﺻﻮرت ﺑﺎ ﺧﻮراﻧﺪن آن ﺑﻪ ﺗﺎﺑﻊ fو ﺑﺪﺳﺖ آﻣﺪن ﻣﻘﺪار ﺻﻔﺮ آﻟ ﻮرﯾﺘﻢ دوﺑﺎره از اول ﻃ ﻣ ﺷﻮد.
ﺣﺎل آﻧﭽﻪ را ﮐﻪ ﺑﻪ ﻃﻮر ﮐﯿﻔ ﮔﻔﺘﯿﻢ ﺑﻄﻮر دﻗﯿﻖ ﺑﺎزﮔﻮ ﻣ ﮐﻨﯿﻢ .ﻧﺨﺴﺖ ﻣ ﺑﺎﯾﺴﺖ ﺑﺒﯿﻨﯿﻢ آﯾﺎ ﺑﺎزﺗﺎب ﻧﺴﺒﺖ ﺑﻪ ﻣﯿﺎﻧﮕﯿﻦ را واﻗﻌﺎ ﻣ ﺗﻮان ﺑﺎ ﯾ
∑
= ⟩|ψ ⟩ψx |x )(٩
x
۶
w
w
ﺷ ﻞ :۴ﺷ ﻞ ﺑﺎﻻ ﺑﺮدار ﺣﺎﻟﺖ را ﻗﺒﻞ از اﻧﻌﮑﺎس ﺣﻮل ﻣﺘﻮﺳﻂ و ﺷ ﻞ ﭘﺎﯾﯿﻦ ﺑﻌﺪ از اﻧﻌﮑﺎس ﺣﻮل ﻣﺘﻮﺳﻂ ﻧﺸﺎن ﻣ دﻫﺪ .ﺧﻂ ﭼﯿﻦ ﻣﻘﺪار ﻣﺘﻮﺳﻂ
اﺳﺖ.
∑ 1
=ψ ψx . )(١٠
N x
و در ﻧﺘﯿﺠﻪ
∑ √
=Is |ψ⟩ : (2ψ − ψx )|x⟩ = 2ψ N |s⟩ − |ψ⟩. )(١٢
x
1
ψ = √ ⟨s|ψ⟩. )(١٣
N
ﺑﻨﺎﺑﺮاﯾﻦ
٧
ﺑﻨﺎﺑﺮاﯾﻦ ﻋﻤﻠ ﺮ Isرا ﻣ ﺗﻮان ﺑﻪ ﺻﻮرت زﯾﺮ ﻧﻮﺷﺖ :
ﻋﻤﻠ ﺮﺗﺮﮐﯿﺒﯽ G := Is Ufرا ﺑﻪ ا ﻓﺘﺨﺎر ﮐﺎﺷﻒ اﯾﻦ آﻟ ﻮرﯾﺘﻢ ﻋﻤﻠ ﺮ ﮔﺮور ﻣ ﺧﻮاﻧﯿﻢ .دراﯾﻦ ﻗﺴﻤﺖ ﻣ ﺧﻮاﻫﯿﻢ ﻧﺸﺎن دﻫﯿﻢ ﮐﻪ ﺑﺎ اﺛﺮ ﻋﻤﻠ ﺮ
√
ﮔﺮور ﺑﻪ ﺗﻌﺪاد ) O( Nﺑﺎر روی ﺣﺎﻟﺖ اوﻟﯿﻪ ⟩ |sﻣ ﺗﻮاﻧﯿﻢ ﺑﻪ ﺣﺎﻟﺘ ﺑﺮﺳﯿﻢ ﮐﻪ داﻣﻨﻪ ⟩ |wدرآن ﺑﺴﯿﺎراﻓﺰاﯾﺶ ﯾﺎﻓﺘﻪ اﺳﺖ .ﺑﺮای اﯾﻦ ﮐﺎر درﻓﻀﺎی
1 ∑
√ = ⟩|r ( |xi ⟩). )(١۶
N − 1 x ̸=w
i
ازاول ﺗﺎ ﺑﻪ آﺧﺮ درزﯾﺮﻓﻀﺎﯾﯽ ﺣﺎل دﻗﺖ ﻣ ﮐﻨﯿﻢ ﮐﻪ ﻫﺮدو ﻋﻤﻠ ﺮ Isو Ufرا ﻣ ﺗﻮان ﺗﻨﻬﺎ ﺑﺮﺣﺴﺐ ﺑﺮدارﻫﺎی ⟩ |wو ⟩ |rﻧﻮﺷﺖ .درواﻗ ﺗﻤﺎم دﯾﻨﺎﻣﯿ
ﻃ ﻣ ﺷﻮد ﮐﻪ ﺗﻮﺳﻂ اﯾﻦ دوﺑﺮدار ﺟﺎروب ﻣ ﺷﻮﻧﺪ .ازآﻧﺠﺎ ﮐﻪ اﯾﻦ دوﺑﺮدارﺑﺮﻫﻢ ﻋﻤﻮدﻧﺪ ﻣ ﺗﻮاﻧﯿﻢ ﻧﻤﺎﯾﺶ زﯾﺮ را ﺑﺮای آﻧﻬﺎ اﻧﺘﺨﺎب ﮐﻨﯿﻢ:
1
0
|w⟩ = , |r⟩ = )(١٧
0 1
و
√
√1
1 N −1
|s⟩ = √ |w⟩ + √ |r⟩ = .
N
)(١٨
N N N −1
N
و
√
2
N −1 2
N N −1
Is = 2|s⟩⟨s| − I = )(٢٠
√
2
N N −1 1 − N2
٨
درﻧﺘﯿﺠﻪ ﻋﻤﻠ ﺮ ﮔﺮور ﺑﻪ ﺷ ﻞ زﯾﺮ درﺧﻮاﻫﺪ آﻣﺪ:
√
1 − N2 2
N N − 1
G = Is Uf = . )(٢١
√
− N2 N − 1 1− N2
دوران درﺻﻔﺤﻪ ﺟﺎروب ﻋﻤﻠ ﺮ ﻣﺘﻌﺎﻣﺪ اﺳﺖ ﯾﻌﻨ Gt G = Iو درﻧﺘﯿﺠﻪ ﭼﯿﺰی ﺟﺰﯾ ﺧﻮاﻧﻨﺪه ﺑﺮاﺣﺘ ﻣ ﺗﻮاﻧﺪ ﺗﺤﻘﯿﻖ ﮐﻨﺪ ﮐﻪ اﯾﻦ ﻋﻤﻠ ﺮﯾ
ﺷﺪه ﺗﻮﺳﻂ ⟩ |rو ⟩ |wﻧﯿﺴﺖ .ﺑﺮای اداﻣﻪ ﺗﺤﻠﯿﻞ ،ﭘﺎراﻣﺘﺮ دوران θرا ﺑﻪ ﺷ ﻞ زﯾﺮ ﺗﻌﺮﯾﻒ ﻣ ﮐﻨﯿﻢ:
2 √2
cos θ = 1 − , = sin θ N − 1, )(٢٢
N N
ﻫﺮﮔﺎه روی ﺣﺎﻟﺖ اوﻟﯿﻪ ⟩ |sﻋﻤﻠ ﺮ ﮔﺮور را mﺑﺎر اﺛﺮدﻫﯿﻢ ﯾﻌﻨ اﯾﻨﮑﻪ آن ﺣﺎﻟﺖ را ﺑﻪ اﻧﺪازه زاوﯾﻪ mθﭼﺮﺧﺎﻧﺪه ا ﯾﻢ .ﺑﺮای اﯾﻨﮑﻪ ﺑﺒﯿﻨﻢ اﯾﻦ ﺣﺎﻟﺖ
ﺷﺪه اﺳﺖ ﻣ ﺑﺎﯾﺴﺖ ﻋﻨﺼﺮ ﻣﺎﺗﺮﯾﺴ ⟩ ⟨w|Gm |sرا ﺣﺴﺎب ﮐﻨﯿﻢ ﮐﻪ ﺑﺮاﺑﺮ ﺧﻮاﻫﺪ ﺷﺪ ﺑﺎ: ﭼﻪ ﻣﻘﺪار ﺑﻪ ﺣﺎﻟﺖ ﻣﻄﻠﻮب ﯾﻌﻨ ⟩ |wﻧﺰدﯾ
√
1 N −1
⟨w|G |s⟩ = √ cos mθ +
m
sin mθ. )(٢۴
N N
≈ .m α
θ ﺑﺮای اﯾﻦ ﮐﻪ اﯾﻦ ﻫﻤﭙﻮﺷﺎﻧ ﺑﻪ ﺣﺪاﮐﺜﺮ ﺧﻮد ﺑﺮﺳﺪ ﺗﻘﺎﺿﺎ ﻣ ﮐﻨﯿﻢ ﮐﻪ
π π
=α , =θ , −→ m = 1 )(٢٧
3 3
٩
1
0.98
0.96
0.94
0.92
0.9
0.88
0.86
0.84
0.82
N
ﺷ درﺑﯿﻦ Nﺑﺎ اﺳﺘﻔﺎده از آﻟ ﻮرﯾﺘﻢ ﮔﺮور ﺑﻪ ﻋﻨﻮان ﺗﺎﺑﻌ از Nﺑﺮای .4 ≤ N ≤ 100 ﺷ ﻞ :۵اﺣﺘﻤﺎل ﯾﺎﻓﺘﻦ ﯾ
دﺳﺖ ﯾﺎﻓﺖ. ﺑﺎرﺧﻮاﻧﺪن ﺗﺎﺑﻊ ﺑﻪ wآﻧﻬﻢ ﺑﺎ اﺣﺘﻤﺎل ﯾ ﯾﻌﻨ ﻣ ﺗﻮان دراﯾﻦ ﺣﺎﻟﺖ ﺗﻨﻬﺎ ﺑﺎ ﯾ
١٠
1
0.999
0.998
0.997
0.996
N
ﺷ درﺑﯿﻦ Nﺑﺎ اﺳﺘﻔﺎده از آﻟ ﻮرﯾﺘﻢ ﮔﺮور ﺑﻪ ﻋﻨﻮان ﺗﺎﺑﻌ از Nﺑﺮای .100 ≤ N ≤ 100000 ﺷ ﻞ :۶اﺣﺘﻤﺎل ﯾﺎﻓﺘﻦ ﯾ
√
O( π4 از ﻣﺮﺗﺒﻪ ) l در اﺳﺘﺪﻻل ﺑﺎﻻ ﻧﺸﺎن ﻣ دﻫﺪ ﮐﻪ ﻣ ﺗﻮان درزﻣﺎﻧ ﻣﺜﻼ lﺗﺎ ﺑﺎﺷﺪ ،اﺻﻼح ﮐﻮﭼ ﻫﺮﮔﺎه ﺗﻌﺪاد ﻋﻨﺎﺻﺮ ﻣﻄﻠﻮب ﺑﯿﺶ از ﯾ
N
ﺗﻤﺮﯾﻦ ﺑﻪ ﻋﻬﺪه ﺧﻮاﻧﻨﺪه ﻣ ﮔﺬارﯾﻢ. از ﻋﻨﺎﺻﺮ ﻣﻄﻠﻮب دﺳﺖ ﯾﺎﻓﺖ .اﺛﺒﺎت دﻗﯿﻖ اﯾﻦ اﻣﺮ را ﺑﻪ ﻋﻨﻮان ﯾ ﺑﻪ ﯾ
ﻣﺠﻤﻮﻋﻪ داده ﻧﺎﻣﻨﻈﻢ ﮐﻪ دارای Nداده اﺳﺖ و kﺗﺎ از داده ﻫﺎی ﻣﻄﻠﻮب ﻣﺎ ﻫﺴﺘﻨﺪ در ﻧﻈﺮ ﺑ ﯿﺮﯾﺪ .ﻫﺪف ﻣﺎ اﯾﻦ اﺳﺖ ﮐﻪ ﯾ nﺗﻤﺮﯾﻦ :ﯾ
از اﯾﻦ دو روش ﺷﺮوع ﺑﻪ ﺟﺴﺘﺠﻮی اﯾﻦ ﻣﺠﻤﻮﻋﻪ داده ﻣ ﮐﻨﯿﻢ: ﭘﯿﺪا ﮐﻨﯿﻢ .ﺣﺎل ﺑﻪ ﯾ از اﯾﻦ داده ﻫﺎی ﻣﻄﻠﻮب را ﺑﻪ روش ﮐﻼﺳﯿ
ﺑﻪ ﻃﻮر ﻣﻨﻈﻢ ﺟﺴﺘﺠﻮ ﻣ ﮐﻨﯿﻢ ﺗﺎ ﺑﻪ داده ﻣﻄﻠﻮب ﺑﺮﺳﯿﻢ .ﻃﺒﯿﻌ اﺳﺖ ﮐﻪ در اﯾﻦ روش ﻫﺮ داده را ﻓﻘﻂ ﯾ روش اول :ﻣﺠﻤﻮﻋﻪ داده را ﯾ
داده ﻣﻤ ﻦ اﺳﺖ ﺑﯿﺶ از ﯾ روش دوم :ﻣﺠﻤﻮﻋﻪ داده ﻫﺎ را ﺑﻪ ﻃﻮر ﺗﺼﺎدﻓ ﺟﺴﺘﺠﻮ ﻣ ﮐﻨﯿﻢ ﺗﺎ ﺑﻪ داده ﻣﻄﻠﻮب ﺑﺮﺳﯿﻢ .در اﯾﻦ روش ﯾ
ﺗﻌﺪاد ﻣﺘﻮﺳﻂ دﻓﻌﺎﺗ را ﮐﻪ ﺑﺎﯾﺪ داده ﻫﺎ را ﺗﺴﺖ ﮐﻨﯿﻢ ﺗﺎ ﺑﻪ ﻧﺘﯿﺠﻪ ﻣﻄﻠﻮب ﺑﺮﺳﯿﻢ در ﻫﺮﮐﺪام از دو روش ﻣﺤﺎﺳﺒﻪ ﮐﻨﯿﺪ .در روش اول ﯾ
١١
از اﯾﻦ داده ﻫﺎ را nﺗﻤﺮﯾﻦ :ﯾ ﻣﺠﻤﻮﻋﻪ داده ﻧﺎﻣﻨﻈﻢ ﮐﻪ دارای Nداده اﺳﺖ و دارای kداده ﻣﻄﻠﻮب اﺳﺖ در ﻧﻈﺮ ﺑ ﯿﺮﯾﺪ .ﻣ ﺧﻮاﻫﯿﻢ ﯾ
√
Nﭘﯿﺪا ﮐﻨﺪ. آﻟ ﻮرﯾﺘﻢ ﮐﻮاﻧﺘﻮﻣ ﻣ ﺗﻮاﻧﺪ اﯾﻦ ﮐﺎر را در زﻣﺎﻧ از ﻣﺮﺗﺒﻪ k ﭘﯿﺪا ﮐﻨﯿﻢ .ﻧﺸﺎن دﻫﯿﺪ ﮐﻪ ﯾ
ﺑﯿﺘ و دوﺑﯿﺘ ﮐﻮاﻧﺘﻮﻣ ﺑﻪ ﻧﺤﻮ ﮐﺎرآﯾﯽ ﺳﺎﺧﺖ. دراﯾﻦ ﻗﺴﻤﺖ ﻧﺸﺎن ﻣ دﻫﯿﻢ ﮐﻪ ﻋﻤﻠ ﺮﮔﺮور را ﻣ ﺗﻮان ﺑﺎ ﺗﺮﮐﯿﺐ ﺗﻌﺪادی از ﻋﻤﻠ ﺮﻫﺎی ﯾ
ﮐﻪ درآن . I0 = 2|0⟩⟨0| − Iﺑﻨﺎﺑﺮاﯾﻦ ﻫﺮﮔﺎه ﮐﻪ ﻣﺪارِ I0را ﺑﺴﺎزﯾﻢ ﻣ ﺗﻮاﻧﯿﻢ از روی آن ﻣﺪار Isرا ﺑﺴﺎزﯾﻢ .راه ﺳﺎﺧﺘﻦ ﻣﺪارِ I0آن اﺳﺖ ﮐﻪ
ﺑﻪ ﺷ ﻞ ﻣﺎﺗﺮﯾﺴ آن ﺗﻮﺟﻪ ﮐﻨﯿﻢ .ﺑﻪ ﻋﻨﻮان ﻣﺜﺎل ﺑﺮای ﺳﻪ ﺗﺎ ﮐﯿﻮﺑﯿﺖ I0ﺑﻪ ﺻﻮرت زﯾﺮ ﻋﻤﻞ ﻣ ﮐﻨﺪ:
··· )(٣٢
ﻋﻤﻠ ﺮ ﮐﻨﺘﺮﻟ ﻓﺎز ۵اﺳﺖ ﮐﻪ ﻓﻘﻂ وﻗﺘ دو ﮐﯿﻮﺑﯿﺖ اول ﺑﺮاﺑﺮ ﺑﺎ ﺻﻔﺮ ﺑﺎﺷﻨﺪ ﻋﻤﻠ ﺮ −Zروی ﮐﯿﻮﺑﯿﺖ آﺧﺮ ﻋﻤﻞ ﻣ ﭘﺲ ﻣﻌﻠﻮم اﺳﺖ ﮐﻪ −I0ﯾ
ﮐﻨﺪ .ﻣﺪار اﯾﻦ ﻋﻤﻠ ﺮ و در ﻧﺘﯿﺠﻪ ﻣﺪار ﻋﻤﻠ ﺮِ Is −در ﺷ ﻞ ﻫﺎی ٧و ٨رﺳﻢ ﺷﺪه اﺳﺖ .داﯾﺮه ﺳﻔﯿﺪ ﺑﻪ اﯾﻦ ﻣﻌﻨﺎﺳﺖ ﮐﻪ ﺑﯿﺖ ﮐﻨﺘﺮﻟ ﻣﺮﺑﻮﻃﻪ ﺑﺎ
١٢
ﺷ ﻞ :٧ﻣﺪار ﻋﻤﻠ ﺮِ .‐I0
ﺣﺎﻟﺖ ﯾ ﻨﻮاﺧﺖ ﺣﺎﻟﺖ دﻟﺨﻮاه ﻣﺜﻞ ) ψ(0ﻣ ﮔﯿﺮﯾﻢ ﮐﻪ دﯾ ﺮ ﯾ .ﻓﺮض ﮐﻨﯿﺪ ﮐﻪ آﻟ ﻮرﯾﺘﻢ ﺟﺴﺘﺠﻮ را ﺑﻪ ﺷ ﻞ زﯾﺮ ﺗﻐﯿﯿﺮدﻫﯿﻢ .ﺣﺎﻟﺖ اوﻟﯿﻪ راﯾ
ﻧﯿﺴﺖ.
nدر اﯾﻦ ﺑﺨﺶ ﺑﺮای ﺳﺎدﮔ ﻧﻤﺎدﮔﺬاری از ﻋﻼﻣﺖ ﮐﺖ ﺑﺮای ﻧﻮﺷﺘﻦ ﺑﺮدارﻫﺎی اﺳﺘﻔﺎده ﻧﻤ ﮐﻨﯿﻢ .ﺑﻨﺎﺑﺮاﯾﻦ ﺑﻪ ﺟﺎی ⟩ |ψﺑﻪ ﺳﺎدﮔ ﻣ ﻧﻮﯾﺴﯿﻢ
١٣
در ﺟﺎﻫﺎﯾﯽ ﮐﻪ اﺑﻬﺎﻣ ﻣﻤ ﻦ اﺳﺖ وﺟﻮد داﺷﺘﻪ ﺑﺎﺷﺪ ،ﺧﻮاﻧﻨﺪه ﻣ ﺗﻮاﻧﺪ ﺑﻪ ﻗﺮﯾﻨﻪ اﺑﻬﺎم را رﻓ ﮐﻨﺪ .ﻋﻤﻠ ﺮﮔﺮور را ﻧﯿﺰ درﻣﺮﺣﻠﻪ tام ﺑﺎ Gt := Kt Uf
ﻧﺸﺎن ﻣ دﻫﯿﻢ .ﻃﺒﯿﻌ اﺳﺖ ﮐﻪ از ﺧﻮاﻧﺪن ﺗﺎﺑﻊ درﻫﺮﻣﺮﺣﻠﻪ ﮔﺮﯾﺰی ﻧﯿﺴﺖ و ﺑﻨﺎﺑﺮاﯾﻦ Ufﻫﻤﭽﻨﺎن ﺑﺨﺶ اول ﻋﻤﻠ ﺮ ﮔﺮور را ﺗﺸ ﯿﻞ ﻣ دﻫﺪ اﻣﺎ
ﻋﻤﻠ ﺮ ﻣﻨﺎﺳﺐ دﯾ ﺮ ﻣﺜﻞ Ktﮐﻪ درﻫﺮﻣﺮﺣﻠﻪ ﻧﯿﺰ ﻣ ﺗﻮاﻧﺪ ﻣﺘﻔﺎوت ﺑﺎﻣﺮﺣﻠﻪ ﻗﺒﻞ ﺑﺎﺷﺪ ﺗﺸ ﯿﻞ ﺑﺨﺶ دوم آن ﺑﺠﺎی ﺑﺎزﺗﺎب ﻧﺴﺒﺖ ﺑﻪ ﻣﯿﺎﻧﮕﯿﻦ ﺑﺎ ﯾ
ﻋﻤﻠ ﺮ دﯾ ﺮ ﻧﻤ ﺗﻮان ﺟﺴﺘﺠﻮ را ﺑﻪ ﺷﺪه اﺳﺖ .ﻣ ﺧﻮاﻫﯿﻢ ﻧﺸﺎن دﻫﯿﻢ ﮐﻪ ﺑﺎ ﻋﻮض ﮐﺮدن ﺣﺎﻟﺖ ﯾ ﻨﻮاﺧﺖ اوﻟﯿﻪ و ﻫﻢ ﭼﻨﯿﻦ ﻋﻤﻠ ﺮ ﮔﺮور ﺑﺎ ﯾ
ﺻﻮرت ﺑﻬﺘﺮی اﻧﺠﺎم داد .ﻫﺮﮔﺎه ﻋﻤﻠ ﺮﻫﺎی ﮔﺮور را Tﺑﺎر روی ﺣﺎﻟﺖ اوﻟﯿﻪ اﺛﺮ دﻫﯿﻢ ﺧﻮاﻫﯿﻢ داﺷﺖ :
ﺷﻮد .ﺑﺮای اداﻣﻪ ﮐﺎر اﺣﺘﯿﺎج ﺑﻪ دﻟﯿﻞ اﯾﻦ ﮐﻪ ﺣﺎﻟﺖ ﺳﻤﺖ ﭼﭗ را ﺑﺎ ) ψw (Tﻧﺸﺎن داده اﯾﻢ اﯾﻦ اﺳﺖ ﮐﻪ اﯾﻦ ﺣﺎﻟﺖ ﻗﺮار اﺳﺖ ﺑﻪ ﺣﺎﻟﺖ wﻧﺰدﯾ
اﯾﻦ ﺣﺎﻟﺖ ﺣﺎﻟﺘ اﺳﺖ ﮐﻪ ﺑﻌﺪ از Tﺑﺎ ر ﻋﻤﻞ اﭘﺮاﺗﻮرﻫﺎی Kiﺑﺪﺳﺖ ﻣ آﯾﺪ ﺑﺪون اﯾﻦ ﮐﻪ در ﻫﯿﭻ ﻣﺮﺣﻠﻪ ای ﺗﺎﺑﻊ Ufﻓﺮاﺧﻮاﻧ ﺷﺪه ﺑﺎﺷﺪ.
١۴
ﻧﻈﻢ ﮐﻠ دﺳﺖ ﭘﯿﺪاﮐﻨﯿﻢ. nاﺛﺒﺎت :ﺑﺮای ﻓﻬﻢ اﯾﻦ ﻗﻀﯿﻪ ﮐﺎﻓ اﺳﺖ ﮐﻪ ﭼﻨﺪ ﺣﺎﻟﺖ ﺳﺎده را ﺑﺮرﺳ ﮐﻨﯿﻢ ﺗﺎ ﺑﻪ ﯾ
∥ ψw (1) − ψ(1) ∥=∥ K1 Uf ψ(0) − K1 ψ(0) ∥=∥ (Uf − I)ψ(0) ∥=∥ 2|w⟩⟨w|ψ(0)⟩ ∥= 2|⟨w|ψ(0)⟩|, )(٣٧
ﮐﻪ درآن از ﯾ ﺎﻧ ﺑﻮدن ﻋﻤﻠ ﺮ K1وﻫﻢ ﭼﻨﯿﻦ ﺗﺴﺎوی | Uf = I − 2|w⟩⟨wاﺳﺘﻔﺎده ﮐﺮده اﯾﻢ .
∥ ψw (2) − ψ(2) ∥=∥ K2 Uf K1 Uf ψ(0) − K2 K1 ψ(0) ∥=∥ Uf K1 Uf ψ(0) − K1 ψ(0) ∥, )(٣٨
ﺟﻤﻠﻪ ﻣﻨﺎﺳﺐ ﺑﻪ ﺟﻤﻠﻪ داﺧﻞ ∥ ∥ اﺿﺎﻓﻪ و ﮐﻢ ﻣ ﮐﻨﯿﻢ و از ﻧﺎﻣﺴﺎوی ∥ ∥ a + b ∥≤∥ a ∥ + ∥ bاﺳﺘﻔﺎده ﮐﺮده و ﺑﺪﺳﺖ ﻣ ﺣﺎل ﯾ
آورﯾﻢ:
∥ ψw (2) − ψ(2) ∥≤∥ Uf K1 Uf ψ(0) − Uf K1 ψ(0) ∥ + ∥ Uf K1 ψ(0) − K1 ψ(0) ∥ . )(٣٩
ﻋﻤﻠ ﺮ ﯾ ﺎﻧ ﻧﺮم ﺑﺮدارﻫﺎ را ﺗﻐﯿﯿﺮ ﻧﻤ دﻫﺪ اﺳﺘﻔﺎده ﻣ ﮐﻨﯿﻢ ﺣﺎل در ﻃﺮف راﺳﺖ اﯾﻦ ﻧﺎﻣﺴﺎوی از ﯾ ﺎﻧ ﺑﻮدن Ufو Uf K1و اﯾﻨﮑﻪ ﯾ
و ﺑﺪﺳﺖ ﻣ آورﯾﻢ
١۵
nﻟﻢ :١ﻫﺮﮔﺎه a1ﺗﺎ aNاﻋﺪاد ﺣﻘﯿﻘ ﺑﺎﺷﻨﺪ آﻧﮕﺎه
اﺛﺒﺎت :اﯾﻦ ﻧﺎﻣﺴﺎوی ﭼﯿﺰی ﻧﯿﺴﺖ ﺟﺰ ﻧﺎﻣﺴﺎوی ﮐﻮﺷ ﺷﻮارﺗﺰ ﺑﺮای دو ﺑﺮدار ) u = (a1 , a2 , · · · aNو ).v = (1, 1, · · · 1
دﻗﺖ ﮐﻨﯿﺪ ﮐﻪ ﻧﺎﻣﺴﺎوی ) (۴۴ﻗﺮار اﺳﺖ ﺑﺮای ﻫﺮ ﮐﺪام از wﻫﺎ ﺑﻪ ﻃﻮر ﺟﺪاﮔﺎﻧﻪ ﺑﺮﻗﺮار ﺑﺎﺷﺪ ﺑﻪ اﯾﻦ ﻣﻌﻨ ﮐﻪ ﻣﻤ ﻦ اﺳﺖ داده ﻣﻮرد ﻧﻈﺮ ﮐﻪ در
ﭘﺎﯾﻪ ﮐﺎﻣﻞ ﺗﺸ ﯿﻞ ﻣ دﻫﻨﺪ ﺑﻨﺎﺑﺮاﯾﻦ ﻣ ﺟﺴﺘﺠﻮی آن ﻫﺴﺘﯿﻢ ﻫﺮ ﮐﺪام از ﺣﺎﻟﺖ ﻫﺎی ⟩ |1ﺗﺎ ⟩ |Nﺑﺎﺷﺪ .اﯾﻦ ﺣﺎﻟﺖ ﻫﺎ ﻫﻤﻪ ﺑﺮﻫﻢ ﻋﻤﻮد ﺑﻮده و ﯾ
∑ −1
∑∑ T
∥ ψw (T ) − ψ(T ) ∥2 ≤ 4T |⟨w|ψ(t)⟩|2
w w t=0
∑
∑ T ∑
T ∑
T −1
= 4T |⟨w|ψ(t)⟩|2 = 4T = ⟩)⟨ψ(t)|ψ(t 1 = 4T 2 )(۴۴
t=0 w t=0 t=0
∑
∥ ψw (T ) − ψ(T ) ∥2 ≤ 4T 2 . )(۴۵
w
√
ﺑﻘﯿﻪ اﺳﺘﺪﻻل اﯾﻦ اﺳﺖ ﮐﻪ ﻧﺸﺎن دﻫﯿﻢ ﻃﺮف ﭼﭗ ﻧﺎﻣﺴﺎوی ﺑﺎﻻ از 2N − 2 Nﺑﺰرگ ﺗﺮ اﺳﺖ ﮐﻪ ﺑﻪ ﻣﻌﻨﺎی آن اﺳﺖ ﮐﻪ ﺗﻌﺪاد دﻓﻌﺎت ﺧﻮاﻧﺪن
√
2N − 2 N ≤ 4T 2 . )(۴۶
√
اﺳﺖ ﺑﺪﺳﺖ ﻣ آورﯾﻢ ﮐﻪ در ﻣﻘﺎﺑﻞ Nﮐﻮﭼ اﯾﻦ ﻫﻤﺎن ﭼﯿﺰی اﺳﺖ ﮐﻪ ﻣ ﺧﻮاﺳﺘﯿﻢ ﺑﻪ آن ﺑﺮﺳﯿﻢ .در واﻗ در ﺣﺪ Nﻫﺎی ﺑﺰرگ ﮐﻪ N
√
N
≤ T.
2
١۶
ﺗﻤﺮﯾﻦ ﺳﺎده در ﺟﺒﺮ ﺧﻄ ﮐﻪ در ﭘﺎﯾﺎن ﺑﻪ اﯾﻦ ﺗﺮﺗﯿﺐ ﺑﺎﻗ ﻣ ﻣﺎﻧﺪ ﮐﻪ ﻧﺎﻣﺴﺎی ﻗﻮل داده ﺷﺪه را ﺛﺎﺑﺖ ﮐﻨﯿﻢ .اﯾﻦ ﻧﺎﻣﺴﺎوی ﭼﯿﺰی ﻧﯿﺴﺖ ﺟﺰ ﯾ
ﺑﻪ آن ﻣ ﭘﺮدازﯾﻢ.
ﻣﺠﻤﻮﻋﻪ ﺑﺮدار ﻫﺎی ﻣﺘﻌﺎﻣﺪ ﯾ ﻪ ﻣﺜﻞ }⟩ {|u1 ⟩, |u2 ⟩, · · · |uNداﺷﺘﻪ ﺑﺎﺷﯿﻢ آﻧﮕﺎه ﺑﻪ ازای ﻫﺮﺑﺮدارﯾ ﻪ دﯾ ﺮ ﻣﺜﻞ ⟩ |Y nﻟﻢ :٢ﻫﺮﮔﺎه ﯾ
∑
N
√
⟨ui |Y ⟩ + ⟨Y |ui ⟩ ≤ 2 N . )(۴٧
i=1
1
|s⟩ := √ (|u1 ⟩ + |u2 ⟩ + · · · |uN ⟩), )(۴٨
N
وﻧﺎﻣﺴﺎوی ﮐﻮﺷ ﺷﻮارﺗﺰ را ﺑﺮای اﯾﻦ ﺑﺮدار و ﺑﺮدار ⟩ |Yﺑﻨﻮﯾﺴﯿﻢ .ﺑﺪﺳﺖ ﻣ آورﯾﻢ
√
≤ |⟩ |⟨Y |u1 ⟩ + ⟨Y |u2 ⟩ + · · · ⟨Y |uN N. )(۴٩
ﺑﻨﺎﺑﺮاﯾﻦ ﺑﺎ ﺗﺮﮐﯿﺐ اﯾﻦ ﻧﺎﻣﺴﺎوی ﺑﺎ ﻧﺎﻣﺴﺎوی ﻗﺒﻠ ﯾﻌﻨ ) (۴٩ﺑﻪ راﺑﻄﻪی ۴٧ﻣ رﺳﯿﻢ.
nﺗﻤﺮﯾﻦ :از ﺗﺮﮐﯿﺐ اﯾﻦ دو ﻧﺎﻣﺴﺎوی واﻗﻌﺎ ﻧﺸﺎن دﻫﯿﺪ ﮐﻪ راﺑﻄﻪ ) (۴٧ﺑﺪﺳﺖ ﻣ آﯾﺪ .ﺳﭙﺲ ﻧﺸﺎن دﻫﯿﺪ ﮐﻪ اﯾﻦ ﻧﺎﻣﺴﺎوی را ﺑﻪ ﺷ ﻞ زﯾﺮ ﻧﯿﺰ
ﻣ ﺗﻮان ﻧﻮﺷﺖ:
∑
N
√
||ui − Y ||2 ≥ 2N − 2 N . )(۵١
i=1
١٧