[論文レビュー] The gap persistence theorem for quantum multiparameter estimation

Lorcán O. Conlon, Jun Suzuki+2 more|arXiv (Cornell University)|Aug 15, 2022

Quantum Computing Algorithms and Architecture被引用数 6

ひとこと要約

本稿は、量子多パラメータ推定におけるギャップ恒続定理を確立し、ホールボ・クラーマー・ラオ下界（HCRB）が1つの量子プローブ状態のコピーで達成不能である場合、任意の有限個のコピーに対しても達成不能であることを証明する。さらに、分離測定および集合的測定の下での対称対数微分Cramér-Rao下界（SLDCRB）の達成に必要な十分条件を導出し、非可換な最適測定が有限個のコピーにおけるHCRBおよびSLDCRBの達成を不可能にするという、量子メトロロジー分野における長年の未解決問題を解消する。

ABSTRACT

One key aspect of quantum metrology, measurement incompatibility, is evident only through the simultaneous estimation of multiple parameters. The symmetric logarithmic derivative Cramér-Rao bound (SLDCRB), gives the attainable precision, if the optimal measurements for estimating each individual parameter commute. When the optimal measurements do not commute, the SLDCRB is not necessarily attainable. In this regard, the Holevo Cramér-Rao bound (HCRB) plays a fundamental role, providing the ultimate attainable precisions when one allows simultaneous measurements on infinitely many copies of a quantum state. For practical purposes, the Nagaoka Cramér-Rao bound (NCRB) is more relevant, applying when restricted to measuring quantum states individually. The interplay between these three bounds dictates how rapidly the ultimate metrological precisions can be approached through collective measurements on finite copies of the probe state. We first consider two parameter estimation and prove that if the HCRB cannot be saturated with a single copy of the probe state, then it cannot be saturated for any finite number of copies of the probe state. With this, we show that it is impossible to saturate the HCRB for several physically motivated problems. For estimating any number of parameters, we provide necessary and sufficient conditions for the attainability of the SLDCRB with separable measurements. We further prove that if the SLDCRB cannot be reached with a single copy of the probe state, it cannot be reached with collective measurements on any finite number of copies of the probe state. These results together provide necessary and sufficient conditions for the attainability of the SLDCRB for any finite number of copies of the probe state. This solves a significant generalisation of one of the five problems recently highlighted by [P.Horodecki et al, Phys. Rev. X Quantum 3, 010101 (2022)].

研究の動機と目的

• 有限個のコピーにおける対称対数微分Cramér-Rao下界（SLDCRB）の達成可能性を解明すること。
• ホールボ・クラーマー・ラオ下界（HCRB）がプローブ状態の有限個のコピーで達成可能となる条件を確立すること。
• ホロデcki *et al.* (2022) が指摘した、集合的測定下での量子Cramér-Rao下界の非達成性に関する問題を一般化すること。
• 有限個と無限個のコピーの測定におけるSLDCRB、HCRB、およびナガオカ・クラーマー・ラオ下界（NCRB）の相互作用を明確にすること。
• 分離測定および集合的測定の下でのSLDCRB達成に必要な十分条件を提示し、量子メトロロジー分野における重要な未解決問題を解決すること。

提案手法

• 2パラメータ推定におけるヘルミート演算子の同値関係の下でHCRB解の一意性を証明する。
• HCRB解の一意性を用いてギャップ恒続定理を確立する：HCRBが1つのコピーで達成不能であれば、任意の有限個のコピーに対しても達成不能である。
• 1つのコピーに対する分離測定を用いて、SLDCRB達成に必要な十分条件を導出する。
• M個のコピーに対する集合的測定へのSLDCRB達成条件を拡張し、Mの値に関わらず同じ条件が成り立つことを証明する。
• 有限MにおけるNCRBおよびHCRBを分析し、HCRBが𝒞_H,M = 𝒞_H / M のスケーリングに従うことを示し、コンミュータのノルムを用いたNCRBの下界を導出する。
• δ → 0 の極限における見かけ上の特異性を再パrameterizationにより解消し、モデルを特異性を除くように再パラメータ化した場合、HCRBとNCRBが同じ値に収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 ホールボ・クラーマー・ラオ下界（HCRB）は、量子プローブ状態の有限個のコピーでいつ達成可能となるか？
• RQ2 分離測定を用いて1つのプローブ状態のコピーで対称対数微分Cramér-Rao下界（SLDCRB）を達成することは可能か？ その条件は何か？
• RQ3 1つのコピーでHCRBが達成不能である場合、これは任意の有限個のコピーに対しても同様に達成不能であることを意味するか？
• RQ4 Mが非常に大きい極限において、ナガオカ・クラーマー・ラオ下界（NCRB）はHCRBに近づくか？ その依存関係はプローブ状態のパラメータ化にどのように依存するか？
• RQ5 パラメータ化の選択は、δ → 0 の近傍におけるHCRBおよびNCRBの振る舞いにどのように影響するか？

主な発見

• HCRBが1つのコピーで達成不能であれば、任意の有限個のコピーに対しても達成不能であり、ギャップ恒続定理が確立される。
• 2パラメータ推定において、適切な同値関係の下でHCRBの解は一意に定義される。
• 1つのコピーでSLDCRBが達成不能であれば、同じ条件下で任意の有限個のコピーに対する集合的測定でもSLDCRBは達成不能である。
• NCRBは、最適演算子のコンミュータの核ノルムを含む式によって下から抑えられ、その値はコピー数Mとともに増加する。
• δ → 0 の極限において、HCRBとNCRBの見かけ上の乖離は再パラメータ化によって解消され、モデルを特異性を除くように再パラメータ化した場合、両下界が同じ値に収束することが示される。
• 本稿は、1つのコピーに対する分離測定とM個のコピーに対する集合的測定の両方において、SLDCRB達成の条件が同一であることを証明し、ホロデcki *et al.* (2022) が提起した問題の一般化されたバージョンを解決する。