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

Master equation approach for transport through Majorana zero modes

Jinshuang Jin [email protected] School of Physics, Hangzhou Normal University, Hangzhou, Zhejiang 311121, China    Xin-Qi Li [email protected] Center for Joint Quantum Studies and Department of Physics, School of Science, Tianjin University, Tianjin 300072, China
Abstract

Based on an exact formulation, we present a master equation approach to transport through Majorana zero modes (MZMs). Within the master equation treatment, the occupation dynamics of the regular fermion associated with the MZMs holds a quite different picture from the Bogoliubov–de Gennes (BdG) SS-matrix scattering process, in which the “positive” and “negative” energy states are employed, while the master equation treatment does not involve them at all. Via careful analysis for the structure of the rates and the rate processes governed by the master equation, we reveal the intrinsic connection between both approaches. This connection enables us to better understand the confusing issue of teleportation when the Majorana coupling vanishes. We illustrate the behaviors of transient rates, occupation dynamics and currents. Through the bias voltage dependence, we also show the Markovian condition for the rates, which can extremely simplify the applications in practice. As future perspective, the master equation approach developed in this work can be applied to study important time-dependent phenomena such as photon-assisted tunneling through the MZMs and modulation effect of the Majorana coupling energy.

I Introduction

Majorana zero modes (MZMs) obey non-Abelian statistics and have sound potential for topological quantum computations Kit01131 ; Kit032 ; Nay081083 ; Lei11210502 . The practical realization and identification of MZMs have thus received great interest in both theoretical Lut10077001 ; Ore10177002 ; Fle10180516 ; Sar16035143 ; Vui19061 ; Wu12085415 ; Moo18165302 ; Law09237001 ; Nil08120403 ; Dan20036801 ; Men20036802 and experimental studies Mou121003 ; Den126414 ; Das12887 ; Fin13126406 ; Alb161038 . For identification, existing proposals for transport measurements were largely based on tunneling conductance spectroscopy, employing either a single-lead (two-terminal) setup Fle10180516 ; Sar16035143 ; Vui19061 ; Wu12085415 ; Moo18165302 ; Law09237001 or a more powerful two-lead (three-terminal) setup Nil08120403 ; Wu12085415 ; Moo18165302 ; Law09237001 ; Dan20036801 ; Men20036802 . However, it has been argued that both the zero-bias conductance peak and its quantized value 2e2/h2e^{2}/h are not the ultimate decisive evidences of identifying the existence of MZMs. A key task remaining in this field is to distinguish the MZMs from other possible bound states, e.g., the Andreev bound states, which can also result in similar zero-bias conductance peak.

In addition to the steady-state transport study for such as the zero-bias conductance peak, future study may turn more attention to dynamical aspects associated with the MZMs, which may include problems such as motionally moving the MZMs, modulating the coupling between the MZMs, and photon-assisted tunneling through MZMs, etc. In particular, one may consider to insert all these studies into a transport context, which is anticipated to make the unique dynamics of the MZMs measurable through time-dependent transport currents. For isolated Majorana systems, the theoretical tool of quantum dynamics simulation can be the time-dependent Schrödinger equation. However, for the open system of MZMs coupled to outside environments (e.g. fluctuating background charges and/or transport leads), it is required, usually, to develop a master equation approach such as done in the recent works Lai18054508 ; Hua20165116 , where the dissipative quantum dynamics caused by local noises, transient evolution of the zero-bias conductance peak, and finite bandwidth effect of the leads are numerically investigated.

Indeed, master equation approach is an alternative useful tool for studying transport through mesoscopic systems Bru941076 ; Bru974730 ; Gur9615932 ; Leh02228305 ; Li05066803 ; Li05205304 ; Luo07085325 ; Li11115319 ; Jin08234703 ; Jin10083013 , aside from the well-known Landauer-Büttiker scattering matrix theory Dat95 and the nonequilibrium Green’s function formalism Hau08 . One of the distinct advantages of the master equation approach is its convenience for studying the various statistical properties of transport currents. In transport through the MZMs, the charge transmission channels contain normal and Andreev processes. In steady state, the Bogoliubov–de Gennes (BdG) SS-matrix scattering approach can describe the various channels very clearly. However, in the master equation approach, which describes the occupation dynamics and allows for current calculation, it is unclear how to infer these transport channels. In this work, we carry out explicit results for the master equation and currents of transport through a pair of MZMs. In particular, via careful analysis for the structure of the rates involved in the master equation, we will reveal the intrinsic connection between the master equation and the BdG SS-matrix scattering approach. To the best of our knowledge, this important connection is absent in literature. This connection can also help us to better understand the confusing issue of teleportation when the Majorana coupling vanishes.

The work is organized as follows. In Sec. II we present the main results derived in Appendix A, including the master equation and time-dependent currents. In Sec. III we carry out numerical results for the transient rates and currents, illustrate the bias condition for Markovian approximation, and analyze the steady-state results in detail by a connection with the BdG SS-matrix scattering approach. Finally, summary and discussion are presented in Sec. IV.

Refer to caption
Figure 1: (Color online) Sketch of the two-lead (three-terminal) setup for transport through a pair of MZMs (γL\gamma_{\rm L} and γR\gamma_{\rm R}, with coupling energy εM\varepsilon_{\mbox{\tiny M}}). The two leads are biased by voltages VLV_{\rm L} and VRV_{\rm R} with respect to the Fermi level of the superconductor, while the superconductor is grounded through the third terminal.

II Formulation

For the transport setup of a pair of MZMs coupled to transport leads, the total Hamiltonian consists of three parts,

HT=HS+HB+HSB.H_{\mbox{\tiny T}}=H_{\mbox{\tiny S}}+H_{\mbox{\tiny B}}+H_{\mbox{\tiny SB}}. (1)

The cental TS quantum wire can be described by the low-energy effective Hamiltonian of a pair of MZMs, HS=i2εMγLγR=εM(ff12)H_{\mbox{\tiny S}}=\frac{i}{2}\varepsilon_{\mbox{\tiny M}}\gamma_{\rm L}\gamma_{\rm R}=\varepsilon_{\mbox{\tiny M}}(f^{\dagger}f-\frac{1}{2}), where εM\varepsilon_{\mbox{\tiny M}} is the coupling energy between γL\gamma_{\rm L} and γR\gamma_{\rm R}. The two Majorana fermions are related to a regular fermion through the transformation of γL=(f+f)\gamma_{\rm L}=(f+f^{\dagger}) and γR=i(ff)\gamma_{\rm R}=-i(f-f^{\dagger}), with {γα,γβ}=2δαβ\{\gamma_{\alpha},\gamma_{\beta}\}=2\delta_{\alpha\beta}, γα=γα\gamma^{\dagger}_{\alpha}=\gamma_{\alpha}, and γα2=1\gamma^{2}_{\alpha}=1. The transport leads can be modeled by the noninteracting electron Hamiltonian as HB=αkεαkcαkcαkH_{\mbox{\tiny B}}=\sum_{\alpha k}\varepsilon_{\alpha k}c^{\dagger}_{\alpha k}c_{\alpha k}, with cαk(cαk)c^{\dagger}_{\alpha k}(c_{\alpha k}) the creation (annihilation) operators of the electron in the α\alpha-lead (α=L/R\alpha={\rm L/R}, the left/right lead). The tunnel-coupling between the MZMs and the two leads is described by Zaz11165440 ; Fle10180516 ; Cao12115311 ,

HSB=k(tLkcLkγL+itRkcRkγR+H.c.).\displaystyle H_{\mbox{\tiny SB}}=\sum_{k}\big{(}t_{Lk}c^{\dagger}_{Lk}\gamma_{\rm L}+it_{\rm Rk}c^{\dagger}_{Rk}\gamma_{\rm R}+{\rm H.c.}\big{)}. (2)

Throughout this work, we set =1\hbar=1, unless otherwise stated.

II.1 Exact Formulation of master equation

Let us rewrite the tunnel-coupling Hamiltonian Eq. (2) as

HSB=α(FαQα+H.c.).H_{\mbox{\tiny SB}}=\sum_{\alpha}\big{(}F^{\dagger}_{\alpha}Q_{\alpha}+{\rm H.c.}\big{)}\,. (3)

Here we denoted QLγL=(f+f)=QLQ_{\rm L}\equiv\gamma_{\rm L}=(f+f^{\dagger})=Q^{\dagger}_{\rm L}, QRiγR=ff=QRQ_{\rm R}\equiv i\gamma_{\rm R}=f-f^{\dagger}=-Q^{\dagger}_{\rm R}, and FαktαkcαkF^{\dagger}_{\alpha}\equiv\sum_{k}t_{\alpha k}c^{\dagger}_{\alpha k}. For the convenience of latter presentation, let us also introduce the correlation functions gα+(tτ)=Fα(τ)Fα(t)Bg^{+}_{\alpha}(t-\tau)=\langle F^{\dagger}_{\alpha}(\tau)F_{\alpha}(t)\rangle_{\mbox{\tiny B}} and gα(tτ)=Fα(t)Fα(τ)Bg^{-}_{\alpha}(t-\tau)=\langle F_{\alpha}(t)F^{\dagger}_{\alpha}(\tau)\rangle_{\mbox{\tiny B}}, where B\langle\cdots\rangle_{B} means the thermal average over the reservoir states of the leads. Straightforwardly, one can more explicitly obtain gα±(tτ)=keiεαk(tτ)|tαk|2nα±(εαk)g^{\pm}_{\alpha}(t-\tau)=\sum_{k}e^{-i\varepsilon_{\alpha k}(t-\tau)}\,|t_{\alpha k}|^{2}n^{\pm}_{\alpha}(\varepsilon_{\alpha k}), where nα±n^{\pm}_{\alpha} are the Fermi occupied and empty functions. The sum of these two functions reads as gα(tτ)=keiεαk(tτ)|tαk|2g_{\alpha}(t-\tau)=\sum_{k}e^{-i\varepsilon_{\alpha k}(t-\tau)}\,|t_{\alpha k}|^{2}. Through the Fourier transformation

gα(tτ)\displaystyle g_{\alpha}(t-\tau) =dω2πeiω(tτ)Γα(ω),\displaystyle=\int^{\infty}_{-\infty}\frac{d\omega}{2\pi}\,e^{-i\omega(t-\tau)}\,\Gamma_{\alpha}(\omega)\,, (4a)
gα±(tτ)\displaystyle g^{\pm}_{\alpha}(t-\tau) =dω2πeiω(tτ)Γα±(ω),\displaystyle=\int^{\infty}_{-\infty}\frac{d\omega}{2\pi}\,e^{-i\omega(t-\tau)}\,\Gamma^{\pm}_{\alpha}(\omega)\,, (4b)

we also introduce the corresponding rates Γα(ω)=2πk|tαk|2δ(ωεαk)\Gamma_{\alpha}(\omega)=2\pi\sum_{k}|t_{\alpha k}|^{2}\delta(\omega-\varepsilon_{\alpha k}) and Γα±(ω)=Γα(ω)nα±(ω)\Gamma^{\pm}_{\alpha}(\omega)=\Gamma_{\alpha}(\omega)n^{\pm}_{\alpha}(\omega).

The basic idea of master equation approach to quantum transport is regarding the transport leads as a generalized environment and constructing an equation-of-motion for the reduced state of the central device system, ρ(t)trBρT(t)\rho(t)\equiv{\rm tr}_{\mbox{\tiny B}}\rho_{\mbox{\tiny T}}(t), where the trace is over the states of the transport leads and ρT(t)\rho_{\mbox{\tiny T}}(t) is the total density operator of the device-plus-leads. The starting equation is the Schrödinger equation for the total wavefunction, or, equivalently, the Liouvillian equation for ρT(t)\rho_{\mbox{\tiny T}}(t), ρ˙T(t)=i[HT,ρT(t)]\dot{\rho}_{\mbox{\tiny T}}(t)=-i[H_{\mbox{\tiny T}},\rho_{\mbox{\tiny T}}(t)]. Performing the trace trB(){\rm tr}_{\mbox{\tiny B}}(\cdots) on two sides of the Liouvillian equation, one obtains

ρ˙(t)\displaystyle\dot{\rho}(t) =i[HS,ρ(t)]iα[Qα,ρα+(t)]iα[Qα,ρα(t)],\displaystyle\!\!=\!\!-i[H_{\mbox{\tiny S}},\rho(t)]\!-\!i\!\sum_{\alpha}[Q_{\alpha},\rho^{+}_{\alpha}\!(t)]\!-\!i\!\sum_{\alpha}[Q^{\dagger}_{\alpha},\rho^{-}_{\alpha}\!(t)], (5)

where the two auxiliary density operators (ADOs) are introduced as

ρα+(t)trB{ρT(t)Fα}andρα(t)trB{FαρT(t)}.\displaystyle\rho^{+}_{\alpha}(t)\!\equiv\!\mbox{tr}_{\mbox{\tiny B}}\{\rho_{\mbox{\tiny T}}(t)F^{\dagger}_{\alpha}\}~{}\text{and}~{}\rho^{-}_{\alpha}(t)\!\equiv\!\mbox{tr}_{\mbox{\tiny B}}\{F_{\alpha}\rho_{\mbox{\tiny T}}(t)\}\,. (6)

They satisfy ρα+(t)=[ρα(t)]\rho^{+}_{\alpha}(t)=[\rho^{-}_{\alpha}(t)]^{\dagger}. By means of a path-integral formulation in the fermionic coherent state representation Jin10083013 , it is possible to express the ADOs ρα±(t)\rho^{\pm}_{\alpha}(t) in terms of the reduced density operator ρ(t)\rho(t). For the MZMs system under study, the detailed derivation is presented in Appendix A and the final result reads as

ρ˙(t)\displaystyle\dot{\rho}(t) =i[HS(t),ρ(t)]+Γ1(t)𝒟[f]ρ(t)+Γ2(t)𝒟[f]ρ(t)\displaystyle=-i[H_{\mbox{\tiny S}}(t),\rho(t)]+\Gamma_{1}(t){\cal D}[f]\rho(t)+\Gamma_{2}(t){\cal D}[f^{\dagger}]\rho(t)
+Υ(t)(fρf+fρf),\displaystyle\quad+\Upsilon(t)\big{(}f\rho f+f^{\dagger}\rho f^{\dagger}\big{)}\,, (7)

where the Lindblad superoperator is defined by 𝒟[A]ρ=AρA12{AA,ρ}{\cal D}[A]\rho=A\rho A^{\dagger}-\frac{1}{2}\{A^{\dagger}A,\rho\} and the time-dependent rates are given by

Γ1(t)\displaystyle\Gamma_{1}(t) α[Γα11(t)+Γα22+(t)]\displaystyle\equiv\sum_{\alpha}\big{[}\Gamma^{-}_{\alpha 11}(t)+\Gamma^{+}_{\alpha 22}(t)\big{]}
α()α[Γα12(t)+Γα21+(t)],\displaystyle\quad-\sum_{\alpha}(-)^{\alpha}\big{[}\Gamma^{-}_{\alpha 12}(t)+\Gamma^{+}_{\alpha 21}(t)\big{]}\,, (8a)
Γ2(t)\displaystyle\Gamma_{2}(t) α[Γα11+(t)+Γα22(t)]\displaystyle\equiv\sum_{\alpha}\big{[}\Gamma^{+}_{\alpha 11}(t)+\Gamma^{-}_{\alpha 22}(t)\big{]}
α()α[Γα12+(t)+Γα21(t)],\displaystyle\quad-\sum_{\alpha}(-)^{\alpha}\big{[}\Gamma^{+}_{\alpha 12}(t)+\Gamma^{-}_{\alpha 21}(t)\big{]}\,, (8b)
Υ(t)\displaystyle\Upsilon(t) =ΓL(t)ΓR(t).\displaystyle=\Gamma_{\rm L}(t)-\Gamma_{\rm R}(t)\,. (8c)

Assuming a wide-band limit approximation for the transport leads, i.e., Γα(ω)Γα\Gamma_{\alpha}(\omega)\rightarrow\Gamma_{\alpha} in Eq. (4), the various individual rates can be more simply expressed as

Γα11+(t)\displaystyle\Gamma^{+}_{\alpha 11}(t) =2Ret0t𝑑τgα+(tτ)u11(t,τ),\displaystyle\!=\!2\,{\rm Re}\!\int_{t_{0}}^{t}\!d\tau\,g^{+}_{\alpha}(t-\tau)u^{\dagger}_{11}(t,\tau), (9a)
Γα22(t)\displaystyle\Gamma^{-}_{\alpha 22}(t) =2Ret0t𝑑τgα(tτ)u11(t,τ),\displaystyle\!=\!2\,{\rm Re}\!\int_{t_{0}}^{t}\!d\tau\,g^{-}_{\alpha}(t-\tau)u_{11}(t,\tau), (9b)
Γα12+(t)\displaystyle\Gamma^{+}_{\alpha 12}(t) =2Ret0t𝑑τgα+(tτ)u12(t,τ),\displaystyle\!=\!2{\rm Re}\int_{t_{0}}^{t}\!d\tau\,g^{+}_{\alpha}(t-\tau)u^{\dagger}_{12}(t,\tau), (9c)
Γα21(t)\displaystyle\Gamma^{-}_{\alpha 21}(t) =2Ret0t𝑑τgα(tτ)u12(t,τ),\displaystyle\!=\!2{\rm Re}\int_{t_{0}}^{t}\!d\tau\,g^{-}_{\alpha}(t-\tau)u_{12}(t,\tau), (9d)
Γα(t)\displaystyle\Gamma_{\alpha}(t) =2Ret0t𝑑τgα(tτ),\displaystyle\!=\!2\,{\rm Re}\!\int_{t_{0}}^{t}\!d\tau\,g_{\alpha}(t-\tau)\,, (9e)
while the other rates can be obtained through the following relations
Γα11(t)\displaystyle\Gamma^{-}_{\alpha 11}(t) =Γα(t)Γα11+(t),\displaystyle=\Gamma_{\alpha}(t)-\Gamma^{+}_{\alpha 11}(t)\,, (9f)
Γα22+(t)\displaystyle\Gamma^{+}_{\alpha 22}(t) =Γα(t)Γα22(t),\displaystyle=\Gamma_{\alpha}(t)-\Gamma^{-}_{\alpha 22}(t)\,, (9g)
Γαij(t)\displaystyle\Gamma^{-}_{\alpha ij}(t) =Γαij+(t),(ij).\displaystyle=-\Gamma^{+}_{\alpha ij}(t),(i\neq j)\,. (9h)

In the above results, the reduced propagators (RPs) for the central MZMs system uij(t,τ)u_{ij}(t,\tau), in terms of a matrix form 𝒖(t,τ)\bm{u}(t,\tau), satisfy the following equation-of-motion

ddt𝒖(t,t0)+(iεM+ΓΓdΓdiεM+Γ)𝒖(t,t0)=0.\displaystyle\frac{d}{dt}{\bm{u}}(t,t_{0})+\!\left(\begin{array}[]{cc}i\varepsilon_{\mbox{\tiny M}}+\Gamma&\Gamma_{\rm d}\\ \Gamma_{\rm d}&-i\varepsilon_{\mbox{\tiny M}}+\Gamma\\ \end{array}\right){\bm{u}}(t,t_{0})\!=\!0\,. (12)

Here we also considered the wide-band limit and introduced that Γ=ΓL+ΓR\Gamma=\Gamma_{\rm L}+\Gamma_{\rm R} and Γd=ΓLΓR\Gamma_{\rm d}=\Gamma_{\rm L}-\Gamma_{\rm R}. Actually, 𝒖(t,t0){\bm{u}}(t,t_{0}) is nothing but the superconductor Green’s function (GF) matrix, specified here for the MZMs coupled the transport leads. Therefore, for the normal GFs (the diagonal elements), we have u11(t0,t0)=u22(t0,t0)=1u_{11}(t_{0},t_{0})=u_{22}(t_{0},t_{0})=1; and for the anomalous GFs (the off-diagonal elements), we have u12(t0,t0)=u21(t0,t0)=0u_{12}(t_{0},t_{0})=u_{21}(t_{0},t_{0})=0. Moreover, we have u11(t,t0)=u22(t,t0){u}^{\dagger}_{11}(t,t_{0})={u}_{22}(t,t_{0}) and u12(t,t0)=u21(t,t0){u}^{\dagger}_{12}(t,t_{0})={u}_{21}(t,t_{0}).

Owing to the symmetry properties of the 𝒖(t,t0){\bm{u}}(t,t_{0}) matrix, from Eq. (9c) and (9d), one can prove that Γα12+(t)=Γα21(t)\Gamma^{+}_{\alpha 12}(t)=-\Gamma^{-}_{\alpha 21}(t). Together with Eq. (9h), we then have Γα12±(t)=Γα21±(t)\Gamma^{\pm}_{\alpha 12}(t)=\Gamma^{\pm}_{\alpha 21}(t). Remarkably, for the master equation, the total rates Γ1(t)\Gamma_{1}(t) and Γ2(t)\Gamma_{2}(t) of Eq. (8) are determined only by the sum of the diagonal rates Γα11/22±(t)\Gamma^{\pm}_{\alpha 11/22}(t). The off-diagonal rates Γα12/21±(t)\Gamma^{\pm}_{\alpha 12/21}(t) have no effect on the state evolution. However, as we will see later, the off-diagonal rates have important contribution to the transport currents.

So far, we have presented the main results of the master equation, i.e., Eq. (II.1) and the various rates associated. This master equation is applicable for arbitrary coupling strengths and bias voltages. In general, the nature of this master equation is non-Markovian, as explicitly reflected by the time-dependent rates in Eq. (9).

Markovian Limit.— As the usual treatment, one may consider the Markovian approximation which is characterized by time independent decohrence/dissipative rates. The Markovian approximation is largely associated with taking a long time limit for the transient rates. As is well known, in most cases, this treatment is very successful. Now, in this work, let us consider the Markovian approximation by taking the long time limit (tt\rightarrow\infty) for the transient rates given by Eqs. (9). We obtain

Γα11±\displaystyle\Gamma^{\pm}_{\alpha 11} =Γα𝑑ωnα(±)(ω)A11(ω),\displaystyle=\Gamma_{\alpha}\!\int\!d\omega\,n^{(\pm)}_{\alpha}(\omega)A_{11}(\omega), (13a)
Γα22±\displaystyle\Gamma^{\pm}_{\alpha 22} =Γα𝑑ωnα(±)(ω)A22(ω),\displaystyle=\Gamma_{\alpha}\!\int\!d\omega\,n^{(\pm)}_{\alpha}(\omega)A_{22}(\omega), (13b)
Γα12+\displaystyle\Gamma^{+}_{\alpha 12} =Γα12=Γα𝑑ωnα(+)(ω)A12(ω).\displaystyle=-\Gamma^{-}_{\alpha 12}=\Gamma_{\alpha}\!\int\!d\omega\,n^{(+)}_{\alpha}(\omega)A_{12}(\omega). (13c)

Here, precisely following the Green’s function theory, we defined the spectral function through

𝑨(ω)=1πRe[𝒖(ω)],{\bm{A}}(\omega)=\frac{1}{\pi}{\rm Re}[{\bm{u}}(\omega)]\,, (14)

while 𝒖(ω){\bm{u}}(\omega) is the Fourier transformation of the Green’s function matrix 𝒖(t){\bm{u}}(t) in time domain, i.e., 𝒖(ω)=0𝑑teiωt𝒖(t){\bm{u}}(\omega)=\int_{0}^{\infty}\!dte^{i\omega t}{\bm{u}}(t). Here the initial condition of 𝒖(t){\bm{u}}(t) has been considered, which makes the Fourier and Laplace transformations identical. From Eq. (12), performing a Laplace transformation, we obtain the solution in frequency domain as

𝒖(ω)=iZ(ω+εM+iΓiΓdiΓdωεM+iΓ),\displaystyle{\bm{u}}(\omega)=\frac{i}{Z}\left(\begin{array}[]{cc}\omega+\varepsilon_{\mbox{\tiny M}}+i\Gamma&-i\Gamma_{\rm d}\\ -i\Gamma_{\rm d}&\omega-\varepsilon_{\mbox{\tiny M}}+i\Gamma\\ \end{array}\right)\,, (17)

where Z=(ω+εM+iΓ)(ωεM+iΓ)+Γd2Z=(\omega+\varepsilon_{\mbox{\tiny M}}+i\Gamma)(\omega-\varepsilon_{\mbox{\tiny M}}+i\Gamma)+\Gamma_{\rm d}^{2}. Then, the spectral functions are obtained as

A11(ω)\displaystyle A_{11}(\omega) =Γ[(ω+εM)2+4ΓLΓR]π|Z|2,\displaystyle=\frac{\Gamma\left[(\omega+\varepsilon_{\mbox{\tiny M}})^{2}+4\Gamma_{\rm L}\Gamma_{\rm R}\right]}{\pi|Z|^{2}}, (18a)
A22(ω)\displaystyle A_{22}(\omega) =Γ[(ωεM)2+4ΓLΓR]π|Z|2,\displaystyle=\frac{\Gamma\left[(\omega-\varepsilon_{\mbox{\tiny M}})^{2}+4\Gamma_{\rm L}\Gamma_{\rm R}\right]}{\pi|Z|^{2}}, (18b)
A12(ω)\displaystyle A_{12}(\omega) =A21(ω)=Γd(ω2εM24ΓLΓR)π|Z|2.\displaystyle=A_{21}(\omega)=\frac{\Gamma_{\rm d}\left(\omega^{2}-\varepsilon_{\mbox{\tiny M}}^{2}-4\Gamma_{\rm L}\Gamma_{\rm R}\right)}{\pi|Z|^{2}}\,. (18c)

In general, the spectral functions hold the properties of 𝑑ωA11/22(ω)=1\!\int\!d\omega\,A_{11/22}(\omega)=1 and 𝑑ωA12(ω)=0\!\int\!d\omega\,A_{12}(\omega)=0.

II.2 Time-Dependent Currents

In master equation approach, the transport currents should be calculated using the reduced density matrix ρ(t)\rho(t). This approach holds, very naturally, the advantage of rendering the obtained currents time dependent. One may notice that using other approaches, such as the non-equilibrium Green’s function approach or the scattering matrix theory, it is very inconvenient (or impossible) to calculate the time-dependent transport currents. Let us start to consider the average of the current operators I^α\hat{I}_{\alpha}. Using the Heisenberg equation, we have I^α=eddtN^α=ie[N^α,HT]\hat{I}_{\alpha}=-e\frac{d}{dt}\hat{N}_{\alpha}=ie[\hat{N}_{\alpha},H_{\mbox{\tiny T}}], where the total electron number operator of lead-α\alpha reads as N^α=kcαkcαk\hat{N}_{\alpha}=\sum_{k}c^{\dagger}_{\alpha k}c_{\alpha k}. Then, we obtain

I^α=ie(QαFαFαQα),\displaystyle\hat{I}_{\alpha}=-ie\big{(}Q^{\dagger}_{\alpha}F_{\alpha}-F^{\dagger}_{\alpha}Q_{\alpha}\big{)}, (19)

The current in lead-α\alpha is Iα(t)I^αT=TrT[I^αρT(t)]I_{\alpha}(t)\equiv\langle\hat{I}_{\alpha}\big{\rangle}_{\rm T}={\rm Tr}_{\rm T}[\hat{I}_{\alpha}\rho_{\mbox{\tiny T}}(t)], where the average is over the total states of the whole system-plus-leads, i.e., TrTtrStrB{\rm Tr}_{\rm T}\equiv{\rm tr}_{\mbox{\tiny S}}{\rm tr}_{\mbox{\tiny B}}. Further, we reexpress the current in terms of the ADOs

Iα(t)\displaystyle I_{\alpha}(t) =ietrS[Qαρα(t)ρα+(t)Qα].\displaystyle=-ie\,{\rm tr}_{\mbox{\tiny S}}\big{[}Q^{\dagger}_{\alpha}\rho^{-}_{\alpha}(t)-\rho^{+}_{\alpha}(t)Q_{\alpha}\big{]}\,. (20)

As mentioned above and demonstrated in Appendix A, the ADOs ρα±(t)\rho^{\pm}_{\alpha}(t) can be expressed in terms of the reduced density matrix ρ(t)\rho(t), see Eq. (74). Then, the current is obtained as

Iα(t)\displaystyle I_{\alpha}(t) =Iα11(t)+Iα22(t)+()αIα12(t)+()αIα21(t),\displaystyle\!=\!I_{\alpha 11}(t)\!+\!I_{\alpha 22}(t)\!+\!(\!-\!)^{\alpha}I_{\alpha 12}(t)\!+\!(\!-\!)^{\alpha}I_{\alpha 21}(t)\,, (21)

with the various component currents explicitly given by

Iα11(t)\displaystyle I_{\alpha 11}(t) =e[Γα11+(t)ρ00(t)Γα11(t)ρ11(t)],\displaystyle=e\Big{[}\Gamma^{+}_{\alpha 11}(t)\rho_{00}(t)-\Gamma^{-}_{\alpha 11}(t)\rho_{11}(t)\Big{]}, (22a)
Iα22(t)\displaystyle I_{\alpha 22}(t) =e[Γα22+(t)ρ11(t)Γα22(t)ρ00(t)],\displaystyle=e\Big{[}\Gamma^{+}_{\alpha 22}(t)\rho_{11}(t)-\Gamma^{-}_{\alpha 22}(t)\rho_{00}(t)\Big{]}, (22b)
Iα12(t)\displaystyle I_{\alpha 12}(t) =e[Γα12+(t)ρ00(t)Γα12(t)ρ11(t)],\displaystyle=e\left[\Gamma^{+}_{\alpha 12}(t)\rho_{00}(t)-\Gamma^{-}_{\alpha 12}(t)\rho_{11}(t)\right], (22c)
Iα21(t)\displaystyle I_{\alpha 21}(t) =e[Γα21+(t)ρ11(t)Γα21(t)ρ00(t)].\displaystyle=e\left[\Gamma^{+}_{\alpha 21}(t)\rho_{11}(t)-\Gamma^{-}_{\alpha 21}(t)\rho_{00}(t)\right]\,. (22d)

In deriving this result, the elements of the density matrix were defined through ρ11(t)=trS[ffρ(t)]\rho_{11}(t)={\rm tr}_{\mbox{\tiny S}}[f^{\dagger}f\rho(t)] and ρ00(t)=trS[ffρ(t)]\rho_{00}(t)={\rm tr}_{\mbox{\tiny S}}[ff^{\dagger}\rho(t)]. In practice, they should be solved from Eq. (II.1). The various rates, Γαij±(t)\Gamma^{\pm}_{\alpha ij}(t), are those given by Eq. (9). Noting that Γα12±(t)=Γα21±(t)\Gamma^{\pm}_{\alpha 12}(t)=\Gamma^{\pm}_{\alpha 21}(t), we thus have Iα12(t)=Iα21(t)I_{\alpha 12}(t)=I_{\alpha 21}(t).

In terms of rate process, which applies also to understanding the above master equation, the physical meaning of the various current components can be understood as follow. (i) In the current Iα11(t)I_{\alpha 11}(t), the first term is associated with normal tunneling process of an electron from the α\alpha-lead to the MZMs quasiparticle, while the second term describes the inverse process of the first one. (ii) In the current Iα22(t)I_{\alpha 22}(t), the first term describes the Andreev reflection (AR) process of an electron entering the MZMs from the α\alpha-lead and annihilating the existing quasiparticle, associated with formation of a Cooper pair; and the second term describes the inverse process of the first one, associated with splitting a Cooper pair. (iii) In Iα12(t)I_{\alpha 12}(t), the first term describes another contribution of normal tunneling process of an electron from the α\alpha-lead to the MZMs quasiparticle, while the second term is the inverse process of the first one. (iv) In Iα21(t)I_{\alpha 21}(t), again, the first and second terms describe additional contribution of the AR process and its inverse process, associated with formation and splitting of a Cooper pair, respectively.

Importantly, all the rates in Iα11(t)I_{\alpha 11}(t) and Iα22(t)I_{\alpha 22}(t), i.e., Γα11±\Gamma^{\pm}_{\alpha 11} and Γα22±\Gamma^{\pm}_{\alpha 22}, involves internal self-energy propagation associated with the normal Green’s functions u11(t,τ)u_{11}(t,\tau) and u22(t,τ)u_{22}(t,\tau). By contrast, all the rates in Iα12(t)I_{\alpha 12}(t) and Iα21(t)I_{\alpha 21}(t), i.e., Γα12±\Gamma^{\pm}_{\alpha 12} and Γα21±\Gamma^{\pm}_{\alpha 21}, involves internal self-energy propagation associated with the anomalous Green’s functions u12(t,τ)u_{12}(t,\tau) and u21(t,τ)u_{21}(t,\tau).

III Numerical Results and Limiting Case Analysis

III.1 Transient Rates and Currents

The above formal results of master equation and currents can be applied to transport under arbitrary bias voltages. For the two-lead (three-terminal) transport setup, following Ref. Nil08120403, , we simply consider the equally biased voltage of the leads with respect to the chemical potential of the grounded superconductor (which is set as zero), i.e., μL/e=μR/e=V\mu_{\rm L}/e=\mu_{\rm R}/e=V. For this bias setup, the currents flow back to the leads from the superconductor through the grounded terminal. Between the leads, there is no transmission current from one lead to another.

In Fig. 2(a), we illustrate the transient behavior of the rates. For simplicity, in the numerical studies of this work, we assume the wide-band approximation for the leads. Rather than the usual constant rates, the transient behavior of the rates –even under the wide-band limit–reflects the non-Markovian nature. Using the non-Markovian transient rates, we solve the master equation and calculate the transient current, with the results as shown in Fig. 2(b) and (c) by the solid curves. As an interesting comparison, we also use the asymptotic rates Γαij±(t)\Gamma^{\pm}_{\alpha ij}(t\to\infty) to solve the master equation and calculate the transient current, obtaining the results as shown in Fig. 2(b) and (c) by the dashed curves. From Fig. 2(b), we find that the occupation probability does not differentiate from each other too much. However, in Fig. 2(c), we find that the total current IL(t)I_{\rm L}(t) from the Markovian rates does not reveal any transient behavior. A simple explanation for this result is as follows. The total current IL(t)I_{\rm L}(t) contains two parts: one is from the normal tunneling process, which associates with electron entering the superconductor conditioned on the MZMs unoccupied; another part is from the Andreev reflection process, which is conditioned on the MZMs occupied. Then, the total current becomes free from the occupation of the MZMs.

In Fig. 2(e)-(f), we show the transient behavior of the component currents. As expected, even using the asymptotic rates, the switching-on transient behavior of IL11(t)I_{{\rm L}11}(t) and IL22(t)I_{{\rm L}22}(t) is obvious, in contrast to the total current IL(t)I_{\rm L}(t). We notice that, at the very beginning stage, IL22(t)I_{{\rm L}22}(t) is negative. This is because, under the finite bias voltage VV (not large enough), the empty-occupation of the MZMs allows for happening of the inverse AR process, which splits a Cooper pair and results in occupation of the MZMs and another electron entering the lead from the superconductor, causing thus the negative IL22(t)I_{{\rm L}22}(t) as observed. In Fig. 2(f), we find that the small off-diagonal current components are negative. This can be understood using the negative and very small off-diagonal rates shown in Fig. 2(a). Actually, as to be further analyzed in the following, at large VV limit, the off-diagonal rates will vanish. Thus, the off-diagonal currents will be zero under such limit. Finally, we remark that the results displayed by the solid curves in Fig. 2(e)-(f) are from using the non-Markovian transient rates as shown in Fig. 2(a). The more complicated transient behaviors are owing to the gradual formation of the asymptotic rates, during the rate process dynamics.

Refer to caption

Figure 2: (Color online) Numerical results for the transient rates, occupation probability, and currents. All energies are measured in (arbitrary) unit of Γ0\Gamma_{0}, and the unit of time is 1/Γ01/\Gamma_{0}. Parameters assumed in the simulation are: μL=μR=0.8Γ0\mu_{\rm L}=\mu_{\rm R}=0.8\Gamma_{0} ΓL=2ΓR=0.2Γ0\Gamma_{\rm L}=2\Gamma_{\rm R}=0.2\Gamma_{0}, εM=0.5Γ0\varepsilon_{\mbox{\tiny M}}=0.5\Gamma_{0}, and kBT=0.05Γ0k_{\rm B}T=0.05\Gamma_{0}. The transient rates and occupation probability are shown in (a) and (b); the total left-lead current and the various component currents are shown in (c) and (d)-(f), respectively. For the occupation probability and currents, results from using the exact transient rates (black-solid curves) and using the asymptotic rates (red-dashed curves), are plotted against each other for comparison.

Refer to caption

Figure 3: (Color online) Long-time-limit asymptotic rates as a function of the bias voltage VV, under also the symmetric bias setup μL/e=μR/e=V\mu_{\rm L}/e=\mu_{\rm R}/e=V with respect to the chemical potential of the superconductor. The coupling asymmetry parameter η=ΓL/ΓR\eta=\Gamma_{\rm L}/\Gamma_{\rm R} and the Majorana coupling energy εM\varepsilon_{M} are altered as shown in the figure. The component rates are plotted in (a) and (b), while the total rates Γ1\Gamma_{1} and Γ2\Gamma_{2} are shown in (c) and (d). Parameters used are the same as in Fig. 2.

III.2 Markovian Limit

Markovian approximation can considerably simplify the master equation approach, making it extremely convenient for studying, not only the transport currents, but also current correlations and full-counting statistics. In this subsection, we analyze the conditions for Markovian approximation to the MME.

As briefly shown in Sec. II A, the Markov approximation is largely associated with taking a long-time limit for the transient rates, in present work, which are given by Eqs. (9). Hereafter, let us term the long-time asymptotic rates as Markovian rates. In Fig. 3, we display the behaviors of the Markovian rates, via their dependence on the bias voltage and the coupling asymmetry parameter η=ΓL/ΓR\eta=\Gamma_{\rm L}/\Gamma_{R}. Owing to the a few symmetry properties of the rates Γαij±\Gamma^{\pm}_{\alpha ij}, here we only plot the results of ΓL11/22+\Gamma^{+}_{{\rm L}11/22} and ΓL12+\Gamma^{+}_{{\rm L}12}.

In Fig. 3(a), for the diagonal rates ΓL11/22+\Gamma^{+}_{{\rm L}11/22}, we find that they increase with the bias voltage VV (from negative to positive), while at the large ±V\pm V limits they approach, respectively, saturated values and zero. This bias-voltage dependence can be understood based on the lead-electron-occupation, which determines the integrated range of contribution to the rates. In Fig. 3(b), as an example of the off-diagonal rates, we find an antisymmetric dependence on ±V\pm V. This behavior is determined by the following properties of the off-diagonal element of the spectral function matrix from Eq. (18c), i.e., A12(ω)=A12(ω)A_{12}(\omega)=A_{12}(-\omega) and 𝑑ωA12(ω)=0\int^{\infty}_{-\infty}d\omega A_{12}(\omega)=0. Using them, we can easily prove that ΓL12+(V)+ΓL12+(V)=0\Gamma^{+}_{{\rm L}12}(V)+\Gamma^{+}_{{\rm L}12}(-V)=0. In Fig. 3(c) and (d), we show the total rates Γ1\Gamma_{1} and Γ2\Gamma_{2} which characterize, respectively, the annihilation and creation rates of the MZMs-quasiparticle. For εM=0\varepsilon_{\rm M}=0, we find that the both total rates are bias (VV) independent; while for εM0\varepsilon_{\rm M}\neq 0, they reveal a symmetric dependence on ±V\pm V and take maximum and minimum at V=0V=0 for Γ1\Gamma_{1} and Γ2\Gamma_{2}, respectively. The reason for this behavior is as follows. First, based on Eq. (18c), we know A12(ω)=A21(ω)A_{12}(\omega)=A_{21}(\omega). Then, we can prove that ΓL12(V)+ΓL12+(V)=ΓL𝑑ωA12(ω)=0\Gamma^{-}_{{\rm L}12}(V)+\Gamma^{+}_{{\rm L}12}(V)=\Gamma_{\rm L}\int^{\infty}_{-\infty}d\omega A_{12}(\omega)=0. Second, for εM0\varepsilon_{M}\neq 0, we know that the peaks of A11/22(ω)A_{11/22}(\omega) are centered at ±εM\pm\varepsilon_{M}. Then, we know that ΓL11+(V)\Gamma^{+}_{{\rm L}11}(V) increases with VV later than ΓL22+(V)\Gamma^{+}_{{\rm L}22}(V), when crossing the region around zero bias (from negative to positive). Because of the same reason, ΓL11(V)\Gamma^{-}_{{\rm L}11}(V) decreases with VV earlier than ΓL22(V)\Gamma^{-}_{{\rm L}22}(V), when crossing the region around zero bias. As a result, the total rates, Γ1(V)=ΓL11(V)+ΓL22+(V)\Gamma_{1}(V)=\Gamma^{-}_{{\rm L}11}(V)+\Gamma^{+}_{{\rm L}22}(V) and Γ2(V)=ΓL11+(V)+ΓL22(V)\Gamma_{2}(V)=\Gamma^{+}_{{\rm L}11}(V)+\Gamma^{-}_{{\rm L}22}(V), exhibit the behavior as shown in Fig. 3(c) and (d).

Refer to caption

Figure 4: (Color online) Transient behaviors of the component rates under different bias voltages, indicating the large-bias condition for Markovian approximation. Results for the single-lead setup (η=0\eta=0) are plotted in (a) and (b), while for the two-lead setup (η=ΓL/ΓR=0.5\eta=\Gamma_{\rm L}/\Gamma_{\rm R}=0.5) in (c) and (d). Parameters used in this plot are the same as in Fig. 2.

In Fig. 4 we show further the transient behaviors of the rates under different bias voltages. We see that for small bias voltage, the transient behavior (non-Markovian feature) is remarkable, while with increase of the bias voltage the rates more rapidly approach the (Markovian) asymptotic results. In practice, when the bias voltage is considerably larger than the broadening width, i.e., in the sequential tunneling regime, the Markovian master equation approach should work very well. In Fig. 4(a) and (b), we show the transient behaviors of diagonal and off-diagonal rates for single-lead coupling, while in (c) and (d) for a two-lead coupling configuration. We find qualitatively similar behaviors for both coupling configurations. This is because the rates Γαij±\Gamma^{\pm}_{\alpha ij} are dominantly affected by the Fermi occupation of the α\alpha-lead electrons, while influence of the opposite lead is weakly mediated through the propagating function 𝒖(ω){\bm{u}}(\omega) via the self-energy effect.

Finally, we carry out the analytic results under wide-band and large-bias limits. At large VV limit, μα\mu_{\alpha}\to\infty, we have nα+=1n^{+}_{\alpha}=1 and nα=0n^{-}_{\alpha}=0. Then, straightforwardly, one can prove that gα+(tτ)Γαδ(tτ)g^{+}_{\alpha}(t-\tau)\to\Gamma_{\alpha}\delta(t-\tau), which yields Γα11+=Γα22+=Γα\Gamma^{+}_{\alpha 11}=\Gamma^{+}_{\alpha 22}=\Gamma_{\alpha}. Owing to nα=0n^{-}_{\alpha}=0, we simply have Γαij=0\Gamma^{-}_{\alpha ij}=0. Substituting these results into Eq. (II.1), we obtain a very simple Lindblad-type master equation which, however, contains the central physics of Andreev process associated with the MZMs, and makes the results different from transport through the conventional single-level quantum dot.

III.3 Steady-State Currents: Connection with Other Approaches

Let us introduce the more conventional (retarded) superconductor Green’s functions

G11r(t,τ)\displaystyle G^{r}_{11}(t,\tau) =iΘ(tτ){f(t),f(τ)},\displaystyle\!=\!-i\Theta(t-\tau)\langle\{f(t),f^{\dagger}(\tau)\}\rangle\,, (23a)
G22r(t,τ)\displaystyle G^{r}_{22}(t,\tau) =iΘ(tτ){f(t),f(τ)},\displaystyle\!=\!-i\Theta(t-\tau)\langle\{f^{\dagger}(t),f(\tau)\}\rangle\,, (23b)
G12r(t,τ)\displaystyle G^{r}_{12}(t,\tau) =iΘ(tτ){f(t),f(τ)},\displaystyle\!=\!-i\Theta(t-\tau)\langle\{f(t),f(\tau)\}\rangle\,, (23c)
G21r(t,τ)\displaystyle G^{r}_{21}(t,\tau) =iΘ(tτ){f(t),f(τ)}.\displaystyle\!=\!-i\Theta(t-\tau)\langle\{f^{\dagger}(t),f^{\dagger}(\tau)\}\rangle\,. (23d)

From the equation-of-motion of 𝒖(t,τ){\bm{u}}(t,\tau), i.e., Eq(..), we know that 𝒖(t,τ)=i𝑮r(t,τ){\bm{u}}(t,\tau)=i{\bm{G}}^{r}(t,\tau). Then, the spectral function matrix can expressed as

𝑨(ω)=1πRe[𝒖(ω)]=1πIm[𝑮r(ω)]\displaystyle{\bm{A}}(\omega)=\frac{1}{\pi}{\rm Re}[{\bm{u}}(\omega)]=-\frac{1}{\pi}{\rm Im}[{\bm{G}}^{r}(\omega)] (24)

From the Dyson equation, we have

Im[𝑮r(ω)]=12i[𝑮r(ω)𝑮a(ω)]\displaystyle{\rm Im}[{\bm{G}}^{r}(\omega)]=\frac{1}{2i}[{\bm{G}}^{r}(\omega)-{\bm{G}}^{a}(\omega)]
=i[𝑮r(ω)𝚺~r(ω)𝑮a(ω)]\displaystyle~{}~{}~{}~{}=-i[{\bm{G}}^{r}(\omega)\widetilde{\bm{\Sigma}}^{r}(\omega){\bm{G}}^{a}(\omega)] (25)

The retarded self-energy matrix is given by

𝚺~r(ω)=i2α=L,R[𝚪α(ω)+𝚪α(ω)],\displaystyle\widetilde{\bm{\Sigma}}^{r}(\omega)=-\frac{i}{2}\sum_{\alpha={\rm L,R}}\left[{\bm{\Gamma}_{\alpha}}(\omega)+{\bm{\Gamma}_{\alpha}}(-\omega)\right]\,, (26)

while the rate matrices read as

𝚪L(ω)\displaystyle{\bm{\Gamma}}_{\rm L}(\omega) =ΓL(ω)(1111),\displaystyle={\Gamma}_{\rm L}(\omega)\left(\begin{array}[]{cc}1&1\\ 1&1\\ \end{array}\right), (27c)
𝚪R(ω)\displaystyle{\bm{\Gamma}}_{\rm R}(\omega) =ΓR(ω)(1111).\displaystyle={\Gamma}_{\rm R}(\omega)\left(\begin{array}[]{cc}1&-1\\ -1&1\\ \end{array}\right). (27f)

As to be clear in the following, we may denote 𝚪α(ω)𝚪αe{\bm{\Gamma}}_{\alpha}(\omega)\equiv{\bm{\Gamma}}^{e}_{\alpha} and 𝚪α(ω)𝚪αh{\bm{\Gamma}}_{\alpha}(-\omega)\equiv{\bm{\Gamma}}^{h}_{\alpha}.

Based on Eq. (22), i.e., the time-dependent current formula of the master equation approach, the non-equilibrium Green’s function results of steady-state currents can be easily obtained. As an example, let us consider the steady-state current IL11=ΓL11+ΓLρ¯11I_{\rm L11}=\Gamma^{+}_{\rm L11}-\Gamma_{\rm L}\bar{\rho}_{11}. We have

ΓL11+\displaystyle\Gamma^{+}_{{\rm L}11} =\displaystyle= 2ΓLdω2πnL+(ω)Im[𝑮r(ω)]11,\displaystyle-2\Gamma_{\rm L}\int\frac{d\omega}{2\pi}n^{+}_{\rm L}(\omega){\rm Im}[{\bm{G}}^{r}(\omega)]_{11}\,,
ρ¯11\displaystyle\bar{\rho}_{11} =\displaystyle= dω2πIm[G11<(ω)].\displaystyle\int\frac{d\omega}{2\pi}{\rm Im}[G_{11}^{<}(\omega)]\,. (28)

Here we have applied the relationship between ρ11(t)=trs[ffρ(t)]\rho_{11}(t)={\rm tr}_{\rm s}[f^{\dagger}f\rho(t)] and G11<(t,τ)=if(τ)f(t)G_{11}^{<}(t,\tau)=i\langle f^{\dagger}(\tau)f(t)\rangle. After similar treatment to all the other component currents and applying Eq. (III.3) and the well known Keldysh equation for 𝑮<(ω){\bm{G}}^{<}(\omega), combination (together also with a procedure of symmetrization) of the component currents yields

IL\displaystyle I_{\rm L} =e2hdω{𝒯LRee(ω)[nL+(ω)nR+(ω)]\displaystyle=\frac{e}{2h}\int\!d\omega\big{\{}{\cal T}^{ee}_{\rm LR}(\omega)\big{[}n^{+}_{\rm L}(\omega)-n^{+}_{\rm R}(\omega)\big{]}
+𝒯LRhh(ω)[nR(ω)nL(ω)]}\displaystyle\quad\quad\quad\quad+{\cal T}^{hh}_{\rm LR}(\omega)\big{[}n^{-}_{\rm R}(-\omega)-n^{-}_{\rm L}(-\omega)\big{]}\big{\}}
+e2h𝑑ω[𝒯LLAeh(ω)+𝒯LLAhe(ω)][nL+(ω)nL(ω)]\displaystyle+\frac{e}{2h}\int\!d\omega\big{[}{\cal T}^{eh}_{\rm LLA}(\omega)+{\cal T}^{he}_{\rm LLA}(\omega)\big{]}\big{[}n^{+}_{\rm L}(\omega)-n^{-}_{\rm L}(-\omega)\big{]}
+e2hdω{𝒯LRAeh(ω)[nL+(ω)nR(ω)]\displaystyle+\frac{e}{2h}\int\!d\omega\big{\{}{\cal T}^{eh}_{\rm LRA}(\omega)\big{[}n^{+}_{\rm L}(\omega)-n^{-}_{\rm R}(-\omega)\big{]}
+𝒯LRAhe(ω)[nR+(ω)nL(ω)]}.\displaystyle\quad\quad\quad\quad+{\cal T}^{he}_{\rm LRA}(\omega)\big{[}n^{+}_{\rm R}(\omega)-n^{-}_{\rm L}(-\omega)\big{]}\big{\}}\,. (29)

In this result, the various transmission coefficients are given by

𝒯LLAeh(ω)\displaystyle{\cal T}^{eh}_{\rm LLA}(\omega) =\displaystyle= Tr[𝚪Le𝑮r(ω)𝚪Lh𝑮a(ω)],\displaystyle{\rm Tr}\big{[}{\bm{\Gamma}}^{e}_{\rm L}{\bm{G}}^{r}(\omega){\bm{\Gamma}}^{h}_{\rm L}{\bm{G}}^{a}(\omega)\big{]}\,,
𝒯LLAhe(ω)\displaystyle{\cal T}^{he}_{\rm LLA}(\omega) =\displaystyle= Tr[𝚪Lh𝑮r(ω)𝚪Le𝑮a(ω)],\displaystyle{\rm Tr}\big{[}{\bm{\Gamma}}^{h}_{\rm L}{\bm{G}}^{r}(\omega){\bm{\Gamma}}^{e}_{\rm L}{\bm{G}}^{a}(\omega)\big{]}\,,
𝒯LRee(ω)\displaystyle{\cal T}^{ee}_{\rm LR}(\omega) =\displaystyle= Tr[𝚪Le𝑮r(ω)𝚪Re𝑮a(ω)],\displaystyle{\rm Tr}\big{[}{\bm{\Gamma}}^{e}_{\rm L}{\bm{G}}^{r}(\omega){\bm{\Gamma}}^{e}_{\rm R}{\bm{G}}^{a}(\omega)\big{]}\,,
𝒯LRhh(ω)\displaystyle{\cal T}^{hh}_{\rm LR}(\omega) =\displaystyle= Tr[𝚪Lh𝑮r(ω)𝚪Rh𝑮a(ω)],\displaystyle{\rm Tr}\big{[}{\bm{\Gamma}}^{h}_{\rm L}{\bm{G}}^{r}(\omega){\bm{\Gamma}}^{h}_{\rm R}{\bm{G}}^{a}(\omega)\big{]}\,,
𝒯LRAeh(ω)\displaystyle{\cal T}^{eh}_{\rm LRA}(\omega) =\displaystyle= Tr[𝚪Le𝑮r(ω)𝚪Rh𝑮a(ω)],\displaystyle{\rm Tr}\big{[}{\bm{\Gamma}}^{e}_{\rm L}{\bm{G}}^{r}(\omega){\bm{\Gamma}}^{h}_{\rm R}{\bm{G}}^{a}(\omega)\big{]}\,,
𝒯LRAhe(ω)\displaystyle{\cal T}^{he}_{\rm LRA}(\omega) =\displaystyle= Tr[𝚪Lh𝑮r(ω)𝚪Re𝑮a(ω)].\displaystyle{\rm Tr}\big{[}{\bm{\Gamma}}^{h}_{\rm L}{\bm{G}}^{r}(\omega){\bm{\Gamma}}^{e}_{\rm R}{\bm{G}}^{a}(\omega)\big{]}\,. (30)

The meaning of these transmission coefficients is clear: 𝒯LLAeh(he){\cal T}^{eh(he)}_{\rm LLA} describes the local Andreev-reflection process associated with incidence of an electron (a hole) and reflection of a hole (an electron) in the same (left) lead; 𝒯LRee(hh){\cal T}^{ee(hh)}_{\rm LR} describes the normal transport process of an electron (or a hole) from the left to the right lead; and 𝒯LRAeh(he){\cal T}^{eh(he)}_{\rm LRA} describes the crossed Andreev-reflection process with incidence of an electron (a hole) from the left lead and reflection of a hole (an electron) in the right lead.

We may remark that, when reaching the compact form of the above results, we have properly reorganized the individual contributions in the various component currents. For instance, based on IL=i,j=1,2ILijI_{\rm L}=\sum_{i,j=1,2}I_{{\rm L}ij}, we have performed the following combination of elements from the four component currents

i,j=1,2ΓLe(𝑮r𝚪Re𝑮a)ij\displaystyle\sum_{i,j=1,2}\Gamma^{e}_{\rm L}({\bm{G}}^{r}{\bm{\Gamma}}^{e}_{\rm R}{\bm{G}}^{a})_{ij}
=ΓLe(MR11e+MR21e+MR12e+MR22e)\displaystyle=\Gamma^{e}_{\rm L}\left(M^{e}_{{\rm R}11}+M^{e}_{{\rm R}21}+M^{e}_{{\rm R}12}+M^{e}_{{\rm R}22}\right)
=Tr(𝚪Le𝑴Re)\displaystyle={\rm Tr}({\bm{\Gamma}}^{e}_{\rm L}{\bm{M}}^{e}_{\rm R}) (31)

Here we introduced the 2×22\times 2 matrix 𝑴Re=𝑮r𝚪Re𝑮a{\bm{M}}^{e}_{\rm R}={\bm{G}}^{r}{\bm{\Gamma}}^{e}_{\rm R}{\bm{G}}^{a}. It is also worth noting that the individual elements ΓLeMRije\Gamma^{e}_{\rm L}M^{e}_{{\rm R}ij} in the above combination are from the rate components ΓLij±\Gamma^{\pm}_{{\rm L}ij} in the master equation, i.e., ΓLij±=ΓLe𝑑ωnL±(ω)Aij(ω)\Gamma^{\pm}_{{\rm L}ij}=\Gamma^{e}_{\rm L}\int d\omega n^{\pm}_{{\rm L}}(\omega)A_{ij}(\omega).

Finally, we remark that the electron- and hole-type rates, 𝚪αe/h(±ω){\bm{\Gamma}}^{e/h}_{\alpha}(\pm\omega), are originated from the BdG-type consideration for the original electrons in the leads. Owing to the particle-hole symmetry, the energy replacement of ωω\omega\to-\omega should be made when considering the transformation from an electron to a hole. Therefore, from the original rates, we redefined 𝚪α(ω)=𝚪αe{\bm{\Gamma}}_{\alpha}(\omega)={\bm{\Gamma}}^{e}_{\alpha} and 𝚪α(ω)=𝚪αh{\bm{\Gamma}}_{\alpha}(-\omega)={\bm{\Gamma}}^{h}_{\alpha}. Moreover, associated with this conversion, the electron and hole occupation function are different, i.e., the former is nα+(ω)n^{+}_{\alpha}(\omega) and the latter is nα(ω)n^{-}_{\alpha}(-\omega), as one can find in Eq. (III.3).

In this context, based on Eq. (III.3) and in particular its construction as exemplified by Eq. (III.3) (i.e., the combination of multiple channels), we briefly discuss the issue of teleportation, in an attempt to shed light on the reason of the vanishing of the teleportation channel when εM0\varepsilon_{\mbox{\tiny M}}\to 0. To see this more clearly, let us reexpress the rate matrices in Eq. (27) in terms of the projection operators as

𝚪L\displaystyle{\bm{\Gamma}}_{\rm L} =\displaystyle= 2ΓL|ΦLΦL|,\displaystyle 2\Gamma_{\rm L}|\Phi_{\rm L}\rangle\langle\Phi_{\rm L}|\,,
𝚪R\displaystyle{\bm{\Gamma}}_{\rm R} =\displaystyle= 2ΓR|ΦRΦR|,\displaystyle 2\Gamma_{\rm R}|\Phi_{\rm R}\rangle\langle\Phi_{\rm R}|\,, (32)

where |ΦL/R=(|1±|2)/2|\Phi_{\rm L/R}\rangle=(|1\rangle\pm|2\rangle)/\sqrt{2}, with |1|1\rangle and |2|2\rangle the basis states which support the expression of the matrices in Eq. (27). In terms of the BdG formalism language, they correspond to the positive and negative energy states |E0|E_{0}\rangle and |E0|-E_{0}\rangle, respectively, with E0=εME_{0}=\varepsilon_{\mbox{\tiny M}} the energy of the regular fermion (the ff-particle) associated with the MZMs. Accordingly, the states |ΦL|\Phi_{\rm L}\rangle and ΦR\Phi_{\rm R}\rangle correspond to the left and right Majorana modes.

Based on Eq. (III.3), one can examine that 𝚪L𝑮r(ω)𝚪R0{\bm{\Gamma}}_{\rm L}{\bm{G}}^{r}(\omega){\bm{\Gamma}}_{\rm R}\to 0 at the limit εM0\varepsilon_{\mbox{\tiny M}}\to 0, which is valid for all the eeee, hhhh, eheh and hehe transmission components. Actually, using the explicit solution of Eq. (17), we have ΦL|𝒖|ΦR=u11u22u12+u21=2iεM/Z\langle\Phi_{\rm L}|{\bm{u}}|\Phi_{\rm R}\rangle=u_{11}-u_{22}-u_{12}+u_{21}=2\,i\,\varepsilon_{\mbox{\tiny M}}/Z, while noting that 𝑮r=i𝒖{\bm{G}}^{r}=-i{\bm{u}}. This is the remarkable issue of teleportation vanishing when the Majorana coupling energy approaches to zero, which implies that all the electron transmission and the crossed Andreev-reflection process through a pair of MZMs vanish at the limit εM0\varepsilon_{\mbox{\tiny M}}\to 0.

Here, we would like to point out that this result is a consequence of the combination of multiple transmission channels. It does not involve only a single particle transmission, but involves several different charge configurations. For single transmission process, the vanishing of teleportation does not take place when εM0\varepsilon_{\mbox{\tiny M}}\to 0. For instance, let us look at

ΓLeMR11e=ΓLe1|𝑮r𝚪Re𝑮a|1\displaystyle\Gamma^{e}_{\rm L}M^{e}_{{\rm R}11}=\Gamma^{e}_{\rm L}\langle 1|{\bm{G}}^{r}{\bm{\Gamma}}^{e}_{\rm R}{\bm{G}}^{a}|1\rangle
=2ΓLeΓRe1|𝑮r|ΦRΦR|𝑮a|1.\displaystyle=2\Gamma^{e}_{\rm L}\Gamma^{e}_{\rm R}\langle 1|{\bm{G}}^{r}|\Phi_{\rm R}\rangle\langle\Phi_{\rm R}|{\bm{G}}^{a}|1\rangle\,. (33)

It does not vanish as εM0\varepsilon_{\mbox{\tiny M}}\to 0. Therefor, the result that an electron cannot transmit through a pair of MZMs at the limit εM0\varepsilon_{\mbox{\tiny M}}\to 0 is an effective picture owing to combination of multiple processes. Under large bias condition (i.e., with the bias voltage larger than the zero-energy-level broadening), the multiple processes cannot take place simultaneously. Then, one should not expect the vanishing phenomenon of teleportation.

The result of transmission coefficients given by Eq. (III.3) can be connected with the stationary SS-matrix scattering approach as follows. Let us introduce the SS-matrix (operator) as

𝑺LR(ω)=𝑾L𝑮r(ω)𝑾R,\displaystyle{\bm{S}}_{\rm LR}(\omega)={\bm{W}}_{\rm L}{\bm{G}}^{r}(\omega){\bm{W}}^{\dagger}_{\rm R}\,, (34)

where the two coupling operators between the left/right Majorana modes and the left/right leads are give by

𝑾L\displaystyle{\bm{W}}_{\rm L} =\displaystyle= p=e,hΓL|pLΦL|,\displaystyle\sum_{p=e,h}\sqrt{\Gamma_{\rm L}}\,|p_{\rm L}\rangle\langle\Phi_{\rm L}|\,,
𝑾R\displaystyle{\bm{W}}^{\dagger}_{\rm R} =\displaystyle= q=e,hΓR|ΦRqR|.\displaystyle\sum_{q=e,h}\sqrt{\Gamma_{\rm R}}\,|\Phi_{\rm R}\rangle\langle q_{\rm R}|\,. (35)

Here, pp and qq are introduced to denote the electron and hole states in the left and right leads, respectively. Then, the coefficients of transmission from the left to right leads can be reexpressed in terms of the SS-matrix elements as

𝒯LRpq(ω)=|pL|𝑺LR(ω)|qR|2.\displaystyle{\cal T}^{pq}_{\rm LR}(\omega)=|\langle p_{\rm L}|{\bm{S}}_{\rm LR}(\omega)|q_{\rm R}\rangle|^{2}\,. (36)

All the other coefficients (for the local Andreev reflection) in Eq. (III.3) can be similarly formulated by means of the SS-matrix scattering approach.

IV Summary and Discussion

We have presented a master equation approach for transport through MZMs. The master equation approach will be convenient for studying the various statistical properties of transport currents and important time-dependent phenomena such as photon-assisted tunneling through the MZMs and modulation effect of the Majorana coupling energy. In this initial work, we carried out explicit results for the master equation and currents. We illustrated the behaviors of transient rates, occupation dynamics and currents and exploited the Markovian condition for the rates, which can extremely simplify the applications in practice. Via careful analysis for the structure of the rates, we also revealed the intrinsic connection between the master equation and the BdG SS-matrix scattering approach, by noting that the charge transfer picture and occupation dynamics in both formulations are quite different. This connection is absent in literature and can help us to better understand the issue of Majorana teleportation.

About the possible application to time-depend transports, the simplest case is to consider modulating the central system under Markovian approximation for the leads. In this case, in the master equation, only the central system Hamiltonian in the coherent term becomes time dependent, and the rates in the dissipative terms are unaffected by the time-dependent modulation of the central system. Beyond Markovian approximation, more rigorous treatment for the rates needs to consider the effect of modulation on the reduced propagating function 𝒖(t,τ){\bm{u}}(t,\tau), for the central system of MZMs, whose equation-of-motion is given by Eq. (12). If we consider a modulation to the coupling energy between the MZMs, we only need to insert the time-dependent εM(t)\varepsilon_{\mbox{\tiny M}}(t) into Eq. (12) to solve 𝒖(t,τ){\bm{u}}(t,\tau) and calculate the time-dependent rates. Then, solving the master equation allows us to obtain the time-dependent currents.

An important example of time-dependent transport is to consider adding an ac voltage to the dc bias. In this case, rather than treating time-dependent chemical potentials for the leads, one can alternatively keep the occupation of the lead electrons (labelled by “αk\alpha k”) unchanged (determined by the dc bias), but at the same time let the energy levels of the lead electrons be time dependent, i.e., εαk(t)=εαk+Δα(t)\varepsilon_{\alpha k}(t)=\varepsilon_{\alpha k}+\Delta_{\alpha}(t). In this treatment, we only need to perform a replacement for the correlation functions of the lead electrons (gα,gα±)(g~α,g~α±)(g_{\alpha},g^{\pm}_{\alpha})\to(\tilde{g}_{\alpha},\tilde{g}^{\pm}_{\alpha}), while the latter read as

g~α(t,τ)\displaystyle\tilde{g}_{\alpha}(t,\tau) =exp[iτtΔα(τ)𝑑τ]gα(tτ),\displaystyle=\exp\left[-i\,\int_{\tau}^{t}\!\Delta_{\alpha}(\tau^{\prime})d\tau^{\prime}\right]g_{\alpha}(t-\tau), (37a)
g~α±(t,τ)\displaystyle\tilde{g}^{\pm}_{\alpha}(t,\tau) =exp[iτtΔα(τ)𝑑τ]gα±(tτ),\displaystyle=\exp\left[-i\,\int_{\tau}^{t}\!\Delta_{\alpha}(\tau^{\prime})d\tau^{\prime}\right]g^{\pm}_{\alpha}(t-\tau), (37b)

where gα(tτ)g_{\alpha}(t-\tau) and gα±(tτ)g^{\pm}_{\alpha}(t-\tau) are given by Eq. (4). Inserting these extended functions into the expressions of the rates, one can straightforwardly solve the master equation and calculate the time-dependent currents. Obviously, this formulation works for arbitrary time-dependent voltages, such as step-like modulation and rectangular bias pulse.

For transport through MZMs, existing studies were largely restricted in steady state investigations, either for a one-lead or two-lead transport setup. When considering an ac bias applied to the dc voltage, the interesting problem of photon-assisted tunneling through the MZMs can be analyzed in detail, by applying the master equation approach. One may expect that this type of investigations can provide additional dynamical insight beyond the zero-bias-peak of conductance. One may also expect some profound features which can distinguish the photon-assisted tunneling through the MZMs from through the conventional resonant-tunneling diodes, by noting that the latter has been an important subject and received considerable attentions Hau08 .

ACKNOWLEDGMENTS.

— This work was supported by the National Key Research and Development Program of China (Grant No. 2017YFA0303304) and the NNSF of China (Grant No. 11974011).

Appendix A Derivation of the Master Equation and Current Formula

Starting with the Liouvillian equation for the entire state ρT(t)\rho_{\mbox{\tiny T}}(t), ρ˙T(t)=i[HT,ρT(t)]\dot{\rho}_{\mbox{\tiny T}}(t)=-i[H_{\mbox{\tiny T}},\rho_{\mbox{\tiny T}}(t)], we obtain

ρ˙(t)\displaystyle\dot{\rho}(t) =i[HS,ρ(t)]iα[Qα,ρα+(t)]iα[Qα,ρα(t)],\displaystyle\!\!=\!\!-i[H_{\mbox{\tiny S}},\rho(t)]\!-\!i\!\sum_{\alpha}[Q_{\alpha},\rho^{+}_{\alpha}\!(t)]\!-\!i\!\sum_{\alpha}[Q^{\dagger}_{\alpha},\rho^{-}_{\alpha}\!(t)], (38)

where ρ(t)=trB(ρT(t))\rho(t)={\rm tr}_{\mbox{\tiny B}}(\rho_{\mbox{\tiny T}}(t)) is the reduced density matrix, and the other two auxiliary density operators (ADOs) are introduced as ρα+(t)trB{ρT(t)Fα}\rho^{+}_{\alpha}(t)\!\equiv\!\mbox{tr}_{\mbox{\tiny B}}\{\rho_{\mbox{\tiny T}}(t)F^{\dagger}_{\alpha}\} and ρα(t)trB{FαρT(t)}\rho^{-}_{\alpha}(t)\!\equiv\!\mbox{tr}_{\mbox{\tiny B}}\{F_{\alpha}\rho_{\mbox{\tiny T}}(t)\}. In this Appendix, following the treatment developed in previous work Jin10083013 , we establish a relation between ρα±(t)\rho^{\pm}_{\alpha}(t) and ρ(t)\rho(t). The basic idea is to establish the propagation of ρ(t)\rho(t) and ρα±(t)\rho^{\pm}_{\alpha}(t), respectively, in terms of path integral by means of the fermionic coherent state representation. Then, removing the representation basis, we extract the operator form for the relation between ρα±(t)\rho^{\pm}_{\alpha}(t) and ρ(t)\rho(t).

A.1 Path-integral formulation for the propagation
of the reduced density matrix ρ(t)\rho(t)

Within the path-integral formulation using the fermionic coherent state representation, the propagation of the reduced density matrix ρ(t)\rho(t) can be expressed as Tu08235311 ; Jin10083013

ξf|ρ(t)|ξf=𝑑μ(ξ0)\displaystyle\langle\xi_{f}|\rho(t)|\xi^{\prime}_{f}\rangle=\int d\mu(\xi_{0}) dμ(ξ0)ξ0|ρ(t0)|ξ0\displaystyle d\mu(\xi^{\prime}_{0})\langle\xi_{0}|\rho(t_{0})|\xi^{\prime}_{0}\rangle
×𝒥(ξf,ξf,t|ξ0,ξ0,t0).\displaystyle\times{\cal J}(\xi^{\ast}_{f},\xi^{\prime}_{f},t|\xi_{0},\xi^{\prime\ast}_{0},t_{0})\,. (39)

The variables ξf,ξf,ξ0,ξ0\xi^{\ast}_{f},\xi^{\prime}_{f},\xi_{0},\xi^{\prime\ast}_{0} are the Grassmannian numbers introduced through the fermionic coherent states: f|ξ=ξ|ξf|\xi\rangle=\xi|\xi\rangle and ξ|f=ξ|ξ\langle\xi|f^{\dagger}=\langle\xi|\xi^{*}. They obey 𝑑μ(ξ)|ξξ|=1\int d\mu(\xi)|\xi\rangle\langle\xi|=1 with the integration measure defined by dμ(ξ)=dξdξe|ξ|2d\mu(\xi)=d\xi^{\ast}d\xi e^{-{|\xi|^{2}}}. The propagating function is given by

𝒥(ξf,ξf,t|ξ0,ξ0,t0)=𝒟[𝝃;𝝃]eiSeff[𝝃;𝝃][𝝃;𝝃],\displaystyle{\cal J}(\xi^{\ast}_{f},\xi^{\prime}_{f},t|\xi_{0},\xi^{\prime\ast}_{0},t_{0})\!=\!\!\int\!\!\mathcal{D}[\bm{\xi};\bm{\xi}^{\prime}]e^{iS_{\rm eff}[\bm{\xi};\bm{\xi}^{\prime}]}\mathcal{F}[\bm{\xi};\bm{\xi}^{\prime}], (40)

where 𝝃(ξ,ξ)\bm{\xi}\equiv(\xi^{\ast}\!,\xi), and Seff[𝝃;𝝃]=SM[𝝃]SM[𝝃]S_{\rm eff}[\bm{\xi};\bm{\xi}^{\prime}]=S_{\mbox{\tiny M}}[\bm{\xi}]-S^{*}_{\mbox{\tiny M}}[\bm{\xi}^{\prime}] is the free action of the MZMs, with SM[ξ,ξ]={iξξ(t)+0t𝑑τ[iξ(τ)ξ˙(τ)HM(ξ(τ),ξ(τ))]}S_{\mbox{\tiny M}}[{\xi^{\ast}},{\xi}]=\big{\{}-i{\xi^{\ast}}\xi(t)+\int_{0}^{t}d\tau\big{[}i{\xi}^{\ast}(\tau)\dot{\xi}(\tau)-H_{\mbox{\tiny M}}({\xi^{\ast}}(\tau),\xi(\tau))\big{]}\big{\}}. [𝝃;,𝝃]\mathcal{F}[\bm{\xi};,\bm{\xi}^{\prime}] is the Feynman-Vernon-influence-functional, after integrating out the degrees of freedom of the reservoirs (lead electrons), which reads

[𝝃;𝝃]\displaystyle{\cal F}[\bm{\xi};\bm{\xi}^{\prime}] =exp{t0tdτt0τdτ𝝃^(τ)𝒈(τ,τ)𝝃^(τ)\displaystyle=\exp\Big{\{}\!\!-\!\!\int^{t}_{t_{0}}\!d\tau\int^{\tau}_{t_{0}}d\tau^{\prime}\hat{\bm{\xi}}^{\dagger}(\tau)\,{\bm{g}}(\tau,\tau^{\prime})\,\hat{\bm{\xi}}(\tau^{\prime})
t0t𝑑τt0τ𝑑τ𝝃^(τ)𝒈(τ,τ)𝝃^(τ)\displaystyle\quad\quad\quad\!-\!\int^{t}_{t_{0}}\!d\tau\int^{\tau}_{t_{0}}\!d\tau^{\prime}\hat{\bm{\xi}}^{\prime\dagger}(\tau)\,{\bm{g}}(\tau^{\prime},\tau)\,\hat{\bm{\xi}}^{\prime}(\tau^{\prime})
t0t𝑑τt0t𝑑τ𝝃^(τ)𝒈(τ,τ)𝝃^(τ)\displaystyle\quad\quad\quad\!-\!\int^{t}_{t_{0}}\!d\tau\int^{t}_{t_{0}}\!d\tau^{\prime}\hat{\bm{\xi}}^{\prime\dagger}(\tau)\,{\bm{g}}(\tau,\tau^{\prime})\,\hat{\bm{\xi}}(\tau^{\prime})
+t0t𝑑τt0t𝑑τ𝝃^(τ)𝒈~(τ,τ)𝝃^(τ)\displaystyle\quad\quad\quad\!+\!\int^{t}_{t_{0}}d\tau\int^{t}_{t_{0}}d\tau^{\prime}\hat{\bm{\xi}}^{\dagger}(\tau)\,{\bm{\widetilde{g}}}(\tau,\tau^{\prime})\,\hat{\bm{\xi}}(\tau^{\prime})
+t0t𝑑τt0t𝑑τ𝝃^(τ)𝒈~(τ,τ)𝝃^(τ)\displaystyle\quad\quad\quad\!+\!\int^{t}_{t_{0}}\!d\tau\int^{t}_{t_{0}}\!d\tau^{\prime}\hat{\bm{\xi}}^{\dagger}(\tau)\,{\bm{\widetilde{g}}}(\tau,\tau^{\prime})\,\hat{\bm{\xi}}^{\prime}(\tau^{\prime})
+t0t𝑑τt0t𝑑τ𝝃^(τ)𝒈~(τ,τ)𝝃^(τ)\displaystyle\quad\quad\quad\!+\!\int^{t}_{t_{0}}d\tau\int^{t}_{t_{0}}d\tau^{\prime}\hat{\bm{\xi}}^{\prime\dagger}(\tau)\,{\bm{\widetilde{g}}}(\tau,\tau^{\prime})\,\hat{\bm{\xi}}(\tau^{\prime})
+t0tdτt0tdτ𝝃^(τ)𝒈~(τ,τ)𝝃^(τ)}.\displaystyle\quad\quad\quad\!+\!\int^{t}_{t_{0}}\!d\tau\int^{t}_{t_{0}}\!d\tau^{\prime}\hat{\bm{\xi}}^{\prime\dagger}(\tau){\bm{\widetilde{g}}}(\tau,\tau^{\prime})\hat{\bm{\xi}}^{\prime}(\tau^{\prime})\!\Big{\}}. (41)

Here we have introduced 𝝃^(τ)(ξ(τ)ξ(τ))\hat{\bm{\xi}}^{\dagger}(\tau)\equiv\left(\!\begin{array}[]{cc}\xi^{\ast}(\tau)~{}~{}\xi(\tau)\\ \end{array}\!\right) and 𝝃^(τ)(ξ(τ)ξ(τ))\hat{\bm{\xi}}(\tau)\equiv\left(\!\begin{array}[]{c}\xi(\tau)\\ \xi^{\ast}(\tau)\\ \end{array}\!\right). The matrix functions 𝒈(τ,τ){\bm{g}}(\tau,\tau^{\prime}) and 𝒈~(τ,τ){\bm{\widetilde{g}}}(\tau,\tau^{\prime}) are given by

𝒈(τ,τ)\displaystyle{\bm{g}}(\tau,\tau^{\prime}) =(gL(τ,τ)+gR(τ,τ)gL(τ,τ)gR(τ,τ)gL(τ,τ)gR(τ,τ)gL(τ,τ)+gR(τ,τ)),\displaystyle\!=\!\left(\!\begin{array}[]{cc}g_{\rm L}(\tau,\tau^{\prime})\!+\!g_{\rm R}(\tau,\tau^{\prime})&g_{\rm L}(\tau,\tau^{\prime})\!-\!g_{\rm R}(\tau,\tau^{\prime})\\ g_{\rm L}(\tau,\tau^{\prime})\!-\!g_{\rm R}(\tau,\tau^{\prime})&g_{\rm L}(\tau,\tau^{\prime})\!+\!g_{\rm R}(\tau,\tau^{\prime})\\ \end{array}\!\right), (42c)
𝒈~(τ,τ)\displaystyle{\bm{\widetilde{g}}}(\tau,\tau^{\prime}) =(gL+(τ,τ)+gR+(τ,τ)gL+(τ,τ)gR+(τ,τ)gL+(τ,τ)gR+(τ,τ)gL+(τ,τ)+gR+(τ,τ)),\displaystyle\!=\!\left(\!\begin{array}[]{cc}g^{+}_{\rm L}(\tau,\tau^{\prime})+g^{+}_{\rm R}(\tau,\tau^{\prime})&g^{+}_{\rm L}(\tau,\tau^{\prime})-g^{+}_{\rm R}(\tau,\tau^{\prime})\\ g^{+}_{\rm L}(\tau,\tau^{\prime})-g^{+}_{\rm R}(\tau,\tau^{\prime})&g^{+}_{\rm L}(\tau,\tau^{\prime})+g^{+}_{\rm R}(\tau,\tau^{\prime})\\ \end{array}\!\right), (42f)

where the correlation functions gα(τ,τ)g_{\alpha}(\tau,\tau^{\prime}) and gα+(τ,τ)g^{+}_{\alpha}(\tau,\tau^{\prime}) (α=L,R\alpha={\rm L,R}) have been given by Eq. (4) in the main text.

Noting that the path integral in Eq. (40) is of the quadratic type, it is thus possible to carry out the exact result. Applying the variational calculus, one can obtain the “classical trajectory” (i.e. the extremal trajectory); and the exponential factor of the path integral result is given by the action determined by the “classical trajectory”. We have

𝒥(ξf,ξf;t|ξ0,ξ0;t0)\displaystyle\mathcal{J}(\xi^{\ast}_{f},\xi^{\prime}_{f};t|\xi_{0},\xi^{\prime\ast}_{0};t_{0})
=𝒩(t)exp{12[ξfξ(t)+ξ(t0)ξ0+ξ(t)ξf+ξ0ξ(t0)]},\displaystyle={\cal N}(t)\exp\Big{\{}\frac{1}{2}\big{[}\xi^{\ast}_{f}\xi(t)+\xi^{\ast}(t_{0})\xi_{0}+\xi^{\prime\ast}(t)\xi^{\prime}_{f}+\xi^{\prime\ast}_{0}\xi^{\prime}(t_{0})\big{]}\Big{\}}, (43)

where 𝒩(t){\cal N}(t) is the normalization factor and ξ(t),ξ(t0),ξ(t0),ξ(t)\xi(t),\xi^{\ast}(t_{0}),\xi^{\prime}(t_{0}),\xi^{\prime\ast}(t) are determined by the “classical trajectory” which obeys the equations-of-motion

ddτ𝝃^(τ)\displaystyle\frac{d}{d\tau}\hat{\bm{\xi}}(\tau) +i𝜺M𝝃^(τ)=t0τ𝑑τ𝒢(τ,τ)𝝃^(τ)\displaystyle+i{\bm{\varepsilon}_{\mbox{\tiny M}}}\hat{\bm{\xi}}(\tau)=\!-\!\int_{t_{0}}^{\tau}d\tau^{\prime}{\cal G}(\tau,\tau^{\prime})\hat{\bm{\xi}}(\tau^{\prime})
+t0t𝑑τ𝒢~(τ,τ)[𝝃^(τ)+𝝃^(τ)],\displaystyle\quad\!+\!\int_{t_{0}}^{t}d\tau^{\prime}\widetilde{\cal G}(\tau,\tau^{\prime})\big{[}\hat{\bm{\xi}}(\tau^{\prime})+\hat{\bm{\xi}}^{\prime}(\tau^{\prime})\big{]}, (44a)
ddτ𝝃^(τ)\displaystyle\frac{d}{d\tau}\hat{\bm{\xi}}^{\prime}(\tau) +i𝜺M𝝃^(τ)=t0τ𝑑τ𝒢(τ,τ)𝝃^(τ)\displaystyle\!+\!i{\bm{\varepsilon}_{\mbox{\tiny M}}}\hat{\bm{\xi}}^{\prime}(\tau)=-\int_{t_{0}}^{\tau}d\tau^{\prime}{\cal G}(\tau,\tau^{\prime})\hat{\bm{\xi}}^{\prime}(\tau^{\prime})
+t0t𝑑τ𝒢~(τ,τ)[𝝃^(τ)+𝝃^(τ)].\displaystyle+\int_{t_{0}}^{t}d\tau^{\prime}\widetilde{\cal G}(\tau^{\prime},\tau)\big{[}\hat{\bm{\xi}}(\tau^{\prime})+\hat{\bm{\xi}}^{\prime}(\tau^{\prime})\big{]}\,. (44b)

In this result, we introduced 𝜺M=(εM00εM){\bm{\varepsilon}_{\mbox{\tiny M}}}=\left(\begin{array}[]{cc}\varepsilon_{\mbox{\tiny M}}&0\\ 0&-\varepsilon_{\mbox{\tiny M}}\\ \end{array}\right) and the 2×22\times 2 matrix functions

𝒢(τ,τ)\displaystyle{\cal G}(\tau,\tau^{\prime}) =𝒈(τ,τ)+𝒈(τ,τ)=2Re[𝒈(τ,τ)],\displaystyle={\bm{g}}(\tau,\tau^{\prime})+{\bm{g}}(\tau^{\prime},\tau)=2{\rm Re}[{\bm{g}}(\tau,\tau^{\prime})], (45a)
𝒢~(τ,τ)\displaystyle\widetilde{\cal G}(\tau,\tau^{\prime}) =𝒈~(τ,τ)𝒈~(τ,τ)+𝒈(τ,τ).\displaystyle={\bm{\widetilde{g}}}(\tau,\tau^{\prime})-{\bm{\widetilde{g}}}(\tau^{\prime},\tau)+{\bm{g}}(\tau^{\prime},\tau). (45b)

The solution of Eq. (44) can be formally expressed as Tu08235311 ; Lai18054508

𝝃^(τ)=𝒖(τ,t0)(ξ0ξ(t0))+𝒗(τ,t)(ξ(t)+ξfξf+ξ(t)),\displaystyle\hat{\bm{\xi}}(\tau)={\bm{u}}(\tau,t_{0})\left(\begin{array}[]{c}\xi_{0}\\ \xi^{\ast}(t_{0})\\ \end{array}\right)+{\bm{v}}(\tau,t)\left(\begin{array}[]{c}\xi(t)+\xi^{\prime}_{f}\\ \xi^{\ast}_{f}+\xi^{\prime\ast}(t)\\ \end{array}\right), (46e)
𝝃^(τ)+𝝃^(τ)=𝒖(t,τ)(ξ(t)+ξfξf+ξ(t)),\displaystyle\hat{\bm{\xi}}(\tau)+\hat{\bm{\xi}}^{\prime}(\tau)={\bm{u}}^{\dagger}(t,\tau)\left(\begin{array}[]{c}\xi(t)+\xi^{\prime}_{f}\\ \xi^{\ast}_{f}+\xi^{\prime\ast}(t)\\ \end{array}\right), (46h)

while the two propagating factions 𝒖{\bm{u}} and 𝒗{\bm{v}} satisfy the following equations

ddt𝒖(t,t0)+i𝜺M𝒖(t,t0)+t0t𝑑τ𝒢(t,τ)𝒖(τ,t0)=0,\displaystyle\frac{d}{dt}{\bm{u}}(t,t_{0})+i{\bm{\varepsilon}_{\mbox{\tiny M}}}{\bm{u}}(t,t_{0})\!+\!\!\int_{t_{0}}^{t}\!d\tau{\cal G}(t,\tau){\bm{u}}(\tau,t_{0})\!=\!0, (47a)
ddτ𝒗(τ,t)+i𝜺M𝒗(τ,t)+t0τ𝑑τ𝒢(τ,τ)𝒗(τ,t)\displaystyle\frac{d}{d\tau}{\bm{v}}(\tau,t)+i{\bm{\varepsilon}_{\mbox{\tiny M}}}{\bm{v}}(\tau,t)\!+\!\int_{t_{0}}^{\tau}\!d\tau^{\prime}{\cal G}(\tau,\tau^{\prime}){\bm{v}}(\tau^{\prime},t)
=t0t𝑑τ𝒢~(τ,τ)𝒖(t,τ),\displaystyle\quad\quad\quad\!=\!\int_{t_{0}}^{t}\!d\tau\widetilde{\cal G}(\tau,\tau^{\prime}){\bm{u}}^{\dagger}(t,\tau^{\prime}), (47b)

under the end-points condition of 𝒖(t,t0)=𝟏\bm{u}(t,t_{0})={\bf 1} and 𝒗(t0,t)=0\bm{v}(t_{0},t)=0.

With the help of Eq. (46), the 𝒥\mathcal{J}-function can be reexpressed as

𝒥(ξf,ξf;t|ξ0,ξ0;t0)\displaystyle\mathcal{J}(\xi^{\ast}_{f},\xi^{\prime}_{f};t|\xi_{0},\xi^{\prime\ast}_{0};t_{0})
=𝒩(t)exp{(ξfξf)𝑱1(t)(ξ0ξ0)+(ξfξf)𝑱2(t)(ξfξf)\displaystyle={\cal N}(t)\!\exp\!\Big{\{}\!\left(\!\begin{array}[]{cc}\xi^{\ast}_{f}&\xi^{\prime}_{f}\\ \end{array}\!\right)\!{\bm{J}}_{1}(t)\!\left(\!\begin{array}[]{c}\xi_{0}\\ \xi^{\prime\ast}_{0}\\ \end{array}\!\right)\!+\!\left(\!\begin{array}[]{cc}\xi^{\ast}_{f}&\xi^{\prime}_{f}\\ \end{array}\!\right)\!{\bm{J}}_{2}(t)\!\left(\!\begin{array}[]{c}\xi^{\prime}_{f}\\ \xi^{\ast}_{f}\\ \end{array}\!\right) (54)
+(ξ0ξ0)𝑱3(t)(ξ0ξ0)+(ξ0ξ0)𝑱1(t)(ξfξf)}.\displaystyle\!+\!\left(\!\begin{array}[]{cc}\xi^{\prime\ast}_{0}&\xi_{0}\\ \end{array}\!\right)\!{\bm{J}}_{3}(t)\!\left(\!\begin{array}[]{c}\xi_{0}\\ \xi^{\prime\ast}_{0}\\ \end{array}\!\right)\!+\!\left(\!\begin{array}[]{cc}\xi^{\prime\ast}_{0}&\xi_{0}\\ \end{array}\!\right)\!{\bm{J}}^{\dagger}_{1}(t)\!\left(\!\begin{array}[]{c}\xi^{\prime}_{f}\\ \xi^{\ast}_{f}\\ \end{array}\!\right)\!\Big{\}}\,. (61)

Here, three matrix functions, 𝑱i(t)(i=1,2,3){\bm{J}}_{i}(t)(i=1,2,3), are introduced as

𝑱1(t)\displaystyle{\bm{J}}_{1}(t) =12a(t)(2u11(t)u12(t)u12(t)0),\displaystyle=\frac{1}{2a(t)}\left(\begin{array}[]{cc}2u_{11}(t)&-u_{12}(t)\\ u_{12}(t)&0\\ \end{array}\right), (62c)
𝑱2(t)\displaystyle{\bm{J}}_{2}(t) =1a(t)(1a(t)000),\displaystyle=\frac{1}{a(t)}\left(\begin{array}[]{cc}1-a(t)&0\\ 0&0\\ \end{array}\right), (62f)
𝑱3(t)\displaystyle{\bm{J}}_{3}(t) =1a(t)(b(t)000),\displaystyle=\frac{-1}{a(t)}\left(\begin{array}[]{cc}b(t)&0\\ 0&0\\ \end{array}\right), (62i)

where

a(t)\displaystyle a(t) =1v11(t)u12(t)u21(t),\displaystyle=1-v_{11}(t)-u_{12}(t)u^{\ast}_{21}(t), (63a)
b(t)\displaystyle b(t) =1v11(t)u11(t)u11(t).\displaystyle=1-v_{11}(t)-u^{\ast}_{11}(t)u_{11}(t). (63b)

In the above results, for simplicity, we have denoted uij(t)uij(t,t0)u_{ij}(t)\equiv u_{ij}(t,t_{0}) and vij(t)vij(t,t)v_{ij}(t)\equiv v_{ij}(t,t).

A.2 Path-integral formulation for the propagation
of the ADOs ρα±(t)\rho^{\pm}_{\alpha}(t)

Following the above treatment for the evolution of ρ(t)\rho(t), we can formulate the evolution of ρα±(t)\rho^{\pm}_{\alpha}(t) in terms of path integral as follows

ξf|ρα±(t)|ξf\displaystyle\langle\xi_{f}|\rho^{\pm}_{\alpha}(t)|\xi^{\prime}_{f}\rangle =𝑑μ(ξ0)𝑑μ(ξ0)ξ0|ρ(t0)|ξ0\displaystyle=\int d\mu(\xi_{0})d\mu(\xi^{\prime}_{0})\langle\xi_{0}|\rho(t_{0})|\xi^{\prime}_{0}\rangle
×𝒥α±(ξf,ξf,t|ξ0,ξ0,t0),\displaystyle\times{\cal J}^{\pm}_{\alpha}(\xi^{\ast}_{f},\xi^{\prime}_{f},t|\xi_{0},\xi^{\prime\ast}_{0},t_{0}), (64)

where the propagating function is given by the path integral as

𝒥α±(ξf,ξf,t|ξ0,ξ0,t0)=𝒟[𝝃;𝝃]eiSeff[𝝃;𝝃]α±[𝝃;𝝃].\displaystyle{\cal J}^{\pm}_{\alpha}(\xi^{\ast}_{f},\xi^{\prime}_{f},t|\xi_{0},\xi^{\prime\ast}_{0},t_{0})\!=\!\!\int\!\mathcal{D}[\bm{\xi};\bm{\xi}^{\prime}]e^{iS_{\rm eff}[\bm{\xi};\bm{\xi}^{\prime}]}\mathcal{F}^{\pm}_{\alpha}[\bm{\xi};\bm{\xi}^{\prime}]. (65)

Based on the result of [𝝃;𝝃]\mathcal{F}[\bm{\xi};\bm{\xi}^{\prime}], applying the technique of generating functional, we can obtain α±[𝝃;𝝃]=α1±[𝝃;𝝃]+α2±[𝝃;𝝃]{\cal F}^{\pm}_{\alpha}[\bm{\xi};\bm{\xi}^{\prime}]={\cal F}^{\pm}_{\alpha 1}[\bm{\xi};\bm{\xi}^{\prime}]+{\cal F}^{\pm}_{\alpha 2}[\bm{\xi};\bm{\xi}^{\prime}], with the two parts given by

α1±[𝝃;𝝃]\displaystyle{\cal F}^{\pm}_{\alpha 1}[\bm{\xi};\bm{\xi}^{\prime}] =i𝒬α1±(t;{ξ,ξ,ξ,ξ})[𝝃;𝝃],\displaystyle=-i{\cal Q}^{\pm}_{\alpha 1}(t;\{\xi,\xi^{\prime},\xi^{\ast},\xi^{\prime\ast}\}){\cal F}[\bm{\xi};\bm{\xi}^{\prime}], (66a)
α2±[𝝃;𝝃]\displaystyle{\cal F}^{\pm}_{\alpha 2}[\bm{\xi};\bm{\xi}^{\prime}] =i𝒬α2±(t;{ξ,ξ,ξ,ξ})[𝝃;𝝃].\displaystyle=-i{\cal Q}^{\pm}_{\alpha 2}(t;\{\xi,\xi^{\prime},\xi^{\ast},\xi^{\prime\ast}\}){\cal F}[\bm{\xi};\bm{\xi}^{\prime}]. (66b)

More explicitly, the pre-factors 𝒬α1,2±{\cal Q}^{\pm}_{\alpha 1,2} read as

𝒬α1+(t;{ξ,ξ})\displaystyle{\cal Q}^{+}_{\alpha 1}(t;\{\xi^{\ast},\xi^{\prime\ast}\}) =t0t𝑑τgα(tτ)ξ(τ)\displaystyle=-\int_{t_{0}}^{t}\!d\tau\,g^{\ast}_{\alpha}(t-\tau)\xi^{\prime\ast}(\tau)
+t0t𝑑τgα+(tτ)[ξ(τ)+ξ(τ)],\displaystyle\quad+\int_{t_{0}}^{t}\!d\tau\,g^{+\ast}_{\alpha}(t-\tau)\left[\xi^{\ast}(\tau)+\xi^{\prime\ast}(\tau)\right],
𝒬α2+(t;{ξ,ξ})\displaystyle{\cal Q}^{+}_{\alpha 2}(t;\{\xi,\xi^{\prime}\}) =()αt0t𝑑τgα(tτ)ξ(τ)\displaystyle=-(-)^{\alpha}\int_{t_{0}}^{t}\!d\tau\,g^{\ast}_{\alpha}(t-\tau)\xi^{\prime}(\tau)
+()αt0t𝑑τgα+(tτ)[ξ(τ)+ξ(τ)],\displaystyle+(-)^{\alpha}\int_{t_{0}}^{t}\!d\tau\,g^{+\ast}_{\alpha}(t-\tau)\left[\xi(\tau)+\xi^{\prime}(\tau)\right],
𝒬α1(t;{ξ,ξ})\displaystyle{\cal Q}^{-}_{\alpha 1}(t;\{\xi,\xi^{\prime}\}) =t0t𝑑τgα(tτ)ξ(τ)\displaystyle=\int_{t_{0}}^{t}\!d\tau\,g_{\alpha}(t-\tau)\xi(\tau)
t0t𝑑τgα+(tτ)[ξ(τ)+ξ(τ)],\displaystyle-\int_{t_{0}}^{t}\!d\tau\,g^{+}_{\alpha}(t-\tau)\left[\xi(\tau)+\xi^{\prime}(\tau)\right],
𝒬α2(t;{ξ,ξ})\displaystyle{\cal Q}^{-}_{\alpha 2}(t;\{\xi^{\ast},\xi^{\prime\ast}\}) =()αt0t𝑑τgα(tτ)ξ(τ)\displaystyle=(-)^{\alpha}\int_{t_{0}}^{t}\!d\tau\,g_{\alpha}(t-\tau)\xi^{\ast}(\tau)
()αt0t𝑑τgα+(tτ)[ξ(τ)+ξ(τ)].\displaystyle-(-)^{\alpha}\int_{t_{0}}^{t}\!d\tau\,g^{+}_{\alpha}(t-\tau)\left[\xi^{\ast}(\tau)+\xi^{\prime\ast}(\tau)\right].

Since the path integral in Eq. (65) is also of the quadratic form, we can substitute the “classical trajectory” of Eq. (46) into the action of the path integral, which yields the same exponential factor of 𝒥α(ξf,ξf,t|ξ0,ξ0,t0){\cal J}_{\alpha}(\xi^{\ast}_{f},\xi^{\prime}_{f},t|\xi_{0},\xi^{\prime\ast}_{0},t_{0}), while the 𝒬α1,2±{\cal Q}^{\pm}_{\alpha 1,2}-factors can be expressed in terms of the “end-point-coordinates” as

𝒬α1(t;{ξ0,ξ0,ξf,ξf})\displaystyle{\cal Q}^{-}_{\alpha 1}(t;\{\xi_{0},\xi^{\prime\ast}_{0},\xi^{\prime}_{f},\xi^{\ast}_{f}\}) =X~αe11(t)ξ0+X~αe12(t)ξ0+Y~αe11(t)ξf+Y~αe12(t)ξf\displaystyle=\widetilde{X}_{\rm\alpha e11}(t)\xi_{0}+\widetilde{X}_{\alpha e12}(t)\xi^{\prime\ast}_{0}+\widetilde{Y}_{\alpha e11}(t)\xi^{\prime}_{f}+\widetilde{Y}_{\alpha e12}(t)\xi^{\ast}_{f} (68a)
𝒬α2(t;{ξ0,ξ0,ξf,ξf})\displaystyle{\cal Q}^{-}_{\alpha 2}(t;\{\xi_{0},\xi^{\prime\ast}_{0},\xi^{\prime}_{f},\xi^{\ast}_{f}\}) =()α[X~αh11(t)ξ0+X~αh12(t)ξ0+Y~αh11(t)ξf+Y~αh12(t)ξf]\displaystyle=-(-)^{\alpha}\left[\widetilde{X}_{\alpha h11}(t)\xi^{\prime\ast}_{0}+\widetilde{X}_{\alpha h12}(t)\xi_{0}+\widetilde{Y}_{\alpha h11}(t)\xi^{\ast}_{f}+\widetilde{Y}_{\alpha h12}(t)\xi^{\prime}_{f}\right] (68b)
𝒬α1+(t;{ξ0,ξ0,ξf,ξf})\displaystyle{\cal Q}^{+}_{\alpha 1}(t;\{\xi_{0},\xi^{\prime\ast}_{0},\xi^{\prime}_{f},\xi^{\ast}_{f}\}) =[X~αe11(t)ξ0+X~αe12(t)ξ0+Y~αe11(t)ξf+Y~αe12(t)ξf]\displaystyle=-\left[\widetilde{X}^{\ast}_{\alpha e11}(t)\xi^{\prime\ast}_{0}+\widetilde{X}^{\ast}_{\alpha e12}(t)\xi_{0}+\widetilde{Y}^{\ast}_{\alpha e11}(t)\xi^{\ast}_{f}+\widetilde{Y}^{\ast}_{\alpha e12}(t)\xi^{\prime}_{f}\right] (68c)
𝒬α2+(t;{ξ0,ξ0,ξf,ξf})\displaystyle{\cal Q}^{+}_{\alpha 2}(t;\{\xi_{0},\xi^{\prime\ast}_{0},\xi^{\prime}_{f},\xi^{\ast}_{f}\}) =()α[X~αh11(t)ξ0+X~αh12(t)ξ0+Y~αh11(t)ξf+Y~αh12(t)ξf]\displaystyle=(-)^{\alpha}\left[\widetilde{X}^{\ast}_{\alpha h11}(t)\xi_{0}+\widetilde{X}^{\ast}_{\alpha h12}(t)\xi^{\prime\ast}_{0}+\widetilde{Y}^{\ast}_{\alpha h11}(t)\xi^{\prime}_{f}+\widetilde{Y}^{\ast}_{\alpha h12}(t)\xi^{\ast}_{f}\right] (68d)

In this result, the coefficients X~αe(h)ij\widetilde{X}_{\alpha e(h)ij} and Y~αe(h)ij\widetilde{Y}_{\alpha e(h)ij} have lengthy expressions in terms of the uiju_{ij} and vijv_{ij} functions, being thus not shown here.

A.3 Operator forms of ρα±(t)\rho^{\pm}_{\alpha}(t)

In order to extract out the operator forms of ρα±(t)\rho^{\pm}_{\alpha}(t) from the path-integral results of 𝒥(ξf,ξf,t|ξ0,ξ0,t0){\cal J}(\xi^{\ast}_{f},\xi^{\prime}_{f},t|\xi_{0},\xi^{\prime\ast}_{0},t_{0}) and 𝒥α±(ξf,ξf,t|ξ0,ξ0,t0){\cal J}^{\pm}_{\alpha}(\xi^{\ast}_{f},\xi^{\prime}_{f},t|\xi_{0},\xi^{\prime\ast}_{0},t_{0}), we need to express the results of 𝒬α1,2±{\cal Q}^{\pm}_{\alpha 1,2} using only the final end-point-coordinates, i.e., 𝒬α1,2±[ξf;ξf]{\cal Q}^{\pm}_{\alpha 1,2}[\xi^{\ast}_{f};\xi^{\prime}_{f}]. This can be achieved as follows. Making derivatives on 𝒥(ξf,ξf,t|ξ0,ξ0,t0){\cal J}(\xi^{\ast}_{f},\xi^{\prime}_{f},t|\xi_{0},\xi^{\prime\ast}_{0},t_{0}), i.e., 𝒥ξf\frac{\partial{\cal J}}{\partial\xi^{\ast}_{f}} and 𝒥ξf\frac{\partial{\cal J}}{\partial\xi^{\prime}_{f}}, from their results we then carry out the following expressions:

ξ0𝒥\displaystyle\xi_{0}{\cal J} =acu11𝒥ξfacu12𝒥ξf\displaystyle=\frac{a}{c}u^{\dagger}_{11}\frac{\partial{\cal J}}{\partial\xi^{\ast}_{f}}-\frac{a}{c}u_{12}\frac{\partial{\cal J}}{\partial\xi^{\prime}_{f}}
1acu11ξf𝒥1acu12ξf𝒥,\displaystyle-\frac{1-a}{c}u^{\dagger}_{11}\xi^{\prime}_{f}{\cal J}-\frac{1-a}{c}u_{12}\xi^{\ast}_{f}{\cal J}\,, (69a)
ξ0𝒥\displaystyle\xi^{\prime\ast}_{0}{\cal J} =acu12𝒥ξfacu11𝒥ξf\displaystyle=\frac{a}{c}u^{\dagger}_{12}\frac{\partial{\cal J}}{\partial\xi^{\ast}_{f}}-\frac{a}{c}u_{11}\frac{\partial{\cal J}}{\partial\xi^{\prime}_{f}}
1acu12ξf𝒥1acu11ξf𝒥.\displaystyle-\frac{1-a}{c}u^{\dagger}_{12}\xi^{\prime}_{f}{\cal J}-\frac{1-a}{c}u_{11}\xi^{\ast}_{f}{\cal J}\,. (69b)

Here, in addition to a(t)a(t) and b(t)b(t) as shown in Eq. (63a), we further introduced c(t)=u11(t)u11(t)u12(t)u12(t)c(t)=u_{11}(t)u^{\dagger}_{11}(t)-u_{12}(t)u^{\ast}_{12}(t).

Then, let us reexpress the path integral result of ρα±(t)\rho^{\pm}_{\alpha}(t) as

ξf|ρα±(t)|ξf=𝑑μ(ξ0)𝑑μ(ξ0)ξ0|ρ(t0)|ξ0\displaystyle\langle\xi_{f}|\rho^{\pm}_{\alpha}(t)|\xi^{\prime}_{f}\rangle=\int d\mu(\xi_{0})d\mu(\xi^{\prime}_{0})\langle\xi_{0}|\rho(t_{0})|\xi^{\prime}_{0}\rangle
×(j=1,2(i)𝒬αj±[ξf;ξf]𝒥(ξf,ξf,t|ξ0,ξ0,t0))\displaystyle~{}~{}\times\left(\sum_{j=1,2}(-i){\cal Q}^{\pm}_{\alpha j}[\xi^{\ast}_{f};\xi^{\prime}_{f}]{\cal J}(\xi^{\ast}_{f},\xi^{\prime}_{f},t|\xi_{0},\xi^{\prime\ast}_{0},t_{0})\right)
=j=1,2(i)𝒬αj±[ξf;ξf]ξf|ρ(t)|ξf.\displaystyle~{}~{}=\sum_{j=1,2}(-i){\cal Q}^{\pm}_{\alpha j}[\xi^{\ast}_{f};\xi^{\prime}_{f}]\langle\xi_{f}|\rho(t)|\xi^{\prime}_{f}\rangle\,. (70)

Based on this result, using the following properties of the fermionic coherent state

ξ|ξ\displaystyle\xi|\xi\rangle =f|ξ,ξ|ξ=f|ξ,\displaystyle=f|\xi\rangle,~{}~{}~{}-\frac{\partial}{\partial\xi}|\xi\rangle=f^{\dagger}|\xi\rangle, (71)
ξ|ξ\displaystyle\langle\xi|\xi^{\ast} =ξ|f,ξ|ξ=ξ|f,\displaystyle=\langle\xi|f^{\dagger},~{}~{}~{}\langle\xi|\frac{\partial}{\partial\xi^{\ast}}=\langle\xi|f\,, (72)

we can extract out the operator forms of ρα±(t)\rho^{\pm}_{\alpha}(t). For instance, let us consider the term in Eq. (A.3)

𝑑μ(ξ0)𝑑μ(ξ0)\displaystyle\int d\mu(\xi_{0})d\mu(\xi^{\prime}_{0}) ξ0|ρ(t0)|ξ0ξf𝒥(ξf,ξf,t|ξ0,ξ0,t0)\displaystyle~{}\langle\xi_{0}|\rho(t_{0})|\xi^{\prime}_{0}\rangle\frac{\partial}{\partial\xi^{\ast}_{f}}{\cal J}(\xi^{\ast}_{f},\xi^{\prime}_{f},t|\xi_{0},\xi^{\prime\ast}_{0},t_{0})
=ξfξf|ρ(t)|ξf\displaystyle=\frac{\partial}{\partial\xi^{\ast}_{f}}\langle\xi_{f}|\rho(t)|\xi^{\prime}_{f}\rangle
=ξf|fρ(t)|ξf,\displaystyle=\langle\xi_{f}|f\rho(t)|\xi^{\prime}_{f}\rangle\,, (73)

which allows us to extract the term of “fρ(t)f\rho(t)” for ρα±(t)\rho^{\pm}_{\alpha}(t). Other terms in Eq. (A.3) can be handled similarly. Splitting the results of ρα±(t)\rho^{\pm}_{\alpha}(t) into two parts, i.e., ρα±(t)=j=1,2ραj±(t)\rho^{\pm}_{\alpha}(t)=\sum_{j=1,2}\rho^{\pm}_{\alpha j}(t), we finally obtain

ρα1(t)\displaystyle\rho^{-}_{\alpha 1}(t) =i{[κα11(t)λα11(t)]fρ(t)\displaystyle=-i\big{\{}\big{[}\kappa_{\alpha 11}(t)-\lambda_{\alpha 11}(t)\big{]}f\rho(t)
[κα12(t)λα12(t)]ρ(t)f\displaystyle\quad-\big{[}\kappa_{\alpha 12}(t)-\lambda_{\alpha 12}(t)\big{]}\rho(t)f^{\dagger}
λα11(t)ρ(t)f+λα12(t)fρ(t)},\displaystyle\quad-\lambda_{\alpha 11}(t)\rho(t)f+\lambda_{\alpha 12}(t)f^{\dagger}\rho(t)\big{\}}, (74a)
ρα2(t)\displaystyle\rho^{-}_{\alpha 2}(t) =()αi{[κα21(t)λα21(t)]fρ(t)\displaystyle=-(-)^{\alpha}i\big{\{}\big{[}\kappa_{\alpha 21}(t)-\lambda_{\alpha 21}(t)\big{]}f\rho(t)
[κα22(t)λα22(t)]ρ(t)f\displaystyle\quad-\big{[}\kappa_{\alpha 22}(t)-\lambda_{\alpha 22}(t)\big{]}\rho(t)f^{\dagger}
λα21(t)ρ(t)f+λα22(t)fρ(t)}.\displaystyle\quad-\lambda_{\alpha 21}(t)\rho(t)f+\lambda_{\alpha 22}(t)f^{\dagger}\rho(t)\big{\}}\,. (74b)

For ραj+(t)\rho^{+}_{\alpha j}(t), one can easily prove that ραj+(t)=[ραj(t)]\rho^{+}_{\alpha j}(t)=[\rho^{-}_{\alpha j}(t)]^{\dagger}. The time-dependent coefficients in the above results are the matrix elements of 𝜿α(t){\bm{\kappa}_{\alpha}}(t) and 𝝀α(t){\bm{\lambda}_{\alpha}}(t), while the latter are given by

𝜿α(t)\displaystyle{\bm{\kappa}}_{\alpha}(t) =t0t𝑑τgα(tτ)𝒖(τ)[𝒖(t)]1,\displaystyle\!=\!\int_{t_{0}}^{t}\!d\tau\,g_{\alpha}(t-\tau){\bm{u}}(\tau)[{\bm{u}}(t)]^{-1}, (75a)
𝝀α(t)\displaystyle{\bm{\lambda}}_{\alpha}(t) =t0t𝑑τgα(tτ)(a(t)u11(τ)b(t)u12(τ)b(t)u12(τ)a(t)u11(τ))[𝒖(t)]1\displaystyle\!=\!\!\int_{t_{0}}^{t}\!d\tau\,g_{\alpha}(t-\tau)\left(\!\begin{array}[]{cc}a(t)u_{11}(\tau)&b(t)u_{12}(\tau)\\ b(t)u^{\ast}_{12}(\tau)&a(t)u^{\ast}_{11}(\tau)\\ \end{array}\!\right)\![{\bm{u}}(t)]^{-1} (75d)
t0t𝑑τgα(tτ)(v11(τ)v12(τ)v12(τ)v11(τ))\displaystyle\!-\!\int_{t_{0}}^{t}\!d\tau\,g_{\alpha}(t-\tau)\left(\!\begin{array}[]{cc}v_{11}(\tau)&-v_{12}(\tau)\\ -v^{\ast}_{12}(\tau)&v^{\ast}_{11}(\tau)\\ \end{array}\!\right) (75g)
+t0t𝑑τ(gα+(tτ)00gα(tτ))(u¯11(τ)u¯12(τ)u¯12(τ)u¯11(τ)).\displaystyle\!+\!\!\int_{t_{0}}^{t}\!d\tau\left(\!\!\begin{array}[]{cc}g^{+}_{\alpha}(t-\tau)\!&\!0\\ 0\!&\!{g}^{-}_{\alpha}(t-\tau)\\ \end{array}\!\!\right)\!\left(\!\!\begin{array}[]{cc}\bar{u}^{\ast}_{11}(\tau)\!&\!-\bar{u}^{\ast}_{12}(\tau)\\ -\bar{u}_{12}(\tau)\!&\!\bar{u}_{11}(\tau)\\ \end{array}\!\!\right). (75l)

Under the assumption of wide-band limit, which makes gα(tτ)Γαδ(tτ)g_{\alpha}(t-\tau)\rightarrow\Gamma_{\alpha}\delta(t-\tau), we can further simplify the results of Eq. (75) as follows:

κα11(t)\displaystyle\kappa_{\alpha 11}(t) =κα22(t)=t0t𝑑τgα(tτ),\displaystyle=\kappa_{\alpha 22}(t)=\int_{t_{0}}^{t}\!d\tau\,g_{\alpha}(t-\tau),
κα12(t)\displaystyle\kappa_{\alpha 12}(t) =κα21(t)=0,\displaystyle=\kappa_{\alpha 21}(t)=0,
λα11(t)\displaystyle\lambda_{\alpha 11}(t) =t0t𝑑τgα+(tτ)u11(t,τ),\displaystyle=\int_{t_{0}}^{t}\!d\tau\,g^{+}_{\alpha}(t-\tau)u^{\dagger}_{11}(t,\tau),
λα12(t)\displaystyle\lambda_{\alpha 12}(t) =t0t𝑑τgα+(tτ)u12(t,τ),\displaystyle=\int_{t_{0}}^{t}\!d\tau\,g^{+}_{\alpha}(t-\tau)u^{\dagger}_{12}(t,\tau),
λα21(t)\displaystyle\lambda_{\alpha 21}(t) =t0t𝑑τgα(tτ)u12(t,τ),\displaystyle=\int_{t_{0}}^{t}\!d\tau\,{g}^{-}_{\alpha}(t-\tau)u_{12}(t,\tau),
λα22(t)\displaystyle\lambda_{\alpha 22}(t) =t0t𝑑τgα(tτ)u11(t,τ).\displaystyle=\int_{t_{0}}^{t}\!d\tau\,{g}^{-}_{\alpha}(t-\tau)u_{11}(t,\tau)\,.

These are the results we used in the main text.

So far, we have established the relationship between ρα±(t)\rho^{\pm}_{\alpha}(t) and ρ(t)\rho(t), as shown in Eq. (74), together with the various coefficients as shown above. Then, straightforwardly, substituting the result of ρα±(t)\rho^{\pm}_{\alpha}(t) given by Eq. (74) into Eq. (38), we obtain Eq. (II.1) in the main text, i.e., the central result of Majorana master equation analyzed in this work. Beyond the wide-band limit, the various rates in the master equation read as

𝚪α+(t)\displaystyle{\bm{\Gamma}^{+}_{\alpha}}(t) =2Re(λα11(t)λα12(t)κα21(t)λα21(t)κα22(t)λα22(t)),\displaystyle\!=\!2{\rm Re}\!\left(\!\begin{array}[]{cc}\lambda_{\alpha 11}(t)&\lambda_{\alpha 12}(t)\\ \kappa_{\alpha 21}(t)\!-\!\lambda_{\alpha 21}(t)&\kappa_{\alpha 22}(t)\!-\!\lambda_{\alpha 22}(t)\\ \end{array}\!\!\right), (77c)
𝚪α(t)\displaystyle{\bm{\Gamma}^{-}_{\alpha}}(t) =2Re(κα11(t)λα11(t)κα12(t)λα12(t)λα21(t)λα22(t)),\displaystyle\!=\!2{\rm Re}\!\left(\!\!\begin{array}[]{cc}\kappa_{\alpha 11}(t)\!-\!\lambda_{\alpha 11}(t)&\kappa_{\alpha 12}(t)\!-\!\lambda_{\alpha 12}(t)\\ \lambda_{\alpha 21}(t)&\lambda_{\alpha 22}(t)\\ \end{array}\!\!\right), (77f)
Υ(t)\displaystyle\Upsilon(t) =α{()α[κα11(t)+κα22(t)]\displaystyle=\sum_{\alpha}\Big{\{}(-)^{\alpha}\big{[}\kappa_{\alpha 11}(t)+\kappa^{\ast}_{\alpha 22}(t)\big{]}
+[κα12(t)+κα21(t)]}.\displaystyle\quad+\big{[}\kappa^{\ast}_{\alpha 12}(t)+\kappa_{\alpha 21}(t)\big{]}\Big{\}}. (77g)

Under the assumption of wide-band limit, these results are simplified to Eq. (9) in the main text.

For the transport currents, let us reexpress Eq. (20) as

Iα11(t)\displaystyle I_{\alpha 11}(t) =ietrS[ρα1+(t)ffρα1(t)],\displaystyle=i\frac{e}{\hbar}{\rm tr}_{\mbox{\tiny S}}\big{[}\rho^{+}_{\alpha 1}(t)f-f^{\dagger}\rho^{-}_{\alpha 1}(t)\big{]}, (78a)
Iα22(t)\displaystyle I_{\alpha 22}(t) =ietrS[ρα2+(t)ffρα2(t)],\displaystyle=i\frac{e}{\hbar}{\rm tr}_{\mbox{\tiny S}}\big{[}\rho^{+}_{\alpha 2}(t)f^{\dagger}-f\rho^{-}_{\alpha 2}(t)\big{]}, (78b)
Iα12(t)\displaystyle I_{\alpha 12}(t) =ietrS[ρα1+(t)ffρα1(t)],\displaystyle=i\frac{e}{\hbar}{\rm tr}_{\mbox{\tiny S}}\big{[}\rho^{+}_{\alpha 1}(t)f^{\dagger}-f\rho^{-}_{\alpha 1}(t)\big{]}, (78c)
Iα21(t)\displaystyle I_{\alpha 21}(t) =ietrS[ρα2+(t)ffρα2(t)].\displaystyle=i\frac{e}{\hbar}{\rm tr}_{\mbox{\tiny S}}\big{[}\rho^{+}_{\alpha 2}(t)f-f^{\dagger}\rho^{-}_{\alpha 2}(t)\big{]}. (78d)

Again, straightforwardly, substituting the result of ρα±(t)\rho^{\pm}_{\alpha}(t) into the above expressions, we obtain the current formulas Eq. (22) in the main text.

References

  • (1) A. Y. Kitaev, Physics-Uspekhi 44, 131 (2001).
  • (2) A. Kitaev, Annals of Physics 303, 2 (2003).
  • (3) C. Nayak, S. H. Simon, A. Stern, M. Freedman, and S. Das Sarma, Rev. Mod. Phys. 80, 1083 (2008).
  • (4) M. Leijnse and K. Flensberg, Phys. Rev. Lett. 107, 210502 (2011).
  • (5) R. M. Lutchyn, J. D. Sau, and S. Das Sarma, Phys. Rev. Lett. 105, 077001 (2010).
  • (6) Y. Oreg, G. Refael, and F. von Oppen, Phys. Rev. Lett. 105, 177002 (2010).
  • (7) K. Flensberg, Phys. Rev. B 82, 180516(R) (2010).
  • (8) S. Das Sarma, A. Nag, and J. D. Sau, Phys. Rev. B 94, 035143 (2016).
  • (9) A. Vuik, B. Nijholt, A. R. Akhmerov, and M. Wimmer, SciPost Phys. 7, 61 (2019).
  • (10) B. H. Wu and J. C. Cao, Phys. Rev. B 85, 085415 (2012).
  • (11) C. Moore, T. D. Stanescu, and S. Tewari, Phys. Rev. B 97, 165302 (2018).
  • (12) K. T. Law, P. A. Lee, and T. K. Ng, Phys. Rev. Lett. 103, 237001 (2009).
  • (13) J. Nilsson, A. R. Akhmerov, and C. W. J. Beenakker, Phys. Rev. Lett. 101, 120403 (2008).
  • (14) J. Danon, A. B. Hellenes, E. B. Hansen, L. Casparis, A. P. Higginbotham, and K. Flensberg, Phys. Rev. Lett. 124, 036801 (2020).
  • (15) G. C. Ménard et al., Phys. Rev. Lett. 124, 036802 (2020).
  • (16) V. Mourik et al., Science 336, 1003 (2012).
  • (17) M. T. Deng et al., Nano Lett. 12, 6414 (2012).
  • (18) A. Das et al., Nat. Phys. 8, 887 (2012).
  • (19) A. D. K. Finck, D. J. Van Harlingen, P. K. Mohseni, K. Jung, and X. Li, Phys. Rev. Lett. 110, 126406 (2013).
  • (20) S. M. Albrecht et al., Nature 531, 206 (2016).
  • (21) H.-L. Lai, P.-Y. Yang, Y.-W. Huang, and W.-M. Zhang, Phys. Rev. B 97, 054508 (2018).
  • (22) Y.-W. Huang, P.-Y. Yang, and W.-M. Zhang, Phys. Rev. B 102, 165116 (2020).
  • (23) C. Bruder and H. Schoeller, Phys. Rev. Lett. 72, 1076 (1994).
  • (24) P. Brune, C. Bruder, and H. Schoeller, Phys. Rev. B 56, 4730 (1997).
  • (25) S. A. Gurvitz and Y. S. Prager, Phys. Rev. B 53, 15932 (1996).
  • (26) J. Lehmann, S. Kohler, P. Hänggi, and A. Nitzan, Phys. Rev. Lett. 88, 228305 (2002).
  • (27) X. Q. Li, P. Cui, and Y. J. Yan, Phys. Rev. Lett. 94, 066803 (2005).
  • (28) X. Q. Li, J. Y. Luo, Y. G. Yang, P. Cui, and Y. J. Yan, Phys. Rev. B 71, 205304 (2005).
  • (29) J. Y. Luo, X. Q. Li, and Y. J. Yan, Phys. Rev. B 76, 085325 (2007).
  • (30) J. Li, Y. Liu, J. Ping, S. S. Li, X. Q. Li, and Y. J. Yan, Phys. Rev. B 84, 115319 (2011).
  • (31) J. S. Jin, X. Zheng, and Y. J. Yan, J. Chem. Phys. 128, 234703 (2008).
  • (32) J. S. Jin, M. W.-Y. Tu, W.-M. Zhang, and Y. J. Yan, New J. Phys. 12, 083013 (2010).
  • (33) S. Datta, Electronic Transport in Mesoscopic Systems, Oxford University Press, New York, 1995.
  • (34) H. Haug and A.-P. Jauho, Quantum Kinetics in Transport and Optics of Semiconductors, Springer-Verlag, Berlin, 2nd, substantially revised edition, 2008, Springer Series in Solid-State Sciences 123.
  • (35) A. Zazunov, A. L. Yeyati, and R. Egger, Phys. Rev. B 84, 165440 (2011).
  • (36) Y. Cao, P. Wang, G. Xiong, M. Gong, and X.-Q. Li, Phys. Rev. B 86, 115311 (2012).
  • (37) M. W. Y. Tu and W.-M. Zhang, Phys. Rev. B 78, 235311 (2008).