Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Diss / 6 - 753p.pdf
Скачиваний:
70
Добавлен:
27.03.2016
Размер:
15.34 Mб
Скачать

34

Giuseppe Benfatto

(that is the Luttinger model with ultraviolet cutoff and local interaction, which is equivalent to the Thirring model with fixed ultraviolet cutoff).

(2)The beta function for this special model (which is not solvable) is asymptotically vanishing, so that the effective coupling on large scales is essentially constant and of the same order of the coupling on small scales.

Up to now there are two different ways to prove property (2). The first one was developed in the last years and is based in an essential way on the exact Mattis-Lieb solution of the Luttinger model [1, 2]. More recently, we found a new proof, based on the Ward identities obtained by a chiral local gauge transformation, applied to the Tomonaga model with infrared cutoff [3, 4]. This is an old approach in the physical literature, but its implementation in an RG scheme is not trivial at all, because the ultraviolet and infrared cutoffs destroy local gauge invariance and produce not negligible correction terms with respect to the formal Ward identities.

The solution of the problem is in the use of a new set of identities, called “Correction Identities”, relating the corrections to the Schwinger functions and showing the phenomenon of chiral anomaly. By combining Ward and Correction identities with a Dyson equation, the vanishing of the Beta function follows, so that the infrared cutoff can be removed.

As a byproduct, even the ultraviolet cutoff can be removed, after a suitable ultraviolet renormalization, so that a Euclidean Quantum Field Theory corresponding to the Thirring model at imaginary time is constructed, for any value of the mass [5].

2 The Tomonaga Model with Infrared Cutoff

The model is not Hamiltonian and can be defined in terms of Grassmannian variables. It describes a system of two kinds of fermions with linear dispersion rela-

tion interacting with a

local potential. Let

D

be the set of space-time momenta

 

2π

1

 

 

2π

 

1

 

 

 

 

k = (k, k0), with k =

 

 

(n

+ 2 ) and k0

=

 

 

(n0 +

2 ). With each k

D we

 

L

 

β

associate four Grassmannian variables ψkσ, σ, ω {+, −}. The free model is de-

scribed by the measure

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P (dψ ) D ψ exp

 

Z0

 

 

(k)( ik

 

ωk)ψ

+

ψ

(1)

 

 

C

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= N

 

 

 

ω

1

h,0

 

 

0 +

 

kk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k D

where N is a normalization constant, D ψ is the Lebesgue Grassmannian measure, Z0 is a fixed constant, that we shall put equal to 1, and [Ch,0(k)]1 is a smooth

h

{

γ h1

≤ |

k

| ≤

γ

}

, γ > 1, and is equal

function, which has support in the interval

 

 

 

 

to 1 in the interval {γ ≤ |k| ≤ 1}. The measure (1) is a Gaussian Grassmannian measure with propagator

 

 

1

 

[

Ch,0(k)

1

 

g

(k)

 

 

 

 

]

.

(2)

=

 

 

 

ω

 

k (ik0 + ωk)

 

Rigorous Construction of Luttinger Liquids Through Ward Identities

35

The correlation functions of density and field operators for the Tomonaga model

with infrared cutoff can be obtained by the generating functional

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx JxZ(2)

ψ +

ψ

 

φ+

 

 

 

+

φ

W (φ, J ) = log

P (dψ )e

V (ψ )

+

 

 

 

ψ

 

ψ

 

 

 

ω

 

 

0

 

x

x

+ x

 

x+

 

x

x(3)

where

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V (ψ )

=

λ(Z

)2

dxψ

+

 

ψ

 

ψ +

ψ

 

,

Z(2)

=

Z

0

=

1.

(4)

 

0

 

 

 

x,+

x,+

x,

x,

 

0

 

 

 

 

 

 

The correlation functions will be graphically represented as in the examples of Fig. 1. They are of course well defined, if γ h is large enough; we want to discuss how to control the limit h → −∞.

Fig. 1 Graphical representation of a few correlation functions

3 The RG Analysis

We shall perform a multi-scale analysis of the functional (3), by using the identity

[Ch,0(k)]1 =

0

 

fj (k)

(5)

 

j =h

 

where the fj (k) are smooth functions defined so that

 

supp fj (k) = {γ j 1 ≤ |k| ≤ γ j +1}, h j 0.

(6)

The decomposition (5) implies the following decomposition of the covariance (2) in single scale covariances:

 

0

 

 

1

 

 

fj (k)

 

gω (k) =

 

gω(j )(k),

gω(j )(k) =

 

 

 

 

 

 

 

 

 

(7)

j =h

 

(

ik

0

+

ωk)

 

 

 

 

k

 

 

 

 

 

36

Giuseppe Benfatto

as well as a corresponding factorization of the measure (1) as the product of the Gaussian Grassmannian measures with propagators gω(j )(k). Hence, we can perform iteratively the integration over the different scales, starting from j = 0. Moreover, after any integration step, we absorb in the remaining part of the free measure the terms linear in the momentum, so that at step j we get an expression of the type, see [4] for details:

eW (φ,J ) = eLβEj PZj(h),Ch,j (dψ )eV (j )(ψ )+B (j )(ψ,φ,J )

(8)

where PZj(h),Ch,j has roughly the same form as (1), with the field renormalization constant Zj(h) in place of Z0, and the cutoff function

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

[Ch,j (k)]1 =

 

fj (k)

 

 

 

 

 

 

(9)

 

 

 

 

 

 

 

 

i=h

 

 

 

 

 

 

 

 

 

in place of [Ch,0(k)]1; moreover,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V (j )(ψ )

=

λ(h)

(Z(h))2

dx ψ

+

ψ

ψ +

 

ψ

 

 

(10)

 

 

 

j

j

 

 

 

x,+

x,+

 

x,

 

x,+ · · ·

 

 

B

(j )(ψ, φ, J )

=

J

 

Z(2,h)

ψ + ψ

+

φ+ ψ

+

ψ

+ φ

+ · · ·

(11)

 

 

xj

 

x

x

x

 

x

 

xx

 

where · · · denotes the remainder, made of irrelevant terms, λ(h)j is the running cou-

pling and Zj(2,h) is the density renormalization constant.

Let us put Zj(1,h) = Zj(h); it is easy to see, by using the definitions and the support properties of the single scale propagators, that, if h < h,

λj(h ) = λj(h),

Zj(i,h ) = Zj(i,h), j = 0, . . . , h + 1

(12)

Moreover, one can show that, if we put εh = max0j h |λj(h)|,

 

λh(h ) = λh(h) + O(εh2),

Zh(i,h )/Zh(i,h) = 1 + O(εh2).

(13)

Finally, if εh stays small for h → −∞, one can remove the infrared cutoff and show that [4]

λj

λj(−∞)

−−−−→

λ

−∞

(λ)

(14)

 

 

 

 

j

→−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z(i)

 

 

Z(i,−∞)

 

 

 

 

 

j 1

 

j 1

 

 

−−−−→ j → −∞ηi −∞)

(15)

Z(i)

 

Z(i,−∞)

j

 

 

j

 

 

 

 

 

 

 

λ−∞(λ) and ηi −∞) being analytic functions. Moreover λ−∞(λ) is odd in λ and ηi −∞) is even in λ−∞.

Rigorous Construction of Luttinger Liquids Through Ward Identities

37

4 The Dyson Equation

To prove (14) is not an easy task, since the interaction is marginal, from the RG point of view, and indeed the bounds following from the RG analysis show a divergence linear in h. In order to clarify the origin of this apparent divergence and explain how to use Ward identities to solve the problem, it is convenient to consider the following Dyson equation:

 

 

 

 

 

 

 

 

4

 

 

 

2 2,1

)

 

G

 

 

 

 

 

+(k1

, k2, k3, k4) = λg(k4) G(k3)G+ (k1 k2, k1, k2

 

 

 

 

1

 

 

 

 

 

+

 

 

G+4,1(p; k1, k2, k3, k4 p)

 

(16)

 

 

 

 

 

 

 

 

p

 

 

whose graphical representation is given in Fig. 2.

Fig. 2 Graphical representation of the Dyson equation (16)

The RG analysis allows us to get rigorously dimensional bounds on the correlation functions. In particular, if we fix the external momenta in the Dyson equation so that

 

 

 

 

 

 

 

k1 = k4 = −k2 = −k3 = k¯ ,

 

|k¯ | = γ h

 

 

 

(17)

and εh is small enough, we get [3]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Gω2 (k¯ )

=

 

 

(1,h)

Dω (k¯ )

[

1

+

O(εh2) ,

Dω (k)

= −

ik0

+

ωk (18)

 

 

 

 

 

 

 

 

 

Zh

 

 

 

 

 

 

 

]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z(2,h)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Gω2,1(2k¯ , k¯ ,

 

 

k¯ )

 

 

 

h

 

 

 

 

 

 

 

 

1

 

 

O(εh2)

 

 

 

(19)

 

 

 

 

 

 

 

= −

(Zh

 

 

2

 

 

 

 

 

 

2 [

 

+

 

]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

) Dω (k¯ )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

G4 (k¯

,

k¯ ,

k¯

, k¯ )

=

 

 

(1,h)

)2 k¯

 

4

[−

λh(h)

+

O(εh2) .

 

 

 

(20)

+

 

 

 

 

 

 

(Zh

 

 

|

 

 

 

 

 

]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

38 Giuseppe Benfatto

Then the l.h.s. of the Dyson equation is equal to

1

 

[λh(h) + O(εh2)]

(21)

 

(Zh(1,h))2|k¯ |4

 

while the first term in the r.h.s. is equal to

 

 

 

Zh(2,h)

2

 

 

 

 

λ[1 + O(εh)].

(22)

 

 

(Zh(1,h))3|k¯ |4

As we shall explain below, by using the local gauge invariance of the interaction it

is possible to show that

(2,h)

Zh1 = 1 + O(εh). (23)

Zh( ,h)

Were we able to bound the second term in the r.h.s. as

ε2

C h (24)

(1,h) 2| ¯ |4

(Zh ) k

then, by a simple iterative argument, we could prove that, if λ is small enough,

|λ(h)j | ≤ 2|λ|, h and j h

implying that the Tomonaga model is well defined.

However, the RG analysis only allows us to bound such term as

C

εh

 

 

[γ h |h| 1]

(1,h)

2

|k¯

4

(Zh

)

|

 

(25)

(26)

which is of course not sufficient.

The natural guess is that the origin of the problem is in the fact that one is not taking into account some crucial cancellations related with the gauge invariance.

Hence, inspired by the analysis in the physical literature [7], we rewrite 4,1 in

Gω

terms of 4 by suitable Ward identities, that is the identities obtained by applying

G+

the chiral gauge transformation

ψx±,+ e±x ψx±,+, ψx±,ψx±,

(27)

in the generating functional.

As we shall discuss, this is not enough, because the corrections to the formal WI related with the cutoffs satisfy bounds of the same type of the previous one. The problem is finally solved by using other identities, which we call correction identities.

Соседние файлы в папке Diss