技術要約：不完全な測定を伴う量子特性の認証

問題提起

量子系の精密な特性評価は、量子技術の進展における基本的な前提条件である。この領域における重要な課題の一つは、ハミルトニアンの期待値、量子フィデリティ、エントロピー、量子フィッシャー情報量といった不可欠な量を含む、量子状態の凸関数の値を認証することである。

これらの量を推定するための既存の手法は、通常、量子状態トモグラフィーを実行した後に、再構成された状態に対して関数を適用することに依存している。しかし、これらの標準的なアプローチは、現実的な不完全性、具体的にはショットノイズ（有限の統計に起因するもの）および測定誤差（測定装置の系統的な偏差）を無視しているため、厳密な認証を提供できないことが多い。これらの影響を無視することは、大きな不確実性を招き、量子計算の堅牢性を損なったり、実験結果について誤った結論を導いたりする可能性がある。近年の研究では、信頼領域を定義することでショットノイズに対処しているが、これらは一般に測定デバイスが完全に特性化されていることを前提としており、それゆえに校正誤差や測定プロセスにおける不完全性を考慮できていない。

手法

著者らは、ショットノイズと測定の不完全性の両方を共同で考慮する認証手法を提案している。このフレームワークは、実験者が測定に対して不完全な制御しか持たないシナリオに対して、文献[11]で導入された信頼領域のアプローチを拡張したものである。

コアフレームワーク

本手法は、理想的な確率と実験的に推定された確率との間の距離を制限することによって、実験的な量子状態 $\omega$ の信頼領域を定義する。これは、主に以下の2つの要素を通じて達成される：

1. 統計的誤差（ショットノイズ）： 実験的な推定値 $\hat{f}$ と真の確率ベクトル $\vec{p}$ の間の偏差は、Bretagnolle–Huber–Carolの不等式を用いて制限される。$N$ 個のコピーの状態と $m$ 個の測定結果がある場合、$l_1$ 距離は、確率 $1-\delta$ で $\epsilon_1 = \sqrt{\frac{2}{N} \ln \frac{2m}{\delta}}$ によって制限される。

2. 系統的誤差（測定の不完全性）： ターゲットとなる正の演算子値測定（POVM）$\{E_k\}$ と、実際に実装されたPOVM $\{F_k\}$ の間の相違は、操作的距離 $d_{op}(E, F)$ を用いて定量化される。この距離は、すべての可能な状態に対して、2つのPOVMによって生成される確率分布間の最大 $l_1$ 距離として定義される。著者らは、この距離を $\epsilon_2$ で制限し、$d_{op}(E, F) \leq \epsilon_2/2$ となるようにしている。

認証プロトコル

凸関数 $F(\omega)$ の認証された境界は、以下の制約を少なくとも $1-\delta$ の確率で満たす密度行列 $\rho$ の集合に対して、最小値（または最大値）を解く凸最適化問題によって得られる：

• $\text{tr}(\rho) = 1$ かつ $\rho \geq 0$。
• $\sum_{k=1}^m |\text{tr}(E_k \rho) - \hat{f}_k| \leq \epsilon_1 + \epsilon_2$。

ここで、$\hat{f}_k$ は不完全なPOVM $\{F_k\}$ を測定することから得られる実験的な頻度を表す。制約の和 $\epsilon_1 + \epsilon_2$ は、統計的誤差と理想的な測定と実際の測定の間の操作的距離を、三角不等式を用いて組み合わせることで導出される。

操作的距離の境界（$\epsilon_2$）の決定

論文では、利用可能な実験セットアップに関する知識に応じて、$\epsilon_2$ を推定するためのいくつかの明示的な処方箋を提供している：

• 数値シミュレーション： ノイズ源が十分に特性化されている場合、$\epsilon de_{op}$ の定義またはその上界を用いて、数値シミュレーションを通じて $\epsilon_2$ を推定できる。
• テンソル積分解： POVMが局所的なテンソル積に分解する場合の $n$ 量子ビット系では、グローバルな操作的距離は局所的な操作的距離の和によって制限でき、計算が簡素化される。
• 量子測定トモグラフィー： 実際のPOVMは、実験統計から再構成して、距離を制限することができる。
• 直接推定： 2デザインに関連する関係式を用いるか、あるいは理想的なPOVMがランク1の射影演算子であると仮定することで、特定のフィデリティのような量を実験的に推定することにより、$\epsilon_2$ を制限できる。

本手法の重要な特徴は、測定が情報的に完全（IC）であることを要求しない点である。これにより、IC-POVMが指数関数的に膨大な数の設定を必要とするため、実験的なオーバーヘッドが大幅に削減される。

主な結果と応用

著者らは、誤った結論を避けるための本手法の必要性を実証するために、3つの数値例を通じて手法を検証している：

1. 最小準備フィデリティ： 本手法は、様々なノイズモデル（振幅減衰、位相減衰、デポラリゼーション、回転シフト）の下での100個のHaarランダムな2量子ビット状態のフィデリティを認証するために適用された。結果は、本手法がフィデリティの非自明な下限を提供することを示しており、境界のタイトさはノイズの強度とショット数に依存する。

2. スピン系における磁化： 強磁性系の研究において、著者らは、測定の不完全性（具体的には測定基底の回転）を無視すると、システムが完全に磁化されていないという誤った結論を導くことを示した。測定の不完全性を考慮した本手法は、磁化が1であることを正しく特定したが、系統的誤差を無視した手法は、回転角とショット数に応じて、磁化が著しく低い、あるいは負であると示唆した。

3. もつれ検知器（Entanglement Witness）： プロトコルは、2量子ビットのもつれ検知器に対してテストされた。結果は、系統的誤差を無視すると、分離可能な状態に対してもつれの誤認証が生じる可能性があることを示した。逆に、提案された手法は、分離可能な状態を正しく分離可能であると特定しつつ、最大もつれ状態に対してもしっかりと、もつれを認証することに成功した。さらに、著者らは、不完全性を無視した手法は、ノイズやショットノイズが大きい場合に実行不可能（解が存在しない）になることが多い一方で、彼らの手法はすべての領域で有効であり、認証された境界を算出できることを指摘した。

意義と主張

論文は、統計的誤差と系統的誤差の両方を統合した、量子実験のための多用途で堅牢な認証フレームワークを提供すると主張している。その意義は、以下の具体的な貢献にある：

• 信頼領域の一般化： 測定制御が不完全な状況、すなわち近未来の量子実験において一般的なシナリオを含めるように、既存の信頼領域フレームワークを拡張している。
• 誤った結論に対する堅牢性： 測定の不完全性を明示的にモデル化することで、系統的誤差を無視した際に生じる誤った結論（例：誤ったもつれ判定や誤った磁化値）を防ぐ。
• 実験的効率性： 本手法は情報的に完全な測定を必要としないため、実験者は自身のセットアップの制約に基づいたより単純な測定セットを選択できる。
• 計算の扱いやすさ： 凸関数または凹関数に対して、得られる最適化問題は凸であり、内点法を用いて効率的に解くことができる。
• 適用可能性： フィデリティ、磁化、もつれに対して実証されているが、このフレームワークはエネルギー、エントロピー、量子フィッシャー情報量を含む、広範なクラスの凸量に適用可能である。

著者らは、このアプローチが、デバイスがノイズを含み、校正が限定的な現実的な設定において、厳密な保証を得るための実用的な経路を提供すると結論付けている。