Quantum Cuntz-Krieger algebras

Brannan, Michael; Eifler, Kari; Voigt, Christian; Weber, Moritz

doi:10.1090/btran/88

Quantum Cuntz-Krieger algebras
HTML articles powered by AMS MathViewer

by Michael Brannan, Kari Eifler, Christian Voigt and Moritz Weber HTML | PDF

Trans. Amer. Math. Soc. Ser. B 9 (2022), 782-826

Abstract:

Motivated by the theory of Cuntz-Krieger algebras we define and study $C^\ast$-algebras associated to directed quantum graphs. For classical graphs the $C^\ast$-algebras obtained this way can be viewed as free analogues of Cuntz-Krieger algebras, and need not be nuclear.

We study two particular classes of quantum graphs in detail, namely the trivial and the complete quantum graphs. For the trivial quantum graph on a single matrix block, we show that the associated quantum Cuntz-Krieger algebra is neither unital, nuclear nor simple, and does not depend on the size of the matrix block up to $KK$-equivalence. In the case of the complete quantum graphs we use quantum symmetries to show that, in certain cases, the corresponding quantum Cuntz-Krieger algebras are isomorphic to Cuntz algebras. These isomorphisms, which seem far from obvious from the definitions, imply in particular that these $C^\ast$-algebras are all pairwise non-isomorphic for complete quantum graphs of different dimensions, even on the level of $KK$-theory.

We explain how the notion of unitary error basis from quantum information theory can help to elucidate the situation.

We also discuss quantum symmetries of quantum Cuntz-Krieger algebras in general.

References

Sara E. Arklint and Efren Ruiz, Corners of Cuntz-Krieger algebras, Trans. Amer. Math. Soc. 367 (2015), no. 11, 7595–7612. MR 3391894, DOI 10.1090/S0002-9947-2015-06283-7
Teodor Banica, Symmetries of a generic coaction, Math. Ann. 314 (1999), no. 4, 763–780. MR 1709109, DOI 10.1007/s002080050315
Teodor Banica, Quantum groups and Fuss-Catalan algebras, Comm. Math. Phys. 226 (2002), no. 1, 221–232. MR 1889999, DOI 10.1007/s002200200613
Teodor Banica, Quantum automorphism groups of homogeneous graphs, J. Funct. Anal. 224 (2005), no. 2, 243–280. MR 2146039, DOI 10.1016/j.jfa.2004.11.002
Teodor Banica and Roland Speicher, Liberation of orthogonal Lie groups, Adv. Math. 222 (2009), no. 4, 1461–1501. MR 2554941, DOI 10.1016/j.aim.2009.06.009
Julien Bichon, An De Rijdt, and Stefaan Vaes, Ergodic coactions with large multiplicity and monoidal equivalence of quantum groups, Comm. Math. Phys. 262 (2006), no. 3, 703–728. MR 2202309, DOI 10.1007/s00220-005-1442-2
Michael Brannan, Alexandru Chirvasitu, Kari Eifler, Samuel Harris, Vern Paulsen, Xiaoyu Su, and Mateusz Wasilewski, Bigalois extensions and the graph isomorphism game, Comm. Math. Phys. 375 (2020), no. 3, 1777–1809. MR 4091496, DOI 10.1007/s00220-019-03563-9
Lawrence G. Brown, Ext of certain free product $C^{\ast }$-algebras, J. Operator Theory 6 (1981), no. 1, 135–141. MR 637007
J. Cuntz, A class of $C^{\ast }$-algebras and topological Markov chains. II. Reducible chains and the Ext-functor for $C^{\ast }$-algebras, Invent. Math. 63 (1981), no. 1, 25–40. MR 608527, DOI 10.1007/BF01389192
Joachim Cuntz, Simple $C^*$-algebras generated by isometries, Comm. Math. Phys. 57 (1977), no. 2, 173–185. MR 467330, DOI 10.1007/BF01625776
Joachim Cuntz, The $K$-groups for free products of $C^{\ast }$-algebras, Operator algebras and applications, Part 1 (Kingston, Ont., 1980) Proc. Sympos. Pure Math., vol. 38, Amer. Math. Soc., Providence, R.I., 1982, pp. 81–84. MR 679696
Joachim Cuntz and Wolfgang Krieger, A class of $C^{\ast }$-algebras and topological Markov chains, Invent. Math. 56 (1980), no. 3, 251–268. MR 561974, DOI 10.1007/BF01390048
An De Rijdt and Nikolas Vander Vennet, Actions of monoidally equivalent compact quantum groups and applications to probabilistic boundaries, Ann. Inst. Fourier (Grenoble) 60 (2010), no. 1, 169–216 (English, with English and French summaries). MR 2664313, DOI 10.5802/aif.2520
Runyao Duan, Simone Severini, and Andreas Winter, Zero-error communication via quantum channels, noncommutative graphs, and a quantum Lovász number, IEEE Trans. Inform. Theory 59 (2013), no. 2, 1164–1174. MR 3015725, DOI 10.1109/TIT.2012.2221677
Masatoshi Enomoto and Yasuo Watatani, A graph theory for $C^{\ast }$-algebras, Math. Japon. 25 (1980), no. 4, 435–442. MR 594544
J. A. Erdos, A. Katavolos, and V. S. Shulman, Rank one subspaces of bimodules over maximal abelian selfadjoint algebras, J. Funct. Anal. 157 (1998), no. 2, 554–587. MR 1638277, DOI 10.1006/jfan.1998.3274
Ruy Exel and Marcelo Laca, Cuntz-Krieger algebras for infinite matrices, J. Reine Angew. Math. 512 (1999), 119–172. MR 1703078, DOI 10.1515/crll.1999.051
Pierre Fima and Emmanuel Germain, The KK-theory of amalgamated free products, Adv. Math. 369 (2020), 107174, 35. MR 4093607, DOI 10.1016/j.aim.2020.107174
Li Gao, Samuel J. Harris, and Marius Junge, Quantum teleportation and super-dense coding in operator algebras, Int. Math. Res. Not. IMRN 12 (2021), 9146–9179. MR 4276316, DOI 10.1093/imrn/rnz095
Emmanuel Germain, $KK$-theory of the full free product of unital $C^*$-algebras, J. Reine Angew. Math. 485 (1997), 1–10. MR 1442186, DOI 10.1515/crll.1997.485.1
Alex Kumjian and David Pask, Higher rank graph $C^\ast$-algebras, New York J. Math. 6 (2000), 1–20. MR 1745529
Alex Kumjian, David Pask, and Iain Raeburn, Cuntz-Krieger algebras of directed graphs, Pacific J. Math. 184 (1998), no. 1, 161–174. MR 1626528, DOI 10.2140/pjm.1998.184.161
Laura Mančinska and David E. Roberson, Quantum isomorphism is equivalent to equality of homomorphism counts from planar graphs, 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, IEEE Computer Soc., Los Alamitos, CA, [2020] ©2020, pp. 661–672. MR 4232075, DOI 10.1109/FOCS46700.2020.00067
M. H. Mann, Iain Raeburn, and C. E. Sutherland, Representations of finite groups and Cuntz-Krieger algebras, Bull. Austral. Math. Soc. 46 (1992), no. 2, 225–243. MR 1183780, DOI 10.1017/S0004972700011862
Kevin McClanahan, $C^*$-algebras generated by elements of a unitary matrix, J. Funct. Anal. 107 (1992), no. 2, 439–457. MR 1172034, DOI 10.1016/0022-1236(92)90117-2
Colin Mrozinski, Quantum automorphism groups and $SO(3)$-deformations, J. Pure Appl. Algebra 219 (2015), no. 1, 1–32. MR 3240820, DOI 10.1016/j.jpaa.2014.04.006
Benjamin Musto, David Reutter, and Dominic Verdon, The Morita theory of quantum graph isomorphisms, Comm. Math. Phys. 365 (2019), no. 2, 797–845. MR 3907958, DOI 10.1007/s00220-018-3225-6
Sergey Neshveyev and Lars Tuset, Compact quantum groups and their representation categories, Cours Spécialisés [Specialized Courses], vol. 20, Société Mathématique de France, Paris, 2013. MR 3204665
Iain Raeburn, Graph algebras, CBMS Regional Conference Series in Mathematics, vol. 103, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2005. MR 2135030, DOI 10.1090/cbms/103
Peter Schauenburg, Hopf-Galois and bi-Galois extensions, Galois theory, Hopf algebras, and semiabelian categories, Fields Inst. Commun., vol. 43, Amer. Math. Soc., Providence, RI, 2004, pp. 469–515. MR 2075600, DOI 10.1090/fic/043
Simon Schmidt and Moritz Weber, Quantum symmetries of graph $C^*$-algebras, Canad. Math. Bull. 61 (2018), no. 4, 848–864. MR 3846752, DOI 10.4153/CMB-2017-075-4
Mark Tomforde, A unified approach to Exel-Laca algebras and $C^\ast$-algebras associated to graphs, J. Operator Theory 50 (2003), no. 2, 345–368. MR 2050134
Shuzhou Wang, Quantum symmetry groups of finite spaces, Comm. Math. Phys. 195 (1998), no. 1, 195–211. MR 1637425, DOI 10.1007/s002200050385
Nik Weaver, Quantum relations, Mem. Amer. Math. Soc. 215 (2012), no. 1010, v–vi, 81–140. MR 2908249
R. F. Werner, All teleportation and dense coding schemes, J. Phys. A 34 (2001), no. 35, 7081–7094. Quantum information and computation. MR 1863141, DOI 10.1088/0305-4470/34/35/332
S. L. Woronowicz, Compact quantum groups, Symétries quantiques (Les Houches, 1995) North-Holland, Amsterdam, 1998, pp. 845–884. MR 1616348