We introduce a multipartite extension of an information-theoretic distance introduced by Zurek [Nature (London) 341, 119 (1989)]. We use it to develop a new tool for studying quantum correlations from an information-theoretic perspective. In particular, we derive entropic tests of multipartite nonlocality for three qubits and for an arbitrary even number of qubits as well as a test of state-independent contextuality. In addition, we rederive the tripartite Mermin inequality and a state-independent noncontextuality inequality by Cabello [Phys. Rev. Lett. 101, 210401 (2008)]. This suggests that the information-theoretic distance approach to multipartite nonlocality and state-independent contextuality can provide a more general treatment of nonclassical correlations than the orthodox approach based on correlation functions.
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.