×
亚历克斯·基辛格;快点，大卫

紧张-图和非交换量子结构。 （英语） Zbl 1405.16043号

新一代计算。 34，编号1-2，87-123（2016）.
作者摘要：-图提供了一种关于无限族弦图的推理方法，并已被证明可用于操作（共）代数结构，如Hopf代数、Frobenius代数及其组合。然而，它们以前由于无法表达涉及非交换结构的图族而受到限制，这些非交换结构在代数量子信息和量子群理论中起着核心作用。在本文中，我们通过为非交换的-使用彭罗斯抽象张量符号的丰富版本的图形。
审核人：劳雷·古巴（的里雅斯特）

引用于1文件

MSC公司：

2016年第05期 Hopf代数及其应用
16升60 拟Frobenius环
第81卷第60页 量子理论中的非对易几何

关键词：

张量;-盒;非对易-图;彭罗斯抽象张量

软件：

量子力学
PDF格式BibTeX公司 XML格式引用
\textit{A.基辛格}和\textit{D.Quick}，新一代计算。34、编号1--2、87-123（2016；Zbl 1405.16043）
全文： 内政部 arXiv公司

参考文献：

[1] Baez，J.C.和Erbele，J.，“控制中的类别”技术报告, 2014. arXiv:1405.6881·Zbl 1316.18009号
[2] Bonchi，F.、Sobocinski，P.和Zanasi，F.，“信号流图的范畴语义”，inCONCUR’14：并发理论。，计算机科学课堂讲稿，8704《施普林格》，第435-450页，2014年·Zbl 1417.68119号
[3] Coecke，B.，“量子画法”当代物理学51第59-83页，2009年。arXiv:0908.1787。
[4] Coecke，B.和Duncan，R.，《相互作用的量子观测量》，in程序。第37届国际自动化、语言和编程学术讨论会（ICALP）计算机科学讲稿, 2008. ·Zbl 1155.81316号
[5] Coecke，B.、Duncan，R.、Kissinger A.和Wang，Q.，《范畴量子力学中的强互补性和非定域性》程序。第27届IEEE计算机科学逻辑研讨会（LICS）IEEE计算机学会，2012年。arXiv:1203.4988·Zbl 1364.81077号
[6] Dixon，L.和Duncan，R.，“量子计算紧闭范畴中的图形推理”阿曼，56岁，1岁第23-42页，2009年。Doi:10.1017/S10472-009-9141-X·Zbl 1191.03022号
[7] Dixon，L.和Kissinger，A.，“开放图和单群理论，”计算机科学中的数学结构23，2第308-359页，2013年。Doi:10.1017/S0960129512000138。arXiv:1007.3794v1[cs.LO]·Zbl 1268.18002号
[8] Joyal，A.和Street，R.，“张量微积分的几何I”数学进展，88，11991年，第55-112页。Doi:10.1016/0001-8708（91）90003-P·Zbl 0738.18005号
[9] Kartsaklis，D.，“紧闭范畴和Frobenius代数的组合分布语义”，牛津大学博士论文，2014年。
[10] Kissinger，A.，“过程的图片：单体范畴的自动图形重写及其在量子计算中的应用”，牛津大学博士论文，2011年。arXiv:1203.0202[数学.CT]。
[11] 基辛格，A.，“抽象张量系统作为单体范畴”，in逻辑、语言和物理的类别和类型：纪念吉姆·兰贝克90岁生日，计算机科学讲义，8222（Casadio，C.、Coecke，B.、Moortgat，M.和Scott，P.编辑），斯普林格出版社，2014年。Doi:10.1007/978-3-642-54789-8_13。arXiv:1308.3586[math.CT]·Zbl 1285.18010号
[12] Kissinger，A.、Merry，A.和Soloviev，M.，《模式图重写系统》，in程序。DCM 2012，EPTCS 143，2012年。Doi:10.4204/EPTCS.143.5。arXiv:1204.6695[math.CT]。
[13] 基辛格，A.，梅里，A.狄克逊，L.，邓肯，R.，索洛维耶夫，M.和弗洛特，B.，《量子力学》，2011年。https://sites.google.com/site/quantomatic/。
[14] 基辛格，A.和奎克，D.，《张量、！-图和非交换量子结构》，in程序。2014年6月4日至6日在日本京都举行的QPL 2014第11次量子物理和逻辑研讨会第56-67页，2014年。Doi:10.4204/EPTCS.172.5。arXiv:1412.8552[cs.LO]·Zbl 1405.16043号
[15] 基辛格，A.和奎克，D.，《弦图的一阶逻辑》程序。CALCO的, 2015. arXiv:1505.00343[cs.LO]·Zbl 1366.03243号
[16] Lack，S.和Sobocinski，P.，“粘合剂和准粘合剂类别”理论信息学与应用，39，3第511-545页，2005年。Doi:10.1051/ita:2005028·兹比尔1078.18010
[17] Lauda，A.D.和Pfeiffer，H.，“开闭字符串：二维扩展TQFT和Frobenius代数，”拓扑应用程序。155, 7第623-666页，2008年。Doi:10.1016/j.topl.2007.11.005·Zbl 1158.57038号
[18] Merry，A.，“用！-图推理”，牛津大学博士论文，2014年。
[19] Penrose，R.，“负维张量的应用”，in组合数学及其应用学术出版社，第221-244页，1971年·Zbl 0216.43502号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。