Noncontextual wirings
Barbara Amaral, Ad\'an Cabello, Marcelo Terra Cunha, Leandro Aolita

TL;DR
This paper introduces noncontextual wirings as a new class of free operations in the resource theory of contextuality, providing a complete characterization and demonstrating their properties and applications.
Contribution
It provides the first explicit, physically-motivated class of free operations for contextuality, completing the resource-theoretic framework.
Findings
Relative entropy of contextuality is a monotone.
Existence of maximally contextual boxes as contextuality bits.
Complete characterization of noncontextual wirings for black-box devices.
Abstract
Contextuality is a fundamental feature of quantum theory and is necessary for quantum computation and communication. Serious steps have therefore been taken towards a formal framework for contextuality as an operational resource. However, the most important component for a resource theory - a concrete, explicit form for the free operations of contextuality - was still missing. Here we provide such a component by introducing noncontextual wirings: a physically-motivated class of contextuality-free operations with a friendly parametrization. We characterize them completely for the general case of black-box measurement devices with arbitrarily many inputs and outputs. As applications, we show that the relative entropy of contextuality is a contextuality monotone and that maximally contextual boxes that serve as contextuality bits exist for a broad class of scenarios. Our results complete a…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Noncontextual wirings
Barbara Amaral
Departamento de Matemática, Universidade Federal de Ouro Preto, Ouro Preto, MG, Brazil
Departamento de Física e Matemática, CAP - Universidade Federal de São João del-Rei, 36.420-000, Ouro Branco, MG, Brazil
Adán Cabello
Departamento de Física Aplicada II, Universidad de Sevilla, E-41012 Sevilla, Spain
Marcelo Terra Cunha
Departamento de Matemática Aplicada, IMECC-Unicamp, 13084-970, Campinas, São Paulo, Brazil
Leandro Aolita
Instituto de Física, Universidade Federal do Rio de Janeiro, Caixa Postal 68528, Rio de Janeiro, RJ 21941-972, Brazil
International Institute of Physics, Federal University of Rio Grande do Norte, 59070-405 Natal, Brazil
Abstract
Contextuality is a fundamental feature of quantum theory and is necessary for quantum computation and communication. Serious steps have therefore been taken towards a formal framework for contextuality as an operational resource. However, the most important component for a resource theory –a concrete, explicit form for the free operations of contextuality– was still missing. Here we provide such a component by introducing noncontextual wirings: a physically-motivated class of contextuality-free operations with a friendly parametrization. We characterize them completely for the general case of black-box measurement devices with arbitrarily many inputs and outputs. As applications, we show that the relative entropy of contextuality is a contextuality monotone and that maximally contextual boxes that serve as contextuality bits exist for a broad class of scenarios. Our results complete a unified resource-theoretic framework for contextuality and Bell nonlocality.
pacs:
03.65.Ta, 03.65.Ud, 02.10.Ox
Introduction. Quantum contextuality refers to the impossibility of explaining the statistical predictions of quantum theory in terms of models where the measurement outcomes reveal pre-existent system properties whose values are independent on the context, i.e., on which (or whether) other compatible measurements are jointly performed Specker60 ; KS67 . Contextuality can be seen as a generalization of Bell nonlocality Bell66 to single systems, i.e., without the space-like separation restriction. It thus represents an exotic, intrinsically quantum phenomenon with both fundamental and practical implications. Contextuality has received lots of attention over the last decade. On the one hand, it has been experimentally studied in a variety of physical setups HLBBR06 ; KZGKGCBR09 ; ARBC09 ; LLSLRWZ11 ; BCAFACTP13 . On the other one, it has been formally identified as a necessary ingredient for universal quantum computing Raussendorf13 ; HWVE14 ; DGBR14 and a resource for random number certification UZZWYDDK13 , as well as for several other information-processing tasks in the specific case of space-like separated measurements Brunner13 .
This has motivated considerable interest in resource theories of both contextuality GHHHJKW14 ; HGJKL15 and Bell nonlocality GWAN12 ; V14 ; GA17 . Resource theories give powerful frameworks for the formal treatment of a physical property as an operational resource, adequate for its characterization, quantification, and manipulation BG15 ; CFS16 . Their central component is a special class of transformations, called the free operations, that fulfill the essential requirement of mapping every free (i.e., resourceless) object of the theory into a free object. Whereas resource-theoretic approaches for quantum nonlocality are highly developed Barrett05b ; Allcock09 ; GWAN12 ; Joshi13 ; V14 ; LVN14 ; GA15 ; GA17 , the operational framework of contextuality as a resource is still incomplete. In Refs. GHHHJKW14 ; HGJKL15 , an abstract characterization of the axiomatic structure of a resource theory of contextuality was done. However, a concrete specification of the free operations of contextuality was not given. Without an explicit parametrization of a physically-motivated class of free operations, a resource theory significantly loses applicability. For instance, in Refs. HGJKL15 ; GHHHJKW14 , an interesting measure of contextuality, called the relative entropy of contextuality, was proposed, but only partial monotonicity under a rather restricted subset of contextuality free operations was shown. Monotonicity (non-increase under the corresponding free operations) is the fundamental requirement for a function to be a valid quantifier of a resource.
Here, we fill this gap by introducing the class of noncontextual wirings. These are the natural noncontextuality preserving physical operations at hand in the device-independent scenario of black-box measurement devices, where one does not assume any a-priori knowledge of the state or the observables in question. We derive a friendly analytical expression for generic noncontextual wirings applicable to all nondisturbing boxes, so that both quantum and post-quantum boxes are covered. In addition, the framework is versatile in that it allows for transformations between systems with different numbers of inputs and outputs as well as different compatibility constraints. Furthermore, for space-like separated measurements, the wirings reduce to local operations assisted by shared randomness, the canonical free operations of Bell nonlocality GWAN12 ; V14 ; GA17 . Hence, the framework constitutes a unified resource theory for both contextuality and Bell nonlocality in their most general forms. As applications, first, we show that an important quantifier called relative entropy of contextuality is monotonous under all noncontextual wirings, thus closing a major open problem HGJKL15 ; GHHHJKW14 . Then, for the broad class of so-called cycle boxes, we show that contextality bits exists in the strongest possible sense: single boxes from which the entire nondisturbing set can be freely obtained with noncontextual wirings.
Nondisturbing boxes. We consider a black-box measurement device with buttons (inputs) and lights (outputs), with , such that every time a button is pressed a light is turned on. We assume that the number of lights on is always equal to the number of buttons pressed. Not all buttons are compatible, i.e., can be pressed jointly. Each subset of compatible buttons defines a context. Let represent the set of buttons. The contexts can be encoded in an input compatibility hyper-graph \mathcal{I}_{\mathcal{X}}\coloneqq\big{\{}\boldsymbol{x}^{(j)}\in\{0,1\}^{b}\big{\}}_{j=1,\ldots,|\mathcal{I}_{\mathcal{X}}|}, where is the number of contexts and labels each context. For each , stands for “-th button not pressed for context ” and for “-th button pressed for context ”. For any two strings , we denote by the relationship “ implies , for all ”. In other words, means that all the buttons not pressed in are also not pressed in [so that pressing additional buttons from can lead to ]. This defines a partial ordering , and we say that is a maximal context if, for all , implies .
Similarly, not all lights can be jointly turned on. Let be the set of lights. For the lights, it is more convenient to work with mutual exclusivity constraints. These can be encoded in an output exclusivity hyper-graph \mathcal{O}_{\mathcal{A}}\coloneqq\big{\{}\boldsymbol{a}^{(i)}\in\{0,1\}^{l}\big{\}}_{i=1,\ldots,|\mathcal{O}_{\mathcal{A}}|}, with , where labels each exclusivity hyper-edge (one per button). Each encodes the maximal subset of (mutually exclusive) lights associated with button : stands for “-th light not associated with button ” and for “-th light associated with button ”. We denote by the subset of lights (only one of which can be on per run) associated with button . Accordingly, we denote by the subset of lights associated with all the buttons pressed in . In turn, we refer to as the subset of buttons associated with light . We restrict throughout to the case in which only incompatible buttons can have common associated lights. That is, we allow that only if , for all . Finally, we denote by the substring of of buttons associated with light and by the substring of of lights associated with the buttons pressed in .
For any input hyper-graph and output hyper-graph , we consider conditional probability distributions
[TABLE]
equipped with the property that takes positive values for one, and only one, of the lights associated with each pressed button. That is, such that, for each , only if , with the substring of of lights associated with button and the Hamming norm (number of ones in) of , for every for which . We refer to any such as a box behavior relative to and . A specially relevant class of behaviors is that of nondisturbing ones: is said to be nondisturbing if
[TABLE]
where is a conditional probability distribution over given . The nondisturbance condition demands that, whenever two contexts have buttons in common, the marginal distribution over the common buttons is independent of the context. It is thus the analogue of the no-signalling condition in Bell scenarios Brunner13 .
With this, we can at last provide a precise formal definition of the general mathematical objects of the resource theory. Namely, we call every set of input and output hyper-graphs and , respectively, together with a nondisturbing behavior relative to them, a box
[TABLE]
We call the set of all such nondisturbing boxes .
In turn, the free objects of the theory, i.e. the resourceless ones, are given by the class of noncontextual (NC) boxes, defined by NC box behaviors. A behavior is NC if it admits a NC hidden-variable model, i.e., if, for all and ,
[TABLE]
where is the hidden variable, taking the value with probability , and , where , with the Kronecker delta, is the -th NC deterministic response function for the -th light given the input substring of buttons associated with light . The function encodes the deterministic assignment of into for the -th global deterministic strategy. In particular, it is such that for all (-th light is off if no associated button is pressed, i.e., if ). Note that, since does not depend on the context, involves always the same buttons. Furthermore, all these buttons are pressed exclusively in different contexts. This explains why can only generate NC behaviors in Eq. (4). In fact, one can verify that, when the contexts are defined by space-like separated buttons, expression (4) reduces to the usual local hidden-variable models of Bell nonlocality Brunner13 . Any box outside is called contextual. It is a well known fact that measurements on quantum states can yield contextual boxes.
Contextuality-free operations. We consider compositions of the initial box with a pre-processing box
[TABLE]
and a -dependent post-processing box
[TABLE]
for all and , as shown in Fig. 1. and are, respectively, the sets of buttons and lights of , and and those of . For the composition to be possible, we demand that the set of allowed outputs [inputs] of [] is a subset of the set of allowed inputs [outputs] of , i.e., and . Here, we have introduced the complementary hyper-graph to , given by all the output strings with at most one light on per output exclusivity hyper-edge of : ; and similarly for . Thus, () gives the combinations of lights on that do not violate any of the exclusivity constraints in ().
Moreover, we allow to have only a restricted dependence on , in such a way that each output light of the post-processing box is causally influenced only by the inputs and outputs of the pre-processing box that are associated with it. That is, we demand that, for all , , , and ,
[TABLE]
with defined analogously to in Eq. (4). As before, is the substring of associated with light , corresponding to the subset (of all incompatible buttons). In turn, and , corresponding and , respectively, are the substrings of and associated with the buttons in . More precisely, with and , we explicitly write and . In App. A, we show that, for all , both and are composed of mutually incompatible buttons according to and , respectively. This is crucial for the composition not to create contextuality.
With this, we are now in a good position to introduce the free operations of contextuality.
Definition 1** (Noncontextual wirings)**
We define the noncontextual wiring with respect to pre- and post-processing boxes of Eqs. (5) and (6), respectively, as the linear map that takes any initial box , given by Eq. (3), into a final box with buttons and lights, with
[TABLE]
where is the final behavior, given by
[TABLE]
for all and . We denote the class of all such wirings by .
Self-consistency of the theory requires that the class satisfies the following property, proven in App. B.
Lemma 1** (Nondisturbance preservation)**
The class of boxes is closed under all wirings in .
More importantly, to give valid free operations, must fulfill the following requirement, proven in App. C.
Theorem 2** (Noncontextuality preservation)**
The class of boxes is closed under all wirings in .
Intuitively, this is connected to the fact that the composition of any three independent boxes, each one given by a probabilistic mixture of NC deterministic assignments, yields also another such a mixture (with three independent hidden variables). is more general because the pre- and post-processing boxes are not independent. However, the restricted dependence in Eq. (7) enables noncontextuality preservation (see App. C).
Contextuality monotones. In Ref. GHHHJKW14 , a measure of contextuality called the relative entropy of contextuality was introduced. For an arbitrary box ,
[TABLE]
is the relative entropy of with respect to (defined precisely in App. D), which measures the distinguishability of from in a broad class of scenarios GA17 . Hence, quantifies the distinguishability of from its closest (with respect to ) noncontextual box , providing a direct generalisation to contextuality of the statistical strength of Bell nonlocality proofs vDGG05 .
The essential requirement for a function to be a valid measure of a resource is that it is monotonous (i.e., non-increasing) under the corresponding free operations. In Ref. GHHHJKW14 , the authors show, for all quantum boxes, monotonicity of under probabilistic mixtures of independent channels on each quantum observable (each context). This corresponds to a highly restricted subset of comment . Here, we show monotonicity of under the whole class and for all boxes .
Lemma 3** (Monotonicity of )**
*Let . Then, for all . *
The proof relies explicitly on the parametrization of provided by Eq. (1). It can be found in App. D.
Contextuality bits. The operational framework developed allows us to study contextuality interconversions. A natural question is whether there exists a box from which all boxes, for fixed input and output hyper-graphs, can be obtained for free (i.e., through noncontextual wirings). This is intimately connected to quantification: such a superior box can be taken as unit of contextuality, or contextuality bit, yielding a natural and unambiguous (measure-independent) definition of maximally contextual boxes. Here we answer that question affirmatively for a broad class given by the so-called -cycle boxes (see Fig. 2). A -cycle box has as many maximal contexts as buttons (), each -th maximal context consists of two buttons ( and ), each button belongs to two contexts ( for and ), and each -th input button has two associated output lights, the -th and the -th lights, with . Modulo is implicitly assumed for the labels of buttons, contexts, and lights. These boxes admit contextuality bits:
Lemma 4** (Existence of contextuality bits)**
For any , all -cycle boxes in can be freely obtained from a -cycle box with behavior of components
[TABLE]
for all , with such that or 1 and is an odd integer.
Eq. (11) describes any of the contextual -cycle behaviors extremal in , derived (in a different notation) and shown to be equivalent under noncontextual relabelings of outputs in Ref. AQBTC13 . The proof of the lemma, given in App. E, consists then in showing that any convex combination of noncontextual relabelings of outputs can be carried out by a wiring in . For the particular case (the CHSH scenario), the behaviors in Eq. (11) become equivalent to the no-signalling extremal Popescu-Rohrlich box PR94 , which is known to generate all other no-signalling boxes under local wirings assisted by shared randomness GWAN12 ; V14 ; GA17 . Lemma 4 thus generalizes this fact to arbitrary and noncontextual wirings. Finally, it is important to mention that, for even , the buttons can be split into two disjoint subsets of incompatible buttons each, an the lights can be reduced from to only 4 (one mutually exclusive pair per subset of buttons), as in the chained inequalities BC90 . This is an alternative representation of the same physical box. Our formalism is totally versatile in this sense, as it can directly deal with any chosen representation of a box.
Final discussion. In contrast to more abstract approaches GHHHJKW14 ; HGJKL15 , noncontextual wirings admit a friendly analytical parametrization. This is useful to classify, quantify, and operationally manipulate contextuality as a formal resource. For instance, monotonicity of contextuality under a non-trivial class of free operations was not clear for a long time. Here, we have solved this problem by showing that the relative entropy of contextuality is a contextuality monotone under noncontextual wirings. Furthermore, we have also shown that single, maximally-contextual boxes that serve as contextuality bits exist for all cycle boxes. Cycle boxes encompass important Bell scenarios CHSH69 ; KCBS08 ; and the treatment can additionally be extended to bipartite boxes with more outputs Barrett05b . Interesting open questions are, e.g., what the simplest box admitting inequivalent (i.e, not freely interconvertible) classes of contextuality is and what the simplest one allowing for contextuality distillation. Our findings provide the missing ingredient for a complete, unified resource theory of contextuality and Bell nonlocality.
Acknowledgements. The present work was initiated during the workshop “Quantum Correlations, Contextuality, and All That…Again” at the International Institute of Physics (IIP), Natal, Brazil. The participants of the workshop as well as the hospitality of IIP are gratefully acknowledged. We thank D. Cavalcanti, C. Duarte, and M. Pusey for fruitful discussions. BA thanks the Instituto de Matemática Pura e Aplicada (IMPA) for the hospitality at Rio de Janeiro, Brazil. BA, MTC, and LA acknowledge financial support from the Brazilian ministries MEC and MCTIC and agencies CNPq, CAPES, FAPERJ, FAEPEX, and INCT-IQ. AC acknowledges support from Project No. FIS2014-60843-P, “Advanced Quantum Information” (MINECO, Spain), with FEDER funds, the FQXi Large Grant “The Observer Observed: A Bayesian Route to the Reconstruction of Quantum Theory,” and the project “Photonic Quantum Information” (Knut and Alice Wallenberg Foundation, Sweden).
Appendix A Proof that the buttons in and are all incompatible
Here, we explicitly prove that for all , both and , as defined right after Eq. (7), are composed exclusively of incompatible buttons according to and . The proof is simple and consists of reductio ad absurdum. Suppose that, for some , not all buttons in are incompatible. This implies that the subset of lights in associated with are not all mutually exclusive. Since coincides with the subset of buttons , that implies, in turn, that not all buttons in are incompatible. However, the latter is false by assumption (because are well-defined boxes, so that no compatible buttons can share a common associated light). This proves that contains always only incompatible buttons according to . By the same reasoning, this implies that contains always only incompatible according to , which finishes the proof.
Appendix B Proof of Lemma 1
For any such that , consider the sum
[TABLE]
in which is the set of lights in associated with the buttons in for the resulting wired box . Let and . For , we have that , , and , otherwise we would have incompatible buttons in the same context, which is not possible. Hence, Eq. (7) implies that
[TABLE]
From this it follows that
[TABLE]
This concludes the proof that the resulting wired box is nondisturbing.
Appendix C Proof of Theorem 2
Assuming Eqs. (4) and (7), and the analogous equation for : for all and ,
[TABLE]
we need to prove that the final behavior in Eq. (1) is noncontextual.
To this end, let us first introduce the short-hand notation and . Then, we explicitly write out Eq. (1) as
[TABLE]
where the sums over and disappear because of the deterministic response functions. Besides, is the deterministic output substring of the pre-processing box as a function of the input substring and the deterministic strategy , and is the deterministic output substring of the initial box as a function of the input substring and the deterministic strategy .
Identifying the -th NC deterministic response function for the output light given the input substring of buttons in associated with light as D_{j}(c_{j}|\boldsymbol{y}_{[j]},\boldsymbol{\lambda})\coloneqq D_{j}\left(c_{j}\Big{|}\tilde{\boldsymbol{\alpha}}_{(j)}\left(\tilde{\boldsymbol{\beta}}_{[j]}(\boldsymbol{y}_{[j]},\gamma),\lambda\right),\tilde{\boldsymbol{\beta}}_{[j]}(\boldsymbol{y}_{[j]},\gamma),\boldsymbol{y}_{[j]},\phi\right), we write Eq. (16) as
[TABLE]
which is manifestly in the explicit form of a NC hidden-variable model. This concludes the proof.
Appendix D Proof of Lemma 3
We begin with the definition of appearing in Eq. (10). The relative entropy, or Kullback-Leibler divergence, of a probability distribution (over a sample space ) relative to another probability distribution (over the same sample space) is defined as
[TABLE]
With this, one can define the relative entropy between two behaviors and as the relative entropy between the output distributions obtained from and for the optimal input choice GA17 :
[TABLE]
In turn, the (box) relative entropy between two nondisturbing boxes and is defined as the (behavior) relative entropy between their respective behaviors GHHHJKW14 :
[TABLE]
Now we proceed to prove the lemma. First we show monotonicity of the box relative entropy under an arbitrary noncontextual wiring . Given and , let and . In addition, denote by the string in such that
[TABLE]
Then,
[TABLE]
Eqs. (22) follows from the definition of , Eq. (23) from Eq. (21), Eq. (24) from Eq. (1), Eq. (25) from the log sum inequality , Eqs. (26) and (28) from basic algebra, Eq. (27) from summing over and the fact that is a well-normalized probability distribution, Eqs. (29) from the definition of , Eq. (30) from the fact the average is smaller than the largest value, and Eq. (31) from the definition of .
Now we can prove monotonicity of . Let be the noncontextual box for wich the minumum in Eq. (10) is achieved for box , that is, such that . Then, we have
[TABLE]
which concludes the proof.
Appendix E Proof of Lemma 4
Eq. (11) is the expression, in our notation, of the extremal contextual behaviors of the -cycle scenario derived in Theorem 2 of Ref. AQBTC13 . In turn, the extremal noncontextual behaviors are expressed AQBTC13 as
[TABLE]
where is an arbitrary bit string of length that encodes the deterministic output of each button . Note also that is equivalent to . The behaviors given by Eq. (11), together with the behaviors of Eq. (36), constitute all the extremal points of AQBTC13 . Hence, any nondisturbing -cycle behavior is a convex combination of ’s and ’s. Thus, we must prove that any particular can be mapped by a wiring in to an arbitrary convex combination of ’s and ’s.
First we show that every behavior or can be obtained from any fixed using a wiring in , for arbitrary and . For we use as pre-processing the trivial (identity) deterministic box with input buttons and output lights, where each input has only one possible output , and as post-processing the deterministic box with input buttons and output lights that permutes each -th pair of lights, and , whenever . For we also use as pre-processing the trivial identity box and as post-processing the deterministic box with input buttons and output lights such that for each -th pair of input (incompatible) buttons, and , has light as deterministic output.
Finally, taking the trivial box as pre-processing and an arbitrary convex combination of the post-processing boxes and described above defines a class of wirings in that takes to all convex combinations of the ’s and ’s, as desired.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) E. P. Specker, Die Logik nicht gleichzeitig entscheidbarer Aussagen , Dialectica 14 , 239 (1960) [The logic of non-simultaneously decidable propositions, eprint ar Xiv:1103.4537].
- 2(2) S. Kochen and E. P. Specker, The problem of hidden variables in quantum mechanics , J. Math. Mech. 17 , 59 (1967).
- 3(3) J. S. Bell, On the problem of hidden variables in quantum mechanics , Rev. Mod. Phys. 38 , 447 (1966). · doi ↗
- 4(4) Y. Hasegawa, R. Loidl, G. Badurek, M. Baron, and H. Rauch, Quantum Contextuality in a Single-Neutron Optical Experiment , Phys. Rev. Lett. 97 , 230401 (2006). · doi ↗
- 5(5) G. Kirchmair, F. Zähringer, R. Gerritsma, M. Kleinmann, O. Gühne, A. Cabello, R. Blatt, and C. F. Roos, State-independent experimental test of quantum contextuality , Nature (London) 460 , 494 (2009) .
- 6(6) E. Amselem, M. Rådmark, M. Bourennane, and A. Cabello, State-Independent Quantum Contextuality with Single Photons , Phys. Rev. Lett. 103 , 160405 (2009). · doi ↗
- 7(7) R. Łapkiewicz, P. Li, C. Schaeff, N. Langford, S. Ramelow, M. Wieśniak, and A. Zeilinger, Experimental non-classicality of an indivisible quantum system , Nature (London) 474 , 490 (2011). · doi ↗
- 8(8) G. Borges, M. Carvalho, P.-L. de Assis, J. Ferraz, M. Araújo, A. Cabello, M. Terra Cunha, and S. Pádua, Quantum contextuality in a Young-type interference experiment , Phys. Rev. A 89 , 052106 (2014). · doi ↗
