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: maxwel introduced , in 1871 , a notorious being , known as maxwell s demon nowadays , to discuss the `` limitations of the second law of thermodynamics''@xcite . such a demon distinguishes the velocities of the gas particles and controls a tiny door on a partition of the gas container to create a temperature difference , which breaks the clausius statement of the second law of thermodynamics ( slot ) . to reveal the essence of the maxwell s demon , leo szilard proposed a single - particle heat engine @xcite , named as szilard heat engine ( she ) . the demon in she distinguishes the positions of the particles after the partition has been inserted . with the help of the demon , she can absorb heat from a single heat resource and convert it into work without apperant evoking other changes in the cycle . szilard pointed out that the slot was no longer violated if one considered the entropy increase during the measurement . brillouin generalized the szilard s argument and identified the thermodynamic entropy with the informational entropy firstly @xcite . however , the measurement could be carried out without any change in entropy @xcite . acutally , it was realized that a logically irreversible process must be `` accompanied by dissipative effects '' @xcite in the physical realization of the information processing , which is known as landauer s erasure principle . bennett used this point of view in the study of the maxwell s demon paradox and pointed out that the erasure of the demon s memory instead of the measurement was logically irreversible and thus must be accompanied by dissipative effects @xcite . with these observations , the conventional cycle presented by szilard is indeed not a thermodynamic cycle because the demon s memory has not been erased to complete the cycle . the slot will be saved if one considers the erasure process to finish the cycle of the demon . as people believe the essence of information should be discussed in the framework of quantum mechanics , various quantum versions of she have been proposed with different views about quantum measurements . one proposal is semi - classical @xcite . the working substance in this proposal is quantum mechanic while the demon is considered as a classical controller whose role is to extract information through measurement and control the system . the paradox of maxwell s demon was solved by arguing landauer s erasure principle . however , the final solution should include the md in the cycle and treat also the md in a quantum fasion@xcite . for she , it is also proved the existence of md will not violate the slot in ref . @xcite , where md is modeled as a two - level system . the focus of the study in both classical and quantum mechanical frameworks is the erasure process , which is crucial to solving the maxwell s demon paradox . in an odinary way , the demon and the working substance are in contact with the same heat bath . after erasing the demon by applying some work , one will find that she can not extract work in a cycle at all and the slot is not violated . however , a more general erasure should be done with a lower - temperature heat bath which is also called a heat sink . in this suituation , we turn the she into a thermal dynamic cycle , where the non - violation of slot can be proved by illustrating non - exceeding of carnot s efficiency . it is realized that the effective temperature of the md s initial state actually charasticrizes the error in the control of the heat engine@xcite . our previous work in ref . @xcite emphasized the functions of the demon with errors in the study of the single - particle she . but the erasure schemes in refs . @xcite are irreversible . therefore , the efficiencies of the heat engines in these papers can not reach the carnot cycle s efficiency . one purpose of the present paper is to establish an optimal scheme of the thermodynamic cycle with a reversible erasure process , assisted by demon . it is shown that the partition - removing process is not always reversible , which leads to the lower efficiency . we aso find the existence of the optimal expansion position to improve the efficiency of the single particle she to the carnot cycle s efficiency . the other purpose of this paper is to reveal the role of the quantum statistical properties of the working substance . we generalize our previous works about demon - assisted quantum heat engine by using a multi - particle working substance , which is the ideal bose or fermi gases , and find that the ratio of the work extracted to the working temperature has some discontinuous behavior , and that discontinuous behavior is closely related to the degenerate - ground - state phenomenon . the paper is organized as follows : in sec . [ sec2 ] we describe the model of quantum multi - particle she and the working scheme briefly . in sec . [ sec3 ] , we study in details the five steps of the working scheme : insertion , measurement , controlled expansion , removing and erasure separately and calculate the work applied and heat transferred in each step . in sec . [ sec4 ] , the efficiency of the engine is evaluated . it is found that our heat engine s efficiency can not exceed the carnot cycle s efficiency . for single - particle she , we optimize the scheme to make the efficiency of the engine reach the one of carnot s . in sec . [ sec5 ] , we discuss the behavior of the engine in low - temperature regime and show the ratio of the work extrated to the working temperature is closely related to the degenerate point ( whose definition can be seen in this section ) and the particles statistical properties . conclusions and remarks are given in sec . [ sec6 ] . ( color online ) modeling the chamber of gas by a one - dimensional infinite square well . ( a ) the chamber is modeled as a one - dimensional infinite square well with width @xmath0 where the particles are confined . the inner lines in the well represent the single - particle energy levels of the well . ( b ) after the insertion , the chamber is split into two chambers , which are modeled as two 1-d infinite square wells with widths @xmath1 and @xmath2 respectively . the inner lines represent the single - particle energy levels . , width=302 ]     ( color online ) the states of the chamber and the demon ( a ) before and ( b ) after the expansion process . ( a ) after the measurement , the demon has revealed the number of the particles in the right compartment @xmath3 and recorded this information in its memory . if the demon is error - free , then its inner state ( or memory ) will be @xmath4 . however , when the demon contains some errors , there would be some mistakes in the demon s memory . for example , the sub - figure(2 ) shows a situation when @xmath5 and the demon is in state @xmath6 . thus , there are total @xmath7 situations after the measurement for a system with @xmath8 particles . here , the total @xmath9 situations are listed for @xmath10 . ( d ) after the measurement , the partition acts as a piston under the control of the demon . if the demon is in the state @xmath4 , the piston will move to a new position @xmath11 . such a movement is called controlled expansion . here the results of the expansion for all @xmath9 situations are listed for @xmath10.,width=302 ] the working substance is modeled as a collection of @xmath8 particles confined in a chamber , which is described as a one - dimensional infinitely deep square well with width @xmath0 illustrated in fig . [ chamber](a ) . generally , the particles can satisfy any distribution , bose distribution or fermi distribution . we calculate the canonical partition function @xmath12 as follows , where the subscript @xmath13 denotes the number of the particles in the well and @xmath1 represents the width of the well . its explicit expression is given in the appendix [ appendix1 ] . in the following calculations , we do not specify the concrete partition functions in most cases . the results obtained are valid for both bose and fermi distributions except for the case we claim specifically .    in the model , maxwell s demon is described as a quantum system with @xmath14 energy levels to record the complete information about how many particles in each compartment after the insertion process . we may use a demon with number of energy levels less than @xmath14 , but it can only record partial information of the working substance , which decreases the work extract . we consider in the present paper only the demon with @xmath14 levels , with @xmath4 be its @xmath3-th eigen - state and @xmath15 be the energy of state @xmath4 . the energy of @xmath16 is set to be the zero point of energy , i.e. , @xmath17 . for a demon without errors , its initial state is a pure state , namely , @xmath18 . in this paper , we study the demon with errors generally , whose initial state can be written as @xmath19 when @xmath20 vanish for all @xmath21 , this demon returns to the one without errors , where@xmath16 is the standard state . for a demon with errors , a larger population @xmath22 in the state @xmath16 means a more efficient demon @xcite . the thermodynamic cycle consists the five steps . at the beginning , the working substance is in equilibrium with the heat resource at a higher temperature @xmath23 , and the demon is initially in the state @xmath24 ( see eq . ( [ ini_demon ] ) ) . in the first step , a partition is inserted at the position @xmath1 , which splits the initial well into two with widths being @xmath1 and @xmath2 respectively ( see fig .  [ chamber](b ) ) . after the insertion , there are @xmath14 possible situations and one does not know which situation happens . suppose @xmath3 to be the number of the particles in the right compartment . then the @xmath14 situations correspond to @xmath25 . in the second step , the demon measures the working substance and records this information in its memory . for the error - free demon , it would be in the state @xmath4 for the @xmath3-th situation after the measurement . however , the demon with errors may record wrong information . for example , the working substance is in 0-th situation while the demon is in the state @xmath6 as illustrated in fig . [ expansion](a ) . in the third step , the partition acts as a piston and expands under the control of the demon . specifically , if the demon is in the state @xmath4 , it will move the piston to the position @xmath11 ( see fig . [ expansion](b ) ) . actually , one can optimize the expansion position @xmath11 to get the best efficiency . in the fourth step , the partition is removed and the working substance returns to its initial state . after these four steps , the working substance absorbs heat from the heat resource and converts it into work . it seems to violate the slot . however , the demon has not returned to its initial state to complete the cycle . thus , an additional step , step five , is needed to erase the memory of the demon . the effect of this step saves the slot as pointed out by landauer s erasure principle . in this section , we analyze in detail the thermodynamic cycle of the quantum multi - particle she . we calculate the heat absorbed and work applied in each step .      in the first step , the partition is inserted isothermally , which means the working substance is in contact with a heat resource and the process is quasi - static . before the insertion , the state of working substance @xmath26 is @xmath27 where @xmath28 is the inverse temperature and the boltzmann constant is set to be unit , i.e. , @xmath29 , and @xmath30 represents the hamiltonian of @xmath8 particles confined in the infinite square well with width @xmath0 . @xmath31 is the corresponding partition function and its explicit expression is presented in appendix [ appendix1 ] . after the insertion , the chamber is split into two parts with widths @xmath1 and @xmath2 respectively and the substance is in an equilibrium state as @xmath32 here , @xmath33 describes an equilibrium state of the left chamber with similar meaning as those in @xmath34 . @xmath35 is the probability to find @xmath3 particles in the right chamber with insertion position being @xmath1 . as the process is isothermal , the work applied in this step is the difference of the free energies after and before the insertion , i.e. , @xmath36 and the heat absorbed is @xmath37 the free energy and the entropy are given in terms of the partition functions as @xmath38 and @xmath39 respectively . as shown in ref . @xcite , in quantum mechanics framework , the insertion work @xmath40 is no longer zero . moreover , it was proved in ref . @xcite that @xmath41 .      in the second step , the total system is isolated from the heat bath . the demon finds out the number of the particles in the right compartment . this measurement process aims at establishing the correlation between the working substance and the demon . for the demon with no error , the state of the demon after the measurement is @xmath4 when there are @xmath3 particles in the right compartment . for the demon with errors , its initial state is a mixed state . thus , we should appoint the final states of the demon for all situations . let the final state be @xmath42 when the demon is initially in the state @xmath43 and the number of the particles in the right compartment is @xmath3 . mathematically , @xmath44 is a map from the set @xmath45 to itself . if the demon is error - free , the final state will be @xmath4 when there are @xmath3 particles in the right compartment , which leads the first constraint of @xmath46 , i.e. , @xmath47 . with this notation , the operator representing this measurement is @xmath48,\ ] ] where @xmath49 represents the @xmath11-th eigen - state of the working substance when there are @xmath3 particles in the right compartment . for a physical operation , @xmath50 should be unitary ( so that it is a quantum nondemolition pre - measurement ) , which leads to another constraint of @xmath51 . that is , for a fixed @xmath3 , when @xmath52 runs over from @xmath53 to @xmath8 , @xmath51 should also run over from @xmath53 to @xmath8 . thus , @xmath54 is a permutation of @xmath45 which satisfies @xmath47 . when @xmath55 , there is only one function of such kind and the corresponding operator @xmath50 represents a controlled - not operation . for @xmath56 , such function exists . one realization is @xmath57 . after the measurement , the state of the total system becomes @xmath58 , namely    @xmath59    where @xmath60 is the inverse of the map @xmath46 . it follows from eq . ( [ state_aft_mea ] ) that there is a possibility that the demon is in the state @xmath4 while the number of particles in the right compartment is not @xmath3 . that is exactly what we mean ` error ' within the demon . due to the isolation from the heat bath , there is no heat transferred , @xmath61 , and the work applied is just the energy change during the measurement : @xmath62\delta_{j},\ ] ] which compensates for the energy difference between the initial state and the final state of the demon during the measurement . therefore , if all the energy levels of the demon are degenerate , one will not apply any work to perform the measurement . thus the work applied may not always be non - zero @xcite .      in this step , the partition in the chamber acts as a piston and will be moved to the position according to the memory of the demon . specifically , if the state of the demon is @xmath4 , the finial position will be @xmath11 , which is called expansion position . this expansion process is slow enough and the working substance is in contact with the heat resource during the total expansion process . thus the state of the total system after the controlled expansion is @xmath63    however , the ` impenetrability ' of the piston does not make this process an isothermal process since the transition between two states with different numbers of the particles in the right compartment is forbidden . thus we should deal with this expansion process for each situation separately . for the situation when the demon is in state @xmath43 and there are @xmath3 particles in the right compartment , the work applied @xmath64 is @xmath65 and the heat absorbed @xmath66 is @xmath67 the probability of this situation is @xmath68 . thus , the total work applied and the total heat absorbed are : @xmath69 respectively . one can prove that even if the controlled expansion is not isothermal , the heat absorbed also satisfies the relationship @xmath70 , where @xmath71 is the entropy change of the total system . since the states with different numbers of the particles in the right compartment are orthogonal to each other , the entropies of the total system before and after the controlled expansion are @xmath72 respectively , where @xmath73 . thus , we have the following relationship @xmath74     ( color online ) the removing process . ( a ) before the removing , the state of the working substance may not be an equilibrium state because of the ` impenetrability ' of the partition ( see the sub - section [ expansion ] ) . ( b ) when the partition is lifted a little , it is no longer impenetrable and the particles can fly between the two sides of the chamber freely to reach the equilibrium state . ( c ) the partition keeps being lifted and finally be removed isothermally . , width=302 ]      after the controlled expansion , the partition will be removed slowly while the working substance is in contact with the heat resource . because the state in eq . ( [ state_aft_exp ] ) before removing is not a thermal equilibrium state ( it is because the controlled expansion is not an isothermal process , see the last subsection ) , one should carefully deal with this step . once lifted a little , the partition is no longer ` impenetrable ' and the particles can fly between the two sides of the chamber freely to reach an equilibrium state . thus the removing process consists of two sub - steps . after the first sub - step finished , the partition has been lifted to create a small slit with width @xmath75 through which the particles can fly from one side to the other . whatever small the width @xmath75 of the slit is , the working substance can reach its equilibrium state . thus , we can let the width of the slit tend to zero , i.e. , @xmath76 , which makes this sub - step a thermalization process of the working substance while the partition remains still . thereafter the state of the system after the first sub - step becomes    @xmath77    where @xmath78 . during this process , there is no work applied ( since @xmath76 ) and the heat absorbed is exactly the difference between the inner energies of the total system before and after the first sub - step , @xmath79\left[u(\rho_{n - i}^{l}(l_{j}))+u(\rho_{i}^{r}(l - l_{j}))\right].\ ] ] after the thermalization , the working substance is in a thermal equilibrium state , which makes the rest sub - step , the second sub - step , an isothermal process . after the removing , the working substance returns to its initial state and the correlation between the working substance and the demon no longer exists . during the second sub - step , the work applied and the heat absorbed are @xmath80 , \\ q_{\mathrm{rev } } & = & t_{1}\left[s(\rho_{s0})-\sum_{j=0}^{n}p_{j}^{(1)}s(\rho_{s , ins}(l_{j}))\right],\end{aligned}\ ] ]    respectively , and the state of the total system after the removing process is @xmath81 one can see that the state of the demon does not return to its initial state , which does not make the above four steps a thermodynamic cycle . thus , an addition step , erasure , is needed . ( color online ) erasing the memory of a three - energy - level demon reversibly . suppose that the populations of the three levels after the removing process the partition are @xmath82 , @xmath83 and @xmath84 as in ( a ) and the initial state s populations of the three levels are @xmath85 , @xmath86 and @xmath87 as in ( d ) . in step 1 ( a - b ) , the demon is isolated from the heat bath and the energy level spacings are adjusted from @xmath15 to @xmath88 for @xmath89 . during this process , the populations of the levels remain constant . the new level spacings are chosen so that the demon has an effective temperature @xmath90 after the adjusting , which implies @xmath91 and @xmath92 . in ( b ) , the minus sign in front of @xmath93 is due to the negative value of @xmath93 . in step 2 ( b - c ) , the demon is in contact with a real heat bath at temperature @xmath94 and the energies of the levels are adjusted . in this step , the populations of the levels change while its energy spacings change . the goal of this step is to let the populations of the levels return to be @xmath22 , @xmath95 and @xmath96 . thus the new level spacings are @xmath97 and @xmath98 . in step 3 ( c - d ) , the demon is isolated from the heat bath again and its level spacings are adjusted to return to its initial values . the isolation guarantees that the populations of the levels are not changed . thus the state of the demon has returned to its initial state . , width=302 ]      in eq . ( [ state_aft_rev ] ) , the state of the demon after the removing process is @xmath99 which is different from the initial state of the demon . as part of the engine , the demon should be re - initialized to complete the cycle . because the entropy of @xmath100 is different from the entropy of @xmath24 , such a re - initialization process , or erasure process , can not be realized by a unitary evolution and must be a logical irreversibility process accompanied by dissipative effects @xcite . a natural way to complete the re - initialization process is to make use of a thermalization process . it can be shown that the heat bath used in the thermalization process is a heat sink instead of a heat resource . because the entropy of @xmath100 is larger than the entropy of @xmath24 , the heat must be transferred from the demon to the heat bath . it seems that after a series of complex tasks , the demon needs to be cooled down . according to thermodynamics , the best re - initialization process is a reversible one which does not cost additional dissipative work . before going into the general discussion , we first consider a three - level demon as an example to find out how to re - initialize or erase the demon reversibly . the three - level demon considered is shown in fig . [ fig_era ] , where the three states are @xmath16 , @xmath6 and @xmath101 respectively . the energy of the state @xmath16 is set to be zero and the energy of the state @xmath4 is @xmath15 for @xmath89 . for a demon in its initial state , the populations of the three levels are @xmath22 , @xmath95 and @xmath96 respectively ( see fig . [ fig_era](d ) ) . to be more concrete , we assume that @xmath85 while @xmath86 and @xmath87 . suppose that the populations become @xmath82 , @xmath83 and @xmath84 respectively after the removing ( see fig . [ fig_era](a ) ) . in order to re - initialize it by using a reversible scheme by means of a heat bath with @xmath90 , we adjust the demon s energy level spacings adiabatically ( see fig . [ fig_era ] ( a)-(b ) ) . after being adjusted , the level spacings are changed from @xmath15 ( @xmath89 ) to @xmath88 ( see fig . [ fig_era](b ) ) . during this process , the population of each state remains unchanged . thus , the new level spacings satisfy the following relationship to ensure that the effective temperature of the demon is @xmath94 , i.e. , @xmath102 for @xmath89 , which implies @xmath91 and @xmath92 . next , the demon is kept in contact with the heat bath at temperature @xmath94 without any undesired irreversible heat transfer , and we adjust the energies of its levels isothermally ( see fig . [ fig_era ] ( b)-(c ) ) . in this process , the population of each level changes as the level spacings change and the final populations are adjusted to be @xmath22 , @xmath95 and @xmath96 respectively , which are the initial populations of the demon . therefore the new level spacings @xmath103 ( @xmath89 ) satisfy the relationship @xmath104 which implies @xmath97 and @xmath98 ( see fig . [ fig_era](c ) ) . after that , the population of each state has returned to its initial value while the level spacings do not . thus we need another adiabatical adjusting process as in the first step to re - initialize the level spacings ( see fig . [ fig_era ] ( c)-(d ) ) . these three sub - steps complete the re - initialization process and are all reversible , which makes the total re - initialization process reversible .    the above example inspires us to construct the reversible re - initialization scheme in a more general case . in the following discussion , a detailed scheme of the re - initialization process is presented . in the first sub - step , we adjust the energy level of the state @xmath43 for @xmath105 adiabatically while the energy of @xmath16 is kept fixed . the corresponding new state is denoted as @xmath106 . during this sub - step , the demon is isolated from the heat sink . the target is to let the demon s effective temperature be @xmath94 , which is the temperature of the heat sink . thus , the new level spacing @xmath107 satisfies @xmath108 and the demon after the first sub - step is in the state @xmath109 it should be noticed that eq . ( [ new_energy ] ) always has a solution except for some extreme conditions , for example , @xmath110 or @xmath111 . if these extreme conditions happen , we will use some tricks to deal with it . in the case of @xmath111 , we will introduce a small positive quantity @xmath112 and let @xmath113 be @xmath114 . next we will use @xmath113 instead of @xmath94 to calculate the parameters of the scheme such as @xmath88 and @xmath103 . such a scheme is not reversible . however , if @xmath112 tends to zero , the scheme will tend to behave as a reversible scheme . in the following , we assume that eq . ( [ new_energy ] ) does have solution . in this sub - step , there is no heat transfer and the work applied is @xmath115    in the second sub - step , demon is in contact with the heat sink and the @xmath52-th level s energy is adjusted from @xmath107 to @xmath116 isothermally , where @xmath116 satisfies @xmath117 and @xmath118 is the inverse temperature of the heat sink . thus , the state of the demon after this sub - step is @xmath119 where @xmath120 represents the state corresponding to @xmath106 after the adjusting . the work applied and the heat transferred during this process are @xmath121,\\ q_{\mathrm{ini}}=t_{2}\left[h\left(\{p_{i}\}\right)-h\left(\left\ { \sum_{i=0}^{n}p_{i}(l)p_{f_{i}^{-1}(j)}\right\ } \right)\right],\end{aligned}\ ] ] respectively . here @xmath122 represents the shannon entropy of the probability distribution @xmath123 .    in the last sub - step , the demon is isolated from the heat sink again and the energies of all of its levels are adjusted to its initial values . thus the final state of the demon is @xmath124 , which is indeed its initial state . during this sub - step , no heat transfers and the work applied is @xmath125    these three sub - steps together make up the re - initialization scheme . such a scheme involves adjusting the energies of the demon s levels , which is not easily realized . in a concrete experiment , if the quantum system that functions as the maxwell s demon has unchangeable energy levels , we will only use an irreversible scheme as in refs . as we know in thermodynamics , such an irreversible re - initialization scheme reduces the efficiency of the heat engine because of the dissipative effects . thus , when it comes to the maxwell s demon paradox , one needs a reversible re - initialization scheme without dissipative effects to get a good physical picture . combining the results obtained in the above section , one finally gets the total heat transferred and the work extracted in the thermodynamic cycle :    \1 . the heat absorbed from the heat resource is @xmath126.\nonumber \end{aligned}\ ] ]    \2 . the heat released to the heat sink is @xmath127.\nonumber \end{aligned}\ ] ]    \3 . the work extracted is @xmath128 which can be checked to satisfy the first law of thermodynamics , i.e. , @xmath129 . firstly , it is emphasized that the result is general without referring to the statistical properties of the working substance , since @xmath130 has contained all the information of the distribution . thus eq . ( [ q1 ] ) , eq . ( [ q2 ] ) and eq . ( [ w ] ) are correct both for the bose system and the fermi system . secondly , one can optimize the expansion position @xmath131 to maximize the efficiency of she . consider a two - particle she as an example , in which the demon is of three - level . the function @xmath51 we choose is @xmath132 . thus the heat absorbed from the heat resource is    @xmath133    thereafter , the optimized expansion position @xmath11 should satisfy @xmath134 working out the above equation , one will get the optimized expansion positions @xmath135 , @xmath136 and @xmath137 .    thirdly , an upper limit of the heat absorbed from the heat resource @xmath138 in eq . ( [ q1 ] ) is estimated . use the method presented in the appendix [ appendix2 ] , one gets @xmath139\nonumber \\   & = & t_{1}\left[h\left(\{\sum_{i=0}^{n}p_{i}(l)p_{f_{i}^{-1}(j)}\}\right)-h\left(\{p_{i}\}\right)\right].\end{aligned}\ ] ]    therefore the efficiency of the she has the upper limit : @xmath140 thus , it is clear that the efficiency of the she can not exceed the carnot cycle s efficiency when the erasure process or re - initialization process is considered , which saves the slot . it can be seen more clearly when @xmath55 , which represents a single - particle she . for a single - particle she , there is only one realization of @xmath51 , and the corresponding measurement process is indeed a controlled - not operation as in ref . @xcite , i.e. , @xmath141 for @xmath142 while @xmath143 and @xmath144 . the formulas eq . ( [ q1 ] ) and eq . ( [ q2 ] ) are reduced to @xmath145,\eqno(\ref{q1}')\ ] ] and @xmath146\eqno(\ref{q2}')\ ] ] respectively . it is easy to maximize @xmath138 to find that @xmath135 and @xmath136 satisfy @xmath147 and the maximum of @xmath138 is @xmath148.\label{q1max}\ ] ] thus , it is found that @xmath149 is always positive whatever the insertion position is . combining eq . ( [ q1max ] ) and eq . ( [ q2 ] ) , one gets the best efficiency as @xmath150 then it is concluded that for a single - particle she , one can always choose a good expansion position to let the she reach the carnot cycle s efficiency even if the demon contains some errors . recall that in the step 4 of the thermodynamic cycle , the removing process , one needs to thermalization the working substance firstly . however , for a single - particle she , it is found that the expansion position can always be chosen that the thermalization process is not needed . thus , a single - particle she can always be a reversible heat engine with two heat baths , and its efficiency reaches the carnot cycle s efficiency . on the other hand , for a multi - particle she , the thermalization process is always needed in the removing process , which makes the heat engine irreversible . thus , a multi - particle she s efficiency can not always reach carnot cycle s efficiency . ( color online ) work extracted @xmath151 as the function of insertion position @xmath152 and the working temperature @xmath23 . ( 1 ) bose case with @xmath153 . ( 2 ) fermi case with @xmath153.,scaledwidth=100.0% ]     ( color online ) work extracted @xmath151 as the function of insertion position @xmath152 and the working temperature @xmath23 . ( 1 ) bose case with @xmath153 . ( 2 ) fermi case with @xmath153.,scaledwidth=100.0% ]     +    \(1 ) bose case    \(2 ) fermi case     +    at the end of this section , a concrete example is presented to show the difference between the bose system and the fermi system . in this example , a four - particle system is considered as the working substance . the demon we chosen is a five - level quantum system with some errors . its initial state is @xmath154 the temperature of the heat sink is fixed that @xmath90 . denote the higher temperature and the insertion position as @xmath23 and @xmath1 respectively . then the work extracted by the heat engine during a thermodynamic cycle can be numerically calculated for both the bose case and the fermi case . the results are shown in fig . [ bvf ] . as one can see , the patterns in fig . [ bvf ] for different distributions are quite different . in fact , in the next section , it is found that the difference between the bose case and the fermi case is most significant in low - temperature regime . in this section , the behavior of a multi - particle she when the working temperature @xmath23 is very low is studied . in sec .  [ sec4 ] , a necessary condition for the heat engine to extract positive work is found that @xmath155 . thus , if @xmath23 considered is very small , the temperature of the heat sink will be @xmath111 . the demon in this case is free of errors because it is natural to get a pure initial state if the demon is re - initialized by a zero - temperature heat sink . the motivation to concern the demon without error is to see the difference between the bose system and fermi system more clearly without the effect of the demon s errors . as mentioned in the step 5 of sec . [ sec3 ] , it is less likely for one to re - initialize such a demon by using a reversible scheme ; however , one can use an asymptotic scheme to re - initialize the demon . ( color online ) asymptotic erasure scheme for @xmath111 . , width=302 ]    now , we describe the asymptotic scheme in details firstly . similar to the re - initialization scheme in sec . [ sec3 ] , the asymptotic scheme also contains three sub - steps . the three sub - steps are illustrated in fig . [ fig_era1 ] . in the first sub - step , the energies of the levels @xmath4 for @xmath156 are adjusted from @xmath15 to a very small value @xmath157 adiabatically . during this sub - step , there is no heat transferred . in the second sub - step , the demon is in contact with the heat sink at temperature @xmath111 until it is in equilibrium with the heat sink . during this sub - step , there is no work applied and the finial state of the demon is a pure state for its temperature is zero when @xmath158 . in the third sub - step , the energies of the demon s levels are re - adjusted adiabatically to its initial value . thus , these three sub - steps complete the re - initialization process of the demon . if we use this scheme , @xmath138 in eq . ( [ q1 ] ) will not change and @xmath159 in eq . ( [ q2 ] ) will be revised to be the heat transferred in the second sub - step . due to the irreversibility of the second sub - step , this scheme is not reversible . nevertheless , if one lets @xmath160 tend to @xmath53 , @xmath159 will tend to @xmath53 , which makes the scheme reversible . thus , eq .  ( [ q1 ] ) and eq . ( [ q2 ] ) will still hold if one uses this asymptotic scheme . in the following , this asymptotic scheme is used in which the relationships , @xmath161 and @xmath162 , hold . since the initial state of the demon is a pure state , which corresponds to the conditions @xmath111 and @xmath163 , the work extracted can be given by the relationship @xmath162 and ( [ q1 ] ) as @xmath164\nonumber \\   & = & t_{1}\sum_{i=0}^{n}p_{i}(l)\ln\left(\frac{p_{i}(l_{i})}{p_{i}(l)}\right).\label{w'}\end{aligned}\ ] ] this is just the same as that in ref . @xcite and it can be calculated by a different way as in ref . then we will use eq . ( [ w ] ) to study the bose system and the fermi system separately . first of all , we study the behavior of @xmath165 when @xmath166 . according to eq . ( [ w ] ) , one gets @xmath167 here , the expansion position @xmath11 have been optimized as in sec . thus @xmath168 is always no less than @xmath130 . for a deterministic distribution , @xmath169 , @xmath165 in eq . ( [ a3_w / t ] ) becomes to be @xmath170 . due to the optimization of @xmath131 , we have @xmath171 , or , @xmath172 . thus , it is concluded that @xmath165 is always @xmath53 when @xmath173 is a deterministic distribution . in other words , the necessary condition for a non - zero @xmath165 is that the informational entropy @xmath174 of the distribution @xmath173 is non - zero .    using the joint entropy theorem @xcite , one gets @xmath175 where @xmath176 is the entropy of the working substance after the insertion and @xmath177 represents the working substance s entropy in the condition that the number of the particles in the right compartment is @xmath3 . due to the non - negative property of entropy , one finds @xmath178 . therefore if the entropy of the working substance is zero , one will find that @xmath179 and @xmath180 . for a system with its ground state non - degenerate , its entropy always tends to zero when temperature tends to zero , which is referred to as the third law of thermodynamics . thus , it is found that , if the insertion position @xmath1 makes the ground state of the working substance non - degenerate , one will always have @xmath181 however , if the insertion position @xmath1 makes the ground state of the working substance degenerate , there will be a chance that @xmath165 tends to non - zero . such a position @xmath1 is called a degenerate point . thus , the relationship between the low - temperature behavior of @xmath165 and the degenerate point has been established . the similar result is found in ref . @xcite . then , we look for the degenerate points for both the ideal bose system and the ideal fermi system . for the ideal bose system , all particles condense in the ground state of the system when temperature is zero . thus the only chance for the ground state to be degenerate is that the energy of the left compartment s single - particle ground state is the same as that of the right compartment , which happens when the widths of the two compartments are equal to each other . thereafter it is found that there is only one degenerate point for the ideal bose system , i.e. , @xmath182 . ( color online ) degenerate ground states for a fermi gas . when the fermi surface contains more than one single - particle states , there is a chance that the ground state of the fermi gas is degenerate . for example , the states in ( 1 ) and ( 2 ) are two ground states of the system . , width=302 ]    for a fermi system , the particles satisfy the pauli s exclusion principle . when temperature is zero , all the energy levels under the fermi surface are occupied . thus if the @xmath3-th single - particle energy level of the left compartment and the @xmath52-th single - particle energy level of the left compartment are both on the fermi surface , the ground state of the total gas may be degenerate , see fig . [ fermi_degen ] . the index @xmath3 and @xmath52 should satisfy the relationship that @xmath183 equals to the number of the particles @xmath8 . thus there are @xmath8 situations corresponding to @xmath184 . thereafter it is found that there are @xmath8 degenerate points for an ideal fermi system with @xmath8 particles . as the two compartments are modeled as two one - dimensional infinite square wells with widths @xmath1 and @xmath2 respectively , one can workout the spectrum of them as in eq . ( [ spectrum ] ) . thus the conditions of the degenerate points can be written as @xmath185 therefore the positions of the fermi system s degenerate points are @xmath186 so far we have revealed the qualitative difference of the work extracted by the engine between the bose type and the fermi type working substance at low temperature . that difference in the quantum statistical behavior between the bose and the fermi working substance will disappear as the temperature @xmath23 increase . the numerical simulation in fig .  [ fig2 ] quantitively illustrates the statistical behavior at finite temperature . when @xmath23 tends to zero , the numerical calculations confirm the above results . similar result is also found in ref . in summary , the multi - particle she has been studied in a complete quantum framework , where the re - initialization process of the demon is discussed in detail . the errors are introduced in the demon so that one can use a finite - temperature heat sink to cool down the demon while the traditional demon must be cooled down by a zero - temperature heat sink . for a single - particle she , there is a scheme that the whole cycle of the she can be revisible . we illustrated that the efficiency of such a scheme is indeed the efficiency of carnot cycle s and other schemes have lower efficiency . and it is proved that she can not exceed the limit of the slot .    on the other hand , the properties of the she with bose or fermi particles are studied . in the high - temperature regime , these two distributions make no difference . both of them reduce to the result of maxwell distribution . in contrast , the bose system and the fermi system differ from each other in the low - temperature regime . the origin of the difference is the difference of the degenerate points of these two distributions . the she whose insertion position is a degenerate point extracts more work in a cycle . if the temperature is absolute zero , the ratio of the work extracted to the working temperature will show some uncontinuous properties . this work was supported by nsfc through grants 10974209 and 10935010 and by the national 973 program ( grant no . 2006cb921205 ) . in this appendix , the explicit expressions of the multi - particle partition functions for the ideal bose gas and the ideal fermi gas are presented . let @xmath187 be the canonical partition function for @xmath13 particles , where @xmath188 represents the inverse temperature of the system and @xmath1 represents some parameters of the system , e.g. , in our paper @xmath1 means the width of the infinite square well . to present the explicit expression of @xmath187 , the explicit expression of the single - particle partition function @xmath189 is given firstly . then the relationship between the multi - particle partition function and the single - particle partition function is shown . the single - particle partition function does not depend on which distribution the particle satisfies . once one knows the single - particle spectrum of the system , one can write down its canonical partition function . for example , the single - particle spectrum in a one - dimensional infinite square well with width @xmath1 is @xmath190 where @xmath191 is the mass of the particle and @xmath3 is the index of the energy levels . then the single - particle partition function of this system is @xmath192    when it comes to multi - particle partition function , we first take the two - particle system as an example . in this condition , one gets @xmath193,\ ] ] where the indices @xmath188 and @xmath1 have been omitted for simplicity . here , the summation , @xmath194 , can be viewed as a single - particle partition function with spectrum @xmath195 . thus , it is found that @xmath196 can be decomposed into some single - particle partition functions . in general , all the partition functions of the ideal gas , @xmath197 , can be decomposed into some single - particle partition functions by this ways . the next task is to workout the coefficients in the decomposition .    in the following discussion , the system considered has discrete spectrum and the index of the energy levels is denoted by @xmath198 . let @xmath199 be the number of the particles in the @xmath3-th level . to be convenient , we denote @xmath200 as @xmath201 for @xmath202 and the multi - particle partition function becomes to be @xmath203 here , the summation condition is that @xmath204 and @xmath205 for bose case or @xmath206 for fermi case . it is not difficult to show that @xmath207 in fact , if @xmath208 , one will find that @xmath209 and @xmath210 are nothing but the grand canonical partition functions for ideal bose case and ideal fermi case respectively . in mathematics , @xmath209 and @xmath210 are the generating functions for @xmath211 and @xmath212 respectively and they have the following simple relationship @xmath213 next , the single - particle partition function with spectrum @xmath214 , @xmath215 , is denoted as @xmath216 for @xmath217 . its generating function is @xmath218 thus , it is found that @xmath219 i.e. , @xmath220 by indefinite integration , one finds that @xmath221 where @xmath222 is the constant of integration and it is not difficult to find that @xmath223 . so , there is the following important relationship @xmath224 compare the coefficient of @xmath225 in both the two sides of eq.([h(t ) ] ) and one can find that @xmath226 where @xmath227 and the summation condition is @xmath228 which corresponds a summation for all the young diagrams with @xmath13 boxes . the @xmath229 is defined as @xmath230 and the @xmath231 is the product of some single - particle partition functions as @xmath232 thus we have decomposed the multi - particle partition function into some single - particle partition functions for bose case . for fermi case , using the relationship in eq.([h_e ] ) , one finds that @xmath233 also , compare the coefficient of @xmath225 in both the two sides of eq.([e(t ) ] ) and it is found that @xmath234 where the summation condition is the same as in the bose case . in this appendix , the upper limit of @xmath138 in eq . ( [ q1 ] ) is estimated . to this end , a two - particle she is used as an example firstly , in which the demon considered is of three - level . the function @xmath51 is chosen as @xmath132 . thus the heat absorbed from the heat resource is the one shown in eq . ( [ example_eff ] ) . to estimate the upper limit of @xmath138 , eq . ( [ example_eff ] ) should be re - written as      where @xmath236 satisfy the constraints @xmath237 for all @xmath3 and @xmath52 . thus the original optimization problem becomes to be an optimization problem with constraints . this optimization problem with constraints has a maximum solution @xmath149 since @xmath138 in eq . ( [ b1 ] ) has an upper bound @xmath238 and the domain of @xmath239 is closed . substitute these constraints by the weaker constraints @xmath240 for all @xmath52 , then we get another optimization problem with constraints . after solving this problem we will get another maximum @xmath241 . because the constraints in the latter problem are weaker than the constraints in the former one , we have @xmath242 . thus @xmath241 is a upper limit of @xmath138 . the calculation of @xmath241 can be performed in terms of lagrange multipliers . namely , one only needs to solve an optimization problem without constraint in which the target function is @xmath243 where @xmath244 , @xmath245 and @xmath246 are three lagrange multipliers . solving this constraint - free optimization problem , one finds that the maximum solution @xmath241 is reached when @xmath236 satisfies the following relationships @xmath247    for a general situation , this trick can also be used to find an upper limit of the heat absorbed from the heat resource @xmath138 . to this end , one only needs to maximize @xmath138 under the constraints @xmath248 for all @xmath52 . thus the upper limit of @xmath138 is given as
Abstract:

Answer: we present a complete - quantum description of multi - particle szilard engine which consists of a working substance and a maxwell s demon . the demon is modeled as a multi - level quantum system with specific quantum control and the working substance consists of identical particles obeying bose - einstein or fermi - dirac statistics . in this description , a reversible scheme to erase the demon s memory by a lower temperature heat bath is used . we demonstrate that ( 1 ) the quantum control of the demon can be optimized for single - particle szilard engine so that the efficiency of the demon - assisted thermodynamic cycle could reach the carnot cycle s efficiency ; ( 2 ) the low - temperature behavior of the working substance is very sensitive to the quantum statistics of the particles and the insertion position of the partition .