---
title: Entropic Uncertainty Relations (EUR)
url: https://www.emergentmind.com/topics/entropic-uncertainty-relations-eur
type: topic
---

# Entropic Uncertainty Relations (EUR)

Entropic uncertainty relations (EURs) articulate the quantum mechanical constraints on the simultaneous predictability of measurement outcomes for incompatible observables, expressed in rigorous information-theoretic language. EURs have evolved into foundational tools for quantum information, cryptography, and the delineation of quantum correlations, unifying measurement-theoretic and entanglement-based perspectives of uncertainty. The formalism encompasses both finite- and infinite-dimensional systems, generalizes to multiple observables and measurement scenarios, and encompasses the effects of quantum memory as well as relativistic (non-inertial) reference frames.

## 1. Foundations: Canonical Forms and Generalizations

The archetypal EUR for observables $X$ and $Z$ on a finite-dimensional Hilbert space $\mathcal{H}$ is the Maassen–Uffink inequality,
\[
H(X) + H(Z) \geq -\log c, \quad c = \max_{x, z} |\langle x|z\rangle|^2,
\]
where $H(X)$ is the Shannon entropy for the measurement probabilities $p_X(x) = \langle x | \rho | x \rangle$, and $c$ quantifies the maximal overlap of the measurement bases [1511.04857, 1103.2316]. This bound reflects the fundamental limitation of obtaining sharp outcomes for both observables: the more incompatible $X$ and $Z$ (the smaller $c$), the greater the total uncertainty. The relation admits generalization to Rényi, min/max, and Tsallis entropies, with comparable structural form but modified coefficients and duality relations [1511.04857, 1112.0543].

For continuous variables, the Hirschman–Beckner–Białynicki-Birula form is
\[
h(Q) + h(P) \geq \log (e \pi),
\]
with $h(Q)$ the differential entropy of the position distribution and $h(P)$ the momentum distribution, reflecting the information-theoretic strengthening of the Heisenberg–Robertson inequality [1511.04857, 2503.19216]. For discretized or polymeric (non-regular) Hilbert spaces, the bound adapts to
\[
H_{\text{pos}} + H_{\text{mom}} \geq \ln(L/\mu_0)
\]
where $\mu_0$ is the lattice spacing and $L$ the total length, smoothly recovering the continuum result as $\mu_0 \to 0$ [2503.19216].

## 2. Entropic Uncertainty Relations with Quantum Memory

A central advance is the quantum-memory-assisted EUR (QMA-EUR), which reduces the lower bound via entropy contributions from quantum side information [1511.04857, 2501.02861, 2512.10210]:
\[
S(Q|B) + S(R|B) \geq \log_2 \frac{1}{c} + S(A|B),
\]
with $S(Q|B) = S(\rho_{QB}) - S(\rho_B)$ the conditional von Neumann entropy after measurement of $Q$ on $A$, where $B$ holds quantum memory. The overlap parameter $c$ and the conditional entropy $S(A|B)$ (which may be negative for entangled states) jointly determine the bound [2512.10210, 1301.7240].

This formulation extends to multipartite scenarios [2501.02861, 2207.12693]. For $m$ measurements on $A$ and $m$ quantum memories $(B_i)$,
\[
\sum_{i=1}^m S(M_i|B_i) \geq -\frac{1}{m-1} \sum_{i<j} \log_2 c(M_i, M_j) + \frac{m-1}{2} S(A) - \sum_{i} \mathcal{I}(M_i: B_i)
\]
where $\mathcal{I}(M: B)$ is the Holevo information quantifying the quantum correlations between $A$ and $B$, and the bound tightens when genuine multipartite quantum correlations are present [2207.12693, 2501.02861]. This is operationally significant for quantum cryptography, as inclusion of the Holevo terms improves the security thresholds in key distribution [2207.12693].

EURs also provide tight bounds for quantum discord and constraints on its shareability. For any quantum state $\rho_{AB}$:
\[
D_A(\rho_{AB}) \leq \min \left\{ S(\rho_A), I(\rho_{AB}), \frac{\delta_T + I(\rho_{AB})}{2} \right\},\quad \delta_T = S(Q|B) + S(R|B) - \log_2\frac{1}{c} - S(A|B)
\]
showing explicit control of discord via entropic uncertainty [1301.7240].

## 3. EURs Beyond Two Observables, Weightings, and Extensions

Standard EURs extend to multiple measurements via majorization, weightings, and state-dependent parameters. For a collection $\{M_\theta\}$ of POVMs with measurement probabilities $w_\theta$ and Rényi entropy $H_\alpha$:
\[
\sum_\theta w_\theta H_\alpha(p_{\cdot|\theta}) \geq Q_\alpha[l, \bar{c}]
\]
where $\bar{c}$ depends on the average index of coincidence and POVM measurement details. Weight optimization via semidefinite programming enables strictly stronger bounds than uniform weighting, directly benefiting quantum steering protocols and biased-basis QKD [2309.16955]. Additionally, the tightness of EURs for multiple observables reflects nontrivial additivity properties – strict additivity holds only for $L=2$ observables, while for $L>2$ or for multipartite joint entropies, violation of naive additivity directly signals quantum correlations [2207.13469].

Tomographic protocols for continuous-variable and hybrid systems exploit statistical properties of optical tomograms to construct experimentally accessible EURs. The inverse-participation-ratio–based tomographic indicator gives the highest correlation with entropic sum-uncertainty in both integrable and strongly nonlinear regimes [2306.11436].

## 4. Measurement Disturbance, Reversibility, and Relative-Entropy EURs

Recent analysis unifies uncertainty, quantum memory, and measurement disturbance by introducing a measurement-reversibility correction:
\[
H(Z|B)_\omega + H(X|B)_\sigma \geq -\log c - \log f + H(A|B)_\rho
\]
where $f$ is the fidelity between the pre-measurement state and the best-recovered post-measurement state via an explicit recovery channel [1511.00267]. The term $-\log f$ quantifies the irreversibility of measurement, strictly tightens conventional EUR bounds, and admits experimental validation in current superconducting-qubit platforms [1511.00267].

Relative entropy generalizations (REURs) take the form:
\[
D(P_A\|Q_A) + D(P_B\|Q_B) \leq -\ln(1/c) - S(\rho) + H(Q_A) + H(Q_B)
\]
where $D(P\|Q)$ is the Kullback-Leibler divergence of the measurement outcome distribution from a maximum-entropy reference, and $S(\rho)$ the von Neumann entropy. These relations directly sharpen the standard EURs and admit extension to Rényi or Tsallis relative entropies, with utility for quantum fields and situations where classical entropy is ill-defined [2012.10080].

## 5. Physical Applications: Cryptography, Quantum Batteries, and Relativistic Regimes

EURs are foundational in quantum key distribution (QKD): the conditional min- and max-entropy versions
\[
H_\infty^\epsilon(X|E) + H_{\max}^\epsilon(Z|E) \geq -\log_2 c(X, Z)
\]
form the security backbone for prepare-and-measure and entanglement-based protocols. For projective rank-one POVMs the overlap $c<1$ gives nontrivial security, yet for more general POVMs, $c$ can reach unity, collapsing the lower bound and thereby precluding security proofs; this necessitates either measurement restriction or sampling-based effective overlaps [2208.00242].

In quantum thermodynamics, EUR tightness correlates quantitatively with the efficiency of quantum batteries under various environmental conditions. For a bipartite quantum battery–charger model, the difference $\Delta^{xz}(t)$ between the EUR left and right sides serves as a universal indicator of extractable work and energy-conversion efficiency [2405.07185].

In relativistic frameworks, acceleration-induced decoherence (Unruh effect) and spacetime curvature (de Sitter, black-hole analogues) influence the available quantum correlations and thus the effective bound in QMA-EURs. Notably, depending on initial quantum correlations, acceleration can both tighten or loosen the EUR lower bound; decoherence-driven loss of quantum discord or minimal missing information mediates this behavior [2512.10210, 1501.00623, 1309.7443]. Indefinite causal ordering of quantum operations, as implemented with the quantum switch or time-flip, can mitigate noise-induced degradation of EURs and thus extend operational quantum information protocols [2511.14192].

## 6. Hierarchy, Tightness, and Experimental Realizations

Tightness of entropic bounds is achieved for specific pairs of observables: the Maassen-Uffink relation is saturated for mutually unbiased bases and for any pair of stabilizer bases in the stabilizer formalism [1103.2316]. In dichotomic anticommuting observables, variance-based and entropic bounds coincide for Tsallis entropies at $q=2,3$, and the entropic uncertainty for multiple measurements achieves its minimum for maximally entangled or maximally mixed states, depending on the scenario [1103.2316, 2207.13469]. The experimental landscape is mature: tight multipartite EURs have been observed in four-photon GHZ-type platforms, demonstrating directly measurable enhancement of security proofs and witnessing strong quantum correlations beyond simple additivity [2207.12693].

## 7. Outlook and Open Directions

Current research focuses on strengthening EURs via majorization, conditional relative entropies, and entropic error-disturbance frameworks. Extensions to field-theoretic and quantum-gravity contexts, as well as to resource theories of coherence and multipartite steering, are active areas [2012.10080, 2206.13218]. The operational role of tightness—as both a diagnostic of quantum correlation and an efficiency indicator in energy-conversion protocols—suggests broader applications spanning fundamental and applied quantum science [2405.07185, 2501.02861]. 

Open challenges include the characterization of optimal measurement weightings for biased EURs, formulation in highly singular or infinite-dimensional Hilbert spaces, and the design of device-independent and self-testing protocols based on EURs [2309.16955, 2503.19216]. The unification of entropy-based, variance-based, and operational/game-theoretic uncertainty relations remains a central conceptual and technical thread permeating the field.

Source: https://www.emergentmind.com/topics/entropic-uncertainty-relations-eur