Compatibility of any pair of 2-outcome measurements characterizes the Choquet simplex (Q830357): Difference between revisions

Let \(K\) be a compact convex subset of a locally convex Hausdorff space and \(A(K)\) the set of continuous real affine functionals on \(K\). A measurement on \(A(K)\) is a finite sequence of positive elements in \(A(K)\) with sum equal to 1. It is proved that \(K\) is a Choquet simplex if and only if any pair of 2-outcome measurements are compatible, i.e., the measurements are given as the marginals of a single measurement. This generalizes the finite-dimensional result of \textit{M. Plávala} [``All measurements in a probabilistic theory are compatible if and only if the state space is a simplex'', Phys. Rev. A 94, No. 4, Article ID 042108, 7 p. (2016; \url{doi:10.1103/PhysRevA.94.042108})] obtained in the context of the foundations of quantum theory. The proof of Plávala depends on the notion of maximal face and is not straightforwardly applicable to infinite-dimensional convex compact sets.