複合システムにおける文脈性: Kochen-Specker の定理におけるエンタングルメントの役割

複合システムにおける文脈性: Kochen-Specker の定理におけるエンタングルメントの役割

ビクトリアJライト1 とラヴィ・クンジャワル2

1ICFO-Institut de Ciencies Fotoniques、バルセロナ科学技術研究所、08860 Castelldefels、スペイン
2Centre for Quantum Information and Communication、Ecole polytechnique de Bruxelles、CP 165、Universitélibre de Bruxelles、1050ブリュッセル、ベルギー

この論文を興味深いと思うか、議論したいですか? SciRateを引用するかコメントを残す.

抽象

Kochen-Specker (KS) の定理は、単一量子系の非古典性を明らかにします。 対照的に、ベルの定理ともつれは、複合量子システムの非古典性に関係しています。 したがって、非互換性とは異なり、エンタングルメントとベルの非局所性は、KS コンテキスト性を示すために必要ではありません。 ただし、ここでは、マルチキュービット システムの場合、エンタングルメントと非局所性の両方が、コッヘン スペッカーの定理の証明に不可欠であることがわかります。 まず、絡み合っていない測定値 (ローカル測定値の厳密なスーパーセット) では、マルチキュービット システムの KS 定理の論理的な (状態に依存しない) 証明が得られないことを示します。 特に、固有状態が「もつれのない非局所性」を示す、もつれのない非局所的な測定値は、そのような証明には不十分です。 これはまた、Wallach [Contemp Math, 305: 291-298 (2002)] によって示されているように、マルチキュービット システムでグリーソンの定理を証明するには、必然的にエンタングル プロジェクションが必要であることを意味します。 次に、射影測定でベルの不等式に違反できる場合にのみ、マルチキュービット状態が KS 定理の統計的 (状態依存) 証明を認めることを示します。 また、KS 集合の新しい例を構築することにより、マルチ量子システムにおけるエンタングルメントと Kochen-Specker および Gleason の定理との関係をより一般的に確立します。 最後に、状態注入による量子計算のパラダイム内のリソースとしてのマルチキュービットのコンテキスト性の役割に、私たちの結果がどのように新しい光を当てるかについて説明します。

[埋め込まれたコンテンツ]

光の光子などの非常に小さな物理系は、量子論が出現する前に使用された物理科学者の理論と矛盾する方法で動作します。 量子論は、これらの非常に小さなシステムを記述するために開発され、非常に成功しています。 大まかに言えば、しばしば古典理論と呼ばれる量子論より前の理論はすべて非文脈的です。 システムの位置などの観測可能なすべてのプロパティが常に明確な値を持ち、このプロパティが測定されるたびにこの値を見つけることができると仮定できる場合、理論は非文脈的です。 Kochen-Specker の定理は、量子論の予測が非文脈的な方法では説明できないことを示しています。

量子論には、古典的な理論とは他にも大きな違いがあり、ベルの非局所性ともつれの XNUMX つの顕著な例があります。 単一量子系を含む上記のコッヘン・スペッカーの文脈性とは異なり、ベルの非局所性とエンタングルメントは、複数の量子系を一緒に研究する場合にのみ存在する特性です。 ただし、この作業では、(量子コンピューターのように)複数のキュービットのシステムの場合、ベルの非局所性とエンタングルメントの両方がコッヘンスペッカーのコンテキスト性の存在に不可欠であることを示しています。

物理学の基礎との関連性だけでなく、私たちの発見が量子コンピューティングにおける量子の利点のより良い理解にどのようにつながるかについても議論します。 量子の優位性は、量子コンピューターと古典コンピューターをそれぞれ説明する量子物理学と古典物理学の違いから生じる必要があります。 したがって、私たちが研究しているマルチキュービット システムの非古典性を理解することは、量子の利点の力を活用する道筋を示します。

►BibTeXデータ

►参照

【1] エルヴィン・シュレーディンガー。 分離されたシステム間の確率関係の議論。 ケンブリッジ哲学協会の数学議事録、第 31 巻、555 ~ 563 ページ。 ケンブリッジ大学出版局、1935 年。doi:10.1017/ S0305004100013554。
https:/ / doi.org/ 10.1017 / S0305004100013554

【2] ノア・リンデンとサンドゥ・ポペスク。 良いダイナミクスと悪い運動学: エンタングルメントは量子計算に必要か? 物理。 Rev. Lett., 87:047901, 2001. doi:10.1103/ PhysRevLett.87.047901.
https:/ / doi.org/ 10.1103 / PhysRevLett.87.047901

【3] Animesh Datta と Guifre Vidal。 混合状態量子計算におけるエンタングルメントと相関の役割。 物理。 Rev. 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] トビー・S・キュービット、デビー・レオン、ウィリアム・マシューズ、アンドレアス・ウィンター。 エンタングルメントによるエラーゼロの古典的コミュニケーションの改善。 物理。 Rev. 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] マテ・ファルカス、マリア・バランソ=フアンド、カロル・ウカノフスキ、ヤン・コウォディンスキ、アントニオ・アシン。 ベルの非局所性は、標準のデバイスに依存しない量子鍵配布プロトコルのセキュリティには十分ではありません。 物理。 Rev. Lett., 127:050503, 2021. doi:10.1103/ PhysRevLett.127.050503.
https:/ / doi.org/ 10.1103 / PhysRevLett.127.050503

【10] ジョン・プレスキル。 NISQ時代以降の量子コンピューティング。 Quantum、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.Math. Mech., 17(1):59–87, 1967. doi:10.1512/ iumj.1968.17.17004.
https:/ / doi.org/ 10.1512 / iumj.1968.17.17004

【13] フアン・ベルメホ・ベガ、ニコラス・デルフォセ、ダン・E・ブラウン、シハン・オーケー、ロバート・ラウセンドルフ。 量子ビットを使用した量子計算モデルのリソースとしてのコンテキスト性。 物理。 Rev. 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・ベル。 量子力学における隠れ変数の問題について。 Rev.Mod. Phys., 38:447–452, 1966. doi:10.1103/ RevModPhys.38.447.
https:/ / doi.org/ 10.1103 / RevModPhys.38.447

【16] アンドリュー・M・グリーソン。 ヒルベルト空間の閉部分空間を測定します。 インディアナ大学算数。 J, 6:885, 1957. doi:10.1512/ iumj.1957.6.56050.
https:/ / doi.org/ 10.1512 / iumj.1957.6.56050

【17] ロバート・W・スペッケンズ。 準量子化: 認識論的制限を伴う古典的統計理論、83 ~ 135 ページ。 スプリンガー オランダ、ドルドレヒト、2016 年。
https:/​/​doi.org/​10.1007/​978-94-017-7303-4_4

【18] Ravi Kunjwal と Robert W Spekkens。 Kochen-Specker の定理から、決定論を前提としない非文脈性の不等式まで。 物理。 Rev. 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 の定理の統計的証明から、ノイズに強い非文脈性の不等式まで。 物理。 Rev. 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 システムの隠し変数の簡単なテスト。 物理。 Rev. Lett., 101:020403, 2008. doi:10.1103/ PhysRevLett.101.020403.
https:/ / doi.org/ 10.1103 / PhysRevLett.101.020403

【21] ロバート・W・スペッケンズ。 準備、変換、アンシャープ測定のコンテキスト性。 物理。 Rev. A、71:052108、2005 年。doi:10.1103/ PhysRevA.71.052108。
https:/ / doi.org/ 10.1103 / PhysRevA.71.052108

【22] Ravi Kunjwal と Sibasish Ghosh。 キュービットの測定コンテキスト性の最小の状態依存証明。 物理。 Rev. 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] ポールブッシュ。 量子状態と一般化された観測量:グリーソンの定理の簡単な証明。 物理学Rev. Lett。、91:120403、2003。doi:10.1103 /physrevlett.91.120403。
https:/ / doi.org/ 10.1103 / physrevlett.91.120403

【25] カールトンMケイブス、クリストファーAフックス、キランKマン、ジョセフMレネス。 一般化された測定のための量子確率規則のグリーソン型導出。 見つかった。 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・ウォラック。 もつれのないグリーソンの定理。 Contemp Math, 305:291–298, 2002. doi:10.1090/ conm/ 305/ 05226.
https:/ / doi.org/ 10.1090 / conm / 305/05226

【28] チャールズ・H・ベネット、デビッド・P・ディヴィンセンゾ、クリストファー・A・フックス、タル・モー、エリック・レインズ、ピーター・W・ショー、ジョン・A・スモーリン、ウィリアム・K・ウーターズ。 もつれのない量子非局所性。 物理。 Rev. A, 59:1070–1091, 1999. doi:10.1103/ PhysRevA.59.1070.
https:/ / doi.org/ 10.1103 / PhysRevA.59.1070

【29] デビッド・N・マーミン. 隠し変数と John Bell の 65 つの定理。 Rev.Mod. Phys., 803:815–1993, 10.1103. doi:65.803/ RevModPhys.XNUMX.
https:/ / doi.org/ 10.1103 / RevModPhys.65.803

【30] アッシャー・ペレス。 Kochen-Specker の定理の 24 つの簡単な証明。 J.Phys. A, 4(175):L1991, 10.1088. doi:0305/ 4470-24/ 4/ 003/ XNUMX.
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] アントニオ・アシン、トビアス・フリッツ、アンソニー・レヴェリエ、アナ・ベレン・サインツ。 非局所性と文脈性への組み合わせ的アプローチ。 通信します。 算数。 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フレームワークを超えて:測定の鋭さなしで文脈性を理解する。 Quantum、3:184、2019。doi:10.22331 / q-2019-09-09-184。
https:/​/​doi.org/​10.22331/​q-2019-09-09-184

【34] ラヴィ・クンジャワル。 Kochen-Specker の定理の論理的証明からの既約の非文脈性不等式のハイパーグラフ フレームワーク。 量子、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$-オントロジー定理の拡張レビュー。 クォンタ、3(1):67–155、2014. doi:10.12743/ quanta.v3i1.22.
https:/ / doi.org/ 10.12743 / quanta.v3i1.22

【38] マシュー・S・ライファーとオーウェン・JE・マロニー。 量子状態と文脈性の最大限の認識論的解釈。 物理。 Rev. Lett., 110:120401, 2013. doi:10.1103/ PhysRevLett.110.120401.
https:/ / doi.org/ 10.1103 / PhysRevLett.110.120401

【39] ラヴィ・クンジャワル。 Specker のシナリオにおける Fine の定理、非文脈性、および相関。 物理。 Rev. A, 91:022108, 2015. doi:10.1103/ PhysRevA.91.022108.
https:/ / doi.org/ 10.1103 / PhysRevA.91.022108

【40] トマーシュ・ゴンダ、ラヴィ・クニワル、デビッド・シュミット、エリー・ウルフ、アナ・ベレン・サインツ。 ほとんどの量子相関は、スペッカーの原理と一致しません。 2:87。 doi:10.22331/ q-2018-08-27-87.
https:/​/​doi.org/​10.22331/​q-2018-08-27-87

【41] アーサー・ファイン。 隠れ変数、同時確率、およびベルの不等式。 物理。 Rev. Lett., 48:291–295, 1982. doi:10.1103/ physrevlett.48.291.
https:/ / doi.org/ 10.1103 / physrevlett.48.291

【42] アーサー・ファイン。 結合分布、量子相関、可換観測量。 J.Math. 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] ラファエル・チャベスとトビアス・フリッツ。 ローカルリアリズムと非文脈性へのエントロピーアプローチ。 物理。 Rev. 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。 量子ビットの拡張不可能な製品ベースからの量子違反のない厳密なベルの不等式。 物理。 Rev. 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] ダニエル・マクナルティ、ボグダン・パマー、ステファン・ワイガート。 複数の qudits の相互に偏りのない製品ベース。 J.Math. 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。 スタビライザーのサブセオリーの唯一の非文脈モデルはグロスのモデルです。 物理。 Rev. Lett., 129:120403, 2021 doi:10.1103/ PhysRevLett.129.120403.
https:/ / doi.org/ 10.1103 / PhysRevLett.129.120403

【49] ダニエル・ゴッテスマン量子コンピューターのハイゼンベルグ表現。 Group22: Proceedings of the XXII International Colloquium on Group Theoretical Methods in Physics、32 ~ 43 ページ。 ケンブリッジ、マサチューセッツ州、インターナショナル プレス、1998 年。
https:/ / doi.org/ 10.48550 / arXiv.quant-ph / 9807006
arXiv:quant-ph / 9807006

【50] スコット・アーロンソンとダニエル・ゴッテスマン。 スタビライザー回路のシミュレーションが改善されました。 物理。 Rev. A、70:052328、2004 年。doi:10.1103/ PhysRevA.70.052328。
https:/ / doi.org/ 10.1103 / PhysRevA.70.052328

【51] アダン・カベロ、シモーネ・セヴェリーニ、アンドレアス・ウィンター。 量子相関へのグラフ理論的アプローチ。 物理。 Rev. Lett., 112:040401, 2014. doi:10.1103/ PhysRevLett.112.040401.
https:/ / doi.org/ 10.1103 / PhysRevLett.112.040401

【52] ラインハルト・F・ヴェルナー。 隠れ変数モデルを認めるアインシュタイン-ポドルスキー-ローゼン相関を伴う量子状態。 物理。 Rev. A, 40:4277–4281, 1989. doi:10.1103/ PhysRevA.40.4277.
https:/ / doi.org/ 10.1103 / PhysRevA.40.4277

【53] マイケル・レッドヘッド。 不完全性、非局所性、リアリズム: 量子力学の哲学へのプロレゴメノン。 オックスフォード大学出版局、1987 年。

【54] トビアス・フリッツ、アナ・ベレン・サインツ、レミギウス・アウグシアク、J・ボーア・ブラスク、ラファエル・チャベス、アンソニー・レバーリエ、アントニオ・アシン。 量子相関のマルチパート原理としてのローカル直交性。 Nature Communications、4(1):1–7、2013 年。doi:10.1038/ ncomms3263。
https:/ / doi.org/ 10.1038 / ncomms3263

【55] ジュリアン・デゴール、マーク・カプラン、ソフィー・ラプラント、ジェレミー・ローランド。 非シグナリング ディストリビューションの通信の複雑さ。 In Mathematical Foundations of Computer Science 2009, pages 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)。

タイムスタンプ:

より多くの 量子ジャーナル