Chapter 1 Introduction to Quantum Magnetism

§ 1.1 Origin of the Magnetic Moment

In an insulator, the electrons on each ion are localised in orbitals around the ion. These electrons can be treated as moving in a spherically symmetric potential from the nucleus, and interacting with every other electron in the ion. This system has an electronic ground state configuration consisting of degenerate energy levels Enl with quantum numbers n,l such that l<n and degeneracy 2(2l+1). These make up shells, which fill from lowest energy to form an overall energy configuration.

For each electron in the ion, spin and orbital angular momentum operators can be defined 𝒔̂ and 𝒍̂ respectively. These contribute to a magnetic moment, the operator of which can be defined

𝝁̂e=μB(gl𝒍̂+gs𝒔̂) (1.1)

where gl=1, gs=2+𝒪(α) including additional contributions from the fine-structure constant α1/137.

For the ion, total spin and angular momentum operators can be defined

𝑺̂ =i𝒔̂i (1.2)
𝑳̂ =i𝒍̂i (1.3)

and so can a total magnetic moment operator

𝝁̂=μB(gl𝑳̂+gs𝑺̂) (1.4)

For every full shell in the electronic configuration, the angular momenta and spins sum to zero, so they do not contribute to the total spin or orbital angular momentum for the ion. Instead, the only electrons which contribute are those in partially filled electron shells. Because of this, reported electronic configurations normally specify just the outermost, partially filled (valence) shell of electrons. For example, the Co2+ion has a 3d7 valence shell, specifying that there are 7 electrons in the n=3,l=2 outermost shell. As free ions are spherically symmetric, the energy cannot change under a rotation. The degenerate ground state manifold is then best described by quantum numbers L,S such that 𝑳̂𝑳̂|ϕL,S=L(L+1)|ϕL,S and similarly with S. These manifolds of states with a given L, S have degeneracies (2L+1)(2S+1).

If the electrons in the outermost valence shell are treated as non-interacting, all the combinations of L and S will be degenerate in energy. A more realistic treatment to find the ground state L and S manifold is called Hund’s rules [40, 93, 13]. This specifies that (1): S will be maximised, and (2): given (1) L will be maximised. The third rule includes spin-orbit coupling which is treated separately here. In the Co2+example, this results in an L=3, S=3/2, 28-fold degenerate ground state, ignoring spin-orbit coupling.

The next leading order perturbation considered is a relativistic correction to the energy levels, spin-orbit coupling (SOC). SOC adds a contribution to the energy

̂SO=λ𝑳̂𝑺̂ (1.5)

where the spin-orbit coupling constant λ is positive for shells less than half full, and negative for shells more than half full. If a total angular momentum operator is defined

𝑱̂=𝑳̂+𝑺̂ (1.6)

with quantum number J, defined similarly to L and S. 𝑱̂ commutes with the spin-orbit Hamiltonian, so J is a good quantum number, while L and S are not. This splits the L,S manifolds of states into J=|LS|,|LS|+1,,L+S multiplets, each with degeneracy 2J+1. In the Co2+example, λ<0 and the ground state is J=L+S=9/2 with additional multiplets at J=7/2,5/2,3/2 in increasing order of energy.

The total magnetic moment operator can be written in terms of this new total angular momentum operator as

𝝁̂=μBgJ𝑱̂ (1.7)

where gJ is the Landé g-factor [58] which evaluates as

gJ32+S(S+1)L(L+1)J(J+1) (1.8)

Note that the time-reversal symmetry of the Hamiltonian enforces 𝝁̂=0 over any degenerate multiplet of states. The moment 𝝁̂ couples to a magnetic field by the Zeeman energy

̂Zeeman=𝝁̂𝑩 (1.9)

which is sufficient to break the symmetry and produce a non-zero moment, even for an infinitesimally small field B.

This gives the free-ion ground state, however in crystals the electrons in the ion will feel an electrostatic potential which is not spherically symmetric. In general, the continuous spherical symmetry will be broken into discrete symmetries, depending on the point group symmetry of the ion. This will typically lift the degeneracy of the multiplets of states. In some cases, this can be treated as a perturbation on the spin-orbit ground state. However, in all the systems of interest in this thesis, it at least comparably strong to the SOC. The additional contribution from the crystal environment is called the crystal-electric field (CEF), and its energy contribution can be written in terms of Stevens operators Okq [1]

̂CEF=k{2,4,6}q=kkBkqOkq (1.10)

where the coefficients Bkq are constrained by the point group symmetry of the environment. For example, in a cubic octahedral Oh environment the only non-zero terms are B40,B44,B60,B60 under the constraints B44=5B40, B64=21B60 [1, 74]. This means that the octahedral crystal field (OCF) CEF Hamiltonian can be written as

OCF=B40(O40+5O44)+B60(O6021O64) (1.11)

These Stevens operators are caused by an energy dependence on the orbitals involved in the state. This comes from the interactions between these orbitals and the crystal environment, for example an octahedral environment of O2ions as is seen in all the materials of interest in this thesis. The electronic states whose wave-functions have large overlap with the oxygen ions develop a higher energy than the electrons with a smaller overlap, which lifts the degeneracy of the free ion multiplet. Because this effect is dependent only on the orbital degree of freedom, the Stevens operators can be written in terms of only polynomials of the orbital angular momentum operators L̂z,L̂+,L̂. For example

O40 =L̂z4(30L(L+1)25)L̂z2+(3L2(L+1)26L(L+1))𝕀 (1.12)
O44 =12(L̂+4+L̂4) (1.13)

where 𝕀 is the identity operator. These operators are straightforward to compute [86] and are tabulated up to k=6 [1, 3]. In all of the systems investigated in this thesis, the most straightforward approach to including both SOC and the CEF is numerically, computing the Hamiltonian and diagonalising to give the energy levels. Frequently, an effective angular momentum jeff will be defined for the resulting ground state multiplet. This is defined such that the degeneracy of this multiplet is 2jeff+1. The g-factor of this multiplet can be defined in terms of the moment operator by taking the limit of a small magnetic field (here along a nominal 𝒛 axis)

g=limB0|μẑ|μBjeff (1.14)

where the expectation value μẑ is the expectation of the ground state, once a small field has been applied along the 𝒛 axis. This means that the magnetic moment has the same form as the free-ion case

𝝁̂z=μBg𝒋̂effz (1.15)

Given some ground state multiplet with non-zero g a magnetic field 𝑩=B𝒛̂ applied parallel to the 𝒛̂ axis will be split by the Zeeman Hamiltonian (1.9)

̂Zeeman =𝝁̂𝑩 (1.16)
=μBgBĵeffz (1.17)

This splits the multiplet into 2jeff+1 separate levels described by the ĵeffz eigenvalue m{jeff,jeff+1,,jeff}. These levels have a magnetic moment μz=μBgm, and energy Em=μBgmB.

Note that the g-factor is not isotropic in general. This extension can be included by defining a g-factor tensor 𝔾 such that

𝝁̂=μB𝔾𝒋̂eff (1.18)

which is used frequently later in the thesis.

§ 1.2 Paramagnetism

Given a collection of isolated (non-interacting) magnetic moments, the behaviour in finite temperature can be described by statistical mechanics. For the sake of brevity, jeff here is written as j. Given the energy splittings above, the partition function [12] can be written

Z =mexp(mβgμBB) (1.19a)
=mexp(mx) (1.19b)

where xβgμBB and β=1kBT. From this, the expectation value of m can be written

m =1Zmmexp(mx) (1.20a)
=1ZZx=lnZx (1.20b)
=jBj(jx) (1.20c)

where Bj(jx) is the Brillouin function [56]. This shows that in the large-field, low-temperature limit βB, the expectation value mj. In the inverse high temperature case, βB0 this expectation tends towards zero. The expectation value of the moment is then μz=gμBm. This expression itself gives the behaviour of the magnetic moment in a small field and finite temperature. One commonly measured observable is the temperature dependent magnetic susceptibility χ, defined as

χ limB0nμ0μzB (1.21)
=nμ0μeff23kBT (1.22)

for number density n and effective moment μeff2=g2μB2j(j+1). This is a Curie relationship [13].

In real materials, there are additional multiplets at higher energies. The most straightforward way of computing their effect on the temperature dependent magnetisation is to numerically compute the Hamiltonian, including SOC, CEF, and Zeeman terms, and to then diagonalise and compute the expectation value of the moment operator over all of the energy levels. Fitting this to experimental data can be used to determine the values of spin-orbit coupling and crystal-electric-field parameters.

§ 1.3 Interactions

In a crystal at low temperatures, the interactions between magnetic ions become important to understand how the material orders magnetically. For the sake of convention, the effective angular momentum operators are written 𝑺̂i. The canonical minimal example of an interaction term between spins i,j is the Heisenberg interaction, which can originate as an exchange energy from the Coulomb repulsion of the electrons, when combined with the Pauli exclusion principle. The Heisenberg Hamiltonian can be written

̂=12i,jJij𝑺̂i𝑺̂j (1.23)

where Jij is the exchange term between spins i,j, and the half is needed as each bond is summed over twice. Terms with Jij<0 prefer spins i,j to be parallel i.e. ferromagnetic; Jij>0 prefers spins to be antiparallel i.e. antiferromagnetic.

The Heisenberg Hamiltonian is completely isotropic, it only favours a relative orientation of spins. In general, interactions can come from higher order processes such as superexchange and can be anisotropic, depending on the symmetry of the bond. At second-order perturbation theory these will come about as bilinear terms in the spin operators, and can be written in the most general form as

̂=i,jαβJijαβŜiαŜjβ (1.24)

where the sum over i,j indexes each bond only once, and α,β{x,y,z}. This means that the bilinear interaction on each bond is given as a tensor Jijαβ. This can capture common anisotropic interactions such as XXZ

̂XXZij=Jij(ŜixŜjx+ŜiyŜjy+ΔŜizŜjz) (1.25)

which is sufficient to prefer a particular axis. If Δ>1, this is called an easy-axis or Ising-type XXZ interaction, otherwise if Δ<1 this is an easy-plane interaction.

Another important type of interaction which appears in this thesis, is Dzyaloshinskii–Moriya interaction (DMI), or antisymmetric exchange. This has the form

̂DMIij=𝑫ij(𝑺̂i×𝑺̂j) (1.26)

and can also be written as an antisymmetric component to the Jijαβ interaction tensor. This type of interaction is antisymmetric under swapping of the two spins. This means that if DMI is present, the interaction tensor has to be specified on a directed bond.

A particular model of interest is the Kitaev model [55] on a honeycomb lattice with

̂Kitaev=i,jγKŜiγŜjγ (1.27)

where i,j indexes over nearest-neighbour honeycomb bonds and γ{x,y,z} is dependent on the bond direction. This model is discussed more in a later section.

The origin of the anisotropy seen in each of these cases is the anisotropy of the electronic orbitals in the crystal. In order to couple this to the spin degrees of freedom, the spin must be coupled to the orbital levels. This means that spin-orbit coupling is a requirement for anisotropic interactions.

§ 1.4 Magnetic Order

In an ideal paramagnetic phase, in the low-field limit, every level in the degenerate multiplet with degeneracy 2j+1 will be populated equally. This will result in an entropy of

S=kBln(2j+1) (1.28)

per particle. As the temperature of the system approaches zero, the effect of interactions becomes more dominant, and in conventional magnetic materials the system will undergo a symmetry-breaking phase transition from the high-temperature paramagnetic state to a low-temperature ordered state with zero entropy at T=0 (in the limit of large systems).

For example, in the ferromagnetic J<0 Heisenberg system, time-reversal symmetry will be broken at the ordering temperature to produce a ferromagnet. This will have magnetisation as the order parameter for the transition.

In general, finding the quantum mechanical ground state for a system of many interacting spins and some specified interaction Hamiltonian is not straightforward or necessarily even feasible. An often fruitful approach is to consider the mean-field approximation, where spins are treated as classical vectors of fixed length S, replacing the operators Sx,Sy,Sz with their expectation values.

Figure 1.1: Schematic diagram showing a Néel order antiferromagnet on a square lattice. Red plus ’+’ symbols indicate spins along the +𝒛 axis, out of the page. Blue minus ’-’ symbols indicate spins along the 𝒛 axis, into the page. Overlaid diagrams show a) primitive lattice vectors 𝒂, 𝒃, b) magnetic unit cell lattice vectors 𝑴𝒂, 𝑴𝒃, c) magnetic unit cell outline with labelled sublattices A and B, and d) nearest-neighbour exchange path J.

In a crystal, the locations of the individual spins can be described by a Bravais lattice. For example, consider the square lattice, with only nearest-neighbour Heisenberg-type antiferromagnetic couplings. The energy on every bond can be minimised by setting every adjacent bond antiparallel, as is seen in Figure 1.1. This is known as Néel order [73], and breaks both time-reversal and translational symmetry. There is a new, magnetic unit cell, twice as large as the structural unit cell. An equivalent Néel order state will occur on any such bipartite model with only nearest-neighbour antiferromagnetic Heisenberg interactions.

In a more general case, rather than attempting to specify the spin orientation on every site on a crystal, magnetic orders can be described more succinctly in reciprocal space. This means that the spin on lattice vector 𝒑 can be written in terms of Fourier components:

𝑺𝒑=𝒒𝑺~𝒒e2πi𝒒𝒑 (1.29)

While in general, there are as many 𝒒 vectors for which 𝑺~𝒒 has to be specified as there are sites in the crystal, magnetic structures order periodically, so only a small number of these are non-zero. In many cases, only one 𝑺~𝒒 is non-zero and the 𝒒 where this occurs is referred to as the propagation vector of the magnetic order. In the square lattice Néel order example above, 𝑺𝒑=S𝒛̂cosπ(px+py) so the system has 𝒒=(1/2,1/2)T. There is no need in general for this 𝒒 to be rational; if it is irrational the magnetic order is described as incommensurate. All the materials investigated in this thesis order as commensurate magnetic structures, so the magnetic unit cell is an integer multiple of the primitive structural unit cell.

§ 1.5 Field Induced Phase Transitions

An interesting feature in many ordered systems is the presence of field-induced phase transitions. This occurs because the magnetic field couples to the Hamiltonian of the system through the Zeeman energy [112]

̂Zeeman=μBiμν𝔾μνBμSiν (1.30)

where the g-factor tensor 𝔾 allows for anisotropic g-factors, with arbitrary principal axes.

The most straightforward example of a field-induced transition is the transition to polarisation in a two-sublattice Heisenberg antiferromagnet. This has the Hamiltonian

̂=Ji,j𝑺i𝑺jμBiμνgBzSiz (1.31)

where the magnetic field is chosen to apply along the 𝒛 axis, and i,j selects nearest-neighbour bonds. Treating the spins as classical vectors, this can be rewritten in terms of sublattice magnetisations 𝑺A, 𝑺B as

=nJ𝑺A𝑺BgμBB(SAz+SBz) (1.32)

with n as the number of nearest-neighbours for each site. Taking the sublattice magnetisations 𝑺A, 𝑺B as unit vectors, and defining parameters 𝑨=12(𝑺A𝑺B), 𝑭=12(𝑺A+𝑺B) with the constraints 𝑨𝑭=0, 𝑨2+𝑭2=1, this can be rewritten as

=nJ2nJ𝑨22gμBBFz (1.33)

In this system with isotropic interactions, the ordered 𝑨 vector can be chosen to be perpendicular to the field, in this example parallel to the 𝒙 direction. As the magnetic field increases, so does Fz, and the spins cant towards the field. If the field is large enough, Ax1 and Fz=1Ax2112Ax218Ax4𝒪(Ax6) so the energy can be written as

0(2nJgμBB)Ax2+14gμBBAx4+𝒪(Ax6) (1.34)

where 0 is a constant. This Hamiltonian can be understood in terms of Landau theory [57] to undergo a second order phase transition at gμBBP=2nJ to a high-symmetry polarised Ax=0,Fz=1 phase for B>BP. This causes an anomaly in the differential susceptibility 2B2, which can be experimentally detected straightforwardly.

Figure 1.2: Phase diagram showing magnetisation, and phase boundaries of AFM, spin-flop (SF), and polarised (P) phases of a) XXZ Ising-type b) DSz2 type uniaxial anisotropic antiferromagnets. Magnetic field is applied along the unique axis, labelled 𝒛. Solid and dashed lines indicate first and second order phase transitions respectively. Overlaid arrows indicate sublattice spin orientations. Phases are labelled with the magnetic basis vector contents as defined in the text.

In the presence of magnetic anisotropy, there can be more complex magnetic phase transitions. Two simple examples include uniaxial anisotropy: easy-axis XXZ exchange anisotropy

XXZ=nJ(SAxSBx+SAySBy+ΔSAzSBz)gμBB(SAz+SBz) (1.35)

and single-ion easy axis DSz2 anisotropy

D=nJ𝑺A𝑺BD(SAz2+SBz2)gμBB(SAz+SBz) (1.36)

In both cases at low field the system orders into an Az antiferromagnetic order along the 𝒛 axis, which has a lower energy than Ax or Ay. Figure 1.2 shows the phase diagrams for the two cases, with magnetic field applied along the unique 𝒛 axis. As field is increases, the ability to cant towards field lowers the energy of the (Ax,Fz) phase. At some point the energy of this phase is lower than the Az state and the system undergoes a first-order magnetic phase transition called a spin-flop [14, 72, 73]. In the case of DSz2 type anisotropy, if D is sufficiently large, the system will undergo a spin-flip transition from Az to Fz directly, without undergoing a spin-flop transition. Both spin-flop [113] and spin-flip [50] phase transitions have been realised in many materials experimentally.

More complex magnetic models can undergo a large variety of phase transitions in field. When these transitions are experimentally observed, this can reveal what model is governing the material’s behaviour, and allow our understanding of fundamental theory to be tested. In frustrated magnetic systems, introduced next section, magnetic fields can induce transitions to many kinds of unconventional magnetically ordered phases. A large number of interesting field-induced phase transitions have been observed experimentally such as in α-RuCl3 [108, 8, 44], polymorphs of Li2IrO3 [18, 85], triangular lattice antiferromagnet 2H-AgNiO2 [19], and Ising-chain CoNb2O6 [20].

§ 1.6 Frustration and Exotic Phases

In many materials, it is not possible to minimise the energy on every bond simultaneously; when this is the case, the system is described as frustrated. One way this can happen is through geometric frustration, the canonical example of which is antiferromagnetic Heisenberg interactions on the triangular lattice. In these frustrated systems, there are large numbers of degenerate classical ground states [102], giving the potential for exotic quantum phases to occur. In the triangular lattice case, it was originally conjectured to form a resonating valence bond (RVB) state at low temperature [4]. This RVB state is a kind of quantum spin liquid (QSL), involving pairs of S=1/2 spins coupling as spin singlets, fluctuating in a liquid-like fashion with long-range entanglement [96, 7]. In the end, it was shown that these triangular lattices order with spins at a 120 ° angle from their neighbours as predicted by a mean-field approximation, compromising to minimise total energy [15]. However, this exotic RVB-QSL phase is predicted to occur in other highly frustrated models [110, 39].

An alternate approach to achieving exotic magnetic phases is with frustration introduced by bond-dependent interactions. Such is the example of the Kitaev model [55] introduced earlier. The honeycomb lattice is bipartite, so antiferromagnetic Heisenberg interactions will stabilise a Néel order, and there is no geometric frustration. Instead, the Kitaev model introduces frustration by having mutually orthogonal Ising axes on each of the three bonds which meet at a site on the honeycomb lattice. This means that there is no way to minimise the energy on all three bonds simultaneously. This model is important because it has an exactly solvable quantum spin liquid ground state, thereby proving that a QSL ground state can exist in 2D and beyond, and revealing exotic excitations including quasiparticles with generalised (anyonic) statistics. Theoretical work to understand how these interactions may be realised experimentally first predicted the honeycomb iridates as candidates [41, 16, 82, 17]. An extensive search has been made for experimental realisation of a Kitaev quantum spin liquid, including Na2IrO3 [62, 18], α-Li2IrO3 [104], and α-RuCl3 [79, 44]. Generalisations of this model to include Heisenberg interactions [16, 92] and symmetric off-diagonal exchange Γ gives the nearest-neighbour Hamiltonian

=i,jαβ(γ)J𝑺i𝑺j+KSiγSjγ+Γ(SiαSjβ+SiβSjα) (1.37)

Each bond has an associated Ising axis γ{x,y,z} and αβ(γ) refer to the orthogonal plane to this axis. This shows an incredibly complex phase diagram[81]. This includes a finite volume of phase space stabilising a QSL around the exactly solvable pure Kitaev model, as well as many regions of unconventional magnetic order, some of which have been experimentally realised in the candidate materials searched [8, 9]. This provided part of the motivation to search for possible realisations of models with frustrated bond-dependent interactions and unconventional magnetic order in the f-electron Na2PrO3systems explored later in this thesis.

The Kitaev model, and its exact solutions, can be generalised onto three-dimensional tricoordinated lattices of spin-1/2 magnetic ions such as the hyperhoneycomb and harmonic honeycomb family of lattices [65, 53]. Some of these lattices have be realised as polymorphs of Li2IrO3[68, 10, 98, 11], but they seem to be experimentally rare. Much like the honeycomb case, this exactly solvable pure Kitaev model can be extended into a J,K,Γ model, which is predicted to show a rich phase diagram of exotic magnetic phases depending on the precise balance between the three terms in the model [59].

This thesis reports studies on three materials: the honeycomb Kitaev-candidate α-Na2PrO3[42], its hyperhoneycomb polymorph β-Na2PrO3[43], and two honeycomb transition-metal oxides FeTiO3and CoTiO3. The three materials are linked by their tricoordinated lattices of magnetic ions, and their anisotropic interactions driven by strong spin-orbit-coupling [46].