The notion of a joint distribution in
σ-finite measures of observables of a quantum logic defined on some system of
σ-independent Boolean sub-
σ-algebras of a Boolean
σ-algebra is studied. In the present first part of the paper the author studies a joint distribution of compatible observables. It is shown that it may exists, although a joint obsevable of compatible observables need not exist.
Incompatible observables can be approximated by compatible observables in joint measurement or measured sequentially, with constrained accuracy as implied by Heisenberg's original formulation of the uncertainty principle. Recently, Busch, Lahti, and Werner proposed inaccuracy trade-off relations based on statistical distances between probability distributions of measurement outcomes [P. Busch et al., Phys. Rev. Lett. 111, 160405 (2013); P. Busch et al., Phys. Rev. A 89, 012129 (2014)]. Here we reformulate their theoretical framework, derive an improved relation for qubit measurement, and perform an experimental test on a spin system. The relation reveals that the worst-case inaccuracy is tightly bounded from below by the incompatibility of target observables, and is verified by the experiment employing joint measurement in which two compatible observables designed to approximate two incompatible observables on one qubit are measured simultaneously.
Measurement incompatibility and the negativity of quasi-probability distributions both demonstrate the signature of nonclassicality. However, their relations largely remained qualitative, and no explicit operational connection has been established. We provide an operational link between measurement incompatibility and the Margenau-Hill(MH) quasi-probability distribution associated with two dichotomic observables. { We first derive the joint measurability (measurement compatibility) condition for any pair of dichotomic observables in arbitrary finite dimension
d.} We then rigorously prove that for any pair of unsharp dichotomic measurements in dimension
d, the positivity of the MH distribution is equivalent to joint measurability \emph{i.e.}, the MH distribution is positive \emph{if and only if} the measurements are jointly measurable. We further introduce the MH-like quasi-probability distribution for
n dichotomic unsharp observables in arbitrary finite dimension and derive a sufficient condition of joint-measurability when the observables are mutually anticommuting. Finally, we propose an interferometric setup, inspired by quantum-switch architectures, that directly reconstructs MH quasi-probability which in turn provides a test of incompatibility.