[論文レビュー] A Simplified Expression for Quantum Fidelity

Adrian Müller|arXiv (Cornell University)|Sep 19, 2023

Quantum Information and CryptographyComputer Science被引用数 3

ひとこと要約

本稿では、2つの混合量子状態間の量子忠実度に対する簡略化され対称的な表現を提示する: $ F(\rho,\sigma) = \left(\sum_i \sqrt{\lambda_i(\rho\sigma)}\right)^2 $。この表現は、行列の幾何平均や擬似逆行列を避けるエレガントなスペクトル写像の議論により証明される。再定式化により、$ \rho\sigma $ の固有分解を1回のみ行う計算的に効率的な手法が可能となり、従来の手法に比べて完全な行列分解を回避することで実用的に優れている。

ABSTRACT

Quantum fidelity is one of the most important measures of similarity between mixed quantum states. However, the usual formulation is cumbersome and hard to understand when encountering the first time. This work shows in a novel, elegant proof that the expression can be rewritten into a form, which is not only more concise but also makes its symmetry property more obvious. Further, the simpler expression gives rise to a formulation that is subsequently shown to be more computationally efficient than the best previous methods by avoiding any full decomposition. Future work might look for ways in which other theorems could be affected or utilize the reformulation where fidelity is the computational bottleneck.

研究の動機と目的

• 混合量子状態の量子忠実度のより直感的で対称的な定式化を提供すること。
• 忠実度の表現を導出する際に行列の幾何平均や擬似逆行列に依存しないようにすること。
• 簡略化された形式が、忠実度計算のためのより計算効率の良いアルゴリズムを可能にすることを示すこと。
• 新しい手法の計算的利点を、既存の手法と比較して実験的に検証すること。
• 忠実度が計算のボトル neck となる将来的な応用を可能にするために、複雑性を低減すること。

提案手法

• 行列のスペクトルの巡回性とスペクトル写像の性質を用いて、$ \sqrt{\sqrt{\rho}\sigma\sqrt{\rho}} $ の固有値スペクトルが $ \sqrt{\rho\sigma} $ の固有値スペクトルと等しいことを証明する。
• トレースと固有値の関係を適用し、$ \Tr\left(\sqrt{\sqrt{\rho}\sigma\sqrt{\rho}}\right) = \Tr\left(\sqrt{\rho\sigma}\right) $ を示す。
• 簡略化された忠実度の公式 $ F(\rho,\sigma) = \left(\sum_i \sqrt{\lambda_i(\rho\sigma)}\right)^2 $ を導出する。この式は対称的で簡潔である。
• $ \rho\sigma $ の一般固有分解を1回のみ行うことで、完全な行列分解を回避する新しい手法を実装・ベンチマークする。
• 2x sqrtm、3x svd、sqrtmh + eigvalsh、sqrtm_svd + svd と比較して、Apple M1チップ上でのランダムな密度行列を用いた性能評価を行う。
• $ \rho\sigma $ が非負の固有値を持つことを利用し、さらに計算を最適化する。

Figure 1: Comparing the performance of different methods to calculate quantum fidelity. “2x sqrtm” refers to calculating two general eigendecompositions to calculate the matrix square roots of $\rho$ and $\sqrt{\rho}\sigma\sqrt{\rho}$ in equation ( 1 ). “3x svd” is another commonly used method based

実験結果

リサーチクエスチョン

• RQ1 混合状態間の量子忠実度の標準的表現を、より対称的で直感的な形に簡略化できるか？
• RQ2 行列の幾何平均や擬似逆行列に依存せずに、簡略化された忠実度表現を導出できるか？
• RQ3 簡略化された表現が、完全な行列分解を回避するより計算効率の良い手法をもたらすか？
• RQ4 新しい手法の性能は、既存の最先端手法と比較して、速度とスケーラビリティの観点でどのように異なるか？
• RQ5 新しい定式化により、忠実度が計算のボトル neck となる応用で、より高速な計算が可能になるか？

主な発見

• 簡略化された忠実度表現 $ F(\rho,\sigma) = \left(\sum_i \sqrt{\lambda_i(\rho\sigma)}\right)^2 $ は、スペクトル写像と巡回スペクトル性質を用いて、標準形と等価であることが証明された。
• 新しい定式化により、$ \rho $ と $ \sigma $ 間の忠実度の対称性が直ちに明らかになり、解釈性が向上した。
• 本手法は $ \rho\sigma $ の固有分解を1回のみ必要とし、完全な行列分解を回避することで計算オーバーヘッドを低減した。
• 実験的評価では、小規模および大規模な密度行列において、最も優れた代替手法に比べて約2倍速いことが示された。
• システムサイズにかかわらず性能向上が一貫しており、中程度の次元でも競争力が保たれた。
• 既存の最適化（例：$ \rho\sigma $ の非負の固有値の利用）と互換性があり、将来の固有値計算分野の進歩からも恩恵を受ける可能性がある。