Basic formulation and first-principles implementation of nonlinear magneto-optical effects
Abstract
First-principles calculation of nonlinear magneto-optical effects has become an indispensable tool to reveal the geometric and topological nature of electronic states and to understand light-matter interactions. While intriguingly rich physics could emerge in magnetic materials, further methodological developments are required to deal with time-reversal symmetry breaking, due to the degeneracy and gauge problems caused by symmetry and the low-frequency divergence problem in the existing calculation formalism. Here we present a gauge-covariant and low-frequency convergent formalism for the first-principles computation. Remarkably, this formalism generally works for both non-magnetic and magnetic materials with or without band degeneracy. Reliability and capability of our method are demonstrated by studying example materials (i.e., bilayers of MnBi2Te4 and CrI3) and comparing with published results. Moreover, an importance correction term that ensures gauge covariance of degenerate states is derived, whose influence on physical responses is systematically checked. Our method enables computation of nonlinear magneto-optical effects in magnetic materials and paves the way for exploring rich physics created by the interplay of light and magnetism.
I Introduction
Optical materials and phenomena play indispensable roles in modern science and technology. Along with the development of laser technology, nonlinear optical materials in which the polarization responses nonlinearly to the electric field of light are discovered and nonlinear optical phenomena such as the bulk photovoltaic effect (BPVE) [1, 2, 3] and the second-harmonic generation (SHG) [4] have been widely investigated. The BPVE is the generation of a rectification current driven by light in a single-phase material lacking inversion symmetry and it originates from the shift current mechanism [5]. SHG, which is the generation of photons with twice the frequency of incident photons in non-centrosymmetric materials, is commonly used as a tool for symmetry characterization and laser frequency conversion. Remarkably, the intrinsic connections between optical responses and the quantum geometry in momentum space have been revealed recently, giving rise to anomalous optical responses in topological materials [6, 7, 8, 9, 10, 11].
Light-matter interaction in magnetic materials brings up profound physics due to the interplay between magnetism and the electromagnetic wave. In the linear regime, the plane of polarization can be rotated when light is reflected by or transmitted through magnetic materials, which is called the linear magneto-optical Kerr effect or Faraday effect. In the nonlinear regime, the magnetization-sensitive rectification current has recently been proposed in antiferromagnetic (AFM) bilayers of CrI3 and MnBi2Te4 with parity-time () symmetry [12, 13, 14], whose non-magnetic counterparts are absent. Magnetization-sensitive SHG has long been a tool to probe surface and interface magnetization in metallic materials since 1990s [15, 16, 17, 18] and later used to investigate complex magnetic orders in bulk magnetic oxides, such as in Cr2O3 [19]. Due to the spectral and spatial resolution, SHG is an indispensable tool to detect magnetic symmetries, orders, domains and phase transitions, especially in low dimensions [20]. A recent SHG measurement discovered a gigantic signal from AFM bilayer CrI3 where the microscopic origin of the large response remains unclear [21].
Theoretical calculations based on first-principles methods are powerful tools to reveal microscopic correlations between the energy spectrum, the momentum space geometry and optical effects. Moreover, nonlinear magneto-optical effects are especially powerful in studying AFM insulators with symmetry, where linear magneto-optical effects, such as Kerr and Faraday effects, are absent. However, several problems hinder the theoretical investigation of nonlinear magneto-optical effects. Firstly, the conventional formalism of nonlinear magneto-optical effects is ill-defined in the presence of symmetry due to the Kramers-like degeneracy at each point in the band structure. The conventional expressions of nonlinear conductivity and electric susceptibility [13, 12, 22] only consider non-degenerate bands with an arbitrary phase freedom for eigenstates at each point, which is also called the U(1)-gauge freedom. However, due to the Kramers-like degeneracy, formulations under symmetry should be invariant under an arbitrary 2 2 unitary transformation in the subspace spanned by the doubly degenerate eigenstates, corresponding to a U(2)-gauge freedom. Although Watanabe and Yanase [23] have proposed to directly replace the U(1)-covariant derivative by the U(2)-covariant derivative in the presence of symmetry for magnetization-sensitive shift current conductivity, detailed derivations are missing.
Secondly, the conventional expression of second-order electric susceptibility including SHG has a low-frequency divergent problem by including leading term factors of and for gapped insulators with the incident light frequency [22, 24, 25]. While the low-frequency divergence is frequently observed in physical properties of metallic materials due to the response from the Fermi surface [26], the low-frequency divergence is unphysical in gapped insulators. Even if the expression has a form and is not divergent at , the form expression can cause sizable numerical instability in computation [22, 24, 25]. Fortunately, for SHG susceptibility, it has been shown that the divergence can be eliminated in the presence of time-reversal () symmetry [27, 22, 24, 28, 29]. However, the divergence could be problematic for magnetic materials. The -symmetry simplified (-smp) expression in which symmetry is only applied to the divergent terms have been implemented in many computational codes [30, 31, 32, 33, 34, 35, 36] and reasonable agreement between theoretical predictions and experiments has been reached for non-magnetic materials [37]. While -smp expressions can still be used to estimate the SHG susceptibility in magnetic materials [38], the divergent terms that are unique to magnetic materials are missing. More importantly, the same divergence appears in the general second-order susceptibility (including sum-frequency generation and difference-frequency generation), which cannot be removed even under symmetry. Therefore, it is imperative to solve the above mentioned problems to facilitate and advance the first-principles studies of nonlinear magneto-optical effects.
In this work, we presented general solutions to complete the computational methods for second-order magneto-optical effects in which the physical consequence of symmetry was derived and investigated, and a full-frequency convergent formalism of second-order susceptibility was proposed. The remainder of this article is organized as follows. In Sec. II, we derived the expressions for second-order magneto-optical responses based on density matrix perturbation method for degenerate bands and a full-frequency convergent formalism for second-order susceptibility including SHG. Sec. III discussed the symmetry properties of second-order magneto-optical responses under and operations, including charge/spin current and susceptibility. Sec. IV introduced the implementation of our methods in first-principles calculations and computational details. In Sec. V, we investigated magnetization-sensitive conductivity and susceptibility in two prototypical two-dimensional AFM materials with symmetry, which are bilayer CrI3 and MnBi2Te4.
II Basic formulation
II.1 General formulae with Kramers-like degeneracy
The conventional formulae for second-order photo-current and electric polarization only consider non-degenerate bands, and therefore are only U(1)-gauge invariant [25, 13]. However, in magnetic materials with symmetry, Kramers-like degeneracy appears at every point and the choice of eigenstates in the doubly degenerate subspace has a gauge freedom determined by a unitary matrix. As physical results are invariant in spite of an arbitrary unitary rotation in the degenerate subspace, the formulae for physical observables under symmetry should be U(2)-gauge invariant. Clearly, certain terms are missing in the conventional formula in the presence of symmetry and in what follows, we will demonstrate that the U(2)-invariant formulae can be retrieved with special treatment at degeneracy [25].
In the length gauge and under long-wavelength approximation, the electromagnetic wave is introduced through an term to the unperturbed Hamiltonian where a monochromatic light at frequency is written as c.c. The Hamiltonian in second quantization form can be found in Appendix A.1. The evaluation of the position operator is the key to the calculation of polarization and current responses, and the matrix elements of position operator can be written as [25]
(1) |
is the eigenstate of , and is the periodic part of the Bloch function. We introduced two subscripts and for bands, where denotes bands with different energy, and is used in the subspace of degenerate bands. runs from 1 to 2 under symmetry, while the following derivations hold for an arbitrary value. The diagonal and off-diagonal parts of are the single band and two-band Berry connections and defined as
(2) |
In the following formulae, we omit the dependence for simplicity. The first (second) term of Eq.(1) is the intraband (interband) position matrix element in an infinite crystal and the position operator matrix element between degenerate bands () are considered in the interband term. As a result, the polarization can be divided into in which is the charge of an electron. Similarly, the current density along direction which is defined as the time derivative of electric polarization is divided into two parts as
(3) | ||||
where is the total Hamiltonian including the oscillating electric field.
With the density matrix derived with perturbation expansion in Appendices A.1 and A.2, the zeroth and first order responses including the finite frequency anomalous conductivity are derived in Appendix A.3. The second-order electric current and polarization with incoming electric field of frequency and and the response frequency are
(4) | ||||
and
(5) | ||||
where the full expression of can be found in Appendix A.3 and the Einstein summation convention is adopted in all formulae for repeated indices. is the reduced Planck’s constant and is the unit volume in reciprocal space of dimension. An infinitesimal is introduced to avoid divergence at resonance, which can also be regarded as a relaxation rate. represent Cartesian directions, and is the shorthand notation for which represents the amplitude of an electric field with frequency . is the interchange of and indices which reflects the fact that physical responses are irrelevant to the sequence of electric fields and in the expression. , and are the occupation, energy and group velocity differences between the -th and the -th bands. In gapped semiconductor at zero temperature, for valence band and for conduction band. is the U(1)-covariant derivative of , where the U(1)-covariant derivative of a non-degenerate eigenstate is , which represents the projection of onto all states except itself.
It is convenient to use Fourier transformation to convert results into the frequency domain and define the conductivity and susceptibility in the frequency domain as
(6) | ||||
In the following, we will write instead of as abbreviation to represent the expectation value.
II.2 Rectification current from degeneracy
A changing electric polarization gives rise to a current, and the rectification current is of particular interest. If bands are non-degenerate which is equivalent to dropping the indices and in Eq. (5), is finite, with , and according to Eq. (3), which can reduce to the well-known U(1)-invariant formulae of rectification current densities [25, 13]. However, if band degeneracy occurs, e.g. , degenerate bands contribute a polarization that is diverging as when approaches the static limit according to Eq. (5).
The divergent polarization at corresponds to a DC current as
(7) | ||||
which contains the Berry connection between degenerate bands, e.g. . The total rectification current is
(8) | ||||
where is the U()-covariant derivative of and is the number of degeneracy determined by the index . Similarly, the U()-covariant derivative of degenerate eigenstates just projects out of the dimensional degenerate subspace such that . Up to now, we have presented a thorough derivation of the second-order electric current and have revealed the microscopic origin of the U()-covariant derivative. In Appendix B, we demonstrated an alternative derivation of the above formulae by including the position operator matrix between degenerate bands into the intraband term in Eq. (1).
In the intermediate region where the double degeneracy protected by symmetry is weakly broken with the energy splitting , the fundamental formalisms in Eq. (3 - 5) should be used to calculate the rectification current. As increases from 0 to finite, the rectification current turn to zero which is consistent with the U(1)-invariant result and an AC current peaked at appears.
Using the Sokhotski–Plemelj theorem, the denominator can be simplified as where P indicates principal part. Therefore, the total rectification current can be divided into four parts as normal injection current (NIC), magnetic injection current (MIC), normal shift current (NSC), and magnetic shift current (MSC)
(9) | ||||
with expressions
(10) | ||||
(11) | ||||
(12) |
(13) |
The integrand , the two-band Berry curvature , the two-band quantum metric [7][8][39], and the group velocity difference are all gauge invariant and their symmetry properties are listed in Table 1. The above results are consistent with literature [13, 25], and additionally we generalized the formulae of NSC and MSC to a U()-invariant form in the presence of -fold degeneracy.
II.3 Low-frequency divergent problem of susceptibility
The general formula for second-order polarization can be derived through in which Berry connection terms containing degenerate bands are already included in in the conventional expression. Therefore, the expressions of polarization and susceptibility are compatible with degenerate bands and no additional modifications are required to fulfill the gauge invariant requirement.
However, two terms in the susceptibility with leading factors and originated from give rise to a divergent problem in the limit with the divergent terms
(14) |
where the imaginary part in the denominator is not written out explicitly. The divergence is unphysical in an insulator with a finite energy gap. Even if take a form and the divergence can be removed eventually, the expression in Eq. (14) is unfriendly to numerical calculations at low frequency. This problem has been noticed in SHG susceptibility () by Sipe and Ghahramani [22] and they discovered that the divergence in SHG can be removed by applying symmetry. However, the simplification does not work in magnetic materials and as a results, the current SHG expressions might be problematic in studying magnetic materials. Furthermore, applying symmetry fails to remove the divergence in the general susceptibility in Eq. (14). Therefore, the second-order susceptibility for arbitrary frequencies still suffers from an unphysical divergent problem even for non-magnetic materials.
In what follows, we present an alternate expression for the divergent term which is given by
(15) |
where and . As is completely removed from the denominator, the above expression does not have divergence and numerical instability in the zero-frequency limit and can be applied to both non-magnetic and magnetic materials. Eq. (15) is derived from Eq. (14) by the following techniques without assuming symmetry: exchange of dumpy band indices and , integration by parts, and the equality . Although the U(1)-derivative appears in the first term of Eq. (15), the full susceptibility can be rearranged in a way that terms with Berry connection between degenerate bands are grouped with terms with the U(1)-covariant derivative to form the U()-covariant derivative.
As SHG is one of the most commonly used tool for symmetry detection and frequency conversion, we take SHG as an example to discuss properties of the ‘divergent’ terms. The full expression of SHG is given in the Appendix C and the ‘divergent’ terms are
(16) |
The first term in Eq. (16) survives under symmetry and is included in the conventional SHG expression [22, 24, 28, 29, 30, 31, 32, 33, 34, 35, 36]. In addition, the first term is purely real in the static limit. However, the second term in Eq.(16) is present only when symmetry is broken and therefore it is a unique term for magnetic materials. We denote the second term by as it has not been calculated previously. Unexpectedly, we discovered that although has a low-frequency ‘divergent’ form in Eq. (14), does not contribute to static SHG at all, which can be concluded by permutation of the dummy band indices in the summation in Eq. (16). Therefore, the low-frequency ‘divergent’ term can be observed away from low-frequency regime but negligible in low-frequency regime.
III symmetry Analysis
III.1 Charge and spin rectification currents
The coefficients of second-order electro-optical responses are third-rank tensors, and their nonzero and independent elements are determined by their magnetic point group [40]. As the electric field, polarization and current are all odd under , the second-order electro-optical responses are only present in -breaking materials, according to Eq. (6). Additionaly, special attentions are paid to and symmetry and the symmetry properties of quantum metric, two-band Berry curvature, and etc. are summarized in Table 1. As a result, both NSC and NIC are even under while MSC and MIC are even under symmetry according to Eqs. (10 - 13). Furthermore, the current coupled to can be induced both by a linearly-polarized light (LPL) and a circularly-polarized light (CPL), while the current coupled to can only be induced by CPL with the direction of current determined by the helicity of light [13][23].
Up to now, we have focused on the charge photocurrent which is the collective motion of both spin-up and spin-down electrons. As electrons also carry the spin degree of freedom, the spin current can also exists. Although it is still challenging to properly define the spin current in materials with spin-orbit coupling (SOC) as spin is not a good quantum number in this circumstance [41], the conventional definition with and the velocity and spin operators respectively is still appropriate without SOC [42][43].
We adopted the conventional definition to analyse the symmetry of spin current. As spin is odd and even, the symmetry of spin current and charge current are opposite under and symmetry. For instance, while the charge current from the NSC and NIC mechanisms are even, the spin current from those mechanisms are odd. As a result, spin current from NSC and NIC mechanisms only exists in magnetic materials. The symmetry analysis of both charge and spin currents are summarized in Table 2. Additionally, in whatever situation, the spin current and charge current are both present. For instance, the charge NSC and spin MIC are present simultaneously in -symmetric materials under LPL.
Light | LPL | CPL | CPL | LPL |
Current | charge/spin | charge/spin | charge/spin | charge/spin |
/ | / | / | / | |
/ | / | / | / |
Although the four mechanisms listed in Table 2 can generate both charge and spin currents, the microscopic origins are different. breaking is the precondition of second-order charge and spin currents and it usually happens in the crystallographic structure. However, if it is the spin order instead of the geometric structure that breaks , the presence of SOC is imperative for a non-zero charge current but not necessary for generating spin current.
III.2 Second-order susceptibility
Despite the intricate expression of second-order susceptibility, certain symmetry conditions are fulfilled. Firstly, second-order susceptibility has the intrinsic permutation symmetry which states that is unchanged by the simultaneous interchange of its last two frequency arguments and its last two Cartesian as . The intrinsic permutation symmetry is introduced in Eqs. (4) and (5) as a convention. Secondly, when all frequencies are detuned from resonance and the small imaginary part in the denominator can be ignored, the nonlinear susceptibility possesses full permutation symmetry which states that all of the frequency arguments of the nonlinear susceptibility can be freely interchanged, as long as the corresponding Cartesian indices are interchanged simultaneously: . The full permutation symmetry can be deduced from a consideration of the form of the electromagnetic field energy within a lossless medium [44]. Thirdly, in the static limit, the non-zero components of the susceptibility tensor are all equal , which is an extension of the full permutation symmetry in the static limit, also called the Kleinman’s symmetry. Moreover, the static susceptibility is a purely real quantity with the expression given in Appendix C.
Furthermore, the second-order susceptibility which is odd in can be decoupled into two contributions, a non-magnetic response which is even in and a magnetic response which is odd in with their expressions given in Appendix C. reflects the inversion symmetry breaking from the lattice and charge density while is sensitive to the inversion symmetry breaking by the magnetic ordering. The principal part and -function part of the non-magnetic are purely real and imaginary respectively, while the real and imaginary parts are opposite in the magnetic [45, 46]. In other words, is purely real and is purely imaginary away from resonance. As the susceptibility in the static limit is purely real, does not contribute to the static SHG.
Generally, the imaginary part of the susceptibility is responsible for energy dissipation of the electromagnetic field. However, in magnetic materials, is imaginary even away from resonance, therefore, the meaning of dissipation needs to be scrutinized. The derivation of energy dissipation from the first-order process is in Appendix D. The dissipation rate of the electromagnetic energy due to the second-order polarization is given by
(17) |
For frequencies detuned from resonance, the full-permutation symmetry of guarantees that the term in the bracket is zero. Therefore, only the -function part of susceptibility participates in the dissipation no matter whether it is real or imaginary.
Moreover, and also corresponds to different measurable quantities. The sum-frequency generation (SFG) intensity () measured in experiments can be decoupled into a non-magnetic term, a magnetic term and interference terms as
(18) |
For materials with or symmetry, the SFG intensity is proportional to either the term or the term. When both and symmetries are broken, e.g. in a polar ferromagnetic, the appearance of the third and the fourth terms reflects the interference between the magnetic and non-magnetic signals and the sign of the interference is determined by the the direction of the magnetic and the polar orders. As a result, domains with opposite magnetic/polar orders could show different SFG intensities which makes SFG an important tool for multiferroics detection.
IV Computational methods
IV.1 Implementation of U(2)-covariant derivative
In the following, we present the implementation of the U(2)-invaraint formulae using both orthogonal and non-orthogonal basis. The general derivative is usually evaluated through a sum-over state method [25, 47] or the Wannier interpolation method [36, 48]. We adopted the Wannier interpolation method proposed in Ref. [36] for orthogonal basis and the scheme proposed in Ref. [49] for non-orthogonal basis, while the Berry connection in both methods is evaluated based on non-degenerate perturbation theory. Although methods with orthogonal and non-orthogonal basis sets have different gauge choices, as the optical responses are gauge invariant, the two methods are equivalent in principle. While the Wannier interpolation method is more computationally efficient, the method with non-orthogonal basis is more suitable for high-throughput calculations [49]. For SHG calculations, the three-band summation in Eq. (36) requires a large number of bands to achieve convergence, therefore, the method with non-orthogonal basis is a more suitable choice to evaluate SHG responses.
We generalized the above mentioned methods by including degenerate perturbation to evaluate the Berry connection and the general derivative, which are unavoidable in the presence of symmetry. For the Wannier interpolation method, we chose a specific gauge which satisfies that is purely real for degenerate bands and . Therefore, the non-Abelian connection between two degenerate states vanishes, while the non-Abelian connections between non-degenerate states can be calculated as usual [36]
where is the Hamiltonian matrix in the representation of local Wannier functions and is a matrix of which each column is an eigenvector of . For the method of non-orthogonal basis, we again chose a specific gauge so that the matrix elements between degenerate bands in Ref. [49] are modified as
Here is the overlap matrix of the non-orthogonal basis, is a matrix with each column an generalized eigenvector of which is in the representation of a set of complete but not orthogonal basis. More details can be found in Ref. [49].
IV.2 First-principles methods
First-principles calculations were performed both by Vienna Simulation Package (VASP) [50] which is a plane-wave basis package and by OpenMX which is a pseudo-atomic basis package [51, 52]. The exchange-correlation functional was parameterized in the PBE form [53]. PAW pseudopotentials [54] and norm-conserving pseudopotentials [55] were used in VASP and OpenMX, respectively. We have included the effect of SOC. For the 3 orbitals in magnetic ions Mn and Cr, the Hubbard of 4 eV and 3 eV were used, respectively [56]. For layered materials, we used DFT-D3 form van der Waals correction without damping [57]. In VASP, the cut-off energy of plane waves was set to 350 eV and 450 eV for MnBi2Te4 and CrI3, respectively. In OpenMX, Cr6.0-s3p3d2 and I9.0-s3p3d2f1 were chosen as our basis for Cr and I. The convergence criterion for force and electronic calculations were 10 meV/Å and eV. -point samplings of and were used for MnBi2Te4 and CrI3 in VASP, and a -mesh was adopted for CrI3 in OpenMX.
After getting the converged electronic structures, we either generated the maximally localized Wannier functions using Wannier90 [58] or used the non-orthogonal atomic basis from OpenMX to build the tight-binding (TB) Hamiltonian and calculate the optical responses [36, 49]. We obtained 100 maximally localized orbitals for MnBi2Te4 and 112 maximally localized orbitals for CrI3. In the calculation of MIC and MSC, we adopted a kmesh. For SHG susceptibility, the relaxation rate was set to be 0.05 eV, and the -mesh was set to be which leads to identical results as -point sampling. The degenerate perturbation was applied when the energy difference between two bands are smaller than which was set to be 0.5 meV in our calculations.
The flowchart of our computations including the electronic structure and optical response calculations is illustrated in Fig. 1. Three different routes were adopted to calculate optical responses. In route I, the electronic structure is calculated by VASP and then maximally localized Wannier functions are constructed to obtain the TB Hamiltonian in an orthogonal basis set. The difference between route II and I is that the electronic structure is calculated by OpenMX rather than VASP. In route III, after the self-consistent calculation by OpenMX, we directly get the TB Hamiltonian in non-orthogonal basis. The purpose of using multiple packages (VASP and OpenMX) and different basis sets (orthogonal and non-orthogonal) for TB Hamiltonian is to examine the influence of different electronic structures and gauge choices for optical responses separately.

V Example studies and Results
V.1 Candidate materials
We considered two prototypical materials: bilayer MnBi2Te4 [59] and bilayer CrI3 [60], both of which have interlayer A-type AFM magnetic orders.
Both materials exhibit symmetry, which implies that the spatial inversion symmetry is broken only through the AFM spin order between two layers while the geometric structure is centrosymmetric as illustrated in Fig. 2.
In this case, only magnetic responses including MIC, MSC and magnetization-sensitive SHG are present while normal responses NIC, NSC and non-magnetic SHG are forbidden, which makes them a simple platform to investigate the nonlinear magneto-optical responses.
Additionally, both materials are feasible in experiments [21, 60] and their MIC has been studied theoretically in literature[12, 13, 12, 61], which provides valuable results for comparison.
For bilayer MnBi2Te4, we considered AB-type stacking (same stacking pattern as in bulk) in which each layer laterally shifted by [1/3, 1/3, 0].
For bilayer CrI3, multiple stacking orders have been investigated previously [60], and we focused on the one with AB′ stacking in which each layer laterally shifted by [1/3, 0, 0] as both MIC and MSC are allowed.
The stacking order, magnetic order, magnetic symmetry and independent tensor components are summarized in Table 3.

Material | Stacking | Magnetic point group | Magnetic order | MIC | MSC | MSHG |
---|---|---|---|---|---|---|
Bilayer MnBi2Te4 | AB | AFM- | none | |||
Bilayer CrI3 | AB′ | AFM- | , , | , , |
V.2 Magnetic injection current
The MIC of bilayer MnBi2Te4 and bilayer CrI3 have been calculated recently [13, 61]. Although previous works haven’t considered the U(2)-gauge problem under symmetry, fortunately, MIC is not subjected to modifications in symmetric case as demonstrated in Eq. (13). In the following, we performed calculations and compared with previous works to validate our method and results.
In bilayer MnBi2Te4, its interlayer coupling is AFM and the intralayer coupling is FM. The energy band is highly dispersive near point with a small gap of 0.076 eV at point as shown in Fig. 3(a) . In addition, the comparison between our band structure (red solid line) and the one from Ref. [13] (blue dotted line) along high symmetry line showed excellent agreement near band edge. Fig. 3(b) shows the MIC conductivity of bilayer MnBi2Te4 along direction. Our result again shows an excellent agreement with the Ref. [13].
For bilayer CrI3, in order to compare the band structure and MIC, we adopted the same Hubbard eV and the same Cartesian coordinates shown by dashed line in Fig. 2(d) as Ref. [61]. Fig. 3(c, d) shows the calculated band structure and MIC conductivity. The band gap of bilayer CrI3 is 0.89 eV at point in our calculation and 0.78 eV in the reference, therefore we applied a 0.11 eV scissor operation to results in the reference to align the band gap in Fig. 3(c) to 0.89 eV. While the shape of bands is similar near band edge, noticeable differences exist in many bands. In addition, the magnetic moment of Cr atom along axis is 3.12 in our calculation, while 3.21 in the reference. As we adopted the same parameters (Hubbard , exchange-correlation functional, pseudopotentials, Van der Waals correction) in the electronic structure calculation, the above discrepancies might result from small differences in atomic structures. For the MIC shown in Fig. 3(d), the main characters of our results (red solid line) are similar to the reference (blue dashed line) including the location and height of the first peak. However, due to discrepancies in band structures away from the band edge, the location and height of other peaks are shifted and modified. Therefore, combining the results of bilayer MnBi2Te4 and CrI3, we can conclude that we are able to reproduce MIC results in literature while the detailed features of MIC are sensitive to geometric and electronic structures.

V.3 Magnetic shift current
The correction to ensure U(2)-gauge invariant is essential in the presence of symmetry which hasn’t been considered in the previous computational works. Here we calculated the MSC conductivity of AB′ stacking bilayer CrI3 through three different routes shown in Fig. 1 and alternating between U(1)-covariant derivative and U(2)-covariant derivative to demonstrate the influence of the gauge choice. As the results are very sensitive to details in electronic structure (see Fig. 6 in the Appendix), we stay with the electronic structure obtained from OpenMX for comparison.
Figure 4(a) shows the results from orthogonal basis method (blue dashed line) versus non-orthogonal basis method (red solid line) (route II vs route III in Fig. 1) with the same U(2)-gauge-invariant formula. Since the two methods have different gauge choices, the excellently agreed results in Fig. 4(a) confirm that our formula of MSC is truly gauge independent.
In contrast, Fig. 4(b) shows the results of orthogonal basis method (blue dashed line) versus non-orthogonal basis method (red solid line) (route II versus route III) both using U(1)-form formula adopted in previous works. Although the same electronic structure guarantees that the peak positions resulted from the delta function in Eq. (11) are exactly the same, differences in peak height are prominent, especially at low-frequency region. For instance, they differ by more than three times at 1.2 eV and there is a shoulder in the red solid line at 0.8 eV while absent in the blue dashed line. More importantly, the differences demonstrate that the previous formula with U(1)-covariant derivative is gauge dependent and the results are not reproducible due to different gauge choices. Therefore, the previous MSC formula with U(1)-covariant derivative cannot be used to describe physical observables in -symmetric materials.
Furthermore, Fig. 4(c) shows results from U(1)-invariant formula (blue dashed line) versus U(2)-invariant formula (red solid line) using non-orthogonal basis (both are in route III). Noticeable differences are observed at peak values due to the improper implementation of the covariant derivative in -symmetric materials, implying the necessity of using U(2)-invariant formula.

V.4 Magnetic second-harmonic generation
In terms of the SHG response in magnetic materials, there are three sets of formulas that are available to use: the ‘DVG’ expression which is the original expression in Ref. [22] with low-frequency divergent problem shown in Eq. (14), the ‘-SMP’ expression in which the low-frequency divergent terms are simplified by symmetry and have been implemented in many calculation packages [30, 31, 32, 33, 34, 35, 36], and the full-frequency convergent expression ‘CVG’ proposed in this paper as demonstrated in Eq. (15). As the gigantic SHG susceptibility in AB′ CrI3 has been measured [21] and calculated using the -SMP expression recently [38], we compare the SHG response of bilayer CrI3 along direction calculated using the DVG, -SMP and CVG expressions.
Figure 5(a) shows the real and imaginary parts of SHG calculated using the DVG and the CVG expressions. As the CVG expression is derived from the DVG expression, results from both expressions are exactly the same away from the low-frequency region ( 0.1 eV). However, in the low-frequency region ( eV), both the real and imaginary parts calculated from the DVG expression exhibit divergent problem which is absent in the CVG expression. Additionally, in the static limit, the CVG expression converges to exactly zero which is consistent with our symmetry analysis in Sec. III.
Figure 5(b) shows the real and imaginary parts of SHG calculated using the -SMP and the CVG expressions. As the SHG response in bilayer CrI3 is gigantic, the difference between the two expressions is hardly observed in Fig. 5(b). Detailed analyses in Fig. 5(c) demonstrates that the differences between the two expressions, which is , are roughly 10 pm/V. The materials and frequency range in which is considerable is subject to further investigation with more magnetic materials.

VI Conclusion
In summary, we have given a thorough derivation of second-order magneto-optical effects, including rectification current and second-order susceptibility using density matrix perturbation method. Especially, the formalism of rectification current conductivity is compatible with both non-degenerate and degenerate bands and is applicable to both non-magnetic and magnetic materials. Additionally, the second-order susceptibility with and terms, which suffers from low-frequency divergent problem, numerical instability and is dropped conventionally, has been reformulated into a full-frequency convergent form without any symmetry assumptions. Furthermore, we have implemented the above formulae to first-principles calculations, which has not been done for real materials as far as we know, using both orthogonal and non-orthogonal basis methods. Two -symmetric magnetic materials, bilayer AFM MnBi2Te4 and CrI3 are used as examples. We confirmed that our formulae for rectification current including the MIC and MSC are truly invariant under U(2)-gauge freedom. Meanwhile, for SHG in magnetic materials, we found noticeable modifications of SHG responses from the divergent term. With the vast variety of magnetic materials, it is expected that our reformulated formalism can greatly facilitate and advance the theoretical understandings on non-linear magneto-optical effects.
Acknowledgements.
We thank Chong Wang and Shiqiao Du for helpful discussion. This work was supported by the Basic Science Center Project of NSFC (Grant No. 51788104), the Ministry of Science and Technology of China (Grants 2018YFA0307100, and 2018YFA0305603), the National Science Fund for Distinguished Young Scholars (Grant No. 12025405), the National Natural Science Foundation of China (Grant No. 11874035), and the Beijing Advanced Innovation Center for Future Chip (ICFC). M. Y. is supported by Shuimu Tsinghua Scholar Program and Postdoctoral International Exchange Program.Appendix A Basic Hamiltonian, current operator and polarization operator
A.1 Basic Hamiltonian
The Hamiltonian of a semiconductor in an electromagnetic field, whose magnetic field is negligible and the electric field is treated in the long-wavelength limit, can be written as [25]
(19) |
where is the unperturbated single particle Hamiltonian in the coordinate representation with Bloch eigenfunctions and eigenvalues , and is the field operator with the annihilation operator for Bloch state as . and are the band indices and . The interaction of electric field and electrons is represented using the length gauge by the term while the results are equivalent to the velocity gauge formula [62, 24]. The long-wavelength limit is valid as long as the wavelength of light is much larger than the length scale of interests.
A.2 Dynamics of density operators
The matrix element of density operator is
(23) |
and the initial density operator without perturbation is
(24) |
with the matrix element where the prefactor is the band occupation number.
Switching on illumination at , the Heisenberg equation of motion of the density operator matrix element reads [44, 63, 64]
(25) |
where the last term is a phenomenological term describing scattering processes of electrons with the relaxation time . Most frequently, the relaxation time is assumed to be independent of the initial and final states, and therefore the subscript of is dropped.
Expanding the density operator in power of the electric field as and inserting it into Eq. (25), the equation of motion of density operator can be rewritten as
(26) |
which can be solved using the iteration method. The first-order term of the density operator matrix element is
(27) |
and the second-order term is
(28) |
with
(29) | ||||
In derivation of (28), we have assumed that the system is a gapped system, in other words, .
A.3 First- and second-order response functions
The zeroth-order polarization response can be obtained through Eq. (1) and Eq. (24) as
(30) |
which reproduces the result of modern theory of polarization.
The first-order electric susceptibility is acquired by combining Eq. (1) and Eq. (27) as
(31) | ||||
While the first term provides a finite susceptibility, the second term shows a divergence in the static limit () which indicates the presence of a DC current in the static limit. Using the continuity relationship, the first-order electric current conductivity is
(32) | ||||
In the static limit, the first term vanishes and the second term is just the anomalous Hall current [65]. For two-dimensional insulators with non-zero Chern number, this term contributes a quantized anomalous Hall current.
For second order responses, has been given in the main text and the full expression of is given by
(33) | ||||
Appendix B Alternative derivation of the U(2)-invariant formulation
Starting from Eq. (1) and considering the position operator matrix between degenerate bands in the intraband term, an alternate division of the interband and intraband position operator matrix elements gives
(34) | ||||
and
(35) |
The newly added second term in Eq. (34) is the origin of the diverging in the limit. Following the standard treatment of the main text, we retrieved the same results regardless of how the position operator matrix elements are divided. In the new division, DC current is only from term regardless of the presence of the degeneracy condition.
Appendix C Full expression of SHG and the static limit
In the main text, we focused on the divergent terms in the second-order susceptibility, while the full expressions consist of both the non-divergent term originated from Eq. (33) and the ‘apparent’ diverging terms in Eq. (15). In addition, as SHG is frequently measured and computed, we provided the full expression of SHG as
(36) |
with
(37) |
is purely the contribution from interband process and
(38) |
is the contribution of the mixed interband and intraband processes where the last two terms are . Again, the small imaginary part in the denominator is not written out explicitly. The in Eq. (37) means that the in the summation, are not equal to each other. In addition to the new term derived in Eq. (16), our full expression also satisfies that each term is gauge-covariant regardless of the degeneracy condition. This is achieved by restricting not equal to each other in the three-band summation term and rearranging the rest terms not obeying this restriction (terms including connections in degenerate sub space) with the U(1)-covariant derivative to construct the U(2)-covariant derivative.
The SHG susceptibility described in Eq. (37) and Eq. (38) is made up of terms of the form . The -even part of the susceptibility takes the form of and the -odd part takes the form of . Therefore, in the limit , the principal part and -function part of the non-magnetic are purely real and imaginary respectively, while the real and imaginary parts are opposite in the magnetic [45, 46].
The SHG susceptibility at the static limit is an important criterion for the application of non-linear crystals and we rearranged the static susceptibility in a form that directly represent the Kleinman’s symmetry as
(39) |
and
(40) |
where denotes full permutation of indices .
Appendix D The relationship between energy dissipation and susceptibility
In -symmetric systems, the imaginary part of susceptibility which only contains the -function part characterizes the dissipation of the electromagnetic field energy, while the real part does not contain -function terms. In -breaking systems, the susceptibility is complex in general, and the imaginary part of the susceptibility is not related to dissipation. For example, the power of dissipation in the first order gives
(41) | ||||
Therefore, in -breaking systems, the dissipation is not related to the imaginary part of , rather, it depends only on the -function part which is not purely imaginary.
Appendix E Band structure of bilayer CrI3
Fig. 6 shows the band structure and MSC conductivity calculated from route I and route II using the U(2)-invariant formula, where the electronic structures are obtained from different first-principles packages while other parameters are essentially the same. The electronic structures calculated from the two packages are slightly different in many aspects including bandgap values and band dispersion as shown in Fig. 6(a). For instance, the band gap is 0.89 eV from VASP and 0.51 eV from OpenMX. Even though the scissor operator has been applied to align the bandgap in Fig. 4(b), different features in MSC are still observed re-emphasizing that the optical current is sensitive to the electronic structure and it is difficult to compare results from different packages.

References
- Fridkin [2001] V. M. Fridkin, Crystallogr. Rep. (Transl. Kristallografiya) 46, 654 (2001).
- Glass et al. [1974] A. M. Glass, D. von der Linde, and T. J. Negran, Appl. Phys. Lett. 25, 233 (1974).
- Koch et al. [1975] W. Koch, R. Munser, W. Ruppel, and P. Würfel, Solid State Commun. 17, 847 (1975).
- Franken et al. [1961] P. A. Franken, A. E. Hill, C. W. Peters, and G. Weinreich, Phys. Rev. Lett. 7, 118 (1961).
- Young and Rappe [2012] S. M. Young and A. M. Rappe, Phys. Rev. Lett. 109, 116601 (2012).
- Morimoto and Nagaosa [2016] T. Morimoto and N. Nagaosa, Sci. Adv. 2, e1501524 (2016).
- Nagaosa and Morimoto [2017] N. Nagaosa and T. Morimoto, Adv. Mater. 29, 1603345 (2017).
- Ahn et al. [2020a] J. Ahn, G.-Y. Guo, and N. Nagaosa, Phys. Rev. X 10, 041041 (2020a).
- Osterhoudt et al. [2019] G. B. Osterhoudt, L. K. Diebel, M. J. Gray, X. Yang, J. Stanco, X. Huang, B. Shen, N. Ni, P. J. W. Moll, Y. Ran, and K. S. Burch, Nat. Mater. 18, 471 (2019).
- de Juan et al. [2017] F. de Juan, A. G. Grushin, T. Morimoto, and J. E. Moore, Nat. Commun. 8, 15995 (2017).
- Rees et al. [2020] D. Rees, K. Manna, B. Lu, T. Morimoto, H. Borrmann, C. Felser, J. E. Moore, D. H. Torchinsky, and J. Orenstein, Sci. Adv. 6, eaba0509 (2020).
- Zhang et al. [2019] Y. Zhang, T. Holder, H. Ishizuka, F. de Juan, N. Nagaosa, C. Felser, and B. Yan, Nat. Commun. 10, 3783 (2019).
- Wang and Qian [2020] H. Wang and X. Qian, npj Comput. Mater. 6, 199 (2020).
- Fei et al. [2020] R. Fei, W. Song, and L. Yang, Phys. Rev. B 102, 035440 (2020).
- Reif et al. [1991] J. Reif, J. C. Zink, C.-M. Schneider, and J. Kirschner, Phys. Rev. Lett. 67, 2878 (1991).
- Reif et al. [1993] J. Reif, C. Rau, and E. Matthias, Phys. Rev. Lett. 71, 1931 (1993).
- Kirilyuk [2002] A. Kirilyuk, J. Phys. D 35, R189 (2002).
- Kirilyuk and Rasing [2005] A. Kirilyuk and T. Rasing, J. Opt. Soc. Am. B 22, 148 (2005).
- Fiebig et al. [1994] M. Fiebig, D. Fröhlich, B. B. Krichevtsov, and R. V. Pisarev, Phys. Rev. Lett. 73, 2127 (1994).
- Fiebig et al. [2005] M. Fiebig, V. V. Pavlov, and R. V. Pisarev, J. Opt. Soc. Am. B 22, 96 (2005).
- Sun et al. [2019] Z. Sun, Y. Yi, T. Song, G. Clark, B. Huang, Y. Shan, S. Wu, D. Huang, C. Gao, Z. Chen, M. McGuire, T. Cao, D. Xiao, W.-T. Liu, W. Yao, X. Xu, and S. Wu, Nature 572, 497 (2019).
- Sipe and Ghahramani [1993] J. E. Sipe and E. Ghahramani, Phys. Rev. B 48, 11705 (1993).
- Watanabe and Yanase [2021] H. Watanabe and Y. Yanase, Phys. Rev. X 11, 011001 (2021).
- Aversa and Sipe [1995] C. Aversa and J. E. Sipe, Phys. Rev. B 52, 14636 (1995).
- Sipe and Shkrebtii [2000] J. E. Sipe and A. I. Shkrebtii, Phys. Rev. B 61, 5337 (2000).
- Ahn et al. [2020b] J. Ahn, G.-Y. Guo, and N. Nagaosa, Phys. Rev. X 10, 041041 (2020b).
- Ghahramani et al. [1991] E. Ghahramani, D. J. Moss, and J. E. Sipe, Phys. Rev. B 43, 8990 (1991).
- Sharma et al. [2003] S. Sharma, J. K. Dewhurst, and C. Ambrosch-Draxl, Phys. Rev. B 67, 165332 (2003).
- Rashkeev et al. [1998] S. N. Rashkeev, W. R. L. Lambrecht, and B. Segall, Phys. Rev. B 57, 3905 (1998).
- Gonze et al. [2016] X. Gonze, F. Jollet, et al., Comput. Phys. Commun. 205, 106 (2016).
- Lin et al. [1999] J. Lin, M.-H. Lee, Z.-P. Liu, C. Chen, and C. J. Pickard, Phys. Rev. B 60, 13380 (1999).
- Fang et al. [2014] Z. Fang, J. Lin, R. Liu, P. Liu, Y. Li, X. Huang, K. Ding, L. Ning, and Y. Zhang, CrystEngComm 16, 10569 (2014).
- Wang and Qian [2017] H. Wang and X. Qian, Nano Lett. 17, 5027 (2017).
- Song et al. [2020a] W. Song, G.-Y. Guo, S. Huang, L. Yang, and L. Yang, Phys. Rev. Applied 13, 014052 (2020a).
- Guo and Lin [2005] G. Y. Guo and J. C. Lin, Phys. Rev. B 72, 075416 (2005).
- Wang et al. [2017] C. Wang, X. Liu, L. Kang, B.-L. Gu, Y. Xu, and W. Duan, Phys. Rev. B 96, 115147 (2017).
- Zhang et al. [2020] B. Zhang, X. Zhang, J. Yu, Y. Wang, K. Wu, and M.-H. Lee, Chem. Mater. 32, 6772 (2020).
- Song et al. [2020b] W. Song, R. Fei, L. Zhu, and L. Yang, Phys. Rev. B 102, 045411 (2020b).
- Provost and Vallee [1980] J. P. Provost and G. Vallee, Commun. Math. Phys. 76, 289 (1980).
- Gallego et al. [2019] S. V. Gallego, J. Etxebarria, L. Elcoro, E. S. Tasci, and J. M. Perez-Mato, Acta Crystallogr. Sect. A 75, 438 (2019).
- Shi et al. [2006] J. Shi, P. Zhang, D. Xiao, and Q. Niu, Phys. Rev. Lett. 96, 076604 (2006).
- Young et al. [2013] S. M. Young, F. Zheng, and A. M. Rappe, Phys. Rev. Lett. 110, 057201 (2013).
- [43] R. Fei, X. Lu, and L. Yang, arXiv:2006.10690 .
- Boyd [2020] R. W. Boyd, Nonlinear optics (Academic press, 2020).
- Pershan [1963] P. S. Pershan, Phys. Rev. 130, 919 (1963).
- Pan et al. [1989] R.-P. Pan, H. D. Wei, and Y. R. Shen, Phys. Rev. B 39, 1229 (1989).
- Cook et al. [2017] A. M. Cook, B. M. Fregoso, F. de Juan, S. Coh, and J. E. Moore, Nat. Commun. 8, 14176 (2017).
- Ibañez Azpiroz et al. [2018] J. Ibañez Azpiroz, S. S. Tsirkin, and I. Souza, Phys. Rev. B 97, 245143 (2018).
- Wang et al. [2019] C. Wang, S. Zhao, X. Guo, X. Ren, B.-L. Gu, Y. Xu, and W. Duan, New J. Phys. 21, 093001 (2019).
- Kresse and Furthmüller [1996] G. Kresse and J. Furthmüller, Phys. Rev. B 54, 11169 (1996).
- Ozaki [2003] T. Ozaki, Phys. Rev. B 67, 155108 (2003).
- Ozaki and Kino [2004] T. Ozaki and H. Kino, Phys. Rev. B 69, 195113 (2004).
- Perdew et al. [1996] J. P. Perdew, K. Burke, and M. Ernzerhof, Phys. Rev. Lett. 77, 3865 (1996).
- Kresse and Joubert [1999] G. Kresse and D. Joubert, Phys. Rev. B 59, 1758 (1999).
- Morrison et al. [1993] I. Morrison, D. M. Bylander, and L. Kleinman, Phys. Rev. B 47, 6728 (1993).
- Dudarev et al. [1998] S. L. Dudarev, G. A. Botton, S. Y. Savrasov, C. J. Humphreys, and A. P. Sutton, Phys. Rev. B 57, 1505 (1998).
- Grimme et al. [2010] S. Grimme, J. Antony, S. Ehrlich, and H. Krieg, J. Chem. Phys. 132, 154104 (2010).
- Mostofi et al. [2014] A. A. Mostofi, J. R. Yates, G. Pizzi, Y.-S. Lee, I. Souza, D. Vanderbilt, and N. Marzari, Comput. Phys. Commun. 185, 2309 (2014).
- Li et al. [2019] J. Li, Y. Li, S. Du, Z. Wang, B.-L. Gu, S.-C. Zhang, K. He, W. Duan, and Y. Xu, Sci. Adv. 5, eaaw5685 (2019).
- Sivadas et al. [2018] N. Sivadas, S. Okamoto, X. Xu, C. J. Fennie, and D. Xiao, Nano Lett. 18, 7658 (2018).
- Gudelli and Guo [2020] V. K. Gudelli and G.-Y. Guo, Chinese J. Phys. 68, 896 (2020).
- Ventura et al. [2017] G. B. Ventura, D. J. Passos, J. M. B. Lopes dos Santos, J. M. Viana Parente Lopes, and N. M. R. Peres, Phys. Rev. B 96, 035431 (2017).
- von Baltz and Kraut [1981] R. von Baltz and W. Kraut, Phys. Rev. B 23, 5590 (1981).
- Kraut and von Baltz [1979] W. Kraut and R. von Baltz, Phys. Rev. B 19, 1548 (1979).
- Nagaosa et al. [2010] N. Nagaosa, J. Sinova, S. Onoda, A. H. MacDonald, and N. P. Ong, Rev. Mod. Phys. 82, 1539 (2010).
- Blount [1962] E. Blount, Formalisms of band theory (Academic Press, 1962) pp. 305–373.
- Fregoso et al. [2017] B. M. Fregoso, T. Morimoto, and J. E. Moore, Phys. Rev. B 96, 075421 (2017).
- Parker et al. [2019] D. E. Parker, T. Morimoto, J. Orenstein, and J. E. Moore, Phys. Rev. B 99, 045121 (2019).
- Marzari et al. [2012] N. Marzari, A. A. Mostofi, J. R. Yates, I. Souza, and D. Vanderbilt, Rev. Mod. Phys. 84, 1419 (2012).