数理解析研究所講究録 1420 巻 2005 年 68-82

68

量子情報通信理論の基礎と最近の話題\sim エントロピー, エンタングルメント, アルゴ
リズム, テレポーテーショ ン
\sim

大矢 雅則
東京理科大学 理工学部 情報科学科
千葉県野田市山崎 2641

1

はじめに

量子情報理論は, 確率論を基にしたシャノン流の古典的な情報通信理論では扱えない量子的な対象一例えば, 光の量子状態やさらに一 ffl 的な量子エンタングルド
状態 (二つ以上の系の干渉性を包含した状態) 一を用いた情報の表現と通信を,量子確率論や量子エントロピー論をベースにして取り扱う理論である. それゆえ,量子情報の研究は, 古典情報理論の非可換 (量子) 版として数理物理的色彩の強, 例えば, 圧倒
いものであった, 現在, この量子情報の研究は, 2 1 世紀の的な計算速度を持つ量子コンピュータ, 究極的な通信と考えられている量子テレ
ポーテーション, 盗聴に対する安全性が非常に高いと思われる量子暗号などと深くかかわって来ている.
$\mathrm{I}\mathrm{T}$

2

情報と通信

この簾では, 情報通信の数理表現のエッセンスを説明する 4 $A$ を入力情報を記述する
アルファベットの集合 (もっと一\Re 的な集合でもよい) とする $:A=\{a_{1},a_{2}, \cdots,a_{n}\}$ .
このとき入力空間 は, $A$ の無限直積$\Omega$$\Omega=A^{Z}(\equiv\cdots \mathrm{x}$A$\mathrm{x}$A$\mathrm{x}\cdots=\prod_{-\infty}^{+\infty}A)$で与えられる. この入力空間が通信路にとって都合がよいものであれば で記述された情報をそのまま通信路へ送ればよいが, そうでないときは,と通信路に$\Omega$$\Omega$B8
とって都合のよい他の空間 $X$ との対応を考える必要がある. そこで 「 から $X$への可測写像 を符号化とよぶ」
一般に上の写像 には 1 対 1 であることを要求する場合が多い淋ここでも特に断わらない限りこれを仮定する.
とし, こうしたメッセージの列をの生起確率をさて, あるメッセージの有する情報量 (エントロピー) は生伝送するとする. このとき, この列
起確率 $p=\{p_{k}\}$ の関数として$\Omega$

$\xi$

$\xi$

$p_{k}$$\omega_{k}$$\{\omega_{k}\}$$S(p)=- \sum_{k}p_{k}\log p_{k}$で与えられる. この確率分布 はメッセージの状態を表していると言われる. それゆえ, メッセージ自体やメッセージの列を入力状態と呼ぶことになる. これらの入力状態を物理的に設計された通信路に送るとき, メッセージそれ自体やメッ
セージの列の情報量がどれほど正しく送られたかが問題になる. そうした議論の$p$ために次に必要になるのは通信路の数理である 9とし (ただし, 吉。は 集合
入力状態を記述する空間を上記のように体), 符号化された入力状態を記述する空問を $X$ とする. この $X$ は生の入力空間同様, 可測空間の場合もあり, ヒルベルト空問などの場合もある. 通常 (古典系) の情報理論では可測空間となる. 入力空間同様, 出力空間も符号化されたま$(\Omega,S_{\Omega})$

まの空間$X^{l}$$\sigma$と情報源と同様なアルファベットから作られる空間$\Omega’$(多くの場合への写像のことである. この上で記述される. チャネルとは $X$ から写像を で表すと, 入力状態 がある仕方 で符号化され, それがチャネル をの場合を通して伝送され, それが復号化 によって元のアルファベット
考えて) にもどされるプロセスは次のようにかける,$X^{\mathit{1}}$$\Omega^{t}=\Omega)$$\lambda$$\lambda$$\xi$$\omega$$\mathrm{t}\Omega=\Omega^{l}$$\overline{\xi}$(1)$\omegaarrow\xi(\omega)\lambdaarrow\lambda\circ\xi(\omega)\prec\overline{\xi}(\lambda\circ\xi(\omega))$となる確率を入力情報 に関する誤り確率という, な
このときが何らかの仕方で分かって なければに対応するの場合には,
お,となる確率が誤り確率である. それならないが, このときは,とし, それらの先
故, $\Omega=\Omega’$ の場合, 通報される $M$ 個の情報を験的な生起確率を $p(\omega^{(k)})$ とすると, 誤り確率は$\overline{\xi}$$\omega$$(\lambda\circ\xi(\omega))\neq\omega$$\mathrm{t}_{\mathit{1}}\mathrm{a}$$\omega^{\lambda}$$\Omega’\neq\Omega$$\omega$$\overline{\xi}(\lambda\circ\xi(\omega))\neq\omega’$$\omega^{(1)},$$\cdots,\omega^{(M)}$$P_{\mathrm{e}}= \sum p\wedge \mathrm{r}\mathrm{z}(\omega^{(k)})p(\overline{\xi}($$\lambda\circ\xi(\omega^{(k)}))\neq\omega^{\langle k)}|\omega^{(k)})$$k=1$で与えられることになる. そこで, この誤り確率を最小にする符号化 , チャネを見いだすことが問題となるのである.
ル , 復号化$\xi$$\lambda$$\overline{\xi}$70
この通信過程の基本は,の生起確率はの生起確率と,を符号化した$X$同じであるから, 空間の状態 (これも以下入力状態と呼ぶ) から空間 $X’$ の状
態 (出力状態) への変換ということになる. この入力状態を出力状態に移す写像
をチャネルという. したがって, チャネルとは (1) の $X$ 上の確率分布の集合,$\omega$$\xi(\omega)$$\omega$

確率測度の集合, 密度行列の集合などのいわゆる状態の集合から $X’$ 上の状態の*” がっく意味はで表す.
集合への写像ということになる. この写像を白「後で解るであろう. また, 記号上の便宜さから出力空間を, 以下では, $X’$ ではな
く, $Y$ で表すことにする,
ここで, 古典離散系のチャネルと相互エントロピー (情報量), そのチャネルの効率を評価する通信路容量について説明しておこう,$”$$\backslash \cdot\Lambda^{*}$

古典系では入力空間と出力空間は共に可換な確率空間によって記述される.
特に, 離散系では, この状態は確率分布で表せることになる. 入力系 $X$ の状態
$p=$

{乃}in

$=1$

から出力系

$\mathrm{Y}$の状態 $q=\{q_{i}\}_{i=1}^{m}$ への離散系のチャネル$\Delta_{\tau\iota}=\{p=\{p_{i}\}_{i=1}^{n},$. $\geq 0(\mathrm{i}=1, \cdots, n)\}$2 つの完全事象系 $X,$

$X=(oe_{1}p_{1},’\cdot..\cdot:,’ p_{n}oe_{n}),p=(\begin{array}{l}p_{1}\vdots p_{n}\end{array})$で与えると, 系 $X$ から系$\mathrm{Y}$とは,$\sum_{i=1}^{n}p_{i}=1,p_{\dot{q}}$からへの写像である. 例えば,
布 $p,q$ を$\Delta_{m}$$\Lambda^{*}$,$\mathrm{Y}$とそれぞれの系の分$\mathrm{Y}=(\begin{array}{lll}y_{1} \cdots y_{n}q_{1} \cdots q_{n}\end{array}),$への次の遷移確率行列 A*(すなわち,$\Lambda^{*}=(\begin{array}{llll}p(y_{1}|x_{1}) p(y_{\mathrm{l}}|x_{2}) p(y_{1}|x_{n})\vdots \vdots \ddots \vdots p(y_{m}|x_{1}) p(y_{m}|x_{2}) p(y_{m}|\oe_{n})\end{array})$$q=(\begin{array}{l}q_{1}\vdots 1_{n}\end{array})$$q=\Lambda^{*}p$)(2)はチャネルである.
さて, シャノンの大きな発見ともいえる相互エントロピーを説明しよう. いま, 2 で与えられるチャネルを通じて入力状態 が伝送されたとき, 出力状態$p$は,$q= \mathrm{A}^{*}p=(q_{\acute{J}})=(\sum_{k=1}^{n}p(y_{\dot{J}}|oe_{k})p_{k})$

$q$

71
で与えられ, 複合事象系$X\mathrm{x}\mathrm{Y}$上の確率分布 (同時分布) は$r=\{r_{ij}=p(oe_{i}, y_{j})\}=\{p(y_{j}|x_{\dot{\mathrm{z}}})p_{i}\}$

となる.

ここで,

$p \otimes q\equiv(p_{i}q_{j})=(p_{i}\sum_{k=1}^{n}p(y_{j}|x_{k})p_{k})$

と出力系
で決

で得られる分布 $q=\Lambda^{*}p$ にり, 相対エントロピ–を用い$\mathrm{Y}$$\text{関}\tau- \text{る}\mathrm{m}\text{互_{エ^{}\backslash }\text{ト}\iota \mathrm{z}\text{ヒ}f\mathrm{h},p\text{とチ_{}\’}ff_{\backslash }\mathrm{K}\mathrm{s}\Lambda^{*}}^{\text{入力}+X\text{の_{}J\mathrm{J}}^{\int_{-}\backslash }\hslash p=\{p_{i}\}_{i=1}^{n}}\not\in:k^{\lambda}\text{く}\not\in:,-.7^{\grave{-}}\circ$$\text{ま}\prime-$て次のように定められる.

$I(p; \Lambda^{*})=S(r,p\otimes q):=(\sum_{\mathrm{i}=1}^{m}\sum_{i=1}^{n}r_{ii}\log\frac{r_{\mathrm{i}\hat{p}}}{p_{i}q_{j}})$なお,

この離散系の相互エントロピーを下にして, 連続系の相互エントロピーはコロムゴロフやヤグロムによって定式化されている.
相互エントロピーとエントロピーは次の基本不等式を満たす (シャノンの基
本不等式):$0\leq I(p;\Lambda^{*})\underline{\backslash }1\mathrm{l}\dot{\mathrm{u}}\mathrm{n}\{/S(\rho), S(\Lambda^{*}p)\}$

それ故, 相互エントロピーとエントロピーの比.
$\epsilon(\Lambda^{*})=\frac{I(p,\Lambda^{*})}{S(p)}$がチャネル$\Lambda^{*}$の効率を測る尺度の一つになる,

この節の最後にチャネル効率を測る基本量である通信路容量について記しておこう. 符号化 , チャネル
すと, 1 の通信過程は$\xi$$\lambda$, 復号化の共役写像をそれぞれ三 ,$*$$\overline{\xi}$$\Lambda^{*-*},---$

で表$parrow—*(p)arrow\Lambda^{*\underline{\mapsto}*}0-(p)\prec---*-\circ\Lambda^{*-*}0--(p)=\overline{p}$で表せることになる. 今, 入力系の確率分布 (状態) の全体 $P(\Omega)$ の部分集合を実際に使用可能な状態の集合とするとき, この集合に関する通信路容量は$C^{S}(_{-\circ}^{-}--*$\Lambda *o---り$\equiv\sup$で定められ, これを最大にする $—*,${$I(p;—-\circ\Lambda^{*}*0$$\Lambda^{*-*},--\cdot$

8 り;$p\in \mathrm{S}$$\mathrm{S}$}を決めることが通信理論の問題となる.

72

3

量子系の情報量と通信過程

さて, 話を量子系に移そう. 量子系の入力・出力空間は, 一般的には,代数をヒルベルト空間上で話を進める.
使って記述されるが, ここでは簡単のため,
光ファイバを使って通信を行う現代の情報伝送では, 情報は量子系の状態を用いて表さなければならない. すなわち, 情報を量子状態によって符号化する必とする. さら要がある, 今, シンボル $a_{k}\in A$ に対応する (表す) 量子状態を.
の符号化空間 $X$ を 2に, 簡単のため, アルファベット空間 あるいはそのつの元からなる空間 {0, 1} とする.
$C^{*}$$\rho_{k}$$\ovalbox{\tt\small REJECT}-\mathrm{a}\mathrm{e}$$\mathrm{A}$$A=\{0,1\}\Leftrightarrow---=\{\rho_{0}, \rho_{1}\}$

をコヒーレント状態やスクを真空状態,
イーズド状態等で表される. この符号化の詳細は省略せざるを得ないが, 今, 情の凸結合) を表せたとし, これを光
報をある量子状態 \rho (例えば, 上記のファイバのような適当な物理的媒体を用いて伝達するとする. 媒体と外界からの雑音等の影響が, 状態を変化させ, それが受信側へ伝達されるのである. したがって, チャネルとは入力状態への媒体と外界からの影響を表すものであり, 数をそれぞれ入力側, 出力側の学的には状態の変化を与える写像である.
上の有界線形作用素の全体,
ヒルベルト空間とし, $B$ (冠 ) を
を臨
への写
から 6
上の密度作用素 (量子状態) の全体とする. そこで,を量子力学的チャネルといい, アファイン性 (すなわち,
なら像
この空間三の例の一つとして,$\rho_{1}$$\rho_{0}$$\rho_{\mathrm{O}},$$\rho_{1}$$\mathcal{H}_{1},$$\mathcal{H}_{2}$$\mathfrak{S}(\mathcal{H}_{k})$$\mathcal{H}_{k}$$k$$\mathfrak{S}(\mathcal{H}_{1})$$(\mathcal{H}_{2})$$\Lambda^{*}$$\sum_{n}\lambda_{n}=1$ば$\Lambda^{*}(\sum_{n}\lambda_{n}\rho_{n})=\sum_{n}\lambda_{n}\Lambda^{*}(\rho_{n}),$.す$\rho_{n}\in S(h_{1}))\#^{\mathrm{r}\backslash }\mathrm{f}\mathrm{f}\mathrm{i}^{}$$\Lambda^{*}$

を線形な量子力学的から $B(?t_{1})$ へのチャネルという. さらに,の共役写像 A とは, 任意の$\rho\in S(h_{1})$ と任意の $A\in B(h_{2})$ に対して, $tr\Lambda^{*}(\rho)A=tr\rho\Lambda$ $(A)$ が成り立つものをいうが, この A が完全正写像であるとき,を完全正な量子力学的チャンネルと呼ぶ. なお, A が完全正写像であるとは, 任意の $n\in N$ と任意の $A_{j}\in B(h_{2})$$B(\mathcal{H}_{2})$$\Lambda^{*}$$\Lambda^{*}$と任意の $B_{k}\in B(h_{1})$ に対して,$\sum_{j,k=1}^{n}B_{j}^{*}\Lambda(A_{j}^{*}A_{k})B_{k}\geq 0$を満たす場合をいう.

詳しい説明は省略するが, 様々な物理系におけるほとんどすべての状態の変換は,このチャネルの特殊な場合なのである.
量子系におけるチャネルの定義を与えたが, ここで, この一例として, 光通信
過程を念頭において, 通信過程に侵入してくる雑音と漏れ出ていく損失を陽に考慮した, チャネルの数学的構成法を説明しておく.
今, 入力系と出力系のヒルベルト空間とに加えて, 外部効果を記述
する二つのヒルベルト空問を用意する. ここで,は雑音系のヒルベルト空間とし,
は損失系のそれとする.
さて, 3 つの写像
を次のように定める :$\mathcal{H}_{1}$$\mathcal{K}_{1},$$\mathcal{K}_{2}$$a^{*},\pi^{*},\gamma^{*}$$\mathcal{K}_{2}$$\mathcal{H}_{2}$$\mathcal{K}_{1}$

73
(1)

$a^{*}$は$\mathfrak{S}(\mathcal{H}_{2}\otimes \mathcal{K}_{2})$から$\mathfrak{S}(\mathcal{H}_{2})$への写像であり$a^{*}(\theta)=tr_{k_{2}}\theta,$ $\theta\in \mathfrak{S}(\mathcal{H}_{2}\otimes \mathcal{K}_{2})$で与えられる.
から 6への写像であり, これは媒体それ自体の物理的特性から決まるものである. 減衰過程や増幅過程はこの写像によって(2)$\pi^{*}$は$(\mathcal{H}_{2}\otimes \mathcal{K}_{2})$$\mathfrak{S}(\mathcal{H}_{1}\otimes \mathcal{K}_{1})$

特徴付けられている.

(3)$\gamma^{*}$は$\mathfrak{S}(\mathcal{H}_{1})$から 6$(?t_{1}\otimes \mathcal{K}_{1})$への写像であり, 雑音を表す状態を$\sigma$とすると,$\gamma^{*}(\rho)=\rho\otimes\sigma$

で与えられる.
こうして, 光通信における量子力学的チャンネル$\Lambda^{*}$$\Lambda^{*}(\rho)=a^{*}\circ\pi^{*}\circ\gamma^{*}(\rho)=tr_{k_{2}}\pi^{*}(\rho\otimes\sigma),$は$\rho\in \mathfrak{S}(\mathcal{H}_{1})$がわかれば, 光通と書き表される. 従って, 雑音 と合成直間のチャンネルをとが構成できたことになる. この構成法に従い,信系のチャンネル
適当に与えてやると量子通信路を通して情報を伝送したときの伝送容量, 誤り確率などを導くことができるのである.
を通じ
がチャネノ
シンボル {0, 1} を符号化した量子状態$\pi^{*}$$\sigma$$\Lambda^{*}$$\sigma$$\mathrm{f}\mathrm{f}\mathrm{i}\prime \mathrm{h}^{\mathrm{h}_{arrow}}$$\pi^{*}$$\mathrm{s}\Lambda^{*}$$\{\rho_{0}^{(1)},\rho_{1}^{(1)}\}$型, すなわち, シグナル”0”に送られるときと, ” ” などの 2’0” 以外のは誤っては常に ”0” に送られ,状態に送られる (このとき, ” 0” 以外の状態を” 1” と見なし, 正しく送られたとはする) ことがあるとする. このとき, ” $1arrow 0$ ” の誤り確率て出力側へ送られたとする. このとき, チャネルが” $1$ ”$\mathrm{z}$” $0$ ”

$1$

$P_{e}$$\ovalbox{\tt\small REJECT}=tr\Lambda^{*}(\rho_{1}^{(1)})\rho_{0}^{(2)}$$=tr_{\mathcal{H}_{1}}(tr_{\mathcal{K}_{1}}\pi^{*}(\rho_{1}^{(1)}\otimes\sigma))\rho_{0}^{(2)}$で与えられるのである,
次に, 量子系における状態の有する情報量の表現であるエントロピーについて論じよう. 量子系のエントロピーの定式化は 1930 年頃フォン・ノイマンによって, 密度作用素 で表される状態に対して$\rho$$S(\rho)=-tr\rho\log\rho$

74と定められた. ところで, 状態のスペクトル分解は, 一意に,$\rho\in \mathfrak{S}(\mathcal{H})$のスペクトルは離散的であるから, そ$\rho=\sum_{n}\lambda_{n}P_{n}$からと書ける. ここでは の固有値,はに関する固有空間への射影に縮退がなければ,作用素である. 従って, 各の値域の次元は 1 である (これを, $\dim P_{n}=1$ と書く). ある固有値が縮退している場合は, $\dim P_{n}\geq 2$であるが, このは 1 次元射影作用素に更に分解される :$P_{n}$$\lambda_{n}$$\rho$$\lambda_{n}$$\mathcal{H}$$P_{n}$$\lambda_{n}$$\lambda_{n}$$P_{n}$$\ovalbox{\tt\small REJECT}=\sum_{j=1}^{\mathrm{d}\mathrm{i}_{I}\mathrm{n}P_{n}}E_{j}^{(n)}$ここで$E_{j}^{(n)}$とするとは 1 次元作用$\text{素_{}\backslash }^{-}\mathrm{C}^{\backslash }\backslash$,$E_{j}^{(n)}=|x_{j}^{(n)}\rangle\langle x_{j}^{(n)}|$$\rho$の$\lambda_{n}$である

F べ ff }に関する. これらの 1 次$\backslash J\triangleright \text{を}$$\overline{\pi}\#\backslash$影$x_{j}^{(n)}(j=1, \cdots, \dim P_{n})$$\{E_{j}^{(n)}\}$の添字 $j,n$を適当に付け変えて,,$\lambda_{1}\geq\lambda_{2}\geq\cdots\geq\lambda_{n}\geq’\cdot\cdot$$E_{n}[perp] E_{m}$とすると, スペクトル分解は$\rho=\sum_{n}\lambda_{n}E_{n}$と書ける. この分解をシャツテン分解とよぶことにする. なお, 上式において, 重
複度が 2 以上の固有値はその回数だけ繰り返し現われている. たとえば,の重複度が 2 のときは,である. また, 単純でない固有値に対する射影 の分解
は一 でないことから, すべての固有値が単純でなければ, シャツテン分解も一ではない. 以下, とくに断らない限り,と はと書の元とし,\rho$\lambda_{1}$$\lambda_{1}=\lambda_{2}$$\mathrm{P}$$\Rightarrow \mathrm{J}\Leftrightarrow\backslash$$\rho$$\sigma$$\mathfrak{S}(\mathcal{H})$$= \sum_{n}\lambda_{n}E_{n}$けば, これはシャツテン分解とする. このシャツテン分解を用いると量子系のエントロピーは, 確率分布のシャノンのエントロピーになる. つまり,$\{\lambda_{k}\}$$S \{\rho)=-\sum_{k}\lambda_{k}\log\lambda_{k}$となる. このエントロピー $S(\rho)$ は古典系のエントロピーと単調性をのぞいてほぼ同様な性質を有している. 量子系の相互エントロピーは, 古典系の同時確率分

布に代わるものとして導入された量子力学的合成状態を用いて大矢によって定式

75化されたが, これを説明する前に, 古典系のカルバックとライブラーの相対エントロピーの量子版について話す必 . がある. 2 つの状態に関する量子系の相対エントロピーは, 梅垣によって,$\text{要}$$\rho,\sigma\in \mathfrak{S}(\mathcal{H})$$trp(\log\rho-\log\sigma)$$(s(\rho)\leq s(\sigma))$$S(\rho, \sigma)\equiv\{$$+\infty$と定められた. ここで,
素 $E$ ) である.
いま, 入力状態

8は$(\rho)$$\rho$

そ$a$)$\{\{\mathrm{g}$の台 ( $tr\rho(I-E)=0$ となる最小の射影作用. l こ対して, 初期状態$\rho=\sum_{k}\lambda_{k}E_{k}$する相関を示す合成状態

は$\sigma_{B}$$\mathcal{H}_{1}\otimes \mathcal{H}_{2}$$\sigma_{B}=\sum_{n}$$\rho$と終状態$\Lambda^{*}\rho$

の間に存在

上に

\lambda lB\mbox{\boldmath $\xi$}\otimes A*E ユと定められる. ここで, この分解は $E=\{E_{n}\}$ の選び方に依存するので添え字 $E$を付してある. この合成状態は古典系の同時確率分布 (または, 同時確率測度)に対応するもので, 初期 (入力) 状態と終 (出力) 状態の相関を表すものである.
に変換されたとき,によってこれを用いると, 初期状態 がチャネル$\Lambda^{*}$$\mathrm{A}^{*}\rho$$\rho$の有する情報のどれほどが終状態$\Lambda^{*}\rho$$\rho$に伝えられたかを表す量である相互エント. ロピーは,$I( \rho;\Lambda^{*})=\sup_{E}S(\sigma_{B}|\sigma_{0})=\sup_{E}\{\sum_{k}$.

で定められる.

$\lambda_{k}S(\Lambda^{*}E_{k}|\Lambda^{*}\rho)\}$で与えられる自明な合成状態である, この相互エントロピーは次の基本的不等式を満たす.
のシャツ
なお, この相互エントロピーは初期状態 が古典的なものであれば,$I(\rho;\Lambda^{*})=$
はデルタ測度になる。 このとき,
テン分解が一意になり,と書ける。 さらに, この特殊な場合が Holevo や Lebitin によっ
ここで,

は,

$\sigma_{0}$$\sigma_{0}=\rho\otimes\Lambda^{*}\rho$$\rho$$\rho$$E_{n}$$\delta_{n}$$\sum_{k}\lambda_{k}S(\Lambda^{*}\delta_{k}|\Lambda^{*}\rho)$て論じられた, 古典-量子系の相互エントロピーである。 相互エントロピーは基本不等式$0 \leq I(\rho;\Lambda^{*})\leq\min\{S(\rho), S(\Lambda^{*}\rho)\}$を満たす。
この $I(\rho;\Lambda^{*})$ を使って量子通信における様々な尺度が定められるのである一例

えば, 与えられたチャネル$\Lambda^{*}$とある適当な量子状態の集合$\mathrm{S}$に対して送信できる情報量の最大値である純量子通信路容量は次のように与えられるのである :C’$(\mathrm{A}^{*})=\{I(\rho;\Lambda^{*}),\cdot\rho\in S\}$

76
ここで論じた密度作用素に対するエントロピーと相互エントロピーは,通常の測度論的定式化をその特殊な場合として含む, より一 ffi 的な C*功学系においても定式化されている. 例えば, 相対エントロピーは荒木によって一般のフォンノイマン代数上の状態のそれに拡張され, ウールマンは更に *C 代数上の正の線代数上形汎函数に関するそれに拡張した. また, 相互エントロピーも一般の量子
この相亙エントロピーを用いて,で大矢によって論じられている. さらに,エントロピーを定式化することや力学系のカオス
系の一般化された力学を分類することなどができるのである.
なお,$C^{*}$$(\mathrm{K}\mathrm{S})$4量子コンピュータ

最近, 膨大なデータを高速に演算処理する新 い計算機システムの構築がさまざまな形で試みられている. その最有力候補として実現が期待されているのが, 原$1_{-\prime}$

子や分子それ自体が作るエンタングルド状態 (後述) を利用して高速で演算を行う量子コンピュータである, 量子コンピュータが高速計算を可能にする主な理由
は, 量子力学に従う論理ゲートが計算ステップを (原理的に) 大幅に減少させる
点にあるが, これは量子状態の干渉性に大きく依存している, すなわち, 量子コ
ンピュータは量子状態の強い十渉性を利用して, いくつかの独立な計算を一度に行うことを可能にするのである.
各升目に 0 か 1 の書かれたテープをヘッドが読み, 書き換えていく古典コン
ピュータ (チューリング機械) において, 基本的なのは 0 か 1 の書かれた各黒日であった. 「 か 1 」 のかわりに, 0 か 1 かそれらの重ね合わせか, を考えるのが量子コンピュータである. すなわち, 計算といえば, 今までは古典系の古典論に従うものを考えていたのだが, 量子系で量子力学に従う計算を考えようというのが量子コンピュータである. 量子コンピュータの実現は, 現在まだ, 難しいが, 理論的には非常に興味深い結果が得られている.
量子コンピュータの動作を 0 か 1 だけに (重ね合わせを許さず) 制限すれば,
これは古典コンピュータとなる. すなわち, 量子コンピュータは古典コンビュ–
タを含むものである. では, 重ね合わせを許すメリットは何か. その一つの例としてショアーのアルゴリズムがある, ショアーは古典コンピュータでは非常に時間がかかり現実的には不可能であった因数分解が, 量子コンピュータでは現実的な時間 (入力サイズに対して多項式時間) で解けることを示した. これが実現されれば, 因数分解を鍵として用いている今現在の暗号技術は大きな変革を迫られることになる.
何故量子コンピュータが速い計算を可能にするのか 6 第一の理由は重ね合わせ状態の干渉性に起因する計算の従属性 (並列性) にある 5 古典コンピュータにおいては, 解の候補が, 例えば, 1 万個あれば, 最悪, 一つ一つ確かめて 1 万回の計算を行わなければならなかった, ところが, 量子コンピュータの場合, 計算の$0$77
入力として, その 1 万飼の重ね合わせ状態というものをとることができる. すると, 計算自体は一回 (程度) ですみ, その結果, 解を含む重ね合わせが得られることになる. 量子コンピュータで, 大切なことは, その重ね合わせからうまく解を取り出すことになる また, そこが非常に難しいことでもある. すなわち, 解を含む重ね合わせ状態 (1 万個のベクトル状態の) が得られても, 単に観測を行えば, 解が得られる確率は, 最悪の場合は, 1 万分の 1 で, 結局, 古典コンピュ–
タと同様, 1 万回の試行が必要になってしまう. ショアーのアルゴリズムは, 解でない部分の位相がうち消し合\vee , その部分の和が 0 になるため, 残された重ね合わせの個数が非常に少なくなり, かなりの確率で解を取り出せるという方法であった,
6$\mathrm{a}$量子計算を数理的に記述すると以下のようになる.
(1) まず, 入力, 計算, 出力全てを記述する複素ヒルベルト空間
この中から入力状態ベクトルを決める. それを$\mathcal{H}$を用意し,$\psi=\sum_{k}c_{k}\psi_{k}$は $\sum_{k}|c_{k}|^{2}=1$ をはヒルベルト空間 7{ の基底であり,とする. ここで,満たす複素数である.
(2) を適当なユニタリー. ゲート (プログラムに従って作られる) により変換
して \psi - を得る.
$\{\psi_{k}\}$$c_{k}$$\psi$$\overline{\psi}=\sum_{k}\overline{c}_{k}\psi_{k}$(3)\psi - を観測して, 観測結果から望ましいものを選ぶ.

このために, 他の方法.(古典計算機などを用いて) による判定を用いても良い. 通常量子計算は, 0, 1の重ね合わせである量子ビットを用いるので, 今のところヒルベルト空間 7{ としのテンソル積ヒルベルト空間ていくつかの 2 次元複素ヒルベルト空間$\mathbb{C}^{2}$$\otimes_{1}^{n}\mathbb{C}^{2}$

を考えることが多い.

ショアーの研究の後をうけて, 筆者とロシアのヴォロビッチは, 1999 年\sim 2002
年, 「
完全問題が 問題になるアルゴリズムが存在するか?」 という 30 年来の問題を研究した, 我々は, 量子アルゴリズムにカオスカ学の非線形な状態変化のア
完全問題の一つである SAT (Satisfiability;
イデアを導入することによって,充足可能性) の問題を多項式時間で解くアルゴリズムを見いだした. これは, 量$\mathrm{N}\mathrm{P}$$\mathrm{P}$$\mathrm{N}\mathrm{P}$

了コンピュータとカオスシステムを組み合わせたカオス量了コンピューダとも呼びうる新しいシステムの提案である. 詳しいことは割愛せざるを得ないが, 以下SAT とは何か, を説明し, 我々の方法の骨子を記しておN\leftarrow -P:\check 2 完全問題とは何か,78
問題,
入力のサイズが の問題に対して,
問題
完全問題とは次のように定められている.
問題 : サイズ の入力に対して, ある問題 (計算) をあるアルゴリズムに従って解く (行う) とき, 計算機がその問題 (計算) を解き終わる (終了する)までの時間が入カサイズ の多項式で表せる時間ですむとき, そのアルゴリズム, その問題はクラス(po\sim ynomi へ) に属するは良いアルゴリズムであると問題という.
問題 : 問題の解の候補を具体的に与えたとき, これが本当に解になっているかを検算することはサイズ の多項式時間でできるが, 解自体を求めること$\mathrm{N}\mathrm{P}$$\mathrm{P}$$n$$\mathrm{N}\mathrm{P}$$n$$\mathrm{P}$$\mathrm{n}$$\mathrm{P}$$\mathrm{A}\backslash \mathrm{b}^{\mathrm{a}}$$\mathrm{N}\mathrm{P}$$\mathrm{n}$は多項式時間でできるかどうか分かっていない問題のことをいう.
完全問題 :$(P\subset NP)$に属する問題のうち最も難しいと考えられている問題が完全問題と言われ, しかも全ての完全問題はどれも同じ難しさであることが分かっている.
この完全問題の一つが SAT 問題で, それは, [与えられたブール代数式(” 変数 カッコ, AND (A) ,” から構成される論理式) を\sim ’1,”(真)とする (充足する) 変数に真偽を与える仕方 (関数)は存在するか ? 」という問題である. もう少し数学的に表すと次のようになる, ある要素の集合とその部分集合に対して、と置き, 各要素に 0 または 1 を対応づける真偽値関数 とし, $f$ (x)\equiv \triangle jm=l(’’zEG な $t(oe)$ ) をブール式と呼ぶ. このとき, SAT 問題は「 $f(\mathrm{x})=1$ を満たすような真偽値関数 が存在するか ? 」 という問題になる.
この SAT 問題は量子アルゴリズムとカオス増幅計算により多項式時間で解けることが分かる. そのアウトラインを以下説明しよう.
入力ベクトル, ブーノレ式に対して,$\mathrm{N}\mathrm{P}$$\mathrm{N}\mathrm{P}$$\mathrm{N}\mathrm{P}$$\mathrm{N}\mathrm{P}$$\mathrm{N}\mathrm{P}$$\mathrm{O}\mathrm{R}$$\mathrm{N}\mathrm{O}\mathrm{T}(_{\neg})$$(\mathrm{V})$$t$$\{x_{1}, \cdot\cdot, x_{n}\}$$X_{j}\mathrm{U}$$X_{\mathrm{i}}\subset\{x_{1}, \cdot\cdot,x_{n}\}$$X\text{り}\subset\{\mathrm{r}x_{1}, \cdot, -x_{n}\}\mathrm{J}\acute{J}$$\subset$$X\text{り},\mathrm{C}=\{C_{1}, \cdot\cdot’, C_{m}\}$$\mathrm{f}$$t$$\mathrm{x}=\{x_{1}, \ldots, x_{n}\}$$f( \mathrm{x})\equiv\Lambda_{j=1}^{m}(\bigvee_{x\in C_{\mathrm{j}}}x)$

SAT 特有の計算を行うユニタリー作用素をとする (これは具体的に構成できる). まず, 離散フーリエ変換によって初期状態
は重ね合わせ$U_{f}$$|\mathrm{x},$$|v \rangle=\frac{1}{\sqrt{2^{n}}}\sum_{\mathrm{x}}|\mathrm{x},$に変換される. 次いで,

$U_{f}$

を用いて,$f(\mathrm{x})$$0\rangle$$0\rangle$を計算すると,$|v_{f} \rangle=U_{f}|v\rangle=\frac{1}{\sqrt{2^{n}}}\sum_{\mathrm{x}}|\mathrm{x},$$|v\rangle$

は$f(\mathrm{x})\rangle$となる. 最後の qu ビットを測定し, $f(\mathrm{x})=1$ を得る確率を調べると, それは$r/2^{n}$ となる,
は $f(\mathrm{x})=1$ の解の個数である. つまり, 終状態ベクト
ここで,
$r$

ルは
$|v_{f}\rangle=\sqrt{1-q^{2}}|\varphi_{0}\}\otimes|0\rangle+q|\varphi_{1}\rangle\otimes|1\rangle$

78とで表せる. ここで,は正規化された 量子ビットの状態で, $q=\sqrt{r}/2^{n}$ .
以上で SAT 問題の量子計算は終わる.
が測定できるほど十分大きな値であれば, SAT 問題は解けたことになるが,が小さければ, 解が存在するかどうかわからない (測定できない). そこで,が小さい場合も考慮して,を観測せず,$|\varphi_{1}\rangle$$n$$|\varphi 0\rangle$

$r$

$r$

$r$

$q$

それを増幅することを考えなければならない. このために必要なのがカオス増幅である. つまり, 量子アルゴリズムと非線形な (カオティックな) 状態変化を組
み合わせれば,完全問題が多項式時間で解けることになる.
我々の方法はカオスを起こす非線形写像を用いていることから, 通常の量子アルゴリズムのみ, すなわち, ユニタリー変換のみで処理し仕切れるものではな
く, ユニタリー計算を越えた計算が必要になる. さらに, 上記の議論は, 今の所,
純粋に数学的アルゴリズムに過ぎず, 今後このアルゴリズムを実現する物理過程とは何かを明らかにすることも必要であろう. なお, このアルゴリズムは最近一般化された Turing 機械によって記述できることが示されている。
$\mathrm{N}\mathrm{P}$5

量子テレポーテーション

最後に, 究極的な量子通信とも言える量子テレポーテーションについて説明しよう. 量子状態に情報を乗せそれをある通信路を用いて伝送し, 量子状態そのものを受け手に送ることができるとすれば, 量子状態の堅牢性 (すなわち, 観測をすると量子状態は多くの場合壊れてしまうこと) より, 気付かれず盗聴をすることが非常に難しいことになる. そこで,「いかなる通信路を用いれば, 量子状態それ自体の伝送が可能か ? 」
が問題となる. このことは素朴なプロトコル (古典, 量子問わず従来の通信路) では不可能である. 究極の通信プロトコルといえる量子テレポーテーション. では次に説明する量子エンタングルド状態を用いて量子状態それ自体の伝送を可におい能にするのである. 量子エンタングルド状態とは, 二つの量子系 A とが 」 な状態の重ね合わせが 」. な状態と 「 が 1 でて, 例えば, 「 が 0 で$\mathrm{B}$$\mathrm{B}$$\mathrm{A}$

状態

$0$

$\psi:=\frac{1}{\sqrt{2}}(|0\rangle\otimes|0\}+|1\rangle\otimes|1\rangle)$$\mathrm{A}$$\mathrm{B}$$1$などをエンタングルド状態 (絡み合った状態)

はエンタングルしているという, この例では, 系 A が 0 でと呼び, 系 A と系
あるか 1 であるかを測定してみると, これは確率半々で得られるが, 系 A が 0 である時には, 系 $B$ で” 0 か 1 か” を測定しても常に 0 であることになる. こうした$\mathrm{B}$エンタングルド状態を用いることによって新たな通信が可能になるのである。
量子テレポーテーションはアリスが任意の量子状態を, そのままの形で, ボ
ブに伝送する過程である. これができれば, あらゆる情報は量子状態で表せるので, 完壁な情報伝送が可能になるし, アリスが量子コンピュータで行っていた計

算経過をその途中でボブにバトンタッチするようなことも可能になる.

アリスが送りたい任意の状態を記述する系を系 1 と呼ぶ. まず, アリスが系
1 の状態そのものを, それが記述している内容を知ることなしに, ボブに安全に80伝えるということはできるだろうか. そのために, 以下のような装置とプロセスを考えればよい. アリスは系 1 の他に系 2 も持ち, ボブは系 3 を持っていて, それらはある量子状態を介してエンタングルしている.
系 1 と系 2 が結合して作られている, 目盛を持った測定器に, アリスは送りたい状態を入れ (観測をし) て, その後, その状態をボブに送る. す呑と, 系 2と系 3 の間のエンタングルド性によって, 系 3(ボブ) の状態が作られる.

アリスは先ほどの測定器の目盛りを読んで, その目盛りを電話等, 古典的な手段でボブに伝える (ブロードキャスト), 例えば, 「ランプは” 3” がついている
わ.」 などとアリスがボブに伝えることになる. 最後に, その測定結果を聞いたボブは, 対応した操作を系 3 に移った状態にほどこす.
以上の操作が量子テレポーテーション過程の操作である. ところで今, ここに第三者イブがいたとして, いったいイブは何をできるだろうか. イブが出来ることは, せいぜいアリスがブロードキャストした測定結果を傍受することぐらいである. ところが, これを知っても, イブにはアリスとエンタングルした系はもともとないのだから, 何もすることはできない. このようにこれは安全な通信過程でもあることがわかる.
状態を用い
このテレポーテーション過程は, 最初, ベネット等によってて定式化された. この方法は数学的には簡単なものであるが, 実現には様々な問題があった 3 そこで, 大矢とフィットナーは, 1999\sim 2002 年, コヒーレ
ント状態をもちいた量子テレポーテーションを提案し, 定式化した.
$\mathrm{b}^{\neg}\mathrm{P}\mathrm{R}$5.1

量子テレポーテーションの数理

以下, 量子テレポーテーションの数理を説明しよう. アリスの持つ 2 つの系はヒで記述されるとし, 系 1 の送りたい未知の状態を とする.
ルベルト空間を待つとする, 量子テレポーテーション過程はまた, ボブはヒルベルト空間
以下の 4 つのステップに分けることができる.
Stepl:アリスのもつ系 2 とボブのもつ系 3 はエンタングルさせる. つまり, エンタングルド状態を準備する.
Step2:アリスは, 与えられた と の合成状態
上の状態) において,上の適当な射影作用素 $(F_{nm})_{n,m=1}^{N}$ によって作ら$\mathcal{H}_{1},\mathcal{H}_{2}$$\rho$$\mathcal{H}_{3}$$\sigma\in \mathfrak{S}(\mathcal{H}_{2}\otimes \mathcal{H}_{3})$$\rho$$\sigma$$\rho\otimes\sigma\equiv\rho^{(123\}}(\mathcal{H}_{1}\otimes 7t_{2}\otimes \mathcal{H}_{\theta}$$\mathcal{H}_{1}\otimes \mathcal{H}_{2}$れた物理量 $F \equiv\sum_{n,m=1}^{N}z_{nm}F_{nm}$ を一回測定する. アリスは $F$ の固有値の一つ$\mathrm{r}_{z_{nm}\mathrm{J}}$を測定結果として得る, 測定後の禁鳥究$1\otimes \mathcal{H}_{2}\otimes?\{_{3}$の状態は$\rho_{nm}^{(123)}\equiv$

81$(F_{nm}\otimes)\rho\otimes\sigma(F_{nm}\otimes)$になる. ボブは, 状態$\Lambda_{nm}^{*}(\rho)=tr_{12}\rho_{nm}^{(123)}$$=tr_{12} \frac{(F_{nm}\otimes 1)\rho\otimes\sigma(F_{nm}\otimes 1)}{tr_{123}(F_{nm}\otimes 1)\rho\otimes\sigma(F_{nm}\otimes 1)}$

を得る.

Step3:アリスは測定結果’。1」 をボブに普通の仕方で伝える. 例えば, 電話
で$\lceil_{z_{nm}\text{」}}$を得たことを伝える.

”
を系 3 に施す. この”に対応する””
はユニタリー作用素の組 $\{W_{nm}\}$ で, 前もってボブに与えられている.
”をステップ 2 で得られた状態に施すと, ボブの状態はに対応する”

Step4:ボブは聞いた結果$\mathrm{r}_{z_{nm}\rfloor}$$\mathrm{K}$$\mathrm{K}\mathrm{E}\mathrm{Y}$$\mathrm{r}_{z_{nm}\mathrm{J}}$$\mathrm{E}\mathrm{Y}$$\mathrm{K}\mathrm{E}\mathrm{Y}W_{nm}$$W_{nm}.\Lambda_{nm}^{*}(\rho)W=_{m}=[(F_{n}m\otimes W,m)(\rho\otimes\sigma)(F_{nm}\otimes W_{nm}^{*})]$になる. これが, 状態 に一致すれば, テレポーテーションが成功したことになる. したがって, 量子テレポーテーションの問題は, ” エンタングルド状態$\rho$$\sigma\in$$\mathfrak{S}(\mathcal{H}_{2}\otimes \mathcal{H}_{3})$, 物理量$F \equiv\sum_{n,m=}^{N}1z_{nm}F_{nm}$及び,”$\mathrm{K}\mathrm{E}\mathrm{Y}$”$\{W_{nm}\}$が存在して,$W_{nm}\Lambda_{nm}^{*}(\rho)W_{nm}^{*}=\rho$となるか” を問う問題になる.
の伝送で,を完全に送るもの (完全量子量子テレポーテーションには,と略記) と, 数回の伝送で を完全に送るもの (不テレポーテーション;と略記) とに分けられる. 情報伝送に限
完全量子テレポーテーション;I
れば, 2 回, 3 回, アリスが を送っても構わないので, 実質的な差はない.
なお, 完全な量子テレポーテーションのためには完全にエンタングルした状
態 (すなわち, 等確率振幅で重ね合わされた状態) が必要であることと, このエ$-\fbox_{\mathrm{p}}$$\rho$$\mathrm{C}\mathrm{Q}\mathrm{T}$$\rho$$\mathrm{C}\mathrm{Q}\mathrm{T}$$\rho$

ンタングルド状態を長時間作ることはけして簡単な事ではないので,の方が実現性が高いことは断るまでもない.
I$C\mathrm{Q}\mathrm{T}$より$\mathrm{C}\mathrm{Q}\mathrm{T}$ベネット等による EPR ペアーを用いたプロトコルは完全量子テレポーテー
ションの一例であり, 大矢・フィットナーのフォック空間上のコヒーレント状態を用いたプロトコルは完全量子テレポーテーションと不完全量子テレポーテーション両方の例を与えている,82
なお, 本解説の詳細, 特に情報理論,

量子情報に関しては [1], 量子エントロ

ピーの数理は [2], 量子アルゴリズム, コンピュータ, 暗号, テレポーテーションの研究レベルの解説は [3] 量子暗号, テレポーテーションは [4] に説明している。

References[1]$\mathrm{R}.\mathrm{S}$. Ingarden, A. Kossakowski and M.

$\mathrm{O}\mathrm{h}\mathrm{y}\mathrm{a},$”$\mathrm{I}\mathrm{n}\mathrm{f}\mathrm{o}\mathrm{r}\mathrm{m}\mathrm{a}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}$Dynamics andOpen Systems”, Kluwer, 1997.

[2] M. Ohya and D. Petz: ”Quantum Entropy and its Use”, Springer-Verlag,

1993.

[3] M.Ohya and I.V.Volovich, uMathematical Foundation of Quantum Information and Computation“, Springer–Verlag to be published.
[4] 大矢, 渡辺, 宮寺 :” 新たな量子通信一量子暗号と量子テレポーテーション」’
共立出版, 近刊