(2,m)-threshold quantum data hiding

技術要約：(2, m)-閾値量子データ隠蔽

問題提起
本論文は、量子データ隠蔽における課題に取り組んでいる。これは、情報が複数の当事者間で共有された量子状態にエンコードされることで、十分な数の当事者が協力しない限りデータが秘匿されるプロトコルである。古典的なデータ隠蔽は通信の制限に依存するが、量子データ隠蔽は、古典的通信（LOCC）が許容される場合でも、復元にはグローバルな量子操作を必要とするため、より強力な秘匿性を提供する。

先行研究では、以下の2つの極端なケースが確立されていた：

1. 2者間スキーム： 2者の間でビットを隠蔽するもので、LOCCでは失敗するが、共同測定では成功する。
2. (m, m)-閾値スキーム： $m$ 人の当事者間でデータを隠蔽するもので、$m$ 人全員が復元のために協力しなければならない。

文献には、中間的な協力要件に関するギャップが存在していた。具体的には、$2 \le k < m$ である $(k, m)$-閾値スキームは提案されていなかった。著者らは、任意のペアの当事者が隠されたビットを完全に復元できる一方で、すべての当事者が局所操作および古典的通信（LOCC）のみを行う場合には、得られる情報が無視できるほど小さいとなる $(2, m)$-閾値スキームを構築することを目的としている。

手法
著者らは、多者間量子状態識別という観点から問題にアプローチし、特にグローバルな識別とLOCC識別との間の差を分析している。

1. 理論的枠組み：

   • 本論文は、正定値演算子値測定（POVM）を用いたアンサンブル $\mathcal{E} = \{\eta_i, \rho_i\}$ の識別を定義している。
   • 著者らは、**PPT（正の部分転置）**測定の概念を導入している。すべてのLOCC測定はPPT測定であるため、PPT識別における最適成功確率 ($p_{\text{PPT}}$) は、LOCC識別 ($p_L$) の上界として機能する。
   • 著者らは、$p_{\text{PPT}}$ の双対特性（定理1）と、2状態アンサンブルに対するトレースノルム最小化定式化（定理2）を導出している。
   • 定理3は重要な理論的貢献であり、2者間状態のテンソル積から構成される多者間量子状態アンサンブルの最適PPT識別確率が、基礎となる2者間アンサンブルのPPT識別確率の和によって抑えられることを確立している。

2. スキームの構築：

   • システムアーキテクチャ： $m$ 人の当事者 ($A_1, \dots, A_m$) に対して、システムは、すべてのペア $(A_k, A_{k'})$ が特定の2者間部分系を共有するように構成されている。各当事者 $A_k$ は、他の各当事者に対応する $m-1$ 個の部分系を保持する。
   • 構成要素： 本スキームは、特定の2者間直交PPT状態アンサンブル $\mathcal{T} = \{ \frac{1}{2}, \tau_0; \frac{1}{2}, \tau_1 \}$ を利用している。決定的なことに、このアンサンブルは、状態が直交しているにもかかわらず、その最適PPT識別確率が任意にランダムな推測 ($1/2 + \epsilon$) に近いものとして選択されている。
   • エンコーディング・プロセス：
     • 隠蔽者は、すべてのペア $(k, k')$ について、独立した $\tau_{b_{k,k'}}$ のテンソル積としてグローバル状態 $\tau_{\vec{b}}$ を準備する。ここで、$b_{k,k'} \in \{0, 1\}$ はランダムなビットである。
     • ターゲットとなるビット $x$ を隠すために、隠蔽者はランダムなビット $b_{k,k'}$ とターゲットビット $x$ を用いて（modulo-2加算により）導出された古典的ビット列 $\vec{c}$ を放送する。
     • 具体的には、固定されたペア $(\alpha, \alpha')$ に対して、$c_{\alpha, \alpha'} = b_{\alpha, \alpha'} \oplus x$ とし、他のビットは他のランダムなビットをマスクする。

主な結果

1. ペアによる完全な復元： $\tau_0$ と $\tau_1$ は直交しているため、任意のペアの当事者 $(A_k, A_{k'})$ は、共有された部分系に対して共同測定を行うことで、状態を完全に識別し、ビット $x$ を復元できる。
2. LOCCセキュリティ： 本論文は、任意のLOCC測定を用いて隠されたビット $x$ を正しく推測できる最大平均確率が、以下のように抑えられることを証明している：
   $$\frac{1}{2} \le p_L(\mathcal{E}) \le \frac{1}{2} + \binom{m}{2} \left( p_{\text{PPT}}(\mathcal{T}) - \frac{1}{2} \right)$$
   $p_{\text{PPT}}(\mathcal{T})$ を（$\epsilon$ を十分に小さく選ぶことで）任意に $1/2$ に近づけることができるため、いかなるLOCC戦略（全 $m$ 者によるものであっても）による情報利得も、任意に小さくすることができる。
3. 可分状態： 提案されたスキームは、低次元の量子系（具体的には提供された例における2キュリット状態）の可分状態のみを用いて実装可能である。

意義と主張
本論文は、$(2, m)$-閾値量子データ隠蔽スキームを初めて提案し、2者間スキームと全協力スキームの間のギャップを埋めたと主張している。その意義は、主に以下の3つの領域にある：

• 中間的な閾値： 量子データ隠蔽が、全当事者の最大限の協力を必要とせず、中間的な協力要件（$k=2$）で達成可能であることを示している。
• リソース効率： もつれ状態（エンタングル状態）ではなく可分状態を利用することで、本スキームの実用的な実現可能性を高めている。著者らは、多者間量子データ隠蔽を実現するためにエンタングルメントは必須の資源ではないと明言している。
• 理論的境界： 多者間量子状態の最適LOCC識別の新しい上界を、グローバルなPPT識別と局所的な2者間識別の関係を通じて提供している。

著者らは、今後の拡張については控えめな姿勢を保っており、本スキームは単一ビットを隠蔽するものであるが、複数ビットへの拡張や、より高い閾値（$k > 2$）への拡張は、今後の調査における未解決の問題であると述べている。