Characterizing Photonic Partial Distinguishability Through Gram Matrix Tomography

技術要約：グラム行列トモグラフィーによる光子の部分的識別可能性の特性評価

問題提起
光子の部分的識別可能性（partial distinguishability）は、ボソンサンプリングや様々な量子技術といった大規模な光学的実験の中心となる、多光子干渉における極めて重要な要因である。制御不能な識別可能性は、線形光学ゲートにおけるエラーを導入し、量子増強干渉計の感度を低下させ、量子計算上の優位性を効率的な古典シミュレーションへと劣化させる可能性がある。部分的識別可能性の理論的枠組みは「バルグマン不変量（Bargmann invariants）」（内部状態の多変数トレース）に依存しているが、これらの内部自由度を特性評価することは実験的に困難である。多くの場合、内部状態（例：偏光、周波数、到着時刻）は直接アクセスできないか、あるいはその次元が未知であり、実験セットアップは空間モードのみを操作・分解する。既存の手法は識別不能性（indistinguishability）を証明することはできるが、部分的に識別可能な光子の相関情報（集合的な位相を含む）を完全に再構成し、その後の予測に対する定量的な誤差範囲を提供するための厳密なプロトコルを欠いている。

手法
著者らは、純粋またはほぼ純粋な内部状態を持つ、独立して準備された光子のグラム行列 $G$ を再構成するプロトコルであるグラム行列トモグラフィーを提案する。グラム行列の要素は $G_{ij} = \langle \psi_i | \psi_j \rangle$ で定義される。純粋状態の場合、$G$ は内部自由度に依存しない実験の統計量を予測するために必要なすべての相関情報を含んでいる。

本プロトコルは主に2つの段階で動作する：

1. データ取得: プロトコルは、$O(n^2)$ 個の特定のバルグマン不変量を測定することを要求する。論文では、受動的線形光学系と光子数分解検出器を用いてこれらの不変量にアクセスするための、2つの補完的な実験戦略を紹介している：

   • フーリエ法 (Fourier Method): 特定の巡回不変量（例：ペアワイズの重なりや高次のサイクル・トレース）を直接測定するために、標的化されたフーリエ干渉計を使用する。このアプローチでは、各不変量を個別に測定する。
   • ワンショット法 (One-Shot Method): 単一の汎用的な（ハール乱数による）干渉計を使用する。出力される光子数相関（2体および3体相関）を収集し、測定された相関関数から線形反転によって不変量を再構成する。このアプローチは、干渉計を各不変量ごとに再構成する必要がない。

2. 再構成と誤差解析:

   • プロトコルは、物理的に無関係な位相の選択（対角ユニタリ共役）を除いて、グラム行列 $G$ を再構成する。これは、重なりグラフの全域木（spanning tree）を用いてゲージを固定することで行う。
   • 誤差を、サンプリング誤差（有限のデータ）と系統誤差（純粋度からの逸脱）に明示的に分離する。
   • 著者らは、グラム行列の推定誤差（フロベニウスノルム）と、実験的にアクセス可能な「外部状態」の真の状態で再構成された状態との間のトレース距離を結びつける厳密な境界を導出した。このトレース距離の境界は、その後のあらゆる線形光学測定における結果分布の全変動距離（TVD）を直接制御する。

主な貢献

• 再構成の保証: グラム行列 $G$ を（位相を除いて）再構成することが、外部状態 $\Omega_{ext}$ の再構成に十分であることを確立した。論文では、予測された分布と実際の分布の間のTVDが $\frac{\sqrt{n}}{2} \|G - \hat{G}\|_F$ によって抑えられることを示す明示的な誤差境界を提供している。
• サンプル複雑性: 総サンプル複雑性は、内部ヒルベルト空間の次元に依存しないことが示されている。ペアワイズの重なりが定数によって下限付けられているという緩やかな仮定の下では、フーリエ法がトレース距離の精度 $\delta$ を達成するために $O(n^5/\delta^2)$ のサンプルを必要とする。また、$\Omega(n^2/\delta^2)$ という下限も証明されており、一般的な外部状態の再構成には二次的な成長が避けられないことを示している。
• 不純性への堅牢性: 本フレームワークは、ほぼ純粋な積状態（$\rho = \bigotimes \rho_i$、純度 $> 1-\epsilon$）に拡張されている。プロトコルは支配的な純粋成分を近似し、総誤差はサンプリング誤差と、不純度 $\epsilon$ に比例する系統項の組み合わせによって抑えられる。
• 実験的プロトコル: 2つの明確に運用に基づいたプロトコルが詳述されている。フーリエ法は、サンプルあたりの精度は高いが、複数の干渉計構成を必要とする。ワンショット法は、実験的な簡便さ（単一構成）を提供するが、線形反転を伴うため分散が増幅される可能性があり、同等の精度を得るためにより多くのサンプルを必要とする。

結果

• 理論的境界: 著者らは、純粋な積状態に対して、外部状態を高確率で精度 $\delta$ で推定するために、$O(n^5/\delta^2)$ サンプル（フーリエ法）、または特定の条件下で $O(n^3/\delta^2)$ サンプルが必要であることを証明した。混合状態の場合、誤差は不純度パラメータ $\epsilon$ と共にスケールする。
• 数値シミュレーション: 最大7光子のシステムを用いた、2つの手法の比較シミュレーションによれば、ワンショット法は理論的に実行可能であり、ランダムな干渉計に対しては条件良好（well-conditioned）であるが、一般にフーリエ法の方が、同じ実験ショット数に対して低い再構成誤差を達成する。
• 境界のギャップ: 数値結果は、誤差に関する理論的な上限がやや保守的（pessimistic）であることを示唆している。実際には、特に2次および3次の不変量の間で分散挙動が異なるワンショット法において、観測された誤差は予測される境界よりも大幅に小さい。
• スケーラビリティ: 本手法は、低次の測定では完全な相関情報が回収できないシステム（例：「サークルダンス」状態）においても、外部状態の再構成に成功している。ただし、高次の不変量が指数関数的に減衰するため、粒子数が増えるにつれて効率は低下する。

意義
本論文は、内部自由度を解明することなく、部分的に識別可能な光子の相関情報を再構成する、モデルに依存しない厳密な手法を提供することで、光子源の特性評価における空白を埋めるものであると主張している。グラム行列の再構成を外部状態のトレース距離の運用上の保証に結びつけることで、本プロトコルは、光子源のベンチマークのための定量的なツールを提供する。著者らは、グラム行列トモグラフィーを、単に識別不能性を証明するだけでなく、その背後にある状態を完全に特性評価する手法に代わる、光子の識別不能性に依存するプロトコルのための実用的なツールとして位置づけている。この研究は、有限のサンプリングや純度の偏差がある場合でもこれらの保証が保持されることを強調しており、現実的な実験シナリオへの適用可能性を示している。