This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Local spin Hall conductivity

Tomáš Rauch Friedrich-Schiller-University Jena, 07743 Jena, Germany    Franziska Töpler Martin-Luther-University Halle-Wittenberg, 06120 Halle/Saale, Germany    Ingrid Mertig Martin-Luther-University Halle-Wittenberg, 06120 Halle/Saale, Germany
Abstract

The spin Hall conductivity is usually calculated for periodic solids, while the knowledge of local contributions from inhomogeneous regions like interfaces or surfaces would be desirable. In this work we derive a local expression for the spin Hall conductivity of two-dimensional systems in analogy to the local anomalous Hall conductivity discussed recently. Our approach is applicable to heterogeneous fully bounded systems and nanoribbons with both open and periodic boundary conditions.

I Introduction

Spintronics is a discpline which studies the electronic spin degree of freedom and aims at using its unique properties to invent functional devices, similar to electronics. One of its most prominent phenomena is the spin Hall effect, discovered in 1971Dyakonov and Perel (1971a, b), where an external electric field 𝓔\bm{\mathcal{E}} induces a spin current 𝒋s\bm{j}^{s} polarized along the ss-direction and propagating in the direction perpendicular to 𝓔\bm{\mathcal{E}}, in analogy to the anomalous Hall effect, where a charge current is propagating instead of the spin current (in absence of external magnetic field). While the original discovery proposed an extrinsic mechanism, in 2004 an intrinisic spin Hall effect has been proposed Sinova et al. (2004) and experimentally confirmed one year later Wunderlich et al. (2005), as a consequence of the spin-orbit coupling.

In the linear response regime, the strength of the spin Hall effect is described by the spin Hall conductivity (SHC) tensor, which can be derived from the Kubo-theory Sinova et al. (2004) and calculated for periodic solids. Unfortunately, the assumption of a perfect periodic crystal is usually not valid for spintronics devices, whose surfaces, electronic contacts or internal inhomogenities can influence or even be responsible for its performance, as is the case in, e.g., the giant magnetoresistance effect Baibich et al. (1988); Binasch et al. (1989), a first important spintronics application. Recently, spin currents and spin-orbit torques at heterostructure interfaces were investigated with a large effort Amin and Stiles (2016a, b); Baek et al. (2018). The spin Hall effect has been identified as one of their possible sources. Therefore, it is desirable to have an expression for the SHC, which would be valid locally and could describe, e.g., the contribution of a certain interface to the SHC of an entire heterostructure. Such approaches can be already found in the literature. For example, in Ref. Freimuth et al., 2014 the calculated spin-orbit torque is projected on muffin tin spheres surrounding different atoms to obtain local information and in Ref. Freimuth et al., 2015 the authors project the velocity-operator on the Wannier functions which are the basis of their model. These are rather simple approaches, because usually different local projections are possible and they are not necessarily equivalent Rauch et al. (2018). The authors of Ref. Wang et al., 2016, on the other hand, directly calculate the local electron and spin current density, which is well-defined. These quantities are then used to evaluate the interface spin Hall angle.

In our work we exploit once more the analogy between the spin and anomalous Hall effect expressed by the anomalous Hall conductivity (AHC). Recently, a local description of the AHC has been derived for both insulators Bianco and Resta (2011) and metals Marrazzo and Resta (2017) by transforming the standard Kubo-formula for periodic systems to real space, sometimes referred to as local (Chern) marker. As noted in Ref. Rauch et al., 2018, this approach only considers the geometric part of the AHC, whereas the non-geometric contributions (vanishing for periodic systems) are omitted. Since the non-geometric contributions might be important in inhomogeneous systems, in this work we will adopt the approach of Ref. Rauch et al., 2018 to derive a local SHC (LSHC) from a local spin current density, which includes both the geometric and non-geometric parts. In fact, our starting point is thus the same one as in Ref. Wang et al., 2016. We carry out these derivations for different geometries with open and mixed (open and periodic) boundary conditions in Sec. II and we show that the LSHC of a bounded system transforms to the usual Kubo-formula for periodic systems after performing the thermodynamic limit. In Sec. III we show the results of test calculations of the LSHC on the Kane-Mele model in both insulating and metallic regime. Finally, we summarize our work in Sec. IV.

II Local spin Hall conductivity

To derive an equation for the LSHC, we follow the ideas of Ref. Rauch et al., 2018 where the local AHC (LAHC) has been studied. The LSHC is defined as

σabs(𝒓)=jas(𝒓)b|𝓔=0.\sigma^{s}_{ab}\left(\bm{r}\right)=\left.\frac{\partial j^{s}_{a}\left(\bm{r}\right)}{\partial\mathcal{E}_{b}}\right|_{\bm{\mathcal{E}}=0}. (1)

𝓔\bm{\mathcal{E}} is a static homogeneous external electric field and jas(𝒓)j^{s}_{a}\left(\bm{r}\right) is the induced spin current density. Since we are interested in the spin Hall effect, we will only consider the off-diagonal components of the spin-conductivity tensor with aba\neq b. We use the conventional definition of the spin-current operator

j^as=12(v^as^s+s^sv^a)\hat{j}^{s}_{a}=\frac{1}{2}\left(\hat{v}_{a}\hat{s}^{s}+\hat{s}^{s}\hat{v}_{a}\right) (2)

with the velocity operator 𝒗^=(1/i)[𝒓^,H^]\hat{\bm{v}}=(1/i\hbar)[\hat{\bm{r}},\hat{H}] and the spin operator 𝒔^=(/2)𝝈^\hat{\bm{s}}=(\hbar/2)\hat{\bm{\sigma}}, where 𝝈^\hat{\bm{\sigma}} is the vector of the Pauli matrices. The local spin-current operator is then

j^as(𝒓)\displaystyle\hat{j}^{s}_{a}\left(\bm{r}\right) =1/2(|𝒓𝒓|j^as+j^as|𝒓𝒓|)\displaystyle=1/2\left(|\bm{r}\rangle\langle\bm{r}|\hat{j}^{s}_{a}+\hat{j}^{s}_{a}|\bm{r}\rangle\langle\bm{r}|\right)
=12[|𝒓𝒓|12(v^as^s+s^sv^a)+\displaystyle=\frac{1}{2}\left[|\bm{r}\rangle\langle\bm{r}|\frac{1}{2}\left(\hat{v}_{a}\hat{s}^{s}+\hat{s}^{s}\hat{v}_{a}\right)\right.+
+12(v^as^s+s^sv^a)|𝒓𝒓|].\displaystyle+\left.\frac{1}{2}\left(\hat{v}_{a}\hat{s}^{s}+\hat{s}^{s}\hat{v}_{a}\right)|\bm{r}\rangle\langle\bm{r}|\right]. (3)

We obtain the local spin current density as

jas(𝒓)=Tr[P^j^as(𝒓)]=[𝒓|12(v^as^s+s^sv^a)P^|𝒓],j^{s}_{a}\left(\bm{r}\right)=\operatorname{Tr}\left[\hat{P}\hat{j}^{s}_{a}\left(\bm{r}\right)\right]=\Re\left[\langle\bm{r}|\frac{1}{2}\left(\hat{v}_{a}\hat{s}^{s}+\hat{s}^{s}\hat{v}_{a}\right)\hat{P}|\bm{r}\rangle\right], (4)

where P^\hat{P} is the projection operator on the occupied states. We are aware of the existence of other definitions of the spin current in the literature Vernes et al. (2007); Zhang et al. (2008), which try to solve some problems of the conventional definition connected to the conservation of the spin current. Nevertheless, we work with the conventional definition (Eq. (4)), since starting from it, we obtain expressions for both the LSHC, as well as the common bulk SHC Sinova et al. (2004).

We continue by plugging Eq. (4) into Eq. (1). Note that in the presence of electric field we can write the full Hamiltonian as H^=H^0+e𝓔𝒓\hat{H}=\hat{H}_{0}+e\bm{\mathcal{E}}\cdot\bm{r} with the unperturbed Hamiltonian H^0\hat{H}_{0}. Since [r^a,r^b]=0\left[\hat{r}_{a},\hat{r}_{b}\right]=0, the velocity operator is 𝒗^=𝒗^0=(1/i)[𝒓^,H^0]\hat{\bm{v}}=\hat{\bm{v}}_{0}=(1/i\hbar)[\hat{\bm{r}},\hat{H}_{0}] and the electric field modifies P^\hat{P} only. We thus arrive at

σabs(𝒓)=[𝒓|12(v^as^s+s^sv^a)P^b|𝒓]\sigma^{s}_{ab}\left(\bm{r}\right)=\Re\left[\langle\bm{r}|\frac{1}{2}\left(\hat{v}_{a}\hat{s}^{s}+\hat{s}^{s}\hat{v}_{a}\right)\frac{\partial\hat{P}}{\partial\mathcal{E}_{b}}|\bm{r}\rangle\right] (5)

where we obtained the partial derivative of the projection operator from perturbation theory as

P^b=ev,c(|crb,cvEcvv|+|vrb,vcEcvc|).\frac{\partial\hat{P}}{\partial\mathcal{E}_{b}}=-e\sum_{v,c}\left(|c\rangle\frac{r_{b,cv}}{E_{cv}}\langle v|+|v\rangle\frac{r_{b,vc}}{E_{cv}}\langle c|\right). (6)

|v|v\rangle and |c|c\rangle denote the valence and conduction eigenstates of the unpertubed Hamiltonian with eigenenergies EvE_{v} and EcE_{c}, respectively, rb,cv=c|r^b|vr_{b,cv}=\langle c|\hat{r}_{b}|v\rangle, and Ecv=EcEvE_{cv}=E_{c}-E_{v}.

Eq. (5) can be directly applied to calculate the LSHC of finite (bounded) systems with open boundary conditions (OBC) where rb,cvr_{b,cv} is always well-defined. Note that the derivation is completely analogous to the one of the LAHC in Ref. Rauch et al., 2018.

II.1 Periodic boundary conditions

In the following we show that under the assumption of periodic boundary conditions (PBC), i.e., for an open system, we obtain the standard Kubo formula for the SHC of periodic systems. We assume a two-dimensional periodic system with a unit cell area AcA_{c}. The bulk SHC is obtained by averaging the LSHC in one unit cell,

σabs=1Ac𝑑x𝑑yσabs(𝒓).\sigma^{s}_{ab}=\frac{1}{A_{c}}\int dxdy\ \sigma^{s}_{ab}\left(\bm{r}\right). (7)

We now plug Eq. (5) into Eq. (7). For this step we need the ground-state projection operator in terms of the occupied states of the periodic system,

P^0=1N𝒌𝒌,v|ψ𝒌,vψ𝒌,v|,\hat{P}_{0}=\frac{1}{N_{\bm{k}}}\sum_{\bm{k},v}|\psi_{\bm{k},v}\rangle\langle\psi_{\bm{k},v}|, (8)

where the N𝒌N_{\bm{k}} wavevectors 𝒌=(kx,ky)\bm{k}=(k_{x},k_{y}) cover the Brillouin zone. In analogy to Eq. (6) we obtain

P^b=1N𝒌𝒌,vei𝒌𝒓^(|~bu𝒌,vu𝒌,v|+|u𝒌,v~bu𝒌,v|)ei𝒌𝒓^\frac{\partial\hat{P}}{\partial\mathcal{E}_{b}}=\frac{1}{N_{\bm{k}}}\sum_{\bm{k},v}e^{i\bm{k}\cdot\hat{\bm{r}}}\left(|\widetilde{\partial}_{\mathcal{E}_{b}}u_{\bm{k},v}\rangle\langle u_{\bm{k},v}|+|u_{\bm{k},v}\rangle\langle\widetilde{\partial}_{\mathcal{E}_{b}}u_{\bm{k},v}|\right)e^{-i\bm{k}\cdot\hat{\bm{r}}} (9)

with u𝒌,vu_{\bm{k},v} the cell-periodic part of ψ𝒌,v\psi_{\bm{k},v} and

|~bu𝒌,v=iec|u𝒌,cvb,𝒌,cvE𝒌,cv2|\widetilde{\partial}_{\mathcal{E}_{b}}u_{\bm{k},v}\rangle=ie\sum_{c}|u_{\bm{k},c}\rangle\frac{\hbar v_{b,\bm{k},cv}}{E^{2}_{\bm{k},cv}} (10)

the electric-field derivative |bu𝒌,v|\partial_{\mathcal{E}_{b}}u_{\bm{k},v}\rangle projected on the empty states. We further defined vb,𝒌,cv=u𝒌,c|v^b,𝒌|u𝒌,vv_{b,\bm{k},cv}=\langle u_{\bm{k},c}|\hat{v}_{b,\bm{k}}|u_{\bm{k},v}\rangle and v^b,𝒌=ei𝒌𝒓^v^bei𝒌𝒓^\hat{v}_{b,\bm{k}}=e^{-i\bm{k}\cdot\hat{\bm{r}}}\hat{v}_{b}e^{i\bm{k}\cdot\hat{\bm{r}}}.

Finally, we let N𝒌N_{\bm{k}}\rightarrow\infty and obtain

σabs=14π2d2kAc𝑑x𝑑yv[𝒓|12(v^as^s+s^sv^a)(|~bu𝒌,vu𝒌,v|𝒓+|u𝒌,v~bu𝒌,v|𝒓)],\sigma^{s}_{ab}=\frac{1}{4\pi^{2}}\int d^{2}k\int_{A_{c}}dxdy\ \sum_{v}\Re\left[\langle\bm{r}|\frac{1}{2}\left(\hat{v}_{a}\hat{s}^{s}+\hat{s}^{s}\hat{v}_{a}\right)\left(|\widetilde{\partial}_{\mathcal{E}_{b}}u_{\bm{k},v}\rangle\langle u_{\bm{k},v}|\bm{r}\rangle+|u_{\bm{k},v}\rangle\langle\widetilde{\partial}_{\mathcal{E}_{b}}u_{\bm{k},v}|\bm{r}\rangle\right)\right], (11)

again in full analogy to the LAHC in a slab geometry Rauch et al. (2018). Using Eq. (10) and evaluating the real-space integral in Eq. (11) we arrive at

σabs=e4π2d2kv,cja,𝒌,vcsvb,𝒌,cvja,𝒌,cvsvb,𝒌,vcE𝒌,cv2=e2π2d2kv,cja,𝒌,vcsvb,𝒌,cvE𝒌,cv2\sigma^{s}_{ab}=-\frac{e\hbar}{4\pi^{2}}\int d^{2}k\ \Im\sum_{v,c}\frac{j^{s}_{a,\bm{k},vc}v_{b,\bm{k},cv}-j^{s}_{a,\bm{k},cv}v_{b,\bm{k},vc}}{E^{2}_{\bm{k},cv}}=-\frac{e\hbar}{2\pi^{2}}\int d^{2}k\ \Im\sum_{v,c}\frac{j^{s}_{a,\bm{k},vc}v_{b,\bm{k},cv}}{E^{2}_{\bm{k},cv}} (12)

where we defined ja,𝒌,vcs=u𝒌,v|12(v^as^s+s^sv^a)|u𝒌,cj^{s}_{a,\bm{k},vc}=\langle u_{\bm{k},v}|\frac{1}{2}\left(\hat{v}_{a}\hat{s}^{s}+\hat{s}^{s}\hat{v}_{a}\right)|u_{\bm{k},c}\rangle. Eq. (12) is the usual bulk formula for the SHC of periodic materials Sinova et al. (2004).

II.2 Mixed boundary conditions

Calculating LSHC from Eq. (5) can be computationally demanding for large finite systems. Therefore, it might be useful to turn to the nanoribbon geometry with mixed boundary condition. We recall that in the symbol σabs\sigma^{s}_{ab} aa denotes the propagation direction of the spin current, bb denotes the orientation of the electric field, and ss is the polarization direction of the spin current. For the nanoribbon geometry, we introduce a new pair of indices (α,β)=(x,y)(\alpha,\beta)=(x,y), αβ\alpha\neq\beta, where α\alpha and β\beta denote the direction with OBC (bounded) and PBC (open), respectively. The local information shall be kept in the OBC direction and we thus wish to calculate

σabs(rα)\displaystyle\sigma^{s}_{ab}(r_{\alpha}) =1LβLβ𝑑rβσabs(rα,rβ)\displaystyle=\frac{1}{L_{\beta}}\int_{L_{\beta}}dr_{\beta}\ \sigma^{s}_{ab}(r_{\alpha},r_{\beta})
=1LβLβ𝑑rβ[𝒓|j^asP^b|𝒓]\displaystyle=\frac{1}{L_{\beta}}\int_{L_{\beta}}dr_{\beta}\ \Re\left[\langle\bm{r}|\hat{j}^{s}_{a}\frac{\partial\hat{P}}{\partial\mathcal{E}_{b}}|\bm{r}\rangle\right] (13)

with LβL_{\beta} the length of the periodic unit cell along β{\beta} and the ground-state projector as in Eq. (8),

P^0\displaystyle\hat{P}_{0} =1Nkβkβ,v|ψkβ,vψkβ,v|\displaystyle=\frac{1}{N_{k_{\beta}}}\sum_{k_{\beta},v}|\psi_{k_{\beta},v}\rangle\langle\psi_{k_{\beta},v}|
=1Nkβkβ,veikβr^β|ukβ,vukβ,v|eikβr^β.\displaystyle=\frac{1}{N_{k_{\beta}}}\sum_{k_{\beta},v}e^{ik_{\beta}\hat{r}_{\beta}}|u_{k_{\beta},v}\rangle\langle u_{k_{\beta},v}|e^{-ik_{\beta}\hat{r}_{\beta}}. (14)

In the following it is necessary to distinguish between the two cases where the spin current is oriented along the direction with PBC and the electric field along the direction with OBC, and vice versa.

II.2.1 Electric field along PBC

When the electric field is oriented along the PBC direction, we have a=αa=\alpha and b=βb=\beta. The spin-current operator is thus

j^as=12i([r^a,H^0]s^s+s^s[r^a,H^0])\hat{j}^{s}_{a}=\frac{1}{2i\hbar}\left(\left[\hat{r}_{a},\hat{H}_{0}\right]\hat{s}^{s}+\hat{s}^{s}\left[\hat{r}_{a},\hat{H}_{0}\right]\right) (15)

and

P^b\displaystyle\frac{\partial\hat{P}}{\partial\mathcal{E}_{b}} =1Nbkb,veikbr^b(|~bukb,vukb,v|+\displaystyle=\frac{1}{N_{b}}\sum_{k_{b},v}e^{ik_{b}\hat{r}_{b}}\left(|\widetilde{\partial}_{\mathcal{E}_{b}}u_{k_{b},v}\rangle\langle u_{k_{b},v}|\right.+
+|ukb,v~bukb,v|)eikbr^b.\displaystyle+\left.|u_{k_{b},v}\rangle\langle\widetilde{\partial}_{\mathcal{E}_{b}}u_{k_{b},v}|\right)e^{-ik_{b}\hat{r}_{b}}. (16)

We thus obtain for the rar_{a}-resolved LSHC

σabs(ra)=e4π𝑑kbLb𝑑rbv,c𝒓|([r^a,H^0]s^s+s^s[r^a,H^0])(|ukb,cvb,kb,cvEkb,cv2ukb,v|+|ukb,vvb,kb,vcEkb,cv2ukb,c|)|𝒓.\sigma^{s}_{ab}(r_{a})=\frac{e}{4\pi}\int dk_{b}\int_{L_{b}}dr_{b}\ \Re\sum_{v,c}\langle\bm{r}|\left(\left[\hat{r}_{a},\hat{H}_{0}\right]\hat{s}^{s}+\hat{s}^{s}\left[\hat{r}_{a},\hat{H}_{0}\right]\right)\left(|u_{k_{b},c}\rangle\frac{v_{b,k_{b},cv}}{E^{2}_{k_{b},cv}}\langle u_{k_{b},v}|+|u_{k_{b},v}\rangle\frac{v_{b,k_{b},vc}}{E^{2}_{k_{b},cv}}\langle u_{k_{b},c}|\right)|\bm{r}\rangle. (17)

II.2.2 Electric field along OBC

The situation of the electric field being oriented along the OBC direction corresponds to a=βa=\beta and b=αb=\alpha. We write the spin-current operator as in Eq. (2) and

P^b\displaystyle\frac{\partial\hat{P}}{\partial\mathcal{E}_{b}} =eNaka,v,ceikar^a(|uka,crb,ka,cvEka,cvuka,v|+\displaystyle=-\frac{e}{N_{a}}\sum_{k_{a},v,c}e^{ik_{a}\hat{r}_{a}}\left(|u_{k_{a},c}\rangle\frac{r_{b,k_{a},cv}}{E_{k_{a},cv}}\langle u_{k_{a},v}|\right.+
+|uka,vrb,ka,vcEka,cvuka,c|)eikar^a.\displaystyle+\left.|u_{k_{a},v}\rangle\frac{r_{b,k_{a},vc}}{E_{k_{a},cv}}\langle u_{k_{a},c}|\right)e^{-ik_{a}\hat{r}_{a}}. (18)

The rbr_{b}-resolved LSHC for this geometry becomes

σabs(rb)=e4π𝑑kaLa𝑑rav,c𝒓|(v^a,kas^s+s^sv^a,ka)(|uka,crb,ka,cvEka,cvuka,v|+|uka,vrb,ka,vcEka,cvuka,c|)|𝒓.\sigma^{s}_{ab}(r_{b})=-\frac{e}{4\pi}\int dk_{a}\int_{L_{a}}dr_{a}\ \Re\sum_{v,c}\langle\bm{r}|\left(\hat{v}_{a,k_{a}}\hat{s}^{s}+\hat{s}^{s}\hat{v}_{a,k_{a}}\right)\left(|u_{k_{a},c}\rangle\frac{r_{b,k_{a},cv}}{E_{k_{a},cv}}\langle u_{k_{a},v}|+|u_{k_{a},v}\rangle\frac{r_{b,k_{a},vc}}{E_{k_{a},cv}}\langle u_{k_{a},c}|\right)|\bm{r}\rangle. (19)

III Numerical calculations

To test the validity of our derivations, we perform numerical tight-binding (TB) calculations of the LSHC for both a finite system with open boundary conditions and a system in the nanoribbon geometry with mixed boundary conditions. As the main test of the validity of our local formulation we show that in the central (bulk) region of a sufficiently large flake or nanoribbon the LSHC equals the bulk SHC calculated for a corresponding periodic system using the standard formula (Eq. (12)). While this can be straightforwadly shown for insulators, a more complicated treatment will be necessary for metals.

For the TB calculations we used the PythTB package Pyt . In TB, the basis set are the localized TB orbitals ϕi(𝒓)=𝒓|i\phi_{i}\left(\bm{r}\right)=\langle\bm{r}|i\rangle. We thus have to replace |𝒓|\bm{r}\rangle with |i|i\rangle and calculate a site-resolved LSHC σabs(l)=ilσabs(i)\sigma^{s}_{ab}(l)=\sum_{i\in l}\sigma^{s}_{ab}(i) where we sum over all TB orbitals ii located on the site ll. The matrix elements of the position operator are calculated in TB using the on-site approximation i|𝒓^|j=𝝉iδij\langle i|\hat{\bm{r}}|j\rangle=\bm{\tau}_{i}\delta_{ij} where 𝝉i\bm{\tau}_{i} is the position of the orbital ii Boykin et al. (2010).

III.1 Kane-Mele model

For the numerical test calculations we use the Kane-Mele model Kane and Mele (2005) which is expressed by the Hamiltonian

H\displaystyle H =Epiξici,γci,γ+tijci,γcj,γ+\displaystyle=E_{p}\sum_{i}\xi_{i}c^{\dagger}_{i,\gamma}c_{i,\gamma}+t\sum_{\langle ij\rangle}c^{\dagger}_{i,\gamma}c_{j,\gamma}+
+iλSOijγγνijci,γsγ,γzcj,γ+\displaystyle+i\lambda_{\mathrm{SO}}\sum_{\langle\langle ij\rangle\rangle\gamma\gamma^{\prime}}\nu_{ij}c^{\dagger}_{i,\gamma}s^{z}_{\gamma,\gamma^{\prime}}c_{j,\gamma^{\prime}}+
+iλRijγγz^(𝒔γ,γ×𝒅)ci,γcj,γ\displaystyle+i\lambda_{\mathrm{R}}\sum_{\langle ij\rangle\gamma\gamma^{\prime}}\hat{z}\cdot(\bm{s}_{\gamma,\gamma^{\prime}}\times\bm{d})c^{\dagger}_{i,\gamma}c_{j,\gamma^{\prime}} (20)

where γ\gamma denotes the spin, EpξiE_{p}\xi_{i} is the onsite energy of the orbital ii, tt is the hopping amplitude between the nearest neighbours. The third term on the right-hand side describes next-nearest neighbour spin-orbit coupling, 𝒔\bm{s} being the Pauli matrices and νij=±1\nu_{ij}=\pm 1, depending on the orientation of the two nearest-neighbour bonds 𝒅1\bm{d}_{1} and 𝒅2\bm{d}_{2} along which the electron hops from orbital ii to orbital jj. Finally, the fourth term describes nearest-neighbour Rashba spin-orbit coupling.

The Kane-Mele model describes a system on a honeycomb lattice with two sites (four orbitals) per unit cell. In the absence of the Rashba term, the spin is conserved. For two occupied orbitals in a unit cell the model describes an insulator if either λSO\lambda_{\mathrm{SO}} or EpE_{p} is non-zero. For λSO=0\lambda_{\mathrm{SO}}=0, the insulator is trivial and there is zero bulk SHC. If Ep=0E_{p}=0 and λSO\lambda_{\mathrm{SO}} is finite, the Kane-Mele model becomes a topological insulator with a quantized bulk SHC σxyz=e/(2π)\sigma^{z}_{xy}=e/(2\pi) Kane and Mele (2005). This quantization is violated by switching-on the Rashba spin-orbit coupling, which breaks the conservation of the spin.

III.2 LSHC of an insulator

In the first test we choose the model parameters to be Ep=0E_{p}=0, t=1t=1, λSO=0.1\lambda_{\mathrm{SO}}=0.1, and λR=0\lambda_{\mathrm{R}}=0, modelling graphene with finite spin-orbit coupling, which is a 𝒵2\mathcal{Z}_{2} topological insulator at half filling. The bulk SHC calculated with Eq. (12) on a 50×5050\times 50 𝒌\bm{k}-point mesh yields σxyz=e/(2π)\sigma^{z}_{xy}=-e/(2\pi), as expected Kane and Mele (2005).

We then calculate the LSHC of the model using Eq. (5). For this purpose we construct a 1×21\times 2 rectangular supercell and multiply it to create a large rectangular flake of the Kane-Mele system. The result is shown in Fig. 1.

Refer to caption
Figure 1: LSHC σxyz((𝒓))\sigma^{z}_{xy}(\left(\bm{r}\right)) of a 924-sites flake of the Kane-Mele model in the topological insulating regime. Thick grey line refers to the values plotted in Fig. 2.

The LSHC ammounts exactly to e/(2π)-e/(2\pi) in the middle of the flake and it thus corresponds with the bulk value. The total SHC of the finite system is zero, since there cannot be any total currents in a system with OBC. This behaviour is analogous to the AHC discussed in Refs. Bianco and Resta, 2011; Marrazzo and Resta, 2017. Therefore, the negative LSHC in the middle of the flake must be canceled by boundary contributions of opposite sign. The thickness of the boundary is \sim1 unit cell and the LSHC converges very fast to its bulk value. Indeed, exponential convergence towards the bulk value with the flake size is expected for insulators, owing to the exponential decay of the one-body density matrix Kohn (1996); Bianco and Resta (2011).

In the next step we calculate the LSHC of a nanoribbon with PBC along xx and OBC along yy constructed multiplying the same 1×21\times 2 supercell along the yy-direction. The model parameters remained as in the previous calculation and the width of the nanoribbon was 21 supercells (84 sites). We calculated both σxyz(y)\sigma^{z}_{xy}(y) and σyxz(y)\sigma^{z}_{yx}(y) with the electric field oriented along yy- and xx-direction, using Eqs. (19) and (17), respectively. We show the results in Fig. 2.

Refer to caption
Figure 2: LSHC σxyz(y)\sigma^{z}_{xy}(y) (red) and σyxz(y)\sigma^{z}_{yx}(y) (blue) of a 84-sites thick nanoribbon (periodic along xx, bounded along yy) of the Kane-Mele model in the topological insulating regime. LyL_{y} is the thickness of the nanoribbon. Orange dashed line shows σxyz(y)\sigma^{z}_{xy}(y) for sites in the grey region in Fig. 1.

Again, we obtained σxyz(y)=e/(2π)\sigma^{z}_{xy}(y)=-e/(2\pi) in the middle of the nanoribbon, in perfect agreement with both the flake and bulk calculations. For the rotated geometry with electric field along the PBC direction we got σyxz(y)=e/(2π)\sigma^{z}_{yx}(y)=e/(2\pi) in the bulk region, which also agrees with the previous results via σxyz=σyxz\sigma^{z}_{xy}=-\sigma^{z}_{yx}. As for the finite system, the LSHC at the edges of the nanoribbon differs from the bulk region. Yet in this case the total SHC of the system does not vanish, since the system is periodic (and not finite) in the xx-direction.

III.3 LSHC of a metal

In our second test we turn to a metallic system. We chose the model parameters Ep=0E_{p}=0, t=1t=1, λSO=0.3\lambda_{\mathrm{SO}}=0.3, and λR=0.25\lambda_{\mathrm{R}}=0.25 and set the Fermi level EF=0.9E_{\mathrm{F}}=0.9 to be located in the empty states. A bulk calculation with 200×200200\times 200 𝒌\bm{k}-points for this set of parameters yields σyxz=\sigma^{z}_{yx}= 0.61 e/(2π2\pi).

As discussed in Ref. Marrazzo and Resta, 2017, the one-body density matrix decays as a power law in metals, in contrast to the exponential decay in insulators. This leads to a more delocalized effect of inhomogenities on local properties, which can be for example Friedel oscillations or surface resonant states. These oscillations typically appear on a scale larger than a single bulk unit cell and can influence local material properties far from their origin. We calculated the LSHC of a metallic nanoribbon constructed from up to 404 sites, performing the 𝒌\bm{k}-integration along the periodic direction over 500 𝒌\bm{k}-points.

Refer to caption
Refer to caption
Refer to caption
Figure 3: LSHC of a metallic nanoribbon. Left: Site-resolved LSHC for N=404N=404 sites. Center: Gaussian-smeared site-resolved LSHC with different values of the smearing parameter λ\lambda. Right: Gaussian-smeared LSHC for different values of λ\lambda and NN (dots), extrapolated to λ\lambda\rightarrow\infty (magenta dots). The extrapolated values were fitted to a0+a1/Na_{0}+a_{1}/N (magenta line), from which the NN\rightarrow\infty was extracted and plotted as dashed magenta line and compared with the bulk value (black line).

We show the result for N=404N=404 sites in the left panel of Fig. 3. The LSHC shows extreme oscillations of up to ±1000e/(2π)\pm 1000e/(2\pi) which can be of physical origin as mentioned above, as well as of numerical origin, caused by the finite number of 𝒌\bm{k}-points used in a numerical calculation. In a realistic material, the physical oscillations are typically weakened by the averaging effect of temperature or disorder. In these test calculations we intent to demonstrate that the LSHC values in a locally homogeneous system agree with those calculated for a corresponding bulk periodic system. Therefore, we locally average the calculated LSHC values, effectively reducing both types of oscillations. To achieve this, we apply a Gaussian smearing to the LSHC at site ll as

σ¯yxz(l,λ)=lσyxz(l)e(𝒓l𝒓l)22λ2le(𝒓l𝒓l)22λ2.\overline{\sigma}^{z}_{yx}(l,\lambda)=\frac{\sum_{l^{\prime}}{\sigma^{z}_{yx}(l^{\prime})\ e^{-\frac{(\bm{r}_{l}-\bm{r}_{l^{\prime}})^{2}}{2\lambda^{2}}}}}{\sum_{l^{\prime}}{e^{-\frac{(\bm{r}_{l}-\bm{r}_{l^{\prime}})^{2}}{2\lambda^{2}}}}}. (21)

Depending on the parameter λ\lambda, the LSHC at each site is averaged over a certain neighboring region. We show in the central panel of Fig. 3 that with increasing λ\lambda the locally averaged LSHC approaches the bulk SHC value in the center of the nanoribbon. Assuming an infinitely large nanoribbon (NN\rightarrow\infty) and a global average (λ\lambda\rightarrow\infty), we expect to obtain the bulk value exactly. Therefore, we performed a set of calculations for N(164,404)N\in(164,404) and λ(5,20)\lambda\in(5,20). In the right panel of Fig. 3 we plot the values of the smeared LSHC σ¯yxz(lc,λ,N)\overline{\sigma}^{z}_{yx}(l_{c},\lambda,N) for a site lcl_{c} in the center of the nanoribbon. For each NN we fitted the values to σ¯yxz(lc,λ,N)λ2\overline{\sigma}^{z}_{yx}(l_{c},\lambda,N)\propto\lambda^{-2} and obtained σ¯yxz(lc,λ,N)\overline{\sigma}^{z}_{yx}(l_{c},\lambda_{\infty},N), which we then fitted to σ¯yxz(lc,λ,N)N1\overline{\sigma}^{z}_{yx}(l_{c},\lambda_{\infty},N)\propto N^{-1} and extrapolated for NN\rightarrow\infty. In the right panel of Fig. 3 we show the fitted LSHC σ¯yxz(lc,λ,N)=a0+a1/N\overline{\sigma}^{z}_{yx}(l_{c},\lambda_{\infty},N)=a_{0}+a_{1}/N as a full magenta line and the extrapolated value σ¯yxz(lc,λ,N)=\overline{\sigma}^{z}_{yx}(l_{c},\lambda_{\infty},N_{\infty})= 0.59 e/(2π2\pi). This value shows a relative error of 3%\sim 3\% with respect to the bulk value, which confirms the validity of the LSHC formulas also for metals.

III.4 LSHC of heterostructures

Finally, we test our local approach on a nanoribbon composed of two different parts. First, we construct an insulator / insulator heterostructure, with one part being described by the Kane-Mele Hamiltonian with the parameters Ep=0E_{p}=0, t=1t=1, λSO=0.3\lambda_{\mathrm{SO}}=0.3, and λR=0.0\lambda_{\mathrm{R}}=0.0, which has a bulk SHC σyxz=\sigma^{z}_{yx}= e/(2π2\pi). The Hamiltonian of the second part is specified by the parameters Ep=0E_{p}=0, t=1t=1, λSO=0.3\lambda_{\mathrm{SO}}=0.3, and λR=0.3\lambda_{\mathrm{R}}=0.3. The bulk SHC is σyxz=\sigma^{z}_{yx}= 1.106 e/(2π2\pi), owing to the nonzero Rashba-term which breaks the spin conservation. The results of the calculation for the nanoribbon geometry (N=84N=84 sites, 50𝒌50\ \bm{k}-points) are shown in the top panel of Fig. 4.

Refer to caption
Refer to caption
Figure 4: LSHC of a heterostructure. Top: Insulator / insulator heterostructure, original LSHC values. Bottom: Insulator / metal heterostructure, averaged LSHC values with different smearing λ\lambda.

The LSHC in the center of each constituent equals the respective bulk SHC values. Averaging the LSHC is not necessary, because of the exponential decay of the ground-state projector, as described in Sec. III.2.

As a second heterostructure we chose an insulator / metal system. The parameters of the insulating part were Ep=0E_{p}=0, t=1t=1, λSO=0.3\lambda_{\mathrm{SO}}=0.3, and λR=0.25\lambda_{\mathrm{R}}=0.25 with a bulk SHC σyxz=\sigma^{z}_{yx}= 1.073 e/(2π2\pi). The metallic part was characterized by the same set of parameters, but the orbitals were shifted energetically down by 0.90.9, so EFE_{\rm F} is located in the conduction bands. The subsystem equals the one in Sec. III.3 and the bulk SHC is σyxz=\sigma^{z}_{yx}= 0.6088 e/(2π2\pi). The nanoribbon was constructed from N=324N=324 sites and we used 500𝒌500\ \bm{k}-points for the integration in the reciprocal space. Since the LSHC values are again strongly oscillating in the metallic region, we applied the averaging given by Eq. (21). We present the results in the bottom panel of Fig. 4, which show a perfect agreement with the bulk SHC for all values of λ\lambda in the insulating part. Following the same extrapolation procedure of the averaged LSHC value in the middle of the metallic region for λ\lambda\rightarrow\infty, we obtain σyxz=\sigma^{z}_{yx}= 0.6107 e/(2π2\pi), which has a relative error of 0.3%0.3\% with respect to the corresponding bulk value.

We thus state that our numerical model calculations fully support the analytical formulas for the LSHC with both OBC and mixed boundary conditions. For insulating systems, the expected bulk SHC value is recovered close to the heterogeneous regions, whereas for metallic systems the convergence with system size is much slower (1/N\sim 1/N for the nanoribbon) and averaging over a sufficiently large region (i.e., choosing large λ\lambda) is necessary. On the other hand, for practical uses, λ\lambda has to be kept small enough to capture the local deviations of the LSHC from the bulk value in inhomogeneous regions.

IV Conclusion

Led by the analogies between the anomalous and spin Hall conductivity, we have derived an expression for a local SHC in two-dimensional materials, starting from the local spin current density. Working in the framework of a bounded finite system, we further checked that performing the thermodynamic limit and assuming an infinitely large unbounded periodic system, our LSHC expression leads to the usual Kubo-formula for SHC. Furthermore, assuming PBC in one direction and keeping the system bounded with OBC in another direction, we derived an expression for the LSHC in the nanoribbon geometry, which is possibly computationally faster and easier parallelizable than the fully bounded system.

In the next step we have applied our analytical results to the Kane-Mele model, which has a finite bulk SHC in both the metallic and insulating regime, owing to its non-trivial topological character. We have shown that for both regimes the LSHC in the central region of a large nanoribbon or flake equals the SHC of a referent bulk system. Whereas the equality of both approaches is achieved rapidly already for small systems in the case of insulators, for metals an averaging procedure over a sufficiently large region and extrapolation to an infinitely large system is necessary. For finite inhomogeneous metallic systems, one thus has to choose a compromise between averaging over a sufficiently large region to suppress the strong oscillations on one side, and averaging over a small enough region to keep the local information.

We expect our results to bring new insight into spintronics phenomena of inhomogeneous systems, such as heterostructures, surfaces, defects, etc. In particular, we propose to use the LSHC to calculate the influence of system inhomogenities to the spin Hall effect, which we assume to alter the bulk values significantly.

Note that first attempt to carry the formalism of the local Chern marker to the context of spin Hall insulators can be found in Ref. Amaricci et al., 2017, where the “local 2\mathbb{Z}_{2} invariant” has been calculated as the spin Chern number, under the assumption that the system Hamiltonian can be separated into distinct spin-up and spin-down subspaces. The original local Chern marker can then be calculated as introduced in Ref. Bianco and Resta, 2011 for each subspace individually, to give the local spin Chern number.

Acknowledgements.
This work was supported by the CRC TRR 227 of Deutsche Forschungsgemeinschaft (DFG) and by the Forschungsstipendium Grant No. RA 3025/1-1 from the DFG (T.R.). We thank Ivo Souza for stimulating discussions.

References