introduction to the scattering matrix formalism · chapter 1 scattering matrix formalism 1.1...

40
Introduction to the Scattering Matrix Formalism Fabrizio Dolcini Scuola Normale Superiore di Pisa, NEST (Italy) Dipartimento di Fisica del Politecnico di Torino (Italy) Lecture Notes for XXIII Physics GradDays, Heidelberg, 5-9 October 2009

Upload: others

Post on 08-Oct-2019

19 views

Category:

Documents


0 download

TRANSCRIPT

Introduction to the Scattering MatrixFormalism

Fabrizio DolciniScuola Normale Superiore di Pisa, NEST (Italy)

Dipartimento di Fisica del Politecnico di Torino (Italy)

Lecture Notes for XXIII Physics GradDays, Heidelberg, 5-9 October 2009

Contents

1 Scattering Matrix Formalism 31.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.2 Example: Ballistic Quantum Wire . . . . . . . . . . . . . . . . . . . . . . . . 4

1.2.1 The case with one impurity . . . . . . . . . . . . . . . . . . . . . . . 41.3 Relation between Transfer matrix and Scattering matrix . . . . . . . . . . . 7

1.3.1 General remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71.3.2 Hybrid junction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

1.4 Combining Scattering Matrices: The case with two impurities . . . . . . . . 121.4.1 Transmission Coefficient . . . . . . . . . . . . . . . . . . . . . . . . . 17

1.5 Properties of the Scattering Matrices: Unitarity and Onsager relations . . . . 191.6 Landauer-Buttiker formalism . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

1.6.1 The single channel case . . . . . . . . . . . . . . . . . . . . . . . . . . 201.7 Current operator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

1.7.1 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221.7.2 Electrons with parabolic dispersion . . . . . . . . . . . . . . . . . . . 221.7.3 Expression in the Left Lead . . . . . . . . . . . . . . . . . . . . . . . 231.7.4 Expression in the Right Lead . . . . . . . . . . . . . . . . . . . . . . 26

1.8 Average Current and Non-linear Conductance . . . . . . . . . . . . . . . . . 271.8.1 Zero temperature limit . . . . . . . . . . . . . . . . . . . . . . . . . . 281.8.2 Source of Resistance . . . . . . . . . . . . . . . . . . . . . . . . . . . 281.8.3 Example. Fabry-Perot oscillations in carbon Nanotubes . . . . . . . . 30

1.9 Multi-channel case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 321.9.1 Example: Quantum Point Contact in a Semiconductor 2DEG . . . . 36

2

Chapter 1

Scattering Matrix Formalism

1.1 Introduction

Let us consider a mesoscopic sample connected to two reservoirs on the Left(L) and Right(R),as shown in Fig.1.1.

mesoscopic sampleLEFT ELECTRODE

RIGHT ELECTRODELEAD LEAD

Figure 1.1: A mesoscopic sample connected to two (normal) metallic electrodes.

In experiments the typical size reservoirs is wide compared to the typical cross-section ofthe mesoscopic conductor. Consequently, the mesoscopic system represents only a smallperturbation for the reservoirs, which can thus be described in terms of an equilibrium state,characterized by chemical potentials µL and µR and temperatures TL and TR, respectively.The distribution functions of electrons in the reservoirs are therefore Fermi distributionfunctions

fX(E) =1

1 + e(E−µX)/kBTXX = L/R (1.1)

It is worth emphasizing the differences between the reservoirs and the mesoscopic sample:

• While in the mesoscopic sample no inelastic processes occur, in the reservoirs inelasticprocesses do occur, for otherwise no equilibrium state could be established.

• Furthermore, electrodes are characterized by a large number of modes, which are en-ergetically very closely spaced, whereas the mesoscopic system has a finite number ofmodes.

3

4 Example: Ballistic Quantum Wire

The contacts between the mesoscopic conductor and the reservoirs can be schematized asideal narrow channels widening into the large reservoirs, which are called leads, or contactregions .

We suppose for simplicity that the temperatures in the two electrodes are the same TL =TR = T , whereas we apply a voltage bias V between the two electrodes

V = (µL − µR)/q (1.2)

where q is the elementary electron charge (q = e = |e| or q = −e = −|e| depending on theconvention used in the literature). The voltage induces a current I through the sample anddrives it into a non-equilibrium state. The purpose is to determine the transport properties(average current, current fluctuations, etc.) as a function of the applied bias V and of thetypical parameters characterizing the mesoscopic system.

1.2 Example: Ballistic Quantum Wire

1.2.1 The case with one impurity

Let us consider free electrons with parabolic dispersion and with one δ-like impurity locatedat x = x0; in second quantization the Hamiltonian reads

H =

∫ +∞

−∞Ψ†(x)

(− ~2

2m

∂2

∂x2+ Λδ(x− x0)

)Ψ(x) dx

where the electron field fulfills anti-commutation relationsΨ(x),Ψ†(y)

= δ(x− y) (1.3)

Introducing

Λ = Λ2m

~2(1.4)

we can also rewrite

H = − ~2

2m

∫ +∞

−∞Ψ†(x)

(∂2Ψ(x)

∂x2+ Λ δ(x− x0)Ψ(x)

)dx

The equation of motion for the field Ψ reads

i~Ψ = [Ψ,H] (1.5)

i.e.

i~Ψ(x, t) = − ~2

2m

(∂2

∂x2Ψ(x, t) + Λδ(x− x0)Ψ(x, t)

)(1.6)

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 5

From this equation we observe that ∂2xΨ has a δ-like singularity, implying that ∂xΨ is discon-

tinuous at x = x0. The field Ψ itself, in contrast, is continuous. Integrating around x = x0

we obtain that

∂xΨ(x+0 ) − ∂xΨ(x−0 ) = ΛΨ(x0) (1.7)

Thus, the equation of motion (1.6) is equivalent toi~Ψ(x, t) = − ~2

2m∂2

∂x2 Ψ(x, t) x 6= x0

Ψ(x+0 , t) = Ψ(x−0 , t)

∂xΨ(x+0 , t) − ∂xΨ(x−0 , t) = ΛΨ(x0, t)

In order to solve these equations, we make the following Ansatz

Ψk(x, t) = e−iEkt/~

aLk e

ikx + bLk e−ikx x < x0

bRk eikx + aRk e

−ikx x > x0

(1.8)

where

Ek =~2k2

2m(1.9)

which satisfies the first condition.The second and third conditions respectively yield

aLk eikx0 + bLk e

−ikx0 = bRk eikx0 + aRke

−ikx0

ik(bRk e

ikx0 − aRk e−ikx0

)− ik

(aLk e

ikx0 − bLke−ikx0

)= Λ

(aLk e

ikx0 + bLk e−ikx0

)(1.10)

The solution of this set of linear equations for the amplitude operators can easily be found(see below) and reads bRk

aRk

= Mk

aLk

bLk

(1.11)

where the matrix Mk

Mk =

1 + Λ2ik

Λ2ike−2ikx0

− Λ2ike2ikx0 1− Λ

2ik

(1.12)

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

6 Example: Ballistic Quantum Wire

is called the Transfer Matrix, for it describes how the amplitude operators on the left ofthe impurity are ’transfered’ to the ones on the right of the impurity.We notice that

• the Transfer Matrix exhibits the following properties of the transfer matrix:

detMk = 1 M21 = M∗12 (1.13)

• the order of a, b operators appearing in Eq.(1.11) is different on the left and right side.This is because typically Transfer Matrix is defined as relating corresponding velocityamplitudes. A right-moving electron is described by bRk on the right of the impurity,and by aRk on the left of the impurity.

Proof of Eq.(1.10)Starting from Eqs.(1.10) one can now introduce

a′Lk = aLk eikx0

b′Lk = bLk e−ikx0

b′Rk = bRk eikx0

a′Rk = aRk e−ikx0

(1.14)

and reexpress the above equations in these new variablesa′Lk + b′Lk = b′Rk + a′Rk

ik(b′Rk − a′Rk

)− ik

(a′Lk − b′Lk

)= Λ

(a′Lk + b′Lk

)i.e.

a′Lk + b′Lk = b′Rk + a′Rk

a′Lk

(1 +

Λik

)− b′Lk

(1− Λ

ik

)= b′Rk − a′Rk

We have now two equations for four unknowns. In order to determine the transfer matrix we haveto express the variables of the RIGHT-part as a function the the ones in the LEFT part. It istherefore straightforward to replace the above equations with their sum and difference

b′Rk =(

1 + Λ2ik

)a′Lk + Λ

2ik b′Lk

a′Rk = − Λ2ik a

′Lk +

(1− Λ

2ik

)b′Lk

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 7

Coming now back to the original variables (1.14) the latter equations can be rewritten asbRk =

(1 + Λ

2ik

)aLk + Λ

2ik e−2ikx0 bLk

aRk = − Λ2ik e

2ikx0 aLk +(

1− Λ2ik

)bLk

which are simply Eqs.(1.10) written in matrix form.

1.3 Relation between Transfer matrix and Scattering

matrix

1.3.1 General remarks

The Transfer matrix expresses the coefficients of the states on the right side of scatterer interms of the coefficients of the same states on the left side of the scatterer:

bR

aR

=

M11 M12

M21 M22

· aL

bL

(1.15)

The relations (1.15) between operators are linear. It is thus easy to express the same relationsalso in different equivalent ways. In particular, one can expresses the outgoing state operatorsas a function of the incoming state operators, bL

bR

=

S11 S12

S21 S22

· aL

aR

(1.16)

and the matrix S is called the Scattering Matrix.It is straightforward to verify that the S-matrix can be expressed in terms of the Transfermatrix entries as follows:

S =1

M22

−M21 1

1 M12

(1.17)

where we have used the property:detM = 1 (1.18)

Usually the Scattering matrix entries are denoted as

S =

(r t′

t r′

)(1.19)

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

8 Relation between Transfer matrix and Scattering matrix

where tk, t′k and rk, r

′k are transmission and reflection amplitudes. Let us for instance assume

to ’prepare’ the incoming wave packet as coming from LEFT (we thus set aR = 0). Thenthe transmission and reflection coefficients read

T = |t|2 =

∣∣∣∣ 1

M22

∣∣∣∣2

R = |r|2 =

∣∣∣∣−M21

M22

∣∣∣∣2 =

∣∣∣∣M12

M22

∣∣∣∣2(1.20)

Exploiting the property:

M∗21 = M12 (1.21)

one can observe that the same result is obtained if the incoming wave packet comes fromRIGHT.

Example: Scattering Matrix and Transmission Coefficient for the case with oneimpurity

• In the case described above of a quantum wire with one single impurity the Scatteringmatrix can be obtained using the Transfer Matrix and applying the relation (1.17)between Scattering and Transfer matrices

S =

Λ2ik−Λ

e2ikx0 2ik2ik−Λ

2ik2ik−Λ

Λ2ik−Λ

e−2ikx0

(1.22)

• Importantly we observe that the Scattering matrix is unitary

S†S = I

• The transmission coefficient is easily computed inserting Eqs.(1.12) into Eq.(1.20).

T =1

1 + Λ2

4k2

=8mE

~2

8mE~2 + Λ2

=2~2

mE

2~2

mE + Λ2

(1.23)

We observe that the transmission coefficient does not depend on the position x0 of theimpurity.

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 9

0 2 4 6 8 100.0

0.2

0.4

0.6

0.8

1.0

λ=.01

λ=3.0

λ=1T

EFigure 1.2: The Transmission coefficient for a quantum wire with parabolic dispersion inthe presence of one impurity.

1.3.2 Hybrid junction

• Let us consider a hybrid junction between two different materials (e.g. two differentsemiconductors), characterized by different effective masses, i.e. by different parabolicdispersion. Let us assume that the junction is ideal and that no backscattering term(like the δ-like impurity in the previous example) is present. In general this will notbe the case, but this is unimportant for what we want to point out here. At a givenvalue of the energy E the characteristic momenta (and velocities) in the two regionsforming the junction are different, due to the different dispersion relations. Since thesystem breaks translational invariance, momentum is not conserved and is not a goodquantum number, whereas energy is (see Fig.1.3).

• Model: The hybrid junction can be modeled as a system with a space-dependent mass

H =

∫ +∞

−∞Ψ†(x)

∂x

(− ~2

2m(x)

∂Ψ(x)

∂x

)dx (1.24)

where the effective mass reads

m(x) = mL θ(x− x0) +mR θ(x0 − x) (1.25)

The equation of motion for the field Ψ reads

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

10 Relation between Transfer matrix and Scattering matrix

vRvL

kL kR

mRmL

Figure 1.3: A junction between different materials.

i~Ψ(x, t) =∂

∂x

(− ~2

2m(x)

∂Ψ(x, t)

∂x

)x 6= x0

Ψ(x+0 , t) = Ψ(x−0 , t)

1

mR

∂xΨ(x+0 , t) =

1

mL

∂xΨ(x−0 , t)

To solve the above relation we make the following Ansatz

Ψ(x, t) = e−iEt/~

aLkL e

ikLx + bLkL e−ikLx x < x0

bRkR eikRx + aRkR e

−ikRx x > x0

(1.26)

where

kL =1

~√

2mLE kR =1

~√

2mRE (1.27)

It is straightforward to see that the solution is bLkL

bRkL

= SkLkR ·

aLkL

aRkL

(1.28)

with

SkLkR =1

vL + vR

(vL − vR) e2ikLx0 2vR ei(kL−kR)x0

2vL ei(kL−kR)x0 −(vL − vR) e−2ikRx0

(1.29)

where

vL(E) =~kLmL

vR(E) =~kRmR

(1.30)

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 11

Here the two subscripts (kLkR) in SkLkR remind that, differently from the previous caseof a single impurity, momentum is not conserved in this problem. Importantly, onecan easily prove that this scattering matrix SkLkR is not unitary.

• Motivated by the remark that energy (and not momentum) is conserved, we try tointroduce operators that are related to energy. Let us then pass from momentum labelto energy label. In doing that, we also pass to the continuum∑

k

... =Ω

∫dk... =

Ω

∫1

~v(E)dE... (1.31)

We notice that

aLk, a†Lk′ = bLk, b

†Lk′ = δk,k′ =

Ωδ(k − k′) =

Ω~v(E)δ(E − E ′) , (1.32)

with

v(E) =1

~

∣∣∣∣∂E∂k∣∣∣∣ , (1.33)

We can thus introduce energy amplitude operators aXE and bXE, defined through therelations1

aLkL =√

2π~vLΩ

aLE

bLkL =√

2π~vLΩ

bLE

bRkR =√

2π~vRΩ

bRE

bRkR =√

2π~vRΩ

bRE

(1.34)

They obey the following anticommutation relatiosn

aLE, a†LE′ = bLE, b

†LE′ = δ(E − E ′) aLE, bLE′ = aLE, b

†LE′ = 0(1.35)

In terms of the new operators Eqs.(1.28) and (1.29) are easily rewritten as bLE

bRE

= S(E) ·

aLE

aRE

(1.36)

with a new scattering matrix

S(E) =1

vL + vR

(vL − vR) e2ikLx0 2√vRvL e

i(kL−kR)x0

2√vRvL e

i(kL−kR)x0 −(vL − vR) e−2ikRx0

(1.37)

1Notice that in Eq.(1.72) the velocity is independent of the LEFT/RIGHT or IN/OUT; it only dependson the energy. This is equivalent to assuming that the band is symmetric for k → −k. This is also consistentwith Eq.(1.65), where only one energy appears.

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

12 Combining Scattering Matrices: The case with two impurities

where kL and kR are related to energy through Eq.(1.27). Notice that, due to the factthat velocities are different, the matrix (1.37) is not simply the same matrix (1.29)re-expressed in terms of energy E. Importantly the scattering matrix (1.37) for thenew energy operators is unitary.

• One can wonder: why the previous matrix (1.29) was not unitary? Why a simpleredefinition (1.34) of the operators led unitarity emerge?

v1dt v2dt

Figure 1.4: Flux conservation.

This can be understood as follows: In hybrid systems, such as heterojunctions betweentwo different semiconductors or junctions between normal and a superconductors, den-sity is typically not conserved across the junction. Indeed, as shown in Fig.1.3, ata given energy we have different kF ’s in the two sides of the junction, i.e. differentelectron densities. This is quite similar to what happens to an incompressible fluidflowing through a pipeline with inhomogeneous velocities: in order for the total num-ber of particles to be preserved, the density is not uniform. In contrast the flux ρv ispreserved: the lower the velocity the higher the density (see Fig.1.4). In our case theflux is simply the current density, which is conserved across the junction.

J = qvΨ†Ψ ∼ q v a†k ak = qva†E√2π~v

aE√2π~v

=q

ha†E aE

The conservation of J implies the unitarity for the scattering matrix connecting a†Eand b†E operators: the incoming flux must equal the outgoing flux. For this reason thescattering matrix is usually meant as refereed to the energy amplitude operators, andnot to the a†k operators.

1.4 Combining Scattering Matrices: The case with two

impurities

Let us consider free electrons with parabolic dispersion, but with two δ-like impurities locatedat x = x1 and x = x2 (with x1 < x2).This could be for instance a nice toy model to account for the presence of non-ideal contactsbetween a ballistic quantum wire and the leads (notice that ’non-ideal’ means T < 1; weshall see, however, that even for ideal contacts with T = 1 there exists an intrinsic quantum

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 13

of resistance RQ).The length of the quantum wire is then

L = x2 − x1 (length of the wire) (1.38)

The Hamiltonian then reads:

H = − ~2

2m

∫ +∞

−∞Ψ†(x)

∂2

∂x2Ψ(x) dx + Λ

(Ψ†(x1)Ψ(x1) + Ψ†(x2)Ψ(x2)

)Introducing again Eq.(1.4), i.e.

Λ = Λ2m

~2(1.39)

and integrating the equation of motion around x = x1 and then around x = x2, we obtainthe following conditions

i~Ψ(x, t) = − ~2

2m

∂2

∂x2Ψ(x, t) x 6= x1, x2

Ψ(x) continuous at x = x1 and at x = x2

∂xΨ(x+1 ) − ∂xΨ(x−1 ) = ΛΨ(x1)

∂xΨ(x+2 ) − ∂xΨ(x−2 ) = ΛΨ(x2)

The following Ansatz

Ψk(x, t) = e−iEkt/~

aLk e

ikx + bLk e−ikx x < x1

γ+k e

ikx + γ−k e−ikx x1 < x < x2

bRk eikx + aRk e

−ikx x > x2

(1.40)

fulfills the first condition with energy:

Ek =~2k2

2m(1.41)

The second, third and forth conditions respectively yield

aLk eikx1 + bLk e

−ikx1 = γ+k e

ikx1 + γ−k e−ikx1

γ+k e

ikx2 + γ−k e−ikx2 = bRk e

ikx2 + aRke−ikx2

ik(γ+k e

ikx1 − γ−k e−ikx1

)− ik

(aLk e

ikx1 − bLke−ikx1

)= Λ

(aLk e

ikx1 + bLk e−ikx1

)ik(bRk e

ikx2 − aRk e−ikx2

)− ik

(γ+k e

ikx2 − γ−k e−ikx2

)= Λ

(bRk e

ikx2 + aRk e−ikx2

)(1.42)

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

14 Combining Scattering Matrices: The case with two impurities

This linear system of equations can be solved straightforwardly (see below for explicit deriva-tion), and one finds that

γ+k

γ−k

=

(

1 + Λ2ik

2ike−2ikx1

− Λ

2ike2ikx1

(1− Λ

2ik

)

︸ ︷︷ ︸Mk(x1) = Transfer Matrix at x1

·

aLk

bLk

(1.43)

bRk

aRk

=

(

1 + Λ2ik

2ike−2ikx2

− Λ2ike2ikx2

(1− Λ

2ik

)

︸ ︷︷ ︸Mk(x2) = Transfer Matrix at x2

·

γ+k

γ−k

(1.44)

where the transfer matrices Mk(x1) and Mk(x2) are the single impurity transfer matrices(see Eq.(1.12)) respectively at x1 and x2. The whole Transfer Matrix bRk

aRk

= Mk ·

aLk

bLk

(1.45)

is thus obtained as the product

Mk = Mk(x2) ·Mk(x1) = (1.46)

=

(

1 + Λ2ik

)2

−(

Λ2ik

)2

e−2ik(x2−x1) Λ2ik

((1 + Λ

2ik

)e−2ikx1 +

(1− Λ

2ik

)e−2ikx2

)

− Λ2ik

((1− Λ

2ik

)e2ikx1 +

(1 + Λ

2ik

)e2ikx2

) (1− Λ

2ik

)2

−(

Λ2ik

)2

e2ik(x2−x1)

We now pass to energy amplitude operators

aLk =√

2π~vΩ

aLE

bLk =√

2π~vΩ

bLE

bRk =√

2π~vΩ

bRE

bRk =√

2π~vΩ

bRE

(1.47)

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 15

Since in this case the velocity

vE =~kEm

=

√2E

m(1.48)

is the same everywhere, the Trasfer Matrix for the aXE and bXE operators is simply Eq.(1.46),expressed in terms of energy E. Recalling that

Λ = Λ2m

~2(1.49)

one rewrites Eq. (1.46) as

ME =

=

(

1 + Λi~vE

)2

−(

Λi~vE

)2

e−2ik(x2−x1) Λi~vE

((1 + Λ

i~vE

)e−2ikx1 +

(1− Λ

i~vE

)e−2ikx2

)

− Λi~vE

((1− Λ

i~vE

)e2ikEx1 +

(1 + Λ

i~vE

)e2ikx2

) (1− Λ

i~vE

)2

−(

Λi~vE

)2

e2ikE(x2−x1)

It is straightforward to verify that M∗E = ME; moreover, since the determinant of each

ME(xi)’s equals 1, one also has that detME = 1.

Proof of Eqs.(1.44) and (1.44):Consider Eq.(1.42) and introduce

a′Lk = aLk eikx1

b′Lk = bLk e−ikx1

b′Rk = bRk eikx2

a′Rk = aRk e−ikx2

(1.50)

and rewrite the equations as

a′Lk + b′Lk = γ+k e

ikx1 + γ−k e−ikx1

γ+k e

ikx2 + γ−k e−ikx2 = b′Rk + a′Rk

ik(γ+k e

ikx1 − γ−k e−ikx1

)− ik

(a′Lk − b′Lk

)= Λ

(a′Lk + b′Lk

)ik(b′Rk − a′Rk

)− ik

(γ+k e

ikx2 − γ−k e−ikx2

)= Λ

(b′Rk + a′Rk

)Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

16 Combining Scattering Matrices: The case with two impurities

i.e.

a′Lk + b′Lk = γ+k e

ikx1 + γ−k e−ikx1

b′Rk + a′Rk = γ+k e

ikx2 + γ−k e−ikx2

(1 +

Λik

)a′Lk −

(1− Λ

ik

)b′Lk = γ+

k eikx1 − γ−k e

−ikx1

(1− Λ

ik

)b′Rk −

(1 +

Λik

)a′Rk = γ+

k eikx2 − γ−k e

−ikx2

These are 4 equations for 6 unknowns; in order to determine the transfer matrix, we express noweverything in terms of the variables in the LEFT side; thus, we proceed as follows:

I → e−ikx1( I + III )

III → eikx1( I − III )

II →

(1− Λ

ik

)II − IV

IV →

(1 +

Λik

)II + IV

obtaining

γ+k = e−ikx1

((1 +

Λ2ik

)a′Lk +

Λ2ik

b′Lk

)

γ−k = eikx1

(− Λ

2ika′Lk +

(1− Λ

2ik

)b′Lk

)

a′Rk = − Λ2ik

eikx2 γ+k +

(1− Λ

2ik

)e−ikx2 γ−k

b′Rk =

(1 +

Λ2ik

)eikx2 γ+

k +Λ

2ike−ikx2 γ−k

(1.51)

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 17

or, in matrix form: γ+k

γ−k

=

e−ikx1

(1 + Λ

2ik

)e−ikx1 Λ

2ik

−eikx1Λ

2ikeikx1

(1− Λ

2ik

) ·

a′Lk

b′Lk

b′Rk

a′Rk

=

eikx2

(1 + Λ

2ik

)e−ikx2 Λ

2ik

− Λ2ike

ikx2 e−ikx2

(1− Λ

2ik

) ·

γ+k

γ−k

By recalling the definition (1.50), one can see that the above equations yield (1.43) and (1.44).

1.4.1 Transmission Coefficient

The transmission coefficient is easily computed inserting the entry M22 of Eq.(1.50) intoEq.(1.20)

T =

∣∣∣∣ 1

M22

∣∣∣∣2 =1∣∣∣∣(1− Λ

i~v(E)

)2

−(

Λi~v(E)

)2

e2ikEL

∣∣∣∣2One has:∣∣∣∣∣(

1− Λ

i~v(E)

)2

−(

Λ

i~v(E)

)2

e2ikEL

∣∣∣∣∣2

=

=

(1 +

~vE

)2)2

+

~vE

)4

+

~vE

)2[(

1− Λ

i~vE

)2

e−2ikEL +

(1 +

Λ

i~vE

)2

e+2ikEL

]=

= 1 + 2

~vE

)2

+ 2

~vE

)4

+

~vE

)2[

2

(1−

~vE

)2)

cos 2kEL+ 4Λ

~vEsin 2kEL

]=

= 1 + 2

~vE

)2

+ 2

~vE

)4

+

~vE

)2[

2

(1−

~vE

)2)(

2 cos2 kEL− 1)

+8Λ

~vEsin kEL cos kEL

]=

= 1 + 4

~vE

)4

+ 4

~vE

)2(

1−(

Λ

~vE

)2)

cos2 kEL + 8

~vE

)3

sin kEL cos kEL =

= 1 + 4

~vE

)4

sin2 kEL + 4

~vE

)2

cos2 kEL + 8

~vE

)3

sin kEL cos kEL =

= 1 + 4

~vE

)2[(

Λ

~vE

)2

sin2 kEL + cos2 kEL + 2Λ

~vEsin kEL cos kEL

]=

= 1 + 4

~vE

)2 [cos kEL +

Λ

~vEsin kEL

]2

whence

T (E) =1

1 + 4(

Λ~vE

)2 [cos kEL + Λ

~vE sin kEL]2 (1.52)

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

18 Combining Scattering Matrices: The case with two impurities

We now recall that the typical energy range we are interested in (temperature and appliedvoltage) are much smaller than the equilibrium Fermi energy. We can thus write

E = εF + ξ |ξ| εF (1.53)

and therefore we have

kE =

√2mE

~=

√2m(εF + ξ)

~=

=1

~

√2mεF

(1 +

ξ

εF

)=

[use kF =1

~√

2mεF ]

= kF

√1 +

ξ

εF=

' kF

(1 +

ξ

2εF

)=

[use vF =~kFm

and 2εF = ~vFkF ]

= kF

(1 +

ξ

~vFkF

)=

= kF +ξ

~vF(1.54)

and one can well approximate Eq.(1.52) as

T (εF + ξ) ' 1

1 + 4λ2[cos[kFL+ ξ

EL] + λ sin[kFL+ ξ

EL]]2 (1.55)

where we have defined

EL = ~ωL =~vFL

(1.56)

and

λ =Λ

~vF(1.57)

Here EL is the energy associated with the length of the wire (distance between the twocontact impurities), which is the natural characteristic lengthscale in this problem. We thusobserve that the transmission coefficient is an oscillatory function with a typical period givenby EL, as shown in Fig.1.5.

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 19

-10 -5 0 5 100.00

0.25

0.50

0.75

1.00

T

E /EL

λ=0.2 λ=2

Figure 1.5: The Transmission coefficient (1.55) for a system of electrons with parabolicdispersion in the presence of two impurities.

1.5 Properties of the Scattering Matrices: Unitarity

and Onsager relations

General symmetries imply properties on the Scattering matrix:

Conservation of Flux:

S(E)† = S(E) (1.58)

Time Reversal Symmetry:

S†ij(E;B) = Sji(E;−B) (1.59)

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

20 Landauer-Buttiker formalism

1.6 Landauer-Buttiker formalism

1.6.1 The single channel case

We consider independent electrons in one dimension, in the presence of scatterers. Forsimplicity we assume that we have only one band, in which we have IN-coming and OUT-going particles. Examples of this situation are given in sec.1.2 for electrons in the continuumwith parabolic dispersion. We wish here to define the general framework to treat thesemodels. Following Blanter and Buttiker, we denote:

a ↔ INoperators

b ↔ OUT

(1.60)

Similarly we shall denote the eigenfunctions asα(x) ↔ IN

eigenfunctionsβ(x) ↔ OUT

(1.61)

Once the location with respect to the set of scatterers is fixed (i.e. whether LEFT or RIGHT),the IN and OUT states are determined: for instance, for electrons with parabolic dispersion,one has

for k ≥ 0

αRkR(x) =

1√Ωe−ikRx αLkL(x) =

1√ΩeikLx

βRkR(x) =1√ΩeikRx βLkL(x) =

1√Ωe−ikLx

(1.62)

As the examples discussed in the previous sections suggest, the field operator in the LEFTand in the RIGHT lead can be respectively written as:

Ψ(x ∈ L, t) =∑k≥0

(αLkL(x) aLkL(t) + βLkL(x) bLkL(t)

)= (1.63)

=∑k≥0

e−iEkt/~(αLkL(x) aLkL + βLkL(x) bLkL

)= (1.64)

=1√Ω

∑k≥0

e−iEkt/~(eikLx aLkL + e−ikLx bLkL

)(1.65)

Ψ(x ∈ R, t) =∑k≥0

(αRk(x) aRkR(t) + βRk(x) bRkR(t)

)= (1.66)

=∑k≥0

e−iEkt/~(αRk(x) aRkR + βRkR(x) bRkR

)(1.67)

=1√Ω

∑k≥0

e−iEkt/~(e−ikRx aRkR + eikRx bRkR

)(1.68)

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 21

where the operators aXk’s and bXk’s (X = L/R) fulfill

aXkX , a†Y k′

Y = δXY δk,k′ (1.69)

bXkX , b†Y k′ = δX,Y δk,k′ (1.70)

aXkX , bXk′X = aXkX , b

†Xk′

X = 0 (1.71)

Since we have explicitly separated IN and OUT states, the sum over the momentumonly runs on positive k’s.

Explicit realizations of Eqs.(1.63)-(1.68) have been provided in the previous sections; inparticular i) in (1.8) and (1.40) for electrons with parabolic dispersion in the presence of oneand two impurities.

We have also seen that it is customary to introduce energy amplitude operatorsaXE = 1√

2πΩ

~vX(E)aXkX

X = L/R

bXE = 1√2πΩ

~vX(E)bXkX

(1.72)

which obey anticommutations relations

aX kX, a†Xk′

X = bX kX

, b†Xk′X = δkX ,k′

X=

Ωδ(kX − k′X) =

Ω~v(E)δ(E − E ′) , (1.73)

Similarly we also relabel αLkL(x) = αLEL(x)

βLkL(x) = βLEL(x)(1.74)

where kE ≥ 0 denotes the positive momentum corresponding to the energy E (mostra infigura).We thus obtain that Eqs.(1.65) and (1.68) can be rewritten as

Ψ(x ∈ L, t) =1√2π~

∫ ET

EB

dE√vL(E)

e−iEt/~(eikLEx aLE + e−ikLEx bLE

)(1.75)

Ψ(x ∈ R, t) =1√2π~

∫ ET

EB

dE√vR(E)

e−iEt/~(e−ikREx aRE + eikREx bRE

)(1.76)

where EB and ET are respectively the bottom and top values of the energy band.

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

22 Current operator

1.7 Current operator

1.7.1 Definition

The current operator is defined as

I(x, t) = qN∑i=1

1

2(δ(x− xi)vi + viδ(x− xi)) (1.77)

where vi is the velocity operator of the i-th particle, and the symmetrized form is required,because in general vi and δ(x−xi) do not commute. It is important to realize that the formof the velocity operator is not unique, it depends on the context. As a rule, in k-space thevelocity is given by:

vk =1

~∂Ek∂k

(1.78)

1.7.2 Electrons with parabolic dispersion

In the case of fermions with parabolic dispersion one has Ek = ~2k2/2m one gets vk = ~k/m,which yields, in x-space

v =p

m(1.79)

so, in second quantized formalism, one has:

I(x, t) = −i~ q

2m

(Ψ†(x, t)

∂Ψ

∂x(x, t)− ∂Ψ†

∂x(x, t)Ψ(x, t)

)(1.80)

The current is typically measured in the leads. Replacing Eq.(1.75) and Eq.(1.76) intothe general expression (1.80) we have that the current in the LEFT and RIGHT leadsrespectively.

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 23

1.7.3 Expression in the Left Lead

Replacing Eq.(1.75) into Eq.(1.80) we obtain the current in the left lead

I(x ∈ L, t) .=

1

2π~· −i~q

2m

∫ ∫dE dE ′√v(E)v(E ′)

ei(E−E′)t/~ ·

·i(kE′ + kE) e−i(kE−kE′ )x a†LE aLE′ − i(kE′ + kE) ei(kE−kE′ )x b†LE bLE′+

−i(kE′ − kE) e−i(kE+kE′ ) a†LE bLE′ + i(kE′ − kE) ei(kE+kE′ )x b†LE aLE′

=

.=

q

2π~

∫ ∫dE dE ′√v(E)v(E ′)

ei(E−E′)t/~ ·

·

~(kE + kE′)

2m

[e−i(kE−kE′ )x a†LE aLE′ − ei(kE−kE′ )x b†LE bLE′+

]+

~(kE − kE′)

2m

[− e−i(kE+kE′ )x a†LE bLE′ + ei(kE+kE′ )x b†LE aLE′

](1.81)

Recalling now that

v(E) =~kEm

one obtains

I(x ∈ L, t) .=

q

2π~

∫ ∫dE dE ′ ei(E−E

′)t/~ · (1.82)

·

v(E) + v(E ′)

2√v(E)v(E ′)

[e−i(kE−kE′ )x a†LE aLE′ − ei(kE−kE′ )x b†LE bLE′+

]+v(E)− v(E ′)

2√v(E)v(E ′)

[− e−i(kE+kE′ )x a†LE bLE′ + ei(kE+kE′ )x b†LE aLE′

]

Linearization

We now observe that typically the energies which are relevant to most of the physical quan-tities are those in a narrow range with respect to the Fermi energy. We can thus linearizearound the Fermi energy and approximate

vL(E) ' vLF (1.83)

and

kLE − kLE′ ' E − E ′

~vLF(1.84)

so that Eq.(1.82) simplifies to

I(x ∈ L, t) .=

q

2π~

∫ ∫dE dE ′ ei(E−E

′)t/~ ·e−i(E−E

′)x/~vF a†LE aLE′ − ei(E−E′)x/~vF b†LE bLE′

(1.85)

Notice that the linearized form (1.85) looks much simpler than the general expression (1.82),although linearization is not a necessary condition to apply Landauer-Buttiker formalism.

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

24 Current operator

The linearization procedure is equivalent to treating Dirac electrons, which are characterizedby a linear dispersion relation Ek = ~vFk, for which the velocity is operator

vk = vF (1.86)

i.e. a constant. The situation is in fact slightly more complicated, because one has twobranches, i.e. right and left movers Ψ→ and Ψ←, with velocities vk = ±vF respectively.Thus, the form of the current operator in the second quantized form for Dirac fermionsreads

I(x, t) = qvF(Ψ†→(x, t)Ψ→(x, t) − Ψ†←(x, t)Ψ←(x, t)

)(1.87)

The definition (1.87) of the current, together with the expression for the density:

ρ(x, t) = q(Ψ†→(x, t)Ψ→(x, t) + Ψ†←(x, t)Ψ←(x, t)

)ensures the continuity equation

∂tρ = −∂xJ

for the solutions of the Dirac equation.

Use of the Scattering Matrix

Suppose that we now want to compute the average current in the (say) left lead. We wouldhave

IL.= 〈I(x ∈ L, t)〉 =

=q

2π~

∫ ∫dE dE ′ ei(E−E

′)t/~ ·e−i(E−E

′)x/~vF 〈a†LE aLE′〉 − ei(E−E′)x/~vF 〈b†LE bLE′〉

Since energy is conserved we can write

〈a†LE aLE′〉 = δ(E − E ′)〈a†LE aLE〉 (1.88)

〈b†LE bLE′〉 = δ(E − E ′)〈b†LE bLE〉 (1.89)

and we can conclude that

IL =q

2π~

∫dE

〈a†LE aLE〉 − 〈b

†LE bLE〉

(1.90)

In evaluating these average values we are facing a problem. We know the the statisticalproperties of the incoming electrons, because we can experimentally control them. However,the distribution of the outgoing electrons is quite complicated.

Consider for instance a right-moving electron traveling in the left lead towards the mesoscopicsystem. This electron can only originate from the left electrode and therefore are in thermal

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 25

equilibrium with it, even when the voltage bias is applied. The statistical properties of thiselectron are thus characterized by a chemical potential µL and a temperature TL:

〈a†LEaLE〉 = fL(E)

The same thing can be said for left moving electrons traveling on the right lead towards themesoscopic sample: they can only originate from the right electrode and are thus character-ized by a chemical potential µR and a temperature TR:

〈a†REaRE〉 = fR(E)

These remarks cannot hold for ougoing electrons. Indeed left moving electrons travelingin the left contact may originate either from the right electrode or from the left electrode,possibly after scattering processes through the mesoscopic sample. As a consequence, theirdistribution is strongly non-equilibrium distribution, which is not known a priori and is ingeneral not experimentally controllable :

〈b†LEbLE〉 = ? 〈b†REbRE〉 = ?

The underlying idea of the Landauer-Buttiker formalism is to exploit the Scattering Matrixto express the outgoing operators in terms of the incoming operators only:(

bLEbRE

)=

(rE t′EtE r′E

)︸ ︷︷ ︸

S(E)

(aLEaRE

)(1.91)

The S-matrix can easily be obtained by the transfer matrix M , as described in sec.1.3.1(examples of transfer matrices have been given in Eqs.(1.12) and (1.50) for fermions withparabolic dispersion).

In particular, for the current in the left lead we can use the first line of Eq.(1.91)bLE = rE aLE + t′E aRE

b†LE = r∗E a†LE + t′∗E a

†RE

(1.92)

and insert them into Eq.(1.93) to obtain

I(x ∈ L, t) .=

q

2π~

∫ ∫dE dE ′ ei(E−E

′)t/~ · (1.93)

·e−i(E−E

′)x/~vF a†LE aLE′ +

− e+i(E−E′)x/~vF(r∗ErE′ a

†LE aLE′ + r∗Et

′E′ a†LE aRE′ + t′∗ErE′ a

†RE aLE′ + t′∗Et

′E′ a†RE aRE′

)Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

26 Current operator

We can now collect together all the terms that involve the same operator product

I(x ∈ L, t) =q

2π~

∫ ∫dE dE ′ ei(E−E

′)t/~ ·

·[(e−i(E−E

′)x/~vF − e+i(E−E′)x/~vF r∗ErE′

)a†LE aLE′ −

−e+i(E−E′)x/~vF t′∗Et′E′ a

†RE aRE′ +

−e+i(E−E′)x/~vF r∗Et′E′ a

†LE aRE′ +

−e+i(E−E′)x/~vF t′∗ErE′ a

†RE aLE′

](1.94)

Introducing now the following dimensionless quantities:

ALLL (E,E ′;x) = e−i(E−E′)x/~vF − e+i(E−E′)x/~vF r∗ErE′

ARRL (E,E ′;x) = −e+i(E−E′)x/~vF t∗EtE′

ALRL (E,E ′;x) = −e+i(E−E′)x/~vF r∗Et′E′

ARLL (E,E ′;x) = −e+i(E−E′)x/~vF t′∗ErE′

(1.95)

we can rewrite

I(x ∈ L, t) =q

2π~∑

X,Y=L/R

∫ ∫dEdE ′ei(E−E

′)t/~ AXYL (E,E ′;x) a†XE aY E′ (1.96)

1.7.4 Expression in the Right Lead

Similarly we can proceed to evaluate the current in the right lead. Replacing Eq.(1.76) intoEq.(1.80), exploiting the second line of Eq.(1.91)

bRE = tE aLE + r′E aRE

b†RE = t∗E a†LE + r′∗E a

†RE

(1.97)

and introducing the following dimensionless quantities:

ALLR (E,E ′;x) = e−i(E−E′)x/~vF t∗EtE′

ARRR (E,E ′;x) = −e+i(E−E′)x/~vF + e−i(E−E′)x/~vF r∗ErE′

ALRR (E,E ′;x) = e−i(E−E′)x/~vF t∗Er

′E′

ARLR (E,E ′;x) = e−i(E−E′)x/~vF r′∗EtE′

(1.98)

we obtain

I(x ∈ R, t) =q

2π~∑

X,Y=L/R

∫ ∫dEdE ′ei(E−E

′)t/~ AXYR (E,E ′;x) a†XE aY E′ (1.99)

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 27

1.8 Average Current and Non-linear Conductance

We now compute the average value of the expressions (1.127) and (1.99) for the currentoperator in the left and right lead, respectively. We exploit the fact that incoming electronsare statistically independent, and that in each lead electrons obey Fermi statistics

〈a†XE aY E′〉 = δXY δ(E − E ′) fX(E) X = L/R (1.100)

where fX is the Fermi distribution in the X-th electrode.

• Left LeadUsing Eq.(1.127) one obtains

IL = 〈I(x ∈ L, t)〉 =q

2π~

∫ ET

EB

dE(ALLL (E,E;x) fL(E) + ARRL (E,E;x) fR(E)

)(1.101)

Recalling the expression for the coefficients (1.95), one has that the diagonal entries(E = E ′) read

ALLL (E,E;x) = 1− |rE|2 = |tE|2 = T (E)

ARRL (E,E;x) = −|tE|2 = −T (E)(1.102)

and therefore

IL = 〈I(x ∈ L, t)〉 =q

2π~

∫ ET

EB

dE T (E) (fL(E) − fR(E)) (1.103)

• Right LeadSimilarly, using the expression (1.99) for the current operator in the right lead oneobtains

IR = 〈I(x ∈ R, t)〉 =q

2π~

∫ ET

EB

dE(ALLR (E,E;x) fL(E) + ARRR (E,E;x) fR(E)

)(1.104)

and, using the expression for the coefficients (1.98) one hasALLR (E,E ′;x) = |tE|2 = T (E)

ARRR (E,E ′;x) = −1 + |rE|2 = −|tE|2 = −T (E)(1.105)

and therefore

IR = 〈I(x ∈ R, t)〉 =q

2π~

∫ ET

EB

dE T (E) (fL(E) − fR(E)) (1.106)

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

28 Average Current and Non-linear Conductance

Comparing Eqs.(1.103) and (1.106) we observe that the average current is actually indepen-dent of time and of position x (continuity of current), and equals

I = IL = IR =q

2π~

∫dE T (E) (fL(E) − fR(E)) (1.107)

We define the electrochemical potentials of the leads asµL = εF + qV

µR = εF

(1.108)

where εF is the common equilibrium Fermi level, whereas

V = (µL − µR)/q (1.109)

is the applied bias voltage.From the expression (1.110) we observe that, with the above definition of V , the cur-rent has the same sign as V , independently of the sign of the charge q.

1.8.1 Zero temperature limit

Let us consider the case of zero temperature (T = 0). Then the Fermi functions appearingin Eq.(1.110) become Heaviside functions and one obtains

I =q

2π~

∫ εF+qV

εF

T (E) dE (1.110)

Let us now consider the Non-linear Conductance: differentiating Eq.(1.110), we obtainthat

G(V ) =dI

dV=e2

hT (εF + eV ) (1.111)

where we have used the fact that q = ±e, depending on the convention adopted. In par-ticular, if the transmission coefficient can be considered as energy-independent close to theFermi energy one obtains

I =e2

hT · V (1.112)

which is a linear dependence, just like Ohm’s law, where the resistance is given by R =h/(Te2).

1.8.2 Source of Resistance

One can see that even when the mesoscopic sample has a perfectly ideal transmission (T = 1),the conductance is not infinite. There exist therefore an upper bound to the conductance (or

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 29

equivalently a lower bound to the resistance), which is known as the elementary conductancequantum

G0 =e2

hRQ =

h

e2' 26kΩ (resistance quantum per spin channel) (1.113)

(We have neglected spin so far. If we include spin degeneracy the quantum of conductanceis twice as much G0 = 2e2/h.)

The natural question arises1) Where does this resistance originate from ?

Furthermore, resistance is usually associated with dissipative effects, i.e. irreversible pro-cesses of energy loss. Here we have used Hamiltonian formalism (which ensures reversibility)to compute the Scattering Matrix, and we have emphasized that in a mesoscopic systemenergy is conserved. Thus another question arises:2) Where are the irreversible processes ?

To understand this point, one should remember there are two types of chemical potential.

• On the one side we have the electrochemical potentials µL and µR of the electrodes,which are large reservoirs where inelastic scattering processes ensure thermalization.Thus µL and µR are the ones corresponding to equilibrium Fermi distribution.

• On the other side, we have the chemical potentials at the leads (here modeled as ideal1D channels). As observed when introducing the Scattering Matrix formalism, in the(say) left lead one has both electrons thermally equilibrated with the left electrode andelectrons equilibrated with the right electrode. At the left of the sample there are noequilibration processes, and the electron distribution is not a simple Fermi function.Thus, strictly speaking, it is not even obvious that such non-equilibrium chemical po-tential can be defined. However, in the linear response regime, one can formally definea chemical potential µA associated to the average electron density on the left of thesample. Similarly one can introduce a chemical potential µB on the right of the meso-scopic sample . These chemical potentials are in general different from µL and µR (seeas depicted in Fig.1.6). The difference

VAB = (µA − µB)/q

between these chemical potentials is called the voltage drop across the mesoscopicsystem, and is different from the voltage bias µL − µR. Typically one has

µA − µB = (1− T ) (µL − µR) (1.114)

As one can see the voltage drop is indeed vanishing if the sample has ideal transmissionT = 1. Expressing the current in terms of the voltage drop, one would obtain

I =e2

h

T

1− TVAB

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

30 Average Current and Non-linear Conductance

If the voltage drop VAB were controllable one would conclude that a finite voltage dropacross a sample with perfect transmission (T = 1) would yield an infinite current. Tosome extent, this would seem to solve the problem (for a system with no resistanceis expected to have infinite current for a finite bias). However, it would be physicallyincorrect.

µAµB

µL

µR

T

Figure 1.6: Different chemical potentials

The crucial point is that the conductance G computed above is the one measured betweenthe two external reservoirs (V = (µL−µR)/q), and not the one measured with respect to thevoltage drop µA−µB across the sample. Indeed the leads are narrow channels, widening intolarge reservoirs, where eventually inelastic processes lead to thermalization. The reservoirsact as sources of carriers determined by the Fermi distribution, but also act as perfect sinksof carriers irrespective of the energy of the carrier that is leaving the mesoscopic system.When reaching the reservoirs, electrons are immediately thermalized. This is the reason forthe difference between µA and µL (or between µR and µB). These sinks thus represent asource of an irreversible process, which dissipates energy giving rise to a contact resistance .The energy dissipation takes place over a lengthscale given by the energy relaxation lengthof the leads.

In fact, the whole sample can be schematized as a series of 3 resistances in series, the one ofthe sample itself and the two contact resistances. Thus, the whole system exhibits voltagedrops at the contacts and across the mesoscopic sample.

1.8.3 Example. Fabry-Perot oscillations in carbon Nanotubes

• Carbon Nanotubes are shown in Fig.1.7. Their energy band is linear up to ∼ 1eV.

• Let us adopt a simplified model, where we neglect the valley quantum number, and dealwith just one single channel. We then model the non-ideal contacts with two impuritiesat the ends of the nanotube. We can thus use the model discussed above for a quantumwire with two impurities. Furthermore, due to the fact that the spectrum of nanotube

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 31

Figure 1.7: Structure of Carbon Nanotubes.

is linear up to 1 eV, the approximation of linearized band is quite appropriate, and thetransmission coefficients were found to be [see Eq.81.55)]

T (εF +ξ) ' 1

1 + 4(

Λ~vF

)2 [cos[kFL+ ξ

EL] + Λ

~vE sin[kFL+ ξEL

]]2 ξ = E−εF

(1.115)Replacing Eq.(1.115) into the general expression Eq.(1.116), and setting V = 0, onecan then find the linear conductance G(V = 0)

G(V = 0) =dI

dV

∣∣∣∣V=0

=e2

hT (εF ) =

=e2

h

1

1 + 4λ2 [cos[kFL] + λ sin[kFL]]2(1.116)

• Experiments by Liang. The position of the Fermi level (and therefore kF ) can be tunedby a gate voltage Vg. Indeed by varying the gate voltage one fills or depletes chargeinto the nanotube, changing the position of the Fermi level and, as a consequence, ofthe Fermi momentum.Oscillations were found in G, as shown in Fig.1.8 These oscillations demonstrate thecoherence of transport in carbon nanotubes. Indeed they originate from the interferencebetween backscattering at the two contacts, which is possible only if coherence ispreserved along the nanotube. The nanotube represents the electronic version of awaveguide with two mirrors (the barriers). For this reason, these oscillations are calledFabry-Perot oscillations.

• In an actual nanotube the situation is more complicated because of-the presence of the valley channels-the impurity strengths may not be identical for the two contacts

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

32 Multi-channel case

Figure 1.8: Fabry-Perot conductance oscillations as a function of gate bias in a carbonnanotube, after Ref.[8].

-there may be other impurities inside the wire-there may be charging effectsNevertheless, the main physics of Liang’s experiments is already captured by our simplemodel

1.9 Multi-channel case

So far we have considered a purely 1D problem, i.e. one single spinless channel. We nowwant to generalize the previous results taking into account the fact that electrons have aspin, and that a mesoscopic system is in general 3D structure.

Since we have some degree of freedom in describing the leads, we can assume without los-ing in generality that the electron motion in the leads is separable in longitudinal (x) andtransverse (y and z) directionsIn the longitudinal direction the system is open, and is characterized by the continuous wavevector kl. Transverse motion is quantized and described by the discrete index n (correspond-ing to transverse energies En (which can in principle be different for the Left and Right leads,and shall therefore be denoted as EXn). These states are referred to as transverse quantumchannels. We write thus

E = En + El (1.117)

As an example consider a 2D case, where a wire has a transverse width W . If we model suchwidth with hard-wall potential we obtain Then we have

El =~2k2

l

2mEn =

~2π2n2

2mW 2n = 1, 2, . . . (1.118)

The energies EXn can be viewed as the band bottom of the longitudinal band for the n-thquantum channel in lead X = L/R, as shown in FIg.1.9 Since El ≥ 0, for a given total en-ergy E only a finite number of channels exists. The number of incoming channels is denotedNL(E) in the Left and NR(E) in the Right lead, respectively.

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 33

E = µ

n = 1

3

2

4

Figure 1.9: The subbands of a mesoscopic system.

• We now introduce creation and annihilation operators a†XEn and aXEn, whichcreate and annihilate electrons with total energy E in the transverse channel n in theX-th lead (X = L/R), which are incident upon the sample. In the same way, thecreation and annihilation b†LEn and bLEn operators describe elec- trons in the outgoingstates. They obey anticommutation relations

a†XEn , aY E′m

= δXY δnmδ(E − E ′) (1.119)

The outgoing and incoming operators are connected through the Scattering Matrix

bLE1

bLE1

·bLENL

bRE1

bRE1

·bRENR

=

(rE t′EtE r′E

)︸ ︷︷ ︸

=S(E)

·

aLE1

aLE1

·aLENL

aRE1

aRE1

·aRENR

(1.120)

The S-matrix has dimension (NL +NR)× (NL +NR), withrE block has dimension NL ×NL

r′E NR ×NR

tE NR ×NL

t′E NL ×NR

(1.121)

• The electron field operator can be expressed, quite similarly to Eqs.(1.75) and

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

34 Multi-channel case

(1.76), as

Ψ(r ∈ L, t) =1√2π~

∫dE e−iEt/~

NL(E)∑n=1

χLn(r⊥)√vn(E)

(eikEnx aLEn + e−ikEnx bLEn

)(1.122)

Ψ(r ∈ R, t) =1√2π~

∫dE e−iEt/~

NR(E)∑n=1

χRn(r⊥)√vn(E)

(e−ikEnx aREn + eikEnx bREn

)(1.123)

where

– kLEn =√

2m(E − EXn)/~

– χXn(r⊥)’s are the transversal wave-function in lead X = L/R, and r⊥ = (y, z) isthe transversal coordinate.

• The electron current operator along the longitudinal direction is obtained by in-tegrating over the transversal coordinates

I(x, t) = −i~ q

2m

∫∫dr⊥

(Ψ†(r, t)

∂Ψ

∂x(r, t)− ∂Ψ†

∂x(r, t)Ψ(r, t)

)(1.124)

In the Left lead:

– Replacing Eq.(1.122) into Eq.(1.124), and exploiting the normalization oftransversal wavefunctions one straightforwardly generalizes Eq.(1.93) to

I(x ∈ L, t) = −i~ q

2m

∫∫dr⊥

(Ψ†(r, t)

∂Ψ

∂x(r, t)− ∂Ψ†

∂x(r, t)Ψ(r, t)

)=

=q

2π~

∫ ∫dE dE ′ ei(E−E

′)t/~NL(E)∑n=1

· (1.125)

·vn(E) + vn(E ′)

2√vLEnvLnE′

[e−i(kEn−kE′n)x a†LEnaLE′n − ei(kLEn−kLE′n)x b†LEnbLE′n+

]+vn(E)− vn(E ′)

2√vn(E)vn(E ′)

[− e−i(kLEn+kE′ )x a†LEnbLE′n + ei(kEn+kE′n)x b†LEnaLE′n

]

– Adopting the linearization approximation one obtains

I(x ∈ L, t) =q

2π~

∫ ∫dE dE ′ ei(E−E

′)t/~NL(E)∑n=1

· (1.126)

·[

e−i(kEn−kE′n)x a†LEnaLE′n − ei(kLEn−kLE′n)x b†LEnbLE′n+]

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 35

– Using the Scattering matrix one expresses the outgoing operators as a functionof the incoming ones, obtaining

I(x ∈ L, t) =q

2π~∑

X,Y=L/R

∫ ∫dEdE ′ei(E−E

′)t/~∑n,m

AXn,Y mL (E,E ′;x) a†XnE aY mE′

(1.127)where we have introduced

A =??????? (1.128)

– The average current can be expressed as

IL = 〈I(x ∈ L, t)〉 =q

2π~

∫dE Tr

[t†(E)t(E)

](fL(E) − fR(E)) (1.129)

where t(E) is the off-diagonal block of the Scattering Matrix. Notice that thetrace implies that the expression does not depend on the basis adopted for thescattering states. For every energy E the matrix t†(E)t(E) can be diagonalized,and its eigenvalues will be denoted by Tn(E)

Tr[t†(E)t(E)

]=∑n

Tn(E) (1.130)

so that the current reads

IL =q

2π~

∫dE

∑n

Tn(E) (fL(E) − fR(E)) (1.131)

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

36 Multi-channel case

In the Right LeadWe proceed similarly and obtain the same expression

IR =q

2π~

∫dE

∑n

Tn(E) (fL(E) − fR(E)) (1.132)

In conclusion, the Landauer-Buttiker expression for the average current reads

I = IL = IR =q

2π~

∫dE

∑n

Tn(E) (fL(E) − fR(E)) (1.133)

• The linear conductance At zero temperature, the (linear) conductance is easilyobtained from Eq.(1.133) as

G(V = 0) =e2

h

∑n

Tn(εF ) (1.134)

1.9.1 Example: Quantum Point Contact in a Semiconductor2DEG

• A Quantum Point Contact is a narrow constriction in a 2DEG (2-Dimensional ElectronGas). The constriction is created by applying a potential to some top gates, as shownin Figs.1.10 and 1.11

split gate

split gate

In e

lect

rode

In electrode

x

y

Figure 1.10: Top view of a Quantum Point Contact.

• A nice model for a Quantum Point Contact has been proposed by Buttiker [7], whodescribed the potential inducved by the split gates as

V (x, y) = V0 −1

2ω2xx

2 +1

2ω2yy

2 (1.135)

where V0 is the electrostatic potential at the saddle, and ωx,y the strength of thecurvatures.

ELn = ERn = En = V0 + ~ωy(n−1

2) n = 1, 2, . . . (1.136)

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 37

Al0.3 Ga0.7 As (n-doped)

Al0.3 Ga0.7 As (undoped)

Ga As

Ga As

Al0.3 Ga0.7 As (undoped)

barrier

carrier supplier

cap

2DEG

gate gate

Figure 1.11: Side view of the sample (see Ref.[4] p.131-134).

and it can be shown that the transmission coefficients read

Tn(E − V0) =1

1 + e−b(E−En)b = 2π/~ωx (1.137)

which exhibit a ’Fermi-like’ shape, where the ’inverse temperature’ b is given by theenergy spacing ~ωx related to the longitudinal confinement strength. The behavior ofTn(E) is shown in Fig.1.13: each coefficient changes from 0 to 1 within a smoothingenergy of ~ωx, as a function of V0.

Replacing Eq.(1.137) into the expression (1.138) for the conductance, we obtain

G(εF − V0) =e2

h

∑n=1

1

1 + e−b(εF−V0−~ωy(n− 12

))(1.138)

As one can see G exhibits a staircase dependence on V0, where the steps occurs when-ever V0 matches the values V0 = εF − ~ωy(n− 1/2). The height of the steps (plateau-to-plateau) is given by the quantum of conductance.

• This quantization of conductance has been experimentally observed in a series of fa-mous experiments by Van Wees et al. [6] (see Fig.1.14). These experiments representa striking proof of the existence of contact resistance. Furthermore it pointed out therole of transverse modes in transport properties of narrow conductor. The current iscarried by a discrete number of transverse modes. This discreteness is not evidentif the conductor is extremely wide (W λF ), for a small change in W changes thenumber of transverse channels by a large amount

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

38 Multi-channel case

V (x, y)

xy

Figure 1.12: Potential profile (1.135) for a Quantum Point Contact.

Figure 1.13: Transmission coefficient (1.137) for a Quantum Point Contact.

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Chap. 1. Scattering Matrix Formalism 39

Figure 1.14: Experimental results for conductance quantization in a Quantum Point Con-tact, after Ref.[6].

Fabrizio Dolcini, Superconductivity in Mesoscopic Systems, Lecture Notes for XXIII Physics GradDays, Heidelberg

Bibliography

[1] S. Datta, Electronic Transport in Mesoscopic Systems, Cambridge University Press,Cambridge (1995).

[2] S. Datta, Quantum Transport: Atom to Transistor, Cambridge University Press, Cam-bridge (2005).

[3] Y. Imry, Introduction to Mesoscopic Physics, Oxford University Press, New York (1997).

[4] D. K. Ferry, and S. M. Goodnick, Transport in Nanostructures, Cambridge UniversityPress), Cambridge (2009).

[5] Y. Blanter and M. Buttiker, Shot Noise in Mesoscopic Conductors, [ArXiv versioncond-mat/9910158]

Articles

[6] B.J. van Wees et al., Phys. Rev. Lett. 60, 848 (1988); B.J. van Wees et al., Phys. Rev.B 43, 12431 (1991).

[7] M. Buttiker, Phys. Rev. B 41, 7906 (1990).

[8] W. Liang et al., Nature 411, 665 (2001).

40