Scholarly article on topic 'Categorical Formulation of Finite-dimensional C*-algebras'

Categorical Formulation of Finite-dimensional C*-algebras Academic research paper on "Physical sciences"

CC BY-NC-ND
0
0
Share paper
OECD Field of science
Keywords
{C*-algebras / "Frobenius algebras"}

Abstract of research paper on Physical sciences, author of scientific article — Jamie Vicary

Abstract We develop the concept of an involution monoid, and use it to show that finite-dimensional C*-algebras are the same as special unitary †-Frobenius monoids in the category of finite-dimensional complex Hilbert spaces. This gives a new, geometrical definition of finite-dimensional C*-algebras, contrasting with the conventional algebraic one.

Academic research paper on topic "Categorical Formulation of Finite-dimensional C*-algebras"

Available online at www.sciencedirect.com

W ScienceDirect

ELSEVIER Electronic Notes in Theoretical Computer Science 270 (1) (2011) 129-145

www.elsevier.com/locate/entcs

Categorical Formulation of Finite-dimensional C*-algebras

Jamie Vicary1 '2

Theoretical Physics Blackett Laboratory Imperial College London London, SW7 2AZ United Kingdom

Abstract

We develop the concept of an involution monoid, and use it to show that finite-dimensional C*-algebras are the same as special unitary f-Frobenius monoids in the category of finite-dimensional complex Hilbert spaces. This gives a new, geometrical definition of finite-dimensional C*-algebras, contrasting with the conventional algebraic one.

Keywords: C*-algebras, Frobenius algebras

1 Introduction

The main purpose of this paper is to describe how f-Frobenius monoids are the correct tool for describing finite-dimensional C*-algebras in a categorical way. Since f-Frobenius monoids have entirely geometrical axioms, this gives a new way to look at these traditionally algebraic objects.

This difference in perspective can be thought of as moving from an 'internal' to an 'external' viewpoint. Traditionally, we formulate a C*-algebra as the set of elements of a vector space, along with extra structure that tells you how to multiply elements, find a unit element, apply an involution and take norms. This is an 'internal' view, since we are dealing directly with the elements of the set. The 'external' alternative is to 'zoom out' in perspective: we can no longer discern the individual elements of the C*-algebra, but we can see more clearly how it relates to

1 Thanks to Samson Abramsky, Bruce Bartlett, Bob Coecke, Chris Heunen, Chris Isham and Dusko Pavlovic for useful discussions.

2 Email:jamie.vicary@comlab.ox.ac.uk

1571-0661/$ - see front matter © 2011 Elsevier B.V. All rights reserved. doi:10.1016/j.entcs.2011.01.012

other vector spaces, and these relationships give an alternative way to completely define the C*-algebra.

Of course, this metaphor is made completely precise by category theory, and the passage between these two viewpoints is very familiar. Category-theoretically, our main result can be stated as follows: in theorem 3.26 we show that finite-dimensional C*-algebras are the same as special unitary f-Frobenius monoids in Hilb, the category of finite-dimensional complex Hilbert spaces.

It is expected that these results will have interesting ramifications for information theory. C*-algebraic techniques are often useful for exploring the properties of quantum information; a good example of this is the CBH theorem [3]. The description of C*-algebras given in this paper gives a new, more abstract way to approach this subject.

These results also suggest a new, more abstract route into investigations of physical applications of C*-algebras. The most immediate application, which we do not discuss in this paper, is to the study of unitary topological quantum field theories. We also note that the special unitary Frobenius monoids that we are concerned with in this paper have already been shown to give rise to conformal field theories [9]; the results of this paper then suggest that such theories should be thought of as generalised C*-algebras.

1.1 Why f-Frobenius monoids?

An insight into why f-Frobenius monoids are the correct structures to choose is contained in the following observation, due to Coecke, Pavlovic and the author [5]. Let (V, m,u) be an associative, unital algebra on a complex vector space V, with multiplication map m : V ® V —► V and unit map u : C —► V. We can map any element a G V into the algebra of operators on V by constructing its right action, a linear map Ra := m o (ida <8> a) : V —► V. We draw this right action in the following way:

The diagram is read from bottom to top. This is a direct representation of our definition of Ra: vertical lines represent the vector space V, the dot represents preparation of the state a, and the merging of the two lines represents the multiplication operation m : V ® V —► V. If V is in fact a Hilbert space we can then construct the adjoint map Rat : V —► V. Will this adjoint also be the right action of some element of V?

In the case that (V, m, u) is in fact a j-Frobenius monoid, the answer is yes. We draw the adjoint Rat by flipping the diagram on a horizontal axis, but keeping the

arrows pointing in their original direction:

The splitting of the line into two represents the adjoint to the multiplication, and the dot represents the linear map a) : V —► C. The multiplication and unit mor-phisms of the f-Frobenius monoid, along with their adjoints, must obey the following equations (see definition 3.3):

On the left are the Frobenius equations, and on the right are the unit equations. The short horizontal bar in the unit equations represents the unit for the monoid, and the straight vertical line represents the identity homomorphism on the monoid. In fact, we also have two extra equations, since we can take the adjoint of the unit equations. We can use a unit equation and a Frobenius equation to redraw the graphical representation of Rat in the following way:

■ a<

We therefore see that the adjoint of Ra is indeed a right-action of some element: Rat = Ra/, for a' = (ida <8> at) o m) o u.

To better understand this transformation a i—► a' we apply it twice to evaluate (a')', using the Frobenius and unit equations and the fact that the f-functor is an

involution:

(at )t

We see that (a')' = a, and so the operation a I—► a' is an involution. Since taking the adjoint Ra I—► R^ is also clearly an involution, the mapping of elements of the monoid into the ring of operators on V is therefore involution-preserving, as it maps one involution into another. We shall see that the mapping is injective and preserves the multiplication and unit of (V, m, u), so in fact we have a fully-fledged involution-preserving monoid embedding as described by lemmas 3.19 and 3.20.

This observation is one reason why f-Frobenius monoids are such powerful tools. In fact, given that the algebra of operators on V is a C*-algebra with *-involution given by operator adjoint, and since any involution-closed subalgebra of a C*-algebra is also a C*-algebra, we have already shown that every f-Frobenius monoid in Hilb can be given a C*-algebra norm.

2 Structures in f-categories

2.1 The f -functor

Of all the categorical structures that we will make use of, the most fundamental is the f -functor. It is an axiomatisation of the operation of taking the adjoint of a linear map between two Hilbert spaces, and since knowing the adjoints of all maps C —► H is equivalent to knowing the inner product on H, it also serves as an axiomatisation of the inner product.

Definition 2.1 A f-functor on a category C is a contravariant endofunctor f : C —► C, which is the identity on objects and which satisfies f o f = idc.

Definition 2.2 A f-category is a category equipped with a particular choice of f-functor.

We denote the action of a f-functor on a morphism f : A —► B as f t : B —► A, and by convention we refer to the morphism f t as the adjoint of f. We can now make the following straightforward definitions:

Definition 2.3 In a f-category, a morphism f : A —► B is an isometry if f t o f = id^; in other words, if ft is a retraction of f.

Definition 2.4 In a f-category, a morphism f : A —► B is unitary if ft o f = id^ and f o ft = ids ; in other words, if f is an isomorphism and f= ft.

2.2 Monoidal f-categories with duals

We now investigate appropriate compatibility conditions in the case that our monoidal category has both duals and a f-functor.

Definition 2.5 A monoidal f-category is a monoidal category equipped with a f-functor, such that the associativity and unit natural isomorphisms are unitary. If the monoidal category is equipped with braiding natural isomorphisms, then these must also be unitary.

A good reference for the essentials of monoidal category theory is [7].

In a monoidal f-category we can give abstract definitions of some important terminology normally associated with Hilbert spaces.

Definition 2.6 In a monoidal category, the scalars are the monoid Hom(I, I). In a monoidal f-category, the scalars form a monoid with involution.

Definition 2.7 In a monoidal f-category, a state of an object A is a morphism : I — A.

Definition 2.8 In a monoidal f-category, the squared norm of a state ^ : I —► A is the scalar $ o ^ : I —► I.

If our f-category also has a zero object, we note that it is quite possible for the squared norm of a non-zero state to be zero. For this reason, as it stands, definition 2.8 seems a poor abstraction of the notion of the squared norm on a vector space. In [11] we describe a way to overcome this problem, but it will not affect us here.

Definition 2.9 A monoidal f-category with duals is a monoidal f-category such that each object A has an assigned left- and right-dual object A*, with this assignment satisfying (A* )* = A, and assigned left and right duality morphisms for each object, such that these assignments are compatible with the f-functor in the following way:

eA = nRf = nA= 4* nA = ^ = ey = nA* (-)*L = (-)*R (1)

Since the left and right duality morphisms can be obtained from each other using the f-functor, from now on we will only refer directly to the left-duality morphisms, defining 6a := eA and nA := nA. Also, since the duality functors (—)*L and (—)*R are the same, we use the simpler notation (-)*.

In fact, this duality functor is an involution, and commutes with the f-functor. The composite of the duality and f-functors will therefore also be an involution.

Definition 2.10 In a monoidal f-category with duals, the conjugation functor (—)* is defined on all morphisms f by f* = (f *)t = (f t)*.

Since the f-functor is the identity on objects, we have A* = A* for all objects A. To make this equality clear we will write A* exclusively, and the A* form will not be used.

For any morphism f : A —► B we can use these functors to construct f* : A* B*, f * : B* A* and ff : B A, and it will be important to be able to easily distinguish between these graphically. We will use an approach originally due to Selinger [10], in the form adopted by Coecke and Pavlovic [4]:

In other work, an important notion is that of a strongly compact-closed category [1,2]. Using the definitions given here, this is equivalent to a symmetric monoidal f-category with duals.

2.3 Involution monoids

An important tool in functional analysis is the *-algebra: a complex, associative, unital algebra equipped with an antilinear involutive homomorphism from the algebra to itself which reverses the order of multiplication. Category-theoretically, such a homomorphism is not very convenient to work with, since morphisms in a category of vector spaces are usually chosen to be the linear maps. However, if the vector space has an inner product, this induces a canonical antilinear isomorphism from the vector space to its dual. Composing this with the antilinear self-involution, we obtain a linear isomorphism from the vector space to its dual. This style of isomorphism is much more useful from a categorical perspective, and we use it to define the concept of an involution monoid. We will demonstrate that this is equivalent to a conventional *-algebra when applied in a category of complex Hilbert spaces. The natural setting for the study of these categorical objects is a category with a conjugation functor, as defined above.

Definition 2.11 In a monoidal category, a monoid is an ordered triple (A, m, u) consisting of an object A, a multiplication morphism m : A ( A —► A and a unit morphism u : I —► A, which satisfy associativity and unit equations:

Definition 2.12 In a monoidal f-category with duals, an involution monoid, (A, m, u; s) is an internal monoid (A, m, u) equipped with a morphism s : A —► A* called the linear involution, which is a morphism of monoids with respect to the monoid structure (A*,m*,u*) on A*, and which satisfies the involution condition

s* o s = id a.

It follows from this definition that s and s* are mutually inverse morphisms, since applying the conjugation functor to the involution condition gives s o s* = idA*. We also note that for any such involution monoid s : A —► A* and s* : A —► A* are parallel morphisms, but they are not necessarily the same.

Definition 2.13 In a monoidal f-category with duals, given involution monoids (A, m,u; sa) and (B,n,v; sb), a morphism f : A —► B is a homomorphism of involution monoids if it is a morphism of monoids, and if it satisfies the involution-preservation condition

sb o f = f* o sa. (4)

If an object B is self-dual, it is possible for the involution sb : B —► B to be the identity. Let (B,n, v;idB) be such an involution monoid. In this case, it is sometimes possible to find an embedding f : (A, m, u; sa) (B, n, v;idB) of involution monoids even when the linear involution sA is not trivial! We will see an example of this in the next section.

The following lemma establishes that the traditional concept of *-algebra and the categorical concept of an involution monoid are the same, in an appropriate context. We demonstrate the equivalence for finite-dimensional algebras, since the category of finite-dimensional complex vector spaces forms a category with duals.

Lemma 2.14 For a unital, associative algebra on a finite-dimensional complex Hilbert .space V, there is a correspondence between the following structures:

(i) antilinear maps t : V —► V which are involutions, and which are order-reversing algebra homomorphisms;

(ii) linear maps s : V —► V* where V* is the dual space of V, satisfying s*os = idy, and which are algebra homomorphisms to the conjugate algebra on V*.

Furthermore, the natural notions of homomorphism for these structures are also equivalent.

For reasons of space, we omit the proof.

3 Results on f-Frobenius monoids

3.1 Introducing f-Frobenius monoids

We begin with definitions of the important concepts.

Definition 3.1 In a monoidal category, a comonoid is the dual concept to a monoid; that is, it is an ordered triple (A, n, v)x consisting of an object A, a comul-tiplication n : A —► A ® A and a counit v : A —► I, which satisfy coassociativity

and counit equations:

If an object has both a chosen monoid structure and a chosen comonoid structure, then there is an important way in which these might be compatible with each other.

Definition 3.2 In a monoidal category, a Frobenius structure is a choice of monoid (A, m, u) and comonoid (A, n,v)x for some object A, such that the multiplication m and the comultiplication n satisfy the following equations:

Reading these diagrams from bottom to top, the splitting of a line represents the comultiplication n, and merging of two lines represents the multiplication m. This geometrical definition of a Frobenius structure, although well-known, is quite different from the 'classical' definition in terms of an exact pairing. A good discussion of the different possible definitions is given in the book by Kock [6]. An important property of a Frobenius structure is that it can be used to demonstrate that the underlying object is self-dual.

If we are working in a f-category, from any monoid (A, m, u) we can canoni-cally obtain an 'adjoint' comonoid (A, m^,u^)x, and it is then natural to make the following definition.

Definition 3.3 In a monoidal f-category, a monoid (A, m, u) is a f-Frobenius monoid if it forms a Frobenius structure with its adjoint (A, m^,u^)x.

Given a f-Frobenius monoid (A, m,u), we refer to m^ as its comultiplication and to u as its counit.

3.2 Involutions on f-Frobenius monoids

We now look at the relationship between f-Frobenius monoids and the involution monoids of section 2. We will see that a f-Frobenius monoid can be given the structure of an involution monoid in two canonical ways, which in general will be different.

Definition 3.4 In a monoidal f-category with duals, a f-Frobenius monoid (A, m, u) has a left involution sl : A —► A* and right involution sr : A —► A*

defined as follows:

sl := ((U o m) <g) idA*) o (idA <8> ca*) sr := (idA* <8> (u* o m)) o (ca <8> id^)

In each case the second picture is just a convenient shorthand, which should literally be interpreted as the first picture. These involutions interact with the conjugation and transposition functors in interesting ways, as we explore in the next lemma.

Lemma 3.5 In a monoidal f-category with duals, the left and right involutions of a f -Frobenius monoid satisfy the following equations:

* SL = SR , * SR = SL (8)

SL* = s-1, SR* = s-1 (9)

s-1 = SRf, s-1 = sl* (10)

We now combine these results on involutions of f-Frobenius monoids with the concept of an involution monoid from section 2.

Lemma 3.6 In a monoidal f-category with duals, given a f-Frobenius monoid (A,m,u) we can canonically obtain two involution monoids (A, m,u; sl) and (A, m,u; sr), where sl and sr are respectively the left and right involutions associated to the monoid.

Proof. We deal with the right-involution case; the left-involution case is analogous. We must show that sr : A —► A* is a morphism of monoids, and that it satisfies the involution condition. We first show that it preserves multiplication, employing the Frobenius, unit and associativity laws:

condition sr * o sr = idA follows from one of the equations (9) in lemma 3.5. □ This leads us to the following definition.

Definition 3.7 In a monoidal f-category with duals, a f-Frobenius left- (or right-) involution monoid is an involution monoid (A, m, u; s) such that the monoid

(A, m, u) is f-Frobenius, and such that the involution s is the left (or right) involution of the f-Frobenius monoid in the manner described by definition 3.4.

A useful property of f-Frobenius right-involution monoids is described by the following lemma, which gives a necessary and sufficient algebraic condition for a monoid homomorphism to be an isometry.

Lemma 3.8 In a monoidal f-category with duals, a homomorphism of f-Frobenius right-involution monoids is an isometry if and only if it preserves the counit.

Proof. Let j : (A, m,u) —► (B,n,v) be a homomorphism between f-Frobenius right-involution monoids. Assuming that j preserves the counit, we show that it is an isometry by the following graphical argument. The third step uses the fact that j preserves the involution, the fifth that it is a homomorphism of monoids, and the sixth that it preserves the counit.

Now instead assume that j is an isometry. It is a homomorphism, so we have the unit-preservation equation jou = v, and therefore jt ojou = u = jov. Applying the f-functor to this we obtain u^ = v^ o j, which is the counit preservation condition.□

3.3 Special unitary f-Frobenius monoids

We will mostly be interested in the case when the two involutions are the same, and we now explore under what conditions this holds.

Definition 3.9 In a monoidal f-category with duals, a f-Frobenius monoid is unitary if the left involution, or equivalently the right involution, is unitary.

That these are equivalent follows from lemma 3.5.

Definition 3.10 In a braided monoidal f-category with duals, a f-Frobenius

monoid is balanced-symmetric if the following equation is satisfied:

The term symmetric is standard (for example, see [6, section 2.2.9]), and describes a similar property that lacks the 'balancing loop' on one of the legs of the right-hand side of the equation. In Hilb this loop is the identity and so the concepts are the same, but this may not be the case in other categories of interest.

Lemma 3.11 In a monoidal f-category with duals, the following properties of a f-Frobenius monoid are equivalent:

(i) it is unitary;

(ii) it is balanced-symmetric;

(iii) the left and right involutions are the same;

where property 2 only applies if the monoidal structure has a braiding.

Proof. We first give a graphical proof that 3 ^ 2, using property 3 to transform the second expression into the third:

A similar argument shows that 2 ^ 3. From equations (10) of lemma 3.5 it follows that 1 ^ 3, and so all three properties are equivalent. □

We will mostly use the term 'unitary' to refer to these equivalent properties, since it is more obviously in keeping with the general philosophy of f-categories, that all structural isomorphisms should be unitary. We also note that if a f-Frobenius left-or right-involution monoid is unitary then we can simply refer to it as a 'f-Frobenius involution monoid', as the left and right involutions coincide in that case.

One particularly nice feature of unitary f-Frobenius monoids is that we can canonically obtain an abstract 'dimension' of their underlying space from the multiplication, unit, comultiplication and counit, as the following lemma shows. They also force this dimension to be well-behaved. In a category of vector spaces and linear maps, this dimension will correspond to the dimension of the vector space.

Definition 3.12 In a monoidal f-category, the dimension of an object A is given by the scalar ca^ ◦ ca : I —^ I, and is denoted dim(A).

Lemma 3.13 In a monoidal ]-category with duals, given a unitary j-Frobenius monoid (A,m,u), dim(A) = U o m o m) o u; that is, the dimension of A is equal to the squared norm of m^ o u. Also, dim(A) = dim(A)*.

Proof. We demonstrate this with the following series of pictures:

dim(A) =t \=KJ=\ ^MH )= dim(A)*

The central diagram is ut o m o m^ o u, so this proves the lemma. □

We now introduce one final property of a f-Frobenius monoid.

Definition 3.14 In a monoidal f-category, a f-Frobenius monoid (A, m, u) is special if m o mt = id^; that is, if the comultiplication is an isometry.

This property simplifies the expression for the dimension of the underlying space.

Lemma 3.15 In a monoidal f-category with duals, a special unitary f-Frobenius monoid (A, m, u) has dim(A) = ut o u; that is, the dimension of A is equal to the squared norm of u.

Proof. Straightforward from lemma 3.13. □

3.4 Endomorphism monoids

Given a Hilbert space H, it is often useful to consider the algebra of bounded linear operators on H. These give the prototypical examples of C*-algebras, with the *-involution given by taking the operator adjoint. In a monoidal category with duals we can construct endomorphism monoids, which are categorical analogues of these algebras of bounded linear operators. We will see that they form an important class of f-Frobenius monoids, and that they have particularly nice properties.

Definition 3.16 In a monoidal category, for an object A with a left dual A*L, the endomorphism monoid End(A) is defined by

End(A) := (A*L < A, idA*L <8> nA ® idA, eA) • (12)

The following lemma describes a well-known connection between categorical duality and Frobenius structures.

Lemma 3.17 In a monoidal f-category with duals, an endomorphism monoid is a f-Frobenius monoid.

Proof. That the f-Frobenius property holds for an endomorphism monoid End(A)

is clear from its graphical representation, which we give here:

m H 1 n \ M W □

They are examples of the unitary monoids discussed in the previous section.

Lemma 3.18 In a monoidal f-category with duals, endomorphism monoids are unitary.

Proof. Following equation (7) for the left involution associated to a f-Frobenius monoid, we obtain the following:

This is clearly the identity on A* ( A. The right involution is also the identity, by the conjugate of this picture. By lemma 3.11 the f-Frobenius monoid must therefore unitary. □

The following lemma is a formal description of the intuitive notion that an algebra should have a homomorphism into the algebra of operators on the underlying space, given by taking the right action of each element.

Lemma 3.19 Let (A, m,u) be a monoid in a monoidal category in which the object A has a left dual. Then (A, m, u) has a monic homomorphism into the endomorphism monoid of A.

The embedding morphism has the following graphical representation:

A* < A f h A

As we saw in the introduction, for the case of f-Frobenius monoids this embedding has a special property: it preserves an involution. We establish this formally in the following lemma.

Lemma 3.20 Let (A, m,u; sr) be a f-Frobenius right-involution monoid. Then the canonical embedding of (A, m, u; sr ) into the f-Frobenius involution monoid End(A) is a morphism of involution monoids.

Proof. By lemma 3.19 the embedding must be a morphism of monoids. Note that we do not need to specify whether we are using the left or right involution of End(A), since by lemma 3.18 they are both the identity. We must show that this embedding morphism k : A A* ( A satisfies the involution condition k = k* o sr given in definition 2.13. The proof uses the Frobenius law and the unit law.

3.5 Special unitary f-Frobenius monoids in Hilb

From now on we will mainly work in Hilb, the category of finite-dimensional complex Hilbert spaces and continuous linear maps, which is a symmetric monoidal f-category with duals. Special unitary f-Frobenius monoids have particularly good properties in this setting.

The following lemma contains the important insight due to Coecke, Pavlovic and the author, as described in the introduction and in [5].

Lemma 3.21 In Hilb, a f-Frobenius right-involution monoid admits a norm making it into a C*-algebra.

Proof. By lemma 3.20 a f-Frobenius right-involution monoid (A, m, u) has an involution-preserving embedding into End(A), which is a C*-algebra when equipped with the operator norm. The involution monoid (A,m,u) therefore admits a C*-algebra norm, taken from the norm on End(A) under the embedding. □

We will also require the following important result, which is demonstrates a crucial abstract property of the category Hilb.

Lemma 3.22 In Hilb, isomorphisms of special unitary f-Frobenius involution monoids preserve the counit.

Proof. Any special unitary f-Frobenius involution monoid is in particular a f-Frobenius right-involution monoid, and so admits a norm with which it becomes a C*-algebra by lemma 3.21. Finite-dimensional C*-algebras are semisimple, and are therefore isomorphic to finite direct sums of matrix algebras in a canonical way; an isomorphism between two finite-dimensional C*-algebras is then given by a direct sum of pairwise isomorphisms of matrix algebras. We therefore need only show that the lemma is true for special unitary f-Frobenius involution monoids which are matrix algebras, with involution given by matrix adjoint.

Let (A, m,u; s) and (B,n,v; t) be special unitary f-Frobenius involution monoids which are both isomorphic to some matrix algebra End(Cn). Any isomorphism between them must have some decomposition into isomorphisms f : (A, m, u; s) —► End(Cn) and g : End(Cn) —► (B,n,v; t). The statement that g o f preserves the counit is

equivalent to the statement that the outside diamond of the following diagram commutes:

(A, m, u; s)

Tr (B,n,v; t)

End(Cn)

We will show that each triangle separately commutes, and therefore that the entire diagram commutes. We focus on the triangle involving the isomorphism g; the treatment of the other triangle is analogous. Our strategy is to show that pg := n og is a tracial state of End(Cn). It takes the unit to 1, since n 'V^ogoe^ = n ■ v^ o v = i ■ dim(B) = n ■ n = 1, where we used the fact that g is a homomorphism and lemma 3.15; this is the reason that we require the f-Frobenius monoid to be special. We can simplify the action of pg on positive elements in the following way,

where ^ : I —► Cn* ( Cn is an arbitrary nonzero state of End(Cn result of applying the involution to this state:

and is the

gA± I g

The expression on the right-hand side is the squared norm of g o which is positive because the inner product in Hilb is nondegenerate and ^ is nonzero; this shows that pg takes positive elements to nonnegative real numbers, and so is a state of End(Cn). By lemma 3.11 the involution monoid End(A) is balanced-symmetric, and since we are in Hilb, the balancing loop can be neglected; this means that pg o (a ( b) = pg o (b ( a) for all a, b £ End(A), and so pg is tracial. Altogether pg is a tracial state of a matrix algebra. However, it is a standard result that the matrix algebra on a complex n-dimensional vector space has a unique tracial state given by nTr (for example, see [8, Example 6.2.1]). The triangle therefore commutes as required. □

We can combine this with an earlier lemma to obtain a very useful result.

Lemma 3.23 In Hilb, isomorphisms of special unitary f-Frobenius involution monoids are unitary.

Proof. Straightforward from lemmas 3.8 and 3.22. □

Given a f-Frobenius monoid in Hilb, scaling the inner product on the underlying complex vector space produces a family of new f-Frobenius monoids. We first note the following relationship between scaling inner products and adjoints to linear maps.

Lemma 3.24 Let V be a complex vector space with inner product (—, —)v and let f : v®n —► V0m a linear map, with the adjoint f " under this inner product. If the inner product is scaled to a ■ (—, —) for a a positive real number, the adjoint to f becomes am-nf

Lemma 3.25 For a f-Frobenius monoid (A, m,u), scaling the inner product on A by any positive real number gives rise to a new f-Frobenius monoid. Moreover, this scaling preserves unitarity.

We are now ready to prove our main correspondence theorem between finite-dimensional C*-algebras and symmetric unitary f-Frobenius monoids.

Theorem 3.26 In Hilb, the following properties of an involution monoid are equivalent:

(i) it admits a norm making it a C*-algebra;

(ii) it admits an inner product making it a special unitary f-Frobenius involution monoid;

(iii) it admits an inner product making it a f-Frobenius right-involution monoid.

Furthermore, if these properties hold, then the structures in 1 and 2 are admitted uniquely.

Proof. First, we point out that the norm of property 1 is not directly related to the inner products of properties 2 or 3, in the usual way by which a norm can be obtained from an inner product, and sometimes vice-versa. In fact, the norm of a C*-algebra will usually not satisfy the parallelogram identity, and so cannot arise directly from any inner product.

We begin by showing 1 ^ 2. We first decompose our finite-dimensional C*-algebra into a finite direct sum of matrix algebras. For any such matrix algebra, an inner product is given by (a,b) := Tr(at6). This gives an endomorphism monoid End(Cn) in Hilb for some n, which is a unitary f-Frobenius monoid as described by lemmas 3.17 and 3.18. Such a monoid is not special unless it is one-dimensional; we have m o m" = n ■ idA»®A, where m is the multiplication for the endomorphism monoid. We rescale the inner-product, replacing it with ((a, b)) := n Tr(a"&). As described by lemma 3.24, writing the adjoint of m under this new inner product as m*, we will have m* = nm", and m o m* = idA»®A. By lemma 3.25 this preserves the involution and the unitarity of the monoid, and so we obtain a special unitary f-Frobenius monoid with the same underlying algebra and involution as the original matrix algebra. Taking the direct sum of these for each matrix algebra in the decomposition gives a special unitary f-Frobenius involution monoid, with the same underlying algebra and involution as the original C*-algebra.

The implication 2 ^ 3 is trivial, and the implication 3 ^ 1 is contained in lemma 3.21, so the three properties are therefore equivalent.

We now show that, if these properties hold, the norm and inner product in properties 1 and 2 are admitted uniquely. It is well-known that a C*-algebra admits a unique norm. Now assume that a finite-dimensional complex *-algebra has two

distinct inner products, which give rise to two special unitary f-Frobenius involution monoids. Since these monoids have the same underlying set of elements and the same involution, there is an obvious involution-preserving isomorphism between them given by the identity on this set. But by lemma 3.23 any isomorphism of special unitary f-Frobenius involution monoids in Hilb is necessarily an isometry, and therefore unitary, and so the inner products on the two monoids are in fact the same. □

Acknowledgement

I am grateful for financial support from EPSRC and QNET. Commutative diagrams were produced using Paul Taylor's diagrams package.

References

[1] Abramsky, S. and B. Coecke, A categorical semantics of quantum protocols, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (2004), pp. 415—425, IEEE Computer Science Press.

[2] Abramsky, S. and B. Coecke, Abstract physical traces, Theory and Applications of Categories 14 (2005), pp. 111-124.

URL http://tac.mta.ca/tac/volumes/14/6/14-06abs.html

[3] Clifton, R., J. Bub and H. Halvorson, Characterizing quantum theory in terms of information-theoretic constraints, Foundations of Physics 33 (2003), pp. 1561-1591.

[4] Coecke, B. and D. Pavlovic, "The Mathematics of Quantum Computation and Technology," Taylor and Francis, 2006 .

[5] Coecke, B., D. Pavlovic and J. Vicary, Commutative dagger-Frobenius algebras in FdHilb are bases (2008), technical Report.

[6] Kock, J., "Frobenius Algebras and 2D Topological Quantum Field Theories," Cambridge University Press, 2004.

[7] Mac Lane, S., "Categories for the Working Mathematician," Springer, 1997.

[8] Murphy, G. J., "C*-Algebras and Operator Theory," Academic Press, 1990.

[9] Runkel, I., J. Fjelstad, J. Fuchs and C. Schweigert, Topological and conformal field theory as Frobenius algebras, Contemporary Mathematics (2005), accepted for publication.

[10] Selinger, P., Dagger compact closed categories and completely positive maps, in: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), 2007.

[11] Vicary, J., Categorical properties of the complex numbers (2008), in preparation.