Feeds:
Posts
Comments

Posts Tagged ‘diagrammatic algebra’

String diagrams, duality, and trace

Posted in math.CT, tagged , , on November 6, 2012| 3 Comments »

Previously we introduced string diagrams and saw that they were a convenient way to talk about tensor products, partial compositions of multilinear maps, and symmetries. But string diagrams really prove their use when augmented to talk about duality, which will be described topologically by bending input and output wires. In particular, we will be able to see topologically the sense in which the following four pieces of information are equivalent:

  • A linear map U \to V,
  • A linear map U \otimes V^{\ast} \to 1,
  • A linear map V^{\ast} \to U^{\ast},
  • A linear map 1 \to U^{\ast} \otimes V.

Using string diagrams we will also give a diagrammatic definition of the trace \text{tr}(f) of an endomorphism f : V \to V of a finite-dimensional vector space, as well as a diagrammatic proof of some of its basic properties.

Below all vector spaces are finite-dimensional and the composition convention from the previous post is still in effect.

(more…)

Read Full Post »

Introduction to string diagrams

Posted in math.CT, tagged , , on November 5, 2012| 16 Comments »

Today I would like to introduce a diagrammatic notation for dealing with tensor products and multilinear maps. The basic idea for this notation appears to be due to Penrose. It has the advantage of both being widely applicable and easier and more intuitive to work with; roughly speaking, computations are performed by topological manipulations on diagrams, revealing the natural notation to use here is 2-dimensional (living in a plane) rather than 1-dimensional (living on a line).

For the sake of accessibility we will restrict our attention to vector spaces. There are category-theoretic things happening in this post but we will not point them out explicitly. We assume familiarity with the notion of tensor product of vector spaces but not much else.

Below the composition of a map f : a \to b with a map g : b \to c will be denoted f \circ g : a \to c (rather than the more typical g \circ f). This will make it easier to translate between diagrams and non-diagrams. All diagrams were drawn in Paper.

(more…)

Read Full Post »