제퍼넷 로고

계산 가정 하에서 단일 양자 장치의 자체 테스트

시간


토니 메트거1 그리고 토마스 비딕2

1이론 물리학 연구소, ETH Zürich, 8093 Zürich, Switzerland
2컴퓨터 및 수리 과학부, 캘리포니아 공과 대학, CA 91125, 미국

이 논문이 흥미 롭거나 토론하고 싶습니까? SciRate에 댓글을 달거나 댓글 남기기.

추상

자체 테스트는 고전적인 입출력 상관관계만을 기반으로 임의의 양자 시스템을 특성화하는 방법으로, 장치 독립적인 양자 정보 처리 및 양자 복잡도 이론에서 중요한 역할을 합니다. 자체 테스트에 대한 이전 작업에서는 시스템 상태가 로컬 측정만 수행하고 통신할 수 없는 여러 당사자 간에 공유된다는 가정이 필요합니다. 여기서는 실제로 시행하기 어려운 $textit{multiple non-communicating}$ 당사자의 설정을 $textit{single computeally bounded}$ 당사자로 대체합니다. 특히, 우리는 고전적 검증자가 단일 계산 경계 양자 장치가 벨 쌍을 준비하고 이에 대해 단일 큐비트 측정을 수행해야 한다는 것을 강력하게 인증할 수 있도록 하는 프로토콜을 구성합니다. . 이는 계산적 가정 하에서 검증자가 단일 양자 장치 내부에서 일반적으로 두 개의 분리된 하위 시스템과 밀접하게 관련된 속성인 얽힘의 존재를 인증할 수 있음을 의미합니다. 이를 달성하기 위해 우리는 Brakerski et al.에 의해 처음 도입된 기술을 기반으로 합니다. (2018) 및 Mahadev(2018)는 고전적 검증자가 양자 장치가 포스트 양자 암호화를 깨뜨리지 않는다는 가정하에 양자 장치의 동작을 제한할 수 있도록 합니다.

► BibTeX 데이터

► 참고 문헌

[1] W. Aiello, S. Bhatt, R. Ostrovsky 및 SR Rajagopalan. "모든 원격 프로시저 호출의 빠른 확인: NP에 대한 짧은 증인 - 구별할 수 없는 일회성 증명", Automata, 언어 및 프로그래밍 – ICALP 2000, 컴퓨터 과학 강의 노트, Springer, 463-474(2000).
https:/​/​doi.org/​10.1007/​3-540-45022-X_39

[2] G. Alagic, AM 차일드, AB 그릴로 및 S.-H. 헝. "양자 계산의 비대화형 고전 검증", Preprint(2019). arXiv:1911.08101.
arXiv : 1911.08101

[3] M. Ben-Or, C. Crepeau, D. Gottesman, A. Hassidim 및 A. Smith. "Strict Honest Majority를 ​​사용한 안전한 다자간 양자 계산", IEEE 47차 IEEE FOCS(컴퓨터 과학 기초 심포지엄), 249-260(2006).
https : / /doi.org/10.1109/FOCS.2006.68

[4] Z. Brakerski, P. Christiano, U. Mahadev, U. Vazirani 및 T. Vidick. "단일 양자 장치의 양자성 및 인증 가능한 무작위성에 대한 암호화 테스트", 컴퓨터 과학 기초에 관한 IEEE 59차 연례 심포지엄(FOCS), 320-331(2018). arXiv:1804.00640v3.
https : / /doi.org/10.1109/FOCS.2018.00038
arXiv : 1804.00640v3

[5] JS 벨. "Einstein Podolsky Rosen paradox", Physics Physique Fizika 1, 195–200(1964).
https : / /doi.org/10.1103/ PhysicsPhysiqueFizika.1.195

[6] A. Bouland, B. Fefferman, C. Nirkhe 및 U. Vazirani. "양자 랜덤 회로 샘플링의 복잡성과 검증", Nature Physics 15, 159–163(2019).
https:/​/​doi.org/​10.1038/​s41567-018-0318-2

[7] A. 브로드벤트와 AB 그릴로. "양자 영지식에 대한 응용 프로그램이 있는 로컬 밀도 행렬의 일관성의 QMA 경도", IEEE 61st Annual Symposium on Foundations of Computer Science(FOCS), 196–205(2020).
https : / / doi.org/ 10.1109 / FOCS46700.2020.00027

[8] Z. Brakerski, V. Koppula, U. Vazirani 및 T. Vidick. "간단한 양자성 증명", Preprint(2020). arXiv:2005.04826.
arXiv : 2005.04826

[9] K. Bharti, M. Ray, A. Varvitsiotis, NA Warsi, A. Cabello 및 L.-C. 크웩. "비맥락성 불평등을 통한 양자 시스템의 강력한 자체 테스트", Phys. 레트 목사 122, 250403(2019). arXiv:1812.07265.
https : / /doi.org/10.1103/ PhysRevLett.122.250403
arXiv : 1812.07265

[10] A. Cojocaru, L. Colisson, E. Kashefi 및 P. Wallden. "QFactory: 고전적으로 지시된 원격 비밀 큐비트 준비", 암호학의 발전 - ASIACRYPT 2019, 컴퓨터 과학 강의 노트, Springer, 615-645(2019). arXiv:1904.06303.
https:/​/​doi.org/​10.1007/​978-3-030-34578-5_22
arXiv : 1904.06303

[11] N.-H. 치아, K.-M. Chung, T. Yamakawa. "효율적인 검증기를 사용한 양자 계산의 고전적 검증", Preprint(2019). arXiv:1912.00990.
arXiv : 1912.00990

[12] A. Coladangelo, AB Grilo, S. Jeffery 및 T. Vidick. "Verifier-on-a-leash: 준선형 리소스를 사용하여 검증 가능한 위임된 양자 계산을 위한 새로운 체계", 암호학의 발전 – EUROCRYPT 2019, 컴퓨터 과학 강의 노트, Springer 11478 LNCS, 247-277(2019). arXiv:1708.07359.
https:/​/​doi.org/​10.1007/​978-3-030-17659-4_9
arXiv : 1708.07359

[13] C. Crépeau, D. Gottesman 및 A. Smith. "Secure Multi-party Quantum Computation", 컴퓨팅 이론에 관한 제34회 연례 ACM 심포지엄, 643-652(2002).
https : / /doi.org/ 10.1145 / 509907.510000

[14] A. Coladangelo, KT Goh, V. Scarani. "모든 순수 이분법 얽힌 상태는 자체 테스트가 가능합니다.", Nature Communications 8, 15485(2017). arXiv:1611.08062.
https : / /doi.org/ 10.1038 / ncomms15485
arXiv : 1611.08062

[15] R. 콜벡. 안전한 다자간 계산을 위한 양자 및 상대론적 프로토콜, 케임브리지 대학교 박사 학위 논문(2006). arXiv:0911.3814.
arXiv : 0911.3814

[16] A. Coladangelo, T. Vidick 및 T. Zhang. "QMA에 대한 비대화식 영지식 인수, 전처리 포함", 연례 국제 암호학 회의(CRYPTO), 799–828(2020).
https:/​/​doi.org/​10.1007/​978-3-030-56877-1_28

[17] Y. Dodis, S. Halevi, RD Rothblum 및 D. Wichs. "으스스한 암호화 및 그 응용 프로그램", 암호학의 발전 - CRYPTO 2016, 컴퓨터 과학 강의 노트, Springer, 93-122(2016).
https:/​/​doi.org/​10.1007/​978-3-662-53015-3_4

[18] WT Gowers 및 O. Hatami. "유한 그룹의 대략적인 표현을 위한 역 및 안정성 정리", Sbornik: Mathematics 208, 1784(2017).
https : / / doi.org/ 10.1070 / SM8872

[19] A. Gheorghiu 및 T. Vidick. "컴퓨터 보안 및 구성 가능한 원격 상태 준비", IEEE 60th Annual Symposium on Foundations of Computer Science(FOCS), 1024–1033(2019).
https : / /doi.org/10.1109/FOCS.2019.00066

[20] Z. Ji, A. Natarajan, T. Vidick, J. Wright 및 H. Yuen. "${MIP}^*={RE}$", 사전 인쇄(2020). arXiv:2001.04383.
arXiv : 2001.04383

[21] YT Kalai, R. Raz 및 RD Rothblum. "계산을 위임하는 방법: 신호 없는 증명의 힘", 제46회 연례 ACM SIGACT 컴퓨팅 이론 심포지엄(STOC), 485-494(2014).
https : / /doi.org/ 10.1145 / 2591796.2591809

[22] U. 마하데프. "양자 계산의 고전적 검증", IEEE 59차 컴퓨터 과학 기초 심포지엄(FOCS), 259-267(2018). arXiv:1804.01082v2.
https : / /doi.org/10.1109/FOCS.2018.00033
arXiv : 1804.01082v2

[23] T. Metger, Y. Dulek, A. Coladangelo 및 R. Arnon-Friedman. "계산 가정에서 장치 독립적인 양자 키 배포", Preprint(2020). arXiv:2010.04175.
arXiv : 2010.04175

[24] CA Miller와 Y. Shi. "Spot-Checking Protocol의 무작위성 확장을 위한 범용 보안", SIAM Journal on Computing 46, 1304-1335(2017). arXiv:1411.6608.
https : / //doi.org/10.1137/ 15M1044333
arXiv : 1411.6608

[25] D. 메이어스와 A. 야오. "자체 테스트 양자 장치", 양자 정보. 계산 4, 273-286(2004). arXiv:quant-ph/ 0307205.
arXiv : 퀀트 -PH / 0307205
https : / /dl.acm.org/doi/10.5555/2011827.2011830

[26] M. McKague, TH Yang 및 V. Scarani. "단항체의 강력한 자체 테스트", Journal of Physics A: Mathematical and Theoretical 45, 455304(2012).
https:/​/​doi.org/​10.1088/​1751-8113/​45/​45/​455304

[27] A. 나타라잔과 J. 라이트. "NEEXP in MIP*", IEEE 60차 FOCS(컴퓨터 과학 기초에 관한 연례 심포지엄), 510-518(2019). arXiv:1904.05870.
https : / /doi.org/10.1109/FOCS.2019.00039
arXiv : 1904.05870

[28] S. Popescu 및 D. Rohrlich. "어떤 상태가 Bell의 부등식을 최대로 위반합니까?", Physics Letters A 169, 411–414(1992).
https:/​/​doi.org/​10.1016/​0375-9601(92)90819-8

[29] R. 라즈. "병렬 반복 정리", SIAM Journal on Computing 27, 763–803(1998).
https : / /doi.org/ 10.1137 / S0097539795280895

[30] 오. 레게브. "격자에 대해, 오류로 학습, 랜덤 선형 코드 및 암호화", J. ACM 56(2009).
https : / /doi.org/ 10.1145 / 1568318.1568324

[31] BW Reichardt, F. Unger 및 U. Vazirani. "양자 시스템의 고전 명령", Nature 496, 456(2013). arXiv:1209.0449.
https : / /doi.org/ 10.1038 / nature12035
arXiv : 1209.0449

[32] I. Šupić 및 J. Bowles. "양자 시스템 자체 테스트: 검토", Preprint(2019). arXiv:1904.10042.
https:/​/​doi.org/​10.22331/​q-2020-09-30-337
arXiv : 1904.10042

[33] V. 스카라니. Bell Nonlocality, Oxford University Press (2019).

[34] SJ Summers와 R. Werner. "Bell의 부등식의 최대 위반은 양자장 이론에서 일반적입니다", Communications in Mathematic Physics 110, 247–259(1987).
https : / /doi.org/ 10.1007 / BF01207366

[35] T. 비딕. 얽힌 게임의 복잡성. 박사 논문, 2011.
https:// / digitalassets.lib.berkeley.edu/ etd/ ucb/ text/ Vidick_berkeley_0028E_11907.pdf

[36] U. Vazirani 및 T. Vidick. "Certified Quantum Dice: Or, True Random Number Generation Secure against the Quantum Adversaries", Proceedings of the 44th Annual ACM SIGACT Symposium on Theory of Computing, 61-76(2012). arXiv:1111.6054.
https : / /doi.org/ 10.1145 / 2213977.2213984
arXiv : 1111.6054

[37] T. Vidick 및 T. Zhang. "양자 지식의 고전적 증명", Preprint(2020). arXiv:2005.01691.
arXiv : 2005.01691

[38] 엠 와일드. "고전에서 양자 섀넌 이론으로", Preprint(2011). arXiv:1106.1445v8.
https : / /doi.org/ 10.1017 / 9781316809976.001
arXiv : 1106.1445v8

인용

[1] Kishor Bharti, Alba Cervera-Lierta, Thi Ha Kyaw, Tobias Haug, Sumner Alperin-Lea, Abhinav Anand, Matthias Degroote, Hermanni Heimonen, Jakob S. Kottmann, Tim Menke, Wai-Keong Mok, Sukin Sim, Leong- Chuan Kwek 및 Alán Aspuru-Guzik, "NISQ (시끄러운 중간 규모 양자) 알고리즘", arXiv : 2101.08448.

[2] Alexandru Gheorghiu 및 Matty J. Hoban, "얕은 회로 출력의 엔트로피 추정은 어렵다", arXiv : 2002.12814.

[3] 토마스 비딕과 티나 장,“양자 지식의 전형적인 증거”, arXiv : 2005.01691.

[4] Yu Cai, Baichu Yu, Pooja Jayachandran, Nicolas Brunner, Valerio Scarani 및 Jean-Daniel Bancal, "두 하위 시스템의 모든 정의를위한 얽힘", 물리적 검토 A 103 5, 052432 (2021).

[5] Tony Metger, Yfke Dulek, Andrea Coladangelo 및 Rotem Arnon-Friedman, "계산 가정에서 장치 독립적인 양자 키 배포", arXiv : 2010.04175.

[6] Tomoyuki Morimae, "신뢰할 수 있는 센터가 있는 양자 컴퓨팅의 정보 이론상 건전한 비대화형 고전 검증", arXiv : 2003.10712.

[7] 모리마에 토모유키와 타케우치 유키, “신뢰센터 검증 모델과 클래식 채널 원격 상태 준비”, arXiv : 2008.05033.

[8] Kishor Bharti, Maharshi Ray, Zhen-Peng Xu, Masahito Hayashi, Leong-Chuan Kwek 및 Adán Cabello, "벨 시나리오에서 자체 테스트를 위한 그래프 이론 프레임워크", arXiv : 2104.13035.

위의 인용은 SAO / NASA ADS (마지막으로 성공적으로 업데이트 됨 2021-09-16 17:11:41). 모든 출판사가 적절하고 완전한 인용 데이터를 제공하지는 않기 때문에 목록이 불완전 할 수 있습니다.

가져올 수 없습니다 Crossref 인용 자료 마지막 시도 중 2021-09-16 17:11:40 : Crossref에서 10.22331 / q-2021-09-16-544에 대한 인용 데이터를 가져올 수 없습니다. DOI가 최근에 등록 된 경우 이는 정상입니다.

PlatoAi. Web3 재창조. 데이터 인텔리전스 증폭.
액세스하려면 여기를 클릭하십시오.

출처 : https://quantum-journal.org/papers/q-2021-09-16-544/

spot_img

최신 인텔리전스

spot_img