---
title: Quantum Cramér–Rao–McCarthy Bound
url: https://www.emergentmind.com/topics/quantum-cramer-rao-mccarthy-bound
type: topic
---

# Quantum Cramér–Rao–McCarthy Bound

The expression **“Quantum Cramér–Rao–McCarthy bound”** does not denote a single universally recognized bound in quantum metrology. Standard literature uses **Quantum Cramér–Rao bound (QCRB)** for the SLD–QFI inequality, and several works explicitly state that no recognized “McCarthy” variant is used in that context [1701.09144], [2402.11567]. In the literature surveyed here, the label appears in two specific, nonstandard senses: first, as the straightforward quantum generalization of the classical biased Cramér–Rao bound, introduced “for clarity in this discussion” as **QCRMB** [1609.01618]; second, as a family of **generalized McCarthy-type** inequalities based on Hölder-conjugate moments and generalized Fisher informations [2001.01926]. The topic therefore belongs to the intersection of the standard QCRB, biased-estimator corrections, and generalized moment bounds.

## 1. Terminological status and scope

In the standard vocabulary of quantum estimation theory, the relevant bounds are the classical Cramér–Rao bound, the quantum Cramér–Rao bound, the Holevo bound, the RLD bound, and related Bayesian or non-asymptotic bounds. Multiple papers on pure-state attainability, waveform estimation, transmission estimation, and multiparameter saturability explicitly note that there is **no recognized “McCarthy” variant** in their nomenclature [1006.5407], [2201.08902]. One multiparameter saturability study states directly that it “focuses on the standard multiparameter QCRB; no alternative ‘Cramér–Rao–McCarthy’ nomenclature is introduced” [2402.11567].

A distinct usage appears in the biased-estimation literature. One work states that the classical biased Cramér–Rao bound is “often attributed in the literature to McCarthy,” and uses **“Quantum Cramér–Rao–McCarthy Bound”** to denote the straightforward quantum generalization obtained by replacing classical Fisher information with quantum Fisher information [1609.01618]. Another work develops **generalized classical Cramér–Rao bounds** from Hölder’s inequality and explicitly describes them as **McCarthy-type inequalities**, then extends them to the quantum setting through generalized $\beta$-norm quantum Fisher informations [2001.01926].

This suggests that “Quantum Cramér–Rao–McCarthy bound” is best treated as an umbrella label for nonstandard extensions of the QCRB rather than as a canonical bound with a unique definition.

## 2. Standard quantum Cramér–Rao framework

The standard QCRB begins with a differentiable family of density operators $\rho_\theta$ and the **symmetric logarithmic derivative** $L_\theta$, defined by
\[
\partial_\theta \rho_\theta = \frac{1}{2}\bigl(\rho_\theta L_\theta + L_\theta \rho_\theta\bigr).
\]
The corresponding **quantum Fisher information** is
\[
F_Q(\theta)=\operatorname{Tr}(\rho_\theta L_\theta^2).
\]
For $\nu$ independent repetitions and an unbiased estimator $\hat{\theta}$, the bound reads
\[
\operatorname{Var}(\hat{\theta}) \ge \frac{1}{\nu F_Q(\theta)}.
\]
For pure states under unitary encoding $|\psi(\theta)\rangle=e^{-i\theta G}|\psi\rangle$, the QFI reduces to
\[
F_Q = 4\,\operatorname{Var}(G),
\]
which is the standard relation between metrological sensitivity and generator variance [1701.09144], [1707.05022].

In the multiparameter setting, with parameters $\boldsymbol{\theta}=(\theta_1,\dots,\theta_m)$ and SLDs $L_i$ defined by
\[
\partial_{\theta_i}\rho = \frac{1}{2}(\rho L_i + L_i\rho),
\]
the SLD quantum Fisher information matrix is
\[
[F_Q]_{ij}=\frac{1}{2}\operatorname{Tr}\!\bigl(\rho(L_iL_j+L_jL_i)\bigr),
\]
and the matrix QCRB takes the form
\[
\operatorname{Cov}(\hat{\boldsymbol{\theta}})\succeq F_Q^{-1}.
\]
Single-parameter saturation is always possible by an appropriate measurement, but in the multiparameter case saturation generally fails because the optimal measurements for different parameters may be incompatible [2402.11567].

The standard QCRB is therefore the baseline object relative to which “McCarthy”-type variants are defined: either as biased-estimator modifications or as generalized-moment extensions.

## 3. Biased-estimator formulation and the QCRMB usage

A direct quantum analogue of the classical biased Cramér–Rao bound appears in the formulation called **QCRMB** in [1609.01618]. For a scalar parameter $\theta$ with estimator bias
\[
b(\theta)=\mathbb{E}[\hat{\theta}]-\theta,
\]
the pointwise quantum biased bound is
\[
\mathrm{MSE}(\hat{\theta};\theta)\ge b(\theta)^2+\frac{[1+b'(\theta)]^2}{\nu F_Q(\theta)}.
\]
This is the simplest sense in which “Quantum Cramér–Rao–McCarthy bound” is used in the literature surveyed here.

The same work develops a stronger **Optimal Biased Bound (OBB)** in a Bayesian setting. For estimation of a function $f(x)$ from a prior $p(x)$, with bias function $b(x)$ and $J(\rho_x)=\operatorname{Tr}(\rho_xL_x^2)$, it proves
\[
\mathrm{MSE}(\hat{f}) \ge \int p(x)\,\biggl\{\frac{[f'(x)+b'(x)]^2}{J(\rho_x)}+b^2(x)\biggr\}\,dx.
\]
For direct parameter estimation $f(x)=x$, this becomes
\[
\mathrm{MSE}(\hat{x}) \ge \int p(x)\,\biggl\{\frac{[1+b'(x)]^2}{J(\rho_x)}+b^2(x)\biggr\}\,dx.
\]
The right-hand side is then minimized over differentiable bias functions by an Euler–Lagrange equation. In the special case of constant prior and constant QFI on $(0,a)$, the resulting closed-form lower bound is
\[
\mathrm{MSE}(\hat{x}) \ge \frac{1}{J}-\frac{2}{a\,J^{3/2}\,\tanh\!\Bigl(\frac{a}{2}\sqrt{J}\Bigr)},
\]
and for $\nu$ repetitions one replaces $J$ by $\nu J$ [1609.01618].

In multiparameter form, the same work gives
\[
R \succeq \int p(\boldsymbol{\theta})\Bigl[\boldsymbol{b}(\boldsymbol{\theta})\boldsymbol{b}(\boldsymbol{\theta})^\top
+ D(\boldsymbol{\theta})F_Q(\boldsymbol{\theta})^{-1}D(\boldsymbol{\theta})^\top\Bigr]\,d\boldsymbol{\theta},
\]
with $D=I+\partial\boldsymbol{b}/\partial\boldsymbol{\theta}^\top$. This is the natural matrix generalization of the biased QCRB.

Within this usage, the “McCarthy” aspect is not a different information geometry; it is a **bias-aware correction** to the standard QCRB.

## 4. Generalized McCarthy-type moment bounds

A second, more general meaning of the term comes from higher-order Cramér–Rao inequalities derived by Hölder’s inequality. For conjugate exponents $p\ge 1$ and $\beta\ge 1$ satisfying
\[
\frac{1}{p}+\frac{1}{\beta}=1,
\]
define the generalized classical Fisher information
\[
I_\beta(\theta)=\mathbb{E}_\theta\!\left[\left|\partial_\theta\ln p(X;\theta)\right|^\beta\right].
\]
Then the generalized McCarthy-type inequality is
\[
\mathbb{E}_\theta\!\big[|T(X)-\theta|^p\big]^{1/p}\,I_\beta(\theta)^{1/\beta}\ge |1+b'(\theta)|.
\]
For unbiased estimators this reduces to
\[
\mathbb{E}_\theta\!\big[|T(X)-\theta|^p\big]^{1/p}\,I_\beta(\theta)^{1/\beta}\ge 1.
\]
The special case $p=2$, $\beta=2$ recovers the variance-based Cramér–Rao bound, while $p=3$, $\beta=3/2$ yields an explicit third-order absolute-moment inequality [2001.01926].

The corresponding quantum generalization introduces the SLD through
\[
\partial_\theta \hat{\rho}_\theta=\tfrac{1}{2}\bigl(\hat{L}_\theta\hat{\rho}_\theta+\hat{\rho}_\theta\hat{L}_\theta\bigr),
\]
defines
\[
F_Q^{(\beta)}(\theta)=\operatorname{Tr}\bigl[\hat{\rho}_\theta |\hat{L}_\theta|^\beta\bigr],
\]
and obtains
\[
\mathbb{E}_\theta\!\big[|T(X)-\theta|^p\big]^{1/p}\,\bigl(F_Q^{(\beta)}(\theta)\bigr)^{1/\beta}\ge |1+b'(\theta)|.
\]
For $\beta=2$, this reduces to the usual QCRB; for $\beta\neq 2$, the bound controls higher moments of the estimation error rather than just the variance [2001.01926].

Operationally, this extension was used to show that the **third-order absolute moment can give a superior capability in revealing biases in the estimation, compared to standard approaches** in a phase-estimation experiment with quantum light [2001.01926]. In this sense, the “McCarthy” formulation is a **generalized-moment** refinement of the usual Fisher-information picture.

## 5. Multiparameter attainability and the hierarchy of commutativity conditions

The standard multiparameter SLD-QCRB is not generally saturable. One important line of work studies exactly when saturation is possible.

For general mixed states in the single-copy multiparameter setting, one 2024 result establishes necessary and sufficient conditions in terms of **projected SLDs** and a nonlinear PDE system. At a fixed parameter point, the conditions are: projected commutativity,
\[
[L_{l,++},L_{m,++}]=0,
\]
together with the existence of a unitary $U_\theta$ solving a coupled nonlinear PDE. These two conditions are necessary and sufficient for single-copy saturability of the multiparameter QCRB. The same work also provides practical sufficient conditions involving the off-support blocks $L_{l,+0}$ and an auxiliary unitary $W$, and shows that when these sufficient conditions hold the optimal measurement can be chosen to be **projective and explicitly characterized** [2402.11567].

A 2026 hierarchy result sharpens the logical structure of multiparameter attainability conditions under unitary encoding. It defines **strong commutativity**, **one-sided commutativity**, **partial commutativity**, and **weak commutativity**, and proves the chain
\[
S(\rho_\theta)=0 \Rightarrow O(\rho_\theta)=0 \Rightarrow P(\rho_\theta)=0 \Rightarrow W(\rho_\theta)=0.
\]
It also shows that the converse implications fail in general, and, crucially, that **commutativity of the parameter-encoding generators alone does not ensure the saturability of the QCR bound once realistic noise produces mixed probe states** [2602.12097].

These results place the “McCarthy” variants in context. The biased and generalized-moment bounds do not remove the core multiparameter difficulty: even the standard SLD-QCRB itself may fail to be jointly attainable, and the relevant obstruction is measurement incompatibility rather than bias alone.

## 6. Local validity, global estimation, and broader precision bounds

A recurring theme in the recent literature is that the QCRB is primarily a **local, asymptotic** statement. One non-asymptotic analysis emphasizes that many conclusions drawn from standard CRB/QCRB methods “do not always hold when the analysis is more carefully performed,” and quantifies the number of observations and prior knowledge needed before the QCRB is a valid approximation to the Bayesian mean-squared error [1707.05022]. The OBB construction in the biased-estimation setting was motivated by the same issue: with a limited number of measurements, biased estimators can outperform the unbiased QCRB benchmark, so a lower bound valid for **all estimators** is required [1609.01618].

The limitation becomes sharper in global quantum estimation. In a non-IID bosonic setting with a single copy of a many-boson state, one 2024 study finds situations where the Cramér–Rao approach **does and does not work** for global estimation. For unitary estimation with certain binomial and Dicke-type probes, local CR predictions such as $O(1/n)$ or even local Heisenberg $O(1/n^2)$ behavior do not translate into vanishing global minimax error; by contrast, geometric probes in a D-invariant model do match the global scaling predicted by the CR approach [2409.11842]. A plausible implication is that “McCarthy”-type bias corrections and higher-moment refinements do not eliminate the distinction between local and global estimation regimes.

In incompatible multiparameter models, the asymptotically attainable benchmark is instead the **Holevo bound**, with the SLD-QCRB serving only as a lower reference point. Geometric reconstructions of the QCRB through the quantum metric and mean Uhlmann curvature show explicitly how a nonzero incompatibility measure enlarges the gap between the SLD bound and the attainable scalar bound [2204.13777].

A separate controversy concerns claims of **beating** the QCRB. In dissipative adiabatic measurements, it has been argued that the effective POVM depends explicitly on the unknown parameter, so the usual step $F_C\le F_Q$ fails and the standard QCRB is not applicable [2002.00553]. This does not define a “McCarthy” bound, but it reinforces the broader lesson that the operational content of any Cramér–Rao statement depends on its assumptions: unbiasedness, locality, estimator class, measurement independence, and attainability conditions.

Taken together, the literature supports a precise interpretation. The **Quantum Cramér–Rao–McCarthy bound** is not a standard single bound; it is a noncanonical label used for either the **biased quantum Cramér–Rao correction** or the **generalized McCarthy-type higher-moment inequalities**. Both are best understood as extensions of the standard QCRB rather than replacements for it.

Source: https://www.emergentmind.com/topics/quantum-cramer-rao-mccarthy-bound