技術要約：$n$-wise 測定シミュラビリティ、適合性構造、およびマルチコピー適合性の間の厳密な階層関係

問題提起

測定の不適合性（特定の量子観測量を共同で測定できないこと）は、量子情報における基本的なリソースである。標準的な不適合性（共同測定可能性）はよく理解されているが、近年の文献では、ある測定アサンブラージュ（$m$ 個の測定の集合）の中に、実際に「いくつの」測定が含まれているかを定量化するための様々な一般化手法が提案されている。これらの一般化には、測定シミュラビリティ（measurement simulability）、適合性構造（compatibility structures）（または $n$-wise 適合性）、および**マルチコピー不適合性（multi-copy incompatibility）**が含まれる。

現在、これらの概念は互いに独立して使用されており、それらの相互関係についての明確な理解が欠けている。この分野には、これら異なる定義が同じ測定の集合を記述しているのか、あるいは異なる部分集合を記述しているのかを判断するための統一された枠組みが存在しない。この曖昧さは、競合する概念がその操作的または数学的な違いを認識されないまま適用されるという、「混乱した」現状を招いている。本論文は、これらの一般化の間に厳密な階層関係を確立し、それらの操作的および幾何学的な区別を明らかにすることで、この問題を解決することを目的とする。

手法

著者らは、操作的な定義、測定アサンブラージュ集合の幾何学的解析、および凸最適化手法（具体的には半正定値計画法：SDP）を組み合わせた手法を用いている。

1. 操作的な定義: 論文では、主に3つの一般化を厳密に定義している：

   • 測定シミュラビリティ ($SIM_n$): $m$ 個の測定が、$n$ 個の測定を用いて古典的な前処理および後処理によってシミュレート可能か？ 著者らは、決定論的前処理 ($SIM_n^{Det}$) と確率的前処理 ($SIM_n$) を区別している。
   • 適合性構造 ($JM_n^{conv}$): そのアサンブラージュが、サイズ $n$ の部分集合が共同測定可能であるようなアサンブラージュの凸結合として分解できるか？ これは適合性ハイパーグラフを通じて幾何学的に定義される。
   • マルチコピー適合性 ($Copy_n$): $m$ 個の測定の統計量が、$n$ 個の入力状態に対する単一の共同測定を行うことで再現可能か？

2. 集合包含関係の解析: コアとなる手法は、これらの定義の間の厳密な集合包含関係を証明することである。著者らは、これらの集合の凸性を分析し、解析的な証明が困難な場合には、数値最適化（SDP）と $\epsilon$-net グリッド・アプローチを組み合わせて用いて、厳密な境界を確立している。

3. クローニングとの関連: マルチコピーの場合、著者らは共同測定可能性と最適量子クローニング（具体的にはウェルナーのクローニング写像）との関連性を利用して、純粋入力状態に対する普遍的な境界を導出している。

主な貢献と結果

1. 集合包含関係の階層

主要な貢献は、$m$ 個の測定のうち $n$ 個の測定によってシミュレートされる測定アサンブラージュ（$1 < n < m$）に関する、厳密な集合包含関係の階層を確立したことである：
$$JM \subset SIM_n^{Det} \subset SIM_n \subset \text{Conv}(SIM_n) \equiv JM_n^{conv} \subset Copy_n \subset All_m$$
ここで：

• $JM$: 標準的な共同測定可能性。
• $SIM_n^{Det}$: 決定論的前処理を用いた $n$-シミュラブル。
• $SIM_n$: 一般的な確率的前処理を用いた $n$-シミュラブル。
• $\text{Conv}(SIM_n)$: $n$-シミュラブルな集合の凸包。
• $JM_n^{conv}$: $n$-wise 適合な測定（適合性構造から）。
• $Copy_n$: $n$-コピー共同測定可能な測定。

2. 具体的な結果

• 結果 1（決定論的前処理の不十分性）: 確率的前処理を用いた $n$-シミュラブルな測定の集合 ($SIM_n$) は、決定論的前処理を用いた集合 ($SIM_n^{Det}$) よりも厳密に大きい。著者らは、確率的前処理を用いれば2つの測定によってシミュレート可能だが、決定論的には不可能である、3つの量子ビット測定（パウリ $\sigma_x, \sigma_z$ およびアダマール）の具体的な例を提示している。
• 結果 2（$SIM_n$ の非凸性）: $n$-シミュラブルな測定の集合は凸ではない。これは、特定のノイズを含むパウリ測定が、2-シミュラブルな測定の凸包内に存在するものの、それ自体は2-シミュラブルではないことを示すことで実証されている。これは、$SIM_n \subsetneq \text{Conv}(SIM_n)$ であることを意味する。
• 結果 3（適合性構造との対応）: $n$-シミュラブルな測定の集合の凸包は、正確に $n$-wise 適合な測定の集合 ($JM_n^{conv}$) と一致する。これにより、操作的な概念であるシミュラビリティ（共有されたランダムネスを伴う）と、幾何学的な概念である適合性構造が結び付けられる。
• 結果 4（マルチコピーとの関連）: $n$-wise 適合な測定の集合は、$n$-コピー共同測定可能な測定の集合に厳密に含まれる ($JM_n^{conv} \subsetneq Copy_n$)。これは、マルチコピー適合性が既知の一般化の中で最も強い（最大の集合である）ことを確立している。
• 結果 5（普遍的な下限） 純粋状態に対する任意の $m$ 個の測定の $n$-コピー共同測定可能性に関する、クリティカルな可視性（critical visibility）の普遍的な下限が導出された：
  $$\eta^* \geq \frac{n(d+m)}{m(d+n)}$$
  ここで $d$ は系の次元である。これは、標準的な共同測定可能性 ($n=1$) に対する従来の境界を拡張するものである。

重要性と意義

本論文は、一般化された測定不適合性のための一般的な枠組みを提供し、これまで競合していた概念を整理することで、この分野の曖昧さを解消すると主張している。

• 概念の明確化: 本研究は、これらの一般化が単に同じ現象の異なる操作的な解釈ではなく、数学的に明確に異なる測定の部分集合を記述していることを示している。例えば、$n$-シミュラビリティと $n$-wise 適合性のどちらを選択するかは、シミュレーションに正確に $n$ 個の測定を用いる必要があるのか（シミュラビリティ）、あるいは、実際にはより多くの測定を必要とする可能性のある確率的な混合戦略を許容するのか（凸包／適合性構造）という点に依存する。
• 認証プロトコルの洗練: これらの結果は、測定の数のセミ・デバイス非依存およびデバイス非依存認証に直接的な影響を与える。具体的には、先行研究で行われているように $n$-シミュラビリティを $n$-コピー共同測定可能性で近似することは、$n$-wise 適合性 ($JM_n^{conv}$) を用いることで洗練させることが可能であると著者らは述べている。これにより、計算効率（SDPによる）を維持しながら、真の測定リソースを認証するためのクリティカルな可視性の境界をよりタイトにできる。
• 操作的側面と幾何学的側面のトレードオフ: 本論文は、トレードオフを浮き彫りにしている。すなわち、$n$-シミュラビリティは操作的に明確に定義されているが非凸であり、特性把握が困難である一方、$n$-wise 適合性は幾何学的に明快で凸であるが、厳密なシミュレーションの文脈においては直感に反するような操作的リソース（ノイズのない測定を用いてノイズを含むものをシミュレートするなど）を必要とする可能性がある。

著者らは、本研究が、特定の用途に対してどの一般化が適切であるかを明確にし、また $n$-コピー不適合性のデバイス非依存認証や、他の操作的に関連のある一般化の存在といった未解決の問いを特定することで、将来の研究を導くものであると結論付けている。