Large N Gauge Theory and k-Strings by Shuhang Yang, B.Sc., Tsinghua University , 2007 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE in The Faculty of Graduate Studies (Physics) THE UNIVERSITY OF BRITISH COLUMBIA (Vancouver) April 2011 c© Shuhang Yang, 2011 Abstract We considered the k-antisymmetric representation of U(N) gauge group on two dimensional lattice space and derived the free energy by saddle point approximation in large N limit. k is a large integer comparable with N. Besides Gross-Witten phase transition[1], which happens as the coupling constant changes, we found a new phase transition in the strong coupling system that happens as k changes. The free energy of the weak coupling system is a smooth function of k under continuous limit. We have carefully selected the right saddle point solution among other possible ones. The numerical results match our saddle point calculations. ii Table of Contents Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii List of Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v Acknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . vi Dedication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 The U(N) Gauge Theory on The Two Dimensional Lattice Space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.1 Gross-Witten Model . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 k-Antisymmetric Representation . . . . . . . . . . . . . . . . 9 3 The Distribution of The Eigenvalues of The U(N) Gauge Group . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 4 The k-Antisymmetric Representation . . . . . . . . . . . . . 18 4.1 The Generating Function . . . . . . . . . . . . . . . . . . . . 18 4.2 Saddle Point Approximation . . . . . . . . . . . . . . . . . . 20 4.3 The Weak Coupling . . . . . . . . . . . . . . . . . . . . . . . 22 4.4 The Strong Coupling . . . . . . . . . . . . . . . . . . . . . . 25 4.5 Comparison at The Boundry . . . . . . . . . . . . . . . . . . 27 iii Table of Contents 5 Phase Transition . . . . . . . . . . . . . . . . . . . . . . . . . . 28 5.1 The Free Energy of The Weak Coupling System . . . . . . . 28 5.2 The Free Energy of The Strong Coupling System . . . . . . . 32 5.3 The Phase Transition . . . . . . . . . . . . . . . . . . . . . . 33 5.4 Gross-Witten Phase Transition for k-Representation . . . . . 35 6 Remarks and Conclusions . . . . . . . . . . . . . . . . . . . . 43 6.1 Discussion About The Distribution Function . . . . . . . . . 43 6.2 The k-String Tension . . . . . . . . . . . . . . . . . . . . . . 44 Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 iv List of Figures 5.1 A=0.8 (p=0.6), Γ+(θ+(R)): Green; Γ+(θ−(R)): Red; Γ−(θ+(R)): Blue; Γ−(θ−(R)): Black. . . . . . . . . . . . . . . . . . . . . . 30 5.2 A=1 (p=0.3), Γ+(θ+(R)): Green; Γ+(θ−(R)): Red; Γ−(θ+(R)): Blue; Γ−(θ−(R)): Black. . . . . . . . . . . . . . . . . . . . . . 31 5.3 A=0.8 (p=0.6), Γ+(R): Red; Γ−(R):Green . . . . . . . . . . 32 5.4 A=1 (p=0.5), Γ+(R): Red; Γ−(R):Green . . . . . . . . . . . 33 5.5 A=0.8 (p=0.6), ddRΓ+(θ+(R)) . . . . . . . . . . . . . . . . . . 34 5.6 A=0.8 (p=0.6), ddRΓ+(θ−(R)) . . . . . . . . . . . . . . . . . . 35 5.7 A=0.8 (p=0.6), ddRΓ−(θ+(R)) . . . . . . . . . . . . . . . . . . 36 5.8 A=0.8 (p=0.6), ddRΓ−(θ−(R)) . . . . . . . . . . . . . . . . . . 37 5.9 A=0.8 (p=0.6), Γ′+(R) . . . . . . . . . . . . . . . . . . . . . . 38 5.10 A=0.8 (p=0.6), Γ′−(R) . . . . . . . . . . . . . . . . . . . . . . 39 5.11 p=0.1, Γ1(R): Red; Γ2(R):Green . . . . . . . . . . . . . . . . 40 5.12 p=0.2, Γ1(R): Red; Γ2(R):Green . . . . . . . . . . . . . . . . 40 5.13 p = 12.1 , Γ1(R): Red; Γ2(R):Green . . . . . . . . . . . . . . . 41 5.14 p=0.5, Γ1(R): Red; Γ2(R):Green . . . . . . . . . . . . . . . . 41 5.15 ∂ 2Γw.c ∂λ2 ∣∣∣ λ=2 − ∂2Γs.c ∂λ2 ∣∣∣ λ=2 . . . . . . . . . . . . . . . . . . . . . . 42 5.16 Phase Diagram . . . . . . . . . . . . . . . . . . . . . . . . . . 42 v Acknowledgements I would like to thank Professor Gordon W. Semenoff and Dr. Joanna Kar- czmarek. Thank my family for their support. vi To My Parents. vii Chapter 1 Introduction Physicists have been trying hard to understand confinement of quarks for about half a century. Although this problem has not been solved with satis- factory, many branches of study in physics have been created and flourished as a result. In 1970s, Kenneth Wilson initiated the method of quantizing the gauge field on space-time lattice in his efforts to demystify quark confine- ment [2][3]. On the lattice space the minimal interval of space-time is the lattice spacing and there is no need to renormalize the gauge theory. The expectation value of Wilson loop operator is the potential between fermions, and the string tension is the potential energy divided by the spatial length of the loop. Combining his former work on Wilson loop theory, Wilson made the theory of lattice QCD understandable and computable. Another influential method proposed by G. ’tHooft is the large N expansion[6]. Since perturbative expansion fails in the strong interacting systems, ’tHooft ex- panded the action of SU(N) gauge theory in power of 1/N, where N is large. This new point of view gave encouraging results to explain some phenomena beyond standard model[4]. Large N QCD became an important method in the study of strong interactions of quarks[5]. The U(N) lattice gauge theory is the combination of lattice quantization and large N gauge theory. The theory has been built up and some basic techniques have been developed[7]. In this paper we discussed k-strings, which is the k-representation of the U(N) gauge group on 2 dimensional lattice space. Using the saddle point approximation, we derived the free energy of k-strings. Some numerical results are presented to compare with the saddle point approximation. 1 Chapter 1. Introduction Gross-Witten model is a U(N) gauge theory on two dimensional lattice space[1]. In Gross and Witten’s paper, they showed that the Wilson loop operator of the fundamental representation can be reduced to the loop op- erator on one plequatte by the U(N) gauge symmetry. In the large N limit, they used the saddle point method to determine the distribution function of the eigenvalues of the U(N) gauge field, then they derived the string ten- sion of the fundamental representation and found a phase transition as the coupling constant changes. We further studied the k-antisymmetric repre- sentation of U(N) gauge group, where k is also large and comparable with N. k is a new parameter in our work. We showed that the action and the Wilson loop of the k-antisymmetric representation can be also reduced to one plequatte on lattice space as the case of the fundamental representation. Using the generating function and the saddle point method We calculate the expectation value of the Wilson loop operator and the free energy Γ, which is a function of both the coupling constant λ and the integer k. In the weak coupling system (λ ≤ 2), We find several branches of free energy. None of them is smooth and none could serve as the free energy in the whole range of kN ∈ [0, 1]. The free energy is not simlpy the minimal solution, because we need to choose a proper contour of the integration of the generating func- tion in complex plane. Further work has been done to decide which one of the two is the real saddle point solution. Under strong coupling, there are two branches of free energy from the saddle point equation. We also need to make the choice of which one is the proper saddle solution in different ranges of kN ∈ [0, 1]. A phase transition appears at kN = 12 . This phase transition is easily determined to be of first order, but it changes to be third order at the boundary between weak and strong coupling, where the coupling constant λ = 2. 2 Chapter 2 The U(N) Gauge Theory on The Two Dimensional Lattice Space In this chapter we fisrt review the U(N) gauge theory on the 2-dimensional lattice space and present some results of the fundamental representation done by D. Gross and E. Witten. They showed that by proper gauge choos- ing, the action and the Wilson loop operator can be reduced into simple forms, which only involve the integarl over one plaquette in the lattice space. Then we further the study on the k-antisymmetric representation. We are going to derive the Wilson loop operator of k-representation and reduce it into a simple form as Gross and Witten did for the fundamental represen- taion. 2.1 Gross-Witten Model U(N) Gauge thoery on two dimensional lattice is somehow trivial, because we could make the transverse dimension trivial by gauge transformation. This leads to the absence of physics gluons and the result that all physical quantities only depend on the integration over the gauge field on a single plaquette. The dynamical variables are N × N unitary matrices U~n,~i, which are 3 2.1. Gross-Witten Model functions of ~n and ~i. {~i,~j} is an orthonormal basis of the two dimensional lattice space, and ~n = n1~i+n2~j is a lattice vector. U~n,~i transprots a matter field from site ~n to ~n+~i along ~i under fundamental representation of U(N). In this paper, we have nothing to do with the matter fields, the fermions. Since the action of the gauge fields can be reduced into one plaquette, the gluons are not physical particles due to the lack of time dependency. But by studying the non-physical gluons - the U(N) gauge fields we can derive the interaction between fermions and further derive the string tension. From Wilson loop theory, we have U † ~n,~i = U−1 ~n,~i = U~n+~i,−~i. (2.1) The Wilson action is defined as S(U) = ∑ ~n 1 g2 Tr ∏ plaquette U + H.c. , (2.2) summing all plaquettes on the lattice space, and∏ plaquette U = U~n,~iU~n+~i,~jU~n+~i+~j,−~iU~n+~j,−~j , (2.3) is a loop orperator over one plaquette. The expectation values of physical observables are < O(U) >= 1 Z ∫ [DU ] exp{S(U)}O(U), (2.4) where Z is the vacuum-to-vacuum ampliude Z = ∫ [DU ] exp{S(U)}, (2.5) and DU is the multiple integration over U(N) group on each lattice with each direction: DU = ∏ ~n, ~k dU ~n,~k . (2.6) 4 2.1. Gross-Witten Model It also has the property: DU = D(UV ) = D(V U), (2.7) and ∫ dU~n,~i = ∫ dU~n,~j = 1. (2.8) The expectation value of the Wilson loop operator is WL(g2N) = 1 ZN ∫ [DU ] exp{S(U)}Tr [∏ L U ] , (2.9) where L is a closed loop on the lattice space. The calculation of Z and WL can be greatly simplified considering the gauge transformation: U ~n,~k → V~nU~n,~kV †~n+~k , ~k =~i or ~j. (2.10) For arbitrary unitary matrices V~n, the action S(U) is invariant under this transformation. By properly choosing V~n, we can make the paralell trans- portation alone transverse dirction trivial U ′ ~n,~i = I, (2.11) for all ~n. To give such gauge transformation explicitly, we need to find a class of unitary matrices {V~n} to satisfy U ′ ~n,~i = V~nU~n,~iV † ~n+~i = I, (2.12) for any lattice vector ~n. To do this we first choose an arbitrary unitary matrix V~0, and from Eqn. (2.12) we have U ′~0,~i = V~0U~0,~iV † ~i = I. (2.13) Then we get the required unitary matrix on the site of ~i: V~i = V~0U~0,~i . (2.14) 5 2.1. Gross-Witten Model Further, at the site ~i we have U ′~i,~i = ViU~i,~iV † 2~i = I, (2.15) and therefore V2~i = V~iU~i,~i . (2.16) Following this procedure, we can have Vm~i = V(m−1)~iU(m−1)~i,~i (2.17) = V~0 l=m−1∏ l=0 Ul~i,~i, (2.18) for arbitrary integer m. Along ~j direction, we can’t put new restriction at this moment, because it may possibly bring in contradition to Eqn.(2.12). Therefore we leave Vn~j , n ∈ Z to be arbitrary U(N) matrices. Based on {Vm~i,m ∈ Z} and {Vn~j , n ∈ Z}, we can construct the whole class of {V~n}. From Eqn. (2.12) we have Vn~jUn~j,~iV † n~j+~i = I, (2.19) so Vn~j+~i = Vn~jUn~j,~i. (2.20) Similarly, Vn~j+2~i = Vn~j+~iUn~j+~i,~i. (2.21) Continuing this procedure, we have Vn~j+m~i =Vn~j+(m−1)~iUn~j+(m−1)~i =Vn~j ( m−1∏ l=0 Un~j+l~i,~i ) . (2.22) Thererfore, We can determine V~n on each lattice site ~n leaving the arbitrari- ness of Vm~j , which is the remaining gauge freedom. 6 2.1. Gross-Witten Model Under this gauge the action is S(U) = 1 g2 ∑ ~n Tr(U~n,~jU † ~n+~i,~j + H.c.). (2.23) Originally, the action contains products of gauge fields U ~n,~k on four neighbor- ing lattice sites: ~n, ~n+~i, ~n+~i+~j and ~n+~j and of two different transporting directions: ~i and ~j. After the gauge transformation, it contains products of gauge fields only on two neighboring lattices: ~n and ~n + ~j and just one direction: ~j. However, since the ∫ [DU ] is integrating ove all lattice sites, we hope to completely disentangle the products of gauge fields on different lattice sites. This can be done by changing variables: U~n+~i,~j = W~nU~n,~j . (2.24) Then the action is Z = ∫ ∏ ~n [dW~n] exp [∑ n 1 g2 Tr(Wn +W † ~n) ] . (2.25) We notice that the gauge fields W~n in S(W ) are disentangled. So Z = zV/a 2 , where the V is the area of the two dimensional lattice, and a is the spacing. So V/a2 is the number of plaquttes encircled in the loop, and z = ∫ dW exp [ 1 g2 Tr(W +W †) ] , (2.26) which is the action on one plaquette and is independent of the lattice vector ~n. We further make gauge choice Un~j,~j = I. This can also be done explicitly. We kept the arbitrariness of {Vm~j , m ∈ Z} above, but now we need make further restriction to the set of {Vm~j , m ∈ Z} to realize the required gauge U ′ n~j,~j = I. (2.27) In general, we have U ′ ~n,~j = V~nU~n,~jV † ~n+~j . (2.28) 7 2.1. Gross-Witten Model Still starting from the origin, we have U ′~0,~j = V~0U0,~jV † ~j = I. (2.29) So V~j is no longer arbitrary and V~j = V~0U0,~j . (2.30) At the site ~j, we have U ′~j,~j = V~jU~j,~jV † 2~j = I, (2.31) and so V2~j = V~jU~j,~j = V~0U~0,~jU~j,~j . (2.32) Iterating this procedure, we have m ∈ Z Vm~j = V~0 ( m−1∏ l=0 Ul~j,~j ) , (2.33) and the required gauge is realized. Under this gauge, Wilson loop operator turns to be WL(g2, N) = 1 N < Tr R−1∏ k=0 UT~i+k~j,~j >= 1 N < Tr R−1∏ k=0 0∏ l=T−1 Wl~i+k~j >, (2.34) where a2T × R is the area inclosed by the loop L. As we have disentangle the integration of the action into to each lattice point, let’s first look into the integration on a specific lattice site, say ∫ dW~n. When we look into the gauge field on site ~n, the gauge fields on other sites W~m do not have any interference. We write R−1∏ k=0 0∏ l=T−1 Wl~i+k~j = AW~nB, (2.35) where A and B stand for the remaining products of the gauge fields on the sites other than ~n. For arbitrary unitary matrix V , Tr(W~n+W † ~n) is invariant 8 2.2. k-Antisymmetric Representation under the transformation W~n → VW~nV †. Also ∫ dW = ∫ d(VWV †) from Eqn.(2.7). We have 1 N ∫ dW~n exp [ 1 g2 Tr(W~n +W † ~n) ] Tr(AW~nB) = 1 N ∫ dW~n exp [ 1 g2 Tr(W~n +W † ~n) ] Tr(AVW~nV †B) (2.36) = 1 N ∫ dV ∫ dW~n exp [ 1 g2 Tr(W~n +W † ~n) ] Tr(AVW~nV †B), where we insert the integration ∫ dV over the U(N) group. We can inter- change the order of integral ∫ dV and ∫ dW~n. Further, we have the fact∫ dV VijV † kl = 1 N δilδjk. (2.37) Then ∫ dV Tr(AVWV †B) = ∫ dV AmiVijWjkV † klBlm (2.38) = 1 N AmlBlmWjj = 1 N Tr(AB)TrW. By iterating this procedure, we separate out each W~n, and have WL(g2, N) = (w(g2, N))RT , (2.39) where w(g2, N) = 1 z ∫ dW~n 1 N TrW~n exp [ 1 g2 Tr(W~n +W † ~n) ] . (2.40) Now, we reduce the Wilson loop operator of fundamental representaion into one plaquette as well as the action. 2.2 k-Antisymmetric Representation We are going to reduce the Wilson loop operator ot k-representation in a similar way. Let’s begin with 2-antisymmetrical representation first. The 9 2.2. k-Antisymmetric Representation fundamental gauge field is still W~n ∈ U(N), while the representation of the U(N) gauge group is: W (2) ijkl = 1 2! W [j i W l] k = 1 2! (W jiW l k −W liW jk ). (2.41) The 2-antisymmetric representation of U(N) group is N(N−1)2 dimensional. The Wilson loop operator of this representation is: W (2) L (g 2, N) = 1 N 〈 Tr R−1∏ k=0 0∏ l=T−1 W (2) l~i+k~j 〉 . (2.42) To make the equations look simple, we label the Ws by integers, as Wα. And now W (2)L = 1 N 〈 Tr ∏R×T α=1 W (2) α 〉 . W (2) is a map from Rn∧Rn to Rn∧Rn, which is a subspace of Rn⊗Rn. To be explicit: W (2)(~v, ~w) = (W~v,W ~w), (2.43) where (~v, ~w) ∈ Rn ∧ Rn. To write out the components: (vi, wj)→ (Wilvl,Wjkwk). (2.44) In the Wislon loop operator, we have the product of a series of W (2)s. We want to separate the trace of the product of the seroes into a product of traces of each one W (2) as we did above for the fundamental representation Let’s first consider a two successive maps: W (2) and Y (2) Y (2)W (2)(~v, ~w) = Y (2)(W~v,W ~w) = (YW~v, Y W ~w) = (YW )(2)(~v, ~w), (2.45) for any ~v, ~w ∈ Rn. Therefore, we have Y (2)W (2) = (YW )(2). (2.46) By induction, we have R×T∏ α=1 W (2)α = ( R×T∏ α=1 Wα )(2) . (2.47) 10 2.2. k-Antisymmetric Representation Since the gauge transformation W1 → VW1V †, V ∈ U(N) will not change the Wilson loop operator, we have: W (2) L (g 2, N) = 1 N 〈 Tr(VW1V †B)(2) 〉 (2.48) where B stands for the product of the other Wαs. To calculate the trace, let insert the integration ∫ dV as before,〈 Tr(VW1V †B)(2) 〉 = ∫ dV 〈 Tr [ V (2)W (2) 1 (V †)(2)B(2) ]〉 , (2.49) where we have also used Eqn.(2.47). We can put the integarl of U(N) group∫ dV into the expectation < ... >. Eqn. (2.37) is based on Peter-Weyl theorem, which also applies to U(N) group, and we have∫ dV V Rij (V R′)†kl = 1 dimR δRR′δilδjk, (2.50) where R stands for certain representation of the group and V (R)ij is a matix element of R-representation. Therefore,∫ dV Tr [ V (2)W (2) 1 (V †)(2)B(2) ] = 1 dim(Rn ∧ Rn)TrW (2) 1 TrB (2) (2.51) Then we have:〈 Tr [ W (2) 1 B (2) ]〉 = 〈 1 N(N − 1)/2TrW (2) 1 TrB (2) 〉 . (2.52) By repeating this procedure, we can separate the trace of the product of W (2)s into product of traces:〈 Tr RT∏ α=1 W (2)α 〉 = 〈 RT∏ α=1 TrW (2)α 〉 . ( 1 N(N − 1)/2 )RT (2.53) Therefore W (2) L (g 2, N) = [ w (2) L (g 2, N) ]RT (2.54) where w (2) L (g 2, N) = 1 z ∫ dW 1 N(N − 1)/2TrW (2) exp [ 1 g2 Tr(W +W †) ] . (2.55) 11 2.2. k-Antisymmetric Representation Next we want to derive that for k-antisymmetric representation the ex- pectation value of the Wilson loop operator can be reduced into a single plaquette as well. The k-antisymmetric representaion has its components: W [j1j2...jk] i1i2...ik = W [j1i1 W j2 i2 ...W jk] ik , (2.56) where W ∈ U(N). First, it’s easy to verify the formular: 1 k! Y [i1i2...ik]r1r2...rk 1 k! W [j1j2...jk] i1i2...ik = 1 k! (YW )[j1j2...jk]r1r2...rk . (2.57) The formular above means Y (k)W (k) = (YW )(k). (2.58) By induction, we have ∏ α W (k)α = (∏ α Wα )(k) . (2.59) So, W (k) L (g 2, N) = 〈 Tr RT∏ α=1 W (k)α 〉 = 〈 Tr ( RT∏ α=1 Wα )(k)〉 = 〈 Tr(W1B)(k) 〉 , (2.60) where B is the product of the other Wαs. As before, from the invariant gauge transformation W1 → VW1V † we have〈 Tr(W1B)(k) 〉 = 〈 Tr(VW1V †B)(k) 〉 = 〈 Tr ( V (k)W (k) 1 (V †)(k)B(k) )〉 . (2.61) We use the similar trick: inserting the integration ∫ dV over the U(N) group, 12 2.2. k-Antisymmetric Representation ∫ dV Tr ( V (k)W (k) 1 (V †)(k)B(k) ) = 1 dim(Rn ∧ Rn ∧ ... ∧ Rn)TrW (k) 1 TrB (k), (2.62) where we also have dim(Rn ∧ Rn ∧ ... ∧ Rn︸ ︷︷ ︸ k times ) = N ! k!(N − k)! . (2.63) Continue this procedure, we have W (k) L (g 2, N) = [ w (k) L (g 2, N) ]RT , (2.64) where w (k) L (g 2, N) = 1 z ∫ dW 1 N !/k!/(N − k)!TrW (k) exp { 1 g2 Tr(W +W †) } . (2.65) Therefore, for any k ∈ Z, the Wilson loop operator of k-antisymmetric rep- resentation is reduced in the same way as in the fundamental representation. 13 Chapter 3 The Distribution of The Eigenvalues of The U(N) Gauge Group In this chapter we present the distribution of eigenvalues of U(N) gauge field derived by Gross and Witten[1], and the results following the distri- bution function. We will also present the Gross-Witten phase transition in fundamental representaion. Following from the arguement in the last chapter, to determine the free energy of the k-antisymmetric representation ΓAk(g 2, N) = − 1 N lnW (k)L (g 2, N), (3.1) we only need to consider the action and the Wilson loop operator of the gauge field on one plaquette. The integration ∫ dW is over the U(N) group. Since the integrands only depend on the eigenvalues of U(N), we can reduce∫ W into the integral over the eigenvalues of the U(N) group, and diagnolize W by gauge tranformation: VWV † = diag{eiφ1 , eiφ2 , ..., eiφN }, V ∈ U(N). As U(N) is a compact group, its Haar measure can be reduced to a measure on a subspace of Rn multiplied by a modular function. We have[8],∫ dW = ∫ 2pi 0 N∏ i=1 dφi∆2(φi), (3.2) 14 Chapter 3. The Distribution of The Eigenvalues of The U(N) Gauge Group where ∆(φ) = ∏ i<j (eiφj − eiφi) (3.3) is the Vandermonde deterninant. Then we have the action z(g2, N) = c ∫ 2pi 0 N∏ i=1 dφi ∏ i<j sin2 ∣∣∣∣φi − φj2 ∣∣∣∣ exp [ 2 g2 N∑ i=1 cos(φi) ] , (3.4) where the constant c is to normalize such that z(∞, N) = 1. We are going to use the steepest-descent method to evaluate the action, so we write the integrand in the form of ef(φ): z(g2, N) = c ∫ 2pi 0 N∏ i=1 dφiexp 2g2 N∑ i=1 cos(φi) + ∑ i 6=j ln ∣∣∣∣sinφi − φj2 ∣∣∣∣ . (3.5) We use the steepest-descent method, and the approximated energy is E(λ) = lim N→∞ ln z(g2, N) N2 = lim N→∞ 1 N2 2g2 N∑ i=1 cos(φi) + ∑ i 6=j ln ∣∣∣∣sinφi − φj2 ∣∣∣∣ + const. (3.6) The eigrnvalues φi can be approximately determined by the stationarity condition: ∂φi 2g2 N∑ i=1 cos(φi) + ∑ i 6=j ln ∣∣∣∣sinφi − φj2 ∣∣∣∣ = 0 , (3.7) which is simplified as 2 λ sinφi = 1 N ∑ i 6=j cot ∣∣∣∣φi − φj2 ∣∣∣∣ , (3.8) where λ = g2N . As N goes to infinity, we treat φi as a value assumed by a continuous function φ at iN : φi = φ(i/N). (3.9) 15 Chapter 3. The Distribution of The Eigenvalues of The U(N) Gauge Group Then the stationary condition becomes: 2 λ sinφ(x) = P ∫ 1 0 dycot φ(x)− φ(y) 2 , (3.10) where P denotes the principal value of the integration. To find the function φ(x), we need to determine the density of eignevalues ρ(φ) = dxdφ , which satisfies ∫ φc −φc ρ(φ)dφ = ∫ 1 0 dx = 1 . By solving the equation above, Gross and Witten gave the result in their paper[1]: ρ(φ) = 2 piλ cos φ 2 ( λ 2 − sin2 φ2 )1/2, λ ≤ 2 φc = 2 sin−1(λ2 )1/2 1 2pi ( 1 + 2λ cosφ ) , λ ≥ 2 φc = pi. (3.11) In the first case, the density function is gapped, which means it doesn’t cover the whole interval of [0, 2pi]. In the second case, the density function is ungapped, and all the values between 0 and 2pi can be assumed by φ(x). As the density function has been sovled, the energy can be calculated by replacing the summation ∑N i=1 by the integral ∫ dφρ(φ). We have −E(λ) = 1 λ2 , λ ≥ 2 2 λ + 1 2 ln λ 2 − 34 , λ ≤ 2. (3.12) The expectation value of the Wilson loop operator is wL(λ) = − λ 2 2N2 ∂ ln z ∂λ = lim N→∞ wL(g2, N) = 1 λ , λ ≥ 2 1− λ4 , λ ≤ 2, (3.13) and the string tesion σ(λ) = − 1 a2 lnwL = lim N→∞ σ(g2, N) = 1 a2 lnλ, λ ≥ 2 1 a2 ln 44−λ , λ ≤ 2. (3.14) 16 Chapter 3. The Distribution of The Eigenvalues of The U(N) Gauge Group Gross-Witten phase transition happens at λ = 2. By checking the deriva- tives of the energy Eqn.(3.12), we can see that this phase transition is of third order. 17 Chapter 4 The k-Antisymmetric Representation As we have reduced the Wilson loop operator of k-antisymmetric represen- tation into one plaquette and have had the distribution function ρ(φ) of the U(N) eigenvalues, we are ready to derive the free energy of k-antisymmetric representation. In this chapter we first present the generating function of Wilson loop operator of k-antisymmetric representation. Then we are going to use the saddle point method to approximate the free energy. From the saddle point equations, we pluge in the distribution function for the weak coupling sys- tem. After laborious derivations, we get the paramter kN as a function of t and the approximated free energy as a function of t. Further work has been done to combine them and we have the approximated free energy as a func- tion of kN . The calculation for the strong coupling is more straightforward. 4.1 The Generating Function For the gauge field W ∈ U(N) we can diagnolize it by gauge transformation. Therefore, without loss gnerality, we can let the gauge field be W = diag{eiφ1 , eiφ2 ...eiφN }. (4.1) 18 4.1. The Generating Function The k-antisymmetric representation of the U(N) group has its components: W [ j1 i1 W j2i2 ...W jk ] ik , (4.2) and we have the trace of W (k) as TrAkW = 1 k! W [ i1 i1 W i2i2 ...W ik ] ik = ∑ i1<i2<...<iN eiφ1eiφ2 ...eiφN , (4.3) Now, we are going to introduce the generating function. First we have the expansion ln(1 + tW ) = ∞∑ n=1 (−1)n+1 n (tW )n, (4.4) and we have Tr ln(1 + tW ) = N∑ i=1 ∞∑ n=1 (−1)n+1 n (teiφi)n = N∑ i=1 ln(1 + teiφi). (4.5) The generating function is∮ dt eTr ln(1+tW ) 2piitk+1 = ∮ dt ∏N i=1(1 + te iφi) 2piitk+1 = ∑ i1<i2<...<ik eiφ1eiφ2 ...eiφk . (4.6) Then we have the trace evaluated by the generating function TrAkW = ∮ dt eTr ln(1+tW ) 2piitk+1 = ∮ dt e PN i=1 ln(1+te iφi ) 2piitk+1 , (4.7) 19 4.2. Saddle Point Approximation and the expectation value of the Wilson loop operator is 〈TrAkW 〉 = ∮ dt 2piitk+1 ∫ N∏ i=1 dφi exp 2Nλ N∑ i=1 cosφi + ∑ i<j ln cot2 φi − φj 2 + N∑ i=1 ln(1 + teiφi) . (4.8) 4.2 Saddle Point Approximation We use the saddle point approximation to evaluate the multiple integration. To do this, we need to put all the integral variables to the exponent, such as tk+1 = e(k+1) ln t. Then the saddle point conditions are: ∂φi { 2N λ N∑ i=1 cosφi + ∑ i<j ln cot2 φi − φj 2 + N∑ i=1 ln(1 + teiφi)− (k + 1) ln t } = 0, (4.9) and ∂t { 2N λ N∑ i=1 cosφi + ∑ i<j ln cot2 φi − φj 2 + N∑ i=1 ln(1 + teiφi)− (k + 1) ln t } = 0, (4.10) From the saddle point conditions we have: −2N λ sin(φi) + N∑ j 6=i cot φi − φj 2 + iteiφi 1 + teiφi = 0, (4.11) N∑ i=1 eiφi 1 + teiφi = k + 1 t . (4.12) 20 4.2. Saddle Point Approximation The two equations serve to determine the distribution function of the U(N) eigenvalues for the k-representation and the saddle point t in the complex plane. Since the last term in the first equation is supressed by 1N , it will not influence the distribution function much. So we can take the distribution function ρ(φ) the same as the one given for the fundamental representation. As N goes to infinity, we can take the continuous limit and replace ∑N i=1 by N ∫ pi −pi dφρ(φ), then the second saddle point equation (4.12) becomes: RAk(t) = ∫ pi −pi dφρ(φ) teiφ 1 + teiφ , (4.13) where RAk = k+1 N . And we have 〈TrAkW 〉 = 〈∮ dt e PN i=1 ln(1+te iφi ) 2piitk+1 〉 ≈ ∮ dt 2pii eN R pi −pi dφρ(φ) ln(1+te iφ)−(k+1) ln t ≈ exp { N ∫ pi −pi dφρ(φ) ln(1 + teiφ)− (k + 1) ln t̂ } , (4.14) where ρ(φ) and t̂ satisfy the saddle point equations (4.11) and (4.12). Since e−NΓAk =< TrAkW >, we have the un-normalized free energy: ΓAk = − ∫ dφρ ln(1 + teiφ) + k + 1 N ln(t). (4.15) We are going to combine Eqn.(4.13) and Eqn.(4.15) to determine the free energy ΓAk as a function of k N . To do this, we need to finish the integration in saddle point equations for specific density function ρ(φ). We’ll work on this in the following. 21 4.3. The Weak Coupling 4.3 The Weak Coupling Since the density function is symmetric about the origin: ρ(φ) = ρ(−φ) (4.16) and t = e2θ, from Eqn.(4.13) we have RAk(t)− 1 2 = ∫ pi −pi dφρ(φ) 1 2 [( e2θeiφ 1 + e2θeiφ − 1 2 ) + c.c. ] . (4.17) The integrand is 1 2 [( e2θeiφ 1 + e2θeiφ − 1 2 ) + c.c. ] = 1 2 ( e4θ − 1 1 + e4θ + 2e2θ cos(φ) ) . (4.18) Let x = sin(φ2 ), and we have: 1 2 [( e2θeiφ 1 + e2θeiφ − 1 2 ) + c.c. ] = 1 2 ( e4θ − 1 1 + e4θ + 2e2θ − 4e2θx2 ) = sinh 2θ 4 cosh2 θ [ 1 1− x2 cosh2 θ ] . (4.19) From the expasion: 1 1− x2 cosh2 θ = ∞∑ m=0 ( x2 cosh2 θ )m , (4.20) we have RAk − 1 2 = ∫ pi −pi dφρ(φ) sinh 2θ 4 cosh2 θ ∞∑ m=0 ( x2 cosh2 θ )m . (4.21) In the weak coupling system, we have the distribution function ρ(φ) = cos φ2 pi(2− 2p) √ 2− 2p− sin2 φ 2 , −φc ≤ φ ≤ φc (4.22) where φc = 2 arcsin √ λ 2 and p = wL, which is the Wislon loop operator under the fundamental representation. Weaking coupling means λ ≤ 2, and 22 4.3. The Weak Coupling from Eqn.(3.13) we know wL = 1− λ4 . So we have 2−2p = λ2 . Let A = 2−2p and change variable: sin φ2 = x, we have∫ pi −pi dφρ(φ) = ∫ √A −√A dx 2 √ A− x2 Api . (4.23) We need to do the integral:∫ √A −√A dx 2 √ A− x2 Api x2m = AmΓ(m− 12)√ piΓ(m+ 2) = Am (m− 12)× · · · × 12 (m+ 1)! . (4.24) From Eqn.(4.21) we have RAk(t)− 1 2 = sinh 2θ 4 cosh2 θ ∞∑ m=0 ( A cosh2 θ )m (m− 12)× · · · × 12 (m+ 1)! . (4.25) Further let y = − A cosh2 θ we have: RAk(t)− 1 2 = sinh 2θ 4 cosh2 θ 2 y ( √ 1 + y − 1), (4.26) which is RAk(t)− 1 2 = sinh θ A ( cosh θ − √ cosh2 θ −A ) . (4.27) Next we are going to derive the free energy for weak coupling system. Similarly, because the distribution function ρ(φ) is even, we have ln(1 + teiφ) = 1 2 ln(1 + teiφ) + c.c., (4.28) where t = e2θ. Then 1 2 ln(1 + teiφ) + c.c. = 1 2 ln(1 + e4θ + 2e2θ cosφ). (4.29) Let x = sin φ2 , we have 1 2 ln(1 + teiφ) + c.c. = ln(1 + e2θ) + 1 2 ln ( 1− x 2 cosh2 θ ) . (4.30) Only the second term depends on x, and we have the expansion: ln ( 1− x 2 cosh2 θ ) = − ∞∑ n=1 1 n x2n cosh2n θ . (4.31) 23 4.3. The Weak Coupling Then we need to do a similar integration as above, and from Eqn.(4.24) we have: ∫ √A −√A dx 2 √ A− x2 Api ln ( 1− x 2 cosh2 θ ) = − ∞∑ n=1 1 n An cosh2n θ (n− 12)× · · · × 12 (n+ 1)! . (4.32) Further let y = A cosh2 θ , and I(y) = − ∞∑ n=1 yn n (n− 12)× · · · × 12 (n+ 1)! , (4.33) then we have ΓAk = − ln(1 + e2θ)− 1 2 I(y) + k N ln(e2θ). (4.34) Now we need to simplify I(y). The first derivation of I(y) is: I ′(y) = − ∞∑ n=1 yn−1 (n− 12)× · · · × 12 (n+ 1)! . (4.35) By adding and multiplying, we get a power series of y which sums up to a simple function, (−y)I ′(y) + 1 = ∞∑ n=0 yn (n− 12)× · · · × 12 (n+ 1)! =− 2 y ( √ 1− y − 1). (4.36) So I ′(y) = 2 √ 1− y y2 − 2 y2 + 1 y . (4.37) Integrating the equation above over y, we have I(y) = −2 √ 1− y y + 2 ln( √ 1− y + 1) + 2 y + C, (4.38) 24 4.4. The Strong Coupling where C is a constant. From (4.33) we know that lim y→0 I(y) = 0, (4.39) and lim y→0 { −2 √ 1− y y + 2 ln( √ 1− y + 1) + 2 y + C } = 1 + 2 ln 2, (4.40) then we have C = −1− 2 ln 2. From(4.34) we have ΓAk = (2θ sinh θ − cosh θ) ( cosh θ − √ cosh2 θ −A A ) − ln ( cosh θ + √ cosh2 θ −A ) + 1 2 . (4.41) 4.4 The Strong Coupling In the strong coupling, the density function of the U(N) eigenvalues is: ρ(φ) = 1 2pi (1 + 2p cos(φ)), (4.42) where now λ ≥ 2 and p = wL = 1λ . The expectation value of Wilson loop operator is e−NΓAk = ∮ dt 2pii eN R pi −pi dφρ(φ) ln(1+te iφ) tk+1 . (4.43) Consider the integral: ∫ pi −pi dφρ(φ) ln(1 + teiφ), (4.44) when ||t|| < 1, we can expand the logarithm term ln(1 + teiφ) = − ∞∑ n=1 (−1)n(teiφ)n n . (4.45) Only the first term in the summation contributes to the integral and gives∫ pi −pi dφ 1 2pi (1 + 2p cos(φ))(teiφ) = pt. (4.46) 25 4.4. The Strong Coupling Therefore, e−NΓAk = ∮ dt 2pii eNpt tk+1 , ||t|| < 1. (4.47) Expand eNpt = ∑∞ n=0 (Npt)n n! , and only the term (Npt)k k! contributes to the contour integration. We have e−NΓAk = ∮ dt 2pii (Npt)k k!tk+1 = (Np)k k! . (4.48) Then the un-normalized free energy is ΓAk = − 1 N (k ln(Np)− ln(k!)) . (4.49) When k is also large, we can further use Stirling’s formula: ln(k!) = k ln k − k + o(k). (4.50) Then, up to the leading order, we have ΓAk = k N ln( k Npe ). (4.51) When ||t|| > 1, we have ln(1 + teiφ) = ln(teiφ) + ln(1 + 1 t e−iφ), (4.52) and expand ln(1 + 1t e −iφ) in the same way as above. We have∫ pi −pi dφρ(φ) ln(1 + teiφ) = ln(t) + p t , ||t|| > 1 (4.53) and e−NΓAk = ∮ dt 2pii tN tk+1 e Np t = (Np)N−k (N − k)! , ||t|| > 1. (4.54) This branch of the un-normalized free energy is ΓAk = − 1 N [(N − k) ln(Np)− ln((N − k)!)] . (4.55) Use Stirling’s formula again, we have ΓAk = (1− k N ) ln ( 1− kN pe ) . (4.56) When p > 12 , it is weak coupling (λ < 2) . When p < 1 2 the system is strong coupling (λ > 2). We will verify that the two free energies for strong and weak coupling systems match each other at p = 12 , i.e.A = 1(λ = 2). 26 4.5. Comparison at The Boundry 4.5 Comparison at The Boundry Starting from weak coupling system when A = 1, from Eqn.(4.27)we have k N = sinh θ ( cosh θ − √ cosh2 θ − 1 ) + 1 2 . (4.57) Consider θ as a complex variable, so kN is a two-valued function of θ: k N = sinh θ(cosh θ − sinh θ) + 12 , √ sinh2 θ = sinh θ sinh θ(cosh θ + sinh θ) + 12 . √ sinh2 θ = − sinh θ (4.58) With t = e2θ, we have k N = 1− 12t , √ sinh2 θ = sinh θ t 2 . √ sinh2 θ = − sinh θ (4.59) Then let’s check the free energy. When A = 1, from Eqn.(4.41) we have: Γ = (2θ sinh θ − cosh θ) ( cosh θ − √ sinh2 θ ) − ln ( cosh θ + √ sinh2 θ ) + 1 2 . (4.60) We also have two choices of the sign of √ sinh2 θ: Γ = −θe−2θ − 12e−2θ, √ sinh2 θ = sinh θ Γ = θe2θ − 12e2θ. √ sinh2 θ = − sinh θ. (4.61) Pluge in (4.59), we have Γ = ( 1− kN ) ln ( 2(1− k N ) e ) , √ sinh2 θ = sinh θ Γ = kN ln ( 2k eN ) . √ sinh2 θ = − sinh θ (4.62) They are the same as the two branches of free energy that we get in the strong coupling system at p = 12 . 27 Chapter 5 Phase Transition 5.1 The Free Energy of The Weak Coupling System In the weak coupling system, we already have the free energy Eqn.(4.41) associated with Eqn.(4.27): R(θ) = k N = sinh θ A ( cosh θ − √ cosh2 θ −A ) + 1 2 . (5.1) To solve the free energy as a function of R = kN , we must combine the two equations. From the second equation, we could find the inverse function: θ(R) and then pluge it into the first one Γ(θ). Let u = eθ we have:√ (u+ 1u) 2 4 −A = u+ 1 u 2 − 2A( k 2N ) u− 1u (5.2) Squaring both sides, it turns[ 4A− 8A ( k N − 1 2 )] u4 + [ 16A2 ( k N − 1 2 )2 − 8A ] u2 + 8A k N = 0. (5.3) Solve the quadratic equation of u2, we have u2±(R) = 1 2(1−R) ( 1− 2A ( R− 1 2 ))2 ± √√√√(1− 2A(R− 1 2 )2)2 − 4 (1−R)R. (5.4) 28 5.1. The Free Energy of The Weak Coupling System Then we have θ±(R) = 1 2 lnu±(R). (5.5) We regard θ as a complex variable, then the free energy Γ(θ) is a two-valued complex function due to √ cosh2 θ −A. So we have two choices of the free energy: Γ±(θ) = 1 A (2θ sinh θ − cosh θ) ( cosh θ ∓ √ cosh2 θ −A ) − ln ( cosh θ ± √ cosh2 θ −A ) + 1 2 . (5.6) Now we have four branches of free energy as a function ofR = kN : Γ+(θ+(R)), Γ+(θ−(R)), Γ−(θ+(R)) and Γ−(θ−(R)), see Fig.(5.1) and Fig.(5.2). At k N = 1 2 , we have u 2±( 1 2) = 1, and θ± = 0. So we have Γ+(θ+(R = 1 2 )) = Γ+(θ−(R = 1 2 )), (5.7) and Γ−(θ+(R = 1 2 )) = Γ−(θ−(R = 1 2 )). (5.8) We are going to take the bottom curves as free energy. We have two bottome curves as the moment: one is patched by Γ+(θ±(R)), and the other one is patched by Γ−(θ±(R)), Γ+(R) = Γ+(θ−(R)), R ≤ 12 Γ+(θ+(R)), R ≥ 12 , (5.9) and Γ−(R) = Γ−(θ+(R)), R ≤ 12 Γ−(θ−(R)), R ≥ 12 , (5.10) see Fig.(5.3) and Fig.(5.4). By checking derivatives, we found that none of these four functions Γ±(θ±(R)) are smooth. see Fig.(5.5), Fig.(5.6), 29 5.1. The Free Energy of The Weak Coupling System Figure 5.1: A=0.8 (p=0.6), Γ+(θ+(R)): Green; Γ+(θ−(R)): Red; Γ−(θ+(R)): Blue; Γ−(θ−(R)): Black. Fig.(5.7) and Fig.(5.8). However the patched are Γ+(R) and Γ−(R) are smooth curves, see Fig.(5.9) and Fig.(5.10). Now we need to decide which one of the two is the solution from sad- dle point approximation. However, the issue cannot be simplily solved by choosing the smaller one. We need to look into the problem and know how each solution actually comes out. First, we note that the free energy ΓAk are multi-valued complex function on t-plane. This is due to the logarithm and the square root terms. The logarithm term contributes a constant to the free energy. Up to a constant, the free energy is 2-valued function, and there are two branch points determined from cosh2 θ = A t± = 2A− 1± 2 √ A(1−A)i. (5.11) When A < 1, the two branch points are complex numbers and conjugate to each other. To make the free energy single valued, we need draw a branch cut connecting t±. Dr. Karczmarek pointed out that the value of free energy depends on the way we draw the branch cut. The reason is as followed. Let’s first look into some basic facts about the contour choosing and the saddle 30 5.1. The Free Energy of The Weak Coupling System Figure 5.2: A=1 (p=0.3), Γ+(θ+(R)): Green; Γ+(θ−(R)): Red; Γ−(θ+(R)): Blue; Γ−(θ−(R)): Black. point. First, the integrating contour must encircle the origin based on the generating function method. Secondly, the saddle point should be on the contour of course, and moreover be the summit on the chosen contour. Also, numerical simulation indictes that the saddle point locates on R+ axis and the origin is a highest point of the integrand. Based on the 3 facts, we can continue to discuss the possible ways to draw the branch cut and how to choose contours on the t-plane. To connect the branch points t±, which are conjugate to each other, the branch cut necessarily crosses the R axis. (The branch cuts could also connect the branch points to infinity, but it crosses the real axis at infinity as well.) Let x0 ∈ R+ be the saddle point and t0 be the crossing point of real axis and the branch cut. There are two cases to be considered. One is that t0 ∈ [0, x0]. In this case, t0 separates the origin and the saddle point on R asix. The contour must encirle the branch cut, otherwise it is not qualified to be used in saddle point method. The other case is t0 /∈ [0, x0] and t0 is far away from the origin such that we could choose a valid contour without encircling the branch cut. Dr Karczmarek shows that the first kind of branch 31 5.2. The Free Energy of The Strong Coupling System Figure 5.3: A=0.8 (p=0.6), Γ+(R): Red; Γ−(R):Green cut gives the free energy Γ−(R), and the second gives Γ+(R). Despite the fact that Γ−(R) is lower than Γ+(R) as showed in Fig.(5.3) and Fig.(5.4), we take Γ+(R) as the valid saddle point solution, because the corresponding contour can shrink to the origin without intersecting the branch cut. When 0 < A < 1, Γ+(R) is a smooth curve, see Fig.(5.9). 5.2 The Free Energy of The Strong Coupling System In the strong coupling system, we are still facing the problem to choose the right free energy among the two branches, see Fig.(5.11) and Fig.(5.12) Γ1(R) = R ln( R pe ), (5.12) and Γ2(R) = (1−R) ln(1−R pe ), (5.13) where R = kN . 32 5.3. The Phase Transition Figure 5.4: A=1 (p=0.5), Γ+(R): Red; Γ−(R):Green The numerical result indicates the free energy for strong coupling system to be Γs.c.(R) = R ln( Rpe) 0 ≤ R ≤ 12 (1−R) ln(1−Rpe ). 12 ≤ R ≤ 1 (5.14) Γs.c.(R) is the bottom curve only when 0 < p < 1e , see Fig.(5.11). How- ever, when 1e < p < 1 2 , Γs.c.(R) is not the minimum one in the whole range of R ∈ [0, 1]. The bottom curve is patched by 4 parts, as showed in Fig.(5.13). But the numerical simulation favors Γs.c.(R) in the whole range. The reason is unknown yet. This indicates that the continuous limit∑N i=1 φi → N ∫ dφρ(φ) brings in some unknown outgrowth. 5.3 The Phase Transition Γs.c.(R) has a phase transition at R = 12 , which is obvious from Fig.(5.11), Fig.(5.12) and Fig.(5.13) but not so obvious from Fig.(5.14). The order of the Phase transition can be determined by checking the derivatives of Γ1 33 5.3. The Phase Transition Figure 5.5: A=0.8 (p=0.6), ddRΓ+(θ+(R)) and Γ2 at R = 12 , which are the left and right derivatives of Γs.c. at R = 1 2 . d dR ∣∣∣∣ R=1/2 Γ1(R) = ln R p ∣∣∣∣ R= 1 2 = ln 1 2p , (5.15) d dR ∣∣∣∣ R=1/2 Γ2(R) = − ln 1−R p ∣∣∣∣ R= 1 2 = − ln 1 2p . (5.16) Their derivatives at R = 12 are distinct in general, but both equal zero when p = 12 . So for the case of p = 1 2 , we need to consider higher order derivatives. d2 dR2 ∣∣∣∣ R= 1 2 Γ1(R) = 1 R ∣∣∣∣ R= 1 2 = 2, (5.17) d2 dR2 ∣∣∣∣ R= 1 2 Γ2(R) = 1 1−R ∣∣∣∣ R= 1 2 = 2. (5.18) The second derivatives match each other at R = 12 . Then we need to further consider the third derivatives: d3 dR3 ∣∣∣∣ R= 1 2 Γ1(R) = − 1 R2 ∣∣∣∣ R= 1 2 = −4 (5.19) 34 5.4. Gross-Witten Phase Transition for k-Representation Figure 5.6: A=0.8 (p=0.6), ddRΓ+(θ−(R)) d3 dR3 ∣∣∣∣ R= 1 2 Γ2(R) = 1 (1−R)2 ∣∣∣∣ R= 1 2 = 4 (5.20) We see that the third left and right derivatives of Γs.c. at R = 12 are not equal, and conclude that it’s a third order phase transition at p = 12 . Therefore, when p < 12 , the phase transition is 1st order, when p = 1 2 , it is 3rd order. When p > 12 , the system is weak coupling, and the free energy is a smooth function of kN . 5.4 Gross-Witten Phase Transition for k-Representation We have discussed the phase transition that happens when kN changes. The coupling constant is also a parameter of the free energy. In the fundamental representation, Gross-Witten phase transition happens when the coupling constant changes from weak to strong. In the k-antisymmetric representa- tion we have already check that the free energy is continuous at the bound- ary between weak and strong coupling in Section 4.5. We are going to check 35 5.4. Gross-Witten Phase Transition for k-Representation Figure 5.7: A=0.8 (p=0.6), ddRΓ−(θ+(R)) the derivatives of the free energy from both sides to see if there is a phase transition. The free energy is also a function of the coupling constant λ. From Eqn.(5.4) and Eqn.(5.5) we know that u±(R,A) and θ±(R,A) are functions of R and A. Since A = 2− 2p and p = wL(λ) = 1 λ , λ ≥ 2 strong coupling 1− λ4 . λ ≤ 2 weak coupling (5.21) Therefore, A or p is related to the coupling constant λ. The free energy is function of both R and λ, Γ(R, λ). From Eqn.(5.9) the free energy in the weak coupling system λ ≤ 2) is Γw.c.(R, λ) = Γ+(θ−(R, λ), λ), R ≤ 12 Γ+(θ+(R, λ), λ), R ≥ 12 , (5.22) and from Eqn.(5.14) the free energy for the strong coupling system (λ ≥ 2) 36 5.4. Gross-Witten Phase Transition for k-Representation Figure 5.8: A=0.8 (p=0.6), ddRΓ−(θ−(R)) is Γs.c.(R, λ) = R ln ( λR e ) 0 ≤ R ≤ 12 (1−R) ln ( λ(1−R) e ) . 12 ≤ R ≤ 1 (5.23) Then we’ll compare the derivatives of Γw.c.(R, λ) and Γs.c.(R, λ). Let’s first consider the case at kN = 1 2 . From Eqn.(5.4) and Eqn.(5.5) we have θ± (R = 0.5) = 0, (5.24) and from Eqn.(5.6) we know Γw.c.(θ = 0, A) = − 1 A (1−√1−A)− ln(1 +√1−A) + 1 2 . (5.25) Since A = λ2 in the weak coupling system, we have Γw.c.(R = 0.5, λ) = − 2 λ ( 1− √ 1− λ 2 ) − ln ( 1 + √ 1− λ 2 ) + 1 2 . (5.26) Then we have ∂Γw.c. ∂λ (λ) = 2 λ2 ( 1− √ 1− λ 2 ) − 1 2λ , (5.27) 37 5.4. Gross-Witten Phase Transition for k-Representation Figure 5.9: A=0.8 (p=0.6), Γ′+(R) and ∂Γs.c. ∂λ (λ) = 1 2λ . (5.28) Then we find ∂Γw.c. ∂λ ∣∣∣∣ λ=2 = ∂Γs.c. ∂λ ∣∣∣∣ λ=2 = 1 4 . (5.29) So we need to consider the second derivatives: ∂2Γw.c. ∂λ2 (λ) = − 4 λ3 ( 1− √ 1− λ 2 ) + 1 2λ √ 1− λ2 + 1 2λ2 , (5.30) and ∂2Γs.c. ∂λ2 (λ) = − 1 2λ2 . (5.31) We see that lim λ→2 ∂2Γw.c. ∂λ2 (λ)→∞. (5.32) So we conclude that the phase transition is of second order at λ = 2 and k N = 1 2 . In the case k N ∈ (0, 0.5) ∪ (0.5, 1), ∂ 2Γw.c. ∂λ2 ∣∣∣ λ=2 does not diverge, but we still have ∂Γw.c. ∂λ ∣∣∣∣ λ=2 = ∂Γs.c. ∂λ ∣∣∣∣ λ=2 , (5.33) 38 5.4. Gross-Witten Phase Transition for k-Representation Figure 5.10: A=0.8 (p=0.6), Γ′−(R) and ∂2Γw.c. ∂λ2 ∣∣∣∣ λ=2 6= ∂ 2Γs.c. ∂λ2 ∣∣∣∣ λ=2 , (5.34) see Fig.(5.15). Therefore, the phase transition is of second order at λ = 2 , k N ∈ (0, 1). Now, we have the whole phase diagram Fig.5.16. 39 5.4. Gross-Witten Phase Transition for k-Representation Figure 5.11: p=0.1, Γ1(R): Red; Γ2(R):Green Figure 5.12: p=0.2, Γ1(R): Red; Γ2(R):Green 40 5.4. Gross-Witten Phase Transition for k-Representation Figure 5.13: p = 12.1 , Γ1(R): Red; Γ2(R):Green Figure 5.14: p=0.5, Γ1(R): Red; Γ2(R):Green 41 5.4. Gross-Witten Phase Transition for k-Representation Figure 5.15: ∂ 2Γw.c ∂λ2 ∣∣∣ λ=2 − ∂2Γs.c ∂λ2 ∣∣∣ λ=2 . 6 k N - λ 0.5 2 6 ? 3rd order - - - 2nd order 6 6 6 1st order - - - 2nd order Figure 5.16: Phase Diagram 42 Chapter 6 Remarks and Conclusions 6.1 Discussion About The Distribution Function We stated the the last term of Eqn.(4.11) te iφ 1+teiφ is supressed by 1N , but this is true only if t is not closed to ei(−φ+pi). However, this is not necessarily true from the saddle point equations Eqn.(4.11) and Eqn.(4.12). Let’s first assume that the distribution function is the same as in fundamental repre- sentation, then find the saddle point t̂. If there is no contradiction, i.e. t̂ is not close to ei(−φ+pi) for any φ ∈ [−φc, φc], we can say that our assumption is reasonable. Let’s start with the weak coupling system. The distribution function of fundamental representation is gapped, i.e. φc < pi. Based on the assumed distribution function, the numerical simulation tells us that the saddle point t̂ is positive and real. So the distance between t̂ and {ei(−φ+pi)|φ ∈ [−φc, φc]} is finite. Therefore, in the large N limit, t̂e iφ 1+t̂eiφ is finite and negligible. Next, let’s consider the case in the strong coupling system. The distri- bution function is ungapped, which means φc = pi. All the values on the unit circle in complex plane is assumed by the distribution function. From Eqn.(4.47) and Eqn.(4.54), we get the saddle point t̂ = k+1 Np , ||t̂|| < 1 p k+1 N −1 , ||t̂|| > 1 (6.1) 43 6.2. The k-String Tension where 0 ≤ p ≤ 12 . We can see that, when k + 1 = Np or k+1N − 1 = p the saddle point t̂ = 1 and t̂e iφ 1+t̂eiφ diverges at φ = pi. This suggests that near φ = pi the distribution function ρ(φ) is different from the one of the fundamental representation. The revision of the distribution function is left as an open question. 6.2 The k-String Tension As we have had the expectation value of the Wilson loop operator for k- antisymmetric representation of U(N), we can further calculate the k-string tension: σk = − 1 a2 lnw(k)L (g 2, N). (6.2) With the normalization factor, the expecation value of Wilson loop operator on one plaquette under k-representation is w (k) L = 1 N !/k!/(N − k)! < TrW (k) > . (6.3) And the k-string tension is σk = − 1 a2 ( − ln ( N ! k!(N − k)! ) + ln < TrW (k) > ) . (6.4) Let’s start with the strong coupling system first, because we have the exact solution under strong coulping and things are more straightforward. From (equation 4.* ) we have under strong coupling w (k) L = k!(N − k)! N ! (Np)k k! = (N − k)!(Np)k N ! . (6.5) Noting that when k = 1, w(1) = p, which matches (equation 3. *). When k is relatively small, say a finite integer, lim N→∞ (N − k)!Nk N ! = 1, (6.6) 44 6.2. The k-String Tension so w (k) L ≈ pk for finite k. (6.7) Then we have the ratio of k-string tension σk to the fundamental string tension σ: σk σ = lnw(k)L lnw(1)L ≈ k for finite k. (6.8) Both the sine-formular σk σ = sin(kpi/N) sin(pi/N) (6.9) and the Casimir scaling law σk σ = k(N − k) N − 1 (6.10) are satisfied when k is finite and N goes to infinity. We are more concerned about the case when k is comparable with N. From lnw(k)L = ln((N − k)!)− ln(N !) + k ln(Np), (6.11) ans using Stirling’s formular, we have lnw(k)L = (N − k) ln ( N − k N ) + k(1 + ln p). (6.12) Now the ration of k-string tension to the fundamental one is σk σ = k + (N − k) ln (N−kN )+ k ln p . (6.13) The ratio also depends on the coupling constant p. This is not similar as sine-formular nor the Casimir scaling law. Next consider the weak coupling system: σk = 1 a2 ( −NΓ(k/N, p) + ln ( k!(N − k)! N ! )) , 0.5 < p ≤ 1. (6.14) Using Stirling’s formular again, we have the k-string tension ration: σk σ = 1 − ln p ( −NΓ(k/N, p) +N ln N − k N − k ln N − k k ) . (6.15) 45 Bibliography [1] D. J. Gross and E. Witten, “Possible Third Order Phase Transition In The Large N Lattice Gauge Theory,” Phys. Rev. D 21, 446 (1980). [2] K. G. Wilson, “Quark Confinement,” [3] J. B. Kogut and L. Susskind, “Hamiltonian Formulation Of Wilson’s Lattice Gauge Theories,” Phys. Rev. D 11, 395 (1975). [4] E. Witten, “Current Algebra Theorems For The U(1) Goldstone Bo- son,” Nucl. Phys. B 156, 269 (1979). [5] A. V. Manohar, “Large N QCD,” arXiv:hep-ph/9802419. [6] Sidney Coleman, “1/N,” Presented at The 1979 International School of Subnuclear Physics: Pointlike Structures Inside and Outside Hadron [7] I. Bars and F. Green, “Complete Integration Of U (N) Lattice Gauge Theory In A Large N Limit,” Phys. Rev. D 20, 3311 (1979). [8] P. Di Francesco, P. H. Ginsparg and J. Zinn-Justin, “2-D Gravity and random matrices,” Phys. Rept. 254, 1 (1995) [arXiv:hep-th/9306153]. 46
- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Large N gauge theory and k-strings
Open Collections
UBC Theses and Dissertations
Featured Collection
UBC Theses and Dissertations
Large N gauge theory and k-strings Yang, Shuhang 2011
pdf
Notice for Google Chrome users:
If you are having trouble viewing or searching the PDF with Google Chrome, please download it here instead.
If you are having trouble viewing or searching the PDF with Google Chrome, please download it here instead.
Page Metadata
Item Metadata
Title | Large N gauge theory and k-strings |
Creator |
Yang, Shuhang |
Publisher | University of British Columbia |
Date Issued | 2011 |
Description | We considered the k-antisymmetric representation of U(N) gauge group on two dimensional lattice space and derived the free energy by saddle point approximation in large N limit. k is a large integer comparable with N. Besides Gross-Witten phase transition[1], which happens as the coupling constant changes, we found a new phase transition in the strong coupling system that happens as k changes. The free energy of the weak coupling system is a smooth function of k under continuous limit. We have carefully selected the right saddle point solution among other possible ones. The numerical results match our saddle point calculations. |
Genre |
Thesis/Dissertation |
Type |
Text |
Language | eng |
Date Available | 2011-04-14 |
Provider | Vancouver : University of British Columbia Library |
Rights | Attribution-NonCommercial-NoDerivatives 4.0 International |
DOI | 10.14288/1.0071700 |
URI | http://hdl.handle.net/2429/33648 |
Degree |
Master of Science - MSc |
Program |
Physics |
Affiliation |
Science, Faculty of Physics and Astronomy, Department of |
Degree Grantor | University of British Columbia |
GraduationDate | 2011-05 |
Campus |
UBCV |
Scholarly Level | Graduate |
Rights URI | http://creativecommons.org/licenses/by-nc-nd/4.0/ |
AggregatedSourceRepository | DSpace |
Download
- Media
- 24-ubc_2011_spring_yang_shuhang.pdf [ 314.78kB ]
- Metadata
- JSON: 24-1.0071700.json
- JSON-LD: 24-1.0071700-ld.json
- RDF/XML (Pretty): 24-1.0071700-rdf.xml
- RDF/JSON: 24-1.0071700-rdf.json
- Turtle: 24-1.0071700-turtle.txt
- N-Triples: 24-1.0071700-rdf-ntriples.txt
- Original Record: 24-1.0071700-source.json
- Full Text
- 24-1.0071700-fulltext.txt
- Citation
- 24-1.0071700.ris
Full Text
Cite
Citation Scheme:
Usage Statistics
Share
Embed
Customize your widget with the following options, then copy and paste the code below into the HTML
of your page to embed this item in your website.
<div id="ubcOpenCollectionsWidgetDisplay">
<script id="ubcOpenCollectionsWidget"
src="{[{embed.src}]}"
data-item="{[{embed.item}]}"
data-collection="{[{embed.collection}]}"
data-metadata="{[{embed.showMetadata}]}"
data-width="{[{embed.width}]}"
data-media="{[{embed.selectedMedia}]}"
async >
</script>
</div>
Our image viewer uses the IIIF 2.0 standard.
To load this item in other compatible viewers, use this url:
https://iiif.library.ubc.ca/presentation/dsp.24.1-0071700/manifest