Research Collection
Doctoral Thesis
Continuous dipolar moments on regular lattices: a combined Monte Carlo and group theoretical treatment
Author(s): Schildknecht, Dominik
Publication Date: 2019
Permanent Link: https://doi.org/10.3929/ethz-b-000360043
Rights / License: In Copyright - Non-Commercial Use Permitted
This page was generated automatically upon download from the ETH Zurich Research Collection. For more information please consult the Terms of use.
ETH Library diss. eth no. 26231
CONTINUOUSDIPOLARMOMENTSON REGULARLATTICES:ACOMBINEDMONTE CARLOANDGROUPTHEORETICAL TREATMENT
A dissertation submitted to attain the degree of doctor of sciences of eth zurich (Dr. sc. ETH Zurich)
presented by dominik schildknecht MSc ETH, ETH Zurich born on 23 September 1992 citizen of Waldkirch SG, Switzerland
accepted on the recommendation of Prof. Dr. Laura Jane Heyderman Prof. Dr. Nicola Ann Spaldin Prof. Dr. Frédéric Mila Dr. Peter Michael Derlet
2019 Dominik Schildknecht: Continuous dipolar moments on regular lattices: a combined Monte Carlo and group theoretical treatment, © 2019 doi: 10.3929/ethz-b-000360043 DECLARATIONOFORIGINALITY
I hereby declare that the following submitted thesis is original work which I alone have authored and which is written in my own words.
Title: Continuous dipolar moments on regular lattices: a combined Monte Carlo and group theoretical treatment Author: Dominik Schildknecht Supervisor: Prof. Dr. Laura J. Heyderman
With my signature I declare that I have been informed regarding nor- mal academic citation rules and that I have read and understood the in- formation on “Citation etiquette”. The citation conventions usual to the discipline in question here have been respected. Furthermore, I declare that I have truthfully documented all methods, data, and operational procedures and not manipulated any data. All per- sons who have substantially supported me in my work are identified in the acknowledgements. The above work may be tested electronically for plagiarism.
Zürich, July 22, 2019
iii
ABSTRACT
The leading order long-range interaction in magnetic systems is the dipolar interaction. Because of this, it strongly affects the properties of magnetic materials and the interaction between them. In the last decade, the un- derstanding of the phenomena resulting from dipolar interactions could be advanced experimentally due to the ability to pattern arrays of nano- magnets into so-called artificial spin systems. The models describing such systems exhibit interesting physics such as continuous ground-state de- generacies, order-by-disorder transitions, or peculiar universality classes. Gaining a better theoretical understanding of these systems is the main objective of this thesis. The first question tackled by this thesis concerns the universality class of the finite-temperature phase transition of the dipolar-coupled XY spin model on the square lattice. The universality class is still under debate as it has been suggested in some papers that this model belongs to the two-dimensional Ising universality whilst in others it was claimed that the transition belongs to the universality class of the XY-model with a four-fold anisotropy. In previous literature, it was shown that the finite-size scaling method is insufficient to distinguish the two cases. Therefore, in this thesis, an alternative approach to determine critical exponents, using the Monte Carlo renormalization group method, is presented. Both methods were ap- plied successfully to the two-dimensional Ising model, but only the finite- size scaling approach gave converged results for the dipolar-coupled XY model, whereas the Monte Carlo renormalization group simulations did not converge to any reasonable critical exponents. This latter lack of con- vergence suggests that the transition belongs to the marginal universality class of the XY-model with a four-fold anisotropy. However, there could be other reasons why the simulations did not converge so that this thesis cannot give a definitive determination of the universality class. Simultaneous to the theoretical efforts, experimental interest in artificial spin systems realizing the dipolar-coupled XY system has emerged. Such systems have recently been measured by the muon-spin rotation technique, which is a well-suited method for such experiments due to the sensitivity to local magnetic fields and their fluctuations. However, the interpretation of muon-spin rotation experiments is complex as it often requires a de- tailed model of the muon-spin precession. Here, such a model was ob- v tained by using the separation of the time scales between fluctuations of the muon spin and the individual nanomagnets as well as a mean-field calculation of the order parameter of the dipolar-coupled XY model. In this simple model, it was possible to correlate the depolarization of the muon spins with the emergence of an order parameter and therefore to long-range order. While many chapters of this thesis are concerned with the description of the effects of temperature, dipolar-coupled systems are also known to be sensitive to disorder. However, even for the well-studied dipolar-coupled XY model on the square lattice, the phase diagram for temperature and disorder has only been known qualitatively and not quantitatively. In this thesis, the quantitative phase diagram is derived by introducing proper order parameters and performing Monte Carlo simulations for two differ- ent types of disorder. The apparent similarity between the phase diagrams for the two types of disorder is argued to be a general feature of dipolar- coupled spin systems, originating from the competition of magnetic flux closure at local versus global length scales. While much of this thesis is concerned with analyzing the dipolar- coupled XY model on the square lattice, similar behavior has previously been observed for other geometries. Specifically, several dipolar-coupled spin systems are known where continuous ground-state degeneracies and order-by-disorder transitions arise. However, a fundamental reasoning for this behavior has not been developed so that, without explicit verification, it has been impossible to predict such features for new geometries. In this thesis, it was shown that, for a certain class of dipolar-coupled spin systems, the origin of these phenomena lies in the unusual symmetry of the Hamiltonian, specifically the point symmetry group of the underlying lattice. Therefore, in this thesis, a unifying theory of the ground-state de- generacy and the emerging order-by-disorder transition could successfully be provided for a large class of dipolar-coupled spin systems. In summary, the discoveries of this thesis provide a more profound in- sight into dipolar-coupled spin systems in general and specifically into the dipolar-coupled XY model on the square lattice. These results suggest new and exciting research directions, both in terms of theory and experiment, including the investigation of systems with interesting symmetries such as the triangular lattice or the kagome lattice, and the extension of the dipolar- coupled XY model phase diagram to other types of disorder. These ideas are applicable to artificial spin systems and more generally in condensed matter systems with predominantly dipolar interactions. vi ZUSAMMENFASSUNG
Die dominante langreichweitige Wechselwirkungen in magnetischen Sys- temen ist die Dipol-Wechselwirkung. Diese beeinflusst daher stark die Eigenschaften von magnetischen Materialien und die Wechselwirkung zwischen ihnen. Im letzten Jahrzehnt konnte das Verständnis der Phäno- mene, die sich aus dipolaren Wechselwirkungen ergeben, experimentell besser erforscht werden, da es möglich wurde Nanomagnete in sogenann- ten künstlichen Spinsystemen anzuordnen. Die theoretischen Modelle, die solche Systeme beschreiben, weisen ungewöhnliche Phänomene auf, wie zum Beispiel eine kontinuierliche Entartungen des Grundzustands, Ordnung-durch-Unordnungsübergänge oder ungewöhliche Universali- tätsklassen die das Skalenverhalten am Phasenübergang beschreiben. Ein besseres theoretisches Verständnis dieser Systeme ist daher das Hauptziel dieser Dissertation. Die erste in dieser Arbeit behandelte Frage betrifft die Universalitäts- klasse des Phasenübergangs im dipolar gekoppelten XY-Modell auf dem Quadratgitter bei endlicher Temperatur. Die Universalitätsklasse ist noch immer umstritten, da in einigen Arbeiten vermutet wurde, dass dieses Mo- dell dieselbe Universalitätsklasse wie das zweidimensionale Ising-Modell besitzt, während in anderen vermutet wurde, dass der Übergang besser beschrieben ist mit der Universalitätsklasse des XY-Modells mit einer vier- fachen Anisotropie. In der bisherigen Literatur wurde gezeigt, dass die sogenannte “finite-size scaling” Methode ungenügend ist, um die beiden Fälle zu unterscheiden. In dieser Arbeit wird daher ein alternativer An- satz zur Bestimmung kritischer Exponenten unter Verwendung der Monte Carlo Renormalisierungsgruppe vorgestellt. Beide Methoden wurden er- folgreich auf das zweidimensionale Ising-Modell angewendet, aber nur die “finite-size scaling” Methode konvergierte für das dipolar gekoppel- te XY-Modell, während die Monte Carlo Renormalisierungsgruppe nur unphysikalische kritische Exponenten lieferte. Dieser Mangel an Konver- genz deutet darauf hin, dass das Verhalten am Phaenübergang durch die marginalen Universalitätsklasse des XY-Modells mit einer vierfachen An- isotropie beschrieben wird. Es könnte jedoch noch andere Gründe geben, warum die Simulationen nicht konvergierten, so dass diese Arbeit keine endgültige Bestimmung der Universalitätklasse geben kann.
vii Gleichzeitig zu den theoretischen Bemühungen ist ein experimentelles Interesse an künstlichen Spinsystemen entstanden, die das dipolar gekop- pelte XY-Modell realisieren. Solche Systeme wurden kürzlich mittels Myon- spinspektroskopieexperimenten gemessen, die aufgrund der Empfindlich- keit gegenüber lokalen Magnetfeldern und deren Fluktuationen für solche Experimente gut geeignet sind. Die Interpretation von solchen Experimen- ten ist jedoch komplex, da sie oft ein detailliertes Modell der Präzession des Myonspins erfordert. Hier wurde ein solches Modell entwickelt, mit- tels der Separation der Zeitskalen zwischen Fluktuationen des Myonspins und den einzelnen Nanomagneten, sowie einer Molekuarfeldberechnung des Orderparameters des dipolar gekoppelten XY-Modells. In diesem ein- fachen Modell war es möglich die Depolarisation der Myonspins mit dem Aufkommen eines Ordnungsparameters und damit mit der Langstrecken- ordnung in Verbindung zu bringen. Während sich viele Kapitel dieser Arbeit mit der Beschreibung der Aus- wirkungen von Temperatur befassen, ist ebenso bekannt, dass dipolar ge- koppelte Systeme empfindlich auf Unordnung reagieren. Jedoch selbst für das gut untersuchte dipolar gekoppelte XY-Modell auf dem Quadratgit- ter ist das Phasendiagramm für Temperatur und Unordnung nur qualita- tiv und nicht quantitativ bekannt. Durch die Einführung geeigneter Ord- nungsparameter und durch Monte Carlo Simulationen wird in dieser Ar- beit das quantitative Phasendiamm für zwei verschiedene Arten von Un- ordnung hergeleitet. Es wird arumentiert, dass die Ähnlichkeit zwischen den Phasendiagrammen für die beiden Arten Unordnung ein allgemeines Merkmal dipolar gekoppelter Spinsysteme ist, die aus der Konkurrenz des Schliessens des magnetischen Flusses auf lokalen gegenüber globalen Län- genskalan resultiert. Während sich ein Grossteil dieser Arbeit mit der Analyse des dipo- lar gekoppelten XY-Modells auf dem Quadratgitter befasst, wurde zuvor ein ähnliches Verhalten für andere Geometrien beobachtet. Insbesonde- re sind mehrere dipolar gekoppelte Spinsysteme bekannt, bei denen ei- ne kontinuierliche Entartungen des Grundzustands und Ordnung-durch- Unordnungsübergänge auftreten. Eine grundlegende Begründung für die- ses Verhalten wurde jedoch nicht entwickelt, so dass es ohne explizite Überprüfung unmöglich war solche Merkmale für neue Geometrien vor- herzusagen. In dieser Arbeit wurde gezeigt, dass für eine bestimmte Klasse dipolar gekoppelter Spinsysteme der Ursprung dieser Phänomene in der ungewöhnlichen Symmetrie des Hamiltonians liegt, insbesondere in der Punktsymmetriegruppe des zugrundeliegenden Gitters. Daher konnte in viii dieser Dissertation eine vereinheitlichte Theorie der Entartung des Grund- zustands und des Ordnung-durch-Unordnungsübergangs für eine grosse Klasse dipolar gekoppelter Spinsysteme gegeben werden. Zusammenfassend lässt sich sagen, dass die in dieser Arbeit beschrieb- nenen Forschungsergebnisse einen tieferen Einblick in dipolar gekoppelte Spinsysteme im Allgemeinen und speziell in das dipolar gekoppelte XY-Modell auf dem Quadratgitter geben. Diese Ergebnisse lassen sowohl theoretisch als auch experimentell neue und aufregende Forschungs- richtungen erkennen, darunter die Untersuchung von Systemen mit interessanten Symmetrien wie dem Dreiecks- oder Kagomegitter, und die Betrachtung des dipolar gekoppelten XY-Modell Phasendiagramms auf andere Typen Unordnung. Diese Ideen sind sowohl auf künstliche Spinsysteme wie auch auf generelle Festkörpersysteme mit überwiegend dipolaren Wechselwirkungen anwendbar.
ix
CONTENTS
1 introduction & motivation1 1.1 Motivation ...... 1 1.2 History ...... 2 1.2.1 Classical spin systems ...... 2 1.2.2 Classical dipolar-coupled spin systems ...... 3 1.3 Content of this thesis ...... 4 1.3.1 Scope ...... 4 1.3.2 Outline ...... 5 1.3.3 Contributions ...... 6
2 theory of classical spin systems9 2.1 Degrees of Freedom ...... 9 2.2 Hamiltonians ...... 10 2.2.1 Zeeman Hamiltonian ...... 11 2.2.2 Anisotropy Hamiltonians ...... 11 2.2.3 Heisenberg Hamiltonian ...... 12 2.2.4 Dipolar Hamiltonian ...... 13 2.3 Long-range and short-range interactions ...... 14 2.4 Frustration ...... 16 2.5 Thermodynamics ...... 17 2.5.1 Thermodynamic potential ...... 19 2.5.2 Partition Function ...... 20 2.5.3 Thermal average of an observable ...... 20 2.6 Phase transitions and critical exponents ...... 22
3 monte carlo methods 27 3.1 Mathematical approach ...... 27 3.2 Importance Sampling: Metropolis algorithm ...... 28 3.3 Parallel Tempering: an approach for highly frustrated systems 31 3.4 Monte Carlo simulations at criticality ...... 32 3.4.1 Finite-size scaling ...... 33 3.4.2 Monte Carlo renormalization group ...... 34 3.4.3 Determining Tc ...... 40 3.5 Temporal evolution of discrete degrees of freedom ...... 41
xi xii contents
4 applications of monte carlo simulations 43 4.1 Model nanomagnetic logic gates with kinetic Monte Carlo . . 43 4.1.1 Experiment on the nanomagnetic logic gates ...... 44 4.1.2 Theoretical model and its solution by kinetic Monte Carlo ...... 46 4.1.3 Conclusion & Outlook for the simulation of nano- magnetic logic gates ...... 49 4.2 Determination of Universality classes ...... 50 4.2.1 Ising-model in two dimensions ...... 50 4.2.2 Dipolar XY spins on the square lattice ...... 55 4.2.3 Conclusion of the Universality ...... 65
5 understanding the µ-spin rotation experiments 67 5.1 The µ-spin rotation as a local magnetic field probe ...... 67 5.1.1 General working principle of µ-spin rotation ...... 68 5.1.2 The µ-spin rotation experiments on Artificial Spin Ice 70 5.2 Experiment on dipolar XY spin systems ...... 70 5.3 Depolarization model of dipolar-coupled XY spin systems . . 75 5.3.1 Applicability of time averaging the magnetic field . . . 76 5.3.2 Mean-field description of dipolar XY spins on the square lattice ...... 77 5.3.3 Depolarization of the µ-spin due to the dXY Artificial Spin Ice ...... 79 5.4 Comparison of the model with the experimental results . . . 80 5.5 Conclusion & Outlook ...... 83
6 phase diagram of dipolar-coupled xy spins on the square lattice 85 6.1 Dipolar-coupled XY spins on disordered square lattices . . . . 86 6.2 Introducing proper order parameters ...... 88 6.3 Applicability of order parameters in disordered systems . . . 91 6.4 Non-disordered system & thermal Order-by-Disorder . . . . . 94 6.5 Temperature versus vacancy-density phase diagram ...... 96 6.5.1 Binder cumulant analysis & Phase diagram ...... 101 6.6 Temperature versus random-displacement phase diagram . . 107 6.7 Conclusion ...... 113
7 continuous ground-state degeneracy of classical dipoles on regular lattices 117 contents xiii
7.1 Simple example: dipolar-coupled XY spins on the square lattice ...... 118 7.2 Construction of the degenerate ground-states ...... 120 7.2.1 Using the translational invariance: the method of Luttinger and Tisza ...... 121 7.2.2 Continuous ground-state degeneracy as a result of the point symmetry group ...... 123 7.3 Application of our method ...... 125 7.3.1 Dipolar-coupled XY spins on the square lattice . . . . 125 7.3.2 Dipolar-coupled Heisenberg spins on the (distorted) cubic lattice ...... 129 7.3.3 Dipolar-coupled XY spins on the triangular lattice . . 134 7.4 Conclusion ...... 135
8 spin waves and order-by-disorder for classical dipoles on regular lattices 137 8.1 Spin waves in dipolar-coupled spin systems for simple lattices137 8.1.1 Spin waves for dXY spins on the chain lattice . . . . . 138 8.1.2 Spin waves for dXY spins on the square lattice . . . . . 144 8.2 Generalization of spin waves to other lattices ...... 151 8.2.1 Dispersion relation ...... 153 8.2.2 Free energy ...... 157 8.3 Application of the dipolar spin-wave theory ...... 161 8.3.1 Dipolar-coupled XY spins on the square lattice . . . . 161 8.3.2 Dipolar-coupled Heisenberg spins on the simple cu- bic lattice ...... 162 8.4 Conclusion ...... 167
9 conclusion & outlook 171 9.1 Universality class of dipolar-coupled XY spins on the square lattice ...... 172 9.2 µ-spin rotation experiments of dipolar-coupled XY spins . . . 173 9.3 Phase diagram of dipolar-coupled XY spins ...... 174 9.4 Symmetry analysis of dipolar-coupled spin systems ...... 175 9.5 Concluding Remarks ...... 177 a algorithms 179 a.1 Metropolis-Rosenbluth-Rosenbluth-Teller-Teller algorithm . . 179 a.2 Rejection-free kinetic Monte Carlo algorithm ...... 180 xiv contents
b mcrg interaction set 181
acknowledgments 183
bibliography 185
publications 203
notation 205 Glossary ...... 205 List of Abbreviations ...... 205 Frequently used Symbols ...... 206
list of figures 207
list of tables 216
curriculum vitæ 219 1 INTRODUCTION&MOTIVATION
1.1 motivation
Magnetism has excited humanity for millennia, providing us with one of the most fascinating natural forces. Early applications of magnetism in- cluded the compass, which enabled the traversal of the seas, and the dis- covery of unknown places. In modern times, the applications of magnets range from giant magnets in power generators and electric motors, down to tiny magnets used to store data in hard discs. The theoretical founda- tion for all these applications has an equally long history. Already Aristotle tried to understand magnetism, associating the magnetic force with some- thing mystical. Magnetism continued to remain a mystery and, it was only when Maxwell derived the field equations of electromagnetism [1], that a proper understanding of classical magnetic fields was achieved. Maxwell’s theory was incredibly successful in describing electromag- netic fields and served as an essential step in the development of spe- cial relativity by Einstein. However, the theory could not explain why some solids were magnetic. It was only later realized that magnetism in solids occurs as a quantum-mechanical effect [2, 3]. The first successful mi- croscopic models of magnetism included intrinsic magnetic moments, i. e. “magnetic atoms”, coupled by a simple nearest-neighbor interaction [4, 5] — the exchange interaction predicted by a quantum mechanical treatment of interacting electrons [6–8]. Even today, most microscopic descriptions of magnetism rely on nearest-neighbor models, with some small adjustments such as next-nearest neighbor terms or Dzyaloshinskii-Moriya interactions. Nevertheless, Maxwell’s theory predicted that magnetic atoms are dipoles, and thus, there were early attempts to attribute the magnetism in solids to long-range order of microscopic dipole moments, which interacted magnetostatically. However, compared to the achievements of nearest-neighbor models in the description of magnetism in solids, the description of magnetism based on dipoles had only limited success as in most magnetic materials the nearest-neighbor exchange interaction is dominant over the dipolar interaction. Therefore, much of the research effort focused on nearest-neighbor models and dipolar systems soon
1 2 introduction & motivation
became neglected. Hence, our knowledge about dipolar systems is much less than our understanding of nearest-neighbor models. Nevertheless, the dipolar interaction is relevant, for example, to discuss the flux closure of the magnetic stray field of a finite-sized ferromagnet. In modern days, the study of dipolar interactions in spin systems became popular once again due to the importance of the dipolar interaction in the spin-ice pyrochlores [9]. These systems show many exciting features like an extensive ground-state degeneracy and hence a strong suppression of magnetic ordering. Moreover, the dipolar interaction is the dominant inter- action in so-called Artificial Spin Ice (ASI). These systems were introduced initially with the desire for a deeper understanding of spin-ice physics. However, in contrast to the pyrochlores, ASI systems are not bound to a particular lattice geometry or limited in how a single moment anisotropy relates to this lattice. Hence, they provide an excellent playground to ex- plore exciting new physics. Inspired by recent advances in ASIs [10–12], the purpose of this thesis is to provide a better understanding of classical dipolar-coupled systems with continuous degrees of freedom. This objective will be achieved by various numerical and analytical methods, always with the purpose to gain a deeper insight into the fascinating physics that is displayed by classical dipolar spin systems.
1.2 history
1.2.1 Classical spin systems The first successful microscopic theories of magnetism were not based on dipoles, but rather a simple nearest-neighbor model. In particular, Wilhelm Lenz formulated a model in order to explain ferromagnetism [4], which he gave to his student, Ernst Ising, who was able to compute the thermo- dynamic behavior exactly for the one-dimensional case [5]. Ising wrongly claimed that the model does not undergo a phase transition in any dimen- sion, which he attributed to the oversimplified nearest-neighbor interac- tion. Peierls, however, proved him wrong by demonstrating the existence of a phase transition in higher dimensions [13]. Only shortly after their work, Heisenberg introduced more general mod- els with continuous spins rather than discrete spins [14]. Eventually, more general O(n) models1 saw enhanced research interest [15, 16]. The nearest-
1 Here, O(n) model, also called the n-vector model, denotes a generalization of the nearest- neighbor models to general (classical) spins of dimension n. The O(1) model is the Ising 1.2 history3 neighbor interaction inherent to these models was shown to originate from the quantum treatment of interacting electrons [6–8, 17]. Hence, it was nat- ural to extend the models to quantum systems, where operators rather than just vectors form the spin variables. This modification facilitated an excellent description of experiments on spin-chains [18] (see Ref. [19] for a review on the theory) and fascinating new physics such as the exactly solvable Kitaev model [20].
1.2.2 Classical dipolar-coupled spin systems Even though the nearest-neighbor models have had significant success, the dipolar interaction cannot always be neglected. Indeed, early attempts to explain solid magnetism focused on dipolar interactions, as Maxwell al- ready realized that there are no magnetic monopoles. Hence, the smallest building blocks of magnetism, i. e. “magnetic atoms”, had to consist of dipoles. Around the same time as Maxwell derived his field equations, experi- mental investigations of magnetic systems resulted in the discovery of the so-called adiabatic demagnetization [21], where certain systems cool down when a large magnetic field is removed. Hence, adiabatic demagnetization was later used in refrigeration down to temperatures below 100 mK [22– 24]. In the endeavor to find materials for even lower temperatures, many different paramagnetic salts were studied. This research led to the obser- vation of a sharp increase of the specific heat in gadolinium sulfate [25], which was one of the first indications of the magnetic ordering of classical dipoles. In order to understand the phase transitions in the array of dipoles in the paramagnetic salts, several theoretical attempts were made, such as high- temperature expansions [26] or Lorentz-field methods [27]. However, it was not until the work of Luttinger and Tisza (LT), that the ground state of dipolar-coupled spin systems on regular lattices could be determined [28]. Belobrov et al. [29] realized that Luttinger and Tisza had obtained a contin- uous ground-state degeneracy, which is not protected by any global sym- metry of the Hamiltonian. Since the degeneracy is not protected, infinitesi- mal perturbations are expected to lift the degeneracy. Indeed, Prakash and Henley found that disorder or thermal fluctuations induce a degeneracy breaking order-by-disorder transition [30]. This transition ensured that the
model, O(2) model is the XY model, and O(3) model is the Heisenberg model. The higher dimensional model are then enumerated by n. 4 introduction & motivation
system chooses configurations which do not have more symmetries than the Hamiltonian. Since then, the study of dipolar systems underwent a revival, as it was discovered that dipolar interactions could be used to model the spin-ice physics in pyrochlores [9]. Since the desire to understand the spin-ices per- sisted, both theoreticians and experimentalists searched for a way to go beyond the well-established spin-ice pyrochlores. This led to the experi- mental study of many other pyrochlores (see Ref. [31] for a review), to nu- merical investigations of the pyrochlores [32] and related geometries [33– 35], and to the development of Artificial Spin Ice (ASI). While the early ASI systems consisted of Ising-like moments on periodic lattices such as the square and the kagome lattice, the field has rapidly ex- panded since then. Currently, ASI systems include many different lattice geometries [36–42] and single particle anisotropies [10–12, 43–45] and, for most studies the focus has been on two-dimensional systems, although re- cently some three-dimensional ASI systems have been introduced [46–50]. What all ASI systems have in common is that the individual nanomagnets interact predominantly via the dipolar-interaction and that the magnetic moments are sufficiently large to behave classically.
1.3 content of this thesis
1.3.1 Scope The main intention of this thesis is to provide a better understanding of magnetic phases that arise in classical dipolar-coupled spin systems. This objective will be achieved mainly by using numerical simulations, analyt- ical calculations, and by applying symmetry discussions based on group theory. Research in the field of ASI, in particular, work related to continuous in-plane spins on square lattices such as Ref. [11], initially motivated the topic of this thesis. Hence, many concepts are developed for the so-called dipolar-coupled XY (dXY) model. For this system, a qualitative phase dia- gram concerning temperature and disorder has been known [30], but the community lacks a quantitative phase diagram. Therefore, one goal of this thesis is to determine such a quantitative phase diagram for the dXY model on the square lattice. Many findings already exist for the dXY system on specific lattices, but the field lacks a general theory. Therefore, another primary goal of this thesis is to generalize the findings for the dXY systems to more general 1.3 content of this thesis5 geometries. Specifically, the aim is to extend the theoretical description to dipolar-coupled spin systems with continuous degrees of freedom in any dimension and lattice geometry. Hence, another primary objective of this thesis is the generalization of particular findings for the dXY model and to provide a deeper understanding of the underlying phenomena.
1.3.2 Outline The thesis itself is divided into several chapters, at the beginning of which a more detailed overview of the contents of the chapter is given. Here a brief summary of each chapter is provided to guide the reader through the thesis. In Chapter 2, a recapitulation of well-known physical concepts in sta- tistical mechanics and thermodynamics is given. With a focus on classical spin systems and the possible interactions in these systems, the path from the microscopic description to the thermodynamic relations is described. Hence, the language and notation of this thesis are introduced in this chap- ter. In Chapter 3, the Monte Carlo algorithms used in the thesis are reviewed. After providing the mathematical foundation for Monte Carlo methods, the importance-sampling Monte Carlo algorithms are introduced. Further- more, specialized algorithms such as kinetic Monte Carlo (kMC) or the Monte Carlo renormalization group (MCRG) are described, which can be used to determine particular quantities. In Chapter 4, two applications of Monte Carlo algorithms are presented. Specifically, in Section 4.1, the application of kinetic Monte Carlo simula- tions for the interpretation of the experimental results of Ref. [51] is dis- cussed. Furthermore, in Section 4.2, the attempts to obtain the universality class of the dXY spin system on the square lattice by finite-size scaling and Monte Carlo renormalization group simulations are presented. In Chapter 5, the experimental results of Ref. [11] on the dXY system obtained by µ-spin rotation measurements are presented, and it is dis- cussed how theoretical modeling of the measurements provided a reason- able interpretation of the results. Explicitly, a criterion for probing only time-averaged quantities is developed. Here, the magnetic fields are deter- mined by a mean-field calculation, which gives a theoretical prediction of the depolarization of the muon spin. It is shown that this approach yields a reasonable agreement with the experiment. In Chapter 6, the influence of temperature and disorder on the dXY sys- tem is addressed. Here, order parameters indicating the magnetic phases 6 introduction & motivation
that the dXY system on the square lattice can attain are derived by group theory. From extensive Monte Carlo simulations, the magnetic phase dia- gram is identified for two cases of disorder, leading to the first determina- tion of the full phase diagram for this model. In Chapter 7, it is shown why many dipolar systems display a continu- ous ground-state degeneracy, even though dipolar systems do not admit a continuous symmetry in the Hamiltonian. By using the group and rep- resentation theory for a detailed symmetry analysis, it is shown that the continuous degeneracy arises as a consequence of the peculiar symmetries of the dipolar interaction. This analysis also demonstrates that the degen- eracy is fairly fragile, so it is not expected to survive excitations. The effect of such excitations on this continuous ground-state degener- acy is analyzed in Chapter 8. First, some analytical results are derived for two simple systems, namely for dXY spins on a linear chain and a square lattice. These specific calculations introduce the main concepts of linear spin-wave theory, which are then used for the generalization to more gen- eral lattices using group theory. With this, it can be seen that some results for the simple lattices can be generalized. Finally, the thesis is concluded in Chapter 9 by a summary of the main achievements. Additionally, an outlook for the future of dipolar-coupled spin systems with continuous degrees of freedom is given.
1.3.3 Contributions Scientific advances often happen as a result of the contributions from sev- eral researchers, and the work presented in this thesis was obtained as part of research collaborations. For clarity, the contributions of the author of this thesis, Dominik Schildknecht, are explicitly listed for each chapter below. If results are presented, which were not obtained by the author of this thesis, it is clearly stated in the text.
• Chapter 4, Section 4.1: – Formulated the theoretical model with the help of Dr. Naëmi Leo. – Performed the kinetic Monte Carlo simulations by writing a wrapper around the code by Dr. Peter M. Derlet. – Helped with the preparation of the manuscript [51].
• Chapter 4, Section 4.2: – Implemented the Monte Carlo simulations for nearest-neighbor Ising systems and dXY systems on the square lattice. 1.3 content of this thesis7
– Analyzed the Monte Carlo results using finite-size scaling. – Implemented and tested the Monte Carlo renormalization group method for both systems.
• Chapter 5: – Derived and formulated the fast-fluctuation criterion. – Analyzed the results of the TRIM.SP simulation with the fast- fluctuation criterion to determine the fraction of muons that only the static contribution of the magnetic fields. – Performed the mean-field calculation for dXY spin systems on the square lattice. – Derived the depolarization of the muon spin using the magnetic stray field calculated from the mean-field approach and compared this to the experimental results. – Helped with the preparation of the manuscript [11].
• Chapter 6:
– Derived the order parameters Ms and Mmv. – Derived an applicability criterion for the order parameters in the pres- ence of positional disorder. – Wrote the simulation code and performed large-scale simulations of the dXY system on the square lattice exposed to two different types of disorder. – Implemented the resampling procedure based on the Binder cumu- lants to determine the phase diagram for both types of disorder. – Prepared the manuscript [52] with contributions from all authors.
• Chapter 7 : – Reproduced the explicit ground-state calculations for the dXY model on the square lattice from previous literature. – Formulated the proof for the continuous ground-state degeneracy. – Prepared the manuscript [53] with contributions from all authors.
• Chapter 8: – Reproduced previously known results for spin-wave excitations on simple lattices. 8 introduction & motivation
– Formulated the generalization of these results to more general sys- tems described by the theory of Chapter 7 in collaboration with Dr. Michael Schütt and Dr. Peter M. Derlet. 2 THEORYOFCLASSICALSPINSYSTEMS
In this chapter, thermodynamics and statistical physics are reviewed with a focus on classical spin systems. The concepts discussed in this chapter are well-known, and there exists an extensive repository of great books on these topics such as Refs. [54, 55] to which we want to refer the interested reader. In this thesis, the units are chosen so that the Boltzmann constant is kB = 1 (dimensionless). Therefore, temperature and energy are expressed in the same units.
2.1 degrees of freedom
Historically, the first microscopic models of magnetism were classical treat- ments, which have only later been extended to quantum mechanical oper- ators (see Section 1.2.1). Here, however, it has to be clarified under which circumstances the classical limit is sufficient to describe a system. The sys- tem can be treated classically if the so-called large-S limit is fulfilled. One can consider the commutator of spin variables Sˆα, Sˆβ = ih¯ εαβγSˆγ,(2.1) where α, β, γ ∈ {x, y, z} and ε is the Levi-Civita symbol. Upon rescaling ˆ ˆ ~S = (Sˆx, Sˆy, Sˆz) to λ~S in Eq. (2.1), the right-hand side is linear in λ, and the left-hand side is quadratic in λ. Hence, for large λ (i. e., large spin), the commutator is close to 0, and quantum-mechanical fluctuations become negligible. The physical interpretation is that if ~Sˆ 2 h¯ 2, then quantum- mechanical fluctuations are negligible compared to the size of the spin, and hence a classical treatment of the magnetic moment as a unit vector is suf- ficient. In what follows, the large-S limit is always assumed so that the sys- tems are treated entirely classically. This limit is sufficient for ASI, where the total spin of each island is typically O(105) or larger. Even though the focus of this thesis is entirely on classical entities, the normalized magnetic moment is still referred to as the spin, following the literature [15]. The classical analog of a spin is a vector on the unit sphere S2, i. e., a three-dimensional vector with unit length, which is referred to as a Heisen- berg spin. The dynamics of Heisenberg spins can be strongly restricted due 9 10 theory of classical spin systems
to the presence of anisotropies. Such anisotropies can either be described by additional terms in the Hamiltonian (see Section 2.2.2) or, assuming strong anisotropies, the degree of freedom can be restricted. For example, in systems with a strong in-plane anisotropy such as in Refs. [10–12], the adequate description is provided by spins on the unit-circle, which are referred to as XY spins. Such an XY spin is still a continuous degree of freedom since it is parametrized with a single angle, corresponding to the parametrization of the unit circle S1. In contrast, for an out-of-plane anisotropy or for elongated nanomagnets in ASI, the proper description relies on a spin which can only point along two directions. Such a spin is referred to as an Ising spin and is described by a point on the sphere embedded in one dimension S0 (the two points ±1 are equivalent to Z2). Since there is no continuous parameter changing the spin direction, such a spin is called discrete. In this thesis, a distinction is made between Ising spins and Ising-like spins whenever the Hamiltonian incorporates a mixing between real-space and spin-space as for the dipolar Hamiltonian (as seen in Section 2.2.4). If the easy-axis anisotropy defining the spin direction is the same axis for all spins, then such spins are referred to as Ising spins. If, however, the anisotropy axis can change from one spin to another, such spins are re- ferred to as Ising-like spins, which typically arise in ASI systems with discrete degrees of freedom, such as in the artificial square ice [37, 56, 57]. In addition to the Sd-spins (Heisenberg spins, XY spins, and Ising spins), other types of spins can be introduced, such as the p-state clock-model spin, which is an XY spin with strong p-fold anisotropy, such that the angle is restricted to p evenly spaced values. Additionally, p mutually or- thogonal spins form the basis for the Potts-p-model spins, so that the lattice directions eˆx, eˆy, ··· can be chosen as a basis.
2.2 hamiltonians
The Hamiltonian defines the physics of a system, such as the time evolu- tion and the thermodynamic behavior. It should be noted that one needs to differentiate between the Hamiltonian and the energy functional since they are in general inequivalent. However, this subtlety typically does not arise for classical spin systems, without an explicit time dependence. For the present work, it will be assumed that the energy functional is equivalent to the Hamiltonian. Here, we summarize the frequently used Hamiltonians of this thesis. 2.2 hamiltonians 11
2.2.1 Zeeman Hamiltonian Ferromagnets try to align with an external magnetic field, which is why compass needles point towards the (magnetic) north pole. The alignment is explained by the Zeeman-energy, which describes the coupling of a mag- ~ ~ netic moment µiSi to the external magnetic field Hext as ~ ~ HZeeman = −µ0 Hext · ∑ µiSi,(2.2) i
where the summation is over all spins in the sample. Here, µi is chosen so ~ that |Si| = 1 is dimensionless. Often the magnetic moment µ is separated into µ = MV where M is the magnetization density and V is the volume which exhibits this magnetization.1 The Zeeman-energy is minimized if all magnetic moments align with the external magnetic field. It should be noted that this Hamiltonian is not time-reversal symmetric, i. e., it does not ~ ~ stay invariant under the operation Si 7→ −Si.
2.2.2 Anisotropy Hamiltonians In Section 2.1, it has been argued that anisotropies typically lead to a reduc- tion of the degrees of freedom. This hard implementation of anisotropies is only valid when the anisotropies are infinitely strong, or at least the en- ergy scales associated with the anisotropies are much larger than any other energy scale (such as the temperature). Rather than taking this limit, anisotropies can be included in the Hamil- tonian by introducing terms favoring specific directions. For example, in- plane and out-of-plane spins can be modeled by Heisenberg spins with the anisotropy term
~ 2 HAnisotropy = K ∑(Si · eˆi) ,(2.3) i
where eˆi is the unit vector along the anisotropy direction. If eˆi = eˆz for all i, the anisotropy direction is always the same so that the so-called out-of- plane anisotropy is given if K < 0 and in-plane anisotropy if K > 0. To model Ising-like spins, however, eˆi depends on i, as eˆi aligns with the easy axis of the spin, which changes from spin to spin.
1 Here, the convention will be that M denotes a magnetization density in units of Am−1, and 2 µi denotes a magnetic moment with units of Am . The units of the external magnetic field are therefore Am. 12 theory of classical spin systems
Additionally, other anisotropies can arise, such as the “weak” clock- model anisotropy formulated for XY spins by the in-plane angle θ as
Hp = hp ∑ cos (pθi) ,(2.4) i where p is the number of minimal energy states of this Hamiltonian. This Hamiltonian can arise, for example, from the crystal-field anisotropy in a bulk crystal, and hence p is often the coordination number of the lattice [58, 59].
2.2.3 Heisenberg Hamiltonian Both, the Zeeman term (Section 2.2.1) and the anisotropy (Section 2.2.2) are interactions involving only the summation over a single spin. The Heisen- berg Hamiltonian, in contrast, couples different spins by having a summa- tion over nearest-neighbor bonds so that ~ ~ HHeisenberg = J ∑ Si · Sj,(2.5) hiji where hiji denotes summation over nearest-neighbor pairs. Equation (2.5) is the so-called Heisenberg Hamiltonian, which is very similar to the Hamiltonian studied by Ising [4, 5]. If J < 0 then the Hamiltonian prefers the parallel alignment of spins and a ferromagnetic configuration. If J > 0, then an antiferromagnetic alignment of spins is preferred. The sign of J can sometimes be derived from a microscopic theory when the low-energy sector can be described by a Heisenberg interaction. For example, when two electrons hybridize, then the Coulomb repulsion lifts the degeneracy between the singlet and triplet state leading to an effective Heisenberg Hamiltonian. If the triplet state is lower in energy, the spins lower the energy by aligning parallel resulting in a negative J. If, in con- trast, the singlet state has lower energy, J becomes positive. Similarly one can derive an effective (antiferromagnetic) Heisenberg interaction from the Hubbard-model, a model used to study the on-site interactions between electrons in band theory [17, 60]. The Heisenberg interaction is often the dominant short-range interaction with coupling constants J often being of the order of several 100 K. Various extensions to the Heisenberg Hamiltonian in Eq. (2.5) exist: Inter- action with more distant neighbors such as the next-nearest neighbor can ~ ~ be included. Also, the product Si · Sj can be generalized to the quadratic ~ ~ form Si · A · Sj, where A is a matrix. This matrix is symmetric for space- inversion symmetric problems but can have an antisymmetric component 2.2 hamiltonians 13 by the inclusion of Dzyaloshinskii-Moriya interactions. Finally, A could also depend on the pair (i, j), such that even models of spin glasses can be written quite elegantly in a similar form to the Heisenberg Hamilto- nian [61–63].
2.2.4 Dipolar Hamiltonian ~ The Hamiltonian of dipolar interacting spins Si is given by D 1 H = ~S · ~S − 3 ~S · rˆ ~S · rˆ (2.6a) Dipol ∑ |~ |3 i j i ij j ij 2 i6=j rij α β D 1 rijrij β = δαβ − 3 SαS ,(2.6b) 2 ∑ ∑ |~r |3 |~r |2 i j i6=j α,β∈{x,y,z} ij ij where ~rij is the difference vector between the positions of the sites i and j, and rˆij is the normalization of ~rij to unit length. The Hamiltonian is α expressed in a symmetric quadratic form in Eq. (2.6b), where Si denotes ~ the α component of the spin Si. The dipolar interaction strength is given by D, which for ASI nanomagnets is given by
µ (MV)2 D = 0 ,(2.7) 4π where µ0 is the vacuum permeability, and MV is the magnetic moment of a single ferromagnetic element with magnetization M and volume V. ~ As Eq. (2.6) incorporates terms such as Si · rˆij some care has to be given when defining the scalar product between vectors in spin-space and in real-space. In general, the dimension d of the scalar product is the dimen- sion of the space, where the spin and the lattice can be embedded. One can consider that rˆij is placed on the lattice, and hence inherits the lat- tice dimension dlattice. Furthermore, spins are described by vectors on a (dspin − 1)-sphere, i. e., the dimension of a spin is one larger than the num- ber of degrees of freedom describing the spin. As an example, Heisenberg spins are described by two angles serving as the degrees of freedom so Heisenberg that the spin dimension of a Heisenberg spin is dspin = 3. The second term in Eq. (2.6) is also responsible for the peculiar sym- metry group of the dipolar Hamiltonian. It supports more symmetries than the Ising model, but fewer symmetries than the Heisenberg model. The symmetry group of the Hamiltonian is given by Z2 × T × P, namely time-reversal symmetry, translational invariance, and the point symmetry 14 theory of classical spin systems
~ ~ group. The Hamiltonian is unchanged under the operation Si 7→ −Si for all i, which constitutes the time-reversal symmetry Z2. Furthermore, ~ T ~ ~ ~ (~ri, Si) 7→ (~ri0 , Si0 ) = (~ri − t, Si0 ) (2.8) is a symmetry of Eq. (2.6) when~t is a lattice vector. This symmetry is the so- called translational invariance T , which leaves Eq. (2.6) invariant because only relative coordinates appear in the Hamiltonian. Both Z2 and T are often found for other spin Hamiltonians as well so that their implications are well understood. The unusual symmetry of the dipolar Hamiltonian is P, the point-sym- metry group of the underlying lattice. To explain this symmetry, the vec- tor representation V has to be introduced. This is the representation of the point symmetry group that transforms a vector according to the point sym- metry group. For simplicity, we assume that all directions in spin-space and real-space are shared (implying that dspin = dlattice), then both ~ri and ~ Si transform under the point symmetry group element g ∈ P as ~ P ~ (~ri, Si) 7→ V(g)~ri, V(g)Si ,(2.9) where the representation has to act on the position and the spin simulta- ~ neously to ensure that the second term in Eq. (2.6a) (the term −3(Si · rˆij) ~ (Sj · rˆij)) stays invariant. If dspin 6= dlattice, then the relevant space is the em- ~ bedding space that already appears in the scalar product Si · rˆij in Eq. (2.6a). It should be noted, however, that Eq. (2.9) also has to respect the spin di- ~ rections so that V(g)Si has to be described by another vector of the spin space. In other words, the point symmetry group is not allowed to change the spin-space to an orthogonal space but, rather, is only allowed to change one spin to another spin in the same manifold. Therefore, it is often suffi- cient to restrict the argument to the lower of the two dimensions and only work with projections. As an example, for in-plane XY spins on the cubic lattice, dspin = 2 and dlattice = 3. However, the Hamiltonian describing this system only supports the symmetry of the square lattice layers, since a rotation out-of-plane changes the plane of the XY spins, which is hence not a symmetry of the complete Hamiltonian. Therefore, the system can be described in d = 2 dimensions.
2.3 long-range and short-range interactions
One classification of Hamiltonians is based on the range of their interac- tions. Many common Hamiltonians, such as the Heisenberg Hamiltonian 2.3 long-range and short-range interactions 15 of Eq. (2.5) are short-ranged. However, the most prominent Hamiltonian of this thesis, the dipolar Hamiltonian as defined in Eq. (2.6), has interac- tion tails, i. e., the interaction between two spins is non-vanishing even for large distances. Therefore, the influence of long-range interactions on the behavior of the system has to be discussed. A more extensive discussion of the thermodynamics of long-range interacting systems can be found in Ref. [64]. First, the following toy model Hamiltonian is introduced to define the difference between short-range and long-range interactions, ~ ~ H = ∑ Ji−jSi · Sj, where Ji−j ≡ J(~ri −~rj),(2.10) i6=j which is a generalization of the Heisenberg Hamiltonian given in Eq. (2.5) to include more than nearest-neighbors. Here, ~ri is the position of the ith site so that δ~r = ~ri −~rj denotes the difference vector between the two sites. The Hamiltonian in Eq. (2.10) can have different ranges depend- ing on the functional dependence of J(δ~r). If there are only a finite num- ber of J(δ~r), which are non-zero, such as in the Heisenberg Hamiltonian, the interaction is truly short-range. If the J decay exponentially fast, i. e., J(δ~r) ∼ exp(−δ~r/λ), the system is still considered to be effectively short- range, even though the interactions never truly vanish. In contrast, the Hamiltonian in Eq. (2.10) has long-range interactions, if J(δ~r) decays slower than exponentially. A typical case is an algebraic decay of the coupling constants: J(δ~r) ∼ |δ~r|−σ. Here, one should differ- entiate between strong and weak long-range interactions by considering if the interaction leads to a super-extensive energy, i. e., whether the energy grows faster than the system size when the system is enlarged. The energy of a single spin in a large system of size L in dimension d is given by 1 − , d < σ Z L Z L σ d 1 − − − E ∝ rd 1dr = rd 1 σdr ≈ = .(2.11) rσ log L, d σ 1 1 Ld−σ d−σ , d > σ
Therefore, strong long-range interaction occurs in cases when d > σ. This situation leads to many interesting phenomena, such as ensemble inequiv- alence or the sample-shape dependence of the ground state (see Ref. [64] for a review). For the other case, namely d < σ, the long-range interaction is only weak so that the Hamiltonian can be truncated in many situations. 16 theory of classical spin systems
However, some artifacts can remain [65–67], so that the truncation has to be chosen carefully. For the specific case of dipolar interactions given by the Hamiltonian in Eq. (2.6), σ = 3. Hence, in one- and two-dimensional systems, the interac- tion can be truncated. However, in three-dimensional systems, the interac- tion becomes strongly long-ranged as seen in Eq. (2.11), where the single- site energy diverges logarithmically with respect to the system size L. Therefore, simulations of such systems need to take the long-range nature into account. This strong long-range interaction further leads to a sample- shape dependent Hamiltonian, H 7→ H − DM˜ 2/N, where D˜ is the demag- netization factor, and M is the magnetization. While the Hamiltonian is sample-shape dependent, the free energy has to be sample-shape indepen- dent in the thermodynamic limit according to Griffith’s theorem [68, 69], which implies that the ground-state of a three-dimensional macroscopic system cannot be a single ferromagnetic domain.
2.4 frustration
Another classification of Hamiltonians is based on their frustration, which denotes the inability of a system to minimize all pairwise interaction en- ergies simultaneously, i. e., there are competing interactions in the Hamil- tonian. One should differentiate between classical frustration and quan- tum frustration. The typical example of quantum frustration is the Ki- taev model, leading to a quantum spin liquid and Majorana fermions [20]. For classical frustration, one can further differentiate between geometric frustration and disorder-induced frustration [70, 71]. Geometric frustra- tion gives a plethora of interesting phenomena, such as incommensurate phases [72–74] or highly degenerate ground-states [75], which often im- plies the inhibition of ordering down to very low temperatures [76]. It can also lead to constraints on local fluctuations such as these seen in the fa- mous pyrochlores [77–79]. If strong disorder is present, often spin glass behavior is observed [61–63]. The first model that results in strong (geometrical) frustration is the Ising model with antiferromagnetic interactions on a non-bipartite lattice such as the triangular lattice. A sketch for this is shown in Fig. 2.1. Here, one can imagine drawing a loop on the lattice. One starts at an arbitrary site on the lattice and fixes the spin. Then, the next spin in the loop is fixed so that the mutual energy between this spin and the first spin is minimized. This procedure is then repeated for every spin in the loop. Since loops on non- 2.5 thermodynamics 17 ? J > 0 J > 0
J > 0
Figure 2.1: Sketch of a highly frustrated triangle of Ising-spins with an anti- ferromagnetic interaction. The lower left spin is set to point up without loss of generality. Next, the lower right spin has to point down in or- der to minimize its energy. Finally, the last spin can either minimize its interaction with the left or the right spin, but not with both simultane- ously, so that this spin is frustrated.
bipartite lattices, such as the triangular lattice, can have an odd length, upon returning to the first site, the associated spin would, for antiferro- magnetic interactions, need to point in a direction opposite to its initial direction so that the system is frustrated. This frustration leads to an ex- tensive ground-state entropy,2 i. e., a degeneracy growing with system size, which inhibits long-range order at any finite temperature [76]. Also the dipolar interaction itself defined by the Hamiltonian in Eq. (2.6) ~ ~ is geometrically frustrated. The first term of the Hamiltonian (Si · Sj) prefers an antiferromagnetic alignment between all the spins, which can also lead to odd loops as in triangular antiferromagnetic Ising model. A model only incorporating only this term is for example given by out-of- plane moments. Such moments placed on the triangular lattice exhibits an ordered phase and a spin-liquid phase typical for frustrated systems [80]. ~ ~ The second term in the Hamiltonian (−3(Si · rˆij)(Sj · rˆij)), however, prefers a ferromagnetic alignment of spins but is only effective for the spin components along the bond. Hence, a rule of thumb for favorable configu- rations is the so-called “head-to-tail” rule: Dipoles align ferromagnetically if they can align along their bond and antiferromagnetically if they are forced to be orthogonal. This rule is illustrated with dogs in Fig. 2.2.
2.5 thermodynamics
Even though the entire system is fully described by a Hamiltonian as in Section 2.2, it is impossible to treat a macroscopically large sample with
2 Or equivalently to an exponentially growing number of ground-state configurations. 18 theory of classical spin systems
(a) Ferromagnetic and along (b) Antiferromagnetic and the bond orthogonal to the bond
Figure 2.2: Illustration of the “head-to-tail” rule. Dipoles behave like these dogs, i. e., if the spins can align with their bond, then they prefer a parallel alignment. If the spins are forced to be orthogonal to their connecting vector, then the spins prefer to align antiferromagnetically. (Courtesy of Dr. Naëmi Leo)
O(1023) spins. To gain quantitative insight into such systems, it is vital to consider the thermodynamic variables of the macroscopic system that emerge from the statistical mechanics of the underlying microscopic vari- ables. The relationship between the microscopic dynamics and the ther- modynamics of the system is provided by the ergodicity hypothesis, which states that time-averaged quantities and ensemble-averaged quantities are identical. This hypothesis led to the advent of thermodynamics in the 19th century [81]. The thermodynamic description relies on the use of macroscopic quan- tities rather than a description using the microscopic degrees of freedom. The thermodynamic variables always come in pairs. Out of this pair, one value can be held constant, the so-called natural variable, whereas the other value responds to changes in the thermodynamic environment. The pair typically consists of an extensive quantity (growing linearly with system size) and an intensive quantity (independent of system size). The com- mon pairs of thermodynamic variables in a thermodynamic system are the volume V and the pressure p, entropy and temperature (S, T), parti- cle number and chemical potential (Ni, µi) for every particle species i, and magnetization and external magnetic field (M~ , H~ ). In these examples, the first variable is extensive and the second variable is intensive. 2.5 thermodynamics 19
2.5.1 Thermodynamic potential The relationship between the thermodynamic variables is defined by the thermodynamic potential. One typically separates the thermodynamic po- tentials by the natural variables that are set by the experiment and the variables that are free to evolve. Nevertheless, average quantities typically agree in the thermodynamic limit among the different potentials due to the so-called ensemble equivalence [82]. However, it is often advantageous to describe the system by the (fixed) natural variables and the associated thermodynamic potential.3 In this section, these thermodynamic potentials and the corresponding experimental conditions are described. If the system is entirely isolated from its environment, then all extensive variables (energy, particle number, volume, magnetization, . . . ) are fixed either due to boundary conditions or due to conservation laws. Hence, the internal energy U is a conserved quantity and is, therefore, best suited to describe such a system. Even though such systems are rarely encountered in condensed matter physics, it serves as a pedagogic example of thermo- dynamic potentials. If an experiment is conducted at a constant temperature, i. e., the system is attached to a heat bath, then energy is no longer a conserved quantity and can be exchanged between the heat bath and the system. The thermo- dynamic potential best suited to describe such a system is the so-called Helmholtz free energy. Additionally, in magnetic systems, experiments are often conducted at a fixed external magnetic field. The thermodynamic po- tential corresponding to this situation is also often called the free energy of the system. The convention in this thesis will be that the thermodynamic potential with fixed particle number N, volume V, external magnetic field H~ , and temperature T is called the free energy F. For the sake of completeness, also the grand potential, or Landau poten- tial, Ω is introduced. This potential arises when particle number N is no longer conserved so that the natural variable is the chemical potential µ rather than the particle number. This description corresponds formally to an experiment where the system can exchange particles with a reservoir, and arises typically in the treatment of quasi-particles and excitations.
3 It should be noted, however, that due to ensemble equivalence, any thermodynamic poten- tial is sufficient to describe a particular system, independent of the experimental conditions. However, in order to compare the calculation with an experiment with fixed external param- eters, a Legendre-transformation has to be applied in order to obtain the thermodynamic potential that describes the experiment. 20 theory of classical spin systems
2.5.2 Partition Function The potentials describe the thermodynamics of the system, but they do not represent the microscopic details. Statistical mechanics, in contrast, con- nects the Hamiltonian, and hence the microscopic description, to the ther- modynamics of a system. Central for this connection is the concept of the so-called partition function: For every potential, there exists an associated partition function. First, the internal energy U and the associated microcanonical ensemble are considered. In such systems, every extensive quantity is fixed, for exam- ple by conservation laws. Therefore, every configuration ω has the same probability p(ω) given that it has the correct energy, volume, and parti- cle number. The partition function itself takes the role of a normalization constant, with the microcanonical partition function given by Z z(E, V, N) = dω δ[E − E(ω)] (2.12)
( ) = 1 so that the probability of a state is p ω z δE,Eω δV,Vω δN,Nω . If a heat bath is attached, then the energy is no longer a conserved quantity, but states occur with a probability proportional to exp[−βE(ω)], −1 where β = (kBT) is the inverse temperature once natural units are used, in which kB = 1. The partition function also needs to incorporate the changed probability, which leads to the canonical partition function Z Z(β, V, N) = dω e−βE(ω).(2.13)
It is generally true that the relevant partition function can be obtained from the microcanonical partition function in Eq. (2.12) via Laplace- transformations. In Table 2.1, the connection between the different par- tition functions and their respective potentials is summarized. For most purposes in this thesis, the free energy is the relevant thermodynamic potential.
2.5.3 Thermal average of an observable The thermal average of an observable O in the canonical ensemble can be obtained from the partition function by considering that a linear term can be added to the Hamiltonian, i. e., H 7→ H + hO. This Hamiltonian is identical to the original Hamiltonian in the limit of h → 0. The variable h 2.5 thermodynamics 21
Table 2.1: Summary of the different partition functions and their corre- sponding thermodynamic potentials. Here ω is a phase-space element and β is the inverse temperature. Ensemble fixed Formula thermodynamic natural potential vari- ables R micro- E, V, N z = dω δ[E − E(ω)] S = kB log z canonical R −βE(ω) canonical T, V, N Z = dω e F = −kBT log Z R −β[E(ω)+µN(ω)] grand T, V, µ Z = dω e Ω = −kBT log Z canonical is called the conjugate field to O since, if O is the magnetization, then h is the external magnetic field. Therefore,
1 Z hOi = lim dω O(ω) exp − βH(ω) (2.14a) h→0 Z Ω 1 Z 1 ∂ = lim dω − exp − βH(ω) (2.14b) h→0 Z Ω β ∂h 1 ∂ log Z = − lim (2.14c) β h→0 ∂h defines the thermal average of the observable O. It should be noted that the thermal average hOi is the value of O that is measured in an experiment where the system is coupled to a heat bath. In an equivalent manner to Eq. (2.14), the integration can be carried out in one dimension only, if the density of states ν(E) is known, since
Z ∞ hOi = dEO(E)ν(E) exp (−βE) ,(2.15) E0 where E0 is the ground-state energy and O(E) is the microcanonical aver- age of O. The weight ν(E) exp (−βE) takes both the growing phase space and the exponential suppression of higher energies into account. If a sad- dle point analysis is applied to
ν(E) exp (−βE) = exp (−β(E − T log ν(E))) ,(2.16) 22 theory of classical spin systems
it can be observed that the main contribution to the integral in Eq. (2.15) comes from the part of the integration domain where E − T log ν(E) is minimal. Hence, for most systems, configurations where E ∼ T contribute most to the thermal averages. It should be noted that going from Eq. (2.14) to Eq. (2.15) is merely a change of variables so that, without prior knowl- edge about ν(E), it is equally hard to determine the thermal average from Eq. (2.14) and Eq. (2.15).4
2.6 phase transitions and critical exponents
Finally, many properties discussed in this thesis are related to phase tran- sitions. A phase transition is most generally defined as a discontinuous change in the properties of a system when an external parameter p is varied continuously. Often, the external parameter p is the temperature, such as in the example of the water to ice transition at 0 ◦C or for the fer- romagnet to paramagnet transition that occurs at the Curie temperature. However, as other parameters such as pressure or magnetic field can also induce a phase transition, the tuning parameter is denoted with p rather than T in this section. Even though all phase transitions come with some discontinuities, there are different types of discontinuities arising in phase transitions as realized by Ehrenfest [83]: A system is said to have a transition of nth order at p = pc, if
− ∂n 1F ∂nF < ∞, but = ∞,(2.17) ∂pn−1 ∂pn p=pc p=pc
where F is the free energy. In practice, one often only needs to differentiate between a discontinuous first order phase transition, such as the freezing of water to ice, and a continuous higher order transitions such as most magnetic ordering transitions. Moreover, there exist so-called crossover phenomena, which do not fit into Ehrenfest’s classification scheme, as they do not constitute proper phase transitions. However, properties of a sys- tem change dramatically during a crossover without any discontinuity in the derivatives of the free energy. It should be noted that phase transitions can only happen in the thermodynamic limit so that, in finite systems, the discontinuities are smeared out, and instead of a phase transition only a crossover occurs.
4 Hence, there is no free lunch. 2.6 phase transitions and critical exponents 23
Often a phase transition is associated with a spontaneous symmetry breaking, i. e., the Hamiltonian possesses a certain symmetry, which is no longer present in the system after it undergoes a phase transition. For ex- ample, for a ferromagnet, the time-reversal symmetry is broken. Hence, the high-temperature phase is typically called the symmetric phase and the low-temperature phase is called the broken symmetry phase. The con- cept of spontaneous symmetry breaking can be quantified by the so-called order parameter φ. The order parameter vanishes in the high-temperature phase and has a finite value whenever the symmetry of the Hamiltonian is broken. For a ferromagnet, the order parameter is the magnetization, which is 0 above the Curie-temperature and has a finite value below. It should be noted that the order parameter φ is extensive and the conju- gated field hφ is intensive. However, often the order parameter density is considered, i. e., the order parameter normalized by the system volume, to make simulations or samples with different system sizes comparable. These concepts form the basis for the modern approach to phase transi- tions provided by the Renormalization Group (RG) theory. The RG treat- ment fundamentally relies on the scale-free nature of systems at critical- ity, so that a rescaling of the length scales in a system only has a limited impact on the thermodynamics. The rescaling can either be achieved in momentum-space by integrating out high-momentum modes [84, 85], or in real-space by a block spin transformation [86], which will be introduced in more detail in Section 3.4.2. A major result of RG theory is that certain thermodynamic observables around the phase transition obey power laws, which are described by critical exponents that are defined in Table 2.2. The critical exponents are defined in such a way that they are typically posi- tive, i. e., if a minus sign appears in the scaling law, the quantity typically diverges at the phase transition. Furthermore, RG theory shows that the critical exponents are not independent and that two are sufficient to deter- mine the other exponents by the so-called scaling relations [87]:
δ + 1 νd = 2 − α = 2β + γ = β(δ + 1) = γ , and (2.18a) δ − 1 γ δ − 1 2 − η = = d .(2.18b) ν δ + 1
Possibly the most fundamental result of RG theory when applied to phase transitions is that many phase transitions behave the same, even though the microscopic physics might be entirely different. Indeed, the physics of phase transitions is universal: critical exponents do not depend 24 theory of classical spin systems
Table 2.2: Definition of some thermodynamic observables and their critical behavior around a phase transition upon changing the external param- eter p, where p is often the temperature. Here, F is the free energy and hφ is the field conjugate to the order parameter. All quantities are considered in the limit hφ → 0. Furthermore, the order parameter is extended to φ 7→ φ(~x) so that the order parameter is hφ(~x)i. Quantity Definition Scaling Validity β ∝ (pc − p) p < pc Order parameter hφi = −∂hφ F 1 ∝ |hφ| δ p = pc
T 2 α Heat Capacity Cv = − V ∂T F ∝ |p − pc|
−γ Susceptibility χφ = ∂hφ hφi ∝ |p − pc|
Correlation ∝ |~x|−(d−2+η) p = p G(|~x|) = hφ(0)φ(~x)i c Function ∝ exp(−|~x|/ξ) p > pc
−ν Correlation ξ ∝ |p − pc| Length 2.6 phase transitions and critical exponents 25 on microscopic details but only on the dimension of the system, the sym- metry that is broken by the transition and whether the interaction is short- or long-range [84, 85, 88, 89]. Finally, the RG theory can also be applied to finite systems, which do not undergo a phase transition but rather a crossover due to their finite size. However, if the system is large enough, it can behave as if it would be infinite. The theory behind this observation is the so-called finite-size scaling theory [90], which is comprehensively reviewed in Ref. [91]. For this thesis, it is sufficient to summarize finite-size scaling in the following way: Finite-size scaling essentially distinguishes two regimes based on the correlation length ξ a system would have if it were infinite. If L ξ, the correlations do not experience the finiteness of the system so that the sys- tem behaves as if it would be infinite. In contrast, if L ξ, the correlation length is capped by the size of the system, and strong deviations from the thermodynamic limit are expected. Finite-size scaling will be discussed in Section 3.4.1 in more detail, once Monte Carlo simulations on finite lattices have been introduced.
3 MONTECARLOMETHODS
In this chapter, we introduce the Monte Carlo (MC) algorithms that are used in this thesis. A more exhaustive discussion can be found in text- books such as Ref. [92]. The code used for this thesis is based on the ALPS project [93–96] and is hosted on GitHub.1 Simply speaking, Monte Carlo algorithms are methods using (pseudo-) random numbers to approximate a solution to a problem, which is of- ten in the form of an integral. Monte Carlo methods predominantly come with the advantage that they do not require any assumptions or uncon- trolled approximations. Instead, everything limiting the accuracy, such as the system size or the statistical sample size, can be increased, so that with sufficient time on a computer, the problem can be solved to any required accuracy.
3.1 mathematical approach
From a mathematical context, Monte Carlo algorithms are based on the simple equation Z dr f (r) = vol(Ω)h f iΩ,(3.1) Ω
where h· · · iΩ represents the average over the volume Ω. The average of a function can be approximated by sampling the function N times since
1 N 1 h f iΩ = ∑ f (xi) + O √ ,(3.2) N i=1 N
where the xi are uniformly distributed random numbers in Ω. This inte- gration method is known as the “crude method” [92].The error decreases statistically with the square root of the sample size. Hence, to obtain a 10-fold increase in precision of a result, the algorithm has to be run 100 times longer. In low-dimensional integration, quadrature rules such as Simpson’s rule easily beat this convergence. However, the convergence or- der decreases with dimension for quadrature rules, whereas Monte Carlo
1 https://github.com/domischi/mcpp 27 28 montecarlomethods
methods are independent of the dimension, always converging with a rel- ative error proportional to √1 . N √ Even though the convergence goes as O( N), the prefactor for the con- vergence can vary widely. To obtain a better prefactor for Monte Carlo sim- ulations, many different methods have been devised. Examples include the splitting of the integration interval into sub-intervals focusing on the more significant intervals or the so-called control-variate Monte Carlo method if an approximation f˜ ≈ f is known that is easy to integrate [97, 98]. For typical problems of physics, where the integrand is typically only signifi- cant in a small region of Ω, the method of choice is importance-sampling Monte Carlo.
3.2 importance sampling: metropolis algorithm
In situations, where the thermal average of an observable is to be deter- mined, the crude method of Section 3.1 is inefficient as ν(E)e−βE is strongly peaked so that most configurations have close to 0 weight. The crude ap- proach would amount to choosing a completely random point in phase space. As no correlation occurs between the elements of the simulation, such a situation corresponds to the infinite temperature case. In princi- ple, such a Monte Carlo integration would still work; however, most of the time is spent in regions where the Boltzmann factor exp(−βE) is es- sentially 0. To circumvent this problem, Metropolis et al. [99] proposed to sample physical configurations, i. e., configurations which would resemble an actual physical configuration at a given temperature. In their paper, Metropolis et al. were interested in the determination of the canonical ensemble of two-dimensional particles interacting with a hard-core pair-potential ∞, |~xi − ~xj| < 2rhc V(~xi,~xj) = ,(3.3) 0, otherwise
where rhc is the radius of the particles and ~xi is the position of the ith particle. As described in Section 2.5.2, they computed
Z N " N 2 !# 2 2 pi Z = d rid pi exp −β + V(ri, rj) ,(3.4) 4N ∏ ∑ ∑ R i=1 i=1 2m i6=j where their integral is 4N-dimensional since each of the N particles comes with 2 positional and 2 momentum degrees of freedom. Due to the high 3.2 importance sampling: metropolis algorithm 29
dimensional integration, Monte Carlo methods are essential for evaluating such integrals. The crude method, amounting to randomly placing the par- ticles inside the domain, is highly inefficient due to a significant probability that two particles overlap. In such a case, the energy of a configuration is infinite and hence the Boltzmann weight of this configuration vanishes. Instead of randomly picking positions of the sites, the simulations of Metropolis et al. start with a regular lattice of the particles. Then, an up- 0 date to the position ~ri of the ith particle to a new position ~ri is proposed and, if the particle is not overlapping with any other particle, then the en- ergy remains finite, and the proposed update is accepted. If there is an overlap with other particles, however, then the move is discarded, and the particle remains at position ~ri. Hence, the simulation follows a Markov chain,2 generating physically meaningful configurations over time. This al- gorithm contained the main idea of modern importance-sampling Monte Carlo algorithms, namely obtaining new physically meaningful configura- tions by changing an original configuration and accepting the change if the new configuration is physical. This procedure is the so-called “Metropolis- Rosenbluth-Rosenbluth-Teller-Teller-algorithm” [100], often just called the Metropolis algorithm. The simulation generates a Markov chain, which provides physically meaningful configurations after a thermalization period (also called burn- in period) if the algorithm obeys detailed balance and ergodicity. Typically, the transition probability W is separated into a product of the proposal probability T and the acceptance probability A. The proposal probability T ensures that the update is in some sense local in phase space and has the following (Markov) properties:
• Ergodicity: Every configuration can be obtained after a finite number of steps.
• Normalization: The sum of all possible paths from a configuration X is 1, formally given by:
∀X : ∑ TX→Y = 1. (3.5) Y
2 A chain of events
X1 → X2 → · · · ,
describes a Markov chain if the probability of going from Xi to Xi+1 only depends on the state Xi and not on any of the previous events. This means that the Markov chain is a stochastic process without memory. 30 montecarlomethods
• Reversibility: The proposed transitions are reversible:
TX→Y = TY→X.(3.6)
In order to construct the full transition probability W = T · A that fulfills the required detailed balance condition, the acceptance probability A is used to ensure the condition
peq(X)WY→X = peq(Y)WX→Y, ⇒ peq(X)AY→X = peq(Y)AX→Y,(3.7)
which is required to ensure that the correct distribution is simulated. For thermal configurations,
peq(X) = exp(−βE(X))/Z (3.8)
is the equilibrium distribution. For spin systems, a similar approach to Metropolis et al. [99] can be ap- plied. Analogously, an initial configuration with non-vanishing Boltzmann- factor is chosen. One possible choice can be the ground state. However, since the energy for spin systems typically does not diverge, as in the case of hard-core particles, any configuration can serve as the starting configu- ~ ~ 0 ration. In the next step, a single-spin update Si 7→ Si is proposed, and the change in energy that results from this update is computed to be
∆E = E0 − E.(3.9)
Finally, a random number r in the interval [0, 1] is drawn and compared to Boltzmann-factor, which leads to the Metropolis dynamics: Accept: ~S 7→ ~S 0, ∆E < 0 or r < exp(−β∆E) i i (3.10) ~ ~ Refuse: Si 7→ Si, otherwise.
Hence, the acceptance probability of the Metropolis algorithm is given by
AX→Y = min [1, exp(−β∆EX→Y)] ,(3.11)
which fulfills the detailed balance condition given in Eq. (3.7). A pseudo- code implementation of this algorithm is provided in AppendixA. 1. Importance sampling, as discussed here, is the simplest version of en- tire classes of Monte Carlo algorithms. Modifications can be made to all steps. For example, rather than the Metropolis probability from Eq. (3.11), 3.3 parallel tempering 31
Glauber dynamics [101] can be used.3 As an alternative to single spin-flip updates, cluster updates can be introduced, which accelerate the decorre- lation of the system dramatically [103–105]. Also, instead of the canonical ensemble, other physical ensembles can be considered [106], and even un- physical ensembles have proven to be useful for frustrated systems [107– 111]. A more extensive survey of different methods can be found in text- books such as Ref. [92].
3.3 parallel tempering: an approach for highly frustrated systems
For highly frustrated systems such as spin glasses, the approach outlined in Section 3.2 is typically insufficient because finding non-trivial updates to the system is difficult. Therefore, in early work, attempts were made to find low-temperature properties of highly frustrated systems by lowering the temperature from the high-temperature phase slowly [112, 113]. These attempts relied on the careful analysis of the thermalization of the systems to assure that the system would only fall out of equilibrium at sufficiently low temperatures so that meaningful conclusions could be obtained at the relevant temperatures. A better approach to slowly lowering the temperature is provided by parallel-tempering Monte Carlo [114, 115] (also called exchange Monte Carlo). Here, Ns replicas of the same system are simulated simultaneously at different temperatures T. The replicas evolve independently according to a regular Metropolis algorithm. However, every once in a while, two replicas with inverse temperatures, β and β0, and energies, E and E0, ex- change their temperatures with a probability 0 0 pexchange = min 1, (β − β )(E − E ) .(3.12) A sketch of this procedure is given in Fig. 3.1. In modern spin glass work, the primary simulation technique is parallel-tempering Monte Carlo [116, 117]. In current studies, the parallel- tempering Monte Carlo method was extended with an adaptive search for
3 In Glauber dynamics Eq. (3.11) is replaced by 1 A → = [1 − tanh(β∆E → )], X Y 2 X Y which has the advantage that it ensures ergodicity for high temperatures, but thermalization is typically worse than with the Metropolis algorithm. This method is also equivalent to the heat-bath method [102], which does not require branching in the algorithm, and is thus faster on modern computers. 32 montecarlomethods