Quantum Cramér–Rao Bound

• Quantum Cramér–Rao bound is a fundamental limit that defines the minimum variance achievable in estimating quantum parameters using optimized measurement strategies.
• It is derived by maximizing the quantum Fisher information over all positive operator-valued measures, employing the symmetric logarithmic derivative for rigorous analysis.
• Recent studies highlight that adaptive LOCC protocols can saturate the QCRB in multipartite systems, while non-communicating local measurements often fall short.

The quantum Cramér–Rao bound (QCRB) establishes the ultimate precision limit imposed by quantum mechanics on the estimation of unknown parameters encoded in quantum states. By optimizing over all positive operator-valued measures (POVMs), the QCRB generalizes the classical Cramér–Rao bound to the quantum regime, setting a lower bound on the mean-square error that any unbiased estimator can achieve. While the existence of a QCRB-saturating measurement is guaranteed for arbitrary single-parameter quantum models, the efficient implementation of such measurements—especially in multipartite or high-dimensional systems—can be challenging. Recent results demonstrate that local operations with one-way classical communication (LOCC) are sufficient to saturate the QCRB for broad classes of states, including all pure states and certain rank-two mixed states, while measurements restricted to local observables without communication generally fail to attain this quantum limit (Zhou et al., 2018).

1. Formal Structure of the Quantum Cramér–Rao Bound

Consider a quantum state $\rho_\theta$ that depends smoothly on a real parameter $\theta$. Performing $n$ independent preparations and measurements, any unbiased estimator $\hat\theta$ satisfies the classical Cramér–Rao bound: $$\operatorname{Var}(\hat\theta) \geq \frac{1}{n F_{\mathrm{cl}}(\theta)},$$ where $F_{\mathrm{cl}}$ is the Fisher information of the observed data. Optimizing over all possible POVMs yields the QCRB: $$\operatorname{Var}(\hat\theta) \geq \frac{1}{n J(\theta)},$$ with the quantum Fisher information (QFI) defined by

$$\frac{\partial \rho_\theta}{\partial\theta} = \frac{1}{2}\left(L_\theta \rho_\theta + \rho_\theta L_\theta\right),\qquad J(\theta) = \operatorname{Tr}[\rho_\theta L_\theta^2].$$

Here, $L_\theta$ is the symmetric logarithmic derivative (SLD) (Zhou et al., 2018).

2. Criteria for QCRB Saturation by Measurements

Given a POVM $\{E_x\}$, the observed Fisher information $\theta$0 satisfies

$\theta$1

with equality if and only if, for every outcome $\theta$2:

• $\theta$3,
• $\theta$4,
• $\theta$5,

plus a regularity condition: if $\theta$6, then $\theta$7. An equivalent spectral criterion involves constructing operators $\theta$8, and requiring $\theta$9 for all $n$0 and all $n$1 (Zhou et al., 2018).

3. LOCC Protocols for QCRB Saturation in Multipartite Settings

For arbitrary pure states and rank-two mixed states (with fixed eigenbasis and varying probabilities), a POVM based on LOCC can be constructed to saturate the QCRB:

• Decompose the parameter-dependent operator $n$2 (pure: $n$3; rank-two mixed: $n$4 up to scalar).
• Sequentially, for each subsystem $n$5, construct an orthonormal measurement basis such that the diagonal elements of the relevant reduced $n$6 vanish. Basis selection at subsystem $n$7 depends on measurement outcomes at subsystems $n$8—an adaptive, one-way LOCC tree.
• The final global measurement is built from tensor products of these local projectors. This satisfies $n$9 for all composite outcomes, ensuring the classical Fisher information saturates $\hat\theta$0 (Zhou et al., 2018).

4. Non-Saturability of Product Local Measurements

POVMs restricted to purely local product form,

$\hat\theta$1

cannot generically saturate the QCRB in multipartite systems. Achieving $\hat\theta$2 for all outcome tuples imposes a large set of bilinear constraints that outstrip the local degrees of freedom as system size increases. Explicit counterexamples exist, including situations where discrimination of three non-LOCC-distinguishable Bell states is required, illustrating the impossibility for general rank-two states (Zhou et al., 2018).

5. Illustrative Examples

GHZ State

• $\hat\theta$3,
• SLD: $\hat\theta$4,
• Both global projections onto $\hat\theta$5's eigenbasis and product LM in $\hat\theta$6 saturate the QCRB with $\hat\theta$7.

Four-Qubit Open-Chain Example

• For a nearest-neighbor $\hat\theta$8 interaction and Dicke-1 input, numerical analysis shows product LM in fixed bases fails, but a one-way LOCC protocol attains the QCRB, with measurement adaptivity implemented by feeding outcomes forward to subsequent sites (Zhou et al., 2018).

6. Physical and Practical Implications

LOCC protocols allow ultimate precision in quantum parameter estimation without requiring global entangled measurements. The adaptive measurement tree is implementable on various platforms equipped with local control, fast readout, and feed-forward (e.g., trapped ions, Rydberg arrays, superconducting qubits). LOCC strategies naturally extend to decoherence-affected settings by combining with dynamical decoupling or logical encoding (Zhou et al., 2018).

7. Summary Table: QCRB Saturation in Various Scenarios

Scenario	QCRB-Saturating Measurement	Efficient (LOCC) Realizable?
Arbitrary single-parameter case	Some POVM always exists	Not always efficient
Pure/rank-two mixed, multipartite	Adaptive LOCC (one-way)	Yes
Product local measurements only	Rarely (special symmetry)	No, not generally

Efficiently implementing the QCRB-saturating measurement in realistic systems is feasible for broad classes of states when an adaptive LOCC scheme is adopted, and infeasible when restricting to non-communicating local measurements (Zhou et al., 2018).