The mathematical content of the uncertainty principle is contained in special states akin to, and including, states of minimum uncertainty. Specific uncertainty relations are produced by averaging observables in these states. The approach is shown to give more flexible and complete expressions of indeterminacy than the familiar generalized Heisenberg inequality: statistical measures other than variances can be employed, the method is not limited to describing uncertainties in terms of products of statistical dispersions, and the resulting inequalities have the most stringent bounds attainable independent of the system state. Applications are then made to find uncertainty relations for position-momentum average displacements from the means, time-energy indeterminacy, and uncertainties in angular momentum components.
Recently, S\'anchez-Moreno et al. [New J. Phys. 8, 330 (2006)] have shown that the three-dimensional Heisenberg uncertainty relation ${\ensuremath{\sigma}}_{r}{\ensuremath{\sigma}}_{p}\ensuremath{\ge}3\ensuremath{\hbar}/2$ might be significantly sharpened if the relevant quantum state describes the particle in a central potential. I extend that result to the case of states which are not the eigenstates of the square of the angular momentum operator. I derive a lower bound for ${\ensuremath{\sigma}}_{r}{\ensuremath{\sigma}}_{p}$ which involves the mean value and the variance of the square of the angular momentum operator.
We introduce the average confidence width
Δax=∫01Δcx(θ)dθ: the confidence width
Δcx(θ)---the measure of the smallest region of position space carrying probability
θ---averaged over all confidence levels. It is the first moment of the decreasing rearrangement of the position density, an
L1 (mean-absolute-deviation) measure of localization, and
ΔaxΔap is dilation invariant. We study the uncertainty relation
ΔaxΔap≥c∗ℏ for pure and mixed states. A mean--entropy argument with the Bialynicki-Birula--Mycielski relation gives
c∗≥π/e, while the ground state
ψ0 of the Fourier-invariant operator
∣x∣+∣p∣, with
E0=1.1040744, gives
c∗≤E02≈1.2190<4/π: Gaussian states, which saturate the Heisenberg--Kennard and entropic relations, are not optimal here. We prove that
ψ0 is nondegenerate, nodeless, even, self-dual, and symmetric decreasing, with algebraic tails, and that the sharp hybrid relations
Δax⋅2⟨∣p−p0∣⟩≥E02ℏ and
2⟨∣x−x0∣⟩⋅Δap≥E02ℏ hold for all states, so
ΔaxΔap≥E02ℏ whenever either density is symmetric unimodal; the second variation of
ΔaxΔap at
ψ0 is positive definite apart from the symmetry directions. Extensive numerical minimization, including coherent states, never finds a product below
E02ℏ and consistently returns
ψ0, supporting the conjecture
c∗=E02. In two dimensions the relation is sharp and saturated by Gaussians, identifying the dimension as the origin of the non-Gaussian optimizer in one dimension. Finally, we discuss other complementary pairs and the relation of the width to interferometric predictability and visibility.