Hierarchy of saturation conditions for multiparameter quantum metrology bounds

TL;DR

This paper systematically classifies the conditions under which the quantum Cramér-Rao bound can be saturated in multiparameter quantum metrology, especially considering realistic noisy scenarios, revealing gaps and clarifying fundamental limits.

Contribution

It resolves the hierarchy of commutativity conditions for saturability of the QCR bound in noisy multiparameter quantum metrology, identifying gaps and providing explicit counterexamples.

Findings

Commutativity of generators alone does not guarantee bound saturability in noisy states.

Identified strict gaps between different commutativity conditions.

Provided explicit counterexamples illustrating the boundaries of these conditions.

Abstract

The quantum Cram\'er-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.