Hierarchy of saturation conditions for multiparameter quantum metrology bounds

TL;DR

This work analyzes how saturability of the quantum Cramér-Rao bound behaves in multiparameter quantum metrology under unitary parameter encoding, especially in the presence of noise that yields mixed states. It develops a systematic hierarchy of commutativity-based saturation conditions (weak, one-sided, partial, and strong) and connects them to additive and nonadditive quantum bounds (NH, Holevo, QCR), providing explicit counterexamples that reveal gaps and noncoincidences in the chain. A central finding is that commuting generators do not guarantee QCR saturability in realistic mixed-state settings, and that WC alone may fail to imply saturation even for rank-deficient cases. The results clarify fundamental precision limits for noisy distributed quantum sensing and highlight the need for careful state- and generator-specific analyses beyond idealized pure-state models.

Abstract

The quantum Cramér-Rao (QCR) bound sets the ultimate local precision limit for unbiased multiparameter estimation. Yet, unlike in the single-parameter case, its saturability is not generally guaranteed and is often assessed through commutativity-based conditions. Here, we resolve the logical hierarchy of these commutativity conditions for unitary parameter-encoding transformations. We identify strict gaps between them, uncover previously assumed but missing implications, and construct explicit counterexamples to characterize the boundaries between distinct classes. In particular, we show that commutativity of the parameter-encoding generators alone does not ensure the saturability of the QCR bound once realistic noise produces mixed probe states. Our results provide a systematic classification of saturability conditions in multiparameter quantum metrology and clarify fundamental precision limits in noisy distributed quantum sensing beyond idealized pure-state settings.

Figures (1)

• Figure 1: Schematic summary of hierarchical chain in multiparameter quantum metrology. Here, $\mathcal{C}_{\rm MI} (\varrho_{\boldsymbol{\theta}}), \mathcal{C}_{\rm QCR} (\varrho_{\boldsymbol{\theta}}), \mathcal{C}_{\rm NH} (\varrho_{\boldsymbol{\theta}})$, and $\mathcal{C}_{\rm H} (\varrho_{\boldsymbol{\theta}})$ respectively represent the most informative (MI), quantum Cramér-Rao (QCR), Nagaoka-Hayashi (NH), and Holevo (H) bounds, defined in Section \ref{['sec:II.B']}. Also, $S(\varrho_{\boldsymbol{\theta}})=0, O(\varrho_{\boldsymbol{\theta}})=0, P(\varrho_{\boldsymbol{\theta}})=0$, and $W(\varrho_{\boldsymbol{\theta}})=0$ respectively denote the strong commutativity (SC), one-sided commutativity (OC), partial commutativity (PC), and weak commutativity (WC) conditions, explained in Section \ref{['sec:II.C']}. The operator $\mathcal{H}_i$ is a parameter-encoding generator in Eq. (\ref{['eq:generator']}).

Theorems & Definitions (7)

• Conjecture 1
• Conjecture 2
• proof
• proof
• proof
• proof : Derivation of Eq. (\ref{['eq:unitaryGform_basisInd']}):
• proof : Derivation of Eq. (\ref{['eq:unitaryGform_basisInd_hierarchical']}):