量子回路のソースを表示

{{No footnotes|date=2023年9月}}
[[量子情報|量子情報理論]]における'''量子回路'''（りょうしかいろ）とは、量子ゲートの組み合わせにより記述される[[量子コンピュータ|量子計算]][[コンセプトモデル|モデル]]である。古典的コンピュータの回路が[[ビット]][[レジスタ (コンピュータ)|レジスタ]]の不可逆変換であるのに対し、量子回路は[[量子ビット]]レジスタの可逆変換を行う。各回路素子である量子ゲートやそれらの間の結合を表現するための記法として、 現在主に[[ペンローズのグラフ記法|ペンローズのグラフィカル記法]]が用いられている。 

== 可逆な古典的論理ゲート ==
一般に、[[NOTゲート]]以外の古典的コンピュータの基本[[論理回路|論理ゲート]]は[[可逆計算|不可逆]]演算であり、入力から出力にかけて情報が失われる。たとえば2入力[[ANDゲート]]において出力ビットが0であったという結果のみから、それが01, 10, 00のどの入力ビットの組み合わせから得られたものなのか知ることは不可能である。 

ただし、古典的コンピュータにおいても、NOTゲートに代表されるように、任意の長さのビット列に対して可逆ゲートを構成することができないわけではない。理想的には、可逆ゲートは情報の損失と物理学的[[エントロピー]]の増加に伴う電力消費や熱損失の問題を生じないため、応用面でも関心が寄せられている。一般に可逆ゲートは、ビット列を入力として受け取り、同じ長さのビット列を出力する可逆な関数として表される。長さ''n''のビット列は、0と1だけで構成される[[文字列]]''x''<sub>1</sub>''x''<sub>2</sub> ... ''x''<sub>''n''</sub>∈{0,1}<sup>''n''</sup>として表現され、このようなビット列は全部で2<sup>''n''</sup>通り存在する。 

より厳密には、可逆ゲートとは、ビット列の集合{0,1}<sup>''n''</sup>から自身への[[全単射]]写像''f''として表現される。このような可逆ゲート''f''の例としては、たとえば入力に定められた[[置換 (数学)|置換]]を適用する写像などが挙げられる。現在、こうした置換を用いて可逆な古典的論理ゲートを構成する手法は、真偽表などを用いて簡単に表現できる範囲の小さい''n''（例： ''n'' = 1, 2, 3）についてのみ研究されている。 

== 量子論理ゲート ==
量子ゲートを定義するため、古典的論理ゲートの場合と同様、''n''-量子ビットの置換について考える。 古典的なビット列空間{0,1}<sup>''n''</sup>の量子版は[[ヒルベルト空間]]である。 

: <math>H_{\operatorname{QB}(n)}= \ell^2(\{0,1\}^n).</math>

これは定義により、{0,1}<sup>''n''</sup>の複素関数空間、すなわち[[計量ベクトル空間|内積空間]]である。 この空間は、古典的なビット文字列の線形重ね合わせで構成されていると見なすこともできる。（''H'' <sub>QB（ ''n'' ）</sub>は、 2<sup>''n''</sup>-[[次元]]の複素のベクトル空間であることに注意。）この空間の要素を'''量子ビット列'''（''n-''量子ビット）と呼ぶ。 

古典的ビット列''x'' <sub>1</sub> ''x'' <sub>2</sub> ... ''x'' <sub>''n''</sub>に対し、ディラックの[[ブラ-ケット記法|ケット]]表記を使用し表記される量子ビット列、 

: <math> | x_1, x_2, \cdots,x_n \rangle \quad </math>

を考える。これは古典的ビット列''x'' <sub>1</sub>  ''x'' <sub>2</sub> ... ''x'' <sub>''n''</sub>を1へ、他のすべてのビット文字列を0へ写す関数に対応する特殊な量子ビット列である。これら古典的ビット列に対応する特殊な量子ビット列は'''計算基底状態'''と呼ばれ、ビット長''n''に対し2<sup>''n''</sup>個存在する。また、すべての量子ビット列は、これらの計算基底状態の複素線形結合である。 

古典的な論理ゲートとは対照的に、量子論理ゲートは常に可逆である。 これには特別な種類の可逆関数、すなわち[[ユニタリー性 (物理学)|ユニタリ]]作用素、つまり[[計量ベクトル空間|エルミート内積]]を保存する複素[[計量ベクトル空間|内積空間の]]線形変換を用いる。 すべての量子ビット列に対する（可逆）量子ゲートは、''n''-量子ビット空間''H''<sub>QB(''n''）</sub>から自己への[[ユニタリ作用素]]''U''である。 

通常、我々は''nの''小さな値のゲートのみに関心がある。 

可逆な''n-''ビットの古典的論理回路は、次のように可逆な''n-''ビット量子ゲートを生成する。可逆な''n''ビット論理ゲート''fに''は、次のように定義された量子ゲート''W'' <sub>''f''</sub>が対応する。 

: <math> W_f( | x_1, x_2, \cdots,x_n \rangle) = |f(x_1, x_2, \cdots, x_n) \rangle. </math>

''W''<sub>''f''</sub>は計算の基底状態を置換することに注意。 

中でも特に重要なのは、2-量子ビットの入出力に対して定義される制御NOTゲート（ CNOTゲートとも呼ばれる） ''W'' <sub>CNOT</sub>である。 古典的な論理ゲートから派生した量子論理ゲートの他の例としては、 [[トフォリゲート]]と[[フレドキンゲート]]が挙げられる。 

しかし、量子ビットのヒルベルト空間構造は、古典的ゲートでは表現できない多くの量子ゲートを可能にする。 たとえば以下の相対位相シフトは、ユニタリ行列の乗算によって与えられる1-量子ビットのゲートである。 

: <math> U_\theta =\begin{bmatrix} e^{i \theta} & 0 \\ 0 & 1 \end{bmatrix}, </math>

すなわち、 

: <math> U_\theta | 0 \rangle = e^{i \theta} | 0 \rangle \quad U_\theta | 1 \rangle = | 1 \rangle. </math>

== 可逆論理回路 ==
再び、最初の「可逆な'''」'''古典計算について考える。 概念的には、可逆な''n''ビット回路と可逆な''n''ビット論理ゲートの間に違いはない。なぜならどちらも、 ''n''ビット列空間上の単なる可逆関数だからである。 ただし前節で述べたように、工学的な理由から、可逆回路を構成するために組み合わせられる少数の単純な可逆ゲートが必要である。 

この構成の過程を説明するために、可逆な''n-''ビットゲート''f''と、可逆な''m-''ビットゲート''g''があるとする''。'' これらを合成することは、次の図のように、 ''f''の''k-''ビットの出力を、''g''の''k-''ビットの入力に接続して新しい回路を作成することを意味する。 以下の例では、 ''n'' = 5,  ''k'' = 3,  ''m'' = 7である。 結果の回路も可逆で、(''n'' +''m-k'')-ビットで動作する。 <center>
[[File:Reversible_circuit_composition.svg|264x264ピクセル]]
</center> この方法は'''古典的結合'''(classical assemblage)と呼ばれる。（この概念は、以下に引用するKitaevの先駆的な論文の技術的定義に対応している。）。これらの可逆機械を構成するために、中間的な機械も可逆であることを確認することが重要である。 この条件は、 計算の途中で「ゴミ」が生成されないことを保証する。（正味の物理的効果は、エントロピーを増加させることである。これは、この演習を行う動機の1つである。） 

これで、 [[トフォリゲート]]が汎用ゲートであることを示すことができる。 これは、任意の可逆的な古典的な''n''ビット回路''h''が与えられた場合、上記の方法でトフォリゲートの古典的結合により、次のような（ ''n'' + ''m'' ）ビット回路''f''を生成できることを意味する。 

: <math> f(x_1, \ldots, x_n, \underbrace{0, \dots, 0}_m) = (y_1, \ldots, y_n, \underbrace{0, \ldots, 0}_m)</math>

さらに次式が成立する。 

: <math>(y_1, \ldots, y_n) = h(x_1, \ldots, x_n)</math> . 

この最終結果では、常に補助ビットとして''m個の''ゼロの文字列があることに注意。 いわゆる「ゴミ」は生成されないため、この計算は実際には、物理学的エントロピーを増加させない。 この問題は、Kitaevの論文で注意深く説明されている。 

より一般に、任意の関数''f'' は、（全単射・それ以外どちらであっても）トフォリゲートのみ回路によって模倣できることが知られている。 写像が[[単射]]でない場合は、計算途中（たとえば、最後のステップ）で「ゴミ」が生成されることは明らかである。 

量子回路については、量子ビットゲートの同様の構成を定義できる。 つまり、上記のような任意の古典的結合に関連して、 ''fの''代わりに''n-''量子ビットゲート''U''が、 ''gの''代わりに''m''-量子ビットゲート''W''がある場合、可逆な量子回路を生成できる。ここでは以下の図を例に説明する。 <center>
[[File:Quantum_circuit_composition.svg|300x300ピクセル]]
</center> この方法でゲートを接続することで、 (''n+m-k'')-量子ビット空間におけるユニタリ作用素が生成されるという事実は簡単に確認できる。 実際の量子コンピュータでは、ゲート間の物理的な接続は、 [[量子デコヒーレンス|デコヒーレンス]]が発生する可能性がある場所の1つであるため、工学上の課題である。 

普遍性、すなわち、少数の種類のゲートの組み合わせのみで、任意の量子回路が構成できることも証明されている。こうした量子回路の普遍性定理([[:en:Quantum_gate#Universal_quantum_gates|universality theorems]])は、たとえばあるθに対する1-量子ビットの位相ゲート''U<sub>θ</sub>''と、2-量子ビットCNOTゲート ''W'' <sub>CNOT</sub>の組に対してのものが知られている。 

ただし、量子回路の普遍性定理は、古典的回路の普遍性定理よりも弱い主張になっている。なぜなら、任意の可逆''n-''量子ビット回路が、これら2つの基本ゲートから組み立てられた回路によって任意に適切に'''近似'''できることのみを主張しているからである。また、古典的回路とは異なり、[[非可算集合|非可算]]な角度θに対して同じ量だけの位相ゲートが存在するため、少なくともこれらは有限の{(''U''<sub>θ</sub>, ''W''<sub>CNOT</sub>)}のみでは表現できないことにも注意が必要である。 

== 量子計算 ==
ここまでで、量子回路を使用して計算を実行する方法は示していなかった。 多くの重要な数値問題は有限次元空間でユニタリ変換''U''を計算することに還元されるため（有名な[[離散フーリエ変換]]が主な例）、変換''U''を実行するようにいくつかの量子回路を設計できると期待できる。原理的には、一方が入力の計算基底状態の適切な重ね合わせとして''、n-''量子ビットの状態ψを用意し、出力''U''ψを測定するだけでよい。 ただし残念ながら、これには2つの課題がある。 

* 観測者が任意の計算基底状態における位相ψを測定することは不可能であり、正確な出力を読み取る方法がない。これは[[量子測定理論|量子力学]]における[[量子測定理論|測定]]の性質である。 
* 入力状態である重ね合わせψを用意する効果的な方法が今のところない。 

これは、離散フーリエ変換の量子回路が他の量子回路の中間ステップとして使用できることを否定するものではないが、実用化は一層困難である。実際、量子計算は'''確率的'''であるといわれている。 

以下では、量子回路を確率的な古典的コンピュータによって模倣する数理モデルを紹介する。 まず、レジスタ空間''H'' <sub>QB(''r'')</sub>上の ''r-''量子ビット回路''U、'' 

: <math>H_{\operatorname{QB}(r)} \rightarrow
H_{\operatorname{QB}(r)}.</math>

を考える。 ''U''はユニタリ作用素である。この回路をビット列の古典的写像に関連付けるには、次のように指定する。 

* '''入力レジスタ：'''m-古典的ビット列 ''''X'''' = {0,1}<sup>''m''</sup> 
* '''出力レジスタ：'''n-古典的ビット列 ''Y'' = {0,1}<sup>''n''</sup> 

入力レジスタの内容''x'' = ''x'' <sub>1</sub> .. ''x'' <sub>''m''</sub>は、量子ビットレジスタを何らかの方法で初期化するために使用される。 理想的には、これは以下の計算基底状態として与えられる。 

: <math> |\vec{x},0\rangle= | x_1, x_2, \cdots, x_{m}, \underbrace{0, \dots, 0}_{r-m} \rangle, </math>

ただし、前述の通りこのように理想的な初期状態を用意することは現実的には不可能であるため、初期状態がいくつかの適切な近似尺度の理想化された入力に近い密度演算子''S''によって与えられた混合状態であると仮定する。 

: <math> \operatorname{Tr}\left(\big||\vec{x},0\rangle \langle \vec{x},0 | - S\big|\right) \leq \delta. </math>

同様に、出力レジスタ空間は、観測値''Aの'' ''Y''値によって、量子ビットレジスタに関連付けられる。量子力学の観測は、通常、射影測定([[:en:Projection valued measure|projection valued measure]]) '''R'''で定義される。変数が離散的である場合、射影測定は、可算集合上のパラメータλで添字付けされた族{E<sub>λ</sub>}に還元される。 同様に、''Y''値の観測は、 次の性質を満たす''Yの''要素によってインデックスが付けられたペアワイズ直交投影{E<sub>''y''</sub> }の族に関連付けることができる。 

: <math> I = \sum_{y \in Y} \operatorname{E}_y. </math>

与えられた混合状態''S''に対し、これは次式で与えられる''Y''上の確率測度に対応する。 

: <math> \operatorname{Pr}\{y\} = \operatorname{Tr}(S \operatorname{E}_y ). </math>

長さ''mの''すべてのビット文字列''x''に対して次式が成立するとき、関数''F'' ： ''X'' → ''Y''は回路''U'' ： ''H'' <sub>QB（ ''r'' ）</sub> → ''H'' <sub>QB（ ''r'' ）</sub>によって誤差εで回路内で計算できるとする。 

: <math>\left\langle \vec{x},0 \big| U^* \operatorname{E}_{F(x)} U
\big|\vec{x},0 \right\rangle = \left\langle \operatorname{E}_{F(x)} U( |\vec{x},0\rangle) \big| U( |\vec{x},0\rangle) \right\rangle \geq 1 - \epsilon.</math>

ここで、 

: <math> \left| \operatorname{Tr} (S U^* \operatorname{E}_{F(x)} U) - \left\langle \vec{x},0 \big| U^* \operatorname{E}_{F(x)} U
\big|\vec{x},0 \right\rangle\right|\leq \operatorname{Tr} (\big||\vec{x},0\rangle \langle \vec{x},0 | - S\big|) \| U^* \operatorname{E}_{F(x)} U \| \leq \delta </math>

そのため 

: <math>\operatorname{Tr} (S U^* \operatorname{E}_{F(x)} U) \geq 1 - \epsilon - \delta.</math>

'''定理'''  もしε+δ<1/2であるならば、''Y''上の確率分布 

: <math> \operatorname{Pr}\{y\} = \operatorname{Tr} (S U^* \operatorname{E}_{y} U)</math>

は、十分に大きなサンプルサイズに対して、多数決サンプリングによって誤差の確率が任意に小さい''F''(''x'')を決定できる。 具体的には、 ''Y''上''の''確率分布から''k個の''独立したサンプルを取得し、サンプルの半分以上が一致する値を選択する。 値''F'' (''x'')が''k'' / 2回以上サンプリングされる確率は少なくとも次式で表される。 

: <math> 1 - e^{- 2 \gamma^2 k}, </math>

ただし、γ= 1/2-ε-δである。これはチェルノフ限界を適用することで得られる。   

== 関連記事 ==

* [[抽象添字記法]] 
* 角運動量図（量子力学） 
* [[行列積状態]] - [[ペンローズのグラフ記法|ペンローズのグラフィック表記]]を使用 
* [[スピンネットワーク]] 
* トレース図 

== 参考文献 ==

* {{Citation|last=Biham|arxiv=quant-ph/0306182|volume=320|title=Quantum computing without entanglement|pages=15–33|mr=2060181|journal=Theoretical Computer Science|number=1|doi=10.1016/j.tcs.2004.03.041|first4=Tal|first1=Eli|last4=Mor|first3=Dan|last3=Kenigsberg|author2-link=Gilles Brassard|first2=Gilles|last2=Brassard|author-link=Eli Biham|year=2004}} 
* {{Citation|last=Freedman|arxiv=quant-ph/0101025|volume=40|title=Topological quantum computation|pages=31–38|mr=1943131|journal=Bulletin of the American Mathematical Society|number=1|doi=10.1090/S0273-0979-02-00964-3|first4=Zhenghan|first1=Michael H.|last4=Wang|author3-link=Michael J. Larsen|first3=Michael J.|last3=Larsen|author2-link=Alexei Kitaev|first2=Alexei|last2=Kitaev|author-link=Michael Freedman|year=2003}}  。 
* {{Citation|last=Hirvensalo|first1=Mika|isbn=3-540-66783-0|place=Berlin|mr=1931238|publisher=Springer-Verlag|series=Natural Computing Series|title=Quantum Computing|year=2001}} <bdi> {{Citation|last=Hirvensalo|first1=Mika|isbn=3-540-66783-0|place=Berlin|mr=1931238|publisher=Springer-Verlag|series=Natural Computing Series|title=Quantum Computing|year=2001}} </bdi> {{Citation|last=Hirvensalo|first1=Mika|isbn=3-540-66783-0|place=Berlin|mr=1931238|publisher=Springer-Verlag|series=Natural Computing Series|title=Quantum Computing|year=2001}}  。 
* {{Citation|last=Kitaev|first1=A. Yu.|author-link=Alexei Kitaev|doi=10.1070/RM1997v052n06ABEH002155|number=6(318)|journal=Uspekhi Mat. Nauk|language=Russian|mr=1611329|pages=53–112|title=Quantum computations: algorithms and error correction|volume=52|year=1997|bibcode=1997RuMaS..52.1191K}}  。 
* {{Citation|last=Nielsen|first1=Michael A.|author-link=Michael Nielsen|last2=Chuang|first2=Isaac L.|isbn=0-521-63235-8|place=Cambridge|mr=1796805|publisher=Cambridge University Press|title=Quantum Computation and Quantum Information|year=2000}} <bdi> {{Citation|last=Nielsen|first1=Michael A.|author-link=Michael Nielsen|last2=Chuang|first2=Isaac L.|isbn=0-521-63235-8|place=Cambridge|mr=1796805|publisher=Cambridge University Press|title=Quantum Computation and Quantum Information|year=2000}} </bdi> {{Citation|last=Nielsen|first1=Michael A.|author-link=Michael Nielsen|last2=Chuang|first2=Isaac L.|isbn=0-521-63235-8|place=Cambridge|mr=1796805|publisher=Cambridge University Press|title=Quantum Computation and Quantum Information|year=2000}}  。 

== 外部リンク ==

* [https://cquic.unm.edu/resources/ Q-circuit] - LaTeXで量子回路図を描くためのマクロパッケージ 
* [https://wybiral.github.io/quantum 量子回路シミュレータ（Davy Wybiral）] - ブラウザベースの量子回路図エディタ 
* [http://www.quantumplayground.net/ Quantum Computing Playgroundは]  - ブラウザベースの量子スクリプト環境 
* [http://algorithmicassertions.com/quirk Quirk-Quantum Circuit Toy]  - ブラウザベースの量子回路図エディタ 

{{量子コンピュータ}}
{{新技術|topics=yes|quantum=yes}}
{{Electronic components|state=collapsed}}
{{デフォルトソート:りようしかいろ}}
[[Category:計算モデル]]
[[Category:量子情報科学]]