Sum-of-squares decompositions for a family of noncontextuality inequalities and self-testing of quantum devices

Debashis Saha; Rafael Santos; Remigiusz Augusiak

doi:10.22331/q-2020-08-03-302

Sum-of-squares decompositions for a family of noncontextuality inequalities and self-testing of quantum devices

Debashis Saha, Rafael Santos, and Remigiusz Augusiak

Center for Theoretical Physics, Polish Academy of Sciences, Aleja Lotników 32/46, 02-668 Warsaw, Poland

Published:	2020-08-03, volume 4, page 302
Eprint:	arXiv:2002.12216v3
Doi:	https://doi.org/10.22331/q-2020-08-03-302
Citation:	Quantum 4, 302 (2020).

Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.

Updated after initial publication: This publication was updated to version v3 after the initial publication. The authors left the following comment on the arXiv:

11 pages, 1 figure, an error is corrected

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.

► BibTeX data

@article{Saha2020sumofsquares,
  doi = {10.22331/q-2020-08-03-302},
  url = {https://doi.org/10.22331/q-2020-08-03-302},
  title = {Sum-of-squares decompositions for a family of noncontextuality inequalities and self-testing of quantum devices},
  author = {Saha, Debashis and Santos, Rafael and Augusiak, Remigiusz},
  journal = {{Quantum}},
  issn = {2521-327X},
  publisher = {{Verein zur F{\"{o}}rderung des Open Access Publizierens in den Quantenwissenschaften}},
  volume = {4},
  pages = {302},
  month = aug,
  year = {2020}
}

► References

[1] B. Amaral and M. T. Cunha. Contextuality: The Compatibility-Hypergraph Approach, pages 13–48. Springer Briefs in Mathematics. Springer, Cham, 2018. DOI: 10.1007/978-3-319-93827-1_2.
https://doi.org/10.1007/978-3-319-93827-1_2

[2] M. Araújo, M. T. Quintino, C. Budroni, M. T. Cunha, and A. Cabello. All noncontextuality inequalities for the $n$-cycle scenario. Phys. Rev. A, 88: 022118, 2013. DOI: 10.1103/PhysRevA.88.022118.
https://doi.org/10.1103/PhysRevA.88.022118

[3] R. Augusiak, A. Salavrakos, J. Tura, and A. Acín. Bell inequalities tailored to the \textGreenberger–\textHorne–\textZeilinger states of arbitrary local dimension. New J. Phys., 21(11): 113001, 2019. DOI: 10.1088/1367-2630/ab4d9f.
https://doi.org/10.1088/1367-2630/ab4d9f

[4] J. S. Bell. On the \textEinstein \textPodolsky \textRosen paradox. Physics Physique Fizika, 1: 195–200, 1964. DOI: 10.1103/PhysicsPhysiqueFizika.1.195.
https://doi.org/10.1103/PhysicsPhysiqueFizika.1.195

[5] C. Bamps and S. Pironio. Sum-of-squares decompositions for a family of \textClauser-\textHorne-\textShimony-\textHolt-like inequalities and their application to self-testing. Phys. Rev. A, 91: 052111, 2015. DOI: 10.1103/PhysRevA.91.052111.
https://doi.org/10.1103/PhysRevA.91.052111

[6] K. Bharti, M. Ray, A. Varvitsiotis, A. Cabello, and L. Kwek. Local certification of programmable quantum devices of arbitrary high dimensionality. 2019.

[7] K. Bharti, M. Ray, A. Varvitsiotis, N. Warsi, A. Cabello, and L. Kwek. Robust \textSelf-\textTesting of \textQuantum \textSystems via \textNoncontextuality \textInequalities. Phys. Rev. Lett., 122: 250403, 2019. DOI: 10.1103/PhysRevLett.122.250403.
https://doi.org/10.1103/PhysRevLett.122.250403

[8] A. Cabello. Experimentally \textTestable \textState-\textIndependent \textQuantum \textContextuality. Phys. Rev. Lett., 101: 210401, 2008. DOI: 10.1103/PhysRevLett.101.210401.
https://doi.org/10.1103/PhysRevLett.101.210401

[9] A. Cabello. Simple \textExplanation of the \textQuantum \textViolation of a \textFundamental \textInequality. Phys. Rev. Lett., 110: 060402, 2013. DOI: 10.1103/PhysRevLett.110.060402.
https://doi.org/10.1103/PhysRevLett.110.060402

[10] A. Coladangelo, K. Goh, and V. Scarani. All pure bipartite entangled states can be self-tested. Nature Communications, 8(1): 15485, 2017. DOI: 10.1038/ncomms15485.
https://doi.org/10.1038/ncomms15485

[11] D. Cui, A. Mehta, H. Mousavi, and S. Nezhadi. A generalization of \textCHSH and the algebraic structure of optimal strategies. 2019.

[12] A. Cabello, S. Severini, and A. Winter. Graph-\textTheoretic \textApproach to \textQuantum \textCorrelations. Phys. Rev. Lett., 112: 040401, 2014. DOI: 10.1103/PhysRevLett.112.040401.
https://doi.org/10.1103/PhysRevLett.112.040401

[13] M. Farkas and J. Kaniewski. Self-testing mutually unbiased bases in the prepare-and-measure scenario. Phys. Rev. A, 99: 032316, 2019. DOI: 10.1103/PhysRevA.99.032316.
https://doi.org/10.1103/PhysRevA.99.032316

[14] O. Gühne, C. Budroni, A. Cabello, M. Kleinmann, and J. Larsson. Bounding the quantum dimension with contextuality. Phys. Rev. A, 89: 062107, 2014. DOI: 10.1103/PhysRevA.89.062107.
https://doi.org/10.1103/PhysRevA.89.062107

[15] A. Grudka, K. Horodecki, M. Horodecki, P. Horodecki, R. Horodecki, P. Joshi, W. Kłobus, and A. Wójcik. Quantifying \textContextuality. Phys. Rev. Lett., 112: 120401, 2014. DOI: 10.1103/PhysRevLett.112.120401.
https://doi.org/10.1103/PhysRevLett.112.120401

[16] M. Howard, J. Wallman, V. Veitch, and J. Emerson. Contextuality supplies the “magic” for quantum computation. Nature, 510(7505): 351–355, 2014. DOI: 10.1038/nature13460.
https://doi.org/10.1038/nature13460

[17] A. Irfan, K. Mayer, G. Ortiz, and E. Knill. Certified quantum measurement of \textMajorana fermions. Phys. Rev. A, 101: 032106, 2020. DOI: 10.1103/PhysRevA.101.032106.
https://doi.org/10.1103/PhysRevA.101.032106

[18] J. Kaniewski. A weak form of self-testing. 2019.

[19] P. Kurzyński, A. Cabello, and D. Kaszlikowski. Fundamental \textMonogamy \textRelation between \textContextuality and \textNonlocality. Phys. Rev. Lett., 112: 100401, 2014. DOI: 10.1103/PhysRevLett.112.100401.
https://doi.org/10.1103/PhysRevLett.112.100401

[20] A. Klyachko, M. Can, S. Binicioğlu, and A. Shumovsky. Simple \textTest for \textHidden \textVariables in \textSpin-1 \textSystems. Phys. Rev. Lett., 101: 020403, 2008. DOI: 10.1103/PhysRevLett.101.020403.
https://doi.org/10.1103/PhysRevLett.101.020403

[21] S. Kochen and E. Specker. The \textProblem of \textHidden \textVariables in \textQuantum \textMechanics. In The Logico-Algebraic Approach to Quantum Mechanics, The Western Ontario Series in Philosophy of Science, pages 293–328. Springer Netherlands, 1975. DOI: 10.1007/978-94-010-1795-4.
https://doi.org/10.1007/978-94-010-1795-4

[22] J. Kaniewski, I. Šupić, J. Tura, F. Baccari, A. Salavrakos, and R. Augusiak. Maximal nonlocality from maximal entanglement and mutually unbiased bases, and self-testing of two-qutrit quantum systems. Quantum, 3: 198, 2019. DOI: 10.22331/q-2019-10-24-198.
https://doi.org/10.22331/q-2019-10-24-198

[23] Y. Liang, R. Spekkens, and H. Wiseman. Specker$'$s parable of the overprotective seer: A road to contextuality, nonlocality and complementarity. Phys. Rep., 506(1): 1–39, 2011. DOI: 10.1016/j.physrep.2011.05.001.
https://doi.org/10.1016/j.physrep.2011.05.001

[24] D. Mayers and A. Yao. Self testing quantum apparatus. Quantum Inf. Comput., 4(4): 273–286, 2004. DOI: doi.org/10.26421/QIC4.4.
https://doi.org/10.26421/QIC4.4

[25] R. Raussendorf. Contextuality in measurement-based quantum computation. Phys. Rev. A, 88: 022322, 2013. DOI: 10.1103/PhysRevA.88.022322.
https://doi.org/10.1103/PhysRevA.88.022322

[26] I. Šupić, R. Augusiak, A. Salavrakos, and A. Acín. Self-testing protocols based on the chained bell inequalities. New J. Phys., 18(3): 035013, 2016. DOI: 10.1088/1367-2630/18/3/035013.
https://doi.org/10.1088/1367-2630/18/3/035013

[27] A. Salavrakos, R. Augusiak, J. Tura, P. Wittek, A. Acín, and S. Pironio. Bell \textInequalities \textTailored to \textMaximally \textEntangled \textStates. Phys. Rev. Lett., 119: 040402, 2017. DOI: 10.1103/PhysRevLett.119.040402.
https://doi.org/10.1103/PhysRevLett.119.040402

[28] J. Singh, K. Bharti, and Arvind. Quantum key distribution protocol based on contextuality monogamy. Phys. Rev. A, 95: 062333, 2017. DOI: 10.1103/PhysRevA.95.062333.
https://doi.org/10.1103/PhysRevA.95.062333

[29] D. Saha, P. Horodecki, and M. Pawłowski. State independent contextuality advances one-way communication. New J. Phys., 21(9): 093057, 2019. DOI: 10.1088/1367-2630/ab4149.
https://doi.org/10.1088/1367-2630/ab4149

[30] D. Saha and R. Ramanathan. Activation of monogamy in nonlocality using local contextuality. Phys. Rev. A, 95: 030104, 2017. DOI: 10.1103/PhysRevA.95.030104.
https://doi.org/10.1103/PhysRevA.95.030104

[31] S. Sarkar, D. Saha, J. Kaniewski, and R. Augusiak. Self-testing quantum systems of arbitrary local dimension with minimal number of measurements. 2019.

[32] A. Tavakoli, J. Kaniewski, T. Vértesi, D. Rosset, and N. Brunner. Self-testing quantum states and measurements in the prepare-and-measure scenario. Phys. Rev. A, 98: 062307, 2018. DOI: 10.1103/PhysRevA.98.062307.
https://doi.org/10.1103/PhysRevA.98.062307

[33] Z. Xu, D. Saha, H. Su, M. Pawłowski, and J. Chen. Reformulating noncontextuality inequalities in an operational approach. Phys. Rev. A, 94: 062103, 2016. DOI: 10.1103/PhysRevA.94.062103.
https://doi.org/10.1103/PhysRevA.94.062103

[34] T. Yang, T. Vértesi, J. Bancal, V. Scarani, and M. Navascués. Robust and \textVersatile \textBlack-\textBox \textCertification of \textQuantum \textDevices. Phys. Rev. Lett., 113: 040401, 2014. DOI: 10.1103/PhysRevLett.113.040401.
https://doi.org/10.1103/PhysRevLett.113.040401

Cited by

[1] Harshank Shrotriya, Leong-Chuan Kwek, and Kishor Bharti, "Certifying temporal correlations", AVS Quantum Science 6 4, 045004 (2024).

[2] Xiao-Min Hu, Yi Xie, Atul Singh Arora, Ming-Zhong Ai, Kishor Bharti, Jie Zhang, Wei Wu, Ping-Xing Chen, Jin-Ming Cui, Bi-Heng Liu, Yun-Feng Huang, Chuan-Feng Li, Guang-Can Guo, Jérémie Roland, Adán Cabello, and Leong-Chuan Kwek, "Self-testing of a single quantum system from theory to experiment", npj Quantum Information 9 1, 103 (2023).

[3] Li-Yi Hsu and Ching-Hsu Chen, "Exploring Bell nonlocality of quantum networks with stabilizing and logical operators", Physical Review Research 3 2, 023139 (2021).

[4] Ritesh K Singh, Souradeep Sasmal, S Nautiyal, and A K Pan, "Self-testing in a constrained prepare-measure scenario sans assuming quantum dimension", New Journal of Physics 27 11, 114520 (2025).

[5] Rafael Santos, Chellasamy Jebarathinam, and Remigiusz Augusiak, "Scalable noncontextuality inequalities and certification of multiqubit quantum systems", Physical Review A 106 1, 012431 (2022).

[6] Chellasamy Jebarathinam, Gautam Sharma, Sk Sazim, and Remigiusz Augusiak, "Certification of two-qubit quantum systems with temporal inequality", Physical Review A 110 2, 022408 (2024).

[7] Adel Sohbi, Damian Markham, Jaewan Kim, and Marco Túlio Quintino, "Certifying dimension of quantum systems by sequential projective measurements", Quantum 5, 472 (2021).

[8] Owidiusz Makuta and Remigiusz Augusiak, "Self-testing maximally-dimensional genuinely entangled subspaces within the stabilizer formalism", New Journal of Physics 23 4, 043042 (2021).

[9] Barnik Bhaumik, Sagnik Ray, and Debashis Saha, "Communication scenario enabling semi-device-independent robust self-testing of n -party Greenberger-Horne-Zeilinger basis measurements", Physical Review A 113 1, 012407 (2026).

[10] Lei Wang, Liu Liu, Li-Ming Zhao, and Ming-Xing Luo, "Sum-of-squares decomposition for general bipartite Bell operators", Physica Scripta 101 4, 045105 (2026).

[11] Debarshi Das, Ananda G. Maity, Debashis Saha, and A. S. Majumdar, "Robust certification of arbitrary outcome quantum measurements from temporal correlations", Quantum 6, 716 (2022).

[12] Rajdeep Paul, Souradeep Sasmal, and A. K. Pan, "Self-testing of multiple unsharpness parameters through sequential violations of a noncontextual inequality", Physical Review A 110 1, 012444 (2024).

[13] Chellasamy Jebarathinam and R. Srikanth, "Contextuality, superlocality and nonclassicality of supernoncontextuality", International Journal of Quantum Information 23 08, 2550037 (2025).

[14] Shashank Gupta, Debashis Saha, Zhen-Peng Xu, Adán Cabello, and A. S. Majumdar, "Quantum Contextuality Provides Communication Complexity Advantage", Physical Review Letters 130 8, 080802 (2023).

[15] Atul Singh Arora, Kishor Bharti, Alexandru Cojocaru, and Andrea Coladangelo, 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS) 1106 (2024) ISBN:979-8-3315-1674-1.

[16] Ananda G. Maity, Shiladitya Mal, Chellasamy Jebarathinam, and A. S. Majumdar, "Self-testing of binary Pauli measurements requiring neither entanglement nor any dimensional restriction", Physical Review A 103 6, 062604 (2021).

[17] Zhen-Peng Xu, Debashis Saha, Kishor Bharti, and Adán Cabello, "Certifying Sets of Quantum Observables with Any Full-Rank State", Physical Review Letters 132 14, 140201 (2024).

[18] Gautam Sharma, Chellasamy Jebarathinam, Sk Sazim, and Remigiusz Augusiak, "Certification of multi-qubit quantum systems with temporal inequalities", New Journal of Physics 26 10, 103028 (2024).

[19] Derek Khu, Andrew Tanggara, Chao Jin, and Kishor Bharti, "Contextuality of Quantum Error-Correcting Codes", PRX Quantum 7 1, 010319 (2026).

[20] Tiago Santos, Rafael Wagner, and Bárbara Amaral, "Convexity of noncontextual wirings and how they order the set of correlations", Physical Review A 110 3, 032217 (2024).

The above citations are from Crossref's cited-by service (last updated successfully 2026-08-12 05:19:03) and SAO/NASA ADS (last updated successfully 2026-08-11 01:40:37). The list may be incomplete as not all publishers provide suitable and complete citation data.

Could not fetch ADS cited-by data during last attempt 2026-08-12 05:19:03: Cannot retrieve data from ADS due to rate limitations.

This Paper is published in Quantum under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Copyright remains with the original copyright holders such as the authors or their institutions.