---
title: Reverse Uncertainty Relations
url: https://www.emergentmind.com/topics/reverse-uncertainty-relation
type: topic
---

# Reverse Uncertainty Relations

Searching arXiv for recent papers on reverse uncertainty relations to ground the article.
Reverse uncertainty relation denotes a class of quantum uncertainty inequalities that provide **upper bounds** on joint fluctuation measures, most commonly the sum of variances of incompatible observables. In contrast to the Heisenberg–Robertson and Robertson–Schrödinger paradigm, which constrains how small fluctuations can be, reverse uncertainty relations constrain how large they can be for a fixed state and observable pair. In the recent formulation of Girolami and Fadel, the reverse bound arises from a simple norm inequality in an inner-product space and yields finite, algebraically elementary upper bounds on $\Delta A^2+\Delta B^2$ in terms of $\Delta(A-B)$ and $\operatorname{Re}\operatorname{Cov}(A,B)$ [2503.05669]. Earlier work had already developed state-dependent reverse bounds using the Dunkl–Williams inequality [1607.06712], uncertainty-matrix constructions involving fidelity and relative entropy [1806.11347], and experimentally tested reverse bounds in photonic qutrits [1912.03258]. Subsequent developments addressed divergence issues, extended the framework to multiple observables, and connected reverse uncertainty bounds to purity detection, uncertainty intervals, and quantum-control-assisted settings [2308.13332].

## 1. Concept and formal definition

For two observables $A$ and $B$ in a quantum state $\rho$ or $|\psi\rangle$, a reverse uncertainty relation is an inequality of the form
\[
\Delta A^2+\Delta B^2 \le U(A,B;\rho),
\]
where $U$ is a state-dependent upper bound. The central conceptual point, stated explicitly in several works, is that incompatible observables are subject not only to lower restrictions on simultaneous sharpness but also to upper restrictions on simultaneous spread [1607.06712], [1912.03258].

In the formulation of Girolami and Fadel, for a normalized state $|\psi\rangle$ and Hermitian operators $A,B$, one introduces
\[
|v_1\rangle=(A-\langle A\rangle)|\psi\rangle,\qquad |v_2\rangle=(B-\langle B\rangle)|\psi\rangle,
\]
so that $\|v_1\|=\Delta A$, $\|v_2\|=\Delta B$, and $\langle v_1|v_2\rangle=\operatorname{Cov}(A,B)$ with
\[
\operatorname{Cov}(A,B)=\langle(A-\langle A\rangle)(B-\langle B\rangle)\rangle=\langle AB\rangle-\langle A\rangle\langle B\rangle.
\]
From this construction they derive two reverse uncertainty bounds:
\[
\Delta A^2+\Delta B^2\le [\Delta(A-B)]^2+2\Delta A\,\Delta B,
\]
and
\[
\Delta A^2+\Delta B^2\le [\Delta(A-B)]^2+2|\operatorname{Re}\operatorname{Cov}(A,B)|.
\]
These were presented as new, simple upper bounds on the sum of variances [2503.05669].

A distinct line of work defines reverse bounds through an “uncertainty matrix” $K\equiv(C\pm iD)(C\mp iD)$ with $C=A-\langle A\rangle$ and $D=B-\langle B\rangle$. In that framework, for arbitrary mixed states one obtains
\[
\Delta A^2+\Delta B^2 \le |\langle[A,B]\rangle|+\lambda F^2(\rho,\sigma)
\le |\langle[A,B]\rangle|+\lambda[1-S(\rho\|\sigma)],
\]
where $\lambda=\operatorname{Tr}K$, $\sigma=K/\lambda$, $F$ is the Uhlmann fidelity, and $S$ is the quantum relative entropy [1806.11347]. This places reverse uncertainty relations in a broader information-theoretic setting.

A plausible implication is that “reverse uncertainty relation” is not a single inequality but a family of upper-bound constructions with different structural inputs: vector geometry, operator inequalities, auxiliary-operator methods, and state-space distinguishability.

## 2. Vector-inequality origin of the 2025 formulation

The 2025 construction begins with an inner-product-space statement independent of quantum mechanics. For any two vectors $|v_1\rangle,|v_2\rangle$ in a real or complex inner-product space $\mathcal H$,
\[
\|v_1\|^2+\|v_2\|^2\le \|v_1-v_2\|^2+2\|v_1\|\,\|v_2\|,
\]
and also
\[
\|v_1\|^2+\|v_2\|^2\le \|v_1-v_2\|^2+2|\operatorname{Re}\langle v_1|v_2\rangle|.
\]
The second inequality is explicitly stronger whenever $\langle v_1|v_2\rangle$ is not real and positive [2503.05669].

Two proofs are given. The first uses the polarization identity
\[
\|v_1\|^2+\|v_2\|^2=\|v_1-v_2\|^2+2\,\operatorname{Re}\langle v_1|v_2\rangle,
\]
followed by the Cauchy–Schwarz estimate
\[
|\operatorname{Re}\langle v_1|v_2\rangle|\le |\langle v_1|v_2\rangle|\le \|v_1\|\,\|v_2\|.
\]
The second uses the triangle inequality, squaring, and the parallelogram law [2503.05669].

Mapping these vector identities to quantum mechanics via $|v_1\rangle=(A-\langle A\rangle)|\psi\rangle$ and $|v_2\rangle=(B-\langle B\rangle)|\psi\rangle$ yields
\[
\|v_1-v_2\|=\Delta(A-B),
\]
which directly produces the reverse uncertainty bounds. The derivation is notable because it avoids the more elaborate normalization structure that earlier reverse relations inherited from Dunkl–Williams-type arguments. The paper also states that neither of the resulting bounds diverges if $\Delta A\to 0$ or $\Delta B\to 0$, in contrast to some earlier bounds [2503.05669].

This suggests a shift in the literature from reverse bounds built by nontrivial geometric normalization toward bounds extracted from elementary Hilbert-space identities.

## 3. Earlier reverse bounds and the uncertainty-interval viewpoint

A foundational state-dependent reverse relation was proposed by Mondal, Bagchi, and Pati. Using the Dunkl–Williams inequality on the vectors $\bar A|\Psi\rangle$ and $\bar B|\Psi\rangle$, with $\bar A=A-\langle A\rangle$ and $\bar B=B-\langle B\rangle$, they derived an upper bound on the sum of variances of the form
\[
\Delta A^{2} + \Delta B^{2}
\le
\frac{2\,\Delta(A-B)^2}
{1-\frac{\operatorname{Cov}(A,B)}{\Delta A\,\Delta B}}
-2\,\Delta A\,\Delta B,
\]
with
\[
\operatorname{Cov}(A,B)=\tfrac12\langle\{A,B\}\rangle-\langle A\rangle\langle B\rangle.
\]
The same work also derived an upper bound on the product of variances using the reverse Cauchy–Schwarz inequality [1607.06712].

That paper emphasized a “sandwich” structure: Robertson–Schrödinger furnishes a lower bound on $\Delta A^2\Delta B^2$, while the reverse relation furnishes an upper bound; similarly, reverse sum-form bounds can be paired with lower bounds such as Maccone–Pati to produce a two-sided fluctuation interval [1607.06712]. The later “near-optimal variance-based uncertainty relations” program made this interval idea explicit by constructing upper bounds $\mathcal U_1,\mathcal U_2$ and lower bounds $\mathcal L_1,\mathcal L_2$ such that
\[
\mathcal L_{1}\le V(A)V(B)\le \mathcal U_{1},\qquad
\mathcal L_{2}\le V(A)+V(B)\le \mathcal U_{2},
\]
for any chosen basis expansion of $\bar A|\Psi\rangle$ and $\bar B|\Psi\rangle$ [1610.01692].

The upper sum-form bound in that near-optimal framework is
\[
V(A)+V(B)\le \mathcal U_2,
\]
with
\[
\mathcal U_2=\sum_{i=1}^n\left(|\langle\psi_i|\bar A|\Psi\rangle|+|\langle\psi_i|\bar B|\Psi\rangle|\right)^2,
\]
derived from the triangle inequality plus the parallelogram law [1610.01692].

A plausible implication is that reverse uncertainty relations evolved along two distinct tracks: one centered on direct observable-space formulas such as $\Delta(A-B)$ and covariance, and another centered on basis-dependent decompositions designed to achieve near-optimality.

## 4. Removing divergence and unifying lower and upper bounds

A persistent issue with the 2017 Dunkl–Williams-type reverse relation is that the denominator
\[
1-\frac{\operatorname{cov}(A,B)}{\Delta A\,\Delta B}
\]
can vanish, causing the upper bound to diverge even when the observables and state are well defined. This “infinity” problem was made explicit in later work on stronger reverse relations for multiple incompatible observables [2308.13332].

To cure this, Zheng, Ji, and Zhang introduced a weighted Hilbert–Schmidt bilinear form
\[
F(X,Y)=\operatorname{Tr}[\rho\,X^\dagger Y],
\]
together with positivity and Cauchy–Schwarz properties, and specialized to the maximally mixed state $\rho_{mx}=I/d$. For two observables they derived
\[
\Delta A^2+\Delta B^2
\le
d\,F_{mx}\bigl((A\pm iB)(A\mp iB)\bigr)\pm i\langle[A,B]\rangle,
\]
equivalently
\[
\Delta A^2+\Delta B^2
\le
\operatorname{Tr}\!\bigl[(A\pm iB)(A\mp iB)\bigr]\pm i\langle[A,B]\rangle.
\]
The right-hand side is built from finite quantities in finite dimension and therefore does not diverge [2308.13332].

The same paper also proposed a unified framework in which lower- and upper-bound uncertainty relations arise from the same auxiliary-operator construction. With suitably chosen auxiliary operators $\{O_k\}$ and associated quantities $F_k$, generalized commutators, and generalized anticommutators, a master inequality produces lower bounds; by choosing $(F_1,O_1)=(A\pm iB,\rho)$ one recovers the new reverse upper bound, whereas choosing $(F_1,O_1)=(A,B)$ recovers Robertson- or Schrödinger-type lower bounds [2308.13332].

For multiple observables $\{A_1,\dots,A_N\}$, they introduced
\[
L(\theta)=\sum_{k=1}^N e^{-i\theta_k}A_k
\]
and obtained a general reverse bound with auxiliary contributions $C_j^{mx}\ge 0$ whose inclusion monotonically decreases the upper bound. The paper states that the bound can thereby be made arbitrarily tight by choosing more auxiliary operators [2308.13332].

This suggests that the modern reverse-uncertainty program is not limited to finding a single improved inequality, but increasingly treats upper bounds as elements of a tunable hierarchy.

## 5. Alternative strengthening strategies and multi-observable extensions

A separate strengthening program uses refined norm inequalities rather than auxiliary operators. Abd-Rabbou and Qiao derived four families of two-observable forward–reverse inequalities from Maligranda’s angular-distance inequality, and extended them to $n$ observables using the sharp $n$-vector triangle refinement of M. Kato et al. [2508.02036].

For two observables, the reverse part has the generic form
\[
\Delta\hat A^2+\Delta\hat B^2\le \min_\pm \mathcal U_i^\pm(\hat A,\hat B),\qquad i=1,2,3,4.
\]
The four families split into covariance-sensitive and commutator-sensitive versions, with or without an orthogonal state $|\psi^\perp\rangle$ [2508.02036]. For example, the covariance-sensitive family without orthogonal state is
\[
\mathcal U_1^\pm(\hat A,\hat B)=
\left[\Delta(\hat A\pm\hat B)+G_\pm \max\{\Delta\hat A,\Delta\hat B\}\right]^2
-2\Delta\hat A\,\Delta\hat B,
\]
with
\[
G_\pm=2-\sqrt{\,2\pm\frac{2\,\operatorname{Cov}(\hat A,\hat B)}{\Delta\hat A\,\Delta\hat B}\,}.
\]
The commutator-sensitive families replace $\Delta(\hat A\pm\hat B)$ by $\Delta(\hat A\pm i\hat B)$ and use $i\langle[\hat A,\hat B]\rangle$ in the angular-distance term [2508.02036].

For $n$ observables, the reverse extension reads
\[
\sum_{j=1}^n\Delta\hat A_j^2\le
\left[\mathbb F+(n-\mathbb G)\max_k\Delta\hat A_k\right]^2
-\sum_{i\neq j}\Delta\hat A_i\Delta\hat A_j,
\]
where
\[
\mathbb F=\Delta\Bigl(\sum_j a_j\hat A_j\Bigr),
\]
and $\mathbb G$ is built from pairwise covariance-like terms with coefficients $a_j\in\{\pm1,\pm i\}$ [2508.02036].

That paper reports numerical comparisons against the Mondal–Bagchi–Pati and Zheng–Ji–Zhang reverse bounds, claiming strictly tighter performance in the three examples studied, and exact saturation for special phase choices in the spin-1 SU(2) example [2508.02036]. Because these claims are example-specific, they should not be generalized beyond the parameter regimes explicitly analyzed there.

## 6. Physical interpretation, examples, and experimental status

Several works interpret reverse uncertainty relations as establishing a finite interval for joint fluctuations. In the experimental study on photonic qutrits, forward and reverse bounds together were said to confine $\Delta A^2+\Delta B^2$ to a finite interval, described as a “quantum tract” [1912.03258]. The same study tested the state-dependent reverse sum relation for spin-1 observables $L_x$ and $L_y$ across the family
\[
|\Psi(\theta)\rangle=(\cos\theta,-\sin\theta,0)^{\mathrm T},\qquad \theta=\frac{j\pi}{10},\ j=0,1,\dots,10.
\]
In every tested case, the measured $\Delta L_x^2+\Delta L_y^2$ lay below the reverse-bound curve, and for $\theta=0,\pi/2,\pi$ the measured pairs
\[
\{0.99275\pm0.01985,\;0.99981\pm0.01038\},
\]
\[
\{1.99614\pm0.01197,\;1.99622\pm0.01214\},
\]
\[
\{0.99988\pm0.01028,\;1.00343\pm0.01967\}
\]
agreed with the ideal values $\{1,1\},\{2,2\},\{1,1\}$ within error bars [1912.03258].

The 2025 vector-inequality paper also gives a qubit example with $A=\sigma_x$, $B=\sigma_y$, and
\[
|\psi\rangle=\cos(\theta/2)|0\rangle+e^{i\phi}\sin(\theta/2)|1\rangle.
\]
There,
\[
\Delta\sigma_x=|\sin\theta\cos\phi|,\qquad
\Delta\sigma_y=|\sin\theta\sin\phi|,
\]
\[
\Delta(\sigma_x-\sigma_y)=\sqrt2\,|\sin\theta\cos(\phi+\pi/4)|,
\qquad
\operatorname{Cov}(\sigma_x,\sigma_y)= i\,\sin^2\theta/2.
\]
Reverse-UR II reduces to
\[
\sin^2\theta \le 2\sin^2\theta\cos^2(\phi+\pi/4),
\]
which the paper states holds for all $\theta,\phi$, with equality at $\phi=\pi/4$ or $5\pi/4$ [2503.05669].

The information-theoretic uncertainty-matrix approach associates the normalized matrix state $\sigma=K/\lambda$ with purity and observable incompatibility, and uses the reverse inequality to derive an experimentally accessible lower bound on fidelity
\[
F(\rho,\sigma)\ge \sqrt{\frac{\Delta A^2+\Delta B^2-|\langle[A,B]\rangle|}{\operatorname{Tr}K}},
\]
provided $K/\operatorname{Tr}K$ is engineered to coincide with a target $\sigma$ [1806.11347]. This links reverse uncertainty relations to benchmarking without full tomography.

## 7. Applications, extensions, and open questions

Applications proposed across the literature include metrology, quantum control, thermodynamics, quantum speed limits, fidelity estimation, and purity detection. The uncertainty-matrix formalism was used to derive a reverse quantum speed limit for Markovian evolution,
\[
\tau \le \sin^2(\mathcal L_\tau)/\Lambda_{\rm rev},
\]
with $\Lambda_{\rm rev}$ defined by a time average involving $S(\rho_0)$ and $\operatorname{Tr}\exp\{-L_t[\rho(t)]\}$ [1806.11347]. The same work also identified “worst-case” bounds on measurement fluctuations in metrology and device-efficient lower bounds on fidelity as applications [1806.11347].

Zheng, Ji, and Zhang showed that their nondivergent two-observable reverse bound can be rearranged into a lower bound on purity,
\[
P_u=\operatorname{Tr}(\rho^2)\ge
\frac{\Delta A^2+\Delta B^2\mp i\langle[A,B]\rangle}
{d\,F_{mx}((A\pm iB)(A\mp iB))},
\]
thereby providing a protocol for estimating purity without full state tomography [2308.13332].

A 2025 extension introduced a quantum-control-assisted reverse uncertainty relation in which conditional variances obey
\[
\sum_{k=1}^K \mathrm{E}[\mathrm{V}(Q_k^A\mid O_k^C)]
\le
U_{\rm tra}-\sum_{k=1}^K \mathrm{V}[\mathrm{E}(Q_k^A\mid O_k^C)].
\]
In that work, entanglement with a control system lowers the effective upper bound relative to the unconditional bound $U_{\rm tra}$, and in a two-spin Heisenberg model with Dzyaloshinskii–Moriya interaction the authors reported a single-valued relation between the effective bound and mixedness $\gamma=1-\operatorname{Tr}[\rho(T)^2]$ [2507.15619]. Because this is a specialized dynamical setting, a cautious interpretation is that reverse uncertainty bounds may depend systematically on mixedness in some controlled models, rather than that such dependence is universal in all formulations.

Open questions are explicitly noted in the recent literature. Girolami and Fadel ask which among their bounds, the covariance-refined version, and the Dunkl–Williams variant is tightest in a given physical scenario, and suggest that experimental tests on qubits or optical modes could adjudicate their practical strength [2503.05669]. More broadly, the coexistence of vector-inequality, uncertainty-matrix, auxiliary-operator, and angular-distance constructions indicates that reverse uncertainty relations remain an active area of structural comparison rather than a closed theory with a unique canonical form.

Source: https://www.emergentmind.com/topics/reverse-uncertainty-relation