[1] A. Acín, A. Andrianov, L. Costa, E. Jané, JI Latorre và R. Tarrach. Sự phân rã Schmidt tổng quát và phân loại trạng thái ba-bit lượng tử. Thể chất. Rev. Lett., 85: 1560–1563, tháng 2000 năm 10.1103. doi: 85.1560 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.85.1560

[2] Ole Andersson, Piotr Badziąg, Ingemar Bengtsson, Irina Dumitru và Adán Cabello. Tính chất tự kiểm tra của bất đẳng thức Bell tao nhã của Gisin. Thể chất. Rev. A, 96: 032119, tháng 2017 năm 10.1103. doi: 96.032119 / PhysRevA.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevA.96.032119

[3] Ole Andersson, Piotr Badziąg, Irina Dumitru và Adán Cabello. Chứng nhận độc lập với thiết bị về hai bit ngẫu nhiên từ một bit vướng víu và bất đẳng thức Bell thanh lịch của Gisin. Thể chất. Rev. A, 97: 012314, Jan 2018. doi: 10.1103 / PhysRevA.97.012314.
https: / / doi.org/ 10.1103 / PhysRevA.97.012314

[4] R Augusiak, M Demianowicz và A Acín. Các mô hình biến ẩn cục bộ cho các trạng thái lượng tử vướng víu. Tạp chí Vật lý A: Toán học và Lý thuyết, 47 (42): 424002, 2014. doi: 10.1088 / 1751-8113 / 47/42/424002.
https:/​/​doi.org/​10.1088/​1751-8113/​47/​42/​424002

[5] Rotem Arnon-Friedman. Giảm IID trong Xử lý thông tin lượng tử không phụ thuộc vào thiết bị. Luận án Tiến sĩ, 2018. arXiv: 1812.10922.
arXiv: 1812.10922

[6] Rotem Arnon-Friedman và Jean-Daniel Bancal. Chứng nhận độc lập với thiết bị về sự vướng víu có thể chưng cất một lần. Tạp chí Vật lý Mới, 21 (3): 033010, Mar 2019. doi: 10.1088 / 1367-2630 / aafef6.
https: / / doi.org/ 10.1088/1367-2630 / aafef6

[7] Rotem Arnon-Friedman, Renato Renner và Thomas Vidick. Bằng chứng bảo mật độc lập với thiết bị đơn giản và chặt chẽ. SIAM Journal on Computing, 48 (1): 181–225, 2019. URL: https: / / epubs.siam.org/ doi / abs / 10.1137 / 18M1174726, doi: 10.1137 / 18M1174726.
https: / / doi.org/ 10.1137 / 18M1174726

[8] Rotem Arnon-Friedman và Henry Yuen. Thử nghiệm khả năng chịu tiếng ồn của sự hình thành có độ bám cao. Trong Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx và Donald Sannella, các biên tập viên, Colloquium quốc tế thứ 45 về Tự động hóa, Ngôn ngữ và Lập trình (ICALP 2018), tập 107 của Kỷ yếu Quốc tế Leibniz về Tin học (LIPIcs), trang 11: 1–11: 12, Dagstuhl, Đức, 2018. Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik. doi: 10.4230 / LIPIcs.ICALP.2018.11.
https: / / doi.org/ 10.4230 / LIPIcs.ICALP.2018.11

[9] Emily Adlam và Adrian Kent. Cam kết bit lượng tử tương đối tính độc lập với thiết bị. Thể chất. Rev. A, 92: 022315, August 2015. doi: 10.1103 / PhysRevA.92.022315.
https: / / doi.org/ 10.1103 / PhysRevA.92.022315

[10] Antonio Acín và Lluis Masanes. Tính ngẫu nhiên được chứng nhận trong vật lý lượng tử. Nature, 540: 213–219, 2016. doi: 10.1038 / nature20119.
https: / / doi.org/ 10.1038 / thiên nhiên20119

[11] Antonio Acín, Serge Massar và Stefano Pironio. Tính ngẫu nhiên so với tính không định vị và sự vướng víu. Physical Review Letters, 108 (10), Sep 2012. doi: 10.1103 / Physrevlett.108.100402.
https: / / doi.org/ 10.1103 / Physrevlett.108.100402

[12] N Aharon, S Massar, S Pironio và J Silman. Cam kết bit độc lập với thiết bị dựa trên sự bất bình đẳng CHSH. Tạp chí Vật lý Mới, 18 (2): 025014, feb 2016. doi: 10.1088 / 1367-2630 / 18/2/025014.
https:/​/​doi.org/​10.1088/​1367-2630/​18/​2/​025014

[13] A. Ambainis, A. Nayak, A. Ta-Shama và U. Vazirani. Mã hóa lượng tử dày đặc và giới hạn dưới cho các ô tô lượng tử 1 chiều. Kỷ yếu Hội nghị ACM lần thứ 31 về Lý thuyết Máy tính, trang 376, 1999. doi: 10.1145 / 301250.301347.
https: / / doi.org/ 10.1145 / 301250.301347

[14] Antonio Acín, Stefano Pironio, Tamás Vértesi và Peter Wittek. Chứng nhận ngẫu nhiên tối ưu từ một bit vướng víu. Thể chất. Rev. A, 93: 040102, April 2016. doi: 10.1103 / PhysRevA.93.040102.
https: / / doi.org/ 10.1103 / PhysRevA.93.040102

[15] Mateus Araújo, Marco Túlio Quintino, Costantino Budroni, Marcelo Terra Cunha và Adán Cabello. Tất cả các bất bình đẳng không liên tục đối với kịch bản $ n $ -cycle. Thể chất. Rev. A, 88: 022118, August 2013. doi: 10.1103 / PhysRevA.88.022118.
https: / / doi.org/ 10.1103 / PhysRevA.88.022118

[16] M. Ardehali. Bất đẳng thức Bell với mức độ vi phạm tăng theo cấp số nhân với số lượng các hạt. Thể chất. Rev. A, 46: 5375–5378, tháng 1992 năm 10.1103. doi: 46.5375 / PhysRevA.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevA.46.5375

[17] Jonathan Barrett. Các phép đo có giá trị toán tử dương không liên quan trên các trạng thái hỗn hợp vướng víu không phải lúc nào cũng vi phạm bất đẳng thức Bell. Thể chất. Rev. A, 65: 042302, Mar 2002. doi: 10.1103 / PhysRevA.65.042302.
https: / / doi.org/ 10.1103 / PhysRevA.65.042302

[18] F Baccari, R Augusiak, I Šupić, J Tura, và A Acín. Bất đẳng thức chuông có thể mở rộng cho trạng thái đồ thị qubit và tự kiểm tra mạnh mẽ. Thư đánh giá vật lý, 124 (2): 020402, 2020. doi: 10.1103 / PhysRevLett.124.020402.
https: / / doi.org/ 10.1103 / PhysRevLett.124.020402

[19] Charles Bennett và Gilles Brassard. Mật mã lượng tử: Phân phối khóa công khai và tung đồng xu. Trong Kỷ yếu của Hội nghị Quốc tế IEEE về Máy tính, Hệ thống và Xử lý Tín hiệu, Bangalore, Ấn Độ, 1984, trang 175–179, 01 1984. doi: 10.1016 / j.tcs.2014.05.025.
https: / / doi.org/ 10.1016 / j.tcs.2014.05.025

[20] CH Bennett, G. Brassard, S. Breidbart và S. Wiesner. Kênh liên lạc lượng tử phát hiện nghe lén. Bản tin tiết lộ kỹ thuật của IBM, 26 (8): 4363–4366, 01 1984.

[21] Charles H. Bennett, Gilles Brassard, Claude Crépeau, Richard Jozsa, Asher Peres và William K. Wootters. Dịch chuyển một trạng thái lượng tử chưa biết qua kênh kép cổ điển và Einstein-Podolsky-Rosen. Physical Review Letters, 70: 1895–1899, Mar 1993. doi: 10.1103 / PhysRevLett.70.1895.
https: / / doi.org/ 10.1103 / PhysRevLett.70.1895

[22] Piotr Badziąg, Ingemar Bengtsson, Adán Cabello, Helena Granström và Jan-Åke Larsson. Sao năm và nghịch lý. Cơ sở Vật lý, 41: 414–423, 02 2011. doi: 10.1007 / s10701-010-9433-3.
https:/​/​doi.org/​10.1007/​s10701-010-9433-3

[23] Gilles Brassard, Anne Broadbent và Alain Tapp. Thần giao cách cảm lượng tử. Cơ sở Vật lý, 35 (11): 1877–1907, tháng 2005 năm 10.1007. doi: 10701 / s005-7353-4-XNUMX.
https:/​/​doi.org/​10.1007/​s10701-005-7353-4

[24] Động Samuel L Braunstein và Carlton M. Rút ra các bất đẳng thức Bell tốt hơn. Biên niên sử Vật lý, 202 (1): 22 - 56, 1990. doi: 10.1016 / 0003-4916 (90) 90339-P.
https:/​/​doi.org/​10.1016/​0003-4916(90)90339-P

[25] Nicolas Brunner, Daniel Cavalcanti, Stefano Pironio, Valerio Scarani và Stephanie Wehner. Chuông bất định vị. Sửa đổi Rev. Phys., 86: 419–478, April 2014. doi: 10.1103 / RevModPhys.86.419.
https: / / doi.org/ 10.1103 / RevModPhys.86.419

[26] Francesco Buscemi và Nilanjana Datta. Sự vướng víu chưng cất từ ​​các nguồn lực tùy tiện. Tạp chí Toán học Vật lý, 51 (10): 102201, 2010. doi: 10.1063 / 1.3483717.
https: / / doi.org/ 10.1063 / 1.3483717

[27] Charles H. Bennett, David P. DiVincenzo, John A. Smolin và William K. Wootters. Rối trạng thái hỗn hợp và sửa lỗi lượng tử. Thể chất. Rev. A, 54: 3824–3851, tháng 1996 năm 10.1103. doi: 54.3824 / PhysRevA.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevA.54.3824

[28] JS Bell. Về nghịch lý Einstein Podolsky Rosen. Vật lý lý thuyết Fizika, 1: 195–200, tháng 1964 năm 10.1103. doi: 1.195 / PhysicsPhysiqueFizika.XNUMX.
https: / / doi.org/ 10.1103 / Vật lýPhương phápFizika.1.195

[29] Joseph Bowles, Jérémie Francfort, Mathieu Fillettaz, Flavien Hirsch và Nicolas Brunner. Các trạng thái lượng tử vướng víu đa cực thực sự với các mô hình biến ẩn cục bộ hoàn toàn và bất định vị đa phân ẩn. Thể chất. Rev. Lett., 116: 130401, tháng 2016 năm 10.1103. doi: 116.130401 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.116.130401

[30] Joseph Bowles, Flavien Hirsch, Marco Túlio Quintino và Nicolas Brunner. Tiêu chí đủ để đảm bảo rằng trạng thái hai qubit là không thể tin cậy. Thể chất. Rev. A, 93: 022121, Feb 2016. doi: 10.1103 / PhysRevA.93.022121.
https: / / doi.org/ 10.1103 / PhysRevA.93.022121

[31] AV Belinskii và DN Klyshko. Giao thoa của ánh sáng và định lý Bell. Vật lý-Uspekhi, 36 (8): 653, 1993. doi: 10.1070 / pu1993v036n08abeh002299.
https:/​/​doi.org/​10.1070/​pu1993v036n08abeh002299

[32] Spencer Breiner, Amir Kalev và Carl A. Miller. Tự kiểm tra song song trạng thái GHZ với cách chứng minh bằng sơ đồ. Trong Peter Selinger và Giulio Chiribella, người biên tập, Kỷ yếu của Hội nghị quốc tế lần thứ 15 về Vật lý lượng tử và Logic, Halifax, Canada, ngày 3-7 tháng 2018 năm 287, tập 43 của Kỷ yếu Điện tử trong Khoa học Máy tính Lý thuyết, trang 66–2019. Hiệp hội Xuất bản Mở, 10.4204. doi: 287.3 / EPTCS.XNUMX.
https: / / doi.org/ 10.4204 / EPTCS.287.3

[33] C.-E. Bardyn, TCH Liew, S. Massar, M. McKague và V. Scarani. Ước tính trạng thái độc lập với thiết bị dựa trên các bất đẳng thức của Bell. Thể chất. Rev. A, 80: 062327, Dec 2009. doi: 10.1103 / PhysRevA.80.062327.
https: / / doi.org/ 10.1103 / PhysRevA.80.062327

[34] Manuel Blum, Michael Luby và Ronitt Rubinfeld. Tự kiểm tra / sửa chữa với các ứng dụng cho các bài toán số. J. Tính toán. Syst. Khoa học viễn tưởng, 47 (3): 549–595, tháng 1993 năm 10.1016. doi: 0022 / 0000-93 (90044) XNUMX-W.
https:/​/​doi.org/​10.1016/​0022-0000(93)90044-W

[35] H. Buhrman và S. Massar. Nhân quả và giới hạn của Tsirelson. Thể chất. Rev. A, 72: 052103, tháng 2005 năm 10.1103. doi: 72.052103 / PhysRevA.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevA.72.052103

[36] Cédric Bamps, Serge Massar và Stefano Pironio. Tạo ngẫu nhiên không phụ thuộc vào thiết bị với tài nguyên lượng tử chia sẻ tuyến tính. Quantum, 2:86, tháng 2018 năm 10.22331. doi: 2018 / q-08-22-86-XNUMX.
https:/​/​doi.org/​10.22331/​q-2018-08-22-86

[37] Samuel L. Braunstein, A. Mann và M. Revzen. Vi phạm tối đa các bất bình đẳng Bell cho các trạng thái hỗn hợp. Thể chất. Rev. Lett., 68: 3259–3261, tháng 1992 năm 10.1103. doi: 68.3259 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.68.3259

[38] Jean-Daniel Bancal, Miguel Navascués, Valerio Scarani, Tamás Vértesi và Tzyh Haur Yang. Đặc tính vật lý của các thiết bị lượng tử từ các tương quan phi địa phương. Thể chất. Rev. A, 91: 022115, Feb 2015. doi: 10.1103 / PhysRevA.91.022115.
https: / / doi.org/ 10.1103 / PhysRevA.91.022115

[39] Cédric Bamps và Stefano Pironio. Phép phân tích tổng bình phương cho một họ các bất đẳng thức giống như Clauser-Horne-Shimony-Holt và ứng dụng của chúng để tự kiểm tra. Thể chất. Rev. A, 91: 052111, May 2015. doi: 10.1103 / PhysRevA.91.052111.
https: / / doi.org/ 10.1103 / PhysRevA.91.052111

[40] Joseph Bowles, Marco Túlio Quintino và Nicolas Brunner. Chứng nhận kích thước của các hệ thống lượng tử và cổ điển trong một kịch bản chuẩn bị và đo lường với các thiết bị độc lập. Thể chất. Rev. Lett., 112: 140407, tháng 2014 năm 10.1103. doi: 112.140407 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.112.140407

[41] Cyril Branciard, Denis Rosset, Nicolas Gisin và Stefano Pironio. Tương quan song phương và phi cố định trong các thí nghiệm hoán đổi vướng víu. Thể chất. Rev. A, 85: 032119, Mar 2012. doi: 10.1103 / PhysRevA.85.032119.
https: / / doi.org/ 10.1103 / PhysRevA.85.032119

[42] Cyril Branciard, Denis Rosset, Yeong-Cherng Liang và Nicolas Gisin. Nhân chứng vướng víu độc lập với thiết bị đo lường cho tất cả các trạng thái lượng tử vướng víu. Thể chất. Rev. Lett., 110: 060405, tháng 2013 năm 10.1103. doi: 110.060405 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.110.060405

[43] Jean-Daniel Bancal, Kai Redeker, Pavel Sekatski, Wenjamin Rosenfeld và Nicolas Sangouard. Chứng nhận độc lập với thiết bị của một liên kết mạng lượng tử cơ bản, 2018. arXiv: 1812.09117.
arXiv: 1812.09117

[44] Dagmar Bruß. Nghe trộm tối ưu trong mật mã lượng tử với sáu trạng thái. Thể chất. Rev. Lett., 81: 3018–3021, tháng 1998 năm 10.1103. doi: 81.3018 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.81.3018

[45] Kishor Bharti, Maharshi Ray, Antonios Varvitsiotis, Naqueeb Ahmad Warsi, Adán Cabello và Leong-Chuan Kwek. Khả năng tự kiểm tra mạnh mẽ các hệ thống lượng tử thông qua các bất đẳng thức phi văn bản. Thư đánh giá thể chất, 122 (25): 250403, 2019. doi: 10.1103 / PhysRevLett.122.250403.
https: / / doi.org/ 10.1103 / PhysRevLett.122.250403

[46] Joseph Bowles, Ivan Šupić, Daniel Cavalcanti và Antonio Acín. Chứng nhận vướng mắc độc lập với thiết bị của tất cả các trạng thái vướng mắc. Thể chất. Rev. Lett., 121: 180503, tháng 2018 năm 10.1103. doi: 121.180503 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.121.180503

[47] Joseph Bowles, Ivan Šupić, Daniel Cavalcanti và Antonio Acín. Tự kiểm tra khả năng quan sát của Pauli để chứng nhận sự vướng víu độc lập với thiết bị. Thể chất. Rev. A, 98: 042336, tháng 2018 năm 10.1103. doi: 98.042336 / PhysRevA.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevA.98.042336

[48] Jean-Daniel Bancal, Nicolas Sangouard và Pavel Sekatski. Chứng nhận độc lập với thiết bị chống ồn của các phép đo trạng thái Bell. Thể chất. Rev. Lett., 121: 250506, tháng 2018 năm 10.1103. doi: 121.250506 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.121.250506

[49] Francesco Buscemi. Tất cả các trạng thái lượng tử vướng víu đều là phi địa phương. Thể chất. Rev. Lett., 108: 200401, tháng 2012 năm 10.1103. doi: 108.200401 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.108.200401

[50] Stephen Boyd và Lieven Vandenberghe. Tối ưu hoá trực quan. Nhà xuất bản Đại học Cambridge, 2004. doi: 10.1017 / CBO9780511804441.
https: / / doi.org/ 10.1017 / CBO9780511804441

[51] Charles H. Bennett và Stephen J. Wiesner. Giao tiếp thông qua toán tử một và hai hạt trên các trạng thái Einstein-Podolsky-Rosen. Thể chất. Rev. Lett., 69: 2881–2884, tháng 1992 năm 10.1103. doi: 69.2881 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.69.2881

[52] Daniel Cavalcanti, Mafalda L. Almeida, Valerio Scarani và Antonio Acín. Mạng lượng tử tiết lộ tính bất định vị lượng tử. Nature News, Feb 2011. doi: 10.1038 / ncomms1193.
https: / / doi.org/ 10.1038 / ncomms1193

[53] Wan Cong, Yu Cai, Jean-Daniel Bancal và Valerio Scarani. Chứng kiến ​​chiều không thể tưởng tượng được. Thể chất. Rev. Lett., 119: 080401, tháng 2017 năm 10.1103. doi: 119.080401 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.119.080401

[54] Andrea Coladangelo, Alex Grilo, Stacey Jeffery và Thomas Vidick. Verifier-on-a-leash: các kế hoạch mới để tính toán lượng tử được ủy quyền có thể xác minh, với các tài nguyên chuẩn tính, 2017. arXiv: 1708.07359.
arXiv: 1708.07359

[55] Daniel Collins, Nicolas Gisin, Noah Linden, Serge Massar và Sandu Popescu. Bất đẳng thức Bell cho các hệ thống có chiều cao tùy ý. Thể chất. Rev. Lett., 88: 040404, tháng 2002 năm 10.1103. doi: 88.040404 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.88.040404

[56] Andrea Coladangelo, Koon Tong Goh và Valerio Scarani. Tất cả các trạng thái vướng víu lưỡng cực thuần túy đều có thể tự kiểm tra. Nature Communications, 8: 15485, may 2017. doi: 10.1038 / ncomms15485.
https: / / doi.org/ 10.1038 / ncomms15485

[57] Man-Duen Choi. Bản đồ tuyến tính hoàn toàn dương trên ma trận phức tạp. Đại số tuyến tính và các ứng dụng của nó, 10 (3): 285–290, 1975. doi: 10.1016 / 0024-3795 (75) 90075-0.
https:/​/​doi.org/​10.1016/​0024-3795(75)90075-0

[58] EG Cavalcanti, QY He, MD Reid và HM Wiseman. Tiêu chí thống nhất cho tính bất định vị lượng tử đa phân. Thể chất. Rev. A, 84: 032115, Sep 2011. doi: 10.1103 / PhysRevA.84.032115.
https: / / doi.org/ 10.1103 / PhysRevA.84.032115

[59] John F. Clauser, Michael A. Horne, Abner Shimony và Richard A. Holt. Đề xuất thí nghiệm để kiểm tra lý thuyết biến ẩn cục bộ. Thể chất. Rev. Lett., 23: 880–884, tháng 1969 năm 10.1103. doi: 23.880 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.23.880

[60] André Chailloux và Iordanis Kerenidis. Giới hạn tối ưu cho cam kết bit lượng tử. Năm 2011 Hội nghị chuyên đề thường niên lần thứ 52 của IEEE về Nền tảng của Khoa học Máy tính, trang 354–362. IEEE, 2011. doi: 10.1109 / FOCS.2011.42.
https: / / doi.org/ 10.1109 / FOCS.2011.42

[61] Roger Colbeck và Adrian Kent. Mở rộng ngẫu nhiên riêng với các thiết bị không đáng tin cậy. Tạp chí Vật lý A: Toán học và Lý thuyết, 44 (9): 095305, 2011. doi: 10.1088 / 1751-8113 / 44/9/095305.
https:/​/​doi.org/​10.1088/​1751-8113/​44/​9/​095305

[62] Bob Coecke và Aleks Kissinger. Hình ảnh các quá trình lượng tử: Khóa học đầu tiên về lý thuyết lượng tử và lập luận sơ đồ. Nhà xuất bản Đại học Cambridge, 2017. doi: 10.1017 / 9781316219317.
https: / / doi.org/ 10.1017 / 9781316219317

[63] Tim Coopmans, Jędrzej Kaniewski và Christian Schaffner. Tự kiểm tra mạnh mẽ trạng thái hai qubit, 2019. arXiv: 1902.00870. doi: 10.1103 / PhysRevA.99.052123.
https: / / doi.org/ 10.1103 / PhysRevA.99.052123
arXiv: 1902.00870

[64] Richard Cleve, Li Liu và William Slofstra. Các chiến lược đi lại-người điều hành hoàn hảo cho các trò chơi hệ thống tuyến tính. Tạp chí Vật lý Toán học, 58 (1): 012202, 2017. doi: 10.1063 / 1.4973422.
https: / / doi.org/ 10.1063 / 1.4973422

[65] Richard Cleve và Rajat Mittal. Đặc tính của trò chơi hệ thống ràng buộc nhị phân. Ghi chú bài giảng Automata, Languages, and Programming in Computer Science, trang 320–331, 2014. doi: 10.1007 / 978-3-662-43948-7_27.
https:/​/​doi.org/​10.1007/​978-3-662-43948-7_27

[66] M. Coudron và A. Natarajan. Trò chơi hình vuông ma thuật lặp đi lặp lại song song là khó khăn, 2016. arXiv: 1609.06306.
arXiv: 1609.06306

[67] Roger Colbeck. Giao thức lượng tử và tương đối tính để tính toán đa bên an toàn. Luận án Tiến sĩ, Đại học Cambridge, 2006. arXiv: 0911.3814.
arXiv: 0911.3814

[68] Andrea Coladangelo. Tự kiểm tra song song các cặp epr (nghiêng) thông qua bản sao của chsh (nghiêng) và trò chơi hình vuông kỳ diệu. Thông tin lượng tử. Comput., 17 (9-10): 831–865, tháng 2017 năm 3179561.3179567. URL: http: / / dl.acm.org/ citation.cfm? Id = XNUMX.
http: / / dl.acm.org/ cites.cfm? id = 3179561.3179567

[69] Andrea Coladangelo. Tổng quát hóa của bất đẳng thức Clauser-Horne-Shimony-Holt tự kiểm tra các trạng thái vướng mắc tối đa của bất kỳ chiều cục bộ nào. Thể chất. Rev. A, 98: 052115, tháng 2018 năm 10.1103. doi: 98.052115 / PhysRevA.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevA.98.052115

[70] Andrea Coladangelo. Một nhân chứng thứ nguyên hai người chơi dựa trên tham ô và một bằng chứng cơ bản về việc không đóng tập hợp các tương quan lượng tử. Quantum, 4: 282, tháng 2020 năm 10.22331. URL: https: / / doi.org/ 2020 / q-06-18-282-10.22331, doi: 2020 / q-06-18-282-XNUMX.
https:/​/​doi.org/​10.22331/​q-2020-06-18-282

[71] Rui Chao, Ben W. Reichardt, Chris Sutherland và Thomas Vidick. Chồng chéo Qubits. Trong Christos H. Papadimitriou, chủ biên, Những đổi mới trong Hội nghị Khoa học Máy tính Lý thuyết lần thứ 8 (ITCS 2017), tập 67 của Leibniz International Proceedings in Informatics (LIPIcs), trang 48: 1–48: 21, Dagstuhl, Đức, 2017. Schloss Dagstuhl– Leibniz-Zentrum fuer Informatik. doi: 10.4230 / LIPIcs.ITCS.2017.48.
https: / / doi.org/ 10.4230 / LIPIcs.ITCS.2017.48

[72] Rui Chao, Ben W. Reichardt, Chris Sutherland và Thomas Vidick. Kiểm tra độ vướng víu lớn, sử dụng ít phép đo. Quantum, 2:92, tháng 2018 năm 10.22331. doi: 2018 / q-09-03-92-XNUMX.
https:/​/​doi.org/​10.22331/​q-2018-09-03-92

[73] Daniel Cavalcanti và Paul Skrzypczyk. Chỉ đạo lượng tử: đánh giá tập trung vào lập trình bán kỳ. Báo cáo về Tiến bộ trong Vật lý, 80 (2): 024001, 2017. doi: 10.1088 / 1361-6633 / 80/2/024001.
https:/​/​doi.org/​10.1088/​1361-6633/​80/​2/​024001

[74] Andrea Coladangelo và Jalex Stark. Tự kiểm tra mạnh mẽ cho các trò chơi hệ thống ràng buộc tuyến tính, 2017. arXiv: 1709.09267.
arXiv: 1709.09267

[75] Andrea Coladangelo và Jalex Stark. Tách tương quan lượng tử hữu hạn và vô hạn chiều, với bộ câu hỏi hoặc câu trả lời vô hạn, 2017. arXiv: 1708.06522.
arXiv: 1708.06522

[76] Andrea Coladangelo và Jalex Stark. Sự phân tách vô điều kiện của các tương quan lượng tử hữu hạn và vô hạn chiều, 2018. arXiv: 1804.05116.
arXiv: 1804.05116

[77] Matthew Coudron và Henry Yuen. Mở rộng ngẫu nhiên vô hạn với số lượng thiết bị không đổi. Trong Kỷ yếu Hội thảo ACM thường niên lần thứ 14 về Lý thuyết Máy tính, STOC '427, trang 436–2014, New York, NY, USA, 10.1145. ACM. doi: 2591796.2591873 / XNUMX.
https: / / doi.org/ 10.1145 / 2591796.2591873

[78] Frederic Dupuis, Omar Fawzi và Renato Renner. Sự tích lũy entropy, 2016. arXiv: 1607.01796.
arXiv: 1607.01796

[79] Chirag Dhara, Giuseppe Prettico và Antonio Acín. Tính ngẫu nhiên lượng tử tối đa trong các thử nghiệm Bell. Thể chất. Rev. A, 88: 052116, tháng 2013 năm 10.1103. doi: 88.052116 / PhysRevA.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevA.88.052116

[80] Ken Dykema, Vern I. Paulsen và Jitendra Prakash. Sự không đóng của tập các tương quan lượng tử qua đồ thị. Truyền thông trong Vật lý Toán học, 365 (3): 1125–1142, Tháng 2019 năm 10.1007. doi: 00220 / s019-03301-1-XNUMX.
https:/​/​doi.org/​10.1007/​s00220-019-03301-1

[81] Artur K. Ekert. Mật mã lượng tử dựa trên định lý Bell. Thể chất. Rev. Lett., 67: 661–663, tháng 1991 năm 10.1103. doi: 67.661 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.67.661

[82] Artur Ekert và Renato Renner. Các giới hạn vật lý cuối cùng của quyền riêng tư. Nature News, Mar 2014. doi: 10.1038 / nature13132.
https: / / doi.org/ 10.1038 / thiên nhiên13132

[83] Matteo Fadel. Tự kiểm tra các tiểu bang Dicke, 2017. arXiv: 1707.01215.
arXiv: 1707.01215

[84] Máté Farkas và Jędrzej Kaniewski. Tự kiểm tra các cơ sở không thiên vị lẫn nhau trong kịch bản chuẩn bị và đo lường. Thể chất. Rev. A, 99: 032316, Mar 2019. doi: 10.1103 / PhysRevA.99.032316.
https: / / doi.org/ 10.1103 / PhysRevA.99.032316

[85] Suchetana Goswami, Bihalan Bhattacharya, Debarshi Das, Souradeep Sasmal, C. Jebaratnam và AS Majumdar. Tự kiểm tra một phía độc lập với thiết bị của bất kỳ trạng thái vướng víu hai qubit thuần túy nào. Thể chất. Rev. A, 98: 022311, August 2018. doi: 10.1103 / PhysRevA.98.022311.
https: / / doi.org/ 10.1103 / PhysRevA.98.022311

[86] Mariami Gachechiladze, Costantino Budroni và Otfried Gühne. Vi phạm cực độ chủ nghĩa hiện thực cục bộ trong các trạng thái siêu đồ thị lượng tử. Thể chất. Rev. Lett., 116: 070401, tháng 2016 năm 10.1103. doi: 116.070401 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.116.070401

[87] Koon Tong Goh, Jean-Daniel Bancal và Valerio Scarani. Phép đo-thiết bị-định lượng độc lập về sự vướng víu cho kích thước không gian Hilbert cho trước. Tạp chí Vật lý Mới, 18 (4): 045022, apr 2016. doi: 10.1088 / 1367-2630 / 18/4/045022.
https:/​/​doi.org/​10.1088/​1367-2630/​18/​4/​045022

[88] Daniel Gottesman và Isaac L Chuang. Chứng minh khả năng tồn tại của tính toán lượng tử phổ quát bằng cách sử dụng dịch chuyển tức thời và các phép toán đơn qubit. Nature, 402: 390, 1999. doi: 10.1038 / 46503.
https: / / doi.org/ 10.1038 / 46503

[89] WT Gowers và O Hatami. Định lý nghịch đảo và ổn định cho các biểu diễn gần đúng của các nhóm hữu hạn. Sbornik: Toán học, 208 (12): 1784–1817, 2017. doi: 10.1070 / sm8872.
https: / / doi.org/ 10.1070 / sm8872

[90] Nicolas Gisin. Bất đẳng thức Bell: Nhiều câu hỏi, một vài câu trả lời. Trong Wayne C. Myrvold và Joy Christian, người biên tập, Thực tế lượng tử, Nhân quả tương đối tính và Khép lại vòng tròn nhận thức, các trang 125–138. Springer, 2009. doi: 10.1007 / 978-1-4020-9107-0_9.
https:/​/​doi.org/​10.1007/​978-1-4020-9107-0_9

[91] Alexandru Gheorghiu, Theodoros Kapourniotis và Elham Kashefi. Xác minh tính toán lượng tử: Tổng quan về các cách tiếp cận hiện có. Lý thuyết Hệ thống Máy tính, trang 1–94, 2018. doi: 10.1007 / s00224-018-9872-3.
https:/​/​doi.org/​10.1007/​s00224-018-9872-3

[92] Alexandru Gheorghiu, Elham Kashefi và Petros Wallden. Tính mạnh mẽ và tính độc lập thiết bị của tính toán lượng tử mù có thể xác minh được. Tạp chí Vật lý mới, 17 (8): 083040, 2015. doi: 10.1088 / 1367-2630 / 17/8/083040.
https:/​/​doi.org/​10.1088/​1367-2630/​17/​8/​083040

[93] Koon Tong Goh, Jędrzej Kaniewski, Elie Wolfe, Tamás Vértesi, Xingyao Wu, Yu Cai, Yeong-Cherng Liang và Valerio Scarani. Hình học của tập hợp các tương quan lượng tử. Thể chất. Rev. A, 97: 022104, tháng 2018 năm 10.1103. doi: 97.022104 / PhysRevA.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevA.97.022104

[94] S. Gómez, A. Mattar, I. Machuca, ES Gómez, D. Cavalcanti, O. Jiménez Farías, A. Acín và G. Lima. Thực nghiệm điều tra các trạng thái vướng mắc một phần để tạo ngẫu nhiên không phụ thuộc vào thiết bị và các giao thức tự kiểm tra. Thể chất. Rev. A, 99: 032108, Mar 2019. doi: 10.1103 / PhysRevA.99.032108.
https: / / doi.org/ 10.1103 / PhysRevA.99.032108

[95] Koon Tong Goh, Chithrabhanu Perumangatt, Zhi Xian Lee, Alexander Ling và Valerio Scarani. Thực nghiệm so sánh giữa chụp cắt lớp và tự kiểm tra trong việc chứng nhận sự vướng víu. Đánh giá Vật lý A, 100 (2): 022305, 2019. doi: 10.1103 / PhysRevA.100.022305.
https: / / doi.org/ 10.1103 / PhysRevA.100.022305

[96] Otfried Gühne, Géza Tóth, Philipp Hyllus và Hans J. Briegel. Bất đẳng thức Bell cho các trạng thái đồ thị. Thể chất. Rev. Lett., 95: 120405, tháng 2005 năm 10.1103. doi: 95.120405 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.95.120405

[97] Marissa Giustina, Marijn AM Versteegh, Sören Wengerowsky, Johannes Handsteiner, Armin Hochrainer, Kevin Phelan, Fabian Steinlechner, Johannes Kofler, Jan-Åke Larsson, Carlos Abellán, Waldimar Amaya, Valerio Pruneri, Morgan W. Mitchell, Jörn Beyer, Adriana E. Lita, Lynden K. Shalm, Sae Woo Nam, Thomas Scheidl, Rupert Ursin, Bernhard Wittmann và Anton Zeilinger. Thử nghiệm không có kẽ hở đáng kể của định lý chuông với các photon vướng víu. Thể chất. Rev. Lett., 115: 250401, tháng 2015 năm 10.1103. doi: 115.250401 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.115.250401

[98] Alexandru Gheorghiu, Petros Wallden và Elham Kashefi. Độ cứng của chỉ đạo lượng tử và tính toán lượng tử có thể kiểm chứng độc lập với thiết bị một phía. Tạp chí Vật lý Mới, 19 (2): 023043, 2017. doi: 10.1088 / 1367-2630 / aa5cff.
https: / / doi.org/ 10.1088/1367-2630 / aa5cff

[99] Lucien Hardy. Cơ học lượng tử, lý thuyết hiện thực cục bộ và lý thuyết thực tế bất biến Lorentz. Thể chất. Rev. Lett., 68: 2981–2984, tháng 1992 năm 10.1103. doi: 68.2981 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.68.2981

[100] Lucien Hardy. Bất đẳng thức đối với hai hạt không có bất đẳng thức đối với hầu hết mọi trạng thái vướng víu. Thể chất. Rev. Lett., 71: 1665–1668, tháng 1993 năm 10.1103. doi: 71.1665 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.71.1665

[101] B. Hensen, H. Bernien, AE Dréau, A. Reiserer, N. Kalb, MS Blok, J. Ruitenberg, RFL Vermeulen, RN Schouten, C. Abellán, và cộng sự. Vi phạm bất bình đẳng chuông không có lỗ hổng bằng cách sử dụng các spin điện tử cách nhau 1.3 km. Nature, 526 (7575): 682–686, 2015. doi: 10.1038 / nature15759.
https: / / doi.org/ 10.1038 / thiên nhiên15759

[102] Masahito Hayashi và Michal Hajdušek. Tính toán lượng tử dựa trên phép đo tự đảm bảo. Thể chất. Rev. A, 97: 052308, tháng 2018 năm 10.1103. doi: 97.052308 / PhysRevA.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevA.97.052308

[103] B. Hensen, N. Kalb, MS Blok, AE Dréau, A. Reiserer, RFL Vermeulen, RN Schouten, M. Markham, DJ Twitchen, K. Goodenough, và cộng sự. Thử nghiệm Bell không có lỗ hổng sử dụng spin điện tử trong kim cương: thử nghiệm thứ hai và phân tích bổ sung. Báo cáo Khoa học, 6 (1), 2016. doi: 10.1038 / srep30289.
https: / / doi.org/ 10.1038 / srep30289

[104] Teiko Heinosaari, Jukka Kiukas và Daniel Reitzner. Độ ồn mạnh của sự không tương thích của các phép đo lượng tử. Thể chất. Rev. A, 92: 022115, August 2015. doi: 10.1103 / PhysRevA.92.022115.
https: / / doi.org/ 10.1103 / PhysRevA.92.022115

[105] Flavien Hirsch, Marco Túlio Quintino, Joseph Bowles, Tamas Vértesi và Nicolas Brunner. Sự vướng víu mà không có tính bất định vị ẩn. Tạp chí Vật lý mới, 18 (11): 113019, 2016. doi: 10.1088 / 1367-2630 / 18/11/113019.
https:/​/​doi.org/​10.1088/​1367-2630/​18/​11/​113019

[106] Flavien Hirsch, Marco Túlio Quintino, Joseph Bowles và Nicolas Brunner. Tính bất định vị lượng tử ẩn chính hãng. Thể chất. Rev. Lett., 111: 160402, tháng 2013 năm 10.1103. doi: 111.160402 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.111.160402

[107] Sania Jevtic, Michael JW Hall, Malcolm R. Anderson, Marcin Zwierz và Howard M. Wiseman. Tay lái Einstein – Podolsky – Rosen và máy lái ellipsoid. J. Chọn. Soc. Là. B, 32 (4): A40 – A49, tháng 2015 năm 10.1364. doi: 32.000 / JOSAB.40AXNUMX.
https: / / doi.org/ 10.1364 / JOSAB.32.000A40

[108] Rahul Jain, Carl A. Miller và Yaoyun Shi. Phân phối khóa lượng tử độc lập với thiết bị song song, 2017. arXiv: 1703.05426.
arXiv: 1703.05426

[109] Rahul Jain, Carl A Miller và Yaoyun Shi. Phân phối khóa lượng tử độc lập với thiết bị song song. Giao dịch IEEE về lý thuyết thông tin, năm 2020. doi: 10.1109 / TIT.2020.2986740.
https: / / doi.org/ 10.1109 / TIT.2020.2986740

[110] Egbert R. Van Kampen. Về một số bổ đề trong lý thuyết nhóm. Tạp chí Toán học Hoa Kỳ, 55 (1): 268–273, 1933. doi: 10.2307 / 2371129.
https: / / doi.org/ 10.2307 / 2371129

[111] Jędrzej Kaniewski. Các giới hạn phân tích và tự kiểm tra gần như tối ưu cho các bất đẳng thức Clauser-Horne-Shimony-Holt và Mermin. Thể chất. Rev. Lett., 117: 070402, tháng 2016 năm 10.1103. doi: 117.070402 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.117.070402

[112] Jędrzej Kaniewski. Tự kiểm tra khả năng quan sát nhị phân dựa trên giao hoán. Thể chất. Rev. A, 95: 062323, Jun 2017. doi: 10.1103 / PhysRevA.95.062323.
https: / / doi.org/ 10.1103 / PhysRevA.95.062323

[113] Alexander A. Klyachko, M. Ali Can, Sinem Binicioğlu và Alexander S. Shumovsky. Kiểm tra đơn giản cho các biến ẩn trong hệ thống spin-1. Thể chất. Rev. Lett., 101: 020403, tháng 2008 năm 10.1103. doi: 101.020403 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.101.020403

[114] Amir Kalev và Carl A Miller. Độ cứng của trò chơi ngôi sao năm cánh kỳ diệu. Khoa học và Công nghệ Lượng tử, 3 (1): 015002, 2018. doi: 10.1088 / 2058-9565 / aa931d.
https: / / doi.org/ 10.1088 / 2058-9565 / aa931d

[115] Adrian Kent, William J. Munro và Timothy P. Spiller. Gắn thẻ lượng tử: Xác thực vị trí thông qua thông tin lượng tử và các ràng buộc về tín hiệu tương đối tính. Thể chất. Rev. A, 84: 012326, Jul 2011. doi: 10.1103 / PhysRevA.84.012326.
https: / / doi.org/ 10.1103 / PhysRevA.84.012326

[116] B. Kraus. Sự tương đương đơn nhất cục bộ của các trạng thái tinh khiết đa phân tử. Thể chất. Rev. Lett., 104: 020504, Jan 2010. doi: 10.1103 / PhysRevLett.104.020504.
https: / / doi.org/ 10.1103 / PhysRevLett.104.020504

[117] S. Kochen và E. Specker. Bài toán về ẩn biến trong cơ học lượng tử. Tạp chí Toán học và Cơ học, 17 (1): 59–87, 1967. doi: 10.1512 / iumj.1968.17.17004.
https: / / doi.org/ 10.1512 / iumj.1968.17.17004

[118] Jędrzej Kaniewski, Ivan Šupić, Jordi Tura, Flavio Baccari, Alexia Salavrakos và Remigiusz Augusiak. Tính phi định vị tối đa khỏi sự vướng víu cực đại và các cơ sở không thiên vị lẫn nhau, và tự kiểm tra các hệ thống lượng tử hai qutrit. Quantum, 3: 198, tháng 2019 năm 10.22331. URL: https: / / doi.org/ 2019 / q-10-24-198-10.22331, doi: 2019 / q-10-24-198-XNUMX.
https:/​/​doi.org/​10.22331/​q-2019-10-24-198

[119] Jędrzej Kaniewski và Stephanie Wehner. Mật mã của hai bên độc lập với thiết bị an toàn trước các cuộc tấn công tuần tự. Tạp chí Vật lý mới, 18 (5): 055004, tháng 2016 năm 10.1088. doi: 1367 / 2630-18 / 5/055004/XNUMX.
https:/​/​doi.org/​10.1088/​1367-2630/​18/​5/​055004

[120] R. Konig, S. Wehner và J. Wullschleger. Bảo mật vô điều kiện khỏi lưu trữ lượng tử ồn ào. Giao dịch IEEE về Lý thuyết thông tin, 58 (3): 1962–1984, tháng 2012 năm 10.1109. doi: 2011.2177772 / TIT.XNUMX.
https: / / doi.org/ 10.1109 / TIT.2011.2177772

[121] Hoi-Kwong Lo và Hoi Fung Chau. Cam kết bit lượng tử có thực sự khả thi không? Thư đánh giá vật lý, 78 (17): 3410, 1997. doi: 10.1103 / Physrevlett.78.3410.
https: / / doi.org/ 10.1103 / Physrevlett.78.3410

[122] Xinhui Li, Yu Cai, Yunguang Han, Qiaoyan Wen và Valerio Scarani. Tự kiểm tra chỉ sử dụng thông tin bên lề. Thể chất. Rev. A, 98: 052331, tháng 2018 năm 10.1103. doi: 98.052331 / PhysRevA.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevA.98.052331

[123] Thomas Lawson, Noah Linden và Sandu Popescu. Trò chơi lượng tử thiên vị phi địa phương, 2010. arXiv: 1011.6245v1.
arXiv: 1011.6245v1

[124] Jian Li, Tong-Jun Liu, Si Wang, C. Jebarathinam và Qin Wang. Thực nghiệm vi phạm bất bình đẳng chỉ đạo của chuột bọ bởi các trạng thái vướng víu ba photon với độ trung thực ghz không tầm thường. Opt. Express, 27 (9): 13559–13567, tháng 2019 năm 10.1364. doi: 27.013559 / OE.XNUMX.
https: / / doi.org/ 10.1364 / OE.27.013559

[125] L. Lovasz. Về công suất Shannon của một đồ thị. Giao dịch IEEE về Lý thuyết thông tin, 25 (1): 1–7, tháng 1979 năm 10.1109. doi: 1979.1055985 / TIT.XNUMX.
https: / / doi.org/ 10.1109 / TIT.1979.1055985

[126] Pei-Sheng Lin, Denis Rosset, Yanbao Zhang, Jean-Daniel Bancal và Yeong-Cherng Liang. Ước tính điểm độc lập với thiết bị từ dữ liệu hữu hạn và ứng dụng của nó để ước tính thuộc tính độc lập với thiết bị. Đánh giá Vật lý A, 97 (3): 032309, 2018. doi: 10.1103 / PhysRevA.97.032309.
https: / / doi.org/ 10.1103 / PhysRevA.97.032309

[127] Yeong-Cherng Liang, Robert W. Spekkens và Howard M. Wiseman. Câu chuyện ngụ ngôn của Specker về người tiên kiến ​​bảo vệ quá mức: Con đường dẫn đến bối cảnh, tính phi địa phương và tính bổ sung. Báo cáo Vật lý, 506 (1): 1 - 39, 2011. doi: 10.1016 / j.physrep.2011.05.001.
https: / / doi.org/ 10.1016 / j.physrep.2011.05.001

[128] Xinhui Li, Yukun Wang, Yunguang Han, Sujuan Qin, Fei Gao và Qiaoyan Wen. Độ bền phân tích được ràng buộc để tự kiểm tra đĩa đơn với hai phép đo nhị phân. J. Chọn. Soc. Là. B, 36 (2): 457–463, tháng 2019 năm 10.1364. doi: 36.000457 / JOSAB.XNUMX.
https: / / doi.org/ 10.1364 / JOSAB.36.000457

[129] U. Mahadev. Xác minh cổ điển của tính toán lượng tử. Vào năm 2018 Hội nghị chuyên đề thường niên lần thứ 59 của IEEE về Nền tảng của Khoa học Máy tính (FOCS), các trang 259–267, tháng 2018 năm 10.1109. doi: 2018.00033 / FOCS.XNUMX.
https: / / doi.org/ 10.1109 / FOCS.2018.00033

[130] Robert A. Malaney. Truyền thông phụ thuộc vào vị trí sử dụng rối lượng tử. Thể chất. Rev. A, 81: 042319, April 2010. doi: 10.1103 / PhysRevA.81.042319.
https: / / doi.org/ 10.1103 / PhysRevA.81.042319

[131] Laura Mančinska. Trạng thái vướng víu tối đa trong Trò chơi thần giao cách cảm, trang 200–207. Springer International Publishing, Cham, 2014. doi: 10.1007 / 978-3-319-13350-8_15.
https:/​/​doi.org/​10.1007/​978-3-319-13350-8_15

[132] Dominic Mayers. Cam kết bit lượng tử an toàn vô điều kiện là không thể. Thư đánh giá thể chất, 78 (17): 3414, 1997. doi: 10.1103 / PhysRevLett.78.3414.
https: / / doi.org/ 10.1103 / PhysRevLett.78.3414

[133] Nikolai Miklin, Borkała Borkała và Marcin Pawłowski. Tự kiểm tra các phép đo không thay đổi, 2019. arXiv: 1903.12533. doi: 10.10.1103 / PhysRevResearch.2.033014.
https: / / doi.org/ 10.1103 / PhysRevResearch.2.033014
arXiv: 1903.12533

[134] Matthew McKague. Xử lý thông tin lượng tử với các thiết bị đối đầu. Luận án Tiến sĩ, Đại học Waterloo, 2010. URL: http: / / hdl.handle.net/ 10012/5259.
http: / / hdl.handle.net/ 10012/5259

[135] Mathew McKague. Các trạng thái đồ thị tự kiểm tra. Trong D. Bacon, M. Martin-Delgado, và M. Roetteler, các nhà biên soạn, Lý thuyết Tính toán Lượng tử, Truyền thông và Mật mã, tập 6745 của Ghi chú Bài giảng Khoa học Máy tính, trang 104–120. Springer, Berlin, Heidelberg, 2014. doi: https: / / doi.org/ 10.1007 / 978-3-642-54429-3_7.
https:/​/​doi.org/​10.1007/​978-3-642-54429-3_7

[136] Matthew McKague. Các bằng chứng tương tác cho $ mathsf {BQP} $ thông qua các trạng thái đồ thị tự kiểm tra. Lý thuyết Máy tính, 12 (3): 1–42, 2016. doi: 10.4086 / toc.2016.v012a003.
https: / / doi.org/ 10.4086 / toc.2016.v012a003

[137] Matthew McKague. Tự kiểm tra song song. Tạp chí Vật lý mới, 18: 045013, 2016. doi: 10.1088 / 1367-2630 / 18/4/045013.
https:/​/​doi.org/​10.1088/​1367-2630/​18/​4/​045013

[138] Matthew McKague. Tự kiểm tra song song với CHSH. Quantum, 1: 1, April 2017. doi: 10.22331 / q-2017-04-25-1.
https:/​/​doi.org/​10.22331/​q-2017-04-25-1

[139] Ashley Montanaro và Ronald de Wolf. Một cuộc khảo sát kiểm tra tài sản lượng tử. Lý thuyết Điều tra Cao học Máy tính, 7, 2016. doi: 10.4086 / toc.gs.2016.007.
https: / / doi.org/ 10.4086 / toc.gs.2016.007

[140] N. David Mermin. Rối lượng tử cực độ trong sự chồng chất của các trạng thái riêng biệt vĩ mô. Thể chất. Rev. Lett., 65: 1838–1840, tháng 1990 năm 10.1103. doi: 65.1838 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.65.1838

[141] N. David Mermin. Dạng hợp nhất đơn giản cho các định lý biến chính không ẩn. Thể chất. Rev. Lett., 65: 3373–3376, tháng 1990 năm 10.1103. doi: 65.3373 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.65.3373

[142] M. McKague và M. Mosca. Tự kiểm tra tổng quát và bảo mật của giao thức 6 trạng thái. Trong W. van Dam, VM Kendon và S. Severini, người biên tập, Lý thuyết Tính toán Lượng tử, Truyền thông và Mật mã, tập 6519 của Ghi chú Bài giảng trong Khoa học Máy tính, trang 113–130. Springer, Berlin, Heidelberg, 2011. doi: 10.1007 / 978-3-642-18073-6_10.
https:/​/​doi.org/​10.1007/​978-3-642-18073-6_10

[143] Frédéric Magniez, Dominic Mayers, Michele Mosca và Harold Ollivier. Tự kiểm tra mạch lượng tử. Trong Michele Bugliesi, Bart Preneel, Vladimiro Sassone, và Ingo Wegener, biên tập viên, Automata, Languages ​​and Programming, các trang 72–83, Berlin, Heidelberg, 2006. Springer Berlin Heidelberg. doi: 10.1007 / 11786986_8.
https: / / doi.org/ 10.1007 / IDIA11786986_8

[144] Mehdi Mhalla và Simon Perdrix. Biểu đồ Tiểu bang, Tiểu tổng hợp và Phổ độ của ($ X, Z $) - các phép đo. Tạp chí Quốc tế về Máy tính Thông thường, 9 (1-2): 153–171, 2013. Số đặc biệt: Thế giới mới của máy tính. URL: https: / / hal.archives-ouvertes.fr/ hal-00934104.
https: / / hal.archives-ouvertes.fr/ hal-00934104

[145] Piotr Mironowicz và Marcin Pawłowski. Chứng nhận bán thiết bị độc lập về mặt thực nghiệm khả thi về các phép đo có giá trị tích cực của người vận hành bốn kết quả. Đánh giá vật lý A, 100 (3): 030301, 2019. doi: 10.1103 / PhysRevA.100.030301.
https: / / doi.org/ 10.1103 / PhysRevA.100.030301

[146] Magdalena Musat và Mikael Rørdam. Không đóng ma trận tương quan lượng tử và các kênh có thể phân tích nhân tử yêu cầu ancilla chiều vô hạn (có phụ lục của narutaka ozawa). Truyền thông trong Vật lý Toán học, trang 1–16, 2019. doi: 10.1007 / s00220-019-03449-w.
https: / / doi.org/ 10.1007 / s00220-019-03449-w

[147] CA Miller và Y. Shi. Tự kiểm tra mạnh mẽ tối ưu bằng trò chơi XOR nhị phân phi địa phương. Leibniz Int. Proc. Informat., 22 (254), 2013. doi: 10.4230 / LIPIcs.TQC.2013.254.
https: / / doi.org/ 10.4230 / LIPIcs.TQC.2013.254

[148] Carl A. Miller và Yaoyun Shi. Các giao thức mạnh mẽ để mở rộng tính ngẫu nhiên một cách an toàn và phân phối khóa bằng cách sử dụng các thiết bị lượng tử không đáng tin cậy. J. ACM, 63 (4): 33: 1–33: 63, tháng 2016 năm 10.1145. doi: 2885493 / XNUMX.
https: / / doi.org/ 10.1145 / 2885493

[149] Dominic Mayers và Christian Tourenne. Vi phạm địa phương và tự kiểm tra Nguồn: Tài khoản tóm tắt, trang 269–276. Springer US, Boston, MA, 2002. doi: 10.1007 / 0-306-47114-0_43.
https:/​/​doi.org/​10.1007/​0-306-47114-0_43

[150] D. Mayers và A. Yao. Mật mã lượng tử với bộ máy không hoàn hảo. Kỷ yếu Hội nghị chuyên đề thường niên lần thứ 39 về Cơ sở Khoa học Máy tính (Cat. No.98CB36280), 1998. doi: 10.1109 / sfcs.1998.743501.
https: / / doi.org/ 10.1109 / sfcs.1998.743501

[151] D. Mayers và A. Yao. Bộ máy lượng tử tự kiểm tra. Thông tin lượng tử. Comput., 4: 273, 2004. arXiv: quant-ph / 0307205.
arXiv: quant-ph / 0307205

[152] M. McKague, TH Yang, và V. Scarani. Khả năng tự kiểm tra mạnh mẽ của đĩa đơn. Tạp chí Toán học Vật lý, 45 (45): 455304, 2012. doi: 10.1088 / 1751-8113 / 45/45/455304.
https:/​/​doi.org/​10.1088/​1751-8113/​45/​45/​455304

[153] A. Nayak. Giới hạn thấp hơn tối ưu cho tự động lượng tử và mã truy cập ngẫu nhiên. Kỷ yếu Hội thảo IEEE lần thứ 40 về Cơ sở Khoa học Máy tính (FOCS'99), trang 369, 1999. doi: 10.1109 / SFFCS.1999.814608.
https: / / doi.org/ 10.1109 / SFFCS.1999.814608

[154] Michael A. Nielsen và Isaac L. Chuang. Tính toán lượng tử và thông tin lượng tử. Nhà xuất bản Đại học Cambridge, 2018. doi: 10.1017 / CBO9780511976667.
https: / / doi.org/ 10.1017 / CBO9780511976667

[155] Miguel Navascués, Stefano Pironio và Antonio Acín. Giới hạn tập hợp các tương quan lượng tử. Thể chất. Rev. Lett., 98: 010401, Jan 2007. doi: 10.1103 / PhysRevLett.98.010401.
https: / / doi.org/ 10.1103 / PhysRevLett.98.010401

[156] Miguel Navascués, Stefano Pironio và Antonio Acín. Một hệ thống phân cấp hội tụ của các chương trình bán kỳ đặc trưng cho tập các tương quan lượng tử. Tạp chí Vật lý mới, 10 (7): 073013, 2008. doi: 10.1088 / 1367-2630 / 10/7/073013.
https:/​/​doi.org/​10.1088/​1367-2630/​10/​7/​073013

[157] Anand Natarajan và Thomas Vidick. Một thử nghiệm tuyến tính lượng tử để xác minh rõ ràng sự vướng víu. Trong Kỷ yếu Hội thảo ACM SIGACT Thường niên lần thứ 49 về Lý thuyết Máy tính, STOC 2017, trang 1003–1015, New York, NY, USA, 2017. ACM. doi: 10.1145 / 3055399.3055468.
https: / / doi.org/ 10.1145 / 3055399.3055468

[158] A. Natarajan và T. Vidick. Kiểm tra mức độ thấp cho các trạng thái lượng tử và PCP trò chơi lượng tử vướng víu cho QMA. Vào năm 2018 Hội nghị chuyên đề thường niên lần thứ 59 của IEEE về Nền tảng của Khoa học Máy tính (FOCS), các trang 731–742, tháng 2018 năm 10.1109. doi: 2018.00075 / FOCS.XNUMX.
https: / / doi.org/ 10.1109 / FOCS.2018.00075

[159] Dimiter Ostrev và Thomas Vidick. Cấu trúc của các chiến lược lượng tử gần như tối ưu cho các trò chơi CHSH (n) XOR. Thông tin & Tính toán Lượng tử, 16 (13-14), trang (13-14): 1191–1211, 2016.

[160] Jonathan Oppenheim và Stephanie Wehner. Nguyên lý bất định xác định tính phi định vị của cơ học lượng tử. Science, 330 (6007): 1072–1074, 2010. doi: 10.1126 / science.1192065.
https: / / doi.org/ 10.1126 / khoa học.1192065

[161] Stefano Pironio, Antonio Acín, Nicolas Brunner, Nicolas Gisin, Serge Massar và Valerio Scarani. Phân phối khóa lượng tử độc lập với thiết bị an toàn trước các cuộc tấn công tập thể. Tạp chí Vật lý mới, 11 (4): 045021, apr 2009. doi: 10.1088 / 1367-2630 / 11/4/045021.
https:/​/​doi.org/​10.1088/​1367-2630/​11/​4/​045021

[162] Carlos Palazuelos. Tăng cường phi định vị lượng tử. Thể chất. Rev. Lett., 109: 190401, tháng 2012 năm 10.1103. doi: 109.190401 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.109.190401

[163] Stefano Pironio, Antonio Acín, Serge Massar, A Boyer de La Giroday, Dzimitry N Matsukevich, Peter Maunz, Steven Olmschenk, David Hayes, Le Luo, T Andrew Manning, et al. Số ngẫu nhiên được chứng nhận bởi định lý Bell. Nature, 464 (7291): 1021–1024, 2010. doi: 10.1038 / nature09008.
https: / / doi.org/ 10.1038 / thiên nhiên09008

[164] Philip M. Pearle. Ví dụ về biến ẩn dựa trên việc từ chối dữ liệu. Thể chất. Rev. D, 2: 1418–1425, tháng 1970 năm 10.1103. doi: 2.1418 / PhysRevD.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevD.2.1418

[165] Asher Peres. Kết quả không tương thích của phép đo lượng tử. Các Chữ cái Vật lý A, 151 (3-4): 107–108, 1990. doi: 10.1016 / 0375-9601 (90) 90172-k.
https:/​/​doi.org/​10.1016/​0375-9601(90)90172-k

[166] S. Pironio, M. Navascués và A. Acín. Thư giãn hội tụ của các bài toán tối ưu hóa đa thức với các biến không ngẫu nhiên. SIAM Journal on Optimization, 20 (5): 2157–2180, 2010. doi: 10.1137 / 090760155.
https: / / doi.org/ 10.1137 / 090760155

[167] Sandu Popescu. Các ma trận mật độ và bất đẳng thức Bell: Tiết lộ bất đẳng thức “ẩn”. Thể chất. Rev. Lett., 74: 2619–2622, tháng 1995 năm 10.1103. doi: 74.2619 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.74.2619

[168] Sandu Popescu và Daniel Rohrlich. Những trạng thái nào vi phạm tối đa sự bất bình đẳng của Bell? Các Thư Vật Lý A, 169 (6): 411 - 414, 1992. doi: https: / / doi.org/ 10.1016 / 0375-9601 (92) 90819-8.
https:/​/​doi.org/​10.1016/​0375-9601(92)90819-8

[169] John Preskill. Tính toán lượng tử. Viện Công nghệ California, 1998. URL: http: / / www.theory.caltech.edu/ people / preskill / ph229.
http: / / www.theory.caltech.edu/ people / preskill / ph229

[170] VI Paulsen và IG Todorov. Số lượng tử sắc ký thông qua hệ điều hành. Tạp chí Toán học hàng quý, 66 (2): 677–692, tháng 2015 năm 10.1093. doi: 004 / qmath / havXNUMX.
https: / / doi.org/ 10.1093 / qmath / hav004

[171] Károly F. Pál, Tamás Vértesi và Miguel Navascués. Chụp cắt lớp không phụ thuộc vào thiết bị của các trạng thái lượng tử đa hạt. Thể chất. Rev. A, 90: 042340, Oct 2014. doi: 10.1103 / PhysRevA.90.042340.
https: / / doi.org/ 10.1103 / PhysRevA.90.042340

[172] Robert Raussendorf và Hans J. Briegel. Máy tính lượng tử một chiều. Thể chất. Rev. Lett., 86: 5188–5191, tháng 2001 năm 10.1103. doi: 86.5188 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.86.5188

[173] Robert Raussendorf, Daniel E. Browne và Hans J. Briegel. Tính toán lượng tử dựa trên phép đo trên các trạng thái cụm. Thể chất. Rev. A, 68: 022312, August 2003. doi: 10.1103 / PhysRevA.68.022312.
https: / / doi.org/ 10.1103 / PhysRevA.68.022312

[174] M Rossi, M Huber, D Bruß và C Macchiavello. Các trạng thái siêu đồ thị lượng tử. Tạp chí Vật lý mới, 15 (11): 113022, nov 2013. doi: 10.1088 / 1367-2630 / 15/11/113022.
https:/​/​doi.org/​10.1088/​1367-2630/​15/​11/​113022

[175] Rafael Rabelo, Melvyn Ho, Daniel Cavalcanti, Nicolas Brunner và Valerio Scarani. Chứng nhận độc lập với thiết bị của các phép đo vướng víu Thể chất. Rev. Lett., 107: 050502, tháng 2011 năm 10.1103. doi: 107.050502 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.107.050502

[176] Marc Olivier Renou, Jędrzej Kaniewski và Nicolas Brunner. Tự kiểm tra các phép đo vướng víu trong mạng lượng tử. Thể chất. Rev. Lett., 121: 250507, tháng 2018 năm 10.1103. doi: 121.250507 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.121.250507

[177] Ravishankar Ramanathan, Dardo, Sadiq Muhammad, Piotr Mironowicz, Marcus Grünfeld, Mohamed Bourennane và Paweł Horodecki. Chỉ đạo là một đặc điểm thiết yếu của tính phi địa phương trong lý thuyết lượng tử. Nature Communications, 9, 2018. doi: 10.1038 / s41467-018-06255-5.
https:/​/​doi.org/​10.1038/​s41467-018-06255-5

[178] Ran Raz và Shmuel Safra. Kiểm tra mức độ thấp-xác suất lỗi hằng số phụ và kiểm tra PCP xác suất lỗi hằng số phụ của NP. Trong Kỷ yếu Hội thảo ACM thường niên lần thứ hai mươi chín về Lý thuyết Máy tính, STOC '97, trang 475–484, New York, NY, USA, 1997. ACM. doi: 10.1145 / 258533.258641.
https: / / doi.org/ 10.1145 / 258533.258641

[179] Jérémy Ribeiro, Lê Phúc Thịnh, Jędrzej Kaniewski, Jonas Helsen và Stephanie Wehner. Tính độc lập của thiết bị đối với mật mã hai bên và xác minh vị trí với các thiết bị không có bộ nhớ. Thể chất. Rev. A, 97: 062307, Jun 2018. doi: 10.1103 / PhysRevA.97.062307.
https: / / doi.org/ 10.1103 / PhysRevA.97.062307

[180] Ben W. Reichardt, Falk Unger và Umesh Vazirani. Lệnh cổ điển của hệ thống lượng tử. Nature, 496: 456, 2013. doi: 10.1038 / nature12035.
https: / / doi.org/ 10.1038 / thiên nhiên12035

[181] Rafael Rabelo, Law Yun Zhi và Valerio Scarani. Giới hạn độc lập với thiết bị cho thử nghiệm của Hardy. Thể chất. Rev. Lett., 109: 180401, tháng 2012 năm 10.1103. doi: 109.180401 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.109.180401

[182] I Šupić, R Augusiak, A Salavrakos và A Acín. Các giao thức tự kiểm tra dựa trên các bất đẳng thức Bell được xâu chuỗi. Tạp chí Vật lý Mới, 18 (3): 035013, apr 2016. doi: 10.1088 / 1367-2630 / 18/3/035013.
https:/​/​doi.org/​10.1088/​1367-2630/​18/​3/​035013

[183] Alexia Salavrakos, Remigiusz Augusiak, Jordi Tura, Peter Wittek, Antonio Acín và Stefano Pironio. Bất đẳng thức Bell phù hợp với các trạng thái vướng víu tối đa. Thể chất. Rev. Lett., 119: 040402, tháng 2017 năm 10.1103. doi: 119.040402 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.119.040402

[184] Pavel Sekatski, Jean-Daniel Bancal, Sebastian Wagner và Nicolas Sangouard. Chứng nhận các khối xây dựng của máy tính lượng tử từ định lý Bell. Thể chất. Rev. Lett., 121: 180505, tháng 2018 năm 10.1103. doi: 121.180505 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.121.180505

[185] J. Silman, A. Chailloux, N. Aharon, I. Kerenidis, S. Pironio và S. Massar. Cam kết bit lượng tử hoàn toàn đáng tin cậy và việc tung đồng xu. Thể chất. Rev. Lett., 106: 220501, tháng 2011 năm 10.1103. doi: 106.220501 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.106.220501

[186] Valerio Scarani. Triển vọng không phụ thuộc vào thiết bị về vật lý lượng tử (Bài giảng ghi chú về sức mạnh của định lý Bell). Acta Physica Slovaca, 62, 2012. URL: http: / / www.physics.sk/ aps / pub.php? Y = 2012 & pub = aps-12-04, doi: 10.2478 / v10155-012-0003 -4.
https:/​/​doi.org/​10.2478/​v10155-012-0003-4
http: / / www.physics.sk/ aps / pub.php? y = 2012 & pub = aps-12-04

[187] I Šupić, A Coladangelo, R Augusiak và A Acín. Tự kiểm tra trạng thái vướng víu đa phương thông qua phép chiếu lên hai hệ thống. Tạp chí Vật lý Mới, 20 (8): 083041, August 2018. doi: 10.1088 / 1367-2630 / aad89b.
https: / / doi.org/ 10.1088/1367-2630 / aad89b

[188] Aditi Sen De, Ujjwal Sen, Časlav Brukner, Vladimír Bužek và Marek Żukowski. Sự hoán đổi lôi kéo của các trạng thái nhiễu: Một loại siêu nhạy cảm trong tính phi phân loại. Thể chất. Rev. A, 72: 042310, tháng 2005 năm 10.1103. doi: 72.042310 / PhysRevA.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevA.72.042310

[189] Ivan Šupić và Matty J Hoban. Tự kiểm tra thông qua EPR-lái. Tạp chí Vật lý Mới, 18 (7): 075006, jul 2016. doi: 10.1088 / 1367-2630 / 18/7/075006.
https:/​/​doi.org/​10.1088/​1367-2630/​18/​7/​075006

[190] William Slofstra. Giới hạn thấp hơn về sự vướng víu cần thiết để chơi các trò chơi không cục bộ XOR. Tạp chí Toán học Vật lý, 52 (10): 102202, 2011. doi: 10.1063 / 1.3652924.
https: / / doi.org/ 10.1063 / 1.3652924

[191] William Slofstra. Tập hợp các tương quan lượng tử không bị đóng. Diễn đàn Toán học, Pi, 7, 2019. doi: 10.1017 / fmp.2018.3.
https: / / doi.org/ 10.1017 / fmp.2018.3

[192] William Slofstra. Bài toán Tsirelson và một định lý nhúng cho các nhóm phát sinh từ các trò chơi không cục bộ. Tạp chí của Hiệp hội Toán học Hoa Kỳ, 33 (1): 1–56, 2020. doi: https: / / doi.org/ 10.1090 / jam / 929.
https: / / doi.org/ 10.1090 / jam / 929

[193] Massimiliano Smania, Piotr Mironowicz, Mohamed Nawareg, Marcin Pawłowski, Adán Cabello và Mohamed Bourennane. Chứng nhận thực nghiệm về phép đo lượng tử đầy đủ thông tin trong một giao thức độc lập với thiết bị. Optica, 7 (2): 123–128, 2020. doi: 10.1364 / OPTICA.377959.
https: / / doi.org/ 10.1364 / OPTICA.377959

[194] Lynden K. Shalm, Evan Meyer-Scott, Bradley G. Christensen, Peter Bierhorst, Michael A. Wayne, Martin J. Stevens, Thomas Gerrits, Scott Glancy, Deny R. Hamel, Michael S. Allman, Kevin J. Coakley, Shellee D. Dyer, Carson Hodge, Adriana E. Lita, Varun B. Verma, Camilla Lambrocco, Edward Tortorici, Alan L. Migdall, Yanbao Zhang, Daniel R. Kumor, William H. Farr, Francesco Marsili, Matthew D. Shaw, Jeffrey A. Stern, Carlos Abellán, Waldimar Amaya, Valerio Pruneri, Thomas Jennewein, Morgan W. Mitchell, Paul G. Kwiat, Joshua C. Bienfang, Richard P. Mirin, Emanuel Knill và Sae Woo Nam. Kiểm tra chủ nghĩa hiện thực địa phương không có kẽ hở mạnh mẽ. Thể chất. Rev. Lett., 115: 250402, tháng 2015 năm 10.1103. doi: 115.250402 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.115.250402

[195] W. Forrest Stinespring. Các hàm tích cực trên $ {C} sp * $ - đại số. Kỷ yếu của Hội Toán học Hoa Kỳ, 6 (2): 211–211, Jan 1955. doi: 10.1090 / s0002-9939-1955-0069403-4.
https:/​/​doi.org/​10.1090/​s0002-9939-1955-0069403-4

[196] Jamie Sikora, Antonios Varvitsiotis và Zhaohui Wei. Kích thước tối thiểu của không gian Hilbert cần thiết để tạo ra tương quan lượng tử. Thể chất. Rev. Lett., 117: 060401, tháng 2016 năm 10.1103. doi: 117.060401 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.117.060401

[197] SJ Summers và RF Werner. Sự vi phạm tối đa các bất đẳng thức của Bell là phổ biến trong lý thuyết trường lượng tử. Truyền thông trong Vật lý Toán học, 110 (2): 247–259, 1987. doi: 10.1007 / BF01207366.
https: / / doi.org/ 10.1007 / BF01207366

[198] Armin Tavakoli, Alley Hameedi, Breno Marques và Mohamed Bourennane. Mã truy cập ngẫu nhiên lượng tử sử dụng hệ thống $ d $ -level duy nhất. Thể chất. Rev. Lett., 114: 170502, tháng 2015 năm 10.1103. doi: 114.170502 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.114.170502

[199] Armin Tavakoli, Jędrzej Kaniewski, Tamás Vértesi, Denis Rosset và Nicolas Brunner. Tự kiểm tra trạng thái lượng tử và các phép đo trong kịch bản chuẩn bị và đo lường. Thể chất. Rev. A, 98: 062307, tháng 2018 năm 10.1103. doi: 98.062307 / PhysRevA.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevA.98.062307

[200] Tassius Temistocles, Rafael Rabelo và Marcelo Terra Cunha. Tính tương thích của phép đo trong các bài kiểm tra tính bất định vị của chuông Đánh giá vật lý A, 99 (4): 042120, 2019. doi: 10.1103 / PhysRevA.99.042120.
https: / / doi.org/ 10.1103 / PhysRevA.99.042120

[201] Armin Tavakoli, Denis Rosset và Marc-Olivier Renou. Cho phép tính toán giới hạn tương quan cho hệ lượng tử hữu hạn chiều thông qua đối xứng. Thể chất. Rev. Lett., 122: 070501, tháng 2019 năm 10.1103. doi: 122.070501 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.122.070501

[202] BS Tsirelson. Tương tự lượng tử của các bất đẳng thức Bell. Trường hợp hai miền ngăn cách nhau về mặt không gian. Tạp chí Toán học Liên Xô, 36 (4): 557–570, tháng 1987 năm 10.1007. doi: 01663472 / BFXNUMX.
https: / / doi.org/ 10.1007 / BF01663472

[203] Boris Tsirelson. Một số kết quả và bài toán về bất đẳng thức kiểu Bell lượng tử. Tạp chí Hadronis Bổ sung, 8: 329–45, 1993.

[204] J Tura, AB Sainz, T Vértesi, A Acín, M Lewenstein và R Augusiak. Các bất đẳng thức Bell đa cực bất biến tịnh tiến chỉ liên quan đến các tương quan hai phần thân. Tạp chí Vật lý A: Toán học và Lý thuyết, 47 (42): 424024, Oct 2014. doi: 10.1088 / 1751-8113 / 47/42/424024.
https:/​/​doi.org/​10.1088/​1751-8113/​47/​42/​424024

[205] Armin Tavakoli, Massimiliano Smania, Tamás Vértesi, Nicolas Brunner và Mohamed Bourennane. Tự kiểm tra các phép đo lượng tử phi khách quan trong các thí nghiệm chuẩn bị và đo lường. Science Advances, 6 (16): eaaw6664, 2020. doi: 10.1126 / sciadv.aaw6664.
https: / / doi.org/ 10.1126 / sciadv.aaw6664

[206] TR Tan, Y. Wan, S. Erickson, P. Bierhorst, D. Kienzler, S. Glancy, E. Knill, D. Leibfried và DJ Wineland. Thí nghiệm bất đẳng thức Chained Bell với các phép đo hiệu quả cao. Thể chất. Rev. Lett., 118: 130403, tháng 2017 năm 10.1103. doi: 118.130403 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.118.130403

[207] Roope Uola, Ana CS Costa, H. Chau Nguyen, và Otfried Gühne. Chỉ đạo lượng tử. arXiv, 2019. arXiv: 1903.06663. doi: 10.1103 / RevModPhys.92.015001.
https: / / doi.org/ 10.1103 / RevModPhys.92.015001
arXiv: 1903.06663

[208] Wim van Dam và Patrick Hayden. Các phép biến đổi vướng mắc phổ quát mà không cần giao tiếp Thể chất. Rev. A, 67: 060302, Jun 2003. URL: https: / / link.aps.org/ doi / 10.1103 / PhysRevA.67.060302, doi: 10.1103 / PhysRevA.67.060302.
https: / / doi.org/ 10.1103 / PhysRevA.67.060302

[209] Wim van Dam, Frédéric Magniez, Michele Mosca và Miklos Santha. Tự kiểm tra bộ phổ quát và khả năng chịu lỗi của cổng lượng tử. Tạp chí SIAM về Máy tính, 37 (2): 611–629, 2007. doi: 10.1137 / s0097539702404377.
https: / / doi.org/ 10.1137 / s0097539702404377

[210] Thomas Vidick. DIQKD song song từ lặp lại song song, 2017. arXiv: 1703.08508.
arXiv: 1703.08508

[211] Xingyao Wu, Jean-Daniel Bancal, Matthew McKague và Valerio Scarani. Tự kiểm tra song song độc lập thiết bị của hai singlets. Thể chất. Rev. A, 93: 062121, Jun 2016. doi: 10.1103 / PhysRevA.93.062121.
https: / / doi.org/ 10.1103 / PhysRevA.93.062121

[212] Sebastian Wagner, Jean-Daniel Bancal, Nicolas Sangouard và Pavel Sekatski. Đặc điểm không phụ thuộc vào thiết bị của các phép đo tổng quát, 2018. URL: https: / / arxiv.org/ abs / 1812.02628, arXiv: 1812.02628. doi: 10.22331 / q-2020-03-19-243.
https:/​/​doi.org/​10.22331/​q-2020-03-19-243
arXiv: 1812.02628

[213] Xingyao Wu, Yu Cai, Tzyh Haur Yang, Huy Nguyen Le, Jean-Daniel Bancal và Valerio Scarani. Tự kiểm tra mạnh mẽ trạng thái W ba qubit. Thể chất. Rev. A, 90: 042339, Oct 2014. doi: 10.1103 / PhysRevA.90.042339.
https: / / doi.org/ 10.1103 / PhysRevA.90.042339

[214] Reinhard F. Werner. Trạng thái lượng tử với mối tương quan Einstein-Podolsky-Rosen thừa nhận một mô hình biến ẩn. Thể chất. Rev. A, 40: 4277–4281, tháng 1989 năm 10.1103. doi: 40.4277 / PhysRevA.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevA.40.4277

[215] HM Wiseman, SJ Jones và AC Doherty. Chỉ đạo, vướng víu, bất định vị và nghịch lý Einstein-Podolsky-Rosen. Thể chất. Rev. Lett., 98: 140402, tháng 2007 năm 10.1103. doi: 98.140402 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.98.140402

[216] Erik Woodhead, Jęndrzej Kaniewski, Boris Bourdoncle, Alexia Salavrakos, Joseph Bowles, Remigiusz Augusiak và Antonio Acín. Tính ngẫu nhiên tối đa từ các trạng thái vướng víu một phần, 2019. arXiv: 1901.06912.
arXiv: 1901.06912

[217] Erik Woodhead, Charles Ci Wen Lim và Stefano Pironio. QKD bán độc lập dựa trên BB84 và ước lượng kiểu CHSH. Trong Kazuo Iwama, Yasuhito Kawano và Mio Murao, người biên tập, Lý thuyết Tính toán Lượng tử, Truyền thông và Mật mã, các trang 107–115, Berlin, Heidelberg, 2013. Springer Berlin Heidelberg. doi: 10.1007 / 978-3-642-35656-8_9.
https:/​/​doi.org/​10.1007/​978-3-642-35656-8_9

[218] Jianwei Wang, Stefano Paesani, Yunhong Ding, Raffaele Santagati, Paul Skrzypczyk, Alexia Salavrakos, Jordi Tura, Remigiusz Augusiak, Laura Mančinska, Davide Bacco, Damien Bonneau, Joshua W. Silverstone, Qihuang Gong, Antonio Acín, Karsten Rottwitt. Oxenløwe, Jeremy L. O'Brien, Anthony Laing và Mark G. Thompson. Rối lượng tử đa chiều với quang học tích hợp quy mô lớn. Khoa học, 2018. doi: 10.1126 / science.aar7053.
https: / / doi.org/ 10.1126 / science.aar7053

[219] Xingyao Wu. Tự kiểm tra: đi bộ trên ranh giới của tập lượng tử. Luận án Tiến sĩ, Đại học Quốc gia Singapore, 2017. URL: http: / /holarbank.nus.edu.sg/ handle / 10635/134729.
http: / /holarbank.nus.edu.sg/ handle / 10635/134729

[220] Yukun Wang, Xingyao Wu và Valerio Scarani. Tất cả các tự kiểm tra của đĩa đơn cho hai phép đo nhị phân. Tạp chí Vật lý Mới, 18 (2): 025021, feb 2016. doi: 10.1088 / 1367-2630 / 18/2/025021.
https:/​/​doi.org/​10.1088/​1367-2630/​18/​2/​025021

[221] Tzyh Haur Yang và Miguel Navascués. Khả năng tự kiểm tra mạnh mẽ các hệ lượng tử chưa biết thành bất kỳ trạng thái hai qubit vướng víu nào. Thể chất. Rev. A, 87: 050102, tháng 2013 năm 10.1103. doi: 87.050102 / PhysRevA.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevA.87.050102

[222] Tzyh Haur Yang, Tamás Vértesi, Jean-Daniel Bancal, Valerio Scarani và Miguel Navascués. Chứng nhận hộp đen mạnh mẽ và linh hoạt của các thiết bị lượng tử. Thể chất. Rev. Lett., 113: 040401, tháng 2014 năm 10.1103. doi: 113.040401 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.113.040401

[223] Wen-Hao Zhang, Geng Chen, Xing-Xiang Peng, Xiang-Jun Ye, Peng Yin, Ya Xiao, Zhi-Bo Hou, Ze-Di Cheng, Yu-Chun Wu, Jin-Shi Xu, Chuan-Feng Li và Guang-Can Guo. Thực nghiệm tự kiểm tra mạnh mẽ đối với trạng thái vướng víu hai bên và ba bên. Thể chất. Rev. Lett., 121: 240402, tháng 2018 năm 10.1103. doi: 121.240402 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.121.240402

[224] Wen-Hao Zhang, Geng Chen, Xing-Xiang Peng, Xiang-Jun Ye, Peng Yin, Xiao-Ye Xu, Jin-Shi Xu, Chuan-Feng Li và Guang-Can Guo. Thực nghiệm thực hiện tự kiểm tra mạnh mẽ các phép đo trạng thái Bell. Thể chất. Rev. Lett., 122: 090402, tháng 2019 năm 10.1103. doi: 122.090402 / PhysRevLett.XNUMX.
https: / / doi.org/ 10.1103 / PhysRevLett.122.090402

[225] Wen-Hao Zhang, Geng Chen, Peng Yin, Xing-Xiang Peng, Xiao-Min Hu, Zhi-Bo Hou, Zhi-Yuan Zhou, Shang Yu, Xiang-Jun Ye, Zong-Quan Zhou và cộng sự. Thực nghiệm chứng minh khả năng tự kiểm tra mạnh mẽ đối với các trạng thái vướng víu lưỡng cực. npj Thông tin lượng tử, 5 (1), tháng 2019 năm 10.1038. doi: 41534 / s018-0120-0-XNUMX.
https:/​/​doi.org/​10.1038/​s41534-018-0120-0

[226] Yi-Zheng Zhen, Koon Tong Goh, Yu-Lin Zheng, Wen-Fei Cao, Xingyao Wu, Kai Chen và Valerio Scarani. Trò chơi phi địa phương và chỉ đạo tối ưu ở ranh giới của tập lượng tử. Thể chất. Rev. A, 94: 022116, August 2016. doi: 10.1103 / PhysRevA.94.022116.
https: / / doi.org/ 10.1103 / PhysRevA.94.022116