Scattering Theory in an N-Pole Semiconductor Quantum Device: The Unitarity of the Current S-Matrix and Current Conservation

Abstract

In a number of previous publications, scattering theory for N-pole semiconductor quantum devices was developed. In the framework of the Landauer–Büttiker formalism, an S-matrix was constructed with the aid of an R-matrix providing a mapping of the in-going waves onto the out-going waves. These waves include propagating waves and evanescent waves, the latter of which decay exponentially in the leads which are connected to the active region of the N-pole device. In order to formulate the current conservation in the N-pole device, it is necessary to define the current S-matrix schematically as $\tilde{S}=k^{1/2}S{k}^{-1/2}$, where k contains the information about the k-vectors of the mentioned in- and out-going waves. In this paper, we show how the complete current S-matrix is calculated including the coupling between the propagating and evanescent components and coupling to the bound states in the active device region. One then finds a sub-matrix of $\tilde{S}$ which is unitary and which is restricted to the space of the propagating components. We demonstrate that current conservation is associated with the unitarity just of this sub-matrix.

1. Introduction

The R-matrix method, developed by Wigner and Eisenbud [1], was initially employed to describe atomic collisions [2,3,4]. Later, the R-matrix formalism became suitable for describing the quantum transport in mesoscopic semiconductor N-pole devices within scattering theory [5], and further developments followed [6,7,8,9]. Examples of the application of this approach include conventional MOSFETs [8], nanowire transistors [10], spin-FETs [11], quantum logic gates [12], SOI transistors [13], and the two-channel transistor as a proposal for a new device architecture based on SOI technology [14]. In our N-pole scattering theory, the active region of the device is considered the scattering center, while the supplying leads represent the asymptotic regions in which the in-going and out-going waves are formed. The whole scattering process is treated within fixed boundary conditions, i.e., the scattering functions vanish outside a restricted scattering domain associated with the semiconductor device (see Figure 1 as an example). This is in contrast to standard scattering theory where the scattering domain is unrestricted and scattering occurs between infinitely extended plane waves (see the monographs [15,16,17] and the original papers on the S-matrix [18,19].

Figure 1. (a) N-pole device with a scattering center in ${\mathrm{\Omega }}_0$ and supplying leads located in ${\mathrm{\Omega }}_s$, $s=1,\cdots N=10$. The scattering process is confined to the scattering domain ${\bigcup }_{s=0}^N{\mathrm{\Omega }}_s$ associated with fixed boundary conditions for the wave functions along $\mathrm{\Gamma }$ (the red line). The shown N-pole device we take in Section 5 as an R-matrix model for the measurement of the Heisenberg S-matrix $\mathcal{S}(\overrightarrow{k},{\overrightarrow{k}}^{\prime })$ in a diffraction experiment of a non-relativistic particle beam in a vacuum chamber: There is one incident particle beam in lead $s=1$. The distribution of the out-going waves can be measured under the nine angles ${\alpha }_s$, $s=2,\cdots 10$. (b) HE Local coordinates $(z_s,x_{\perp ;s})$ in the lead ${\mathrm{\Omega }}_s$ for $s=2$. The local coordinate system is rotated by an angle of ${\alpha }_2=2\pi /10$ with respect to the global coordinate system spanned by the Cartesian unit vectors ${\overrightarrow{u}}_x$ and ${\overrightarrow{u}}_y$.

A note on the unitarity: In the works by Heisenberg [18,19] scattering was conceived as a spatially unrestricted multi (at least two)-particle problem. Assuming that the scattering potential depends only on the relative coordinates between the particles the Hamilton operator commutes with the total momentum of all the particles which is therefore conserved. Using momentum conservation the unitarity of the S-matrix can be shown (see e.g., Equation (7.101) of Ref. [16]). In the standard approach today the configuration space is usually reduced to the relative coordinates (see Section 1.2 of [16]). In the resulting effective single particle problem in Equation (1.26) of [16] the S-matrix $\mathcal{S}(\overrightarrow{k},{\overrightarrow{k}}^{\prime })$ is non-diagonal, where the wave vectors $\overrightarrow{k}$ and ${\overrightarrow{k}}^{\prime }$ both refer to the momentum $\overrightarrow{p}$ associated with the relative motion. However, $\overrightarrow{p}$ does not commute with the Hamiltonian of the relative motion in Equation (1.26) of [17]. Therefore it is not conserved. The same lack of moment conservation applies to the scattering problem associated with transport in semiconductor devices for which we derive in the R-matrix theory. One important reason for the lack of moment conservation is the restricted scattering geometry.

In R-matrix scattering theory, the in-going and out-going currents point in the direction of the supplying leads since the corresponding wave functions are bound in the transverse directions, with associated quantization of the levels in the transverse direction. In the framework of the Landauer–Büttiker formalism, the S-matrix was constructed providing a mapping of the in-going laterally bound waves onto the out-going laterally bound waves. These waves include propagating waves and evanescent waves, the latter of which decay exponentially in the leads. Evanescent modes arise first because of the coupling to the truly bound states with negative energy eigenvalues. Second, they arise even at positive energies due to scattering processes into the evanescent out-going scattering channels with a highly energetic transverse mode.

In ref. [9], the relation between the S-matrix and the R-matrix was constructed as taking the shape of a Cayley transform, schematically $S=-{[1-(i/m)Rk]}^{-1}[1+(i/m)Rk]$, where the matrix k was associated with the wave vectors of the in- and out-going waves. It is known that the Cayley transform of a matrix is unitary if, and only if, the matrix is skew-Hermitian [20,21]. It is seen that the S-matrix is not unitary because of the symmetry properties of the product $Rk$. We then define the symmetrical current S-matrix, schematically $\tilde{S}=k^{1/2}S{k}^{-1/2}$, which is immediately seen to be unitary if the evanescent modes are neglected. In this paper, we show that one can find a sub-matrix of $\tilde{S}$ (a ‘reduced current S-matrix’) which is unitary if the complete current S-matrix is calculated including the coupling between the propagating and evanescent components, as well as the coupling to the bound states in the active device region. The reduced current S-matrix is the part of $\tilde{S}$ which is restricted to the vector space of the propagating components. We demonstrate that current conservation is associated with just the unitarity of the reduced current S-matrix. The unitarity of the reduced current S-matrix allows us to construct via the Cayley transform a Hermitian current reactance matrix $K=k^{1/2}R{k}^{1/2}$ that is structurally analogous to the resonance theory by [22,23,24,25,26] in standard scattering theory with an infinite scattering volume. However, in contrast to standard scattering theory, the R-matrix theory leads to a perturbation series in powers of K, with the zero-order term describing the system with total reflection (zero transmission), while the first-order term $\propto K$ describes the transmission resonances.

In the discussion of our results, we relate the presented R-matrix approach to the general definition of the S-matrix $\mathcal{S}(\overrightarrow{k},\overrightarrow{k^{\prime }})$, which connects the infinitely extended in- and out-going plane waves where $\overrightarrow{k}$ and ${\overrightarrow{k}}^{\prime }$ are the wave vectors of the plane waves. In a simple R-matrix model for the measurement of $\mathcal{S}(\overrightarrow{k},\overrightarrow{k^{\prime }})$, in a diffraction experiment, it is seen that the fixed boundary conditions in the R-matrix theory can be associated with the boundaries of the vacuum chamber in which the experiment is carried out. The laterally bound character of the in- and out-going waves in the R-matrix theory can be associated with the finite opening of the detectors. Originally, Heisenberg introduced the S-matrix to examine experimentally accessible quantities [15]. Here, we remark that if elementary quantum processes are considered, only a few particles can be involved, which necessarily requires vacuum conditions confined to a finite scattering volume, which is represented by the fixed boundary conditions in R-matrix theory. Also, we remark that plane waves with an infinite lateral extension are not measurable. A detector necessarily has a finite opening confining the waves in the perpendicular direction. Therefore, reflections occur at the transition from the vacuum chamber to the leads. This phenomenon is described by the overlap factor $c_{ksn}$ introduced in Equation (44) of [9] in the R-matrix approach.

2. The Construction of the N-Pole S-Matrix—The R-Matrix Approach

In ref. [9], we developed R-matrix theory for the potential scattering from a collision center located in a central domain in ${\mathrm{\Omega }}_0$ (see Figure 1).

The collision center is closed except for the independent in-coming and out-going waves confined in N-independent leads located in ${\mathrm{\Omega }}_s$ with $s=1,\cdots N$. We seek scattering solutions for the time-independent Schrödinger equation

$$\left(-{\displaystyle \frac{{\hslash }^2}{2m^{*}}}\mathrm{\Delta }+V\left(\overrightarrow{r}\right)-E\right)\mathrm{\Psi }(\overrightarrow{r},E)=0$$

(1)

in the restricted scattering domain ${\bigcup }_{s=0}^N{\mathrm{\Omega }}_s$. For simplicity of its presentation, we here assume a special potential of the form

$$V\left(\overrightarrow{r}\right)=\left\{\begin{array}{cc}\mathrm{arbitrary}\hfill & \mathrm{for}\overrightarrow{r}\in {\mathrm{\Omega }}_0\hfill \\ 0\hfill & \mathrm{for}\overrightarrow{r}\in {\mathrm{\Omega }}_s,s=1,\cdots N\hfill \\ \infty \hfill & \mathrm{otherwise}.\hfill \end{array}\right.$$

(2)

These results can be easily transferred to a general case. As in Equation (4) of ref. [9] the asymptotics of the stationary solutions of the Schrödinger equation in ${\mathrm{\Omega }}_s$ are given by

$$\mathrm{\Psi }(\overrightarrow{r}\in {\mathrm{\Omega }}_s,E)=\sum _n{\mathrm{\Psi }}_{sn}^{in}exp(-i{k}_n{z}_s){\mathrm{\Phi }}_n\left(x_{\perp ;s}\right)+\sum _n{\mathrm{\Psi }}_{sn}^{out}exp\left(i{k}_n{z}_s\right){\mathrm{\Phi }}_n\left(x_{\perp ;s}\right).$$

(3)

The first factor on the right-hand side is the in-going part, with the expansion coefficients ${\mathrm{\Psi }}_{sn}^{in}$, and the second factor the out-going part, with the expansion coefficients ${\mathrm{\Psi }}_{sn}^{out}$. While an exact definition of the quantities is given in ref. [9], we illustrate them here in discussing the $N=10$-pole geometry of the example system in Figure 1. In the two-dimensional geometry, we denote with ${\overrightarrow{u}}_x$, ${\overrightarrow{u}}_y$ the Cartesian unit vectors characterizing the global coordinate system $\overrightarrow{r}=x{\overrightarrow{u}}_x+y{\overrightarrow{u}}_y$. In each lead, we can define a normal unit vector ${\overrightarrow{n}}_s$ and the corresponding transverse unit vector ${\overrightarrow{n}}_s^{\perp }$

$${\overrightarrow{n}}_s={\overrightarrow{u}}_{x}cos{\alpha }_s+{\overrightarrow{u}}_{y}sin{\alpha }_s\mathrm{and}{\overrightarrow{n}}_s^{\perp }=-{\overrightarrow{u}}_{x}sin{\alpha }_s+{\overrightarrow{u}}_{y}cos{\alpha }_s,$$

(4)

with ${\alpha }_s=(s-1)2\pi /N$. In the local coordinate system in ${\mathrm{\Omega }}_s$, the longitudinal coordinate is defined as

$$z_s=\overrightarrow{r}·{\overrightarrow{n}}_s-r_0=xcos\left({\alpha }_s\right)+ysin\left({\alpha }_s\right)-r_0$$

(5)

where $r_0$ is the radius of the circular scattering area ${\mathrm{\Omega }}_0$. The transverse coordinates are given by

$$x_{\perp ;s}=\overrightarrow{r}·{\overrightarrow{n}}_s^{\perp }=-xsin\left({\alpha }_s\right)+ycos\left({\alpha }_s\right).$$

(6)

The transverse mode functions ${\mathrm{\Phi }}_n\left(x_{\perp }\right)$ with the index n are the solutions of the eigenvalue problem

$$\left[-{\displaystyle \frac{{\hslash }^2}{2m^{*}}}{\displaystyle \frac{d^2}{d{x}_{\perp }^2}}-E_n^{\perp }\right]{\mathrm{\Phi }}_m\left(x_{\perp }\right)=0.$$

(7)

with the fixed boundary conditions ${\mathrm{\Phi }}_n(x_{\perp }=\pm W/2)=0$. Then,

$${\mathrm{\Phi }}_n\left(x_{\perp }\right)=\sqrt{{\displaystyle \frac{2}{W}}}sin\left[q_n(x_{\perp }+W/2)\right]\mathrm{with}{q}_n=n{\displaystyle \frac{\pi }{W}},n\in \mathbb{N}$$

(8)

and

$$E_n^{\perp }={\displaystyle \frac{{\hslash }^2}{2m^{*}}}{q}_n^2.$$

(9)

From energy conservation, the wave numbers of the plane waves in the longitudinal direction are given by

$$k_n={\hslash }^{-1}\sqrt{2m^{*}(E-E_n^{\perp })}\equiv \left\{\begin{array}{cc}{\kappa }_n\hfill & \mathrm{for}\hspace{0.17em}E-E_n^{\perp }>0\hfill \\ i{\kappa }_n\hfill & \mathrm{for}\hspace{0.17em}E-E_n^{\perp }<0\hfill \end{array}\right.$$

(10)

with ${\kappa }_n\ge 0$. In each channel, the longitudinal coordinate $z_s\ge 0$ is directed outward. Therefore, the oscillating out-going components resulting at $E-E_n^{\perp }>0$ are proportional to $exp\left(i{\kappa }_n{z}_s\right)$ (‘propagating components’). For $E-E_n^{\perp }<0$, the out-going components are exponentially damped $\propto exp(-{\kappa }_n{z}_s)$ (‘evanescent components’). The in-going components are either oscillating $\propto exp(-i{\kappa }_n{z}_s)$ for $E-E_n^{\perp }>0$ or exponentially growing $\propto exp\left({\kappa }_n{z}_s\right)$ for $E-E_n^{\perp }<0$. Therefore the evanescent components have to be excluded in the in-going part. In ref. [9], we constructed the S-matrix, which was defined as a linear mapping

$${\mathrm{\Psi }}_{sn}^{out}=S_{sn;s^{\prime }{n}^{\prime }}{\mathrm{\Psi }}_{s^{\prime }{n}^{\prime }}^{in}\iff {\mathrm{\Psi }}_{\nu }^{out}=S_{\nu {\nu }^{\prime }}{\mathrm{\Psi }}_{{\nu }^{\prime }}^{in}$$

(11)

introducing the composite channel index $\nu =(s,n)$.

In Equation (29) of [9], we wrote for the S-matrix, ${\left(S\right)}_{\nu {\nu }^{\prime }}=S_{\nu {\nu }^{\prime }}$,

$$S=-{\left(1-{\displaystyle \frac{i}{m^{*}}}Rk\right)}^{-1}\left(1+{\displaystyle \frac{i}{m^{*}}}Rk\right).$$

(12)

Here, the k-matrix is given by

$${\left(k\right)}_{\nu {\nu }^{\prime }}={\delta }_{\nu {\nu }^{\prime }}{k}_n$$

(13)

and the real symmetrical R-matrix is taken from Equation (27) of [9]:

$$R_{\nu {\nu }^{\prime }}={\int }_{{\mathrm{\Gamma }}_s}d{\mathrm{\Gamma }}_s{\int }_{{\mathrm{\Gamma }}_{s^{\prime }}}d{\mathrm{\Gamma }}_{s^{\prime }}^{\prime }{\mathrm{\Phi }}_{\nu }\left({\overrightarrow{r}}_{\perp ;s}\right){\mathrm{\Phi }}_{{\nu }^{\prime }}\left({\overrightarrow{r}}_{\perp ;s^{\prime }}^{\prime }\right)R(\overrightarrow{r},{\overrightarrow{r}}^{\prime };E)=-{\displaystyle \frac{{\hslash }^2}{2}}\sum _{l=1}^{\infty }{\displaystyle \frac{{\chi }_{l\nu }{\chi }_{l{\nu }^{\prime }}}{E-{\mathcal{E}}_l}}.$$

(14)

The Wigner–Eisenbud functions ${\chi }_l$ are the solutions of the Schrödinger equation

$$\left[-{\displaystyle \frac{{\hslash }^2}{2m^{*}}}\mathrm{\Delta }+V\left(\overrightarrow{r}\right)-{\mathcal{E}}_l\right]{\chi }_l\left(\overrightarrow{r}\right)=0$$

(15)

in the domain ${\mathrm{\Omega }}_0$. Here, one imposes Wigner–Eisenbud boundary conditions, i.e., Neumann boundary conditions of the vanishing normal derivative on ${\mathrm{\Gamma }}_s$,

$${\displaystyle \frac{\partial {\chi }_l}{\partial {\overrightarrow{n}}_s}}=0for\overrightarrow{r}\in {\mathrm{\Gamma }}_s$$

(16)

and Dirichlet boundary conditions on the remaining surface of ${\mathrm{\Omega }}_0$, denoted by $\partial {\mathrm{\Omega }}_0$, writing

$${\chi }_l=0for\overrightarrow{r}\in \partial {\mathrm{\Omega }}_0.$$

(17)

We then introduce

$${\chi }_{l\nu }={\int }_{{\mathrm{\Gamma }}_s}d{\mathrm{\Gamma }}_s{\mathrm{\Phi }}_{\nu }\left({\overrightarrow{r}}_{\perp ;s}\right){\chi }_l\left(\overrightarrow{r}\right).$$

(18)

The minus sign in Equation (12) can easily be understood as the limit of total reflection, in our example setting in Equation (2) $V(\overrightarrow{r}\in {\mathrm{\Omega }}_0)\to \infty$. Then, ${\mathcal{E}}_l\to \infty$, and according to (14), $R\to 0$ so that $S\to -1$. From (11), we then have ${\mathrm{\Psi }}_{\nu }^{out}=-{\mathrm{\Psi }}_{\nu }^{in}$ corresponding to standing waves. We also introduce the symmetrical current S-matrix

$$\begin{array}{ccc}\hfill \tilde{S}& =& k^{1/2}S{k}^{-1/2}=-k^{1/2}{\left(1-{\displaystyle \frac{i}{m^{*}}}Rk\right)}^{-1}\left(1+{\displaystyle \frac{i}{m^{*}}}Rk\right)k^{-1/2}\hfill \\ & =& -k^{1/2}{\left(1-{\displaystyle \frac{i}{m^{*}}}Rk\right)}^{-1}{k}^{-1/2}{k}^{1/2}\left(1+{\displaystyle \frac{i}{m^{*}}}Rk\right)k^{-1/2}\hfill \\ & =& -\left[k^{1/2}{\left(1-{\displaystyle \frac{i}{m^{*}}}Rk\right)}^{-1}{k}^{-1/2}\right]\left[k^{1/2}\left(1+{\displaystyle \frac{i}{m^{*}}}Rk\right)k^{-1/2}\right]\hfill \\ & =& -{\left[k^{1/2}{k}^{-1/2}-i\mathrm{\Omega }\right]}^{-1}\left[\left(k^{1/2}\right)k^{-1/2}+i\mathrm{\Omega }\right]\hfill \\ & =& -{\left(1-i\mathrm{\Omega }\right)}^{-1}\left(1+i\mathrm{\Omega }\right).\hfill \end{array}$$

(19)

with the symmetrical current R-matrix

$${\mathrm{\Omega }}_{\nu {\nu }^{\prime }}={\displaystyle \frac{1}{m^{*}}}{\left(k_{\nu }\right)}^{1/2}{R}_{\nu {\nu }^{\prime }}{\left(k_{{\nu }^{\prime }}\right)}^{1/2}.$$

(20)

In (19), we exploited the fact that for three square matrices, one has ${\left(ABC\right)}^{-1}=C^{-1}{B}^{-1}{A}^{-1}$.

We number the components $\nu \leftrightarrow j$ so that for $j=1,\cdots N$, the wave number $k_{\nu }$ is real, and for the remaining ones, $k_{\nu }$ is imaginary. One obtains a diagonal matrix

$$k=\left[\begin{array}{ccccc}{\kappa }_1& & & & 0\\ & \ddots & & & \\ & & {\kappa }_N& & \\ & & & i{\kappa }_{N+1}& \\ 0& & & & \ddots \end{array}\right]\mathrm{or}{\left(k\right)}_{j{j}^{\prime }}={\delta }_{j{j}^{\prime }}{k}_{\nu }.$$

(21)

Furthermore, we have

$$k^{1/2}=\left[\begin{array}{ccccc}{\kappa }_1^{1/2}& & & & 0\\ & \ddots & & & \\ & & {\kappa }_N^{1/2}& & \\ & & & {\displaystyle \frac{1+i}{\sqrt{2}}}{\kappa }_{N+1}^{1/2}& \\ 0& & & & \ddots \end{array}\right]\mathrm{and}{k}^{-1/2}=\left[\begin{array}{ccccc}{\kappa }_1^{-1/2}& & & & 0\\ & \ddots & & & \\ & & {\kappa }_N^{-1/2}& & \\ & & & {\displaystyle \frac{1-i}{\sqrt{2}}}{\kappa }_{N+1}^{-1/2}& \\ 0& & & & \ddots \end{array}\right].$$

(22)

Using the Heaviside function $\mathrm{\Theta }$, we can rewrite (20) into the form

$${\left(\mathrm{\Omega }\right)}_{j{j}^{\prime }}={\kappa }_j^{1/2}{\kappa }_{j^{\prime }}^{1/2}{R}_{j{j}^{\prime }}{i}^{\mathrm{\Theta }(j-N)/2}{i}^{\mathrm{\Theta }(j^{\prime }-N)/2}={\overline{\mathrm{\Omega }}}_{j{j}^{\prime }}{i}^{\mathrm{\Theta }(j-N)/2}{i}^{\mathrm{\Theta }(j^{\prime }-N)/2}$$

(23)

with the real symmetrical matrix ${\overline{\mathrm{\Omega }}}_{j{j}^{\prime }}={\kappa }_j^{1/2}{\kappa }_{j^{\prime }}^{1/2}{R}_{j{j}^{\prime }}$ and $\mathrm{\Theta }\left(0\right)\equiv 0$.

3. Current Conservation

As can be taken from (A5)–(A11) in ref. [9], the absolute value of the current associated with a single propagating component ${\mathrm{\Psi }}_j^{in/out}exp(\pm i{k}_j{z}_s){\mathrm{\Phi }}_j\left({\overrightarrow{r}}_{\perp ;s}\right)$ in (3) is given by

$$I_{j\le N}^{in/out}={\displaystyle \frac{\hslash }{m^{*}}}{k}_j{\left|{\mathrm{\Psi }}_j^{in/out}\right|}^2\equiv {\displaystyle \frac{\hslash }{m^{*}}}{\left|{\psi }_j^{in/out}\right|}^2$$

(24)

with the coefficient ${\psi }_j^{in/out}=k_j^{1/2}{\mathrm{\Psi }}_j^{in/out}$ for $j\le N$. From (11), we obtain with ${\psi }_{J>N}^{in}=0$

$${\psi }_{j\le N}^{out}=\sum _{j^{\prime }=1}^N{k}_j^{1/2}{S}_{j{j}^{\prime }}{k}_{j^{\prime }}^{-1/2}{\psi }_{j^{\prime }}^{in}=\sum _{j^{\prime }=1}^N{\mathrm{\Sigma }}_{j{j}^{\prime }}{\psi }_{j^{\prime }}^{in}$$

(25)

with the $N\times N$ reduced current S-matrix $\mathrm{\Sigma }$

$${\mathrm{\Sigma }}_{j{j}^{\prime }}=k_j^{1/2}{S}_{j{j}^{\prime }}{k}_{j^{\prime }}^{-1/2}j,j^{\prime }=1,\cdots N.$$

(26)

The total charge current is then given by

$$\begin{array}{ccc}\hfill I^{out}& =& \sum _{j=1}^N{I}_j^{out}={\displaystyle \frac{e\hslash }{m^{*}}}\sum _{j=1}^N{k}_j{\left({\psi }_j^{out}\right)}^{*}{\psi }_j^{out}={\displaystyle \frac{e\hslash }{m^{*}}}\sum _{j{j}^{\prime }{j}^{\prime \prime }=1}^N{\mathrm{\Sigma }}_{j{j}^{\prime }}^{*}{\mathrm{\Sigma }}_{j{j}^{\prime \prime }}{\left({\psi }_{j^{\prime }}^{in}\right)}^{*}{\psi }_{j^{\prime \prime }}^{in}\hfill \\ & =& {\displaystyle \frac{e\hslash }{m^{*}}}\sum _{j{j}^{\prime }{j}^{\prime \prime }=1}^N{\mathrm{\Sigma }}_{j^{\prime }j}^{†}{\mathrm{\Sigma }}_{j{j}^{\prime \prime }}{\left({\psi }_{j^{\prime }}^{in}\right)}^{*}{\psi }_{j^{\prime \prime }}^{in}.\hfill \end{array}$$

(27)

Current conservation results if $\mathrm{\Sigma }$ is unitary:

$${\mathrm{\Sigma }}_{j^{\prime }j}^{-1}={\mathrm{\Sigma }}_{j{j}^{\prime }}^{†}.$$

(28)

Then,

$$\begin{array}{ccc}\hfill I^{out}& =& {\displaystyle \frac{e\hslash }{m^{*}}}\sum _{j{j}^{\prime }{j}^{\prime \prime }=1}^N{\mathrm{\Sigma }}_{j^{\prime }j}^{-1}{\mathrm{\Sigma }}_{j{j}^{\prime \prime }}{\left({\psi }_{j^{\prime }}^{in}\right)}^{*}{\psi }_{j^{\prime \prime }}^{in}={\displaystyle \frac{e\hslash }{m^{*}}}\sum _j{\left|{\psi }_j^{in}\right|}^2=I^{in}.\hfill \end{array}$$

(29)

In the next section, we show that the reduced current S-matrix $\mathrm{\Sigma }$ is indeed unitary.

4. The Unitarity of the Reduced Current S-Matrix

We compare Equations (12) and (19) to the similar Equations (7.59) and (7.60) for standard scattering theory (an unrestricted scattering domain) from ref. [19] for the S-matrix

$$\mathcal{S}=(1+i\mathcal{K}){(1-i\mathcal{K})}^{-1}$$

(30)

and the Hermitian reactance matrix

$${\mathcal{K}}^{†}=\mathcal{K}.$$

(31)

All three Equations (12), (19), and (30) for the current S-matrix can be cast as a Cayley transform (obviously the order of the matrices on r.h.s. of Equation (32) is irrelevant, see [21])

$$F=\left(1-A\right){\left(1+A\right)}^{-1}$$

(32)

setting $F=\mathcal{S}$ to obtain (30), $-S$ to obtain (12), and $-\tilde{S}$ to obtain (19). It has been proven by Cayley [20] that A is skew-Hermitian if and only if F is unitary with $-1$ not being an eigenvalue of F. For the S-matrix in standard scattering theory, we read off $A=-i\mathcal{K}$ in Equation (30) so that A is skew-Hermitian and $\mathcal{S}$ is unitary. From Equation (19), it is seen that $A=-iRk/m^{*}$ in the R-matrix approach. Since R is symmetrical, the matrix $Rk$ is asymmetrical in such a way that A cannot have an anti-symmetrical real part and a symmetrical imaginary part of its compounds, $A^H\ne -A$. Thus, the S-matrix in R-matrix theory for a restricted system geometry is not unitary.

For the current S-matrix (19), we have

$$\begin{array}{ccc}\hfill A_{j{j}^{\prime }}& =& -i{\mathrm{\Omega }}_{j{j}^{\prime }}=-i{\overline{\mathrm{\Omega }}}_{j{j}^{\prime }}{i}^{\mathrm{\Theta }(j-N)/2}{i}^{\mathrm{\Theta }(j^{\prime }-N)/2}\hfill \\ & =& {\overline{\mathrm{\Omega }}}_{j{j}^{\prime }}\times \left\{\begin{array}{cc}-i\hfill & \mathrm{for}{j}^{\prime },j\le N\hfill \\ 1\hfill & \mathrm{for}{j}^{\prime },j>N\hfill \\ {\displaystyle \frac{1-i}{\sqrt{2}}}\hfill & \mathrm{for}{j}^{\prime }\le N,j>N\mathrm{or}{j}^{\prime }>N,j\le N\hfill \end{array}\right.\hfill \end{array}$$

(33)

and $\tilde{S}$ is seen to be symmetrical. We find

$$A_{j{j}^{\prime }}^{*}={\overline{\mathrm{\Omega }}}_{j{j}^{\prime }}\times \left\{\begin{array}{cc}i\hfill & \mathrm{for}{j}^{\prime },j\le N\hfill \\ 1\hfill & \mathrm{for}{j}^{\prime },j>N\hfill \\ {\displaystyle \frac{1+i}{\sqrt{2}}}\hfill & \mathrm{for}{j}^{\prime }\le N,j>N\mathrm{or}{j}^{\prime }>N,j\le N.\hfill \end{array}\right.$$

(34)

It is found that A is not skew-Hermitian and thus $\tilde{S}$ is not unitary either.

However, from Equation (29), it is seen that current conservation only requires that the $N\times N$ matrix reduced current S-matrix $\mathrm{\Sigma }$ has to be unitary. To show the unitarity of the reduced current S-matrix, we arrange A into a block matrix

$$A=\left[\begin{array}{cc}{A}^{11}& A^{12}\\ A^{21}& A^{22}\end{array}\right]=\left[\begin{array}{cc}\widehat{P}& \widehat{W}\\ {\widehat{W}}^T& \widehat{H}\end{array}\right],$$

(35)

with a skew-Hermitian part

$${\widehat{P}}_{j{j}^{\prime }}=-{\widehat{P}}_{j^{\prime }j}^{*}=-i{\overline{\mathrm{\Omega }}}_{j{j}^{\prime }}\mathrm{for}{j}^{\prime },j\le N$$

(36)

acting only on the propagating modes, a Hermitian part

$${\widehat{H}}_{j{j}^{\prime }}={\widehat{H}}_{j^{\prime }j}^{*}={\overline{\mathrm{\Omega }}}_{j{j}^{\prime }}\mathrm{for}\mathrm{for}{j}^{\prime },j>N$$

(37)

acting solely on the evanescent modes, and a mixed Hermitian and skew-Hermitian matrix

$${\widehat{W}}_{j{j}^{\prime }}={\displaystyle \frac{1-i}{\sqrt{2}}}{\overline{\mathrm{\Omega }}}_{j{j}^{\prime }}\mathrm{for}\mathrm{or}{j}^{\prime }\le N,j>Nor{j}^{\prime }>N,j\le N$$

(38)

representing the interaction between the propagating and evanescent modes. Here, we emphasize that only for $\widehat{W}=0$ is the vector space separated into a propagating part with a skew-Hermitian matrix $\widehat{P}$ and an evanescent part with a Hermitian matrix $\widehat{H}$. However, in the general case, one has $\widehat{W}\ne 0$, even without the existence of bound states. Without bound states, a finite matrix $\widehat{W}$ arises because of the inevitable coupling to higher transverse modes with $j>N$. Setting $F=-\tilde{S}$ in Equation (32), we write

$$\tilde{S}=-{\left[\begin{array}{cc}1+\widehat{P}& \widehat{W}\\ {\widehat{W}}^T& 1+\widehat{H}\end{array}\right]}^{-1}\left[\begin{array}{cc}1-\widehat{P}& -\widehat{W}\\ -{\widehat{W}}^T& 1-\widehat{H}\end{array}\right].$$

(39)

To invert the first factor on the r. h. s. of (39), we introduce for brevity $Q={[1+\widehat{P}-\widehat{W}{(1+\widehat{H})}^{-1}{\widehat{W}}^T]}^{-1}$. Now using Equation (A8), we observe that

$$\begin{array}{ccc}\hfill & & {\left[\begin{array}{cc}1+\widehat{P}& \widehat{W}\\ {\widehat{W}}^T& 1+\widehat{H}\end{array}\right]}^{-1}\hfill \\ & & =\left[\begin{array}{cc}Q& -Q\widehat{W}{(1+\widehat{H})}^{-1}\\ -{(1+\widehat{H})}^{-1}{\widehat{W}}^{T}Q& {(1+\widehat{H})}^{-1}+{(1+\widehat{H})}^{-1}{\widehat{W}}^{T}Q\widehat{W}{(1+\widehat{H})}^{-1}\end{array}\right].\hfill \end{array}$$

(40)

We can now find the reduced current S-matrix defined in (26):

$$\begin{array}{ccc}\hfill \mathrm{\Sigma }& =& -\left[\begin{array}{cc}Q& -Q\widehat{W}{(1+\widehat{H})}^{-1}\end{array}\right]\left[\begin{array}{c}1-\widehat{P}\\ -{\widehat{W}}^T\end{array}\right]\hfill \\ & =& -Q(1-\widehat{P})+Q\widehat{W}{(1+\widehat{H})}^{-1}{\widehat{W}}^T\hfill \\ & =& -{[1+\widehat{P}-\widehat{W}{(1+\widehat{H})}^{-1}{\widehat{W}}^T]}^{-1}[1-\widehat{P}+\widehat{W}{(1+\widehat{H})}^{-1}{\widehat{W}}^T]\hfill \\ & =& -{(1-i\widehat{K})}^{-1}(1+i\widehat{K})\hfill \\ & =& -1+2\widehat{T},\hfill \end{array}$$

(41)

In the last step of (41), we have introduced the transition matrix

$$\widehat{T}=-{\displaystyle \frac{i\widehat{K}}{1-i\widehat{K}}}=-\sum _{n=1}^{\infty }{\left(i\widehat{K}\right)}^n$$

(42)

as described in detail in the context of Equation (9) of [24]. Comparing the second-last line of (41) with (30), we define the current reactance matrix

$$\widehat{K}=i[\widehat{P}-\widehat{W}{(1+\widehat{H})}^{-1}{\widehat{W}}^T]={\overline{\mathrm{\Omega }}}^{11}-{\overline{\mathrm{\Omega }}}^{12}{(1+{\overline{\mathrm{\Omega }}}^{22})}^{-1}{\overline{\mathrm{\Omega }}}^{21}$$

(43)

which is real and symmetrical. It follows that $\mathrm{\Sigma }$ is unitary, from which, in turn, current conservation follows according to Equation (29). Equation (43) shows that $\widehat{K}$ reduces into the current R-matrix if one neglects yjr evanescent components in the scattering states. The second term on the r. h. s. of (43) gives the correction resulting from the coupling to the evanescent components so that $\widehat{K}$ can be regarded as a corrected current R-matrix. The power series in (42) can be interpreted as a perturbation series for the current S-matrix in R-matrix theory. However, in contrast to the perturbation series for $\mathcal{S}$ in standard scattering theory resulting from the Lippmann–Schwinger equation, the zero-order term in (42) represents a closed system, i.e., total reflection. In the standard scattering theory, for a system with a unrestricted scattering domain, the zero-order term represents the complementary limit of an open system with perfect transmission. As a consequence, the first-order correction in standard scattering theory is valid for weak scattering, whereas in the R-matrix theory, the first-order correction represents resonant tunneling transmission resonances.

Since $\widehat{K}$ is real and symmetrical, it has N real eigenvalues $K_j$ and a complete orthonormal system of associated N-component real eigenvectors ${\overrightarrow{\kappa }}_j$ so that

$$\widehat{K}=\sum _{j=1}^N{K}_j{\overrightarrow{\kappa }}_j\otimes {\overrightarrow{\kappa }}_j^T.$$

(44)

$$\mathrm{\Sigma }=\sum _{j=1}^N{\displaystyle \frac{1+i{K}_j}{1-i{K}_j}}{\overrightarrow{\kappa }}_j\otimes {\overrightarrow{\kappa }}_j^T=\sum _{j=1}^N{e}^{i2{\varphi }_j}{\overrightarrow{\alpha }}_j\otimes {\overrightarrow{\alpha }}_j^T$$

(45)

where we introduce the real scattering phases by

$${\displaystyle \frac{1+i{K}_j}{1-i{K}_j}}\equiv e^{i2{\varphi }_j}\to {\varphi }_j=arctan{K}_j.$$

(46)

5. Discussion

The N-pole device sketched in Figure 1 has the essential features of the Rutherford scattering experiment carried out by Geiger and Marsden in ref. [27], which was carried out in a vacuum chamber and which we represent using the scattering domain ${\bigcup }_{s=0}^N{\mathrm{\Omega }}_s$. The rotatable circular platform in Figure 1 of [27] that contains the detectors consisting of the microscope M and the zinc sulfide screen S is replaced with N stationary Landauer–Büttiker contacts. The collimation width of the incident particle beam coming from the $\alpha$-source R and the collimation width of the scattered beam in the zinc sulfide detector to define the scattering angle $\varphi$ are replaced by the width W of the leads in ${\mathrm{\Omega }}_{s=1\cdots N}$. In the classical solution of a potential scattering problem, Rutherford calculated the measured particle flux in relation to the incident particle flux, obtaining the well-known $1/sin{\varphi }^4$ [28] dependence of the cross-section, which was confirmed by the experiments in [27]. In our theory, the particle fluxes are related naturally by the current S-matrix.

We now make contact with the S-matrix $\mathcal{S}(\overrightarrow{k},{\overrightarrow{k}}^{\prime })$ in standard scattering theory for an unrestricted scattering domain. We introduce the plane waves in the direction of ${\overrightarrow{n}}_s$ given by

$$exp\left(i{\overrightarrow{k}}_{sn}\overrightarrow{r}\right)=exp\left(i{k}_n{\overrightarrow{n}}_s\overrightarrow{r}\right)=exp\left(i{k}_n{r}_0\right)exp\left(i{k}_n{z}_s\right).$$

(47)

extending Equation (10) to define

$${\overrightarrow{k}}_{sn}\equiv k_n{\overrightarrow{n}}_s.$$

(48)

In the last step of (47), we use Equation (5). We further introduce

$${\overline{\mathrm{\Psi }}}_{sn}^{in}={\mathrm{\Psi }}_{sn}^{in}exp\left(i{k}_n{r}_0\right)\mathrm{and}{\overline{\mathrm{\Psi }}}_{sn}^{out}={\mathrm{\Psi }}_{sn}^{out}exp(-i{k}_n{r}_0)$$

(49)

so that Equation (3) becomes

$$\mathrm{\Psi }(\overrightarrow{r}\in {\mathrm{\Omega }}_s,E)=\sum _n{\overline{\mathrm{\Psi }}}_{sn}^{in}exp(-i{\overrightarrow{k}}_{sn}\overrightarrow{r}){\mathrm{\Phi }}_n\left(x_{\perp ;s}\right)+\sum _n{\overline{\mathrm{\Psi }}}_{sn}^{out}exp\left(i{\overrightarrow{k}}_{sn}\overrightarrow{r}\right){\mathrm{\Phi }}_n\left(x_{\perp ;s}\right).$$

(50)

The factors ${\mathrm{\Phi }}_n\left(x_{\perp ;s}\right)$ add a bound component in the transverse direction to the plane waves $exp(\pm i{\overrightarrow{k}}_{sn}\overrightarrow{r})$, which represent the transverse modes in the detector with an opening of W. Equation (48) establishes a one-to-one correspondence between the wave vector of the plane wave and the index pair $\left(sn\right)$. Therefore, we can define ${\overrightarrow{k}}_{sn}\equiv \overrightarrow{K}$ and ${\overrightarrow{k}}_{s^{\prime }{n}^{\prime }}\equiv {\overrightarrow{K}}^{\prime }$, as well as ${\overline{\mathrm{\Psi }}}_{sn}^{in/out}\equiv {\overline{\mathrm{\Psi }}}^{in/out}\left(\overrightarrow{K}\right)$. One now obtains from (11)

$$\begin{array}{ccc}& & {\mathrm{\Psi }}_{sn}^{out}=\sum _{s^{\prime }{n}^{\prime }}{S}_{sn;s^{\prime }{n}^{\prime }}{\mathrm{\Psi }}_{s^{\prime }{n}^{\prime }}^{in}\hfill \\ & \iff & {\overline{\mathrm{\Psi }}}_{sn}^{out}=\sum _{s^{\prime }{n}^{\prime }}exp(-i{k}_n{r}_0)S_{sn;s^{\prime }{n}^{\prime }}exp(-i{k}_{n^{\prime }}{r}_0){\overline{\mathrm{\Psi }}}_{s^{\prime }{n}^{\prime }}^{in}\hfill \\ & \iff & {\overline{\mathrm{\Psi }}}^{out}\left(\overrightarrow{K}\right)=\sum _{{\overrightarrow{K}}^{\prime }}\mathcal{S}(\overrightarrow{K},{\overrightarrow{K}}^{\prime }){\overline{\mathrm{\Psi }}}^{in}\left({\overrightarrow{K}}^{\prime }\right)\hfill \end{array}$$

(51)

with

$$\mathcal{S}(\overrightarrow{K},{\overrightarrow{K}}^{\prime })\equiv S_{sn;s^{\prime }{n}^{\prime }}exp[-i(k_{n^{\prime }}+k_n)r_0].$$

(52)

6. Conclusions

In this article, we first introduce the model setup for a multiterminal, two-dimensional device suitable for a Landauer–Büttiker transport calculation. The key element for this type of a model is the S-matrix. We then introduce the R-matrix and show how the former can be expressed in terms of the latter. Further, we discuss our theory from the perspective of traditional free-space scattering theory, as introduced by Heisenberg. In his approach, the S-matrix is by definiton unitary (see the note on the unitary in the Introduction), and this is considered a central feature of this kind of scattering theory. With the help of the symmetrical current R-matrix (20), we show that while the S-matrix in Equations (11) and (12) itself is not unitary, for our model, the reduced current-S-matrix $\mathrm{\Sigma }$ in Equation (26) is [see Equation (41)]. Equation (41) is the main result of the present article.

Further, we show how $\mathrm{\Sigma }$ is, through the R-matrix, connected to the transition matrix (42), which provides a perturbation series and a basis for the description of resonant tunneling.