本杰明·马斯托;大卫·雷特;多米尼克·凡尔登 量子函数的合成方法。 （英语） Zbl 1395.05112号 数学杂志。物理学。 59，第8期，081706，42页（2018）. 摘要：我们引入了量子函数的概念，并基于2类量子集和量子函数建立了有限量子集理论的合成框架。我们使用这个框架建立了一个量子图的双范畴理论，它捕获了最近在非局部博弈和零错误通信研究中发现的量子图和量子图同态，并将它们与紧量子群设置中考虑的图的量子自同构群相关联。我们证明了量子集和量子图的两类是半单的。我们分析了这两类中的对偶和可逆1-态射，并证明它们与现有的集与图之间的量子同构和经典同构概念完全对应。 引用于1审查引用于27文件 MSC公司： 05C60型 图论中的同态问题（重构猜想等）和同态（子图嵌入等） 05第57页 图形游戏（图形理论方面） 05C15号 图和超图的着色 91年43月 涉及图形的游戏 17层37 量子群（量子化包络代数）及其变形 81页99 基础、量子信息及其处理、量子公理和哲学 关键词：图的量子自同构群;量子图同态 PDF格式BibTeX公司 XML格式引用 \textit{B.Musto}等人，J.数学。物理学。59，第8号，081706，42页（2018；Zbl 1395.05112） 全文： 内政部 arXiv公司 参考文献： [1] Brassard，G。；Broadbent，A。；Tapp，A.，《发现的量子伪电信号》。物理。，35, 1877-1907, (2005) ·Zbl 1102.81302号 ·doi:10.1007/s10701-005-7353-4 [2] 曼金斯卡，L。；Roberson，D.E.，《量子同态》，J.Comb。理论，Ser。B、 118228-267（2016）·Zbl 1332.05098号 ·doi:10.1016/j.jctb.2015.12.009 [3] Wang，S.，有限空间的量子对称群，Commun。数学。物理。，1952195-211，（1998年）·Zbl 1013.17008号 ·doi:10.1007/s002200050385 [4] Woronowicz，S.L.，《紧凑量子群》，Symétries Quantiques，845-884，（1998），《Les Houches:North-Holland》，《Les-Houche:Les Houghes:Noth-Holand》，阿姆斯特丹·Zbl 0997.46045号 [5] Banica，T.，齐次图的量子自同构群，J.Funct。分析。，224, 243-280, (2005) ·Zbl 1088.46040号 ·doi:10.1016/j.jfa.2004.11.002 [6] Atserias，A。；曼钦斯卡，L。；Roberson，D.E。；萨马尔，R。；Severini，S。；Varvisiotis，A.，量子与非信号图同构，（2016） [7] Duan，R。；Severini，S。；Winter，A.，《通过量子信道、非对易图和量子Lovász数的零错误通信》，IEEE Trans。《信息论》，59，1164-1174，（2013）·Zbl 1364.81059号 ·doi:10.1109/tit.2012.2221677 [8] Weaver，N.，《作为量子关系的量子图》（2015） [9] 野马，B。；Reutter，D。；Verdon，D.，量子图同构的森田理论，Commun。数学。物理学·Zbl 1405.05119号 [10] 埃克曼，B。；Hilton，P.J.，《一般类别中的类群体结构》。I.乘法和乘法，数学。安，145227-255，（1962）·Zbl 0099.02101号 ·doi:10.1007/bf01451367 [11] Stahlke，D.，量子零错误源信道编码和非交换图论，IEEE Trans。《信息理论》，62554-577，（2016）·Zbl 1359.94454号 ·doi:10.1109/tit.2015.2496377 [12] 库珀伯格，G。；韦弗，N.，《量子度量/量子关系的冯·诺依曼代数方法》，（2012），美国数学学会 [13] Bichon，J.，有限图的量子自同构群，Proc。美国数学。《社会学杂志》，131665-673，（2003）·Zbl 1013.16032号 ·doi:10.1090/S/20002-9939-02-06798-9 [14] 韦弗，N.，《量子关系》（2010） [15] 巴尼察，T。；Bichon，J。；Collins，B.，《量子置换群：一项调查》，非交换谐波分析及其在概率中的应用，（2007年），波兰科学院数学研究所 [16] Banica，T。；Bichon，J.，阶≤11的顶点传递图的量子自同构群，J.代数组合学，26，83-105，（2007）·兹比尔1125.05049 ·doi:10.1007/s10801-006-0049-9 [17] Banica，T。；Bichon，J.，《作用于4点的量子群》，J.Reine Angew。数学。（克雷莱斯J.），2009，75-114·Zbl 1187.46058号 ·doi:10.1515/crelle.2009.003 [18] Banica，T。；Bichon，J。；Chenevier，G.，《没有量子对称的图》，《傅里叶研究所年鉴》，57，955-971，（2007）·Zbl 1178.05047号 ·doi:10.5802/aif.2282 [19] 所以łtan，P.M.，有限量子空间上映射和量子半群的量子族，J.Geom。物理。，59, 354-368, (2009) ·Zbl 1160.58007号 ·doi:10.1016/j.geomphys.2008.11.007 [20] 内什维耶夫，S。；Tuset，L.，《紧量子群及其表示范畴》，《SMF:Cours Spécialisés丛书》（2013），美国数学学会·Zbl 1316.46003号 [21] Kornell，A.，《量子函数》（2011） [22] Kornell，A.，《量子集》（2018） [23] P.J.卡梅隆。；Montanaro，A。；纽曼，M.W。；Severini，S。；Winter，A.，关于图的量子色数，电子。《组合数学杂志》，14，R81，（2007）·Zbl 1182.05054号 [24] 斯卡帕，G。；Severini，S.，Kochen-Specker集和秩-1量子色数，IEEE Trans。《信息论》，582524-2529，（2012）·Zbl 1365.05100号 ·doi:10.1109/tit.2011.2178018 [25] 阿维斯，D。；长谷川，J。；Y.菊池。；Sasaki，Y.，在所有Hadamard图上赢得图着色游戏的量子协议，IEICE Trans。芬丹。电子。，Commun公司。计算。科学。，89, 1378-1381, (2006) ·doi:10.1093/ietfec/e89-a.5.1378 [26] 保尔森，V.I。；托多罗夫，I.G.，《通过算子系统的量子色数》，Q.J.数学。，66777-692（2015年）·Zbl 1314.05078号 ·doi:10.1093/qmath/hav004 [27] 保尔森，V.I。；Severini，S。；斯塔尔克，D。；托多罗夫，I.G。；Winter，A.，估算量子色数，J.Funct。分析。，270, 2188-2222, (2016) ·Zbl 1353.46043号 ·doi:10.1016/j.jfa.2016.01.010 [28] Roberson，D.E.，图同态的二次曲线公式，J.代数组合数学，43，877-913，（2016）·Zbl 1339.05401号 ·doi:10.1007/s10801-016-0665-y [29] 奥尔蒂斯，C.M。；Paulsen，V.I.，通过算子系统的量子图同态，线性代数应用。，497, 23-43, (2016) ·Zbl 1353.46041号 ·doi:10.1016/j.laa.2016.02.019 [30] Abramsky，S。；Coecke，B.，分类量子力学，量子逻辑和量子结构手册：量子逻辑，261-324，（2008），Elsevier [31] Coecke，B。；Duncan，R.，《交互量子观测量》，自动机，语言与编程，298-310，（2008），施普林格科学与商业媒体·Zbl 1155.81316号 [32] Coecke，B。；巴甫洛维奇，D。；陈，G。；考夫曼，L。；Lomonaco，S.J.，《无和量子测量》，《量子计算和量子技术数学》，559-596，（2007），查普曼和霍尔/CRC [33] Coecke，B。；巴甫洛维奇，D。；Vicary，J.，《正交基的新描述》，555-567，（2009），剑桥大学出版社·兹比尔1276.46016 [34] Vicary，J.，有限维量子代数的分类公式，Commun。数学。物理。，304, 765-796, (2010) ·Zbl 1221.81146号 ·doi:10.1007/s00220-010-1138-0 [35] Coecke，B。；Heunen，C.公司。；基辛格，A.，《量子和经典信道的分类》，《量子信息处理》。，15, 5179, (2014) ·Zbl 1357.81039号 ·doi:10.1007/s11128-014-0837-4 [36] Vicary，J.，高等量子理论，（2012） [37] Vicary，J.，《量子协议的高级语义》（2012），电气与电子工程师协会（IEEE）·Zbl 1364.81084号 [38] Reutter，D。；Vicary，J.，量子信息中的双幺正结构，（2016） [39] Street，R.，《单子的形式理论》，J.Pure Appl。代数，2149-168，（1972）·Zbl 0241.18003号 ·doi:10.1016/0022-4049（72）90019-9 [40] Marsden，D.，使用弦图的范畴理论，（2014） [41] Hinze，R。；Marsden，D.，用棒棒糖、叉子、杯子、帽子、蛇和速度计进行等式推理，J.逻辑代数方法程序。，85, 931-951, (2016) ·Zbl 1375.18027号 ·doi:10.1016/j.jlamp.2015.12.004 [42] Abramsky，S。；Barbosa，R.S。；德席尔瓦，N。；Zapata，O.，关系结构上的量子单子 [43] Selinger，P.，《单体范畴图形语言调查》，《物理新结构》，289-355，（2010），施普林格：施普林格，柏林，海德堡·Zbl 1217.18002号 [44] Borceux，F.，《范畴代数手册》，《数学及其应用百科全书》（1994），剑桥大学出版社·Zbl 0803.18001号 [45] 希恩，C。；Karvonen，M.，Monads关于匕首类别，理论应用。类别，311016-1043，（2016）·Zbl 1378.18003号 [46] Joyal，A。；Street，R.，张量微积分的几何。一、 高级数学。，88，55-112，（1991年）·Zbl 0738.18005号 ·doi:10.1016/0001-8708（91）90003-p [47] Joyal，A。；Street，R.，张量微积分的几何。II、 （1991年）·Zbl 0738.18005号 [48] 库克，B.，《量子图像学》，康斯坦普。物理。，51, 59-83, (2010) ·网址：10.1080/00107510903257624 [49] Kelly，G.，多变量函数微积分。一、 类别一致性，66-105，（1972），施普林格·Zbl 0243.18015号 [50] 凯利·G。；Laplaza，M.，紧闭范畴的一致性，J.Pure Appl。代数，19，193-213，（1980）·Zbl 0447.18005号 ·doi:10.1016/0022-4049（80）90101-2 [51] Abramsky，S。；Coecke，B.，量子协议的分类语义，415-425，（2004），IEEE [52] Selinger，P.，Dagger紧凑闭合类别和完全正映射，电子。注释Theor。计算。科学。，170, 139-163, (2007) ·Zbl 1277.18008号 ·doi:10.1016/j.entcs.2006.12.018 [53] Adámek，J。；Herrlich，H。；Strecker，G.E.，《抽象和具体类别：猫的快乐》（1990），约翰·威利和儿子出版社·Zbl 0695.18001号 [54] Freyd，P.，《同伦不是具体的》，《Steenrod代数及其应用：庆祝NE Steenrod's六十岁生日的会议》，25-34，（1970），斯普林格·Zbl 0212.55801号 [55] Joyal，A。；Street，R.，《塔纳卡对偶性和量子群导论》，数学讲义，413-492，（1991），施普林格-柏林-海德堡·Zbl 0745.57001号 [56] 梅斯，A。；Van Daele，A.，《紧量子群注释》，Nieuw Archief voor Wiskunde，473-112，（1998）·Zbl 0962.46054号 [57] 野马，B。；维卡里，J.，《量子拉丁方和酉误差基》，量子信息计算。，16, 1318-1332, (2015) [58] Musto，B.，从量子拉丁方构建相互无偏的碱基，电子。程序。西奥。计算。科学。，236, 108-126, (2017) ·Zbl 1486.81055号 ·doi:10.4204/eptcs.236.8 [59] 沃纳，R.F.，《所有隐形传态和密集编码方案》，J.Phys。A： 数学。将军，347081，（2001年）·Zbl 1024.81006号 ·doi:10.1088/0305-4470/34/35/332 [60] Müger，M.，对称张量范畴的抽象对偶理论，物理哲学，865-922，（2007），Elsevier [61] Etingof，P。；Gelaki，S。；Nikshych，D。；Ostrik，V.，《张量分类》（2015），美国数学学会·Zbl 1365.18001号 [62] Müger，M.，从子因子到范畴和拓扑。I.张量范畴的Frobenius代数和Morita等价，J.Pure Appl。代数，180，81-157，（2003）·Zbl 1033.18002号 ·doi:10.1016/s0022-4049（02）00247-5 [63] 穆格尔，M。；罗伯茨，J.E。；Tuset，L.，代数量子群的表示和张量范畴的重构定理，代数表示理论，7517-573，（2004）·Zbl 1098.17012号 ·doi:10.1023/b:alge.0000048337.34810.6f [64] Vicary，J.，†-范畴和复数的完备性，J.数学。物理。，52, 082104, (2011) ·Zbl 1272.81013号 ·doi:10.1063/1.3549117 [65] Selinger，P.，《匕首类别中的幂等性》，《电子》。注释Theor。计算。科学。，210, 107-122, (2008) ·Zbl 1279.18006号 ·doi:10.1016/j.entcs.2008.04.021 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。