Only with the simultaneous estimation of multiple parameters are the quantum aspects of metrology fully revealed. This is due to the incompatibility of observables. The fundamental bound for multiparameter quantum estimation is the Holevo Cramér-Rao bound (HCRB) whose evaluation has so far remained elusive. For finite-dimensional systems we recast its evaluation as a semidefinite program, with reduced size for rank-deficient states. We show that it also satisfies strong duality. We use this result to study phase and loss estimation in optical interferometry and three-dimensional magnetometry with noisy multiqubit systems. For the former, we show that, in some regimes, it is possible to attain the HCRB with the optimal (single-copy) measurement for phase estimation. For the latter, we show a nontrivial interplay between the HCRB and incompatibility and provide numerical evidence that projective single-copy measurements attain the HCRB in the noiseless 2-qubit case.
Only with the simultaneous estimation of multiple parameters are the quantum aspects of metrology fully revealed. This is due to the incompatibility of observables. The fundamental bound for multiparameter quantum estimation is the Holevo Cramér-Rao bound (HCRB) whose evaluation has so far remained elusive. For finite-dimensional systems we recast its evaluation as a semidefinite program, with reduced size for rank-deficient states. We show that it also satisfies strong duality. We use this result to study phase and loss estimation in optical interferometry and three-dimensional magnetometry with noisy multiqubit systems. For the former, we show that, in some regimes, it is possible to attain the HCRB with the optimal (single-copy) measurement for phase estimation. For the latter, we show a nontrivial interplay between the HCRB and incompatibility and provide numerical evidence that projective single-copy measurements attain the HCRB in the noiseless 2-qubit case.
We study quantum-limited 3D magnetometry using two qubits. Two qubits form the smallest multi-qubit system for 3D magnetometry, the simultaneous estimation of three phases, as it is impossible with a single qubit. We provide an analytical expression for the Holevo-Cramér-Rao bound (HCRB),the fundamental attainable quantum bound of multiparameter estimation, for 3D magnetometry using two-qubit pure states and show its attainability by rank-1 projective measurements. We also examine the attainability of the HCRB in the presence of dephasing noise using numerical methods. While attaining the HCRB may require collective measurements over infinitely many copies, we find that for high noise the HCRB is practically saturated by two copies only. In the low noise regime, up to three copies are unable to attain the HCRB. More generally, we introduce new multiparameter channel bounds to compare quantum-classical and classical-quantum strategies where multiple independent copies of the state are entangled before or after recording the parameters respectively. We find that their relative performance depends on the noise strength, with theclassical-quantum strategy performing better for high noise. We end with shallow quantum circuits that approach the fundamental quantum limit set by the HCRB for two-qubit 3D magnetometry using up to three copies.
Multiparameter quantum metrology is ubiquitous in physics, yet it remains fundamentally challenging. As reflected by the uncertainty principle, distinct unknown parameters generally cannot be estimated simultaneously at their individual ultimate precision limits. The quantum Cramér--Rao bound (QCRB) and the Holevo Cramér--Rao bound (HCRB) represent the ultimate precision bounds in multiparameter quantum metrology. Here we introduce new formulations of these bounds based on quantum state purification. We show that, for any mixed state, their values are directly related to those of its purification, provided that nuisance parameters are introduced on the environmental system. Leveraging this connection, we develop a remarkably simple method for asymptotically attaining either the HCRB or twice the QCRB for arbitrary mixed states, using random purification channels and individual measurements.
The estimation of multiple parameters in quantum metrology is important for a vast array of applications in quantum information processing.However, the unattainability of fundamental precision bounds for incompatible observables greatly diminishes the applicability of estimation theory in many practical implementations.The Holevo Cramér-Rao bound (HCRB) provides the most fundamental, simultaneously attainable bound for multiparameter estimation problems.A general closed form for the HCRB is not known given that it requires a complex optimization over multiple variables.In this work, we develop an analytic approach to solving the HCRB for two parameters.Our analysis reveals the role of the HCRB and its interplay with alternative bounds in estimation theory.For more parameters, we generate a lower bound to the HCRB.Our work greatly reduces the complexity of determining the HCRB to solving a set of linear equations that even numerically permits a quadratic speedup over previous state-of-the-art approaches.We apply our results to compare the performance of different probe states in magnetic field sensing and characterize the performance of state tomography on the code space of noisy bosonic error-correcting codes.The sensitivity of state tomography on noisy binomial code states can be improved by tuning two coding parameters that relate to the number of correctable phase and amplitude damping errors.Our work provides fundamental insights and makes significant progress toward the estimation of multiple incompatible observables.
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)].
The Holevo Cramér-Rao bound sets the asymptotically attainable precision of quantum multiparameter estimation, but its attainability with finite quantum state copies remains unresolved in general. While a gap between the single-copy optimum and the Holevo bound persists at any finite copy number for two-parameter estimation models, the higher-parameter case has remained open. Here we disprove universal finite-copy gap persistence beyond two parameters by constructing a three-parameter rank-two model whose Holevo bound is unattainable with one copy but attained exactly with two. We further prove finite-copy persistence for full-rank models with any number of parameters. We then experimentally implement the two-copy collective measurement for the constructed model using superconducting qubits. We observe a two-copy estimation error below the single-copy and separate-measurement bounds determined from state tomography. By introducing controlled depolarization, we show that this precision advantage persists over a finite noise range. Our results connect the attainability of ultimate quantum precision to the structure of the multiparameter estimation model and the resources available for collective measurements.
The estimation of more than one parameter in quantum mechanics is a fundamental problem with relevant practical applications. In fact, the ultimate limits in the achievable estimation precision are ultimately linked with the non-commutativity of different observables, a peculiar property of quantum mechanics. We here consider several estimation problems for qubit systems and evaluate the corresponding quantumnessR, a measure that has been recently introduced in order to quantify how incompatible the parameters to be estimated are. In particular, R is an upper bound for the renormalized difference between the (asymptotically achievable) Holevo bound and the SLD Cramér-Rao bound (i.e., the matrix generalization of the single-parameter quantum Cramér-Rao bound). For all the estimation problems considered, we evaluate the quantumness R and, in order to better understand its usefulness in characterizing a multiparameter quantum statistical model, we compare it with the renormalized difference between the Holevo and the SLD-bound. Our results give evidence that R is a useful quantity to characterize multiparameter estimation problems, as for several quantum statistical model, it is equal to the difference between the bounds and, in general, their behavior qualitatively coincide. On the other hand, we also find evidence that, for certain quantum statistical models, the bound is not in tight, and thus R may overestimate the degree of quantum incompatibility between parameters.