Non-local topological magnetoelectric effect by Coulomb interaction at a topological insulator-ferromagnet interface
The interface between a topological insulator and a ferromagnetic insulator exhibits an interesting interplay of topological Dirac electrons and magnetism. As has been shown recently, the breaking of time-reversal invariance by magnetic order generates a Chern-Simons term in the action, that in turn leads to a Berry phase and a magnetoelectric effect of topological origin. Here, we consider the system in the presence of long-range Coulomb interaction between the Dirac electrons, and find that the magnetoelectric effect of the fluctuating electric field becomes non-local. We derive a Landau-Lifshitz equation for the fluctuation-induced magnetization dynamics and the Euler-Lagrange equation of the Coulomb field by explicit one-loop calculations. Via the Coulomb interaction, divergences in the in-plane magnetization affect the magnetization dynamics over large distances in a topologically protected way.
In a topological insulator (TI), the bulk band structure gives rise to gapless surface states that are protected by symmetry via a bulk-boundary correspondence.Hasan and Kane (2010); Qi and Zhang (2011) These conducting states have a linear dispersion (Dirac electrons) arising mainly due to strong spin-orbit coupling. In addition, spin-momentum locking makes surface currents on a TI a promising tool for spintronics applications.Qi et al. (2008a); Yokoyama et al. (2010a) However, not all materials that feature a Dirac dispersion and a strong spin-orbit coupling are TIs. For instance, pure bismuth is a Dirac-like material featuring a strong spin-orbit coupling, which is not a TI, since its surface states are not protected by symmetry. The protecting symmetry in most TIs is time-reversal invariance (TRI).
In three-dimensional (3D) TIs, the electromagnetic response is characterized by a magnetoelectric term in the Lagrangian.Qi et al. (2008b); Essin et al. (2009) Unlike the magnetoelectric term arising in other materials, like for example, multiferroics, the magnetoelectric term in TI electrodynamics is intrinsically topological, both due to the topological properties in reciprocal lattice space, and in real space. This can be seen by applying an external magnetic field perpendicular to the surface of a 3D TI of thickness . A computation of the vacuum polarization of two-dimensional Dirac fermions in the presence of an external field for each TI surface, yields the action Niemi and Semenoff (1983); Redlich (1984)
where we have adopted a covariant notation and and correspond to the lower and upper surfaces, respectively. We work in units where and . The above action yields the difference between Chern-Simons (CS) terms generated by the vacuum polarization on both surfaces. It can rewritten as the integral of a total derivative,
where, in passing from the first to the second line, the expression has been made fully covariant. The above equations follow from the assumption that the Fermi level of each surface state lies precisely at zero, i.e., at the Dirac point of the Dirac spectrum. Moreover, spin-momentum locking implies that the Dirac fermions at the upper surface have a helicity opposite to the lower ones. Thus, we have obtained a magnetoelectric term that is overall TRI. A more general form is given by
where is given byQi et al. (2008b)
where the 2-form yields the Berry curvature,
being the non-abelian Berry vector potential associated with the Bloch state . Thus, the electromagnetic response of 3D TIs yields an interesting interplay between the differential geometry of the Bloch states and the topology of electromagnetic gauge fields in the form of a so-called axionicWilczek (1987) term, Eq. (3), with representing a uniform axion field. The axion is periodic and we find that for TRI holds, since under a time-reversal transformation .Qi et al. (2008b)
In terms of electric and magnetic field components, the axion term (3) becomes,
This magnetoelectric contribution is a topological term in real space, as it is more easily seen from the covariant writing, Eq. (3), which clearly exhibits its independence of the metric. Furthermore, in view of Eq. (4) it is also topological in Bloch momentum space due to the induced gauge structure in the Hilbert space of Bloch states.
If TRI at the TI surface is broken in the presence of a magnetically ordered phase, then , and a topological magnetoelectric effect (TME) has been predicted.Qi et al. (2008b); Essin et al. (2009) This has inspired many proposals of magnetic TI devices.Garate and Franz (2010); Tserkovnyak and Loss (2012); Semenov et al. (2012); Yokoyama et al. (2010b); Nogueira and Eremin (2012); Wang et al. (2015); Ferreiros et al. (2015); Morimoto et al. (2015) In the TME, an electric field causes a magnetic polarization in the same direction as the field. The TME is the consequence of a CS term generated via the vacuum polarization due to proximity with a ferromagnetic insulator (FMI). If the FMI is epitaxially grown on only one of the TI surfaces, there is only one CS term, in contrast to Eq. (1). The CS term yields an additional Berry phase that modifies the dynamics of the magnetization.Yokoyama et al. (2010b); Nogueira and Eremin (2012)
While previous studies have focused on the magnetic polarization generated by an externally applied electric field, in this paper we address a different important consequence of the TME, namely, its interplay with long-range Coulomb interaction among the Dirac electrons. The Coulomb interaction will generate a fluctuating electric field that interacts with the magnetization. Consequently, a non-local TME emerges that significantly impacts on the magnetization dynamics by an effective coupling over large distances.
Taking a similar approach as in Ref. Nogueira and Eremin, 2012, we will carry out explicit calculations of the vacuum polarization contributions to the effective action at zero temperature to leading order in the quantum fluctuations (one-loop diagrams) to derive the dynamics of both the magnetization and the Coulomb electric field at the TI/FMI interface.
Ii Model system
We consider the interface between a FMI layer on top of a TI, as shown in Fig. 1,
which we assume to lie in the plane. As a starting point, we use on the one hand the Lagrangian density of a bulk FMI,
where is the magnetization, is the Berry connection, for temperatures below the critical temperature of the magnetically ordered phase in the bulk, and are positive constants. Note that throughout this paper, .
On the other hand, the topological Dirac electrons on the surface of a TI are described by
where creates an electron at position in the plane, is the Fermi velocity, is the vector of Pauli matrices, and is the strength of the coupling of the electron spin to the magnetization at .
In addition, we account for long-range Coulomb interaction between the Dirac electrons at the interface,
where the summation is over the two-dimensional momentum , the density operator is , with spin denoted , and is the Fourier transform of the Coulomb potential for two electrons at positions and , where is the elementary charge and the dielectric constant is in Gaussian units. In two dimensions, the potential in reciprocal space takes the form
The interaction can be made linear in electron density by a Hubbard-Stratonovich decoupling. With an auxiliary scalar field , that we define to have the unit of an electric potential, one finds the decoupled Lagrangian
which combined with Eq. (9) gives the complete real-space Lagrangian density of conduction electrons at the interface,
In total, the bilayer system is described by .
Iii Fluctuation effects
In this section, the quantum fluctuations will be evaluated to leading order by integrating out the electrons. First, we rewrite the fermionic part of in a form reminiscent of quantum electrodynamicsNogueira and Eremin (2012). With the definitions , , , and the common notations and , we get
The mean-field value of the magnetization leads to an effective mass of the fermion field, while describes the out-of-plane fluctuations. Integrating out the fermions in the standard wayNegele and Orland (1988) then leads to the action
with the propagator . We relinquish an analysis of the mean-field action , which has been discussed in detail in Ref. Nogueira and Eremin, 2012, and focus instead on the fluctuation effects. These are contained in the second term, , of Eq. (15), where we have already restricted ourselves to leading order. The operation Tr implies integration over space-time and tracing out all quantum numbers. Diagrammatically, contains four contributions to the vacuum polarization:
The fields , , and are represented by solid, wiggly, and dashed lines, respectively, and comprises both frequency and momentum. Some details of the calculation of the diagrams can be found in Appendix A. Each of the mixed diagrams in the second line vanishes, and the remaining processes yield in the long-wavelength limit
Note that scalar products are to be taken in Minkowski space, with signature . As has been discussed earlier,Nogueira and Eremin (2012); Yokoyama et al. (2010b) the term is a fluctuation-induced CS term. In total, we arrive at the following effective Lagrangian for the coupled FMI-TI bilayer system
where is the unit vector in direction. Furthermore, we assumed orbital degrees of freedom of the Dirac electrons and defined the Hall conductance in the two contributions from the CS term. The first one describes a Berry phase that adds up with the FMI Berry phase, while the second one leads to the TME. Derivatives of have been replaced by derivatives of , since is constant.
Applying the Euler-Lagrange formalism on yields the Landau-Lifshitz equation (LLE) for the magnetization at the interface and the equation of motion for the fluctuating Coulomb potential . We arrange the LLE such that all first-order time derivatives of the magnetization are on the left side, such that it takes the form with a matrix and a vector that depends on and any other instance of . Since then collects precisely the Berry phase terms, it is antisymmetric and we can rewrite , where we find
The first term stems from the FMI Berry connection , which satisfies the condition . The second term originates with the CS term and enhances the overall Berry phase. If the magnetization is strong, the Berry phase may even be dominated by this topologically protected term. By taking the cross product with in both sides of the equation , we obtain,
Assuming that is time-independent, Eq. (20) becomes
We split into the magnetization-dependent part
where the stiffness matrix is , and the contribution from the Coulomb interaction
In addition, we obtain the Euler-Lagrange equation for the field . To make the physics more transparent, we write it in terms of the fluctuating electric field ,
where denotes the in-plane part of the magnetization. This is an explicit form of the fluctuation-induced TME, where the electric field will be aligned with the magnetization, up to a dynamical correction depending on . For the net field and magnetization this correction is irrelevant, since the time-average of vanishes. The first terms in Eqs. (23) and (24) stem from the contribution proportional to in the Lagrangian, Eq. (18), representing the usual TME, which is a local effect. In contrast, the last term in Eq. (24) is a direct consequence of the long-range Coulomb interaction, and clearly makes the TME non-local by integration over the field at each point in the plane.
The motion of the magnetization becomes more clear when the bosonic field in Eq. (18) is integrated out as well. The part of the Lagrangian density that depends on the Coulomb interaction then becomes
with the induced magnetic charge density,
Note that to leading order in momentum, the term involving is negligible compared to the last term in Eq. (18). We observe that the fluctuation-induced magnetic charge contains an additional contribution besides the usual one. Typically, the magnetic charge density is proportional to and usually arises in studies of magnetic skyrmions.Nagaosa and Tokura (2013) We also obtain a contribution , which does not have a topological origin. From the continuity equation we derive also the magnetic current density,
The magnetization dynamics is now determined by the integro-differential equation
and the electric field is now given explicitly by,
The equation of motion can be simplified by an approximation of . Namely, in the low-frequency regime we can expect the second term in Eq. (26) to be small compared to the first term. Consequently, we find that the Coulomb interaction mainly acts via the CS term. The induced electric field is then independent of , and the equation can be brought into an explicit form similar to Eq. (21).
An important consequence of Eqs. (26) and (28) is that the Coulomb interaction does not directly couple the magnetizations at different points in the plane. Rather, it is the divergence of the magnetization that enters into the magnetization dynamics over long distances. This can be understood by the duality of magnetic and electric charges on the surface of a TI,Nomura and Nagaosa (2010) where is equivalent to an electric charge of the magnetic texture. This charge generates a Coulomb field. In the case of a uniform magnetization, where both and are absent, the Coulomb interaction will thus not affect the magnetization dynamics. We are then left with the LLE (21) with , where also in , all spatial derivatives vanish. From the remaining terms, we simply obtain a precession of the magnetization around the axis by Eq. (21).
To illustrate how the long-range Coulomb interaction affects the dynamics, we turn to a simple example of a nonuniform magnetization. Assume that the system is prepared with a magnetic texture, where the phase of the precession changes within a narrow region about . The divergence of will then be nonzero within that region. The corresponding terms in will locally alter the magnetization dynamics, trying to align the magnetization at neighboring sites. This will smoothen the transition at and evoke spin waves spreading in both half-planes. However, via the Coulomb interaction, there is an instantaneous impact on the magnetization even far from the texture. For large , we can assume , where oscillates with the precession frequency at , and one readily verifies that . The second and third term in Eq. (29) lead to in-plane components of the effective field of precession in and direction, respectively, where the latter can be neglected in the low-frequency limit. Thus, the effective field at arbitrary is already tilted away from the direction before the spin waves due to the local stiffness terms arrive.
As a final remark, we note that only the in-plane inhomogeneities of the magnetization participate in the Coulomb driven dynamics, while the out-of-plane magnetization does not enter. Therefore, we can expect a similar non-local effect if we replace the texture discussed above by a domain wall, as long as the rotation of the magnetization within the transition region happens in a way that involves an in-plane divergence. Apart from evoking Coulomb terms in the magnetization dynamics, the presence of a domain wall in a magnetic layer on a TI also leads to other effects, e.g., chiral currents, that we have not discussed in this paper, but have been subject to a number of previous studies.Tserkovnyak and Loss (2012); Linder (2014); Ferreiros et al. (2015); Ferreiros and Cortijo (2014); Wickles and Belzig (2012)
We have analytically studied a TI-FMI interface in the presence of long-range Coulomb interaction and derived the fluctuation-induced dynamics of both the magnetization and the electric field mediating Coulomb interactions, to second order in gradients and fields. We have found that, as a result of long-range interactions, the TME becomes non-local, such that the magnetization is coupled to the electric field anywhere in the plane. The CS term in the effective action enhances the overall Berry phase and thus modifies the magnitude of the effective field of the magnetization precession. Magnetic textures involving a divergence of the in-plane magnetization tilt the effective field of the precession in a non-local way.
Acknowledgements.A.S. and S.R. acknowledge support from the Norwegian Research Council, Grants 205591/V20 and 216700/F20. F.S.N. acknowledges support from the Collaborative Research Center SFB 1143 ”Correlated Magnetism: From Frustration to Topology”.
Appendix A Calculation of the diagrams
where the trace tr is taken in spin space, denotes all other quantum numbers, and the propagator is
We go to imaginary time by Wick rotation, , which makes space-time Euclidean. The Dirac -matrices are then identical to the Pauli matrices. We find and , where we defined . Furthermore, is transformed to reciprocal space and the sum over electron quantum numbers is carried out in a basis of plane-wave states, , with frequency and twodimensional momentum . The frequency and momentum of the bosonic fields and in reciprocal space, are denoted . We get
and the matrix structure inside the remaining trace is now determined by products of Dirac matrices. As one can easily verify by using the commutation and anticommutation relations of the Euclidean Dirac matricesItzykson and Zuber (1980); Nogueira and Eremin (2013), , , and . Inserting these formulas into the numerator of the integrand in Eq. (33) yields
corresponding to the four diagrams in Eq. (16). Let these diagrams be called , in the same order as in Eq. (16). Next, the integral over will be carried out. As has been disussed in Appendix A of Ref. Nogueira and Eremin (2013), one can rewrite the first diagram to take the form
with the projector and the integrals
with the result
to second order in . Note that requires dimensional regularizationItzykson and Zuber (1980), since it is formally divergent. By simple manipulations, one can reduce the second diagram to the same integrals:
In the two diagrams mixing and , performing the integration leads to . Summing up the contributions from and and transforming back to real space and real time finally yields Eq. (17).
- Hasan and Kane (2010) M. Z. Hasan and C. Kane, Rev. Mod. Phys 82, 3045 (2010).
- Qi and Zhang (2011) X.-L. Qi and S.-C. Zhang, Rev. Mod. Phys 83, 1057 (2011).
- Qi et al. (2008a) X.-L. Qi, T. L. Hughes, and S.-C. Zhang, Nature Phys. 4, 273 (2008a).
- Yokoyama et al. (2010a) T. Yokoyama, Y. Tanaka, and N. Nagaosa, Phys. Rev. B 81, 121401(R) (2010a).
- Qi et al. (2008b) X.-L. Qi, T. L. Hughes, and S.-C. Zhang, Phys. Rev. B 78, 195424 (2008b).
- Essin et al. (2009) A. M. Essin, J. E. Moore, and D. Vanderbilt, Phys. Rev. Lett. 102, 146805 (2009).
- Niemi and Semenoff (1983) A. J. Niemi and G. W. Semenoff, Phys. Rev. Lett. 51, 2077 (1983).
- Redlich (1984) A. N. Redlich, Phys. Rev. D 29, 2366 (1984).
- Wilczek (1987) F. Wilczek, Phys. Rev. Lett. 58, 1799 (1987).
- Garate and Franz (2010) I. Garate and M. Franz, Phys. Rev. Lett. 104, 146802 (2010).
- Tserkovnyak and Loss (2012) Y. Tserkovnyak and D. Loss, Phys. Rev. Lett. 108, 187201 (2012).
- Semenov et al. (2012) Y. G. Semenov, X. Duan, and K. W. Kim, Phys. Rev. B 86, 161406(R) (2012).
- Yokoyama et al. (2010b) T. Yokoyama, J. Zang, and N. Nagaosa, Phys. Rev. B 81, 241410(R) (2010b).
- Nogueira and Eremin (2012) F. S. Nogueira and I. Eremin, Phys. Rev. Lett. 109, 237203 (2012).
- Wang et al. (2015) J. Wang, B. Lian, X.-L. Qi, and S.-C. Zhang, Phys. Rev. B 92, 081107(R) (2015).
- Ferreiros et al. (2015) Y. Ferreiros, F. J. Buijnsters, and M. I. Katsnelson, Phys. Rev. B 92, 085416 (2015).
- Morimoto et al. (2015) T. Morimoto, A. Furusaki, and N. Nagaosa, Phys. Rev. B 92, 085113 (2015).
- Negele and Orland (1988) J. W. Negele and H. Orland, Quantum Many-particle systems (Addison-Wesley, 1988).
- Nagaosa and Tokura (2013) N. Nagaosa and Y. Tokura, Nature Nanotech. 8, 899 (2013).
- Nomura and Nagaosa (2010) K. Nomura and N. Nagaosa, Phys. Rev. B 82, 161401(R) (2010).
- Linder (2014) J. Linder, Phys. Rev. B 90, 041412(R) (2014).
- Ferreiros and Cortijo (2014) Y. Ferreiros and A. Cortijo, Phys. Rev. B 89, 024413 (2014).
- Wickles and Belzig (2012) C. Wickles and W. Belzig, Phys. Rev. B 86, 035151 (2012).
- Itzykson and Zuber (1980) C. Itzykson and J.-B. Zuber, Quantum Field Theory (Mcgraw-Hill College, 1980).
- Nogueira and Eremin (2013) F. S. Nogueira and I. Eremin, Phys. Rev. B 88, 085126 (2013).