SlideShare a Scribd company logo
1 of 28
Download to read offline
量子情報勉強会|13>(後半) 
Nielsen-Chuang exercise 4.21~ 
@gm3d2 
Oct. 25, 2014 
池袋バイナリ勉強会会場
演習4.21 C2(U) 
V V† V 
C1, C2 A B C 全体 
0, 0 I I I I 
0, 1 V V† I I 
1, 0 I V† V I 
1, 1 V I V U 
C1 
C2 
t 
A B C
演習 4.22 
● figure 4.6を利用 
V V† V 
C1 
C2 
t 
C 
α 
C1 
C2 
t 
-α 
α 
α 
B A A† B† C† C B A
演習 4.22 (2) 
● 
C 
α 
C1 
C2 
t 
-α 
α 
B A A† B† C† C B A 
C 
α 
C1 
C2 
t 
-α 
α 
B B† B A
演習 4.22 (3) 
● 
C 
α 
C1 
C2 
t 
-α 
α 
B B† B A 
C 
α 
C1 
C2 
t 
-α 
α 
B B† B A
演習 4.22 (4) 
● 
= 
C 
α 
C1 
C2 
t 
-α 
α 
B B† B A 
C 
α 
C1 
C2 
t 
-α 
α 
B B† B A
演習 4.22 (5) 
● 
C 
α 
C1 
C2 
t 
-α 
α 
B B† B A 
C 
α 
C1 
C2 
t 
-α 
α 
B B† B A 
6個のCNOT、8個の1 qubit ゲート
演習4.23 
C B A 
α
演習4.23(2) 
はこの形に書けないので簡略化できない
演習 4.24 
● 下図がToffoliゲートの実装であることを示す 
C1 
C2 
t H 
T† T T† T 
T† 
T† 
H 
T 
S 
● C1C2=|00>、|01>、|10>、|11>の各場合に 
分けてそれぞれ|C1>、|C2>、|t>に作用する演 
算U1、U2、U3を調べる
演習 4.24(2) 
● C1C2 = |00> 
C1 
C2 
t H 
T† T T† T 
T† 
T† 
H 
T 
S
演習 4.24(3) 
● C1C2 = |01> 
C1 
C2 
t H 
T† T T† T 
T† 
T† 
H 
T 
S
演習 4.24(4) 
● C1C2 = |10> 
C1 
C2 
t H 
T† T T† T 
T† 
T† 
H 
T 
S
演習 4.24(5) 
● C1C2 = |11> 
C1 
C2 
t H 
T† T T† T 
T† 
T† 
H 
T 
S
演習 4.25 Fredkinゲートの構成 
(1) 
a 
b 
c 
a 
b 
c
演習 4.25 Fredkinゲートの構成(2) 
(2) 
|a> = |0>のとき 
|a> = |1>のときは(1)に帰着 
a 
b 
c 
a 
b 
c 
=
演習 4.25 Fredkinゲートの構成(3) 
(3) 
(4) 不明! 
a 
b 
c 
V V† V 
a 
b 
c 
V 
W 
V†
演習 4.26 簡略化Toffoliゲート 
a 
b 
c
演習 4.27 quantum shift register? 
e1・・・e7の巡回置換
演習 4.27 (2) 
任意の置換は互換の積で表せる 
qubit kをターゲットとするToffoli 
qubit iを制御入力とするFredkin 
i qubitに作用するqNOT(Pauli X) 
a 
b 
c 
X X 
k 
i
演習 4.27 (3) 
ハミング距離3は直接に構成できないので 
|101>を飛び石にする 
図省略
演習 4.28 題意通りに 
解けていないので別解 
という恒等式を利用 (m = 5) 
● 左辺の各項に対応する制御信号を用意 
● 正の項にはV、負の項にはV†を付与 
● 結果的にすべてのxが1のときのみ 
● その他のケースではVの0乗=I 
● この方法ではO(2^n)のゲートが必要 
● m = 5で31項
演習 4.28(2) 
V V V V V V† V V† V V† V V† V V† V V† V 
V† V V† V† V V† V V† V V† V† V V† V†
演習 4.28(3) 
必要な制御信号の組み合わせ(XORで結合): 
1 2 3 4 5 
12 13 14 15 23 24 25 34 35 45 
123 124 125 134 135 145 234 235 245 345 
1234 1235 1245 1345 2345 
12345 
1 2 3 4 5 1 12 123 4 5 
1 12 3 4 5 1 12 123 4 1235 
1 12 123 4 5 1 12 123 4 5 
1 12 123 1234 5 1 12 3 4 5 
1 12 123 1234 12345 1 12 3 124 5 
1 12 123 1234 5 1 12 3 124 1245 
具体的な信号の遷移(54ステップ中最初の12ステップ) 
以下略
演習 4.29 
= 
nビット制御入力を持つToffoli gate Cn(X)は、 
高々n-1個の作業ビットを使えばO(4n)=O(n) 
で実現できる
演習 4.29(2) 
= 
1ビットの作業ビットを持つことを許せば 
n制御入力を持つToffoli gateはO(n)で実現できる 
注意: 上図の分解は帰納的に適用するのではなく 
与えられたnに対して一度だけ行う 
(その後は前ページの方法を適用)
演習 4.30 
U 
= 
V V† V 
ターゲットラインをn-Toffoliの作業ビットとして 
使えるので前問の議論が成り立つ 
Cost(n) = O(1) + O(n) + Cost(n-1) 
∴ Cost(n) ~ O(n^2)
演習 4.31 
単なる計算につき省略

More Related Content

What's hot

「時計の世界の整数論」第2回プログラマのための数学勉強会 #maths4pg
「時計の世界の整数論」第2回プログラマのための数学勉強会 #maths4pg「時計の世界の整数論」第2回プログラマのための数学勉強会 #maths4pg
「時計の世界の整数論」第2回プログラマのための数学勉強会 #maths4pgJunpei Tsuji
 
名のあるフラクタルたち
名のあるフラクタルたち名のあるフラクタルたち
名のあるフラクタルたちYu(u)ki IWABUCHI
 
第4回 配信講義 計算科学技術特論B(2022)
第4回 配信講義 計算科学技術特論B(2022)第4回 配信講義 計算科学技術特論B(2022)
第4回 配信講義 計算科学技術特論B(2022)RCCSRENKEI
 
GEE(一般化推定方程式)の理論
GEE(一般化推定方程式)の理論GEE(一般化推定方程式)の理論
GEE(一般化推定方程式)の理論Koichiro Gibo
 
PRML輪読#7
PRML輪読#7PRML輪読#7
PRML輪読#7matsuolab
 
RAFT: Recurrent All-Pairs Field Transforms for Optical Flow
RAFT: Recurrent All-Pairs Field Transforms for Optical FlowRAFT: Recurrent All-Pairs Field Transforms for Optical Flow
RAFT: Recurrent All-Pairs Field Transforms for Optical FlowMasanoriSuganuma
 
TVMの次期グラフIR Relayの紹介
TVMの次期グラフIR Relayの紹介TVMの次期グラフIR Relayの紹介
TVMの次期グラフIR Relayの紹介Takeo Imai
 
量子コンピュータの量子化学計算への応用の現状と展望
量子コンピュータの量子化学計算への応用の現状と展望量子コンピュータの量子化学計算への応用の現状と展望
量子コンピュータの量子化学計算への応用の現状と展望Maho Nakata
 
アプリケーションの性能最適化1(高並列性能最適化)
アプリケーションの性能最適化1(高並列性能最適化)アプリケーションの性能最適化1(高並列性能最適化)
アプリケーションの性能最適化1(高並列性能最適化)RCCSRENKEI
 
主成分分析(Pca)
主成分分析(Pca)主成分分析(Pca)
主成分分析(Pca)Shushi Namba
 
第2回 配信講義 計算科学技術特論B(2022)
第2回 配信講義 計算科学技術特論B(2022)第2回 配信講義 計算科学技術特論B(2022)
第2回 配信講義 計算科学技術特論B(2022)RCCSRENKEI
 
深層学習の数理
深層学習の数理深層学習の数理
深層学習の数理Taiji Suzuki
 
[DL輪読会]Understanding deep learning requires rethinking generalization
[DL輪読会]Understanding deep learning requires rethinking generalization[DL輪読会]Understanding deep learning requires rethinking generalization
[DL輪読会]Understanding deep learning requires rethinking generalizationDeep Learning JP
 
Tensor flow usergroup 2016 (公開版)
Tensor flow usergroup 2016 (公開版)Tensor flow usergroup 2016 (公開版)
Tensor flow usergroup 2016 (公開版)Hiroki Nakahara
 
高位合成ツールVivado hlsのopen cv対応
高位合成ツールVivado hlsのopen cv対応高位合成ツールVivado hlsのopen cv対応
高位合成ツールVivado hlsのopen cv対応marsee101
 
Prml Reading Group 10 8.3
Prml Reading Group 10 8.3Prml Reading Group 10 8.3
Prml Reading Group 10 8.3正志 坪坂
 
今さら聞けないカーネル法とサポートベクターマシン
今さら聞けないカーネル法とサポートベクターマシン今さら聞けないカーネル法とサポートベクターマシン
今さら聞けないカーネル法とサポートベクターマシンShinya Shimizu
 

What's hot (20)

「時計の世界の整数論」第2回プログラマのための数学勉強会 #maths4pg
「時計の世界の整数論」第2回プログラマのための数学勉強会 #maths4pg「時計の世界の整数論」第2回プログラマのための数学勉強会 #maths4pg
「時計の世界の整数論」第2回プログラマのための数学勉強会 #maths4pg
 
名のあるフラクタルたち
名のあるフラクタルたち名のあるフラクタルたち
名のあるフラクタルたち
 
Binary indexed tree
Binary indexed treeBinary indexed tree
Binary indexed tree
 
第4回 配信講義 計算科学技術特論B(2022)
第4回 配信講義 計算科学技術特論B(2022)第4回 配信講義 計算科学技術特論B(2022)
第4回 配信講義 計算科学技術特論B(2022)
 
GEE(一般化推定方程式)の理論
GEE(一般化推定方程式)の理論GEE(一般化推定方程式)の理論
GEE(一般化推定方程式)の理論
 
PRML輪読#7
PRML輪読#7PRML輪読#7
PRML輪読#7
 
RAFT: Recurrent All-Pairs Field Transforms for Optical Flow
RAFT: Recurrent All-Pairs Field Transforms for Optical FlowRAFT: Recurrent All-Pairs Field Transforms for Optical Flow
RAFT: Recurrent All-Pairs Field Transforms for Optical Flow
 
TVMの次期グラフIR Relayの紹介
TVMの次期グラフIR Relayの紹介TVMの次期グラフIR Relayの紹介
TVMの次期グラフIR Relayの紹介
 
量子コンピュータの量子化学計算への応用の現状と展望
量子コンピュータの量子化学計算への応用の現状と展望量子コンピュータの量子化学計算への応用の現状と展望
量子コンピュータの量子化学計算への応用の現状と展望
 
アプリケーションの性能最適化1(高並列性能最適化)
アプリケーションの性能最適化1(高並列性能最適化)アプリケーションの性能最適化1(高並列性能最適化)
アプリケーションの性能最適化1(高並列性能最適化)
 
主成分分析(Pca)
主成分分析(Pca)主成分分析(Pca)
主成分分析(Pca)
 
Chokudai search
Chokudai searchChokudai search
Chokudai search
 
第2回 配信講義 計算科学技術特論B(2022)
第2回 配信講義 計算科学技術特論B(2022)第2回 配信講義 計算科学技術特論B(2022)
第2回 配信講義 計算科学技術特論B(2022)
 
深層学習の数理
深層学習の数理深層学習の数理
深層学習の数理
 
[DL輪読会]Understanding deep learning requires rethinking generalization
[DL輪読会]Understanding deep learning requires rethinking generalization[DL輪読会]Understanding deep learning requires rethinking generalization
[DL輪読会]Understanding deep learning requires rethinking generalization
 
ARC#003D
ARC#003DARC#003D
ARC#003D
 
Tensor flow usergroup 2016 (公開版)
Tensor flow usergroup 2016 (公開版)Tensor flow usergroup 2016 (公開版)
Tensor flow usergroup 2016 (公開版)
 
高位合成ツールVivado hlsのopen cv対応
高位合成ツールVivado hlsのopen cv対応高位合成ツールVivado hlsのopen cv対応
高位合成ツールVivado hlsのopen cv対応
 
Prml Reading Group 10 8.3
Prml Reading Group 10 8.3Prml Reading Group 10 8.3
Prml Reading Group 10 8.3
 
今さら聞けないカーネル法とサポートベクターマシン
今さら聞けないカーネル法とサポートベクターマシン今さら聞けないカーネル法とサポートベクターマシン
今さら聞けないカーネル法とサポートベクターマシン
 

Viewers also liked

Seminar on Quantum Computation & Quantum Information part14
Seminar on Quantum Computation & Quantum Information part14Seminar on Quantum Computation & Quantum Information part14
Seminar on Quantum Computation & Quantum Information part14Yuichi Adachi
 
Seminar on Quantum Computation & Quantum Information part15
Seminar on Quantum Computation & Quantum Information part15Seminar on Quantum Computation & Quantum Information part15
Seminar on Quantum Computation & Quantum Information part15Yuichi Adachi
 
続・ゲンバのSwift
続・ゲンバのSwift続・ゲンバのSwift
続・ゲンバのSwiftYuichi Adachi
 

Viewers also liked (7)

量子情報15
量子情報15量子情報15
量子情報15
 
位相推定
位相推定位相推定
位相推定
 
量子情報16
量子情報16量子情報16
量子情報16
 
Seminar on Quantum Computation & Quantum Information part14
Seminar on Quantum Computation & Quantum Information part14Seminar on Quantum Computation & Quantum Information part14
Seminar on Quantum Computation & Quantum Information part14
 
Seminar on Quantum Computation & Quantum Information part15
Seminar on Quantum Computation & Quantum Information part15Seminar on Quantum Computation & Quantum Information part15
Seminar on Quantum Computation & Quantum Information part15
 
続・ゲンバのSwift
続・ゲンバのSwift続・ゲンバのSwift
続・ゲンバのSwift
 
量子情報27
量子情報27量子情報27
量子情報27
 

More from GM3D

Nielsen chuang-6-3
Nielsen chuang-6-3Nielsen chuang-6-3
Nielsen chuang-6-3GM3D
 
池袋数学勉強会 対馬龍司 線形代数学講義 3章章末問題解説
池袋数学勉強会 対馬龍司 線形代数学講義 3章章末問題解説池袋数学勉強会 対馬龍司 線形代数学講義 3章章末問題解説
池袋数学勉強会 対馬龍司 線形代数学講義 3章章末問題解説GM3D
 
Nielsen chuang-5.3.1
Nielsen chuang-5.3.1Nielsen chuang-5.3.1
Nielsen chuang-5.3.1GM3D
 
Nielsen chuang-5-1
Nielsen chuang-5-1Nielsen chuang-5-1
Nielsen chuang-5-1GM3D
 
Ikeph13 20150121
Ikeph13 20150121Ikeph13 20150121
Ikeph13 20150121GM3D
 
Ikeph11 20141210
Ikeph11 20141210Ikeph11 20141210
Ikeph11 20141210GM3D
 
Ikeph9 2014-1112
Ikeph9 2014-1112Ikeph9 2014-1112
Ikeph9 2014-1112GM3D
 
Legendre変換の練習問題
Legendre変換の練習問題Legendre変換の練習問題
Legendre変換の練習問題GM3D
 
Ikeph8 2014-1029
Ikeph8 2014-1029Ikeph8 2014-1029
Ikeph8 2014-1029GM3D
 
Ikeph7 2014-1015-pdf
Ikeph7 2014-1015-pdfIkeph7 2014-1015-pdf
Ikeph7 2014-1015-pdfGM3D
 
Ikeph7 2014-1015
Ikeph7 2014-1015Ikeph7 2014-1015
Ikeph7 2014-1015GM3D
 
Ikeph 2-20140730
Ikeph 2-20140730Ikeph 2-20140730
Ikeph 2-20140730GM3D
 
Ikeph 1-appendix2(pdf)
Ikeph 1-appendix2(pdf)Ikeph 1-appendix2(pdf)
Ikeph 1-appendix2(pdf)GM3D
 
Ikeph 1-appendix2
Ikeph 1-appendix2Ikeph 1-appendix2
Ikeph 1-appendix2GM3D
 
Ikeph 1-appendix
Ikeph 1-appendixIkeph 1-appendix
Ikeph 1-appendixGM3D
 
ex. 3.9 - ex. 3.14
ex. 3.9 - ex. 3.14ex. 3.9 - ex. 3.14
ex. 3.9 - ex. 3.14GM3D
 
Ikeph 1-20140716
Ikeph 1-20140716Ikeph 1-20140716
Ikeph 1-20140716GM3D
 
池袋物理学勉強会第一回の予習に関して
池袋物理学勉強会第一回の予習に関して池袋物理学勉強会第一回の予習に関して
池袋物理学勉強会第一回の予習に関してGM3D
 

More from GM3D (18)

Nielsen chuang-6-3
Nielsen chuang-6-3Nielsen chuang-6-3
Nielsen chuang-6-3
 
池袋数学勉強会 対馬龍司 線形代数学講義 3章章末問題解説
池袋数学勉強会 対馬龍司 線形代数学講義 3章章末問題解説池袋数学勉強会 対馬龍司 線形代数学講義 3章章末問題解説
池袋数学勉強会 対馬龍司 線形代数学講義 3章章末問題解説
 
Nielsen chuang-5.3.1
Nielsen chuang-5.3.1Nielsen chuang-5.3.1
Nielsen chuang-5.3.1
 
Nielsen chuang-5-1
Nielsen chuang-5-1Nielsen chuang-5-1
Nielsen chuang-5-1
 
Ikeph13 20150121
Ikeph13 20150121Ikeph13 20150121
Ikeph13 20150121
 
Ikeph11 20141210
Ikeph11 20141210Ikeph11 20141210
Ikeph11 20141210
 
Ikeph9 2014-1112
Ikeph9 2014-1112Ikeph9 2014-1112
Ikeph9 2014-1112
 
Legendre変換の練習問題
Legendre変換の練習問題Legendre変換の練習問題
Legendre変換の練習問題
 
Ikeph8 2014-1029
Ikeph8 2014-1029Ikeph8 2014-1029
Ikeph8 2014-1029
 
Ikeph7 2014-1015-pdf
Ikeph7 2014-1015-pdfIkeph7 2014-1015-pdf
Ikeph7 2014-1015-pdf
 
Ikeph7 2014-1015
Ikeph7 2014-1015Ikeph7 2014-1015
Ikeph7 2014-1015
 
Ikeph 2-20140730
Ikeph 2-20140730Ikeph 2-20140730
Ikeph 2-20140730
 
Ikeph 1-appendix2(pdf)
Ikeph 1-appendix2(pdf)Ikeph 1-appendix2(pdf)
Ikeph 1-appendix2(pdf)
 
Ikeph 1-appendix2
Ikeph 1-appendix2Ikeph 1-appendix2
Ikeph 1-appendix2
 
Ikeph 1-appendix
Ikeph 1-appendixIkeph 1-appendix
Ikeph 1-appendix
 
ex. 3.9 - ex. 3.14
ex. 3.9 - ex. 3.14ex. 3.9 - ex. 3.14
ex. 3.9 - ex. 3.14
 
Ikeph 1-20140716
Ikeph 1-20140716Ikeph 1-20140716
Ikeph 1-20140716
 
池袋物理学勉強会第一回の予習に関して
池袋物理学勉強会第一回の予習に関して池袋物理学勉強会第一回の予習に関して
池袋物理学勉強会第一回の予習に関して
 

Nielsen chuang-4 3-2