bruno nachtergaele- bounds on the mass gap of the ferromagnetic xxz chain

18

Upload: po48hsd

Post on 06-Apr-2018

218 views

Category:

Documents


0 download

TRANSCRIPT

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 1/18

A r c h i v e d a s   c o n d - m a t / y y m m n n n   P r e p r i n t B N - 1 6 J a n 9 5  

B o u n d s o n t h e m a s s g a p o f t h e      

f e r r o m a g n e t i c X X Z c h a i n      

B r u n o N a c h t e r g a e l e  

D e p a r t m e n t o f P h y s i c s  

P r i n c e t o n U n i v e r s i t y  

P r i n c e t o n , N J 0 8 5 4 4 - 0 7 0 8 , U S A  

E - m a i l :   b x n @ m a t h . p r i n c e t o n . e d u  

( 1 6 J a n u a r y 1 9 9 5 )  

A b s t r a c t  

W e p r o v e r i g o r o u s l o w e r a n d u p p e r b o u n d s f o r t h e m a s s g a p o f t h e f e r r o m a g n e t i c s p i n 1 / 2  

X X Z c h a i n . T h e t w o b o u n d s c o i n c i d e a s y m p t o t i c a l l y i n t h e I s i n g l i m i t   ! 1    . N e a r t h e  

i s o t r o p i c p o i n t , = 1 , t h e e s t i m a t e s a r e g o o d e n o u g h t o d e t e r m i n e t h e c r i t i c a l b e h a v i o u r o f  

t h e m a s s g a p u n a m b i g u o u s l y . T h e d e r i v a t i o n d o e s n o t r e l y o n e x a c t s o l u t i o n s .  

K e y w o r d s :   q u a n t u m s p i n c h a i n s , H e i s e n b e r g m o d e l , X X Z c h a i n , m a s s g a p  

C o p y r i g h t  

    1 9 9 5 b y t h e a u t h o r . F a i t h f u l r e p r o d u c t i o n o f t h i s a r t i c l e b y a n y m e a n s i s  

p e r m i t t e d f o r n o n - c o m m e r c i a l p u r p o s e s .  

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 2/18

M a s s g a p o f t h e X X Z c h a i n   2 

1 I n t r o d u c t i o n      

T h e m a i n p u r p o s e o f t h i s p a p e r i s t o e s t a b l i s h r i g o r o u s u p p e r a n d l o w e r b o u n d s o n t h e  

s p e c t r a l g a p o f t h e o n e - d i m e n s i o n a l f e r r o m a g n e t i c s p i n 1 / 2 X X Z H e i s e n b e r g c h a i n . S e e  

b e l o w i n T h e o r e m 1 . 1 f o r t h e e x p l i c i t f o r m u l a e . T h e u p p e r b o u n d i s g e n e r a l l y a s s u m e d t o b e  

t h e e x a c t r e s u l t . T h e l o w e r b o u n d h a s e s s e n t i a l l y t h e s a m e b e h a v i o u r a n d i s r e a s o n a b l y c l o s e  

t o t h e u p p e r b o u n d . I t i s g o o d e n o u g h t o d e t e r m i n e u n a m b i g u o u s l y t h e c r i t i c a l e x p o n e n t    

o f t h e m o d e l . W e h o p e t o m a k e c l e a r t h a t o u r m e t h o d r e l i e s o n l y o n c e r t a i n p r o p e r t i e s o f  

t h e f e r r o m a g n e t i c X X Z c h a i n a n d n o t o n t h e e x a c t s o l u t i o n . W e e x p e c t t h a t t h e m e t h o d w i l l  

b e u s e f u l i n t h e s t u d y o f o t h e r m o d e l s t h a t s h a r e t h e s a m e g e n e r a l p r o p e r t i e s w i t h o u t b e i n g  

e x a c t l y s o l u b l e . I n f a c t , s i m i l a r i d e a s w e r e a l r e a d y a p p l i e d t o a c l a s s o f q u a n t u m s p i n c h a i n s  

w i t h d i s c r e t e s y m m e t r y b r e a k i n g i n 1 ] . W e r e f e r t h e r e a d e r t o S e c t i o n 3 f o r a d i s c u s s i o n o f  

t h e m e t h o d a n d f u r t h e r r e f e r e n c e s .  

T h e f e r r o m a g n e t i c r e g i m e o f t h e X X Z c h a i n h a s n o t b e e n s t u d i e d a s e x t e n s i v e l y a s t h e  

a n t i f e r r o m a g n e t i c a n d t h e c r i t i c a l r e g i m e s . O n e c o u l d t h i n k t h a t t h i s i s b e c a u s e i t i s l e s s  

i n t e r e s t i n g o r l e s s c h a l l e n g i n g . W e t h i n k t h i s i s o n l y p a r t l y c o r r e c t . I n f a c t , t h e l i t e r a t u r e  

m a k e s i t v e r y c l e a r t h a t t h e m o d e l i s n o t s o w e l l u n d e r s t o o d a s o n e m i g h t d e d u c e f r o m t h e  

f a c t t h a t i t i s \ B e t h e A n s a t z s o l u b l e " . T h e m o r e c a r e f u l p r a c t i t i o n e r s o f t h e a r t d o n o t  

n e g l e c t t o p o i n t o u t t h a t t h e v a l i d i t y o f t h e B e t h e A n s a t z s o l u t i o n r e l i e s o n t h e s o - c a l l e d  

s t r i n g h y p o t h e s i s , w h i c h r e m a i n s u n p r o v e n t i l l n o w . I n f a c t , i t i s k n o w n t h a t t h e s t r i n g  

h y p o t h e s i s c a n n o t u n i v e r s a l l y h o l d , i . e . , i t i s v i o l a t e d f o r s o m e n i t e c h a i n s 2 ] .  

P r o o f s o f t h e c o m p l e t e n e s s o f t h e B e t h e A n s a t z b a s e d o n c o m b i n a t o r i a l a r g u m e n t s ( c o u n t -  

i n g t h e n u m b e r o f s o l u t i o n s o f t h e B e t h e e q u a t i o n s ) a l w a y s a s s u m e t h e s t r i n g h y p o t h e s i s 3 ] .  

T h e p r o o f o f Y a n g a n d Y a n g 4 ] o f t h e v a l i d i t y o f t h e B e t h e A n s a t z f o r t h e g r o u n d s t a t e  

o f t h e X X Z c h a i n o n l y c o v e r s t h e r a n g e   ? 1    <    <  ?   1 , w h i c h i s t h e c o m p l e m e n t o f t h e  

r e g i m e s t u d i e d i n t h e p r e s e n t w o r k . F o r t h e c a s e = 1 a f o r m o f c o m p l e t e n e s s i n t h e  

t h e r m o d y n a m i c l i m i t w a s s h o w n i n 5 ] .  

I n v i e w o f t h e g e n e r a l u n i q u e n e s s t h e o r e m 6 ] f o r t h e G i b b s s t a t e o f o n e - d i m e n s i o n a l  

q u a n t u m s p i n m o d e l s w i t h t r a n s l a t i o n i n v a r i a n t n i t e r a n g e i n t e r a c t i o n s , t h e r e s h o u l d b e  

n o s u r p r i s e s i n t h e n i t e t e m p e r a t u r e b e h a v i o u r o f t h e X X Z c h a i n . Y e t , t h e r e a r e s t i l l  

u n r e s o l v e d q u e s t i o n s a b o u t t h e l o w t e m p e r a t u r e b e h a v i o u r o f t h e s p e c i c h e a t o f t h e m o d e l  

i n t h e f e r r o m a g n e t i c r e g i o n ( S e e 7 ] a n d 8 , C h a p t e r 6 ] f o r a d i s c u s s i o n . )  

T h e s e u n r e s o l v e d q u e s t i o n s c l e a r l y d e m o n s t r a t e t h e n e e d f o r r i g o r o u s a r g u m e n t s . T h e  

a r g u m e n t s p r e s e n t e d i n t h i s p a p e r d o n o t a d d r e s s a l l o f t h e m , b u t t h e y p r o v i d e u n a m b i g u o u s  

i n f o r m a t i o n o n t h e b e h a v i o u r o f t h e m a s s g a p .  

T h e X X Z - H a m i l t o n i a n f o r a n i t e c h a i n o f   L  s i t e s , i n c l u d i n g t h e s p e c i a l b o u n d a r y c o n -  

d i t i o n s t h a t w e c o n s i d e r , i s  

X X Z 

=  A  ( ) (  S 

?   S 

)  ?  

L  ?  1 

X  

x  = 1 

 

(  S 

x  + 1 

+  S 

x  + 1 

) +  S 

x  + 1 

( 1 . 1 )  

w h e r e   S 

 

;   = 1  ;  2  ;  3 , a r e t h e u s u a l 2      2 s p i n m a t r i c e s ( w i t h e i g e n v a l u e s      1  =  2 ) a c t i n g o n t h e  

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 3/18

M a s s g a p o f t h e X X Z c h a i n   3 

s i t e   x  , a n d   A  ( ) =     

q  

1  ?   1  =   

. T h e t w o H a m i l t o n i a n s c o r r e s p o n d i n g t o t h e p o s i t i v e a n d  

n e g a t i v e c h o i c e o f   A  ( ) a r e o b v i o u s l y u n i t a r i l y e q u i v a l e n t b y l e f t - r i g h t s y m m e t r y . U n l e s s  

e x p l i c i t l y m e n t i o n e d w e w i l l a l w a y s r e f e r t o t h e H a m i l t o n i a n w i t h t h e p o s i t i v e c h o i c e f o r  

A  ( ) . T h e b o u n d a r y c o n d i t i o n s a n d n o r m a l i z a t i o n o f ( 1 . 1 ) a r e n a t u r a l f o r t h e f o l l o w i n g  

r e a s o n s . F i r s t o f a l l t h e y m a k e t h e g r o u n d s t a t e d e g e n e r a c y e q u a l t o   L  + 1   f o r a l l        1 . 

T h i s p r o p e r t y c a n b e e x p l a i n e d i n t e r m s o f a q u a n t u m g r o u p s y m m e t r y t h a t t h e H a m i l t o n i a n ,  

w i t h t h e s e p a r t i c u l a r b o u n d a r y t e r m s i n c l u d e d , p o s s e s s e s 9 ] . T h e n o r m a l i z a t i o n i s s u c h t h a t  

o n e c a n c o n s i d e r t h e l i m i t   ! 1    w i t h o u t d i c u l t y . I n t h i s l i m i t t h e m o d e l b e c o m e s t h e  

f e r r o m a g n e t i c I s i n g c h a i n w i t h a b o u n d a r y t e r m t h a t a l l o w s f o r g r o u n d s t a t e s w i t h a k i n k ,  

i . e . , f o r a n y s i t e   x  i n t h e n i t e c h a i n t h e c o n g u r a t i o n w i t h a l l s p i n s t o t h e l e f t o f   x  u p  (  "   ) 

a n d a l l s p i n s t o t h e r i g h t o f   x  d o w n   (  #   ) , i s a g r o u n d s t a t e . O b v i o u s l y t h e r e a r e   L  ?   1 o f 

s u c h k i n k s t a t e s . T o g e t h e r w i t h t h e t w o t r a n s l a t i o n i n v a r i a n t c o n g u r a t i o n s t h i s y i e l d s   L  + 1 

g r o u n d s t a t e s . A s w e w i l l s e e i n S e c t i o n 4 t h e b o u n d a r y t e r m s a l s o m a k e t h e c o m p u t a t i o n  

o f t h e G N S H a m i l t o n i a n s o f t h e i n n i t e c h a i n i m m e d i a t e .  

I n t h e i s o t r o p i c l i m i t ( = 1 ) t h e   L  + 1 - f o l d d e g e n e r a c y i s t h e d i m e n s i o n o f t h e s p i n  

L =  2 r e p r e s e n t a t i o n o f S U ( 2 ) . N o t e t h a t t h e b o u n d a r y t e r m s v a n i s h f o r = 1 . I n t h e  

t h e r m o d y n a m i c l i m i t (  L  ! 1    ) a l l t r a n s l a t i o n i n v a r i a n t g r o u n d s t a t e s a r e s t a t e s o f p e r f e c t l y  

a l i g n e d s p i n s . N o n o n t r a n s l a t i o n i n v a r i a n t g r o u n d s t a t e s a r e k n o w n .  

I f   >  1 , t h e r e a r e f o u r d i e r e n t c l a s s e s o f k n o w n g r o u n d s t a t e s o f t h e m o d e l o n t h e  

i n n i t e c h a i n , w h i c h c o u l d b e c a l l e d   u p , d o w n , k i n k   , a n d   a n t i k i n k   . T h e y c o n s i s t , r e s p e c t i v e l y ,  

o f t h e s t a t e w i t h a l l s p i n s   "   , t h e s t a t e w i t h a l l s p i n s   #   , a n i n n i t e n u m b e r o f s t a t e s i n w h i c h  

t h e s p i n s a r e   "   a t  ? 1    a n d  #   a t +  1    , a n d a n i n n i t e n u m b e r o f s t a t e s i n w h i c h t h e s p i n s a r e  

#   a t  ? 1    a n d  "   a t +  1    . T h e i n n i t e d e g e n e r a c y o f t h e g r o u n d s t a t e i n t h e l a t t e r t w o s e c t o r s  

c o r r e s p o n d s t o t h e p o s s i b l e c h o i c e s f o r t h e l o c a t i o n o f t h e k i n k o r a n t i k i n k , i . e . , t h e l o c a t i o n  

o n t h e c h a i n w h e r e t h e s p i n s t u r n o v e r f o r m u p t o d o w n i n t h e r s t a n d d o w n t o u p i n t h e  

s e c o n d c a s e . T h e k i n k s a r e s t r i c t l y s p e a k i n g l o c a t e d a t a s i n g l e b o n d o n l y i n t h e I s i n g l i m i t  

(   ! 1    ) . F o r 1   <    <  1    t h e g r o u n d s t a t e s a r e n o t d e s c r i b e d b y a s i n g l e c o n g u r a t i o n  

b e c a u s e o f t h e q u a n t u m u c t u a t i o n s , b u t t h e k i n k s , r e s p e c t i v e l y a n t i k i n k s , a r e q u a s i l o c a l i z e d  

f o r a l l 1   <    <  1    . W e r e f e r t o S e c t i o n 2 f o r m o r e e x p l i c i t p r o p e r t i e s o f t h e g r o u n d s t a t e s .  

O u r m a i n r e s u l t s a r e t h e u p p e r a n d l o w e r b o u n d s o n t h e g a p i n t h e s p e c t r u m o f t h e  

H a m i l t o n i a n i n t h e t h e r m o d y n a m i c l i m i t i n t h e a f o r e m e n t i o n e d f o u r s u p e r s e l e c t i o n s e c t o r s .  

E a c h o f t h e s e s e c t o r s c o r r e s p o n d s t o a d i e r e n t r e p r e s e n t a t i o n o f t h e o b s e r v a b l e a l g e b r a o f  

t h e s y s t e m . I n t h e s e r e p r e s e n t a t i o n s t h e H e i s e n b e r g d y n a m i c s o f t h e m o d e l i s g e n e r a t e d b y a  

d e n s e l y d e n e d s e l f - a d j o i n t , n o n - n e g a t i v e d e n i t e o p e r a t o r   H  . T h e o r e m 1 . 1 b e l o w r e f e r s t o  

t h e g a p a b o v e z e r o i n t h e s p e c t r u m o f t h i s o p e r a t o r . A l t e r n a t i v e l y , w e c a n d e n e t h e g a p o f  

t h e m o d e l w i t h r e s p e c t t o a n i n n i t e v o l u m e g r o u n d s t a t e   h i  a s t h e l a r g e s t c o n s t a n t        0 

s u c h t h a t f o r a l l   l o c a l   o b s e r v a b l e s   X 

h  X 

 

X  i  =  h  X 

 

  H 

; X  ]  i      h  X 

 

  H 

; X  ]  i  =    h  X 

 

X  i  ( 1 . 2 )  

B y a l o c a l o b s e r v a b l e   X  w e s i m p l y m e a n h e r e a p o l y n o m i a l o f a n i t e n u m b e r o f s p i n m a t r i c e s .  

A l l l o c a l o b s e r v a b l e s o b t a i n e d f r o m s p i n m a t r i c e s   S 

 

w i t h s i t e i n d e x   x  i n a g i v e n n i t e s u b s e t  

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 4/18

M a s s g a p o f t h e X X Z c h a i n   4 

o f t h e c h a i n f o r m a n a l g e b r a w h i c h i s d e n o t e d b y   A   

 

. T h e i n e q u a l i t y ( 1 . 2 ) e x p r e s s e s t h e  

p r o p e r t y t h a t t h e H a m i l t o n i a n i s l a r g e r t h a n     o n i t s r a n g e , i . e . , o n t h e o t h o g o n a l c o m p l e m e n t  

o f t h e s p a c e o f g r o u n d s t a t e s . I f t h e g r o u n d s t a t e i s n o n - d e g e n e r a t e i n t h e r e p r e s e n t a t i o n  

u n d e r c o n s i d e r a t i o n , t h e f o l l o w i n g e q u i v a l e n t i n e q u a l i t y i s m o r e c u s t o m a r y :  

h X 

 

  H ; X  ] 

i     ( 

h X 

 

i ? j h  X 

i j 

) ( 1 . 3 )  

I n b o t h ( 1 . 2 ) a n d ( 1 . 3 ) t h e c o m m u t a t o r h a s t o b e i n t e r p r e t e d a s t h e l i m i t o f s u c c e s s i v e  

c o m m u t a t o r s  

  H 

 p 

; X  ] = l i m  

 

! 1 

  l i m 

 

! 1 

  H 

 

;    H 

 

p  ?  1 

;      H 

 

; X  ]    ] ] ( 1 . 4 )  

w h i c h , d u e t o t h e f a c t t h a t t h e i n t e r a c t i o n i s o f n i t e r a n g e , i s a l o c a l o b s e r v a b l e f o r a l l l o c a l  

X  . 

T h e o r e m 1 . 1   I n e a c h o f t h e s e c t o r s d e s c r i b e d a b o v e a s   u p , d o w n , k i n k  , a n d   a n t i k i n k   , t h e  

i n n i t e v o l u m e g a p     s a t i s e s  

l o w 

( ) 

   

  ? 

u p p 

( ) ( 1 . 5 )  

 f o r     >  1  a n d w h e r e  

u p p 

( ) = 1  ?    

?  1 

( 1 . 6 )  

l o w 

( ) =  

1  ?  

v  

1  ?  

s  

1  ?  

 

( 1 . 7 )  

F o r  = 1  , t h e d i e r e n c e    

b e t w e e n t h e l o w e s t a n d s e c o n d - l o w e s t e i g e n v a l u e o f t h e H a m i l -  

t o n i a n   H 

o f a n i t e c h a i n o f l e n g t h   L  ,  L     2  , s a t i s e s  

4  L 

   ( 1  ?  

s  

1  ?  

?  1 

    

   4   

) ( 1 . 8 )  

T w o o t h e r p a r a m e t r i z a t i o n s c o m m o n i n t h e l i t e r a t u r e a r e g i v e n b y = c o s h     = (    + 

 

?  1 

)  =  2 . T h e r a n g e 1           +  1    c o r r e s p o n d s t o 0           +  1    a n d 1           0 . T h e p a r a m e t e r  

  i s o f t e n d e n o t e d b y   q  . T h e m o s t c o m m o n H a m i l t o n i a n i s t i m e s   H 

X X Z 

d e n e d i n ( 1 . 1 )  

( u p t o t h e b o u n d a r y t e r m s ) . I n t e r m s o f t h e p a r a m e t e r     t h e b o u n d s o f T h e o r e m 1 . 1 a r e  

u p p 

= c o s h    ?   1 ( 1 . 9 )

l o w 

= c o s h   

 

1  ?  

p   

1  ?   t a n h    

 

( 1 . 1 0 )  

N e a r t h e i s o t r o p i c f e r r o m a g n e t ( = 1 ) t h e u p p e r a n d l o w e r b o u n d b o t h b e h a v e l i n e a r l y ,  

w i t h a s l o p e 2 a n d 1 r e s p e c t i v e l y . T h i s x e s t h e c r i t i c a l e x p o n e n t     w h i c h g o v e r n s t h e  

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 5/18

M a s s g a p o f t h e X X Z c h a i n   5 

b e h a v i o r o f t h e g a p ( a s w e l l a s t h e l o w - t e m p e r a t u r e b e h a v i o u r o f t h e s p e c i c h e a t ) n e a r  

= 1 t o b e e q u a l t o 1 , w h i c h i s i n a g r e e m e n t w i t h t h e e x a c t r e s u l t o f J o h n s o n , K r i n s k y a n d  

M c C o y 1 0 ] . N e a r = +   1    t h e l o w e r b o u n d b e h a v e s a s 1   ?  

p   

2  =  . 

F i g u r e 1 g i v e s a n i d e a o f t h e d i e r e n c e b e t w e e n t h e b o u n d s ?  

l o w 

a n d ?  

u p p 

. ? 

u p p 

, h e r e  

d e r i v e d b y a v a r i a t i o n a l a r g u m e n t i n S e c t i o n 4 , i s t h e e x a c t s o l u t i o n g i v e n b y t h e B e t h e  

A n s a t z 1 1 , 1 2 , 1 3 ] . A l s o f o r t h e n i t e v o l u m e e s t i m a t e s a t = 1 , t h e r e a r e e x a c t e x p r e s s i o n s  

f o r t h e c o e c i e n t o f 1  = L 

1 4 ] .  

T h e a d v a n t a g e s o f t h e a p p r o a c h i n t h i s p a p e r a r e : 1 ) T h e m e t h o d c a n b e a p p l i e d a l s o  

t o H a m i l t o n i a n s t h a t c a n n o t b e e x p l i c i t l y d i a g o n a l i z e d ; 2 ) A s t h e t h e t r e a t m e n t i s s h o r t ,  

t r a n s p a r e n t , a n d c o m p l e t e l y r i g o r o u s , i t s h o u l d a l s o d e l i v e r a b e t t e r i n s i g h t i n t h e d e t e r m i n i n g  

p r o p e r t i e s o f t h e g a p ; 3 ) I t i s p o s s i b l e t o o b t a i n u s e f u l b o u n d s d o w n t o t h e c r i t i c a l p o i n t  

( h e r e = 1 ) , w h e r e a s t h i s i s u s u a l l y n o t p o s s i b l e w i t h o t h e r r i g o r o u s m e t h o d s s u c h a s , e . g . ,  

t h e p o l y m e r e x p a n s i o n t e c h n i q u e o f 1 5 ] .  

2 T h e g r o u n d s t a t e s o f t h e X X Z c h a i n      

O n l y t h e s e a s p e c t s o f t h e g r o u n d s t a t e s o f t h e X X Z c h a i n t h a t h a v e d i r e c t r e l e v a n c e t o o u r  

e s t i m a t e s a n d u n d e r s t a n d i n g o f t h e s p e c t r a l g a p o f t h e m o d e l w i l l b e p r e s e n t e d h e r e . A m o r e  

d e t a i l e d a n a l y s i s c a n b e f o u n d i n 1 6 ] , a n d v a r i o u s a s p e c t o f t h e g r o u n d s t a t e s h a v e b e e n  

d i s c u s s e d i n t h e l i t e r a t u r e ( s e e e . g . 1 7 ] a n d t h e r e f e r e n c e s t h e r e i n ) . I t s h o u l d b e m e n t i o n e d  

t h a t a f u l l a n a l y s i s o f t h e g r o u n d s t a t e p r o b l e m f o r t h e i n n i t e c h a i n h a s n o t b e e n a c h i e v e d  

y e t . B e l o w w e g i v e a c l e a r d e s c r i p t i o n o f w h a t i s b e l i e v e d t o b e t h e c o m p l e t e s e t o f g r o u n d  

s t a t e s f o r t h e i n n i t e c h a i n . I a m n o t a w a r e o f a r i g o r o u s p r o o f t h a t t h i s i s i n d e e d t h e  

c a s e . L o o s e l y s p e a k i n g o n e w o u l d o b t a i n a d e s c r i p t i o n o f t h e c o m p l e t e s e t o f g r o u n d s t a t e s  

b y s t u d y i n g t h e t h e r m o d y n a m i c l i m i t w i t h a r b i t r a r y b o u n d a r y c o n d i t i o n s . T h e d i c u l t y i s  

t h a t a s i m p l e d e s c r i p t i o n o f a s u c i e n t l y l a r g e c l a s s o f b o u n d a r y c o n d i t i o n s i s n o t a v a i l a b l e .  

F o r t u n a t e l y t h e s t a t e m e n t s i n t h i s a r t i c l e d o n o t d e p e n d o n t h e c o m p l e t e n e s s o f t h e s e t o f  

g r o u n d s t a t e s c o n s i d e r e d .  

F o r t h e s t u d y o f t h e n i t e c h a i n s i n t h i s s e c t i o n w e s h a l l e m p l o y t h e s p e c i a l b o u n d a r y  

c o n d i t i o n s i n t r o d u c e d i n ( 1 . 1 ) . T h i s c h o i c e o f b o u n d a r y c o n d i t i o n s s i m p l i e s t h e s t u d y o f  

t h e t h e r m o d y n a m i c l i m i t . I t i s a l s o c o n v e n i e n t t o a d d a c o n s t a n t t o t h e H a m i l t o n i a n t o  

m a k e t h e g r o u n d s t a t e e n e r g y v a n i s h . T h i s w a y , u s i n g t h e p a r a m e t e r     , w e a r r i v e a t t h e  

H a m i l t o n i a n ,  

 

=  H 

X X Z 

+ (  L  ?   1 )  =  4 = 

L  ?  1 

X  

x  = 1 

 

x ; x  + 1 

( 2 . 1 )  

w h e r e   h 

 

x ; x  + 1 

i s t h e o r t h o g o n a l p r o j e c t i o n o n t h e v e c t o r  

 

 

1 +   

(    j " # i ? j # " i  ) ( 2 . 2 )  

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 6/18

M a s s g a p o f t h e X X Z c h a i n   6 

I n t e r m s o f t h e s p i n m a t r i c e s   h 

 

1  ;  2 

i s 

 

1  ;  2 

=  ?    

?  1 

(  S 

+  S 

)  ?   S 

+  A  ( ) (  S 

?   S 

) ( 2 . 3 )  

w i t h   A  d e n e d f o l l o w i n g ( 1 . 1 ) . F r o m t h e d e n i t i o n o f    

 

i t i s o b v i o u s t h a t   h 

 

x ; x  + 1 

j " " i   = 0 

f o r a l l   x  = 1  ; : : : ; L   ?   1 . A s   H 

 

i s t h e s u m o f t h e   h 

 

x ; x  + 1 

, w h i c h a r e p o s i t i v e , t h i s i m p l i e s t h a t  

t h e g r o u n d s t a t e e n e r g y o f   H 

 

i s z e r o a n d t h a t   j " " i   i s a g r o u n d s t a t e . F o r a l l 0           1 , 

t h e g r o u n d s t a t e s p a c e (     k e r  H 

 

) i s  L  + 1 - d i m e n s i o n a l . A n e x p l i c i t d e s c r i p t i o n o f t h e   L  + 1 

g r o u n d s t a t e s c a n b e g i v e n i n s e v e r a l w a y s .  

F o r a l l      1 t h e u n i f o r m s t a t e s   j " " i   a n d  j # # i   a r e g r o u n d s t a t e s o f t h e X X Z  

c h a i n . I f = 1 t h e   L  + 1 - d i m e n s i o n a l g r o u n d s t a t e s p a c e i s t h e s p i n   L =  2 r e p r e s e n t a t i o n  

o f S U ( 2 ) . F o r a l l   >  1 a n d   A  = 

q  

1  ?   1  =   

, t h e n o n - u n i f o r m g r o u n d s t a t e s c a n b e  

t h o u g h t o f a s k i n k s t a t e s , w h i c h a r e r o u g h l y d e s c r i b e d a s t h e I s i n g k i n k s p l u s q u a n t u m  

u c t u a t i o n s . I n t h i s p i c t u r e t h e d e g e n e r a c y c o r r e s p o n d s t o t h e p o s s i b l e l o c a t i o n s o f t h e  

k i n k . F o r   A  =  ?  

q  

1  ?   1  =   

t h e k i n k s h a v e t o b e r e p l a c e d b y a n t i k i n k s , i . e . , t h e r o l e s o f   "  

a n d  #   s p i n s h a v e t o b e i n t e r c h a n g e d ( o r , e q u i v a l e n t l y , o n e c a n i n t e r c h a n g e l e f t a n d r i g h t ) .  

W e r e f e r t o 1 7 ] a n d 1 6 ] f o r m o r e d e t a i l s a n d e x p l i c i t e x p r e s s i o n s .  

I n t h e t h e r m o d y n a m i c l i m i t t h e b o u n d a r y t e r m s d i s a p p e a r t o i n n i t y a n d t h e l e f t - r i g h t  

s y m m e t r y o f t h e m o d e l , b r o k e n b y t h e p a r t i c u l a r b o u n d a r y t e r m s w e h a v e i n t r o d u c e d , m u s t  

b e r e s t o r e d . I t i s t h e r e f o r e o b v i o u s t h a t b o t h t h e k i n k a n d a n t i k i n k s t a t e s a p p e a r a s i n n i t e  

v o l u m e g r o u n d s t a t e s o f t h e m o d e l .  

F o r o u r p u r p o s e s t h e m o s t c o n v e n i e n t w a y t o d e s c r i b e t h e s p a c e o f g r o u n d s t a t e s o f a  

c h a i n o f l e n g t h   L  i s t o i n t r o d u c e d e f o r m e d r a i s i n g a n d l o w e r i n g o p e r a t o r s w h i c h , t o g e t h e r  

w i t h t h e t h i r d c o m p o n e n t o f t h e s p i n , g e n e r a t e t h e a l g e b r a ( q u a n t u m g r o u p ) o f S U  

 

( 2 ) .  

T h e c o n c r e t e r e p r e s e n t a t i o n o f S U  

 

( 2 ) i s   n o t  l e f t - r i g h t s y m m e t r i c , a n d i s d i e r e n t f o r t h e  

b o u n d a r y t e r m s t h a t p r o d u c e k i n k a n d a n t i k i n k g r o u n d s t a t e s . I n f a c t t h e t w o m u t u a l l y n o n -  

c o m m u t i n g r e p r e s e n t a t i o n s o f S U  

 

( 2 ) t o g e t h e r g e n e r a t e t h e i n n i t e - d i m e n s i o n a l q u a n t u m  

a n e s y m m e t r y a l g e b r a  

s l  ( 2 ) t h a t l i e s a t t h e b a s i s o f t h e i n t e g r a b i l i t y o f t h e m o d e l ( s e e e . g .  

1 8 ] ) . W e s h o u l d s t r e s s , h o w e v e r , t h a t a r i g o r o u s f o r m u l a t i o n o f t h i s i n n i t e d i m e n s i o n a l  

s y m m e t r y o f t h e X X Z c h a i n , h a s n o t y e t b e e n o b t a i n e d . W e w i l l n o t u s e i t h e r e .  

I n o u r c o m p u t a t i o n s w e w i l l n o t n e e d a n y t h i n g b e y o n d s o m e b a s i c f a c t s o f t h e r e p r e s e n t a -  

t i o n t h e o r y o f S U  

 

( 2 ) . W e t h e r e f o r e r e s t r i c t t h e d i s c u s s i o n o f t h e q u a n t u m g r o u p s y m m e t r y  

o f t h e X X Z m o d e l t o t h e b a r e m i n i m u m . O n e c a n t h i n k o f t h e q u a n t u m g r o u p s y m m e t r y  

a s a s y s t e m a t i c w a y t o c o n s t r u c t o p e r a t o r s t h a t c o m m u t e w i t h t h e H a m i l t o n i a n s   H 

 

. T h e  

p a r a l l e l l i s m w i t h t h e u s u a l a r g u m e n t s i n t h e \ t h e o r y o f a n g u l a r m o m e n t u m " i n q u a n t u m  

m e c h a n i c s ( r e p r e s e n t a t i o n s o f S U ( 2 ) ) i s s o p e r f e c t t h a t t h e r e a d e r w i l l h a r d l y n o t i c e t h e  

d i e r e n c e .  

F o r 0   < <  1 d e n e t h e 2      2 m a t r i x   t  b y 

t  =   

?  2  S 

( 2 . 4 )  

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 7/18

M a s s g a p o f t h e X X Z c h a i n   7 

a n d d e n e a s u s u a l   S 

 

=  S 

   i S 

. I t i s t r i v i a l t o c h e c k t h a t   S 

 

a n d  t  s a t i s f y t h e f o l l o w i n g  

c o m m u t a t i o n r e l a t i o n s  

t S 

 

=   

  2 

 

t  ( 2 . 5 - a )  

  S 

; S 

] = 

?  t 

?  1 

 

?  1 

?   

= 2  S 

( 2 . 5 - b )  

T h e y a r e j u s t t h e S U ( 2 ) c o m m u t a t i o n r e l a t i o n s i n a d i s g u i s e d f o r m . T h e r e m a r k a b l e f a c t  

i s t h a t t h e r e i s a s i m p l e d e n i t i o n o f t h e t e n s o r p r o d u c t ( c o p r o d u c t o f t h e q u a n t u m g r o u p  

o r p s e u d o g r o u p 1 9 , 2 0 ] ) o f a n y t w o r e p r e s e n t a t i o n s o f t h e c o m m u t a t i o n r e l a t i o n s ( 2 . 5 - a ) {  

( 2 . 5 - b ) , y i e l d i n g a n e w r e p r e s e n t a t i o n . H e r e w e o n l y n e e d t h e t o t a l - s p i n o p e r a t o r s f o r a c h a i n  

o f  L  s p i n s , w h i c h a r e g i v e n b y  

1  ; L  ] 

X  

x  = 1 

1 I 

   S 

   1 I 

x  + 1 

 1 I 

( 2 . 6 - a )  

1  ; L  ] 

X  

x  = 1 

   t 

x  ?  1 

   S 

   1 I 

x  + 1 

 1 I 

( 2 . 6 - b )  

1  ; L  ] 

X  

x  = 1 

1 I 

   S 

   t 

?  1 

x  + 1 

 t 

?  1 

( 2 . 6 - c )  

w h e r e w e u s e d a n i n d e x t o i d e n t i f y t h e s i t e s o n w h i c h t h e t e n s o r f a c t o r s a c t . N o t e t h a t , f o r  

L     2 , t h e o p e r a t o r s   S 

 

1  ; L  ] 

d e p e n d o n     t h r o u g h   t  . O n e c a n e a s i l y c h e c k t h a t t h e t o t a l \ s p i n "  

o p e r a t o r s a s d e n e d i n ( 2 . 6 - a ) { ( 2 . 6 - c ) c o m m u t e w i t h t h e i n t e r a c t i o n t e r m s   h 

 

x ; x  + 1 

a n d h e n c e  

w i t h t h e H a m i l t o n i a n   H 

 

i t s e l f .  

3 E s t i m a t e o f t h e m a s s g a p f o r n i t e c h a i n s    

W e b e g i n t h i s s e c t i o n w i t h t h e d e r i v a t i o n o f a s i m p l e l o w e r b o u n d f o r t h e s p e c t r a l g a p o f  

n i t e c h a i n s f o r H a m i l t o n i a n s t h a t s h a r e s o m e o f t h e b a s i c p r o p e r t i e s o b s e r v e d i n t h e X X Z  

c h a i n ( T h e o r e m 3 . 2 ) . A m o r e g e n e r a l v e r s i o n o f t h i s e s t i m a t e w a s g i v e n i n 1 ] w h e r e i t w a s  

u s e d t o p r o v e t h e e x i s t e n c e o f a s p e c t r a l g a p i n a r b i t r a r y G e n e r a l i z e d V a l e n c e B o n d S o l i d  

c h a i n s w i t h a n i t e n u m b e r o f g r o u n d s t a t e s . A s a s t r a t e g y f o r o b t a i n i n g l o w e r b o u n d s f o r  

t h e s p e c t r a l g a p o f t h e g e n e r a t o r o f a s p i n d y n a m i c s , t h e m e t h o d o f p r o o f i s i n s p i r e d b y t h e  

w o r k o f L u a n d Y a u 2 1 ] o n t h e g a p i n t h e s p e c t r u m o f t h e G l a u b e r a n d K a w a s a k i d y n a m i c s  

o f t h e I s i n g m o d e l . T h e i n g r e d i e n t s t h a t g o i n t o t h e e s t i m a t e a r e n o t v e r y d i e r e n t f r o m t h e  

o n e s i n 2 2 ] a n d i n f a c t s i m i l a r e l e m e n t s u n d e r l y t h e a r g u m e n t s i n 2 3 , 2 4 , 2 5 ] .  

H e r e , w e r e s t r i c t o u r s e l v e s t o t h e s i m p l e s t f o r m o f t h i s e s t i m a t e , w h i c h i s s u c i e n t f o r  

t h e a p p l i c a t i o n t o t h e X X Z c h a i n .  

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 8/18

M a s s g a p o f t h e X X Z c h a i n   8 

C o n s i d e r a n a r b i t r a r y s p i n c h a i n o f   L  s i t e s a n d w i t h H i l b e r t s p a c e   H  

N  

x  = 1 

( C 

w h e r e a g a i n w e u s e t h e i n d e x   x  t o a s s o c i a t e t h e t e n s o r f a c t o r s w i t h t h e s i t e s i n t h e c h a i n .  

W e a s s u m e t h a t t h e H a m i l t o n i a n i s o f t h e f o l l o w i n g f o r m :  

L  ?  1 

X  

x  = 1 

x ; x  + 1 

( 3 . 1 )  

w h e r e   h 

x ; x  + 1 

i s a t r a n s l a t i o n o f   h 

1  ;  2 

, a c t i n g n o n - t r i v i a l l y o n l y a t t h e n e a r e s t n e i g h b o u r p a i r  

f   x ; x  + 1  g   . A s s u m e f u r t h e r m o r e t h a t   h 

1  ;  2 

   0 a n d t h a t k e r  H 

6=  f   0  g   . W e w i l l d e n o t e b y    

t h e s m a l l e s t n o n z e r o e i g e n v a l u e o f   h 

1  ;  2 

, i . e . , t h e g a p o f   H 

. I t i s o b v i o u s t h a t  

k e r  H 

L  ?  1 

\  

x  = 1 

k e r  h 

x ; x  + 1 

( 3 . 2 )  

F o r a n a r b i t r a r y s u b s e t l e t   G 

 

b e t h e o r t h o g o n a l p r o j e c t i o n o n t o  

k e r 

X  

x ;  f  x ; x  + 1  g    

x ; x  + 1 

( 3 . 3 )  

F o r i n t e r v a l s  a ; b  ] , 1     a < b     L  ,  G 

  a ; b  ] 

i s t h e o r t h o g o n a l p r o j e c t i o n o n t o t h e z e r o e i g e n -  

v e c t o r s o f  

P  

b  ?  1 

x  =  a 

x ; x  + 1 

, a n d   G 

f  x  g 

= 1 I f o r a l l   x  . F r o m t h e s e d e n i t i o n s i t i m m e d i a t e l y f o l l o w s  

t h a t t h e o r t h o g o n a l p r o j e c t i o n s   G 

 

s a t i s f y t h e f o l l o w i n g p r o p e r t i e s :  

 

 

=  G 

 

 

=  G 

 

i f  

    

( 3 . 4 - a )  

 

 

=  G 

 

 

i f  

\   

;  ( 3 . 4 - b )  

x ; x  + 1 

    

( 1 I  ?   G 

  x ; x  + 1 ] 

) ( 3 . 4 - c )  

D e n e o p e r a t o r s   E 

, 1     n     L  , o n  H  

b y 

1 I  ?   G 

1  ;  2 ] 

i f  n  = 1 

1  ; n  ] 

?   G 

1  ; n  + 1 ] 

i f 2     n     L  ?   1 

1  ; L  ] 

i f  n  =  L 

( 3 . 5 )  

O n e c a n t h e n e a s i l y v e r i f y , u s i n g t h e p r o p e r t i e s ( 3 . 4 - a ) - ( 3 . 4 - c ) , t h a t   f   E 

j  1     n     L  g   i s a 

f a m i l y o f m u t u a l l y o r t h o g o n a l p r o j e c t i o n s s u m m i n g u p t o 1 I , i . e . :  

 

=  E 

; E 

=   

m ; n 

X  

n  = 1 

= 1 I ( 3 . 6 )  

T h e p r e c e d i n g p a r a g r a p h a p p l i e s d i r e c t l y t o t h e X X Z c h a i n . N e x t , w e m a k e a n o n - t r i v i a l  

a s s u m p t i o n w h i c h w e w i l l v e r i f y f o r t h e X X Z c h a i n l a t e r .  

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 9/18

M a s s g a p o f t h e X X Z c h a i n   9 

A s s u m p t i o n 3 . 1   T h e r e e x i s t s a c o n s t a n t   "  ,  0     " <  1  = 

p   

2  , s u c h t h a t f o r a l l   1     n     L  ?   1 

  n ; n  + 1 ] 

  " 

( 3 . 7 )  

o r , e q u i v a l e n t l y ,  

k  G 

  n ; n  + 1 ] 

k    "  ( 3 . 8 )  

N o t e t h a t , d u e t o ( 3 . 4 - a ) ,   G 

  n ; n  + 1 ] 

=  G 

  n ; n  + 1 ] 

1  ; n  ] 

?   G 

1  ; n  + 1 ] 

. T h i s r e l a t e s A s s u m p t i o n  

3 . 1 w i t h L e m m a 6 . 2 i n 2 2 ] , w h e r e a n e s t i m a t e f o r   k  G 

  n ; n  + 1 ] 

1  ; n  ] 

?   G 

1  ; n  + 1 ] 

k  i s g i v e n f o r g e n e r a l  

V a l e n c e B o n d S o l i d c h a i n s w i t h a u n i q u e i n n i t e v o l u m e g r o u n d s t a t e . T h e s a m e o b s e r v a t i o n  

a l s o i m p l i e s t h a t  G 

  n ; n  + 1 ] 

; G 

1  ; n  ] 

] =   G 

  n ; n  + 1 ] 

; E 

] , w h i c h , i f ( 3 . 8 ) h o l d s , i s b o u n d e d a b o v e i n  

n o r m b y 2  "  . 

T h e n e x t t h e o r e m i s a s p e c i a l c a s e o f T h e o r e m 2 . 1 i n 1 ] . J u s t l i k e T h e o r e m 6 . 4 i n 2 2 ]  

i t p r o v i d e s a l o w e r b o u n d o n t h e g a p o f t h e n i t e v o l u m e H a m i l t o n i a n s , b u t i t a c h i e v e s t h i s  

i n a s l i g h t l y m o r e e c i e n t w a y . W e w i l l r e p e a t t h e p r o o f f o r t h e p a r t i c u l a r c a s e s t a t e d h e r e ,  

b e c a u s e i t i s s i m p l e , s h o r t , a n d i n s t r u c t i v e .  

T h e o r e m 3 . 2   W i t h t h e d e n i t i o n s o f a b o v e a n d u n d e r A s s u m p t i o n 3 . 1 t h e f o l l o w i n g e s t i -  

m a t e h o l d s f o r a l l     s a t i s f y i n g   G 

1  ; L  ] 

  = 0  , i . e . ,     t h a t a r e o r t h o g o n a l t o t h e s p a c e o f g r o u n d  

s t a t e s o f   H 

h    j  H 

  i     

( 1  ?  

p   

2  "  ) 

k    k 

( 3 . 9 )  

i . e . , t h e s p e c t r u m o f   H 

h a s a g a p o f a t l e a s t    

( 1  ?  

p   

2  "  ) 

a b o v e t h e l o w e s t e i g e n v a l u e , w h i c h  

i s  0  . 

p r o o f :  

> F r o m t h e p r o p e r t i e s ( 3 . 6 ) o f t h e   E 

a n d t h e a s s u m p t i o n t h a t   G 

1  ; L  ] 

  = 0 , i t i m m e d i a t e l y  

f o l l o w s t h a t  

k    k 

L  ?  1 

X  

n  = 1 

k  E 

  k 

( 3 . 1 0 )  

O n e c a n e s t i m a t e  

k E 

 

i n t e r m s o f  

h  

j h 

n ; n  + 1 

 

i a s f o l l o w s . F i r s t i n s e r t   G 

  n ; n  + 1 ] 

a n d t h e  

r e s o l u t i o n  

f  E 

g  : 

k E 

 

h  

j ( 1 I 

?  G 

  n ; n  + 1 ] 

)  E 

 

i + 

h  

L  ?  1 

X  

m  = 1 

  n ; n  + 1 ] 

 

i ( 3 . 1 1 )  

U s i n g ( 3 . 4 - a ) a n d ( 3 . 4 - b ) o n e e a s i l y v e r y e s t h a t   E 

c o m m u t e s w i t h   G 

n ; n  + 1 

i f e i t h e r   m     n  ?   2 

o r  m     n  + 1 . I n t h e s e c a s e s   E 

  n ; n  + 1 ] 

=  G 

  n ; n  + 1 ] 

= 0 , b e c a u s e t h e   E 

f o r m a n  

o r t h o g o n a l f a m i l y . B y t h i s o b s e r v a t i o n w e o b t a i n t h e f o l l o w i n g e s t i m a t e . F o r a n y c h o i c e o f  

c o n s t a n t s   c 

; c 

>  0 : 

k  E 

  k 

=  h    j  ( 1 I  ?   G 

  n ; n  + 1 ] 

)  E 

  i  +  h  (  E 

n  ?  1 

+  E 

)    j  G 

  n ; n  + 1 ] 

  i 

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 10/18

M a s s g a p o f t h e X X Z c h a i n   1 0 

  

2  c 

h    j  ( 1 I  ?   G 

  n ; n  + 1 ] 

)    i  + 

h    j  E 

  i  ( 3 . 1 2 )  

2  c 

h    j  E 

  n ; n  + 1 ] 

  i  + 

h    j  (  E 

n  ?  1 

+  E 

  i 

w h e r e w e h a v e a p p l i e d t h e i n e q u a l i t y  

j h  ' 

j  ' 

i j   

2  c 

k  ' 

k  ' 

f o r a n y   c >  0 , t o b o t h t e r m s o f ( 3 . 1 1 ) . T h e r s t t e r m i n t h e r i g h t s i d e o f i n e q u a l i t y ( 3 . 1 2 )  

c a n b e e s t i m a t e d w i t h t h e i n t e r a c t i o n u s i n g ( 3 . 4 - c ) . T h e t h i r d t e r m c a n b e e s t i m a t e d w i t h  

( 3 . 7 ) . I t t h e n f o l l o w s t h a t  

( 2  ?   c 

?  

)  k  E 

  k 

?   c 

k  (  E 

n  ?  1 

+  E 

)    k 

  

 

h    j  h 

n ; n  + 1 

  i 

T h e t e r m c o n t a i n i n g   E 

n  ?  1 

i s a b s e n t f o r   n  = 1 , a n d   E 

  = 0 i f  n  =  L  . W e n o w s u m o v e r   n 

a n d u s e ( 3 . 1 0 ) t o o b t a i n  

( 2 

?  c 

?  

?  2  c 

k  

  

 

h  

j H 

 

F i n a l l y p u t   c 

= 1  ?   " 

p   

2 a n d   c 

=  " = 

p   

2 a n d o n e o b t a i n s t h e e s t i m a t e ( 3 . 9 ) s t a t e d i n t h e  

t h e o r e m .  

W e n o w r e t u r n t o t h e X X Z c h a i n a n d p r o v e a l o w e r b o u n d o n t h e g a p o f t h e n i t e v o l u m e  

H a m i l t o n i a n s ( 1 . 1 ) a s a n a p p l i c a t i o n o f T h e o r e m 3 . 2 .  

P r o p o s i t i o n 3 . 3   F o r a s p i n 1 / 2 c h a i n o f l e n g t h   L  , t h e H a m i l t o n i a n s  

X X Z 

=  A  (  S 

?   S 

)  ?  

L  ?  1 

X  

x  = 1 

f  

 

(  S 

x  + 1 

+  S 

x  + 1 

) +  S 

x  + 1 

?  

g   ( 3 . 1 3 )  

w i t h   A  =    

q  

1  ?   1  =   

,       1  , h a v e a n   L  + 1  - f o l d d e g e n e r a t e g r o u n d s t a t e w i t h e i g e n v a l u e  

0  a n d t h e i r n e x t l a r g e s t e i g e n v a l u e ,    

, s a t i s e s  

 

   ( 1  ?  

s  

2   

  +   

?  1 

= ( 1  ?  

p   

1  ?   t a n h     ) 

= ? 

l o w 

( ) ( 3 . 1 4 )  

w h e r e   ? 

l o w 

( )  i s d e n e d i n ( 1 . 7 ) . I f   = 1  o n e h a s t h e l o w e r b o u n d  

 

   ( 1  ?  

s  

1  ?  

L  ?   1 

  

4  L 

( 3 . 1 5 )  

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 11/18

M a s s g a p o f t h e X X Z c h a i n   1 1 

p r o o f :  

D u e t o t h e r e e c t i o n ( l e f t - r i g h t ) s y m m e t r y o f t h e i n t e r a c t i o n i t i s c l e a r l y s u c i e n t t o c o n s i d e r  

o n e s i g n o f   A  i n ( 3 . 1 3 ) , s a y   A     0 . T h e p r o o f c o n s i s t s i n g i v i n g a c o n s t a n t   "  f o r w h i c h  

A s s u m p t i o n 3 . 1 h o l d s . I n f a c t , f o r t h e m o d e l u n d e r c o n s i d e r a t i o n o n e c a n s i m p l y c o m p u t e  

t h e q u a n t i t y   k  G 

  n ; n  + 1 ] 

k  . T h e s p a c e s o n w h i c h t h e   G 

  a ; b  ] 

p r o j e c t a r e d e s c r i b e d e x p l i c i t l y i n  

S e c t i o n 2 . H e r e , w e c o n s i d e r a l l o p e r a t o r s a s a c t i n g o n   H  

. T h e q u a n t i t y   k  G 

  n ; n  + 1 ] 

k  i s 

e q u a l t o   C 

d e n e d f o r   n     1 b y 

= s u p  

0  6=    2 H 

n  + 1 

  =   

k  G 

  n ; n  + 1 ] 

  k 

k    k 

( 3 . 1 6 )  

I t f o l l o w s f r o m ( 3 . 4 - a ) t h a t   k  E 

  k 

=  k  G 

1  ; n  ] 

  k 

? k  G 

1  ; n  + 1 ] 

  k 

. T h e r e f o r e , t h e r e q u i r e m e n t  

  =    c a n b e e x p r e s s e d a s  

1  ; n  ] 

  =  ; G 

1  ; n  + 1 ] 

  = 0 ( 3 . 1 7 )  

A s l o n g a s 1      n     L  ?   1 ,  C 

d o e s n o t d e p e n d o n   L  . 

T h e r e p r e s e n t a t i o n t h e o r y o f S U  

 

( 2 ) i s i s o m o r p h i c t o t h e o n e o f S U ( 2 ) 2 6 ] . T h e i r -  

r e d u c i b l e r e p r e s e n t a t i o n s c a n b e l a b e l e d b y t h e h a l f - i n t e g e r s   s  = 0  ;  1  =  2  ;  1  ;  3  =  2  ; : : :  , a n d w e  

d e n o t e t h e m b y   D 

(  s  ) 

. W e w i l l u s e a s u b s c r i p t t o i n d i c a t e t h e s e t o f s i t e s o n w h i c h a p a r t i c -  

u l a r r e p r e s e n t a t i o n a c t s .   D 

(  s  ) 

i s r e a l i z e d o n  

H  

2  s 

  

N  

2  s 

a s t h e s p a c e o f g r o u n d s t a t e s  

o f  H 

 

2  s 

. T h e s e e l e m e n t a r y f a c t s a r e s u c i e n t t o d e t e r m i n e t h e v e c t o r s     s a t i s f y i n g ( 3 . 1 7 ) .  

I n d e e d ,   G 

1  ; n  ] 

  =    i m p l i e s t h a t     2   D 

(  n =  2 ) 

1  ; n  ] 

   D 

( 1  =  2 ) 

f  n  + 1  g 

H  

n  + 1 

. A s  D 

(  n =  2 ) 

   D 

( 1  =  2 ) 

  

( (  n  ?  1 )  =  2 ) 

   D 

( (  n  + 1 )  =  2 ) 

,  G 

1  ; n  + 1 ] 

  = 0 i m p l i e s t h a t     2   D 

( (  n  ?  1 )  =  2 ) 

T h e r a t i o o f n o r m s i n ( 3 . 1 6 ) i s i n v a r i a n t u n d e r t h e a c t i o n o f S U  

 

( 2 ) , a n d i s t h e r e f o r e t h e  

s a m e f o r a l l     2   D 

( (  n  ?  1 )  =  2 ) 

. O n e s h o w s t h i s j u s t a s o n e w o u l d f o r a g r o u p r e p r e s e n t a t i o n . F o r  

c o m p l e t e n e s s w e i n c l u d e a d e t a i l e d a r g u m e n t h e r e .   G 

  n ; n  + 1 ] 

= 1 I  ? j   

 

i h   

 

j  c o m m u t e s w i t h  

1  ; n  + 1 ] 

. T h e r e f o r e , i t i s s u c i e n t t o c o n s i d e r     t h a t a r e e i g e n v e c t o r s o f   S 

1  ; n  + 1 ] 

. S t a r t i n g  

f o r m o n e s u c h e i g e n v e c t o r w e c a n g e n e r a t e a l l o t h e r s b y a p p l i c a t i o n o f   S 

 

1  ; n  + 1 ] 

. A s s u m i n g  

t h a t   S 

 

1  ; n  + 1 ] 

  6= 0 a n d u s i n g t h e f a c t t h a t   G 

  n ; n  + 1 ] 

a l s o c o m m u t e s w i t h   S 

 

1  ; n  + 1 ] 

w e n d  

k  G 

  n ; n  + 1 ] 

 

1  ; n  + 1 ] 

  k 

k  S 

 

1  ; n  + 1 ] 

  k 

h    j  G 

  n ; n  + 1 ] 

(  S 

 

1  ; n  + 1 ] 

 

 

1  ; n  + 1 ] 

  i 

h    j  (  S 

 

1  ; n  + 1 ] 

 

 

1  ; n  + 1 ] 

  i 

( 3 . 1 8 )  

A s (  S 

1  ; n  + 1 ] 

 

=   

?  1 

1  ; n  + 1 ] 

1  ; n  + 1 ] 

( s e e ( 2 . 6 - a ) a n d ( 2 . 6 - b ) ) , (  S 

 

1  ; n  + 1 ] 

 

 

1  ; n  + 1 ] 

  i s a n e i g e n v e c -  

t o r o f   S 

1  ; n  + 1 ] 

w i t h t h e s a m e e i g e n v a l u e a s     . T h i s v e c t o r a l s o b e l o n g s t o t h e s a m e i r r e d u c i b l e  

r e p r e s e n t a t i o n a n d h e n c e i t m u s t b e p r o p o r t i o n a l t o     . I t f o l l o w s t h a t t h e r a t i o i n ( 3 . 1 8 ) i s  

t h e s a m e a s f o r     . 

T h e c o m p u t a t i o n o f   C 

i s n o w s t r a i g h t f o r w a r d , f o r w e h a v e t o c o n s i d e r j u s t o n e v e c t o r  

6=   

2  D 

( (  n  ?  1 )  =  2 ) 

, e . g . , o n e w i t h   S 

1  ; n  + 1 ] 

= (  n 

?  1 )  =  2 . A n y s u c h v e c t o r i s o f t h e f o r m  

  = 

n  + 1 

X  

x  = 1 

( 3 . 1 9 )  

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 12/18

M a s s g a p o f t h e X X Z c h a i n   1 2 

w h e r e   D 

d e n o t e s t h e u s u s a l b a s i s v e c t o r w i t h a l l s p i n s u p e x c e p t a t t h e s i t e   x  w h e r e t h e s p i n  

i s d o w n . U p t o n o r m a l i z a t i o n t h e c o e c i e n t s   a 

a r e u n i q u e l y d e t e r m i n e d b y t h e c o n d i t i o n s  

( 3 . 1 7 ) . A p o s s i b l e c h o i c e i s  

  = 

 

?    

?  n 

  ?    

?  1 

n  + 1 

?  

X  

x  = 1 

 

?  x 

( 3 . 2 0 )  

A s h o r t c o m p u t a t i o n s h o w s t h a t  

k    k 

(   

?    

?  n 

) (   

?    

?  n  ?  2 

(    ?    

?  1 

( 3 . 2 1 )  

k  G 

  n ; n  + 1 ] 

  k 

(   

n  ?  1 

?    

?  n  + 1 

) (   

?    

?  n  ?  2 

(   

?   

?  1 

(    +   

?  1 

( 3 . 2 2 )  

a n d t h e r e f o r e  

q  

  ( 1  ?    

2  n  ?  2 

q  

(    +   

?  1 

) ( 1  ?    

2  n 

( 3 . 2 3 )  

w h i c h i s i n c r e a s i n g i n   n  a n d  C 

<  1  = 

p   

2 f o r a l l   n     1 . W e c o n c l u d e t h a t t h e a s s u m p t i o n s o f  

T h e o r e m 3 . 2 a r e s a t i s e d w i t h  

"  =  C 

L  ?  1 

s  

 

  +   

?  1 

( 3 . 2 4 )  

T h i s p r o v e s t h e t h e o r e m f o r 0   < <  1 . F o r     = 1 o n e h a s t o c o n s i d e r t h e l i m i t  

"  = l i m  

  "  1 

L  ?  1 

p   

s  

1  ?  

L  ?   1 

( 3 . 2 5 )  

w h i c h i s s t r a i g h t f o r w a r d t o c o m p u t e .  

4 T h e i n n i t e c h a i n      

I n o r d e r t o b e a b l e t o p r o v e r i g o r o u s s t a t e m e n t s a b o u t t h e s p e c t r u m o f t h e i n n i t e c h a i n  

w e n e e d t o i n t r o d u c e t h e m a t h e m a t i c a l o b j e c t s t h a t d e n e t h e i n n i t e s y s t e m . A l t h o u g h a l l  

i n t e r e s t i n g p r o p e r t i e s o f t h e i n n i t e c h a i n c a n b e e x p r e s s e d a s r e s u l t s f o r l i m i t s o f q u a n t i t i e s  

d e n e d f o r n i t e c h a i n s , t h e r e v e r s e i s n o t t r u e . N o t a l l l i m i t s o f n i t e c h a i n q u a n t i t i e s g i v e  

i n t e r e s t i n g o r e v e n s e n s i b l e s t a t e m e n t s a b o u t t h e i n n i t e c h a i n . B y u s i n g a c l e a n d e n i t i o n  

o f t h e i n n i t e s y s t e m w e w i l l h a v e n o d i c u l t y i n s o r t i n g o u t t h e r e l e v a n t s t a t e m e n t s a b o u t  

t h e t h e r m o d y n a m i c l i m i t o f t h e X X Z c h a i n .  

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 13/18

M a s s g a p o f t h e X X Z c h a i n   1 3 

L e t t h e s y m b o l s   " "   ;  " #   ;  # "   ;  # #   d e n o t e t h e f o u r s u p e r s e l e c t i o n s e c t o r s o f t h e i n n i t e X X Z  

c h a i n w i t h   >  1 , c o r r e s p o n d i n g t o   u p , k i n k s , a n t i k i n k s  , a n d   d o w n   r e s p e c t i v e l y . W e c a n  

d e s c r i b e t h e G N S H i l b e r t s p a c e s 2 7 ] o f t h e s e f o u r s u p e r s e l e c t i o n s e c t o r s a s t h e s o - c a l l e d  

i n c o m p l e t e t e n s o r p r o d u c t s 2 8 ]   H  

 

, f o r     a n d    =  "   o r  #   , d e n e d b y  

H  

 

  

 

O  

x  2   

  

O  

y  2   

 

 

(  y  ) 

( 4 . 1 )  

w h e r e  

 

 

(  y  ) = 

 

j    i  i f  y     0 

j    i  i f  y >  0 

( 4 . 2 )  

W e a l s o d e n e t h e v e c t o r s  

 

a s t h e i n n i t e p r o d u c t v e c t o r s  

 

 

O  

y  2  Z 

 

 

(  y  )  2 H  

 

( 4 . 3 )  

L e t  A   

 

d e n o t e t h e l o c a l o b s e r v a b l e s a c t i n g n o n t r i v i a l l y o n l y o n t h e s i t e s i n t h e n i t e s e t .  

L o c a l o b s e r v a b l e s   X  2 A   

 

a c t o n   H  

 

i n t h e o b v i o u s w a y , e . g . , t h e s p i n m a t r i c e s a t t h e s i t e  

x  a c t o n t h e   x 

t h 

f a c t o r o f t h e t e n s o r p r o d u c t ( 4 . 1 ) . F r o m t h e d e n i t i o n s a b o v e i t i s c l e a r  

t h a t v e c t o r s     o f t h e f o r m  

  =  X   

 

; X  2  

  

 

A   

 

( 4 . 4 )  

f o r m a d e n s e s u b s p a c e o f   H  

 

. N o t e t h a t i f     6=    ,  

 

i s  n o t  t h e G N S v e c t o r r e p r e s e n t i n g  

o n e o f t h e k i n k ( o r a n t i k i n k ) g r o u n d s t a t e s .  

T h e m a s s g a p o f t h e i n n i t e c h a i n i s a p r o p e r t y w h i c h i s d e n e d w i t h r e s p e c t t o a p a r t i c -  

u l a r g r o u n d s t a t e o f t h e i n n i t e s y s t e m o r , m o r e p r e c i s e l y , w i t h r e s p e c t t o a s u p e r s e l e c t i o n  

s e c t o r . T h e H a m i l t o n i a n i s r e p r e s e n t e d o n   H  

 

a s t h e g e n e r a t o r   H 

 

o f t h e H e i s e n b e r g d y -  

n a m i c s o f o b s e r v a b l e s a c t i n g o n   H  

 

. T h e d e n s e s u b s p a c e o f t h e v e c t o r s     d e n e d i n ( 4 . 4 )  

i s i n t h e d o m a i n o f   H 

 

, a n d t h e s e l f a d j o i n t o p e r a t o r   H 

 

i s u n i q u e l y d e t e r m i n e d b y t h e  

r e q u i r e m e n t  

 

X  = l i m  

  !  Z 

  H 

X X Z 

 

; X  ]  

 

( 4 . 5 )  

W e r e m a r k t h a t   H 

 

d o e s n o t d e p e n d o n b o u n d a r y t e r m s s u c h a s   A  (  S 

?   S 

) a d d e d t o t h e  

X X Z H a m i l t o n i a n f o r n i t e c h a i n s . I t i s w e l l - k n o w n 2 7 ] t h a t   H 

 

i s a p o s i t i v e o p e r a t o r i n  

g e n e r a l a n d i n t h e p r e s e n t c a s e t h i s c o u l d n o t b e m o r e c l e a r . A n e x p l i c i t f o r m u l a f o r   H 

 

i s 

 

X   

 

X  

f  x ; x  + 1  g \    6= 0 

 

x ; x  + 1 

X   

 

( 4 . 6 )  

w h e r e   h 

 

x ; x  + 1 

c a n b e t a k e n t o b e   h 

 

x ; x  + 1 

i f    =  " "   ;  # #   , o r  " #   . I f    =  # "   t h e s i g n o f t h e  

b o u n d a r y t e r m h a s t o b e r e v e r s e d . T h i s i s e q u i v a l e n t t o r e p l a c i n g     b y   

?  1 

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 14/18

M a s s g a p o f t h e X X Z c h a i n   1 4 

T h e m a s s g a p    

 

i s t h e n j u s t t h e g a p a b o v e 0 i n t h e s p e c t r u m o f   H  

 

. A f o r m u l a f o r  

 

 

i s 

 

 

= i n f  

0  6=      k e r  H 

 

  2  d o m  H 

 

h    j  H 

 

  i 

h  

j  

( 4 . 7 )  

A s ( k e r   H 

 

 

= r a n   H 

 

t h e i n m u m i n ( 4 . 7 ) c a n b e t a k e n o v e r v e c t o r s o f t h e f o r m   H 

 

  , 

a n d i t s u c e s t o t a k e     o f t h e f o r m ( 4 . 4 ) b e c a u s e t h e y a r e a c o r e f o r   H 

 

T h e r e i s n o a p r i o r i r e a s o n w h y t h e s p e c t r u m o f   H 

 

s h o u l d b e i n d e p e n d e n t o f t h e  

s u p e r s e l e c t i o n s e c t o r , i . e . i n d e p e n d e n t o f     . W e a l r e a d y k n o w t h a t t h e m u l t i p l i c i t y o f t h e  

l o w e s t e i g e n v a l u e i s d i e r e n t : i t i s 1 f o r   H 

" " 

a n d  H 

# # 

a n d i n n i t e f o r   H 

" # 

a n d  H 

# " 

. T h e r e f o r e ,  

a p r i o r i , w e s h o u l d n o t e x p e c t    

 

t o b e i n d e p e n d e n t o f     . O n e c a n e a s i l y c o n v i n c e o n e s e l f ,  

h o w e v e r , t h a t    

 

=   

 

a n d t h a t    

" " 

=   

# # 

. F r o m a s i m p l e a r g u m e n t g i v e n i n S e c t i o n 4 . 2 i t  

f o l l o w s t h a t    

 

    

" " 

. T h e u p p e r a n d l o w e r b o u n d s t h a t w e w i l l d e r i v e h e r e a r e i n d e p e n d e n t  

o f    . 

4 . 1 P r o o f o f t h e l o w e r b o u n d o f T h e o r e m 1 . 1  

I n o r d e r t o p r o v e t h e l o w e r b o u n d o f ( 1 . 5 ) w e s i m p l y h a v e t o s h o w t h a t t h e l o w e r b o u n d  

o n t h e n i t e v o l u m e g a p o b t a i n e d i n S e c t i o n 3 r e m a i n s v a l i d i n t h e t h e r m o d y n a m i c l i m i t ,  

i r r e s p e c t i v e o f t h e p a r t i c u l a r z e r o e n e r g y g r o u n d s t a t e t h a t w e a r e c o n s i d e r i n g . I t i s i m p o r t a n t  

t h a t t h e n i t e v o l u m e g a p e s t i m a t e s w e r e o b t a i n e d f o r t h e \ c o r r e c t " b o u n d a r y c o n d i t i o n s  

o f ( 1 . 1 ) . M o r e e x p l i c i t l y w e s h o w t h a t f o r a n y c h o i c e o f     a n d a l l l o c a l o b s e r v a b e l s   X  t h e 

f o l l o w i n g i n e q u a l i t y h o l d s :  

h   

 

j  X 

 

 

X   

 

i    ? 

l o w 

( )  h   

 

j  X 

 

 

X   

 

i  ( 4 . 8 )  

I f    =    ,  

 

i s t h e v e c t o r r e p r e s e n t i n g t h e u n i q u e g r o u n d s t a t e o f   H 

 

. I f    6=    ,  

 

i s 

n o t a g r o u n d s t a t e i t s e l f ( e x c e p t i n t h e I s i n g l i m i t =   1    ) . B u t a l l t h e k i n k ( i f     =  " #   ) 

o r a n t i k i n k s t a t e s ( i f     =  # "   ) a r e r e p r e s e n t e d a s v e c t o r s i n t h e H i l b e r t s p a c e   H  

 

d e n e d b y  

( 4 . 1 ) , a n d t o g e t h e r t h e s e v e c t o r s s p a n k e r   H 

 

. A p r o o f o f t h e s e s t a t e m e n t s c a n b e f o u n d i n  

1 6 ] .  

T h e i n e q u a l i t y ( 4 . 8 ) f o l l o w s f r o m P r o p o s i t i o n 3 . 3 w h e n o n e o b s e r v e s t h a t f o r   X  2 A   

 

h   

 

j  X 

 

 

X   

 

i  =  h   

 

j  X 

 

(  H 

 

    3 

X   

 

i  ( 4 . 9 )  

O b v i o u s l y ,   X 

 

(  H 

 

    3 

X  2 A   

    3 

. T h e r e f o r e t h e e x p e c t a t i o n v a l u e i n t h e r i g h t s i d e o f ( 4 . 9 )  

c a n b e c o m p u t e d i n t h e d e n s i t y m a t r i x    

    3 

w h i c h d e s c r i b e s t h e s t a t e  

 

i n t h e n i t e  

v o l u m e      3 . T h e s a m e i s t r u e f o r t h e r i g h t s i d e o f ( 4 . 8 ) . W e c o n c l u d e t h a t i t i s s u c i e n t  

t o a s c e r t a i n t h a t  

T r   

    3 

 

(  H 

 

    3 

X     ? 

l o w 

( ) T r   

    3 

 

(  H 

 

    3 

X  ( 4 . 1 0 )  

w h i c h i m m e d i a t e l y f o l l o w s f r o m t h e n i t e v o l u m e g a p e s t i m a t e o f P r o p o s i t i o n 3 . 3 .  

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 15/18

M a s s g a p o f t h e X X Z c h a i n   1 5 

4 . 2 P r o o f o f t h e u p p e r b o u n d o f T h e o r e m 1 . 1  

F i r s t w e a r g u e t h a t i t s u c e s t o p r o v e t h e u p p e r b o u n d f o r   H 

" " 

. I t i s o b v i o u s t h a t t h e g a p o f  

# # 

w i l l s a t i s f y t h e s a m e b o u n d . F o r t h e g a p o f t h e m o d e l i n t h e k i n k a n d a n t i k i n k s e c t o r s  

w e h a v e a n i n e q u a l i t y w h i c h c a n b e d e r i v e d a s f o l l o w s . T h e t r a n s l a t i o n i n v a r i a n t g r o u n d  

s t a t e s c a n b e o b t a i n e d a s w e a k l i m i t s o f t h e k i n k o r a n t i k i n k s t a t e s b y l e t t i n g t h e p o s i t i o n  

o f t h e k i n k ( o r a n t i k i n k ) t e n d t o   1    . W e t h e n h a v e  

i n f 

  ; X  2 A 

 

h   

 

j  X 

 

(  H 

 

    3 

X   

 

h   

 

j  X 

 

(  H 

 

    3 

X   

 

( 4 . 1 1 )  

   i n f 

  ; X  2 A 

 

l i m 

n  ! 1 

h   

 

j   

(  X 

 

(  H 

 

    3 

X  )  

 

h   

 

j   

(  X 

 

(  H 

 

    3 

X  )  

 

( 4 . 1 2 )  

= i n f  

  ; X  2 A 

 

h  

" " 

j X 

 

(  H 

 

    3 

X   

" " 

h   

" " 

j  X 

 

(  H 

 

    3 

X   

" " 

( 4 . 1 3 )  

w h e r e    

d e n o t e s t h e t r a n s l a t i o n o v e r   n  l a t t i c e u n i t s i n t h e c h a i n . I t f o l l o w s t h a t    

 

    

" " 

F o r t h e p r o o f o f t h e u p p e r b o u n d i t i s c o n v e n i e n t t o p r e s e n t t h e d e n s e s u b s p a c e o f r a n   H 

 

f o r m e d b y t h e v e c t o r s o f t h e f o r m ( 4 . 4 ) i n a s l i g h t l y d i e r e n t w a y . O b s e r v e t h a t t h e s p a c e s  

k e r  H 

 

 

H  

 

a r e d e c r e a s i n g i n . T h e r e f o r e , i n o r d e r t o a s s u r e t h a t a c e r t a i n     b e l o n g s t o  

r a n  H 

 

, i t s u c e s t o c h e c k t h a t        k e r  H 

 

 

f o r s o m e s u i t a b l e .  

W e x a n i n t e r v a l 1  ; n  ] a n d i n t r o d u c e t h e u s u a l s p i n w a v e o p e r a t o r s   X 

,  k  = 2  m = n ; m   = 

0  ; : : : ; n   ?   1 , g i v e n b y  

p   

X  

x  = 1 

i k x 

( 4 . 1 4 )  

T h e n o r m a l i z a t i o n a n d t h e a l l o w e d v a l u e s f o r   k  a r e c h o s e n s u c h t h a t  

h   

" " 

j  X 

 

 

" " 

i  =   

k ; l 

( 4 . 1 5 )  

T h e v e c t o r s     w e n e e d f o r t h e u p p e r b o u n d a r e l i n e a r c o m b i n a t i o n s o f t w o s p i n w a v e s ,  

i . e .     = (  c 

+  c 

)  

" " 

. D u e t o ( 4 . 1 5 ) w e h a v e   k    k 

=  j  c 

+  j  c 

. F o r a n y p a i r o f  

d i s t i n c t   k 

; k 

, t h e c o e c i e n t s   c 

; c 

c a n b e c h o s e n s u c h t h a t   G 

1  ; n  ] 

  = 0 , i . e .        k e r  H 

 

1  ; n  ] 

T h i s f o l l o w s f r o m t h e f a c t t h a t k e r   H 

 

1  ; n  ] 

c o n t a i n s e x a c t l y o n e v e c t o r f o r e a c h e i g e n v a l u e o f  

1  ; n  ] 

. A l l v e c t o r s   X 

 

" " 

h a v e   S 

1  ; n  ] 

= (  n  ?   2 )  =  2 . I t f o l l o w s t h a t a n y t w o - d i m e n s i o n a l s p a c e  

o f v e c t o r s     w i t h x e d , d i s t i n c t   k 

; k 

a n d a r b i t r a r y   c 

; c 

m u s t c o n t a i n a r a y  

  k e r  H 

 

1  ; n  ] 

H e n c e t h e u p p e r b o u n d ( 1 . 6 ) o f T h e o r e m 1 . 1 c a n b e p r o v e d b y s h o w i n g t h a t  

i n f 

n ; k 

; k 

s u p 

; c 

h    j  H 

" " 

  i 

h    j    i 

= ? 

u p p 

( )     1  ?  

 

( 4 . 1 6 )  

w h i c h w e d o n e x t .  

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 16/18

M a s s g a p o f t h e X X Z c h a i n   1 6 

> F r o m t h e d e n i t i o n ( 4 . 1 4 ) o f t h e   X 

i t i s c l e a r t h a t t h e o n l y m a t r i x e l e m e n t s o f   H 

" " 

w e 

n e e d a r e t h e   T 

x ; y 

, 1     x ; y     n  , d e n e d b y  

x ; y 

=  h   

" " 

j  S 

 

0  ; n  + 1 ] 

 

" " 

i  = 

2  

f   2    

x ; y 

?    

x ; y  ?  1 

?    

x ; y  + 1 

g   ( 4 . 1 7 )  

I t i s t h e n e a s i l y s e e n t h a t t h e s u p  

; c 

i n t h e l e f t s i d e o f ( 4 . 1 6 ) y i e l d s t h e n o r m o f t h e 2      2 

m a t r i x   M  (  n ; k 

; k 

) w i t h m a t r i x e l e m e n t s  

M  (  n ; k 

; k 

i ; j 

=  M 

(  k 

; k 

) ( 4 . 1 8 )  

w h e r e   M 

(  k ; l  ) , f o r   k ; l  o f t h e f o r m 2   m = n  , i s t h e f u n c t i o n  

(  k ; l  ) = 

X  

x ; y  = 1 

?  i k x 

x ; y 

i k y 

( 4 . 1 9 )  

=   

k ; l 

( 1  ?    

?  1 

c o s  k  ) + (  e 

i l 

+  e 

?  i k 

)  =  ( 2   n  ) ( 4 . 2 0 )  

I t i s t h e n o b v i o u s t h a t i n f  

n ; k 

; k 

k  M  (  n ; k 

; k 

)  k  = 1  ?    

?  1 

A s i m i l a r c a l c u l a t i o n y i e l d s t h e   L  - d e p e n d e n t u p p e r b o u n d ( 1 . 8 ) i n t h e c a s e = 1 .  

A c k n o w l e d g e m e n t s    

I t i s a p l e a s u r e t o t h a n k t h e f o l l o w i n g p e o p l e f o r d i s c u s s i o n s , c o r r e s p o n d e n c e , a n d r e f e r e n c e s :  

G . A l b e r t i n i , J . G r  u n e b e r g , A . K l  u m p e r , V . K o r e p i n , E . H . L i e b , K . S c h o u t e n s , J . - P h . S o l o v e j ,  

a n d R . F . W e r n e r . W e a r e g r a t e f u l t o R . F . W e r n e r a n d W . F . W r e s z i n s k i f o r m a k i n g t h e i r  

w o r k ( 1 6 ] a n d 1 7 ] ) a v a i l a b l e t o u s p r i o r t o p u b l i c a t i o n . T h e a u t h o r i s p a r t i a l l y s u p p o r t e d  

b y t h e U . S . N a t i o n a l S c i e n c e F o u n d a t i o n u n d e r G r a n t N o . P H Y 9 0 - 1 9 4 3 3 A 0 4 .  

R e f e r e n c e s    

1 . B . N a c h t e r g a e l e , p r e p r i n t a r c h i v e d a s   c o n d - m a t / 9 4 1 0 1 1 0  

2 . F . H . L . E s s l e r , V . E . K o r e p i n , a n d K . S c h o u t e n s ,   J . P h y s . A : M a t h . G e n .   2 5  , 4 1 1 5 { 4 1 2 6  

( 1 9 9 2 )  

3 . A . N . K i r i l o v ,   J . S o v . M a t h .   3 0  , 2 2 9 8 { 2 3 1 0 ( 1 9 8 5 )  

4 . C . N . Y a n g a n d C . P . Y a n g ,   P h y s . R e v .   1 5 0  , 3 2 1 { 3 2 7 ( 1 9 6 6 )  

5 . D . B a b b i t t a n d L . T h o m a s ,   C o m m u n . M a t h . P h y s .   5 4  , 2 5 5 { 2 7 8 ( 1 9 7 7 )  

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 17/18

M a s s g a p o f t h e X X Z c h a i n   1 7 

6 . H . A r a k i ,   C o m m u n . M a t h . P h y s .   1 4  , 1 2 0 { 1 5 7 ( 1 9 6 9 )  

7 . J . D . J o h n s o n ,   J . A p p l . P h y s .   5 2  , 1 9 9 1 { 1 9 9 2 ( 1 9 8 1 )  

8 . D . C . M a t t i s :   T h e M a n y - B o d y P r o b l e m   , W o r l d S c i e n t i c , S i n g a p o r e , 1 9 9 3  

9 . V . P a s q u i e r a n d H . S a l e u r ,   N u c l . P h y s .   B 3 3 0  , 5 2 3 - 5 5 6 ( 1 9 9 0 )  

1 0 . J . D . J o h n s o n , S . K r i n s k y , a n d B . M . M c C o y ,   P h y s . R e v .   A 8  , 2 5 1 6 { 2 5 4 7 ( 1 9 7 3 )  

1 1 . J . D . J o h n s o n a n d B . M . M c C o y ,   P h y s . R e v .   A 6  , 1 6 1 3 { 1 6 2 6 ( 1 9 7 2 )  

1 2 . A . K l  u m p e r ,   Z . P h y s .   B 9 1  , 5 0 7 { 5 1 9 ( 1 9 9 3 )  

1 3 . G . A l b e r t i n i , V . E . K o r e p i n , a n d A . S c h a d s c h n e i d e r ,  

p r e p r i n t a r c h i v e d a s   c o n d - m a t / 9 4 1 1 0 5 1   , r e v i s e d v e r s i o n o f 1 1 J a n . 1 9 9 5 .  

1 4 . F . C . A l c a r a z , M . N . B a r b e r , a n d M . T . B a t c h e l o r ,   A n n . P h y s . ( N Y )   1 8 2  , 2 8 0 { 3 4 3 ( 1 9 8 8 )  

1 5 . T . K e n n e d y , a n d H . T a s a k i ,   C o m m u n . M a t h . P h y s .   1 4 7  , 4 3 1 { 4 8 4 ( 1 9 9 2 )  

1 6 . C . - T . G o t t s t e i n a n d R . F . W e r n e r , i n p r e p a r a t i o n  

1 7 . F . C . A l c a r a z , S . R . S a l i n a s , a n d W . F . W r e s z i n s k i , p r e p r i n t  

1 8 . B . D a v i e s , O . F o d a , M . J i m b o , T . M i w a , a n d A . N a k a y a s h i k i ,   C o m m u n . M a t h . P h y s .  

1 5 1  , 8 9 { 1 5 3 ( 1 9 9 3 )  

1 9 . V . S . D r i n f e l ' d , i n   P r o c e e d i n g s o f t h e I C M B e r k e l e y   , A c a d e m i c P r e s s , 1 9 8 7 , v o l u m e 1 ,  

p p 7 9 8 { 8 2 0  

2 0 . S . L . W o r o n o w i c z ,   C o m m u n . M a t h . P h y s .   1 1 1  , 6 1 3 { 6 6 5 ( 1 9 8 7 )  

2 1 . S . - L . L u a n d H . - T . Y a u ,   C o m m u n . M a t h . P h y s .   1 5 6  , 3 9 9 { 4 3 3 ( 1 9 9 3 )  

2 2 . M . F a n n e s , B . N a c h t e r g a e l e , a n d R . F . W e r n e r   J . P h y s . A : M a t h . G e n .   2 4  , L 1 8 5 - L 1 9 0  

( 1 9 9 1 ) , a n d   C o m m u n . M a t h . P h y s .   1 4 4  , 4 4 3 { 4 9 0 ( 1 9 9 2 )  

2 3 . I . A e c k , T . K e n n e d y , E . H . L i e b , a n d H . T a s a k i ,   P h y s . R e v . L e t t .   5 9  , 7 9 9 { 8 0 2 ( 1 9 8 7 ) ,  

a n d  C o m m u n . M a t h . P h y s .   1 1 5  , 4 7 7 { 5 2 8 ( 1 9 8 8 )  

2 4 . B . Z e g a r l i n s k i , i n   P r o c e e d i n g s o f t h e T h i r d I n t e r n a t i n a l C o n f e r e n c e o n S t o c h a s t i c P r o -  

c e s s e s , P h y s i c s , a n d G e o m e t r y   , S . A l b e v e r i o e t a l . ( E d s ) , W o r l d S c i e n t i c , S i n g a p o r e ,  

1 9 9 3  

2 5 . F . M a r t i n e l l i a n d E . O l i v i e r i , P a r t s I a n d I I ,   C o m m u n . M a t h . P h y s .   1 6 1  , 4 4 7 { 4 8 6 ,  

4 8 7 { 5 1 4 ( 1 9 9 4 )  

8/3/2019 Bruno Nachtergaele- Bounds on the mass gap of the ferromagnetic XXZ chain

http://slidepdf.com/reader/full/bruno-nachtergaele-bounds-on-the-mass-gap-of-the-ferromagnetic-xxz-chain 18/18

M a s s g a p o f t h e X X Z c h a i n   1 8 

2 6 . S . L . W o r o n o w i c z ,   P u b . R . I . M . S . K y o t o   2 3  , 1 1 7 { 1 8 1 ( 1 9 8 7 )  

2 7 . O . B r a t t e l i a n d D . W . R o b i n s o n :   O p e r a t o r a l g e b r a s a n d q u a n t u m s t a t i s t i c a l m e c h a n i c s  , 

2 v o l u m e s , S p r i n g e r V e r l a g - B e r l i n - H e i d e l b e r g - N e w Y o r k , 1 9 7 9 a n d 1 9 8 1  

2 8 . A . G u i c h a r d e t , L e c t u r e N o t e s S e r i e s M a t e m a t i s k I n s t i t u t A a r h u s U n i v e r s i t e t , N o 1 3 ,  

A a r h u s , 1 9 6 9