Robust self-test of the maximally entangled state of two-qubits without assuming unitary observables

技術要約：ユニタリ観測量を仮定しない最大もつれ状態のロバストな自己テスト

問題提起
標準的なデバイス独立（DI）自己テストの枠組みは、局所的な測定が厳密に射影的である（恒等写像の二乗が自身となるユニタリ観測量である）という仮定に大きく依存している。ナイマークの拡張定理によれば、任意の正値演算値測定（POVM）を拡大されたヒルベルト空間における射影測定として扱うことは数学的に可能であるが、これをDIシナリオにおける未特性化の局所測定に適用することは、操作上の問題がある。近年の批判で強調されているように、ナイマークの拡張は元の非射影的な演算子を自己テストするのではなく、分析を環境内に存在する、あるいは攻撃者によって制御されている可能性のある拡大された空間へと転移させてしまう。その結果、ユニタリ性を仮定する標準的なロバスト自己テストの境界は、現実的な非ユニタリ観測量（例えば、光子実験における不十分な検出効率に見られるもの）の操作上の限界や真のエラーコストを覆い隠してしまう。完全なDI二部系ベルシナリオにおいて、ユニタリ性を仮定せずに、シングレット状態とパウリ観測量のための明示的かつロバストな自己テストの境界を導出することは、依然として重要な理論的空白となっている。

手法
著者らは、測定装置の拡張を明示的に拒否することにより、二量子ビットのシングレット状態とパウリ観測量のための「純粋な」自己テストを確立している。手法は以下の通りである：

1. フレームワークの設定： 共有状態は、標準的な純化を用いて（未特性化のソースを考慮するために）純粋状態 $|\psi_{AB}\rangle$ としてモデル化されるが、局所的な演算子 $A_x$ および $B_y$ は、厳密なユニタリではなく、バイナリPOVMから導かれる一般的なエルミート演算子（$A_x^2 \leq \mathbb{1}$ および $B_y^2 \leq \mathbb{1}$ を満たすもの）として扱われる。
2. 正則化： 非ユニタリ性の問題を回避するために、著者らは修正された符号関数 $\text{sgn}^*$ を用いた正則化ユニタリ観測子を導入する。この関数は、非負の固有値を $+1$ に、負の固有値を $-1$に再割り当てすることで、厳密にユニタリな演算子（$\tilde{A}_x^2 = \mathbb{1}$および$\tilde{B}_y^2 = \mathbb{1}$）となる$\tilde{A}_x$および$\tilde{B}_y$ を生成する。
3. 誤差分解： 物理的な実装と理想的な参照との間の全偏差は、以下の2つの成分に分割される：
   • ユニタリ・ロバストネス項： 正則化された演算子と理想的な参照との距離であり、シングレットのロバストな自己テストに関する McKague らによる画期的な定理を用いて境界付けられる。
   • 偏差項 ($\Delta$)： 物理的な非射影的演算子と、その正則化されたユニタリな対応物との間の偏差を明示的に定量化する追加の項。
4. 解析的導出： CHSHベル演算子の平方和（SOS）分解を用いて、著者らは実験誤差 $\epsilon$（観測された違反が $2\sqrt{2} - \epsilon$ である場合）の関数として、偏差項 $\Delta$ の解析的な境界を導出する。

主な貢献と結果

• 定理1： 本論文は、射影的測定を仮定しない、最大もつれ状態とパウリ観測量のための厳密なロバスト自己テスト定理を提示している。観測されたCHSH違反が $2\sqrt{2} - \epsilon$ であれば、物理的な状態/測定と理想的な参照との距離が $O(\sqrt{\epsilon})$ でスケールするような局所的なアイソメトリ $U$ が存在することを証明している。
• 明示的な境界： 著者らは、距離が $C\sqrt{\epsilon}$ で抑えられるような、特定の解析的ロバストネス係数 $C = (179 + 53\sqrt{2})/2^{3/4}$ を導出した。
• 非ユニタリ・コストの定量化： 現実的な実験誤差（具体的には、光子数スキームにおける $\approx 2.69$ のCHSH違反に対応する $\epsilon \approx 0.138$）に対して境界を評価することで、著者らは偏差項 $\Delta$ が深刻になることを示している。これは、真の非射影的POVMを使用することの「真のコスト」が、標準的な射影モデル（ナイマーク拡張に依存するもの）が示唆するよりも著しく高いことを明らかにしている。
• 代替アプローチとの比較： 本論文は、任意のPOVMへと自己テストを一般化する Baptista らによる「リフティング」定理と、その手法を対比させている。著者らは、Baptista のアプローチは数学的には一貫しているものの、累積的な誤差項を導入し、結果として緩い $O(\epsilon^{1/4})$ スケーリングをもたらすと指摘している。対照的に、提案手法は、特定のCHSH不等式に直接対処することで、よりタイトな $O(\sqrt{\epsilon})$ スケーリングを維持している。

意義と主張
本論文は、DI量子認証における根本的な概念的および実用的なギャップに対処していると主張している。ナイマークの拡張を用いずに測定を扱うことで、提案されたフレームワークは、物理的な局所デバイスの「真の実用的コスト」を捉えることができる。著者らは、彼らの結果が、現実的な実装（特に閾値検出器のような非射影的測定を含むもの）のデバイス独立的な認証は、標準的な射影モデルが示唆するものよりも「著しく困難」であることを示唆していると論じている。

本研究は、ナイマークの拡張に頼らずにこのような現実的なセットアップに対して意味のあるDI認証を達成するには、以下のいずれかが必要であると結論付けている：

1. 実験セットアップを大幅に変更し、違反を理想的な $2\sqrt{2}$ の限界に近づけること。
2. 拡張を呼び出すことなく、POVM上で直接動作する新しい世代の数値的自己テスト技術を開発すること。

著者らは、本研究を、より忠実な近未来の量子技術の認証に向けた一歩として位置づけており、将来の研究では、これらの手法を多粒子シナリオへ拡張したり、量子鍵配送のような実用的なDI暗号プロトコルにこれらの境界を統合したりできる可能性があると述べている。