Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
量子位相推定とショアのアルゴリズム
Search
seiya-sugo
May 24, 2019
Science
2
1.3k
量子位相推定とショアのアルゴリズム
量子位相推定 ショアのアルゴリズム
seiya-sugo
May 24, 2019
Tweet
Share
More Decks by seiya-sugo
See All by seiya-sugo
Review of Scalable Quantum Simulation of Molecular Energies
seiyasugo
2
90
第二量子化ハミルトニアンから量子回路への変換
seiyasugo
1
1.2k
Review of Simulated Quantum Computation of Molecular Energies
seiyasugo
0
180
Other Decks in Science
See All in Science
テンソル分解を用いた教師なし学習による変数選択法のシングルセルマルチオミックスデータ解析への応用
tagtag
1
120
The thin line between reconstruction, classification, and hallucination in brain decoding
ykamit
1
1.2k
As We May Interact: Challenges and Opportunities for Next-Generation Human-Information Interaction
signer
PRO
0
380
最適化超入門
tkm2261
15
3.7k
科学で迫る勝敗の法則(名城大学公開講座.2024年10月) / The principle of victory discovered by science (Open lecture in Meijo Univ. 2024)
konakalab
0
270
FOGBoston2024
lcolladotor
0
150
化学におけるAI・シミュレーション活用のトレンドと 汎用原子レベルシミュレーター: Matlantisを使った素材開発
matlantis
0
470
サメのはなし / How Sharks are born
naospon
0
2.5k
ガウス過程回帰とベイズ最適化
nearme_tech
PRO
1
200
07_浮世満理子_アイディア高等学院学院長_一般社団法人全国心理業連合会代表理事_紹介資料.pdf
sip3ristex
0
180
統計的因果探索: 背景知識とデータにより因果仮説を探索する
sshimizu2006
3
690
Tensor Representations in Signal Processing and Machine Learning (Tutorial at APSIPA-ASC 2020)
yokotatsuya
0
120
Featured
See All Featured
Let's Do A Bunch of Simple Stuff to Make Websites Faster
chriscoyier
507
140k
A Tale of Four Properties
chriscoyier
158
23k
The Cost Of JavaScript in 2023
addyosmani
47
7.4k
Scaling GitHub
holman
459
140k
Agile that works and the tools we love
rasmusluckow
328
21k
Six Lessons from altMBA
skipperchong
27
3.6k
Fireside Chat
paigeccino
35
3.2k
Designing on Purpose - Digital PM Summit 2013
jponch
117
7.1k
The Language of Interfaces
destraynor
156
24k
Practical Tips for Bootstrapping Information Extraction Pipelines
honnibal
PRO
13
1k
Bootstrapping a Software Product
garrettdimon
PRO
307
110k
Reflections from 52 weeks, 52 projects
jeffersonlam
348
20k
Transcript
量子位相推定と ショアのアルゴリズム 株式会社Quemix 須郷聖也
はじめに謝辞 この資料の作成にあたり、 blueqat株式会社 湊 雄一郎さん 理化学研究所 中田 真秀さん のご協力をいただきました。ありがとうございました。
まずショアのアルゴリズムについて 素因数分解を高速に解くためのアルゴリズム • 素因数分解を高速に解く古典アルゴリズムは知られていない • RSA暗号はここに依存している • 1994年にPeter Shorが高速に解く量子計算アルゴリズムを発見 •
位数推定問題に帰着させることがポイント 全体像を把握するにはいくつかの知識が必要 • 合同式と位数 • 量子フーリエ変換 • 量子位相推定(位数推定問題はこの一種) • 連分数展開
まずショアのアルゴリズムについて 素因数分解を高速に解くためのアルゴリズム • 素因数分解を高速に解く古典アルゴリズムは知られていない • RSA暗号はここに依存している • 1994年にPeter Shorが高速に解く量子計算アルゴリズムを発見 •
位数推定問題に帰着させることがポイント 全体像を把握するにはいくつかの知識が必要 • 合同式と位数 • 量子フーリエ変換 • 量子位相推定(位数推定問題はこの一種) • 連分数展開 量子アルゴリズムである この二つから見ましょう
量子位相推定と量子フーリエ変換
量子位相推定 ユニタリー演算子をUとすると、その固有値は絶対値が1であり、 以下のように書ける。 このθを量子計算で求めるのが量子位相推定である 注: ユニタリー演算子Uの固有状態|u>は既知で、これを作る必要がある。 (ショアではここに工夫が必要)
量子位相推定の量子回路 H H H H
量子位相推定の量子回路 H H H H
量子フーリエ変換 量子位相推定のアルゴリズムの中には量子フーリエ変換が登場する 簡単に量子フーリエ変換について結果を確認しておく QFT 量子位相推定では途中でこの式の右の形が登場するので 逆量子フーリエ変換で左の形に変形する
量子フーリエ変換の量子回路 H H H H S W A P
2進数表記と10進数表記について 量子計算を表記する際に、2進数で表記している場合と10進数で表記し ている場合があり、たまに混乱するので、注意しておく。 n qubit全てにアダマール変換をする時の例は以下の通り。
量子位相推定の計算詳細 n qubitの測定ビット(0にセット)とユニタリー行列U の固有状態ビット(|u>)を用意し、 測定ビットをアダマール変換 (次スライドへ続く) k番目のqubitをcontrolビットとして固有状態ビットにUkを作用 (2進法表記から始める)
量子位相推定の計算詳細 n qubitの測定ビット(0にセット)とユニタリー行列U の固有状態ビット(|u>)を用意し、 測定ビットをアダマール変換 (次スライドへ続く) k番目のqubitをcontrolビットとして固有状態ビットにUkを作用 (2進法表記から始める) =k(10進数)
量子位相推定の計算詳細(続き) 測定ビットから小数点以下n桁の精度でΦが求まる。 (←10進数に変換)
ショアのアルゴリズム
位数から素因数を求める 位数とは? →素因数分解したいNと互いに素な自然数x(0<x<N)に対して 以下の式が成り立つようなrを位数という(高速で見つけるのが困難) rが見つかり、かつ偶数だった場合、以下のように素因数を見つける 左辺の積のうち少なくとも片方はNと公約数を持つ
ショアのアルゴリズムのフロー Nが偶数またはab ? x(0<x<N)を選ぶ。gcd(x,N)=1 ? xr=1(mod N)となるrを量子位数推定 rは偶数 ? gcd(xr/2-1,N)またはgcd(xr/2+1,N)が1でない
? 終了 NO YES
位数計算のためのユニタリー演算子と固有状態 位数推定のために次のようなユニタリー演算子を考える このユニタリー演算子の固有状態は次のように書ける
固有状態であることの確認 末項(j = r-1)の値が 元のu s の初項(j = 0)の値と同じ j
+ 1の形が出てくるように変形
固有状態の和の形なら簡単に作れる この固有状態を作ろうと思うと今求めたいrの値が必要 固有状態の各々を用意することは出来ないが、それらの和なら可能
固有状態の和の形なら簡単に作れる(式変形の確認) 赤で囲った部分は等比数列の和になる(j=0のときのみ公比が1) もしくはjがnon-zeroの場 合、和の各項は複素平面 の単位円の内接正r角形 の頂点に対応するのでそ れらの和がその多角形の 重心(つまり0)になると考え てもOK
量子位相推定の量子回路 H H H H
前スライドのcontroled-Uの部分の計算を確認
量子位相推定の量子回路 H H H H
逆量子フーリエ変換を行う 測定ビットを測定することでs/rが得られる
連分数展開 s/rの値は少数点以下n桁で得られるが、我々はここからrを知らなければいけない。得 られた値をaとしてこれを以下のような連分数に展開することで、近似的にs/rの値を得 る。 s/rの値によっては連分数展開の結果得られたrが望ましい結果を与えない場合もある が、その場合はxを選ぶところからやり直す。(フローのスライド参照)
その他の補足
位数推定で測定用qubitはいくつ用意すればいいか 素因数分解する数Nを表現するのにL qubit必要な場合、2L+1個の測定用qubitがあ れば十分に高い確率で適切なrが求められるとされている。
位数推定の計算量について Shorのアルゴリズムのなかで位数推定以外の部分は古典的に高速に実行出来る(最 大公約数を求める等)。量子位数推定はO(L3)で計算出来、O(1)の確率で正しい解が 得られる
ご連絡先 本資料に関するご質問や、お客様の事業への適用検討、共同研究のご相談など ありましたら、お気軽に株式会社Quemix <
[email protected]
>まで ご連絡ください。