--- author: - | Louis H. Kauffman\ Department of Mathematics, Statistics and Computer Science\ University of Illinois at Chicago\ 851 South Morgan Street\ Chicago, IL, 60607-7045 title: '**Quantum Computing and the Jones Polynomial**' --- Abstract {#abstract .unnumbered} -------- <span> *This paper is an exploration of relationships between the Jones polynomial and quantum computing. We discuss the structure of the Jones polynomial in relation to representations of the Temperley Lieb algebra, and give an example of a unitary representation of the braid group. We discuss the evaluation of the polynomial as a generalized quantum amplitude and show how the braiding part of the evaluation can be construed as a quantum computation when the braiding representation is unitary. The question of an efficient quantum algorithm for computing the whole polynomial remains open.* </span> Introduction ============ This paper is an exploration of issues interrelating the Jones polynomial @JO86 and quantum computing. In section 2 of the paper we review the formalism of Dirac brackets and some of the quantum physics associated with this formalism. The section ends with a brief description of the concept of quantum computer that we shall use in this paper. In section 3 we discuss the Jones and Temperley Lieb algebras and how they can be used to produce representations of the Artin Braid group. While most of these representations are not unitary, we show how to construct non-trivial unitary representations of the three-strand braid group by considering the structure of two projectors. It turns out that two elementary projectors naturally generate a Temperley Lieb algebra. This provides a way to make certain unitary representations and to motivate the construction of both the Alexander and the Jones polynomial. In regard to the Alexander polynomial, we end this section with a representation of the Artin Braid Group, constructed using projectors, that is equivalent to the classical Burau representation. In section 4 we construct the bracket polynomial model for the Jones polynomial and relate its structure to the representations discussed in the previous section. Section 5 shows how to reformulate the bracket state sum in terms of discrete quantum amplitudes. This sets the stage for our proposal, explained in section 6, for regarding knot invariants as quantum computers. This proposal needs unitary braiding (a special condition) and the results of the computer are probabilistic. Nevertheless, I believe that this model deserves consideration. The dialogue between topology and quantum computing is just beginning. <span>**Acknowledgement.**</span> Research on this paper was supported by National Science Foundation Grant DMS 9802859. Dirac Brackets ============== We begin with a discussion of Dirac's notation, $<b|a>$, @D58. In this notation $<a|$ and $|b>$ are covectors and vectors respectively. $<b|a>$ is the evaluation of $|a>$ by $<b|$, hence it is a scalar, and in ordinary quantum mechanics it is a complex number. One can think of this as the amplitude for the state to begin in Ò$a$Ó and end in Ò$b$Ó. That is, there is a process that can mediate a transition from state $a$ to state $b.$ Except for the fact that amplitudes are complex valued, they obey the usual laws of probability. This means that if the process can be factored into a set of all possible intermediate states $c_{1}$, $c_{2}$, ..., $c_{n}$ , then the amplitude for $a \longrightarrow b$ is the sum of the amplitudes for $a \longrightarrow c_{i} \longrightarrow b$. Meanwhile, the amplitude for $a \longrightarrow c_{i} \longrightarrow b$ is the product of the amplitudes of the two subconfigurations $a \longrightarrow c_{i}$ and $c_{i} \longrightarrow b.$ Formally we have $$<b|a> = \Sigma_{i} <b|c_{i}><c_{i}|a>$$ where the summation is over all the intermediate states $i=1$, ..., $n.$ In general, the amplitude for mutually disjoint processes is the sum of the amplitudes of the individual processes. The amplitude for a configuration of disjoint processes is the product of their individual amplitudes. Dirac's division of the amplitudes into bras $<b|$ and kets $|a>$ is done mathematically by taking a vector space $V$ (a Hilbert space, but it can be finite dimensional) for the kets: $|a>$ belongs to $V.$ The dual space $V^{*}$ is the home of the bras. Thus $<b|$ belongs to $V^{*}$ so that $<b|$ is a linear mapping $<b|:V \longrightarrow C$ where $C$ denotes the complex numbers. We restore symmetry to the definition by realising that an element of a vector space $V$ can be regarded as a mapping from the complex numbers to $V.$ Given $|a>: C \longrightarrow V$, the corresponding element of $V$ is the image of $1$ (in $C$) under this mapping. In other words, $|a>(1)$ is a member of $V.$ Now we have $|a> :C \longrightarrow V$ and $<b| : V \longrightarrow C.$ The composition $<b|\circ|a> = <b|a> : C \longrightarrow C$ is regarded as an element of $C$ by taking the specific value $<b|a>(1).$ The complex numbers are regarded as the ÒvacuumÓ, and the entire amplitude $<b|a>$ is a Òvacuum to vacuumÓ amplitude for a process that includes the creation of the state $a$, its transition to $b$, and the annihilation of $b$ to the vacuum once more. Dirac notation has a life of its own. Let $$P = |y><x|.$$ Let $$<x| |y> = <x|y>.$$ Then $$PP = |y><x| |y><x| = |y> <x|y> <x| = <x|y> P.$$ Up to a scalar multiple, $P$ is a projection operator. That is, if we let $$Q= P/<x|y>,$$ then $$QQ = PP/<x|y><x|y> = <x|y>P/<x|y><x|y> = P/<x|y> = Q.$$ Thus $QQ=Q.$ In this language, the completeness of intermediate states becomes the statement that a certain sum of projections is equal to the identity: Suppose that $\Sigma_{i} |c_{i}><c_{i}| = 1$ (summing over $i$) with $<c_{i}|c_{i}>=1$ for each $i.$ Then $$<b|a> = <b| |a> = <b|\Sigma_{i} |c_{i}><c_{i}| |a> = \Sigma_{i} <b| |c_{i}><c_{i}| |a>$$ $$<b|a> = \Sigma_{i} <b|c_{i}><c_{i}|a>$$ Iterating this principle of expansion over a complete set of states leads to the most primitive form of the Feynman integral @FEY65. Imagine that the initial and final states $a$ and $b$ are points on the vertical lines $x=0$ and $x=n+1$ respectively in the $x-y$ plane, and that $(c(k)_{i(k)} , k)$ is a given point on the line $x=k$ for $0<i(k)<m.$ Suppose that the sum of projectors for each intermediate state is complete. That is, we assume that following sum is equal to one, for each $k$ from $1$ to $n-1:$ $$|c(k)_{1}><c(k)_{1}| + ... + |c(k)_{m}><c(k)_{m}| = 1.$$ Applying the completeness iteratively, we obtain the following expression for the amplitude $<b|a>:$ $$<b|a> = \Sigma \Sigma \Sigma ... \Sigma <b|c(1)_{i(1)}><c(1)_{i(1)}|c(2)_{i(2)}> ... <c(n)_{i(n)}|a>$$ where the sum is taken over all $i(k)$ ranging between $1$ and $m$, and $k$ ranging between $1$ and $n.$ Each term in this sum can be construed as a combinatorial path from $a$ to $b$ in the two dimensional space of the $x-y$ plane. Thus the amplitude for going from $a$ to $b$ is seen as a summation of contributions from all the ÒpathsÓ connecting $a$ to $b.$ See Figure 1. (432,308) (397,279)<span>(30,28)<span>$C_{n}$</span></span> (402,1)<span>(29,27)<span>$C_{1}$</span></span> (303,150)<span>(37,43)<span>$B$</span></span> (1,154)<span>(41,37)<span>$A$</span></span> (359,274)<span>(1,0)<span>32</span></span> (359,233)<span>(1,0)<span>32</span></span> (359,193)<span>(1,0)<span>32</span></span> (358,152)<span>(1,0)<span>32</span></span> (359,113)<span>(1,0)<span>32</span></span> (359,73)<span>(1,0)<span>32</span></span> (359,32)<span>(1,0)<span>32</span></span> (358,13)<span>(1,0)<span>32</span></span> (358,52)<span>(1,0)<span>32</span></span> (358,93)<span>(1,0)<span>32</span></span> (358,133)<span>(1,0)<span>32</span></span> (357,173)<span>(1,0)<span>32</span></span> (357,213)<span>(1,0)<span>32</span></span> (359,253)<span>(1,0)<span>32</span></span> (261,347)<span>(0,0)<span>0</span></span> (358,294)<span>(1,0)<span>32</span></span> (373,293)<span>(0,-1)<span>280</span></span> (173,29)<span>(5,6)<span>118</span></span> (52,173)<span>(5,-6)<span>120</span></span> (51,173)<span>(0,-1)<span>1</span></span> (173,75)<span>(6,5)<span>116</span></span> (51,174)<span>(5,-4)<span>122</span></span> (173,112)<span>(2,1)<span>116</span></span> (53,173)<span>(2,-1)<span>120</span></span> (173,156)<span>(6,1)<span>119</span></span> (174,196)<span>(-5,-1)<span>122</span></span> (274,173)<span>(0,0)<span>0</span></span> (53,175)<span>(6,-1)<span>121</span></span> (174,196)<span>(5,-1)<span>115</span></span> (173,235)<span>(2,-1)<span>119</span></span> (51,173)<span>(2,1)<span>122</span></span> (173,274)<span>(6,-5)<span>119</span></span> (52,173)<span>(6,5)<span>121</span></span> (172,10)<span>(3,4)<span>119</span></span> (51,174)<span>(3,-4)<span>121</span></span> (173,54)<span>(1,1)<span>118</span></span> (52,174)<span>(1,-1)<span>120</span></span> (173,93)<span>(3,2)<span>119</span></span> (52,174)<span>(3,-2)<span>120</span></span> (173,134)<span>(3,1)<span>119</span></span> (52,174)<span>(3,-1)<span>120</span></span> (171,296)<span>(1,-1)<span>121</span></span> (52,174)<span>(1,1)<span>120</span></span> (173,254)<span>(3,-2)<span>120</span></span> (52,174)<span>(3,2)<span>120</span></span> (172,214)<span>(3,-1)<span>121</span></span> (52,174)<span>(3,1)<span>120</span></span> (52,174)<span>(1,0)<span>242</span></span> (293,172) (52,173) <span>**Figure 1 - Intermediates**</span> Feynman used this description to produce his famous path integral expression for amplitudes in quantum mechanics. His path integral takes the form $$\int dP exp(iS)$$ where $i$ is the square root of minus one, the integral is taken over all paths from point $a$ to point $b$, and $S$ is the action for a particle to travel from $a$ to $b$ along a given path. For the quantum mechanics associated with a classical (Newtonian) particle the action $S$ is given by the integral along the given path from a to b of the difference $T-V$ where $T$ is the classical kinetic energy and $V$ is the classical potential energy of the particle. What is a Quantum Computer? --------------------------- We are now in a position to explain the definition of quantum computer that will be used in this paper. Let $H$ be a given finite dimensional vector space over the complex numbers $C.$ Let $\{ W_{0}, W_{1},..., W_{n} \}$ be an orthonormal basis for $H$ so that with $|i> := |W_{i}>$ denoting $W_{i}$ and $<i|$ denoting the conjugate transpose of $|i>$, we have $$<i|j> = \delta_{ij}$$ where $\delta_{ij}$ denotes the Kronecker delta (equal to one when its indices are equal to one another, and equal to zero otherwise). Given a vector $v$ in $H$ let $|v|^{2} := <v|v>.$ Note that $<i|v$ is the $i$-th coordinate of $v.$ An <span>*observation of $v$*</span> returns one of the coordinates $|i>$ of $v$ with probability $|<i|v|^{2}.$ This model of observation is a simple instance of the situation with a quantum mechanical system that is in a mixed state until it is observed. The result of observation is to put the system into one of the basis states. When the dimension of the space $H$ is two ($n=1$), a vector in the space is called a <span>*qubit*</span>. A qubit represents one quantum of binary information. On observation, one obtains either the ket $|0>$ or the ket $|1>$. This constitutes the binary distinction that is inherent in a qubit. Note however that the information obtained is probabilistic. If the qubit is $$\psi = \alpha |0> + \beta \ |1>,$$ then the ket $|0>$ is observed with probability $|\alpha|^{2}$, and the ket $|1>$ is observed with probability $|\beta|^{2}.$ In speaking of an idealized quantum computer, we do not specify the nature of measurement process beyond these probability postulates. In the case of general dimension $n$ of the space $H$, we will call the vectors in $H$ <span>*qunits*</span>. It is quite common to use spaces $H$ that are tensor products of two-dimensional spaces (so that all computations are expressed in terms of qubits) but this is not neccessary in principle. One can start with a given space, and later work out factorizations into qubit transformations. A <span>*quantum computation*</span> consists in the application of a unitary transformation $U$ to an initial qunit $\psi = a_{1}|1> + ... + a_{n}|n>$ with $|\psi|^{2}=1$, plus an observation of $U\psi.$ An observation of $U\psi$ returns the ket $|i>$ with probability $|U\psi|^{2}$. In particular, if we start the computer in the state $|i>$, then the probability that it will return the state $|j>$ is $|<j|U|i>|^{2}.$ It is the neccessity for writing a given computation in terms of unitary trasformations, and the probabilistic nature of the result that characterizes quantum computation. Such computation could be carried out by an idealized quantum mechanical system. It is hoped that such systems can be physically realized. Braiding, Projectors and the Temperley Lieb Algebra =================================================== The Jones polynomial is one of the great mathematical breakthroughs of the twentieth century, and like many such breakthroughs it appears basically simple in retrospect. I will tell two stories in this section. The first story is a capsule summary of how Jones discovered the polynomial by way of an apparently strange algebraic structure that first appeared in his research on von Neumann algebras, and then was pointed out to be an algebra known to experts in the Potts model in statistical mechanics. The second story shows that the essential algebra for the needed representation of the braid group is present in the algebra generated by any two simple projectors (see below for the definitions of these terms) and that it is graphically illustrated by the Dirac bra-ket notation for these operators. Jones was studying the inclusion of one von Neuman algebra $N$ in another one $M$. In this context there is a projection $e_{1}:M \longrightarrow N$ so that the restriction of $e$ to $N$ is the identity mapping, and so that $e_{1}^{2} = e_{1}$. In his context the algebra M could be extended to include this projector to an algebra $M_{1} = M \bigcup \{e_{1} \}.$ Then we have $$N \subset M \subset M_{1}$$ and the construction can be continued inductively to produce $$N \subset M \subset M_{1} \subset M_{2} \subset M_{3} \subset ...$$ and an algebra of projectors $$e_{1}, e_{2}, e_{3},...$$ such that $$e_{i}^{2} = e_{i}, i = 1,2,3,...$$ $$e_{i}e_{i \pm 1}e_{i} = \kappa e_{i}, i = 2,3,...$$ $$e_{i}e_{j} = e_{j}e_{i}, \hspace{1mm} |i-j|>1.$$ We will call an algebra that can be expressed with generators and relations as above a <span>*Jones algebra*</span>. $J_{\infty}$ will denote a Jones algebra on infinitely many generators as above. $J_{n}$ will denote the Jones algebra generated by an identity element $1$ and generators $e_{1}, ..., e_{n-1}.$ It was pointed out that the relations $$e_{i}e_{i \pm 1}e_{i} = \kappa e_{i}, i = 2,3,...$$ $$e_{i}e_{j} = e_{j}e_{i} , |i-j|>1$$ look suspiciously like the basic braiding relations in the Artin Braid group which read $$\sigma_{i}\sigma_{i \pm 1}\sigma_{i} =\sigma_{i \pm 1}\sigma_{i}\sigma_{i \pm 1} , i = 2,3,...$$ $$\sigma_{i}\sigma_{j} = \sigma_{j}\sigma_{i} , |i-j|>1.$$ (405,307) (163,1)<span>(81,56)<span>$\sigma_{2}^{-1}$</span></span> (1,3)<span>(70,54)<span>$\sigma_{1}^{-1}$</span></span> (349,179)<span>(40,39)<span>$1$</span></span> (183,175)<span>(48,43)<span>$\sigma_{2}$</span></span> (12,176)<span>(40,37)<span>$\sigma_{1}$</span></span> (163,144)<span>(0,-1)<span>80</span></span> (243,103)<span>(0,-1)<span>40</span></span> (203,103)<span>(0,-1)<span>40</span></span> (82,144)<span>(0,-1)<span>80</span></span> (43,105)<span>(0,-1)<span>41</span></span> (4,104)<span>(0,-1)<span>41</span></span> (243,143)<span>(-1,-1)<span>40</span></span> (204,143)<span>(1,-1)<span>15</span></span> (228,118)<span>(1,-1)<span>15</span></span> (28,119)<span>(1,-1)<span>15</span></span> (4,144)<span>(1,-1)<span>15</span></span> (43,144)<span>(-1,-1)<span>40</span></span> (402,304)<span>(0,-1)<span>80</span></span> (363,304)<span>(0,-1)<span>81</span></span> (322,304)<span>(0,-1)<span>81</span></span> (243,265)<span>(0,-1)<span>42</span></span> (204,263)<span>(0,-1)<span>39</span></span> (163,304)<span>(0,-1)<span>79</span></span> (82,304)<span>(0,-1)<span>80</span></span> (43,264)<span>(0,-1)<span>40</span></span> (4,263)<span>(0,-1)<span>38</span></span> (205,304)<span>(1,-1)<span>39</span></span> (204,264)<span>(1,1)<span>15</span></span> (243,302)<span>(-1,-1)<span>13</span></span> (42,303)<span>(-1,-1)<span>13</span></span> (3,265)<span>(1,1)<span>15</span></span> (4,305)<span>(1,-1)<span>39</span></span> <span>**Figure 2 - Braid Group Generators**</span> This pattern led Jones to first construct a representation of the Artin Braid Group to his algebra, and then to discover an invariant of knots and links that is related to this representation. Figure 2 illustrates the generators of the braid group. The second and third Reidemeister moves shown in Figure 6 illustrate the braiding relations except for commutativity of distant generators. The representation that Jones discovered is a linear one in the form of $$\rho: B_{\infty} \longrightarrow J_{\infty}$$ where $$\rho(\sigma_{i}) = \alpha 1 + \beta e_{i}$$ for appropriate constants $\alpha$ and $\beta.$ We will elaborate on this representation shortly. Here $J_{\infty}$ denotes the algebra generated by the $e_{i}$ for $i=1,2,3,...$. It seems an amazing coincidence that a representation algebra for the Artin Braid group would appear in a context that seems so far away from this structure. The complex source of Jones' algebra makes this connection seem quite mysterious, and the fact that this same algebra appears in statistical mechanics also seems mysterious. What is the source of this apparent connection of the Artin Braid group with algebras and structures coming from quauntum physics? <span>**Remark.**</span> In the discussion to follow, we will use the bra and ket notations of Dirac and we will write $<v|$ for $v^{t}$, using the notation $v^{t}$ for the transpose of a vector $v$. It is to be understood that in the case of a complex vector space, this is the conjugate transpose, but that in the generalizations that we use (over more general rings) we will simply take the formal transpose without conjugation. Later we will construct real-valued representations of the Temperley-Lieb algebra, and there transpose will be the same as conjugate transpose. For the purpose of this discussion it will be useful to define a <span>*projector*</span> to be a linear map $P:V \longrightarrow V$ where $V$ is a vector space or a module over a ring $k$, and $P^{2}$ is a non-zero multiple of $P$. Shall call a projector <span>*simple*</span> if, in a basis, it takes the form $P = vv^{t}$ where $v$ is a column vector and $v^{t}$ is its transpose. Then $v^{t}v$ is the dot product of $v$ with itself and hence a scalar. Therefore $$P^{2} = PP = vv^{t}vv^{t} = v[v^{t}v]v^{t}$$ $$= [v^{t}v]vv^{t} = [v^{t}v]P.$$ Because of the ubiquity of projectors in quantum physics, the physicist P.A.M. Dirac devised a beautiful notation for this situation. Dirac would write $|v>$ for $v$ and $<v|$ for $v^{t}.$ He would write $$<v||w>=<v|w> = v^{t}w$$ for the dot product of two vectors in a given basis. Then one can write $P$ in Dirac notation by the formula $$P = |v><v|$$ and we have $$P^{2} = PP = |v><v||v><v| = |v><v|v><v|$$ $$= <v|v>|v><v| = <v|v>P.$$ Now <span>*consider the algebra generated by two simple projectors*</span> $P=|v><v|$ and $Q=|w><w|.$ We have $$P^{2} = <v|v>P,$$ $$Q^{2} = <w|w>Q$$ and $$PQP = |v><v||w><w||v><v|$$ $$=|v><v|w><w|v><v|$$ $$=<v|w><w|v>|v><v|$$ $$= <v|w><w|v>P$$ while $$QPQ = |w><w||v><v||w><w|$$ $$=|w><w|v><v|w><w|$$ $$=<w|v><v|w>|w><w|$$ $$= <w|v><v|w>Q$$ $$=<v|w><w|v>Q.$$ Thus, with $\lambda = <v|w><w|v>$ we have that $$PQP = \lambda P$$ $$QPQ = \lambda \, Q.$$ We can define $e = P/<v|v>$ and $f=Q/<w|w>$ and find $$e^{2} = e$$ $$f^{2} = f$$ $$efe = \kappa e$$ $$fef = \kappa f$$ where $\kappa = \lambda/(<v|v><w|w>).$ In this way we see that <span>*any two simple projectors generate a Jones algebra of type $J_{2}$.*</span> In this sense the appearance of such algebras is quite natural. The relationship with braiding remains as remarkable as ever. In order to see how these representations work, it is useful to discuss the combinatorics of these algebras a bit further. The <span>*Temperley Lieb algebra*</span> $TL_{n}$ @KA87 is an algebra over a commutative ring $k$ with generators $\{ 1, U_{1},U_{2}, ... ,U_{n-1} \}$ and relations $$U_{i}^{2} = \delta U_{i},$$ $$U_{i}U_{i \pm 1}U_{i} = U_{i},$$ $$U_{i}U_{j} = U_{j}U_{i}, |i-j|>1,$$ where $\delta$ is a chosen element of the ring $k$. These equations give the multiplicative structure of the algebra. The algebra is a free module over the ring $k$ with basis the equivalence classes of these products modulo the given relations. We will make the ground ring specific in the examples to follow. It is clear that the concepts of Temperley Lieb algebra and Jones algebra are interchangeable. Given a Jones algebra $J_{\infty}$, with $e_{i}e_{i \pm 1}e_{i} = \kappa e_{i}$, let $\delta = 1/\sqrt{\kappa}$ (assuming that this square root exists in the ground ring $k$. Then let $U_{i} = \delta e_{i}$ and we find that $U_{i}^{2} = \delta U_{i}$ with $$U_{i}U_{i \pm 1}U_{i} = (1/ \sqrt{\kappa})^{3}e_{i}e_{i \pm 1}e_{i}$$ $$= (1/\sqrt{\kappa})^{3} \kappa e_{i} = (1/\sqrt{\kappa}) e_{i} = U_{i},$$ converting the Jones algebra to a Temperley Lieb algebra. It is useful to see the bare bones of the algebra of two projectors. For this purpose, lets write $$P= ><$$ and $$Q= ][.$$ Then $$PP = >< \, >< = <> \, >< = <> P$$ and $$QQ = ][ \, ][ = [] Q$$ while $$PQP = >< \, ][ \, >< = <] \, [> P$$ $$QPQ = ][ \, >< \, ][ = [> \, <] Q = <] \,[> Q.$$ To see how the representation of the braid group is constructed, lets assume that the scalars $<]$ and $[>$ are both equal to $1$ and that $\delta = <> = []$. Then $P$ and $Q$ form a two-generator Temperley Lieb algebra $TL_{3}$. We will illustrate how to represent the three strand Artin braid group $B_{3}$ to $TL_{2}$. It is useful to use the iconic symbol $><$ for a projector and to choose another iconic symbol for the identity operator in the algebra. With these choices we have $$\mbox{\large $\asymp$}\mbox{\large $\asymp$} \,\, = \,\, \mbox{\large $\asymp$}$$ $$\mbox{\large $\asymp$} >< \,\, = \,\, >< \mbox{\large $\asymp$} \,\,= \,\, ><$$ $$\mbox{\large $\asymp$} ][ \,\, = \,\, ][ \mbox{\large $\asymp$} \,\, = \,\, ][$$ We define the representation $\rho:B_{3} \longrightarrow TL_{3}$ on the generators $\sigma_{1} = \sigma$ and $\sigma_{2} = \tau$ of the three strand braid group, whose relations are $\sigma \tau \sigma = \tau \sigma \tau$ plus the invertibility of the generators. We define $$\rho(\sigma) = A 1 + B P = A \mbox{\large $\asymp$} + B ><$$ $$\rho(\sigma^{-1}) = B 1 + A P = B \mbox{\large $\asymp$} + A ><$$ and $$\rho(\tau) = A 1 + B Q= A \mbox{\large $\asymp$} + B ][$$ $$\rho(\tau^{-1}) = B 1 + A Q= B \mbox{\large $\asymp$} + A ][.$$ where $A$ and $B$ are commuting indeterminates. With these definitions, we have $$\rho(\sigma) = A \mbox{\large $\asymp$} + B ><$$ $$\rho(\sigma^{-1}) = B \mbox{\large $\asymp$} + A >< .$$ Thus $$\mbox{\large $\asymp$} =( A \mbox{\large $\asymp$} + B ><)(B \mbox{\large $\asymp$} + A ><)$$ $$= AB \mbox{\large $\asymp$}\mbox{\large $\asymp$} + A^{2}\mbox{\large $\asymp$}>< + B^{2}>< \mbox{\large $\asymp$} + AB ><><$$ $$= AB \mbox{\large $\asymp$} + A^{2}>< + B^{2}>< + AB \delta ><$$ $$\mbox{\large $\asymp$} = AB \mbox{\large $\asymp$} + (A^{2} + B^{2} + AB \delta) ><$$ Consequently, we will have $1 = \rho(\sigma)\rho(\sigma^{-1})$ if we take $B=A^{-1}$ and $\delta = -A^{2} - A^{-2}.$ We shall take these values from now on so that $$\rho(\sigma) = A \mbox{\large $\asymp$} + A^{-1} >< = A 1 + A^{-1} P$$ and $$\rho(\tau) = A \mbox{\large $\asymp$} + A^{-1} ][ = A 1 + A^{-1} Q.$$ With these specializations of $A$ and $B$, it is easy to verify that $\rho$ is a representation of the Artin Braid Group. Note that $P^{2}= \delta P$, $Q^{2}=\delta Q$ and $PQP = P.$ $$\rho(\sigma) \rho(\tau) \rho(\sigma) = (A + A^{-1}P)(A + A^{-1}Q)(A + A^{-1}P)$$ $$=(A^{2} + Q + P + A^{-2}PQ)(A + A^{-1}P)$$ $$=A^{3} + AQ + AP + A^{-1}PQ + AP + A^{-1}QP + A^{-1}P^{2} + A^{-3}PQP$$ $$=A^{3} + AQ + AP + A^{-1}PQ + AP + A^{-1}QP + A^{-1}\delta P + A^{-3}P$$ $$=A^{3} + (2A + + A^{-1}(-A^{2}-A^{-2}) + A^{-3})P + AQ + A^{-1}(PQ + QP)$$ $$=A^{3} + AP + AQ + A^{-1}(PQ + QP)$$ $$\rho(\sigma) \rho(\tau) \rho(\sigma) = A^{3} + A(P + Q) + A^{-1}(PQ + QP)$$ Since this last expression is symmetric in $P$ and $Q$, we conclude that $$\rho(\sigma) \rho(\tau) \rho(\sigma) = \rho(\tau) \rho(\sigma) \rho(\tau).$$ Hence $\rho$ is a representation of the Artin Braid Group. This argument generalizes to yield a corresponding representation of the Artin Braid Group $B_{n}$ to the Temperley Lieb algebra $TL_{n}$ for each $n=2,3,....$ We will discuss the structure of these representations below. In the next section we show how the Jones polynomial can be constructed by a state summation model. This model can be also be viewed as a generalisation of the above representation of the Temperley Lieb algebra. The very close relationship between elementary quantum mechanics and topology is very well illustrated by the structure and representations of the Temperley Lieb algebra. (273,523) (110,1)<span>(162,80)<span>$U_{1}U_{2}U_{1}=U_{1}$</span></span> (1,93)<span>(180,100)<span>$U_{1}^{2}=\delta U_{1}$</span></span> (191,374)<span>(55,51)<span>$1$</span></span> (111,375)<span>(58,51)<span>$U_{2}$</span></span> (22,382)<span>(62,47)<span>$U_{1}$</span></span> (192,202)<span>(0,-1)<span>23</span></span> (192,147)<span>(0,-1)<span>25</span></span> (232,201)<span>(0,-1)<span>80</span></span> (213,201)<span>(0,-1)<span>24</span></span> (212,122)<span>(0,1)<span>25</span></span> (193,177)<span>(1,0)<span>18</span></span> (191,147)<span>(1,0)<span>19</span></span> (213,227)<span>(1,0)<span>19</span></span> (211,257)<span>(1,0)<span>18</span></span> (232,201)<span>(0,1)<span>25</span></span> (231,282)<span>(0,-1)<span>24</span></span> (192,281)<span>(0,-1)<span>80</span></span> (213,227)<span>(0,-1)<span>25</span></span> (211,281)<span>(0,-1)<span>23</span></span> (193,362)<span>(0,-1)<span>23</span></span> (192,307)<span>(0,-1)<span>25</span></span> (231,361)<span>(0,-1)<span>80</span></span> (211,362)<span>(0,-1)<span>24</span></span> (211,282)<span>(0,1)<span>25</span></span> (193,337)<span>(1,0)<span>18</span></span> (192,307)<span>(1,0)<span>19</span></span> (231,522)<span>(0,-1)<span>79</span></span> (210,521)<span>(0,-1)<span>79</span></span> (191,521)<span>(0,-1)<span>79</span></span> (134,522)<span>(0,-1)<span>23</span></span> (133,467)<span>(0,-1)<span>25</span></span> (112,522)<span>(0,-1)<span>80</span></span> (152,522)<span>(0,-1)<span>24</span></span> (152,442)<span>(0,1)<span>25</span></span> (134,497)<span>(1,0)<span>18</span></span> (133,467)<span>(1,0)<span>19</span></span> (31,281)<span>(0,-1)<span>23</span></span> (31,226)<span>(0,-1)<span>25</span></span> (70,282)<span>(0,-1)<span>80</span></span> (50,281)<span>(0,-1)<span>24</span></span> (50,201)<span>(0,1)<span>25</span></span> (32,256)<span>(1,0)<span>18</span></span> (31,226)<span>(1,0)<span>19</span></span> (32,362)<span>(0,-1)<span>23</span></span> (31,307)<span>(0,-1)<span>25</span></span> (70,361)<span>(0,-1)<span>80</span></span> (50,362)<span>(0,-1)<span>24</span></span> (50,282)<span>(0,1)<span>25</span></span> (32,337)<span>(1,0)<span>18</span></span> (31,307)<span>(1,0)<span>19</span></span> (31,467)<span>(1,0)<span>19</span></span> (32,497)<span>(1,0)<span>18</span></span> (50,442)<span>(0,1)<span>25</span></span> (50,522)<span>(0,-1)<span>24</span></span> (70,521)<span>(0,-1)<span>80</span></span> (31,467)<span>(0,-1)<span>25</span></span> (32,522)<span>(0,-1)<span>23</span></span> <span>**Figure 3 - Diagrammatic Temperley Lieb Algebra**</span> Figure 3 illustrates a diagrammatic interpretation of the Temperley Lieb algebra. In this interpretation, the multiplicative generators of the module are collections of strands connecting $n$ top points and $n$ bottom points. Top points can be connected either to top or to bottom points. Bottom points can be connected to either bottom or to top points. All connections are made in the plane with no overlapping lines and no lines going above the top row of points or below the bottom row of points. Multiplication is accomplished by connecting the bottom row of one configuration with the top row of another. In Figure 3 we have illustrated the types of special configurations that correspond to the $U_{i}$, and we have shown that $\delta$ is interpreted as a closed loop. (286,248) (3,1)<span>(282,84)<span>$\rho(\sigma_{1})=AU_{1} + A^{-1}1$</span></span> (245,91)<span>(40,60)<span>$1$</span></span> (123,87)<span>(83,65)<span>$U_{1}$</span></span> (4,87)<span>(80,63)<span>$\sigma_{1}$</span></span> (283,245)<span>(0,-1)<span>80</span></span> (264,245)<span>(0,-1)<span>81</span></span> (243,244)<span>(0,-1)<span>79</span></span> (186,245)<span>(0,-1)<span>80</span></span> (165,192)<span>(0,-1)<span>26</span></span> (125,193)<span>(1,0)<span>40</span></span> (124,166)<span>(0,1)<span>27</span></span> (165,218)<span>(0,1)<span>27</span></span> (124,218)<span>(1,0)<span>41</span></span> (124,245)<span>(0,-1)<span>25</span></span> (64,245)<span>(0,-1)<span>80</span></span> (43,206)<span>(0,-1)<span>41</span></span> (3,205)<span>(0,-1)<span>42</span></span> (28,231)<span>(1,1)<span>15</span></span> (3,206)<span>(1,1)<span>16</span></span> (5,245)<span>(1,-1)<span>38</span></span> <span>**Figure 4 - Braid Group Representation**</span> (340,424) (19,99)<span>(100,57)<span>$M^{ab}M_{ab}$</span></span> (59,309)<span>(59,74)<span>$\delta^{b}_{a}$</span></span> (238,265)<span>(97,57)<span>$M^{cd}$</span></span> (252,358)<span>(87,45)<span>$M_{ab}$</span></span> (6,1)<span>(320,82)<span>$M^{ai}M_{ib} = \delta^{a}_{b}$</span></span> (77,197)<span>(20,20)<span>$b$</span></span> (1,199)<span>(17,18)<span>$a$</span></span> (240,78)<span>(15,21)<span>$b$</span></span> (197,157)<span>(15,20)<span>$i$</span></span> (122,237)<span>(14,20)<span>$a$</span></span> (237,316)<span>(18,23)<span>$d$</span></span> (161,315)<span>(19,22)<span>$c$</span></span> (237,357)<span>(19,20)<span>$b$</span></span> (157,357)<span>(20,19)<span>$a$</span></span> (66,209) (27,209) (228,91) (187,170) (148,249) (227,329) (188,329) (227,366) (187,366) (27,291) (28,411) (28,392)<span>(31,31)<span>$b$</span></span> (27,274)<span>(25,30)<span>$a$</span></span> (227,169)<span>(0,-1)<span>79</span></span> (147,250)<span>(0,-1)<span>80</span></span> (186,210)<span>(1,0)<span>41</span></span> (227,209)<span>(0,-1)<span>39</span></span> (186,210)<span>(0,-1)<span>41</span></span> (147,170)<span>(0,-1)<span>40</span></span> (148,130)<span>(1,0)<span>38</span></span> (186,130)<span>(0,1)<span>40</span></span> (26,249)<span>(1,0)<span>41</span></span> (67,248)<span>(0,-1)<span>39</span></span> (26,249)<span>(0,-1)<span>41</span></span> (26,209)<span>(0,-1)<span>40</span></span> (26,169)<span>(1,0)<span>38</span></span> (65,170)<span>(0,1)<span>40</span></span> (226,288)<span>(0,1)<span>40</span></span> (188,288)<span>(1,0)<span>38</span></span> (187,328)<span>(0,-1)<span>40</span></span> (186,408)<span>(0,-1)<span>41</span></span> (227,407)<span>(0,-1)<span>39</span></span> (186,408)<span>(1,0)<span>41</span></span> (26,410)<span>(0,-1)<span>120</span></span> <span>**Figure 5 - Abstract Tensors**</span> One way to make a matrix representation of the Temperley Lieb algebra (and a corresponding representation of the braid group) is to use the matrix $M$ defined as follows $$M = \left[ \begin{array}{cc} 0 & iA \\ -iA^{-1} & 0 \end{array} \right].$$ Note that $M^{2}=1$ where $1$ denotes the ($ 2 \times 2$) identity matrix. We will use $M$ with either upper or lower indices so that $M^{ab} = M_{ab}.$ $M$ will represent both the cup and the cap in the Temperley Lieb diagrams, with $M_{ab}$ representing the cap and $M^{ab}$ representing the cup. If $U$ denotes a cup over a cap, then $$U^{ab}_{cd} = M^{ab}M_{cd}.$$ Note that $$(U^{2})^{ab}_{cd} = \Sigma_{ij} U^{ab}_{ij} U^{ij}_{cd} =$$ $$= \Sigma_{ij} M^{ab}M_{ij}M^{ij}M_{cd} = [\Sigma_{ij}M_{ij}M^{ij}]M^{ab}M_{cd}$$ $$= [\Sigma_{ij}M_{ij}M^{ij}]U^{ab}_{cd}.$$ Note that $$\Sigma_{ij}M_{ij}M^{ij} = \Sigma_{ij}(M_{ij})^{2} = -A^{2}-A^{-2}.$$ Thus, letting $\delta = -A^{2}-A^{-2}$, we have $$U^{2} = \delta U.$$ Then we take $U_{i}$ as a tensor product of identity matrices corresponding to the vertical lines in the diagram for this element and one factor of $U$ for the placement of the cup-cap at the locations $i$ and $i+1$. To see how this works to give the relation $U_{i}U_{i \pm 1}U_{i} = U_{i},$ we verify that $U_{1}U_{2}U_{1} = U_{1}$ in $TL_{3}.$ In the calculation to follow we will use the Einstein summation convention. Repeated upper and lower indices are summed across the index set $\{1,2\}.$ $$U_{1} = U \otimes 1$$ and $$U_{2} = 1 \otimes U$$ so that $$(U_{1})^{abc}_{def} = M^{ab}M_{de} \delta^{c}_{f}$$ and $$(U_{2})^{abc}_{def} = \delta^{a}_{d} M^{bc}M_{ef}.$$ Therefore $$(U_{1}U_{2}U_{1})^{abc}_{def} = (U_{1})^{abc}_{ijk}(U_{2})^{ijk}_{rst}(U_{1})^{rst}_{def}$$ $$= ( M^{ab}M_{ij} \delta^{c}_{k})( \delta^{i}_{r}M^{jk}M_{st})( M^{rs}M_{de} \delta^{t}_{f})$$ $$= M^{ab}(M_{rj}M^{jc})(M_{sf} M^{rs})M_{de} = M^{ab}(\delta_{r}^{c})(\delta_{f}^{r})M_{de} =$$ $$= M^{ab}M_{de}\delta^{c}_{f} = (U_{1})^{abc}_{def}$$ Thus $$U_{1}U_{2}U_{1} = U_{1}.$$ This representation of the Temperley Lieb algebra is useful for knot theory and it is conjectured to be a faithful representation. One may also conjecture that the corresponding braid group representation is faithful. <span>**Remark.**</span> The reader should note that the diagrammatic interpretation of the Temperley Lieb algebra gives a clear way to follow the index details of the calculation we have just performed. In the diagrams an index that is not on a free end is summed over just as in the Einstein summation convention. An index at the end of a line is a free index and does not receive summation. See Figure 5 for an illustration of the index algebra in relation to these diagrams. We will generalize the diagrammatic algebra in section 5. Two Projectors and a Unitary Representation of the Three Strand Braid Group --------------------------------------------------------------------------- The Temperley Lieb representation of the braid group that we have described is not a unitary representation except when $A^{2}=-1$, a value that is not of interest in the knot theory. In order to find elementary unitary representations of the braid group, one has to go deeper. It is useful to think of the Temperley Lieb algebra as generated by projections $e_{i} = U_{i}/\delta$ so that $e_{i}^{2} = e_{i}$ and $e_{i}e_{i\pm 1}e_{i} = \tau e_{i}$ where $\tau = \delta^{-2}$ and $e_{i}$ and $e_{j}$ commute for $|i-j|>1.$ With this in mind, consider elementary projectors $e = |A><A|$ and $f=|B><B|$. We assume that $<A|A> = <B|B> =1$ so that $e^{2} = e$ and $f^{2} =f.$ Now note that $$efe = |A><A|B><B|A><A| = <A|B><B|A> e = \tau e$$ Thus $$efe=\tau e$$ where $\tau = <A|B><B|A>$. This algebra of two projectors is the simplest instance of a representation of the Temperley Lieb algebra. In particular, this means that a representation of the three-strand braid group is naturally associated with the algebra of two projectors, a simple toy model of quantum physics! Quite specifically if we let $<A| = (a,b)$ and $|A> = (a,b)^{t}$ the transpose of this row vector, then $$e=|A><A| = \left[ \begin{array}{cc} a^{2} & ab \\ ab & b^{2} \end{array} \right]$$ is a standard projector matrix when $a^{2} + b^{2} = 1.$ To obtain a specific representation, let $$e_{1} = \left[ \begin{array}{cc} 1 & 0 \\ 0 & 0 \end{array} \right]$$ and $$e_{2} = \left[ \begin{array}{cc} a^{2} & ab \\ ab & b^{2} \end{array} \right] .$$ It is easy to check that $$e_{1}e_{2}e_{1} = a^{2}e_{1}$$ and that $$e_{2}e_{1}e_{2} = a^{2}e_{2}.$$ Note also that $$e_{1}e_{2}= \left[ \begin{array}{cc} a^{2} & ab \\ 0 & 0 \end{array} \right]$$ and $$e_{2}e_{1}= \left[ \begin{array}{cc} a^{2} & 0 \\ ab & 0 \end{array} \right].$$ We define $$U_{i} = \delta e_{i}$$ for $i=1,2$ with $a^{2} = \delta^{-2}.$ Then we have , for $i = 1,2$ $$U_{i}^{2} = \delta U_{i}$$ $$U_{1}U_{2}U_{1} = U_{1}$$ $$U_{2}U_{1}U_{2} = U_{2}$$ and $$trace(U_{1})=trace(U_{2}) = \delta$$ while $$trace(U_{1}U_{2}) = trace(U_{2}U_{1}) = 1.$$ We will use these results on the traces of these matrices in Section 6. Now we return to the matrix parameters: Since $a^{2} + b^{2} = 1$ this means that $\delta^{-2} + b^{2} = 1$ whence $$b^{2} = 1-\delta^{-2}.$$ Therefore $b$ is real when $\delta^{2}$ is greater than or equal to $1$. We are interested in the case where $\delta = -A^{2} - A^{-2}$ and <span>*$A$ is a unit complex number*</span>. Under these circumstances the braid group representation $$\rho(\sigma_{i}) = AU_{i} + A^{-1}1$$ will be unitary whenever $U_{i}$ is a real symmetric matrix. Thus we will obtain a unitary representation of the three-strand braid group $B_{3}$ when $\delta^{2} \geq 1$. Specifically, let $A=e^{i\theta}$. Then $\delta = -2cos(2\theta)$, so the condition $\delta^{2} \geq 1$ is equivalent to $cos^{2}(2\theta) \geq 1/4$. Thus we get the specific range of angles $|\theta| \leq \pi/6$ and $|\theta - \pi| \leq \pi/6$ that gives unitary representations of the three-strand braid group. Pairs of Projectors and the Alexander Polynomial ------------------------------------------------ Just for the record we note a more general braid group representation that is available via our remarks about the structure of two projectors. Let $\{ W_{1},W_{2},...,W_{n-1},W_{n} \}$ be the standard basis of <span>*column*</span> vectors for a module of dimension $n$ over $k=C[A,A^{-1}]$ where $C$ denotes the complex numbers and $W_{k}$ is an $n$-tuple whose entries are zero in all places except the $k$-th place where the entry is one. We shall refer to linear combinations of the $W_{k}$ as <span>*vectors*</span> over $k$. Given any vector $v$ over $k$, let $|v>$ denote $v$ as a column vector, and let $<v| = v^{t}$ denote its transpose (just the transpose, as in our previous remarks), the corresponding row vector. Then $P(v) = |v><v|$ is a matrix such that $P^{2} = <v|v>P$, and $<v|v> = v^{t}v$ is equal to the sum of the squares of the entries of $v.$ For $k = 1,2,..., n-1$ and $i^{2}=-1$, let $$v_{k} = iAW_{k} - iA^{-1}W_{k+1}$$ and $$U_{k} = |v_{k}><v_{k}|.$$ Then, with $\delta = -A^{2} - A^{-2},$ $$U_{k}^{2} = \delta U_{k}$$ $$U_{k}U_{k \pm 1}U_{k} = U_{k}$$ $$U_{k}U_{l} = U_{l}U_{k}=0, |k-l|>1.$$ Thus these matrices give a special representation of the Temperley Lieb algebras $TL_{n}$ for each $n$. Since the loop value is as given above, we can make correpsonding representations of the Artin Braid Groups $B_{n}$ by the formulas $$\rho(\sigma_{k}) = AI_{n} + A^{-1}U_{k},$$ $$\rho(\sigma_{k}^{-1}) = A^{-1}I_{n} + AU_{k}$$ where $I_{n}$ denotes the $n \times n$ identity matrix. It is not hard to verify that this representation of $B_{n}$ is equivalent to the classical Burau representation (See @KA91) of the braid group. This shows that there is a pathway from the algebra of projectors to the Alexander polynomial! We will treat this theme in a separate paper. The Bracket Polynomial ====================== In this section we shall discuss the structure of the the bracket state model for the Jones polynomial @KA87. In this way, we will explicitly construct the Jones polynomial by using a state summation that is closely related to the braid group representation described in the last section. Before discussing the bracket polynomial we recall the basic theorem of Reidemeister @Reid about knot and link diagrams. Reidemeister proved that the the three local moves on diagrams illustrated in Figure 6 capture combinatorially the notion of ambient isotopy of links and knots in three-dimensional space. That is, if two diagrams represent knots or links that are isotopic in three-dimensional space, then the one diagram can be obtained from the other by a seqence of Reidemeister moves. It is understood that a Reidemeister move is a local change on the diagram and that it is locally just as indicated by the picture of the move. That is, a type one move adds or eliminates a loop in the underlying 4-regular graph of the knot diagram. A type two move operates on a two sided region and a type three move operates on a three sided region. It is also understood that one can simplify a diagram by a homeomorphism of the plane. This could be called the type zero move, but it is always available. The equivalence relation generated by the type two and type three moves is called <span>*regular isotopy*</span>. The bracket polynomial is a regular isotopy invariant that can be normalized to produce an invariant of all three Reidemeister moves. (357,406) (215,374)<span>(-1,0)<span>25</span></span> (194,374)<span>(1,0)<span>43</span></span> (261,374)<span>(1,0)<span>86</span></span> (97,360)<span>(4,1)<span>71</span></span> (125,390)<span>(-1,-1)<span>29</span></span> (52,372)<span>(4,1)<span>73</span></span> (16,293)<span>(18,19)<span>1</span></span> (110,308)<span>(1,0)<span>43</span></span> (134,308)<span>(-1,0)<span>25</span></span> (149,260)<span>(3,2)<span>57</span></span> (163,341)<span>(1,-1)<span>43</span></span> (72,308)<span>(-1,1)<span>21</span></span> (95,288)<span>(-5,4)<span>15</span></span> (96,316)<span>(0,-1)<span>27</span></span> (38,280)<span>(3,2)<span>57</span></span> (75,203)<span>(-3,-5)<span>26</span></span> (66,178)<span>(1,-1)<span>15</span></span> (47,198)<span>(1,-1)<span>12</span></span> (20,69)<span>(20,22)<span>3</span></span> (13,192)<span>(24,23)<span>2</span></span> (10,372)<span>(22,24)<span>0</span></span> (173,241)<span>(0,-1)<span>77</span></span> (155,241)<span>(0,-1)<span>77</span></span> (57,217)<span>(-3,-5)<span>10</span></span> (71,242)<span>(-1,-2)<span>7</span></span> (46,241)<span>(3,-4)<span>28</span></span> (117,202)<span>(-1,0)<span>25</span></span> (94,202)<span>(1,0)<span>43</span></span> (55,130)<span>(3,-4)<span>28</span></span> (80,131)<span>(-1,-2)<span>7</span></span> (66,106)<span>(-3,-5)<span>10</span></span> (83,93)<span>(3,-4)<span>28</span></span> (108,94)<span>(-1,-2)<span>7</span></span> (94,69)<span>(-3,-5)<span>10</span></span> (57,50)<span>(3,-4)<span>28</span></span> (85,53)<span>(-1,-2)<span>7</span></span> (68,28)<span>(-3,-5)<span>10</span></span> (222,131)<span>(3,-4)<span>28</span></span> (247,132)<span>(-1,-2)<span>7</span></span> (233,107)<span>(-3,-5)<span>10</span></span> (199,90)<span>(3,-4)<span>28</span></span> (224,91)<span>(-1,-2)<span>7</span></span> (210,66)<span>(-3,-5)<span>10</span></span> (226,54)<span>(3,-4)<span>28</span></span> (251,53)<span>(-1,-2)<span>7</span></span> (238,31)<span>(-3,-5)<span>10</span></span> (56,89)<span>(0,-1)<span>38</span></span> (108,94)<span>(0,1)<span>35</span></span> (111,55)<span>(0,-1)<span>41</span></span> (200,89)<span>(0,1)<span>43</span></span> (200,48)<span>(0,-1)<span>36</span></span> (250,94)<span>(0,-1)<span>43</span></span> (136,77)<span>(1,0)<span>43</span></span> (159,77)<span>(-1,0)<span>25</span></span> <span>**Figure 6 - The Reidemeister Moves**</span> The <span>*bracket polynomial*</span> , $<K> = <K>(A)$, assigns to each unoriented link diagram $K$ a Laurent polynomial in the variable $A$ such that 1. If $K$ and $K'$ are regularly isotopic links, then $<K> = <K'>$. 2. If $K \hspace{.1in} O$ denotes the disjoint union of $K$ with an extra unknotted and unlinked component $O$, then $$< K \hspace{.1in} O> = \delta<K>$$ where $$\delta= -A^{2} - A^{-2}.$$ 3. $<K>$ satisfies the following formula where in Figure 7 the small diagrams represent parts of larger diagrams that are identical except at the site indicated in the bracket. In the text formula we have used the notations $S_{A}K$ and $S_{B}K$ to indicate the two smoothings of a single crossing in the diagram $K$. That is, $K$,$S_{A}K$ and $S_{B}K$ differ at the site of one crossing in the diagram $K$. The convention for these smoothings is indicated in Figure 7. $$<K> = A<S_{A}K> + A^{-1}<S_{B}K>$$ (427,204) (275,8)<span>(45,28)<span>$+A$</span></span> (118,7)<span>(48,31)<span>$=B$</span></span> (118,87)<span>(55,31)<span>$=A$</span></span> (275,90)<span>(46,24)<span>$+B$</span></span> (203,110)<span>(1,0)<span>39</span></span> (242,112)<span>(0,1)<span>12</span></span> (242,98)<span>(0,-1)<span>14</span></span> (202,98)<span>(1,0)<span>40</span></span> (202,84)<span>(0,1)<span>14</span></span> (202,124)<span>(0,-1)<span>12</span></span> (223,43)<span>(1,0)<span>13</span></span> (222,3)<span>(1,0)<span>14</span></span> (222,43)<span>(0,-1)<span>40</span></span> (207,3)<span>(-1,0)<span>11</span></span> (208,43)<span>(0,-1)<span>40</span></span> (196,43)<span>(1,0)<span>12</span></span> (42,2)<span>(1,1)<span>40</span></span> (42,42)<span>(1,-1)<span>16</span></span> (82,2)<span>(-1,1)<span>16</span></span> (348,123)<span>(1,0)<span>12</span></span> (360,123)<span>(0,-1)<span>40</span></span> (359,83)<span>(-1,0)<span>11</span></span> (374,123)<span>(0,-1)<span>40</span></span> (374,83)<span>(1,0)<span>14</span></span> (375,123)<span>(1,0)<span>13</span></span> (357,43)<span>(0,-1)<span>12</span></span> (357,3)<span>(0,1)<span>14</span></span> (357,17)<span>(1,0)<span>40</span></span> (397,17)<span>(0,-1)<span>14</span></span> (397,31)<span>(0,1)<span>12</span></span> (358,29)<span>(1,0)<span>39</span></span> (349,44)<span>(-1,-1)<span>19</span></span> (330,25)<span>(1,-1)<span>19</span></span> (406,44)<span>(1,-1)<span>19</span></span> (425,24)<span>(-1,-1)<span>19</span></span> (190,44)<span>(-1,-1)<span>19</span></span> (171,25)<span>(1,-1)<span>19</span></span> (246,43)<span>(1,-1)<span>19</span></span> (265,23)<span>(-1,-1)<span>19</span></span> (38,44)<span>(-1,-1)<span>19</span></span> (19,25)<span>(1,-1)<span>19</span></span> (90,43)<span>(1,-1)<span>19</span></span> (109,23)<span>(-1,-1)<span>19</span></span> (343,123)<span>(-1,-1)<span>19</span></span> (324,104)<span>(1,-1)<span>19</span></span> (392,123)<span>(1,-1)<span>19</span></span> (411,103)<span>(-1,-1)<span>19</span></span> (196,125)<span>(-1,-1)<span>19</span></span> (177,106)<span>(1,-1)<span>19</span></span> (250,125)<span>(1,-1)<span>19</span></span> (269,105)<span>(-1,-1)<span>19</span></span> (47,122)<span>(1,-1)<span>40</span></span> (47,82)<span>(1,1)<span>16</span></span> (87,122)<span>(-1,-1)<span>16</span></span> (41,123)<span>(-1,-1)<span>19</span></span> (22,104)<span>(1,-1)<span>19</span></span> (90,123)<span>(1,-1)<span>19</span></span> (109,103)<span>(-1,-1)<span>19</span></span> (304,161)<span>(24,41)<span>$=$</span></span> (207,161)<span>(50,41)<span>$S_{B}$</span></span> (337,201)<span>(1,0)<span>12</span></span> (349,201)<span>(0,-1)<span>40</span></span> (348,161)<span>(-1,0)<span>11</span></span> (363,201)<span>(0,-1)<span>40</span></span> (363,161)<span>(1,0)<span>14</span></span> (364,201)<span>(1,0)<span>13</span></span> (256,201)<span>(1,-1)<span>40</span></span> (256,161)<span>(1,1)<span>16</span></span> (296,201)<span>(-1,-1)<span>16</span></span> (137,201)<span>(0,-1)<span>12</span></span> (137,161)<span>(0,1)<span>14</span></span> (137,175)<span>(1,0)<span>40</span></span> (177,175)<span>(0,-1)<span>14</span></span> (177,189)<span>(0,1)<span>12</span></span> (138,187)<span>(1,0)<span>39</span></span> (106,161)<span>(24,41)<span>$=$</span></span> (1,160)<span>(56,41)<span>$S_{A}$</span></span> (56,201)<span>(1,-1)<span>40</span></span> (56,161)<span>(1,1)<span>16</span></span> (96,201)<span>(-1,-1)<span>16</span></span> <span>**Figure 7 - Bracket Expansion**</span> This formula for expanding the bracket polynomial can be indicated symbolically in the same fashion that we used in the previous section to indicate the representation of the Artin Braid Group to the Temperley Lieb algebra. We will denote a crossing in the link diagram by the letter chi, . The letter itself denotes a crossing where <span>*the curved line in the letter chi is crossing over the straight segment in the letter*</span>. The barred letter denotes the switch of this crossing where <span>*the curved line in the letter chi is undercrossing the straight segment in the letter*</span>. In the state model a crossing in a diagram for the knot or link is expanded into two possible states by either smoothing (reconnecting) the crossing horizontally, , or vertically $><$. Coefficients in this expansion correspond exactly to our representation of the braid group so that any closed loop (without crossings) in the plane has value $\delta = -A^{2} - A^{-2}$ and the crossings expand accrding to the formulas $$\mbox{\large $\chi$} = A \mbox{\large $\asymp$} + A^{-1} ><$$ $$\overline{\mbox{\large $\chi$}} = A^{-1} \mbox{\large $\asymp$} + A ><.$$ The verification that the bracket is invariant under the second Reidemeister move is then identical to our proof in the previuos section that $$\mbox{\large $\chi$}\overline{\mbox{\large $\chi$}} = \mbox{\large $\asymp$}.$$ (348,287) (194,17)<span>(3,-5)<span>9</span></span> (205,40)<span>(86,47)<span>$+ A^{-1}$</span></span> (97,46)<span>(44,40)<span>$A$</span></span> (67,67)<span>(1,0)<span>21</span></span> (202,199)<span>(86,47)<span>$+ A^{-1}$</span></span> (94,205)<span>(44,40)<span>$A$</span></span> (69,227)<span>(1,0)<span>21</span></span> (342,242)<span>(0,1)<span>43</span></span> (174,46)<span>(1,-5)<span>4</span></span> (196,43)<span>(0,-1)<span>19</span></span> (345,47)<span>(0,-1)<span>41</span></span> (323,47)<span>(0,-1)<span>41</span></span> (180,17)<span>(-1,-3)<span>4</span></span> (180,17)<span>(1,0)<span>15</span></span> (180,25)<span>(1,0)<span>15</span></span> (168,124)<span>(3,-4)<span>28</span></span> (193,125)<span>(-1,-2)<span>7</span></span> (179,100)<span>(-3,-5)<span>10</span></span> (145,83)<span>(3,-4)<span>28</span></span> (170,84)<span>(-1,-2)<span>7</span></span> (156,59)<span>(-3,-5)<span>10</span></span> (146,82)<span>(0,1)<span>43</span></span> (146,41)<span>(0,-1)<span>36</span></span> (196,87)<span>(0,-1)<span>43</span></span> (317,127)<span>(3,-4)<span>28</span></span> (342,128)<span>(-1,-2)<span>7</span></span> (328,103)<span>(-3,-5)<span>10</span></span> (294,86)<span>(3,-4)<span>28</span></span> (319,87)<span>(-1,-2)<span>7</span></span> (305,62)<span>(-3,-5)<span>10</span></span> (295,85)<span>(0,1)<span>43</span></span> (295,44)<span>(0,-1)<span>36</span></span> (345,90)<span>(0,-1)<span>43</span></span> (56,90)<span>(0,-1)<span>43</span></span> (6,44)<span>(0,-1)<span>36</span></span> (6,85)<span>(0,1)<span>43</span></span> (44,27)<span>(-3,-5)<span>10</span></span> (57,49)<span>(-1,-2)<span>7</span></span> (32,50)<span>(3,-4)<span>28</span></span> (16,62)<span>(-3,-5)<span>10</span></span> (30,87)<span>(-1,-2)<span>7</span></span> (5,86)<span>(3,-4)<span>28</span></span> (39,103)<span>(-3,-5)<span>10</span></span> (53,128)<span>(-1,-2)<span>7</span></span> (28,127)<span>(3,-4)<span>28</span></span> (317,241)<span>(0,1)<span>45</span></span> (290,235)<span>(0,1)<span>51</span></span> (192,277)<span>(0,1)<span>7</span></span> (160,268)<span>(1,2)<span>8</span></span> (141,267)<span>(1,0)<span>17</span></span> (140,286)<span>(0,-1)<span>19</span></span> (156,255)<span>(3,-4)<span>12</span></span> (141,256)<span>(1,0)<span>15</span></span> (140,236)<span>(0,1)<span>18</span></span> (317,241)<span>(3,-4)<span>28</span></span> (342,242)<span>(-1,-2)<span>7</span></span> (328,217)<span>(-3,-5)<span>10</span></span> (291,198)<span>(3,-4)<span>28</span></span> (319,201)<span>(-1,-2)<span>7</span></span> (302,176)<span>(-3,-5)<span>10</span></span> (290,237)<span>(0,-1)<span>38</span></span> (345,203)<span>(0,-1)<span>41</span></span> (167,241)<span>(3,-4)<span>28</span></span> (192,242)<span>(-1,-2)<span>7</span></span> (178,217)<span>(-3,-5)<span>10</span></span> (141,198)<span>(3,-4)<span>28</span></span> (169,201)<span>(-1,-2)<span>7</span></span> (152,176)<span>(-3,-5)<span>10</span></span> (140,237)<span>(0,-1)<span>38</span></span> (192,242)<span>(0,1)<span>35</span></span> (195,203)<span>(0,-1)<span>41</span></span> (58,207)<span>(0,-1)<span>41</span></span> (55,246)<span>(0,1)<span>35</span></span> (3,241)<span>(0,-1)<span>38</span></span> (15,180)<span>(-3,-5)<span>10</span></span> (32,205)<span>(-1,-2)<span>7</span></span> (4,202)<span>(3,-4)<span>28</span></span> (41,221)<span>(-3,-5)<span>10</span></span> (55,246)<span>(-1,-2)<span>7</span></span> (30,245)<span>(3,-4)<span>28</span></span> (13,258)<span>(-3,-5)<span>10</span></span> (27,283)<span>(-1,-2)<span>7</span></span> (2,282)<span>(3,-4)<span>28</span></span> <span>**Figure 8 - Invariance of Bracket under Third Reidemeister Move**</span> (382,383) (177,295)<span>(6,5)<span>15</span></span> (194,281)<span>(-6,5)<span>15</span></span> (16,1)<span>(242,89)<span>$<K> = \Sigma_{S}<K|S>d^{||S||}$</span></span> (249,249)<span>(93,48)<span>$||S|| = 3$</span></span> (293,289)<span>(88,53)<span>$<K|S> = A^{3}$</span></span> (98,259)<span>(35,31)<span>$A$</span></span> (96,301)<span>(35,31)<span>$A$</span></span> (98,340)<span>(35,31)<span>$A$</span></span> (132,271)<span>(1,0)<span>60</span></span> (133,316)<span>(1,0)<span>54</span></span> (132,358)<span>(1,0)<span>56</span></span> (165,204)<span>(57,48)<span>$S$</span></span> (20,214)<span>(40,45)<span>$K$</span></span> (248,99)<span>(104,105)</span> (125,99)<span>(104,106)</span> (7,103)<span>(102,104)</span> (48,171)<span>(25,35)<span>$B$</span></span> (47,109)<span>(25,35)<span>$B$</span></span> (75,143)<span>(31,28)<span>$A$</span></span> (11,144)<span>(31,28)<span>$A$</span></span> (289,138)<span>(25,35)<span>$B$</span></span> (165,142)<span>(31,28)<span>$A$</span></span> (285,174)<span>(0,-1)<span>30</span></span> (258,118)<span>(1,1)<span>27</span></span> (318,138)<span>(1,-1)<span>20</span></span> (317,173)<span>(0,-1)<span>35</span></span> (260,197)<span>(1,-1)<span>24</span></span> (342,197)<span>(-1,-1)<span>24</span></span> (138,119)<span>(1,1)<span>21</span></span> (197,140)<span>(-1,0)<span>36</span></span> (217,120)<span>(-1,1)<span>20</span></span> (194,173)<span>(-1,0)<span>31</span></span> (220,198)<span>(-1,-1)<span>24</span></span> (138,198)<span>(1,-1)<span>24</span></span> (98,199)<span>(-1,-1)<span>34</span></span> (18,118)<span>(1,1)<span>33</span></span> (18,198)<span>(1,-1)<span>78</span></span> (208,300)<span>(-5,3)<span>15</span></span> (195,281)<span>(4,5)<span>14</span></span> (207,339)<span>(-6,5)<span>15</span></span> (192,323)<span>(1,1)<span>15</span></span> (177,338)<span>(1,-1)<span>15</span></span> (192,351)<span>(-6,-5)<span>15</span></span> (191,266)<span>(5,-3)<span>21</span></span> (192,267)<span>(-3,-2)<span>19</span></span> (192,366)<span>(5,2)<span>19</span></span> (192,366)<span>(-5,2)<span>21</span></span> (210,374)<span>(1,0)<span>19</span></span> (229,373)<span>(0,-1)<span>120</span></span> (212,253)<span>(1,0)<span>16</span></span> (169,375)<span>(-1,0)<span>14</span></span> (155,375)<span>(0,-1)<span>120</span></span> (155,255)<span>(1,0)<span>17</span></span> (3,260)<span>(1,0)<span>17</span></span> (3,380)<span>(0,-1)<span>120</span></span> (17,380)<span>(-1,0)<span>14</span></span> (60,258)<span>(1,0)<span>16</span></span> (77,378)<span>(0,-1)<span>120</span></span> (58,379)<span>(1,0)<span>19</span></span> (20,298)<span>(1,-1)<span>40</span></span> (57,298)<span>(-1,-1)<span>16</span></span> (19,260)<span>(1,1)<span>16</span></span> (18,338)<span>(1,-1)<span>40</span></span> (58,339)<span>(-1,-1)<span>16</span></span> (18,299)<span>(1,1)<span>16</span></span> (19,340)<span>(1,1)<span>16</span></span> (59,380)<span>(-1,-1)<span>16</span></span> (19,379)<span>(1,-1)<span>40</span></span> <span>**Figure 9 - Bracket States**</span> Knowing that the bracket is invariant under the second Reidemeister move allows us to verify directly that it is invariant under the third Reidemeister move. This is illustrated in Figure 8. In this Figure we show the two equivalent configurations in the third Reidemeister move vertically on the left, with arrows point to the right of each configuration to an expansion via the bracket at one crossing. The expansions give the same bracket calculation due to invariance under the second Reidemeister move. Since the bracket is invariant under the second and third Reidemeister moves, <span>*property 1. is a direct consequence of properties 2. and 3.*</span>. The second two properties define the bracket on arbitrary link diagrams. In fact we could have begun with the following more general definition: Let $K$ be any unoriented link diaram. Define a <span>*state*</span> of $K$ to be a choice of smoothings for all the crossings of $K.$ There are $2^{N}$ states of a diagram with $N$ crossings. A <span>*smoothing*</span> of a crossing is a local repacement of that crossing with two arcs that do not cross one another, as shown below. There are two choices for smoothing a given crossing. In illustrating a state it is convenient to label the smoothing with $A$ or $B$ to indicate the crossing from which it was smoothed. The $A$ or $B$ is called a <span>*vertex weight*</span> of the state. Label each state with <span>*vertex weights*</span> $A$ or $B$ as illustrated in Figure 9. Here $A$ and $B$ are commuting polynomial variables. Define two evaluations related to the state: The first evaluation is the product of the vertex weights, denoted $$[K|S].$$ The second evaluation is the number of loops (Jordan curves) in the state $S$, denoted $$||S||.$$ Define the <span>*state summation*</span>, $[K]$, by the formula $$[K]=\sum_{S} [K|S]\delta^{||S||-1}.$$ It follows from this definition,that $[K]$ satisfies the formulas $$[\mbox{\large $\chi$}] = A [\mbox{\large $\asymp$}] + B [><]$$ $$[O \hspace{.1in} K] = \delta[K],$$ and $$[O] =1.$$ The demand that $[K]$ be invariant under the <span>*second*</span> Reidemeister move leads to the conditions $B=A^{-1}$ and $\delta=-A^{2}+A^{-2}$. This specialization is easily seen to be invariant under the third Reidemeister move. Calling this specialization the <span> *topological*</span> bracket, and denoting it (as above) by $<K>$ one finds the following behaviour under the first Reidemeister move $$<\mbox{\large $\gamma$}> = -A^{3} <\smile>$$ and $$<\overline{\mbox{\large $\gamma$}}> = -A^{-3} <\smile>$$ where denotes a curl of positive type as indicated in Figure 10, and $\overline{\mbox{\large $\gamma$}}$ indicates a curl of negative type as also seen in this Figure. The topological bracket is invariant under regular isotopy and can be normalized to an invariant of ambient isotopy by the definition $$f_{K}(A) = (-A^{3})^{-w(K)}<K>(A)$$ where w(K) is the sum of the crossing signs of the oriented link K. w(K) is called the writhe of K. The convention for crossing signs is shown in Figure 10. (282,126) (226,17)<span>(1,-1)<span>14</span></span> (200,42)<span>(1,-1)<span>17</span></span> (200,2)<span>(1,1)<span>40</span></span> (64,26)<span>(1,1)<span>16</span></span> (40,3)<span>(1,1)<span>17</span></span> (40,43)<span>(1,-1)<span>40</span></span> (242,102)<span>(1,0)<span>14</span></span> (89,103)<span>(1,0)<span>13</span></span> (95,109)<span>(0,-1)<span>12</span></span> (91,27)<span>(0,-1)<span>12</span></span> (85,21)<span>(1,0)<span>13</span></span> (240,21)<span>(1,0)<span>14</span></span> (201,83)<span>(1,0)<span>39</span></span> (241,123)<span>(1,0)<span>40</span></span> (160,123)<span>(1,0)<span>41</span></span> (240,83)<span>(-1,1)<span>15</span></span> (200,123)<span>(1,-1)<span>16</span></span> (240,123)<span>(-1,-1)<span>39</span></span> (81,122)<span>(1,0)<span>40</span></span> (1,123)<span>(1,0)<span>39</span></span> (41,82)<span>(1,0)<span>38</span></span> (41,83)<span>(1,1)<span>14</span></span> (80,123)<span>(-1,-1)<span>15</span></span> (40,122)<span>(1,-1)<span>38</span></span> <span>**Figure 10 - Crossing Signs**</span> By a change of variables one obtains the original Jones polynomial, $V_{K}(t)$ @JO86 from the normalized bracket: $$V_{K}(t) = f_{K}(t^{-1/4}).$$ (196,168) (130,1)<span>(55,38)<span>$T^{*}$</span></span> (19,6)<span>(44,33)<span>$T$</span></span> (193,45)<span>(-1,0)<span>14</span></span> (193,165)<span>(0,-1)<span>121</span></span> (180,165)<span>(1,0)<span>14</span></span> (125,46)<span>(1,0)<span>15</span></span> (125,165)<span>(0,-1)<span>119</span></span> (140,165)<span>(-1,0)<span>15</span></span> (180,45)<span>(-1,1)<span>16</span></span> (180,85)<span>(-1,1)<span>15</span></span> (180,124)<span>(-1,1)<span>16</span></span> (140,85)<span>(1,-1)<span>16</span></span> (141,125)<span>(1,-1)<span>16</span></span> (140,165)<span>(1,-1)<span>18</span></span> (179,85)<span>(-1,-1)<span>39</span></span> (180,125)<span>(-1,-1)<span>40</span></span> (180,165)<span>(-1,-1)<span>39</span></span> (5,45)<span>(1,0)<span>17</span></span> (3,165)<span>(0,-1)<span>120</span></span> (19,165)<span>(-1,0)<span>14</span></span> (62,43)<span>(1,0)<span>16</span></span> (79,163)<span>(0,-1)<span>120</span></span> (60,164)<span>(1,0)<span>19</span></span> (22,83)<span>(1,-1)<span>40</span></span> (59,83)<span>(-1,-1)<span>16</span></span> (21,45)<span>(1,1)<span>16</span></span> (20,123)<span>(1,-1)<span>40</span></span> (60,124)<span>(-1,-1)<span>16</span></span> (20,84)<span>(1,1)<span>16</span></span> (21,125)<span>(1,1)<span>16</span></span> (61,165)<span>(-1,-1)<span>16</span></span> (21,164)<span>(1,-1)<span>40</span></span> <span>**Figure 11 - Trefoil and Mirror Image**</span> The bracket model for the Jones polynomial is quite useful both theoretically and in terms of practical computations. One of the neatest applications is to simply compute $f_{K}(A)$ for the trefoil knot $T$ and determine that $f_{K}(A)$ is not equal to $f_{K}(A^{-1}).$ This shows that the trefoil is not ambient isotopic to its mirror image (See Figure 11), a fact that is quite tricky to prove by classical methods. <span>**Remark.**</span> The relationship of the Temperley Lieb algebra with the bracket polynomial comes through the basic bracket identity. This identity, interpreted in the context of the diagrammtic Temperley Lieb algebra becomes a representation $\rho$ of the Artin braid group $B_{n}$ on $n$ strands to the Temperley Lieb algebra $TL_{n}$ defined by the formulas $$\rho(\sigma_{i}) = AU_{i} + A^{-1}1$$ $$\rho(\sigma_{i}^{-1}) = A^{-1}U_{i} + A1.$$ Here $sigma_{i}$ denotes the braid generator that twists strands $i$ and $i+1$. For this representation of the Temperley Lieb algebra, the loop value $\delta$ is $-A^{2}-A^{-2}$ and the ring $k$ is $Z[A,A^{-1}]$, the ring of Laurent polynomials in $A$ with integer coefficients. <span>**Remark.**</span> There are hints of quantum mechanical interpretations in the combinatorics of this state sum model for the Jones polynomial. The expansion formula for the bracket polynomial $$<K> = A<S_{A}K> + A^{-1}<S_{B}K>$$ suggests that the diagram $K$ should be thought of as a superposition of the diagrams $S_{A}K$ and $S_{B}K$. That is, we can think of a knot diagram with respect to a given crossing as the superposition of the diagrams obtained by smoothing that crossing. Then, with respect to all the crossings, one can think of the diagram as a superposition of the states obtained by smoothing each crossing in one of its two possible ways. This is a superposition view of the bracket state sum as a whole. $$<K>=\sum_{S} <K|S>\delta^{||S||-1}$$ In this sense the bracket polynomial evaluation is directly analogous to an amplitude in quantum mechanics. We shall make this analogy more precise in the sections to follow. However, the topological information is contained in this amplitude as whole, and not in any specific state evaluation. Thus the topological model ignores the standard measurement situation in quantum mechanics where one gets at best information about one state at a time when a measurement is taken. This means that a quantum computational model of the bracket polynomial will be essentially probabilistic, only giving partial information at each measurement. As a result of this discussion, it is natural to ask to what extent one can extract partial topological information from an incomplete summation over the states of the bracket polynomial. It is not clear at this stage what this answer is to this question. It may require a new exploration of the properties of the state sum and its corresponding polynomial. Knot Amplitudes =============== At the end of the first section we said: the connection of quantum mechanics with topology is an amplification of Dirac notation. In this section we begin the process of amplification! (154,111) (77,60) (1,78)<span>(33,32)<span>$t$</span></span> (127,5)<span>(26,26)<span>$x$</span></span> (25,20)<span>(1,0)<span>92</span></span> (38,1)<span>(0,1)<span>99</span></span> <span>**Figure 12 - Circle in Spacetime**</span> Consider first a circle in a spacetime plane with time represented vertically and space horizontally. The circle represents a vacuum to vacuum process that includes the creation of two "particles", and their subsequent annihilation. See Figures 12 and 13. (104,132) (3,1)<span>(0,1)<span>130</span></span> (63,44)<span>(80,78)\[b\]</span> (63,84)<span>(80,78)\[t\]</span> <span>**Figure 13 - Creation and Annihilation**</span> In accord with our previous description, we could divide the circle into these two parts (creation(a) and annihilation (b)) and consider the amplitude $<b|a>.$ Since the diagram for the creation of the two particles ends in two separate points, it is natural to take a vector space of the form $V \otimes V$ as the target for the bra and as the domain of the ket. We imagine at least one particle property being catalogued by each dimension of $V.$ For example, a basis of $V$ could enumerate the spins of the created particles. If $\{e_{a} \}$ is a basis for $V$ then $\{e_{a} \otimes e_{b} \}$ forms a basis for $V \otimes V.$ The elements of this new basis constitute all possible combinations of the particle properties. Since such combinations are multiplicative, the tensor product is the appropriate construction. In this language the creation ket is a map $cup$, $$cup = |a> : C \longrightarrow V \otimes V,$$ and the annihilation bra is a mapping $cap$, $$cap= <b| : V \otimes V \longrightarrow C.$$ The first hint of topology comes when we realise that it is possible to draw a much more complicated simple closed curve in the plane that is nevertheless decomposed with respect to the vertical direction into many cups and caps. In fact, any simple (no self-intersections) differentiable curve can be rigidly rotated until it is in general position with respect to the vertical. It will then be seen to be decomposed into these minima and maxima. Our prescriptions for amplitudes suggest that we regard any such curve as an amplitude via its description as a mapping from $C$ to $C.$ Each simple closed curve gives rise to an amplitude, but any simple closed curve in the plane is isotopic to a circle, by the Jordan Curve Theorem. If these are topological amplitudes, then they should all be equal to the original amplitude for the circle. Thus the question: What condition on creation and annihilation will insure topological amplitudes? The answer derives from the fact that all isotopies of the simple closed curves are generated by the cancellation of adjacent maxima and minima as illustrated below. (206,181) (203,173)<span>(0,-1)<span>172</span></span> (169,94)<span>(-1,0)<span>45</span></span> (138,94)<span>(1,0)<span>48</span></span> (133,107)<span>(-1,-1)<span>1</span></span> (109,103)<span>(0,1)<span>77</span></span> (3,78)<span>(0,-1)<span>76</span></span> (83,101)<span>(54,86)\[b\]</span> (30,76)<span>(54,86)\[t\]</span> <span>**Figure 14 - Cancellation of Maxima and Minima**</span> In composing mappings it is necessary to use the identifications $(V \otimes V) \otimes V = V \otimes (V \otimes V)$ and $V \otimes k=k \otimes V = V.$ Thus in the illustration above, the composition on the left is given by $$V = V \otimes k - 1 \otimes cup \rightarrow V \otimes (V \otimes V)$$ $$= (V \otimes V) \otimes V - cap \otimes 1 \rightarrow k \otimes V = V.$$ This composition must equal the identity map on $V$ (denoted $1$ here) for the amplitudes to have a proper image of the topological cancellation. This condition is said very simply by taking a matrix representation for the corresponding operators. Specifically, let $\{e_{1}, e_{2}, ..., e_{n} \}$ be a basis for $V.$ Let $e_{ab} = e_{a} \otimes e_{b}$ denote the elements of the tensor basis for $V \otimes V.$ Then there are matrices $M_{ab}$ and $M^{ab}$ such that $$cup(1) = \Sigma M^{ab} e_{ab}$$ with the summation taken over all values of $a$ and $b$ from $1$ to $n.$ Similarly, $cap$ is described by $$cap(e_{ab}) = M_{ab.}$$ Thus the amplitude for the circle is $$cap[cup(1)] = cap \Sigma M^{ab}e_{ab} = \Sigma M^{ab}M_{ab.}$$ In general, the value of the amplitude on a simple closed curve is obtained by translating it into an "abstract tensor expression" in the $M_{ab}$ and $M^{ab}$, and then summing over these products for all cases of repeated indices. Returning to the topological conditions we see that they are just that the matrices $(M_{ab})$ and $(M^{ab})$ are inverses in the sense that $\Sigma M_{ai}M^{ib} = \delta_{a}^{b}$ and $\Sigma M^{ai}M_{ib} = \delta^{a}_{b}$ where $\delta_{a}^{b}$ denotes the (identity matrix) Kronecker delta that is equal to one when its two indices are equal to one another and zero otherwise. (247,219) (216,172)<span>(28,35)<span>$b$</span></span> (217,3)<span>(29,31)<span>$a$</span></span> (119,183)<span>(28,35)<span>$b$</span></span> (67,88)<span>(23,30)<span>$i$</span></span> (17,1)<span>(29,31)<span>$a$</span></span> (206,188) (6,18) (60,103) (113,196) (-24,206) (206,17) (206,189)<span>(0,-1)<span>172</span></span> (172,110)<span>(-1,0)<span>45</span></span> (141,110)<span>(1,0)<span>48</span></span> (136,123)<span>(-1,-1)<span>1</span></span> (112,119)<span>(0,1)<span>77</span></span> (6,94)<span>(0,-1)<span>76</span></span> (86,117)<span>(54,86)\[b\]</span> (33,92)<span>(54,86)\[t\]</span> <span>**Figure 15 - Algebraic Cancellation of Maxima and Minima**</span> In Figure 15, we show the diagrammatic representative of the equation $\Sigma M_{ai}M^{ib} = \delta_{a}^{b}.$ In the simplest case $cup$ and $cap$ are represented by $2 \times 2$ matrices. The topological condition implies that these matrices are inverses of each other. Thus the problem of the existence of topological amplitudes is very easily solved for simple closed curves in the plane. Now we go to knots and links. Any knot or link can be represented by a picture that is configured with respect to a vertical direction in the plane. The picture will decompose into minima (creations) maxima (annihilations) and crossings of the two types shown below. (Here I consider knots and links that are unoriented. They do not have an intrinsic preferred direction of travel.) See Figure 16. In Figure 16 we have indicated the crossings as mappings of $V \otimes V$ to itself , called $R$ and $R^{-1}$ respectively. These mappings represent the transitions corresponding to these elementary configurations. (348,219) (294,58)<span>(53,46)<span>$R^{-1}$</span></span> (296,138)<span>(43,47)<span>$R$</span></span> (195,50)<span>(0,1)<span>18</span></span> (156,51)<span>(1,0)<span>39</span></span> (154,66)<span>(0,-1)<span>15</span></span> (118,51)<span>(0,1)<span>15</span></span> (76,52)<span>(1,0)<span>42</span></span> (75,66)<span>(0,-1)<span>14</span></span> (156,162)<span>(0,-1)<span>18</span></span> (118,163)<span>(1,0)<span>38</span></span> (118,148)<span>(0,1)<span>15</span></span> (278,64) (239,103) (238,65) (276,104) (276,145) (238,184) (239,146) (276,184) (1,183)<span>(32,35)<span>$t$</span></span> (228,1)<span>(60,47)<span>$x$</span></span> (25,27)<span>(1,0)<span>193</span></span> (36,11)<span>(0,1)<span>194</span></span> (157,106) (197,67) (77,68) (75,165) (119,67) (155,67) (115,107) (118,145) (156,145) (196,166) (196,187)<span>(-1,0)<span>40</span></span> (196,147)<span>(0,1)<span>40</span></span> (75,187)<span>(1,0)<span>41</span></span> (75,146)<span>(0,1)<span>41</span></span> (196,107)<span>(0,-1)<span>42</span></span> (76,105)<span>(0,-1)<span>38</span></span> (116,187)<span>(1,0)<span>40</span></span> (276,105)<span>(-1,-1)<span>39</span></span> (237,105)<span>(1,-1)<span>16</span></span> (277,65)<span>(-1,1)<span>16</span></span> (237,146)<span>(1,1)<span>16</span></span> (277,186)<span>(-1,-1)<span>16</span></span> (237,185)<span>(1,-1)<span>40</span></span> (155,67)<span>(-1,1)<span>16</span></span> (116,104)<span>(1,-1)<span>16</span></span> (156,106)<span>(-1,-1)<span>39</span></span> (156,146)<span>(1,-1)<span>40</span></span> (196,147)<span>(-1,-1)<span>16</span></span> (156,107)<span>(1,1)<span>16</span></span> (76,105)<span>(1,1)<span>16</span></span> (116,145)<span>(-1,-1)<span>16</span></span> (76,144)<span>(1,-1)<span>40</span></span> <span>**Figure 16 - Morse Knot Decomposition**</span> That $R$ and $R^{-1}$ really must be inverses follows from the isotopy shown in Figure 17 (This is the second Reidemeister move.) (272,166) (226,5)<span>(45,37)<span>$d$</span></span> (181,8)<span>(44,33)<span>$c$</span></span> (228,134)<span>(39,28)<span>$b$</span></span> (178,134)<span>(44,26)<span>$a$</span></span> (89,69)<span>(33,40)<span>$j$</span></span> (1,74)<span>(34,34)<span>$i$</span></span> (66,1)<span>(38,38)<span>$d$</span></span> (21,1)<span>(41,38)<span>$c$</span></span> (63,133)<span>(36,32)<span>$b$</span></span> (25,133)<span>(35,30)<span>$a$</span></span> (153,89)<span>(-1,0)<span>18</span></span> (135,89)<span>(1,0)<span>40</span></span> (202,128) (201,48) (241,128)<span>(0,-1)<span>80</span></span> (201,129)<span>(0,-1)<span>80</span></span> (83,45) (241,48) (43,46) (241,128) (81,87) (43,126) (44,88) (81,126) (81,86)<span>(-1,-1)<span>39</span></span> (42,86)<span>(1,-1)<span>16</span></span> (82,46)<span>(-1,1)<span>16</span></span> (42,88)<span>(1,1)<span>16</span></span> (82,128)<span>(-1,-1)<span>16</span></span> (42,127)<span>(1,-1)<span>40</span></span> <span>**Figure 17 - Braiding Cancellation**</span> We now have the vocabulary of $cup$,$cap$, $R$ and $R^{-1}$. Any knot or link can be written as a composition of these fragments, and consequently a choice of such mappings determines an amplitude for knots and links. In order for such an amplitude to be topological we want it to be invariant under the list of local moves on the diagrams shown in Figure 18. These moves
{'source': 'arXiv_out/math0105255'}