# Constant-sized correlations are sufficient to self-test maximally entangled states with unbounded dimension

Honghao Fu

Joint Center for Quantum Information and Computer Science, Institute for Advanced Computer Studies and Department of Computer Science, University of Maryland, College Park, MD 20742, USA

### Abstract

Let $p$ be an odd prime and let $r$ be the smallest generator of the multiplicative group $\mathbb{Z}_p^\ast$. We show that there exists a correlation of size $\Theta(r^2)$ that self-tests a maximally entangled state of local dimension $p-1$. The construction of the correlation uses the embedding procedure proposed by Slofstra ($\textit{Forum of Mathematics, Pi.}$ ($2019$)). Since there are infinitely many prime numbers whose smallest multiplicative generator is in the set $\{2,3,5\}$ (D.R. Heath-Brown $\textit{The Quarterly Journal of Mathematics}$ ($1986$) and M. Murty $\textit{The Mathematical Intelligencer}$ ($1988$)), our result implies that constant-sized correlations are sufficient for self-testing of maximally entangled states with unbounded local dimension.

### ► References

[1] Antonio Acín, Serge Massar, and Stefano Pironio. Randomness versus nonlocality and entanglement. Physical review letters, 108 (10): 100402, 2012. https:/​/​doi.org/​10.1103/​PhysRevLett.108.100402.
https:/​/​doi.org/​10.1103/​PhysRevLett.108.100402

[2] Padmanabhan K. Aravind. Quantum mysteries revisited again. American Journal of Physics, 72 (10): 1303–1307, 2004. https:/​/​doi.org/​10.1119/​1.1773173.
https:/​/​doi.org/​10.1119/​1.1773173

[3] Cédric Bamps and Stefano Pironio. Sum-of-squares decompositions for a family of Clauser-Horne-Shimony-Holt-like inequalities and their application to self-testing. Physical Review A, 91 (5): 052111, 2015. https:/​/​doi.org/​10.1103/​PhysRevA.91.052111.
https:/​/​doi.org/​10.1103/​PhysRevA.91.052111

[4] Spencer Breiner, Amir Kalev, and Carl Miller. Parallel self-testing of the GHZ state with a proof by diagrams. In 15th International Conference on Quantum Physics and Logic; June 3-7, 2018; Halifax, Canada, volume 287, pages 43–66, 2018. https:/​/​doi.org/​10.4204/​EPTCS.287.3.
https:/​/​doi.org/​10.4204/​EPTCS.287.3

[5] John F Clauser, Michael A Horne, Abner Shimony, and Richard A Holt. Proposed experiment to test local hidden-variable theories. Physical review letters, 23 (15): 880, 1969. https:/​/​doi.org/​10.1103/​PhysRevLett.23.880.
https:/​/​doi.org/​10.1103/​PhysRevLett.23.880

[6] Richard Cleve, Li Liu, and William Slofstra. Perfect commuting-operator strategies for linear system games. Journal of Mathematical Physics, 58 (1): 012202, 2017. https:/​/​doi.org/​10.1063/​1.4973422.
https:/​/​doi.org/​10.1063/​1.4973422

[7] Andrea Coladangelo and Jalex Stark. Robust self-testing for linear constraint system games. arXiv preprint arXiv:1709.09267, 2017.
arXiv:1709.09267

[8] Andrea Coladangelo, Koon Tong Goh, and Valerio Scarani. All pure bipartite entangled states can be self-tested. Nature communications, 8: 15485, 2017. https:/​/​doi.org/​10.1038/​ncomms15485.
https:/​/​doi.org/​10.1038/​ncomms15485

[9] Andrea Coladangelo, Alex B Grilo, Stacey Jeffery, and Thomas Vidick. Verifier-on-a-leash: new schemes for verifiable delegated quantum computation, with quasilinear resources. In Annual International Conference on the Theory and Applications of Cryptographic Techniques, pages 247–277. Springer, 2019. https:/​/​doi.org/​10.1007/​978-3-030-17659-4_9.
https:/​/​doi.org/​10.1007/​978-3-030-17659-4_9

[10] Joseph Fitzsimons, Zhengfeng Ji, Thomas Vidick, and Henry Yuen. Quantum proof systems for iterated exponential time, and beyond. In Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, pages 473–480. ACM, 2019. https:/​/​doi.org/​10.1145/​3313276.3316343.
https:/​/​doi.org/​10.1145/​3313276.3316343

[11] Honghao Fu. Constant-sized correlations are sufficient to robustly self-test maximally entangled states with unbounded dimension. arXiv preprint arXiv:1911.01494, 2019.
arXiv:1911.01494

[12] Honghao Fu and Carl A Miller. Local randomness: Examples and application. Physical Review A, 97 (3): 032324, 2018. https:/​/​doi.org/​10.1103/​PhysRevA.97.032324.
https:/​/​doi.org/​10.1103/​PhysRevA.97.032324

[13] D. R. Heath-Brown. Artin's conjecture for primitive roots. The Quarterly Journal of Mathematics, 37 (1): 27–38, 03 1986. ISSN 0033-5606. https:/​/​doi.org/​10.1093/​qmath/​37.1.27. URL https:/​/​doi.org/​10.1093/​qmath/​37.1.27.
https:/​/​doi.org/​10.1093/​qmath/​37.1.27

[14] Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, and Henry Yuen. $MIP^*= RE$. arXiv preprint arXiv:2001.04383, 2020.
arXiv:2001.04383

[15] Jȩdrzej Kaniewski. Self-testing of binary observables based on commutation. Physical Review A, 95 (6): 062323, 2017. https:/​/​doi.org/​10.1103/​PhysRevA.95.062323. URL https:/​/​link.aps.org/​doi/​10.1103/​PhysRevA.95.062323.
https:/​/​doi.org/​10.1103/​PhysRevA.95.062323

[16] Thomas Lawson, Noah Linden, and Sandu Popescu. Biased nonlocal quantum games. arXiv preprint arXiv:1011.6245, 2010.
arXiv:1011.6245

[17] Laura Mančinska, Jitendra Prakash, and Christopher Schafhauser. Constant-sized robust self-tests for states and measurements of unbounded dimension. arXiv preprint arXiv:2103.01729, 2021.
arXiv:2103.01729

[18] Dominic Mayers and Andrew Yao. Quantum cryptography with imperfect apparatus. In Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No. 98CB36280), pages 503–509. IEEE, 1998. https:/​/​doi.org/​10.1109/​SFCS.1998.743501.
https:/​/​doi.org/​10.1109/​SFCS.1998.743501

[19] Matthew McKague, Tzyh Haur Yang, and Valerio Scarani. Robust self-testing of the singlet. Journal of Physics A: Mathematical and Theoretical, 45 (45): 455304, 2012. https:/​/​doi.org/​10.1088/​1751-8113/​45/​45/​455304.
https:/​/​doi.org/​10.1088/​1751-8113/​45/​45/​455304

[20] N. David Mermin. Simple unified form for the major no-hidden-variables theorems. Phys. Rev. Lett., 65: 3373–3376, Dec 1990. https:/​/​doi.org/​10.1103/​PhysRevLett.65.3373. URL https:/​/​link.aps.org/​doi/​10.1103/​PhysRevLett.65.3373.
https:/​/​doi.org/​10.1103/​PhysRevLett.65.3373

[21] Maruti Ram Murty. Artin's conjecture for primitive roots. The Mathematical Intelligencer, 10 (4): 59–67, 1988. https:/​/​doi.org/​10.1007/​BF03023749.
https:/​/​doi.org/​10.1007/​BF03023749

[22] Anand Natarajan and Thomas Vidick. A quantum linearity test for robustly verifying entanglement. In Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, pages 1003–1015. ACM, 2017. https:/​/​doi.org/​10.1145/​3055399.3055468.
https:/​/​doi.org/​10.1145/​3055399.3055468

[23] Anand Natarajan and Thomas Vidick. Low-degree testing for quantum states, and a quantum entangled games ${PCP}$ for ${QMA}$. In 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), pages 731–742. IEEE, 2018. https:/​/​doi.org/​10.1109/​FOCS.2018.00075.
https:/​/​doi.org/​10.1109/​FOCS.2018.00075

[24] Anand Natarajan and John Wright. ${NEEXP}$ is Contained in ${MIP}^\ast$. In 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), pages 510–518. IEEE, 2019. https:/​/​doi.org/​10.1109/​FOCS.2019.00039.
https:/​/​doi.org/​10.1109/​FOCS.2019.00039

[25] Ben W Reichardt, Falk Unger, and Umesh Vazirani. Classical command of quantum systems. Nature, 496 (7446): 456, 2013. https:/​/​doi.org/​10.1038/​nature12035.
https:/​/​doi.org/​10.1038/​nature12035

[26] Joseph J Rotman. An introduction to the theory of groups, volume 148. Springer Science & Business Media, 2012. https:/​/​doi.org/​10.1007/​978-1-4612-4176-8.
https:/​/​doi.org/​10.1007/​978-1-4612-4176-8

[27] Shubhayan Sarkar, Debashis Saha, Jędrzej Kaniewski, and Remigiusz Augusiak. Self-testing quantum systems of arbitrary local dimension with minimal number of measurements. npj Quantum Information, 7 (1): 151, 2021. https:/​/​doi.org/​10.1038/​s41534-021-00490-3. URL https:/​/​doi.org/​10.1038/​s41534-021-00490-3.
https:/​/​doi.org/​10.1038/​s41534-021-00490-3

[28] William Slofstra. The set of quantum correlations is not closed. In Forum of Mathematics, Pi, volume 7. Cambridge University Press, 2019. https:/​/​doi.org/​10.1017/​fmp.2018.3.
https:/​/​doi.org/​10.1017/​fmp.2018.3

[29] Xingyao Wu, Jean-Daniel Bancal, Matthew McKague, and Valerio Scarani. Device-independent parallel self-testing of two singlets. Physical Review A, 93 (6): 062121, 2016. https:/​/​doi.org/​10.1103/​PhysRevA.93.062121.
https:/​/​doi.org/​10.1103/​PhysRevA.93.062121

[30] Tzyh Haur Yang and Miguel Navascués. Robust self-testing of unknown quantum systems into any entangled two-qubit states. Physical Review A, 87 (5): 050102, 2013. https:/​/​doi.org/​10.1103/​PhysRevA.87.050102.
https:/​/​doi.org/​10.1103/​PhysRevA.87.050102

### Cited by

[1] Sean A. Adamson and Petros Wallden, "Practical parallel self-testing of Bell states via magic rectangles", Physical Review A 105 3, 032456 (2022).

[2] Thomas Vidick, "Almost synchronous quantum correlations", Journal of Mathematical Physics 63 2, 022201 (2022).

[3] Harshank Shrotriya, Kishor Bharti, and Leong-Chuan Kwek, "Robust semi-device-independent certification of all pure bipartite maximally entangled states via quantum steering", Physical Review Research 3 3, 033093 (2021).

[4] Laura Mančinska, Jitendra Prakash, and Christopher Schafhauser, "Constant-sized robust self-tests for states and measurements of unbounded dimension", arXiv:2103.01729.

[5] Zhengfeng Ji, Debbie Leung, and Thomas Vidick, "A three-player coherent state embezzlement game", arXiv:1802.04926.

The above citations are from Crossref's cited-by service (last updated successfully 2022-05-20 16:54:09) and SAO/NASA ADS (last updated successfully 2022-05-20 16:54:10). The list may be incomplete as not all publishers provide suitable and complete citation data.