DOCSLIB.ORG

Arxiv:1705.07243V2 [Math.GT] 30 Oct 2017

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1705.07243V2 [Math.GT] 30 Oct 2017 Trace Diagrams and Biquandle Brackets Sam Nelson⇤ Natsumi Oyamaguchi† Abstract We introduce a method of computing biquandle brackets of oriented knots and links using a type of decorated trivalent spatial graphs we call trace diagrams. We identify algebraic conditions on the biquandle bracket coefficients for moving strands over and under traces and identify a new stop condition for the recursive expansion. In the case of monochromatic crossings we show that biquandle brackets satisfy a Homflypt-style skein relation and we identify algebraic conditions on the biquandle bracket coefficients to allow pass-through trace moves. Keywords: Quantum enhancements, biquandles, biquandle counting invariants, biquandle brack- ets, trace diagrams 2010 MSC: 57M27, 57M25 1 Introduction Biquandles are a type of algebraic structure with axioms motivated by the Reidemeister moves in knot theory. More precisely, a biquandle is a set with two operations with axioms chosen so that the number of biquandle colorings or assignments of biquandle elements to the semiarcs in an oriented knot or link diagram satisfying certain conditions at crossings is the same for all diagrams of the given knot or link, thus defining Z a nonnegative integer-valued invariant of knots and links known as the biquandle counting invariant ΦX . An φ Z enhancement of the biquandle counting invariant is a stronger invariant ΦX which specializes to ΦX in some way, e.g. by taking a cardinality or evaluating at u = 1, etc. See [2, 3, 7] etc. for more about biquandles. Z In [8] a type of enhancement of ΦX was defined using skein relations with coefficients depending on the biquandle colors at a crossing. This setup poses an obvious objection: smoothings break the biquandle coloring. In [8] this problem is resolved by thinking of the invariant in state-sum form, doing all smoothings simultaneously to obtain states without biquandle colors. Generalizations of biquandle brackets have recently been described in papers such as [9] and [5]. In this paper we describe a method for computing biquandle bracket invariants recursively using a type of decorated trivalent spatial graph diagram called a trace diagram similar to diagrams used in e.g. [1] by defining biquandle colorings for these diagrams. We identify algebraic conditions on the biquandle bracket coefficients which are necessary and sufficient to allow moving strands over, under or through traces. As arXiv:1705.07243v2 [math.GT] 30 Oct 2017 an application we show that biquandle brackets satisfy a skein relation similar to that of the Homflypt polynomial [4] at monochromatic crossings, and we give an example to illustrate how this can be helpful for faster hand computations of the invariant. The paper is organized as follows. In Section 2 we review biquandles, biquandle brackets and the biquandle bracket invariant. In Section 3 we introduce trace diagrams, their biquandle colorings and our method for computing biquandle bracket values recursively in terms of trace diagrams. We identify algebraic conditions for a biquandle bracket to admit overcrossing trace moves, undercrossing trace moves or both. In Section 4 we look at the special case of monochromatic crossings, identifying a Homflypt-style skein relation satisfied by all biquandle brackets as well as the algebraic conditions required for a biquandle bracket to admit pass- through trace moves at monochromatic crossings. We conclude in Section 5 with some questions for future work. ⇤Email: [email protected]. Partially supported by Simons Foundation collaboration grant 316709. †Email: [email protected]. 1 2 Biquandles and Biquandle Brackets In this section we briefly review biquandles and biquandle brackets; see [2, 8] for more. Definition 1. A biquandle is a set X with operations . , . : X X satisfying for all x, y, z X ! 2 (i) x . x = x . x, (ii) The maps ↵ , β : X X and S : X X X X given by x x ! ⇥ ! ⇥ ↵x(y)=y . x, βx(y)=y . x and S(x, y)=(y . x, x . y) are invertible, and (iii) We have the exchange laws (x . y) . (z . y)=(x . z) . (y . z) (x . y) . (z . y)=(x . z) . (y . z) (x . y) . (z . y)=(x . z) . (y . z). y It is sometimes convenient for the sake of space to write x . y as x and x . y as xy. Example 1. A useful class of biquandles is Alexander biquandles:letX be a module over the two-variable 1 1 Laurent polynomial ring Z[t± ,s± ] and define xy = tx +(s t)y and x = sx. − y One easily verifies that the biquandle axioms are satisfied. In particular, if X = Zn and s, t X are coprime to n,thenX is a linear Alexander biquandle. 2 The biquandle axioms are chosen so that given a coloring of an oriented link diagram L by a biquandle X, i.e., an assignment of elements of X to the semiarcs of L satisfying at every crossing the conditions before a Reidemeister move, there is a unique coloring of the diagram after the move which agrees with the pre-move coloring outside the neighborhood of the move. It follows that for a finite biquandle X,the number of X-colorings of an oriented link diagram is a link invariant. Indeed, it is not just the number of such colorings, but the set of such colorings for any fixed choice of diagram or, equivalently, the set of equivalence classes of colorings of diagrams of L, which is an invariant of links. In particular, if X is a finite biquandle, then the set of colorings of a (tame) oriented knot or link is finite and can be computed from a diagram, either by brute force counting or by using the structure of the biquandle where possible. Example 2. Let us compute the set of colorings of the trefoil knot 31 2 by the linear Alexander biquandle X = Z3 with t = 1 and s = 2. We have biquandle operations y x = x + y and xy =2x yielding system of coloring equations over Z3 2x = u x + y = w 2y = v y + z = u 2z = w x + z = v so the space of colorings is the kernel of the matrix 200200 100022 110002 010010 2 3 2 3 020020 row equiv. over 3 001001 − Z 6 0112007 ! 6 0001117 6 7 6 7 6 0020027 6 0000007 6 7 6 7 6 1010207 6 0000007 6 7 6 7 4 5 4 5 Z 2 given by Z[(1, 2, 0, 2, 1, 0), (1, 0, 2, 2, 0, 1)]. Then ΦX (31)=3 = 9. Alternatively, we can compute the set of colorings diagrammatically by checking which assignments of elements of X satisfy the coloring conditions at every crossing. Definition 2. A map f : X Y between biquandles is a homomorphism if we have ! f(x . x0)=f(x) . f(x0) and f(x . x0)=f(x) . f(x0) for all x, x0 X. 2 3 The set of X-colorings of a knot or link diagram L can be identified with the set of biquandle homomor- phisms f : (L) X from the the fundamental biquandle (L) of L, defined as the biquandle generated by the semiarcsB of L!modulo the crossing relations of L, to theB biquandle X. In particular, a coloring provides an image f(x ) X for each generator x of (L), defining a unique homomorphism f : (L) X if and j 2 j B B ! only if the crossing relations of L are satisfied. Thus, we have ΦZ (L)= Hom( (L),X) . For more see [2]. X | B | Definition 3. Now, let X be a biquandle and R a commutative ring with identity. A biquandle bracket over R is a pair of maps A, B : X X R⇥ assigning units Ax,y,Bx,y R to pairs of elements (x, y) X X such that the following conditions⇥ ! are satisfied: 2 2 ⇥ 2 1 (i) For all x X,theelements A B− are equal, with their common value denoted as w R; 2 − x,x x,x 2 1 1 (ii) For all x, y X,theelements Ax,y− Bx,y Ax,yBx,y− are equal, with their common value denoted as δ, and 2 − − (iii) For all x, y, z X we have 2 y z z Ax,yAy,zAx ,zy = Ax,zAyx,zx Ax ,y y z z Ax,yBy,zBx ,zy = Bx,zByx,zx Ax ,y y z z Bx,yAy,zBx ,zy = Bx,zAyx,zx Bx ,y y z z z z Ax,yAy,zBx ,zy = Ax,zByx,zx Ax ,y + Ax,zAyx,zx Bx ,y z z z z +δAx,zByx,zx Bx ,y + Bx,zByx,zx Bx ,y y y Bx,yAy,zAx ,zy + Ax,yBy,zAx ,zy y y z z +δBx,yBy,zAx ,zy + Bx,yBy,zBx ,zy = Bx,zAyx,zx Ax ,y . We can specify a biquandle bracket with an n 2n block matrix [A B]wherethe(i, j)-entries of A and B ⇥ | respectively are Axi,xj and Bxi,xj . See [8] for more. The biquandle bracket axioms are chosen so that the state-sum expansion of an X-colored oriented knot or link diagram Lf using the skein relations 4 with δ the value of a simple closed curve and w the value of a positive crossing is invariant under X-colored Reidemeister moves. More precisely, for each X-coloring Lf of an n-crossing diagram L: A state of L is a choice of C = A or B smoothing at every crossing j =1,...,n; • f j xy xy For each state we compute the product of the Cjs and δs for each component of the smoothed state, • and n p Multiply the sum of these over the set of states by the writhe correction factor w − where n, p are • the number of negative and positive crossings respectively, Obtaining the state-sum • n p β(L )=w − C δ .
Load more

Recommended publications
  • BLOCKS in DELIGNE's CATEGORY Rep(St) JONATHAN COMES A
    BLOCKS IN DELIGNE'S CATEGORY Rep(St) by JONATHAN COMES A DISSERTATION Presented to the Department of Mathematics and the Graduate School of the University of Oregon in partial fulfillment of the requirements for the degree of Doctor of Philosophy June 2010 11 University of Oregon Graduate School Confirmation of Approval and Acceptance of Dissertation prepared by: Jonathan Comes Title: "Blocks in Deligne's Category Rep(S_t)" This dissertation has been accepted and approved in partial fulfillment ofthe requirements for the Doctor ofPhilosophy degree in the Department ofMathematics by: Victor Ostrik, Chairperson, Mathematics Daniel Dugger, Member, Mathematics Jonathan Brundan, Member, Mathematics Alexander Kleshchev, Member, Mathematics Michael Kellman, Outside Member, Chemistry and Richard Linton, Vice President for Research and Graduate Studies/Dean ofthe Graduate School for the University ofOregon. June 14,2010 Original approval signatures are on file with the Graduate School and the University of Oregon Libraries. ' iii @201O, Jonathan Comes -------- iv An Abstract of the Dissertation of Jonathan Comes for the degree of Doctor of Philosophy in the Department of Mathematics to be taken June 2010 Title: BLOCKS IN DELIGNE'S CATEGORY Rep(St) Approved: _ Dr. Victor Ostrik We give an exposition of Deligne's tensor category Rep(St) where t is not necessarily an integer. Thereafter, we give a complete description of the blocks in Rep(St) for arbitrary t. Finally, we use our result on blocks to decompose tensor products and classify tensor ideals
    [Show full text]
  • Arxiv:0903.1373V2 [Math.CO] 19 Dec 2009 Ewl Ae Rv 1 N Hwta Vr Tphr a Emat Be Can Here Step Every That Show and Rigorous
    TRACE DIAGRAMS, SIGNED GRAPH COLORINGS, AND MATRIX MINORS STEVEN MORSE AND ELISHA PETERSON Abstract. Trace diagrams are structured graphs with edges la- beled by matrices. Each diagram has an interpretation as a par- ticular multilinear function. We provide a rigorous combinatorial definition of these diagrams using a notion of signed graph color- ing, and prove that they may be efficiently represented in terms of matrix minors. Using this viewpoint, we provide new proofs of several standard determinant formulas and a new generalization of the Jacobi determinant theorem. 1. Introduction Trace diagrams provide a graphical means of performing computa- tions in multilinear algebra. The following example, which proves aa vector identity, illustrates the power of the notation. Example. For u, v, w ∈ C3, diagrams for the cross product and inner product are u × v = and u · v = . u v u v By “bending” the diagrammatic identity arXiv:0903.1373v2 [math.CO] 19 Dec 2009 (1) = − , and attaching vectors, one obtains = − , u v w x u v w x u v w x which is the vector identity (u × v) · (w × x)=(u · w)(v · x) − (u · x)(v · w). We will later prove (1) and show that every step here can be mathe- matically rigorous. 1 2 STEVENMORSEANDELISHAPETERSON In this paper, we define a set of combinatorial objects called trace diagrams. Each diagram translates to a well-defined multilinear func- tion, provided it is framed (the framing specifies the domain and range of the function). We introduce the idea of signed graph coloring to de- scribe this translation, and show that it preserves a tensorial structure.
    [Show full text]
  • Arxiv:0903.1373V2 [Math.CO] 19 Dec 2009 Ewl Ae Rv 1 N Hwta Vr Tphr a Emathe- Be Can Here Step Every That Show and Rigorous
    TRACE DIAGRAMS, SIGNED GRAPH COLORINGS, AND MATRIX MINORS STEVEN MORSE AND ELISHA PETERSON Abstract. Trace diagrams are structured graphs with edges la- beled by matrices. Each diagram has an interpretation as a par- ticular multilinear function. We provide a rigorous combinatorial definition of these diagrams using a notion of signed graph color- ing, and prove that they may be efficiently represented in terms of matrix minors. Using this viewpoint, we provide new proofs of several standard determinant formulas and a new generalization of the Jacobi determinant theorem. 1. Introduction Trace diagrams provide a graphical means of performing computa- tions in multilinear algebra. The following example, which proves aa vector identity, illustrates the power of the notation. Example. For u, v, w ∈ C3, diagrams for the cross product and inner product are u × v = and u · v = . u v u v By “bending” the diagrammatic identity arXiv:0903.1373v2 [math.CO] 19 Dec 2009 (1) = − , and attaching vectors, one obtains = − , u v w x u v w x u v w x which is the vector identity (u × v) · (w × x)=(u · w)(v · x) − (u · x)(v · w). We will later prove (1) and show that every step here can be mathe- matically rigorous. 1 2 STEVENMORSEANDELISHAPETERSON In this paper, we define a set of combinatorial objects called trace diagrams. Each diagram translates to a well-defined multilinear func- tion, provided it is framed (the framing specifies the domain and range of the function). We introduce the idea of signed graph coloring to de- scribe this translation, and show that it preserves a tensorial structure.
    [Show full text]
  • The Ground-State Energies in Γi-Deformed N = 4 SYM Theory at Leading Wrapping Order
    HU-MATH-2014-07 HU-EP-14/15 A piece of cake: the ground-state energies in γi-deformed N = 4 SYM theory at leading wrapping order Jan Fokken, Christoph Sieg, Matthias Wilhelm Institut f¨ur Mathematik und Institut f¨ur Physik Humboldt-Universit¨at zu Berlin IRIS Geb¨aude Zum Grossen Windkanal 6 12489 Berlin fokken, csieg, mwilhelm @physik.hu-berlin.de 1 2 L 3 ∼ ζ(2L − 3) L−1 4 Abstract. In the non-supersymmetric γi-deformed N = 4 SYM theory, the scaling di- mensions of the operators tr[ZL] composed of L scalar fields Z receive finite-size wrapping and prewrapping corrections in the ’t Hooft limit. In this paper, we calculate these scaling dimensions to leading wrapping order directly from Feynman diagrams. For L ≥ 3, the result is proportional to the maximally transcendental ‘cake’ integral. It matches with an earlier result obtained from the integrability-based L¨uscher corrections, TBA and Y- system equations. At L = 2, where the integrability-based equations yield infinity, we find a finite rational result. This result is renormalization-scheme dependent due to the non-vanishing β-function of an induced quartic scalar double-trace coupling, on which we have reported earlier. This explicitly shows that conformal invariance is broken – even in the ’t Hooft limit. Keywords. PACS: 11.15.-q; 11.30.Pb; 11.25.Tq Keywords: Super-Yang-Mills; Anomalous dimensions; Integrability; 1 Introduction and summary In this paper, we provide a field-theoretic test of integrability in the γi-deformed N = 4 SYM theory (γi-deformation). This theory was proposed as the field-theory part of a non-supersymmetric example of the AdS/CFT correspondence [1], which is obtained by applying a three-parameter deformation to both sides of the original correspondence [2–4].
    [Show full text]
  • Correspondences, Integral Structures, and Compatibilities in P-Adic Cohomology
    Correspondences, Integral Structures, and Compatibilities in p-adic Cohomology by Bryden R. Cais A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics) in The University of Michigan 2007 Doctoral Committee: Professor Brian Conrad, Chair Professor Karen Smith Professor Stephen Debacker Professor Ralph Lydic When the stars threw down their spears, And watered heaven with their tears: Did he smile his work to see? Did he who made the Lamb make thee? |WIlliam Blake, The Tyger c Bryden R. Cais 2019 All Rights Reserved ACKNOWLEDGEMENTS It is a pleasure to thank Robert Coleman, Johan de Jong, Kiran Kedlaya, Barry Mazur, Bill Messing, Martin Olsson, Karen Smith, and Jason Starr for many helpful exchanges and conversations. I heartily thank Karen Smith for several enlightening discussions, for her interest in my thesis, and for agreeing to read the final draft. I owe a particular debt of gratitude to Benedict Gross, both for his paper [22] that motivated this thesis, and for his encouragement over the course of my mathematical career. I would also like to thank Stephen Debacker and Ralph Lydic for agreeing to be on my thesis committe. Many special thanks go to my family for their unwavering encouragement, and to Mark for his continued friendship and support. It is impossible to measure the debt I owe to my advisor, Brian Conrad. Over the past five years he has been an indefatigable source of encouragement, wisdom, and inspiration, and his help and patient guidance have been invaluable in the writing of this thesis. ii TABLE OF CONTENTS ACKNOWLEDGEMENTS :::::::::::::::::::::::::: ii LIST OF APPENDICES :::::::::::::::::::::::::::: v INSTRUCTIONS FOR THE READER :::::::::::::::::: vi CHAPTER I.
    [Show full text]
  • Arxiv: Spontaneous Conformal Symmetry Breaking in Fishnet
    CERN-TH-2019-147 Spontaneous Conformal Symmetry Breaking in Fishnet CFT Georgios K. Karananas,1, ∗ Vladimir Kazakov,2, 3, 4, y and Mikhail Shaposhnikov5, z 1Arnold Sommerfeld Center, Ludwig-Maximilians-Universit¨atM¨unchen,Theresienstraße 37, 80333, M¨unchen,Germany 2Laboratoire de Physique de l'Ecole´ Normale Sup´erieure, 24 rue Lhomond, F-75231 Paris Cedex 05, France 3PSL Research University, CNRS, Sorbonne Universit´e 4CERN Theory Department, CH-1211 Geneva 23, Switzerland 5Institute of Physics, Laboratory of Particle Physics and Cosmology, Ecole´ Polytechnique F´ed´erale de Lausanne (EPFL), CH-1015, Lausanne, Switzerland Quantum field theories with exact but spontaneously broken conformal invariance have an in- triguing feature: their vacuum energy (cosmological constant) is equal to zero. Up to now, the only known ultraviolet complete theories where conformal symmetry can be spontaneously broken were associated with supersymmetry (SUSY), with the most prominent example being the N =4 SUSY Yang-Mills. In this Letter we show that the recently proposed conformal “fishnet” theory supports at the classical level a rich set of flat directions (moduli) along which conformal symmetry is spontaneously broken. We demonstrate that, at least perturbatively, some of these vacua survive in the full quantum theory (in the planar limit, at the leading order of 1=Nc expansion) without any fine tuning. The vacuum energy is equal to zero along these flat directions, providing the first non-SUSY example of a four-dimensional quantum field theory with \natural" breaking of conformal symmetry. INTRODUCTION vant for the explanation of the amazing smallness of the cosmological constant. Conformal Field Theories (CFTs) represent an indis- A systematic way to construct effective field theories pensable tool to address the behavior of many systems in enjoying exact but spontaneously broken CI was de- the vicinity of the critical points associated with phase scribed in [6], following the ideas of [7, 8] (for further transitions.
    [Show full text]
  • Trace Diagrams, Representations, and Low-Dimensional Topology
    ABSTRACT Title of Dissertation: TRACE DIAGRAMS, REPRESENTATIONS, AND LOW-DIMENSIONAL TOPOLOGY Elisha Peterson, Doctor of Philosophy, 2006 Dissertation directed by: Professor William Goldman Department of Mathematics This thesis concerns a certain basis for the coordinate ring of the character variety of a surface. Let G be a connected reductive linear algebraic group, and let § be a surface whose fundamental group ¼ is a free group. Then the co- ordinate ring C[Hom(¼; G)] of the homomorphisms from ¼ to G is isomorphic to C[G£r] »= C[G]­r for some r 2 N. The coordinate ring C[G] may be identi- ¯ed with the ring of matrix coe±cients of the maximal compact subgroup of G. Therefore, the coordinate ring on the character variety, which is also the ring of invariants C[Hom(¼; G)]G, may be described in terms of the matrix coe±cients of the maximal compact subgroup. G This correspondence provides a basis f®g for C[Hom(¼; G)] , whose con- stituents will be called central functions. These functions may be expressed as labelled graphs called trace diagrams. This point-of-view permits diagram ma- nipulation to be used to construct relations on the functions. In the particular case G = SL(2; C), we give an explicit description of the central functions for surfaces. For rank one and two fundamental groups, the diagrammatic approach is used to describe the symmetries and structure of the central function basis, as well as a product formula in terms of this basis. For SL(3; C), we describe how to write down the central functions diagrammatically using the Littlewood-Richardson Rule, and give some examples.
    [Show full text]
  • Trace Diagrams, Signed Graph Colorings, and Matrix Minors Steven Morse and Elisha Peterson
    inv lve a journal of mathematics Trace diagrams, signed graph colorings, and matrix minors Steven Morse and Elisha Peterson mathematical sciences publishers 2010 vol. 3, no. 1 INVOLVE 3:1(2010) Trace diagrams, signed graph colorings, and matrix minors Steven Morse and Elisha Peterson (Communicated by Kenneth S. Berenhaut) Trace diagrams are structured graphs with edges labeled by matrices. Each diagram has an interpretation as a particular multilinear function. We provide a rigorous combinatorial definition of these diagrams using a notion of signed graph coloring, and prove that they may be efficiently represented in terms of matrix minors. Using this viewpoint, we provide new proofs of several stan- dard determinant formulas and a new generalization of the Jacobi determinant theorem. 1. Introduction Trace diagrams provide a graphical means of performing computations in multi- linear algebra. The following example, which proves a vector identity, illustrates the power of the notation. Example. For u; v; w 2 C3, diagrams for the cross product and inner product are u × v D and u · v D : u v u v By “bending” the diagrammatic identity D − ; (1) and attaching vectors, one obtains D − ; u v w x u v w x u v w x which is the vector identity .u × v/ · .w × x/ D .u · w/.v · x/ − .u · x/.v · w/: MSC2000: primary 05C15, 15A69; secondary 57M07, 16W22. Keywords: trace diagrams, graph coloring, matrix minors, multilinear algebra, planar algebra, tensor diagrams, determinant, cofactor. 33 34 STEVEN MORSE AND ELISHA PETERSON We will later prove (1) and show that every step here can be mathematically rigor- ous.
    [Show full text]
  • Partition Functions of Normal Factor Graphs
    Partition Functions of Normal Factor Graphs G. David Forney, Jr. Pascal O. Vontobel Laboratory for Information and Decision Systems Hewlett–Packard Laboratories Massachusetts Institute of Technology 1501 Page Mill Road Cambridge, MA 02139, USA Palo Alto, CA 94304, USA [email protected] [email protected] Abstract—One of the most common types of functions in • The holographic transformations of NFGs of Al- mathematics, physics, and engineering is a sum of products, Bashabsheh and Mao [2], which may be used to derive sometimes called a partition function. After “normalization,” a the “holographic algorithms” of Valiant [21] and others, sum of products has a natural graphical representation, called a normal factor graph (NFG), in which vertices represent factors, may be further generalized to derive the “tree-based edges represent internal variables, and half-edges represent the reparameterization” approach of Wainwright et al. [25], external variables of the partition function. In physics, so-called the “loop calculus” results of Chertkov and Chernyak trace diagrams share similar features. [7], [8], and the Lagrange duality results of Vontobel and We believe that the conceptual framework of representing Loeliger [23], [24]. sums of products as partition functions of NFGs is an important and intuitive paradigm that, surprisingly, does not seem to have • Linear codes defined on graphs and their weight gen- been introduced explicitly in the previous factor graph literature. erating functions have natural representations as NFGs, Of particular interest are NFG modifications that leave the as shown in [13], but we will not discuss this topic here. partition function invariant. A simple subclass of such NFG modifications offers a unifying view of the Fourier transform, II.
    [Show full text]
  • Form Factors and the Dilatation Operator in N=4 Super Yang-Mills
    Form factors and the dilatation operator in N = 4 super Yang-Mills theory and its deformations Dissertation zur Erlangung des akademischen Grades doctor rerum naturalium (Dr. rer. nat.) im Fach Physik eingereicht an der Mathematisch-Naturwissenschaftlichen Fakult¨at der Humboldt-Universit¨at zu Berlin von M.Sc. B.Sc. Matthias Oliver Wilhelm Pr¨asident der Humboldt-Universit¨at zu Berlin Prof. Dr. Jan-Hendrik Olbertz Dekan der Mathematisch-Naturwissenschaftlichen Fakult¨at Prof. Dr. Elmar Kulke Gutachter/innen: 1. Prof. Dr. Matthias Staudacher 2. Prof. Dr. Jan Plefka 3. Prof. Dr. Tristan McLoughlin Tag der m¨undlichen Pr¨ufung: 12.02.2016 2 Zusammenfassung Seit mehr als einem halben Jahrhundert bietet die Quantenfeldtheorie (QFT) den genausten und erfolgreichsten theoretischen Rahmen zur Beschreibung der fundamentalen Wechsel- wirkungen zwischen Elementarteilchen, wenn auch mit Ausnahme der Gravitation. Den- noch sind QFTs im Allgemeinen weit davon entfernt, vollst¨andig verstanden zu sein. Dies liegt an einem Mangel an theoretischen Methoden zur Berechnung ihrer Observablen sowie an fehlendem Verst¨andnis der auftretenden mathematischen Strukturen. In den letzten anderthalb Jahrzehnten kam es zu bedeutendem Fortschritt im Verst¨andnis von speziellen Aspekten einer bestimmten QFT, der maximal supersymmetrischen Yang-Mills-Theorie in vier Dimensionen, auch = 4 SYM-Theorie genannt. Diese haben die Hoffnung N geweckt, dass die = 4 SYM-Theorie exakt l¨osbar ist. Besonders bemerkenswert war der N Fortschritt auf den Gebiet der Streuamplituden auf Grund der Entwicklung sogenannter Masseschalen-Methoden und auf dem Gebiet der Korrelationsfunktionen zusammengeset- zter Operatoren auf Grund von Integrabilit¨at. In dieser Dissertation gehen wir der Frage nach, ob und in welchem Umfang die in diesem Kontext gefunden Methoden und Struk- turen auch zum Verst¨andnis weitere Gr¨oßen in dieser Theorie sowie zum Verst¨andnis an- derer Theorien beitragen k¨onnen.
    [Show full text]
  • A Not-So-Characteristic Equation: the Art of Linear Algebra 3
    A NOT-SO-CHARACTERISTIC EQUATION: THE ART OF LINEAR ALGEBRA ELISHA PETERSON Abstract. Can the cross product be generalized? Why are the trace and de- terminant so important in matrix theory? What do all the coefficients of the characteristic polynomial represent? This paper describes a technique for ‘doo- dling’ equations from linear algebra that offers elegant solutions to all these questions. The doodles, known as trace diagrams, are graphs labeled by matri- ces which have a correspondence to multilinear functions. This correspondence permits computations in linear algebra to be performed using diagrams. The result is an elegant theory from which standard constructions of linear algebra such as the determinant, the trace, the adjugate matrix, Cramer’s rule, and the characteristic polynomial arise naturally. Using the diagrams, it is easy to see how little structure gives rise to these various results, as they all can be ‘traced’ back to the definition of the determinant and inner product. 1. Introduction When I was an undergraduate, I remember asking myself: why does the cross product “only work” in three dimensions? And what’s so special about the trace and determinant of a matrix? What is the real reason behind the connection between the cross product and the determinant? These questions have traditional answers, but I never found them satisfying. Perhaps that’s because I could not, as a visual learner, “see” what these things really meant. A few years ago, I was delighted to come across the correspondences u × v ↔ and u · v ↔ u v u v in a book by the physicist G.E.
    [Show full text]
  • Trace Diagrams, Spin Networks, and Spaces of Graphs KAIST Geometric Topology Fair
    Introduction Trace Diagrams and Their Properties Structure of the Coordinate Ring Central Functions Trace Diagrams, Spin Networks, and Spaces of Graphs KAIST Geometric Topology Fair Elisha Peterson United States Military Academy July 10, 2007 Elisha Peterson Trace Diagrams, Spin Networks, and Spaces of Graphs Introduction Trace Diagrams and Their Properties Fundamental Group Representations and the Coordinate Ring Structure of the Coordinate Ring Central Functions Motivation I Every representation ρ ∈ Hom(π, G) where G = SL(2, C) induces a map π → C given by taking the trace of π C [G ×r ]G = C[χ] ρ(x). These elements are x tr(ρ(x)) conjugation-invariant and reside in ?? ×r G both C[G ] and the coordinate ring ? of the character variety. For this reason, the study of the structure of the character variety and its coordinate ring often boils down to examining trace relations [described in detail in Lawton’s first talk]. This talk will describe a more geometric way to discuss trace relations. Elisha Peterson Trace Diagrams, Spin Networks, and Spaces of Graphs Introduction Trace Diagrams and Their Properties Fundamental Group Representations and the Coordinate Ring Structure of the Coordinate Ring Central Functions Motivation I Every representation ρ ∈ Hom(π, G) where G = SL(2, C) induces a map π → C given by taking the trace of π C [G ×r ]G = C[χ] ρ(x). These elements are x tr(ρ(x)) conjugation-invariant and reside in ?? ×r G both C[G ] and the coordinate ring ? of the character variety. For this reason, the study of the structure of the character variety and its coordinate ring often boils down to examining trace relations [described in detail in Lawton’s first talk].
    [Show full text]