FourPoint SuperWick's

General four point functions using conventional bosonization
HOMOGENEOUS CASE (RRRR)

Non interacting case
For this we have from Wick’s theorem,
† †
< T ψR (x1 , t1 )ψR (x2 , t2 )ψR (x3 , t3 )ψR (x4 , t4 ) >
† † † †
= < T ψR (x1 , t1 )ψR (x4 , t4 ) >< T ψR (x2 , t2 )ψR (x3 , t3 ) > − < T ψR (x1 , t1 )ψR (x3 , t3 ) >< T ψR (x2 , t2 )ψR (x4 , t4 ) >
1 1 1 1
=− +
4π 2 [(x1 − x4 ) − vF (t1 − t4 )][(x2 − x3 ) − vF (t2 − t3 )] 4π 2 [(x1 − x3 ) − vF (t1 − t3 )][(x2 − x4 ) − vF (t2 − t4 )]
1 [(x1 − x2 ) − vF (t1 − t2 )][(x3 − x4 ) − vF (t3 − t4 )]

=−
4π 2 [(x1 − x4 ) − vF (t1 − t4 )][(x2 − x3 ) − vF (t2 − t3 )][(x1 − x3 ) − vF (t1 − t3 )][(x2 − x4 ) − vF (t2 − t4 )]
Interacting case
† †
1
= − 2 < eiθR (x1 ,t1 ) eiθR (x2 ,t2 ) e−iθR (x3 ,t3 ) e−iθR (x4 ,t4 ) >
4π
1 1 2 1 2 1 2 1 2
= − 2 e− 2 <θR (x1 ,t1 )> e− 2 <θR (x2 ,t2 )> e− 2 <θR (x3 ,t3 )> e− 2 <θR (x4 ,t4 )>
4π
e<θR (x1 ,t1 )θR (x3 ,t3 )> e<θR (x1 ,t1 )θR (x4 ,t4 )> e<θR (x2 ,t2 )θR (x3 ,t3 )> e<θR (x2 ,t2 )θR (x4 ,t4 )>
e<θR (x1 ,t1 )θR (x2 ,t2 )> e<θR (x3 ,t3 )θR (x4 ,t4 )>
1 1
[(x1 −x3 )−vh (t1 −t3 )]P [(x1 −x3 )+vh (t1 −t3 )]Q [(x1 −x3 )−vF (t1 −t3 )]0.5 [(x2 −x4 )−vh (t2 −t4 )]P [(x2 −x4 )+vh (t2 −t4 )]Q [(x2 −x4 )−vF (t2 −t4 )]0.5

1 1
1 [(x1 −x4 )−vh (t1 −t4 )]P [(x1 −x4 )+vh (t1 −t4 )]Q [(x1 −x4 )−vF (t1 −t4 )]0.5 [(x2 −x3 )−vh (t2 −t3 )]P [(x2 −x3 )+vh (t2 −t3 )]Q [(x2 −x3 )−vF (t2 −t3 )]0.5
=−
4π 2 1 1
1
Thus we have
† †
< T ψR (x1 , t1 )ψR (x2 , t2 )ψR (x3 , t3 )ψR (x4 , t4 ) >=

[(x1 −x2 )−vh (t1 −t2 )]P [(x1 −x2 )+vh (t1 −t2 )]Q [(x1 −x2 )−vF (t1 −t2 )]0.5

1
−
4π 2

P Q 0.5 P Q 0.5
[(x1 −x4 )−vh (t1 −t4 )] [(x1 −x4 )+vh (t1 −t4 )] [(x1 −x4 )−vF (t1 −t4 )] [(x2 −x3 )−vh (t2 −t3 )] [(x2 −x3 )+vh (t2 −t3 )] [(x2 −x3 )−vF (t2 −t3 )]
where
(vh + vF )2 (vh − vF )2
P = ; Q=
8vh vF 8vh vF
Super Wick theorem

Super Wick’s theorem means
< T ψν1 (x1 , σ1 , t1 )ψν2 (x2 , σ2 , t2 )ψν†3 (x3 , σ3 , t3 )ψν†4 (x4 , σ4 , t4 ) >
< T ψν1 (x1 , σ1 , t1 )ψν†4 (x4 , σ1 , t4 ) > < T ψν2 (x2 , σ2 , t2 )ψν†3 (x3 , σ2 , t3 ) >
=A
gγ1 ,γ4 (ν1 , ν4 ) gγ2 ,γ3 (ν2 , ν3 )
+B
gγ1 ,γ3 (ν1 , ν3 ) gγ2 ,γ4 (ν2 , ν4 )
gγ1 ,γ2 (ν1 , ν2 ) gγ3 ,γ4 (ν3 , ν4 )
−W
gγ1 ,γ3 (ν1 , ν3 ) gγ1 ,γ4 (ν1 , ν4 )
gγ2 ,γ3 (ν2 , ν3 ) gγ2 ,γ4 (ν2 , ν4 )
Where,
1
A=B= (gγ ,γ (ν1 , −ν1 )(δγ1 ,γ4 δν1 ,−ν4 δν2 ,ν3 δσ1 ,σ4 δσ2 ,σ3 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ3 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ3 )
2 1 1
+gγ2 ,γ2 (ν2 , −ν2 )(δγ1 ,γ4 δγ2 ,γ3 δν1 ,−ν4 δν2 ,−ν3 δσ1 ,σ4 δσ2 ,σ3 − δγ1 ,γ3 δγ2 ,γ4 δν1 ,−ν3 δν2 ,−ν4 δσ1 ,σ3 δσ2 ,σ4 )
−δγ1 ,γ3 δν1 ,−ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ4 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ4 ))
+gγ1 ,−γ1 (ν1 , ν1 )(δγ1 ,−γ4 δν1 ,ν4 δν2 ,ν3 δσ1 ,σ4 δσ2 ,σ3 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ3 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ3 )
+gγ2 ,γ2 (ν2 , −ν2 )(δγ1 ,−γ4 δγ2 ,γ3 δν1 ,ν4 δν2 ,−ν3 δσ1 ,σ4 δσ2 ,σ3 − δγ1 ,−γ3 δγ2 ,γ4 δν1 ,ν3 δν2 ,−ν4 δσ1 ,σ3 δσ2 ,σ4 )
−δγ1 ,−γ3 δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ4 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ4 ))
+gγ1 ,γ1 (ν1 , ν1 )(δγ1 ,γ4 δν1 ,ν4 δν2 ,ν3 δσ1 ,σ4 δσ2 ,σ3 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ3 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ3 )
+gγ2 ,γ2 (ν2 , −ν2 )(δγ1 ,γ4 δγ2 ,γ3 δσ1 ,σ4 δσ2 ,σ3 δν1 ,ν4 δν2 ,−ν3 − δγ1 ,γ3 δγ2 ,γ4 δσ1 ,σ3 δσ2 ,σ4 δν1 ,ν3 δν2 ,−ν4 )
−δγ1 ,γ3 δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ4 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ4 )))
2
and
1
W = (−gγ1 ,γ1 (ν1 , −ν1 )(δγ1 ,γ4 δν1 ,−ν4 δν2 ,ν3 δσ1 ,σ4 δσ2 ,σ3 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ3 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ3 )
2
+gγ2 ,γ2 (ν2 , −ν2 )(δγ1 ,γ4 δγ2 ,γ3 δσ1 ,σ4 δσ2 ,σ3 δν1 ,−ν4 δν2 ,−ν3 + δγ1 ,γ3 δγ2 ,γ4 δσ1 ,σ3 δσ2 ,σ4 δν1 ,−ν3 δν2 ,−ν4 )
+δγ1 ,γ3 δν1 ,−ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ4 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ4 ))
−gγ1 ,−γ1 (ν1 , ν1 )(δγ1 ,−γ4 δν1 ,ν4 δν2 ,ν3 δσ1 ,σ4 δσ2 ,σ3 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ3 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ3 )
+gγ2 ,γ2 (ν2 , −ν2 )(δγ1 ,−γ4 δγ2 ,γ3 δν1 ,ν4 δν2 ,−ν3 δσ1 ,σ4 δσ2 ,σ3 + δγ1 ,−γ3 δγ2 ,γ4 δν1 ,ν3 δν2 ,−ν4 δσ1 ,σ3 δσ2 ,σ4 )
+δγ1 ,−γ3 δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ4 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ4 ))
−gγ1 ,γ1 (ν1 , ν1 )(δγ1 ,γ4 δν1 ,ν4 δν2 ,ν3 δσ1 ,σ4 δσ2 ,σ3 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ3 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ3 )
+gγ2 ,γ2 (ν2 , −ν2 )(δγ1 ,γ4 δγ2 ,γ3 δν1 ,ν4 δν2 ,−ν3 δσ1 ,σ4 δσ2 ,σ3 + δγ1 ,γ3 δγ2 ,γ4 δν1 ,ν3 δν2 ,−ν4 δσ1 ,σ3 δσ2 ,σ4 )
+δγ1 ,γ3 δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ4 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ4 )))
For homogeneous case,
1
A=B= (gγ ,−γ (ν1 , ν1 )(δγ1 ,−γ4 δν1 ,ν4 δν2 ,ν3 δσ1 ,σ4 δσ2 ,σ3 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ3 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ3 )
2 1 1
−δγ1 ,−γ3 δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ4 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ4 ))
+gγ1 ,γ1 (ν1 , ν1 )(δγ1 ,γ4 δν1 ,ν4 δν2 ,ν3 δσ1 ,σ4 δσ2 ,σ3 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ3 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ3 )
−δγ1 ,γ3 δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ4 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ4 )))
and
1
W = (−gγ1 ,−γ1 (ν1 , ν1 )(δγ1 ,−γ4 δν1 ,ν4 δν2 ,ν3 δσ1 ,σ4 δσ2 ,σ3 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ3 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ3 )
2
+δγ1 ,−γ3 δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ4 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ4 ))
−gγ1 ,γ1 (ν1 , ν1 )(δγ1 ,γ4 δν1 ,ν4 δν2 ,ν3 δσ1 ,σ4 δσ2 ,σ3 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ3 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ3 )
+δγ1 ,γ3 δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 (gγ2 ,−γ2 (ν2 , ν2 )δγ2 ,−γ4 + gγ2 ,γ2 (ν2 , ν2 )δγ2 ,γ4 )))
and
i
gγ1 ,γ2 (ν1 , ν2 ) = δν ,ν
2π 1 2
Hence,
i i i
A=B= (δν ,ν δν ,ν δσ ,σ δσ ,σ − δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 )
4π 1 4 2 3 1 4 2 3 2π 2π
and
i i i
W =− (δν ,ν δν ,ν δσ ,σ δσ ,σ + δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 )
4π 1 4 2 3 1 4 2 3 2π 2π
Therefore,
i i i < T ψν1 (x1 , σ1 , t1 )ψν†4 (x4 , σ1 , t4 ) > < T ψν2 (x2 , σ2 , t2 )ψν†3 (x3 , σ2 , t3 ) >
= (δν1 ,ν4 δν2 ,ν3 δσ1 ,σ4 δσ2 ,σ3 −δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 )(
4π 2π 2π gγ1 ,γ4 (ν1 , ν4 ) gγ2 ,γ3 (ν2 , ν3 )
+ )
gγ1 ,γ3 (ν1 , ν3 ) gγ2 ,γ4 (ν2 , ν4 )
i i i gγ1 ,γ2 (ν1 , ν2 ) gγ3 ,γ4 (ν3 , ν4 )
+ (δν ,ν δν ,ν δσ ,σ δσ ,σ +δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 )
4π 1 4 2 3 1 4 2 3 2π 2π < T ψν1 (x1 , σ1 , t1 )ψν†2 (x2 , σ1 , t2 ) > < T ψν3 (x3 , σ3 , t3 )ψν†4 (x4 , σ3 , t4 ) >
gγ1 ,γ3 (ν1 , ν3 ) gγ1 ,γ4 (ν1 , ν4 )
gγ2 ,γ3 (ν2 , ν3 ) gγ2 ,γ4 (ν2 , ν4 )
3
For homogeneous case with interactions,
< T ψν1 (x1 , σ1 , t1 )ψν†2 (x2 , σ2 , t2 ) >=
i δν1 ν2 δσ1 σ2
2π [(ν1 x1 − ν2 x2 ) − vh (t1 − t2 )]P [(ν1 x1 − ν2 x2 ) + vh (t1 − t2 )]Q [(ν1 x1 − ν2 x2 ) − vF (t1 − t2 )]0.5
For ν1 = ν2 = ν3 = ν4 = R, A = B = 0 But W 6= 0. Since (for all σ’s equal),
δν1 ,ν4 δν2 ,ν3 δσ1 ,σ4 δσ2 ,σ3 = 1
δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 = 1

Hence we get,
† †
< T ψR (x1 , σ1 , t1 )ψR (x2 , σ2 , t2 )ψR (x3 , σ3 , t3 )ψR (x4 , σ4 , t4 ) >
† †
=< T ψR (x1 , σ1 , t1 )ψR (x3 , σ1 , t3 ) >< T ψR (x1 , σ1 , t1 )ψR (x4 , σ1 , t4 ) >
† †
< T ψR (x2 , σ2 , t2 )ψR (x3 , σ2 , t3 ) >< T ψR (x2 , σ2 , t2 )ψR (x4 , σ2 , t4 ) >
1 1
† †
< T ψR (x1 , σ1 , t1 )ψR (x2 , σ1 , t2 ) > < T ψR (x3 , σ3 , t3 )ψR (x4 , σ3 , t4 ) >
† †


1
=−
4π 2

where
(vh + vF )2 (vh − vF )2
; Q=
P =
8vh vF 8vh vF
Hence Super Wick’s formula is able to reproduce the four point function for homogeneous interacting case obtained using
chiral bosonization.
4
HALF LINE CASE (RRRR)
† †
† † † †
= < T ψR (x1 , t1 )ψR (x4 , t4 ) >< T ψR (x2 , t2 )ψR (x3 , t3 ) > − < T ψR (x1 , t1 )ψR (x3 , t3 ) >< T ψR (x2 , t2 )ψR (x4 , t4 ) >
1 1 1 1
=− + 2
4π 2 [(x1 − x4 ) − vF (t1 − t4 )][(x2 − x3 ) − vF (t2 − t3 )] 4π [(x1 − x3 ) − vF (t1 − t3 )][(x2 − x4 ) − vF (t2 − t4 )]
1 [(x1 − x2 ) − vF (t1 − t2 )][(x3 − x4 ) − vF (t3 − t4 )]

=−
4π 2 [(x1 − x4 ) − vF (t1 − t4 )][(x2 − x3 ) − vF (t2 − t3 )][(x1 − x3 ) − vF (t1 − t3 )][(x2 − x4 ) − vF (t2 − t4 )]
Interacting case
† †
1 iθR (x1 ,t1 ) iθR (x2 ,t2 ) −iθR (x3 ,t3 ) −iθR (x4 ,t4 )
=− 2 <e e e e >
4π
1 1 2 1 2 1 2 1 2
= − 2 e− 2 <θR (x1 ,t1 )> e− 2 <θR (x2 ,t2 )> e− 2 <θR (x3 ,t3 )> e− 2 <θR (x4 ,t4 )>
4π
e<θR (x1 ,t1 )θR (x3 ,t3 )> e<θR (x1 ,t1 )θR (x4 ,t4 )> e<θR (x2 ,t2 )θR (x3 ,t3 )> e<θR (x2 ,t2 )θR (x4 ,t4 )>
e<θR (x1 ,t1 )θR (x2 ,t2 )> e<θR (x3 ,t3 )θR (x4 ,t4 )>
(4x1 x3 )γ1
[(x1 −x3 )−vh (t1 −t3 )]P [(x1 −x3 )+vh (t1 −t3 )]Q [(x1 +x3 )2 −v 2 (t1 −t3 )2 ]X [(x1 −x3 )−vF (t1 −t3 )]0.5
h

(4x2 x4 )γ1
h

(4x1 x4 )γ1
h

(4x2 x3 )γ1
1 [(x2 −x3 )−vh (t2 −t3 )]P [(x2 −x3 )+vh (t2 −t3 )]Q [(x2 +x3 )2 −v 2 (t2 −t3 )2 ]X [(x2 −x3 )−vF (t2 −t3 )]0.5
h
=−
4π 2 (4x1 x2 )γ1
h

(4x3 x4 )γ1
h
5
† †
⇒< T ψR (x1 , t1 )ψR (x2 , t2 )ψR (x3 , t3 )ψR (x4 , t4 ) >

[(x1 −x2 )−vh (t1 −t2 )]P [(x1 −x2 )+vh (t1 −t2 )]Q [(x1 +x2 )2 −vh
2
(t1 −t2 )2 ]X [(x1 −x2 )−vF (t1 −t2 )]0.5

2
(t3 −t4 )2 ]X [(x3 −x4 )−vF (t3 −t4 )]0.5
1
=− (16x1 x2 x3 x4 )γ1
4π 2
2
(t1 −t3 )2 ]X [(x1 −x3 )−vF (t1 −t3 )]0.5

P Q 2 2
[(x2 −x4 )−vh (t2 −t4 )] [(x2 −x4 )+vh (t2 −t4 )] [(x2 +x4 ) −vh (t2 −t4 )2 ]X [(x2 −x4 )−vF (t2 −t4 )]0.5

2
(t1 −t4 )2 ]X [(x1 −x4 )−vF (t1 −t4 )]0.5

2
(t2 −t3 )2 ]X [(x2 −x3 )−vF (t2 −t3 )]0.5
where
(vh + vF )2 (vh − vF )2 (v 2 − vF2 )

P = ; Q= ; X = γ1 = h
8vh vF 8vh vF 8vh vF
From Super Wick’s theorem
For half line and ν1 = ν2 = ν3 = ν4 = 1

i i i
A=B= (δν ν δν ν δσ σ δσ σ − δν1 ν3 δν2 ν4 δσ1 σ3 δσ2 σ4 )
4π 1 4 2 3 1 4 2 3 2π 2π
i i i
W =− (δν ν δν ν δσ σ δσ σ + δν1 ν3 δν2 ν4 δσ1 σ3 δσ2 σ4 )
4π 1 4 2 3 1 4 2 3 2π 2π
Since,
δν1 ,ν4 δν2 ,ν3 δσ1 ,σ4 δσ2 ,σ3 = 1
δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 = 1
we have
A=B=0
1
W =
4π 2
Therefore
1 gγ1 ,γ2 (ν1 , ν2 ) gγ3 ,γ4 (ν3 , ν4 )
=−
4π 2 < T ψν1 (x1 , σ1 , t1 )ψν†2 (x2 , σ1 , t2 ) > < T ψν3 (x3 , σ3 , t3 )ψν†4 (x4 , σ3 , t4 ) >
gγ1 ,γ3 (ν1 , ν3 ) gγ1 ,γ4 (ν1 , ν4 )
gγ2 ,γ3 (ν2 , ν3 ) gγ2 ,γ4 (ν2 , ν4 )
Using
†
< T ψR (x1 , t1 )ψR (x2 , t2 ) >
i (4x1 x2 )γ1
2π [(x1 − x2 ) − vh (t1 − t2 )]P [(x1 − x2 ) + vh (t1 − t2 )]Q [(x1 + x2 )2 − vh2 (t1 − t2 )2 ]X [(x1 − x2 ) − vF (t1 − t2 )]0.5
6
We get
† †

(4x1 x3 )γ1
h

(4x2 x4 )γ1
h

(4x1 x4 )γ1
h

(4x2 x3 )γ1
1 [(x2 −x3 )−vh (t2 −t3 )]P [(x2 −x3 )+vh (t2 −t3 )]Q [(x2 +x3 )2 −v 2 (t2 −t3 )2 ]X [(x2 −x3 )−vF (t2 −t3 )]0.5
h
=−
4π 2 (4x1 x2 )γ1
h

(4x3 x4 )γ1
h
Super Wicks works for ν1 = ν2 = ν3 = ν4 cases for half line also. We’ll have to check for ν1 = ν3 = 1 and ν2 = ν4 = −1
case.
7
HOMOGENEOUS CASE RLRL
† †
< T ψR (x1 , t1 )ψL (x2 , t2 )ψR (x3 , t3 )ψL (x4 , t4 ) >
† † † †
= < T ψR (x1 , t1 )ψL (x4 , t4 ) >< T ψL (x2 , t2 )ψR (x3 , t3 ) > − < T ψR (x1 , t1 )ψR (x3 , t3 ) >< T ψL (x2 , t2 )ψL (x4 , t4 ) >
1 1
=0 +
4π 2 [(x1 − x3 ) − vF (t1 − t3 )][−(x2 − x4 ) − vF (t2 − t4 )]
1 1
= 2
4π [(x1 − x3 ) − vF (t1 − t3 )][−(x2 − x4 ) − vF (t2 − t4 )]
Interacting case
† †
< T ψR (x1 , t1 )ψL (x2 , t2 )ψR (x3 , t3 )ψL (x4 , t4 ) >
1
= − 2 < eiθR (x1 ,t1 ) eiθL (x2 ,t2 ) e−iθR (x3 ,t3 ) e−iθL (x4 ,t4 ) >
4π
1 1 2 1 2 1 2 1 2
= − 2 e− 2 <θR (x1 ,t1 )> e− 2 <θL (x2 ,t2 )> e− 2 <θR (x3 ,t3 )> e− 2 <θL (x4 ,t4 )>
4π
e<θR (x1 ,t1 )θR (x3 ,t3 )> e<θR (x1 ,t1 )θL (x4 ,t4 )> e<θL (x2 ,t2 )θR (x3 ,t3 )> e<θL (x2 ,t2 )θL (x4 ,t4 )>
e<θR (x1 ,t1 )θL (x2 ,t2 )> e<θR (x3 ,t3 )θL (x4 ,t4 )>
1 1
[(x1 −x3 )−vh (t1 −t3 )]P [(x1 −x3 )+vh (t1 −t3 )]Q [(x1 −x3 )−vF (t1 −t3 )]0.5 [(x2 −x4 )−vh (t2 −t4 )]Q [(x2 −x4 )+vh (t2 −t4 )]P [(x2 −x4 )+vF (t2 −t4 )]0.5

1 1
1 [(x1 −x4 )−vh (t1 −t4 )]S [(x1 −x4 )+vh (t1 −t4 )]S [(x2 −x3 )−vh (t2 −t3 )]S [(x2 −x3 )+vh (t2 −t3 )]S
=−
4π 2 1 1
[(x1 −x2 )−vh (t1 −t2 )]S [(x 1 −x2 )+vh (t1 −t2 )]S [(x3 −x4 )−vh (t3 −t4 )]S [(x3 −x4 )+vh (t3 −t4 )]S

[(x1 −x2 )−vh (t1 −t2 )]S [(x1 −x2 )+vh (t1 −t2 )]S

[(x3 −x4 )−vh (t3 −t4 )]S [(x3 −x4 )+vh (t3 −t4 )]S
1
=−
4π 2
[(x1 −x3 )−vh (t1 −t3 )]P [(x1 −x3 )+vh (t1 −t3 )]Q [(x1 −x3 )−vF (t1 −t3 )]0.5 [(x2 −x4 )−vh (t2 −t4 )]Q [(x2 −x4 )+vh (t2 −t4 )]P [(x2 −x4 )+vF (t2 −t4 )]0.5

S S S S
[(x1 −x4 )−vh (t1 −t4 )] [(x1 −x4 )+vh (t1 −t4 )] [(x2 −x3 )−vh (t2 −t3 )] [(x2 −x3 )+vh (t2 −t3 )]
where
(vh + vF )2 (vh − vF )2 (v 2 − vF2 )

P = ; Q= ; S= h
8
Density density correlation function using chiral bosonization
For a homogeneous system of spinless fermions in presence of interactions, we have the following expression of the density
density correlation functions.

1 vF 1 1
< ρs (x, t)ρs (x0 , t0 ) >= − 2 +
4π vh [(x − x0 ) − vh (t − t0 )]2 [(x − x0 ) + vh (t − t0 )]2
The following are the Luttinger exponents for the homogeneous case.
(vh + vF )2 (vh − vF )2 (v 2 − vF2 )
P = ; Q= ; S= h
Now we have the general four point function using bosonization as follows.

[(x1 −x2 )−vh (t1 −t2 )]P [(x1 −x2 )+vh (t1 −t2 )]Q [(x3 −x4 )−vh (t3 −t4 )]P [(x3 −x4 )+vh (t3 −t4 )]Q
† † 1
< T ψR (x1 , t1 )ψR (x2 , t2 )ψR (x3 , t3 )ψR (x4 , t4 ) >= −
4π 2


[(x1 −x2 )−vh (t1 −t2 )]Q [(x1 −x2 )+vh (t1 −t2 )]P [(x3 −x4 )−vh (t3 −t4 )]Q [(x3 −x4 )+vh (t3 −t4 )]P
† † 1
< T ψL (x1 , t1 )ψL (x2 , t2 )ψL (x3 , t3 )ψL (x4 , t4 ) >= −
4π 2


[(x1 −x2 )−vh (t1 −t2 )]S [(x1 −x2 )+vh (t1 −t2 )]S [(x3 −x4 )−vh (t3 −t4 )]S [(x3 −x4 )+vh (t3 −t4 )]S
† † 1
< T ψR (x1 , t1 )ψL (x2 , t2 )ψR (x3 , t3 )ψL (x4 , t4 ) >= −
4π 2
[(x1 −x3 )−vh (t1 −t3 )]P [(x1 −x3 )+vh (t1 −t3 )]Q [(x2 −x4 )−vh (t2 −t4 )]Q [(x2 −x4 )+vh (t2 −t4 )]P


† † 1
< T ψL (x1 , t1 )ψR (x2 , t2 )ψL (x3 , t3 )ψR (x4 , t4 ) >= −
4π 2
[(x1 −x3 )−vh (t1 −t3 )]Q [(x1 −x3 )+vh (t1 −t3 )]P [(x2 −x4 )−vh (t2 −t4 )]P [(x2 −x4 )+vh (t2 −t4 )]Q

And the average terms which needs to be subtracted are as follows.

† † 1 1
< T ψR (x1 , t1 )ψR (x3 , t3 ) >< T ψR (x2 , t2 )ψR (x4 , t4 ) >= −
4π 2 P Q
[(x1 −x3 )−vh (t1 −t3 )] [(x1 −x3 )+vh (t1 −t3 )] [(x2 −x4 )−vh (t2 −t4 )]P [(x2 −x4 )+vh (t2 −t4 )]Q
† † 1 1
< T ψL (x1 , t1 )ψL (x3 , t3 ) >< T ψL (x2 , t2 )ψL (x4 , t4 ) >= −
4π 2
† † 1 1
< T ψR (x1 , t1 )ψR (x3 , t3 ) >< T ψL (x2 , t2 )ψL (x4 , t4 ) >= −
4π 2
[(x1 −x3 )−vh (t1 −t3 )]P [(x1 −x3 )+vh (t1 −t3 )]Q [(x2 −x4 )−vh (t2 −t4 )]Q [(x2 −x4 )+vh (t2 −t4 )]P
† † 1 1
< T ψL (x1 , t1 )ψL (x3 , t3 ) >< T ψR (x2 , t2 )ψR (x4 , t4 ) >= −
4π 2
[(x1 −x3 )−vh (t1 −t3 )]Q [(x1 −x3 )+vh (t1 −t3 )]P [(x2 −x4 )−vh (t2 −t4 )]P [(x2 −x4 )+vh (t2 −t4 )]Q
So now we have to add the first four terms and subtract from it the next four average terms and then take the limit
X3 → X1 and X4 → X2 .

FourPoint SuperWick's

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

FourPoint SuperWick's

Caricato da

Copyright:

Formati disponibili

General four point functions using conventional bosonization

HOMOGENEOUS CASE (RRRR)

1 [(x1 − x2 ) − vF (t1 − t2 )][(x3 − x4 ) − vF (t3 − t4 )]

Super Wick theorem

< T ψν1 (x1 , σ1 , t1 )ψν†2 (x2 , σ2 , t2 ) >=

δν1 ,ν4 δν2 ,ν3 δσ1 ,σ4 δσ2 ,σ3 = 1

δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 = 1

1 [(x1 − x2 ) − vF (t1 − t2 )][(x3 − x4 ) − vF (t3 − t4 )]

(vh + vF )2 (vh − vF )2 (v 2 − vF2 )

From Super Wick’s theorem

For half line and ν1 = ν2 = ν3 = ν4 = 1

(vh + vF )2 (vh − vF )2 (v 2 − vF2 )

And the average terms which needs to be subtracted are as follows.

Potrebbero piacerti anche

FourPoint SuperWick&#39;s

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

FourPoint SuperWick&#39;s

Caricato da

Copyright:

Formati disponibili

General four point functions using conventional bosonization

HOMOGENEOUS CASE (RRRR)

1 [(x1 − x2 ) − vF (t1 − t2 )][(x3 − x4 ) − vF (t3 − t4 )]

Super Wick theorem

< T ψν1 (x1 , σ1 , t1 )ψν†2 (x2 , σ2 , t2 ) >=

δν1 ,ν4 δν2 ,ν3 δσ1 ,σ4 δσ2 ,σ3 = 1

δν1 ,ν3 δν2 ,ν4 δσ1 ,σ3 δσ2 ,σ4 = 1

1 [(x1 − x2 ) − vF (t1 − t2 )][(x3 − x4 ) − vF (t3 − t4 )]

(vh + vF )2 (vh − vF )2 (v 2 − vF2 )

From Super Wick’s theorem

For half line and ν1 = ν2 = ν3 = ν4 = 1

(vh + vF )2 (vh − vF )2 (v 2 − vF2 )

And the average terms which needs to be subtracted are as follows.

Potrebbero piacerti anche

FourPoint SuperWick's

FourPoint SuperWick's