もつれの弱い量子状態なら、それを離れた場所から見分けるための資源も少なくて済むのでしょうか。答えは、どれだけ正確に見分けるか、そして使える資源の大きさによって変わります。
インドのBose Instituteに所属するSomshubhro Bandyopadhyay氏は、2026年11月3日のプレプリントで、離れた二者による量子状態の検証に必要なもつれを、線形代数だけで示す証明を提示しました。既知の必要条件を簡潔に導き直し、それを直交基底の完全な識別へ応用しています。鍵になるのは、もつれの「量」と、その状態が使っている独立な成分の「数」を分けることです。
簡単にまとめると？
- 対象は、局所操作と古典通信（LOCC）で、量子状態を誤りなく確実に検証・識別する課題です。あらかじめ共有した純粋なもつれ状態を補助資源として使います。
- 検証する状態と資源のシュミットランクが同じなら、資源はそのランクで最大にもつれていなければなりません。対象のもつれが弱いことだけでは、必要な資源を小さくできません。
- ただし、補助資源の次元を広げると結論が変わる例があります。誤りや失敗を認める測定、一般の混合資源、どの基底にも同じ量が必要という主張へは広げられません。
離れた二者ができる操作を決める
二つの研究室が、量子状態の一方ずつを持っているとします。各自は手元の量子系を操作でき、測定結果を通常の通信で伝えられます。この組み合わせが局所操作と古典通信（LOCC）です。課題を解く途中に量子系そのものを送り合うことは許しません。
追加の資源として、二者があらかじめ共有する純粋なもつれ状態を用意します。資源も各研究室に分かれており、手元の入力と一緒に操作できます。十分な最大もつれがあれば、量子テレポーテーションによって片方の入力の状態をもう一方へ移し、そこで両方をまとめて測れます。これは共有もつれと古典通信を使う手順で、途中の量子通信を追加するわけではありません。
論文はLOCCだけでなく、それを含む分離可能測定について必要条件を導きます。測定を表す各要素が、二者それぞれに作用する正の演算子の積の和として書ける、より広い測定の集合です。この広い集合でも無理なら、LOCCでも無理だと分かります。一方、分離可能測定をすべてLOCCで実装できるわけではありません。
「この状態か」を確かめることと、「どの状態か」を当てること
この論文でいう状態の検証は、一つの純粋状態|φ⟩か、それと直交する状態かを、必ず正しく判定する二択の課題です。多数の試料から統計的に品質を推定する一般的な検証作業とは、設定が異なります。正しい状態を必ず受け入れ、直交する状態をすべて退けることを求めます。
識別は、既知の直交状態の集合から選ばれた入力が、どの要素かを当てる課題です。完全な直交基底を識別できるなら、一つの要素の結果を「はい」、残りをすべて「いいえ」にまとめることで、その要素の検証もできます。
このつながりが、検証の必要条件を識別へ移す足掛かりになります。逆に、特定の一状態を検証できるだけで、基底のすべての要素を識別できるとは限りません。
シュミットランクは、もつれの強さそのものではない
二者の純粋状態は、適切な局所基底を選べば、対応する状態の組を重み付きで足したシュミット分解で表せます。そのうち重みがゼロでない組の数が、シュミットランクです。積状態なら1、二量子ビットのもつれ状態なら2になります。
一方、もつれの量を表すエントロピーは、重みの偏りにも依存します。たとえば、次の状態を考えます。
|φ⟩ = √0.99 |00⟩ + √0.01 |11⟩
二つの成分が残っているのでランクは2です。しかし、重みの二乗が0.99と0.01に偏っているため、もつれのエントロピーは約0.081 ebitにすぎません。これに対して、二つが等しいベル状態では1 ebitになります。ランクが同じでも、もつれの量は大きく違います。
同じランクの資源なら、なぜ最大もつれが必要なのか
定理1は、検証対象を|φ⟩、純粋な補助資源を|τ⟩とすると、資源のシュミットランクは、対象のランク以上でなければならないと述べます。そして両者が等しい場合、資源の非ゼロの重みはすべて等しくなければなりません。つまり、そのランクで最大にもつれた資源が必要です。
最初の条件は、状態をいくつの積状態の和で表せるか、という数え方から得られます。資源の各シュミット成分から誘導される測定のベクトルを足して、対象の状態を再現する必要があります。対象のランクが資源のランクより大きいと、成分が足りません。
同じランクの場合には、さらに測定の完全性が効きます。「はい」と「いいえ」の測定要素を足すと恒等演算子になる、という確率の取りこぼしがない条件です。論文は、この条件と検証の条件を組み合わせ、トレースを取ることで、資源の各シュミット係数の二乗がすべて1/rになると示します。rは共通のランクです。
先ほどのランク2の対象なら、ランク2の純粋資源で確実に検証するには、対象の重みが0.99対0.01でも、資源は0.5対0.5でなければなりません。最大もつれは必要なだけでなく、対象のシュミット支持への局所射影とテレポーテーションによって、検証に十分でもあります。
弱いもつれの基底でも、完全な識別は軽くならない場合がある
各研究室の入力がd次元で、d²個の状態からなる完全な直交基底を識別するとします。その基底にシュミットランクdの状態が一つでもあること、さらに純粋な補助資源の局所次元がd以下であることを仮定します。
識別できれば、そのランクdの状態を検証できます。定理1から資源のランクはd以上。一方、資源の局所次元をd以下に限っているため、資源のランクもd以下です。両側から挟まれてランクがdに一致し、最大もつれが必要になります。テレポーテーションで十分性も得られるため、定理2では必要十分条件になります。
具体例として、0 < θ ≤ π/4で、次の四つの二量子ビット状態を並べます。これは定理を読むために作った例です。
- cosθ |00⟩ + sinθ |11⟩
- sinθ |00⟩ − cosθ |11⟩
- cosθ |01⟩ + sinθ |10⟩
- sinθ |01⟩ − cosθ |10⟩
四つは互いに直交し、すべてランク2です。θをゼロに近づければ、それぞれのもつれはどれだけでも弱くできます。それでも、四つをLOCCで完全に識別し、補助資源も二量子ビットの純粋状態に限るなら、1 ebitの最大もつれが必要です。
θがちょうどゼロなら積状態の基底になり、この条件は外れます。「非常に小さいがゼロでない」と「ゼロ」の差が残るのは、今回の課題が誤りも失敗も許さないためです。有限の誤差を認めたときまで、同じ不連続な要求が続くとは、この定理だけでは言えません。
資源の次元を変えると、結論も変わる
「弱いもつれを読むにも、いつでも最大もつれが必要」と一般化するのは早計です。論文は、補助資源を二量子ビットから二つの三準位系、つまり二qutritへ広げると、1 ebit未満の資源でも完全識別できる二量子ビット基底の例を紹介しています。資源のランクが対象より大きいと、等ランクを使う証明の条件が外れます。
また、d ≥ 3では、基底に完全ランクの状態があるという条件も欠かせません。もつれ状態を含んでいても、すべてのランクがd未満なら、d次元の最大もつれより少ない資源で識別できる例があります。
| 確認する条件 | 今回の結論を読む際の意味 |
|---|---|
| 検証・識別は確実で、誤りを許さないか | 統計的な検証や近似的な識別に、そのまま同じ必要量を当てはめない |
| 補助資源は純粋状態で、次元に制約があるか | ランクと次元の制約を外すと、最大もつれが必要という結論が変わり得る |
| 完全な直交基底に、完全ランクの状態があるか | 一部の状態だけを識別する課題や、完全ランクがない基底と区別する |
| 測定後の状態まで再現したいか | ここでの基底測定の実装は、任意の入力に対する結果の確率を再現する意味。測定後の状態は指定しない |
ランクは「何種類の独立な成分が必要か」、エントロピーは「その重みがどれほど均等か」を捉えます。この二つを分けると、対象のもつれの弱さだけから、測定に必要な資源を見積もれない理由が見えてきます。今回の成果は理論的な証明と適用範囲の整理であり、実機の測定誤差やもつれ供給コストを測った結果ではありません。
出典
- Somshubhro Bandyopadhyay, Simple proof of conditions requiring maximal entanglement for local state verification and discrimination, arXiv:2611.05317v1、2026年11月3日。定理1・2、系1・2、節5.1・5.2を参照。既知の検証条件の原出典と、高次元資源による例の出典は同論文中に記載されています。