Axiomatic approach to contextuality and nonlocality

TL;DR

This paper develops an axiomatic framework for resource theories of contextuality and nonlocality, establishing measures, properties, and bounds, and demonstrating how resources can be quantified, compared, and distilled within this unified approach.

Contribution

It introduces axioms and properties for resource measures in contextuality and nonlocality, proving asymptotic continuity and bounds, and connects these to distillation protocols.

Findings

Relative entropy of contextuality is asymptotically continuous.

Resource measures are upper bounded by resource cost for certain polytopes.

Maximal distillable resource is bounded by the resource measure.

Abstract

We present a unified axiomatic approach to contextuality and non-locality based on the fact that both are resource theories. In those theories the main objects are consistent boxes, which can be transformed by certain operations to achieve certain tasks. The amount of resource is quantified by appropriate measures of the resource. Following recent paper [J.I. de Vicente, J. Phys. A: Math. Theor. {\bf 47}, 424017 (2014)], and recent development of abstract approach to resource theories, such as entanglement theory, we propose axioms and welcome properties for operations and measures of resources. As one of the axioms of the measure we propose the asymptotic continuity: the measure should not differ on boxes that are close to each other by more than the distance with a factor depending logarithmically on the dimension of the boxes. We prove that relative entropy of contextuality is asymptotically continuous. Considering another concept from entanglement theory---the convex roof of a measure---we prove that for some non-local and contextual polytopes, the relative entropy of a resource is upper bounded up to a constant factor by the cost of the resource. Finally, we prove that providing a measure $X$ of resource does not increase under allowed class of operations, such as e.g. wirings, the maximal distillable resource which can be obtained by these operations is bounded from above by the value of $X$ up to a constant factor. We show explicitly which axioms are used in the proofs of presented results, so that analogous results may remain true in other resource theories with analogous axioms. We also make use of the known distillation protocol of bipartite nonlocality to show how contextual resources can be distilled.