Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: fourier s law describes the transport of heat in a macroscopic object . the calculation of the thermal conductivity that appears in the fourier s law is fundamental and important in understanding the properties of materials . such a calculation must be grounded upon quantum mechanics with phonons as basic quasi - particles . this is a non - trivial task and was successfully carried out many years ago by peierls @xcite using the boltzmann equation for phonons . molecular dynamic ( md ) simulation is another approach . however , md results are not correct at low temperatures as it is purely a classical approach . the early works are mostly concerned with bulk materials with many degrees of freedom and periodic lattices @xcite . in recent years , more attentions are paid to heat transport in small or low - dimensional systems such as carbon nanotubes and molecular junctions @xcite . in nano- to meso - scales , new features come in . in most of these conditions , the discreteness of the atom is important . the concept of phonons developed for the periodic lattices is somewhat difficult to apply if a system does not possess translational invariance , such as a nano - junction . in such situation , the boltzmann - peierls approach is not applicable . there are several alternative methods that have overcome the above problems . first , the landauer formula @xcite is a simple and clear description of the heat transport in purely ballistic regime at low temperatures . there are also a few other approaches @xcite with different approximations such as the description based on density matrices . one of the features of the existing theories is that they work in either the ballistic regime or diffusive regime , but not both . it is rather difficult to have a complete theory that can encompass both regimes , apart from phenomenological treatments @xcite . the nonequilibrium green s function formalism described in this article is a serious attempt to be such a complete theory . this theory is certainly `` first principles '' given the atomic potentials . several similar formulations have already been done at the elastic level without nonlinear interactions @xcite . in ref.@xcite , we presented a new formulation with the nonlinear interaction treated systematically . mingo also gave a similar result @xcite for the nonlinear interactions . our approach is essentially a generalization of the nonequilibrium green s function method in electronic transport @xcite , with fermions replaced by bosons as basic entities . although the techniques have been extensively described in the literature , most of them are centered around fermions . in this paper , we give a description of the method , emphasizing on both the theoretical formulation and computational implementation . we begin with an elementary introduction of the green s functions , including the contour - ordered green s functions . we then discuss equations of motion of the green s functions , feynman diagrammatic expansion , and dyson equations . we discuss the heat current and derive a formula for effective transmission when there are nonlinear interactions . after the introduction of the method , we present results of one - dimensional ( 1d ) chains , benzene ring , and carbon nanotubes , and discuss some of the interesting features in such systems . the nonequilibrium green s function methods are discussed in refs . @xcite , and equilibrium green s functions are explained in many textbooks such as refs .  @xcite . for completeness , we introduce our notations and give a quick review of the definitions and properties of various green s functions in this subsection . we define the retarded green s function as @xmath0 \rangle,\ ] ] where the column vector @xmath1 with component @xmath2 is not the usual displacement operator from equilibrium but a renormalized one , i.e. , @xmath3 , such that the kinetic energy is of the form @xmath4 . the superscript @xmath5 stands for matrix transpose . the square brackets are the commutators . @xmath6 is a square matrix with elements @xmath7\rangle$ ] . the physical dimension of @xmath6 is time . by definition , @xmath8 equals zero when @xmath9 . in equilibrium or nonequilibrium steady states , the green s function depends only on the difference in time , @xmath10 . the fourier transform of @xmath11 is defined as @xmath12 = \int_{-\infty}^{+\infty}\!\!\ ! g^r(t ) e^{i\omega t}dt.\ ] ] note that we use square brackets to delimit the argument for the green s functions in frequency domain . the dimension of the retarded green s function in frequency domain is time squared . the inverse transform is given by @xmath13 e^{-i\omega t}d\omega.\ ] ] for notational simplicity , we ll set @xmath14 . we can always get the final required expressions by a simple dimension analysis . the rest of the definitions are the advanced green s function @xmath15 \rangle,\ ] ] the `` greater than '' green s function @xmath16 the `` less than '' green s function @xmath17 the time - ordered green s function @xmath18 and anti - time - ordered green s function @xmath19 the following linear relations hold both in frequency and time domains from the basic definitions : @xmath20 also , the relations @xmath21 and @xmath22 are useful . out of the six green s functions , only three of them are linearly independent . however , in systems with time translational invariance , the functions @xmath6 and @xmath23 are hermitian conjugate of one other : @xmath24 = ( g^r[\omega])^\dagger.\ ] ] so in general nonequilibrium steady - state situations , only two of them are independent . in this paper , we consider them to be @xmath6 and @xmath25 . there are other relations in the frequency domain as well : @xmath26^\dagger & \!=\ ! & - g^{<}[\omega],\\ g^r[-\omega ] & \!=\ ! & g^r[\omega]^*,\\ g^{<}[-\omega ] & \!=\ ! & g^{>}[\omega]^t \!=\ !   - g^{<}[\omega]^ * \!\!+\ ! g^r[\omega]^t \!\!-\ ! g^r[\omega]^*.\end{aligned}\ ] ] the last two equations show that we only need to compute the positive frequency part of the functions .    in thermal equilibrium , there is an additional equation relating @xmath6 and @xmath25 : @xmath27 = f(\omega ) \bigl ( g^r[\omega ] - g^a[\omega ] \bigr ) , \label{grtogl}\ ] ] where @xmath28 is the bose - einstein distribution function at temperature @xmath29 . equation  ( [ grtogl ] ) is obtained by writing the green s functions as a sum of energy eigenstates ( known as the lehmann representation ) . thus in equilibrium , there is only one independent green s function ; we take it to be @xmath6 . the contour - ordered green s function is a convenient book - keeping to treat the different green s functions in a concise notation . we can consider a contour - ordered green s function as a function @xmath30 with arguments @xmath31 and @xmath32 defined on the complex plane . the contour runs from @xmath33 slightly above the real axis to @xmath34 and loops back from @xmath34 slightly below the real axis to @xmath33 . the contour - ordered green s function can be mapped onto four different normal green s functions by @xmath35 , where @xmath36 , and @xmath37 is the time - ordered green s function , @xmath38 is the anti - time - ordered green s function , @xmath39 , and @xmath40 .    in a noninteracting harmonic system with a hamiltonian @xmath41 the retarded green s function in the frequency domain is given by @xmath12 = \left ( ( \omega + i \eta)^2 i - k \right)^{-1 } , \label{gr - free}\ ] ] where @xmath42 is an identity matrix , and @xmath43 . adding a small @xmath44 helps to choose correctly the inverse fourier transform integration path in the complex @xmath45-plane , so that the retarded green s function has the required causal property , @xmath46 for @xmath47 . equation  ( [ gr - free ] ) can be derived by an equation of motion method . we note that the retarded green s function is a symmetric matrix since @xmath48 is symmetric , but this feature is not preserved with nonlinear interactions . our system is a junction with a central region and two leads which serve as heat reservoirs . we treat the leads explicitly as quasi - one - dimensional periodic lattices . this setup is experimentally relevant and conceptually useful for computation . we consider non - conducting solid and treat only the vibrational degrees of freedom for heat transport . let the ( mass - normalized ) displacement from some equilibrium position for the @xmath49th degree of freedom in the region @xmath50 be @xmath51 ; @xmath52 , for the left , center , and right regions , respectively . the quantum hamiltonian is given by @xmath53 where @xmath54 , @xmath55 is a column vector consisting of all the displacement variables in region @xmath50 , and @xmath56 is the corresponding conjugate momentum . @xmath57 is the spring constant matrix and @xmath58 is the coupling matrix of the left lead to the central region ; similarly for @xmath59 . we note that the dynamic matrix of the full linear system is @xmath60 the nonlinear part of the interaction will take the form @xmath61 the quartic interaction is important in stablizing the system , as a purely cubic nonlinear interaction makes the energy unbounded from below .    a schematic to illustrate the two adiabatic switch - ons . ] we need to answer an important question : what is the distribution of the system ? the distribution enters the definition of the green s functions as a density matrix @xmath62 for the average @xmath63 . for an equilibrium problem , this is just the boltzmann factor , but in a nonequilibrium situation , it is not known and must be computed in some way . the adiabatic switch - on gives us a clear conceptual framework how this problem can be solved , at least formally . we imagine that at @xmath64 the system has three decoupled regions , each at separate temperatures , @xmath65 , @xmath66 , and @xmath67 . the nonlinear interactions are turned off . the green s functions @xmath68 are known and take the form of eq . ( [ gr - free ] ) . the couplings @xmath69 and @xmath59 are then turned on slowly , and a steady state of the linear system is established at some time @xmath70 . the green s functions of the linear nonequilibrium system will be denoted by @xmath71 . for this linear problem , the result does not depend on @xmath66 . finally , the nonlinear interaction @xmath72 is turned on , and at time @xmath73 , a nonequilibrium steady state is established , see fig . [ fig - adiabatic ] for illustration . the full nonlinear green s functions will be denoted by @xmath74 . the density matrices at time @xmath75 , @xmath5 , and @xmath73 are related in the following way in the interaction picture : @xmath76 where @xmath77 is the time - order operator .      in this subsection , we derive the equations of motion for green s functions . the equations of motion can be used to perform systematic perturbation expansion for the green s functions , or as a starting point for mean - field approximations . there are at least two ways to derive the equations of motion for nonequilibrium green s functions . the first is to derive the equations of motion for the time - ordered green s function and then generalize it to the contour - ordered version by evoking the structure isomorphism of the two sets of green s functions @xcite . another possibility is to consider directly the contour - ordered green s function @xcite . we ll take the latter approach . we define a general @xmath78-point contour - ordered green s function as @xmath79 the index @xmath80 labels the region , @xmath49 labels the degrees of freedom in that region , and @xmath31 is the contour variable . the function is symmetric with respect to simultaneous permutations of the triplet @xmath81 . we view the function as an analytic function ( at least along the path ) in variable @xmath31 which varies on the keldysh contour @xcite . we also introduce a generalized @xmath82 function which is defined to be 1 if @xmath31 is later than @xmath32 along the contour and 0 otherwise . its derivative is a generalized @xmath83-function , @xmath84 . the @xmath85 function can be used to represent the contour - order operator @xmath86 . for convenience , we allow for @xmath87 , which is just a constant @xmath88 . our definition is slightly different from that of the usual quantum field theory where our prefactor is always @xmath88 ( instead of the usual @xmath89 ) .    to start with , we consider one of the important correlation functions for heat transport , @xmath90 . the first derivative with respect to the second argument always leads to a direct differentiation inside the contour - order operator since the equal - time coordinates @xmath1 commute , @xmath91 the second derivative is similar in this case as @xmath92 and @xmath93 also commute at equal time . thus , substituting the equation of motion for @xmath94 ( having identical form in quantum and classical cases ) , we get @xmath95 in matrix notation , it is @xmath96 to solve this differential equation on the contour , we define the ( contour - ordered ) green s function of the left lead to satisfy @xmath97 we can think of @xmath98 as the inverse of the operator @xmath99 . by multiplying @xmath100 to eq . ( [ eqg_cl ] ) from the right , @xmath101 to eq . ( [ eqg_l ] ) from the left , and then subtracting the two equations and integrating over the variable @xmath32 along the contour , we get ( after integration by part ) @xmath102 the reason that the terms in the second line are identically zero involves some considerations . first , since the central part and left lead are decoupled at the time @xmath103 , we must have @xmath104 and @xmath105 . this takes care of the lower bound . next , we require that the free left lead green s function satisfies the boundary condition @xmath106 , @xmath107 , at the upper limit @xmath108 . this requirement is equivalent to @xmath109 , and @xmath110 , or @xmath111 ( as well as that their first derivatives are zero ) . the condition @xmath112 is consistent with the causality requirement of the retarded green s functions , but the conditions for @xmath113 or @xmath114 are insufficient , as the information about temperature of the system is unspecified . we fix the ambiguity by requiring that @xmath115 be the equilibrium value at inverse temperature @xmath116 . in other words , @xmath117 should exactly be the contour - ordered green s function of the free lead as defined in subsec . [ sec - green ] . such a choice is consistent with the adiabatic switch - on . a full justification of the final result , @xmath118 can also be given from a perturbation expansion , as has been done in ref . @xcite .    equation  ( [ gcl ] ) can be generalized to the case of @xmath119 with a similar result . we now consider the green s functions of the form @xmath120 involving only the central part . the aim is to derive a recursion relation for the central part green s functions by eliminating references to full green s functions involving the leads . this type of green s functions involves two new features , ( 1 ) we must take care of the derivatives of the @xmath85 functions which produce commutators @xmath121 $ ] , ( 2 ) we generate higher order green s functions due to the nonlinear interactions . the contour order leads to @xmath122 terms , each of which is a permutation of the displacement variable @xmath1 from the original order @xmath123 , multiplied by a term of permutation of the arguments @xmath31 from the standard order @xmath124 . differentiation of these @xmath85 functions leads to a sum of contractions between the variable that we are differentiating and all the other variables . this reduces the order of the green s function by two . we note that @xmath125   = i \delta_{jl}.\ ] ]    for the moment , we ll consider only the cubic nonlinearity . four terms are produced when @xmath126 is substituted inside the order operator , due to linear coupling @xmath127 , @xmath128 , @xmath59 , and nonlinear @xmath129 . the first three terms are similar in structure to that in eq . ( [ eqg_cl - component ] ) . the cubic nonlinear interaction increases the value of @xmath78 by 1 . we note that the equation for @xmath126 is evaluated at the same time @xmath31 . this would be complicated if we have to keep track of which @xmath31 s are equal in the green s functions . we transfer this information to the coupling @xmath129 to define the three - body interaction in contour variable form ( for the force ) @xmath130 since the contour integral is @xmath131 , we must define @xmath132 this is because our @xmath83-function has the standard property that @xmath133 , but when written in the ordinary time @xmath134 and index @xmath135 , we must have the extra @xmath135 factor to get the required value of @xmath136 . recursive expansion rule for green s functions . a vertex with @xmath78 double lines denotes an @xmath78-point green s function . the single line denotes @xmath71 . a single - line three - terminal vertex is associated with @xmath137 . ] the two terms involving the leads produce green s functions of the form @xmath138 and @xmath139 , which can be replaced by @xmath140 using the result eq . ( [ gcl ] ) derived earlier . we can now solve for the center - only green s function using the green s function of the linear system : @xmath141 we then obtain the following simple recursive rules for green s functions ( as shown in fig . [ fig - exprule ] ) :    \(1 ) replace leg 1 by inserting a nonlinear coupling @xmath142 such that the outer leg is immediately connected with @xmath71 while the other two terminals increase the order of the green s function by 1 . quartic interaction is similar , but the process will increase the order by 2 . \(2 ) add imaginary unit @xmath143 times a sum of the @xmath144 graphs formed by pairing each leg with leg 1 and connecting with the propagator @xmath71 , multiplied by a @xmath145 order remaining green s function . \(3 ) symmetrize the graphs , if desired , i.e. , do steps ( 1 ) and ( 2 ) for every leg , 1 , 2 , @xmath146 , @xmath78 , add them up , and then divide by @xmath78 . the above rules may be conveniently implemented in a symbolic computer language , such as mathematica . the contour - ordered green s function can also be obtained by a perturbation expansion of the interaction picture evolution operator ( scattering matrix operator ) and is expressed as : @xmath147 where the displacements refer to the central region ; we have dropped the superscript @xmath148 for brevity . the operators in the top line are in the heisenberg picture , while that in the second line are in the interaction picture . the green s function @xmath71 of the linear system ( when @xmath149 ) can be computed from that of the free subsystems ( an integral equation form of eq . ( [ eq_g0 ] ) ) : @xmath150 where @xmath151 , @xmath152 similarly for @xmath153 . this dyson equation can be derived by considering the first step of the adiabatic switching - on process . since it is a linear system , the self - energy @xmath154 is known exactly .    by expanding the exponential in eq . ( [ expand ] ) , a series in the nonlinear interaction strength is obtained . the reduction in terms of the unperturbed green s function @xmath71 relies on the fact that wick s theorem @xcite is applicable here . although a formal proof of wick s theorem is difficult , we can see that the density matrix @xmath62 must be quadratic in exponential . this is because the @xmath155 is quadratic and the system is linear . the fact that the equation of motion method and the perturbation expansion give identical results is a confirmation of the validity of wick s theorem . the expansion contains connected as well as disconnected feynman diagrams . the disconnected diagrams are constant in time , and give rise to a thermal expansion effect . we can show that these diagrams do not contribute to the thermal transport , as they are proportional to @xmath156 in the frequency domain . the thermal current formula has a factor of @xmath45 which makes it zero . finally , the connected part of the green s function satisfies a similar contour - ordered dyson equation relating @xmath157 to @xmath71 through a nonlinear self - energy @xmath158 : @xmath159 in ordinary green s functions and in frequency domain ( @xmath45 argument suppressed ) , the dyson equations have solutions @xcite : @xmath160 the connected part of the green s function @xmath157 will be used for @xmath74 in eq . ( [ heat - current ] ) below , and the extra subscript @xmath161 will be dropped from this point . the feynman diagrams for nonlinear self - energy @xmath158 with the prefactors for graphs of cubic and quartic interactions to second order in @xmath162 . ]    in fig . [ fig - feynmant4 ] we give the feynman diagrams to `` second order '' of the nonlinear interactions for cubic and quartic terms , where the graphs have explicitly @xmath162 and @xmath163 in the coefficients ; the neglected graphs have higher powers of @xmath162 . these diagrams are the same as those in ref . @xcite , but the interpretation is different . it is for the contour - ordered green s functions here and for the retarded green s functions of the creation / annihilation operators in ref . @xcite . to find the actual expressions for each of the diagrams , we have the following simple rules : ( 1 ) label each interaction vetex line by the @xmath31 variables and site indices , with the interaction function @xmath164 ( or @xmath165 for the quartic interaction ) . ( 2 ) each line connecting the labels is associated with a propagator @xmath71 . ( 3 ) integrate over all the internal variables along the contour ; sum over the internal site indices . most of the integrations are easy , as @xmath166 contains two @xmath83-functions in @xmath31 . for example , the second graph is @xmath167 where @xmath168 and @xmath169 are external variables and the rest are internal . after integrations , we get @xmath170 now we can rewrite in real time @xmath134 and the branch index @xmath135 using the mapping @xmath171 , @xmath172 , and @xmath173 . noting that @xmath174 by time translational invariance , we have @xmath175 the result can now be transformed to frequency domain if desired . we define the current flow from the left lead to the central region as @xmath176 the interpretation of the current is somewhat subtle as the leads are semi - infinite in extent . the definition is meaningful . by the heisenberg equation of motion , we obtain , at @xmath73 , @xmath177 . the expectation value can be expressed in terms of a green s function @xmath178 . using the fact that operators @xmath1 and @xmath179 are related in fourier space as @xmath180 = ( -i\omega ) u[\omega]$ ] , we can eliminate the derivative and get , @xmath181\right ) \omega\ , d\omega.\ ] ] using the result derived earlier relating the mixed lead - center green s function to the center - only green s function and applying the langreth theorem @xcite to write contour - ordered green s function in ordinary green s functions in frequency domain , we have @xmath182 = g^r_{cc}[\omega ] v^{cl } g^{<}_l[\omega ] + g^{<}_{cc}[\omega]v^{cl}g^{a}_l[\omega]$ ] . the final expression for the energy current is @xmath183 \sigma^{<}_l[\omega ] +   g^{<}[\omega ] \sigma^a_l[\omega ] \bigr ) , \label{heat - current}\ ] ] where the self - energy due to the interaction with the lead is @xmath184 . for simplicity , we have dropped the subscript @xmath148 on the green s functions denoting the central region . this result is the phonon analog of the electronic current formula @xcite . since the energy current must be conserved , we have @xmath185 . in addition , @xmath186 is real . we can obtain a symmetrized expression for the current @xmath187 where @xmath188 . we define the thermal conductance as @xmath189 where @xmath190 is the difference of the temperatures in leads , such that @xmath191 and @xmath192 . using eq . ( [ current-2 ] ) , we can actually take the limit @xmath193 by introducing variational derivatives of the green s functions , self - energies , or current as , e.g. , @xmath194 the difference in the numerator is the value of a function when the leads are at two different temperatures @xmath65 and @xmath67 , respectively , minus the value when the system is in equilibrium at @xmath195 . with this notation , we can express the conductance in a form similar to the landauer formula @xcite for the ballistic transport as @xmath196   \frac{\partial f(\omega)}{\partial t}\ ] ] with an effective transmission coefficient , @xmath197 & = &   \frac{1}{2 } { \rm tr } \bigl\ { g^r ( \gamma_l + \frac{1}{2}\gamma_n - s ) g^a \gamma_r \bigr\ } + \nonumber \\ \label{eff - trans } & & \frac{1}{2 } { \rm tr } \bigl\ { g^a \gamma_l g^r ( \gamma_r + \frac{1}{2}\gamma_n + s ) \bigr\},\end{aligned}\ ] ] where the nonlinear effect is reflected in the extra terms , @xmath198 , and @xmath199 \left({\partial f \over\partial t}\right)^{-1}.\ ] ] equation  ( [ eff - trans ] ) is a generalization of the caroli formula @xcite for ballistic transport . we ll discuss in sec . [ sec3b ] how the variational derivatives of the self - energy can be computed . mean - field approximation to the self - energy . the double line denotes the full green s function @xmath74 ; the single line is for @xmath71 . ] we have seen in ref . @xcite that high - order feynman diagrams are important at high temperatures . however , it is computationally very expensive to include these high - order diagrams , although we can do calculations on very small systems such as a three - site model . the standard technique is to use a mean - field approximation which in some sense partially takes into account these high - order graphs . we propose an approximation to the self - energy shown in fig . [ fig - mf ] , where the double line represents the nonlinear full green s function @xmath74 , while a single line is the usual bare green s function @xmath71 . with such a choice , we find that to next order , all the cubic interaction graphs are reproduced exactly ( including the prefactor ) , except that two of the diagrams are missing .    with the self - consistent mean - field approximation , the solution has to be found iteratively . the convergence of the iterative process becomes an issue . with only cubic interactions , the system of equations will not converge at high temperatures . we understand that this is simply a consequence of the unstable nature when only cubic terms are used . we thus add the fourth order potential which is essential for stability . however , the convergence is still difficult at high temperatures , mainly due to the singular nature of the bose distribution .      at high temperatures , the classical molecular dynamics ( md ) is a correct and numerically exact method for the heat conduction problem . however , the standard heat baths used in md such as nos - hoover do not correspond to exactly the action of the leads in our models . a correct heat bath should follow a langevin dynamics with colored noises . dhar @xcite has given a derivation for the junction problem . the idea is to solve the lead degrees of freedom @xmath200 and @xmath201 formally first , which is easy since it is a linear system . the result is then substituted into the equation for the center region . this gives the following equation : @xmath202 where @xmath203 is the nonlinear force , @xmath204 is the same retarded self - energy of the lead , @xmath205 , used in the nonequilibrium green s function calculation , but in the time domain . by integration by part , we could also cast eq . ( [ langevin ] ) in a standard generalized langevin form @xcite involving a damping force , but @xmath127 has to be shifted to @xmath206 $ ] . an extra contribution from the left lead is @xmath207 where @xmath208 is the retarded green s function of the left lead in the time domain . the expression for the right lead @xmath209 is similar . a time @xmath5 in the lower limit in the integral and eq . ( [ random - noise ] ) is some time in the remote past where the system is decoupled and the leads are in respective thermal equilibrium . we ll take the limit @xmath210 . we turn eq . ( [ langevin ] ) into a stochastic differential equation by requiring that @xmath211 and @xmath212 are random variables satisfying the boltzmann - gibbs distribution @xmath213 thus , @xmath214 is colored noise with the properties @xmath215 the last line of the above equation is a kind of `` fluctuation - dissipation '' theorem . we note that the dot in @xmath216 denotes the derivative with respect to @xmath5 . for a sensible heat bath , the noise should not depend on @xmath5 , but only on the difference @xmath10 . indeed , this can be done if we rewrite the result in vibrational eigen - modes . we can write the fourier transform of the noise correlation as @xmath217 where the square root of a matrix is defined by its eigenvalue decomposition taking only the positive eigen frequencies . this is well defined since @xmath218 is positive definite . the properties of the right lead noise @xmath209 are analogous . such a set of stochastic differential equations can be simulated on a computer . the green s functions of the free leads @xmath219 are required in calculation for the lead self energies @xmath154 . although the lead green s function is a semi - infinite matrix , due to a localized coupling @xmath69 or @xmath59 , only a corner set of elements is required . these submatrix elements are termed surface green s functions . the surface green s function can be computed rather quickly by recursive iterations @xcite or decimation . for completeness , we give an algorithm in pseudo - code form . the reader is referred to the literature for the derivation of such algorithm . the program takes three square matrices of equal size for @xmath220 , @xmath221 , and @xmath222 . the matrix @xmath220 is the block immediately adjacent to the center , while @xmath221 , and @xmath223 are repeated for the semi - infinite chain of the lead . they form the whole dynamic matrix of the lead in the following way : @xmath224 the left arrow ` @xmath225 ' below denotes assignment ; @xmath226 is an error tolerance .    _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ @xmath227 + @xmath228 + @xmath229 + @xmath230 + @xmath231^{-1}$ ] + do +  @xmath232 +  if @xmath233 exit +  @xmath234 +  @xmath235 +  @xmath236 +  @xmath237 +  @xmath238 +  @xmath239 +  @xmath240 +  @xmath231^{-1}$ ] + end do + @xmath241^{-1}$ ] . + _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _      the diagrams in the mean - field approximation can be computed in the time domain easily and efficiently ; the convolutions in frequency domain become simple multiplications in time domain . thus we have adapted a fast fourier transform method for the calculation . this reduces the computational complexity , particularly for the quartic interaction terms . typically @xmath242 fourier grid points are needed for good convergence . using the message passing interface ( mpi ) , a parallel implementation with data partition good linear speed - up is obtained upto 64 processes .    in the mean - field treatment of the heat transport , there is a need to find the variational derivatives of the green s functions and self - energy for the conductance calculation . this is done by solving iteratively the set of equations @xmath243 the expressions for @xmath244 and @xmath245 can be obtained by differentiating the self - energy results directly . for convergence control , linear mixing of the new and old values is used . one important question to ask about the nonequilibrium formulation is that whether the theory gives ballistic and diffusive heat transport in a single framework . clearly , if the nonlinear self - energy @xmath158 can be computed accurately , there is no doubt that the answer is yes however , this is not clear if only the leading order perturbation theory is used . in ref . @xcite , spohn gives a derivation of a boltzmann equation for the phonons in a simple 1d chain with onsite cubic nonlinearity . it is clear that in the boltzmann equation framework , we obtain fourier s law and diffusive heat transport . we demonstrate in this subsection that diffusive heat transport is not observed if only perturbative result is used . this subsection also serves as an example of illustration of the concepts discussed earlier by a simple and concrete model . we consider a 1d chain with inter - particle spring constant @xmath48 and onsite spring constant @xmath246 . we take a simple cubic onsite potential for the interaction , @xmath247 , for @xmath49 belonging to the central region . this means that @xmath248 . apart from the nonlinear interaction , the left lead , central region , and the right lead are identical . the classical equation of motion is @xmath249 where @xmath250 for @xmath251 and @xmath252 for @xmath253 or @xmath254 . the retarded green s function @xmath255 can be obtained by solving the linear equation @xmath256 g_0^r = i$ ] , where ( infinite in both directions ) matrix @xmath257 is @xmath258 on the diagonal and @xmath259 on the first off - diagonals . the explicit solution is @xmath260 = \frac { \lambda_1^{|j - l| } } { ( \lambda_1 - \lambda_2 ) k},\ ] ] where @xmath261 and @xmath262 are the roots of the equation @xmath263 note that @xmath264 . we define the two roots such that @xmath265 and @xmath266 . the surface green s function @xmath219 satisfies a similar equation as @xmath255 except that it is semi - infinite in extent . we consider the left lead ( @xmath267 ) . the result for the right lead is identical . since the matrix @xmath69 is nonzero only for one corner element , we need the @xmath268 component of the matrix @xmath219 . consider only the @xmath269 column , the equations for @xmath219 in component form are @xmath270 @xmath271 substituting the trial solution @xmath272 , we find that @xmath273 the `` less than '' green s function for the left lead is then ( c.f . ( [ grtogl ] ) ) @xmath274 where @xmath275 is the bose - einstein distribution function at the temperature of the left lead . the @xmath276 green s function can be obtained with the equation @xmath277 , @xmath278 ; @xmath279 , similarly for @xmath153 . the matrix elements of @xmath280 are all zero except that @xmath281 and @xmath282 . using these results , after some calculation , we can write @xmath283 =   \frac { f_l \lambda_1^{j - l } + f_r \lambda_1^{l - j } } % { ( \lambda_1 - \lambda_2 ) k } \theta(\omega).\ ] ] the @xmath284 function is defined to be 1 inside the phonon band and zero outside the band ; more precisely , @xmath285 if @xmath286 , and is 0 otherwise .    due to the onsite cubic nonlinearity , the leading order nonlinear self - energy calculation is simple . the first graph contribution is @xmath287 ^ 2.\ ] ] the contribution from the second graph is a constant in @xmath45 : @xmath288   = 2 i\ , t^2   \sigma \delta_{\sigma , \sigma ' } \delta_{jl } \sum_{\sigma'',s } \sigma '' { g_0}^{\sigma\sigma''}_{js}[0 ] { g_0}^{\sigma''\sigma''}_{ss}(0).\ ] ] both the summation over @xmath289 and over index @xmath290 can be performed analytically . we find @xmath288   =   2 i\ , t^2   \sigma \delta_{\sigma , \sigma ' } \delta_{jl } \bar{g}_j^r[0 ] \bar{g}^t(0),\ ] ] where @xmath291 & = &   \frac { 1 + \lambda_1 - \lambda_1^j - \lambda_1^{n - j+1 } } % { ( 1-\lambda_1)(\lambda_1 - \lambda_2 ) k},\\ \bar{g}^t[\omega ] & = & \frac { 1 + ( f_l + f_r ) \theta(\omega ) } % { ( \lambda_1 - \lambda_2 ) k } , \\ \bar{g}^t(0 ) & = & \frac{1}{2\pi } \int_{-\infty}^{+\infty } \!\!\!\ ! \bar{g}^t[\omega ] d\omega.\end{aligned}\ ] ]    for numerical accuracy , we compute the conductance directly instead of using finite differences . let the temperature on the left lead be @xmath292 and right lead be @xmath192 . we define the thermal conductance as that in eq . ( [ conductance - def ] ) and the effective transmission by eq . ( [ conductance-2 ] ) . for the expression for effective transmission @xmath293 $ ] , we also need to take the limit @xmath193 . the advantage of doing this is that the leading terms corresponding to equilibrium green s functions cancel exactly , since there should be no heat current when @xmath294 . we can also equivalently define the temperature variation through the expansion : @xmath295 and similarly for @xmath296 . we can simplify the effective transmission as @xmath197 & = & \frac{1}{2 } { \rm tr}\bigl\ { ( g^r - g^a)(\sigma_r^ { < } - \sigma_l^ { < } ) + \nonumber\\ & & \quad\quad\quad\quad i g^ { < } ( \gamma_r - \gamma_l ) \bigr\}/(f_l - f_r ) \nonumber \\ & = & i k ( { \rm im}\ , \lambda_1 ) ( f_{11}^l - f_{nn}^r ) , \end{aligned}\ ] ] where the @xmath297 function is defined as @xmath298 \left(\frac{\partial f}{\partial t}\right)^{-1}.\ ] ] @xmath299 is the same except that the first term is negative . in evaluating the @xmath297 functions , we should set @xmath195 as we have already taken the @xmath193 limit . the variations required in eq . ( [ f - vari ] ) can be computed by the variation in nonlinear self - energy , which in turn can be computed by the variation in the linear green s function @xmath71 . due to the dyson equation , the variation of the retarded green s function has a simple result : @xmath300 the variation in @xmath25 is rather complicated : @xmath301 \bigr\ } - { \rm h.c . } \nonumber \\ & & + \ , \delta g_0^ { < } + g^r ( \delta \sigma_n^ { < } +   \sigma_n^r \delta g_0^ { < } \sigma_n^a ) g^a,\end{aligned}\ ] ] where @xmath302 , h.c . stands for the hermitian conjugate of the preceding term , and @xmath303 , @xmath304 & = & \frac{4i\ , t^2}{2\pi } \!\ ! \int_{-\infty}^{+\infty } \!\!\!\!\ ! d\omega'\ , { g_0}^{r,<}_{jl}[\omega-\omega ' ] \delta { g_0}^{<}_{jl}[\omega ' ] . \quad\end{aligned}\ ] ]    thermal conductance of the cubic onsite model as a function of temperature for several values of the cubic coupling strength @xmath73 , 0.2 , 0.5 , 0.7 , 1.0 , and 2.0 ev/(@xmath305u@xmath306 ) . the length of center chain is @xmath307 . ] thermal conductance as a function of temperature for several system lengths @xmath308 with @xmath309 ev/(@xmath305u@xmath306 ) . ] we have made analytic calculations as far as possible . the rest of integrations and matrix inversions are calculated numerically . we use physical units with @xmath310ev/(@xmath311u ) , @xmath312 , ( u for unified atomic mass units ) . figure  [ kappa ] shows the temperature dependence of the thermal conductance @xmath313 of a short nonlinear chain of length @xmath307 . the @xmath73 curve is the ballistic landauer formula result , the rest of the curves show the effect of nonlinearity . the prominent feature here is that the conductance decreases quickly as the nonlinear coupling @xmath134 increases from 0 to 2 . in particular , the system behaves like a thermal insulator if the on - site nonlinearity is large enough . the thermal conductance is small at low temperatures and at high temperatures , as was found experimentally . at the extremely high temperatures , the conductance decreases with temperature according to @xmath314 ( data not shown ) . this agrees with several other theories of thermal conductance at high temperatures . can we see diffusive transport in this model ( under the perturbative approximation ) ? the answer is no . in fig . [ size - datb ] , we show the size dependence for a fixed @xmath134 . at temperatures below 200@xmath315k , the results are essentially independent of the lengths , showing ballistic heat transport . at around 2000@xmath315k , from sizes 2 to 10 , we see decrease of the thermal conductance roughly as @xmath316 , but this trend does not continue , and the conductance saturates to some value for systems larger than 20 . this feature is generic ; the fpu model with first - order perturbation treatment also has a similar behavior . the curves also display some oscillatory structure . the number of oscillations appears to be roughly equal to half of the chain length @xmath308 . the feature is damped out as the chain becomes longer . it would be nice if a molecular dynamics simulation could confirm these features . the failure to see diffusive behavior may be understandable as our result takes into account only the first - order perturbation in the nonlinear interaction . other features seem qualitatively correct in comparison with real systems ; this is very encouraging . the fermi - pasta - ulam ( fpu ) model has been studied as a prototype model in nonlinear dynamics @xcite . in recent years , a lot of works have been done on the thermal transport in the fpu model @xcite . by molecular dynamics and mode - coupling theory , lepri _ et al . _ @xcite found that the thermal transport in such a system does not have an ordinary diffusive behavior in the sense that the thermal conductivity diverges with the system size as some power , @xmath317 . the actual value of the exponent @xmath50 is somewhat controversial . the earlier studies gave @xmath318 , but the latest analysis suggests @xmath319 @xcite . quantum thermal transport in fpu model has seldom been studied . in particular , the change from ballistic to diffusive transport has not been addressed . this question can not be correctly answered within molecular dynamics approach as the ballistic transport is quantum - mechanical in nature . we use realistic model parameters derived from expanding the morse potential , @xmath320 with @xmath321ev , @xmath322@xmath323 , up to the fourth order in @xmath324 , where @xmath325 is mass - renormalized displacement for the @xmath143th particle . it is a general fpu model with both cubic and quartic interactions . the leads do not have nonlinear interactions . we use the mass of carbon , @xmath326u , in the calculation . thus we can consider the results correspond to that of a carbon chain . thermal conductance of a fermi - pasta - ulam chain with chain lengths 4 , 8 , 16 , 32 , 64 , 128 , 256 , from top to bottom . semi - infinite one - dimensional harmonic chains serve as heat baths with spring constants @xmath327 and @xmath328 ev/(u@xmath311 ) for the left and right leads , respectively . small onsite quadratic potentials are applied with @xmath329 and @xmath330 ev/(u@xmath311 ) . ]    in fig . [ fig - dexp ] we present the mean - field results of conductance @xmath313 as a function of temperature for different lengths of the chain . as we can see , below about @xmath331k , the conductance is independent of chain lengths ; this is the ballistic region of heat conduction . at high temperatures , the conductance decreases with the system size . for a completely diffusive heat transport , we should have @xmath332 . we are far from this . since in fpu model real diffusive behavior is impossible , the reduction in conductance in the classical regime should be @xmath333 . the observed exponent for sizes up to 256 is much smaller . in fact , this result is expected because the mean free path in a typical carbon systems ( such as carbon nanotubes @xcite or diamond ) is of order @xmath334 m . since the conductivity decreases with temperature typically as @xmath314 , even at few thousand kelvin , the mean free path is expected to be 100 to 1000 lattice spacings . thus we see only tendency towards diffusive behavior . it is also clear that ballistic transport and diffusive transport are at quite different time and length scales . the present calculation is already very large on an ibm 500-processor parallel computer . it is out of the possibility to see diffusive behavior for large sizes within the present approach . but this example does give us an indication that the mean - field theory could give diffusive behavior for appropriate systems . molecular dynamics results of the thermal conductance for the model as in fig . [ fig - dexp ] . ( a ) `` generalized langevin '' thermal heat baths from sizes 4 , 8 , 16 ,  , 2048 , from top to bottom . ( b ) nos - hoover thermostat with size 8 , 16 , 32 ,  , 1024 . ] it is instructive to compare the mean - field results with molecular dynamics results . in fig . [ fig - md ] , we present the md results with the generalized langevin - like heat - bath and the nos - hoover heat bath . the colored noise is implemented using a standard spectrum method with fast fourier transform @xcite . it turns out that the results for the thermal conductance is very sensitive to the bath used and detail couplings between the bath and system . it is clear that quantum nature shows up already as high as @xmath335k for this model chain . this can be understood by a very high debye temperature @xmath336 , where @xmath337 . the landauer formula , eq . ( [ conductance-2 ] ) , provides a rigorous upper bound for the thermal conductance ( when @xmath338 = 1 $ ] , @xmath339 ) , @xmath340 nw / k . interestingly , this is satisfied at low temperatures by the generalized langevin data .    to what extent the mean - field theory is `` correct '' ? we can see that it is qualitatively correct for the accessible temperature and size ranges . however , if we trust the langevin heat - bath result , then , it appears that the mean - field approximation somehow over estimates the effect of nonlinearity . effective transmission of the benzene ring junction at a temperature of @xmath331k . the solid line is for a full model with force constants calculated from gaussian , while the dotted line is from a simplified 2d model . the vertical bars indicate the vibrational frequencies of isolated benzene rings of the full model ( topmost ) and simplified model ( dashed ) , respectively . ] molecular devices have attracted a lot of attentions in recent years , due to their potential for future generation electronics . experiments have been conducted on such systems ; theoretical analyses of their electronic and thermal transport properties have been performed @xcite .    in this subsection , we examine the thermal transport properties of a benzene molecule connected to two polyethylene leads . two opposite sites of a benzene ring , which are normally the hydrogen atoms , are now bound covalently to carbon atoms , forming a 1,4-dibutyl - benzene molecule representing the whole system . the system has 14 carbon atoms and 22 hydrogen atoms . the interactions are calculated using gaussian 03 @xcite . we use the hartree - fock method with the 6 - 31 g basis set . we have also used a convenient new feature of gaussian , which can calculate anharmonic interactions up to the 4th order . [ fig : benzenetr ] ( solid line ) shows the effective transmission function @xmath293 $ ] of the benzene junction model at a temperature of @xmath331k calculated using the mean - field theory . the peak features are complicated , resulting from the vibrational modes of the molecule , the interaction with the leads , and the vibrational spectra of the leads , as well as the temperature effect . to understand the transmission function better , we correlate the peak features with the vibrational spectrum of an isolated benzene molecule calculated from gaussian , shown in fig . [ fig : benzenetr ] as solid bars . the transmission peaks are roughly located at where the vibrational frequencies appear , but somewhat shifted to low frequencies . it is difficult to identify the peaks with eigenmodes unambiguously . we notice that the hydrogen atoms do not play much role in the thermal transport . in particular , there are frequencies around @xmath341 associated with the vibrations of h atoms , but there is no transmission in these high frequencies . vibrations of h atoms have only local effects . we confirm that the h atoms are less important by a much simplified model retaining only the degrees of freedom of the carbon atoms in a 2d model . the leads are pseudo polyethylene chains ; we use an united atom approximation , so the ch@xmath342 group is treated as a single atom . the force constant between each atom is obtained from the dreiding model @xcite . there are only bond interactions in the leads , and we have used the morse function to calculate the bond potential , which has the form @xmath343 , where @xmath344(kcal / mol ) , @xmath345 , and @xmath346 is the displacement ( with the equilibrium bond length @xmath347 ) . for the benzene ring , we also include an angular potential , which has the form @xmath348 , where @xmath349 ( kcal / mol ) . we make a taylor expansion of the potential and calculate the force constants up to the 4th order .    the transmission for the simplified model ( dotted line in fig . [ fig : benzenetr ] ) is smoother due to much reduced degrees of freedom . it is qualitatively in agreement with the full model . in this case , the peaks appear to be in good agreement with the vibrational modes of a hexagonal ring . thermal conductance @xmath313 as a function of temperature @xmath5 for a twenty - atom ( 5,0 ) carbon nanotube junction . ] thermal transport of carbon nanotubes has been studied by molecular dynamics @xcite , landauer formula ballistic transport @xcite , and a phenomenological theory taking into account the nonlinear effect @xcite . there are also experimental works on carbon nanotubes @xcite . we have also studied the heat transport properties of the @xmath350 carbon nanotube using a tight - binding ( tb ) method @xcite , of which the tb parameters for the carbon atom have been checked recently @xcite . the left lead , the central junction , and the right lead consist of forty , twenty , and forty atoms , respectively . a unit cell of the @xmath350 nanotube has twenty atoms . the tube s axial dimension is long enough ( about @xmath351 ) to allow a single @xmath352 point to be used for the @xmath353-point sampling . we have written a force subroutine in order to perform atomic relaxation of the nanotube as well as to calculate force constants by numerical finite differences . the spring constants @xmath354 , the nonlinear force constants @xmath129 and @xmath355 are systematically obtained by displacing one , two , and three atoms , respectively . for each displacement , the forces acting on the atoms are used in the central - difference scheme to calculate the force constants . since the tb method we have adopted is free from numerical noises , we have used a reasonably small maximum displacement of @xmath356 of @xmath357    ( i.e. , the atoms are displaced not more than @xmath356 from their equilibrium positions ) . we note that this value of @xmath356 is two orders of magnitude smaller than that commonly used in a supercell force - constant method @xcite .    in fig . [ fig - ntb ] we present the results of thermal conductance calculations . we find that for such a complicated system , the mean - field iterations are hardly converging , thus we only give the ballistic ( where the nonlinear interactions are turned off ) , and a first - order perturbative result using the ( single - line ) diagrams in fig . [ fig - mf ] . it is clear that the nonlinear interactions have a large effect even at moderately high temperatures . the thermal conductance is slightly peaked around @xmath358k for the nonlinear result . we expect that the result should be reliable at least up to room temperatures . we presented a nonequilibrium green s function method for thermal transport in nano - junctions . we gave a unique derivation of the equations of motion of green s functions and rules for generating and computing feynman diagrams in a contour - ordered green s function setting . the nonlinear interaction was treated with a systematic perturbative expansion for self - energies . for practical calculations , the mean - field approximation has to be adopted . we are still left with a technical difficulty that the mean - field equations sometimes do not converge . several versions of computer programs have been written for consistency checks ( a mathematica notebook for an initial fast prototyping , a fortran program with mpi for very general models , and a specialized program for the 1d cubic onsite model ) . we have applied the programs to a number of model systems . several sophisticated ` first - principles ' methods were used in the force - constant calculations for realistic models . for the fpu model , we can accurately predict the ballistic thermal transport and crossover to diffusive behavior at sufficiently high temperatures . we proposed to use generalized langevin heat baths , which are more appropriate for nanojunctions . for the benzene ring model , we observed interesting behaviors in the transmission function related to the atomic vibrational modes of the molecule . for carbon nanotubes , it is clear that nonlinear effect is quite strong even at low temperatures . the green s function discussed here is more fundamental than the phonon distribution function in the boltzmann equation . the connection of the present formulation with the quantum boltzmann equation or the phonon boltzmann equation is something worth pursuing . formally , they are related by the wigner transformation . if we can reduce the matrix of the green s functions to vector of distribution functions ( in momentum space ) , potentially much larger systems can be treated if we are willing to forsake some atomic details . clearly , the nonequilibrium green s function method is at its best for small nanoscale systems . a combination of the present method with electronic transport and electron - phonon interactions is worthy of further explorations . we thank lin yi for introducing us the nonequilibrium green s function method . we also thank hong guo , qinfeng sun , sai kong chin , and jingtao l for discussions . c. k. g. thanks d. a. papaconstantopoulos , l. shi , and m. j. mehl for a copy of the tight - binding program _ static _ and various initial help with the use of the program . this work was supported in part by a national university of singapore academic research fund . the computations were carried out on the institute of high performance computing ibm clusters and on the singapore - mit alliance opteron cluster . y. meir and n. s. wingreen , phys . lett . * 68 * , 2512 ( 1992 ) ; a .- jauho , n. s. wingreen , and y. meir , phys . b * 50 * , 5528 ( 1994 ) . h. haug and a .- jauho , _ quantum kinetics in transport and optics of semiconductors _ ( springer , berlin , 1996 ) .                                                                    r. e. cohen , m. j. mehl , and d. a. papaconstantopoulos , phys . b * 50 * , 14694 ( 1994 ) ; m. j. mehl and d. a. papaconstantopoulos , phys . rev . b * 54 * , 4519 ( 1996 ) ; d. a. papaconstantopoulos , m. j. mehl , s. c. erwin , and m. r. pederson , mater . * 491 * , 221 ( 1998 ) .
Abstract:

Answer: we present a detailed treatment of the nonequilibrium green s function method for thermal transport due to atomic vibrations in nanostructures . some of the key equations , such as self - energy and conductance with nonlinear effect , are derived . a self - consistent mean - field theory is proposed . computational procedures are discussed . the method is applied to a number of systems including one - dimensional chains , a benzene ring junction , and carbon nanotubes . mean - field calculations of the fermi - pasta - ulam model are compared with classical molecular dynamics simulations . we find that nonlinearity suppresses thermal transport even at moderately high temperatures .