-
Graph-Theoretic Framework for Self-Testing in Bell Scenarios
Authors:
Kishor Bharti,
Maharshi Ray,
Zhen-Peng Xu,
Masahito Hayashi,
Leong-Chuan Kwek,
Adán Cabello
Abstract:
Quantum self-testing is the task of certifying quantum states and measurements using the output statistics solely, with minimal assumptions about the underlying quantum system. It is based on the observation that some extremal points in the set of quantum correlations can only be achieved, up to isometries, with specific states and measurements. Here, we present a new approach for quantum self-tes…
▽ More
Quantum self-testing is the task of certifying quantum states and measurements using the output statistics solely, with minimal assumptions about the underlying quantum system. It is based on the observation that some extremal points in the set of quantum correlations can only be achieved, up to isometries, with specific states and measurements. Here, we present a new approach for quantum self-testing in Bell non-locality scenarios, motivated by the following observation: the quantum maximum of a given Bell inequality is, in general, difficult to characterize. However, it is strictly contained in an easy-to-characterize set: the \emph{theta body} of a vertex-weighted induced subgraph $(G,w)$ of the graph in which vertices represent the events and edges join mutually exclusive events. This implies that, for the cases where the quantum maximum and the maximum within the theta body (known as the Lovász theta number) of $(G,w)$ coincide, self-testing can be demonstrated by just proving self-testability with the theta body of $G$. This graph-theoretic framework allows us to (i) recover the self-testability of several quantum correlations that are known to permit self-testing (like those violating the Clauser-Horne-Shimony-Holt (CHSH) and three-party Mermin Bell inequalities for projective measurements of arbitrary rank, and chained Bell inequalities for rank-one projective measurements), (ii) prove the self-testability of quantum correlations that were not known using existing self-testing techniques (e.g., those violating the Abner Shimony Bell inequality for rank-one projective measurements). Additionally, the analysis of the chained Bell inequalities gives us a closed-form expression of the Lovász theta number for a family of well-studied graphs known as the Möbius ladders, which might be of independent interest in the community of discrete mathematics.
△ Less
Submitted 27 April, 2021;
originally announced April 2021.
-
Ruling out real-valued standard formalism of quantum theory
Authors:
Ming-Cheng Chen,
Can Wang,
Feng-Ming Liu,
Jian-Wen Wang,
Chong Ying,
Zhong-Xia Shang,
Yulin Wu,
Ming Gong,
Hui Deng,
Futian Liang,
Qiang Zhang,
Cheng-Zhi Peng,
Xiaobo Zhu,
Adan Cabello,
Chao-Yang Lu,
Jian-Wei Pan
Abstract:
Standard quantum theory was formulated with complex-valued Schrodinger equations, wave functions, operators, and Hilbert spaces. Previous work attempted to simulate quantum systems using only real numbers by exploiting an enlarged Hilbert space. A fundamental question arises: are complex numbers really necessary in the standard formalism of quantum theory? To answer this question, a quantum game h…
▽ More
Standard quantum theory was formulated with complex-valued Schrodinger equations, wave functions, operators, and Hilbert spaces. Previous work attempted to simulate quantum systems using only real numbers by exploiting an enlarged Hilbert space. A fundamental question arises: are complex numbers really necessary in the standard formalism of quantum theory? To answer this question, a quantum game has been developed to distinguish standard quantum theory from its real-number analog by revealing a contradiction in the maximum game scores between a high-fidelity multi-qubit quantum experiment and players using only real-number quantum theory. Here, using superconducting qubits, we faithfully experimentally implement the quantum game based on entanglement swapping with a state-of-the-art fidelity of 0.952(1), which beats the real-number bound of 7.66 by 43 standard deviations. Our results disprove the real-number formulation and establish the indispensable role of complex numbers in the standard quantum theory.
△ Less
Submitted 12 February, 2022; v1 submitted 14 March, 2021;
originally announced March 2021.
-
Kochen-Specker Contextuality
Authors:
Costantino Budroni,
Adán Cabello,
Otfried Gühne,
Matthias Kleinmann,
Jan-Åke Larsson
Abstract:
A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics is in conflict with classical models in which the result of a measurement does not depend on which other compatible measurements are jointly performed. Here compatible measurements are those that can be implemented simultaneously or, more generally, those that are join…
▽ More
A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics is in conflict with classical models in which the result of a measurement does not depend on which other compatible measurements are jointly performed. Here compatible measurements are those that can be implemented simultaneously or, more generally, those that are jointly measurable. This conflict is generically called quantum contextuality. In this review, an introduction to this subject and its current status is presented. Several proofs of the Kochen-Specker theorem and different notions of contextuality are reviewed. How to experimentally test some of these notions is explained and connections between contextuality and nonlocality or graph theory are discussed. Finally, some applications of contextuality in quantum information processing are reviewed.
△ Less
Submitted 9 January, 2023; v1 submitted 25 February, 2021;
originally announced February 2021.
-
Experimental Realization of a Controlled-NOT Gate with Four-Photon Six-Qubit Cluster States
Authors:
Wei-Bo Gao,
Ping Xu,
Xing-Can Yao,
Otfried Gühne,
Adán Cabello,
Chao-Yang Lu,
Cheng-Zhi Peng,
Zeng-Bing Chen,
Jian-Wei Pan
Abstract:
We experimentally demonstrate an optical controlled-NOT (CNOT) gate with arbitrary single inputs based on a 4-photon 6-qubit cluster state entangled both in polarization and spatial modes. We first generate the 6-qubit state, and then by performing single-qubit measurements the CNOT gate is applied to arbitrary single input qubits. To characterize the performance of the gate, we estimate its qua…
▽ More
We experimentally demonstrate an optical controlled-NOT (CNOT) gate with arbitrary single inputs based on a 4-photon 6-qubit cluster state entangled both in polarization and spatial modes. We first generate the 6-qubit state, and then by performing single-qubit measurements the CNOT gate is applied to arbitrary single input qubits. To characterize the performance of the gate, we estimate its quantum process fidelity and prove its entangling capability. The results show that the gate cannot be reproduced by local operations and classical communication. Our experiment shows that cluster states are promising candidates for efficient optical quantum computation.
△ Less
Submitted 30 March, 2010; v1 submitted 13 May, 2009;
originally announced May 2009.
