Table of Contents
Fetching ...

Optimal Local Measurements in Single-Parameter Quantum Metrology

Jia-Xuan Liu, Jing Yang, Hai-Long Shi, Sixia Yu

TL;DR

This work tackles the problem of saturating the Quantum Cramér-Rao Bound ($QCRB$) using local measurements (LM) in single-parameter quantum metrology. It proves that for qubit systems, if a LM saturating the $QCRB$ exists, there is always a rank-1 LM achieving saturation, and then develops two constructive approaches—Iterative Matrix Partition ($IMP$) and Hierarchy of Orthogonality Conditions ($HOC$)—to determine and build such measurements. Through these methods, the paper elucidates when LMCC (local measurements with classical communication) and LM saturate the $QCRB$, providing explicit results for GHZ- and $W$-type encodings and identifying both saturable and non-saturable scenarios. The findings offer practical guidance for optimal local readout in quantum sensing, with potential extensions to qudits, continuous variables, and adaptive control strategies to maintain near-saturation under realistic conditions ($QCRB$-or near-saturation).

Abstract

Quantum measurement plays a crucial role in quantum metrology. Due to the limitations of experimental capabilities, collectively measuring multiple copies of probing systems can present significant challenges. Therefore, the concept of locality in quantum measurements must be considered. In this work, we investigate the possibility of achieving the Quantum Cramér-Rao Bound (QCRB) through local measurements (LM). We first demonstrate that if there exists a LM to saturate the QCRB for qubit systems, then we can construct another rank-1 local projective measurement to saturate the QCRB. In this sense, rank-1 local projective measurements are sufficient to analyze the problem of saturating the QCRB. For pure qubits, we propose two necessary and sufficient methods to determine whether and how a given parameter estimation model can achieve QCRB through LM. The first method, dubbed iterative matrix partition method (IMP) and based on unitary transformations that render the diagonal entries of a tracless matrix vanish, elucidates the underlying mathematical structure of LM as well as the local measurements with classical communications (LMCC), generalizing the result by [Zhou et al Quantum Sci. Technol. 5, 025005 (2020)], which only holds for the later case. We clarify that the saturation of QCRB through LM for the GHZ-encoded states is actually due to the self-similar structure in this approach. The second method, dubbed hierarchy of orthogonality conditions (HOC) and based on the parametrization of rank-1 measurements for qubit systems, allows us to construct several examples of saturating QCRB, including the three-qubit W states and $N$-qubit W states ($N \geq 3$). Our findings offer insights into achieving optimal performance in quantum metrology when measurement resources are limited.

Optimal Local Measurements in Single-Parameter Quantum Metrology

TL;DR

This work tackles the problem of saturating the Quantum Cramér-Rao Bound () using local measurements (LM) in single-parameter quantum metrology. It proves that for qubit systems, if a LM saturating the exists, there is always a rank-1 LM achieving saturation, and then develops two constructive approaches—Iterative Matrix Partition () and Hierarchy of Orthogonality Conditions ()—to determine and build such measurements. Through these methods, the paper elucidates when LMCC (local measurements with classical communication) and LM saturate the , providing explicit results for GHZ- and -type encodings and identifying both saturable and non-saturable scenarios. The findings offer practical guidance for optimal local readout in quantum sensing, with potential extensions to qudits, continuous variables, and adaptive control strategies to maintain near-saturation under realistic conditions (-or near-saturation).

Abstract

Quantum measurement plays a crucial role in quantum metrology. Due to the limitations of experimental capabilities, collectively measuring multiple copies of probing systems can present significant challenges. Therefore, the concept of locality in quantum measurements must be considered. In this work, we investigate the possibility of achieving the Quantum Cramér-Rao Bound (QCRB) through local measurements (LM). We first demonstrate that if there exists a LM to saturate the QCRB for qubit systems, then we can construct another rank-1 local projective measurement to saturate the QCRB. In this sense, rank-1 local projective measurements are sufficient to analyze the problem of saturating the QCRB. For pure qubits, we propose two necessary and sufficient methods to determine whether and how a given parameter estimation model can achieve QCRB through LM. The first method, dubbed iterative matrix partition method (IMP) and based on unitary transformations that render the diagonal entries of a tracless matrix vanish, elucidates the underlying mathematical structure of LM as well as the local measurements with classical communications (LMCC), generalizing the result by [Zhou et al Quantum Sci. Technol. 5, 025005 (2020)], which only holds for the later case. We clarify that the saturation of QCRB through LM for the GHZ-encoded states is actually due to the self-similar structure in this approach. The second method, dubbed hierarchy of orthogonality conditions (HOC) and based on the parametrization of rank-1 measurements for qubit systems, allows us to construct several examples of saturating QCRB, including the three-qubit W states and -qubit W states (). Our findings offer insights into achieving optimal performance in quantum metrology when measurement resources are limited.
Paper Structure (15 sections, 5 theorems, 58 equations, 1 figure)

This paper contains 15 sections, 5 theorems, 58 equations, 1 figure.

Key Result

Corollary 1

Any $2 \times 2$ traceless Hermitian (or anti-Hermitian) matrix is unitarily similar to a zero-diagonal matrix.

Figures (1)

  • Figure 1: Schematic illustration of the iterative matrix partition (IMP) method, see detailed description in Sec. \ref{['section 3']}.

Theorems & Definitions (8)

  • Corollary 1
  • Corollary 2
  • Theorem 1
  • proof
  • Theorem 2
  • proof
  • Theorem 3
  • proof