Properties and Applications of Partially Deterministic Polytopes

Abstract

The assumption of a deterministic local hidden variable model constrains the experimentally accessible statistics in a Bell experiment to be contained in the Bell-local polytope. But what if the outputs for only a subset of the measurements at each site are predetermined by the model? In this work, we thoroughly explore this concept of `partial determinism', allowing for arbitrary numbers of parties, inputs and outputs per site. The resulting objects form new classes of convex polytopes which recover the Bell and the no-signalling polytopes as special cases. Nontrivial equivalence classes of partially deterministic models arise, which we classify completely. In particular, the Bell polytope for any scenario can be expressed in multiple different ways in terms of local partially deterministic models. This allows us to generalise Fine's theorem, recovering the original formulation as a special case, but finding new constraints otherwise. We discuss scenarios with different physical motivations, which do not require the causal structure of the Bell scenario, and where classes of partially deterministic polytopes are relevant. Our example applications include device-independent quantum state inseparability witnesses, classes of broadcast-local polytopes, and Local Friendliness scenarios in quantum foundations. We also point out instances in previous literature where classes of related objects have been studied. In the case of correlations compatible with the Local Friendliness assumptions, we find a one-to-one correspondence between partially deterministic polytopes and sequential extended Wigner's friend scenarios so that every partially deterministic polytope has physical relevance. We discuss how the framework captures a broad class of non-classicality notions, and identify an even broader notion of `composable sets', of which partially deterministic polytopes are special cases.