Arxiv:2101.04154V1 [Math-Ph] 11 Jan 2021 M
Total Page:16
File Type:pdf, Size:1020Kb
Microscopic Models for Fusion Categories Von der Fakult¨at fur¨ Mathematik und Physik der Gottfried Wilhelm Leibniz Universit¨at Hannover zur Erlangung des akademischen Grades Doktor der Naturwissenschaften Dr. rer. nat. genehmigte Dissertation von arXiv:2101.04154v1 [math-ph] 11 Jan 2021 M. Sc. Ramona Wolf 2020 Mitglieder der Pr¨ufungskommission: Prof. Dr. Mich`eleHeurs (Vorsitzende) Prof. Dr. Tobias J. Osborne (Betreuer) Prof. Dr. Reinhard Werner Gutachter: Prof. Dr. Tobias J. Osborne Prof. Dr. Reinhard Werner Prof. Dr. Jutho Haegeman Tag der Promotion: 07.12.2020 \I almost wish I hadn't gone down that rabbit-hole{and yet{and yet{it's rather curious, you know, this sort of life!" { Alice Abstract Besides being a mathematically interesting topic on its own, subfactors have also at- tracted the attention of physicists, since there is a conjectured correspondence between these and Conformal Field Theories (CFTs). Although there is quite a persuasive body of evidence for this conjecture, there are some gaps: there exists a set of exceptional sub- factors with no known counterpart CFT. Hence, it is necessary to develop new techniques for building a CFT from a subfactor. Here, it is useful to study the underlying mathemat- ical structure in more detail: The even parts of every subfactor give rise to two Unitary Fusion Categories (UFCs), and it is a promising direction to study quantum spin systems constructed from these categories to find a connection to CFTs. The simplest example that requires new techniques for building a CFT is the Haagerup subfactor, since it is the smallest subfactor with index larger than 4. In this thesis, we investigate the question whether there is a CFT corresponding to the Haagerup subfactor via lattice models in one and two dimensions. The first task here is to find the F -symbols of the fusion category since these are crucial ingredients for the construction of a physical model in all of the models we consider in this thesis. We then investigate the following models: (1) The golden chain model, which is a one-dimensional spin chain whose ground state can be investigated in order to obtain information about the hypothetical CFT (such as the central charge). (2) Quantum spin chains (such as the golden chain model) with defects. The con- struction of the vertices of the defect chain gives insight into a possible way to construct a Unitary Modular Tensor Category (UMTC) via the so-called annular category. (3) The Levin-Wen model, which is a two-dimensional lattice model with an exactly solvable Hamiltonian that gives rise to a topological quantum field theory. Most interestingly for us, the excitations of the system yield a UMTC. We find that there is no evidence for a corresponding CFT from the investigation of the UFCs directly and it is necessary to expand these studies to the corresponding UMTC, which can, for instance, be obtained via the excitations of the Levin-Wen model. Keywords: Conformal field theory, anyon chains, fusion categories i Kurzzusammenfassung Abgesehen davon, dass Subfaktoren ein interessantes mathematisches Gebiet f¨ursich darstellen, haben sie auch die Aufmerksamkeit von Physikern erregt, da vermutet wird, dass es einen Zusammenhang zwischen Subfaktoren und konformen Feldtheorien (CFT) gibt. Obwohl inzwischen eine ¨uberzeugende Menge an Hinweisen f¨urdie G¨ultigkeit dieser Vermutung erbracht wurde, existieren immer noch einige L¨ucken: Es gibt eine Reihe außergew¨ohnlicher Subfaktoren, f¨urdie keine entsprechende CFT bekannt ist. Daher ist es notwendig, neue Techniken f¨urdie Konstruktion einer CFT aus einem Subfaktor zu entwickeln. Hier ist es sinnvoll, die zugrunde liegende mathematische Struktur genauer zu untersuchen: Aus den sogenannten ,,even parts" eines Subfaktors ergeben sich zwei unit¨areFusionskategorien (UFCs). Ein vielversprechender Ansatz ist, aus diesen Kate- gorien Quantenspinsysteme zu konstruieren und zu untersuchen, um eine Verbindung zu CFTs zu finden. Das einfachste Beispiel, das neue Techniken zur Konstruktion einer CFT erfordert, ist der Haagerup Subfaktor, da er der kleinste Subfaktor mit einem Index gr¨oßerals vier ist. In dieser Arbeit untersuchen wir mithilfe von ein- und zweidimensionalen Gittermodellen die Frage, ob eine CFT existiert, die zum Haagerup Subfaktor geh¨ort. Die erste Auf- gabe hierbei besteht darin, die F -Symbole der Kategorie zu berechnen, da diese bei allen Modellen, die in dieser Arbeit untersucht werden, einen entscheidenden Bestandteil der Konstruktion darstellen. Wir betrachten die folgenden Modelle: (1) Das sogenannte ,,Golden Chain"-Modell, bei dem es sich um eine eindimensionale Spinkette handelt, deren Grundzustand Informationen (wie zum Beispiel den Wert der zentralen Ladung) ¨uber die hypothetische CFT enth¨alt. (2) Quantenspinketten (wie die Golden Chain) mit Defekten. Die Konstruktion der Vertices, die die Kette mit Defekten bilden, liefert Einblicke in eine m¨ogliche Kon- struktion einer unit¨arenmodularen Tensorkategorie (UMTC) ¨uber die sogenannte Annulare Kategorie. (3) Das Levin-Wen Modell, welches ein zweidimensionales Gittermodell mit exakt l¨osbaremHamiltonian ist, das eine topologische Quantenfeldtheorie liefert. Am interessantesten f¨uruns ist, dass die Anregungen des Systems eine UMTC ergeben. Wir stellen fest, dass die Untersuchung der UFCs selbst keine Hinweise auf eine Haagerup CFT liefert, und schließen daraus, dass es notwendig ist, diese Untersuchung auf die entsprechende UMTC auszudehnen, die zum Beispiel ¨uber die Anregungen des Levin-Wen Modells konstruiert werden kann. Schlagw¨orter: Konforme Feldtheorie, Anyon-Ketten, Fusionskategorien iii Acknowledgements First, I would like to thank my supervisor Tobias Osborne for introducing me to a fascinating area at the intersection of mathematics and physics, for guiding me through this thesis, and for always sharing valuable advice. I would also like to thank Reinhard Werner for his feedback and advice and for sharing all the interesting stories at lunch at the Mensa. A special thanks goes also to all (past and current) members of the Quantum Information Theory group in Hanover. You have made the day to day process of research a pleasure, especially on days where one of you brought cake to the institute! During my time as a PhD student, I had the opportunity to visit many great places and to work with a lot of great, inspiring people. I would like to thank Kerstin Beer, Ja- cob Bridgeman, Dmytro Bondarenko, Cain Edie-Michell, Terry Farrelly, Alexander Hahn, Charles Lim, Ren´eSchwonnek, and Deniz Stiegemann for sharing their knowledge and passion with me and for the collaboration on several interesting projects. I would espe- cially like to thank Charles Lim and Ren´eSchwonnek for giving me the possibility to visit Singapore and for having me at the CQT. I also especially thank Alexander Hahn for many helpful discussions on all aspects of fusion categories and the joint work on several projects that ended up being a part of this thesis. There are many people who granted helpful advice and valuable comments on earlier versions of this thesis, who have found several typos and have helped to bring this thesis in its final form: Many thanks to Jacob, Tom, Cain, Alexander H., Alexander K., Ashley, and Christin. Besonderer Dank geht auch an meine Familie, meine Eltern, meinen Bruder und meine beiden Großm¨utter. Auch wenn ihr keine Ahnung habt, was ich eigentlich mache, habt ihr mich immer unterst¨utztund jeder von euch hatte in den vergangenen Jahren auf die ein oder andere Weise einen großen Einfluss auf mich. Ohne euch w¨arediese Doktorarbeit nicht m¨oglich gewesen. Ich m¨ochte mich auch herzlich bei meiner ,,zweiten Familie", Sophia und Peter, f¨ur die Unterst¨utzungim letzten Jahr bedanken! Und nat¨urlich bei Louis, der s¨ußestenKatze und bestem Kollegen in Homeoffice-Zeiten! Zuletzt m¨ochte ich mich bei Alex bedanken. Danke f¨ur deine Unterst¨utzung,Liebe, und Geduld, und dass du mich daran erinnert hast, auch mal Pause zu machen. v Publications Publications whose material appears in this thesis: (1) Alexander Hahn and Ramona Wolf. Generalized string-net model for unitary fusion categories without tetrahedral symmetry (2020). Physical Review B 102, 115154, arXiv:2004.07045 (2) Jacob C. Bridgeman, Alexander Hahn, Tobias J. Osborne, and Ramona Wolf. Gauging defects in quantum spin systems: A case study (2020). Physical Review B 101, 134111, arXiv:1910.10619 (3) Tobias J. Osborne, Deniz E. Stiegemann, and Ramona Wolf. The F-Symbols for the H3 Fusion Category (2019). arXiv:1906.01322 (4) Kerstin Beer, Dmytro Bondarenko, Alexander Hahn, Maria Kalabakov, Nicole Knust, Laura Niermann, Tobias J. Osborne, Christin Schridde, Stefan Seckmeyer, Deniz E. Stiegemann, and Ramona Wolf. From categories to anyons: a travelogue (2018). arXiv:1811.06670 Further publications: (5) Ren´eSchwonnek, Koon Tong Goh, Ignatius W. Primaatmaja, Ernest Y.-Z. Tan, Ramona Wolf, Valerio Scarani, and Charles C.-W. Lim. Robust Device-Independent Quantum Key Distribution (2020). arXiv:2005.02691 (6) Kerstin Beer, Dmytro Bondarenko, Terry Farrelly, Tobias J. Osborne, Robert Salzmann, Daniel Scheiermann, and Ramona Wolf. Training deep quantum neural networks (2020). Nature Communications 11, 808, arXiv:1902.10445 (7) Yuan-Yuan Zhao, Guo-Yong Xiang, Xiao-Min Hu, Bi-Heng Liu, Chuan-Feng Li, Guang-Can Guo, Ren´eSchwonnek, and Ramona Wolf. Entanglement Detection by Violations of Noisy Uncertainty Relations: A Proof of Principle (2019). Phys- ical Review Letters 122, 220401, arXiv:1810.05588 vii Contents Abstract i Kurzzusammenfassung iii Acknowledgementsv Publications vii Chapter 1. Introduction1 Part 1. Mathematical tools 5 Chapter 2. Basics of category theory7 2.1. Basic definitions7 2.2. Monoidal categories 11 2.3. Fusion categories 16 2.4. Braided categories 21 2.5. Modular tensor categories 23 Chapter 3. Trivalent categories 29 3.1. Basic definitions 29 3.2. Cubic trivalent categories 32 3.3. The trivalent category H3 34 Chapter 4. Subfactors and fusion categories 37 4.1. Fusion categories from subfactors 37 4.2. Module categories and algebra objects 42 4.3. From algebra objects to principal graphs 52 4.4.