古典プログラマが量子プログラミングをさわろうとした話 / FFTT #383

ݹయϓϩάϥϚ͕ ྔࢠϓϩάϥϛϯάΛ ͞ΘΖ͏ͱͨ͠࿩ ೥݄೔ !NBTIBCPX

งғؾͱ͔ײ৮͙Β͍͸఻͍͑ͨ ͜Μʹͪ͸ w !NBTIBCPX w ιʔγϟϧ1-64ϑϩϯτΤϯυΤϯδχΞ w લճ͸ϕδΤۂઢʹ͍ͭͯޠͬͨΜͰ͕͢ w ࠓճ͸ྔࢠίϯϐϡʔλͷ࿩Λ͠·͢

ࡢ೥݄͸͡Ί w ʻ͋ʔɺϑϩϯτΤϯυ.5(ͷωλ୳ͯ͠͠ͳ͍΍ʜ w ͸ͯϒͰVTFST͙Β͍৳ͼ͍ͯͨ w શવΘ͔ΒΜ͚Ͳ঺հ͠ͱ͜ w ͳΜ͔͔͍͍ͬ͜͠

ղܾ✅ ྔࢠྗֶΘ͔Βͳ͍໰୊ w ೾ಈؔ਺ɺγϡϨσΟϯΨʔํఔࣜɺεϐϯɺʜ w w ྔࢠྗֶʹ͸ཱͪೖΒͳ͍͜ͱʹͨ͠

දݱྗ͕ߴ͍ ྔࢠϏοτ w ݹయϏοτͷঢ়ଶ͸͔ͩͬͨ w ྔࢠϏοτͷঢ়ଶ͸ɺϒϩοϗٿ্ͷ఺Ͱද͞ΕΔΒ͍͠

ͳΔ΄Ͳʁ ೖྗͷྔࢠήʔτ w ೖྗͷݹయήʔτ͸ɺ/05ήʔτ͚ͩʢˠ ˠʣ w ྔࢠήʔτͰ͸9 : ; )ͳͲͳͲɺ͍Ζ͍Ζ͋Δ
w ྔࢠϏοτΛೖΕΔͱɺྔࢠϏοτ͕͙Δ͙ΔճΔ

্޲͖͔Լ޲͖͔↕ ྔࢠϏοτͷଌఆ w ྔࢠϏοτΛଌఆ͢Δͱɺ͔͕֬཰తʹग़ͯ͘Δ w ग़ͯ͘Δׂ߹͸ྔࢠϏοτͷঢ়ଶʹΑܾͬͯ·Δ ͕ ͕ ͕
͕

׬શʹཧղͨ͠ جຊͷϧʔϧ w ྔࢠϏοτ͸ٿΈ͍ͨͳΠϝʔδ w ྔࢠήʔτʹ௨͢ͱ͙Δ͙ΔճΔ w ଌఆ͢Δͱ͔͕֬཰తʹग़ͯ͘Δ

ཧܥֶ෦೥ੜ͙Β͍ͷ਺ֶ͸ඞཁͩͬͨ ߦྻ͕ग़ͯ͘Δ w ྔࢠϏοτ͸cʫ ͱcʫ ͷॏͶ߹ΘͤͰදݱ͞ΕΔ w ྔࢠήʔτ͸ϢχλϦߦྻͰදݱ͞ΕΔ |ψ⟩
= ( α β) = α ( 1 0) + β ( 0 1) = α|0⟩ + β|1⟩ (α, β ∈ ℂ, |α|2 + |β|2 = 1) X = ( 0 1 1 0) X|0⟩ = ( 0 1 1 0) ( 1 0) = ( 0 1) = |1⟩ ͳͷͰɺ

ྔࢠϏοτ͸్தͰ૿͑ͨΓݮͬͨΓ͠ͳ͍☝ ೖྗͷྔࢠήʔτ w $/05ήʔτ͕͍ͪ͹Μ༗໊ͬΆ͍ w ੍ޚϏοτ͕cʫ ͷͱ͖͚ͩɺඪతϏοτΛ൓స ੍ޚϏοτ ඪతϏοτ
CNOT |00⟩ = |00⟩ CNOT |01⟩ = |01⟩ CNOT |10⟩ = |11⟩ CNOT |11⟩ = |10⟩ 903తͳ CNOT = 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0

͜ΕΛ࢖ͬͯ͏·͍͜ͱ΍͍ͬͯ͘Β͍͠ ΋ͭΕ w ྔࢠϏοτؒʹ૬ؔؔ܎Λ࡞Δ͜ͱ͕Ͱ͖Δ w ยํͷྔࢠϏοτΛଌఆ͢Δͱɺ΋͏ยํͷྔࢠϏοτͷ஋͕ܾ·Δɺͱ͔ 1 2 (|00⟩
+ |11⟩) ग़ྗɿ ยํ͕ͩͬͨΒ΋͏ยํ΋ ยํ͕ͩͬͨΒ΋͏ยํ΋

͚ͬ͜͏௿ϨΠϠ ։ൃ؀ڥ w ઐ༻ͷݴޠͩͬͨΓɺ1ZUIPOͷϥΠϒϥϦͩͬͨΓɺ͍Ζ͍Ζ͋Δ w γϛϡϨʔλʔ͕͍͍ͭͯΔͷͰɺݹయίϯϐϡʔλ্Ͱ΋࣮ߦͰ͖Δ w ن໛͕େ͖͘ͳΔͱܭࢉ͕௥͍͔ͭͳ͍ w جຊతʹ͸ɺྔࢠήʔτΛฒ΂ͯྔࢠճ࿏Λ࡞͍͚ͬͯͩ͘

2VBOUVN,BUBT w .JDSPTPGU੡ͷྔࢠϓϩάϥϛϯάݴޠ2Λ࢖ͬͨ࿅श໰୊ w ೥຤ʹ࠷ॳͷํ͚ͩղ͍ͯΈͨɻύζϧͬΆ͍ ݴޠʹ׳ΕΔ·Ͱ͕ʜ

*#.ͷ$JSDVJU$PNQPTFS w (6*Ͱϙνϙν͢Δͱྔࢠճ࿏͕૊ΊΔ w ࣮ߦ΋Ͱ͖Δ Ϋϥ΢υ্ͷ࣮ػͰ΋࣮ߦͰ͖Δ

σϞ *#.ͷ2JTLJU/PUFCPPL w 1ZUIPOϥΠϒϥϦ2JTLJU +VQZUFS/PUFCPPL w ͪ͜Β΋ϒϥ΢β্͔Β͙͢ʹಈ͔ͤΔ

ྔࢠϓϩάϥϜͷ࢖͍ํ w ྔࢠϓϩάϥϜ͸ྔࢠճ࿏ʹίϯύΠϧ͞ΕΔ w ͦͷճ࿏ΛԿճ΋࣮ߦͯ͠ɺଌఆ݁Ռͷ෼෍ΛݟΔ w ·ͩྔࢠϝϞϦ͸ͳ͍ɻྔࢠ௨৴΋Ͱ͖ͳ͍ w ݹయϓϩάϥϜʹ૊Έ߹ΘͤͯཁॴͰ࢖͏Πϝʔδ
࠷ॳͷΠϝʔδͱҧͬͨ ճͱ͔܁Γฦ͢

؊৺ͳͱ͜Ζ͕ ੵΈ࢒͠ w ͲΜͳྔࢠΞϧΰϦζϜ͕͋Δͷʁ w ྔࢠίϯϐϡʔλ͸Կ͕ಘҙͳͷʁ w ྔࢠήʔτܕͱྔࢠΞχʔϦϯάܕͬͯʁ w Ͳ͜·Ͱ࣮༻తͳͷʁ

͓͠·͍

古典プログラマが量子プログラミングをさわろうとした話 / FFTT #383

古典プログラマが量子プログラミングをさわろうとした話 / FFTT #383

Masaya Nakamura

More Decks by Masaya Nakamura

Other Decks in Programming

Featured

Transcript

ݹయϓϩάϥϚ͕ ྔࢠϓϩάϥϛϯάΛ ͞ΘΖ͏ͱͨ͠࿩ ೥݄೔ !NBTIBCPX

งғؾͱ͔ײ৮͙Β͍͸఻͍͑ͨ ͜Μʹͪ͸ w !NBTIBCPX w ιʔγϟϧ1-64ϑϩϯτΤϯυΤϯδχΞ w લճ͸ϕδΤۂઢʹ͍ͭͯޠͬͨΜͰ͕͢ w ࠓճ͸ྔࢠίϯϐϡʔλͷ࿩Λ͠·͢

ࡢ೥݄͸͡Ί w ʻ͋ʔɺϑϩϯτΤϯυ.5(ͷωλ୳ͯ͠͠ͳ͍΍ʜ w ͸ͯϒͰVTFST͙Β͍৳ͼ͍ͯͨ w શવΘ͔ΒΜ͚Ͳ঺հ͠ͱ͜ w ͳΜ͔͔͍͍ͬ͜͠

ղܾ✅ ྔࢠྗֶΘ͔Βͳ͍໰୊ w ೾ಈؔ਺ɺγϡϨσΟϯΨʔํఔࣜɺεϐϯɺʜ w w ྔࢠྗֶʹ͸ཱͪೖΒͳ͍͜ͱʹͨ͠

දݱྗ͕ߴ͍ ྔࢠϏοτ w ݹయϏοτͷঢ়ଶ͸͔ͩͬͨ w ྔࢠϏοτͷঢ়ଶ͸ɺϒϩοϗٿ্ͷ఺Ͱද͞ΕΔΒ͍͠

ͳΔ΄Ͳʁ ೖྗͷྔࢠήʔτ w ೖྗͷݹయήʔτ͸ɺ/05ήʔτ͚ͩʢˠ ˠʣ w ྔࢠήʔτͰ͸9 : ; )ͳͲͳͲɺ͍Ζ͍Ζ͋Δ

্޲͖͔Լ޲͖͔↕ ྔࢠϏοτͷଌఆ w ྔࢠϏοτΛଌఆ͢Δͱɺ͔͕֬཰తʹग़ͯ͘Δ w ग़ͯ͘Δׂ߹͸ྔࢠϏοτͷঢ়ଶʹΑܾͬͯ·Δ ͕ ͕ ͕

׬શʹཧղͨ͠ جຊͷϧʔϧ w ྔࢠϏοτ͸ٿΈ͍ͨͳΠϝʔδ w ྔࢠήʔτʹ௨͢ͱ͙Δ͙ΔճΔ w ଌఆ͢Δͱ͔͕֬཰తʹग़ͯ͘Δ

ཧܥֶ෦೥ੜ͙Β͍ͷ਺ֶ͸ඞཁͩͬͨ ߦྻ͕ग़ͯ͘Δ w ྔࢠϏοτ͸cʫ ͱcʫ ͷॏͶ߹ΘͤͰදݱ͞ΕΔ w ྔࢠήʔτ͸ϢχλϦߦྻͰදݱ͞ΕΔ |ψ⟩

ྔࢠϏοτ͸్தͰ૿͑ͨΓݮͬͨΓ͠ͳ͍☝ ೖྗͷྔࢠήʔτ w $/05ήʔτ͕͍ͪ͹Μ༗໊ͬΆ͍ w ੍ޚϏοτ͕cʫ ͷͱ͖͚ͩɺඪతϏοτΛ൓స ੍ޚϏοτ ඪతϏοτ

͜ΕΛ࢖ͬͯ͏·͍͜ͱ΍͍ͬͯ͘Β͍͠ ΋ͭΕ w ྔࢠϏοτؒʹ૬ؔؔ܎Λ࡞Δ͜ͱ͕Ͱ͖Δ w ยํͷྔࢠϏοτΛଌఆ͢Δͱɺ΋͏ยํͷྔࢠϏοτͷ஋͕ܾ·Δɺͱ͔ 1 2 (|00⟩

͚ͬ͜͏௿ϨΠϠ ։ൃ؀ڥ w ઐ༻ͷݴޠͩͬͨΓɺ1ZUIPOͷϥΠϒϥϦͩͬͨΓɺ͍Ζ͍Ζ͋Δ w γϛϡϨʔλʔ͕͍͍ͭͯΔͷͰɺݹయίϯϐϡʔλ্Ͱ΋࣮ߦͰ͖Δ w ن໛͕େ͖͘ͳΔͱܭࢉ͕௥͍͔ͭͳ͍ w جຊతʹ͸ɺྔࢠήʔτΛฒ΂ͯྔࢠճ࿏Λ࡞͍͚ͬͯͩ͘

2VBOUVN,BUBT w .JDSPTPGU੡ͷྔࢠϓϩάϥϛϯάݴޠ2Λ࢖ͬͨ࿅श໰୊ w ೥຤ʹ࠷ॳͷํ͚ͩղ͍ͯΈͨɻύζϧͬΆ͍ ݴޠʹ׳ΕΔ·Ͱ͕ʜ

#.ͷ$JSDVJU$PNQPTFS w (6Ͱϙνϙν͢Δͱྔࢠճ࿏͕૊ΊΔ w ࣮ߦ΋Ͱ͖Δ Ϋϥ΢υ্ͷ࣮ػͰ΋࣮ߦͰ͖Δ

σϞ *#.ͷ2JTLJU/PUFCPPL w 1ZUIPOϥΠϒϥϦ2JTLJU +VQZUFS/PUFCPPL w ͪ͜Β΋ϒϥ΢β্͔Β͙͢ʹಈ͔ͤΔ

ྔࢠϓϩάϥϜͷ࢖͍ํ w ྔࢠϓϩάϥϜ͸ྔࢠճ࿏ʹίϯύΠϧ͞ΕΔ w ͦͷճ࿏ΛԿճ΋࣮ߦͯ͠ɺଌఆ݁Ռͷ෼෍ΛݟΔ w ·ͩྔࢠϝϞϦ͸ͳ͍ɻྔࢠ௨৴΋Ͱ͖ͳ͍ w ݹయϓϩάϥϜʹ૊Έ߹ΘͤͯཁॴͰ࢖͏Πϝʔδ

؊৺ͳͱ͜Ζ͕ ੵΈ࢒͠ w ͲΜͳྔࢠΞϧΰϦζϜ͕͋Δͷʁ w ྔࢠίϯϐϡʔλ͸Կ͕ಘҙͳͷʁ w ྔࢠήʔτܕͱྔࢠΞχʔϦϯάܕͬͯʁ w Ͳ͜·Ͱ࣮༻తͳͷʁ

͓͠·͍