A sharp norm inequality for entanglement-breaking channels

量子物理学の微視的な世界において、情報は、複数の状態に同時に存在できる粒子の中に蓄えられており、この現象は重ね合わせとして知られています。2つのそのような粒子が相互作用すると、古典的な直感に反するような形で結びつくことがあり、このつながりは量子もつれ（エンタングルメント）と呼ばれます。このリンクは、超セキュアな通信から、今日の機械には不可能な問題を解決できるコンピュータに至るまで、強力な新技術の原動力となっています。しかし、この繊細な接続は壊れやすいものです。量子システムが環境と相互作用すると、量子もつれが壊れ、システムは平凡で古典的なものへと変わってしまいます。物理学者は、「チャネル」と呼ばれる、情報がどのように移動し変化するかを記述する数学的モデルを用いて、いつ、どのようにしてこの破壊が起こるのかを正確に理解しようとしています。量子もつれを断ち切るチャネルとして知られる特定の種類のチャネルは、どれほど注意深く情報が準備されていたとしても、触れた量子的なリンクをすべて破壊してしまいます。これらのチャネルの正確な限界を知ることは、システムが量子としての力を失う前に、どの程度のノイズに耐えられるかを科学者に教える上で極めて重要です。

数十年にわたり、研究者たちは、量子もつれを保持するチャネルと、それを破壊するチャネルの間の明確な境界線を引こうと試みてきました。最も単純なケースである、しばしば「量子ビット（qubit）」と呼ばれる2レベルの量子システムにおいて、メアリー・ラスカイという科学者が2000年代初頭に一つの規則を確立しました。彼女は、もしあるチャネルが量子もつれを断ち切るものであるならば、その歪みの特定の尺度は1以下でなければならないことを示しました。これは大きな前進でしたが、課題を残しました。彼女の規則は情報の形状の歪みのみに着目しており、情報の位置における「シフト（ずれ）」や「オフセット」という第2の要因を無視していたのです。後の研究では、このシフトを含めた規則が追加されましたが、それらは実用には緩すぎたり、あるいは非常に特定の条件下でしか機能しなかったりしました。科学界は、すべてのサイズの量子システムに対して機能し、量子もつれが切れる正確な瞬間を教えてくれる、歪みとシフトの両方を考慮した単一かつ鋭い規則が存在するのか、というパズルに直面していました。

テルアビブ大学の研究者であるエラン・コペルが、今、その欠けていたピースを提供しました。新しい研究の中で、彼はあらゆる次元における量子もつれ断絶チャネルの正確な境界を記述する、精密な数学的不等式を証明しました。彼の研究は、チャネルが量子もつれを断ち切るためには、その歪みとシフトの組み合わせが特定の限界値以下に留まらなければならないことを示しています。この限界は単なる大まかな推定ではなく、チャネルが実際に到達しうる鋭い境界線です。コペルは、完全脱位相チャネル（completely dephasing channel）として知られる特定のタイプのチャネルが、あらゆる可能な次元においてこの限界に正確に達することを示すことで、この規則が「タイト（厳密）」であることを実証しています。このチャネルは、量子的なコヒーレンスをすべて拭い去り、古典的な情報のみを残すフィルターのように機能し、規則が作用する完璧な例となっています。

この発見の意義は、それが先行研究をどのように改善したかという点にあります。ラスカイの理論を含む以前の議論は、結論を導き出すために測定プロセスの根本的な特性を無視しなければなりませんでした。コペルの証明はこの特性を計算に保持しており、これにより、分析を単なる効果の平均から、効果がどのように共に変化するかという、より精密な尺度へと再中心化することを可能にしました。この小さくも決定的な調整が、結果の性質を変えています。データの広がり（分散）のみを見る規則ではなく、広がりとシフトの関係を見る新しい規則へと進化させたのです。これにより、不等式は問題の真の幾何学的構造を捉えることが可能になりました。最も単純なケースである量子ビットの場合、この規則は「歪みの二乗とシフトの二乗の和は1を超えない」という言明へと簡略化されます。これは、情報をシフトさせないチャネルに関する既知の結果を、シフトさせるチャネルにも適用できるように拡張し、2レベルシステムに対する完全な全体像を提供するものです。

また、この論文は、より大きく複雑なシステムで何が起こるかについても論じています。この規則はすべての次元で成立しますが、研究者たちは、システムが大きくなるにつれて、正確に限界に達するための条件がはるかに厳しくなることを見出しました。2次元では、非ゼロのシフトを持ちながら限界に達するチャブルを構築することが可能です。しかし、より大きなシステムにおいてそのようなチャネルが存在するかどうかは、未解決の問いとして残っています。本研究は、この規則が「必要条件」であることを確認しています。つまり、量子もつれを断ち切るチャネルは必ずこの規則に従わなければなりませんが、逆に、規則に従うことが量子もつれを断ち切ることを保証するわけではありません。この区別は重要です。規則は「安全地帯」を定義しますが、そのゾーンの正確な形状はまだマッピングされている最中なのです。

結果が単なる理論的な好奇心にとどまらないことを確実にするため、研究者たちは数千のランダムに生成されたチャネルを用いてテストを行いました。彼らは、設計上、量子もつれを断ち切ることが保証されている手法を用いてこれらのチャネルを作成し、それらが新しい不等式に違反していないかを確認しました。次元2から5を用いたシミュレーションにおいて、規則を破ったチャネルは一つもありませんでした。データは、チャネルが限界に非常に接近していることを示しており、実際の値と理論的最大値の比率は、小さな次元においては1.0000に達しました。この数値的な検証は、不等式が正しく、その限界が実在することへの強い信頼を与えています。研究では、情報を平面上で歪ませるだけのチャネルなどの特定の場合についてもチェックを行い、その規則が制限されたシナリオにおいて既知の結果と完全に一致することを確認しました。

論文はさらに、チャネルが量子もつれを断ち切るようになるまでに、何回使用される必要があるかを計算するための実用的なツールも提供しています。新しい不等式を複数回の繰り返し適用されるチャネルに適用することで、科学者は量子もつれを破壊するために必要な繰り返しの回数の下限値を計算できるようになります。これは、シフトがゼロであるユニタルのチャネル（unital channels）において特に有用であり、その場合、規則は厳密な等式となります。その他のチャネルについても、この規則は従来の推定よりも厳格な改善を提供し、量子情報がいつ古典的なノイズへと劣化するかについての、より正確な予測を可能にします。

今後の課題として、いくつかの問いが残されています。不等式は鋭く、かつ必要条件ではありますが、すべての量子もつれ断絶チャネルの集合の正確な形状は、最も単純な2レベルシステムにおいてさえ、まだ完全には分かっていません。研究者たちは、2次元より大きいシステムにおいて、非ゼロのシフトを伴って限界に達することが可能かどうかをまだ知りません。なぜなら、限界に達するために必要な条件は、次元が上がるにつれてますます満たすことが困難になるからです。加えて、歪みとシフトを組み合わせる公式で使用されている特定の係数は、高次元に向けてさらに最適化できる可能性があります。それらの未解決の問いはあるものの、本論文は、量子情報の風景において、量子的なつながりが生存する場所と、それが消え去る場所の境界を定める、決定論的で鋭い境界線を提供しています。それは、部分的な規則の集まりを、必要かつ達成可能な、単一の統一された条件へと置き換え、物理学者に、量子的なつながりが生き残る領域と、それが衰退していく領域の地図をより明確に示しているのです。