Exact Uncertainty Relations

• Exact uncertainty relations are rigorously defined as equalities or state-independent bounds, using measures like Fisher information and majorization to refine traditional Heisenberg inequalities.
• They underpin formulations such as the Hall–Reginatto principle and Hall’s operator equality, linking classical ensembles with the emergence of the Schrödinger equation and its nonlinear extensions.
• Extensions cover operational models including arrival-time POVMs, error–disturbance relations, and cumulant-based formulations that offer actionable insights for quantum measurement and cryptography.

The exact uncertainty relation is not a single formula but a family of rigorously formulated uncertainty statements in which the qualifier “exact” has a specific technical meaning. In the literature summarized here, it may denote an equality, a tight state-independent majorization bound, or a closed form whose dependence on incompatibility data is completely specified. The best-known instances are the Hall–Reginatto exact uncertainty principle, which identifies a Fisher-information-based equality underlying the Schrödinger equation; Hall’s operator equality for pure states; tight universal majorization relations for measurement outcome distributions; and exact operational formulations for entropic, energy–time, error–disturbance, and single-observable settings (1602.05004, Alishahiha et al., 23 Dec 2025, Friedland et al., 2013, Xiao et al., 2016).

1. Terminological scope and senses of exactness

In this literature, “exact” is used in several non-equivalent but related senses.

Setting	Exact statement	Sense of exactness
Hall–Reginatto EUP	$\delta x_l\,\Delta N_l=\hbar/2$	Equality
Hall operator relation	$\delta_B A\,\Delta B_{nc}=1/2$	Equality
Universal UUR	$p(\rho)\otimes q(\rho)\prec \omega$	Tight state-independent bound
Memory-assisted entropic UR	dependence on all $d$ largest overlaps $c_{(1)},\dots,c_{(d)}$	Closed-form exact dependence

The Hall–Reginatto formulation starts from a classical ensemble and postulates momentum fluctuations whose scale is fixed exactly by the Fisher information of the position density. The resulting equality is then stronger than the usual Heisenberg inequality in the sense that the latter follows only after using $\Delta p_l\ge \Delta N_l$ (1602.05004).

In Hall’s operator formulation for pure states, exactness refers to a literal equality between a reciprocal error-like quantity $\delta_B A$ and the nonclassical fluctuation $\Delta B_{nc}$. In the later Krylov-space reformulation, that equality becomes the statement that the operator amplitude vector moves on a unit sphere with constant speed $b_1$ (Alishahiha et al., 23 Dec 2025).

In universal majorization and entropic formulations, exactness does not mean equality for every state. Rather, it means that the right-hand side is the optimal state-independent vector bound, or that the lower bound depends on all relevant overlap data rather than only on the largest overlap or the first two overlaps (Friedland et al., 2013, Xiao et al., 2016).

A further operational use appears in arrival-time theory, where “exact” designates sharp energy–time theorems for an explicitly defined arrival-time POVM generated by absorption, namely

$$\Delta T\,\Delta E \ge \frac{\sqrt p\,\hbar}{2},\qquad \langle T\rangle\,\Delta E \ge 1.37\,\sqrt p\,\hbar,$$

under the assumption that the absorbing term vanishes on the initial wave function (Kiukas et al., 2011).

2. Hall–Reginatto exact uncertainty principle

The original exact uncertainty principle is formulated for a classical ensemble in configuration space $\delta_B A\,\Delta B_{nc}=1/2$0 described by a probability density $\delta_B A\,\Delta B_{nc}=1/2$1 and a Hamilton principal function $\delta_B A\,\Delta B_{nc}=1/2$2. These satisfy the continuity equation

$\delta_B A\,\Delta B_{nc}=1/2$3

and the Hamilton–Jacobi equation

$\delta_B A\,\Delta B_{nc}=1/2$4

The key postulate is that the physical momentum field is not simply $\delta_B A\,\Delta B_{nc}=1/2$5 but

$\delta_B A\,\Delta B_{nc}=1/2$6

where $\delta_B A\,\Delta B_{nc}=1/2$7 is a fluctuation with unbiasedness conditions

$\delta_B A\,\Delta B_{nc}=1/2$8

The classical action then acquires an extra fluctuation term,

$\delta_B A\,\Delta B_{nc}=1/2$9

Hall and Reginatto impose that there is a direct position-uncertainty measure $p(\rho)\otimes q(\rho)\prec \omega$0 determined solely by $p(\rho)\otimes q(\rho)\prec \omega$1, and that momentum fluctuations scale inversely under rescaling. This yields

$p(\rho)\otimes q(\rho)\prec \omega$2

with the natural choice

$p(\rho)\otimes q(\rho)\prec \omega$3

The defining exact equality is therefore

$p(\rho)\otimes q(\rho)\prec \omega$4

Since the actual momentum uncertainty obeys $p(\rho)\otimes q(\rho)\prec \omega$5, the usual Heisenberg inequality follows as a corollary rather than as the primitive statement (1602.05004).

The same formalism reproduces standard nonrelativistic quantum mechanics. The Euler–Lagrange equations derived from $p(\rho)\otimes q(\rho)\prec \omega$6 give a modified Hamilton–Jacobi equation which, under the Madelung substitution

$p(\rho)\otimes q(\rho)\prec \omega$7

becomes exactly the linear Schrödinger equation

$p(\rho)\otimes q(\rho)\prec \omega$8

This gives the exact uncertainty principle a foundational role: the equality involving Fisher information is the structural input, while the Schrödinger dynamics emerges from it (1602.05004).

3. Generalized exact uncertainty principle and quasi-nonlinear dynamics

A later extension replaces the linear fluctuation scaling law by

$p(\rho)\otimes q(\rho)\prec \omega$9

where $d$0 is smooth, strictly increasing, obeys $d$1 for $d$2, and satisfies $d$3. The same Fisher-information argument then gives

$d$4

so that the modified exact uncertainty relation becomes

$d$5

Because $d$6 and $d$7 is increasing, one obtains

$d$8

This provides a systematic embedding of generalized uncertainty relations into the exact-uncertainty framework (1602.05004).

For the quadratic generalized uncertainty principle,

$d$9

the choice

$c_{(1)},\dots,c_{(d)}$0

makes the modified exact relation algebraically equivalent to the quadratic GUP. The fluctuation term in the action is then altered accordingly, and the Madelung transformation yields a quasi-nonlinear Schrödinger equation,

$c_{(1)},\dots,c_{(d)}$1

Here

$c_{(1)},\dots,c_{(d)}$2

The equation is described as separable for non-interacting subsystems, homogeneity-preserving, and Galilei-invariant; plane-wave states with $c_{(1)},\dots,c_{(d)}$3 remain exact solutions. On that basis, the paper argues that a modification of a free-particle dispersion relation due to quantum gravity might not occur in reality (1602.05004).

For the one-dimensional harmonic oscillator ground state, the modified theory yields Gaussian solutions with a state-dependent width, and the position variance has a lower bound. In the GUP case,

$c_{(1)},\dots,c_{(d)}$4

or equivalently $c_{(1)},\dots,c_{(d)}$5. This realizes the familiar Planck-length-scale minimal position uncertainty within the exact-uncertainty construction (1602.05004).

4. Hall’s operator equality and the Krylov-space geometric form

For two Hermitian operators $c_{(1)},\dots,c_{(d)}$6 and $c_{(1)},\dots,c_{(d)}$7 on a pure state $c_{(1)},\dots,c_{(d)}$8, Hall’s exact uncertainty relation is

$c_{(1)},\dots,c_{(d)}$9

The reciprocal quantity $\Delta p_l\ge \Delta N_l$0 is defined by

$\Delta p_l\ge \Delta N_l$1

while

$\Delta p_l\ge \Delta N_l$2

with

$\Delta p_l\ge \Delta N_l$3

The decomposition satisfies

$\Delta p_l\ge \Delta N_l$4

The exactness here is literal: the relation is an equality, not a lower bound (Alishahiha et al., 23 Dec 2025).

A 2025 reformulation gives this relation a geometric interpretation in Krylov space. Let the Liouvillian superoperator be

$\Delta p_l\ge \Delta N_l$5

and represent operators as vectors $\Delta p_l\ge \Delta N_l$6 with Hilbert–Schmidt inner product $\Delta p_l\ge \Delta N_l$7. Starting from a normalized seed $\Delta p_l\ge \Delta N_l$8, the Lanczos recursion

$\Delta p_l\ge \Delta N_l$9

generates an orthonormal Krylov basis with Lanczos coefficients $\delta_B A$0 (Alishahiha et al., 23 Dec 2025).

Heisenberg evolution,

$\delta_B A$1

is expanded as

$\delta_B A$2

where the amplitudes are real and satisfy

$\delta_B A$3

Thus the amplitude vector

$\delta_B A$4

lives on a real unit sphere. Its components obey

$\delta_B A$5

and the squared speed is

$\delta_B A$6

Hence

$\delta_B A$7

at all times. The arc length therefore satisfies

$\delta_B A$8

and the geometric distance obeys the exact linear speed limit

$\delta_B A$9

Only the first Lanczos coefficient enters the speed; higher coefficients determine curvature and torsion of the trajectory, not the instantaneous norm of the velocity (Alishahiha et al., 23 Dec 2025).

The same work identifies the Mandelstam–Tamm relation as a special case with $\Delta B_{nc}$0, and rewrites the exact quantum speed limit of Pati et al. as

$\Delta B_{nc}$1

so that $\Delta B_{nc}$2 becomes the constant-speed identity in Krylov space (Alishahiha et al., 23 Dec 2025).

5. Exact majorization and entropic formulations

The universal uncertainty-relation program replaces entropy-specific statements by a vector majorization inequality. For two orthonormal bases $\Delta B_{nc}$3 and $\Delta B_{nc}$4 in dimension $\Delta B_{nc}$5, and any state $\Delta B_{nc}$6, define

$\Delta B_{nc}$7

and form the $\Delta B_{nc}$8-component vector $\Delta B_{nc}$9. Then

$b_1$0

where $b_1$1 is constructed from

$b_1$2

The vector is

$b_1$3

This is the exact universal uncertainty relation: for each $b_1$4 there exists a subset $b_1$5 and a pure $b_1$6 achieving the corresponding maximum, so no strictly larger state-independent vector can replace $b_1$7 (Friedland et al., 2013).

The first entries admit closed form. Writing

$b_1$8

one has

$b_1$9

Similarly,

$$\Delta T\,\Delta E \ge \frac{\sqrt p\,\hbar}{2},\qquad \langle T\rangle\,\Delta E \ge 1.37\,\sqrt p\,\hbar,$$0

with $$\Delta T\,\Delta E \ge \frac{\sqrt p\,\hbar}{2},\qquad \langle T\rangle\,\Delta E \ge 1.37\,\sqrt p\,\hbar,$$1 obtained from the appropriate two-projector optimization. Any Schur-concave uncertainty quantifier $$\Delta T\,\Delta E \ge \frac{\sqrt p\,\hbar}{2},\qquad \langle T\rangle\,\Delta E \ge 1.37\,\sqrt p\,\hbar,$$2 then yields

$$\Delta T\,\Delta E \ge \frac{\sqrt p\,\hbar}{2},\qquad \langle T\rangle\,\Delta E \ge 1.37\,\sqrt p\,\hbar,$$3

and if $$\Delta T\,\Delta E \ge \frac{\sqrt p\,\hbar}{2},\qquad \langle T\rangle\,\Delta E \ge 1.37\,\sqrt p\,\hbar,$$4 is additive under tensor products,

$$\Delta T\,\Delta E \ge \frac{\sqrt p\,\hbar}{2},\qquad \langle T\rangle\,\Delta E \ge 1.37\,\sqrt p\,\hbar,$$5

This immediately produces exact Shannon, Rényi, and Tsallis uncertainty relations (Friedland et al., 2013).

A different notion of exactness appears in the improved entropic uncertainty relation with quantum memory. For a $$\Delta T\,\Delta E \ge \frac{\sqrt p\,\hbar}{2},\qquad \langle T\rangle\,\Delta E \ge 1.37\,\sqrt p\,\hbar,$$6-dimensional system $$\Delta T\,\Delta E \ge \frac{\sqrt p\,\hbar}{2},\qquad \langle T\rangle\,\Delta E \ge 1.37\,\sqrt p\,\hbar,$$7, arbitrary memory $$\Delta T\,\Delta E \ge \frac{\sqrt p\,\hbar}{2},\qquad \langle T\rangle\,\Delta E \ge 1.37\,\sqrt p\,\hbar,$$8, and two projective measurements $$\Delta T\,\Delta E \ge \frac{\sqrt p\,\hbar}{2},\qquad \langle T\rangle\,\Delta E \ge 1.37\,\sqrt p\,\hbar,$$9 and $\delta_B A\,\Delta B_{nc}=1/2$00 on $\delta_B A\,\Delta B_{nc}=1/2$01, define the overlap matrix

$\delta_B A\,\Delta B_{nc}=1/2$02

and order the first $\delta_B A\,\Delta B_{nc}=1/2$03 largest overlaps as

$\delta_B A\,\Delta B_{nc}=1/2$04

Then

$\delta_B A\,\Delta B_{nc}=1/2$05

The proof combines the relative-entropy method of Berta et al., successive mass rearrangement, and the direct-sum majorization bound $\delta_B A\,\Delta B_{nc}=1/2$06 associated with Rudnicki–Puchała–Życzkowski. The resulting lower bound depends on all $\delta_B A\,\Delta B_{nc}=1/2$07 largest overlaps, not only on the maximum overlap or the first two overlaps (Xiao et al., 2016).

The memory-free corollary is

$\delta_B A\,\Delta B_{nc}=1/2$08

The paper states that these bounds are strictly tighter than previous entropic bounds in the presence of quantum memory and gives applications to quantum cryptography with entanglement witnesses and quantum key distributions. It also notes that the new closed form is complementary to direct-sum majorization bounds and is stronger than Berta et al. and Coles–Piani except in the maximally unbiased case (Xiao et al., 2016).

6. Operational, relativistic, and measurement-theoretic exact relations

An exact operational energy–time relation is obtained when arrival is modeled by absorption. Let $\delta_B A\,\Delta B_{nc}=1/2$09 be self-adjoint, let the detector be a positive operator $\delta_B A\,\Delta B_{nc}=1/2$10, define

$\delta_B A\,\Delta B_{nc}=1/2$11

and let

$\delta_B A\,\Delta B_{nc}=1/2$12

The loss of normalization determines the arrival-time POVM, and if the initial state $\delta_B A\,\Delta B_{nc}=1/2$13 satisfies $\delta_B A\,\Delta B_{nc}=1/2$14, then with absorption probability

$\delta_B A\,\Delta B_{nc}=1/2$15

the exact theorems are

$\delta_B A\,\Delta B_{nc}=1/2$16

The first bound can be approached arbitrarily closely, while the second is sharp and is governed by the Airy problem on the half-line. A two-level system nearly saturates both bounds, and a trapped-ion realization with a single $\delta_B A\,\Delta B_{nc}=1/2$17 ion is proposed (Kiukas et al., 2011).

Measurement uncertainty can also be formulated exactly through quantum estimation theory. For a POVM $\delta_B A\,\Delta B_{nc}=1/2$18, observable $\delta_B A\,\Delta B_{nc}=1/2$19, and unknown state $\delta_B A\,\Delta B_{nc}=1/2$20, the measurement error is defined by

$\delta_B A\,\Delta B_{nc}=1/2$21

For any two observables $\delta_B A\,\Delta B_{nc}=1/2$22 and any POVM $\delta_B A\,\Delta B_{nc}=1/2$23,

$\delta_B A\,\Delta B_{nc}=1/2$24

For the class of noisy random PVMs, a stronger attainable bound holds:

$\delta_B A\,\Delta B_{nc}=1/2$25

and equality is achieved by randomly measuring suitable projective observables $\delta_B A\,\Delta B_{nc}=1/2$26 and $\delta_B A\,\Delta B_{nc}=1/2$27 with probabilities $\delta_B A\,\Delta B_{nc}=1/2$28 and $\delta_B A\,\Delta B_{nc}=1/2$29 (Watanabe et al., 2010).

A universal error–disturbance framework defines, for any measurement $\delta_B A\,\Delta B_{nc}=1/2$30 and process $\delta_B A\,\Delta B_{nc}=1/2$31,

$\delta_B A\,\Delta B_{nc}=1/2$32

The exact error–disturbance inequality is

$\delta_B A\,\Delta B_{nc}=1/2$33

with

$\delta_B A\,\Delta B_{nc}=1/2$34

and an explicit real term $\delta_B A\,\Delta B_{nc}=1/2$35 built from $\delta_B A\,\Delta B_{nc}=1/2$36 and $\delta_B A\,\Delta B_{nc}=1/2$37. The parallel error-only relation has the same structure, and the trivial measurement case reproduces the Kennard–Robertson relation. The paper emphasizes that the bound may exceed the traditional naive $\delta_B A\,\Delta B_{nc}=1/2$38 product while remaining consistent with Heisenberg’s original observation-effect intuition (Lee et al., 2020).

A compact two-factor reformulation defines

$\delta_B A\,\Delta B_{nc}=1/2$39

and proves

$\delta_B A\,\Delta B_{nc}=1/2$40

This combines Ozawa’s universally valid error–disturbance relation with Robertson’s intrinsic fluctuation bound and is presented as a universally valid Heisenberg uncertainty relation (Fujikawa, 2012).

In the relativistic photon case, where no genuine position operator exists, the center-of-energy operator

$\delta_B A\,\Delta B_{nc}=1/2$41

satisfies

$\delta_B A\,\Delta B_{nc}=1/2$42

This noncommutativity raises the finite-energy three-dimensional bound to

$\delta_B A\,\Delta B_{nc}=1/2$43

while the infinite-momentum-frame limit returns to the nonrelativistic $\delta_B A\,\Delta B_{nc}=1/2$44 per axis (Bialynicki-Birula et al., 2012).

7. Higher-order, single-observable, and trade-off extensions

A generalized exact uncertainty relation can be written directly in terms of cumulant-generating functionals. For observables $\delta_B A\,\Delta B_{nc}=1/2$45 and state $\delta_B A\,\Delta B_{nc}=1/2$46, define

$\delta_B A\,\Delta B_{nc}=1/2$47

with $\delta_B A\,\Delta B_{nc}=1/2$48 expanded by the BCH formula. The exact generalized uncertainty relation is

$\delta_B A\,\Delta B_{nc}=1/2$49

Its second-order expansion reproduces Schrödinger’s variance relation and hence the Heisenberg form by discarding the covariance term. Third and higher orders generate skewness and higher-cumulant uncertainty relations through cross-cumulants and nested commutators. The paper presents examples in which the standard Schrödinger bound becomes trivial while the generalized relation remains nontrivial, and it gives applications to entanglement detection and skewness-based nonlocality (Li et al., 2020).

A recent extension shows that uncertainty relations need not be pairwise. For a density operator $\delta_B A\,\Delta B_{nc}=1/2$50 with smallest and largest eigenvalues $\delta_B A\,\Delta B_{nc}=1/2$51 and $\delta_B A\,\Delta B_{nc}=1/2$52, and any observable $\delta_B A\,\Delta B_{nc}=1/2$53,

$\delta_B A\,\Delta B_{nc}=1/2$54

This coefficient is stated to be optimal. After introducing the pinching

$\delta_B A\,\Delta B_{nc}=1/2$55

and the classical variance

$\delta_B A\,\Delta B_{nc}=1/2$56

one obtains the sharpened relation

$\delta_B A\,\Delta B_{nc}=1/2$57

For qubits this becomes the exact identity

$\delta_B A\,\Delta B_{nc}=1/2$58

with

$\delta_B A\,\Delta B_{nc}=1/2$59

The same single-observable bounds yield improved product-form uncertainty relations for pairs of observables (Yamashita et al., 25 May 2026).

A related state-independent variance program uses Bloch-vector geometry. In the qubit case, for two observables $\delta_B A\,\Delta B_{nc}=1/2$60 and $\delta_B A\,\Delta B_{nc}=1/2$61 in a pure state, one obtains

$\delta_B A\,\Delta B_{nc}=1/2$62

and for three observables an exact surface,

$\delta_B A\,\Delta B_{nc}=1/2$63

This formulation is variance-based, state-independent once the observables are fixed, and presented as immune to the triviality problem associated with vanishing expectation values in Robertson-type bounds (Li et al., 2015).

Taken together, these developments show that “exact uncertainty relation” designates a structured research program rather than a single theorem. Depending on context, exactness may mean equality, optimality, sharp operational attainability, or complete dependence on the relevant incompatibility data. A plausible implication is that the subject has shifted from a single variance product inequality to a hierarchy of exact formulations spanning Fisher information, operator geometry, majorization, conditional entropy, arrival-time POVMs, measurement error, and state–observable noncommutativity.