1: \documentclass[twoside]{article}
2: \usepackage{iwce}
3: \usepackage{amsmath,amsfonts,bm,graphicx}
4: \begin{document}
5:
6: %Provide the title of the paper
7: \title{Modelling of Quantum Electromechanical Systems}
8:
9: %Provide the data on the first group of authors (sharing the same
10: %affiliation)
11: \IWCEauthorsFirst{ANTTI-PEKKA JAUHO, TOM\'A\v S NOVOTN\'Y, ANDREA
12: DONARINI, and CHRISTIAN FLINDT} \setHeadings{Jauho}{Modelling of
13: Quantum Electromechanical Systems} \IWCEaddressFirst{MIC --
14: Department of Micro and
15: Nanotechnology, Technical University of Denmark, Bldg. 345East\\
16: DK-2800 Lyngby, Denmark} \email{antti@mic.dtu.dk}
17:
18: %If necessary, provide the data on the second and third group of
19: %authors. If this does not apply, just remove those items from the file
20:
21: \preparetitle
22:
23: \begin{IWCEabstract}
24: We discuss methods for numerically solving the generalized Master
25: equation GME which governs the time-evolution of the reduced
26: density matrix $\hat\rho$ of a mechanically movable mesoscopic
27: device in a dissipative environment. As a specific example, we
28: consider the quantum shuttle -- a generic quantum
29: nanoelectromechanical system (NEMS). When expressed in the
30: oscillator basis, the static limit of the GME becomes a large
31: linear non-sparse matrix problem (characteristic size larger than
32: $10^4\times 10^4$) which however, as we show, can be treated using
33: the Arnoldi iteration scheme. The numerical results are
34: interpreted with the help of Wigner functions, and we compute the
35: current and the noise in a few representative cases.
36: \end{IWCEabstract}
37:
38: \IWCEkeywords{SET, Coulomb blockade, Nanoelectromechanics, Noise}
39:
40:
41: \begin{multicols}{2}
42: \intro{Introduction} Microelectromechanical systems (MEMS) are
43: approaching the nanoscale, which ultimately implies that the
44: mechanical motion needs to be treated quantum mechanically. An
45: example is the experiment by Park et al. \cite{par-nat-00}, where
46: the break junction technique was used to create a single-electron
47: transistor with a C$_{60}$-molecule as the active part. The
48: measured IV-curves display features that can be related to the
49: mechanical vibrations of the molecule. Already earlier it was
50: suggested theoretically \cite{gor-prl-98} that a nanoscopic
51: movable metallic grain, when operated in the Coulomb blockade
52: regime, can move charges one-by-one between source and drain
53: contacts. This orderly transport was coined the shuttle regime.
54: In recent years our group has developed theoretical methods to
55: analyze the shuttle transition in the quantum regime
56: \cite{nov-prl-03,nov-prl-04,fli-prb-04,fli-epl-04}, focusing not
57: only on the IV-curve, but also considering noise and full counting
58: statistics, which are important diagnostic tools in unravelling
59: the microscopic transport mechanisms. In this paper we present
60: examples of our numerical results and discuss pertinent
61: computational issues.
62:
63: \section{The generalized Master Equation (GME)}
64: \noindent The Hamiltonian for the system includes terms describing
65: (i) the electronic part of the movable quantum dot (QD for short),
66: (ii) its mechanical motion (which is quantized), (iii) the
67: position dependent coupling of the QD and the leads, (iv) the
68: leads (treated as noninteracting fermions), and (v) coupling to
69: environment, which damps the mechanical motion
70: \cite{nov-prl-03,nov-prl-04,fli-prb-04,fli-epl-04}. Using methods
71: familiar from quantum optics, we integrate out the environmental
72: degrees of freedom (the lead electrons, and a generic heat bath)
73: to obtain a generalized Master equation for the ``system" (= QD +
74: quantized oscillator) density operator:
75: \begin{equation}\dot{\rho}(t)={\mathcal L}\rho(t)
76: = (\mathcal{L}_{\rm coh} + \mathcal{L}_{\rm driv}
77: + \mathcal{L}_{\rm damp})\rho(t). \label{supermatrix}
78: \end{equation}
79: Here $\mathcal{L}_{\rm coh}, \mathcal{L}_{\rm driv}$ and
80: $\mathcal{L}_{\rm damp}$ are superoperators corresponding to the
81: coherent evolution, coupling to leads, and damping of the QD. It
82: is sufficient to consider the diagonal electronic components
83: (i.e., an empty and an occupied QD, respectively), which satisfy
84: \cite{nov-prl-03,remark}
85: \begin{eqnarray}\label{GME}
86: \dot{\rho}_{00}(t) &=& \frac{1}{i\hbar} [H_{\rm osc},\rho_{00}(t)]
87: - \frac{\Gamma_L}{2}(e^{-\frac{2x}{\lambda}}\rho_{00}(t)
88: \nonumber\\
89: &\quad& + \rho_{00}(t)e^{-\frac{2x}{\lambda}}) + \Gamma_R
90: e^{\frac{x}{\lambda}}\rho_{11}(t)e^{\frac{x}{\lambda}}
91: \nonumber\\
92: &\quad& + \mathcal{L}_{\rm damp}\,\rho_{00}(t)\ , \nonumber\\
93: \dot{\rho}_{11}(t) &=& \frac{1}{i\hbar}[H_{\rm
94: osc}-eEx,\rho_{11}(t)]
95: + \Gamma_L e^{-\frac{x}{\lambda}}\rho_{00}(t)e^{-\frac{x}{\lambda}}
96: \nonumber\\
97: &\quad& -
98: \frac{\Gamma_R}{2}(e^{\frac{2x}{\lambda}}\rho_{11}(t)
99: + \rho_{11}(t)e^{\frac{2x}{\lambda}})\nonumber\\
100: &\quad& + \mathcal{L}_{\rm damp}\,\rho_{11}(t).
101: \end{eqnarray}
102: where
103: \begin{equation}
104: \mathcal{L}_{\rm damp}\rho = -\frac{i\gamma}{2\hbar}[x,\{p,\rho\}] -
105: \frac{\gamma m \omega}{\hbar}(\bar{N}+1/2)[x,[x,\rho]]\nonumber \ .
106: % {d[F_1]\over d\omega_2} = SAm_2\cos\omega.
107: % \label{eq1}
108: \end{equation}
109: The physical parameters defining the quantum shuttle are thus the
110: couplings to leads $\Gamma_{L/R}$, the oscillator frequency
111: $\omega$, the damping rate of the oscillator $\gamma$, the
112: temperature $T$, and the tunnelling length $\lambda$.
113:
114: \section{The numerical solution}
115: \noindent We seek the steady state,
116: $\dot\rho_{00}=\dot\rho_{11}=0$, i.e., the null vector of the
117: Liouvillean, $\mathcal L \rho=0$. Suppose we keep $N$ lowest
118: energy states of the oscillator. Since $\hat\rho_{00/11}$ are
119: full matrices in the oscillator basis, they both have $N^2$
120: elements. The matrix representation of the Liouville
121: superoperator has thus $2N^2\times 2N^2$ elements. (The situation
122: is even more demanding if one considers a shuttle with more than
123: just two electronic states, see \cite{fli-prb-04,arm-prb-02}.) We
124: attempted the solution of these equations with standard Matlab
125: routines, such as the singular value decomposition, by gradually
126: increasing the cut-off $N$. As illustrated in Fig. \ref{fig1},
127: the Liouville matrices are not sparse. Unfortunately, reliable
128: convergence could not be achieved once $N$ approached few tens,
129: which was quite inadequate for physical reasons, which indicated
130: the necessity of using $N\simeq 100\cdots 200$.
131: \begin{IWCEfigure}
132: \centering
133: \includegraphics*[width=\textwidth]{Lmatrices.eps}
134: \caption{The nonzero matrix elements of the Liouville
135: superoperator for a three QD device studied in
136: \cite{arm-prb-02,fli-prb-04}
137: for three values of the cut-off $N=2,5,10$. $nz$ is the number of
138: non-zero elements.}
139: \label{fig1}
140: \end{IWCEfigure}
141: Clearly, more powerful numerical schemes are required. One such
142: method is the Arnoldi iteration \cite{gol-book-96}, which has
143: clear advantages compared to singular value decomposition both in
144: terms of computational speed and memory requirements. First, it
145: is not necessary to store the full Liouvillean matrix, and,
146: second, when one seeks the best approximation to the null vector
147: it is possible to work in spaces which are much smaller than the
148: full Liouville space. The central concept in the Arnoldi scheme
149: is the Krylov space, defined as
150: \begin{equation}
151: \mathcal K_j={\rm span}({\mathbf x}_0,{\mathbf L}{\mathbf
152: x}_0,...,{\mathbf L}^{j-1}{\mathbf x}_0),
153: \end{equation}
154: where $j$ is a {\it small} integer. The vector ${\mathbf x}_0$ is
155: a vectorization of some arbitrary state represented by the two
156: matrices $\hat\rho_{00/11}$, i.e. a vector of length $2N^2$. Note
157: that the calculation of the vectors ${\mathbf L}^{i}{\mathbf x}_0,
158: i=1..(j-1)$ can be done directly from the GME, without storing the
159: full Liouvillean matrix. The next step consists of finding an
160: orthonormal basis in the Krylov space, let us denote this by
161: $\{{\mathbf q}_i\} , i=1,...,j$. The method proceeds now by
162: finding an approximate null vector in the Krylov space, spanned by
163: the vectors $\{{\mathbf q}_i\}$ thus involving matrices of size
164: $j\times j$. In practice, we have found that $j=20$ is sufficient,
165: which makes the calculations very fast, and no supercomputing is
166: necessary. Once the optimal vector in the Krylov space has been
167: found, we can use the coordinates of this vector to construct the
168: estimate ${\mathbf x}_1$ (which is a vector of length $2N^2$) from
169: which the matrices $\rho_{00/11}$ can be reassembled. If the
170: result is not sufficiently close to the null vector of the
171: Liouvillean, one repeats the procedure by constructing the next
172: Krylov space, now using ${\mathbf x}_1$ as the seed.
173:
174: The Arnoldi scheme is iterative in its nature, and one must
175: address the issue of convergence. For example, it is not a priori
176: clear how many iterations are needed, and indeed convergence is
177: not always achieved. This problem is solved by the use of a
178: preconditioner. The basic idea is to find an invertible operator
179: $\mathcal M$ in the Liouville space, such that the original
180: problem $\mathcal L \rho^{\rm stat}=0$ is cast in the form
181: $\mathcal M[\mathcal L[\rho^{\rm stat}]]=0$, and that the
182: truncated version of the operator $\mathcal M\mathcal L$ gives
183: rise to a rapidly converging iteration scheme. The Arnoldi scheme
184: is particularly efficient in finding good approximations to
185: eigenvalues (and corresponding eigenvectors) that are separated
186: from the rest of the spectrum. Thus, in our case, the
187: preconditioner should move the eigenvalues with a non-vanishing
188: real part away from the origin of the complex plane. A good
189: candidate for the preconditioner is to use the Sylvester part
190: \cite{Timo} of $\mathcal L$:
191: \begin{equation}
192: \mathcal L[\rho]=\mathcal L_{\rm Sylv}[\rho]+\mathcal L_{\rm
193: rest}[\rho],
194: \end{equation}
195: where the Sylvester part has the structure
196: \begin{eqnarray}
197: \mathcal L_{\rm Sylv}[\rho] &=& {\mathbf A}\rho+\rho{\mathbf A}^\dagger\nonumber\\
198: &=& \begin{pmatrix} A_{00}\rho_{00}+\rho_{00}A_{00}^\dagger & 0 \\
199: 0 & A_{11}\rho_{11}+\rho_{11}A_{11}^\dagger\nonumber
200: \end{pmatrix},
201: \end{eqnarray}
202: where the elements $A_{00/11}$ can be gleaned off from the GME.
203: The Sylvester part is rapidly invertible, and we thus chose
204: $\mathcal M=\mathcal L_{\rm Sylv}^{-1}$. In general, it was
205: essential to use the preconditioner, however we stress that the
206: choice is somewhat subtle and there is no unique algorithm for
207: this. We have encountered special situations where the Sylvester
208: preconditioner did not work satisfactorily, and more work is
209: required in refining the numerics in this case.
210:
211: Once the static density matrix is solved, the current is readily
212: calculable from
213: \begin{eqnarray}
214: I^{\rm stat}&=&e{\rm Tr}_{\rm osc}\{\Gamma_R
215: e^{2x/\lambda}\rho^{\rm stat}_{11}\}\nonumber\\
216: &=&e{\rm Tr}_{\rm osc}\{\Gamma_L e^{-2x/\lambda}\rho^{\rm
217: stat}_{00}\}.
218: \end{eqnarray}
219: We have recently shown \cite{nov-prl-04} that also the noise, and
220: even the higher cumulants \cite{fli-epl-04}, can be calculated
221: with similar methods. In particular, we find that the Fano factor
222: $F=S(0)/2eI$ (here $S(0)$ is the zero-frequency component of the
223: noise spectrum) can be expressed as
224: \begin{eqnarray}\label{Fano}
225: F &=& 1 - \frac{2e\Gamma_R}{I} \mathrm{Tr_{osc}}\left\{ e^{\frac{2x}{\lambda}}
226: \left[\mathcal{Q}\mathcal{L}^{-1}\mathcal{Q} \right.\right.\nonumber\\
227: &\quad&\times \left.\left. \begin{pmatrix}
228: \Gamma_R e^{\frac{x}{\lambda}}\rho_{11}^{\rm
229: stat}e^{\frac{x}{\lambda}}\\
230: 0 \end{pmatrix}\right]_{11}\right\}\ .
231: \end{eqnarray}
232: Here $\mathcal{Q}$ is a projection operator that projects away
233: from the stationary state. Very importantly, the pseudoinverse
234: $\mathcal{R}$ of the Liouvillean, defined as
235: $\mathcal{Q}\mathcal{L}^{-1}\mathcal{Q}\equiv\mathcal{R}$ is
236: tractable by similar numerical methods as used in the evaluation
237: of the current (we use the generalized minimum residual method
238: (GMRes) \cite{fli-msc-04}). Before showing results for the
239: current and noise, we discuss an important visualization tool.
240:
241: \section{Wigner functions}
242: \noindent We have found that Wigner functions are an excellent
243: interpretative tool for the numerical results obtained for the
244: stationary density matrix. The intuitive picture comes from the
245: well-known results in the classical limit: the Wigner
246: representation (or, equivalently, the phase-space representation)
247: of a regularly moving harmonic oscillator is a circle. On the
248: other hand, irregular motion under the influence of external noise
249: gives rise to a Gaussian probability distribution centered at the
250: origin. Since the QD can be either empty or occupied, it is
251: advantageous to introduce {\it charge resolved} Wigner functions
252: ($n=0$ corresponds to an empty dot, while $n=1$ represents the
253: occupied dot), defined as
254: \begin{equation}
255: W_{nn}(X,P) =
256: \int_{-\infty}^{\infty}\frac{dy}{2\pi\hbar}\,\bigl\langle
257: X-\frac{y}{2}\,|\rho_{nn}^{\rm
258: stat}|X+\frac{y}{2}\bigr\rangle
259: \exp\bigl(i\frac{Py}{\hbar}\bigr).
260: \end{equation}
261: An example of the empty dot Wigner function is given in Fig.
262: \ref{fig2}. The shape is consistent with physical intuition.
263: Consider, for example, positive $x$ and positive $p$ (the shuttle
264: is approaching the drain contact). Then the probability of an
265: empty dot is large, because the extra charge is very likely to
266: leave the shuttle as the drain contact is approached. Analogously,
267: at negative $x$ and positive $p$ the probability of an empty dot
268: is very small, because the dot has been recharged in the vicinity
269: of the left (source) contact, and the charge cannot have left the
270: QD because of the exponentially small coupling to the right
271: (drain) contact. Very interestingly, in Fig. 2 we also see an
272: enhanced probability located at the origin of the phase space. The
273: interpretation is that at these values of parameters there are two
274: co-existing transport regimes: (i) the charge shuttling regime
275: (represented by the ring), and (ii) an incoherent tunnelling
276: regime in which charges tunnel into and out from the QD
277: uncorrelated to its position.
278: \begin{IWCEfigure}
279: \centering
280: \includegraphics*[width=0.8\textwidth]{Wigner.eps}
281: \caption{The Wigner representation of the empty-dot density matrix
282: in the co-existence regime.}
283: \label{fig2}
284: \end{IWCEfigure}
285:
286: \section{Numerical results}
287: \noindent Figure 3 shows the computed stationary current as a
288: function of the damping rate. Noteworthy features are: (i) One
289: observes a shuttling transition (or, perhaps more appropriately, a
290: cross-over) from a low value of current (tunnelling regime) to a
291: high value of current (shuttling regime) even in the quantum
292: regime (small $\lambda$); (ii) in the low damping limit the
293: current saturates to a universal value of $1/2\pi$ corresponding
294: to precisely one electron transmitted per cycle.
295:
296: \begin{IWCEfigure}
297: \centering
298: \includegraphics*[width=0.8\textwidth]{SDQSCurrent.eps}
299: \caption{Stationary current as a function of damping rate.}
300: \label{fig3}
301: \end{IWCEfigure}
302: More dramatic effects are observed in the Fano factor, given in
303: Fig. 4. Again, we just list the essential features: (i) For high
304: values of damping, the noise has its Poissonian value ($\simeq
305: 1$); (ii) At low values of damping, the noise is very low
306: (reflecting the orderly nature of the shuttling regime); (iii) At
307: the shuttling cross-over there occurs a large enhancement of the
308: noise.
309:
310: \begin{IWCEfigure}
311: \centering
312: \includegraphics*[width=0.8\textwidth]{NoiseSDQS.eps}
313: \caption{The Fano factor as a function of the damping.}
314: \label{fig4}
315: \end{IWCEfigure}
316: The extraordinarily large values of the Fano factor of the order
317: of 600 can be explained as being a consequence of a slow
318: switching process between two competing current channels
319: (shuttling and tunnelling), and in Ref. \cite{fli-epl-04} we give
320: a detailed analysis of this phenomenon, also supported by
321: semianalytic considerations.
322:
323: In conclusion, we have presented a numerical technique for solving
324: the generalized Master equation governing a generic quantum
325: nanoelectromechanical device. The obtained numerical results are
326: interpreted with the help of phase space representations. We
327: believe that the methods discussed here are also applicable to
328: many other quantum transport situations, where the matrix
329: representations of the relevant operators are very large, but
330: where only certain extremal eigenvalues are important.
331:
332: \begin{thebibliography}{99}
333: \bibitem{par-nat-00}
334: H. Park, J. Park, A. K. L. Lim, E. H. Anderson, A. P.
335: Alivisatos, and P. L. McEuen, Nature {\bf 407}, 57 (2000).
336: \bibitem{gor-prl-98}
337: L. Y. Gorelik, A. Isacsson, M. V. Voinova, B. Kasemo, R. I.
338: Shekhter, and M. Jonson, Phys. Rev. Lett. {\bf 80}, 4526 (1998).
339: \bibitem{nov-prl-03}
340: T. Novotn\'y, A. Donarini, and A. P. Jauho, Phys. Rev. Lett.
341: {\bf 90}, 256801 (2003).
342: \bibitem{nov-prl-04}
343: T. Novotn\'y, A. Donarini, C. Flindt, and A. P. Jauho, Phys.
344: Rev. Lett. {\bf 92}, 248302 (2004).
345: \bibitem{fli-prb-04}
346: C. Flindt, T. Novotn\'y, and A. P. Jauho, to appear in Phys.
347: Rev. B (2004); cond-mat/0405512.
348: \bibitem{fli-epl-04}
349: C. Flindt, T. Novotn\'y, and A. P. Jauho, to appear in Europhys.
350: Lett. (2004); cond-mat/0410322.
351: \bibitem{arm-prb-02}
352: A. D. Armour and A. MacKinnon, Phys. Rev. B {\bf 66}, 035333
353: (2002).
354: \bibitem{remark}
355: We show in \cite{nov-prl-03,nov-prl-04,fli-prb-04} that the
356: off-diagonal elements $\rho_{01/10}$ decouple from $\rho_{00/11}$,
357: and are not needed in the evaluation of the stationary
358: limit.
359: \bibitem{gol-book-96}
360: A good introduction to the Arnoldi scheme can be found in G. H.
361: Golub and C.F. Loan, {\it Matrix Computations}, The Johns
362: Hopkins University Press, 3rd Edition (1996).
363: \bibitem{Timo}
364: Prof. T. Eirola, Private communication.
365: \bibitem{fli-msc-04} C. Flindt, Master's Thesis, MIC, Technical
366: University of Denmark, URL http://www.mic.dtu.dk/research
367: /TheoreticalNano /publications/ Theses.htm
368: \end{thebibliography}
369:
370:
371:
372:
373: \end{multicols}
374: \end{document}
375: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
376: