[论文解读] 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

一句话总结

本文建立了量子多参数估计中的间隙持续定理，证明若单次量子探针态无法实现 Holevo Cramér-Rao 界（HCRB），则对于任意有限数量的副本，该界仍无法实现。研究进一步推导出在可分测量与集体测量下，对称对数导数 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）的可实现性问题。
• 建立在有限副本探针态下 Holevo Cramér-Rao 界（HCRB）可实现的条件。
• 推广 Horodecki 等人（2022）提出的问题，即在集体测量下量子 Cramér-Rao 界的不可实现性。
• 阐明在有限与无限副本测量背景下，SLDCRB、HCRB 与 Nagaoka Cramér-Rao 界（NCRB）之间的相互作用。
• 提供在可分测量与集体测量下 SLDCRB 可实现的充要条件，解决了量子计量学中的一个关键开放问题。

提出的方法

• 证明在双参数估计中，对于厄米算符，HCRB 解在等价关系下具有唯一性。
• 利用 HCRB 解的唯一性，建立间隙持续定理：若 HCRB 在单副本下不可实现，则对任意有限副本数均不可实现。
• 通过单个副本上的可分测量，推导出 SLDCRB 可实现的充要条件。
• 将 SLDCRB 可实现条件扩展至 M 个副本的集体测量，证明无论 M 为何值，条件均保持不变。
• 分析有限 M 下的 NCRB 与 HCRB，表明 HCRB 满足 𝒞_H,M = 𝒞_H / M，且利用换位子的核范数推导出 NCRB 的下界。
• 通过重参数化解决 δ → 0 极限下的明显奇点，表明当模型被重参数化以消除导数为零的行为时，HCRB 与 NCRB 收敛至同一值。

实验结果

研究问题

• RQ1 在何种条件下，Holevo Cramér-Rao 界（HCRB）可被有限数量的量子探针态副本实现？
• RQ2 是否可能通过单个探针态副本的可分测量实现对称对数导数 Cramér-Rao 界（SLDCRB）？在何种条件下可以实现？
• RQ3 若 HCRB 在单副本水平下不可实现，是否意味着其在任意有限副本数下也均不可实现？
• RQ4 当 M 很大时，Nagaoka Cramér-Rao 界（NCRB）能否趋近于 HCRB？这如何依赖于探针态的参数化方式？
• RQ5 参数化的选择如何影响 HCRB 与 NCRB 在奇异点（如 δ → 0）附近的性质？

主要发现

• 若 HCRB 在单副本下不可实现，则对任意有限副本数均不可实现，从而确立了间隙持续定理。
• 在双参数估计中，HCRB 的解在适当的厄米算符等价关系下唯一确定。
• 若 SLDCRB 在单副本下不可实现，则在任意有限副本数的集体测量下，SLDCRB 同样不可实现，且条件与可分测量情形相同。
• NCRB 存在一个由最优算符换位子的核范数决定的下界，且该下界随副本数 M 增大而增长。
• 在 δ → 0 极限下，通过重参数化可消除 HCRB 与 NCRB 收敛差异的表观矛盾，表明当模型被重参数化以去除奇异行为时，两界限收敛至同一值。
• 本文证明，SLDCRB 可实现的条件在单个副本的可分测量与 M 个副本的集体测量下完全相同，从而解决了 Horodecki 等人（2022）提出问题的广义版本。