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: quantum information processes in a noisy environment are conveniently described in terms of _ quantum channels _ , that is , linear , trace preserving , completely positive maps on the set of quantum states  @xcite . the problem of discriminating quantum channels is of great interest . for instance , knowing the correct noise model might provide useful information to devise efficient error - correcting strategies , both in the fields of quantum communication and quantum computation . it is therefore natural to consider _ distances _ between quantum channels , that is to say , we would like to quantify how similarly two channels @xmath0 and @xmath1 act on quantum states , or in other words to determine if there are input states @xmath2 on which the two channels produce output states @xmath3 and @xmath4 that are distinguishable . the trace norm of @xmath5 represents how well @xmath6 and @xmath7 can be distinguished by a measurement  @xcite : the more orthogonal two quantum states are , the easier it is to discriminate them . the trace distance of two quantum channels is then obtained after maximizing the trace norm of @xmath5 over the input state @xmath2 . however , the trace norm is not a good measure of the distance between quantum channels . indeed , in general the presence in the input state of entanglement with an ancillary system can help discriminating quantum channels  @xcite . this fact is captured by the _ diamond norm _ @xcite : the trace distance between the overall output states ( including the ancillary system ) is optimized over all possible input states , including those entangled .    the computation of the diamond norm is not known to be straightforward and only a limited number of algorithms have been proposed  @xcite , based on complicated semidefinite programming or convex optimization . on the other hand , analytical solutions are limited to special classes of channels  @xcite . in this paper , we propose a simple and easily parallelizable monte - carlo algorithm based on the fano representation of quantum states and quantum operations . we show that our algorithm provides reliable results for the case , most significant for present - day implementations of quantum information processing , of single - qubit quantum channels . furthermore , in the fano representation quantum operations are described by affine maps whose matrix elements have precise physical meaning : they are directly related to the evolution of the expectation values of the system s polarization measurements  @xcite .    the paper is organized as follows . after reviewing in sec . [ sec : dnorm ] basic definitions of the distance between quantum channels , we discuss in sec .  [ sec : methods ] two numerical monte - carlo strategies for computing the diamond norm . the first one is based on the kitaev s characterization of the diamond norm . the second one is based on the fano representation of quantum states and quantum operations . the two methods are compared in sec . [ sec:1qchannels ] for a few physically significant single - qubit quantum channels . finally , our conclusions are drawn in sec . [ sec : conclusions ] . we consider the following problem : given two quantum channels @xmath0 and @xmath1 , and a single channel use , chosen uniformly at random from @xmath8 , we wish to maximize the probability of correctly identifying the quantum channel . it seems natural to reformulate the optimization problem into the problem of finding an input state ( density matrix ) @xmath2 in the hilbert space @xmath9 such that the error probability in the discrimination of the output states @xmath10 and @xmath11 is minimal . in this case , the minimal error probability reads @xmath12 where @xmath13 denotes the trace norm . the superoperator trace distance @xmath14 is , however , not a good definition of the distance between two quantum operations . the point is that in general it is possible to exploit quantum entanglement to increase the distinguishability of two quantum channels . in this case , an ancillary hilbert space @xmath15 is introduced , the input state @xmath16 is a density matrix in @xmath17 , and the quantum operations are trivially extended to @xmath15 . that is to say , the output states to discriminate are @xmath18 and @xmath19 , where @xmath20 is the identity map acting on @xmath15 . the minimal error probability reads @xmath21 where @xmath22 denotes the diamond norm of @xmath23 . it is clear from definition ( [ eq : diamondnorm ] ) that @xmath24 and therefore @xmath25 , so that it can be convenient to use an ancillary system to better discriminate two quantum operations after a single channel use . the two quantum channels @xmath0 and @xmath1 become perfectly distinguishable ( @xmath26 ) when their diamond distance @xmath27 . it turns out that the diamond norm does not depend on @xmath15 , provided @xmath28  @xcite . due to the convexity of the trace norm , it can be shown that the maximum in both eqs . ( [ eq : tracenorm ] ) and ( [ eq : diamondnorm ] ) is achieved for pure input states  @xcite . kitaev provided a different equivalent characterization of the diamond norm , see , e.g. ,  @xcite . any superoperator ( not necessarily completely positive ) @xmath29 , with @xmath30 space of linear operators mapping @xmath9 to itself , can be expressed as @xmath31 where @xmath32 , @xmath33 and @xmath34 linear operators from @xmath9 to @xmath35 , with @xmath36 auxiliary hilbert space and @xmath37 $ ] . it is then possible to define completely positive superoperators @xmath38 : @xmath39 note that the space @xmath40 is traced out in the definition of @xmath41 , @xmath42 , rather than the space @xmath43 . finally , it turns out that  @xcite @xmath44 where @xmath45 is the maximum output fidelity of @xmath41 and @xmath42 , defined as @xmath46 , \label{eq : dnormkitaev}\ ] ] where @xmath47 are density matrices in @xmath9 , and the fidelity @xmath48 is defined as @xmath49 note that @xmath41 , @xmath42 are not density matrices : the conditions @xmath50 , @xmath51 are not satisfied . we numerically compute the distance ( induced by the diamond norm ) between two quantum channels @xmath0 and @xmath1 using two monte - carlo algorithms . the first one is based on the direct computation of @xmath52 , with the output states @xmath53 and @xmath54 in eq . ( [ eq : diamondnorm ] ) computed from @xmath16 taking advantage of the fano representation of quantum states and quantum operations . the second monte - carlo algorithm uses the kitaev s representation of the diamond norm to compute the maximum output fidelity @xmath55 of eq . ( [ eq : dnormkitaev ] ) . in the following , we will refer to the two above monte - carlo algorithms as f - algorithm and k - algorithm , respectively . for the sake of simplicity we will confine ourselves to one - qubit quantum channels , even though the two algorithms can be easily formulated for two- or many - qubit channels . in this section we describe the f - algorithm , which we will use to directly compute the diamond norm ( [ eq : diamondnorm ] ) , with the maximum taken over a large number of randomly chosen input states @xmath16 . a convexity argument shows that it is sufficient to optimize over pure input states @xmath56  @xcite . for one - qubit channels , it is enough to add a single ancillary qubit when computing the diamond norm  @xcite . therefore , we can write @xmath57 with @xmath58 where the angles @xmath59 $ ] and the phase @xmath60 $ ] . hence , the maximization in the diamond norm is over the 6 real parameters @xmath61 , and @xmath62 . of course , the number of parameters can be reduced for specific channels when there are symmetries . let @xmath0 and @xmath1 denote the two single - qubit superoperators we would like to distinguish . the output states @xmath63 and @xmath64 can be conveniently computed using the fano representation . any two - qubit state can be written in the fano form as follows  @xcite : @xmath65 where @xmath66 , @xmath67 , and @xmath68 are the pauli matrices , @xmath69 , and @xmath70 . \label{eq : ralphabeta}\ ] ] note that the normalization condition @xmath71 implies @xmath72 . moreover , the coefficients @xmath73 are real due to the hermicity of @xmath16 . ( [ eq : fanoform ] ) and ( [ eq : ralphabeta ] ) allow us to go from the standard representation for the density matrix ( in the latexmath:[$\{|0\rangle\equiv |00\rangle ,     vice versa . it is convenient to write the coefficients @xmath73 as a column vector , @xmath75^t . \end{array}\ ] ] then the quantum operations @xmath76 and @xmath77 map , in the fano representation , @xmath78 into @xmath79 and @xmath80 , respectively , where @xmath81 and @xmath82 are affine transformation matrices . such matrices have a simple block structure : @xmath83 with @xmath84 and @xmath85 @xmath86 affine transformation matrices corresponding to the quantum operations @xmath87 and @xmath88 ( of course , @xmath84 is the identity matrix ) . matrices @xmath85 directly determines the transformation , induced by @xmath88 , of the single - qubit bloch - sphere coordinates @xmath89 . given the fano representation for a single qubit , @xmath90 , then @xmath91^t$ ] and @xmath92 . we point out that , while one could compute @xmath93 from the kraus representation of the superoperator @xmath94 , the advantage of the fano representation is that the matrix elements of @xmath95 are directly related to the transformation of the expectation values of the system s polarization measurements  @xcite .    finally , we compute the trace distance between @xmath96 and @xmath97 as @xmath98 where @xmath99 are the eigenvalues of @xmath100 . we consider a special and unnormalized state in the extended hilbert space @xmath17 : @xmath101 where @xmath102 and @xmath103 , @xmath104 are orthonormal bases for @xmath15 , @xmath9 . the state @xmath105 is , up to a normalization factor , a maximally entangled state in @xmath106 . we define an operator @xmath107 on @xmath106 : @xmath108 where @xmath109 is the difference of two quantum operations but is not a quantum operation itself . that is , @xmath23 is linear but not trace preserving and completely positive . using the singular value decomposition of @xmath107 , we can write @xmath110 where @xmath111 is the rank of @xmath107 and @xmath112 , @xmath113 are vectors in @xmath106 . the operator @xmath107 completely specifies @xmath23 and can be exploited to express @xmath23 as @xmath114    the operators @xmath115 and @xmath116 can be derived by generalizing the construction of the operator - sum representation for quantum operations ( see , for instance , sec . 8.2.4 in ref . @xcite ) . given a generic state @xmath117 in @xmath9 , we define a corresponding state in @xmath15 : @xmath118 . next , we define @xmath119 for instance , in the single - qubit case @xmath120^t$ ] and we obtain @xmath121.\ ] ] similarly , we define @xmath122 finally , it can be checked that with the above defined operators @xmath115 , @xmath116 we can express @xmath23 by means of eq . ( [ eq : aibisum ] ) . we can now give explicit expressions for @xmath41 and @xmath42 in eq . ( [ eq : psiapsib ] ) : @xmath123_{ij}=\sum_{\alpha , m , n } a^{(i)}_{\alpha m } x_{mn } a^{(j)\star}_{\alpha n},\ ] ] @xmath124_{ij}=\sum_{\alpha , m , n } b^{(i)}_{\alpha m } x_{mn } b^{(j)\star}_{\alpha n},\ ] ] with @xmath125 . therefore , @xmath41 and @xmath42 are @xmath126 matrices . in the single - qubit case , @xmath127 and to compute the diamond norm through eq . ( [ eq : dnormkitaev ] ) we need to calculate eigenvalues and eigenvectors of matrices of size @xmath111 . a simpler but less efficient decomposition of @xmath23 , @xmath41 , @xmath42 is provided in appendix  [ app : kraus2 ] .    for single - qubit channels the optimization ( [ eq : dnormkitaev ] ) is over 6 real parameters , 3 for @xmath128 and 3 for @xmath129 ( for instance , the bloch - sphere coordinates of @xmath128 and @xmath129 ) . as discussed in sec . [ subsec : kmethod ] , the same number of parameters are needed in the f - method . however , the f - method has computational advantages in that only the eigenvalues of the @xmath86 matrix @xmath130 are required , while in the k - method we need to evaluate both eigenvalues and eigenvectors of matrices in general of the same size ( @xmath131 ) . moreover , the singular - values decomposition of matrix @xmath107 is needed . besides computational advantages , the f - method is physically more transparent , as it is based on affine maps , whose matrix elements have physical meaning , being directly related to the transformation of the expectation values of the system s polarization measurements  @xcite . in this section , we illustrate the working of the f- and k - methods for the case , most significant for present - day implementations , of single - qubit quantum channels . we start by considering the case of pauli channels , @xmath132 for which the diamond norm can be evaluated analytically  @xcite : @xmath133 this value of the diamond norm being achieved for maximally entangled input states . the pauli - channel case will serve as a testing ground for the f- and k - algorithms and help us develop a physical and geometrical intuition . let us focus on a couple of significant examples . we first consider the bit - flip and the phase - flip channels : @xmath134 with @xmath135 . we then readily obtain from eq . ( [ eq : dpauli ] ) that @xmath136 for this example , the diamond norm coincides with the trace norm , @xmath137 , and therefore has a simple geometrical interpretation : for a single qubit the trace distance between two single - qubit states is equal to the euclidean distance between them on the bloch ball  @xcite . superoperators @xmath0 and @xmath1 map the bloch sphere into an ellipsoid with @xmath138 ( for the bit - flip channel ) and @xmath139 ( for the phase - flip channel ) as symmetry axis . if we call @xmath140 , @xmath141 , and @xmath142 , the initial bloch - sphere coordinates and the new coordinates after application of quantum operations @xmath0 and @xmath1 , respectively , we obtain @xmath143 the geometrical meaning of the trace norm for the present example is clear from fig .  [ fig : bitphaseflip ] : the length of the line segment @xmath144 is the trace ( and the diamond ) distance @xmath145 ) .    , width=264 ]    as a further example , we discuss a special instance of the channels considered in ref . @xcite : @xmath146 in this case , @xmath147 the trace norm @xmath148 , as shown in fig . [ fig : sacchi ] , where @xmath149 is given by the length of the segment @xmath150 . on the other hand , the two channels @xmath0 and @xmath1 are perfectly distinguishable , as we readily obtain from eq . ( [ eq : dpauli ] ) that @xmath151 , this value being achieved by means of maximally entangled input states . therefore , in this example @xmath152 , that is , entangled input states improve the distinguishability of the two channels .    ) . [ fig : sacchi],width=264 ]    channels ( [ eq : sacchi ] ) are very convenient to illustrate the convergence properties of the f- and k - algorithms . let us first consider the f - algorithm . if the maximum of @xmath153 , with @xmath154 ( @xmath155 ) is taken over @xmath156 random initial conditions , then the obtained value differs from the diamond norm @xmath22 by an amount @xmath157 which must converge to zero when @xmath158 . to get convergence to @xmath22 for channels ( [ eq : sacchi ] ) it is enough to optimize over real initial conditions . numerical results , shown in fig .  [ fig : test ] for a few runs , are consistent with @xmath159 . a rough argument can be used to explain the @xmath160 dependence . assuming a smooth quadratic dependence of the distance @xmath161 on the parameters for optimization [ the angles @xmath162 in ( [ eq : thetaphi ] ) , with @xmath163 $ ] , @xmath164 for @xmath16 around the value @xmath165 optimizing @xmath166 , then @xmath167 when the distance between @xmath16 and @xmath165 is of the order of @xmath168 . the number @xmath156 of randomly distributed initial conditions typically requested to get a point satisfying @xmath169 is of the order of @xmath170 , where @xmath171 is the number of parameters for optimization . therefore , @xmath172 . in the example of fig . [ fig : test ] , @xmath173 leading to @xmath174 . on the other hand , numerical data exhibit a @xmath160 dependence . this fact has a simple explanation : the maximum is achieved for bell states , which are invariant under rotations . hence , the maximum distance is obtained not on a single point but on a curve and the number @xmath156 of initial conditions requested to get a point within a trace distance smaller than @xmath168 from this curve is of the order of @xmath175 , thus leading to @xmath176 .     in evaluating the diamond distance between channels ( [ eq : sacchi ] ) by means of the f - algorithm after @xmath156 randomly chosen initial conditions . three different runs are shown , together with the @xmath160 ( full line ) and @xmath177 ( dashed line ) dependences . [ fig : test],width=302 ]    with regard to the k - algorithm , we have observed in the example of eq . ( [ eq : sacchi ] ) the same @xmath160 convergence to the expected asymptotic value @xmath151 . however , the cost per initial condition in the k - algorithm is much larger than in the f - algorithm , in agreement with the general discussion of sec . [ subsec : kmethod ] . furthermore , the physical meaning of the f - method is much more transparent . for instance , for the pauli channels ( [ eq : pauli ] ) the affine transformation matrix @xmath85 such that @xmath178 has a simple diagonal structure : @xmath179,\ ] ] where @xmath180 , \\ \\ ( c_y)_i=1 - 2[(q_z)_i+(q_x)_i ] , \\ \\ ( c_z)_i=1 - 2[(q_x)_i+(q_y)_i ] . \end{array}\ ] ] matrix @xmath85 simply accounts for the transformation , induced by @xmath88 , of the polarization measurements for the system qubit : @xmath181 , with @xmath182 bloch - sphere coordinates . we have checked the computational advantages of the f - method also for all the other examples discussed in this paper . for this reason in what follows we shall focus on this method only .      in this section , we consider nonunital channels , that is , channels that do not preserve the identity . therefore , in contrast to the pauli channels considered in sec . [ sec : pauli ] , single - qubit nonunital channels displace the center of the bloch sphere . such channel are physically relevant in the description , for instance , of energy dissipation in open quantum systems , the simplest case being the amplitude damping channel  @xcite .    as a first illustrative example , we compute the distance between two channels @xmath0 and @xmath1 corresponding to displacements of the bloch sphere along the @xmath183- and @xmath184-direction  @xcite . in the fano representation the affine transformation matrices @xmath85 corresponding to maps @xmath88 have a simple structure : @xmath185,\ ] ] @xmath186,\ ] ] where we have used the shorthand notation @xmath187 and @xmath188 . the two channels depend parametrically on @xmath189 $ ] . the limiting cases @xmath190 and @xmath191 correspond to @xmath192 and @xmath193 , respectively . moreover , for @xmath194 quantum operation @xmath0 maps the bloch ball onto the single point @xmath195 ; for @xmath196 the mapping operated by @xmath1 is onto the north pole of the bloch sphere , @xmath197 .    the numerically computed trace distance @xmath14 is shown in fig . [ fig : dispxz ] , as a function of the parameters @xmath198 and @xmath199 . we gathered numerical evidence that for such channels the diamond distance equals the trace distance .    , where @xmath0 and @xmath1 are displacement channels along the @xmath183- and @xmath184-axis of the bloch sphere . [ fig : dispxz],width=302 ]    it is interesting to examine the analytical solutions for two limiting cases : ( i ) @xmath190 ( the case @xmath191 is analogous ) and ( ii ) @xmath200 . in the first case , @xmath0 maps the bloch sphere into an ellipsoid with @xmath139 as symmetry axis  @xcite , while @xmath193 . the trace norm is given by the length of the line segment @xmath201 shown in fig . [ fig : blochdispxz ] ( left ) , @xmath202     in the limiting cases @xmath190 ( left ) and @xmath200 ( right ) . [ fig : blochdispxz],width=302 ]    it is interesting to remark that , in contrast to the pauli channels , the optimal input state is not a maximally entangled input state . in the limiting case ( i ) the channels are strictly better discriminated by means of an appropriate separable input state , i.e. , the south pole of the bloch sphere ( see the left plot of fig .  [ fig : blochdispxz ] ) ) rather than by bell states . indeed , given the maximally entangled input state @xmath203.\ ] ] the trace distance between @xmath96 and @xmath97 is then computed by means of eq .  ( [ eq : tracenormxi ] ) : @xmath204 as shown in fig . [ fig : checknorm ] , @xmath205 for any @xmath206 . ( upper curve ) and @xmath153 ( lower curve ) for @xmath194 . [ fig : checknorm],width=302 ]    in case ( ii ) , for any initial state @xmath2 , the bloch coordinates of @xmath6 and @xmath7 are given by @xmath207 and @xmath208 . the trace norm is given by the distance between these two points , @xmath209 [ see fig .  [ fig : blochdispxz ] ( right ) ] . in this case , given an input bell state or any other two - qubit input state @xmath16 , the trace distance @xmath210 . thus , there is no advantage in using an ancillary system .    as a further example , we compute the distance between the depolarizing channel @xmath0 and the nonunital channel @xmath1 corresponding to the displacement along the @xmath184-axis of the bloch sphere . the depolarizing channel belongs to the class of pauli channels ( [ eq : pauli ] ) , with @xmath211 and @xmath212 . this channel contracts the bloch sphere by a factor @xmath213 , with @xmath214 . [ fig : dispdep ] shows the numerically computed @xmath149 and @xmath22 as well as their difference @xmath215 , @xmath196 we obtain from eqs . ( [ eq : tnormdispz ] ) and ( [ eq : dnormdispz ] ) @xmath216 . a clear advantage is instead seen in another limiting case , @xmath217 , @xmath191 . the fully depolarizing channel maps each point of the bloch ball onto its center , so that the trace distance is given by the radius of the bloch sphere , @xmath218 . on the other hand , by means of eq . ( [ eq : dpauli ] ) we obtain @xmath219 .    , diamond norm @xmath22 , and their difference @xmath220 ; @xmath0 is the depolarizing channel , @xmath1 the displacement along the @xmath184-axis of the bloch sphere . [ fig : dispdep],width=302 ] we have shown that the distance between two quantum channels can be conveniently computed by means of a monte - carlo algorithm based on the fano representation . the effectiveness of this algorithm is illustrated in the case , most relevant for present - day implementations of quantum information processing , of single - qubit quantum channels . a main computational advantage of this algorithms is that it is easily parallelizable . furthermore , being based on the fano representation , is enlights the physical meaning of the involved quantum channels : the matrix elements of the affine map representing a quantum channel directly account for the evolution of the expectation values of the system s polarization measurements . more generally , we believe that the fano representation provides a computationally convenient and physically trasparent representation of quantum noise . given a superoperator @xmath109 , with @xmath0 , @xmath1 quantum operations , we start from the kraus representation  @xcite of @xmath0 and @xmath1 : @xmath221 and define new operators : @xmath222 where @xmath223 . note that , if @xmath224 , we set @xmath225 for @xmath226 ; vice - versa , if @xmath227 , @xmath228 for @xmath229 . it is easy to see that @xmath230 in contrast to ( [ eq : aibisum ] ) , the present decomposition of @xmath231 is simpler , in that no singular value decomposition is required , but less efficient . indeed , the maximum number of terms in ( [ eq : tildeab ] ) is twice that of decomposition ( [ eq : aibisum ] ) . this implies that , if @xmath41 , @xmath42 are expressed in terms of operators @xmath232 , @xmath233 rather than @xmath115 , @xmath116 , to evaluate @xmath234 we need to compute eigenvalues and eigenvectors of matrices of size @xmath235 . in the single - qubit case , typically @xmath236 . g. benenti , g. casati , and g. strini , _ principles of quantum computation and information _ , vol . i : basic concepts ( world scientific , singapore , 2004 ) ; vol . ii : basic tools and special topics ( world scientific , singapore , 2007 ) .
Abstract:

Answer: the diamond norm measures the distance between two quantum channels . from an operational vewpoint , this norm measures how well we can distinguish between two channels by applying them to input states of arbitrarily large dimensions . in this paper , we show that the diamond norm can be conveniently and in a physically transparent way computed by means of a monte - carlo algorithm based on the fano representation of quantum states and quantum operations . the effectiveness of this algorithm is illustrated for several single - qubit quantum channels .


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: kohn - sham ( ks ) density functional theory ( dft )  @xcite is a computational quantum mechanical modeling method used to investigate the electronic structure of many - body systems ( atoms , molecules , and solids ) . in this theory , the ground - state energy of a many - electron system is determined by minimizing a functional of the spatially - dependent electron density rather than searching for the many - body wavefunction . although the exact energy functional has not been determined , approximate models for the functional have yielded accurate predictions for many classes of materials . dft has thus become one of the most widely used methods in electronic structure calculations  @xcite . the minimization problem of dft can be recast into the solution of an effective one - electron - type schrdinger equation , the so - called kohn - sham equation , by introducing an effective potential . the ks equation is a nonlinear eigenvalue problem since the effective potential is a functional of the density . it is usually dealt with using a self - consistent field ( scf ) approach @xcite .    in practical implementations , the single - electron wavefunctions need to be expanded in terms of some set of mathematical basis functions . the coefficients of the functions in this basis set are the primary values used to build a computational representation . for periodic solids , several different basis sets have been developed among which plane waves , the focus of the present paper . though it has a few drawbacks , this approach has many advantages which make it very popular in materials science and physics . various electronic structure calculation packages ( such as vasp  @xcite , quantum espresso  @xcite , abinit  @xcite , ... ) rely on it .    in general , a very large number of plane waves are needed to approximate the wave functions . so a large scale linear eigenvalue problem needs to be solved repeatedly after linearization by the scf method . due to the use fast fourier transform ( which has contributed to the success of this approach ) , large scale parallelization is hard to achieve for the plane - wave method . besides , the solution for the large scale eigenvalue problems requires large scale orthogonal operation and orthogonality needs global operations , which is also the bottleneck of the large scale parallelization . various methods have been proposed for solving the associated eigenvalue problems . the davidson iterative diagonalization @xcite , which reduces to a dense matrix diagonalization , is also hard to parallelize efficiently . the conjugate - gradient - like band - by - band diagonalization @xcite , which uses less memory and is more robust , is inherently sequential . it is actually quite challenging to improve parallel efficiency of plane - wave dft codes on today s supercomputer platforms . in this paper , following ref . @xcite , we propose some parallel orbital - updating based plane - wave basis methods for solving the kohn - sham equation , which improve the scalability of parallelization . in our approach , the solution of the eigenvalue problem is replaced by the solution of a series of independent source problems and some small scale eigenvalue problems . because of the independence of the source problems , these source problems can be solved in parallel essentially . for each source problem , the traditional parallel strategies ( for example , domain decomposition or parallelization in matrix - vector multiplication ) can be used to deal with it in parallel . therefore , our new methods allow for a two - level parallelization : one level of parallelization is obtained by partitioning these source problems into different groups of processors , another level of parallelization is obtained by assigning each source problem to several processors contained in each group . this two - level parallelization makes our new methods more competitive for the large scale calculations . the rest of this paper is organized as follows . first , we provide some preliminaries for the kohn - sham equation , the plane - wave discretization , and scf iteration . then , we propose our new parallel orbital - updating based plane - wave basis methods . next , we implement our algorithms in the software package quantum espresso , and use some numerical experiments to show the efficiency of our new methods . finally , we give some concluding remarks . according to the basic principles of quantum mechanics , the physical properties of a system of @xmath0 interacting electrons in an external potential @xmath1 can be obtained by solving the time - independent schrdinger equation : @xmath2 \psi(\mathbf{r}_1 , \ldots , \mathbf{r}_n ) =   e^\mathrm{el}_n \psi(\mathbf{r}_1 , \ldots , \mathbf{r}_n),\ ] ] where @xmath3 are the coordinates of the electrons @xmath4 , @xmath5 is the total electronic energy of the eigenstate @xmath6 and @xmath7 is the electronic wave function . atomic units are used throughout this work @xmath8 . typically , the external potential can be the one due to @xmath9 nuclei in which case : @xmath10 where @xmath11 and @xmath12 are the charges and the positions of the nuclei @xmath13 . dft provides a way to systematically map the many - body ( interacting electrons ) problem onto a single - body problem ( fictiously non - interacting electrons ) in an effective potential @xmath14 in order to determine the ground - state energy @xmath15 by expressing it as a functional of the electronic density : @xmath16    basically , one needs to solve the so - called kohn - sham equation . the kohn - sham equation of a system consisting of @xmath9 nuclei of charges and @xmath0 electrons is the following nonlinear eigenvalue problem @xmath17    @xmath18    where @xmath0 is the number of electrons , @xmath19 is the electron density , @xmath20 is the hartree potential , @xmath21 is the exchange - correlation potential and @xmath22 , defined by , is the external potential due to the nuclei . the ground - state energy of the system of @xmath0 electrons is given by : @xmath23+\int v_\mathrm{ext}(\mathbf{r } ) \rho(\mathbf{r})\;d\mathbf{r } + e_\mathrm{h}[\rho ] + e_\mathrm{xc}[\rho].\ ] ] the kinetic energy @xmath24 $ ] is defined by @xmath25= \sum_{i=1}^{n } -\frac{1}{2 } \int \psi^*_i(\mathbf{r})\delta \psi_i(\mathbf{r})\;d\mathbf{r},\ ] ] which is not the true kinetic energy of the system of interacting electrons . the hartree energy @xmath26 $ ] is given by : @xmath27 = \frac{1}{2 } \int \int \frac{\rho(\mathbf{r})\rho(\mathbf{r}')}{|\mathbf{r}'-\mathbf{r}|}\;d\mathbf{r}d\mathbf{r}'.\ ] ] dft is exact in principle , however , the exchange - correlation functional @xmath28 $ ] as well as @xmath29(\mathbf{r})$ ] are not known and must be approximated . we implement the variational method in to get the weak formulation of kohn - sham equation : find @xmath30 , @xmath31 , such that @xmath32 where @xmath33    from the density functional theory , we know that the ground state of the system can be obtained by solving the lowest @xmath0 pairs of eigenvalues and eigenvectors of the kohn - sham equation . we now consider the periodic boundary conditions in a large volume @xmath34 that is allowed to go to infinity . in periodic solids , there is an infinite number of non - interacting electrons moving in an infinite external potential ( such as the one generated by an infinite number of nuclei ) . however , bloch s theorem @xcite can be invoked to express the wavefunction as the product of a cell - periodic part and wavelike part , whose wavevector is drawn from the first brillouin zone ( bz ) of the reciprocal lattice : @xmath35,\ ] ] with @xmath36 where @xmath37 are the lattice vectors . the infinite number of electrons in the solid is thus accounted for by an infinite number of @xmath38 points in the bz , and only a finite number of electronic states are occupied at each @xmath38 point . for instance , the electronic density is given by : @xmath39 where @xmath40 is the number of occupied states . furthermore , the electronic wavefunctions at @xmath38 points that are very close will be very similar . hence , it is possible to represent the electronic wavefunctions over a region of the bz by the wavefunctions at a single @xmath38 point . this can be exploited for replacing integrals over the bz by a weighted sum on a discrete mesh of well - chosen @xmath38 points . for instance , the one for the electronic density becomes : @xmath41 where @xmath42 are the weights associated to the special @xmath38-points @xmath43 with @xmath44 . in the case of an homogeneous mesh , all the weights are equal and given by @xmath45 . the accuracy of the calculations can always be increased by using a denser set of special @xmath38-points . in semiconductors , a modest number is sufficient to achieve a well - converged sampling density because of the smoothly varying nature of ks states in @xmath38-space . in metals , however , much denser grids are required due to the abrupt change in the occupancy of each state with the wavevector @xmath38 . the cell - periodic part of the wavefunctions can conveniently be represented as an expansion in terms of some set of mathematical basis functions . the coefficients of the functions in this basis set are then the primary values used to build a computational representation . many different basis sets have been developed for use in periodic solid - state calculations ( see ref . @xcite for a detailed description ) . the most natural ( due to the periodicity ) and popular ( due to its ease of use ) is the plane - wave basis set . each function @xmath46 is expressed as a fourier series whose basis states are plane waves whose wavevector is a reciprocal lattice vector @xmath47 ( which are defined by @xmath48 ) : @xmath49.\ ] ]    so a wave function can be written as @xmath50,\ ] ] where @xmath51 are the expansion coefficients of the wave function .    due to the fact that the coefficients @xmath51 for the plane waves with small kinetic energy @xmath52 are typically more important than those with large kinetic energy @xcite , the plane - wave basis set can be truncated to include only plane waves that have kinetic energies less than some particular cutoff energy @xmath53 , i.e. @xmath54    the plane waves form an orthonormal basis set and do not depend on the location of the nuclei which simplifies the form of the equations and their implementation . furthermore , the size of the basis set ( and therefore the accuracy of the calculations ) can be systematically increased and easily controlled by a single parameter , the cut - off energy @xmath53 @xcite , retaining only those @xmath47-vectors such that @xmath55 . there are however two important disadvantages over other basis sets . first , the number of basis functions required is quite large , which increases computational cost . second , it is quite difficult to represent sharp peaks in the ks states , such as those occurring in the core regions near nuclei due to the singularity of the electron - nuclear coulomb attraction . the states in the core region have however a negligible contribution to the electronic properties of a material . therefore , it is not necessary to represent them or the coulomb potential exactly . first , the states localized entirely within a core region , called core states , may be precomputed ( the frozen core approximation ) , avoiding the need to include them explicitly in the calculation . second , the coulomb potential in the core regions can be replaced with a pseudopotential which is constructed to reproduce the atomic scattering properties and coulombic form outside the core region , but which is weaker and smoother inside . the remaining states , called valence states , are described by pseudo - wavefunctions which are significantly smoother , hence improving the convergence with respect to @xmath53 , without loss of accuracy @xcite . the pseudopotential consists of two parts : one local part @xmath56 , and a nonlocal part @xmath57 . in the pseudopotential setting , the kohn - sham equation is still formulated as , but @xmath22 is now being @xmath58 , @xmath0 now being the number of valence electrons , and @xmath59 being the set of the pseudo - wavefunctions of the valence electrons . the pseudo - wavefunctions can be approximated by far fewer basis functions @xcite . in this paper , we consider the pseudopotential case . therefore , we get a finite plane - wave discretization of as follows : @xmath60 where @xmath61 is a finite @xmath62 dimensional space spanned by the plane - wave basis , @xmath62 is the number of @xmath47 satisfying ( [ e3 ] ) , i.e @xmath63\big|\mathbf{g}\in\mathbb{z } , \frac{1}{2}|\mathbf{k}+\mathbf{g}|^2 \leq e_\mathrm{cut } \},\ ] ] and @xmath64      the kohn - sham equation is a nonlinear eigenvalue problem . it is usually dealt with using a scf approach @xcite . typically one starts with an initial guess for @xmath65 , then calculates the corresponding @xmath66(\mathbf{r})$ ] and solves the kohn - sham equation for the @xmath67 . from these one calculates a new density and starts again . this procedure is then repeated until convergence is reached . the following is the general algorithm of the self - consistent field iteration :    1 . give initial input charge density @xmath68 . 2 .   compute the effective potential @xmath69 . 3 .   find @xmath70 satisfying @xmath71 4 .   compute the new output charge density @xmath72 . convergence check : if not converged , use some density mixing method to get the new input charge density @xmath68 , goto step 2 ; else , stop . the variation of the charge density is often used as the criterion for the convergence of the self consistent field in the quantum chemistry calculation . for the density mixing method in step 5 , if we simply take @xmath72 as the initial density of the next iteration , it converges too slowly or even does not converge . therefore , it is very important to choose the proper density mixing method . many such density mixing methods have been proposed so far . the most widely used are the following ones : simple mixing @xcite , pulay s mixing @xcite , broyden s mixing method @xcite and modified broyden s mixing method @xcite . in this paper we use the modified broyden s mixing method .    after plane - wave discretization and scf iteration , we obtain the following large scale linear eigenvalue problem @xmath73 where @xmath74 with @xmath75 , \mathrm{exp}[\mathrm{i}(\mathbf{k}+\mathbf{g}_n)\mathbf{r } ] ) \\ & = \frac{1}{2}|\mathbf{k}+\mathbf{g}_m|^2\delta_{m , n}+ \frac{1}{\omega}\int_{\omega}v_\mathrm{eff}(\rho_{in})\mathrm{exp}[-\mathrm{i } ( \mathbf{g}_m+\mathbf{g}_n)\cdot \mathbf{r}]\;d\mathbf{r }    \end{split}\ ] ] is the stiff matrix , @xmath76 is the overlap matrix . if we use the norm - conserving pseudopotentials , @xmath77 in tradition , people usually focus on solving the large scale linear eigenvalue problem repeatedly . however , the solution of the large scale eigenvalue problem requires large scale orthogonal operation , which limits large scale parallelization in supercomputer . motivated by the good performance of the parallel orbital - updating approach in the real space method @xcite , we apply the similar idea to the reciprocal space setting so as to cure the poor parallel scalability of the traditional method in the reciprocal space . in fact , this is one of the series works on the parallel orbital - updating approach @xcite . the following algorithm 1 is the basic parallel orbital - updating algorithm for solving the kohn - sham equation based on plane - wave bases . choose initial @xmath78 and then obtain @xmath79 , give the initial data @xmath80 , and let @xmath81 . 2 .   increase @xmath82 to @xmath83 and then obtain @xmath84 . 3 .   for @xmath85 , find @xmath86 satisfying @xmath87 in parallel , where @xmath88 is the input charge density obtained by the orbits obtained in the @xmath6-th iteration or the previous iterations . 4 .   find @xmath89 satisfying + @xmath90 + where @xmath91 , @xmath92 is the input charge density obtained from @xmath93 and @xmath94 for @xmath95 , @xmath31 . 5 . convergence check : if not converged , set @xmath96 , go to step 2 ; else , stop . using algorithm 1 , the solution of the large scale linear eigenvalue problem is replaced by the solution of a series of independent source problems and some small scale eigenvalue problems . since the source problems are all independent , they can be solved in parallel intrinsically . for each source problem , we can use the traditional parallelization strategies , such as domain decomposition or parallelization in matrix vector multiplication . therefore , our algorithm has two level of which is advantageous for large scale parallelization . besides , since the solution of the source problems is much cheaper than that of eigenvalue problems , especially for large scale problems , our basic parallel orbital - updating algorithm will reduce the computational cost . more features of this algorithm are given in ref . it is worth noting that algorithm 1 can be used staring from a small cutoff energy and then increasing it until the accuracy is reached . as stated in ref . @xcite , there are several options for each steps in algorithm 1 . for example , one can calculate more orbitals if the initial guess is not good enough , or one can also choose different source problems .    in this section , we will present two new modifications not mentioned in ref . @xcite , which are denoted by algorithm 2 and algorithm 3 as follows . choose initial @xmath78 and then get @xmath97 , give the initial data @xmath98 . let @xmath81 . 2 .   increase @xmath82 to @xmath83 , and obtain @xmath84 . 3 .   for @xmath85 , find @xmath99 satisfying @xmath100\ ] ] in parallel , where @xmath88 is the input charge density obtained by the orbits obtained in the @xmath6-th iteration or the former iterations . 4 .   find @xmath101 satisfying @xmath102 where @xmath103 , @xmath104 is the input charge density obtained from the previous orbits . convergence check : if not converged , go to step 2 ; else , stop .    for any @xmath105 , we define the projection operator @xmath106 as : @xmath107 then we can also define the following modified parallel orbital - updating algorithm .    1 . choose initial @xmath78 and then get @xmath97 , give the initial data @xmath98 . let @xmath81 . 2 .   increase @xmath82 to @xmath83 , and obtain @xmath84 . 3 .   for @xmath85 , find @xmath99 satisfying @xmath108 in parallel , where @xmath88 is the input charge density obtained by the orbits obtained in the @xmath6-th iteration or the former iterations . 4 .   find @xmath101 satisfying @xmath102 where @xmath103 , @xmath104 is the input charge density obtained from the previous orbits . convergence check : if not converged , go to step 2 ; else , stop . we can see that algorithms 2 and 3 have all the features of algorithm 1 . the main difference is that the dimensions of the small scale eigenvalue problems are double of that in algorithm 1 . in this section , we apply our parallel orbital - updating algorithms to simulate several crystalline systems : si ( silicon ) , mgo ( magnesium oxide ) and al ( aluminium ) with different sizes to show the efficiency of our algorithms . our algorithms are implemented in the software package quantum espresso @xcite , which is a mature and open - source computer codes for electronic - structure calculations and materials modeling at the nanoscale . it is based on density functional theory , it uses a plane - wave basis sets and pseudopotentials . currently quantum espresso supports paw ( projector - augmented wave ) sets @xcite , ultrasoft pseudopotentials @xcite and norm - conserving pseudopotentials @xcite . we use the norm - conserving pseudopotentials in our tests . quantum espresso also provides various density mixing methods . in our experiments , we choose the modified broyden s mixing method . there are some diagonalization methods in the quantum espresso . one is the conjugate - gradient - like band - by - band diagonalization , the other is the davidson iterative diagonalization . conjugate - gradient - like band - by - band diagonalization ( cg ) uses less memory and is more robust compared to the davidson iterative diagonalization with overlap matrix @xcite . therefore , we compare our our new algorithms with the conjugate - gradient - like band - by - band diagonalization used in quantum espresso . in our tests , we set the convergence threshold for the density to @xmath109 . in the tests of our new algorithms , we did not use the possibility to gradually increase the cutoff energy , that is , the cutoff energy is fixed . for this special case , @xmath110 is not updated , and the step 3 and step 4 in all our algorithms are carried out in @xmath110 repeatedly . all calculations are carried out on lssc - iii in the state key laboratory of scientific and engineering computing , chinese academy of sciences , and in part on the ulysses computer cluster in sissa . we carefully checked that the total energies and the eigenvalues obtained by all our new methods converge to those obtained by the cg method if the latter converges . indeed we should point out that we have also found some cases for which the cg method did not converge while our methods did , as shown later . since the results of the modified parallel orbital - updating obtained by the algorithm 3 are similar to those obtained by the algorithm 2 , we only list the results of the modified parallel orbital - updating methods obtained by the algorithm 2 in the following numerical experiments . we first introduce some notations which will be used in the following tables and figures . @xmath111 cg = conjugate - gradient - like band - by - band diagonalization method as implemented in quantum espresso    @xmath111 paro = basic parallel orbital - updating method ( algorithm 1 )    @xmath111 mparo = modified parallel orbital - updating method i ( algorithm 2 )    @xmath111 @xmath112 = number of processors    @xmath111 @xmath113 = number of atoms    @xmath111 @xmath114 = number of orbitals    @xmath111 @xmath115 = number of scf iterations    @xmath111 @xmath116 = number of the groups of bands    as referred to in the end of sections 3 and 4 , our new algorithms are interesting for large scale parallelization and for reducing the computational cost , especially for large scale system . this will be illustrated in the following numerical experiments .      in this subsection , two examples are used to show the advantages of our new algorithms in terms of their scaling as the system size increase . the first test set consists of four mgo crystals made of @xmath117 , @xmath118 , @xmath119 , and @xmath120 supercells , hence containing @xmath121 , @xmath122 , @xmath123 , and @xmath124 magnesium and oxygen atoms , respectively . all the crystals are sampled using the @xmath125 point only . the cutoff energy is set to @xmath126 . all results for these systems are obtained by performing the computation on one processor . table [ t7 ] shows the detailed information for mgo crystals obtained by the different methods . [ f5 ] shows the cpu time as a function of the system size for the different methods . from table [ t7 ] it can be seen that for small systems , the cpu time cost for our new methods is longer than that for cg . however , the cpu time cost for paro and mparo increase slower than that for cg as a function of system size . from fig . [ f5 ] we can see this more clearly , since the curves obtained by our methods are all below that obtained by cg as the system size increases . the log / log plot in the inset of fig . [ f5 ] shows that the scaling of system size is similar for all the three methods . however , the original plot in fig . [ f5 ] shows that the pre - factors for paro and mparo are smaller than that for cg . this shows that our methods reduce the computational cost compared to cg , especially for large systems . the second test set consists of two al crystals of @xmath118 and @xmath120 supercells , hence containing @xmath122 and @xmath124 aluminum atoms , respectively . generally , when dealing with a metal , a dense grid of k points should be used . however , here , we are mainly interested in comparing the behavior of the different methods for the same problem . therefore , for simplicity , we use only @xmath125-point sampling for both systems , and the kinetic - energy cutoff is set to @xmath126 . all results are obtained using one processor . table [ t8 ] shows the detailed information for al crystals obtained by the different methods for the default setting where mixing_beta parameter in the broyden mixing is set to @xmath127 . from table [ t8 ] it can be seen that for the smaller system the total energies by both our methods and cg converge . however , for the system which contains @xmath124 atoms , paro and mparo converge while cg does not . this can be seen more clearly from fig.[f6]a , where the scf error for al crystal containing @xmath124 atoms as a function of scf iteration by the different methods is shown .     & @xmath115 & time ( s ) & error of energy + & & cg & 16 & 647 & @xmath128 + & & paro & 60 & 1534 & @xmath129 + & & mparo & 17 & 570 & @xmath130 + & & cg & @xmath131 & @xmath131 & @xmath131 + & & paro & 46 & 15917 & @xmath129 + & & mparo & 29 & 10239 & @xmath130 +    @xmath131 for this case , we can not get the convergent results . there are many strategies that can be adopted to improve scf convergence and , for instance , reducing mixing_beta to @xmath132 is enough to make the cg method converge . however our aim here is to compare the different methods in the same conditions . the results for all methods , cg , paro , and mparo with the modified setting are reported in table [ t8 ] and fig . [ f6]b where it can be seen that convergence , in terms of number of iterations needed to be achieved , is improved for all methods , and paro and mparo are competitive with or outperform cg in terms of timing . of course many more tests would be needed to draw general conclusions about the relative merits of the different methods .     & @xmath115 & time ( s ) & error of energy + & & cg & 29 & 14222 & @xmath130 + & & paro & 33 & 14580 & @xmath133 + & & mparo & 25 & 10958 & @xmath130 +      in this subsection , we will use a si crystal consisting of a @xmath134 supercell with @xmath135 silicon atoms as example to show the good parallel scalability of our new algorithms . for this system , the number of computed orbitals is @xmath136 . the cutoff energies are set to be @xmath137 and the corresponding brillouin zones are sampled by only the @xmath125-point . table [ t11 ] show the detailed information for si crystal by the different methods using @xmath138 , @xmath139 , @xmath140 , @xmath141 processors , respectively . [ f4 ] shows cpu time for si crystal as a function of the number of processors for different methods . for the system considered here , it is known that when the number of processors is smaller than @xmath138 , the parallel efficiency of the plane - wave parallelization is relatively high . therefore , for testing our algorithms with @xmath139 , @xmath140 , @xmath141 processors , the bands are divided into @xmath142 , @xmath143 , @xmath144 groups , respectively . for each group , @xmath138 processors are used for the plane - wave parallelization . for the cg method , since there is no band parallelization , all processors are partitioned using only the plane - wave parallelization . atoms in the supercell for the different methods : cg , paro , and mparo are reported in blue , red , and black , respectively . the inset shows the speed - up obtained as @xmath145 with @xmath146 the number of processors used , where @xmath147 is the wall time cost by @xmath146 processors , the purple line is the ideal speed - up @xmath148 . the parallel scalability of paro and mparo is better than that of cg.,width=377 ]    from table [ t11 ] , it can be seen that the cpu time cost for mparo is shorter than that for cg , while the cpu time cost for paro is longer than that for cg . however , from fig . [ f4 ] we can see that when the number of processors is larger than @xmath140 , the curves obtained by paro and mparo are steeper than that obtained by cg . from this it can be seen that the parallel scalability of our new methods is better than cg , especially for mparo . to see it more clearly , one can also see the figure with speed - up in the inset of fig . [ f4 ] . since using @xmath149 processor can not obtain the converged results for si crystal with @xmath135 atoms supercell due to the limitation of memory , the speed - up here is obtained by comparing the wall time for cases using different number of processors with that for case of using @xmath138 processors . from the curves shown in fig . [ f4 ] , the advantage of our methods in parallel scalability is obvious . we should point out that , in our current tests , the cutoff energy is set to be a fixed value . if we can start from a small cutoff energy and increase it until the convergence is reached , we can reduce the computational cost further . from this point of view , we believe our new methods will be more competitive than cg . motivated by the parallel orbital - updating approach proposed in ref . @xcite , we propose some modified parallel orbital - updating methods for the plane - wave discretization of the kohn - sham equation in this paper . we show that , by using the two - level parallelization of the orbital - updating approach , the poor parallel scalability of the plane - wave discretization can be largely improved . indeed our numerical experiments show that the parallel orbital - updating approach based plane - wave method has considerable potential for carrying out large system computation on modern supercomputers . we should point out that our two - level parallelization only focuses on the solution of the associated eigenvalue problems resulting from the electronic structure calculations . in fact , in the electronic structure calculations , there are some other possibility for parallelization . for example , when using hybrid functionals for approximating the exchange - correlation energy , the exchange potential can be obtained by solving many different poisson equations , which can be done in parallel intrinsically . any such kind of parallelization can be combined with our algorithms and hence further increase the parallelization . as we have pointed out at beginning and at the end of section 5 , the cutoff energy was set to a fixed value in all our tests . to achieve the gradual increase of the cutoff energy , one needs to design some efficient a posteriori error estimator to tell how to evaluate and improve the approximate accuracy based on increasing the cutoff energy . it is indeed our on - going work to design such kind of a posteriori error estimator and then increase the cutoff energy gradually until the accuracy has been reached , which will be addressed elsewhere . we believe that in that case , the parallel efficiency of our new algorithms will become even better . this work was partially supported by the national science foundation of china under grant 9133202 , 11434004 , and 11671389 , the funds for creative research groups of china under grant 11321061 , the key research program of frontier sciences and the national center for mathematics and interdisciplinary sciences of the chinese academy of sciences , and the fonds de la recherche scientifique ( f.r.s .- fnrs ) , belgium .
Abstract:

Answer: motivated by the recently proposed parallel orbital - updating approach in real space method @xcite , we propose a parallel orbital - updating based plane - wave basis method for electronic structure calculations , for solving the corresponding eigenvalue problems . in addition , we propose two new modified parallel orbital - updating methods . compared to the traditional plane - wave methods , our methods allow for two - level parallelization , which is particularly interesting for large scale parallelization . numerical experiments show that these new methods are more reliable and efficient for large scale calculations on modern supercomputers . density functional theory , electronic structure , plane - wave , parallel orbital - updating .


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: the phase space of stckel potentials is completely occupied by four major families of regular orbits : the boxes , and the three families of tubes ( @xcite ; @xcite ) . roughly the same is true in many nonrotating triaxial potentials corresponding to mass models with smooth cores : most of the orbits have shapes that can be identified with one of the four families of regular orbits in stckel potentials ( @xcite ) . however the situation is very different in triaxial models with divergent central densities , or cusps . while the tube orbits are not strongly affected by cusps , the boxlike orbits  orbits with stationary points and filled centers  are often rendered stochastic , except when they are associated with a resonant orbit that avoids the center ( @xcite ; @xcite ; @xcite ; @xcite ) . kormendy pointed out already in 1985 that many early - type galaxies and bulges have central brightness profiles that deviate slightly but systematically from that of an isothermal core . the significance of this deviation was not recognized for ten more years , however , due to an optical illusion associated with projection onto the plane of the sky . a luminosity density profile that varies as @xmath7 at small radii generates a power - law cusp in projection only if @xmath8 . when @xmath9 , the surface brightness exhibits a curving , logarithmically - divergent central profile ( e.g. @xcite , fig . 1 ) , and for @xmath1 the central surface brightness is finite . the observed brightness profile of a galaxy like m87 , which has a cusp with @xmath10 ( @xcite ) , differs only subtly from that of a galaxy with an isothermal core ( @xcite ) . this is true in spite of the fact that the cusp in m87 is well resolved from the ground . thus even if galaxies were distributed uniformly over @xmath3 , their central brightness profiles would appear to fall into one of two distinct categories : the `` cores '' ( @xmath11 ) and the `` power - laws '' ( @xmath8 ) . just such a dichotomy was proposed following the first nuclear brightness measurements from hst ( @xcite ; @xcite ) . merritt & fridman ( 1995 ) suggested that the centers of _ all _ early - type galaxies , including the core galaxies , might contain power law cusps in the space density . they used a nonparametric deprojection algorithm to confirm this hypothesis for six galaxies observed with hst . gebhardt et al . ( 1996 ) subsequently reanalyzed the full sample of 42 early - type galaxies observed by lauer et al . ( 1995 ) and verified the power - law nature of the deprojected cusps in each case . they also confirmed a tendency , noted earlier by kormendy ( 1985 ) , for the brightest galaxies to have the shallowest cusps .    most of the theoretical work on orbital motion in triaxial potentials has focused on mass models with cores , @xmath12 , or with steep cusps , @xmath13 . but galaxies with cores probably do not exist ; and only the faintest ellipticals , @xmath14 , have cusps that are predictably as steep as @xmath15 . here we present the first detailed study of periodic orbits in triaxial models with weak cusps , @xmath16 , characteristic of bright elliptical galaxies . the value @xmath9 is a natural one for separating `` weak '' from `` strong '' cusps , since a central density that increases more rapidly than @xmath17 implies a divergent central force . for instance , a spherical galaxy with dehnen s ( 1993 ) density law @xmath18 has a gravitational force @xmath19 dehnen s law , with @xmath13 ( @xcite ) and @xmath9 ( @xcite ) , has been shown to accurately describe the brightness profiles of a number of early - type galaxies . the triaxial generalization of dehnen s law , @xmath20 @xmath21 was presented by merritt & fridman ( 1996 ) , who derived expressions for the gravitational potential , force and force gradients for @xmath22 . our primary concern here is with the closed `` boxlets '' , the low - order resonant orbits that act as parents of the boxlike orbits in non - integrable triaxial potentials . most important is the @xmath2- ( long- ) axis orbit , which generates the box orbits in stckel potentials . its instability usually occurs through the bifucation of a @xmath23 resonant orbit , or `` banana . '' ( we adopt miralda - escud & schwarzschild s ( 1989 ) scheme for labeling the closed boxlets ; their figure 4 illustrates the different types . ) higher - order resonances produce the `` fish '' ( @xmath24 ) and `` pretzel '' ( @xmath25 ) orbits . boxlets corresponding to each resonance are expected to exist in all three of the principal planes of a triaxial model , at least at certain energies and for certain values of the model axis ratios . however little is known about the dependence of boxlet stability on model parameters . in particular , the vertical stability of the closed boxlets has been very little explored .    in the present paper , we locate and test the stability of the axial orbits , the bananas , and the fish as a function of the three parameters that define dehnen s models : the cusp slope @xmath3 ; the short - to - long axis ratio @xmath26 ; and the degree of triaxiality , expressed in terms of @xmath27 . @xmath28 corresponds to oblate - axisymmetry , and @xmath29 to prolate - axisymmetry . for each set of model parameters , we present results as a function of energy ; thus we explore a four - dimensional parameter space for each of the orbit families . a total of approximately @xmath30 orbits were investigated . the numerical scheme for evaluating the stability of the boxlets is presented in  2 . the results for the axial orbits , the bananas and the fish are presented in  3 , 4 and 5 respectively . our results are summarized in  6 . there is increasingly strong evidence for dark mass concentrations , possibly supermassive black holes , at the centers of many early - type galaxies ( @xcite ) . we ignore the ( possibly substantial ) effect that such singularities would have on the behavior of boxlike orbits : partly because the universality of central black holes has not yet been established ; and partly because the behavior of orbits in triaxial galaxies with cusps provides an essential first step toward understanding the additional effects of a central black hole . we applied a numerical version of the standard floquet - liapunov theory ( @xcite ; @xcite ) to evaluate the stability of the lowest - order periodic orbits in dehnen s model potential . our approach was similar to that of earlier studies ( e.g. @xcite ; @xcite ) , with one difference . instead of integrating a set of orbits whose initial conditions were offset by small , finite amounts from those of the closed orbit , we integrated the linearized equations corresponding to a set of infinitesimal perturbations about the closed orbit . our results are therefore strictly independent of the numerical amplitude of the perturbation . let @xmath31 , @xmath32 be the parametric representation of a closed orbit . the equations of motion are @xmath33 a nearby orbit has coordinates @xmath34 , @xmath35 . for small @xmath36 and @xmath37 , the equations of motion are @xmath38 subtracting equations ( [ motion ] ) from equations ( [ linmotion ] ) , we have @xmath39 or @xmath40 the second derivatives of the potential , @xmath41 , are taken along the closed orbit whose period is @xmath42 . expressions for the @xmath41 are given by merritt & fridman ( 1996 ) . the stability of the closed orbit is then determined by the eigenvalues of the monodromy matrix @xmath43 , where @xmath44 and @xmath36 has been redefined to include velocities . we computed the elements of @xmath43 by numerically integrating the six linearized equations of motion ( [ matrix ] ) , starting from unit perturbations in each of the coordinates . a 7/8th order , variable timestep integrator  the routine dopri8 of hairer et al . ( 1987 )  was used . initial conditions for the non - axial closed orbits were found by an iterative newton method , and precise orbital periods were calculated using the scheme of hnon ( 1982 ) . two of the eigenvalues of @xmath43 are guaranteed to be unity ; these correspond to eigenvectors lying along the closed orbit . the remaining four eigenvalues satisfy @xmath45 , @xmath46 ; the stability of the closed orbit is determined by the parameters @xmath47 , @xmath48 , with @xmath49 denoting instability ( @xcite ) . for orbits that lie in a symmetry plane , @xmath50 and @xmath51 correspond to perturbations in the orbital plane and perpendicular to the orbital plane , or vice versa . for the simplest orbits , the full set of six perturbation equations is not required ; for instance , the stability of the axial orbits can be evaluated using just four independent perturbations . axial orbits presented one complication , however . while the gravitational force @xmath52 is everywhere finite in dehnen models with @xmath1 , the second derivatives of the potential diverge at the origin as @xmath53 , @xmath45 , etc . integrations using an algorithm based on finite - amplitude perturbations were carried out for some orbits and compared to the results of the linearized code . finally , numerical surfaces of section were constructed for a few models and compared to the results from the stability calculations . all orbits in a given model were assigned energies from a discrete grid , consisting of 20 energy values that corresponded to the values of the potential on the @xmath2-axis of a set of ellipsoidal shells  with the same axis ratios as the density  that divide the model into 21 sections of equal mass . thus , shell 1 encloses @xmath54 of the total mass , shell 2 encloses @xmath55 , etc . henceforth units are adopted such that @xmath56 . the long- ( @xmath2- ) axis orbit is stable at all energies in integrable triaxial potentials and acts as the parent of the box orbits ( @xcite ; @xcite ) . in more general triaxial potentials , like the ones considered here , the @xmath2-axis orbit becomes unstable at high energies when its frequency of oscillation falls to @xmath57 the average oscillation frequency of a perturbation in the direction of the short or intermediate axis ( @xcite ) . a bifurcation then occurs , with the @xmath23 @xmath4 or @xmath5 banana orbit branching off . a similar bifurcation occurs from the intermediate ( @xmath58- ) axis orbit , producing the @xmath6 banana . nearer the center , the @xmath58- and @xmath59-axis orbits become unstable at the bifurcation points of the @xmath60 loop orbits . in models with a harmonic core , the loop orbits first appear just outside of the core ( @xcite ) . the @xmath5 loop is the parent of the short - axis tubes , and the @xmath6 loop is the parent of the long - axis tubes . the @xmath4 loop is generally unstable and generates no families of regular orbits ( @xcite ) . in models without cores , the loops and their associated tube orbits may exist all the way into the center . figures 1 and 2 display the stability diagrams for the @xmath2- and @xmath58- axis orbits in dehnen s potential , for three values of @xmath61 and four values of @xmath3 ; a total of 4104 orbits are displayed in each figure . four cases are distinguished : stability ( @xmath62 ) ; instability in the direction of the longer ( @xmath63 ) or shorter ( @xmath64 ) of the two remaining axes ; and instability in both directions ( @xmath65 ) . the @xmath2-axis orbit is stable at low energies in all models that are not too highly elongated . as @xmath3 increases above zero , the range of model shapes for which the @xmath2-axis orbit is stable to the @xmath4 banana bifurcation becomes narrower , eventually including only nearly spherical models ( figure 3 ) . for instance , when @xmath66 , the @xmath2-axis orbit is stable at the half - mass radius for @xmath67 . thus , bona - fide box orbits ( which require for their existence a stable long - axis orbit ) will occur at a wide range of energies only in models that are nearly spherical , that have very weak cusps , or both . figure 4 illustrates how the bifurcation of the @xmath4 banana orbit takes place at successively lower energies as @xmath3 is increased .    as @xmath26 is decreased still more , a second @xmath23 bifurcation from the @xmath2-axis orbit sometimes occurs in the direction of the intermediate axis , giving rise to the @xmath5 bananas . following this bifurcation , the @xmath2-axis orbit is unstable in both directions . as figure 1 shows , the @xmath5 banana bifurcation occurs most readily in nearly prolate models ( e.g. @xmath68 ) in which the @xmath58 and @xmath59 axes are nearly equal in length . for nearly oblate models , e.g. @xmath69 , the @xmath2 and @xmath58 axes are too similar in length for the @xmath5 frequency ratio to ever reach the required value of @xmath23 , and the @xmath5 banana does not appear . interestingly , the @xmath2-axis orbit can again become stable when @xmath26 is made smaller still  typically less than about 0.45 . the return to stability coincides with the appearance of the @xmath4 `` anti - banana '' orbit , a @xmath23 resonant orbit that passes through the center ( @xcite ) . in nearly oblate models , this return to stability in the @xmath4 plane causes the @xmath2-axis orbit to become stable in both directions , at least over a limited range in energy and in @xmath26 ( figure 1 ) . the axial orbit becomes unstable once again at still lower values of @xmath26 , through the appearance of a @xmath70 resonance in the direction of the @xmath59 axis ( figure 5 ) . in nearly prolate models , where the @xmath2-axis orbit is also unstable to perturbations in the @xmath5 plane , the appearance of the @xmath4 anti - banana orbit leaves the @xmath2-axis orbit still unstable to perturbations in the @xmath58 direction ( figure 1 ) .    at very low values of @xmath26 , the stability of the @xmath2-axis orbit varies in a rapid and complex manner with energy and with @xmath3 , as resonances of higher and higher order occur . the @xmath58-axis orbit ( figure 2 ) is unstable at almost all energies in the full range of models investigated here . instability in the @xmath2-direction is expected due to the @xmath60 resonance that generates the @xmath5 loops ; these orbits  and their associated family , the short - axis tubes  are present almost universally in dehnen s models . as @xmath26 decreases , the @xmath58-axis orbit also becomes unstable through the @xmath23 bifurcation that produces the @xmath6 bananas ; the @xmath58-axis orbit is then unstable in both directions . at still greater model elongations , the @xmath58-axis orbit returns briefly to stability in the @xmath59-direction through the appearance of the @xmath6 anti - banana . the stability diagram of the @xmath59-axis orbit is not given here . this orbit was found to be unstable to perturbations in both the @xmath2- and @xmath58-directions for almost all values of the model parameters , due to the @xmath60 bifurcations that produce the @xmath4 and @xmath6 loops ( @xcite ) . thus , the long - axis tube orbits  which are parented by the @xmath6 loop orbits  are almost always present in these models . the only exceptions occur at low energies in models with @xmath71 and @xmath72 , where the ratio of oscillation frequencies in the @xmath59- and @xmath2-directions is too great for the @xmath60 resonance to occur . the @xmath59-axis orbit is not the parent of any banana family .    in summary : only the @xmath2-axis orbit is stable over an appreciable range of model parameters . instability first appears through the @xmath4 banana bifurcation , which occurs at progressively larger values of @xmath26 as @xmath3 is increased . the @xmath2-axis orbit returns to stability for a narrow range of @xmath26 values , typically around @xmath73 , through the bifurcation of the @xmath4 anti - banana . banana orbits first appear as @xmath23 bifurcations from the @xmath2-axis orbit ( @xmath4 and @xmath5 bananas ) or the @xmath58-axis orbit ( @xmath6 banana ) . stability diagrams for the @xmath4 and @xmath5 bananas are shown in figures 6 and 7 . once these orbits bifurcate from the axial orbits , they continue to exist ( though not always stably ) at all higher energies and all lower values of @xmath26 , for any given value of @xmath3 and @xmath61 . the @xmath4 banana exists and is stable over the widest range of model parameters ( figure 6 ) . it becomes unstable only in nearly - prolate models , through a vertical @xmath23 bifurcation ; for example , when @xmath68 , instability first occurs when @xmath26 drops below @xmath74 . thus , in virtually all models with axis ratios comparable to those of real elliptical galaxies , either the @xmath2-axis orbit or the @xmath4 banana orbit is stable and can act as the parent of a family of regular boxlets . the @xmath5 banana exists only in relatively prolate and elongated models , in which the @xmath5 frequency ratio can exceed @xmath23 ( figure 7 ) . for moderate values of @xmath26 , however , the @xmath5 banana is generally vertically unstable ; its instability follows closely that of the @xmath75axis orbit in the @xmath59-direction ( figure 1 ) . for smaller values of @xmath26 , e.g. @xmath76 for @xmath68 , the @xmath5 banana returns to stability via a @xmath23 bifurcation at approximately the same model parameters where the @xmath75axis orbit also becomes stable in the @xmath77direction ( figure 8) . the @xmath6 banana was found to be almost universally unstable in the vertical ( @xmath2 ) direction , mimicking the @xmath2-instability of the @xmath58-axis orbit . the regular orbits associated with the @xmath4 bananas are known to be heavily populated in self - consistent triaxial models with cusps ( e.g. @xcite ; @xcite ) . however their usefulness is limited by the fact that the banana orbits become more strongly curved as @xmath26 decreases , so that in sufficiently elongated models , the boxlets associated with the @xmath4 bananas are all rounder than the model figure . figure 9 shows the value of @xmath26 at which the @xmath4 banana has an elongation  defined as @xmath78 , the ratio of its extent in the @xmath59 and @xmath2 directions  that just matches that of the model . figure 9 suggests that the boxlets associated with the @xmath4 banana will be useful in reconstructing triaxial models for @xmath79 .    in summary : the @xmath4 banana exists and is stable for the widest range of model parameters . it is slender enough to match the shape of the model when @xmath80 . the @xmath5 and @xmath6 bananas either do not exist , or are vertically unstable , in all models with moderate values of @xmath26 ; the @xmath5 banana returns to stability only in highly elongated , nearly prolate models . fish orbits first appear as @xmath24 bifurcations from the @xmath2-axis orbit ( @xmath4 and @xmath5 fish ) or the @xmath58-axis orbit ( @xmath6 fish ) . stability diagrams for the @xmath4 and @xmath5 fish are shown in figures 10 and 11 . once these orbits bifurcate from the axial orbits , they continue to exist at all higher energies and all lower values of @xmath26 , for any given value of @xmath3 and @xmath61 .    the @xmath4 fish exists and is stable in models with moderate values of @xmath26 ( figure 10 ) . in nearly oblate models , the @xmath4 fish first becomes unstable to perturbations in the orbital plane , while for strongly triaxial and prolate models , instability first appears in the vertical ( @xmath58 ) direction ( figure 12 ) . however this orbit exists stably over a substantially narrower range of model parameters than the @xmath4 banana . the @xmath5 fish is only important in strongly prolate models ( figure 11 ) . in strongly triaxial and oblate models , it either does not exist , or is generally unstable to vertical ( @xmath59 ) perturbations . the @xmath6 fish was found to be unstable to vertical perturbations for almost all values of the model parameters .    in summary : the @xmath4 fish is important in moderately flattened , oblate / triaxial models , while the the @xmath5 fish is important in highly prolate models . in strongly triaxial models , instability in both families first occurs in the vertical direction . neither orbit exists stably for as wide a range of model parameters as the @xmath4 banana . our results highlight the sensitivity of boxlike orbits to small changes in the central density structure of a triaxial galaxy . the range of model shapes for which the @xmath2-axis orbit  the progenitor of the box orbits  is stable becomes rapidly narrower as the cusp slope @xmath3 approaches one . for @xmath81 , only triaxial models with moderate axis ratios , @xmath82 , contain stable long - axis orbits at most energies . regular box orbits may nevertheless be present in the majority of bright elliptical galaxies , since the distribution of intrinsic shapes of these galaxies is strongly peaked at @xmath83 ( @xcite ) , and many ellipticals have cusp slopes @xmath84 ( @xcite ; @xcite ) .    of the remaining families of boxlets investigated here , those lying in the @xmath4 plane were found to be most important , in the sense that they exist and are stable in models with the widest variety of cusp slopes and axis ratios . in particular , the @xmath4 bananas are unstable only in highly flattened , nearly prolate models , and they are often more elongated than the model figure , making them useful building - blocks for a self - consistent galaxy . the boxlets in the @xmath5 and @xmath6 planes are almost always vertically unstable in strongly triaxial models ( when they exist ) , and it seems unlikely that they could play an important role in maintaining triaxiality in real galaxies . we have investigated only motion in the principal planes . other resonant orbits  although generally of a higher order  exist outside of the principal planes . merritt & fridman ( 1996 ) cataloged the orbits in a single triaxial model with dehnen s density law , @xmath9 , @xmath85 and @xmath86 . their figure 4 confirms that only the @xmath4 banana and the @xmath4 fish , among the closed boxlets investigated here , are generators of regular orbit families . the @xmath5 pretzel was also found to be important at low energies , as were a number of higher - order resonances outside of the principal planes , including the @xmath87 , @xmath88 , and @xmath89 closed boxlets . although instability does not imply stochasticity , unstable resonant orbits are often associated with chaos . we expect that the phase space surrounding many of the unstable boxlets is stochastic . however , the timescale over which the stochasticity manifests itself in the orbital motion is likely to be a strong function of the model parameters , particularly the cusp slope @xmath3 and the energy . we will return to this question in a future study . broucke , r. 1969 , jaiaa , 7 , 1003 dehnen , w. 1993 , mnras , 265 , 250 de zeeuw , p. t. & lynden - bell , d. 1985 , mnras , 215 , 713 ferrarese , l. , van den bosch , f. c. , ford , h. c. , jaffe , w. , & oconnell , r. w. 1994 , aj , 108 , 1598 floquet , g. 1883 , ann . , 12 , 47 gebhardt , k.   1996 , aj , 112 , 105 gerhard , o. e. & binney , j. j. 1985 , mnras , 216 , 467 goodman , j. & schwarzschild , m. 1981 , apj , 245 , 1087 hairer , e. , nrsett , s. p. , & wanner , g. 1987 , solving ordinary differential equations i : nonstiff problems ( springer : berlin ) heiligman , g. & schwarzschild , m. 1979 , apj , 233 , 872 hnon , m. 1982 , physica5d , 412 hernquist , l. 1990 , apj , 356 , 359 jaffe , w. 1983 , mnras , 202 , 995 kormendy , j. 1985 , apj , 292 , l9 kormendy , j. & richstone , d. o. 1995 , ara&a , 33 , 581 kuzmin , g. g. 1973 , in the dynamics of galaxies and star clusters , ed . t. b. omarov ( nauka of the kazakh s. s. r. , alma - ata ) , 71 . lauer , t. r. et al . 1992 , aj , 103 , 703 lauer , t. r. , et al . 1995 , aj , 110 , 2622 lees , j. f. & schwarzschild , m. 1992 , apj , 384 , 491 liapunov , a. 1892 , ann . studies , 17 magnenat , p. 1982 , a & a , 108 , 89 merritt , d. & de zeeuw , t. 1982 , apj , 267 , l19 merritt , d. & fridman , t. 1995 , a. s. p. conf . 86 , fresh views of elliptical galaxies , ed . a. buzzoni , a. renzini & a. serrano ( provo : astronomical society of the pacific ) , 13 merritt , d. & fridman , t. 1996 , apj , 460 , 136 miralda - escud , j. & schwarzschild , m. 1989 , apj , 339 , 752 papaphilippou , y. & laskar , j. 1997 , preprint pfenniger , d. 1984 , a & a , 134 , 373 schwarzschild , m. 1979 , apj , 232 , 236 schwarzschild , m. 1993 , apj , 409 , 563 tremblay , b. & merritt , d. 1996 , aj , 111 , 2243    stability diagram for the @xmath2-axis orbit . @xmath62 stable ; @xmath63 unstable in the direction of the @xmath58 axis ; @xmath64 unstable in the direction of the @xmath59 axis ; @xmath65 unstable in both directions . stability region for the @xmath2-axis orbit . solid lines correspond to models in which the @xmath2-axis orbit is just unstable , at the half - mass radius ( shell 10 ) , to bifurcation of the @xmath4 banana orbit . box orbits do not exist outside the half - mass radius in models below these lines . stability characteristics of the @xmath2-axis orbit when perturbed in the @xmath59-direction , for @xmath90 and @xmath86 . frequencies and e - folding rates are expressed in units of the orbital frequency . bifurcation of the @xmath4 banana orbit occurs at successively lower energies as the cusp slope @xmath3 is increased . stability characteristics of the @xmath2-axis orbit when perturbed in the @xmath59-direction , for @xmath91 and @xmath86 . frequencies and e - folding rates are expressed in units of the orbital frequency . the @xmath2-axis orbit returns to stability through bifurcation of the @xmath4 anti - banana orbit . stability characteristics of the @xmath5 banana orbit when perturbed in the @xmath59-direction , for @xmath92 and @xmath68 . frequencies and e - folding rates are expressed in units of the orbital frequency . stability characteristics of the @xmath4 fish orbit when perturbed in the @xmath58-direction , for @xmath94 and @xmath68 . frequencies and e - folding rates are expressed in units of the orbital frequency .
Abstract:

Answer: the orbital structure of triaxial models with weak central density cusps , @xmath0 , @xmath1 , is investigated . the stability of the @xmath2- ( long- ) axis orbit  and hence the existence of box orbits  depends sensitively on @xmath3 ; the range of model shapes for which the @xmath2-axis orbit is stable becomes progressively smaller as @xmath3 approaches one . the banana and fish boxlets in the @xmath4 ( long axis  short axis ) plane are stable over a wide range of model parameters . the boxlets in the @xmath5 and @xmath6 planes are generally vertically unstable . # 1#23.6pt # 1#1