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:1504.06960 · Physical Review A

Sum-of-squares decompositions for a family of Clauser-Horne-Shimony-Holt-like inequalities and their application to self-testing

Cédric Bamps, Stefano Pironio

Published May 19, 2015• 192 citations
arXivHTMLPDF

Abstract

We introduce two families of sum-of-squares (SOS) decompositions for the Bell operators associated with the tilted Clauser-Horne-Shimony-Holt (CHSH) expressions introduced in Ac\'{\i}n et al. [Phys. Rev. Lett. 108, 100402 (2012)]. These SOS decompositions provide tight upper bounds on the maximal quantum value of these Bell expressions. Moreover, they establish algebraic relations that are necessarily satisfied by any quantum state and observables yielding the optimal quantum value. These algebraic relations are then used to show that the tilted CHSH expressions provide robust self-tests for any partially entangled two-qubit state. This application to self-testing follows closely the approach of Yang and Navascu\'es [Phys. Rev. A 87, 050102(R) (2013)], where we identify and correct two nontrivial flaws.

DOI
10.1103/physreva.91.052111

Related papers

Robust self-testing of two-qubit states

Tim J. Coopmans, Jędrzej Kaniewski, Christian Schaffner

It is well known that observing nonlocal correlations allows us to draw conclusions about the quantum systems under consideration. In some cases this yields a characterisation which is essentially complete, a phenomenon known as self-testing. Self-testing becomes particularly interesting if we can make the statement robust, so that it can be applied to a real experimental setup. For the simplest self-testing scenarios the most robust bounds come from the method based on operator inequalities. In this work we elaborate on this idea and apply it to the family of tilted Clauser-Horne-Shimony-Holt (CHSH) inequalities. These inequalities are maximally violated by partially entangled two-qubit states and our goal is to estimate the quality of the state based only on the observed violation. For these inequalities we have reached a candidate bound and while we have not been able to prove it analytically, we have gathered convincing numerical evidence that it holds. Our final contribution is a proof that in the usual formulation, the CHSH inequality only becomes a self-test when the violation exceeds a certain threshold. This shows that self-testing scenarios fall into two distinct classes depending on whether they exhibit such a threshold or not.

arXiv:1902.00870•Physical Review A•May 24, 2019•30 citations

SOS decomposition for general Bell inequalities in two qubits systems and its application to quantum randomness

Wen-Na Zhao, Youwang Xiao, Ming Li +2 more

Abstract Bell non-locality is closely related with device independent quantum randomness. In this paper, we present a kind of sum-of-squares (SOS) decomposition for general Bell inequalities in two qubits systems. By using the obtained SOS decomposition, we can then find the measurement operators associated with the maximal violation of considered Bell inequality. We also practice the SOS decomposition method by considering the (generalized) Clauser-Horne-Shimony-Holt (CHSH) Bell inequality, the Elegant Bell inequality, the Gisin inequality and the Chained Bell inequality as examples. The corresponding SOS decompositions and the measurement operators that cause the maximum violation values of these Bell inequalities are derived, which are consistent with previous results. We further discuss the device independent quantum randomness by using the SOS decompositions of Bell inequalities. We take the generalized CHSH inequality with the maximally entangled state and the Werner state that attaining the maximal violations as examples. Exact value or lower bound on the maximal guessing probability using the SOS decomposition are obtained. For Werner state, the lower bound can supply a much precise estimation of quantum randomness when p tends to 1.

arXiv:2409.08467•Physica Scripta•Aug 29, 2024•1 citation

Analytic and Nearly Optimal Self-Testing Bounds for the Clauser-Horne-Shimony-Holt and Mermin Inequalities

Jędrzej Kaniewski

Self-testing refers to the phenomenon that certain extremal quantum correlations (almost) uniquely identify the quantum system under consideration. For instance, observing the maximal violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality certifies that the two parties share a singlet. While self-testing results are known for several classes of states, in many cases they are only applicable if the observed statistics are almost perfect, which makes them unsuitable for practical applications. Practically relevant self-testing bounds are much less common and moreover they all result from a single numerical method (with one exception which we discuss in detail). In this work we present a new technique for proving analytic self-testing bounds of practically relevant robustness. We obtain improved bounds for the case of self-testing the singlet using the CHSH inequality (in particular we show that nontrivial fidelity with the singlet can be achieved as long as the violation exceeds β^{*}=(16+14sqrt[2])/17≈2.11). In the case of self-testing the tripartite Greenberger-Horne-Zeilinger state using the Mermin inequality, we derive a bound which not only improves on previously known results but turns out to be tight. We discuss other scenarios to which our technique can be immediately applied.

arXiv:1604.08176•Physical Review Letters•Aug 11, 2016•143 citations

Self-testing tilted strategies for maximal loophole-free nonlocality

N. Gigena, Ekta Panwar, Giovanni Scala +3 more

Abstract The degree of experimentally attainable nonlocality, as gauged by the amount of loophole-free violation of Bell inequalities, remains severely limited due to inefficient detectors. We address an experimentally motivated question: Which quantum strategies attain the maximal loophole-free nonlocality in the presence of inefficient detectors? For any Bell inequality and any specification of detection efficiencies, the optimal strategies are those that maximally violate a tilted version of the Bell inequality in ideal conditions. In the simplest scenario, we demonstrate that the quantum strategies that maximally violate the tilted versions of Clauser-Horne-Shimony-Holt inequality are unique up to local isometries. However, self-testing via the standard sum of squares decomposition method turns out to be analytically intractable since even high levels of the Navascués--Pironio--Acín hierarchy are insufficient to saturate the maximum quantum violation of these inequalities. Instead, we utilize a novel Jordan's lemma-based proof technique to obtain robust analytical self-testing statements for the entire family of tilted-Bell inequalities. These results allow us to unveil intriguing aspects of the effect of inefficient detectors and the complexity of characterizing the set of quantum correlations, in the simplest Bell scenario.

arXiv:2405.08743•npj Quantum Information•May 19, 2025•7 citations

Self-testing of different entanglement resources via fixed measurement settings

Xinhui Li, Yukun Wang, Yun-Guang Han +1 more

Self-testing, which refers to device-independent characterization of the state and the measurement, enables the security of a quantum information processing task certified independently of the operation performed inside the devices. Quantum states lie at the core of self-testing as key resources. However, for different entangled states, usually, different measurement settings should be taken in self-testing recipes. This may lead to the redundancy of measurement resources. In this work, we use fixed two-binary measurements and answer the question of which states can be self-tested with the same settings. By investigating the structure of generalized tilted-Clauser-Horne-Shimony-Holt Bell operators with the sum-of-squares decomposition method, we show that a family of two-qubit entangled states can be self-tested with the same measurement settings. The robustness analysis indicates that our scheme is feasible for practical experiment instruments. Moreover, our results can be applied to various quantum information processing tasks.

arXiv:2210.12711•Physical Review A•Nov 17, 2022•5 citations

Generalization of the Clauser-Horne-Shimony-Holt inequality self-testing maximally entangled states of any local dimension

Andrea Coladangelo

The Clauser-Horne-Shimony-Holt inequality (CHSH) is one of the most popular and well-studied witnesses of Bell's theorem, separating classical from quantum correlations. In this work, for every $d\ensuremath{\ge}2$, we present a generalization of the CHSH inequality with the property that maximal violation is achieved uniquely by the maximally entangled state of local dimension $d$. This provides an avenue for device-independent certification of maximally entangled states of arbitrary local dimension.

arXiv:1803.05904•Physical Review A•Nov 13, 2018•23 citations
We introduce two families of sum-of-squares (SOS) decompositions for the Bell operators associated with the tilted Clauser-Horne-Shimony-Holt (CHSH) expressions introduced in Ac'{\i}n et al. [Phys. Rev. Lett. 108, 100402 (2012)]. These SOS decompositions provide tight upper bounds on the maximal quantum value of these Bell expressions. Moreover, they establish algebraic relations that are necessarily satisfied by any quantum state and observables yielding the optimal quantum value. These algebraic relations are then used to show that the tilted CHSH expressions provide robust self-tests for any partially entangled two-qubit state. This application to self-testing follows closely the approach of Yang and Navascu'es [Phys. Rev. A 87, 050102(R) (2013)], where we identify and correct two nontrivial flaws.
It is well known that observing nonlocal correlations allows us to draw conclusions about the quantum systems under consideration. In some cases this yields a characterisation which is essentially complete, a phenomenon known as self-testing. Self-testing becomes particularly interesting if we can make the statement robust, so that it can be applied to a real experimental setup. For the simplest self-testing scenarios the most robust bounds come from the method based on operator inequalities. In this work we elaborate on this idea and apply it to the family of tilted Clauser-Horne-Shimony-Holt (CHSH) inequalities. These inequalities are maximally violated by partially entangled two-qubit states and our goal is to estimate the quality of the state based only on the observed violation. For these inequalities we have reached a candidate bound and while we have not been able to prove it analytically, we have gathered convincing numerical evidence that it holds. Our final contribution is a proof that in the usual formulation, the CHSH inequality only becomes a self-test when the violation exceeds a certain threshold. This shows that self-testing scenarios fall into two distinct classes depending on whether they exhibit such a threshold or not.
Abstract Bell non-locality is closely related with device independent quantum randomness. In this paper, we present a kind of sum-of-squares (SOS) decomposition for general Bell inequalities in two qubits systems. By using the obtained SOS decomposition, we can then find the measurement operators associated with the maximal violation of considered Bell inequality. We also practice the SOS decomposition method by considering the (generalized) Clauser-Horne-Shimony-Holt (CHSH) Bell inequality, the Elegant Bell inequality, the Gisin inequality and the Chained Bell inequality as examples. The corresponding SOS decompositions and the measurement operators that cause the maximum violation values of these Bell inequalities are derived, which are consistent with previous results. We further discuss the device independent quantum randomness by using the SOS decompositions of Bell inequalities. We take the generalized CHSH inequality with the maximally entangled state and the Werner state that attaining the maximal violations as examples. Exact value or lower bound on the maximal guessing probability using the SOS decomposition are obtained. For Werner state, the lower bound can supply a much precise estimation of quantum randomness when p tends to 1.
Self-testing refers to the phenomenon that certain extremal quantum correlations (almost) uniquely identify the quantum system under consideration. For instance, observing the maximal violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality certifies that the two parties share a singlet. While self-testing results are known for several classes of states, in many cases they are only applicable if the observed statistics are almost perfect, which makes them unsuitable for practical applications. Practically relevant self-testing bounds are much less common and moreover they all result from a single numerical method (with one exception which we discuss in detail). In this work we present a new technique for proving analytic self-testing bounds of practically relevant robustness. We obtain improved bounds for the case of self-testing the singlet using the CHSH inequality (in particular we show that nontrivial fidelity with the singlet can be achieved as long as the violation exceeds β^{*}=(16+14sqrt[2])/17≈2.11). In the case of self-testing the tripartite Greenberger-Horne-Zeilinger state using the Mermin inequality, we derive a bound which not only improves on previously known results but turns out to be tight. We discuss other scenarios to which our technique can be immediately applied.
Abstract The degree of experimentally attainable nonlocality, as gauged by the amount of loophole-free violation of Bell inequalities, remains severely limited due to inefficient detectors. We address an experimentally motivated question: Which quantum strategies attain the maximal loophole-free nonlocality in the presence of inefficient detectors? For any Bell inequality and any specification of detection efficiencies, the optimal strategies are those that maximally violate a tilted version of the Bell inequality in ideal conditions. In the simplest scenario, we demonstrate that the quantum strategies that maximally violate the tilted versions of Clauser-Horne-Shimony-Holt inequality are unique up to local isometries. However, self-testing via the standard sum of squares decomposition method turns out to be analytically intractable since even high levels of the Navascués--Pironio--Acín hierarchy are insufficient to saturate the maximum quantum violation of these inequalities. Instead, we utilize a novel Jordan's lemma-based proof technique to obtain robust analytical self-testing statements for the entire family of tilted-Bell inequalities. These results allow us to unveil intriguing aspects of the effect of inefficient detectors and the complexity of characterizing the set of quantum correlations, in the simplest Bell scenario.
Self-testing, which refers to device-independent characterization of the state and the measurement, enables the security of a quantum information processing task certified independently of the operation performed inside the devices. Quantum states lie at the core of self-testing as key resources. However, for different entangled states, usually, different measurement settings should be taken in self-testing recipes. This may lead to the redundancy of measurement resources. In this work, we use fixed two-binary measurements and answer the question of which states can be self-tested with the same settings. By investigating the structure of generalized tilted-Clauser-Horne-Shimony-Holt Bell operators with the sum-of-squares decomposition method, we show that a family of two-qubit entangled states can be self-tested with the same measurement settings. The robustness analysis indicates that our scheme is feasible for practical experiment instruments. Moreover, our results can be applied to various quantum information processing tasks.
The Clauser-Horne-Shimony-Holt inequality (CHSH) is one of the most popular and well-studied witnesses of Bell's theorem, separating classical from quantum correlations. In this work, for every $d\ensuremath{\ge}2$, we present a generalization of the CHSH inequality with the property that maximal violation is achieved uniquely by the maximally entangled state of local dimension ddd. This provides an avenue for device-independent certification of maximally entangled states of arbitrary local dimension.