knot theoryknot theory and statistical mechanicsweb.phys.ntu.edu.tw/phystalks/wu.pdf · 2 define a...
TRANSCRIPT
Knot TheoryKnot Theoryandand
Statistical Mechanics
KNOTS: A 3-dimensional loop projected onto a
2-dimensional surface
Unknot Trefoil Figure 8g
LINK: The entanglement of 2 or more loops
2389
Unknot Unknot
Trefoil Hopf linkTrefoil Hopf link
Unknot Unknot
EQUIVALENT KNOTS: Two knots are equivalent if they
Trefoil Hopf link
EQUIVALENT KNOTS: Two knots are equivalent if theyare the projections of the same 3-dimensional knot
Trefoil Hopf link
An unknot
AAn
An unknot An unknot
A
KNOT INVARIANTS: Algebraic functions (polynomials or numbers) constructed from the knot projectionsA
n
) p jthat are the same for equivalent knots
Reviews of Modern Physics, 64 1099-1131 (1992)
Unknot Unknot
EQUIVALENT KNOTS: Two knots are equivalent if they
Trefoil Hopf link
EQUIVALENT KNOTS: Two knots are equivalent if theyare the projections of the same 3-dimensional knot
Trefoil Hopf link
Equivalent knots can be transformed into eachEquivalent knots can be transformed into each other by Reidemeister moves of lines
There are 3 types of moves: I, II, and III
IA
IB
IIA
IIB
IIIAIIIAu v
w
IIIBIIIB
ENTANGLED CONFIGURATIONSENTANGLED CONFIGURATIONS
Sufficient moves for all equivalent knots
Any one of the IIIA movesAny one of the IIIA moves
Yang-Baxter equationYang Baxter equation
Example of deducing a IIIB move using IIB and IIIA moves
Traditionally, there are two approaches to deduce knot invariants
Algebraic approach:Algebraic approach: Convert knots into braids and use group-theoretic properties of the braid group to deduce invariants
Geometric approach: Use knot graphs to deduce invariants
Algebraic approach
Example of converting a knot into a braid
Braid group:Braid group:
iσi 1+i
111 +++ = iiiiii σσσσσσ 111 +++ iiiiii
,ijji σσσσ = 2≥− ji
iσiσ
σσi 1+i
σσσ
ii σσ 1+
iii σσσ 1+
1+iσ 1+iσi 1+i
1+iiσσ
11 ++ iii σσσ
Jones considers representations of the braid group
Von Neumann algebra the Jones polynomialg p y
Using the Temperley-Lieb algebra akin to the Potts model leads to a one variable polynomial invariantleads to a one-variable polynomial invariant
Hecke algebra Homfly polynomialHecke algebra Homfly polynomial
Using the Hecke algebra leads to a two-variableUsing the Hecke algebra leads to a two variable polynomial invariant
Temperley, 1998
(Harold Neville Vazeille Temperley 1915 2007)
Temperley, 1998
(Harold Neville Vazeille Temperley, 1915 – 2007)
Lieb (2003)Lieb (2003)
Geometrical approach (directed knots)
Consider three knots which are identical except at crossing
+L −L 0LAssociate each knot with a polynomial P(x, y, z) such thatThe three polynomials are related by
+
The skein relation
),,(),,(),,(0
zyxzPzyxyPzyxxP LLL =++
)()()(0
yyyy LLL −+
Starting from1),,( =zyxPunknot
Skein relationSkein relation
),,,(z 1y 1 2 xyxPx l⋅=⋅+⋅z
yxP +=l2 z
xzyxyxPz
zyxyzyxxP HopfHopf
22
,1 ),,( +−=⋅=
+⋅+
xzz
xzyxyxzyzyxxPTrefoil
22
1 ),,( −−⋅=⋅+
xz
2
22 2),,( yxyzzyxPTrefoil−−
=This gives2)(
xyTrefoil
Alexander-Conway polynomial :
tzyt
x 1 ,1 ,1−=−==
)(tΔ
)(1)()(0
ttt
tt LLL Δ⋅⎟⎠
⎞⎜⎝
⎛ −=Δ−Δ−+
Skein relation:
tt
t ⎠⎝
Jones polynomial :)(tV
ttzty
tx 1 , ,1
−=−==
⎞⎛Skein relation: )(1)()(10tV
tttVttV
t LLL ⋅⎟⎠
⎞⎜⎝
⎛ −=⋅−⋅−+
Homfly polynomial :),( ztPty
tx −== ,1
t
Skein relation: ),(),(),(10
ztPzztPtztPt LLL ⋅=⋅−⋅
−+
Statistical Mechanical ApproachStatistical Mechanical Approach
1 Construct a lattice from a given knot1. Construct a lattice from a given knot.
2 Define a statistical mechanical model on the lattice2. Define a statistical mechanical model on the lattice.
3. Assign model parameters such that the partition function of the statistical mechanical model is invariant under Reidemeister moves of lines.
4. The partition function is by definition a knot invariant.
5 Different invariants are obtained by using different models5. Different invariants are obtained by using different models.
There are three main different types of lattice models:
1. Vertex models
2. Interaction-round-face (IRF) models
3. Edge-interaction spin models
Vertex modelsbd bd
The statistical model is a vertex model with vertex weights
a cThe statistical model is a vertex model with vertex weights.Each lattice edge can be in q different states.Specify the states of the 4 edges at a vertex by variables a b c d = 1 2 q and denote the vertexvariables a, b, c, d = 1, 2, …, q and denote the vertex weight by
),|,( dcba±ω
∑ ∏ )|( dbZ
The partition function of the lattice is given by
∑ ∏ ±=states vertices
),|,( dcbaZ ω
For un-oriented knots the Reidemeister moves areFor un oriented knots, the Reidemeister moves are
The Reidemeister moves require the following conditions on the weights:
For oriented knots, it is convenient to introduce a parameterinto the model. Then the Reidemeister moves require
λinto the model. Then the Reidemeister moves require
(IIIA)±=3,2,1
The equation (IIIA) is the Yang-Baxter equation. It i t d t i d ti ith ti6qIt is a set over-determined equation with equationsand unknown vertex weights.
q43q
The Yang-Baxter equation
eq ations nkno ns6 43qequations, unknowns 6q 3q
The Yang-Baxter equation
eq ations nkno ns6 43qequations, unknowns 6q 3q
A solution of the Y-B equation exists for each exactly solved modelsq y
Condition I is a unitarity condition which is usually satisfied.
Condition IIA can usually be satisfied by choosing model parameters.
The Yang-Baxter equation IIIA is satisfied for exactly solved models.
This implies that from each exactly solved model,one can construct a knot invariant !
Interaction-around-face (IRF) models
functionPartition
∑∏= ),,,( functionPartition
dcbaW
),,,(ghtVertex wei
dcbaW= ),,,( dcbaW
Yang-Baxter equation for IRF modelsYang Baxter equation for IRF models
W'W
WW
W'W
'W''W ''W
WW W
∑c
bbbcWcbcaWacbaW )','',,('' )',',,''(' )'',,,(
∑=c
c
abbcWcbbaWacaaW )',','',( ),'',,(' )',,,''('' c
Simple spin models with pair interactions
Shade alternate faces and put spins in shaded faces
There are 2 kinds of pair interactions along dotted linesThere are 2 kinds of pair interactions along dotted lines.a
a bab
b
∑∏ ±± = ),( 1)( 2/ baWq
WZ Nq
T I R id i tType I Reidemeister moves
∑ =± baW mα),(1 ∑bq
1)( mW 1),( mα=± aaW
Type II Reidemeister moves
∑ =abWbaW IIA)()(1 δ∑ =+−b
caabWbaWq
IIA ).(),( ,δ
IIB1)()( bWbW IIB 1),(),( =−+ baWbaW
Type III Reidemeister moves
),(),(),(),(),(),(1 acWcbWbaWdcWdbWdaWq d
±±±±∑ = mm
Example: The Potts model – a soluble (unphysical) case
TakebaKeAbaW ,),( δ±
±± =
− −=−= −+ eet KKwith
4/1±± = tA
4/3
12−
−
=
++=
tttq
α −= tαThen this gives the Jones polynomial
)()()( 4/32/1 −− WZttV nn )()()( 4/32/1±
+−−= WZtqtV nn
whereknotin thecrossings ofnumber the ±=±n g±
Jones polynomialKnot Jones polynomialKnot
The Jones polynomial can also be derived from theThe Jones polynomial can also be derived from thebracket polynomial of Kauffman (1987)
The Jones polynomial can also be derived from theThe Jones polynomial can also be derived from thebracket polynomial of Kauffman (1987)
The bracket polynomial is identical to a q-state non-intersecting string model of Perk and Wu (1986)
Kauffman approach: Un-oriented knot
Reidemeister moves:
Theorem: Partition function Z(w) is a regularIsotopy of knot invariants (Kauffman, 1987)
The non-intersecting string model of Perk and Wu g g(1986)
= polynomial in q, A, B
33 33Bq
223 ABq
BqA23q
32 Aq
32223 33 AqBqAABqBqZ +++=
Reidemeister moves II:
1−= AB)( 22 −+−= AAq
Reidemeister moves I:
)()()(
4/3
4/13
ZVtAA
nn −
−=−=α
)()()( 4/3 tZttV nn +− −−−= Is the Jones polynomial
Alexander-Conway polynomial
Knot Alexander (1928) Conway (1970)
ttz 1−=
Knot invariants from the exact solution of a 19-vertex modelKnot invariants from the exact solution of a 19-vertex model(Pant and Wu, 1995)
Jones polynomialV F R J B ll A M h S 12 (198 ) 103 112V. F. R. Jones, Bull. Am. Math. Soc. 12 (1985) 103-112.
Bracket polynomialL. H. Kauffman, Topology 26 (1987) 395-407.
Nonintersecting string modelNonintersecting string modelJ. H. H. Perk and F. Y. Wu, J. Stat. Phys.42 (1986) 727-742.
Knot invariants and statistical mechanicsKnot invariants and statistical mechanicsV. F. R. Jones, Pacific J. Math. 17 (1989) 311-354.F. Y. Wu, Rev. Mod. Phys. 64 (1992) 1099-1131.
Knot invariants from the chiral Potts modelF. Y. Wu, P. Pant, C. King, Phys. Rev. Lett. 72 (1994) 3937-3940.
The End