1. Order by Disorder A new method for establishing phase transitions in certain systems with continuous, n–component spins. The 93 rd Statistical Mechanics Conference RUTGERS UNIVERSITY Applications to transition metal oxides

2. Cast of characters: M. Biskup (UCLA Math) And, the physicists: Z. Nussinov (Th. Div. Los Alamos) J. van den Brink (Lorentz ITP, Leiden) S.A. Kivelson UCLA Physics Relevant papers M. Biskup, L. Chayes, Z. Nussinov and J. van den Brink, Orbital order in classical models of transition-metal compounds, Europhys. Lett. 67 (2004), no. 6, 990–996 M. Biskup, L. Chayes and S.A. Kivelson, Order by disorder, without order, in a two-dimensional spin system with O(2) symmetry, Ann. Henri Poincaré 5 (2004), no. 6, 1181–1205. M. Biskup, L. Chayes and Z. Nussinov, Orbital ordering in transition-metal compounds: I. The 120-degree model, Commun. Math. Phys. 255 (2005), no. 2, 253–292 … more to come … (Plenty.)

3. Now add “weak” NN ferromagnetic coupling. Example: 2D NNN Antiferromagnet. (Say XY spins.) Systems of interest: Continuous spins O(2), O(3), … – huge degeneracy in the ground state. Ground states: Ground states still (Exactly zero message from nearest neighbors.) What can this system do? MW: Certainly no magnetization General considerations: ¿ Disorder?

4. Transition Metal Compounds Levels in 3d shell split by crystal field. t2gt2g Single itinerant electron @ each site with multiple orbital degrees of freedom. Super–exchange approximation (and neglect of strain–field induced interactions among orbitals): [Kugal–Khomskii Hamiltonian] egeg d–orbitals  = direction of bond 120º–model (e g –compounds) V 2 O 3, LiVO 2, LaVO 3, … orbital compass–model (t 2g –compounds) LaTiO 3, …

5. Orbital only approximation: Neglect spin degrees of freedom. Large S limit (for pseudo–spin operators): Go classical. Classical 120º Hamiltonian: unit vectors spaced @ 120º. Classical orbital compass Hamiltonian: – usual Heisenberg spins. For simplicity, today focus on 2D version of orbital compass.

6. The 2D Orbital Compass Model write May as well take L  L torus + constant. Attractive couplings (ferromagnetic). Couples in x–direction with x–component. Couples in y–direction with y–component. Clear: Any constant spin–field is a ground state. * O(2) symmetry restored * Can’t even begin to talk about contours: (b) No apparent “stiffness”. (a) Not clear what are the “states”. ¿Hints from SW–theory?  other ground–states but these play no rôle and will not be discussed.

7. Theorem. For the d = 2 orbital compass model, for all  sufficiently large,  (at least) two limiting translation invariant Gibbs states. One hasclose to one. The other hasclose to one. Disaster: Very IR–divergent. But infrared bounds only give upper bounds on the scattering function. And MW–theorem (strictly speaking) does not apply. Indeed, spherical version of this model has no phase transition. –– The O(2) symmetry is in the ground states, not the Hamiltonian itself. ––

8. Key ideas: In the physics literature since the early 80’s E. F. Shender, Antiferromagnetic Garnets with Fluctuationally Interacting Sublattices, Sov. Phys. JETP 56 (1982) 178–184. J. Villain, R. Bidaux, J. P. Carton and R. Conte, Order as an Effect of Disorder, J. Phys. (Paris) 41 (1980), no.11, 1263–1272. C. L. Henley, Ordering Due to Disorder in a Frustrated Vector Antiferromagnet, Phys. Rev. Lett. 62 (1989) 2056–2059. Really clarified matters; put things on a firm foundation in a general context. Plus infinitely many papers (mostly quantum) in which specific calculations done. Our contribution to physics general theory: Modest. All of this works even in d = 2. (But TMO models of some topical interest.) 1)At  < ∞, weighting of various ground states must take into account more than just energetics: Fluctuations of spins will contribute to overall statistical weight. 2)These (spin–fluctuation) degrees of freedom will themselves organize into spin–wave like modes. Can be calculated (or estimated).

9. 1) At  < ∞, weighting of various ground states must take into account more than just energetics: Fluctuations of spins contribute to overall statistical weight. 2) These (spin–fluctuation) degrees of freedom will themselves organize into spin–wave like modes. Can be calculated (or estimated). Key ideas: Gaussian like SW–free energetics will tell us which of the ground states are actually preferred @ finite temperature Remarks (1) Not as drastic an approximation as it sounds; Infrared divergence virtually non–existent at the level of free–energetics. (2) In math–phys, plenty of “selection due to finite–temperature excitations”. But: Excitation spectrum always with (huge) gap. Finite (or countable) number of ground states.

10. Let’s do calculation. Write: [  = fixed “ground state”] Look @ H, neglect terms of higher order than quadratic in  ’s Well, got: so Will square this. Neglect quadratic (and beyond). Get and similarly

11. Approximate Hamiltonian is therefore: Go to transform variables: So, after some manipulations, Now, total weight can easily be calculated: Fact that we are talking about “  ” means that we do not integrate over the k = 0 mode. Take logs:

12. Scales with   Pause to refresh: No difficulty doing these integrals; some infrared “action” but no big deal (logarithmic). We are only interested in a free energy. Want as small as possible. A free energy; Now log is a (strictly) concave function: Do k x, k y integrals on RHS, these come out the same. We learn Use strict concavity, > –or–

13. Calculation indicates: There are “states” at which will dominate any other “state”. Outline of a proof. (1) Define a fluctuation scale. Look @ situation where each deviation variable  r has: – and hence – Fact: means that the effective Gaussian variables are allowed to get large. means that quadratic approximation is “good”. 

14. Not hard to see: Proposition: With the constraints (globally) enforced, the spin wave formula for the  – dependent limiting free energy is asymptotic as (2) Define a running length scale, B – and another, interrelated spin–scale,  Not important; for technical reasons, this is not  (  ). Definition. A block  B of scale B is defined to be good if (a) Each neighboring pair of fluctuation variables satisfies (b) Each spin variable satisfies Clear: There are two types of good blocks. (You can add .)

15. Also: Two types of bad blocks. (i)Energetic disaster. (Should be suppressed exponentially with rate ~  2 ) More important, more interesting: (ii) Energetics good, but  not particularly near 0 or. Can use method of chessboard estimates. [FSS][FLIS(1)][FLIS(2)][LF][DLS][FLIS(3)] A] Gives estimates on probability of bad blocks in terms of constrained partition function where all blocks are bad blocks. Note: Type (ii) is independent of . Type (i) indeed suppressed exponentially. Type (ii) has probability bounded by where N is the block size. This goes to zero as

16. Bad blocks form contour element which separate regions of the two distinct types of goodness. Reiterate: Two distinct types of goodness. A single box cannot exhibit both types of goodness. Thus, regions of the distinctive types of goodness must be separated by closed contours. Standard Peierls argument, implies existence of two distinct states. B] Gives estimates on probability of contour bad blocks by the product of the previously mentioned probability estimates. [FSS][FLIS(1)][FLIS(2)][LF][DLS][FLIS(3)] Remarks: Same sort of thing true for antiferromagnet, 120º–model & 3D orbital compass model (sort of). Interesting feature: Limiting behavior of model as T goes to zero is not the same as the behavior of the model @ T = 0. In particular, non–trivial stiffness at T = 0 (and presumably  as well)..

17. The End