Tensors, entanglement, separability, and their complexity

量子世界において、自然界の最小の構成要素は、「もつれ（エンタングルメント）」として知られる奇妙な結合状態に存在することがあります。2つの粒子が非常に深く結びついており、一方を測定すると、どれほど離れていても瞬時にもう一方の状態が明らかになる様子を想像してみてください。この現象は単なる好奇心の対象ではありません。これは、古典的なコンピュータでは不可能な方法で情報が処理される、量子コンピューティングという新興分野の原動力となっています。しかし、すべての量子状態が等しく有用であるわけではありません。ある状態は「分離可能」であり、粒子が独立して振る舞う一方で、別の状態は「もつれ」ており、複雑で共有された現実を保持しています。科学者たちは、システム内にどれほどの量のもつれが存在するかを正確に測定し、与えられた状態が分離可能なのか、それとももつれているのかを判断するための信頼できる方法を長らく追求してきました。この課題は、これらの状態を記述するために使用される数学的対象が、粒子が増えるにつれて信じられないほど複雑になるため、非常に困難であることで知られています。システムが真に接続されているのか、それとも単に独立した部分の集合体に過ぎないのかを判別することを難しくしているのです。

シュムエル・フリードランドによる新しい論文は、量子状態の研究に「テンソル」と呼ばれる現代的な数学的ツールを適用することで、これらの課題に取り組んでいます。テンソルとは、本質的には多次元の数値配列であり、多くの粒子の間の複雑な関係を一度に記述することができます。著者はこれらの構造を用いて、もつれを測定する2つの特定の方法を定義しています。1つ目は「幾何学的尺度」であり、量子状態と、粒子が接続されていない最も近い状態との距離を計算します。2つ目は「エネルギー」の尺度であり、複雑な状態を単純で接続されていない断片から構築するために、どれほどの労力が必要かを定量化します。論文は、これら2つの測定法が深く結びついていることを示しています。すなわち、幾何学的な距離において最ももつれている状態は、構築するために最も多くのエネルギーを必要とする状態でもあるのです。

この研究は、異なる種類の粒子について重要な区別を行っています。自然界において、電子のような粒子は「フェルミオン」として知られ、同じ場所に存在することを防ぐ厳格な規則に従わなければなりませんが、光子のような粒子は「ボゾン」であり、互いに重なり合うことができます。論文は、一般的な量子システムにおいて、ある状態が分離可能か、あるいはもつれているかを判断することは、システムが大きくなるにつれて、迅速に解くことが計算量的に不可能であると考えられるほど困難な問題であることを示しています。これは、この分野における既知の障壁であり、「困難な（ハードな）」問題としばしば表現されます。しかし、著者は、ボゾンを含む特定の重要なクラスのシステムにおいては、ルールが変わることを証明しています。粒子がボゾンであり、各個別の粒子が取り得る状態の数が固定されている場合、もつれを測定し分離可能性をチェックするために必要な複雑な計算は、扱いやすいものになります。論文は、粒子の数が増えても、妥当な時間内でこれらの問題を解決する方法を提供しています。

さらに、この研究は、これらの量子状態の「エネルギー」を見る新しい方法を紹介しています。ボゾンの場合、最ももつれた状態には特定の数学的な特徴があることを示しています。すなわち、それらはある種の測定値において最低値を持ち、別の測定値において最高値を持つということです。この発見により、科学者はあらゆる可能性を一つずつチェックすることなく、最ももつれた状態を特定できるようになります。また、論文は、これらのボゾン系において、ある状態が分離可能であるための必要十分条件は、それが単純な基本の未接続な断片の組み合わせから構築できることであると確認しています。この結果は、これらの特定のシステムにおける分離可能性のチェック基準を簡素化し、ほぼ不可能な作業を効率的に解決可能なものへと変貌させます。

この研究は、すべての量子システムの問題を解決したと主張しているわけではありません。一般的なシステムやフェルミオンについては、依然として困難であり、計算は依然として迅速に行うには複雑すぎることを明確に認めています。この画期的な成果は、厳密には、固定された内部状態を持つボゾンのケースに限定されています。この特定のグループに焦点を当てることで、著者は、これらの粒子を利用する量子技術において、もつれを理解し活用するための明確な道筋を示しています。これらの知見は、研究者が、以前は手の届かなかった領域において、もつれを定量化し、分離可能性を検証するための具体的なツールを提供し、複雑な量子情報の風景に明晰さをもたらします。