“…with i, j = (a, b) the contact indices, k, l = N, S the region indices ( dniσ = ĉiσ , dsiσ = biσ ), α, β = (+, −) the indices of the Keldysh temporal contour and T c is the Keldysh temporal ordering operator. Assuming normal electrodes on the surface of the TI, the hopping Hamiltonian D2 takes the form A3, and considering the two possible choices of the boundary conditions, the average current acquires a factor of 2 [80,83]. In a stationary situation, the average current in the electrode i can be expressed in the energy space as the average current can be written in terms of Green functions evaluated over a single type of region as )/π the density-of -states matrix of electrode i, being ĝr(a) i its equilibrium Green function.…”