복합 시스템의 맥락성: Kochen-Specker 정리에서 얽힘의 역할

복합 시스템의 맥락성: Kochen-Specker 정리에서 얽힘의 역할

빅토리아 J 라이트1 그리고 라비 쿤웩2

1ICFO-Institut de Ciencies Fotoniques, 바르셀로나 과학 기술 연구소, 08860 Castelldefels, 스페인
2양자 정보 통신 센터, Ecole polytechnique de Bruxelles, CP 165, Université libre de Bruxelles, 1050 Brussels, Belgium

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

추상

Kochen–Specker(KS) 정리는 단일 양자 시스템의 비고전성을 드러냅니다. 대조적으로 Bell의 정리와 얽힘은 복합 양자 시스템의 비고전성에 관한 것입니다. 따라서 비호환성과 달리 얽힘과 벨 비국소성은 KS-맥락성을 입증하는 데 필요하지 않다. 그러나 여기서 우리는 다중 큐비트 시스템의 경우 얽힘과 비국소성이 모두 Kochen-Specker 정리의 증명에 필수적이라는 것을 발견했습니다. 첫째, 우리는 얽히지 않은 측정(로컬 측정의 엄격한 상위 집합)이 멀티큐비트 시스템에 대한 KS 정리의 논리적(상태 독립적) 증명을 결코 산출할 수 없음을 보여줍니다. 특히, 고유 상태가 "얽힘 없는 비국소성"을 나타내는 얽히지 않았지만 비국소적인 측정은 그러한 증명에 충분하지 않습니다. 이는 또한 멀티큐비트 시스템에서 Gleason의 정리를 증명하려면 Wallach [Contemp Math, 305: 291-298 (2002)]가 보여주듯이 얽힌 투영이 반드시 필요함을 의미합니다. 두 번째로, 우리는 다중 큐비트 상태가 투사 측정으로 벨 부등식을 위반할 수 있는 경우에만 KS 정리의 통계적(상태 종속적) 증명을 인정한다는 것을 보여줍니다. 우리는 또한 KS 세트의 새로운 예를 구성하여 multiqudit 시스템에서 더 일반적으로 Kochen-Specker 및 Gleason의 정리와 얽힘 사이의 관계를 설정합니다. 마지막으로, 우리의 결과가 상태 주입을 통한 양자 계산의 패러다임 내에서 자원으로서 멀티큐비트 맥락성의 역할에 대해 어떻게 새로운 시각을 제시하는지 논의합니다.

[포함 된 콘텐츠]

빛의 광자와 같은 아주 작은 물리적 시스템은 양자 이론이 출현하기 전에 사용된 물리학자들의 이론과 모순되는 방식으로 작동합니다. 양자 이론은 이러한 매우 작은 시스템을 설명하기 위해 개발되었으며 매우 성공적입니다. 대체로 고전 이론이라고 불리는 양자 이론 이전의 이론은 모두 비맥락적입니다. 위치와 같은 시스템의 모든 관찰 가능한 속성이 항상 명확한 값을 가지고 있다고 가정하여 이 속성이 측정될 때마다 그리고 어떻게 측정될 수 있다면 이론은 비맥락적입니다. Kochen-Specker 정리는 양자 이론의 예측이 어떻게 비맥락적 방식으로 설명될 수 없는지를 보여줍니다.

양자 이론은 또한 고전 이론과 다른 주요 차이점을 가지고 있는데, 두 가지 두드러진 예는 벨 비국소성과 얽힘입니다. 단일 양자 시스템을 포함하는 위에서 설명한 Kochen-Specker 맥락과 달리 Bell 비국소성 및 얽힘은 여러 양자 시스템을 함께 연구할 때만 존재하는 속성입니다. 그러나이 작업에서 우리는 (양자 컴퓨터에서와 같이) 다중 큐 비트 시스템의 경우 Bell 비국소성과 얽힘이 모두 Kochen-Specker 맥락 성의 존재에 필수적임을 보여줍니다.

물리학 기초와의 관련성뿐만 아니라 우리의 발견이 어떻게 양자 컴퓨팅의 양자 이점에 대한 더 나은 이해로 이어질 수 있는지 논의합니다. 양자 이점은 양자 및 고전 컴퓨터를 각각 설명하는 양자 물리학과 고전 물리학의 차이에서 비롯되어야 합니다. 따라서 우리가 연구하는 멀티큐비트 시스템의 비고전성을 이해하면 양자 이점의 힘을 활용할 수 있는 경로가 제시됩니다.

► BibTeX 데이터

► 참고 문헌

[1] 에르빈 슈뢰딩거. 분리된 시스템 간의 확률 관계에 대한 논의. Cambridge Philosophical Society의 Mathematical Proceedings, 31권, 555–563페이지. Cambridge University Press, 1935. doi:10.1017/ S0305004100013554.
https : / /doi.org/ 10.1017 / S0305004100013554

[2] 노아 린든과 산두 포페스쿠. 좋은 역학 대 나쁜 운동학: 양자 계산에 얽힘이 필요합니까? 물리학 Lett., 87:047901, 2001. doi:10.1103/PhysRevLett.87.047901.
https : / /doi.org/10.1103/ PhysRevLett.87.047901

[3] 아니메시 다타와 귀프레 비달. 혼합 상태 양자 계산에서 얽힘 및 상관 관계의 역할. 물리학 A, 75:042310, 2007. doi:10.1103/PhysRevA.75.042310.
https : / /doi.org/10.1103/ PhysRevA.75.042310

[4] 빅터 비치, 크리스토퍼 페리, 데이비드 그로스, 조셉 에머슨. 양자 계산을 위한 자원으로서의 음의 유사 확률. New J. Phys., 14(11):113011, 2012. doi:10.1088/1367-2630/14/11/113011.
https:/​/​doi.org/​10.1088/​1367-2630/​14/​11/​113011

[5] 마크 하워드, 조엘 월먼, 빅터 비치, 조셉 에머슨. 맥락성은 양자 계산을 위한 '마법'을 제공합니다. Nature, 510(7505):351–355, 2014. doi:10.1038/nature13460.
https : / /doi.org/ 10.1038 / nature13460

[6] 클라우디오 카르멜리, 테이코 헤이노사아리, 알레산드로 토이고. 양자 랜덤 액세스 코드 및 측정 비호환성. EPL(Europhysics Letters), 130(5):50001, 2020. doi:10.1209/0295-5075/130/50001.
https:/​/​doi.org/​10.1209/​0295-5075/​130/​50001

[7] Toby S Cubitt, Debbie Leung, William Matthews, Andreas Winter. 얽힘으로 오류가 없는 기존 통신을 개선합니다. 물리학 Lett., 104:230503, 2010. doi:10.1103/PhysRevLett.104.230503.
https : / /doi.org/10.1103/ PhysRevLett.104.230503

[8] Shiv Akshar Yadavalli와 Ravi Kunjwal. 얽힘 지원 원샷 클래식 커뮤니케이션의 맥락성. arXiv:2006.00469, 2020. doi:10.48550/ arXiv.2006.00469.
https://​/​doi.org/​10.48550/​arXiv.2006.00469
arXiv : 2006.00469

[9] Máté Farkas, Maria Balanzó-Juandó, Karol Łukanowski, Jan Kołodyński, Antonio Acín. 벨 비국소성은 표준 장치 독립적인 양자 키 배포 프로토콜의 보안에 충분하지 않습니다. 물리학 Lett., 127:050503, 2021. doi:10.1103/PhysRevLett.127.050503.
https : / /doi.org/10.1103/ PhysRevLett.127.050503

[10] 존 프리 스킬. NISQ 시대와 그 이후의 양자 컴퓨팅. 퀀텀, 2:79, 2018. doi : 10.22331 / q-2018-08-06-79.
https:/​/​doi.org/​10.22331/​q-2018-08-06-79

[11] Frank Arute, Kunal Arya, Ryan Babbush, Dave Bacon, Joseph C Bardin, Rami Barends, Rupak Biswas, Sergio Boixo 등 프로그래밍 가능한 초전도 프로세서를 사용한 양자 우위. Nature, 574(7779):505–510, 2019. doi:10.1038/s41586-019-1666-5.
https:/​/​doi.org/​10.1038/​s41586-019-1666-5

[12] 사이먼 코헨과 에른스트 P 스펙커. 양자역학의 숨겨진 변수 문제. J. 수학. Mech., 17(1):59–87, 1967. doi:10.1512/iumj.1968.17.17004.
https : / /doi.org/ 10.1512 / iumj.1968.17.17004

[13] Juan Bermejo-Vega, Nicolas Delfosse, Dan E Browne, Cihan Okay, Robert Raussendorf. 큐비트를 사용한 양자 계산 모델의 리소스로서의 맥락성. 물리학 Lett., 119:120505, 2017. doi:10.1103/PhysRevLett.119.120505.
https : / /doi.org/10.1103/ PhysRevLett.119.120505

[14] 존 벨. 아인슈타인-포돌스키-로젠 역설에 대하여. Physics, 1(RX-1376):195–200, 1964. doi:10.1103/ PhysicsPhysiqueFizika.1.195.
https : / /doi.org/10.1103/ PhysicsPhysiqueFizika.1.195

[15] 존 S 벨. 양자 역학의 숨겨진 변수 문제. 목사 모드. Phys., 38:447–452, 1966. doi:10.1103/RevModPhys.38.447.
https : / /doi.org/10.1103/ RevModPhys.38.447

[16] 앤드류 M. 글리슨 Hilbert 공간의 닫힌 부분 공간에 대한 측정입니다. 인디애나 대학교 수학. J, 6:885, 1957. doi:10.1512/iumj.1957.6.56050.
https : / /doi.org/ 10.1512 / iumj.1957.6.56050

[17] 로버트 W. 스피켄스 준양자화: 인식적 제한이 있는 고전 통계 이론, 83-135페이지. Springer Netherlands, Dordrecht, 2016. doi:10.1007/ 978-94-017-7303-4_4.
https:/​/​doi.org/​10.1007/​978-94-017-7303-4_4

[18] Ravi Kunjwal과 Robert W Spekkens. Kochen-Specker 정리에서 결정론을 가정하지 않은 비맥락성 불평등까지. 물리학 Lett., 115:110403, 2015. doi:10.1103/PhysRevLett.115.110403.
https : / /doi.org/10.1103/ PhysRevLett.115.110403

[19] Ravi Kunjwal과 Robert W Spekkens. Kochen-Specker 정리의 통계적 증명에서 노이즈에 강인한 비맥락성 불평등까지. 물리학 A, 97:052110, 2018. doi:10.1103/ PhysRevA.97.052110.
https : / /doi.org/10.1103/ PhysRevA.97.052110

[20] Alexander A Klyachko, M Ali Can, Sinem Binicioğlu 및 Alexander S Shumovsky. Spin-1 시스템의 숨겨진 변수에 대한 간단한 테스트. 물리학 Lett., 101:020403, 2008. doi:10.1103/PhysRevLett.101.020403.
https : / /doi.org/10.1103/ PhysRevLett.101.020403

[21] 로버트 W. 스피켄스 준비, 변환 및 언샵 측정을 위한 상황. 물리학 A, 71:052108, 2005. doi:10.1103/PhysRevA.71.052108.
https : / /doi.org/10.1103/ PhysRevA.71.052108

[22] 라비 쿤즈왈과 시바시 고쉬. 큐비트에 대한 측정 컨텍스트의 최소 상태 종속 증명입니다. 물리학 A, 89:042118, 2014. doi:10.1103/PhysRevA.89.042118.
https : / /doi.org/10.1103/ PhysRevA.89.042118

[23] 라비 쿤즈왈. 코헨-스펙커 정리를 넘어서는 맥락성. arXiv:1612.07250, 2016. doi:10.48550/ arXiv.1612.07250.
https://​/​doi.org/​10.48550/​arXiv.1612.07250
arXiv : 1612.07250

[24] 폴 부시. 양자 상태 및 일반화된 관측 가능: Gleason 정리의 간단한 증거. 물리. Lett., 91:120403, 2003. doi:10.1103/ physrevlett.91.120403.
https : / //doi.org/10.1103/ physrevlett.91.120403

[25] Carlton M Caves, Christopher A Fuchs, Kiran K Manne, Joseph M Renes. 일반화된 측정을 위한 양자 확률 규칙의 글리슨 유형 파생. 설립하다. Phys., 34:193–209, 2004. doi:10.1023/ b:foop.0000019581.00318.a5.
https:// / doi.org/ 10.1023/ b:foop.0000019581.00318.a5

[26] 빅토리아 J 라이트와 스테판 웨이거트. 투영 측정의 혼합을 기반으로 하는 큐비트에 대한 글리슨 유형 정리. J. Phys. A, 52:055301, 2019. doi:10.1088/ 1751-8121/ aaf93d.
https:// / doi.org/ 10.1088/ 1751-8121/ aaf93d

[27] 놀란 R 월러치 얽히지 않은 Gleason의 정리. Contemp Math, 305:291–298, 2002. doi:10.1090/ conm/ 305/ 05226.
https : / /doi.org/10.1090/conm/305/05226

[28] Charles H Bennett, David P DiVincenzo, Christopher A Fuchs, Tal Mor, Eric Rains, Peter W Shor, John A Smolin, William K Wootters. 얽힘이 없는 양자 비국소성. 물리학 A, 59:1070–1091, 1999. doi:10.1103/PhysRevA.59.1070.
https : / /doi.org/10.1103/ PhysRevA.59.1070

[29] 데이비드 N 머민. 숨겨진 변수와 John Bell의 두 가지 정리. 목사 모드. Phys., 65:803–815, 1993. doi:10.1103/RevModPhys.65.803.
https : / /doi.org/10.1103/ RevModPhys.65.803

[30] 애셔 페레스. 코헨-스펙커 정리의 두 가지 간단한 증명. J. Phys. A, 24(4):L175, 1991. doi:10.1088/0305-4470/24/4/003.
https:/​/​doi.org/​10.1088/​0305-4470/​24/​4/​003

[31] 애셔 페레스. 양자 측정 결과가 호환되지 않습니다. 물리학 레트 사람. 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

[32] Antonio Acín, Tobias Fritz, Anthony Leverrier, Ana Belén Sainz. 비국소성과 맥락성에 대한 조합적 접근. 공동. 수학. Phys., 334(2):533–628, 2015. doi:10.1007/s00220-014-2260-1.
https:/​/​doi.org/​10.1007/​s00220-014-2260-1

[33] 라비 쿤잘. Cabello-Severini-Winter 프레임 워크를 넘어서 : 측정의 선명도없이 맥락을 이해합니다. 퀀텀, 3 : 184, 2019. doi : 10.22331 / q-2019-09-09-184.
https:/​/​doi.org/​10.22331/​q-2019-09-09-184

[34] 라비 쿤즈왈. Kochen-Specker 정리의 논리적 증명으로부터의 환원 불가능한 비맥락적 불평등에 대한 하이퍼그래프 프레임워크. Quantum, 4:219, 2020. doi:10.22331/q-2020-01-10-219.
https:/​/​doi.org/​10.22331/​q-2020-01-10-219

[35] Ehud Hrushovski와 Itamar Pitowsky. Kochen과 Specker의 정리의 일반화와 Gleason의 정리의 효율성. 역사 및 과학 철학 연구 파트 B: 현대 물리학의 역사 및 철학 연구, 35(2):177–194, 2004. doi:10.1016/j.shpsb.2003.10.002.
https : / /doi.org/ 10.1016 / j.shpsb.2003.10.002

[36] 린 첸과 드라고미르 Z 조코비치. 50개 큐비트의 직교 제품 기반. J. Phys. A, 39(395301):2017, 10.1088. doi:1751/8121-8546/aaXNUMX.
https : / /doi.org/ 10.1088 / 1751-8121 / aa8546

[37] 매튜 S 라이퍼. 양자 상태는 진짜인가? $psi$-ontology 정리에 대한 확장된 검토. Quanta, 3(1):67–155, 2014. doi:10.12743/quanta.v3i1.22.
https : / /doi.org/ 10.12743 / quanta.v3i1.22

[38] Matthew S Leifer와 Owen JE Maroney. 양자 상태와 맥락에 대한 최대한 인식론적인 해석. 물리학 Lett., 110:120401, 2013. doi:10.1103/PhysRevLett.110.120401.
https : / /doi.org/10.1103/ PhysRevLett.110.120401

[39] 라비 쿤즈왈. Specker의 시나리오에서 Fine의 정리, 비맥락성 및 상관 관계. 물리학 A, 91:022108, 2015. doi:10.1103/PhysRevA.91.022108.
https : / /doi.org/10.1103/ PhysRevA.91.022108

[40] Tomáš Gonda, Ravi Kunjwal, David Schmid, Elie Wolfe, Ana Belén Sainz. 거의 양자 상관 관계는 Specker의 원리와 일치하지 않습니다. 2:87. doi:10.22331/q-2018-08-27-87.
https:/​/​doi.org/​10.22331/​q-2018-08-27-87

[41] 아서 파인. 숨겨진 변수, 결합 확률 및 벨 불평등. 물리학 Lett., 48:291–295, 1982. doi:10.1103/physrevlett.48.291.
https : / //doi.org/10.1103/ physrevlett.48.291

[42] 아서 파인. 공동 분포, 양자 상관 관계 및 통근 관측 가능 항목. J. 수학. Phys., 23(7):1306–1310, 1982. doi:10.1063/1.525514.
https : / /doi.org/ 10.1063 / 1.525514

[43] 삼손 아브람스키와 아담 브란덴부르거. 비국소성과 맥락성의 다발-이론적 구조. New J. Phys., 13(11):113036, 2011. doi:10.1088/1367-2630/13/11/113036.
https:/​/​doi.org/​10.1088/​1367-2630/​13/​11/​113036

[44] 라파엘 차베스와 토비아스 프리츠. 국소적 사실주의와 비맥락성에 대한 엔트로피적 접근. 물리학 A, 85:032113, 2012. doi:10.1103/PhysRevA.85.032113.
https : / /doi.org/10.1103/ PhysRevA.85.032113

[45] Remigiusz Augusiak, Tobias Fritz, Ma Kotowski, Mi Kotowski, Marcin Pawłowski, Maciej Lewenstein, Antonio Acín. 큐비트 확장 불가능한 제품 기반에서 양자 위반이 없는 긴밀한 벨 불평등. 물리학 A, 85(4):042113, 2012. doi:10.1103/physreva.85.042113.
https : / /doi.org/10.1103/ physreva.85.042113

[46] 빅토리아 J 라이트와 라비 쿤즈왈. 페레스 임베딩. GitHub 저장소, 2021. URL: https:/ / github.com/ vickyjwright/ embeddingperes.
https://github.com/vickyjwright/embeddingperes

[47] Daniel McNulty, Bogdan Pammer, Stefan Weigert. 여러 qudit에 대한 상호 공평한 제품 기반. J. 수학. Phys., 57(3):032202, 2016. doi:10.1063/1.4943301.
https : / /doi.org/ 10.1063 / 1.4943301

[48] David Schmid, Haoxing Du, John H Selby 및 Matthew F Pusey. 안정화 장치 하위 이론의 유일한 비맥락적 모델은 Gross의 것입니다. 물리학 Lett., 129:120403, 2021 doi:10.1103/ PhysRevLett.129.120403.
https : / /doi.org/10.1103/ PhysRevLett.129.120403

[49] 다니엘 고테스만. 양자 컴퓨터의 하이젠베르크 표현. Group22에서: 물리학의 그룹 이론적 방법에 관한 XXII 국제 콜로키움의 절차, 32–43페이지. Cambridge, MA, International Press, 1998. doi:10.48550/ arXiv.quant-ph/9807006.
https://​/​doi.org/​10.48550/​arXiv.quant-ph/​9807006
arXiv : 퀀트 -PH / 9807006

[50] Scott Aaronson과 Daniel Gottesman. 스태빌라이저 회로의 향상된 시뮬레이션. 물리학 A, 70:052328, 2004. doi:10.1103/PhysRevA.70.052328.
https : / /doi.org/10.1103/ PhysRevA.70.052328

[51] 아단 카베요, 시모네 세베리니, 안드레아스 윈터. 양자 상관 관계에 대한 그래프 이론적 접근. 물리학 Lett., 112:040401, 2014. doi:10.1103/PhysRevLett.112.040401.
https : / /doi.org/10.1103/ PhysRevLett.112.040401

[52] 라인하르트 F 베르너. 숨겨진 변수 모델을 허용하는 Einstein-Podolsky-Rosen 상관 관계가 있는 양자 상태. 물리학 A, 40:4277–4281, 1989. doi:10.1103/PhysRevA.40.4277.
https : / /doi.org/10.1103/ PhysRevA.40.4277

[53] 마이클 레드헤드. 불완전성, 비국소성 및 사실성: 양자역학 철학의 서막. 옥스포드 대학 출판부, 1987.

[54] Tobias Fritz, Ana Belén Sainz, Remigiusz Augusiak, J Bohr Brask, Rafael Chaves, Anthony Leverrier, Antonio Acín. 양자 상관관계에 대한 다자간 원칙으로서의 로컬 직교성. 네이처 커뮤니케이션, 4(1):1–7, 2013. doi:10.1038/ ncomms3263.
https : / /doi.org/ 10.1038 / ncomms3263

[55] Julien Degorre, Marc Kaplan, Sophie Laplante, Jérémie Roland. 비 신호 분포의 통신 복잡성. In Mathematical Foundations of Computer Science 2009, 페이지 270–281, Berlin, Heidelberg, 2009. Springer Berlin Heidelberg. doi:10.1007/978-3-642-03816-7_24.
https:/​/​doi.org/​10.1007/​978-3-642-03816-7_24

인용

[1] Ravi Kunjwal과 Ämin Baumeler, “지역성을 위한 거래 인과관계”, arXiv : 2202.00440.

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

On Crossref의 인용 서비스 인용 작품에 대한 데이터가 없습니다 (최종 시도 2023-01-20 13:15:16).

타임 스탬프 :

더보기 양자 저널