1加拿大滑铁卢大学量子计算研究所和 Cheriton 计算机科学学院。
2京都大学数学系，日本京都 606-8502。
3加拿大滑铁卢大学量子计算研究所和纯数学系。
觉得本文有趣或想讨论？ 在SciRate上发表评论或发表评论.
抽象
我们考虑一种称为 $self-embezzlement$ 的二分变换，并用它来证明两个量子信息模型的能力之间的恒定差距：传统模型，其中二分系统由希尔伯特空间的张量积表示； 以及 C*-代数上抽象状态的量子信息处理的自然模型，其中联合系统由 C*-代数的张量积表示。 我们称其为$C*-circuit$ 模型，并表明它是通勤运营商模型的一个特例（因为它可以转化为这样的模型）。 对于常规模型，我们证明存在一个常数$epsilon_0$$gt$$0$，使得在精度参数小于$epsilon_0$（即保真度不能大于$1-epsilon_0$）的情况下无法实现自挪用。 ; 而在 C* 电路模型中——以及在通勤运营商模型中——精度可以是 0 美元（即保真度 1 美元）。
自盗不是非本地游戏，因此我们的结果不会影响著名的 Connes Embedding 猜想。 相反，这些结果的意义在于展示一个合理自然的量子信息处理问题，对于该问题，传统希尔伯特空间模型与通勤算子或 C* 电路模型的能力之间存在恒定差距。
►BibTeX数据
►参考
[1] JF Clauser、MA Horne、A. Shimony 和 RA Holt。 提议的实验来测试局部隐变量理论。 物理评论快报，23（15）：880-884，1969。
https：/ / doi.org/ 10.1103 / PhysRevLett.23.880
[2] R. Cleve、L. Liu 和 V. Paulsen。 完美侵占纠缠。 数学物理杂志，58:012204，2017。
https：/ / doi.org/10.1063/ 1.4974818
[3] W. van Dam和P.Hayden。 无需通信即可进行通用纠缠转换。 物理评论A，67（6）：060302，2003。
https：/ / doi.org/ 10.1103 / PhysRevA.67.060302
[4] KR戴维森。 以 C*-代数为例。 美国数学会，1983 年。
https：/ / doi.org/ 10.1112 / S0024609397303610
[5] T.弗里茨。 Tsirelson 的问题和 Kirchberg 的猜想。 数学物理评论，24(5):1250012，2012。
https：/ / doi.org/ 10.1142 / S0129055X12500122
[6] IM Gelfand 和 MA Naimark。 关于将范数环嵌入到希尔伯特空间中的算子环中。 Matematiceskij sbornik, 12:197–213, 1943)。
http：/？/？eudml.org/?doc/?65219
[7] Z. Ji、D. Leung 和 T. Vidick。 一个三人连贯状态贪污游戏。 手稿可在 arXiv:1802.04926, 2018 获得。
https://doi.org/10.22331/q-2020-10-26-349
的arXiv：1802.04926
[8] M. Junge、M. Navascués、C. Palazuelos、D. Pérez-García、VB Scholz 和 RF Werner。 Connes 的嵌入问题和 Tsirelson 的问题。 数学物理杂志，52（1）：012102，2011。
https：/ / doi.org/10.1063/ 1.3514538
[9] RV Kadison 和 JR Ringrose。 算子代数理论基础，第二卷：高级理论。 学术出版社，1986 年。
[10] J.卡涅夫斯基。 Clauser-Horne-Shimony-Holt 和 Mermin 不等式的分析和近乎最优的自测边界。 物理评论快报，117(16):070402，2016。
https：/ / doi.org/ 10.1103 / PhysRevLett.117.070402
[11] M. Keyl、D. Schlingemann 和 R. Werner。 无限纠缠态。 量子信息与计算 3(4):281–306, 2003。
https：///doi.org/10.26421/QIC18.15-16
[12] D. Leung、B. Toner 和 J. Watrous。 多证明者量子交互证明系统中的相干状态交换。 芝加哥理论计算机科学杂志，2013：11，2013。
https：///doi.org/10.4086/cjtcs.2013.011
http:///cjtcs.cs.uchicago.edu/articles/2013/11/contents.html
[13] M. Navascués 和 D. Pérez-García。 量子转向和类空间分离。 物理评论快报，109(16):160405，2012。
https：/ / doi.org/ 10.1103 / PhysRevLett.109.160405
[14] N.小泽。 关于 Connes 嵌入猜想：代数方法。 日本数学杂志，8（1）：147-183，2013。
https://doi.org/10.1007/s11537-013-1280-5
[15] GK佩德森。 C*-代数及其自同构群。 学术出版社，1979 年。
https://doi.org/10.1016/C2016-0-03431-9
[16] O. Regev 和 T. Vidick。 量子异或游戏。 在 IEEE 计算复杂性会议论文集 (CCC 2013)，第 144-155 页。 IEEE，2013 年。
https：/ / doi.org/10.1145/ 2799560
[17] BW Reichardt、F. Unger 和 U. Vazirani。 量子系统的经典约束：通过 CHSH 游戏的刚性控制量子系统。 在第四届理论计算机科学创新会议论文集上，第 4-321 页。 ACM，322 年。
https：/ / doi.org/10.1145/ 2422436.2422473
[18] VB Scholz 和 RF Werner。 齐瑞尔森的问题。 手稿可在 arXiv:0812.4305, 2008 获得。
的arXiv：0812.4305
[19] 即西格尔。 算子代数的不可约表示。 美国数学会公报，53：73-88，1947。
https://doi.org/10.1090/S0002-9904-1947-08742-5
[20] W.斯洛夫斯特拉。 Tsirelson 问题和非局部博弈产生的群的嵌入定理。 手稿可在 arXiv:1606.03140, 2016 获得。
https：/ / doi.org/ 10.1090 / jams / 929
的arXiv：1606.03140
[21] G. Vidal、D. Jonathan 和 MA Nielsen。 二分纯态纠缠的近似变换和鲁棒操作。 物理评论 A，62:012304，2000。
https：/ / doi.org/ 10.1103 / PhysRevA.62.012304
[22] J.沃特鲁斯。 量子信息论。 剑桥大学出版社，2018 年。
https：/ / doi.org/10.1017/ 9781316848142
被引用
[1] Benoît Collins 和 Sang-Gyun Youn，“正则化最小输出熵的可加性违反”， 的arXiv：1907.07856.
以上引用来自 SAO / NASA广告 （最近成功更新为2022-07-23 00:03:05）。 该列表可能不完整，因为并非所有发布者都提供合适且完整的引用数据。
On Crossref的引用服务 找不到有关引用作品的数据（上一次尝试2022-07-23 00:03:04）。
该论文发表在《量子》杂志上 国际知识共享署名署名4.0（CC BY 4.0） 执照。 版权归原始版权持有者所有，例如作者或其所在机构。
