量子情報の新例:クチリット(次元3)チャネルで量子通信と秘密通信の能力が同時にゼロに
研究者らは、入力と出力が3次元(「qutrit」)の明示的な量子チャネルを示しました。このチャネルは受信者も環境もどちらも無力化する既知の仕組み(部分転置で正になるPPTや環境が受信者を模倣できるアンチ劣化)に当てはまりません。それでも、このチャネルは「量子通信能力(Q)」と「秘密通信能力(P)」の両方が正確にゼロであることを証明しました。チャネルは次の式で定義されます:Λ(X)=1/2 X + 1/4(Tr(X) I_B − X^T)(ここでX^Tは計算基底での転置、I_Bは出力空間の単位行列です)。著者らは、この具体例が長年の未解決問題に答えると述べています。すなわち、ゼロ量子容量はPPTやアンチ劣化の外側でも起こり得るのか、そして秘密容量がゼロになる唯一の非自明な仕組みがアンチ劣化なのか、という問いです。彼らの結論は「どちらも否」であると示しています。
論文の主張は単なる数値実験ではありません。研究者らは数学的に、任意の有限次元の参照系を含めて、環境側(補チャネル)の出力が受信者側の出力よりも常に相対エントロピーという情報量で上回る(=区別のしやすさが少なくとも同等である)ことを示しました。この性質はテンソル冪(チャネルを何度も並べて使う場合)にも保たれます。結果として、任意のブロック長(チャネルをn回並べて使う数)に対して最適化されたコヒーレント情報と秘匿情報がゼロになり、従って無補助量子通信能力Q(Λ)と無補助秘密通信能力P(Λ)の両方がゼロとなります。要点は「すべてのブロック長でゼロが示される」ことです。
証明の骨子は技術的ですが、直観は説明できます。著者らはまず「符号付きリフト(signed lift)」と呼ぶ線形写像Jを構成しました。これは随伴(アジョイント)を保存するが、必ずしも正値性を保つわけではない写像です。J†(Jの随伴)を補チャネルに合成すると元のチャネルになるという関係を満たす一方で、その「負の部分」の問題を完全正値(completely positive)な因子分解で制御できます。具体的には、その欠陥はランク3の完全正値因子で表せます。さらに、Bogoliubov–Kubo–Mori(BKM)ヘッシアンという数学的道具と相対エントロピーの比較結果、そして「完全less-noisy(完全に劣化でない)」順序のテンソル化性を組み合わせることで、1回の使用に対する不等式を任意回数の使用へと拡張しました。こうして受信者側よりも環境側の情報が常に優るという順序を全ブロック長で確立し、能力がゼロになることを導きました。
この結果が重要な理由は二つあります。第一に、これまでゼロ量子容量の確実な例はPPT(束縛量子もつれに基づく機構)やアンチ劣化(環境が受信者を模倣する)のどちらかに当てはまるものが中心でした。本論文はその外側で確実にゼロになる明示的な有限次元チャネルを与えました。第二に、秘密通信能力がゼロになる唯一の理由がアンチ劣化ではないことを示しました。つまり、「秘密通信が達成できない」仕組みはこれまで考えられていた範疇より広いことが分かったのです。著者らは「我々の知る限り、これが有限次元で明示的なチャネルの初めての構成である」と述べています。
留意点と限界です。示された結論はこの具体的なqutritチャネルについての厳密な数学的証明に基づきます。一般のチャネルに対して同様の挙動がどれほど広く存在するかは別問題です。また証明には高度な数学的技法が使われており、直感的な「物理的なシミュレーション」による説明とは異なります。論文中には補助的に人工知能(AI)支援ツールが探索的作業で使われたことも明記されていますが、著者らは最終的な数理的表現と証明に責任を負うとしています。さらに、このチャネルのChoi状態は部分転置で正にならない(NPT)ことと、対称拡張の証人を用いてアンチ劣化性を除外したことも示されています。これらは本例が既存の二つの典型的なゼロ容量の原因に当てはまらないことを補強します。