A numerical method for designing topological superconductivity induced by s-wave pairing

**gnan Hu Wuhan National High Magnetic Field Center &\&& School of Physics, Huazhong University of Science and Technology, Wuhan 430074, China    Aiyun Luo Wuhan National High Magnetic Field Center &\&& School of Physics, Huazhong University of Science and Technology, Wuhan 430074, China    Quansheng Wu [email protected] Bei**g National Laboratory for Condensed Matter Physics, and Institute of Physics, Chinese Academy of Sciences, Bei**g 100190, China University of Chinese Academy of Sciences, Bei**g 100049, China    Gang Xu [email protected] Wuhan National High Magnetic Field Center &\&& School of Physics, Huazhong University of Science and Technology, Wuhan 430074, China Institute for Quantum Science and Engineering, Huazhong University of Science and Technology, Wuhan, 430074, China Wuhan Institute of Quantum Technology, Wuhan, 430074, China
Abstract

Topological superconductors, as one of the most important research directions at present, have attracted much attention because of their potential to realize topological quantum computation. However, a universal computational tool based on first-principle calculations for topological superconductivity was not yet fully developed, and eventually significant challenges in predicting topological superconducting materials. In this paper, we develop a numerical method to characterize the superconducting band spectrum and superconducting topological invariants of two-dimensional (2D) slab system from first-principles calculations and implemented in an open-source software WannierTools. The program is performed on many typical models and materials, such as Fu-Kane model, Dirac cone model of topological insulator, Bi2Se3 slab and SnTe slab, to identify its validity. We hope that it would accelerate the discovery of the topological superconductor candidates.

I Introduction

The concept of topological superconductors was formalized in 2000 in a 2D model by Read and Green [1] and in a one-dimensional (1D) model by Kitaev [2]. Both models consider spinless, time-reversal-breaking p-wave pairing for the superconducting state, which gives rise to a non-Abelian Majorana zero mode in the vortex core in the 2D case or at the edge in the 1D case.

As one can see in this history, the interest in topological superconductors are strongly tied to the Majorana fermions that are exotic in that particles are their own antiparticles [3, 4, 5, 6]. It has long been known that Majorana zero mode can be used as qubit in topological quantum computation [7, 8]. More recently, chiral Majorana states (MSs) have also been shown to be usable in topological quantum computation [9]. Therefore, topological superconductors have attracted increasing attention from the academic community [10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22]. The initial system to realize TSC involves the p-wave pairing superconductor (SC) [23, 24, 25, 26, 27]. However, intrinsic p-wave SCs are very rare and MSs have not been clearly distinguished in these systems. In the past decade, many proposals are raised to induce TSC at the surface/interface of the topological materials [28, 29, 30, 31, 32, 33], semiconductors with Rashba spin-orbit coupling (Rashba-SOC) [34, 35, 36, 37, 38, 39], magnetic atom chains [40, 41, 42, 43, 44], or obstructed atomic insulator [45] by the proximity effect with the s-wave SC. The other route is to achieve TSCs in superconducting topological metals that host both topological electronic structures at the Fermi level and superconductivity in one compound, typical of such materials are iron-based superconductors [46, 47, 48, 49, 50, 51, 52].

Refer to caption
Fig. 1: A flow chart of our numerical method to find topological superconductor candidates.

However, experimental confirmation of topological superconductors remains scarce compared to theoretical predictions. A major reason for this is that theoretical predictions of topological superconductors are almost always made based on effective models. This makes it difficult to take into account the complex electronic structures and interactions in real systems in theoretical analyses. In this paper, we develop a numerical method to characterize the superconducting band spectrum and superconducting topological invariants of two-dimensional (2D) slab system from first-principles calculations as implemented in an open-source software WannierTools [53]. This program will greatly increase the degree of conformity between theoretical predictions and experimental confirmation.

The flow of the program is shown in Fig. 1. First, the Wannier function, which accurately describes the electronic structure of the bulk of the topological material, is constructed based on the first-nature principle calculations. Further, the superconducting pair and the applied magnetic field are introduced at the interface of the 2D film to simulate the superconducting proximity effect and magnetic proximity effect, and the corresponding 2D Bogoliubov-de Gennes (BdG) Hamiltonian is constructed. By using this program, a physical platform for realizing 2D chiral topological superconducting phases, i.e., superconductor/topological insulator thin film/ferromagnetic insulator heterojunction (hereafter referred to as SC/TI/FMI), is investigated in this paper.

II Methods

II.1 BdG Hamiltonian in thin film system

A common and convenient method to construct tight-binding (TB) Hamiltonians for real materials is the maximum localized Wannier functions (MLWF)  [54] as implemented in the Wannier90 software package [55], and interfaces are available to a number of first-principles calculation packages, such as VASP, Wien2k, and QE. Wien2k and QE, among others. Therefore, the MLWF Hamiltonian for real materials can be obtained automatically from first-principles calculations. The real-space hop** parameters of electrons in real materials can be obtained from first-principles calculations [54]:

Hmn(𝑹)=𝒲m𝟎|H^KS|𝒲n𝑹subscript𝐻𝑚𝑛𝑹quantum-operator-productsubscript𝒲𝑚0subscript^𝐻𝐾𝑆subscript𝒲𝑛𝑹H_{mn}(\bm{R})=\langle\mathcal{W}_{m\bm{0}}|\hat{H}_{KS}|\mathcal{W}_{n\bm{R}}\rangleitalic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT ( bold_italic_R ) = ⟨ caligraphic_W start_POSTSUBSCRIPT italic_m bold_0 end_POSTSUBSCRIPT | over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_K italic_S end_POSTSUBSCRIPT | caligraphic_W start_POSTSUBSCRIPT italic_n bold_italic_R end_POSTSUBSCRIPT ⟩ (1)

where H^KSsubscript^𝐻𝐾𝑆\hat{H}_{KS}over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_K italic_S end_POSTSUBSCRIPT is the Kohn-Sham (KS) Hamiltonian from first principles calculations, Hmn(R)subscript𝐻𝑚𝑛𝑅H_{mn}(R)italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT ( italic_R ) is the matrix element of the projection of the Kohn-Sham (KS) Hamiltonian onto the MLWF Wannier basis, and R𝑅Ritalic_R is the lattice vector in the crystal. In the atomic position norm, the Fourier transform gives the bulk Hamiltonian:

Hmn(𝒌)=𝑹Hmn(𝑹)ei𝒌𝑹subscript𝐻𝑚𝑛𝒌subscript𝑹subscript𝐻𝑚𝑛𝑹superscript𝑒𝑖𝒌𝑹H_{mn}(\bm{k})=\sum_{\bm{R}}H_{mn}(\bm{R})e^{-i\bm{kR}}italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT ( bold_italic_k ) = ∑ start_POSTSUBSCRIPT bold_italic_R end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT ( bold_italic_R ) italic_e start_POSTSUPERSCRIPT - italic_i bold_italic_k bold_italic_R end_POSTSUPERSCRIPT (2)

In order to calculate the superconducting near-neighbor effect or magnetic near-neighbor effect of SC/TI/FMI, it is necessary to further adopt open boundary conditions to simulate the surface or interface of the material. For convenience, the three-dimensional vector 𝑹𝑹\bm{R}bold_italic_R is divided into the longitudinal vector 𝑹subscript𝑹perpendicular-to\bm{R}_{\perp}bold_italic_R start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT and the transverse vector 𝑹subscript𝑹parallel-to\bm{R}_{\parallel}bold_italic_R start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT. where 𝑹subscript𝑹perpendicular-to\bm{R}_{\perp}bold_italic_R start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT is perpendicular to the material surface and 𝑹subscript𝑹parallel-to\bm{R}_{\parallel}bold_italic_R start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT is parallel to the material surface. After opening the boundary in the 𝑹subscript𝑹perpendicular-to\bm{R}_{\perp}bold_italic_R start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT direction, a two-dimensional film system is formed, where only the in-plane 𝑹subscript𝑹parallel-to\bm{R}_{\parallel}bold_italic_R start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT direction is periodic. In general, the experimentally easy dissociation plane conflicts with the basis vectors of the protocells calculated by first principles, and therefore the basis vectors 𝑹1,2,3subscriptsuperscript𝑹123\bm{R}^{{}^{\prime}}_{1,2,3}bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 , 2 , 3 end_POSTSUBSCRIPT need to be re-selected:

𝑹1=U11𝑹1+U12𝑹2+U13𝑹3𝑹2=U21𝑹1+U22𝑹2+U23𝑹3𝑹3=U31𝑹1+U32𝑹2+U33𝑹3subscriptsuperscript𝑹1subscript𝑈11subscript𝑹1subscript𝑈12subscript𝑹2subscript𝑈13subscript𝑹3subscriptsuperscript𝑹2subscript𝑈21subscript𝑹1subscript𝑈22subscript𝑹2subscript𝑈23subscript𝑹3subscriptsuperscript𝑹3subscript𝑈31subscript𝑹1subscript𝑈32subscript𝑹2subscript𝑈33subscript𝑹3\begin{split}\bm{R}^{{}^{\prime}}_{1}=U_{11}\bm{R}_{1}+U_{12}\bm{R}_{2}+U_{13}% \bm{R}_{3}\\ \bm{R}^{{}^{\prime}}_{2}=U_{21}\bm{R}_{1}+U_{22}\bm{R}_{2}+U_{23}\bm{R}_{3}\\ \bm{R}^{{}^{\prime}}_{3}=U_{31}\bm{R}_{1}+U_{32}\bm{R}_{2}+U_{33}\bm{R}_{3}\\ \end{split}start_ROW start_CELL bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_U start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT bold_italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_U start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT bold_italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_U start_POSTSUBSCRIPT 13 end_POSTSUBSCRIPT bold_italic_R start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_U start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT bold_italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_U start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT bold_italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_U start_POSTSUBSCRIPT 23 end_POSTSUBSCRIPT bold_italic_R start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = italic_U start_POSTSUBSCRIPT 31 end_POSTSUBSCRIPT bold_italic_R start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_U start_POSTSUBSCRIPT 32 end_POSTSUBSCRIPT bold_italic_R start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_U start_POSTSUBSCRIPT 33 end_POSTSUBSCRIPT bold_italic_R start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_CELL end_ROW (3)

where 𝑹1subscriptsuperscript𝑹1\bm{R}^{{}^{\prime}}_{1}bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and 𝑹2subscriptsuperscript𝑹2\bm{R}^{{}^{\prime}}_{2}bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT lattice vectors form 𝑹subscript𝑹parallel-to\bm{R}_{\parallel}bold_italic_R start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT and 𝑹3subscriptsuperscript𝑹3\bm{R}^{{}^{\prime}}_{3}bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT corresponds to the 𝑹subscript𝑹perpendicular-to\bm{R}_{\perp}bold_italic_R start_POSTSUBSCRIPT ⟂ end_POSTSUBSCRIPT direction. With the basis-vector transformation matrix U𝑈Uitalic_U, it is possible to generalize the physical properties of any dissociation surface.

The Hamiltonian of the 2D thin film system can be obtained by taking the open boundary condition in the 𝑹3subscriptsuperscript𝑹3\bm{R}^{{}^{\prime}}_{3}bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT direction and Fourier transforming it:

Hmnslab(𝒌)=𝑹Hmn(𝑹)ei𝒌𝑹superscriptsubscript𝐻𝑚𝑛𝑠𝑙𝑎𝑏subscript𝒌parallel-tosubscriptnormsuperscript𝑹subscript𝐻𝑚𝑛superscript𝑹superscript𝑒𝑖subscript𝒌parallel-tosuperscript𝑹H_{mn}^{slab}(\bm{k}_{\parallel})=\sum_{\parallel\bm{R}^{{}^{\prime}}\parallel% }H_{mn}(\bm{R}^{{}^{\prime}})e^{-i\bm{k}_{\parallel}\bm{R}^{{}^{\prime}}}italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s italic_l italic_a italic_b end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT ∥ bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT ∥ end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT ( bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT ) italic_e start_POSTSUPERSCRIPT - italic_i bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT (4)

where the 𝑹normsuperscript𝑹\parallel\bm{R}^{{}^{\prime}}\parallel∥ bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT ∥ restriction sums only in the direction of the basis vectors 𝑹1subscriptsuperscript𝑹1\bm{R}^{{}^{\prime}}_{1}bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and 𝑹2subscriptsuperscript𝑹2\bm{R}^{{}^{\prime}}_{2}bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, and different 𝑹3subscriptsuperscript𝑹3\bm{R}^{{}^{\prime}}_{3}bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT corresponds to different film layers, constituting the longitudinal dimension of the Hamiltonian of the 2D film. We label the layer index along 𝑹3subscriptsuperscript𝑹3\bm{R}^{{}^{\prime}}_{3}bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT as i, j. When the system has Nssubscript𝑁𝑠N_{s}italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT layers, the matrix form of the Hamiltonian of the 2D film can be written as:

Hmnslab(𝒌)=[Hmn11(𝒌)Hmn12(𝒌)Hmn1Ns(𝒌)Hmn21(𝒌)Hmn22(𝒌)Hmn2Ns(𝒌)HmnNs1(𝒌)HmnNs2(𝒌)HmnNsNs(𝒌)]superscriptsubscript𝐻𝑚𝑛𝑠𝑙𝑎𝑏subscript𝒌parallel-todelimited-[]superscriptsubscript𝐻𝑚𝑛11subscript𝒌parallel-tosuperscriptsubscript𝐻𝑚𝑛12subscript𝒌parallel-tosuperscriptsubscript𝐻𝑚𝑛1subscript𝑁𝑠subscript𝒌parallel-tosuperscriptsubscript𝐻𝑚𝑛21subscript𝒌parallel-tosuperscriptsubscript𝐻𝑚𝑛22subscript𝒌parallel-tosuperscriptsubscript𝐻𝑚𝑛2subscript𝑁𝑠subscript𝒌parallel-tosuperscriptsubscript𝐻𝑚𝑛subscript𝑁𝑠1subscript𝒌parallel-tosuperscriptsubscript𝐻𝑚𝑛subscript𝑁𝑠2subscript𝒌parallel-tosuperscriptsubscript𝐻𝑚𝑛subscript𝑁𝑠subscript𝑁𝑠subscript𝒌parallel-toH_{mn}^{slab}(\bm{k}_{\parallel})=\left[\begin{array}[]{cccc}H_{mn}^{11}(\bm{k% }_{\parallel})&H_{mn}^{12}(\bm{k}_{\parallel})&\cdots&H_{mn}^{1N_{s}}(\bm{k}_{% \parallel})\\ H_{mn}^{21}(\bm{k}_{\parallel})&H_{mn}^{22}(\bm{k}_{\parallel})&\cdots&H_{mn}^% {2N_{s}}(\bm{k}_{\parallel})\\ \vdots&\vdots&\ddots&\vdots\\ H_{mn}^{N_{s}1}(\bm{k}_{\parallel})&H_{mn}^{N_{s}2}(\bm{k}_{\parallel})&\cdots% &H_{mn}^{N_{s}N_{s}}(\bm{k}_{\parallel})\end{array}\right]italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s italic_l italic_a italic_b end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) = [ start_ARRAY start_ROW start_CELL italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 11 end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) end_CELL start_CELL italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 12 end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) end_CELL start_CELL ⋯ end_CELL start_CELL italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) end_CELL end_ROW start_ROW start_CELL italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 21 end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) end_CELL start_CELL italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 22 end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) end_CELL start_CELL ⋯ end_CELL start_CELL italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL start_CELL ⋮ end_CELL start_CELL ⋱ end_CELL start_CELL ⋮ end_CELL end_ROW start_ROW start_CELL italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT 1 end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) end_CELL start_CELL italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT 2 end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) end_CELL start_CELL ⋯ end_CELL start_CELL italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) end_CELL end_ROW end_ARRAY ] (5)

where diagonal matrix elements represent intra-layer (intra-layer) Hamiltonians and non-diagonal matrix elements represent inter-layer (inter-layer) Hamiltonians. The specific form of the matrix element can be written as:

Hmnij(𝒌)=𝑹={𝑹1,𝑹2,(ij)𝑹3}Hmn(𝑹)ei𝒌𝑹superscriptsubscript𝐻𝑚𝑛𝑖𝑗subscript𝒌parallel-tosubscriptsuperscript𝑹subscriptsuperscript𝑹1subscriptsuperscript𝑹2𝑖𝑗subscriptsuperscript𝑹3subscript𝐻𝑚𝑛superscript𝑹superscript𝑒𝑖subscript𝒌parallel-tosuperscript𝑹H_{mn}^{ij}(\bm{k}_{\parallel})=\sum_{\bm{R}^{{}^{\prime}}=\{\bm{R}^{{}^{% \prime}}_{1},\bm{R}^{{}^{\prime}}_{2},(i-j)\bm{R}^{{}^{\prime}}_{3}\}}H_{mn}(% \bm{R}^{{}^{\prime}})e^{-i\bm{k}_{\parallel}\bm{R}^{{}^{\prime}}}italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i italic_j end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT = { bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , ( italic_i - italic_j ) bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT } end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT ( bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT ) italic_e start_POSTSUPERSCRIPT - italic_i bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT bold_italic_R start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT (6)

When atomic-scale exchange coupling due to magnetic proximity effects is present, the Hamiltonian of the surface layer (i = j = Ns) becomes:

HmnNsNs(𝒌,𝑩)=HmnNsNs(𝒌)+𝑩𝝈Iorbitalsuperscriptsubscript𝐻𝑚𝑛subscript𝑁𝑠subscript𝑁𝑠subscript𝒌parallel-to𝑩superscriptsubscript𝐻𝑚𝑛subscript𝑁𝑠subscript𝑁𝑠subscript𝒌parallel-to𝑩𝝈subscript𝐼𝑜𝑟𝑏𝑖𝑡𝑎𝑙H_{mn}^{N_{s}N_{s}}(\bm{k}_{\parallel},\bm{B})=H_{mn}^{N_{s}N_{s}}(\bm{k}_{% \parallel})+\bm{B}\cdot\bm{\sigma}I_{orbital}italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT , bold_italic_B ) = italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT ) + bold_italic_B ⋅ bold_italic_σ italic_I start_POSTSUBSCRIPT italic_o italic_r italic_b italic_i italic_t italic_a italic_l end_POSTSUBSCRIPT (7)

where 𝑩𝑩\bm{B}bold_italic_B is the Zeeman field due to exchange coupling and 𝝈𝝈\bm{\sigma}bold_italic_σ is the Pauli matrix in spin space, and I is the unitary matrix in Wannier orbital space.

Finally, the BdG Hamiltonian of a superconductor-topological insulator film-ferromagnetic insulator heterojunction can be obtained by inducing the superconducting pairing on the top surface into the whole system, taking into account the exchange coupling. In the Numbu representation, this BdG Hamiltonian can be written as:

HBdGslab(k,𝑩)=[Hmnslab(𝒌,𝑩)μΔΔHmnslab(𝒌,𝑩)+μ]superscriptsubscript𝐻𝐵𝑑𝐺𝑠𝑙𝑎𝑏𝑘𝑩delimited-[]superscriptsubscript𝐻𝑚𝑛𝑠𝑙𝑎𝑏subscript𝒌parallel-to𝑩𝜇ΔsuperscriptΔsuperscriptsubscript𝐻𝑚𝑛𝑠𝑙𝑎𝑏subscript𝒌parallel-to𝑩𝜇H_{BdG}^{slab}(k,\bm{B})=\left[\begin{array}[]{cc}H_{mn}^{slab}(\bm{k}_{% \parallel},\bm{B})-\mu&\Delta\\ \Delta^{\dagger}&-H_{mn}^{slab}(\bm{k}_{\parallel},\bm{B})+\mu\end{array}\right]italic_H start_POSTSUBSCRIPT italic_B italic_d italic_G end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s italic_l italic_a italic_b end_POSTSUPERSCRIPT ( italic_k , bold_italic_B ) = [ start_ARRAY start_ROW start_CELL italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s italic_l italic_a italic_b end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT , bold_italic_B ) - italic_μ end_CELL start_CELL roman_Δ end_CELL end_ROW start_ROW start_CELL roman_Δ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT end_CELL start_CELL - italic_H start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s italic_l italic_a italic_b end_POSTSUPERSCRIPT ( bold_italic_k start_POSTSUBSCRIPT ∥ end_POSTSUBSCRIPT , bold_italic_B ) + italic_μ end_CELL end_ROW end_ARRAY ] (8)

where μ𝜇\muitalic_μ is the chemical potential of the system; since this paper focuses on the proximity effects of s-wave superconductors, ΔΔ\Deltaroman_Δ here denotes the intra-orbital s-wave pairing strength.

II.2 Superconducting topological invariant

Theoretically, the topological classification of superconductors has been perfected [56]. As shown in Table 1, superconductors can be categorized into class D and class DIIIIII\rm IIIroman_III based on the presence or absence of time-reversal symmetry. As can be seen from the table, for 2D systems, when the time-reversal symmetry is broken, the system belongs to the Z classification, and the corresponding topological invariant is the Chern number [57]; when the time-reversal symmetry is exists, the system belongs to the Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT classification, and the corresponding topological invariant is the Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT topological number defined by Kane-Mele [58]. In addition, Qi et al. demonstrated that in a superconducting system with both time-reversal and inversion symmetry, s-wave superconducting pairing leads the system into a topologically trivial phase [59].

Table 1: Time-reversal-breaking (TRB) and time-reversal-invariant (TRI) Topological periodic table of superconductors. In the Altland-Zirnbauer classification [56], they belong to categories D and DIIIIII\rm IIIroman_III, respectively.
AZ class TRS PHS 1D 2D 3D
TRB SCs (class D) +1 Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT Z𝑍Zitalic_Z 0
TRI SCs (class DIIIIII\rm IIIroman_III) -1 +1 Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT Z𝑍Zitalic_Z

There are many methods for calculating topological invariants [60, 61, 62, 63], among which the Wannier charge centers (Wilson loop) method [60, 61], which can calculate the Z2subscript𝑍2Z_{2}italic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT topological number of a system as well as the Chern number. In the following, the topological invariants of BdG Hamiltonian are calculated using the Wannier charge centers (Wilson loop) method in the 2D slab system.

In WannierTools, we take the algorithm presented in Refs [60, 64]. The hybrid Wannier functions [65] are defined as:

|nkxly=12π02π𝑑kyeikyly|ψn𝒌BdGket𝑛subscript𝑘𝑥subscript𝑙𝑦12𝜋subscriptsuperscript2𝜋0differential-dsubscript𝑘𝑦superscript𝑒𝑖subscript𝑘𝑦subscript𝑙𝑦ketsuperscriptsubscript𝜓𝑛𝒌𝐵𝑑𝐺|nk_{x}l_{y}\rangle=\frac{1}{2\pi}\int^{2\pi}_{0}dk_{y}e^{-ik_{y}l_{y}}|\psi_{% n\bm{k}}^{BdG}\rangle| italic_n italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ⟩ = divide start_ARG 1 end_ARG start_ARG 2 italic_π end_ARG ∫ start_POSTSUPERSCRIPT 2 italic_π end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_d italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | italic_ψ start_POSTSUBSCRIPT italic_n bold_italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B italic_d italic_G end_POSTSUPERSCRIPT ⟩ (9)

where |ψn𝒌BdGketsuperscriptsubscript𝜓𝑛𝒌𝐵𝑑𝐺|\psi_{n\bm{k}}^{BdG}\rangle| italic_ψ start_POSTSUBSCRIPT italic_n bold_italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B italic_d italic_G end_POSTSUPERSCRIPT ⟩ is the Bloch wave function of BdG Hamiltonian. The hybrid Wannier centers are defined as:

y¯n(kx)=nkx0|y|nkx0=i2πππ𝑑kyun,kx,kyBdG|ky|un,kx,kyBdGsubscript¯𝑦𝑛subscript𝑘𝑥quantum-operator-product𝑛subscript𝑘𝑥0𝑦𝑛subscript𝑘𝑥0𝑖2𝜋subscriptsuperscript𝜋𝜋differential-dsubscript𝑘𝑦quantum-operator-productsuperscriptsubscript𝑢𝑛subscript𝑘𝑥subscript𝑘𝑦𝐵𝑑𝐺subscriptsubscript𝑘𝑦superscriptsubscript𝑢𝑛subscript𝑘𝑥subscript𝑘𝑦𝐵𝑑𝐺\begin{split}\bar{y}_{n}(k_{x})&=\langle nk_{x}0|y|nk_{x}0\rangle\\ &=\frac{i}{2\pi}\int^{\pi}_{\pi}dk_{y}\langle u_{n,k_{x},k_{y}}^{BdG}|\partial% _{k_{y}}|u_{n,k_{x},k_{y}}^{BdG}\rangle\end{split}start_ROW start_CELL over¯ start_ARG italic_y end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ) end_CELL start_CELL = ⟨ italic_n italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT 0 | italic_y | italic_n italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT 0 ⟩ end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = divide start_ARG italic_i end_ARG start_ARG 2 italic_π end_ARG ∫ start_POSTSUPERSCRIPT italic_π end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT italic_d italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ⟨ italic_u start_POSTSUBSCRIPT italic_n , italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B italic_d italic_G end_POSTSUPERSCRIPT | ∂ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_POSTSUBSCRIPT | italic_u start_POSTSUBSCRIPT italic_n , italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B italic_d italic_G end_POSTSUPERSCRIPT ⟩ end_CELL end_ROW (10)

where |un,kx,kyBdGketsuperscriptsubscript𝑢𝑛subscript𝑘𝑥subscript𝑘𝑦𝐵𝑑𝐺|u_{n,k_{x},k_{y}}^{BdG}\rangle| italic_u start_POSTSUBSCRIPT italic_n , italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B italic_d italic_G end_POSTSUPERSCRIPT ⟩ is the periodic part of Bloch function |ψn𝒌BdGketsuperscriptsubscript𝜓𝑛𝒌𝐵𝑑𝐺|\psi_{n\bm{k}}^{BdG}\rangle| italic_ψ start_POSTSUBSCRIPT italic_n bold_italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B italic_d italic_G end_POSTSUPERSCRIPT ⟩. In practice, the integration over kysubscript𝑘𝑦k_{y}italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT is transformed by a summation over the discretized kysubscript𝑘𝑦k_{y}italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT. Eq. 10 can be reformulated using the discretized Berry phase formula [66]:

y¯n(kx)=12πImlnjMmn(j)subscript¯𝑦𝑛subscript𝑘𝑥12𝜋Imsubscriptproduct𝑗superscriptsubscript𝑀𝑚𝑛𝑗\begin{split}\bar{y}_{n}(k_{x})=\frac{1}{2\pi}\mathrm{Im}\ln\prod_{j}M_{mn}^{(% j)}\end{split}start_ROW start_CELL over¯ start_ARG italic_y end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ) = divide start_ARG 1 end_ARG start_ARG 2 italic_π end_ARG roman_Im roman_ln ∏ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_j ) end_POSTSUPERSCRIPT end_CELL end_ROW (11)

where the gauge-dependent overlap matrix Mmn(j)=um,kx,kyiBdG|ky|un,kx,kyi+1BdGsuperscriptsubscript𝑀𝑚𝑛𝑗quantum-operator-productsuperscriptsubscript𝑢𝑚subscript𝑘𝑥subscript𝑘subscript𝑦𝑖𝐵𝑑𝐺subscriptsubscript𝑘𝑦superscriptsubscript𝑢𝑛subscript𝑘𝑥subscript𝑘subscript𝑦𝑖1𝐵𝑑𝐺M_{mn}^{(j)}=\langle u_{m,k_{x},k_{y_{i}}}^{BdG}|\partial_{k_{y}}|u_{n,k_{x},k% _{y_{i+1}}}^{BdG}\rangleitalic_M start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_j ) end_POSTSUPERSCRIPT = ⟨ italic_u start_POSTSUBSCRIPT italic_m , italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT italic_y start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B italic_d italic_G end_POSTSUPERSCRIPT | ∂ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT end_POSTSUBSCRIPT | italic_u start_POSTSUBSCRIPT italic_n , italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT italic_y start_POSTSUBSCRIPT italic_i + 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B italic_d italic_G end_POSTSUPERSCRIPT ⟩ is introduced. However, the summation of the hybrid Wannier centers y¯n(kx)subscript¯𝑦𝑛subscript𝑘𝑥\bar{y}_{n}(k_{x})over¯ start_ARG italic_y end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ) over kxsubscript𝑘𝑥k_{x}italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT is gauge invariant [67]. As shown in Ref. [66, 68], there is another way to obtain y¯n(kx)subscript¯𝑦𝑛subscript𝑘𝑥\bar{y}_{n}(k_{x})over¯ start_ARG italic_y end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ). Firstly, we get the ”unitary part” M(j)~~superscript𝑀𝑗\tilde{M^{(j)}}over~ start_ARG italic_M start_POSTSUPERSCRIPT ( italic_j ) end_POSTSUPERSCRIPT end_ARG of each overlap matrix Mmn(j)superscriptsubscript𝑀𝑚𝑛𝑗M_{mn}^{(j)}italic_M start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_j ) end_POSTSUPERSCRIPT by carrying out the single value decomposition M=VΣW𝑀𝑉Σsuperscript𝑊M=V\Sigma W^{\dagger}italic_M = italic_V roman_Σ italic_W start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT , where V𝑉Vitalic_V and W𝑊Witalic_W are unitary and ΣΣ\Sigmaroman_Σ is real-positive and diagonal. Then we set M(j)~=VW~superscript𝑀𝑗𝑉superscript𝑊\tilde{M^{(j)}}=VW^{\dagger}over~ start_ARG italic_M start_POSTSUPERSCRIPT ( italic_j ) end_POSTSUPERSCRIPT end_ARG = italic_V italic_W start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT. The eigenvalues λnsubscript𝜆𝑛\lambda_{n}italic_λ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT of matrix Λ=jM(j)~Λsubscriptproduct𝑗~superscript𝑀𝑗\Lambda=\prod_{j}\tilde{M^{(j)}}roman_Λ = ∏ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT over~ start_ARG italic_M start_POSTSUPERSCRIPT ( italic_j ) end_POSTSUPERSCRIPT end_ARG are all of unit modulus. The hybrid Wannier centers are defined with the phases of λnsubscript𝜆𝑛\lambda_{n}italic_λ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT eventually

y¯n(kx)=12πImlnλnsubscript¯𝑦𝑛subscript𝑘𝑥12𝜋Imsubscript𝜆𝑛\begin{split}\bar{y}_{n}(k_{x})=\frac{1}{2\pi}\mathrm{Im}\ln\lambda_{n}\end{split}start_ROW start_CELL over¯ start_ARG italic_y end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ) = divide start_ARG 1 end_ARG start_ARG 2 italic_π end_ARG roman_Im roman_ln italic_λ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_CELL end_ROW (12)

We can get the topological properties of 2D system from the evolution of y¯n(kx)subscript¯𝑦𝑛subscript𝑘𝑥\bar{y}_{n}(k_{x})over¯ start_ARG italic_y end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ) along a kxsubscript𝑘𝑥k_{x}italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT string. The details of such classification of Wannier charge centers or Wilson loop are discussed in Refs. [60, 61, 68]. More information can be found in Ref. [64].

In our program, the positions of the atoms in the slab system are in Cartesian coordinates, and the positions of the particles and holes are assumed to correspond one-to-one. In addition, the number of occupied BdG bands is always half the total number of BdG bands, so we always compute the wilson loop for half the total number of BdG bands.

II.3 Proposals to induce TSC by s-wave SC

II.3.1 Fu-kane’s proposal

Due to the superconducting proximity effect, the Bogoliubov-de Gennes (BdG) Hamiltonian at the interface of a 3D strong topological insulator and an s-wave superconductor can be written as [28]:

Hinterface(k)=kxτ0σx+kyτzσyμτzσ0+Δτyσysubscript𝐻𝑖𝑛𝑡𝑒𝑟𝑓𝑎𝑐𝑒𝑘subscript𝑘𝑥subscript𝜏0subscript𝜎𝑥subscript𝑘𝑦subscript𝜏𝑧subscript𝜎𝑦𝜇subscript𝜏𝑧subscript𝜎0Δsubscript𝜏𝑦subscript𝜎𝑦H_{interface}(k)=k_{x}\tau_{0}\sigma_{x}+k_{y}\tau_{z}\sigma_{y}-\mu\tau_{z}% \sigma_{0}+\Delta\tau_{y}\sigma_{y}italic_H start_POSTSUBSCRIPT italic_i italic_n italic_t italic_e italic_r italic_f italic_a italic_c italic_e end_POSTSUBSCRIPT ( italic_k ) = italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT - italic_μ italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + roman_Δ italic_τ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT (13)

This Hamiltonian is written in the Nambu basis (c,k,c,k,c,k,c,k)superscriptsubscript𝑐𝑘superscriptsubscript𝑐𝑘subscript𝑐𝑘subscript𝑐𝑘(c_{\uparrow,k}^{\dagger},c_{\downarrow,k}^{\dagger},c_{\uparrow,-k},c_{% \downarrow,-k})( italic_c start_POSTSUBSCRIPT ↑ , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT , italic_c start_POSTSUBSCRIPT ↓ , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT , italic_c start_POSTSUBSCRIPT ↑ , - italic_k end_POSTSUBSCRIPT , italic_c start_POSTSUBSCRIPT ↓ , - italic_k end_POSTSUBSCRIPT ), where τ𝜏\tauitalic_τ and σ𝜎\sigmaitalic_σ represent the Pauli matrix of particle-hole space and spin space respectively, μ𝜇\muitalic_μ represents the chemical potential and ΔΔ\Deltaroman_Δ represents the superconducting pairing strength. Take the gauge transformation ak=c,k+eiθkc,ksubscript𝑎𝑘subscript𝑐𝑘superscript𝑒𝑖subscript𝜃𝑘subscript𝑐𝑘a_{k}=c_{\uparrow,k}+e^{i\theta_{k}}c_{\downarrow,k}italic_a start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = italic_c start_POSTSUBSCRIPT ↑ , italic_k end_POSTSUBSCRIPT + italic_e start_POSTSUPERSCRIPT italic_i italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT ↓ , italic_k end_POSTSUBSCRIPT of this Hamiltonian. Where θksubscript𝜃𝑘\theta_{k}italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is defined by |k|(cosθk,sinθk)=(kx,ky)𝑘𝑐𝑜𝑠subscript𝜃𝑘𝑠𝑖𝑛subscript𝜃𝑘subscript𝑘𝑥subscript𝑘𝑦|k|(cos\theta_{k},sin\theta_{k})=(k_{x},k_{y})| italic_k | ( italic_c italic_o italic_s italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , italic_s italic_i italic_n italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) = ( italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ), a effective p+ip-wave pairing can be obtained:

Heffpx+ipy(k)=[|k|μ00Δeiθk0|k|μΔeiθk00Δeiθk|k|+μ0Δeiθk00|k|+μ]superscriptsubscript𝐻𝑒𝑓𝑓subscript𝑝𝑥𝑖𝑝𝑦𝑘delimited-[]𝑘𝜇00Δsuperscript𝑒𝑖subscript𝜃𝑘0𝑘𝜇Δsuperscript𝑒𝑖subscript𝜃𝑘00Δsuperscript𝑒𝑖subscript𝜃𝑘𝑘𝜇0Δsuperscript𝑒𝑖subscript𝜃𝑘00𝑘𝜇H_{eff}^{p_{x}+ipy}(k)=\left[\begin{array}[]{cccc}-|k|-\mu&0&0&-\Delta e^{i% \theta_{k}}\\ 0&|k|-\mu&\Delta e^{i\theta_{k}}&0\\ 0&\Delta e^{-i\theta_{k}}&-|k|+\mu&0\\ -\Delta e^{-i\theta_{k}}&0&0&|k|+\mu\end{array}\right]italic_H start_POSTSUBSCRIPT italic_e italic_f italic_f end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_i italic_p italic_y end_POSTSUPERSCRIPT ( italic_k ) = [ start_ARRAY start_ROW start_CELL - | italic_k | - italic_μ end_CELL start_CELL 0 end_CELL start_CELL 0 end_CELL start_CELL - roman_Δ italic_e start_POSTSUPERSCRIPT italic_i italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL | italic_k | - italic_μ end_CELL start_CELL roman_Δ italic_e start_POSTSUPERSCRIPT italic_i italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL roman_Δ italic_e start_POSTSUPERSCRIPT - italic_i italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_CELL start_CELL - | italic_k | + italic_μ end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL - roman_Δ italic_e start_POSTSUPERSCRIPT - italic_i italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_CELL start_CELL 0 end_CELL start_CELL 0 end_CELL start_CELL | italic_k | + italic_μ end_CELL end_ROW end_ARRAY ] (14)

The physical meaning of this process is to treat ΔΔ\Deltaroman_Δ as a perturbation and project the Hamiltonian onto an eigenstate without the perturbation. However, an important difference between this Hamiltonian and p+ip-wave superconductors is that the Hamiltonian still has time-inversion symmetry, so the chiral boundary state of p+ip-wave superconductivity is forbidden in this system. This can also be seen from the dispersion of this Hamiltonian, which is: E=±(±|k|μ)2+Δ2𝐸plus-or-minussuperscriptplus-or-minus𝑘𝜇2superscriptΔ2E=\pm\sqrt{(\pm|k|-\mu)^{2}+\Delta^{2}}italic_E = ± square-root start_ARG ( ± | italic_k | - italic_μ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG. It always has a gap, so there is no topology in the system. When the Zeman field Mzτzσzsubscript𝑀𝑧subscript𝜏𝑧subscript𝜎𝑧M_{z}\tau_{z}\sigma_{z}italic_M start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT is added to the system to break time-inversion symmetry (for simplicity, let μ=0𝜇0\mu=0italic_μ = 0), the dispersion becomes E=±|k|2+(Mz±Δ)2𝐸plus-or-minussuperscript𝑘2superscriptplus-or-minussubscript𝑀𝑧Δ2E=\pm\sqrt{|k|^{2}+(M_{z}\pm\Delta)^{2}}italic_E = ± square-root start_ARG | italic_k | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_M start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ± roman_Δ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG. It can be seen that topological phases can exist in this systems that belong to class D, and this topological phase can be characterized by the Chern number [69]. The condition for the phase transition is that |Bz|>μ2+Δ2subscript𝐵𝑧superscript𝜇2superscriptΔ2|B_{z}|>\sqrt{\mu^{2}+\Delta^{2}}| italic_B start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT | > square-root start_ARG italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG.

In the Fu-kane’s proposal, we assume that the superconducting proximity effect can introduce equal superconducting pairings throughout the film system. In addition, the Fu-kane’s proposal can also be extended to 2D systems with Rashba Spin-orbit coupling (SOC) [70].

II.3.2 Nagaosa’s proposal

Consider a superconductor-TI film-ferromagnet heterostructure as shown in the Fig.2 [32]:

Refer to caption
Fig. 2: Nagaosa’s proposal

Since the low-energy physics of this system is determined by the two Dirac surface states of TI, the BdG Hamiltonian of the system under the Nambu basis (ct,k,ct,k,cb,k,cb,k,ct,k,ct,k,ct,k,ct,k)superscriptsubscript𝑐𝑡𝑘superscriptsubscript𝑐𝑡𝑘superscriptsubscript𝑐𝑏𝑘superscriptsubscript𝑐𝑏𝑘subscript𝑐𝑡𝑘subscript𝑐𝑡𝑘subscript𝑐𝑡𝑘subscript𝑐𝑡𝑘(c_{t\uparrow,k}^{\dagger},c_{t\downarrow,k}^{\dagger},c_{b\uparrow,k}^{% \dagger},c_{b\downarrow,k}^{\dagger},c_{t\uparrow,-k},c_{t\downarrow,-k},c_{t% \uparrow,-k},c_{t\downarrow,-k})( italic_c start_POSTSUBSCRIPT italic_t ↑ , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT , italic_c start_POSTSUBSCRIPT italic_t ↓ , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT , italic_c start_POSTSUBSCRIPT italic_b ↑ , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT , italic_c start_POSTSUBSCRIPT italic_b ↓ , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT , italic_c start_POSTSUBSCRIPT italic_t ↑ , - italic_k end_POSTSUBSCRIPT , italic_c start_POSTSUBSCRIPT italic_t ↓ , - italic_k end_POSTSUBSCRIPT , italic_c start_POSTSUBSCRIPT italic_t ↑ , - italic_k end_POSTSUBSCRIPT , italic_c start_POSTSUBSCRIPT italic_t ↓ , - italic_k end_POSTSUBSCRIPT ) is:

Htwosurface(k)=v(kxσyτzkyσxτ0)sz+tcσ0sxτz+Mzσzτzszs02+Δσyτysz+s02σ0(μs0+δEsz)τzsubscript𝐻𝑡𝑤𝑜𝑠𝑢𝑟𝑓𝑎𝑐𝑒𝑘𝑣subscript𝑘𝑥subscript𝜎𝑦subscript𝜏𝑧subscript𝑘𝑦subscript𝜎𝑥subscript𝜏0subscript𝑠𝑧subscript𝑡𝑐subscript𝜎0subscript𝑠𝑥subscript𝜏𝑧subscript𝑀𝑧subscript𝜎𝑧subscript𝜏𝑧subscript𝑠𝑧subscript𝑠02Δsubscript𝜎𝑦subscript𝜏𝑦subscript𝑠𝑧subscript𝑠02subscript𝜎0𝜇subscript𝑠0𝛿𝐸subscript𝑠𝑧subscript𝜏𝑧\begin{split}H_{twosurface}(k)=&v(k_{x}\sigma_{y}\tau_{z}-k_{y}\sigma_{x}\tau_% {0})s_{z}+t_{c}\sigma_{0}s_{x}\tau_{z}\\ &+M_{z}\sigma_{z}\tau_{z}\frac{s_{z}-s_{0}}{2}+\Delta\sigma_{y}\tau_{y}\frac{s% _{z}+s_{0}}{2}\\ &-\sigma_{0}(\mu s_{0}+\delta Es_{z})\tau_{z}\end{split}start_ROW start_CELL italic_H start_POSTSUBSCRIPT italic_t italic_w italic_o italic_s italic_u italic_r italic_f italic_a italic_c italic_e end_POSTSUBSCRIPT ( italic_k ) = end_CELL start_CELL italic_v ( italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT - italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) italic_s start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT + italic_t start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL + italic_M start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT divide start_ARG italic_s start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT - italic_s start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG + roman_Δ italic_σ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT divide start_ARG italic_s start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT + italic_s start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL - italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_μ italic_s start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_δ italic_E italic_s start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT end_CELL end_ROW (15)

τ𝜏\tauitalic_τ, σ𝜎\sigmaitalic_σ, and s𝑠sitalic_s represent the Pauli matrix of particle-hole space, spin space, top and bottom space, respectively. Mzsubscript𝑀𝑧M_{z}italic_M start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT represents the Zeeman field, ΔΔ\Deltaroman_Δ represents the s-wave superconducting pairing strength, tcsubscript𝑡𝑐t_{c}italic_t start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT represents the coupling between the top and bottom surfaces, μ𝜇\muitalic_μ represents the chemical potential, and δE𝛿𝐸\delta Eitalic_δ italic_E represents the energy difference between the upper and lower surfaces. It can be seen that this Hamiltonian describes the interface between two Dirac cones with different mass terms (ΔΔ\Deltaroman_Δ on top and Mzsubscript𝑀𝑧M_{z}italic_M start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT on bottom), which is a chiral topological superconducting state according to the criteria in [71].

Let’s briefly analyze the topological properties of this system. After ignoring tcsubscript𝑡𝑐t_{c}italic_t start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPTand δE𝛿𝐸\delta Eitalic_δ italic_E, the Hamiltonian Htwosurface(k)subscript𝐻𝑡𝑤𝑜𝑠𝑢𝑟𝑓𝑎𝑐𝑒𝑘H_{twosurface}(k)italic_H start_POSTSUBSCRIPT italic_t italic_w italic_o italic_s italic_u italic_r italic_f italic_a italic_c italic_e end_POSTSUBSCRIPT ( italic_k ) becomes block diagonalized, and it is pointed out in the Fu-kane’s proposal that the top surface without Zeeman field is Topological trivial. In this case, the topological properties of the system are completely determined by the bottom surface, which is:

Hbottom(k)=kxτ0σx+kyτzσyμτzσ0+Mzτzσzsubscript𝐻𝑏𝑜𝑡𝑡𝑜𝑚𝑘subscript𝑘𝑥subscript𝜏0subscript𝜎𝑥subscript𝑘𝑦subscript𝜏𝑧subscript𝜎𝑦𝜇subscript𝜏𝑧subscript𝜎0subscript𝑀𝑧subscript𝜏𝑧subscript𝜎𝑧H_{bottom}(k)=k_{x}\tau_{0}\sigma_{x}+k_{y}\tau_{z}\sigma_{y}-\mu\tau_{z}% \sigma_{0}+M_{z}\tau_{z}\sigma_{z}italic_H start_POSTSUBSCRIPT italic_b italic_o italic_t italic_t italic_o italic_m end_POSTSUBSCRIPT ( italic_k ) = italic_k start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_k start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT - italic_μ italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_M start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT (16)

This is also a block diagonal Hamiltonian corresponding to two Dirac Hamiltonians with opposite helicity and opposite masses. That is, if Mzsubscript𝑀𝑧M_{z}italic_M start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT is not 0, the system must be topological (one of the two Dirac Hamiltonians must be topological), and the topological property is determined by the mass term (that is, Mzsubscript𝑀𝑧M_{z}italic_M start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT). In addition, tcsubscript𝑡𝑐t_{c}italic_t start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT and δE𝛿𝐸\delta Eitalic_δ italic_E can be regarded as perturbations to the Hamiltonian Hbottom(k)subscript𝐻𝑏𝑜𝑡𝑡𝑜𝑚𝑘H_{bottom}(k)italic_H start_POSTSUBSCRIPT italic_b italic_o italic_t italic_t italic_o italic_m end_POSTSUBSCRIPT ( italic_k ), which are small in general topological insulators. As long as the perturbation is insignificant relative to the mass term Mzsubscript𝑀𝑧M_{z}italic_M start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT, it does not change the topological properties of the system.

In the Nagaosa’s proposal, we assume that the superconducting proximity effect introduces superconducting pairings only in the TI surface.

III Examples

III.1 TI model

Refer to caption
Fig. 3: a,b,c: Slab band structures, BdG band spectrum, and the wilson spectrum of the BdG Hamiltonian in Fu-kane’s proposal of TI model. d,e,f: Slab band structures, BdG band spectrum, and the wilson loop spectrum of the BdG Hamiltonian in Nagaosa’s proposal of TI model.
Refer to caption
Fig. 4: a: Bulk band structures of TI model. b: Band structures of 10 layers slab of TI model.

Before calculating the real material, we numerically calculate and analyze the BdG Hamiltonian quantities for the TI tight-binding model. These numerical results are useful to establish a clear physical picture and also to verify the correctness of the program.

The model is built on a simple cubic lattice with two orbitals per primitive cell:

HTI(k)=m(k)τzσ0+τx𝒅(𝒌)𝝈subscript𝐻TI𝑘𝑚𝑘subscript𝜏𝑧subscript𝜎0subscript𝜏𝑥𝒅𝒌𝝈H_{\mathrm{TI}}(k)=m(k)\tau_{z}\sigma_{0}+\tau_{x}\bm{d(k)}\cdot\bm{\sigma}italic_H start_POSTSUBSCRIPT roman_TI end_POSTSUBSCRIPT ( italic_k ) = italic_m ( italic_k ) italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_τ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT bold_italic_d bold_( bold_italic_k bold_) ⋅ bold_italic_σ (17)

where τ𝜏\tauitalic_τ (σ𝜎\sigmaitalic_σ) are Pauli matrices in the orbital (spin) space, m(k)=M+m0icos(ki),d(k)i=2tsinki,i=x,y,zformulae-sequence𝑚𝑘𝑀subscript𝑚0subscript𝑖subscript𝑘𝑖formulae-sequence𝑑superscript𝑘𝑖2𝑡subscript𝑘𝑖𝑖𝑥𝑦𝑧m(k)=M+m_{0}\sum_{i}\cos(k_{i}),d(k)^{i}=2t\sin{k_{i}},i=x,y,zitalic_m ( italic_k ) = italic_M + italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT roman_cos ( italic_k start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) , italic_d ( italic_k ) start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT = 2 italic_t roman_sin italic_k start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_i = italic_x , italic_y , italic_z, and t𝑡titalic_t, m0subscript𝑚0m_{0}italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, and M𝑀Mitalic_M are parameters of the model. The model is in the strong TI phase if 3<Mm0<13𝑀subscript𝑚01-3<\frac{M}{m_{0}}<-1- 3 < divide start_ARG italic_M end_ARG start_ARG italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG < - 1. Throughout the calculations in this paper, we have used the parameter t=0.5𝑡0.5t=0.5italic_t = 0.5, M=2.5𝑀2.5M=2.5italic_M = 2.5, m0=1subscript𝑚01m_{0}=-1italic_m start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = - 1. Its bulk band spectrum is shown in Fig. 4 a. A 2D film system with 10 layers was constructed by opening the boundary in the (001) direction, and the calculated band spectrum is shown in Fig. 4 b.

This section investigates the topological superconducting properties of this slab Hamiltonian by bringing it into Eq. , considering the magnetic proximity effect and the superconducting pairing forms corresponding to the two schemes in Section II.3.

In the Fu-kane’s proposal, we take the superconducting pairing Δ=0.1eVΔ0.1𝑒𝑉\Delta=0.1eVroman_Δ = 0.1 italic_e italic_V and the Zeeman field Bz=0.2eVsubscript𝐵𝑧0.2𝑒𝑉B_{z}=0.2eVitalic_B start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = 0.2 italic_e italic_V. And in the Nagaosa’s proposal, we take Δ=0.1eVΔ0.1𝑒𝑉\Delta=0.1eVroman_Δ = 0.1 italic_e italic_V and Bz=0.1eVsubscript𝐵𝑧0.1𝑒𝑉B_{z}=0.1eVitalic_B start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = 0.1 italic_e italic_V.

In Fig. 3 a,b,c, we can see that Fu-kane’s proposal does realize a topological superconducting state with Chern number 1 when Bz>Δsubscript𝐵𝑧ΔB_{z}>\Deltaitalic_B start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT > roman_Δ. Which is in accordance with the expected. And in Fig. 3 d,e,f, we can see that Nagaosa’s proposal also realize a topological superconducting state with Chern number 1 even Bz=Δsubscript𝐵𝑧ΔB_{z}=\Deltaitalic_B start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = roman_Δ. As mentioned in Section II.3, as long as the coupling between the top and bottom surfaces is negligible with respect to Bzsubscript𝐵𝑧B_{z}italic_B start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT, the topological superconducting can be realized.

III.2 Bi2Se3

Refer to caption
Fig. 5: a,b,c: Slab band structures, BdG band spectrum, and the wilson spectrum of the BdG Hamiltonian in Fu-kane’s proposal of Bi2Se3. d,e,f: Slab band structures, BdG band spectrum, and the wilson loop spectrum of the BdG Hamiltonian in Nagaosa’s proposal of Bi2Se3.
Refer to caption
Fig. 6: a: Bulk band structures of Bi2Se3. b: Band structures of 10 layers slab of Bi2Se3.

In this section, we will demonstrate the ability of the program to analyze topological superconductivity in real material systems, using Bi2Se3 as an example. Bi2Se3 is a topological insulator. We have obtained the TB model for the p-orbitals of Bi and Se atoms using Wannier90, based on first-principles calculations. its bulk band spectrum and the 10-layer slab band spectrum in the [001] direction obtained by this TB model are shown in Fig. 6 a, b, with the Dirac cone appearing in the middle of the bulk energy gap [72].

Bringing the TB Hamiltonian of Bi2Se3 into Eq. 4 by taking Ns=10 and considering the effects of superconducting proximity effects and magnetic proximity effects, the BdG Hamiltonian of the 10-layer Bi2Se3 is obtained.

In the Fu-kane’s proposal, we take the superconducting pairing Δ=0.1eVΔ0.1𝑒𝑉\Delta=0.1eVroman_Δ = 0.1 italic_e italic_V and the Zeeman field Bz=0.4eVsubscript𝐵𝑧0.4𝑒𝑉B_{z}=0.4eVitalic_B start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = 0.4 italic_e italic_V. And in the Nagaosa’s proposal, we take Δ=0.1eVΔ0.1𝑒𝑉\Delta=0.1eVroman_Δ = 0.1 italic_e italic_V and Bz=0.1eVsubscript𝐵𝑧0.1𝑒𝑉B_{z}=0.1eVitalic_B start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = 0.1 italic_e italic_V.

In Fig. 5 a,b,c, we can see that Fu-kane’s proposal does realize a topological superconducting state with Chern number -1 when Bz>Δsubscript𝐵𝑧ΔB_{z}>\Deltaitalic_B start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT > roman_Δ. The Bzsubscript𝐵𝑧B_{z}italic_B start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT required to realize the topological phase here is larger than in the TI model, this is because the topological surface states in real materials are less localized than in the model, so the effective Zeeman field on the surface states is less than Bzsubscript𝐵𝑧B_{z}italic_B start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT. And in Fig. 5 d,e,f, we can see that Nagaosa’s proposal also realize a topological superconducting state with Chern number -1 even Bz=Δsubscript𝐵𝑧ΔB_{z}=\Deltaitalic_B start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = roman_Δ. This indicates that the coupling between the top and bottom surfaces is still small.

III.3 SnTe

Refer to caption
Fig. 7: a,b,c: Slab band structures, BdG band spectrum, and the wilson spectrum of the BdG Hamiltonian in Fu-kane’s proposal of SnTe. d,e,f: Slab band structures, BdG band spectrum, and the wilson loop spectrum of the BdG Hamiltonian in Nagaosa’s proposal of SnTe.
Refer to caption
Fig. 8: a: Bulk band structures of SnTe. b: Band structures of 10 layers slab of SnTe.
Refer to caption
Fig. 9: a: The wilson spectrum of the BdG Hamiltonian in Fu-kane’s proposal of SnTe. b: The wilson spectrum of the BdG Hamiltonian in Nagaosa’s proposal of SnTe.

From the calculations in the previous two subsections, we have determined that Dirac cone surface states can be used to construct 2D chiral topological superconductors. Next, we will use WannierTools to explore whether systems with multiple surface Dirac cones can realize 2D topological superconductors with high Chern numbers, using SnTe as an example.

SnTe is a topological crystal insulator protected by mirror symmetry with four Dirac cone surface states protected by crystal symmetry on its [001] surface [73]. We have obtained the TB model for the p-orbitals of Sn and Te atoms using Wannier90, based on first-principles calculations. The bulk band spectrum and the 40-layer slab band spectrum in the [001] direction obtained by this TB model are shown in Fig. 8.

In the Fu-kane’s proposal, we take the superconducting pairing Δ=0.01eVΔ0.01𝑒𝑉\Delta=0.01eVroman_Δ = 0.01 italic_e italic_V and the Zeeman field Bz=0.2eVsubscript𝐵𝑧0.2𝑒𝑉B_{z}=0.2eVitalic_B start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = 0.2 italic_e italic_V. The reason for setting ΔΔ\Deltaroman_Δ small here is that the bulk energy gap of SnTe is small and the surface states are less localized, so the energy scale needs to be carefully chosen to avoid interference from the bulk states. In the Nagaosa’s proposal, we take Δ=0.1eVΔ0.1𝑒𝑉\Delta=0.1eVroman_Δ = 0.1 italic_e italic_V and Bz=0.1eVsubscript𝐵𝑧0.1𝑒𝑉B_{z}=0.1eVitalic_B start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = 0.1 italic_e italic_V.

In Fig. 7 a,b,c, we can see that Fu-kane’s proposal does realize a topological superconducting state with Chern number -4. And in Fig. 7 d,e,f, we can see that Nagaosa’s proposal also realize a topological superconducting state with Chern number -4 even. This indicates that the coupling between the top and bottom surfaces is still small.

Since it is inevitable to set both Dirac cones in the same integration path when calculating the wilson loop spectrum, the wilson loop spectrum of SnTe is very steep near this overlap** path. We can zoom in on the wilson loop spectrum near the ΓΓ\Gammaroman_Γ point as shown in Fig. 9 a, b. This will clearly distinguish that the Chern number of the system is indeed -4.

This is an expected result, as the system has no time-reversal symmetry, so the four surface Dirac cones are related only by a fourfold rotational symmetry. Thus, these four Dirac cones should provide equal Berry curvature, resulting in a fourfold Chern number.

IV Conclusions

In conclusion, we developed a program [74] to compute the superconducting BdG spectrum and the superconducting topological invariants of two-dimensional systems. We show how it can be used to analyze topological superconducting properties in the SC/TI/FMI heterostructures. As one of the examples, we demonstrate that SnTe can be used to construct chiral topological superconductors with high Chern number. These results verify the validity and rationality of the program, which will play the role of first-principles calculations in the design and prediction of topological superconductors, and provide theoretical support for the enrichment of candidate materials for topological superconductors. On the other hand, the computational procedure can be extended to study other topological superconducting systems, such as magnetic topological insulator/superconductor heterojunctions, superconductor/ferromagnetic insulator heterostructures, and superconductor/topological insulator/superconductor heterojunctions.

V Acknowledgments

This work was supported by the National Key R&D Program of China (Grant No. 2023YFA1607400), the National Natural Science Foundation of China (Grant No. 12274154, 12274436), the Science Center of the National Natural Science Foundation of China (Grant No. 12188101) and the Center for Materials Genome, China.

References

  • Read and Green [2000] N. Read and D. Green, Physical Review B 61, 10267 (2000).
  • Kitaev [2001] A. Y. Kitaev, Physics-uspekhi 44, 131 (2001).
  • Majorana [1937] E. Majorana, Il Nuovo Cimento (1924-1942) 14, 171 (1937).
  • Alicea [2012] J. Alicea, Reports on progress in physics 75, 076501 (2012).
  • Beenakker [2013] C. Beenakker, Annu. Rev. Condens. Matter Phys. 4, 113 (2013).
  • Sato and Fujimoto [2016] M. Sato and S. Fujimoto, Journal of the Physical Society of Japan 85, 072001 (2016).
  • Bravyi and Kitaev [2002] S. B. Bravyi and A. Y. Kitaev, Annals of Physics 298, 210 (2002).
  • Fan et al. [2006] H.-Y. Fan, H.-L. Lu, and Y. Fan, Annals of Physics 321, 480 (2006).
  • Lian et al. [2018] B. Lian, X.-Q. Sun, A. Vaezi, X.-L. Qi, and S.-C. Zhang, Proceedings of the National Academy of Sciences 115, 10938 (2018).
  • Ivanov [2001] D. A. Ivanov, Physical review letters 86, 268 (2001).
  • Sau et al. [2011] J. D. Sau, D. J. Clarke, and S. Tewari, Phys. Rev. B 84, 094505 (2011).
  • Zhang et al. [2013] F. Zhang, C. Kane, and E. Mele, Physical review letters 111, 056402 (2013).
  • Yang et al. [2014] S. A. Yang, H. Pan, and F. Zhang, Physical review letters 113, 046401 (2014).
  • Xu et al. [2014] G. Xu, J. Wang, B. Yan, and X.-L. Qi, Physical Review B 90, 100505 (2014).
  • Kawakami and Hu [2015] T. Kawakami and X. Hu, Physical Review Letters 115, 177001 (2015).
  • Wang et al. [2018] Q. Wang, C.-C. Liu, Y.-M. Lu, and F. Zhang, Physical review letters 121, 186801 (2018).
  • Zhang et al. [2019a] R.-X. Zhang, W. S. Cole, and S. D. Sarma, Physical Review Letters 122, 187001 (2019a).
  • Zhang et al. [2019b] R.-X. Zhang, W. S. Cole, X. Wu, and S. D. Sarma, Physical review letters 123, 167001 (2019b).
  • Zhang and Sarma [2021] R.-X. Zhang and S. D. Sarma, Physical Review Letters 126, 137001 (2021).
  • Zou et al. [2021] J. Zou, Q. Xie, Z. Song, and G. Xu, National science review 8, nwaa169 (2021).
  • Giwa and Hosur [2021] R. Giwa and P. Hosur, Physical Review Letters 127, 187002 (2021).
  • Margalit et al. [2022] G. Margalit, B. Yan, M. Franz, and Y. Oreg, Physical Review B 106, 205424 (2022).
  • Maeno et al. [1994] Y. Maeno, H. Hashimoto, K. Yoshida, S. Nishizaki, T. Fujita, J. Bednorz, and F. Lichtenberg, nature 372, 532 (1994).
  • Nelson et al. [2004] K. Nelson, Z. Mao, Y. Maeno, and Y. Liu, Science 306, 1151 (2004).
  • Hor et al. [2010] Y. S. Hor, A. J. Williams, J. G. Checkelsky, P. Roushan, J. Seo, Q. Xu, H. W. Zandbergen, A. Yazdani, N. P. Ong, and R. J. Cava, Phys. Rev. Lett. 104, 057001 (2010).
  • Jiao et al. [2020] L. Jiao, S. Howard, S. Ran, Z. Wang, J. O. Rodriguez, M. Sigrist, Z. Wang, N. P. Butch, and V. Madhavan, Nature 579, 523 (2020).
  • Li and Yan [2021] B.-X. Li and Z. Yan, Physical Review B 103, 064512 (2021).
  • Fu and Kane [2008] L. Fu and C. L. Kane, Physical review letters 100, 096407 (2008).
  • Hosur et al. [2011] P. Hosur, P. Ghaemi, R. S. Mong, and A. Vishwanath, Physical review letters 107, 097001 (2011).
  • Peng and Xu [2019] Y. Peng and Y. Xu, Physical Review B 99, 195431 (2019).
  • Pan et al. [2019] X.-H. Pan, K.-J. Yang, L. Chen, G. Xu, C.-X. Liu, and X. Liu, Physical review letters 123, 156801 (2019).
  • He et al. [2019] J. J. He, T. Liang, Y. Tanaka, and N. Nagaosa, Communications Physics 2, 149 (2019).
  • Liu et al. [2022] W. Liu, A. Luo, G. Zhong, J. Zou, and G. Xu, Physical Review Research 4, 023127 (2022).
  • Sato et al. [2009] M. Sato, Y. Takahashi, and S. Fujimoto, Physical review letters 103, 020401 (2009).
  • Lutchyn et al. [2010] R. M. Lutchyn, J. D. Sau, and S. D. Sarma, Physical review letters 105, 077001 (2010).
  • Oreg et al. [2010] Y. Oreg, G. Refael, and F. Von Oppen, Physical review letters 105, 177002 (2010).
  • Sau et al. [2010] J. D. Sau, R. M. Lutchyn, S. Tewari, and S. D. Sarma, Physical review letters 104, 040502 (2010).
  • Alicea [2010] J. Alicea, Physical Review B 81, 125318 (2010).
  • Stanescu et al. [2011] T. D. Stanescu, R. M. Lutchyn, and S. D. Sarma, Physical Review B 84, 144522 (2011).
  • Nadj-Perge et al. [2013] S. Nadj-Perge, I. Drozdov, B. A. Bernevig, and A. Yazdani, Physical Review B 88, 020407 (2013).
  • Klinovaja et al. [2013] J. Klinovaja, P. Stano, A. Yazdani, and D. Loss, Physical review letters 111, 186805 (2013).
  • Kim et al. [2014] Y. Kim, M. Cheng, B. Bauer, R. M. Lutchyn, and S. D. Sarma, Physical Review B 90, 060401 (2014).
  • Li et al. [2014] J. Li, H. Chen, I. K. Drozdov, A. Yazdani, B. A. Bernevig, and A. MacDonald, Physical Review B 90, 235433 (2014).
  • Glazov et al. [2014] M. M. Glazov, T. Amand, X. Marie, D. Lagarde, L. Bouet, and B. Urbaszek, Physical Review B 89, 201302 (2014).
  • Hu et al. [2024] J. Hu, F. Yu, A. Luo, X.-H. Pan, J. Zou, X. Liu, and G. Xu, Physical Review Letters 132, 036601 (2024).
  • Xu et al. [2016] G. Xu, B. Lian, P. Tang, X.-L. Qi, and S.-C. Zhang, Physical review letters 117, 047001 (2016).
  • Zhang et al. [2018] P. Zhang, K. Yaji, T. Hashimoto, Y. Ota, T. Kondo, K. Okazaki, Z. Wang, J. Wen, G. D. Gu, H. Ding, et al., Science 360, 182 (2018).
  • Wang [2018] D. Wang, Peng Fan, Hui Chen, Yujie Sun, Shixuan Du, John Schneeloch, RD Zhong, GD Gu, Liang Fu, et al.,“Observation of pristine majorana bound state in iron-based superconductor,” arXiv preprint  (2018).
  • Liu et al. [2018] Q. Liu, C. Chen, T. Zhang, R. Peng, Y.-J. Yan, C.-H.-P. Wen, X. Lou, Y.-L. Huang, J.-P. Tian, X.-L. Dong, et al., Physical Review X 8, 041056 (2018).
  • Liu et al. [2020] W. Liu, L. Cao, S. Zhu, L. Kong, G. Wang, M. Papaj, P. Zhang, Y.-B. Liu, H. Chen, G. Li, et al., Nature Communications 11, 5688 (2020).
  • Kong et al. [2021] L. Kong, L. Cao, S. Zhu, M. Papaj, G. Dai, G. Li, P. Fan, W. Liu, F. Yang, X. Wang, et al., Nature Communications 12, 4146 (2021).
  • Li et al. [2022] M. Li, G. Li, L. Cao, X. Zhou, X. Wang, C. **, C.-K. Chiu, S. J. Pennycook, Z. Wang, and H.-J. Gao, Nature 606, 890 (2022).
  • Wu et al. [2018] Q. Wu, S. Zhang, H.-F. Song, M. Troyer, and A. A. Soluyanov, Computer Physics Communications 224, 405–416 (2018).
  • Marzari et al. [2012] N. Marzari, A. A. Mostofi, J. R. Yates, I. Souza, and D. Vanderbilt, Reviews of Modern Physics 84, 1419 (2012).
  • Mostofi et al. [2008] A. A. Mostofi, J. R. Yates, Y.-S. Lee, I. Souza, D. Vanderbilt, and N. Marzari, Computer physics communications 178, 685 (2008).
  • Altland and Zirnbauer [1997] A. Altland and M. R. Zirnbauer, Physical Review B 55, 1142 (1997).
  • Thouless et al. [1982] D. J. Thouless, M. Kohmoto, M. P. Nightingale, and M. den Nijs, Physical review letters 49, 405 (1982).
  • Kane and Mele [2005] C. L. Kane and E. J. Mele, Physical review letters 95, 146802 (2005).
  • Qi et al. [2010] X.-L. Qi, T. L. Hughes, and S.-C. Zhang, Physical Review B 81, 134508 (2010).
  • Yu et al. [2011] R. Yu, X. L. Qi, A. Bernevig, Z. Fang, and X. Dai, Physical Review B 84, 075119 (2011).
  • Soluyanov and Vanderbilt [2011a] A. A. Soluyanov and D. Vanderbilt, Physical Review B 83, 235401 (2011a).
  • Fukui and Hatsugai [2007] T. Fukui and Y. Hatsugai, Journal of the Physical Society of Japan 76, 053702 (2007).
  • Fu and Kane [2007] L. Fu and C. L. Kane, Physical Review B 76, 045302 (2007).
  • Gresch et al. [2017] D. Gresch, G. Autes, O. V. Yazyev, M. Troyer, D. Vanderbilt, B. A. Bernevig, and A. A. Soluyanov, Physical Review B 95, 075146 (2017).
  • Coh and Vanderbilt [2009] S. Coh and D. Vanderbilt, Physical review letters 102, 107603 (2009).
  • Marzari and Vanderbilt [1997] N. Marzari and D. Vanderbilt, Physical review B 56, 12847 (1997).
  • King-Smith and Vanderbilt [1993] R. King-Smith and D. Vanderbilt, Physical Review B 47, 1651 (1993).
  • Soluyanov and Vanderbilt [2011b] A. A. Soluyanov and D. Vanderbilt, Physical Review B 83, 035108 (2011b).
  • Sato and Ando [2017] M. Sato and Y. Ando, Reports on Progress in Physics 80, 076501 (2017).
  • Kezilebieke et al. [2020] S. Kezilebieke, M. N. Huda, V. Vaňo, M. Aapro, S. C. Ganguli, O. J. Silveira, S. Głodzik, A. S. Foster, T. Ojanen, and P. Liljeroth, Nature 588, 424 (2020).
  • Bernevig [2013] B. A. Bernevig, Topological insulators and topological superconductors (Princeton university press, 2013).
  • Zhang et al. [2009] H. Zhang, C.-X. Liu, X.-L. Qi, X. Dai, Z. Fang, and S.-C. Zhang, Nature physics 5, 438 (2009).
  • Hsieh et al. [2012] T. H. Hsieh, H. Lin, J. Liu, W. Duan, A. Bansil, and L. Fu, Nature communications 3, 982 (2012).
  • [74] The codes are distributed in the wanniertools as posted on github, https://github.com/quanshengwu/wannier_tools.