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

Majorana bound states in vortex lattices on iron-based superconductors

Vedangi Pathak Stephan Plugge Marcel Franz Department of Physics and Astronomy & Stewart Blusson Quantum Matter Institute, University of British Columbia, Vancouver BC, Canada V6T 1Z4
Abstract

Majorana quasi-particles may arise as zero-energy bound states in vortices on the surface of a topological insulator that is proximitized by a conventional superconductor. Such a system finds its natural realization in the iron-based superconductor FeTe0.55Se0.45 that combines bulk ss-wave pairing with spin helical Dirac surface states, and which thus comprises the ingredients for Majorana modes in absence of an additional proximitizing superconductor. In this work, we investigate the emergence of Majorana vortex modes and lattices in such materials depending on parameters like the magnetic field strength and vortex lattice disorder. A simple 2D square lattice model here allows us to capture the basic physics of the underlying materials system. To address the problem of disordered vortex lattice, which occurs in real systems, we adopt the technique of the singular gauge transformation which we modify such that it can be used in a system with periodic boundary conditions. This approach allows us to go to larger vortex lattices than otherwise accessible, and is successful in replicating several experimental observations of Majorana vortex bound states in the FeTe0.55Se0.45 platform. Finally it can be related to a simple disordered Majorana lattice model that should be useful for further investigations on the role of interactions, and towards topological quantum computation.

keywords:
iron-based superconductors, topological superconductivity, Majorana bound states, disordered vortex lattices

1 Introduction

Majorana fermions are particles that are their own anti-particle. In the context of condensed matter physics, where electrons and holes serve as the canonically defined particles and anti-particles, Majorana fermions arise as non-trivial emergent excitations [1, 2, 3, 4]. Majorana quasi-particles provide insight into exotic fundamental physics along with exciting technological applications in topological quantum computation [5, 6, 7]. Early on, it was proposed that spinless pp-wave superconductors can host Majorana quasi-particles [8, 9, 10]. A one-dimensional pp-wave superconductor exhibits a bulk topological phase and hosts Majorana zero-energy modes at its boundaries [8]. In a two-dimensional spinless px+ipyp_{x}+\text{i}p_{y} superconductor, Majorana bound states occur at the centers of half-flux vortices [9, 10]. However, low-dimensional pp-wave superconductivity is extremely rare in nature which makes the detection and control of Majorana quasi-particles in such systems correspondingly more difficult. The seminal Fu-Kane proposal [11] showed that the proximity effect between an ordinary ss-wave superconductor (SC) and the surface states of a strong topological insulator (TI) leads to formation of a state that also hosts the zero-energy Majorana bound states at vortices.

The iron-based superconductor FeTe0.55Se0.45 has piqued a growing recent interest, owing to the presence of spin helical Dirac surface states with a large superconducting gap induced by its SC bulk [12, 13, 14, 15, 16]. These features make it a natural realisation of the Fu-Kane model [11], without the need to create a TI-SC heterostructure, and pave the way to observe zero-energy Majorana bound states (MBS) in vortices threading its surface. A distinguishing characteristic of this system is its low Fermi energy, which ensures that the MBS - if present - remain relatively isolated from the higher-energy in-gap Caroli-de Gennes-Matricon (CdGM) bound states [17]. Several recent scanning tunneling microscopy (STM) experiments indeed have revealed zero-bias peaks and other in-gap modes in FeTe0.55Se0.45 [13, 18, 14, 15, 16]. Interestingly, the experiments found intriguing dependencies of the vortex tunneling spectra on magnetic field, temperature, and disorder, in contrast with the general expectation for a stable zero-bias peak due to the vortex’ MBS. Understanding these results better will provide insight into the emergent properties of multiple MBSs in vortex lattices, and is crucial towards the control and manipulation of Majorana quasi-particles for braiding and topological quantum computing.

The dependence of zero-bias peaks on the applied magnetic field has been the topic of contention among several experimental studies [13, 18]. Ref. [18] reported the absence of zero-modes at high magnetic fields, while another group [13] observed zero-bias peaks but only for about 20% of the vortices and at a lower magnetic field. A recent comprehensive, high-resolution STM study [14] exploring the dependence of Majorana zero-modes on magnetic field, ascertained that zero-bias peaks are not uniformly found in all vortices. However, the observed variation in vortex spectra appeared to be uncorrelated with disorder in the chemical composition or electronic structure of the sample. Also the probability of observing a zero-bias peak decreased monotonically with increasing magnetic field. These observations clearly require understanding through rigorous theoretical investigations, especially with regard to the large variation in vortex spectra, the dependence of Majorana zero-modes on magnetic field, and the effect of increasing temperature or disorder.

Motivated by the experimental results, in this work we study the emergent properties of multiple Majorana bound states in vortices on the surface of FeTe0.55Se0.45. Following a Fu-Kane type approach [11, 19, 20], we describe the material system as a TI with a single Dirac surface state that is proximity-coupled to an ss-wave superconducting bulk. We then implant magnetic fluxes to generate disordered vortex lattices, and solve the resulting problem using the Franz-Tešanović  (FT) singular gauge transformation [21, 22]. In doing this, we need to address certain subtleties that arise when imposing periodic boundary conditions (PBC) on finite lattices. PBC is advantageous as it allows us to dispense with edge modes and focus on low-energy states localized in vortex cores. We develop a modified FT transformation which allows us to adapt previously established methods [21, 23, 22, 24] to investigate large vortex lattices on finite, periodic manifolds.

Using the resulting model, we first investigate the apparent discrepancies in the observation of Majorana zero-modes by simulating triangular vortex lattices with varying magnetic field strengths. The average inter-vortex distance, determined by the applied magnetic field, controls the presence or absence of a zero-bias peaks corresponding to the Majorana mode. We verify that MBSs exist at low fields for the parameters observed in the experiments but may be absent at higher fields due to increasing hybridization between nearby core states. However a perfectly ordered, periodic vortex lattice cannot explain all experimental observations since only a fraction of vortices host Majorana zero-bias peaks in the STM measurements conducted on FeTe0.55Se0.45. We argue that the experimental results can be explained by considering a triangular lattice with weak disorder. Such configurational disorder typically arises as a result of competition between intervortex interactions (which favor a periodic lattice) and spatial inhomogeneities in the underlying material which tend to pin vortices at random locations. In such a disordered vortex array translation symmetry is broken, leading to a potentially large variation in vortex spectra which is in accordance with the observations in experiments [14]. Configurational disorder along with decreasing inter-vortex distance can explain the decrease in the fraction of vortices hosting the Majorana zero modes upon increasing magnetic field. Finally, we show that our results can be connected to a simple disordered Majorana lattice model, where only the lowest-energy modes are considered.

Other theoretical works on MBSs in iron-based superconductors investigated the physics of Fe interstitial defects without external magnetic field [25] and the effect of Zeeman coupling [26]. Majorana hybridisation and vortex disorder effects in a three-dimensional tight-binding model specific to FeTe0.55Se0.45 were discussed in Ref. [27]. The latter work used open boundary conditions. Here, we study MBS hybridization and disorder effects in a two-dimensional surface-only model using a vortex lattice on a periodic manifold. Our models notably are simpler than other detailed materials-based simulations [27], but nonetheless capture much of the same physical behaviour found in experiments. The local disorder effects in vortex configurations that are repeated periodically in space provide a unique perspective into the long-range physics of Majorana quasi-particles. Our approach allows the use of periodic boundary conditions and fewer on-site orbitals, such that the simulation of larger lattices without boundary effects becomes possible. Finally, our results are in qualitative agreement with a Majorana-only model which can simulate lattices with tens of thousands of vortices on a simple laptop computer, and might be used as input for more involved (interacting) many-body quantum simulations based on the low-energy manifold of the vortex lattice.

The remainder of this paper is organized as follows. In Sec. 2, we first review a simple square lattice model for TI surface states proximity-coupled to an ss-wave SC [11, 19]. We then provide details on how to construct the vortex lattice including periodic boundary conditions, using a modified version of the FT transformation [21]. In Sec. 3, we investigate the resulting model and compare it with the experimental observations of MBSs in FeTe0.55Se0.45. We here consider the effects of both changing magnetic field strengths and vortex lattice disorder due to, e.g., inhomogeneities in the underlying material. Finally, in Sec. 4, we make contact with a simple disordered vortex lattice model that involves only the lowest-energy (Majorana) modes. Conclusions and an outlook to future work and possible interesting experiments are offered in Sec. 5.

2 Model and setup

In this section, we briefly review the model for a proximitized TI surface [11, 19, 20] that is used throughout much of this work to describe the topological surface states of FeTe0.55Se0.45. We then discuss how one can impose arbitrary vortex arrays in SC systems by means of the Franz-Tešanović (FT) singular gauge transformation, including some modifications that are necessary to address finite systems with periodic boundary conditions (PBC).

2.1 TI-SC model Hamiltonian

Here we briefly review the model of surface states of a strong three-dimensional topological insulator (TI) that is used throughout this work [19]. We start by defining a simple two-dimensional square lattice model,

h0(𝒌)=λ(σxsinkx+σysinky),h_{\textrm{0}}(\bm{k})=\lambda(\sigma^{x}\textrm{sin}k_{x}+\sigma^{y}\textrm{sin}k_{y}), (1)

where σi\sigma^{i} are Pauli matrices in spin space and the Fermi velocity λ\sim\lambda re-appears as a hopping parameter in the tight-binding description below. With four Dirac cones in the Brillouin zone, Eq. (1) cannot represent a TI which is characterised by an odd number of surface Dirac cones. This is in accord with the Nielsen-Ninomyia theorem [28, 29], which states that it is impossible to construct a purely 2D, TR invariant lattice model with an odd number of massless Dirac fermions. The surface states of a strong TI, with an odd number of Dirac cones, are holographic in the sense that they cannot exist without the topologically non-trivial 3D bulk. A way to resolve this issue is to introduce a mass term proportional to σz\sigma_{z} [19], parametrized as Mk=m[(2coskxcosky)14(2cos2kxcos2ky)]M_{k}=m[(2-\textrm{cos}k_{x}-\textrm{cos}k_{y})-\frac{1}{4}(2-\textrm{cos}2k_{x}-\textrm{cos}2k_{y})]. With the extra mass term, we define the Hamiltonian

h0(𝒌)=λ(σxsinkx+σysinky)+σzMkμ,h_{\textrm{0}}(\bm{k})=\lambda(\sigma^{x}\textrm{sin}k_{x}+\sigma^{y}\textrm{sin}k_{y})+\sigma^{z}M_{k}-\mu, (2)

where μ\mu is the chemical potential. The mass term gaps out all the Dirac cones except the one at Γ(0,0)\Gamma\equiv(0,0). We anticipate that adding such a TR symmetry breaking term will not compromise the physics of the TI-SC interface that we want to study because the presence of vortices will ultimately break TR symmetry anyway [20]. Moreover the effect of TR breaking is small around the Γ\Gamma point, where Mkk4M_{k}\propto k^{4}.

To incorporate the proximity-induced SC in the surface states, we use the Bogoliubov-de Gennes Hamiltonian given by

HBdG=(h0(𝒌)ΔΔσyh0(𝒌)σy),H_{\textrm{BdG}}=\begin{pmatrix}h_{\textrm{0}}(\bm{k})&\Delta\\ \Delta^{*}&-\sigma^{y}h_{\textrm{0}}^{*}(-\bm{k})\sigma^{y}\end{pmatrix}, (3)

where Δ\Delta is the induced SC order parameter which enters with the identity matrix in spin space. The term h0(𝒌)=h𝒌(λ,m,μ)h_{\textrm{0}}(\bm{k})=h_{\bm{k}}(\lambda,m,\mu) represents the particles and its time-reversed counterpart, σyh0(𝒌)σy=h𝒌(λ,m,μ)-\sigma^{y}h_{\textrm{0}}^{*}(-\bm{k})\sigma^{y}=-h_{\bm{k}}(\lambda,-m,\mu), represents the holes in this basis. Figures 1a-b depict the spectrum of the normal state Hamiltonian in Eq. (3) when the mass term is zero and non-zero, respectively. Figure 1c shows the effect of a finite SC pairing Δ\Delta. Figure 1d depicts the bands with finite μ\mu and Δ\Delta, resulting in the formation of Dirac cones at energy ±μ\pm\mu at the Γ\Gamma point. Here and in the remainder of our work we focus only on the low energy physics of the model, and choose parameters for which the non-superconducting Hamiltonian Eq. (2) faithfully represents a single Dirac fermion at the Γ\Gamma point.

Refer to caption
Figure 1: Band structure of the proximitized square lattice TI model in Eq. (3). (a) without the mass term, there are four Dirac cones in the Brillouin zone. Here we show the ones at Γ=(0,0)\Gamma=(0,0), X=(π,0)X=(\pi,0) and M=(π,π)M=(\pi,\pi); the fourth is located at Y=(0,π)Y=(0,\pi). (b) the mass term breaks TR symmetry and creates a gap everywhere except at Γ\Gamma. The single emergent Dirac cone emulates the surface state of a 3D TI. (c) due to the proximity effect, modeled by a finite ss-wave pairing strength Δ\Delta, a superconducting gap develops in the spectrum. Spin degeneracy then is broken, except at the Γ\Gamma point. (d) same as (c), but with a finite chemical potential.

Upon Fourier transforming the Hamiltonian in Eq. (2) leads to the second-quantized real-space lattice model for the TI surface state that reads [20]

H0\displaystyle H_{0} =iλ2𝒓,α(ψ𝒓σαψ𝒓+αh.c.)+𝒓ψ𝒓(32mσzμ)ψ𝒓\displaystyle=i\frac{\lambda}{2}\sum_{{\bm{r}},\alpha}(\psi^{{\dagger}}_{{\bm{r}}}\sigma^{\alpha}\psi_{{\bm{r}}+\alpha}-\textrm{h.c.})+\sum_{{\bm{r}}}\psi^{{\dagger}}_{{\bm{r}}}\left(\frac{3}{2}m\sigma^{z}-\mu\right)\psi_{{\bm{r}}} (4)
m8𝒓,α(4ψ𝒓σzψ𝒓+αψ𝒓σzψ𝒓+2α+h.c.).\displaystyle-\frac{m}{8}\sum_{{\bm{r}},\alpha}(4\psi^{{\dagger}}_{{\bm{r}}}\sigma^{z}\psi_{{\bm{r}}+\alpha}-\psi^{{\dagger}}_{{\bm{r}}}\sigma^{z}\psi_{{\bm{r}}+2\alpha}+\textrm{h.c.})~{}.

Here α=x,y\alpha=x,~{}y labels both the hopping direction and Pauli matrices, and ψ𝒓=(c𝒓,c𝒓)T\psi_{{\bm{r}}}=(c_{{\bm{r}}\uparrow},c_{{\bm{r}}\downarrow})^{T} denotes the two-component spinor at lattice site 𝒓{\bm{r}}. The hopping λ\lambda, mass mm, and chemical potential μ\mu are as above except for an absorbed lattice constant. Upon proximity-coupling the TI to a ss-wave SC, Cooper pairs tunnel across their interface, inducing an effective ss-wave pairing amplitude in the surface states of the TI. The resulting TI-SC model is written in terms of a standard BdG Hamiltonian [20],

=H0+𝒓(Δ𝒓c𝒓c𝒓+h.c.),\mathcal{H}=H_{0}+\sum_{{\bm{r}}}(\Delta_{{\bm{r}}}c^{{\dagger}}_{{\bm{r}}\uparrow}c^{{\dagger}}_{{\bm{r}}\downarrow}+\textrm{h.c.}), (5)

where Δ𝒓\Delta_{{\bm{r}}} is the induced SC pairing at site 𝒓{\bm{r}}. The on-site basis now expands to include both particle and hole states, and is given by the Nambu spinor Ψ𝒓=(ψ𝒓,iσyψ𝒓)T=(c𝒓,c𝒓,c𝒓,c𝒓)T\Psi_{\bm{r}}=(\psi_{\bm{r}},i\sigma_{y}\psi_{\bm{r}}^{\dagger})^{T}=(c_{{\bm{r}}\uparrow},c_{{\bm{r}}\downarrow},c^{{\dagger}}_{{\bm{r}}\downarrow},-c^{{\dagger}}_{{\bm{r}}\uparrow})^{T}. In this basis the pairing matrix Δ(𝒓)\Delta({\bm{r}}) is proportional to the identity in spin space. Thus, we arrive at the eigenvalue problem

(H0(λ,μ,m)Δ(𝒓)Δ(𝒓)H0(λ,μ,m))(𝒖n𝒗n)=En(𝒖n𝒗n),\begin{pmatrix}H_{\rm 0}(\lambda,\mu,m)&\Delta({\bm{r}})\\ \Delta^{*}({\bm{r}})&-H_{\rm 0}(\lambda,\mu,-m)\end{pmatrix}\begin{pmatrix}\bm{u}_{n}\\ \bm{v}_{n}\end{pmatrix}=E_{n}\begin{pmatrix}\bm{u}_{n}\\ \bm{v}_{n}\end{pmatrix}, (6)

where H0(λ,μ,m)H_{\rm 0}(\lambda,\mu,m) is the Hamiltonian of particles given by Eq. (4), and its time-reversed counterpart H0(λ,μ,m)-H_{\rm 0}(\lambda,\mu,-m) describes holes. The spin-space vectors 𝒖n(𝒓)\bm{u}_{n}({\bm{r}}) and 𝒗n(𝒓)\bm{v}_{n}({\bm{r}}) encode particle and hole eigenstates, respectively, and EnE_{n} are the corresponding energy eigenvalues. The lattice BdG Hamiltonian can likewise be viewed as stemming from a direct Fourier transform of the momentum-space version in Eq. (3). Finally, let us recall that the particle-hole symmetry of the BdG Hamiltonian is a built-in constraint of the theory that must be obeyed. We discuss apparent violations of particle-hole symmetry stemming from inconsistent gauge choices, as well as their resolution, in Sec. 2.2 and A.

2.2 Imposing vortex lattices in systems with periodic boundary conditions

We now discuss how one can impose arbitrary vortex lattices in generic SC systems, within the BdG formalism and while using periodic boundary conditions (PBC). To this end, note that for a translation-invariant system we can define a uniform superconducting order parameter, i.e. Δ(𝒓)=Δ0\Delta({\bm{r}})=\Delta_{0}. In the presence of vortices, however, the order parameter acquires a spatially varying phase, Δ(𝒓)=Δ0eiϕ(𝒓)\Delta({\bm{r}})=\Delta_{0}e^{i\phi({\bm{r}})}, where ϕ(𝒓)\phi({\bm{r}}) winds by 2π2\pi around each vortex. Although one expects physical observables to be perfectly periodic in the presence of periodic vortex lattice the factor eiϕ(𝒓)e^{i\phi({\bm{r}})} lacks this periodicity thus precluding the naive inclusion of PBC. As first pointed out by Anderson [30] and by Gorkov and Schrieffer [31] the situation can be remedied when the external magnetic field is included in the theory to model a realistic, thermodynamically stable vortex lattice. The latter is incorporated in Eq. (6) via the Peierls substitution, according to which all hopping terms acquire a phase φ𝒓,𝒓+α=ec𝒓𝒓+α𝑨𝒅𝒓\varphi_{{\bm{r}},{\bm{r}}+\alpha}=\frac{e}{\hbar c}\int^{{\bm{r}}+\alpha}_{{\bm{r}}}\bm{A}\cdot\bm{dr}, with the magnetic vector potential 𝑨\bm{A}. The key insight is that the lack of translation invariance in the naive BdG Hamiltonian is a gauge artifact. Correspondingly, the solution consists of finding the correct gauge in which the Hamiltonian recovers the invariance. To achieve this we shall use a modified version of the FT singular gauge transformation [21, 22], designed to circumvent the problem of branch cuts. This allows us to impose PBC, and thus to describe large vortex lattices without boundary effects.

Let us consider a vortex lattice of 2n2n vortices that we arbitrarily divide into groups A and B of nn vortices each. Figure 2 shows the A and B vortex sub-lattices for systems with two or four vortices per magnetic unit cell. The total phase contributions to the SC order parameter are noted as ϕA(𝒓)\phi_{A}({\bm{r}}) and ϕB(𝒓)\phi_{B}({\bm{r}}), respectively, and obey

×ϕg=2πz^jδ(𝒓𝒓gj),\nabla\times\nabla\phi_{g}=2\pi\hat{z}\sum_{j}\delta({\bm{r}}-{\bm{r}}_{g}^{j}), (7)

where 𝒓gj{\bm{r}}^{j}_{g} is the position of jthj^{th} vortex of type g=A,Bg=A,B. With this, we can define a unitary transformation [21, 22]

U=(eiϕA(𝒓)00eiϕB(𝒓)),U=\begin{pmatrix}e^{i\phi_{A}({\bm{r}})}&0\\ 0&e^{-i\phi_{B}({\bm{r}})}\end{pmatrix}, (8)

where ϕA(𝒓)+ϕB(𝒓)=ϕ(𝒓)\phi_{A}({\bm{r}})+\phi_{B}({\bm{r}})=\phi({\bm{r}}) gives the total SC phase. Because of the delta functions in Eq. (7), the above transformation has to be regularized on the lattice [22]. Note that the A and B blocks in Eq. (8) refer to the Nambu structure in the BdG Hamiltonian, cf. Eq. (3). Hence UU in Eq. (8) is not a pure gauge transformation, and the effective magnetic fields that are experienced by electrons and holes are changed.

Refer to caption
Figure 2: Magnetic unit cell (black) with A (red) and B (blue) vortex sub-lattice. (a) Pattern with two square sub-lattices A and B, formed by two vortices per magnetic unit cell. (b,c) Two possible labels of the same vortex lattice dubbed ABAB (b) and AABB (c), see text, with four vortices per unit cell.

Applying the unitary Eq. (8) on the BdG Hamiltonian, U1U\mathcal{H}\rightarrow U^{-1}\mathcal{H}U, removes the phase factors from the SC pairing terms in the off-diagonal blocks of Eq. (5). The transformed BdG Hamiltonian matrix then is given by

=(𝒓,αh𝒓,𝒓+αeei𝒱Aα(𝒓)Δ0Δ0𝒓,αh𝒓,𝒓+αhei𝒱Bα(𝒓))\begin{split}\mathcal{H}=\begin{pmatrix}\sum_{{\bm{r}},\alpha}h^{e}_{{\bm{r}},{\bm{r}}+\alpha}\textrm{e}^{i\mathcal{V}_{A}^{\alpha}({\bm{r}})}&\Delta_{0}\\ \Delta_{0}&-\sum_{{\bm{r}},\alpha}h^{h}_{{\bm{r}},{\bm{r}}+\alpha}\textrm{e}^{-i\mathcal{V}_{B}^{\alpha}({\bm{r}})}\end{pmatrix}\end{split} (9)

where 𝒱A\mathcal{V}_{A} and 𝒱B\mathcal{V}_{B} are new phase factors appearing in the hopping terms of electron and hole component. They are

𝒱gα(𝒓)=𝒓𝒓+α(ϕg(𝒓)ec𝑨)𝒅𝒓=2πΦ0𝒓𝒓+α(Φ02πϕg(𝒓)𝑨)𝒅𝒓\begin{split}\mathcal{V}_{g}^{\alpha}({\bm{r}})&=\int^{{\bm{r}}+\alpha}_{{\bm{r}}}\left(\nabla\phi_{g}({\bm{r}})-\frac{e}{\hslash c}\bm{A}\right)\cdot\bm{dr}\\ &=\frac{2\pi}{\Phi_{0}}\int^{{\bm{r}}+\alpha}_{{\bm{r}}}\left(\frac{\Phi_{0}}{2\pi}\nabla\phi_{g}({\bm{r}})-\bm{A}\right)\cdot\bm{dr}\end{split} (10)

with g=A,Bg=A,B, and Φ0=hc/e\Phi_{0}=hc/e the flux quantum. The resulting total phases in Eq. (10) are manifestly gauge invariant, making the unitary transformation Eq. (8) a singular gauge transformation. Further, the integrands in Eq. (10) can be viewed as an effective vector potential, leading to the effective magnetic field

g=×(𝑨Φ02πϕg(𝒓))=𝑩z^Φ0jδ(𝒓𝒓gj).\begin{split}\mathcal{\vec{B}}_{g}&=\nabla\times\left(\bm{A}-\frac{\Phi_{0}}{2\pi}\nabla\phi_{g}({\bm{r}})\right)\\ &=\bm{B}-\hat{z}\cdot\Phi_{0}\sum_{j}\delta({\bm{r}}-{\bm{r}}^{j}_{g})~{}.\end{split} (11)

One may interpret this as quasi-particles experiencing an effective magnetic field A\mathcal{\vec{B}}_{A}, which comprises a uniform physical magnetic field B\vec{B} and delta function spikes of opposing polarity at vortices of type A. Similarly, quasi-holes experience an effective magnetic field B\mathcal{\vec{B}}_{B}. The reason for choosing an equal number nn of vortices of type A and B is so that g\mathcal{\vec{B}}_{g} is zero when averaged over the lattice. Alternatively, there is one flux spike arising due to each vortex of type A or type B that compensates for each flux quantum of the physical magnetic field. Now the condition g=0\langle\mathcal{\vec{B}}_{g}\rangle=0 allows us to incorporate PBC in the transformed BdG Hamiltonian Eq. (9), which had only allowed open boundary conditions prior to the application of the unitary transformation Eq. (8). Therefore, we can create a periodic vortex lattice with arbitrarily-chosen sub-lattices of type A and B.

As a practical matter, it would seem that we just need to calculate the phase factors in Eq. (10) in a convenient manner, followed by diagonalization of the Hamiltonian Eq. (9) to find the spectrum and eigenstates. The phase factors in Eq. (10) can be constructed in terms of the reciprocal lattice vectors 𝑮\bm{G} of the magnetic unit cell in Fig. 2, as described in Refs. [22, 24] and A.1. This results in

𝒱gα(𝒓)=2πLxLyj,𝑮[i𝑮×z^λs2+G2𝒓𝒓+αei𝑮(𝒓𝒓gj)𝒅𝒓],\mathcal{V}^{\alpha}_{g}({\bm{r}})=\frac{2\pi}{L_{x}L_{y}}\sum_{j,\bm{G}}\left[\frac{i\bm{G}\times\hat{z}}{\lambda_{s}^{-2}+G^{2}}\cdot\int_{{\bm{r}}}^{{\bm{r}}+\alpha}e^{i\bm{G}\cdot({\bm{r}}-{\bm{r}}^{j}_{g})}\bm{dr}\right], (12)

where 𝒓gj{\bm{r}}^{j}_{g} are the vortex positions and λs\lambda_{s} is the London penetration depth. However, there are some subtleties in applying the FT transformation in systems with PBC.

First, the application of the FT transformation must ultimately yield the same physical observables independent of the choice of A-B sub-lattice degrees of freedom. For instance, the four-vortex configurations, ABAB and AABB, illustrated in Fig. 2, have different assignment of A-B vortices but must be equivalent in all physical aspects. Furthermore, the particle-hole symmetry must be obeyed for any vortex configuration. These two symmetry constraints that must be respected by any physical model are broken if one directly applies the FT recipe [21, 23, 22] under PBC using the phase factors in Eq. (12) (see A.2).

The resolution of this apparent symmetry breaking lies in understanding that the electrons and holes on the underlying physical lattice must experience the same magnetic field. This translates into the condition that flux threaded through any plaquette of the lattice can only differ by multiples of 2π2\pi, as dictated by the FT transformation. However, upon imposing PBC on the FT-transformed BdG Hamiltonian, we need to ensure explicitly that the fluxes through the two additional, non-contractible loops in the torus geometry (2D lattice with PBC) obey the same principle. This leads to a modified prescription for the phase factor in Eq. (12), which thus are given as

𝒱~A/Bα(𝒓)=𝒱A/Bα(𝒓)±kαα,\mathcal{\tilde{V}}_{A/B}^{\alpha}({\bm{r}})=\mathcal{V}_{A/B}^{\alpha}({\bm{r}})\pm k_{\alpha}\cdot\alpha, (13)

where α=δx,δy\alpha=\delta x,~{}\delta y are the hopping directions on the lattice. The correction “wave-vector” 𝒌\bm{k} here follows from

𝒌=πLΔ𝒓×𝒛^L,\bm{k}=\frac{\pi}{L}\cdot\frac{\Delta{\bm{r}}\times\hat{\bm{z}}}{L}~{}, (14)

where Δ𝒓=jA𝒓AjjB𝒓Bj\Delta{\bm{r}}=\sum_{j\in A}{\bm{r}}_{A}^{j}-\sum_{j\in B}{\bm{r}}_{B}^{j} with jj running over the vortices of type A and B, respectively. A detailed derivation of this result is given in A.3.

3 Majorana vortex modes in iron-based superconductors

Here we perform simulations of vortex lattices at varying magnetic fields and disorder strength. All results are based on the TI-SC model introduced in Sec. 2.1, using vortex lattices under PBC that are implemented via the modified Franz-Tešanović transformation of Sec. 2.2.

3.1 Lattice setup, model parameters, and their relation to experiment

We here show how to fit the physical triangular vortex lattice into the square lattice of the underlying materials model, cf. Sec. 2.1. We then discuss how one can represent the model parameters in such a way that the mean inter-vortex distance dvd_{v} and the disorder strength, Sec. 3.4, enter as tunable parameters. Material parameters other than the mean vortex distance (set by the applied field) are chosen fixed and correspond to sensible experimental values [13, 12, 27], see Table 1. The mean vortex distance dvd_{v} and disorder parameters, see Sec. 3.4, will also be used for the simpler Majorana lattice model in Sec. 4.

Refer to caption
Figure 3: Setup for triangular vortex lattice simulation. Left: a magnetic unit cell of nv=8n_{v}=8 vortices in a L=16L=16 lattice realizes a roughly triangular vortex lattice. Right: a larger unit cell with nv=112n_{v}=112 and L=112L=112 allows to closely match the desired triangular lattice. The latter is used in our simulations, also with added disorder as discussed in Sec. 3.4.

In our simulations, we choose square lattice model sizes Lx×LyL_{x}\times L_{y} that allow to closely fit a triangular vortex pattern with the vortex positions fixed to centers of the square lattice plaquettes. Such vortex arrangements are generated from simple geometric considerations, with two example configurations depicted in Fig. 3. We here fix xx and yy directions to have the same number of square lattice cells, Lx,y=LL_{x,y}=L, and further demand that they exhibit the same pattern of vortices, related by a mirror about the xx-yy axis. This naturally keeps the two lattice directions equivalent, and defines a convenient magnetic unit cell for triangular lattice simulation. Let us denote the two Bravais lattice vectors of the desired, ideal triangular lattice that is rotated like in Fig. 3, as

𝜹1(c15,s15),𝜹2(s15,c15),{\bm{\delta}}_{1}\simeq(c_{15},s_{15})~{},~{}~{}{\bm{\delta}}_{2}\simeq(s_{15},c_{15})~{}, (15)

with c15=cos(15)c_{15}=\cos(15^{\circ}), s15=sin(15)s_{15}=\sin(15^{\circ}). We have omitted an overall scale factor here. The goal now is to find a lattice arrangement of vortices that allows us to approximate these vectors, but where the entries naturally are integers (viz., integer multiples of the lattice constant). Simply put, we want to find pairs of integers (n,m)(n,m) that approximate

mns15c15=23=0.26794,\frac{m}{n}\approx\frac{s_{15}}{c_{15}}=2-\sqrt{3}=0.26794\cdots,

and to define lattice vectors 𝜹1=(n,m){\bm{\delta}}_{1}=(n,m) and 𝜹2=(m,n){\bm{\delta}}_{2}=(m,n). Integer pairs that realize gradually improving rational approximations of this number are

(n,m)=(3,1),(4,1),(11,3),(15,4),.(n,m)=(3,1),~{}(4,1),~{}(11,3),~{}(15,4),~{}\cdots. (16)

Furthermore, the triangular lattice generated by 𝜹1,2{\bm{\delta}}_{1,2} has to fit into our square lattice model. Going to larger (n,m)(n,m) naturally demands a larger underlying lattice, which thus becomes increasingly expensive to simulate. To fix the required lattice size LL, consider the corners (x,y)=(0,0)(x,y)=(0,0) and (L,0)(L,0) of the magnetic unit cell, cf. Fig. 3. Since these are identified with each other, we have to be able to connect them by a sum of lattice vectors 𝜹1,2{\bm{\delta}}_{1,2}. Hence

(L,0)=k1𝜹1k2𝜹2=(k1nk2m,k1mk2n)(L,~{}0)=k_{1}{\bm{\delta}}_{1}-k_{2}{\bm{\delta}}_{2}=(k_{1}n-k_{2}m,~{}k_{1}m-k_{2}n)

with some integers k1,2k_{1,2}. For the pairs (n,m)(n,m) in Eq. (16), we then find coefficients

(Lk1,Lk2)=(83,81),(154,151),(11211,1123),(20915,2094).\left(\frac{L}{k_{1}},\frac{L}{k_{2}}\right)=\left(\frac{8}{3},\frac{8}{1}\right),~{}\left(\frac{15}{4},\frac{15}{1}\right),~{}\left(\frac{112}{11},\frac{112}{3}\right),~{}\left(\frac{209}{15},\frac{209}{4}\right).\qquad (17)

The possible lattice sizes hence are L=8,15,112,209,L=8,~{}15,~{}112,~{}209, or multiples thereof. Once LL is fixed, one can read off k1,2k_{1,2} above. Finally, recall that our model necessitates an even number of vortices in the magnetic unit cell. For the above pairs (n,m)(n,m) and quoted lattice sizes LL, the respective number of vortices is nv=8,15,112,224n_{v}=8,~{}15,~{}112,~{}224. Hence the configuration (n,m)=(4,1)(n,m)=(4,1) cannot be used as magnetic unit cell, however one may repeat it to obtain a larger, admissible unit cell with - say - L=30L=30 and nv=60n_{v}=60. In Fig. 3 we have shown two representative examples, namely (n,m)=(6,2)(n,m)=(6,2) with L=16L=16 and nv=8n_{v}=8 and (n,m)=(11,3)(n,m)=(11,3) with L=112L=112 and nv=112n_{v}=112. Using sparse-matrix methods for the Hamiltonian construction and diagonalization here allows us to consider large lattice sizes LL, both to improve the resolution and to put more vortices that also more closely match a triangular lattice. Finally, having a sizable number of vortices (nv=112n_{v}=112) will be important once we introduce positional disorder in the vortex lattice, see Sec. 3.4.

Parameter Simulation Experiment
Δ0\Delta_{0} 1 1.8 meV
λF=kF1\lambda_{F}=k_{F}^{-1} 1 5.0 nm
vFv_{F} 2.78 25 meV-nm
μ=vF/λF\mu=v_{F}/\lambda_{F} -2.78 5.0 meV
ξ=vF/Δ0\xi=v_{F}/\Delta_{0} 2.78 13.9 nm
dvB1/2d_{v}\sim B^{-1/2} \sim 3 - 14 15 nm - 70 nm
ηSTM\eta_{\rm STM} 0.01\sim 0.01 20 μ\mu eV
a0a_{0} dv\sim d_{v}, Eq. (18) -
λ=vF/a0\lambda=v_{F}/a_{0} dv1\sim d_{v}^{-1}, Eq. (19) -
mm λ\lesssim\lambda, Sec. 2.1 -
Table 1: Simulation and experiment values of parameters, cf. Refs. [12, 13, 27]. The lattice spacing a0a_{0} and model parameters λ\lambda and mm are scaled such that different inter-vortex distances dvd_{v} (magnetic fields BB) can be simulated, see Eqs. (18), (19) and discussion in text. The mass m0.5λ1λm\simeq 0.5\lambda-1\lambda is not fixed by a strict rule, but rather chosen to ensure a sizable gap at all points in the Brillouin zone away from Γ=(0,0)\Gamma=(0,0), cf. Fig. 1.

After fixing the lattice setup we now discuss parameter choices and their relation to experiments, including how one can simulate different mean inter-vortex distances dvd_{v} in fixed-size lattices by rescaling. First, the experimentally determined parameters in the FeTe0.55Se0.45 materials platform are the SC gap Δ0\Delta_{0}, the Fermi velocity vFv_{F}, and the Fermi wave-vector kFk_{F}. Their values are quoted in Table 1. In our simulations, we choose the SC gap Δ0\Delta_{0} as the unit of energy, and the Fermi wave-length λF=kF1\lambda_{F}=k_{F}^{-1} as basic length scale. From these, the chemical potential μ\mu and Majorana coherence length ξ\xi follow via well-known relations for the model in Sec. 2.1. Additional externally set parameters are the inter-vortex distance dvd_{v} and the STM resolution ηSTM\eta_{\rm STM}, see Table 1. For the triangular lattice, the inter-vortex distance follows by simple geometric consideration as dv=(2Φ0/3B)1/2d_{v}=(2\Phi_{0}/\sqrt{3}B)^{1/2}, with the magnetic flux quantum Φ0\Phi_{0} and applied magnetic field BB. We take typical values B=1B=1T8-8T, i.e. dv=70d_{v}=70nm17-17nm. Now for nvn_{v} vortices in a lattice model of size L×LL\times L, the vortex distance is given by dv=dvlatticea0d_{v}=d_{v}^{\rm lattice}a_{0}, with

dvlattice=(23nv)1/2Ld_{v}^{\rm lattice}=\left(\frac{2}{\sqrt{3}n_{v}}\right)^{1/2}L (18)

the vortex distance in lattice units. Since we want to set dvd_{v} as an external parameter while dvlatticed_{v}^{\rm lattice} is already fixed by the lattice setup (L,nv)(L,n_{v}), we will thus have to re-scale the lattice constant a0a_{0} in our model. The scaled lattice constant a0a_{0} also translates to rescaled model parameters λ\lambda and mm. In particular, the hopping parameter λ\lambda is determined via Fermi velocity and lattice spacing as

λ=vFa02.78Δ0λFdvlattice/dv,\lambda=\frac{v_{F}}{a_{0}}\simeq 2.78\Delta_{0}\lambda_{F}\cdot d_{v}^{\rm lattice}/d_{v}~{}, (19)

where we inserted natural units, cf. Table 1. The mass mm then is chosen as m0.5λ1.0λm\simeq 0.5\lambda-1.0\lambda, cf. Sec. 2.1. Equivalent arguments apply to the square lattice, where for the nv=2n_{v}=2 unit cell in Fig. 2 one has dvlattice=L/2d_{v}^{\rm lattice}=L/\sqrt{2}.

It may seem unconventional that the lattice spacing a0a_{0} and model parameters λ\lambda and mm are varied together with the vortex distance dvd_{v}, and hence with the applied magnetic field BB. To this end, it helps to remember that the only crucial feature of the TI surface state model in Sec. 2.1 was the presence of an isolated Dirac cone at the Γ\Gamma point. This fact is not altered by the above parameter scaling procedure. The square crystal lattice should be viewed as a means to regularize the model at short distances and thus allow for straightforward numerical simulation. An intuitive physical picture is that our simulation keeps the number of vortices nvn_{v} in the investigated “field of view” constant, i.e. while increasing the magnetic field we also zoom in on a smaller patch of the material. As discussed above, this approach allows us to consider a fixed number of vortices for which the triangular vortex lattice fits well into the fixed-size materials model.

3.2 LDOS, spatial DOS, and MVM hybridization

In figures below, cf. Fig. 4, we show the local density of states (LDOS) integrated over a window around a vortex position 𝒓v{\bm{r}}_{v}, and the spatially resolved DOS at zero energy or at energies that correspond to peaks in the LDOS. To make this concrete, let us denote the position and energy-resolved DOS as ρ(𝒓,ω)\rho({\bm{r}},\omega). For site 𝒓{\bm{r}} of the lattice and for each eigenstate jj of the Hamiltonian, we have a four-component spin-Nambu vector Ψj(𝒓)=[𝒖j(𝒓),𝒗j(𝒓)]T\Psi_{j}({\bm{r}})=[\bm{u}_{j}({\bm{r}}),\bm{v}_{j}({\bm{r}})]^{T} with electron- and hole-components 𝒖j(𝒓)\bm{u}_{j}({\bm{r}}) and 𝒗j(𝒓)\bm{v}_{j}({\bm{r}}). The spatially and frequency-resolved DOS then follows as

ρ(𝒓,ω)=j:Ej>0{|𝒖j(𝒓)|2δ(ωEj)+|𝒗j(𝒓)|2δ(ω+Ej)}.\rho({\bm{r}},\omega)=\sum_{j:E_{j}>0}\left\{|\bm{u}_{j}({\bm{r}})|^{2}\delta(\omega-E_{j})+|\bm{v}_{j}({\bm{r}})|^{2}\delta(\omega+E_{j})\right\}. (20)

Obviously this quantity contains too much information to show in a simple plot. Instead, the LDOS at a vortex position 𝒓v{\bm{r}}_{v} can be calculated as

LDOS𝒓v(ω)=|xxv|<W|yyv|<Wρ((x,y),ω),{\rm LDOS}_{{\bm{r}}_{v}}(\omega)=\sum_{|x-x_{v}|<W}\sum_{|y-y_{v}|<W}\rho((x,y),\omega)~{}, (21)

with integration window of size 2W×2W2W\times 2W. The spatially resolved DOS at energy EE is DOSE(𝒓)=ρ(𝒓,ω=E){\rm DOS}_{E}({\bm{r}})=\rho({\bm{r}},\omega=E), where we omit the integration over an energy window. Rather the spectral broadening η\eta (STM resolution ηSTM\eta_{\rm STM}) is included in the calculation of spectral densities ρ(𝒓,ω)\rho({\bm{r}},\omega), where we put Lorentzian line shapes of width η\eta. Alternatively, one could also consider a thermally broadened peak at temperature TT, i.e. δT(ω)1/cosh2(ω/T)\delta_{T}(\omega)\sim 1/\cosh^{2}(\omega/T). Note that the LDOS as defined here is not necessarily particle-hole symmetric. While one may start with a PH symmetric ρ(𝒓,ω)\rho({\bm{r}},\omega) in Eq. (20), the quantity in Eq. (21) reflects what is measured as LDOS in experiments. Indeed, we find that the LDOS plots shown in Fig. 4 and Secs. 3.3 and 3.5 generally are PH asymmetric even for non-disordered vortex lattices, though the effects are more pronounced when disorder is included. This happens even though the total, spatially averaged DOS is necessarily PH symmetric, and indicates that pairs of particle and hole eigenstates can have spatially distinct spectral weight distributions. By picking a fixed-size spatial window to represent the “vortex LDOS”, we then implicitly choose how much spectral weight of individual eigenstates is included.

Refer to caption
Figure 4: Local density of states (LDOS) at the vortex, and MVM hybridization εMVM\varepsilon_{\rm MVM}, vs vortex separation dvd_{v}. We here consider an ordered square vortex lattice with two vortices per unit cell, cf. Fig. 2(a), with L=128L=128. The top right plots show the spatially resolved DOS at zero energy, for vortex separations dv=30nm,50nmd_{v}=30\,{\rm nm},~{}50\,{\rm nm}. The red boxes indicate the area that we integrate over to obtain the LDOS (left plot). The bottom right plot shows the numerically obtained energy splitting that closely matches the analytical expectation for the MVM hybridization (blue), cf. Eq. (22). The lattice is kept invariant, and the effective vortex distance dvd_{v} is changed by scaling the lattice constant, see Eq. (19) and discussion.

To check that the scaled model introduced in Secs. 2.1 and 3.1 correctly reproduces the vortex physics of proximitized TI surface states, we simulate the simplest square lattice with two-vortex unit cell, cf. Fig. 2(a). The Majorana vortex mode (MVM) hybridization is expected to follow the analytical prediction [32]

εMVM(dv)=t0cos(kFdv+θ)dvedv/ξ,\varepsilon_{\rm MVM}(d_{v})=t_{0}\frac{\cos(k_{F}d_{v}+\theta)}{\sqrt{d_{v}}}e^{-d_{v}/\xi}~{}, (22)

with Fermi momentum kFk_{F}, phase θ\theta, and coherence length ξ\xi. Following Refs. [27, 32] and Table 1, we take kF1=5nmk_{F}^{-1}=5{\rm nm}, θ=π/4\theta=\pi/4 (or θ1.4\theta\approx 1.4), and ξ=13.9nm\xi=13.9{\rm nm}. As shown in Fig. 4, our model indeed closely matches the analytical formula for any dv20nmd_{v}\gtrsim 20\,{\rm nm}. We here set t0=4Δ0t_{0}=4\Delta_{0} and θ=π/4\theta=\pi/4 to fit our numerical results. For smaller vortex separations, the hybridization of MVMs and CdGM modes becomes so strong that higher-energy features of our model become important. These are non-universal, i.e. they do not reflect an isolated TI surface Dirac cone, and hence this breakdown at very high vortex densities (magnetic fields) is expected. Going forward, we thus are confident that our model faithfully reproduces the low-energy physics even for triangular or disordered vortex lattices, so long as the typical vortex separations are sufficiently large, dvtyp20nmd_{v}^{\rm typ}\gtrsim 20\,{\rm nm}.

3.3 Results for the regular triangular vortex lattice

Refer to caption
Figure 5: Spatial DOS at fixed energies (left) and frequency-resolved LDOS at vortex positions (right), for the triangular lattice with L=112L=112 and nv=112n_{v}=112 vortices, cf. Fig. 3, and vortex separations dv49nm,35nm,28nm,24nmd_{v}\approx 49{\rm nm},~{}35{\rm nm},~{}28{\rm nm},~{}24{\rm nm} [B=1T,2T,3T,4TB=1{\rm T},~{}2{\rm T},~{}3{\rm T},~{}4{\rm T}]. The top three plots (left) show the DOS for dv49nmd_{v}\approx 49{\rm nm} and at energies corresponding to the first three peaks in LDOS (right). The latter is obtained by integrating the full DOS over the area of the red box in the DOS plot, cf. Sec. 3.2 and Eq. (21). For dv49nmd_{v}\approx 49{\rm nm}, vortices are well-separated and the spectral peaks of zero-energy and CdGM modes in the LDOS are sharp. In the DOS, CdGM modes are more spread out, and the second CdGM mode indeed forms a ring around the vortex center. Decreasing the vortex distance dvd_{v} then leads the CdGM modes and also the lowest-energy modes to overlap (DOS) and split energetically (LDOS). For dv35nmd_{v}\approx 35{\rm nm}, only the less localized CdGM modes overlap and split. For dv28nmd_{v}\approx 28{\rm nm}, also the lowest-energy modes of distinct vortices overlap, leading to significant energy splittings. At large fields, dv24nmd_{v}\approx 24{\rm nm}, the strongly hybridized higher-energy modes cannot be identified as individual modes anymore. Also the low-energy modes split strongly and develop multi-peak structures. Further data for the LDOS and peak splitting under varying vortex separation is shown in Fig. 6.

We now investigate the triangular vortex lattice, using the setup of L=112L=112 and nv=112n_{v}=112 vortices laid out in Sec. 3.1 and Fig. 3. Vortex lattice disorder will be introduced and simulated in Secs. 3.4 and 3.5. Before repeating the comprehensive analysis of Fig. 4 for the triangular lattice, let us consider a few typical vortex separations dv49nm,35nm,28nm,24nmd_{v}\approx 49\,{\rm nm},~{}35\,{\rm nm},~{}28\,{\rm nm},~{}24\,{\rm nm} (magnetic fields B=1T,2T,3T,4TB=1\,{\rm T},~{}2\,{\rm T},~{}3\,{\rm T},~{}4\,{\rm T}) and review the simulation results in more detail. Results for both the spatially-resolved DOS at various energies and the frequency-resolved LDOS at a vortex position are shown in Fig. 5. For vortex separation dv49nmd_{v}\approx 49\,{\rm nm} we clearly recover the expected low-energy Majorana vortex modes and higher-energy CdGM modes, both resolved in real space (DOS) and in the local vortex spectrum (LDOS). In fact, at such a large vortex separation dvd_{v}, the spectral peaks are relatively sharp and not split in energy. From Sec. 3.2 and Fig. 4, recall that the MVM hybridization and thus the low-energy peak splitting closely followed the analytical prediction in Eq. (22). For the above quoted vortex separations dvd_{v}, we would thus obtain

|εMVM(dv)|=0.007Δ0,0.009Δ0,0.098Δ0,0.114Δ0.|\varepsilon_{\rm MVM}(d_{v})|=0.007\Delta_{0},~{}0.009\Delta_{0},~{}0.098\Delta_{0},~{}0.114\Delta_{0}.

In the calculation of spectral densities we set the broadening η=0.005Δ0\eta=0.005\Delta_{0}, roughly reflecting the experimental STM resolution, cf. Table 1. This explains why for dv49nmd_{v}\approx 49\,{\rm nm} and 35nm35\,{\rm nm} the MVM hybridization and splitting is not yet resolved. However note that higher-energy modes generally show a stronger hybridization and splitting, simply because they are less strongly localized and thus overlap even for larger vortex separations. This can clearly be observed in the LDOS for the second CdGM mode (third spectral peak) for dv49nmd_{v}\approx 49\,{\rm nm}, and for both first and second CdGM modes (second and third spectral peaks) at dv35nmd_{v}\approx 35\,{\rm nm}, see Fig. 5.

At higher magnetic fields, for dv28nmd_{v}\approx 28\,{\rm nm} and 24nm24\,{\rm nm}, it generally becomes harder to distinguish individual CdGM modes. Due to their strong spatial overlap and hybridization, the CdGM modes here form broad bands rather than individual localized vortex modes. Also the lowest-energy MVMs become split, reflecting the above sizable MVM hybridization 0.1Δ0\sim 0.1\Delta_{0}, and eventually broaden into bands with a number of higher-energy but lower-intensity side peaks. This is in contrast to what we found for the simple square vortex lattice in Fig. 4, where the vortex LDOS showed a sharp pair of low-energy peaks (split by the MVM hybridization) down to small vortex separations dv=20nmd_{v}=20\,{\rm nm}. To better understand this, we now analyze the LDOS and peak splitting behavior for vortex separations dv=20nm,,50nmd_{v}=20{\rm nm},...,50{\rm nm}, see Fig. 6.

Refer to caption
Figure 6: LDOS at a vortex and MVM hybridization εMVM\varepsilon_{\rm MVM} vs vortex separation dvd_{v}, for the L=112L=112 and nv=112n_{v}=112 vortex lattice. Top right plots show the spatial DOS at zero energy for dv=50nm,30nmd_{v}=50\,{\rm nm},~{}30\,{\rm nm} [B1T,3T][B\approx 1\,{\rm T},~{}3\,{\rm T}]. With the spectral broadening η=0.005Δ0\eta=0.005\Delta_{0}, multi-peak structures become visible in the LDOS for vortex separations dv30nmd_{v}\lesssim 30\,{\rm nm}, cf. Fig. 5. The numerically obtained energy splitting of the low-energy MVM modes (bottom right) shows deviations from the naive analytical expectation in Eq. (22), also compared to Fig. 4.

The LDOS at a vortex and the MVM hybridization, for the triangular lattice with varying vortex separation dvd_{v}, are shown in Fig. 6. While the overall qualitative behavior of the vortex LDOS is similar as for the square vortex lattice, cf. Fig. 4, it differs in important details. Markedly, the MVM energy splittings do not quantitatively follow the analytical prediction [32] in Eq. (22) that was obeyed in the square lattice case. Further, as already pointed out in Fig. 5, both high-energy CdGM modes but also the low-energy Majorana vortex modes for small vortex separations dv30nmd_{v}\lesssim 30\,{\rm nm} develop multi-peak structures with several lower-intensity “side bands”. It thus may appear that the low-energy physics of our model at high vortex density (large field) should not be interpreted in terms of a simple triangular Majorana lattice.

We here identify two main reasons for the breakdown of the naive analytical picture that would predict MVM peak splittings with a gap given by Eq. (22). First, the Majorana hybridization formula Eq. (22) was derived for the case of two vortices at fixed distance dd [32]. In that case, both the tunnel coupling and thus the energy splitting of the MVMs is given by εMVM\varepsilon_{\rm MVM}. In a triangular lattice, however, even if one directly simulates a Majorana-only model with tunnel couplings given by Eq. (22), cf. Sec. 4 below, one does not find a single “Majorana band” but rather a band with multiple side-peaks [33, 34]. Roughly speaking, this is because it is not possible to define local pairs of MVMs that hybridize and split in a triangular lattice, because the latter is frustrated. This is in contrast with the square vortex lattice, cf. Fig. 4, which is not frustrated and where the observed peak splitting closely follows the prediction of Eq. (22). Having multiple side-peaks for energetically split MVMs thus is not a flaw of our model, but rather a feature that correctly reproduces the expected triangular Majorana lattice physics.

Second, as introduced in Sec. 3.1, the triangular vortex arrays are embedded in a microscopic model that lives on a square lattice. Hence, there will always be small deviations from an ideal Majorana-only model, cf. Sec. 4, for which one can freely choose the arrangement of vortices. Since the MVM tunnel couplings are strongly dependent on distance, this effect should not be underestimated. To be more quantitative, let us revisit the embedded vortex lattice construction in Sec. 3.1. For the L=112L=112 and nv=112n_{v}=112 vortex case, the lattice vectors were 𝜹1=(11,3){\bm{\delta}}_{1}=(11,3) and 𝜹2=(3,11){\bm{\delta}}_{2}=(3,11) (in units a0a_{0}). The base triangle spanning the lattice in Fig. 3 thus has distinct side lengths |𝜹1|=|𝜹2|11.4|{\bm{\delta}}_{1}|=|{\bm{\delta}}_{2}|\approx 11.4, and |𝜹1𝜹2|11.3|{\bm{\delta}}_{1}-{\bm{\delta}}_{2}|\approx 11.3. Entering this into the MVM hybridization formula (22), one finds couplings tlongt_{\rm long} and tshortt_{\rm short} with the ratio

tlongtshort0.83,0.71,0.97,1.01,\frac{t_{\rm long}}{t_{\rm short}}\approx 0.83,~{}0.71,~{}0.97,~{}1.01,

for vortex separations dv49nm,35nm,28nm,24nmd_{v}\approx 49\,{\rm nm},~{}35\,{\rm nm},~{}28\,{\rm nm},~{}24\,{\rm nm}, respectively. Even if we directly simulate the Majorana-only lattice model for the near-triangular lattices used in this section, we thus expect fairly significant deviations from the perfect triangular lattice case. While from a technical standpoint the results our model produces are correct, they do not quite reflect the triangular lattice configurations we were after. In the Majorana lattice model below, see Sec. 4, we thus choose to work based on ideal (non-embedded) triangular lattices. To validate our above assessment, we simulated the ideal triangular Majorana lattice model for a small number of modes (nv=120)(n_{v}=120), and extracted the low-energy vortex LDOS and spectral gap. We here recovered the “fanning out” of the lowest-energy peak as in Fig. 6, while the gap more closely traces the analytical result in Eq. (22), with t0=2Δ0t_{0}=2\Delta_{0} and θ=π/4\theta=\pi/4. (Note a factor two in the gap energy scale compared to the square lattice, cf. Sec. 3.2 and Fig. 4.)

We now compare our results with experimental observations [13, 14, 15, 16, 18]. Due to translational symmetry, a perfect triangular lattice shows a uniform tunneling spectrum (LDOS) for all vortices, which does not happen in experiment. Setting aside minor deviations from the perfect triangular lattice, our results also show that the splitting of low-energy peaks in the LDOS should exhibit periodic oscillations, cf. Fig. 6. While the general trend of obtaining fewer vortices with zero-bias peaks for higher fields (smaller vortex separations) is consistent with a growing Majorana hybridization, oscillations were never seen [13, 14, 15, 16, 18]. Lastly, we observed a fanning out of the low-energy spectral peaks which gives a cluster of side-peaks with lower spectral weight toward higher energies. This might be a first indicator for the development of “pyramid-shape” distributions in the LDOS peak statistics [14, 27], which we will discuss in detail for the disordered vortex lattice.

As seen here, hybridization effects alone cannot explain all experimental observations [14, 27]. In the simulations up till now, vortices necessarily are identical due to translational invariance. Instead in actual experiments there are prominent variations between the individual vortex spectra [14], implying that the translational symmetry of the vortex lattice is broken and disorder effects need to be taken into account. These may include positional disorder (vortices shifted from regular lattice sites), as well as fluctuations of various parameters such as the SC pairing amplitude and chemical potential. We note that Refs. [14, 27] have explored various possible sources of disorder, and concluded that most likely positional disorder is the culprit behind the strong vortex-to-vortex variations. We thus focus on the latter mechanism, and compare our results to their conclusions where appropriate.

3.4 Generating disordered vortex configurations

For the simulation of disordered vortex lattices, a key ingredient is the generation of “good” vortex lattice configurations that qualitatively agree with those observed in experiment [14, 27]. Once generated, we can easily compare and qualify them by inspecting the reciprocal space structure function S(𝒌)=Nv1j,kei𝒌(𝒓j𝒓k)S(\bm{k})=N_{v}^{-1}\sum_{j,k}e^{-i\bm{k}\cdot({\bm{r}}_{j}-{\bm{r}}_{k})} or by computing pair-correlation functions. Let us denote the vortex positions in the disordered lattice as

𝒓j=𝑹j+𝒘j,{\bm{r}}_{j}=\bm{R}_{j}+\bm{w}_{j}~{}, (23)

with 𝑹j\bm{R}_{j} the near-triangular Bravais lattice sites, see the discussion in Sec. 3.1 and Fig. 3, and 𝒘j\bm{w}_{j} the deviations.
Inspecting the experimental data in Ref. [14], cf. Ref. [27], the vortices appear to be disordered globally while locally repellent and in a roughly triangular arrangement. This is in agreement with the basic understanding of vortex physics in superconductors. As an input to the initialization of 𝒘j\bm{w}_{j}, we hence consider two parameters: the “displacement variance” σd\sigma_{d}, and “disorder correlation length” λd\lambda_{d}. Here σd\sigma_{d} signifies the typical allowed displacement of each vortex from its triangular lattice position, independent of its neighbors, while λd\lambda_{d} describes the typical length scale on which vortices tend to be displaced in a similar way - thus locally retaining a triangular lattice arrangement.

An operational means by which we initialize the displacements 𝒘j\bm{w}_{j}, with the above prescription for a lattice of nvn_{v} vortices, is as follows. Consider the set of all 𝒘j(𝒓)\bm{w}_{j}({\bm{r}}) as nvn_{v} separate Gaussian random variables with a fixed covariance matrix KK. The covariance matrix can be specified by the expectation values of products of pairs of different 𝒘j\bm{w}_{j}, and for cross-correlated disorder (as we want to consider here) will have finite off-diagonal elements. The displacements 𝒘j\bm{w}_{j} then are chosen as Gaussian random variables with zero mean, 𝒘𝒋=0\langle\bm{w_{j}}\rangle=0, and (co)variance

Kjk=wjxwkx=wjywky=σd2eRjk/λd.K_{jk}=\langle w_{j}^{x}w_{k}^{x}\rangle=\langle w_{j}^{y}w_{k}^{y}\rangle=\sigma_{d}^{2}e^{-R_{jk}/\lambda_{d}}~{}. (24)

For simplicity we here take independent displacements in xx and yy directions with identical covariance matrix, i.e. Kxx=Kyy=KK^{xx}=K^{yy}=K and Kjkxy=wjxwky=0K^{xy}_{jk}=\langle w_{j}^{x}w_{k}^{y}\rangle=0. Note that the separations Rjk=|𝑹j𝑹k|R_{jk}=|\bm{R}_{j}-\bm{R}_{k}| entering Eq. (24) refer to the Bravais lattice sites 𝑹j\bm{R}_{j} in Eq. (23) and Fig. 3. To generate random samples of displacements 𝒘j\bm{w}_{j}, one thus has to specify the covariance matrix KK for the desired vortex lattice (with fixed nvn_{v} and LL) and for the pair of parameters σd\sigma_{d} and λd\lambda_{d}. Independent randomly displaced vortices are obtained for λd0\lambda_{d}\to 0, while values larger than the typical inter-vortex separation (λdd\lambda_{d}\gg d) lead to “quasi-ordered” lattices.

Refer to caption
Figure 7: Disordered vortex lattice (inset) and the corresponding structure function S(𝒌)S(\bm{k}) for varying σd\sigma_{d} and λd=2\lambda_{d}=2, cf. Eq. (24). Reciprocal space plots are averaged over 1010 disorder realizations. Increasing the variance σd\sigma_{d} quickly diminishes distinct peaks in reciprocal space. A finite λd\lambda_{d} counteracts this tendency for the peaks closest to the origin in reciprocal space (red dot), since a local ordering of vortices is preserved. By tuning both parameters, one can produce lattices and reciprocal-space pictures that closely mimic those seen in experiment, cf. Refs. [14, 27]. Note the horizontal and vertical ripples emanating from peaks in reciprocal space, indicating residual effects due to the embedding of vortices into the materials model and due to the use of periodic boundary conditions, see the discussion in Secs. 3.1 and 3.4.

From the above prescription we generated a few sample lattices with different σd\sigma_{d} and λd\lambda_{d}, and inspected the corresponding structure functions as done in Ref. [14]. Since overall scales do not matter at this moment, we set the vortex lattice spacing dv=1d_{v}=1. We found that parameter ranges σd[0,0.25]\sigma_{d}\in[0,0.25] and λd[0,3]\lambda_{d}\in[0,3] are reasonable for reproducing experiment-like vortex configurations [14, 27]. Here one may increase λd\lambda_{d} as σd\sigma_{d} grows larger, such that a local approximate triangular lattice is retained. In our disordered vortex lattice simulations below, we fix λd=2\lambda_{d}=2 and σd[0,0.25]\sigma_{d}\in[0,0.25]. The corresponding real- and reciprocal-space lattices are shown in Fig. 7.

We now have to address one additional issue, which already affected the setup of vortex lattices in Sec. 3.1. Below we want to simulate disordered vortex lattices in the FeTe0.55Se0.45 platform, extending the results of Sec. 3.3. As with the embedding of regular vortex lattices, cf. Sec. 3.1, we here have to amend the disordered vortex configurations such that they fit into the underlying square lattice of the materials model. Let us start with the non-disordered but slightly distorted triangular lattice in Fig. 3, where we fixed vortices to sit in the centers of the materials lattice plaquettes. Now upon adding disorder, the vortex positions are displaced from the lattice plaquette centers, or even shifted to neighboring plaquettes. We then need to make sure that vortices keep a “safe” minimum distance from materials lattice sites, since otherwise we have to include more and more reciprocal lattice vectors in the calculation of FT phase factors. This is because the cutoff for sums over reciprocal lattice vectors, see Eq. (12) and A, determines how finely we are able to resolve modulations of the FT phase factors (and hence the SC phase) in real space. If vortices are very close to materials lattice sites, these modulations in FT or SC phases become very strong. Therefore, if one includes too few reciprocal lattice vectors in the FT phase calculation, an erroneous particle-hole symmetry breaking of the obtained spectrum occurs. Performing tests similar to the ones in A, we thus determine the maximum allowed deviations of vortex positions from plaquette centers for a given fixed and numerically feasible cutoff of reciprocal lattice summations.

This leads us to restrict the disordered vortex lattice positions to the vicinity of plaquette centers as follows: for each vortex position 𝒓j{\bm{r}}_{j} in Eq. (23), we determine which plaquette of the materials lattice it is in. We may call this the “plaquette location” 𝑹j\bm{R}_{j}^{\prime} of the vortex. Note that the latter can be distinct from the original (non-disordered) vortex location 𝑹j\bm{R}_{j} if the displacement 𝒘j\bm{w}_{j} was sufficiently large. We then calculate the embedded vortex position

𝒓j=𝑹j+α(𝒓j𝑹j),{\bm{r}}_{j}^{\prime}=\bm{R}_{j}^{\prime}+\alpha({\bm{r}}_{j}-\bm{R}_{j}^{\prime})~{}, (25)

with 0α10\leq\alpha\leq 1. For α=1\alpha=1, the embedded vortex position is simply the bare disordered position 𝒓j{\bm{r}}_{j}, while for α=0\alpha=0 we force the disordered lattice positions to also be centered at plaquettes, 𝒓j=𝑹j{\bm{r}}_{j}^{\prime}=\bm{R}_{j}^{\prime}. In the latter case, positional disorder hence only comes in multiples of the materials lattice constant. We find that numerically feasible reciprocal lattice summation cutoffs give us sufficient accuracy in the FT phase calculation to set α=0.6\alpha=0.6, while keeping erroneous PH symmetry breaking effects small enough to not adversely affect our results or conclusions. All vortex positions and lattices in the following section hence will be embedded in the sense that vortex positions are at most α0.5=0.3\alpha\cdot 0.5=0.3 linear distance away from plaquette centers, i.e. each vortex keeps a linear distance of at least 0.20.2 from materials lattice sites and edges. In fact the vortex positions and reciprocal lattices in Fig. 7 were already generated by this prescription, and reflect the embedded vortex lattices used henceforth. Effects both due to the use of periodic boundary conditions (PBC) in a finite lattice and due to the vortex embedding are visible in Fig. 7. Besides the overall hexagonal pattern in reciprocal space, one can see faint horizontal and vertical ripples which are due to the square lattice.

Finally we note that in Section 4 we will introduce a Majorana-only model that effectively simulates the lowest-energy modes of the vortex lattice. That model does not explicitly simulate the underlying material, and thus none of the above embedding issues apply, discussed here and for the non-disordered lattice case in Sec. 3.1. For that reason the Majorana-only model is much easier to set up and analyze, both conceptually and numerically.

3.5 Results for the disordered vortex lattice

We here simulate near-triangular vortex lattices with positional disorder parametrized by the disorder variance σd\sigma_{d} and correlation length λd\lambda_{d} (quoted in units dvd_{v}), cf. Sec. 3.4. As for the regular triangular lattice in Sec. 3.3 and Fig. 5, we first investigate the DOS and LDOS for a few typical vortex separations dv49nm,35nm,28nm,24nmd_{v}\approx 49\,{\rm nm},~{}35\,{\rm nm},~{}28\,{\rm nm},~{}24\,{\rm nm}. For illustration purposes, we here use strong disorder with σd=0.2\sigma_{d}=0.2 and λd=2\lambda_{d}=2, cf. Fig. 7 or the spatial DOS plots in Fig. 8 from which one can easily identify the vortex positions. Also note that though PH symmetry on the level of individual vortices generally is broken, below we focus on the positive-frequency part of the LDOS and spatially resolved DOS. The behavior at negative frequencies is qualitatively similar.

Refer to caption
Figure 8: Spatial DOS and frequency-resolved LDOS for the L=112L=112 and nv=112n_{v}=112 vortex lattice with varying average vortex spacing dvd_{v}, cf. Fig. 5, but now for the disordered lattice with σd=0.2\sigma_{d}=0.2 and λd=2\lambda_{d}=2, cf. Sec. 3.4 and Fig 7. At each vortex separation, in the zero-energy DOS plot (left), we select four individual vortices for which we calculate the LDOS by integration over the respective colored box. The resulting LDOS plots (right) are color-coded accordingly. The top three plots (left) show the DOS for dv49nmd_{v}\approx 49{\rm nm} and at energies of the first three peaks in the LDOS (right). Vortices again are well-separated and the zero-energy spectral peaks stay sharp, however some higher-energy modes are weakly split and show a variance in the LDOS of distinct vortices. In the DOS, some CdGM modes show a reduced intensity since their spectral weight is shifted and more spread out in energy. Upon decreasing the vortex distance dvd_{v}, we observe that peak splitting and disorder effects become significantly more pronounced, in particular for the lowest-energy modes. For dv35nmd_{v}\approx 35{\rm nm}, some vortices appear to be gapped while others have a zero-energy peak. In constrast, for dv28nm,24nmd_{v}\approx 28{\rm nm},24{\rm nm} all vortices are gapped, but the LDOS for these gapped low-energy modes and also that of the CdGM modes fluctuates strongly. Out of the vortex separations considered, it appears that dv35nmd_{v}\approx 35{\rm nm} shows the strongest variation in zero-energy peak intensity in the DOS plots.

The main observations of these simulations are discussed in Fig. 8. Briefly, the disorder effects in the spatial DOS and vortex LDOS become more dramatic as the vortex separation dvd_{v} is lowered. This is expected, since the hybridization energy scales increase and fluctuations in the latter can be resolved once they surpass the spectral broadening η\eta. Also at low vortex separations the disorder conspires with the lattice frustration effects that lead to side-peaks for Majorana and CdGM modes, and produces a more complex multi-peak LDOS. Finally, the low-energy peaks in LDOS and the zero-energy spatial DOS are most sensitive to disorder when the corresponding clean system is near a node of the Majorana hybridization oscillation. This is the case for dv35nmd_{v}\approx 35\,{\rm nm} in Fig. 8, where some of the vortices show zero-bias peaks in the LDOS, while others do not. We attribute this to the combination of strong fluctuations of coupling strengths under weak variation of the inter-vortex distance, together with the overall sizable mode hybridizations at small distances (overcoming the spectral broadening η\eta). As discussed in detail in Sec. 4, the fact that the sign of the effective Majorana hybridizations fluctuates between distinct modes then is the most crucial ingredient to obtain a strong LDOS variation [33]. Qualitatively, the results in Fig. 8 look more similar to the experimental results of Machida et al. [14] as compared to the non-disordered case, Fig. 5. This motivates us to further investigate the effects of positional disorder.

Refer to caption
Figure 9: Average LDOS at vortex positions vs energy for the nv=112n_{v}=112 vortex lattice, at spacing dv49nm,35nm,28nmd_{v}\approx 49{\rm nm},~{}35{\rm nm},~{}28{\rm nm} [B=1T,2T,3TB=1{\rm T},~{}2{\rm T},~{}3{\rm T}]. Disorder parameters are λd=2\lambda_{d}=2 and σd[0,0.2]\sigma_{d}\in[0,0.2], and the broadening η=0.005Δ0\eta=0.005\Delta_{0}. Curves are obtained by averaging over 5050 disorder realizations and nv=112n_{v}=112 vortices per realization. If initially gapped, upon increasing σd\sigma_{d} the system gradually becomes gapless and the LDOS develops a finite spectral weight at zero energy. How quickly this happens strongly depends on the value of the spacing dvd_{v}.

To make more qualified observations, we next consider disorder-averaged spectral functions. We here focus on the lowest-energy (most localized) modes and solve for “only” the 5nv5\cdot n_{v} eigenstates closest to zero energy. Hence the overall spectral weight at high energies will be suppressed or altogether absent. In contrast, in Fig. 8 and to properly resolve higher-energy modes, we solved for significantly more eigenstates of the Hamiltonian which is correspondingly more expensive. The results for three vortex separations dv49nm,35nm,28nmd_{v}\approx 49{\rm nm},~{}35{\rm nm},~{}28{\rm nm} and various disorder strengths are shown in Fig. 9. As for a single disorder realization in Fig. 8, for a large vortex spacing dv49nmd_{v}\approx 49{\rm nm} the disorder effect is hardly resolved, since the fluctuations of the vortex mode hybridizations are on the scale of the spectral broadening η\eta. When the average vortex spacing is close to a node in the MVM hybridization, dv35nmd_{v}\approx 35{\rm nm}, the initially split low-energy peaks merge and broaden as the disorder strength is increased, but a zero-energy “hump” remains. Hence, on average we would expect to find a peak at or close to zero energy more likely than not when scanning over an ensemble of vortices. Higher-energy CdGM modes that initially are split likewise merge into a smoothed out hump of spectral weight. Finally, at a small average vortex spacing dv28nmd_{v}\approx 28{\rm nm} where the low-energy modes are strongly split, disorder becomes ineffective in closing the gap. While some spectral weight is shifted towards zero energy, a distinct hump is left where the zero-disorder clusters of spectral peaks were located, cf. Fig. 5. We again note that very similar behavior for the low-energy (Majorana) modes of the vortex lattice will be recovered in the simpler Majorana-only model, see Sec. 4 below.

Refer to caption
Figure 10: Analysis of LDOS spectra for the nv=112n_{v}=112 vortex lattice at spacing d35nmd\approx 35{\rm nm} (B=2TB=2{\rm T}). Disorder parameters are σd=0.2d\sigma_{d}=0.2d and λd=2d\lambda_{d}=2d (cf. Fig. 8), and STM resolution is η=0.005Δ0\eta=0.005\Delta_{0}. Inset: spectra ρj(ω)\rho_{j}(\omega) for several modes, with first three peaks ω1,2,3\omega_{1,2,3} indicated by blue, orange, and green dots. Main: corresponding histogram of peak positions for LDOS spectra of all nvn_{v} vortices, with a zero-bias peak rate of 0.61\sim 0.61.

Motivated by the experimental analysis of Refs. [14, 27], we finally consider the spectral peak statistics in the LDOS of vortex modes. I.e. we here inquire about an ensemble of vortices (nv=112n_{v}=112) that are in the “field of view” of our simulations (viz., the STM in experiment), and deduce the presence or absence of zero- and low-energy modes based on the locations of peaks in the vortex’ LDOS. In Fig. 10 we consider a single vortex lattice and disorder realization, to illustrate how the peak statistics are obtained. First, we calculate the vortex LDOS for all nvn_{v} vortices in the lattice, cf. Figs. 8 and 9. The peaks in the vortex LDOS are identified simply by finding its local maxima, and peak heights and locations are indicated for a subset of vortex spectra in the inset of Fig. 10. We then histogram the peak positions ωn\omega_{n}, with the result shown in the main panel of Fig. 10. Overall, after considering several disorder realizations, we find that the peak position distributions tend to be “pyramid-shaped”, with the lowest spectral peaks clustering towards zero energy. One quantity that often is quoted in STM studies of the vortex LDOS is the zero-bias peak rate (ZBPR), i.e., the fraction of vortices that shows a zero-energy peak. For the parameters considered here, we find ZBPR0.61{\rm ZBPR}\approx 0.61.

Refer to caption
Figure 11: LDOS peak statistics for the nv=112n_{v}=112 lattice at spacing d35nm,28nmd\approx 35{\rm nm},~{}28{\rm nm} (B=2T,3TB=2{\rm T},~{}3{\rm T}); parameters are λd=2\lambda_{d}=2 and σd[0.05,0.2]\sigma_{d}\in[0.05,0.2], and η=0.005Δ0\eta=0.005\Delta_{0}. Data averaged over 5050 disorder realizations. Solid and dashed lines show peak positions ω1,2\omega_{1,2} respectively, cf. Fig. 10. For an initial near-gapless system (left), increasing disorder σd\sigma_{d} gradually increases the rate of low- and zero-energy peaks (ZBPR, box). In an initial gapped system (right), strong disorder is required to generate any zero-energy peaks. These observations are consistent with the data and discussion of Fig. 9.

Beyond a single disorder realization, we consider the disorder-averaged LDOS peak statistics shown in Fig. 11. Here we find clear evidence for the pyramid-shaped distribution of LDOS peak positions. As mentioned in the discussion of our non-disordered vortex lattice results, cf. Sec. 3.3 and Fig. 5, we can partially attribute them to the fanning out of the Majorana and CdGM bands in the triangular lattice model. Ultimately what is behind this is not the specific form of model or disorder, but rather the generic fact that (Majorana) fermions on a triangular lattice are frustrated. As expected based on the behavior of the averaged LDOS, cf. Fig. 9, the ZBPR increases significantly only when the non-disordered system already is close to a gapless state (for vortex spacing close to a node of the MVM hybridization oscilllation). If the system is initially strongly gapped, it takes rather strong disorder to generate any vortices that show zero-bias peaks in their LDOS. For dv28nmd_{v}\approx 28{\rm nm}, this means a disorder variance as large as σd=0.2\sigma_{d}=0.2, see Fig. 11.
We thus conclude this section by emphasizing that a key feature of vortex modes in experiments [14, 27], i.e. pyramid-shaped low-energy peak distributions, are recovered in our model. In agreement with the analysis of Refs. [14, 27], it was sufficient to include simple positional disorder of vortices as opposed to chemical or other disorder effects.

4 Majorana-only model

A simplified approach to the disordered vortex lattice problem can be formulated in terms of a Majorana tight-binding model that considers only low-lying (Majorana) degrees of freedom. This is defined by the Hamiltonian

H=ij,ktjkγjγk,H=i\sum_{j,k}t_{jk}\gamma_{j}\gamma_{k}~{}, (26)

where γj=γj\gamma_{j}=\gamma_{j}^{\dagger} denotes the Majorana operator representing the zero mode at vortex position 𝐫j{\bf r}_{j} and tjkt_{jk} is a real antisymmetric matrix encoding the associated tunneling amplitudes. In appropriate limits, i.e. at energies well below the CdGM modes (ωΔ2/μ\omega\ll\Delta^{2}/\mu) and not too high density of vortices, this simpler model should qualitatively reproduce earlier results of Sec. 3 and Ref. [27]. As a major benefit, the implementation of the tight-binding problem is transparent and straight-forward, and allows us to easily consider thousands of Majorana modes (vortices) in the lattice. For useful references on practical aspects in the implementation of Majorana lattice models, see Refs. [24, 33, 34, 35, 36, 37, 38] that are used extensively in this section. Given the relative simplicity of a Majorana-only model, it also lends itself towards future research on interaction effects in disordered Majorana lattices [37, 38, 39, 40, 41, 42].

4.1 Setup of the Majorana lattice model

Here we show how to set up the basic Majorana lattice model, to which one can introduce a tunable degree of positional disorder as discussed in Sec. 3.4. A simple way to implement a triangular lattice is to choose a two-site unit cell of “aa” and “bb” Majorana vortex modes (MVMs). Their relative positions in the unit cell are given as

𝜹a=(0,0),𝜹b=(dx/2,dy/2),{\bm{\delta}}_{a}=(0,0)~{}~{},~{}{\bm{\delta}}_{b}=(dx/2,dy/2)~{},

with dx=1dx=1 and dy=3dy=\sqrt{3}. The lattice translation vectors 𝑹x=(dx,0),𝑹y=(0,dy)\bm{R}_{x}=(dx,0),\bm{R}_{y}=(0,dy) span a rectangular lattice of this two-site unit cell. MVM positions are thus labelled by two integers, nxn_{x} and nyn_{y}, and their “flavor” aa or bb:

𝒓=nx𝑹x+ny𝑹y+𝜹a/b.{\bm{r}}=n_{x}\bm{R}_{x}+n_{y}\bm{R}_{y}+{\bm{\delta}}_{a/b}~{}. (27)

Aside from the form and choice of disorder, cf. Sec. 3.4, there is only one ingredient to the model. The Majorana hybridization tjkt_{jk} between MVMs localized at 𝒓j{\bm{r}}_{j} and 𝒓k{\bm{r}}_{k} follows from the well-established analytical form [32, 38, 24, 27]

tjk=thyb(𝒓jk)=tmat(rjk)sin(ωjk),t_{jk}=t_{\rm hyb}({\bm{r}}_{jk})=t_{\rm mat}(r_{jk})\sin(\omega_{jk})~{}, (28)

where tmat(rjk)t_{\rm mat}(r_{jk}) denotes a material-dependent Majorana hybridization, and the sin(ωjk)\sin(\omega_{jk}) factor captures geometric vortex lattice phases. Note that tmatt_{\rm mat} depends only on the relative distance rjk=|𝒓j𝒓k|r_{jk}=|{\bm{r}}_{j}-{\bm{r}}_{k}| between the MVMs. We first specify the materials-dependent part, cf. Eq. (22),

tmat(rjk)=t0cos(kFrjk+θ)rjkerjk/ξ,t_{\rm mat}(r_{jk})=t_{0}\frac{\cos(k_{F}r_{jk}+\theta)}{\sqrt{r_{jk}}}e^{-r_{jk}/\xi}~{}, (29)

with Fermi momentum kFk_{F}, a phase θ\theta, and coherence length ξ\xi. The bare tunneling amplitude t0t_{0} sets the overall energy scale of the model; we henceforth put t0=2Δ0t_{0}=2\Delta_{0} (=3.8=3.8 meV), cf. the discussion in Sec. 3.3. This will allow us to make quantitative comparisons with results in Sec. 3. According to Table 1, we further take kF1=5nmk_{F}^{-1}=5{\rm nm}, θ=π/4\theta=\pi/4 (or θ1.4\theta\approx 1.4), and ξ=13.9nm\xi=13.9{\rm nm}. Below we measure all distances in nanometer (nm{\rm nm}), and scale the lattices with the characteristic inter-vortex distance dd. Note that d=1580nmd=15-80{\rm nm} in experiments [27, 14].

Now consider the geometric vortex lattice phases, entering via ωjk\omega_{jk} in Eq. (28). The simplest way to evaluate ωjk\omega_{jk} is by following the Grosfeld-Stern (GS) rule [35], which strictly only holds for regular lattices like the triangular or square lattice cases considered in Refs. [24, 38]. Here we assume that the GS rule also applies in moderately disordered lattices, and discuss possible deviations. Taking the results of Refs. [24, 38] and including next-neighbor hopping, we obtain the phase assignments shown in Fig. 12.

Refer to caption
Figure 12: Triangular lattice, represented as a rectangular Bravais lattice with two-site unit cell (dashed box) of aa (red) and bb (blue) MVMs. Black arrows indicate the displacement vector between aa and bb MVM as well as lattice translation vectors. Colored arrows indicate GS phases ±i\pm i assigned when tunneling along links with/against the direction of the arrow [35, 24]. Left: for tunneling between neighboring MVMs; red and blue arrows indicate all unique tunneling phases, while grey arrows are related by lattice translations. Going counter-clockwise around any plaquette of the lattice, one consistently obtains a phase of +i+i indicative of a physical flux π/2\pi/2 piercing that area. This gives the correct flux π\pi per MVM, each taking up two triangles of the lattice. Right: orange and teal arrows indicate next-neighbor hoppings with associated phases; these follow from neighbor hopping phases, by considering the grey arrows. Again each loop of two gray plus one colored arrows gives a total phase +i+i, consistent with the enclosed flux.

For disordered lattices and without including phase factors ωjk\omega_{jk} beyond the GS rule, we have to argue whether we can trust our numerical results at least qualitatively. Inspecting Eq. (28), the main effect of phases ωjk\omega_{jk} different than those in the regular lattice will be to further modulate and randomize couplings tjkt_{jk}. Also local fluctuations of physical parameters kFk_{F}, θ\theta, and ξ\xi will tend to randomize the couplings tjkt_{jk}. Introducing just one source of randomness and one way in which it enters, namely the positions of MVMs and their separations entering tjkt_{jk}, might underestimate the effect of disorder. Conversely, to capture the experimentally observed effects, we might have to increase the disorder strength to larger values than naively expected. Still this allows for a significant computational simplification since calculating the tunneling amplitudes only requires knowing the distances between MVMs, Eq. (29), while to calculate ωjk\omega_{jk} exactly one has to consider the full MVM lattice arrangement. We have also repeated the analysis of the disordered triangular lattice as in Sec. 3.4 and Fig. 7, but now using the base triangular lattice defined by Eq. (27). While we here do not provide an additional figure, note that since for the Majorana-only model we are able to go to significantly larger vortex lattices, the effects of employing PBC on a torus are much less visible. Further the embedding problem is completely avoided in the Majorana-only model, since there is no underlying materials lattice.

Let us also note that in earlier work, Kraus and Stern [33] and Laumann et al. [34] considered the case of disordered tunneling amplitudes and phases in Majorana lattices; these were simply picked as random variables. Naturally it would be easy for us to do the same, and pick the phase values ωjk\omega_{jk} according to some random distribution. However we do not expect to gain much additional insight from this. Rather, here we take into account fluctuating MVM separations as motivated from and observed in the recent experiments [14, 27]. Still it will be instructive to compare our results with those obtained in Refs. [33, 34].

4.2 MVM lattice simulation and observables

With the setup of the Majorana lattice in Secs. 4.1 and 3.4, Figs. 12 and 7, we now calculate GS phase factors and tunneling amplitudes according to Eq. (28). It is useful to rewrite the Majorana tight-binding Hamiltonian (26) as

H=iγ^Th^γ^,H=i\hat{\gamma}^{T}\hat{h}\hat{\gamma}~{}, (30)

with Majorana vectors γ^T=(γ1,,γ2N)\hat{\gamma}^{T}=(\gamma_{1},...,\gamma_{2N}), and h^\hat{h} a real anti-symmetric matrix with entries tjkt_{jk} in Eq. (28). After a Schur decomposition of the matrix h^\hat{h} into real, anti-symmetric 2×22\times 2 blocks on its diagonal [8], one obtains

H=iγ~Th~γ~=m=0N12εmiγ~2mγ~2m+1,H=i\tilde{\gamma}^{T}\tilde{h}\tilde{\gamma}=\sum_{m=0}^{N-1}2\varepsilon_{m}i\tilde{\gamma}_{2m}\tilde{\gamma}_{2m+1}~{}, (31)

where h~=Oh^OT\tilde{h}=O\hat{h}O^{T} and γ~=Oγ^\tilde{\gamma}=O\hat{\gamma} with orthogonal matrix OO. The pairs γ~2m,γ~2m+1\tilde{\gamma}_{2m},~{}\tilde{\gamma}_{2m+1} then define NN complex fermions cm=γ~2m+iγ~2m+1c_{m}=\tilde{\gamma}_{2m}+i\tilde{\gamma}_{2m+1}, and H=mεm(cmcm12)H=\sum_{m}\varepsilon_{m}(c_{m}^{\dagger}c_{m}-\frac{1}{2}). One can now bin and plot the energy eigenvalues εm\varepsilon_{m}, averaged over disorder realizations or with varying σd\sigma_{d} and λd\lambda_{d}, to compare with the earlier results of Refs. [33, 34].

For us more interestingly, we can obtain the Greens and spectral functions for the original Majoranas γj\gamma_{j} by using the above transformation OO. The local spectral density of γj\gamma_{j} is what is measured by an STM tunneling experiment [14, 15, 16] into the MVM and vortex at position 𝒓j{\bm{r}}_{j}. Let us consider the Lehmann representation of the retarded Majorana Greens function (GF), at zero temperature,

GjR(ω)=n[|n|γj|0|2ω+E0En+iη+(E0En)],G_{j}^{R}(\omega)=\sum_{n}\left[\frac{|\langle n|\gamma_{j}|0\rangle|^{2}}{\omega+E_{0}-E_{n}+i\eta}+(E_{0}\leftrightarrow E_{n})\right]~{}, (32)

where |n|n\rangle is the many-body (MB) eigenstate at energy EnE_{n}, and |0|0\rangle is the ground state. To relate to eigenvalues εm\varepsilon_{m}, we write γj\gamma_{j} via γj~\tilde{\gamma_{j}} in terms of complex fermions cmc_{m},

γj=m=0N1(ψmjcm+ψmjcm).\gamma_{j}=\sum_{m=0}^{N-1}(\psi_{mj}c_{m}+\psi_{mj}^{\ast}c_{m}^{\dagger})~{}.

Here ψmj=12(O2m,jiO2m+1,j)\psi_{mj}=\frac{1}{2}(O_{2m,j}-iO_{2m+1,j}) is derived from the above orthogonal transformation OO. Since we are dealing with a single-particle problem, the MB states are product states |n=|n0nN1|n\rangle=|n_{0}\cdots n_{N-1}\rangle. For the MB ground state |0|0\rangle, each fermion is filled or empty depending on the sign of the corresponding energy εm\varepsilon_{m}. Applying γj\gamma_{j} to |0|0\rangle, either cmc_{m} or cmc_{m}^{\dagger} thus annihilate the state. For the mmth term in the sum, matrix elements in Eq. (32) hence evaluate as

|n|(ψmjcm+ψmjcm)|0|2=|ψmj|2|n|cm|0+n|cm|0|2.|\langle n|(\psi_{mj}c_{m}+\psi_{mj}^{\ast}c_{m}^{\dagger})|0\rangle|^{2}=|\psi_{mj}|^{2}|\langle n|c_{m}|0\rangle+\langle n|c_{m}^{\dagger}|0\rangle|^{2}.

If we remove or add an electron from/to the ground state (first/second term), the energy is lowered/raised by εm\varepsilon_{m}, giving E0En=εmE_{0}-E_{n}=\mp\varepsilon_{m}. Since we consider a particle-hole symmetric form for the GF, adding E0EnE_{0}\leftrightarrow E_{n} in Eq. (32), energy denominators with either sign are present in the final result. Hence the retarded Majorana GF for modes γj\gamma_{j} reads

GjR(ω)=m|ψmj|2[1ωεm+iη+1ω+εm+iη].G_{j}^{R}(\omega)=\sum_{m}|\psi_{mj}|^{2}\left[\frac{1}{\omega-\varepsilon_{m}+i\eta}+\frac{1}{\omega+\varepsilon_{m}+i\eta}\right]. (33)

We thus obtain a symmetrized sum of retarded GFs of the systems’ eigenmodes cmc_{m}, weighted by their amplitudes |ψmj|2|\psi_{mj}|^{2} at the MVM lattice site 𝒓j{\bm{r}}_{j}. The associated local spectral function then follows as ρj(ω)=1πImGjR(ω)\rho_{j}(\omega)=-\frac{1}{\pi}{\rm Im}G_{j}^{R}(\omega). Note that in constrast to the LDOS and spatial DOS in the TI-SC model, cf. Sec. 3.2, the Majorana LDOS as defined here is necessarily PH symmetric.

We can now calculate the local spectra ρj(ω)\rho_{j}(\omega) for large lattice sizes (N=LxLyN=L_{x}L_{y} unit cells, 2N2N MVMs, PBC), varying the mean vortex distance dd (magnetic field BB) and disorder parameters σd\sigma_{d} and λd\lambda_{d}. The broadening η\eta here mimics the finite spectral resolution of the STM measurement in experiments, as in Sec. 3. Depending on parameters, we then check how many of the MVMs have zero-bias peaks (zero-bias peak rate, ZBPR), what is the distribution of the lowest and higher-energy peak positions across all vortices, and so on. Having access to large lattices with thousands of MVMs allows us to obtain better statistics than is possible with the more detailed models of Sec. 3 and Ref. [27]. This approach thus should enable us to reproduce some of the experimental observations [14, 15, 16, 18], and provide valuable information on whether the low-energy physics in iron-based SCs can be understood in terms of Majorana vortex modes.

4.3 Results for the Majorana lattice model

Here we discuss some results from the MVM lattice simulations outlined in Secs. 4A-B. The single-particle density of states (DOS) of the model is shown in Fig. 13. We obtain it by binning the energies εm\varepsilon_{m} in Eq. (31), with an average over disorder realizations for fixed parameters σd\sigma_{d} and λd\lambda_{d}, cf. Sec. 3.4, and fixed spacing dd.

Refer to caption
Figure 13: DOS vs energy for a MVM lattice with 2N=18402N=1840 modes at spacing d=45nm,32nm,26nmd=45{\rm nm},~{}32{\rm nm},~{}26{\rm nm} (B1T,2T,3TB\simeq 1{\rm T},~{}2{\rm T},~{}3{\rm T}); disorder parameters are λd=2\lambda_{d}=2 and σd[0,0.25]\sigma_{d}\in[0,0.25]. Each curve is averaged over 500500 disorder realizations. With increasing σd\sigma_{d}, the system gradually becomes gapless and the DOS develops a peak at zero energy. How quickly this happens strongly depends on the value of the spacing dd, for discussion see text.

Comparing to results of Kraus and Stern [33], we find that the DOS in Fig. 13 are qualitatively similar to their random-hopping models with nearest-neighbor terms. While we have a more regular structure of couplings, derived from the underlying near-triangular lattice, this difference does not seem to affect the density of states too much. However we do expect the vortex spacing dd to play an important role, especially for weak disorder when the cosine-modulation of couplings in Eq. (29) is prominently visible. To this end, note that parameters dd and σd\sigma_{d} translate into typical vortex separations r(dσd,d+σd)r\in(d-\sigma_{d},d+\sigma_{d}). Entering these into Eqs. (28)-(29), we notice that if the average vortex spacing dd is tuned close to a node of the oscillating MVM hybridization, couplings tjkt_{jk} will be random both in sign and amplitude. Instead if dd is close to a local maximum (or minimum), introducing a small variance σd\sigma_{d} only scrambles the amplitude but not the sign of tjkt_{jk}’s. As shown in Ref. [33], the two cases are quite different: random-sign models are gapless and show a peak of the DOS at zero energy, while with random amplitude (but fixed sign) the model stays gapped. We hence expect a gapped system, without zero-bias peaks for the local DOS at vortex cores (see below), whenever dd is far from a node of the MVM hybridization and disorder is weak (small σd\sigma_{d} and/or large λd\lambda_{d}). When dd is close to a node, even weak disorder will randomize the signs of couplings and lead to a gapless system with zero-modes in many vortices. Finally, for strong disorder (large σd\sigma_{d}), the precise value of the spacing dd does not matter anymore and typical vortex separations r(dσd,d+σd)r\in(d-\sigma_{d},d+\sigma_{d}) lead to random-sign couplings and hence a gapless system. Indeed the results shown in Fig. 13 reflect these trends. Comparing to results in the TI-SC model of Sec. 3.5, cf. Fig. 9, we find that its low-energy modes show very similar behavior as the Majorana-only model in Fig. 13.

Next we consider the LDOS and spectral peak statistics of MVMs, cf. Sec. 3.5 and Refs. [14, 27]. As discussed in Sec. 4.2 and shown in Fig. 14, calculating the LDOS allows to extract spectral peak frequency histograms and the zero-bias peak rate (ZBPR). When the system becomes gapless and consecutively develops a zero-bias peak in the total DOS of Fig. 13, it also shows a non-zero ZBPR for the LDOS of MVMs. Moreover, we find that the lowest and second-lowest energy peak positions ω1,2\omega_{1,2} generically are distributed in a “pyramid-shape” way in Fig. 14, in accordance with observations in experiment [14] and the more complex models of Sec. 3 and Ref. [27].

Refer to caption
Figure 14: MVM spectra for a vortex lattice with 2N=42002N=4200 modes at spacing d=32nmd=32{\rm nm} (B2TB\simeq 2{\rm T}). Disorder parameters are σd=0.2d\sigma_{d}=0.2d and λd=2d\lambda_{d}=2d (cf. Fig. 7), and STM resolution is η=0.002t0\eta=0.002t_{0}. Inset: spectra ρj(ω)\rho_{j}(\omega) for several modes, with first and second peaks ω1,2\omega_{1,2} indicated by blue and orange dots. Main panel: corresponding histogram of peak positions for all 2N2N modes, with a zero-bias peak rate of 0.54\sim 0.54. Note the pyramid shape of the peak distributions, cf. also Refs. [14, 27].

Beyond a single disorder realization in Fig. 14, we again take disorder averages to analyze trends in the ZBPR and peak statistics upon varying the disorder parameters σd\sigma_{d}, λd\lambda_{d} and spacing dd. This data is shown in Fig. 15.

Refer to caption
Figure 15: MVM peak statistics for a vortex lattice with 2N=18402N=1840 modes at spacing d=32nm,26nmd=32{\rm nm},~{}26{\rm nm} (B2T,3TB\simeq 2{\rm T},~{}3{\rm T}); parameters are λd=2\lambda_{d}=2 and σd[0.05,0.2]\sigma_{d}\in[0.05,0.2], and η=0.002t0\eta=0.002t_{0}. Data is averaged over 500500 disorder realizations. Solid and dashed lines show peak positions ω1,2\omega_{1,2} respectively, cf. Fig. 14. For an initial near-gapless system (left), after jumping to 0.5\sim 0.5 the ZBPR (text box) slowly decreases under stronger disorder. In an initial gapped system (right), increasing σd\sigma_{d} gradually increases the rate of low- and zero-energy peaks. In both cases, increasing disorder causes the peak positions to spread out across a larger range of energies. These observations are consistent with the data and discussion of Fig. 13.

The MVM peak statistics observed in Fig. 15 closely agree with our intuition gained from Fig. 13, and also with the more complex model in Sec. 3.5 and Fig. 11. Generally, disorder broadens spectral features and smears out the distributions of spectral peak positions in Fig. 15. The overall trends depend on whether the system initially, in the absence of disorder, is strongly gapped or close to a gapless state (spacing dd far from or close to a node of the oscillating MVM hybridization, Eq. (29)). If the initial system is near-gapless, disorder quickly closes the gap and leads to an accumulation of spectral peaks at zero energy. Ramping up σd\sigma_{d} then spreads out the spectral weight and actually decreases the ZBPR, which is different from the full TI-SC model in Fig. 11. This may be due to the absence of higher-energy CdGM modes in the Majorana-only model, which otherwise would provide a source from which spectral weight also is transferred to lower energies. For a strongly gapped system, the threshold to generate a finite ZBPR is larger, but the ZBPR increases even for strong disorder. This is more similar to the behavior in the full TI-SC model. Finally at very strong disorder, say σd>0.2d\sigma_{d}>0.2d, the cosine-modulation of the MVM hybridization Eq. (29) becomes inessential. The main trend that determines the ZBPR then is the decay tjkσd,λded/ξ/d\langle t_{jk}\rangle_{\sigma_{d},\lambda_{d}}\sim e^{-d/\xi}/\sqrt{d} of the hybridizations tjkt_{jk} with increasing vortex spacing dd.

Last, we analyze how the ZBPR varies as function of the spacing dd and disorder strength σd\sigma_{d}. The extraction of the ZBPR here proceeds analogous to Figs. 14 and 15, and results are shown in Fig. 16. Naturally the ZBPR also depends on the disorder correlation length λd\lambda_{d} and the peak broadening η\eta (“STM resolution”), and we here pick values that are convenient for illustration purposes.

Refer to caption
Figure 16: Zero-bias peak rate versus disorder strength σd\sigma_{d} and spacing dd for a vortex lattice with 2N=18402N=1840 modes. Data is averaged over 5050 disorder realizations. The disorder correlation length is λd=2d\lambda_{d}=2d, and the broadening η=0.002t0\eta=0.002t_{0}. The red bars indicate spacings d=45nm,32nm,,16.1nmd=45{\rm nm},32{\rm nm},...,16.1{\rm nm}, corresponding to magnetic field strengths B1T,2T,,8TB\simeq 1{\rm T},2{\rm T},...,8{\rm T}. At weak to moderate disorder, the ZBPR clearly follows the underlying MVM hybridization oscillations. At strong disorder, only the general trend to lower ZBPR at smaller dd is retained.

The ZBPR in Fig. 16 for small to intermediate σd\sigma_{d} shows clear signatures of the hybridization oscillations, Eq. (29). Whenever the MVM hybridization is strong the ZBPR is suppressed, and vice versa. For stronger disorder σd0.15d\sigma_{d}\gtrsim 0.15d and large spacing d3060nmd\simeq 30-60{\rm nm} that suppresses the overall energy scales in the system, the ZBPR quickly averages to around 0.40.60.4-0.6. The trend of increasing ZBPR with increasing spacing dd, at strong disorder, is clearly observed in Fig. 16.

Finally, let us relate back to experimental findings. Machida et al. [14] observe an increase in vortex lattice disorder as the magnetic field is ramped up. In terms of our model, we hence should consider an increasing disorder variance σd\sigma_{d} with fixed or decreasing disorder correlation length λd\lambda_{d} as the vortex spacing dd is reduced. In Fig. 16, this means taking some line cut that starts at large dd and small σd\sigma_{d}, and ends at small dd and large σd\sigma_{d}. Likewise one could investigate the effect of a changing broadening η\eta, reflecting the STM resolution in experiment [14, 13, 18, 15, 16, 12]. In this section we set η=0.002t0\eta=0.002t_{0}, which according to our discussion in Figs. 4 and 6 translates to η=0.004Δ07.2μeV\eta=0.004\Delta_{0}\approx 7.2\,\mu eV. This is close to the experimentally quoted ηSTM20μeV\eta_{\rm STM}\approx 20\mu eV. Also note that Ref. [14] employs a more sophisticated peak-fitting procedure than simply checking for maxima in the local spectral density, which effectively enhances their spectral peak resolution to a larger value. Last and more importantly, our simulations are implemented in the zero-temperature limit; here one could also include finite temperature, in form of an additional Gaussian broadening of the spectral peaks.

5 Conclusion and Outlook

Motivated by several recent experimental studies of low-energy vortex bound states in the iron-based superconductor FeTe0.55Se0.45 [12, 13, 14, 15, 16, 18], in this work we investigated Majorana and Caroli-de Gennes-Matricon (CdGM) vortex modes that arise in periodic vortex lattices hosted on the surface of proximitized topological insulators. To this end, we discussed a Fu-Kane type square lattice model [11, 19, 20] that captures the low energy physics of the surface state of a topological insulator proximity-coupled to an ss-wave superconductor, and obviates the need to simulate bulk degrees of freedom [27]. A modified version of the Franz-Tešanović singular gauge transformation [21, 22] then allows us to impose arbitrary vortex arrays in the TI-SC model under periodic boundary conditions which avoids complications arising from gapless modes that would be associated with the samples’ edges.

After checking that our model correctly reproduces the analytical prediction for the Majorana vortex mode hybridization [32], we applied it to the case of regular and disordered triangular vortex lattices. As seen in the more complex model of Ref. [27], we find that both the spatially resolved density of states at fixed energies and local spectra of individual vortices indeed exhibit several features that were observed in experiment [14, 27]. At large vortex lattice spacings (small magnetic fields), a large fraction of vortices exhibits low- or zero-energy spectral peaks. By increasing the applied magnetic field, thus decreasing the average vortex spacing, the hybridization between nearby vortices is increased. Even in the non-disordered case, the Majorana and CdGM modes that are hosted in vortex cores then exhibit a “fanning out” of the associated spectral weight in the vortex LDOS. By comparison with a Majorana-only model, we confirm that this is not an artifact but a physical effect occuring for Majorana fermions on a frustrated lattice. In combination with configuration disorder of the vortex array, at intermediate or small average vortex separations, this leads to “pyramid-shaped” distributions of peak positions in the vortex LDOS. By sampling the vortices in a given lattice configuration and averaged over disorder realizations, we thus find an accumulation of spectral weight (and peaks) towards zero energy. Such statistics of spectral peak positions were analyzed in experiment [14] and recovered also in the more complex model of Chiu et al. [27]. Where overlapping, our results broadly agree with the experimental results of Ref. [14] and theoretical analysis of Ref. [27]. However our models are significantly simpler than that of Chiu et al. [27]. Our description thus potentially allows to go to much larger vortex lattice sizes, and to include effects of interactions, impurities, or quasi-particles. Likewise we could imagine simulating the complex vortex lattice geometries that might be of interest towards Majorana manipulation and topological quantum information processing applications.

There are many interesting experimental setups and future research avenues that can be tackled by means of the modified Franz-Tešanović transformation. Recall that this method relies only on the effective BdG Hamiltonian description of the superconducting lattice model under consideration. A present direction of interest is the simulation of patterned superconducting island arrays that proximitize the two-dimensional electron gas hosted in an InAs quantum well. High-quality samples of such systems recently were grown to serve as a potential platform for 2D Majorana device arrays [6, 5, 43]. In this context, Bøttcher et al. [43] observed a superconductor-metal-insulator transition that is tunable by electrostatic gates and subject to flux commensurability effects in a perpendicular applied magnetic field. While some aspects of the devices’ response were understood in terms of effective scaling theories that apply to SC island arrays [44], a better microscopic description of its physics clearly is desirable if such setups proceed to be used towards the realization of topological quantum computation. We note that Ref. [45] predicted that such Al-InAs superconducting island arrays in an in-plane magnetic field may realize 1D or 2D topological superconducting phases. However, the latter work neglected orbital (out-of-plane) effects of the magnetic field. Also the results of Bøttcher et al. [43] left open several questions as to what is the effect of in-plane fields on transport in 2D arrays, where they observed changed scaling behavior that might be indicative of a transition away from a purely 2D phase.

Further, as an extension of the Majorana lattice model, one can mimic the presence of finite-energy CdGM modes by adding auxiliary coupled Majorana modes at each lattice size. To this end, define two additional MFs χj\chi_{j} and χ~j\tilde{\chi}_{j} for each original Majorana γj\gamma_{j}. The auxiliary modes are “dangling” from the lattice in the sense that they only locally couple to γj\gamma_{j} (and to each other), with a hybridization κΔ02/μ\kappa\sim\Delta_{0}^{2}/\mu reflecting the expected CdGM mode energy. In the local spectral functions of the original modes γj\gamma_{j} this leads to additional satellite peaks, and hence to side-bands in the lattice model, at the correct CdGM mode energies. Coupling additional auxiliary Majoranas at each site may also give a PH-asymmetric LDOS. Note that this way of adding the lowest-energy CdGM modes still results in a simple, sparse Majorana tight-binding model, where the number of involved Majorana fermions and hence the Hamiltonian matrix size has “only” tripled. Hence one still should be able to easily obtain corresponding results as shown in Sec. 4 even for the extended model.
As a technically more challenging extension, we again mention the interacting disordered Majorana lattice models [37, 38, 39, 40, 41, 42]. These might be of interest, e.g., towards the quantification of decoherence and decay channels for quantum information stored in Majorana vortex arrays.

Finally, while here we focused on a positional disorder of the vortex lattice, it will also be worthwhile to consider the effect of spatially varying material parameters. Somewhat surprisingly, the analysis of Machida et al. [14] indicated that vortex locations and the absence or presence of zero-modes do not seem to correlate with variations of the superconducting gap or the local chemical composition of the underlying material. It would be useful to understand why that is the case. To this end, if one imposes a spatially varying SC pairing strength, one should probably solve the vortex lattice problem self-consistently. In a system with homogeneous SC pairing, as considered in the present work, it is known that vortices arrange in a triangular lattice in order to minimize the SC free energy. This will be different if the SC pairing strength fluctuates spatially, since vortices may find local weak-pairing regions in which they can be accommodated more cheaply. Conversely, one might argue that a spatially varying SC pairing strength could be what gives rise to the disordered vortex lattice in the first place (though Ref. [14] seems to indicate otherwise).

Acknowledgements

We acknowledge useful discussion with P. Lopes, E. Lantagne-Hurtubise, O. Can, C.K. Chiu, and T. Liu. This work was supported by NSERC, the Max Planck-UBC-UTokyo Centre for Quantum Materials and the Canada First Research Excellence Fund, Quantum Materials and Future Technologies Program.

Appendix A Modified FT transformation

Here we provide technical details regarding the modified Franz-Tešanović (FT) singular gauge transformation [21, 22] for vortex lattices in SC systems under PBC.

A.1 Calculation of phase factors

First, Maxwell’s equation for the magnetic field in a superconductor with super-current 𝒋{\bm{j}} is

×𝑩=μ0𝒋=μ0nse𝒗s,\begin{split}\nabla\times\bm{B}&=\mu_{0}{\bm{j}}\\ &=\mu_{0}n_{s}e{\bm{v}}_{s},\end{split} (34)

where μ0\mu_{0} is the permeability, and nsn_{s} the carrier density. The super-fluid velocity 𝒗s{\bm{v}}_{s} is defined as

𝒗s=m(12ϕ(𝒓)ec𝑨).{\bm{v}}_{s}=\frac{\hslash}{m}\left(\frac{1}{2}\nabla\phi({\bm{r}})-\frac{e}{\hslash c}\bm{A}\right). (35)

Taking the curl of Eq. (34) and using 𝑩=0\nabla\cdot\bm{B}=0, we get the London equation in the presence of vortices,

𝑩λs22𝑩=Φ02z^jδ(𝒓𝒓j),\bm{B}-\lambda_{s}^{2}\nabla^{2}\bm{B}=\frac{\Phi_{0}}{2}\hat{z}\sum_{j}\delta({\bm{r}}-{\bm{r}}^{j}), (36)

where the jj summation runs over all vortices (both of type A and B), λs=mcμ0nse2\lambda_{s}=\sqrt{\frac{mc}{\mu_{0}n_{s}e^{2}}} is the London penetration depth and Φ0=hce\Phi_{0}=\frac{hc}{e} is the SC flux quantum.

We define superfluid velocities for the A and B vortex groups as 𝒗g=m(ϕgec𝑨)\bm{v}_{g}=\frac{\hslash}{m}\left(\nabla\phi_{g}-\frac{e}{\hslash c}\bm{A}\right) with g=A,Bg=A,B such that 𝒗s=𝒗A+𝒗B2\bm{v}_{s}=\frac{\bm{v}_{A}+\bm{v}_{B}}{2}. The phase factors in Eq. (10) are expressed in terms of superfluid velocities as 𝒱gα(𝒓)=m𝒓𝒓+α𝒗g𝒅𝒓\mathcal{V}_{g}^{\alpha}({\bm{r}})=\frac{m}{\hslash}\int^{{\bm{r}}+\alpha}_{{\bm{r}}}\bm{v}_{g}\cdot\bm{dr}. Using Eq. (36) and following the steps as in Refs. [21, 22], we get the expression for the superfluid velocity 𝒗g\bm{v}_{g} as

𝒗g=2πmd2k(2π)2(i𝒌×z^)[jei𝒌.(𝒓𝒓gj)λs2+k2].\bm{v}_{g}=\frac{2\pi\hslash}{m}\int\frac{d^{2}k}{(2\pi)^{2}}\left(i\bm{k}\times\hat{z}\right)\left[\frac{\sum_{j}\textrm{e}^{i\bm{k}.({\bm{r}}-{\bm{r}}_{g}^{j})}}{\lambda_{s}^{-2}+k^{2}}\right]. (37)

In this equation, it is implicit that the sum runs over all vortex positions 𝒓gj{\bm{r}}^{j}_{g} of type gg for an infinite lattice. The infinite lattice comprises magnetic unit cells of dimensions L×LL\times L repeating periodically in space. Taking 𝑮=2πL(nx,ny)\bm{G}=\frac{2\pi}{L}(n_{x},n_{y}) as the reciprocal lattice vector of the magnetic unit, we can discretise the integral in the expression for the superfluid velocity, resulting in

𝒗g=2πmL2𝑮(i𝑮×z^)[jei𝑮.(𝒓𝒓gj)λs2+G2]\bm{v}_{g}=\frac{2\pi\hslash}{mL^{2}}\sum_{\bm{G}}\left(i\bm{G}\times\hat{z}\right)\left[\frac{\sum_{j}\textrm{e}^{i\bm{G}.({\bm{r}}-{\bm{r}}_{g}^{j})}}{\lambda_{s}^{-2}+G^{2}}\right] (38)

The FT phase factors are then calculated as,

𝒱gα(𝒓)=2πL2𝑮,n[i𝑮×z^λs2+G2𝒓𝒓+αei𝑮(𝒓𝒓gn)𝒅𝒓].\mathcal{V}^{\alpha}_{g}({\bm{r}})=\frac{2\pi}{L^{2}}\sum_{\bm{G},n}\left[\frac{i\bm{G}\times\hat{z}}{\lambda_{s}^{-2}+G^{2}}\cdot\int_{{\bm{r}}}^{{\bm{r}}+\alpha}\textrm{e}^{i\bm{G}\cdot({\bm{r}}-{\bm{r}}^{n}_{g}})\bm{dr}\right]. (39)

In principle, the sum in Eq. (39) runs over an infinite number of reciprocal lattice vectors 𝑮\bm{G}. In practice, we employ a soft cutoff of the type eα|G|2/Gmax2e^{-\alpha|G|^{2}/G_{\textrm{max}}^{2}}, where GmaxG_{\textrm{max}} is the maximum norm of reciprocal vectors and α>0\alpha>0 is a constant. The soft cutoff reflects the vortex core size, and is necessary because the London model used to calculate the superfluid velocity assumes a constant SC order parameter amplitude. This is no longer true close to the vortex center.

A.2 Apparent symmetry breaking under PBC

The application of PBC results in subtleties related to the assignment of vortices into A and B sublattice. Here we review two symmetry constraints that must be respected by any physical model, but are broken if one naively applies the FT recipe [21, 23, 22] as introduced above.

A.2.1 Internal gauge symmetry

In the formulation of the FT transformation, the choice of A and B vortex sublattice is entirely arbitrary. For a magnetic unit cell with two or more vortices, upon exchanging the A and B assignment of vortices, physical observables hence must be invariant. Irrespective of the choice of A-B configuration, for example, the spectrum should remain the same. As one can convince oneself, this works fine in the case of two vortices per unit cell. To check the internal gauge symmetry explicitly for a larger number of vortices, we choose a system with four vortices per magnetic unit cell. There are two distinct choices of A-B sub-lattices, dubbed ‘ABAB’ and ‘AABB’, as illustrated in Fig. 2b-c. The internal gauge symmetry now should be preserved in the lattice version of the BdG Hamiltonian [22], cf. Eq. (6). To test this, we calculate the energy eigenvalues for the ABAB and AABB configurations after constructing the Hamiltonian with the phase factors in Eq. (12). As shown in Fig. 17, the two configurations do not exhibit the same eigenvalues. Rather the difference between the two configurations is significant (102\approx 10^{-2}), much larger than any numerical errors. This suggests that for a finite lattice system and under PBC, the internal gauge symmetry is violated if the FT transformation is performed as introduced above [21, 22, 23]. We will have to reconcile and resolve this issue below.

A.2.2 Particle-hole symmetry

By construction, the BdG Hamiltonian is particle-hole symmetric. However in the FT transformation Eq. (8), we have assigned distinct phases ϕA\phi_{A} and ϕB\phi_{B} to the particle and hole blocks of the BdG Hamiltonian. As we will see now, for multiple vortices per unit cell this makes the PH symmetry considerations more complicated. For the four-vortex configurations in Fig. 2b-c the spectrum is PH symmetric, irrespective of whether the spectra for ABAB and AABB labelling match. If we introduce disorder by moving vortices away from their original high-symmetry positions in the magnetic unit cell, see inset of Fig. 17, the PH symmetry breaks down. The in-gap energy eigenvalues for such a disordered configuration are shown in the main panel of Fig. 17. They clearly exhibit strong deviations from PH symmetry.

The spectrum in the BdG formalism is PH symmetric if the Hamiltonian of holes is the time-reversed counterpart of the Hamiltonian of particles. For a random vortex arrangement, if the Hamiltonian of particles and Hamiltonian of holes are not related by an anti-unitary operator, the PH symmetry breaks. Hence, the PH symmetry breaking is related to the choice of gauge in the theory developed until now. Again, we will have to revise the FT transformation, and resolve this issue of apparent PH symmetry breaking.

Refer to caption
Figure 17: Top: energy eigenvalues for a lattice with two equivalent labels of its four vortices, ABAB and AABB in Fig. 2b-c, used in the naive FT transformation of Sec. 2.2. Evidently, the internal gauge symmetry relating the two ways of labelling is broken. The difference between the energy eigenvalues is of the order 101\sim 10^{-1} and is depicted in the superimposed bar graph. Bottom: energy eigenvalues for a vortex lattice with four vortices (inset; A-type in red, B-type in blue). The spectrum clearly does not exhibit PH symmetry, as the eigenvalues (blue) and their TR counterpart (red) do not match. The PH breaking error is of order 102\sim 10^{-2}, see the bar graph. Parameters for the simulations here are Δ0=0.2\Delta_{0}=0.2, μ=0.45\mu=-0.45, λ=1\lambda=1, and m=0.5m=0.5. However, for the observed effects, the exact parameter choice is unimportant.

A.3 Modified FT transformation

Refer to caption
Figure 18: Resolution of internal gauge symmetry (A/B label) and PH symmetry issues. Top: using the modified FT phases now gives the same spectrum irrespective of the choice of A/B label (up to an acceptable error of the order 106\sim 10^{-6}, due to the reciprocal lattice sum cutoff). Bottom: Energy eigenvalues for a distorted vortex configuration (inset), again using the modified FT phases. The eigenvalues (blue) and their TR counterpart (red) now match within a small error (106\sim 10^{-6}). Parameters are the same as in Figs. 17

.

The key to reconcile the apparent PH asymmetry and the dependence of observables on the choice of A/B label lies in understanding the physical constraint governing the choice of the A/B sub-lattice. Electrons and holes on the underlying physical lattice must experience the same magnetic field. For this constraint to hold, the flux threaded through any plaquette of the lattice that is felt by electrons and holes can only differ by multiples of 2π2\pi. This property indeed is built to the FT transformation when it is applied to an infinite system. Upon imposing PBC on the FT-transformed BdG Hamiltonian, we now explicitly need to ensure that the fluxes through the two additional, non-contractible loops in the torus geometry (2D lattice with PBC) obey the same principle. This is in order to obtain a physical lattice with PBC, on which particles and holes experience the same magnetic fields even when traversing around the full circumference of the torus.

Let us begin with the Bloch-transformed BdG Hamiltonian at wave vector 𝒌\bm{k}, i.e. 𝓴=ei𝒌𝒓U1Uei𝒌𝒓\mathcal{H_{\bm{k}}}=e^{-i\bm{k}\cdot\bm{r}}U^{-1}\mathcal{H}Ue^{i\bm{k}\cdot\bm{r}}. Tunneling terms in the particle (A) and hole (B) blocks then acquire modified FT phase factors, which read

𝒱~A/Bα(𝒓)=𝒱A/Bα(𝒓)±kαα,\mathcal{\tilde{V}}_{A/B}^{\alpha}({\bm{r}})=\mathcal{V}_{A/B}^{\alpha}({\bm{r}})\pm k_{\alpha}\cdot\alpha, (40)

where α=δx,δy\alpha=\delta x,~{}\delta y are the hopping directions on the lattice. The problem of defining a PH-symmetric model now translates to finding a wave vector 𝒌\bm{k} for which electrons and holes are subject to the same flux through the non-contractible loops C1,2C_{1,2} on the torus. We then use this wave vector to amend the PBC of the lattice model for both sectors, thus re-casting it to correctly simulate the Γ\Gamma-point 𝒌=(0,0)\bm{k}=(0,0) or any other wave vector we wish to investigate. Recalling that the FT phase factor is related to the superfluid velocity as 𝒱gα(𝒓)=m𝒓𝒓+α𝒗g(𝒓)𝒅𝒓\mathcal{V}_{g}^{\alpha}({\bm{r}})=\frac{m}{\hslash}\int_{{\bm{r}}}^{{\bm{r}}+\alpha}\bm{v}_{g}({\bm{r}})\cdot\bm{dr} with g=A,Bg=A,B (cf. A.1), we obtain the condition

C(m𝒗A(𝒓)+𝒌)𝒅𝒓=C(m𝒗B(𝒓)𝒌)𝒅𝒓.\oint_{C}\left(\frac{m}{\hbar}\bm{v}_{A}({\bm{r}})+\bm{k}\right)\cdot\bm{dr}=\oint_{C}\left(\frac{m}{\hbar}\bm{v}_{B}({\bm{r}})-\bm{k}\right)\cdot\bm{dr}~{}. (41)

With 𝒓0=(0,0){\bm{r}}_{0}=(0,0) as the origin, the integral over loop C1C_{1} runs from 𝒓0=(0,0){\bm{r}}_{0}=(0,0) to 𝒓1=(L,0){\bm{r}}_{1}=(L,0), and the integral over loop C2C_{2} runs from 𝒓0=(0,0){\bm{r}}_{0}=(0,0) to 𝒓2=(0,L){\bm{r}}_{2}=(0,L). We here take Lx=Ly=LL_{x}=L_{y}=L. After integration and further simplification, we obtain the desired wave-vector 𝒌\bm{k} as

𝒌=πLΔ𝒓×𝒛^L.\bm{k}=\frac{\pi}{L}\cdot\frac{\Delta{\bm{r}}\times\hat{\bm{z}}}{L}~{}. (42)

Here Δ𝒓=jA𝒓AjjB𝒓Bj\Delta{\bm{r}}=\sum_{j\in A}{\bm{r}}_{A}^{j}-\sum_{j\in B}{\bm{r}}_{B}^{j}, with jj running over the vortices of type A and B, respectively. The flux that must be threaded through the two non-contractible loops in order to retain a PH-symmetric model can now be evaluated as ϕα=0Lkα𝑑α\phi_{\alpha}=\int_{0}^{L}k_{\alpha}d\alpha, with α=x,y\alpha=x,y. This gives ϕα=πΔrαL\phi_{\alpha}=\pi\frac{\Delta r_{\alpha}}{L}. Implementing these changes then gives us modified FT phases valid for SC systems under PBC that correctly produce PH symmetric spectra.

Let us now revisit the issues identified in Figs. 17-18 and A.2. After incorporating the correction terms in the FT phases, we correctly find spectra that respect the internal gauge symmetry (A/B label) and PH symmetry, see Fig. 18. The reason why the internal gauge symmetry issue is also resolved by the above discussion is that a relabeling of vortices, cf. Fig. 2, shifts the positions of A- and B-type vortices. Hence, relabelling can also affect the flux threaded through the loops on the torus for electrons and holes, if the latter was not correctly compensated in the first place; i.e., the internal gauge symmetry breaking was just PH symmetry breaking in disguise. We can thus use the expressions quoted in Sec. 2.2, see also Eqs. (40) and (42), as a modified FT transformation that correctly describes SC systems under PBC.

References