Inclusion-Minimal local indistinguishability: a weak form of nonlocality

技術要約：包含最小局所的識別不能性

問題提起
本論文は、量子状態の局所的識別に関する根本的な問題、特に「局所的識別不能性」の「脆弱性」について調査している。直交する特定の量子状態の集合が、局所演算および古典通信（LOCC）を用いて完全に識別できないことは確立されているが、著者らはその識別不能性がどの程度脆いのかを問うている。具体的には、以下の2つの問いを探求している。(1) 候補となる集合を縮小した場合（状態の削除）、局所的識別不能性はどの程度容易に消失するか？ (2) 未知の状態のコピーが追加で供給された場合、識別不能性はどの程度容易に消失するか？ 本研究は、局所的識別不能性を維持するために、すべての状態が不可欠であるような集合の特定に焦点を当てている。

手法と定義
著者らは、**包含最小局所的識別不能集合（inclusion-minimal locally indistinguishable sets）**という厳密な定義を導入している。直交する量子状態の集合 $S$ が包含最小局所的識別不能であるとは、以下を満たすことである：

1. $S$ は局所的に識別不能である（LOCCによって完全に識別できない）。
2. $S$ の任意の真部分集合 $T \subsetneq S$ は、LOCCによって完全に識別可能である。

有限集合の場合、これは「$S$ から任意の単一の状態を削除すると、残りの集合が完全に識別可能になる」という条件と同値である。この概念は、「最小限の非局所性（少なくとも一つの状態の削除によって集合が識別可能になるもの）」や、「局所的安定性（最初の非自明な測定に対する識別不能性の頑健性に関するもの）」とは異なるものである。

手法は以下の3段階で進行する：

1. 構造解析： このような集合が任意の有限な局所的識別不能集合の中に存在することを証明する。
2. 操作的解析： 包含最小性と、識別のために必要なコピー数（$N_{LOCC}$）との関係を確立する。
3. 明示的な構成： 多粒子系における積状態を用いて、具体的なこのような集合を構築する。

主要な結果

1. 存在定理： 本論文は、すべての有限な局所的識別不能集合は、少なくとも一つの包含最小局所的識別不能部分集合を含むことを証明している。これは、すべての局所的識別不能な部分集合の中で、最小のカーディナリティを持つ部分集合を選択することによって示される。定義により、この最小の部分集合から任意の状態を取り除くと、残りの集合は局所的に識別可能なものとなる。

2. 2コピー識別： 直交する純粋状態の包含最小局所的識別不能集合に関する中心的な操作的結果は、未知の状態の2つの同一のコピーがあれば、常に完全なLOCC識別が可能であり、1つのコピーでは不十分であるということである。

   • メカニズム： 当事者は、第1のコピーを用いて、少なくとも一つの候補状態を除外するプロトコル（集合を真の部分集合へと減少させる）を実行する。集合が包含最小であるため、この減少した部分集合は完全に識別可能である。その後、当事者は第2のコピーを用いて、残りの候補を識別する。
   • 一般化： この結果は、任意の「最小限の非局所的（minimally nonlocal）」集合（特定の一個の削除のみが識別を可能にするもの）に拡張され、すべてのそのような集合において $N_{LOCC}(S) = 2$ であることが証明される。

3. 明示的な構成： 著者らは、積状態（「もつれのない非局所性」を示す）からなる明示的な包含最小局所的識別不能集合を構築している。

   • 基本ケース： $(\mathbb{C}^3)^{\otimes 3}$（3つのキュリット）における12状態の集合。これらの状態は、直交性を保存する制約の閉じた鎖を形成している。
   • 一般化： この構成は、すべての奇数次元 $d = 2k + 1$ および $n \geq 2$ に対して $(\mathbb{C}^d)^{\otimes n}$ へと拡張される。これらの集合は、$4nk$ 個の直交する積状態を含む。
   • 証明戦略： 証明は、全集合が非自明な直交性を保存する局所測定を許容しないこと（識別不能性の証明）を示す一方で、単一の状態の削除が循環的な対称性または連結性を破壊し、残りの状態を識別するための逐次的なLOCCプロトコルを可能にすることを示すことに依拠している。

意義と主張
本論文は、「量子非局所性の構造に関する補完的な視点」を提供すると主張している。その意義は、以下の性質を持つ、特定の最小限の形式の局所的識別不能性を特徴付けている点にある：

• 構造的に最小： これらは局所的識別不能性が維持される最小の集合を表しており、どの状態も冗長ではないことを保証している。
• 操作的に脆弱： この性質は、以下の2種類のリソースの変化に対して非常に敏感であることが示されている：
  1. サイド情報： 単一の候補状態の除外（サイド情報）が、識別可能性を回復させるのに十分である。
  2. リソースのスケーリング： リソースのわずかな増加（1コピーから2コピーへの移行）が、識別可能性を回復させるのに十分である。

著者らは、これらの集合が「強く非局所的な」あるいは「局所的に安定した」集合（これらはこのような変化に抵抗するように設計されている）とは異なることを強調している。本研究は、この現象が積状態においても発生することを強調しており、エンタングルメント（もつれ）が、グローバルな情報アクセスとローカルな情報アクセスの間の分離に必須ではないことを補強している。最後に、これらの集合は、ラベルが除外情報なしでは隠されているが、候補が除外されると局所的にアクセス可能になるような、分散検証プロトコルのプリミティブとして機能する可能性があると述べている。