Sum-of-squares decompositions for a family of noncontextuality
inequalities and self-testing of quantum devices
- URL: http://arxiv.org/abs/2002.12216v3
- Date: Fri, 4 Mar 2022 12:49:20 GMT
- Title: Sum-of-squares decompositions for a family of noncontextuality
inequalities and self-testing of quantum devices
- Authors: Debashis Saha, Rafael Santos, Remigiusz Augusiak
- Abstract summary: Violation of a noncontextuality inequality or the phenomenon referred to quantum contextuality' is a fundamental feature of quantum theory.
We derive a novel family of noncontextuality inequalities along with their sum-of-squares decompositions.
We prove that our inequalities can be used for self-testing of three-dimensional quantum state and measurements.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Violation of a noncontextuality inequality or the phenomenon referred to
`quantum contextuality' is a fundamental feature of quantum theory. In this
article, we derive a novel family of noncontextuality inequalities along with
their sum-of-squares decompositions in the simplest (odd-cycle)
sequential-measurement scenario capable to demonstrate Kochen-Specker
contextuality. The sum-of-squares decompositions allow us to obtain the maximal
quantum violation of these inequalities and a set of algebraic relations
necessarily satisfied by any state and measurements achieving it. With their
help, we prove that our inequalities can be used for self-testing of
three-dimensional quantum state and measurements. Remarkably, the presented
self-testing results rely on a single assumption about the measurement device
that is much weaker than the assumptions considered in Kochen-Specker
contextuality.
Related papers
- A computational test of quantum contextuality, and even simpler proofs of quantumness [43.25018099464869]
We show that an arbitrary contextuality game can be compiled into an operational "test of contextuality" involving a single quantum device.
Our work can be seen as using cryptography to enforce spatial separation within subsystems of a single quantum device.
arXiv Detail & Related papers (2024-05-10T19:30:23Z) - Corrected Bell and Noncontextuality Inequalities for Realistic Experiments [1.099532646524593]
Contextuality is a feature of quantum correlations.
It is crucial from a foundational perspective as a nonclassical phenomenon, and from an applied perspective as a resource for quantum advantage.
We prove the continuity of a known measure of contextuality, the contextual fraction, which ensures its robustness to noise.
We then bound the extent to which these relaxations can account for contextuality, culminating in a notion of genuine contextuality, which is robust to experimental imperfections.
arXiv Detail & Related papers (2023-10-30T09:43:39Z) - Measurement incompatibility is strictly stronger than disturbance [44.99833362998488]
Heisenberg argued that measurements irreversibly alter the state of the system on which they are acting, causing an irreducible disturbance on subsequent measurements.
This article shows that measurement incompatibility is indeed a sufficient condition for irreversibility of measurement disturbance.
However, we exhibit a toy theory, termed the minimal classical theory (MCT), that is a counterexample for the converse implication.
arXiv Detail & Related papers (2023-05-26T13:47:00Z) - Quantum Discord Witness with Uncharacterized Devices [18.751513188036334]
We propose a new approach using uncharacterized measurements to witness quantum discord of an unknown bipartite state within arbitrary dimension system.
The feature of high robustness against device imperfections, such as loss-tolerance and error-tolerance, shows our method is experimentally feasible.
arXiv Detail & Related papers (2023-03-20T14:51:53Z) - Experimental test of high-dimensional quantum contextuality based on
contextuality concentration [14.374078593775309]
We show a family of noncontextuality inequalities whose maximum quantum violation grows with the dimension of the system.
Our results advance the investigation of high-dimensional contextuality, its connection to the Clifford algebra, and its role in quantum computation.
arXiv Detail & Related papers (2022-09-06T20:20:43Z) - On a gap in the proof of the generalised quantum Stein's lemma and its
consequences for the reversibility of quantum resources [51.243733928201024]
We show that the proof of the generalised quantum Stein's lemma is not correct due to a gap in the argument leading to Lemma III.9.
This puts into question a number of established results in the literature, in particular the reversibility of quantum entanglement.
arXiv Detail & Related papers (2022-05-05T17:46:05Z) - Improved Quantum Algorithms for Fidelity Estimation [77.34726150561087]
We develop new and efficient quantum algorithms for fidelity estimation with provable performance guarantees.
Our algorithms use advanced quantum linear algebra techniques, such as the quantum singular value transformation.
We prove that fidelity estimation to any non-trivial constant additive accuracy is hard in general.
arXiv Detail & Related papers (2022-03-30T02:02:16Z) - Contextuality without incompatibility [0.7421845364041001]
We show that measurement incompatibility is neither necessary nor sufficient for proofs of the failure of generalized noncontextuality.
We show that every proof of the failure of generalized noncontextuality in a quantum prepare-measure scenario can be converted into a proof of the failure of generalized noncontextuality in a corresponding scenario with no incompatible measurements.
arXiv Detail & Related papers (2021-06-16T18:00:04Z) - Graph-Theoretic Framework for Self-Testing in Bell Scenarios [37.067444579637076]
Quantum self-testing is the task of certifying quantum states and measurements using the output statistics solely.
We present a new approach for quantum self-testing in Bell non-locality scenarios.
arXiv Detail & Related papers (2021-04-27T08:15:01Z) - Revealing quantum contextuality using a single measurement device [4.291616110077346]
We show that any non-contextual ontological model fails to explain the statistics of outcomes of a single carefully constructed positive operator valued measure executed sequentially on a quantum system.
We develop an inequality from the non-contextual (NC) ontic model, and construct a quantum situation involving measurements from the KCBS inequality.
arXiv Detail & Related papers (2021-01-31T08:28:09Z) - Characterising and bounding the set of quantum behaviours in
contextuality scenarios [0.0]
This work defines contextuality scenarios, along with the polytope of general contextual behaviours.
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, we present a novel unitary operator based semidefinite relaxation technique.
arXiv Detail & Related papers (2020-10-12T17:00:07Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.