Deterministic randomness extraction for quantum random number generation with partial trust

以下は、提示された論文「Deterministic randomness extraction for quantum random number generation with partial trust（部分的な信頼性を有する量子乱数生成のための決定論的乱数抽出）」の技術的な詳細な要約です。

1. 問題背景と課題

古典情報理論において、任意のエントロピー源から近似的に理想的な乱数を決定論的（シードなし）に抽出することは不可能であることが知られています（Santha-Vazirani 定理など）。通常、弱源から乱数を抽出するには、完全な乱数シード（seeded extraction）が必要か、複数の独立した弱源を組み合わせる（multi-source extraction）必要があります。

しかし、量子乱数生成（QRNG）の分野では、装置の構造に関する追加知識を利用することで、決定論的抽出が可能になる可能性があります。

• 既存の成果: Foreman と Masanes (2025) は、装置非依存（DI）設定において、ベル不等式の違反（CHSH スコア）をエントロピーの下限として利用し、メモリレスな装置に対する決定論的抽出器を構築しました。
• 本研究の課題: DI 設定は非常に厳格な仮定（装置の完全なブラックボックス化）を必要とし、実験的に達成が困難です。一方、部分的に信頼できる装置（prepare-and-measure 設定）では、より高いレートが期待されますが、既存の DI 手法をこの「部分的な信頼性（partial trust）」の文脈に適用する理論的枠組みは確立されていませんでした。

本研究は、**「部分的な信頼性を持つ prepare-and-measure 設定において、Foreman と Masanes の決定論的抽出手法を拡張し、実用的な QRNG プロトコルを構築できるか」**という問いに答えることを目的としています。

2. 手法と理論的枠組み

2.1 設定の定義

本研究では、以下の 3 つの「部分的な信頼性」を持つ prepare-and-measure 設定を扱います。

1. S1 (Untrusted-preparation): 状態生成は信頼できない（エーバと相関あり）が、測定器は信頼でき、特徴付けられている。
2. S2 (Untrusted-measurement): 状態生成は信頼でき、特徴付けられているが、測定器は信頼できない（エーバと相関あり）。
3. S3 (Semi-DI): 2 つの準備状態 $\{\rho_0, \rho_1\}$ が信頼でき、それらの重なり（overlap） $F(\rho_0, \rho_1) \ge \delta$ が既知である。測定器は信頼できない。

これらすべての設定において、エーバ（Eve）は量子サイド情報を保持し、装置はメモリレス（各ラウンドで独立）であると仮定します。

2.2 主要な技術的貢献：推測確率の双対解からの演算子不等式

本研究の核心的な貢献は、Foreman と Masanes が DI 設定で用いた CHSH 関数の役割を、推測確率（Guessing Probability）の半正定値計画（SDP）の双対解に置き換えることにあります。

• 推測確率の SDP: 観測された統計 $p$ と重なり制約 $\delta$ 下で、エーバが出力を推測する確率 $P_{guess}$ を上限評価する SDP を定式化します。
• 双対解の導出: この SDP の双対問題の解 $\{H_\lambda, \nu_{a,x}\}$ を用いることで、出力の予測可能性（predictability）を制限する不等式を導出します。
• 演算子不等式（定理 1）: 従来の確率の不等式を、ヒルベルト空間上の演算子不等式へと一般化しました。
  $$\pm \text{Tr}_S[(\rho_S \otimes \mathbb{1}_M)(\Pi^0_{SM} - \Pi^1_{SM})] \preceq G_M$$
  ここで、$G_M$ は双対解 $\nu_{a,x}$ と測定演算子から構成される演算子です。この不等式は、測定装置の内部システム（エーバと相関を持つ部分）に作用し、決定論的抽出の安全性を保証する鍵となります。

2.3 決定論的抽出器の適用

上記の演算子不等式を用いて、Foreman と Masanes が提案した以下の 2 種類の決定論的抽出器が、本研究の設定（S1-S3）でも有効であることを証明しました。

1. 単一ビット抽出（XOR 関数）:
   • 入力ビット列 $a$ に対して XOR 演算を適用します。
   • 定理 2 により、$n$ ラウンド後の状態と理想状態とのトレース距離が、演算子 $G$ の積の期待値で抑えられることが示されました。
2. 多ビット抽出:
   • 特定の条件（式 12）を満たす関数 $g$ を用いて、より長い乱数列を生成します。
   • 定理 3 により、同様にトレース距離が抑えられることが証明されました。

3. 結果とシミュレーション

3.1 安全性保証付きプロトコル（Spot-checking）

S3（Semi-DI）設定に焦点を当て、実用的な乱数生成プロトコル（プロトコル 1）を提案しました。

• 仕組み: ラウンドを「推定用（estimation）」と「生鍵生成用（raw key）」にランダムに分割します。推定ラウンドで観測統計を収集し、双対解の制約を満たすか確認します。条件を満たせば、生鍵ラウンドのデータに対して抽出器を適用します。
• 安全性: 定理 4 により、このプロトコルがユニバーサル・コンポーザブルなセキュリティ（$\epsilon$-セキュリティ）を満たすことが証明されました。

3.2 数値シミュレーション結果

実験的に実現可能な VCSEL（垂直共振器面発光レーザー）の偏光スイッチング現象に基づく行動モデルを用いてシミュレーションを行いました。

• 有限サイズ効果:
  • 重なり $\delta = 0.5$（最大不確実性）の場合、7,000 ラウンド（$7 \times 10^3$）程度で正の鍵生成レートが達成されました。これは、有限サイズ効果下での実用性を示唆しています。
• 漸近レート:
  • ラウンド数が無限大に発散する極限では、任意の $\delta \in (0, 1)$ に対して成功した抽出が可能であることが示されました。
  • 推定ラウンドの割合 $p_e$ が 0 に近づいても、$\delta \neq 0, 1$ であれば抽出可能です（DI 設定では $p_e > 0.5$ が必要だったのに対し、大幅に改善されています）。
• ノイズ耐性:
  • 一様ノイズ（white noise）に対する耐性を評価しました。ノイズ率が増加してもレートは低下しますが、他の量子暗号プロトコル（例：B92）に比べて低下の勾配が緩やかであり、高いノイズ耐性を持つことが示されました。

4. 意義と結論

• 理論的意義:
  • 装置非依存（DI）設定で確立された「決定論的抽出」の概念を、より実験的に実現しやすい「部分的な信頼性（Semi-DI や装置依存）」設定へと拡張しました。
  • ベル不等式の代わりに「推測確率の双対解」を用いることで、様々な信頼モデルに統一的に適用可能な演算子不等式を構築しました。
• 実用的意義:
  • 決定論的抽出（シード不要）を実現しつつ、DI 設定よりも遥かに高い鍵生成レートと、より少ないラウンド数での動作を可能にしました。
  • 7,000 ラウンドという有限サイズでの正のレートは、実システムへの適用可能性を強く示唆しています。
• 今後の課題:
  • 現在のプロトコルは、シード付き抽出（seeded extraction）と比較してレートが 1 桁以上低いことが確認されました。産業応用に向けた実用化のためには、プロトコルの効率性（レート）の大幅な改善が必要です。

総括すると、本研究は、量子乱数生成において「装置の信頼性」を部分的に利用することで、決定論的かつ安全な乱数抽出を現実的な条件下で可能にするための強力な理論的基盤と実用的なプロトコルを提供した画期的な研究です。