数理解析研究所講究録980 巻 1997 年 130-136130

条件付アイソメトリック作用素
玉川大量子通信研究施設

広田修(Osamu Hirota)

1 。まえがき
光通信の発展過程においてその技術的諸問題は物理及び数学に大きな課題を提供してきた。 光通信技術はもはや古典物理学で予想される性能の限界に近ずきつつある。
次世代の通信科学を創造するためには新しい情報通信のための原理の発見が必要であ(本稿では条件付アる。筆者らが検討している” 条件付ユニタリー過程”$[1_{\text{、}} 2]$

イソメトリック過程と呼ぶ) は従来の情報通信の基本原理にない全く新しい通信原理を導出しうるものとして期待されている。 しかしながら、 その数学的理論の構築は極めて困難な問題を克服せねばならないためその発展はなかなか進んでいない。 その $-$つの原因は情報理論的考え方と物理及び数学的視点が十分に融合されていない点にあると思われる。条件付アイソメトリック過程は量子状態の工学的変換技術の設計指針を与える事が第–の目的である。 そのため変換過程を入力条件付の作用素で記述せねばならない。 しかしながら、 その量子状態の変換過程は純粋状態から純粋状態、 及び純粋状態から混合状態へを記述せねばならないため、 数学的困難が生じている。
このような変換過程を表す数学としてオペレーションの理論がある。 オペレーションは混合状態への変換も含むため–般性があるが、 量子通信の通信路を表すにはあまり都合が良くない。本稿では我々の目的とする量子通信路を適確に表す条件付アイソメトリック作用素 (前は条件付ユニタリー作用素と呼んでいた。 工学の論文では条件付ユニタリーを用いる) の基本的な定義をさらに明確にする事を目的としている。

2 。情報通信過程
ここで、 信号モードの Hil 反 n 空間を信号空間と呼び

Hilbert 空間を HV とすれば、 拡張空間
$H_{\mathrm{e}\mathrm{x}}=H_{\mathrm{s}}\otimes H\mathrm{V}$

定義 1$H_{\mathrm{e}\mathrm{x}}$$H_{\mathrm{s}}$と記し、 外部モードのは両空間のテンソル積で構成される

.

:

(1)

拡張空間から拡張空間への写像を拡大チャンネルと呼ぶ。

ここで拡張空間から同じ拡張空間へのユニタリー変換 (作用素) が存在するものと131仮定する。
$U:H_{\mathrm{e}\mathrm{x}}arrow H_{\mathrm{e}\mathrm{x}}$

,

(2)

.

$U^{\uparrow}U=UU^{\uparrow}=I$

このユニタリー作用素は拡張空間上の量子状態変換過程としてのチャンネルを表す。
このユニタリティは具体的な物理過程を考察する上で本質的な要求である。
定義 2(情報信号空間の定義)としよう。情報源シンボルは量子状態のあるパラメーターに 1 対 1 対応させられるとき、 その量子状態の集合を情報信号空間とする。

情報源シンボルの集合を $\{j\}\in J$$H_{\mathrm{s}\mathrm{b}}$ここで、 情報信号空間は$H_{\mathrm{s}}$の部分空間であり、 具体的な物理モデルをチャンネルとみなしたとき、 それに対する入力の量子状態の集合を表す空間となる。

3. 条件付アイソメ トリック作用素の–般的定義

文献 1 において初めて条件付アイソメトリック過程の概念が提案され、 その重要性が論じられた。以下にこの条件付アイソメトリック過程を記述するための作用素の定義を改めて示す。 ここであるパラメーターによってインデックスされた量子状態の集合がここで極めて重要な役割を果たす。 これらのパラメーターは–般に物理量の量子期待値と考えられるものである。
$\{|_{\psi_{j}>}\}$

定義 3$\mathrm{S}$をヒルベルト空間ベクトルI$\psi_{j^{>||}}=1$

この非線形アイソメトリー$\text{は}\mathrm{S}$定義 4$\mathrm{T}_{\mathrm{t}j)}$

中のベク トルの– つの族とする。 この族の各に対し、 次の性質をもつ線形作用素を対応させる。

$|\psi_{/}>$$||\mathrm{T}_{(j)}|\psi j^{>}||=||$$H_{s}$$|\psi_{j}>1arrow \mathrm{T}_{\mathrm{t}j)^{1}}\psi_{j^{>}}$の上の条件付アイソメトリック作用素と呼ばれる。

が線形和に分解されうる時$\mathrm{T}_{(j)}=\sum_{m}T_{m}^{(j)}$,$\mathrm{T}_{()}$は$\mathrm{I}\psi_{j^{>}jj}|arrow(\sum_{m}\tau_{m}(j\rangle)|\psi>\equiv|\psi)\in H\mathrm{Q}$なる作用素と定義する。 ただし、た空間とする。

$H_{\mathrm{Q}}$は次の内積によって完備化され132$( \psi_{j^{1}}\psi_{i})=\frac{\{<\psi_{j^{1(\sum_{m}T_{m}}}\dot{\mathrm{T}}(j))(\sum\tau_{n}(i))1\psi n1i^{>}\delta m,n}{\{_{\cross<\psi_{i^{1}}}^{<1}\psi_{j\psi_{j}m,n}(\sum_{(\sum_{m}T^{\dagger(}}\tau\dagger(\tau))m(\sum_{)}\tau nimmi)(\sum_{n}\tau_{n}^{()})|(l))>\delta n|\psi_{i1\delta_{m,n}}>\{^{\frac{1}{2}}}$

また、 この時、$H_{\mathrm{Q}}$のベクトル$|\psi_{j}$: (擬量子状態) のディアド積は)$| \psi_{j})(_{\psi}j1=(\sum\tau_{m})|\psi_{j}><\psi_{j}1(\sum_{nm}\tau\dagger)n\delta m,n$

この時、は$\mathrm{T}_{(l2}$素と呼ばれる。

上記定義においてから$\mathrm{S}$が単–要素であれば定義$\mathrm{T}_{(T)}$$H_{\mathrm{Q}}$への条件付混合アイソメトリック作用$H_{\mathrm{Q}}$$1\uparrow_{\mathrm{c}}^{arrow}$帰着する。

は擬量子状態空間と呼ばれ、信号量子状態の情報及び性質を全て保存している。 これらによって純粋状態及び混合状態への変換過程の作用素表現が可能になる。

この概念は初期状態に依存するダイナミックスを持つチャンネルを構築するために導入されたものである。 すなわちそのダイナミックスはアイソメトリック作用素の族に支配される。 もし、間発展作用素として、$|\psi_{j}>$$|_{\psi_{j}>}$が初期状態として用意されるとき、はユニタリー時に働く。 このようなチャンネルを条件付アイソメトリッ$\mathrm{T}_{(j)}$ク過程と呼ぶ。

このように、 条件付アイソメトリック作用素が存在すればシステムの入力における相異なる量子状態の内積に対し、 出力の内積の変化過程が作用素によって表現されることになる。 このような表現は量子通信の技術的問題からの絶対的要請である。 ここで内積の変化に対し次のようにクラス化できる。
(a) 正の条件付アイソメトリック過程(b) 負の条件付アイソメトリック過程: 内積が増加: 内積が減少

4. 条件付アイソメトリック過程の導出例
信号量子状態のパラメーターが、 あるシフト作用素によって次のように表されると
き、 条件付ユニタリー作用素をシステマチックに導出しうることを示したい。

$(3)$$|_{\psi_{\mathrm{i}\mathrm{n}}}(\beta)>_{\mathrm{s}^{=D)}}(\mathrm{s}(\beta)|0>_{\mathrm{s}},$.

(4)$|\phi_{\mathrm{i}\mathrm{n}}(\gamma)>\mathrm{v}=D^{(\mathrm{V}})(\gamma)|0>_{\mathrm{v}}$はシフト作用素であり、をサスセプターに対応する。
拡張空間上での出力状態を Pout としよう。 このとき、 この出力状態の外部モードに関する部分トレースは出力の信号モードの量子状態を与える。 その結果、 考察下のチ
この$D^{(\mathrm{s})},D^{(\mathrm{v})}$$\beta,$$\gamma$133

ヤンネルの入力信号モードと出力信号モード間の関係が与えられる。
$1_{\psi_{\mathrm{i}\mathrm{n}}(}\beta)>\mathrm{s}<\psi \mathrm{i}\mathrm{n}(\beta)|arrow \mathrm{T}_{\mathrm{v}}\mathrm{r}$

(5)

Pout.

上記の入出力関係は信号モードチャンネルと呼ばれる。 このチャンネルが我々が実際に制御、 設計及び測定することのできる理論的対象システムである。

ここで情報信号空間の信号を入力とする信号モードチャンネルは条件付アイソメ トリック過程となることを示す。全空間で定義されるユニタリー作用素を とする。
$U$

一般に相互作用表現において入出力の量子状態は$|\psi_{\circ \mathrm{u}\iota}>=U\otimes_{\mathrm{V}}1\psi_{\mathrm{i}\mathrm{n}}\mathrm{s}(\beta)>_{\mathrm{s}^{1\emptyset(}}\mathrm{i}\mathrm{n}\gamma)>\mathrm{V}$$=UD^{(\mathrm{S})}(\beta)|0>_{\mathrm{s}}D^{(_{\mathrm{V}})}(\gamma)|0>_{\mathrm{V}}$$=UD^{(\mathrm{S})}(\beta)U^{\uparrow_{U}D^{(\mathrm{v}})}(\gamma)U^{\uparrow}U10>_{\mathrm{s}\mathrm{v}}10>$(6)$=\tilde{D}^{(_{\mathrm{S}})_{(}}\beta)\overline{D}^{(}\mathrm{V})(\gamma)U|0>\mathrm{I}\mathrm{s}0>_{\mathrm{v}}$$=\tilde{D}^{(\mathrm{s})}(\beta)\overline{D}(\mathit{7})UD(\mathrm{s})(-\rho(\mathrm{V}))|\psi \mathrm{i}\mathrm{n}(\beta)>\mathrm{s}^{1}0>\mathrm{v}$.

ここでもし$U\mathrm{I}0>_{\mathrm{S}}|0>_{\mathrm{V}}=|0>_{\mathrm{s}}\mathrm{I}0>\mathrm{V}$

.

(7)

であれば
$1\psi_{0}\mathrm{u}\iota>_{\mathrm{s}}\otimes \mathrm{V}=\tilde{D}(\mathrm{S})(\beta)\overline{D}(\mathrm{V})(\gamma)D(\mathrm{s})(-\beta)|_{\psi \mathrm{i}\mathrm{n}}(\beta)>|\mathrm{s}0>\mathrm{v}$

.

(8)

ただし
$\tilde{D}(\rho_{)(}(\mathrm{s})(_{\mathrm{S}})=UD\beta)U^{\{}$$\tilde{D}^{(\mathrm{v})}(\gamma)=UD(\mathrm{v})(\mathit{7})U$,(9)\dag er .

次に上の計算において$\overline{U}=\tilde{D}^{()}\mathrm{S}(\beta)\tilde{D}(\mathrm{V})\mathrm{S})(\gamma)UD^{(}(-\beta)$

.

(10)

あるいは
$\overline{U}=\overline{D}^{(\mathrm{s})_{(}}\beta)\tilde{D}^{(\mathrm{v})}(\gamma)D^{(}\mathrm{s})(-\beta)$.

(11)とおけば、 出力状態は$|\psi_{\mathrm{o}\mathrm{u}\iota\otimes}>_{\mathrm{s}}=\overline{U}\mathrm{V}$以上より、$\overline{U}$I$\psi \mathrm{i}\mathrm{n}(\beta)>|\mathrm{s}0>_{\mathrm{v}}$.

は入力のサスセプターを内在する。

次に出力の量子状態は

(12)

134

$\mathrm{T}\mathrm{r}p_{\mathrm{o}\mathrm{u}\mathrm{t}}\mathrm{v}=\mathrm{T}\mathrm{r}\overline{U}|\psi_{\mathrm{i}}\mathrm{V}\mathrm{n}(\beta)>_{\mathrm{S}}|0>_{\mathrm{v}}<0|<_{\mathrm{s}}\psi_{\mathrm{i}\mathrm{n}}(\beta)|\overline{U}^{\mathrm{t}}$$= \sum_{m}<_{\mathrm{V}}x_{m}|\overline{U}|0>_{\mathrm{V}}|_{\psi_{\mathrm{i}\mathrm{n}}(}\beta)>_{\mathrm{S}}<\psi \mathrm{i}\mathrm{n}(\beta)|<0|\overline{U}^{\dagger 1_{xm}>}$(13)$\equiv\sum_{m}T_{m}(\beta)|\psi_{\mathrm{i}\mathrm{n}}(\beta)>_{\mathrm{s}}<\psi_{\mathrm{i}}\mathrm{n}(\beta)|\tau\dagger m)(\beta$

ただし
(14)

$\tau_{m}^{(\beta)}=_{\mathrm{v}^{<xm}}|\overline{U}|0>_{\mathrm{V}}$

次に定義 2 より(15)$\mathrm{T}_{(\beta)}\equiv\sum_{m}T(\beta)m$

この作用素はから$\mathrm{S}$$H_{\mathrm{Q}}$へのサスセプター\beta をもつ条件付アイソメトリック作用素である事は容易に示せる。

5. オペレーションとの対応

通常の理論では信号モードは出力状態の外部モードに関する部分トレースを用いて次のように与えられる。
$|\psi \mathrm{o}\mathrm{u}\mathrm{t}><\otimes \mathrm{S}\mathrm{v}\psi_{\circ}\mathrm{u}\iota|$$\mathrm{T}\mathrm{r}\mathrm{v}$$=\mathrm{T}\mathrm{r}\mathrm{v}$$U| \psi_{\mathrm{i}\mathrm{n}\mathrm{s}^{1}}>\phi_{\mathrm{i}}\mathrm{n}>\mathrm{v}<\psi \mathrm{i}\mathrm{n}^{1}\mathrm{s}\psi_{\mathrm{i}\mathrm{n}}\equiv<|U^{\mathrm{f}}\sum_{m}T_{m}$

この形式は–般にオペレーションの理論体系に属する [Pin$3_{\text{、}}$$T_{m}^{\dagger}$(16)

41 。この形式では入カの信号依存性を含めないので量子通信に対し重要な情報を提供できない。 これに関する詳細な議論は次回報告する。

6. 情報チャンネルへの適用
6-1 古典的チャンネル
入カシンボルを$\{c_{i}\}\text{、}$出力シンボルを$\{d_{i}\}$とすれば、 そのシンボル間の遷移確率をチャンネル行列と言う。
$\mathrm{P}(i|j)=[p_{ij}]$(17)

この遷移は古典的確率によって定義されている。 すなわち古典的雑音を持つチャンネ
ルに対応する。

135

6-2 量子状態変換チャンネル
量子状態のパラメーターである古典的シンボル間の遷移が存在しない時、 このチャンネルを純量子状態変換チャンネルという。 すなわち、 入力量子状態に対し出力量子状態が 1:1 で対応する。 すなわち古典的には無雑音チャンネルに対応する。 しかし、量子状態自身は別の形に変換されるものとする。量子通信では量子状態の性質がチャンネルの限界を与えるので状態変化が最も重要な要素となる。
(a)

ユニタリーチャンネル

入力量子状態に対し、 あるユニタリー作用素があって$||U1\emptyset_{\mathrm{i}}^{l})\mathrm{n}>_{\mathrm{s}}||=|||\mathrm{v}^{\mathit{4}_{\mathrm{i}^{\gamma}}^{l}>|}\mathrm{n}|$(18)$\forall_{i}$全ての量子状態間の内積は保存される。 U は変換過程を表すので、 このはユニタリーチャンネルを表すという。
(b)

$U$

条件付アイソメトリックチャンネル (内積非保存チャンネル)

これまで開発されてきた量子通信理論によって与えられる通信の限界は Helstrom 限界と呼ばれる。 この限界に対し次の補助定理がある。
補助定理 (広田)[2]:Helstrom 限界が破られるためには負の条件付アイソメトリック過程が存在せねばならない。

これより条件付アイソメトリックは量子通信の発展に重要な概念を提供することになとなる。
とすれば信号量子状態は {る。今、 入力量子状態のサスセプターを$|\psi(\beta_{i})_{\mathrm{i}\mathrm{n}}>_{\mathrm{I}}$$\{\beta_{i}\}$

純粋状態変換過程 (文献 5 、例:Coherent state 入力)
量子状態が純粋状態に変換されるとき定義 3 が適用される。各信号量子状態に対し $-$つのアイソメトリック作用素が求められのでチャンネル表現は(i)$=$(19)の性質より保存されない。 これにより条件付アイソこのとき各出力状態の内積はメトリック作用素は内積非保存チャンネルを表す。
$\mathrm{T}_{(\beta)}$

Squeezed state 入力)
入力量子状態が混合状態に変換される過程では条件付アイソメ トリック作用素は線形和で表される (定義 4) 。このとき出力状態は擬量子状態空間のベクトルとなる。 した(ii)純粋 $-$ 混合状態変換過程 (文献 5 、例:Photon number$\mathrm{s}\mathrm{t}\mathrm{a}\mathrm{t}\mathrm{e}_{\text{、}}$

136

がって条件付アイソメ トリック作用素は入力量子状態 VS 擬量子状態への変換としてのチャンネル表現を与える。 当然、 擬量子状態の内積は保存されない。
謝辞: 助言いただいた大矢、小嶋 先生に感謝します。討論いただいた山崎、 佐々木各位に御礼申します。
文献(1) O.Hirota: in Quantum aspect of optical communications, edited by Bendjaballah, Hirota,&Reynaud, Lecture note in Physics 378, SPringer-Verlag, 1991.
(2) O.Hirota: Phys. Lett.

$\mathrm{A},$$155\mathrm{A},$ $\mathrm{p}343$,1991.

.Davies: Quantum theory of open systems, Academic press, 1976.
(4) K.Kraus: States, effect and operations, Lecture note in Physics 190, Springer-verlag, 1983.
(5) O.Hirota: Open system and information dynamics,, no 2, 1993.

(3)$\mathrm{E}.\mathrm{B}$$\mathrm{v}\mathrm{o}\mathrm{l}2$