Title:The gap persistence theorem for quantum multiparameter estimation

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 with one another. As such, 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. In this work we investigate the interplay between these bounds. 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. As an application of this result, we show that it is impossible to saturate the HCRB for several physically motivated problems, including the simultaneous estimation of phase and phase diffusion. For estimating any number of parameters, we provide a necessary and sufficient condition for the attainability of the SLDCRB with separable measurements. This provides a complete solution to one of five open problems in quantum information, recently introduced by [this http URL et al, PRX Quantum 3 (2022)]. 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 a necessary and sufficient condition for the attainability of the SLDCRB for any finite number of copies of the probe state.