一般化された非文脈的な存在論モデルの構造定理

一般化された非文脈的な存在論モデルの構造定理

デビッドシュミット1,2,3、ジョン・H・セルビー1、マシュー・F・ピューシー4、ロバート・W・スペケンズ2

1量子技術理論国際センター、グダニスク大学、80-308グダニスク、ポーランド
2理論物理学周辺研究所、31 Caroline Street North、ウォータールー、オンタリオ州カナダ N2L 2Y5
3ウォータールー大学ウォータールー大学オンタリオN2L 3G1、カナダ、量子コンピューティング研究所および物理学と天文学科
4ヨーク大学数学学部、ヘスリントン、ヨーク YO10 5DD、英国

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

抽象

操作理論の予測が古典的に説明可能であるとみなされるべき場合の基準があると便利です。ここでは、理論が一般化された非文脈的な存在論的モデルを認めるという基準を採用します。一般化された非文脈性に関する既存の研究は、単純な構造を持つ実験シナリオ、通常は準備と測定のシナリオに焦点を当ててきました。ここでは、存在論的モデルのフレームワークと一般化された非文脈性の原理を、任意の構成シナリオに正式に拡張します。私たちは、プロセス理論のフレームワークを活用して、いくつかの合理的な仮定の下で、トモグラフィー的に局所的な操作理論のすべての一般化された非文脈的な存在論的モデルが、驚くほど厳格で単純な数学的構造を持っていることを証明します。つまり、それは、過完全ではないフレーム表現に対応しています。 。この定理の 1 つの結果は、そのようなモデルで可能なオンティック状態の最大数は、関連する一般化された確率論の次元によって与えられるということです。この制約は、非文脈性のノーゴー定理を生成する場合や、実験的に文脈性を証明するための手法に役立ちます。その過程で、古典性のさまざまな概念の等価性に関する既知の結果を、準備-測定シナリオから任意の構成シナリオまで拡張します。具体的には、操作理論の古典的説明可能性に関する以下の 3 つの概念間の対応関係を証明します: (i) それに対する非文脈的な存在論モデルの存在、(ii) それが定義する一般化確率理論に対する正の準確率表現の存在、および ( iii) それが定義する一般化された確率理論の存在論的モデルの存在。

►BibTeXデータ

►参照

【1] RW Spekkens、Phys。 Rev.A 71、052108(2005)。
https:/ / doi.org/ 10.1103 / PhysRevA.71.052108

【2] RW スペケンズ、物理学。レット牧師。 101、020401 (2008)。
https:/ / doi.org/ 10.1103 / PhysRevLett.101.020401

【3] C.フェリーおよびJ.エマーソン、J.Phys. A: 数学です。理論。 41、352001 (2008)。
https:/​/​doi.org/​10.1088/​1751-8113/​41/​35/​352001

【4] D. Schmid、JH Selby、E. Wolfe、R. Kunjwal、および RW Spekkens、PRX Quantum 2、010331 (2021a)。
https:/ / doi.org/ 10.1103 / PRXQuantum.2.010331

【5] F. シャハンデ、PRX Quantum 2、010330 (2021)。
https:/ / doi.org/ 10.1103 / PRXQuantum.2.010330

【6] J.H.Selby、D.Schmid、E.Wolfe、AB Sainz、R.Kunjwal、およびR.W.Spekkens、Phys.レット牧師。 130、230201 (2023a)。
https:/ / doi.org/ 10.1103 / PhysRevLett.130.230201

【7] J.H.Selby、D.Schmid、E.Wolfe、AB Sainz、R.Kunjwal、およびR.W.Spekkens、Phys. Rev. A 107、062203 (2023b)。
https:/ / doi.org/ 10.1103 / PhysRevA.107.062203

【8] JS Bell、Physics 1、195(1964)。
https:/ / doi.org/ 10.1103 / PhysicsPhysiqueFizika.1.195

【9] N. Brunner、D. Cavalcanti、S. Pironio、V. Scarani、S. Wehner、Rev. Mod。 物理学。 86、419 (2014)。
https:/ / doi.org/ 10.1103 / RevModPhys.86.419

【10] RW Spekkens、arXiv:1909.04628 [physics.hist-ph] (2019)。
arXiv:1909.04628

【11] MD マズレク、MF ピューシー、R. クンジュワル、KJ レッシュ、RW スペケンス、ナット。共通。 7、11780 (2016)。
https:/ / doi.org/ 10.1038 / ncomms11780

【12] RW スペケンズ、DH ブザコット、AJ キーン、B. トナー、GJ プライド、物理学。レット牧師。 102、010401 (2009)。
https:/ / doi.org/ 10.1103 / PhysRevLett.102.010401

【13] A. Chailloux、I. Kerenidis、S. Kundu、および J. Sikora、New J. Phys. 18、045003 (2016)。
https:/​/​doi.org/​10.1088/​1367-2630/​18/​4/​045003

【14] A. アンバイニス、M. バニク、A. チャトゥルヴェディ、D. クラフチェンコ、および A. ライ、クアント。情報プロセス。 18、111 (2019)。
https:/​/​doi.org/​10.1007/​s11128-019-2228-3

【15] D. Saha、P. Horodecki、M. Pawłowski、New J. Phys. 21、093057 (2019)。
https:/ / doi.org/ 10.1088 / 1367-2630 / ab4149

【16] D. サハおよび A. チャトゥルヴェディ、物理学。 Rev. A 100、022108 (2019)。
https:/ / doi.org/ 10.1103 / PhysRevA.100.022108

【17] D.シュミットおよびR.W.スペケンズ、Phys. Rev. X 8、011015 (2018)。
https:/ / doi.org/ 10.1103 / PhysRevX.8.011015

【18] M. Lostaglio および G. Senno、Quantum 4、258 (2020)。
https:/​/​doi.org/​10.22331/​q-2020-04-27-258

【19] D. Schmid、H. Du、JH Selby、MF Pusey、arXiv:2101.06263 (2021b)。
https:/ / doi.org/ 10.1103 / PhysRevLett.129.120403
arXiv:2101.06263

【20] P.Lillystone、J.J.Wallman、およびJ.Emerson、Phys.レット牧師。 122、140405 (2019)。
https:/ / doi.org/ 10.1103 / PhysRevLett.122.140405

【21] MS ライファーと RW スペケンズ、物理学。レット牧師。 95、200405 (2005)、arXiv:quant-ph/0412178。
https:/ / doi.org/ 10.1103 / PhysRevLett.95.200405
arXiv:quant-ph / 0412178

【22] MF Pusey と MS Leifer、第 12 回量子物理学と論理に関する国際ワークショップの議事録、Electron。手順理論。計算します。サイエンス、Vol. 195(2015)295–306ページ。
https:/ / doi.org/ 10.4204 / EPTCS.195.22

【23] MF ピューシー、物理学。レット牧師。 113、200401 (2014)。
https:/ / doi.org/ 10.1103 / PhysRevLett.113.200401

【24] R. Kunjwal、M. Lostaglio、および MF Pusey、物理学。 Rev. A 100、042116 (2019)。
https:/ / doi.org/ 10.1103 / PhysRevA.100.042116

【25] B. コッケと A. キッシンジャー、『働く哲学者のカテゴリー』E. ランドリー編 (オックスフォード大学出版局、2017 年)、286 ~ 328 ページ。
https:/ / doi.org/ 10.1093 / oso / 9780198748991.003.0012

【26] B. Coecke および A. Kissinger、『量子過程の描写: 量子理論と図式推論の最初のコース』 (ケンブリッジ大学出版局、2017 年)。
https:/ / doi.org/ 10.1017 / 9781316219317

【27] JH Selby、CM Scandolo、B. Coecke、Quantum 5、445 (2021)。
https:/​/​doi.org/​10.22331/​q-2021-04-28-445

【28] S. Gogioso と CM Scandolo、第 14 回量子物理学と論理に関する国際ワークショップの議事録、Electron。手順理論。計算します。サイエンス、Vol. 266(2018)367–385ページ。
https:/ / doi.org/ 10.4204 / EPTCS.266.23

【29] L. Hardy、arXiv:quant-ph / 0101012(2001)。
arXiv:quant-ph / 0101012

【30] J.バレット、Phys。 Rev. A 75、032304(2007)。
https:/ / doi.org/ 10.1103 / PhysRevA.75.032304

【31] L. Hardy、arXiv:1104.2066 [quant-ph] (2011)。
arXiv:1104.2066

【32] G. Chiribella、GM D'Ariano、およびP. Perinotti、Phys。 改訂A 81、062348(2010)。
https:/ / doi.org/ 10.1103 / PhysRevA.81.062348

【33] G. Chiribella、GM D'Ariano、および P. Perinotti、Physical Review A 84、012311 (2011)。
https:/ / doi.org/ 10.1103 / PhysRevA.84.012311

【34] G. Chiribella、GM DAriano、および P. Perinotti、『量子理論: 情報の基礎とフォイル』(Springer、2016)、171 ~ 221 ページ。
https:/ / doi.org/ 10.48550 / arXiv.1506.00398

【35] D. Schmid、JH Selby、および RW Spekkens、arXiv:2009.03297 (2020)。
arXiv:2009.03297

【36] A. Gheorghiu および C. Heunen、量子物理学および論理に関する第 16 回国際ワークショップ議事録、Electron。手順理論。計算します。サイエンス、Vol. 318 (2020)、196–212 ページ。
https:/ / doi.org/ 10.4204 / EPTCS.318.12

【37] J. van de Wetering、量子物理学および論理に関する第 14 回国際ワークショップ議事録、Electron。手順理論。計算します。サイエンス、Vol. 266(2018)179–196ページ。
https:/ / doi.org/ 10.4204 / EPTCS.266.12

【38] C. Ferrie および J. Emerson、New J. Phys. 11、063040 (2009)。
https:/​/​doi.org/​10.1088/​1367-2630/​11/​6/​063040

【39] L.ハーディ、スタッド。履歴。フィル。モッド。物理学。 35、267 (2004)。
https:/ / doi.org/ 10.1016 / j.shpsb.2003.12.001

【40] P.-A. Mellies、コンピュータ サイエンス ロジックに関する国際ワークショップ (Springer、2006)、1 ~ 30 ページ。
https:/ / doi.org/ 10.1007 / 11874683_1

【41] G. Chiribella、GM D'Ariano、および P. Perinotti、フィジカル レビュー レター 101、060401 (2008a)。
https:/ / doi.org/ 10.1103 / PhysRevLett.101.060401

【42] G. Chiribella、GM D'Ariano、および P. Perinotti、EPL (Europhysics Letters) 83、30004 (2008b)。
https:/​/​doi.org/​10.1209/​0295-5075/​83/​30004

【43] M. Wilson と G. Chiribella、rm Proceedings 18th International Conference on Quantum Physics and Logic、rm グダニスク、ポーランド、オンライン、7 年 11 月 2021 ~ 343 日、Electronic Proceedings in Theoretical Computer Science、Vol. 2021、C. Heunen および M. Backens 編集 (Open Publishing Association、265)、300 ~ XNUMX ページ。
https:/ / doi.org/ 10.4204 / EPTCS.343.12

【44] T. Fritz および P. Perrone、プログラミング セマンティクスの数学的基礎に関する第 341 回会議 (MFPS XXXIV) の議事録、Electron。メモ理論。計算します。サイエンス、Vol. 2018 (121)、149 – XNUMX ページ。
https:/ / doi.org/ 10.1016 / j.entcs.2018.11.007

【45] S. マクレーン、「働く数学者のためのカテゴリー」、Vol. 5 (シュプリンガー サイエンス & ビジネス メディア、2013)。

【46] G. Chiribella、量子物理学と論理に関する第 11 回ワークショップ議事録、Electron。メモ理論。計算します。サイエンス、Vol. 172 (2014) 1 – 14 ページ。
https:/ / doi.org/ 10.4204 / EPTCS.172.1

【47] MA NielsenおよびIL Chuang、量子計算および量子情報(Cambridge University Press、2010年)。
https:/ / doi.org/ 10.1017 / CBO9780511976667

【48] D. Schmid、K. Ried、RW Spekkens、Phys. Rev. A 100、022112 (2019)。
https:/ / doi.org/ 10.1103 / PhysRevA.100.022112

【49] M. Appleby、CA Fuchs、BC Stacey、および H. Zhu、Eur。物理学。 J.D 71、197 (2017)。
https:/ / doi.org/ 10.1140 / epjd / e2017-80024-y

【50] RW Spekkens、Phys。 Rev.A 75、032110(2007)。
https:/ / doi.org/ 10.1103 / PhysRevA.75.032110

【51] D. Gottesman、物理学における群理論的手法に関する第 22 回国際コロキウム (1999 年)、32 ~ 43 ページ、arXiv:quant-ph/9807006。
arXiv:quant-ph / 9807006

【52] L.ハーディとWKウーッターズ、発見。物理学。 42、454 (2012)。
https:/​/​doi.org/​10.1007/​s10701-011-9616-6

【53] N. ハリガン、T. ルドルフ、および S. アーロンソン、arXiv:0709.1149 (2007)。
arXiv:0709.1149

【54] RW Spekkens、「非文脈性:それをどのように定義すべきか、それが自然である理由、そしてその失敗について何をすべきか」(2017 年)、PIRSA:17070035。
http:/ / pirsa.org/ 17070035

【55] EG Beltrametti および S. Bugajski、J. Phys. A 28、3329 (1995)。
https:/​/​doi.org/​10.1088/​0305-4470/​28/​12/​007

【56] JJ ウォールマンと SD バートレット、物理学。 Rev. A 85、062121 (2012)。
https:/ / doi.org/ 10.1103 / PhysRevA.85.062121

【57] F. Riesz、『高等師範科学史』、Vol. 31 (1914)、9 ~ 14 ページ。

【58] V. Gitton および MP Woods、Quantum 6、732 (2022)。
https:/​/​doi.org/​10.22331/​q-2022-06-07-732

【59] A. カランジャイ、JJ ウォールマン、SD バートレット、arXiv:1802.07744 (2018)。
arXiv:1802.07744

【60] RW Spekkens、『量子理論: 情報基盤とフォイル』G. Chiribella および RW Spekkens 編 (Springer Netherlands、Dordrecht、2016)、83–135 ページ。
https:/​/​doi.org/​10.1007/​978-94-017-7303-4_4

【61] RW スペケンズ著「運動学と力学のパラダイムは因果構造に屈する必要がある」『物理学の基礎を問う: 私たちの基本的な仮定はどれが間違っているのか?』A. アギーレ、B. フォスター、Z. メラリ編 (Springer International Publishing, Cham、2015 年)5 ~ 16 ページ。
https:/​/​doi.org/​10.1007/​978-3-319-13045-3_2

【62] N.ハリガンとRWスペケンズ、発見。物理学。 40、125 (2010)。
https:/​/​doi.org/​10.1007/​s10701-009-9347-0

【63] R・W・スペケンズ、発見。物理学。 44、1125 (2014)。
https:/ / doi.org/ 10.1007 / s10701-014-9833-x

【64] MF ピューシー、J. バレット、T. ルドルフ、ナット。物理学。 8、475 (2012)。
https:/ / doi.org/ 10.1038 / nphys2309

【65] K. Husimi、Proc.物理数学学会日本第 3 シリーズ 22、264 (1940)。
https:/ / doi.org/ 10.11429 / ppmsj1919.22.4_264

【66] RJ グラウバー、物理学。改訂 131、2766 (1963)。
https:/ / doi.org/ 10.1103 / PhysRev.131.2766

【67] ECG スダルシャン、理学。レット牧師。 10、277 (1963)。
https:/ / doi.org/ 10.1103 / PhysRevLett.10.277

【68] KS Gibbons、MJ Hoffman、WK Wootters、物理学。 Rev. A 70、062101 (2004)。
https:/ / doi.org/ 10.1103 / PhysRevA.70.062101

【69] D. グロス、J. Math.物理学。 47、122107 (2006)。
https:/ / doi.org/ 10.1063 / 1.2393152

【70] A.クリシュナ、RWスペケンズ、およびE.ウルフ、New J、Phys。 19、123031 (2017)。
https:/ / doi.org/ 10.1088 / 1367-2630 / aa9168

【71] D. Schmid、RW Spekkens、および E. Wolfe、Phys. Rev. A 97、062103 (2018)。
https:/ / doi.org/ 10.1103 / PhysRevA.97.062103

【72] M. Howard、J. Wallman、V. Veitch、および J. Emerson、Nature 510、351 (2014)。
https:/ / doi.org/ 10.1038 / nature13460

【73] MD Mazurek、MF Pusey、KJ Resch、RW Spekkens、PRX Quantum 2、020302 (2021)。
https:/ / doi.org/ 10.1103 / PRXQuantum.2.020302

によって引用

[1] Costantino Budroni、Adán Cabello、Otfried Gühne、Matthias Kleinmann、Jan-Åke Larsson、「コッヘン・スペッカーの文脈」、 Modern Physics 94 4、045007(2022)のレビュー.

[2]マーティン・プラバラ、「一般的な確率論:序論」、 物理レポート1033、1(2023).

[3]トーマス・D・ギャレー、フラミニア・ジャコミーニ、ジョン・H・セルビー、「量子論を超えた重力場の性質に関するノーゴー定理」、 量子6、779(2022).

[4]ジョンH.セルビー、カルロマリアスキャンドロ、およびボブコッケ、「図式的な仮定からの量子論の再構築」、 arXiv:1802.00367, (2018).

[5] David Schmid、Haoxing Du、John H. Selby、Matthew F. Pusey、「スタビライザー サブセオリーの非文脈モデルの独自性」、 フィジカルレビューレター129 12、120403(2022).

[6] Lorenzo Catani、Matthew Leifer、David Schmid、Robert W. Spekkens、「干渉現象が量子論の本質を捉えていない理由」、 量子7、1119(2023).

[7] Vinicius P. Rossi、David Schmid、John H. Selby、および Ana Belén Sainz、「消失する一貫性とディフェーズに対する最大の堅牢性を備えたコンテキスト性」、 フィジカルレビューA 108 3、032213(2023).

[8] John H. Selby、Elie Wolfe、David Schmid、Ana Belén Sainz、Vinicius P. Rossi、「非古典性をテストするための線形プログラムとオープンソース実装」、 フィジカルレビューレター132 5、050202(2024).

[9] Kieran Flatt、Hanwool Lee、Carles Roch I. Carceller、Jonatan Bohr Brask、Joonwoo Bae、「文脈上の利点と最大信頼差別の認定」、 PRX Quantum 3 3、030337(2022).

[10] Lorenzo Catani、Matthew Leifer、Giovanni Scala、David Schmid、Robert W. Spekkens、「純粋に非古典的な干渉現象学の諸側面」、 フィジカルレビューA 108 2、022207(2023).

[11] Laurens Walleghem、Shashaank Khanna、および Rutvij Bhavsar、「$psi$-ontic モデルの no-go 定理についてのコメント」、 arXiv:2402.13140, (2024).

[12] ジョン H. セルビー、デヴィッド シュミット、エリー ウルフ、アナ ベレン サインツ、ラヴィ クンジュワル、ロバート W. スペケンズ、「矛盾のない文脈」、 フィジカルレビューレター130 23、230201(2023).

[13] John H. Selby、David Schmid、Elie Wolfe、AnaBelénSainz、Ravi Kunjwal、Robert W. Spekkens、「一般化された確率論のアクセス可能な断片、コーンの同等性、および非古典性を目撃するためのアプリケーション」、 フィジカルレビューA 107 6、062203(2023).

[14] Nikolaos Koukoulekidis と David Jennings、「ウィグナー否定性の統計力学から見た魔法状態プロトコルの制約」、 npj量子情報8、42(2022).

[15] ステファノ・ゴジオソとニコラ・ピンツァーニ、「因果関係のトポロジー」、 arXiv:2303.07148, (2023).

[16] Rafael Wagner、Anita Camllini、Ernesto F. Galvão、「マッハツェンダー干渉計におけるコヒーレンスとコンテキスト性」、 量子8、1240(2024).

[17]ロベルト・D・バルディジャオ、ラファエル・ワーグナー、クリスティアーノ・ドゥアルテ、バルバラ・アマラル、マルセロ・テラ・クーニャ、「量子ダーウィニズムの下での非文脈性の出現」、 PRX Quantum 2 3、030351(2021).

[18]ジョンH.セルビー、カルロマリアスキャンドロ、およびボブコッケ、「図式的な仮定からの量子論の再構築」、 量子5、445(2021).

[19] Anubhav Chaturvedi、Máté Farkas、Victoria J. Wright、「文脈性シナリオにおける一連の量子動作の特徴付けと境界付け」、 量子5、484(2021).

[20] ジェイミー・シコラとジョン・H・セルビー、「半無限プログラムの離散化による一般化された確率論におけるコイン投げの不可能性」、 フィジカルレビューリサーチ2 4、043128(2020).

[21] David Schmid、John H. Selby、および Robert W. Spekkens、「一般化された非文脈性に対するいくつかの一般的な反対意見に対処する」、 フィジカルレビューA 109 2、022228(2024).

[22] Rafael Wagner、Rui Soares Barbosa、および Ernesto F. Galvão、「一貫性、非局所性、および文脈性を目の当たりにする不平等」、 arXiv:2209.02670, (2022).

[23] Martin Plávala および Otfried Gühne、「量子もつれの前提条件としての文脈性」、 フィジカルレビューレター132 10、100201(2024).

[24] Giacomo Mauro D'Ariano、Marco Erba、およびPaolo Perinotti、「局所的な識別可能性のない古典性:エンタングルメントと相補性の分離」、 フィジカルレビューA 102 5、052216(2020).

[25] Rafael Wagner、RobertoD.Baldijão、Alisson Tezzin、およびBárbaraAmaral、「リソース理論の観点を使用して、準備と測定のシナリオの量子一般化コンテキストを目撃し、設計する」、 Journal of Physics A Mathematical General 56 50、505303(2023).

[26] David Schmid、「巨視的実在論の再検討と再定式化: 一般化された確率論の枠組みを使用してその欠陥を解決する」、 量子8、1217(2024).

[27] Giulio Chiribella、Lorenzo Giannelli、Carlo Maria Scandolo、「古典系におけるベルの非局所性」、 arXiv:2301.10885, (2023).

[28] Robert Raussendorf、Cihan OK、Michael Zurel、および Polina Feldmann、「魔法の状態を伴う量子計算におけるコホモロジーの役割」、 arXiv:2110.11631, (2021).

[29] マルコ・エルバ、パオロ・ペリノッティ、ダビデ・ロリノ、アレッサンドロ・トシーニ、「測定の不適合性は厳密には外乱よりも強い」、 フィジカルレビューA 109 2、022239(2024).

[30] Victor Gitton および Mischa P. Woods、「準備と測定のシナリオの状況に関する解決可能な基準」、 arXiv:2003.06426, (2020).

[31]マーティン・プラバラ、「制限された運用理論における非互換性:文脈性とステアリングの接続」、 Journal of Physics A Mathematical General 55 17、174001(2022).

[32] シディニー・B・モンタナノ、「文脈の微分幾何学」、 arXiv:2202.08719, (2022).

[33] Victor Gitton および Mischa P. Woods、「準備と測定のシナリオの状況に関する解決可能な基準」、 量子6、732(2022).

[34] John H. Selby、Ana Belén Sainz、Victor Magron、Łukasz Czekaj、Michał Horodecki、「複合測定によって制約される相関関係」、 量子7、1080(2023).

[35] Paulo J. Cavalcanti、John H. Selby、Jamie Sikora、および Ana Belén Sainz、「一般化された確率論におけるローカル チャネルの準確率的混合を介したすべての多部構成の非シグナリング チャネルの分解」、 Journal of Physics A Mathematical General 55 40、404001(2022).

[36]LeeviLeppäjärvi、「量子論および他の操作理論における測定のシミュレーション可能性と非互換性」、 arXiv:2106.03588, (2021).

[37] Lorenzo Catani、「ウィグナー関数の共分散と変換の非文脈性の関係」、 arXiv:2004.06318, (2020).

[38] Russell P Rundle および Mark J Everitt、「量子技術への応用による量子力学の位相空間定式化の概要」、 arXiv:2102.11095, (2021).

[39] Robert Raussendorf、Cihan OK、Michael Zurel、および Polina Feldmann、「魔法の状態を伴う量子計算におけるコホモロジーの役割」、 量子7、979(2023).

上記の引用は SAO / NASA ADS (最後に正常に更新された2024-03-17 01:02:22)。 すべての出版社が適切で完全な引用データを提供するわけではないため、リストは不完全な場合があります。

On Crossrefの被引用サービス 作品の引用に関するデータは見つかりませんでした(最後の試行2024-03-17 01:02:20)。

タイムスタンプ:

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