Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2102.10469 · Journal of Physics A Mathematical and Theoretical

Using a resource theoretic perspective to witness and engineer quantum generalized contextuality for prepare-and-measure scenarios

Rafael Wagner, Roberto D. Baldijão, Alisson Tezzin, Bárbara Amaral

Published Nov 10, 2023• 10 citations
arXivHTMLPDF

Abstract

Abstract We employ the resource theory of generalized contextuality as a tool for analyzing the structure of prepare-and-measure scenarios. We argue that this framework simplifies proofs of quantum contextuality in complex scenarios and strengthens existing arguments regarding robustness of experimental implementations. As a case study, we demonstrate quantum contextuality associated with any nontrivial noncontextuality inequality for a class of useful scenarios by noticing a connection between the resource theory and measurement simulability. Additionally, we expose a formal composition rule that allows engineering complex scenarios from simpler ones. This approach provides insights into the noncontextual polytope structure for complex scenarios and facilitates the identification of possible quantum violations of noncontextuality inequalities.

DOI
10.1088/1751-8121/ad0bcc

Related papers

Efficient Computation of Generalized Noncontextual Polytopes and Quantum violation of their Facet Inequalities

Soumyabrata Hazra, Debashis Saha, Anubhav Chaturvedi +2 more

Finding a set of empirical criteria fulfilled by any theory satisfying the generalized notion of noncontextuality is a challenging task of both operational and foundational importance. This work presents a methodology for constructing the noncontextual polytope while ensuring that the dimension of the polytope associated with the preparations remains constant regardless of the number of measurements and their outcome size. The facet inequalities of the noncontextual polytope can thus be obtained in a computationally efficient manner. We illustrate the efficacy of our methodology through several distinct contextuality scenarios. Our investigation uncovers several hitherto unexplored noncontextuality inequalities and demonstrates applications of quantum contextual correlations in certification of non-projective measurements, witnessing the dimension of quantum systems, and randomness certification.

arXiv:2406.09111•Quantum•Mar 9, 2026•2 citations

Noncontextuality inequalities for prepare-transform-measure scenarios

David Schmid, Roberto D. Baldijão, John H. Selby +2 more

We provide the first systematic technique for deriving witnesses of contextuality in prepare-transform-measure scenarios. More specifically, we show how linear quantifier elimination can be used to compute a polytope of correlations consistent with generalized noncontextuality in such scenarios. This polytope is specified as a set of noncontextuality inequalities that are necessary and sufficient conditions for observed data in the scenario to admit of a classical explanation relative to any linear operational identities, if one ignores some constraints from diagram preservation. While including these latter constraints generally leads to tighter inequalities, it seems that nonlinear quantifier elimination would be required to systematically include them. We also provide a linear program which can certify the nonclassicality of a set of numerical data arising in a prepare-transform-measure experiment. We apply our results to get a robust noncontextuality inequality for transformations that can be violated within the stabilizer subtheory. Finally, we give a simple algorithm for computing all the linear operational identities holding among a given set of states, of transformations, or of measurements.

arXiv:2407.09624•Quantum•Oct 27, 2026•2 citations

Characterising and bounding the set of quantum behaviours in contextuality scenarios

Anubhav Chaturvedi, Máté Farkas, Victoria J Wright

The predictions of quantum theory resist generalised noncontextual explanations. In addition to the foundational relevance of this fact, the particular extent to which quantum theory violates noncontextuality limits available quantum advantage in communication and information processing. In the first part of this work, we formally define contextuality scenarios via prepare-and-measure experiments, along with the polytope of general contextual behaviours containing the set of quantum contextual behaviours. This framework allows us to recover several properties of set of quantum behaviours in these scenarios, including contextuality scenarios and associated noncontextuality inequalities that require for their violation the individual quantum preparation and measurement procedures to be mixed states and unsharp measurements. With the framework in place, we formulate novel semidefinite programming relaxations for bounding these sets of quantum contextual behaviours. Most significantly, to circumvent the inadequacy of pure states and projective measurements in contextuality scenarios, we present a novel unitary operator based semidefinite relaxation technique. We demonstrate the efficacy of these relaxations by obtaining tight upper bounds on the quantum violation of several noncontextuality inequalities and identifying novel maximally contextual quantum strategies. To further illustrate the versatility of these relaxations, we demonstrate monogamy of preparation contextuality in a tripartite setting, and present a secure semi-device independent quantum key distribution scheme powered by quantum advantage in parity oblivious random access codes.

arXiv:2010.05853•Quantum•Jun 29, 2021•29 citations

Experimental test of noncontextuality inequality without causal chain assumptions

Xingyan Fan, An‐Ning Zhang, Bowen Song +4 more

Abstract Contextuality and entanglement are fundamental quantum resources for quantum information processing, and contextuality has been identified as a necessary precondition for entanglement. However, direct implementation of this connection in a realistic experiment remains to be demonstrated. In addition, previous experiments face practical challenges in explicitly satisfying the linear constraints required for contextuality tests. In this work, we present an experimental investigation of this relationship using polarization-entangled photons. First, remote state preparation arising from entanglement allows the required linear constraints to be satisfied structurally. Second, our results provide an operational demonstration of the relationship’s asymmetrical nature. While all four tested Bell states violate a general noncontextuality inequality, confirming they are all contextual resources, only a single Bell state violates the specific entanglement witness mapped from it. This work provides a proof-of-principle experimental implementation of the contextuality-entanglement connection and illustrates how remote state preparation can be used to realize the relevant linear constraints in this setting.

Communications Physics•Jun 10, 2026•0 citations

Lifting noncontextuality inequalities

Raman Choudhary, Rui Soares Barbosa, Adán Cabello

Kochen--Specker contextuality is a fundamental feature of quantum mechanics and a crucial resource for quantum computational advantage and reduction of communication complexity. Its presence is witnessed in empirical data by the violation of noncontextuality inequalities. However, all known noncontextuality inequalities corresponding to facets of noncontextual polytopes are either Bell inequalities or refer to cyclic or state-independent contextuality scenarios. We introduce a general method for lifting noncontextuality inequalities, deriving facets of noncontextual polytopes for more complex scenarios from known facets of simpler subscenarios. Concretely, starting from an arbitrary scenario, the addition of a new measurement or a new outcome preserves the facet-defining nature of any noncontextuality inequality. This extends the results of Pironio [J. Math. Phys. 46, 062112 (2005)] from Bell nonlocality scenarios to contextuality scenarios, unifying liftings of Bell and noncontextuality inequalities. Our method produces facet-defining noncontextuality inequalities in all scenarios with contextual correlations, and we present examples of facet-defining noncontextuality inequalities for scenarios where no examples were known. Our results shed light on the structure of noncontextuality polytopes and the relationship between such polytopes across different scenarios.

arXiv:2401.12349•Physical Review A•May 13, 2024•3 citations

Resource-theoretic hierarchy of contextuality for general probabilistic theories

Lorenzo Catani, Thomas D. Galley, Tomáš Gonda

In this work we present a hierarchy of generalized contextuality. It refines the traditional binary distinction between contextual and noncontextual theories, and facilitates their comparison based on how contextual they are. Our approach focuses on the contextuality of prepare-and-measure scenarios, described by general probabilistic theories (GPTs). To motivate the hierarchy, we define it as the resource ordering of a novel resource theory of GPT-contextuality. The building blocks of its free operations are classical systems and univalent simulations between GPTs. These simulations preserve operational equivalences and thus cannot generate contextuality. Noncontextual theories can be recovered as least elements in the hierarchy. We then define a new contextuality monotone, called classical excess, given by the minimal error of embedding a GPT within an infinite classical system. In addition, we show that the optimal success probability in the parity oblivious multiplexing game also defines a monotone in our resource theory. Finally, we discuss whether the non-free operations can be understood as implementing information erasure and thus explaining the fine-tuning aspect of contextuality.

arXiv:2406.00717•Quantum•Apr 21, 2026•2 citations
Abstract We employ the resource theory of generalized contextuality as a tool for analyzing the structure of prepare-and-measure scenarios. We argue that this framework simplifies proofs of quantum contextuality in complex scenarios and strengthens existing arguments regarding robustness of experimental implementations. As a case study, we demonstrate quantum contextuality associated with any nontrivial noncontextuality inequality for a class of useful scenarios by noticing a connection between the resource theory and measurement simulability. Additionally, we expose a formal composition rule that allows engineering complex scenarios from simpler ones. This approach provides insights into the noncontextual polytope structure for complex scenarios and facilitates the identification of possible quantum violations of noncontextuality inequalities.
Finding a set of empirical criteria fulfilled by any theory satisfying the generalized notion of noncontextuality is a challenging task of both operational and foundational importance. This work presents a methodology for constructing the noncontextual polytope while ensuring that the dimension of the polytope associated with the preparations remains constant regardless of the number of measurements and their outcome size. The facet inequalities of the noncontextual polytope can thus be obtained in a computationally efficient manner. We illustrate the efficacy of our methodology through several distinct contextuality scenarios. Our investigation uncovers several hitherto unexplored noncontextuality inequalities and demonstrates applications of quantum contextual correlations in certification of non-projective measurements, witnessing the dimension of quantum systems, and randomness certification.
We provide the first systematic technique for deriving witnesses of contextuality in prepare-transform-measure scenarios. More specifically, we show how linear quantifier elimination can be used to compute a polytope of correlations consistent with generalized noncontextuality in such scenarios. This polytope is specified as a set of noncontextuality inequalities that are necessary and sufficient conditions for observed data in the scenario to admit of a classical explanation relative to any linear operational identities, if one ignores some constraints from diagram preservation. While including these latter constraints generally leads to tighter inequalities, it seems that nonlinear quantifier elimination would be required to systematically include them. We also provide a linear program which can certify the nonclassicality of a set of numerical data arising in a prepare-transform-measure experiment. We apply our results to get a robust noncontextuality inequality for transformations that can be violated within the stabilizer subtheory. Finally, we give a simple algorithm for computing all the linear operational identities holding among a given set of states, of transformations, or of measurements.
The predictions of quantum theory resist generalised noncontextual explanations. In addition to the foundational relevance of this fact, the particular extent to which quantum theory violates noncontextuality limits available quantum advantage in communication and information processing. In the first part of this work, we formally define contextuality scenarios via prepare-and-measure experiments, along with the polytope of general contextual behaviours containing the set of quantum contextual behaviours. This framework allows us to recover several properties of set of quantum behaviours in these scenarios, including contextuality scenarios and associated noncontextuality inequalities that require for their violation the individual quantum preparation and measurement procedures to be mixed states and unsharp measurements. With the framework in place, we formulate novel semidefinite programming relaxations for bounding these sets of quantum contextual behaviours. Most significantly, to circumvent the inadequacy of pure states and projective measurements in contextuality scenarios, we present a novel unitary operator based semidefinite relaxation technique. We demonstrate the efficacy of these relaxations by obtaining tight upper bounds on the quantum violation of several noncontextuality inequalities and identifying novel maximally contextual quantum strategies. To further illustrate the versatility of these relaxations, we demonstrate monogamy of preparation contextuality in a tripartite setting, and present a secure semi-device independent quantum key distribution scheme powered by quantum advantage in parity oblivious random access codes.
Abstract Contextuality and entanglement are fundamental quantum resources for quantum information processing, and contextuality has been identified as a necessary precondition for entanglement. However, direct implementation of this connection in a realistic experiment remains to be demonstrated. In addition, previous experiments face practical challenges in explicitly satisfying the linear constraints required for contextuality tests. In this work, we present an experimental investigation of this relationship using polarization-entangled photons. First, remote state preparation arising from entanglement allows the required linear constraints to be satisfied structurally. Second, our results provide an operational demonstration of the relationship’s asymmetrical nature. While all four tested Bell states violate a general noncontextuality inequality, confirming they are all contextual resources, only a single Bell state violates the specific entanglement witness mapped from it. This work provides a proof-of-principle experimental implementation of the contextuality-entanglement connection and illustrates how remote state preparation can be used to realize the relevant linear constraints in this setting.
Kochen--Specker contextuality is a fundamental feature of quantum mechanics and a crucial resource for quantum computational advantage and reduction of communication complexity. Its presence is witnessed in empirical data by the violation of noncontextuality inequalities. However, all known noncontextuality inequalities corresponding to facets of noncontextual polytopes are either Bell inequalities or refer to cyclic or state-independent contextuality scenarios. We introduce a general method for lifting noncontextuality inequalities, deriving facets of noncontextual polytopes for more complex scenarios from known facets of simpler subscenarios. Concretely, starting from an arbitrary scenario, the addition of a new measurement or a new outcome preserves the facet-defining nature of any noncontextuality inequality. This extends the results of Pironio [J. Math. Phys. 46, 062112 (2005)] from Bell nonlocality scenarios to contextuality scenarios, unifying liftings of Bell and noncontextuality inequalities. Our method produces facet-defining noncontextuality inequalities in all scenarios with contextual correlations, and we present examples of facet-defining noncontextuality inequalities for scenarios where no examples were known. Our results shed light on the structure of noncontextuality polytopes and the relationship between such polytopes across different scenarios.
In this work we present a hierarchy of generalized contextuality. It refines the traditional binary distinction between contextual and noncontextual theories, and facilitates their comparison based on how contextual they are. Our approach focuses on the contextuality of prepare-and-measure scenarios, described by general probabilistic theories (GPTs). To motivate the hierarchy, we define it as the resource ordering of a novel resource theory of GPT-contextuality. The building blocks of its free operations are classical systems and univalent simulations between GPTs. These simulations preserve operational equivalences and thus cannot generate contextuality. Noncontextual theories can be recovered as least elements in the hierarchy. We then define a new contextuality monotone, called classical excess, given by the minimal error of embedding a GPT within an infinite classical system. In addition, we show that the optimal success probability in the parity oblivious multiplexing game also defines a monotone in our resource theory. Finally, we discuss whether the non-free operations can be understood as implementing information erasure and thus explaining the fine-tuning aspect of contextuality.