Abstract:The symmetric logarithmic derivative Cramér-Rao bound (SLDCRB) provides a fundamental limit to the minimum variance with which a set of unknown parameters can be estimated in an unbiased manner. It is known that the SLDCRB can be saturated provided the optimal measurements for the individual parameters commute with one another. However, when this is not the case the SLDCRB cannot be attained in general. In the experimentally relevant setting, where quantum states are measured individually, necessary and sufficient conditions for when the SLDCRB can be saturated are not known. In this setting the SLDCRB is attainable provided the SLD operators can be chosen to commute on an extended Hilbert space. However, beyond this relatively little is known about when the SLD operators can be chosen in this manner. In this paper we present explicit examples which demonstrate novel aspects of this condition. Our examples demonstrate that the SLD operators commuting on any two of the following three spaces: support space, support-kernel space and kernel space, is neither a necessary nor sufficient condition for commutativity on the extended space. We present a simple analytic example showing that the Nagaoka-Hayashi Cramér-Rao bound is not always attainable. Finally, we provide necessary and sufficient conditions for the attainability of the SLDCRB in the case when the kernel space is one-dimensional. These results provide new information on the necessary and sufficient conditions for the attainability of the SLDCRB.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: Under what conditions can the symmetric logarithmic derivative Cramér - Rao bound (SLDCRB) be reached in multi - parameter quantum state estimation. Specifically, when the symmetric logarithmic derivative (SLD) operator of the quantum state can be chosen to be mutually commutative on an extended Hilbert space, whether the SLDCRB can be reached. ### Background and Problem Description 1. **The Significance of the Cramér - Rao Bound** - The Cramér - Rao bound (CRB) provides a fundamental limit, that is, the minimum variance of an unknown parameter in the case of unbiased estimation. For single - parameter estimation, the SLDCRB is a tight bound, which means that a measurement method can always be found so that the estimation error reaches this bound. 2. **Challenges in Multi - Parameter Estimation** - In multi - parameter estimation, the incompatibility of multiple observables (quantum characteristics) makes the problem more complicated. In particular, when multiple parameters are estimated simultaneously, the SLD operators usually do not commute, resulting in the SLDCRB being unreachable. 3. **The Role of the Extended Hilbert Space** - To overcome this problem, researchers introduced the concept of the extended Hilbert space. By choosing appropriate SLD operators in the extended space to make them commute, it may be possible to reach the SLDCRB. ### Main Contributions of the Paper - **Defining Conditions**: The paper shows through specific examples that the commutativity of the SLD operator in the support space, support - kernel space, and kernel space is neither a necessary nor a sufficient condition. - **Results for One - Dimensional Kernel Space**: The paper provides the necessary and sufficient conditions for the SLDCRB to be reachable when the kernel space is one - dimensional. - **The Unreachability of the Nagaoka - Hayashi Cramér - Rao Bound**: The paper also provides a simple analytical example to prove that the Nagaoka - Hayashi Cramér - Rao Bound is not always reachable. ### Formula Summary - The symmetric logarithmic derivative operator \( L_i \) is defined as: \[ S_i=\frac{1}{2}(S L_i + L_i S) \] - The quantum Fisher information matrix \( J_S \) is defined as: \[ J_{S,ij}=\frac{1}{2}\text{tr}\{S(L_i L_j + L_j L_i)\} \] - SLDCRB is represented as: \[ C_S=\text{Tr}\{J_S^{-1}\} \] ### Conclusion Through a series of specific examples and theoretical analyses, the paper reveals the importance of choosing appropriate SLD operators in the extended Hilbert space and provides the necessary and sufficient conditions for the SLDCRB to be reachable in the one - dimensional kernel space. These results provide new perspectives and tools for understanding and optimizing multi - parameter quantum state estimation.

Role of the extended Hilbert space in the attainability of the Quantum Cramér-Rao bound for multiparameter estimation

The gap persistence theorem for quantum multiparameter estimation

Saturability of the Quantum Cramér-Rao Bound in Multiparameter Quantum Estimation at the Single-Copy Level

Saturation of the Multiparameter Quantum Cramér-Rao Bound at the Single-Copy Level with Projective Measurements

Tight Cramér-Rao type bounds for multiparameter quantum metrology through conic programming

Comparison of estimation limits for quantum two-parameter estimation

Saturating the Quantum Cramér–Rao Bound Using LOCC

Holevo Cramér-Rao bound: How close can we get without entangling measurements?

On the existence of unbiased resilient estimators in discrete quantum systems

A geometric perspective: experimental evaluation of the quantum Cramer-Rao bound

Optimal measurements for quantum multiparameter estimation with general states

Convergence Rate of the Relaxed CQ Algorithm under Hölderian Type Error Bound Property

N ov 2 01 3 Optimal distinguishing observables for quantum parameter estimation

Fundamental Limits of Cooperative Strategies in Joint Sensing and Communication Networks

Achieving the Multiparameter Quantum Cramér-Rao Bound with Antiunitary Symmetry

Achieving the Multi-parameter Quantum Cramér-Rao Bound with Antiunitary Symmetry

Bounds on Quantum Multiple-Parameter Estimation with Gaussian State

Fundamental bounds for parameter estimation with few measurements

Barankin-Type Bound for Constrained Parameter Estimation

Dimension matters: precision and incompatibility in multi-parameter quantum estimation models

Quantum error correction-inspired multiparameter quantum metrology