the free energy of the quantum heisenberg ferromagnet
play

The free energy of the quantum Heisenberg ferromagnet: validity of - PowerPoint PPT Presentation

The free energy of the quantum Heisenberg ferromagnet: validity of the spin wave approximation Alessandro Giuliani Based on joint work with M. Correggi and R. Seiringer Warwick, March 19, 2014 Outline 1 Introduction: continuous symmetry


  1. The free energy of the quantum Heisenberg ferromagnet: validity of the spin wave approximation Alessandro Giuliani Based on joint work with M. Correggi and R. Seiringer Warwick, March 19, 2014

  2. Outline 1 Introduction: continuous symmetry breaking and spin waves 2 Main results: free energy at low temperatures 3 Sketch of the proof: upper and lower bounds

  3. Outline 1 Introduction: continuous symmetry breaking and spin waves 2 Main results: free energy at low temperatures 3 Sketch of the proof: upper and lower bounds

  4. Spontaneous symmetry breaking General question: rigorous understanding of the phenomenon of spontaneous breaking of a continuous symmetry . Easier case: abelian continuous symmetry . Several rigorous results based on: reflection positivity, vortex loop representation cluster and spin-wave expansions, by Fr¨ ohlich-Simon-Spencer, Dyson-Lieb-Simon, Bricmont-Fontaine- -Lebowitz-Lieb-Spencer, Fr¨ ohlich-Spencer, Kennedy-King, ...

  5. Spontaneous symmetry breaking General question: rigorous understanding of the phenomenon of spontaneous breaking of a continuous symmetry . Easier case: abelian continuous symmetry . Several rigorous results based on: reflection positivity, vortex loop representation cluster and spin-wave expansions, by Fr¨ ohlich-Simon-Spencer, Dyson-Lieb-Simon, Bricmont-Fontaine- -Lebowitz-Lieb-Spencer, Fr¨ ohlich-Spencer, Kennedy-King, ...

  6. Spontaneous symmetry breaking General question: rigorous understanding of the phenomenon of spontaneous breaking of a continuous symmetry . Easier case: abelian continuous symmetry . Several rigorous results based on: reflection positivity, vortex loop representation cluster and spin-wave expansions, by Fr¨ ohlich-Simon-Spencer, Dyson-Lieb-Simon, Bricmont-Fontaine- -Lebowitz-Lieb-Spencer, Fr¨ ohlich-Spencer, Kennedy-King, ...

  7. Spontaneous symmetry breaking General question: rigorous understanding of the phenomenon of spontaneous breaking of a continuous symmetry . Easier case: abelian continuous symmetry . Several rigorous results based on: reflection positivity, vortex loop representation cluster and spin-wave expansions, by Fr¨ ohlich-Simon-Spencer, Dyson-Lieb-Simon, Bricmont-Fontaine- -Lebowitz-Lieb-Spencer, Fr¨ ohlich-Spencer, Kennedy-King, ...

  8. Spontaneous symmetry breaking General question: rigorous understanding of the phenomenon of spontaneous breaking of a continuous symmetry . Easier case: abelian continuous symmetry . Several rigorous results based on: reflection positivity, vortex loop representation cluster and spin-wave expansions, by Fr¨ ohlich-Simon-Spencer, Dyson-Lieb-Simon, Bricmont-Fontaine- -Lebowitz-Lieb-Spencer, Fr¨ ohlich-Spencer, Kennedy-King, ...

  9. Spontaneous symmetry breaking General question: rigorous understanding of the phenomenon of spontaneous breaking of a continuous symmetry . Easier case: abelian continuous symmetry . Several rigorous results based on: reflection positivity, vortex loop representation cluster and spin-wave expansions, by Fr¨ ohlich-Simon-Spencer, Dyson-Lieb-Simon, Bricmont-Fontaine- -Lebowitz-Lieb-Spencer, Fr¨ ohlich-Spencer, Kennedy-King, ...

  10. Spontaneous symmetry breaking General question: rigorous understanding of the phenomenon of spontaneous breaking of a continuous symmetry . Easier case: abelian continuous symmetry . Several rigorous results based on: reflection positivity, vortex loop representation cluster and spin-wave expansions, by Fr¨ ohlich-Simon-Spencer, Dyson-Lieb-Simon, Bricmont-Fontaine- -Lebowitz-Lieb-Spencer, Fr¨ ohlich-Spencer, Kennedy-King, ...

  11. Spontaneous symmetry breaking Harder case: non-abelian symmetry . Few rigorous results on: classical Heisenberg (Fr¨ ohlich-Simon-Spencer by RP) quantum Heisenberg antiferromagnet (Dyson-Lieb-Simon by RP) classical N -vector models (Balaban by RG) Notably absent: quantum Heisenberg ferromagnet

  12. Spontaneous symmetry breaking Harder case: non-abelian symmetry . Few rigorous results on: classical Heisenberg (Fr¨ ohlich-Simon-Spencer by RP) quantum Heisenberg antiferromagnet (Dyson-Lieb-Simon by RP) classical N -vector models (Balaban by RG) Notably absent: quantum Heisenberg ferromagnet

  13. Spontaneous symmetry breaking Harder case: non-abelian symmetry . Few rigorous results on: classical Heisenberg (Fr¨ ohlich-Simon-Spencer by RP) quantum Heisenberg antiferromagnet (Dyson-Lieb-Simon by RP) classical N -vector models (Balaban by RG) Notably absent: quantum Heisenberg ferromagnet

  14. Spontaneous symmetry breaking Harder case: non-abelian symmetry . Few rigorous results on: classical Heisenberg (Fr¨ ohlich-Simon-Spencer by RP) quantum Heisenberg antiferromagnet (Dyson-Lieb-Simon by RP) classical N -vector models (Balaban by RG) Notably absent: quantum Heisenberg ferromagnet

  15. Spontaneous symmetry breaking Harder case: non-abelian symmetry . Few rigorous results on: classical Heisenberg (Fr¨ ohlich-Simon-Spencer by RP) quantum Heisenberg antiferromagnet (Dyson-Lieb-Simon by RP) classical N -vector models (Balaban by RG) Notably absent: quantum Heisenberg ferromagnet

  16. Spontaneous symmetry breaking Harder case: non-abelian symmetry . Few rigorous results on: classical Heisenberg (Fr¨ ohlich-Simon-Spencer by RP) quantum Heisenberg antiferromagnet (Dyson-Lieb-Simon by RP) classical N -vector models (Balaban by RG) Notably absent: quantum Heisenberg ferromagnet

  17. Quantum Heisenberg ferromagnet The simplest quantum model for the spontaneous symmetry breaking of a continuous symmetry: ( S 2 − � � S x · � H Λ := S y ) � x , y �⊂ Λ where: Λ is a cubic subset of Z 3 with (say) periodic b.c. � S x = ( S 1 x , S 2 x , S 3 x ) and S i x are the generators of a (2 S + 1)-dim representation of SU (2), with S = 1 2 , 1 , 3 2 , ... : [ S i x , S j y ] = i ǫ ijk S k x δ x , y The energy is normalized s.t. inf spec ( H Λ ) = 0.

  18. Quantum Heisenberg ferromagnet The simplest quantum model for the spontaneous symmetry breaking of a continuous symmetry: ( S 2 − � � S x · � H Λ := S y ) � x , y �⊂ Λ where: Λ is a cubic subset of Z 3 with (say) periodic b.c. � S x = ( S 1 x , S 2 x , S 3 x ) and S i x are the generators of a (2 S + 1)-dim representation of SU (2), with S = 1 2 , 1 , 3 2 , ... : [ S i x , S j y ] = i ǫ ijk S k x δ x , y The energy is normalized s.t. inf spec ( H Λ ) = 0.

  19. Quantum Heisenberg ferromagnet The simplest quantum model for the spontaneous symmetry breaking of a continuous symmetry: ( S 2 − � � S x · � H Λ := S y ) � x , y �⊂ Λ where: Λ is a cubic subset of Z 3 with (say) periodic b.c. � S x = ( S 1 x , S 2 x , S 3 x ) and S i x are the generators of a (2 S + 1)-dim representation of SU (2), with S = 1 2 , 1 , 3 2 , ... : [ S i x , S j y ] = i ǫ ijk S k x δ x , y The energy is normalized s.t. inf spec ( H Λ ) = 0.

  20. Quantum Heisenberg ferromagnet The simplest quantum model for the spontaneous symmetry breaking of a continuous symmetry: ( S 2 − � � S x · � H Λ := S y ) � x , y �⊂ Λ where: Λ is a cubic subset of Z 3 with (say) periodic b.c. � S x = ( S 1 x , S 2 x , S 3 x ) and S i x are the generators of a (2 S + 1)-dim representation of SU (2), with S = 1 2 , 1 , 3 2 , ... : [ S i x , S j y ] = i ǫ ijk S k x δ x , y The energy is normalized s.t. inf spec ( H Λ ) = 0.

  21. Ground states One special ground state is | Ω � := ⊗ x ∈ Λ | S 3 x = − S � All the other ground states have the form ( S + T ) n | Ω � , n = 1 , . . . , 2 S | Λ | where S + x ∈ Λ S + x and S + x = S 1 x + iS 2 T = � x .

  22. Ground states One special ground state is | Ω � := ⊗ x ∈ Λ | S 3 x = − S � All the other ground states have the form ( S + T ) n | Ω � , n = 1 , . . . , 2 S | Λ | where S + x ∈ Λ S + x and S + x = S 1 x + iS 2 T = � x .

  23. Excited states: spin waves A special class of excited states ( spin waves ) is obtained by raising a spin in a coherent way: 1 1 � ˆ e ikx S + S + √ | 1 k � := x | Ω � ≡ k | Ω � � 2 S | Λ | 2 S x ∈ Λ where k ∈ 2 π L Z 3 . They are such that H Λ | 1 k � = S ǫ ( k ) | 1 k � where ǫ ( k ) = 2 � 3 i =1 (1 − cos k i ).

  24. Excited states: spin waves A special class of excited states ( spin waves ) is obtained by raising a spin in a coherent way: 1 1 � ˆ e ikx S + S + √ | 1 k � := x | Ω � ≡ k | Ω � � 2 S | Λ | 2 S x ∈ Λ where k ∈ 2 π L Z 3 . They are such that H Λ | 1 k � = S ǫ ( k ) | 1 k � where ǫ ( k ) = 2 � 3 i =1 (1 − cos k i ).

  25. Excited states: spin waves More excited states? They can be looked for in the vicinity of (2 S ) − n k / 2 (ˆ S + k ) n + � √ n k ! | Ω � |{ n k }� = k If N = � k n k > 1, these are not eigenstates. They are neither normalized nor orthogonal. However, H Λ is almost diagonal on |{ n k }� in the low-energy (long-wavelengths) sector.

  26. Excited states: spin waves More excited states? They can be looked for in the vicinity of (2 S ) − n k / 2 (ˆ S + k ) n + � √ n k ! | Ω � |{ n k }� = k If N = � k n k > 1, these are not eigenstates. They are neither normalized nor orthogonal. However, H Λ is almost diagonal on |{ n k }� in the low-energy (long-wavelengths) sector.

Recommend


More recommend