二つの光の状態を半分ずつ混ぜたとき、二つの出力が互いに独立になるのは、入力にどのような構造がある場合でしょうか。入力についての情報を量子メモリーに残しておくと、この問いは、光だけを調べる場合より複雑になります。
2026年11月3日に公開されたHesam Hosseini、Jinpei Zhao、林正人のプレプリントは、独立な二組の入力を50:50で混ぜた後の「条件付き独立性」を分類しています。焦点は、出力が厳密に独立になるとき、入力とメモリーに共通するガウス構造がどこに現れるかです。実験装置の性能向上ではなく、量子状態の構造に関する数学的な結果です。
簡単にまとめると？
- 対象は、物理系と量子メモリーからなる独立な二組の入力です。物理系だけを50:50で混ぜ、メモリーを残したまま出力の条件付き独立性を調べます。
- 厳密な独立性には、入力が共通のガウス核を持つことが必要で、その核の位置のずれや残りのメモリーの状態には違いを許せます。
- 一方のメモリーの状態が有限次元の範囲に収まる場合と、無限次元に広がる場合では、入力とメモリーのもつれについて結論が変わります。近似的な独立性への保証は別の問題です。
「相関がゼロ」と「独立」は同じではない
出発点は、確率変数の和と差を使った古典的な問いです。独立な二つのガウス分布が同じ分散を持つと、和と差も独立になります。平均の位置は違っていて構いません。多変数では、広がり方と変数間の関係をまとめた共分散行列が、両入力で共通であることが対応する条件になります。
ここで独立性は、単に共分散がゼロであることより強い条件です。例えばXとYが、互いに独立に+1か−1を等確率で取るとします。X+YとX−Yの共分散はゼロですが、前者が+2か−2なら後者は必ずゼロです。一方を知ると他方について分かるので、独立ではありません。
この区別は量子の場合にも重要です。測定した二つの量に相関が見えないというだけで、出力全体の独立性が確かめられたことにはなりません。
混ぜるのは物理系、残すのは量子メモリー
論文では、入力をA₁U₁とA₂U₂という二組に分けます。Aは光などのボソン系、Uはそれぞれの量子メモリーです。二組の間は独立ですが、同じ組の中のAとUには相関やもつれがあっても構いません。二組を独立に用意することと、各入力がメモリーから独立であることを分ける必要があります。
50:50のビームスプリッターはA₁とA₂だけに作用し、振幅の二つの直交成分を、それぞれ和と差を√2で割った形へ変換します。出力をA₊とA₋と呼び、U₁とU₂は混ぜずに残します。物理系のモード数は有限で、物理系のエネルギーと各メモリーのエントロピーも有限、という前提があります。
調べる条件は、量子条件付き相互情報量I(A₊:A₋|U₁U₂)が厳密にゼロになることです。これは、残したメモリーを含めて見たときの出力間の条件付き相関を表します。メモリーを測って得た数字を固定し、普通の条件付き確率を計算する操作と同じではありません。量子メモリーの観測量には、同時に確定できないものがあるからです。
同じでなければならない部分と、違ってよい部分
主定理が示すのは、上のゼロ条件と、入力の特定の分解が同値だということです。メモリー内の表し方を適切に選ぶと、両入力は共通の「中心をそろえたガウス状態」を核として持ちます。この核には、物理系Aと、メモリー内のボソン部分Qの相関まで含まれます。
その外側には、互いに区別できる直交したメモリーの区画があります。区画ごとに物理系の位相空間での位置をずらすことができ、区画を選ぶ確率や、残ったメモリーの状態は二つの入力で違っていて構いません。共通なのは核であって、入力状態のすべてが同一である必要はありません。
このため、メモリーを捨てて物理系だけを見た状態が、単一のガウス状態になるとも限りません。違う位置へずらしたガウス状態の混合が残り得るからです。「共通のガウス核がある」と「観測する光の分布が一つのガウス形である」を分けて読むことが、結果を使う際の要点です。
有限次元のメモリーでは、厳密な等号の形が狭まる
共通のボソン部分Qが空、つまり実質的に一次元なら、入力は、位置をずらしたガウス状態とメモリー状態の積を、区画ごとに確率的に混ぜた形になります。従って、両方の入力でAとUは分離可能です。古典的な相関は持てますが、この二者間の量子もつれはありません。
一方のメモリーの密度行列が有限次元の範囲にしか重みを持たない場合、Qは必ずこの空の形になります。一つでも非自明なボソンモードがあれば、そのフォック空間には0個、1個、2個と上限なく粒子数の状態が並び、無限次元になるためです。モード数が有限であることと、状態空間の次元が有限であることも異なります。
これは、有限次元の量子メモリーが一般にもつれを保存できないという意味ではありません。今回の独立入力、混合操作、有限性の前提の下で、出力の条件付き相互情報量が厳密にゼロとなる場合の結論です。
もつれた入力でも等号が成り立つ例
無限次元のメモリーを許すと、もつれた入力の例があります。論文が挙げるのは、同じスクイーズ量rを持つ二モードスクイーズ真空を二組、独立に用意する構成です。各組では物理系とメモリーがもつれ、メモリーだけを見ると熱状態になります。有限のrなら平均粒子数とエントロピーは有限ですが、粒子数に上限はありません。
なぜ等号を満たすかを確かめる際には、物理系を混ぜた後、メモリー側にも同じ50:50の混合を仮に加えます。共通のガウス共分散を持つ二組は、和側の物理系とメモリー、差側の物理系とメモリーという、独立な二組へ分かれます。メモリーだけのユニタリ変換は、条件付き相互情報量を変えません。従って、メモリーを混ぜる前の本来の設定でもゼロだったと分かります。
この追加の混合は、証明のための変換です。元の実験設定で、メモリーに操作を加えなければ独立性が成立しないという主張ではありません。
| 比較する入力 | 論文から読み取れること | 読み取れないこと |
|---|---|---|
| 一方のメモリーの状態が有限次元に収まる | 厳密なゼロ条件を満たすなら、両入力の物理系とメモリーは分離可能 | 有限メモリーでは一般にもつれを使えない、とは言えない |
| 同じスクイーズ量の二モード真空を二組用意 | 物理系とメモリーがもつれたまま、ゼロ条件を満たす例になる | 無限のエネルギーが必要、という意味ではない |
| 測定上の条件付き相関が小さい | 厳密な等号からのずれを別に評価する必要がある | 今回の定理だけで、共通ガウス核への近さは保証できない |
近似的な実験データへ使うには、もう一つの段階が必要
この結果の価値は、独立性が成り立つ入力を、共通するガウス核と違ってよい部分に分けられる点にあります。二つの入力を比較するとき、単に物理系の幅だけをそろえるのか、物理系とメモリーの相関もそろえるのかが明確になります。
ただし、実験では相関の推定誤差や状態の切り詰めが避けられません。ゼロに近い量が測れたことから、この分解に近い状態だと結論するには、ずれを定量的に結ぶ別の安定性評価が必要です。本論文は厳密な等号を分類したプレプリントで、通信容量や実機のメモリー性能を実証した報告ではありません。等号の構造を知ることと、有限の測定からそれを保証することを分けておくと、使える範囲が見えます。
出典
- Hesam Hosseini, Jinpei Zhao, Masahito Hayashi, A Conditional Quantum Kac–Bernstein Theorem, arXiv:2611.04363v1、2026年11月3日投稿。主定理3.1、系3.2、注3.3、例3.6、第7.2節。有限エネルギー・有限メモリーエントロピーの条件は第2節。プレプリント。