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: there is now considerable observational evidence for a high degree of structure , or `` clumping '' , in hot stellar winds ( e.g. * ? ? ? * ; * ? ? ? clumping affects diagnostics of mass - loss rates which are sensitive to the square of the density ( e.g. , free - free radio , infra - red continuum , h@xmath1 ) . if not taken into account , the inferred mass - loss rates may be substantially above their actual values . for wolf - rayet ( wr ) stars , the assumption of a smooth wind typically leads to a factor of 3 overestimate . recent studies are now indicating that the winds of main sequence stars may be even more structured , and downward revisions in @xmath0 by factors of @xmath2 or more have been suggested ( e.g. , * ? ? ? * ; * ? ? ? * ; * ? ? ? such substantial reductions have a dramatic effect on the evolution and environmental impact of massive stars , and may also be needed to explain the near - symmetry of x - ray lines @xcite . several methods for determining mass - loss rates which are not sensitive to @xmath3 are unique to binary systems . first , if the period of the binary is short enough , and the mass - loss rates high enough , @xmath0 can be determined from the observed change in the orbital period . though this has been applied to the wr binary v444  cyg ( e.g. * ? ? ? * ) , it has limited applicability . observed changes in polarization and atmospheric continuum eclipses can also be used to determine mass - loss rates @xcite . measurements of @xmath0 have also been made by comparing the observed x - ray flux arising from the wcr to predictions from hydrodynamical models of this interaction @xcite . in all of these models homogeneous winds were assumed , but this work shows that structured winds are rapidly smoothed out in the wcr of _ wide _ binaries : hence , the x - ray emission , despite being sensitive to @xmath3 , is an excellent diagnostic of the actual mass - loss rates . further implications of wind structure on the interaction region are discussed in   [ sec : implications ] . the survival time of a clump within the wcr depends predominantly on its size and density contrast to the mean flow . the low amplitude of detected variability argues for a large number of clumps , each of which is likely to have a quite small spatial scale ( e.g. * ? ? ? * ; * ? ? ? * and references therein ) . if the interclump medium is devoid of material , the density contrast of the clumps relative to the corresponding smooth flow is inversely related to the volume filling factor , @xmath4 , which the clumps occupy . @xmath5 initially decreases with radius ( i.e. the wind becomes increasingly clumpy ) , reaches a minimum at around @xmath6 , and then declines as the wind slowly smooths out @xcite . at very large distances , @xcite find that @xmath7 . clumps which pass into the wcr lose mass primarily through dynamical instabilities ( e.g. kelvin - helmholtz ) . the destruction timescale of non - radiative clumps can be parameterized as @xmath8 @xcite , where @xmath9 is the clump radius and @xmath10 is the shock velocity ( for the stationary shocks in cwbs , @xmath10 is equal to the normal component of the pre - shock wind speed ) . @xmath11 for a density ratio between the clump and inter - clump wind of order @xmath12 . a detailed review of clump destruction processes , including the effects of radiative cooling and magnetic fields , can be found in @xcite . consider a clump moving along the line of centers between the stars . as the clump passes through one of the shocks confining the wcr it is decelerated less than the inter - clump material , and pushes the confining shock into the wcr . a lower limit on the timescale for the clump to half cross the wcr is @xmath13 , where @xmath14 is half the distance between the confining shocks . clumps will be destroyed before they reach this half - way point when @xmath15 . since it is expected that @xmath16 , clumps should be rapidly destroyed within the wcr . the long - period cwb forms the basis of this investigation into the effects of clumpy winds on the interaction region . wr140 is the achetype of long - period cwbs , exhibiting dramatic variations in its x - ray @xcite and radio emission @xcite modulated by its highly eccentric orbit . the emission from radio to tev energies has recently been modelled by @xcite . there have been two previous studies of the clumpy colliding winds in wr140 . @xcite examined a simulation with the stars near periastron . wr material both in and between the clumps rapidly cools , and is compressed to high densities . @xcite considered the transition between periastron and apastron in an attempt to explain the variation of the x - ray flux with the stellar separation .    in this work the effect of clumpy winds on the wcr is examined when the stars are at apastron ( i.e. the stellar separation @xmath17 ) . the mass - loss rates and terminal wind speeds adopted are : @xmath18 , @xmath19 , @xmath20 , @xmath21 . in order to focus attention on the apex of the wcr , which is bent sharply around the o star , the wr star is positioned off the 2d hydrodynamic grid , which is axisymmetric and contains @xmath22 cells . the clumps are added to the flow in annuli around each star at specific time intervals . for simplicity the clumps are assigned the wind terminal speed , and have radii proportional to their distance from their star . the clump radius , @xmath9 , is @xmath23 in the wr wind , and @xmath24 in the o wind , so that the clumps have @xmath25 cells across their radius when interacting with the wcr . the clumps are given a density contrast of 10 with respect to the interclump medium , and the clump and interclump medium are assumed to contain equal mass ( hence @xmath26 ) . the inter - clump medium is perfectly smooth . a simulation with smooth winds reveals that the width of the wcr on the line between the centers of the stars is @xmath27 . hence @xmath28 ( 0.25 ) for the clumps in the wr ( o ) wind , and the wcr should quickly smooth out these inhomogeneities .    the hydrodynamical code is second - order accurate in space and time @xcite . optically thin radiative cooling is included , though radiation losses are negligible . heat conduction is not explicitly included , and is likely to be strongly inhibited by the magnetic field revealed by the synchrotron emission . the clumps are initially spherical , but the velocity dispersion in the radial and transverse directions may differ . @xmath29 for the clumps in the o wind , so that they naturally `` pancake '' as they are advected by the wind . recent models of x - ray wind absorption support radially compressed rather than spherical clumps @xcite . the density contrast of the clumps is also reduced by numerical diffusion . these two effects reduce the survival time of the clumps , but are not thought to be significant . +    a density plot of the wcr is shown in fig . [ fig : wcr]a ) . it is immediately evident that the process of clump destruction induces a multitude of large and small scale motions within the wcr . this `` turbulence '' , some of which is supersonic ( figs . [ fig : wcr]b and  [ fig : massvs]a ) , puffs - up the wcr , so that its volume is 25% larger than the homogeneous case . temperatures higher than in the smooth - wind case occur when the wcr expands upstream into the relatively low ram - pressure of the interclump medium , and also behind the bow - shocks driven ahead of the clumps . in contrast , the interiors of clumps are initially heated to significantly lower temperatures as shocks driven into them are much slower ( shocks driven into clumps in the wr wind near the line of centers have speeds @xmath30 , and produce temperatures of @xmath31 ) . thus , there is a wider distribution of temperatures within the wcr than in the smooth winds case ( fig . [ fig : massvs]b ) .    as cool material within recently - shocked clumps moves deeper into the wcr it is heated by secondary shocks and through mixing with hotter plasma . at any particular instant , the majority of the mass within the wcr is heated to temperatures similar to those that exist in the smooth winds simulation : the mass - weighted mean temperature of gas within the wcr ( and on the grid ) is @xmath32 and @xmath33 for the smooth and structured winds cases respectively . the average density in the wcr is similar to the smooth winds case , and is not markedly different with 90% of the mass in clumps . although the wcr is clearly not smooth , the wind - wind collision decreases the small - scale structure in the winds . clump disruption is mostly through the development of large scale perturbations , while the mixing of the clump and interclump material is affected by smaller scale motions . the global nature of the simulation inevitably leads to relatively poor spatial resolution at the scale of individual clumps , and is likely to enhance the mixing due to non - negligible numerical diffusion . in contrast , the lack of a third dimension in these simulations ( the imposition of axisymmetry means that the clumps are donut shaped ) should slow the rate of clump destruction as there is one less degree of freedom for dynamical instabilities . resolution tests and comparison with previous work on shock - cloud interactions indicate that these effects do not have a serious impact on the results .    in reality , clumps will possess a variety of density contrasts and sizes - large , dense clumps will survive longer as distinct entities within the wcr than smaller , less dense clumps , though denser clumps may on average be smaller and vice - versa @xcite . if @xmath34 , clumps could , in theory , pass completely through the wcr and into the pre - shock wind of the companion star , but this is unlikely to occur in the wide , adiabatic systems considered here .      since the wind structure is rapidly smoothed , it is not surprising that the x - ray emission is similar to the homogeneous case ( fig . [ fig : xray ] ) . the mean continuum flux at 1  kev is only 17% higher in the clumpy winds simulation , which translates into an 8% overestimate of the mass - loss rates ( @xmath35 ) . clearly , there is potential to use the x - ray emission from the wcr as a diagnostic of the stellar mass - loss rates . however , the structure within the wcr and the resulting x - ray emission depends on the properties of the clumps . further simulations ( pittard , in preparation ) reveal that the emission measure ( @xmath36 ) appears to increase with the clump density contrast : an identical simulation with a density contrast of 100 yields a 56% overestimate of @xmath0 for each star , but the density contrast is unlikely to be this high in wide cwb systems . instead , the major sources of uncertainty are likely to be the abundances and the wind momentum ratio , @xmath37 ( as the emission is nearly degenerate between @xmath37 and the @xmath0 s - see * ? ? ? nevertheless , x - ray derived mass - loss rates should be accurate to within a factor of 2 . substantially higher precision may be obtained if @xmath37 and the wind abundances are strongly constrained . the level of x - ray absorption by the intervening wind(s ) can also , in principle , be used to determine mass - loss rates . for the wide binaries considered here the clumps are likely to be optically thin , so that the optical depth will be identical to the smooth winds case . however , again there is a degeneracy with @xmath37 if the line - of - sight into the system is not well constrained , in which case it may be best to simply match the x - ray flux at energies above those susceptible to absorption @xcite . the interaction of clumpy , as opposed to homogeneous , winds has implications for a variety of phenomena which occur at or within the wcr . the radio synchrotron emission from wide cwbs has recently been modelled assuming that relativistic electrons are created by diffusive shock acceleration ( dsa ) at the shocks confining the wcr @xcite . in the case of wr140 , @xcite find that the non - thermal ( nt ) electron energy distribution is harder than the canonical dsa value , i.e. @xmath38 . while there are many possible explanations , the results presented above hint at several mechanisms . first , nt particles may be accelerated via the second - order fermi process resulting from clump - induced mhd turbulence within the wcr ( e.g. * ? ? ? second , particles accelerated at the confining shocks may be re - accelerated at multiple ( weak ) shocks within the wcr @xcite . a third possibility is magnetic reconnection , which probably occurs throughout the volume of the turbulent wcr , and not just at a hypothetical contact discontinuity . reconnection may also provide additional energy for generating and maintaining the magnetic fluctuations which drive stochastic acceleration . if any of these mechanisms is dominant , models which impose particle acceleration only at the confining shocks will need to be revised accordingly . in addition , the magnetic field within the wcr is likely to be highly `` tangled '' due to the turbulent motions of the gas inside . this was a central assumption in the recent models mentioned above , and means that the asymmetric radio lightcurve of wr140 can not be explained by the angular dependence of the synchrotron emission process . there are a variety of timescales within the wcr which may be modified if the stellar winds are clumpy ( e.g. , * ? ? ? * ) . in wide cwb systems , the shocks are collisionless , and the electron and ion temperatures may differ ( an effect which appears to be sensitive to the shock speed , e.g. * ? ? ? equilibration subsequently occurs through coulomb collisions , proceeding faster where the density is higher , such as in material within the shocked clumps . the spectral hardness is sensitive to this process , but the overall flux is not dramatically changed , and it is unlikely to have a significant impact on mass - loss rate determinations . ionization equilibrium may also take a significant time to occur . direct evidence for non - equilibrium ionization is seen in wr140 @xcite , and models which assume ionization equilibrium fail to reproduce observed x - ray line profiles @xcite . material originally within clumps will ionize quicker than interclump material , but to lower stages due to the reduced post - shock temperatures . the relevant timescale to obtain the highest ionization stages then becomes the speed at which further heating occurs in the downstream flow , through compressions , shocks , and mixing . the details are again sensitive to the clump properties , but the continuum emission , and thus estimates of @xmath0 , should not be strong affected . the highly turbulent interior of the wcr shown in fig . [ fig : wcr ] enhances the mixing between the two winds . such mixing may be necessary in order that carbon - rich wr material and hydrogen - rich o - star material can form dust within the wcr ( e.g. * ? ? ? the interaction of clumpy stellar winds in massive binary systems creates a highly turbulent wind - wind collision region in the adiabatic limit . the lifetime of clumps within the wcr depends on their density contrast and size . clumps with a density contrast of 10 and radii a few times smaller than the half - width of the wcr on the line of centers between the stars are rapidly destroyed . material originally within the clumps is then vigourously mixed into the surrounding flow . the stochastic impact of clumps on the wcr and their subsequent destruction creates significant density and temperature fluctuations within the wcr , but the global x - ray emission can be remarkably similar to the smooth winds case . the x - ray emission is then an effective , clumping - independent , measure of the stellar mass - loss rates , especially if the wind momentum ratio is known . the small number of cwb systems suitable for such an analysis is countered by the potential accuracy that can be obtained . each time this method has been used to determine mass - loss rates , values lower than those in the literature were inferred . although only a small part of parameter space is explored here , any reasonable parameters for the clumps in the wide , adiabatic , systems considered here should lead to their rapid dissolution . turbulence and weak shocks within the wcr provide mechanisms for obtaining hard nt particle spectra . the timescale to obtain high ionization stages may be controlled by the rapidity of clump destruction , and enhanced mixing of the winds will aid dust formation . pittard , j. m. 2006 , in diffuse matter from star forming regions to active galaxies , a volume honouring john dyson , ed . t. w. hartquist , j. m. pittard & s. a. e. g. falle ( dordrecht : springer ) , 245 ( astro - ph/0607008 )
Abstract:

Answer: clumping in hot star winds can significantly affect estimates of mass - loss rates , the inferred evolution of the star and the environmental impact of the wind . a hydrodynamical simulation of a colliding winds binary ( cwb ) with clumpy winds reveals that the clumps are rapidly destroyed after passing through the confining shocks of the wind - wind collision region ( wcr ) for reasonable parameters of the clumps if the flow in the wcr is adiabatic . despite large density and temperature fluctuations in the post - shock gas , the overall effect of the interaction is to smooth the existing structure in the winds . averaged over the entire interaction region , the resulting x - ray emission is very similar to that from the collision of smooth winds . the insensitivity of the x - ray emission to clumping suggests it is an excellent diagnostic of the stellar mass - loss rates ( @xmath0 ) in wide cwbs , and may prove to be a useful addition to existing techniques for deriving @xmath0 , many of which are extremely sensitive to clumping . clumpy winds also have implications for a variety of phenomena at the wcr : particle acceleration may occur _ throughout _ the wcr due to supersonic mhd turbulence , re - acceleration at multiple shocks , and re - connection ; a statistical description of the properties of the wcr may be required for studies of non - equilibrium ionization and the rate of electron heating ; and the physical mixing of the two winds will be enhanced , as seems necessary to trigger dust formation .


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 two - mode squeezed state is the paradigm of the epr state for light modes . in recent years such states have been experimentally realized and thus have been used in a number of applications @xcite . in particular , these states can be used to demonstrate that quantum mechanics is nonlocal . using the polarization states of the two modes , a violation of bell s inequality has been experimentally realized @xcite . in addition , an experiment based on parity measurements to demonstrate nonlocality has been proposed @xcite . using parity considerations , a positive everywhere wigner function has been shown to be nonlocal . in particular , by using a phase space representation , nonlocality for the continuous variable squeezed state can be analyzed . because squeezed states can be experimentally demonstrated , a lot of attention has been given to studying how noise affects these states . up to the present , nonlocality for a pure two - mode squeezed state coupled to an external reservoir has been investigated @xcite . this noise has been introduced into the state by coupling each mode of the squeezed state to independent external reservoirs . alternatively , this can be interpreted as transmitting the two modes through some noisy quantum channel . finding an exact analytic expression for the wigner function is often an operose task . gaussian wigner functions are prevalent because they are exact solutions to equations which can be easily dealt with . however , in most cases only numerical solutions exist . and in some cases analytic solutions exist , but only under certain approximations . an exact , non - gaussian solution for the wigner function for a nondegenerate parametric oscillator has been obtained for the steady - state @xcite . although the state is a two - mode squeezed state with internal quantum noise , the steady state solution exhibits no nonlocal features and , therefore , is not useful for tests of bell - type inequalities . parametric amplification generates the two - mode squeezed state via nonlinear interactions in a crystal . a laser beam passes through a crystal for some time and the output is two modes of light which are correlated . the degree of correlation depends on the interaction time as well as the strength of the nonlinearity . ideally , this process generates a pure quantum state which is nonseparable . we will consider the nonideal process where quantum noise is present inside the crystal . the purpose of this paper is to study the nonlocal features of the two - mode squeezed state with internal noise . we solve the wigner function exactly to analyze the dynamics of nonlocality and study the many features of this quantum state , such as separability and the behavior in the steady state . we begin this paper by considering two modes which are coupled via a diffusive nonlinear crystal . the hamiltonian has an interaction term plus noise terms which couple each mode to a heat bath . a linear quantum fokker - planck equation is solved for the gaussian wigner function of the state . an analysis of the steady state conditions is given . in section iii conditions for purity and separability of the state are provided . a discussion of the class of nonseparable mixed states which exhibit quantum nonlocality follows . an application to bell s inequality is given in section iv , where the effect of noise on the nonlocality of the state is discussed . with section v we conclude by examining two types of mixed entangled states : the continuous variable werner state and a phase - diffused state . the wigner function for a two - mode squeezed state is well - known to be @xmath0      \nonumber\end{aligned}\ ] ] for two coherent modes of light @xmath1 and @xmath2 . the amount of squeezing of the state is determined by the parameter @xmath3 which depends on the nonlinearity of the crystal as well as the interaction time of the light propagating through the crystal .    in this paper , we derive the wigner function for a two - mode squeezed state which has internal noise . in this case a pure squeezed state is not produced . rather , there is a quantum diffusion process present during the generation of the squeezed light . this is intrinsic quantum noise which is present for the duration of the interaction time . the hamiltonian , in the interaction picture , describing the process of parametric amplification in the presence of noise is @xmath4 where @xmath5 describes the nonlinearity of the crystal . the parameter @xmath6 is a reservoir operator which introduces quantum white noise into the system characterized by the mean photon number @xmath7 . the equation of motion for the density operator which describes the quantum state of the two light modes is given by the master equation @xmath8 which is obtained by averaging over the reservoir variables . the two field modes are coupled to a bath which has a mean photon number given by @xmath7 and we will assume that the single photon loss rate for each mode is equal so that @xmath9 . the method to convert the above operator equation into a c - number equation is straightforward with the use of the characteristic function for the wigner representation defined as @xmath10 where @xmath11 is a four - vector and the operator @xmath12 is the displacement operator for the two modes @xmath13 the matrix @xmath14 is a 4@xmath154 covariance matrix for the two modes . a double fourier transform of the characteristic function defines the wigner function @xmath16 for the two modes . using standard procedures the master equation ( [ eq : master ] ) can be mapped into the following fokker - planck equation for the wigner function @xmath17   w({\bf x},t)\ ] ] in terms of the real position and momentum variables . the transform is given by @xmath18 and @xmath19 , so that @xmath20 and @xmath21 are position variables and @xmath22 and @xmath23 are momentum variables . the drift matrix , @xmath24 , and the diffusion matrix , @xmath25 , are constant matrices , thus defining a quantum ornstein - uhlenbeck process . the drift matrix is @xmath26 and the positive - definite diffusion matrix is @xmath27    the general solution to a linear , multi - dimensional fokker - planck equation is known and can be solved exactly by the method of fourier transform @xcite . the general green function solution for a linear fokker - planck equation is a conditional distribution which is a multi - dimensional gaussian having the form    @xmath28.\ ] ]    the matrix @xmath29 is a time - dependent matrix which depends on the elements of the diffusion matrix and the eigenvalues of the drift matrix .    from this solution the unconditional distribution is found through @xmath30 the initial condition is taken to be the two - mode vacuum state given by @xmath31 in terms of the real variables . after integration over the primed variables and transforming back to the complex variables , we have the following form for the wigner function @xmath32\ ] ] where @xmath33 with time - dependent functions @xmath34 and @xmath35 \\      \times \left [ e^{-p_2 }             + ( 2\bar{n}+1)\left ( \frac{p_1+p_2}{2 } \right ) \left ( \frac{1-e^{-p_2}}{p_2 } \right )             \right ] \nonumber.\end{aligned}\ ] ] the dimensionless time parameters @xmath36 and @xmath37 have been used . we call @xmath38 the diffusion parameter and @xmath39 the squeezing parameter . it should be emphasized that @xmath40 and @xmath41 and , throughout this paper , we occasionally omit the function s dependent variables for simplicity . the eigenvalues of the drift matrix are doubly degenerate and are @xmath42 the condition for a steady state solution to exist is that the eigenvalues of the drift matrix all have negative real parts . thus , the parameters @xmath43 and @xmath44 alone determine whether a steady state solution for the wigner function exists . if @xmath45 then a steady - state solution exists . the steady state wigner function is a squeezed thermal state given by @xmath46 } { \left ( \pi/2 \right)^2      ( 2\bar{n}+1)^2/\left(1-(\frac{2\kappa}{\gamma})^2\right)}.\ ] ] this steady state solution is undefined if @xmath47 . if @xmath48 the steady state solution is a thermal state . for the case of a pure two - mode squeezed state , @xmath49 , there is no steady state solution because as the interaction time approaches infinity the wigner function approaches an epr state with perfect correlations . in terms of the wigner representation , a general two - mode gaussian state may be written as @xmath50 for the state in eq . ( [ eq : wigner ] ) , @xmath51 takes the simple form @xmath52 the @xmath14 matrix can be obtained from the @xmath51 matrix through the relation between the weyl - wigner characteristic function and the wigner function . they are related by a fourier transform which leads to @xmath53 where the matrix @xmath54=diag[1,-1,1,-1 ] . from this we have that @xmath55 so that both matrices differ only by a factor . the form of the covariance matrix is @xmath56 with the identification @xmath57 and @xmath58 . @xmath59 quantifies the correlation @xmath60 for mode @xmath61 , while @xmath62 quantitifies the correlation between modes related to squeezing @xmath63 . gaussian operators which are projectors represent pure states @xcite . the condition for a gaussian wigner function to represent a pure state may be written concisely as @xmath64 . the gaussian operator corresponding to eq.([eq : wigner ] ) is a projector provided @xmath65 from this condition , it is established that only one pure state exists , namely , that for which both @xmath66 and @xmath49 . this corresponds to a squeezed state which is generated in the absence of noise . the presence of the internal quantum noise always produces a mixed state . the resulting mixed states may be separable or nonseparable , depending on the parameters of the model . a separability criterion for two - mode gaussian states has been established which relies on the partial transposition map acting on the two - party state @xcite . it has been shown that this criterion is equivalent to determining that the quantum state is p - representable . a two - mode gaussian state is p - representable , and hence , separable , if and only if @xmath67 where * v * is the covariance matrix for the characteristic function found in eq.([eq : charfunc ] ) which takes the special form of eq.([eq : vmatrix ] ) . the separability condition is also equivalent to the condition that the matrix elements of ( [ eq : vmatrix ] ) satisfy @xmath68 . the state in eq . ( [ eq : wigner ] ) is separable if and only if the eigenvalues of eq.([eq : sepcondition ] ) are nonnegative . there are four eigenvalues which are doubly degenerate . they are @xmath69 the first eigenvalue has the property that the sign@xmath70 is positive for all parameter space . it is not important for establishing the nonseparability of the state . the second eigenvalue determines the nonseparability of the state . for certain regions of the parameter space it is negative , while in other regions it is positive . the negativity of @xmath71 may be summarized as sign@xmath72=sign@xmath73 . hence , the state is nonseparable if and only if @xmath74 this is the requirement that the squeezing parameter be greater than the product of the single - photon loss rate described by the internal diffusion parameter and the mean photon number of the reservoir . 1 shows a parametric plot for varying mean photon number @xmath7 . states which lie on or above the solid line are separable states . the dots show states which have @xmath75 for different values of the diffusion parameter @xmath76 . we immediately see that if @xmath75 then @xmath77 for all parameter space so that the system is never separable . therefore , one may conclude that this system is entangled for all of parameter space when coupled to a zero - temperature heat bath . this is interesting because the diffusion parameter may be made as large as desired and still the state is nonseparable , even as the diffusion approaches infinity . the nonseparable states may be further classified into two sets : those which exhibit quantum nonlocality and those which do not . if the two - mode squeezed state is generated with internal noise present then the resulting state will be a mixed state . although all pure entangled states violate some bell inequality , it is not clear in general which mixed entangled states will do so . if no noise is present then there always exists , for a fixed @xmath3 , some range of values for @xmath78 which will correspond to a nonlocal state . the presence of the diffusion parameter will destroy the nonlocal features until some critical value for d is reached such that the state goes from nonlocal to classically correlated . thus , in addition to the pure states ( @xmath79 ) which are nonlocal , there is a set of mixed states ( @xmath80 ) which is also nonlocal .    to study the nonlocal properties of the state ( [ eq : wigner ] ) we use the formalism of parity operator correlations developed in @xcite . the wigner function is related to the expectation value of a displaced parity operator in phase space given by @xmath81 . this expectation value defines a correlation function @xmath82 for parity measurements of mode 1 and mode 2 , which is proportional to the two - mode wigner function . in analogy with the case of dichotomic spin states , a bell combination may be written , using correlations between parity measurements , as @xmath83    for a two - mode squeezed state with internal noise the combination @xmath84 will be a function of the interaction time as well as the squeezing and noise parameters . the bell combination is @xmath85    \nonumber\end{aligned}\ ] ] where the functions @xmath86 and @xmath87 are given by eqs.([eq : cparameter],[eq : hparameter ] ) which are implicitly functions of time , and @xmath88 is the square of the coherent amplitude of the light mode . a search algorithm finds a local maximum for @xmath84 and returns the values of the free parameters . the function @xmath84 has a maximum of 2.19 with values @xmath89 , and @xmath75 . as expected , the bell combination is most nonlocal when there is no noise present and the squeezed state is a pure two - mode squeezed state . in this case , one finds a stronger violation for large r and small intensity @xmath78 . to see how the internal noise affects the nonlocality of the state we set @xmath90 and let @xmath78 and @xmath76 vary in fig.2 . , for the two field modes and the diffusion parameter , @xmath76 , with the squeezing parameter fixed at @xmath90 and @xmath75 . ] it is clear that the diffusion parameter destroys the nonlocal features of the state . 3 shows a cross - section of the three dimensional graph of fig . 2 for @xmath91 . the bell combination is greater than 2 for small values of the diffusion parameter , @xmath76 . on a large scale , we find that as d increases the bell combination decreases , reaches a minimum , and then increases to approach 2 from below . using the two - mode squeezed state of eq.([eq : w2mss ] ) , a class of nonseparable , non - gaussian , mixed states can be explored . we will consider two cases : a convex combination of a pure entangled state with an uncorrelated mixed state , and a convex combination of a pure entangled state with a classically correlated state . the first case is the analogue of the werner state for continuous variables . werner @xcite investigated the state @xmath92 for @xmath93 which is a convex combination of a maximally entangled state @xmath94 for finite dimension @xmath95 with a maximally mixed state obtained by a partial trace over the maximally entangled state . it was shown that such a state is nonseparable if and only if @xmath96      a natural extension of a werner state for infinite dimensions is a convex combination of a maximally entangled state with the maximally mixed state @xmath97 for two modes of light , a and b. this state is analogous to the werner state when the squeezing parameter r is infinite . the continuous variable phase - space representation of this state is given by @xmath98 where @xmath99 is the marginal wigner function obtained by the integration @xmath100 over the variables of one mode . when r is infinite , the wigner function @xmath101 is the epr state and the function @xmath99 has infinite variance representing a maximally mixed state of knowledge . note that eq.([eq : cvwigner ] ) is not a gaussian operator , but rather , it is a linear superposition of gaussian operators . the separability conditions for a linear superposition of two gaussian operators have not yet been established . however , it has been shown that the state @xmath102 is nonseparable if @xmath103 @xcite . this is the limit of the finite dimensional case , eq.([eq : wernercondition ] ) , as the dimension of the hilbert space , d , approaches infinity . a test of nonlocality for the state @xmath104 in phase space can be performed using the same bell combination given by eq.([eq : bellcombo ] ) . it is found that the state remains nonlocal for a region of mixtures lying between @xmath105 and @xmath106 . adding a mixed state to the entangled state rapidly degrades the nonlocal features . in addition to the werner state of eq.([eq : cvwernerstate ] ) for continuous variables , a different convex combination has some interesting properties . let us consider the state @xmath107 which is a convex combination of a two - mode squeezed state with a phase - averaged state . rather than integrating over one mode of light , an integration over the phases of both modes is performed . the state @xmath108 describes phase diffusion of two light modes such that each mode has a completely random phase . the integral of eq.([eq : phaseaveragedstate ] ) leads to a phase - averaged wigner function given by @xmath109 where @xmath110 is the modified bessel function of the first kind . in contrast to the werner state , this state does not factorize into a product of functions containing each mode . the state @xmath111 is a classically correlated state . the state of eq.([eq : wernertypestate ] ) now being considered is a mixture of a state containing quantum correlations and a state containing classical correlations . the nonlocality of this state is examined by considering an expansion for small intensity , @xmath78 , of the bell combination given by eq.([eq : bellcombo ] ) . this expansion @xmath112 reveals that the state ( [ eq : wernertypestate ] ) is nonlocal for all @xmath103 . this is seen in fig.(5 ) which shows that only the case @xmath113 washes out the nonlocal features completely . thus , we have presented a classically correlated state which , when mixed with even the smallest amount of a quantum correlated state , shows nonlocal features . in this paper we examined the two - mode squeezed state with internal quantum noise . the fokker - planck equation was solved to obtain an exact solution for the wigner function . the steady - state and nonsteady - state regimes were explored . we found that nonlocal features of this state exist in the regime where no steady - state solution exists . the parameter space contains separable and nonseparable states , both mixed and pure . only one pure state exists which is nonseparable . nearly all states in the parameter space are mixed states . using the gaussian wigner function for the state , the separability criterion was determined to identify those mixed states which are nonseparable . there exists a set of nonseparable mixed states for which the quantum diffusion can be large @xmath114 . using the wigner function , a test of nonlocality in phase space determined the effect of internal quantum noise on bell s inequality . as expected , the noise parameters reduce the nonlocality of the state . but there is still a region of mixed entangled states which are nonlocal . to further study nonseparable mixed states exhibiting nonlocality , we investigated werner - type states for continuous variables . we found that mixing the two - mode squeezed state with a product of two thermal states destroys the nonlocal features state . additionally , we found that mixing the pure two - mode squeezed state with a phase - diffused , classically correlated state did not destroy the nonlocal features , regardless of the amount of mixing . with this , we have provided an example of a classically correlated state which , when mixed with even the smallest amount of pure entangled state , is nonlocal .
Abstract:

Answer: we examine the quantum states produced through parametric amplification with internal quantum noise . the internal diffusion arises by coupling both modes of light to a reservoir for the duration of the interaction time . the wigner function for the diffused two - mode squeezed state is calculated . the nonlocality , separability , and purity of these quantum states of light are discussed . in addition , we conclude by studying the nonlocality of two other continuous variable states : the werner state and the phase - diffused state for two light modes . +


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: answer - set programming ( asp )  @xcite is an established approach for declarative problem solving and non - monotonic reasoning . so far , research in asp can basically be classified into three categories : ( i ) theoretical foundations of asp including language extensions , ( ii ) performance and capabilities of asp solvers , and ( iii ) case studies and applications involving asp . more recently , methods and methodologies to support an asp programmer are increasingly becoming a focus of research interest  @xcite .    in this paper , we propose to augment programs with additional meta - information to facilitate the asp development process . to this end , we devised a dedicated annotation language , , standing for `` language for annotating answer - set programs '' , that specifies specially formatted program comments . this meta - information is invisible to an asp solver  therefore not altering the semantics of the program  but different tools may interpret and use the annotated information to various ends like documentation , testing , verification , code completion , or other development support . one particular and quite central feature of  is grouping rules that are related in meaning into coherent blocks . although different notions of modularity have already been proposed for asp in the literature  @xcite , a strict concept of a program module can sometimes be a too tight corset . in particular , notions of modularity in asp often come with their own semantics and different kinds of constraints need to be satisfied . for example , dlp - functions  @xcite require that their input and output signatures are disjoint and two dlp - functions need to satisfy certain syntactic constraints in order to be composable . on the other hand , @xmath1-functions are a modular approach to build a logic program from its specification  @xcite . that is , an @xmath1-function is used to realise some functional specification that relates input and output relations for some domain by means of a logic program . the kind of grouping that we are proposing has , however , no semantical ramifications other than documenting that some rules belong together in a certain sense . nevertheless , the benefit is that we add some extra structure to a program , improving the clarity and coherence of the program parts , which in turn can be used by other tools for , e.g.,unit testing  @xcite . while unit testing is an integral element in software development using common languages like java or c , it has been addressed in asp only quite recently  @xcite . we provide means to formulate unit tests for single blocks using , allowing for easy regression testing . after rules are grouped into blocks , we may use further annotations to declare respective input and output signatures , which are also useful for testing and verification . furthermore , we can declare the names and arities of predicates that are used within a block . this information can be exploited by , e.g.,an integrated development environment ( ide ) for syntax checking and code completion features while a user is writing a program . besides names , description , and arities of predicates , one can also specify the domains of term arguments of a predicate using respective language features for declaring types . this information can be used for automated detection of type violations . these declarations have the potential to eliminate the source for quite common programmer errors with only little extra cost . for verification purposes , our annotation language can be used to specify assertions like pre- and postconditions for blocks . preconditions are expected to hold for any input of a block , while postconditions have to hold for any output . together , they can be used to verify correctness of an asp encoding with respect tosuch assertions . our main contributions are thus as follows :    * we introduce an annotation language for asp that offers various ways to express meta - information for rules and other language elements . this information can be used to support and ease the development process , test and verify programs , and to eliminate many sources for common programmer errors . * we describe , a. ] inspired tool , which takes an answer - set program , interprets the meta - comments , and automatically generates an html file documenting the program . * we introduce , an implementation of a unit - testing framework in the spirit of based on the structural annotations found in a program . this framework allows to formulate unit tests for individual program blocks , to execute them , and to monitor test runs . the paper is organised as follows . in section  [ sec : bg ] , we provide some background on asp . then , in section  [ sec : lang ] , we introduce , explain the basic language features , and illustrate them using a running example . section  [ sec : aspdoc ] describes the basic features of while section  [ sec : aspunit ] does the same for . finally , we review related work in section  [ sec : rel ] and conclude in section  [ sec : concl ] with pointers for future work . answer - set programming ( asp ) @xcite is a declarative programming paradigm in which a logic program is used to describe the requirements that must be fulfilled by the solutions of a certain problem . the solutions of the problem can be obtained through the interpretation of the answer sets of the program , usually defined through a variant or extension of the stable - model semantics @xcite . this technique has been successfully applied in various domains such as planning @xcite , configuration and verification @xcite , music composition @xcite , or reasoning about biological networks @xcite to just name a few . in the following , we briefly cover the essential concepts of asp ; for in - depth coverage , we refer to the well - known textbook by . the basic components of the language are _ atoms _ , elements that can be assigned a truth value . an atom @xmath2 can be negated using _ negation as failure_. a _ literal _ is an atom @xmath2 or a negated atom @xmath3 . we say that @xmath3 is true if we can not find evidence supporting the truth of @xmath2 . atoms and literals are used to create rules of the general form @xmath4 where @xmath2 , @xmath5 , and @xmath6 are atoms . intuitively , this means _ if all atoms @xmath5 are known / true and no atom @xmath7 is known / true , then @xmath2 must be known / true_. we refer to @xmath2 as the head and @xmath8 as the body of the rule . rules with empty body are called _ facts_. rules with empty head are referred to as _ constraints _ , indicating that no solution satisfies the body . a ( _ normal _ ) _ program _ is a set of rules . the semantics is defined in terms of _ answer sets _ , i.e. , assignments of true and false to all atoms in the program that satisfy the rules in a minimal and consistent fashion . a program has zero or more answer sets , each corresponding to a solution . different extensions to the language have been proposed . on the one hand , we have syntactic extensions , providing mere , but very useful , syntactic sugar . on the other hand , we have semantic extensions where the formalism itself is generalised .    from a programmer s perspective , _ choice rules _ @xcite are probably the most commonly used extension . many problems require choices between a set of atoms to be made . although this can be modelled in the basic formalism , it tends to increase to the number of rules and increases the possibility of errors . to avoid this , choices are introduced . choices , written @xmath9 , are a convenient construct to indicate that at least @xmath10 and at most @xmath11 literals from the set @xmath12 must be true in order to satisfy the construct . bound @xmath10 defaults to 0 while @xmath11 defaults to @xmath13 . choice rules are often used with a grounding predicate : @xmath14 represents the choice of a number of atoms where @xmath15 is grounded with all values of @xmath16 for which @xmath17 is true . one of the major extensions to the language was the introduction of disjunction in the head of rules  @xcite . when the body of the rule is true , we need to have at least one head atom that is true . although at first it may seem that disjunctive programs can easily be translated to non - disjunctive programs , this is not the case . both types of programs are in different complexity classes ( under the usual complexity - theoretic proviso that the polynomial hierarchy does not collapse ) . algorithms and implementations for obtaining answer sets of logic programs are referred to as _ answer - set solvers_. the most popular and widely used solvers are dlv  @xcite , providing solver capabilities for disjunctive programs , and the sat inspired clasp @xcite . alternatives are smodels  @xcite and cmodels  @xcite , a solver based on translating the program to sat . in this section , we describe our annotation language . an overview of most language elements of  appears in table  [ tab : summary ] ; table [ tab : testcases ] gives a summary of the remaining language elements related to testing in . we make use of a simple answer - set program to illustrate all the language features in a step - by - step fashion . in particular , we use an encoding of the _ battleship _ puzzle . a solved instance of battleship appears in fig . [ fig : battleship ] . in battleship , a group of ships is hidden on a grid and one has to find the positions of each . the fleet consists of one four - squares long battleship , two three - squares long cruisers , three two - squares long destroyers , and four one - square long submarines  each ship is placed horizontally or vertically on the grid such that no ship is touching any other ship ( not even diagonally ) . to provide hints , some squares may show parts of a ship or water . moreover , a number besides each row and each column indicates how many squares in that row or column are occupied by ship parts . a solution of a puzzle is a configuration of all the ships that is consistent with the initially given hints . .overview of   based on bnf . [ cols="^,<,<",options="header " , ]     to support large application developments , traditional languages offer programming tools that automatically generate searchable documentation , like e.g. ,  . methodologies like test - driven development provide a mechanism to incrementally unit test code and to support regression testing ; is an example of this for java . provides the support for both , incorporating the annotation of tests directly into the documentation of the program . the use of assertions in  is inspired by the java modelling language @xcite and annotations as used in prolog @xcite . similar to our unit testing approach , prolog offers unit - testing functionality called . as in our approach , where tests are expressed using asp itself and only a java wrapper is used to call all tests within a given test - suite , tests in  are formulated as prolog clauses .    provide a mechanism for unit testing in asp , which is incorporated in their ide @xmath18 . they base unit tests on clusters on the dependency graphs or rule labelling , while we allow the user to decide which rules belong to a test by defining blocks . in this paper , we presented , an annotation language for asp . this language can be used to structure a program into blocks and to declare language elements like predicates with type information , input and output signatures , pre- and postconditions , test cases , etc . annotations do not interfere with the languages of answer - set solvers as they have the form of program comments . the main advantage of such annotations is that they can be interpreted by tools to support the development process , to automatically test and verify programs , and to increase maintainability by enhancing program documentation . in fact , we implemented and described two such tools , namely for generating an html documentation for a program , and for running and monitoring unit tests . the former tool is especially useful for maintaining and using larger collections of program modules ; the latter tool is used for managing a test corpus when a program is developed and to enable test - driven development methods , a methodology popular in industry , e.g.,as in extreme and agile programming . while many interesting features of  for development support can be realised by stand - alone tools like and , things become more interesting when the respective functionalities are available within an ide for asp . the two most actively developed ides for asp at present are @xmath0  @xcite and @xmath18  @xcite . then , the proposed language can be used as a basis to realise intelligent syntax highlighting , static or dynamic type checking , code completion , and so on . indeed ,  can already be parsed by @xmath0and the features of aspdoc are already available from within the ide . further integration is planned with the goal that all features sketched in this paper are supported in @xmath0 . furthermore , we want to empirically evaluate to what extent additional meta - information is beneficial for program development within courses on declarative problem solving at our universities . in general , program annotations provide a wealth of information . one of the main issues with debugging asp programs is the difficulty of working out the program s interpretation of the problem ( resp . , solution ) , and the programmer s view of the problem ( resp . , solution ) . using the meta - data , it would be possible to automatically generate a semi - natural language reading of the program , allowing programmers to cross - check their interpretation of the program with that of the program itself . this is only possible if developers use a specific grammar to annotate the various components of the program .    in traditional software engineering , coding standards including documentation are imposed , especially in case of developing large software projects . in this paper , we propose  as part of coding standards for asp . future work will look into other best - practices for writing and maintaining asp programs . the growing number of applications of asp can provide a wealth of information for this . , de  vos , m. , brain , m. , and padget , j. 2008 . : declarative visualisation and animation using answer set programming . in _ proc . iclp 2008_. lecture notes in computer science , vol . springer , 724728 .                                , niemel , i. , oetsch , j. , phrer , j. , and tompits , h. 2011 . random vs. structure - based testing of answer - set programs : an experimental comparison . in _ proc.lpnmr 2011_. lecture notes in computer science , vol . springer , 242247 .      , oetsch , j. , phrer , j. , and tompits , h. 2011 . kara : a system for visualising and visual editing of interpretations for answer - set programs . in _ proc.inap/wlp 2011_. infsys research report 1843 - 11 - 06 , 152164 . annotations for prolog - a concept and runtime handling . in _ selected papers of the 9th international workshop on logic - based program synthesis and transformation _ ( _ lopstr 1999_)__. lecture notes in computer science , vol . springer - verlag , 234254 . , phrer , j. , and tompits , h. 2010 . methods and methodologies for developing answer - set programs  project description . in _ technical communications of the 26th international conference on logic programming ( iclp 2010)_. lipics , vol schloss dagstuhl - leibniz - zentrum fr informatik , 154161 .
Abstract:

Answer: while past research in answer - set programming ( asp ) mainly focused on theory , asp solver technology , and applications , the present work situates itself in the context of a quite recent research trend : _ development support for asp . _ in particular , we propose to augment answer - set programs with additional meta - information formulated in a dedicated annotation language , called . this language allows the grouping of rules into coherent blocks and to specify language signatures , types , pre- and postconditions , as well as unit tests for such blocks . while these annotations are invisible to an asp solver , as they take the form of program comments , they can be interpreted by tools for documentation , testing , and verification purposes , as well as to eliminate sources of common programming errors by realising syntax checking or code completion features . to demonstrate its versatility , we introduce two such tools , viz . ( i )  , for generating an html documentation for a program based on the annotated information , and ( ii )  , for running and monitoring unit tests on program blocks . is also exploited in the @xmath0system , an integrated development environment for asp based on eclipse . [ firstpage ]    answer - set programming , program annotations , documentation , unit testing


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 study of the critical properties of lattice polymers , and thus of @xmath10 models when we let @xmath11 , in two dimensions has been ongoing over decades theoretically and numerically . nienhuis , in 1982 @xcite , considered a model of non - intersecting loops on the hexagonal lattice which allowed him to compute the critical exponents for free self - avoiding walks ( @xmath12 , @xmath13 ) , which model dilute polymers , and for dense polymers ( @xmath14 , @xmath15 ) . in 1987 duplantier and saleur @xcite were able to model bond interactions introducing vacancies on the same lattice , obtaining a full set of critical exponents for the polymer collapse transition in the interacting self - avoiding walk ( isaw ) model . this collapse transition , a tri - critical point , goes under the name of ` @xmath8-point ' and has critical exponents @xmath16 and @xmath17 . there was debate at the time over the surface exponents which was resolved by vanderzande et al . @xcite and stella et . al @xcite on the hexagonal lattice and on the square lattice by foster et al . @xcite .    in the quest for a solvable @xmath10 model on the square lattice , blte and nienhuis in 1989 @xcite considered a lattice model ( related to the izergin - korepin vertex model ) which includes weights for site - collisions and straight segments ( stiffness ) . for this model five critical branches are exactly known @xcite . in one of these branches ( named ` branch 0 ' in @xcite ) straight segments are completely suppressed and it can be shown that in this case the model maps to the isaw model on the manhattan lattice for which the conjectured exponents are @xmath16 , @xmath18 @xcite . two other branches correspond to dense and dilute polymers as obtained by nienhuis in @xcite , and the two remaining branches are , respectively , associated with a combination of ising - like and @xmath10 critical behaviour and with a new tri - critical point . this other tri - critical point , which we shall refer as a the bn - point , is another candidate for describing a collapsing polymer and has exponents @xmath19 and @xmath20 @xcite . the configurations associated with this particular @xmath10 model , which we shall call vertex - interacting self - avoiding walks ( visaws ) , are forbidden to cross and therefore are a subset of self - avoiding trails . the boltzmann weights corresponding to bn - point are known exactly and can be expressed as algebraic numbers . foster and pinettes @xcite have studied the semi - flexible visaw at this special bn - point , and have also studied the visaw model without stiffness , using the corner transfer matrix renomalisation group method . some agreement and some discrepancy with the scaling dimensions proposed @xcite was found in @xcite and a first order nature to the transition was conjectured . very recently foster and pinettes @xcite have used transfer matrices and the density matrix renormalisation group method ( dmrg ) to consider the bulk and surface exponents of these models . they have found values of the exponent @xmath7 much closer to @xmath9 than @xmath21 . in this paper we study by means of monte carlo simulation the semi - flexible visaw polymer model precisely at the bn - point . we find estimates for the exponents , and hence the scaling dimensions , that are in harmony with those found by foster and pinettes @xcite and at variance with those predicted by warnaar _ et al .  _ the semi - flexible visaw model can be defined as follows . self - avoiding trails , or simply trails , are lattice paths that can be formed such that they never visit the same bond more than once . such paths can generally visit the same site of the lattice either by a _ , where the trail touches itself , or via a _ crossing _ , where two straight segments of the path cross over one another . consider the _ subset _ of bond - avoiding lattice paths ( trails ) on the square lattice , @xmath22 , where _ no _ crossings are allowed . given such a restricted trail @xmath23 , we associate an energy @xmath24 every time the path visits the same site more than once , which it can only do by _ colliding _ with itself : see figure  [ fig : sfvisaw ] . additionally , we define a straight segment of the trail by two consecutive parallel edges , and we associate an energy @xmath25 to each straight segment of the trail , modelling the stiffness of the polymer chain .    ) collisions associated with a boltzmann weight @xmath26 and five ( @xmath27 ) straight segments , each associated with a boltzmann weight @xmath28 . ]    for each configuration @xmath23 we count the number @xmath29 of doubly - visited sites and @xmath30 of straight segments : see figure  [ fig : sfvisaw ] . hence we associate with each configuration a boltzmann weight @xmath31 where @xmath32 , @xmath33 , and @xmath34 is the inverse temperature @xmath35 . the partition function of the model is given by @xmath36 the finite - length reduced free energy is @xmath37 and the thermodynamic limit is obtained by taking the limit of large @xmath38 , i.e. , @xmath39 it is expected that there is a collapse phase transition at a temperature @xmath40 characterized by a non - analyticity in @xmath41 . equivalently , one can think of varying @xmath26 at fixed @xmath28 so that there is a collapse at some value of @xmath42 . the probability of a configuration @xmath43 is then @xmath44 and the average of any quantity @xmath45 over the ensemble set of path @xmath22 is given generically by @xmath46 in this paper we are interested in the following quantities . we calculate three measures of the size of the polymer , @xmath47 , @xmath48 and @xmath49 , defined as follows . we specify any @xmath38-step path @xmath43 on a lattice by a sequence @xmath50 of vector positions of the vertices of that path . firstly , we are interested in the average - square end - to - end distance @xmath51 secondly , the ensemble average of the mean - square distance of a monomer from the endpoints @xmath52 and defining the average centre - of - mass as @xmath53 we , thirdly , are interested in the average radius - of - gyration @xmath54 in the above formulae we use @xmath55 .      the partition function at , and above , the collapse temperature is believed to scale as @xmath56 where @xmath57 is known as the connective ` constant ' and is related to the thermodynamic free energy via @xmath58 the constant @xmath59 is also temperature dependent but @xmath60 is expected to be universal , depending only on the temperature in as much as its value is above , or at , the collapse temperature . in two dimensions it is well established @xcite that for @xmath61 ( equivalently @xmath62 ) we have @xmath63 . the collapse transition can also be characterized via a change in the scaling of the size of the polymer with temperature . the three measures of the size of the polymer defined above are expected to scale as @xmath64 where the amplitude @xmath65 is non - universal and temperature dependent , while @xmath7 is expected to be universal , depending only on the temperature in as much as its value is above , at , or below , the collapse point . in two dimensions it is also estabslished @xcite that @xmath66 for @xmath61 . duplantier and saleur @xcite identified a tri - critical point , known as the @xmath8-point , which is expected to describe the collapse of a polymer in two dimensions . this point has thermal and magnetic scaling dimensions @xmath67 , @xmath68 and consequently polymer exponents @xmath16 and @xmath17 . on the other hand , warnaar _ et al .  _ @xcite predicted @xmath69 and @xmath70 for the semi - flexible visaw model at its collapse point . one can also usefully define the finite - length amplitude ratios @xmath71 since these approach universal values @xcite @xmath72 in the limit @xmath73 . for collapsing polymers , the limiting values should depend only on dimension and whether the temperature is above or at the collapse transition point .    for free self - avoiding walks ( which should include the visaw model at high temperatures ) it was predicted @xcite that @xmath74 in the derivation @xcite of this invariant the factor multiplying @xmath75 was given by @xmath76 where @xmath77 and @xmath78 are the thermal and magnetic renormalisation group eigenvalues , respectively , of the dilute o(0 ) model . these eigenvalues are related to the conformal scaling dimensions via @xmath79 . hence @xmath80 the identity ( [ eqn : identity ] ) implies that one can estimate this function of the scaling dimensions as @xmath81 from estimates of @xmath75 and @xmath82 . this was done for various collapse models in @xcite . hence , if we have a conjectured value of one of the scaling dimensions we can estimate the other from an estimate of @xmath83 . the special multi - critical point of the @xmath10 model that maps to the semi- flexible visaw and allows for the calculation of the scaling dimensions via the bethe ansatz is given by special values of the parameters in the grand canonical partition function    @xmath84    the location of this point is reported exactly in @xcite @xmath85      [ 1 + 2\sin(\theta/2)]^2 \right\}^{-1 } \\ k_{bn } & = -4 w    \sin(\theta/2 ) \cos(\pi/4 - \theta/4 ) \\ p_{bn } k_{bn } & = w [ 1 + 2\sin(\theta/2 ) ] \\ \theta & = -\pi/4 \qquad \text{(branch 3 in \cite{blote1989a - a})}\ ; .\end{aligned}\ ] ] alternatively , this can be expressed in explicit algebraic numbers or evaluated numerically as @xmath86 , @xmath87 , and @xmath88 .    from the value of @xmath89 we can give the conjectured value of the connective constant @xmath57 in the canonical model ( [ eq : canonical ] ) at fixed boltzmann weights @xmath90 as @xmath91 the set of scaling dimensions evaluated in @xcite at this ( multi-)critical point are @xmath92 the thermal @xmath93 and magnetic @xmath94 scaling dimensions were identified @xcite as @xmath95 it can be seen that these scaling dimensions are not those of unweighted self - avoiding walks ; this is compatible with the hypothesis that they are those of a collapse multi - critical point . the exponents @xmath7 and @xmath60 were then calculated @xcite in the standard way as @xmath96 we simulated the model ( [ eq : canonical ] ) at the fixed values of @xmath97 and @xmath98 using the pruned - enriched rosenbluth method ( perm ) @xcite . this method is based on the traditional rosenbluth and rosenbluth sampling method where biased samples of polymer configurations are generated along with a weight factor such that the weighted average over all polymer configurations will converge towards the correct boltzmann average . perm improves the efficiency of this algorithm by making multiple copies of partially grown chains that have a large statistical weight ( enriching ) and discarding configurations with small statistical weight ( pruning ) . we ran three simulations with maximal length @xmath99 , @xmath100 and @xmath4 , growing @xmath101 independent walks each and collecting from @xmath102 to @xmath103 samples at each maximal length . the number of samples adjusted by the number of their independent growth steps is between @xmath104 and @xmath105 `` effective samples '' .     of the polymer size , the mean - square end - to - end distance @xmath106 ( top ) , the square of the radius of gyration @xmath107 ( bottom ) , and the mean - square distance of a monomer to its end points @xmath108 ( middle ) versus the length @xmath38 of the path . the data from different simulations up to lengths @xmath109 ( blue circles ) , @xmath100 ( green triangles ) , and @xmath4 ( red line ) clearly overlap . the exponent estimates for @xmath7 shown are derived from fitting straight lines through lengths @xmath109 to @xmath100 and @xmath100 to @xmath4 , respectively . ]    in figure  [ fig : r ] we plot on a double - logarithmic scale the three different measures @xmath110 of the polymer size . from various fits we consistently find estimates of @xmath7 near @xmath9 rather than @xmath21 . our best estimate is    @xmath111    this leads to an estimate of the thermal scaling dimension as @xmath112     versus the length @xmath38 of the path . the difference between data from different simulations up to lengths @xmath109 , @xmath100 , and @xmath4 indicate the accuracy achieved . the exponent estimate for @xmath60 shown is derived from fitting straight lines through lengths @xmath113 to @xmath109 to data from the best - converged simulation . ]    to obtain an estimate of @xmath60 we looked at the scaling of the canonical partition function . we first measured @xmath57 by a simple linear fit obtaining @xmath114 , and observing that our value matches the value obtained from the bn - model , we then assumed @xmath115 . we hence plotted , in figure  [ fig : z ] , on a double - logarithmic scale the normalized partition function @xmath116 versus the length @xmath38 of the path . this allows us to estimate @xmath60 from straight line fits which we give as @xmath117 interestingly , this value is different from both the @xmath8-point value of @xmath118 and the bn - point @xmath119 . using @xmath120 and our estimates of @xmath60 and @xmath7 in equations  ( [ eqn : gamma - estimate ] ) and ( [ eqn : nu - estimate ] ) gives us the estimate @xmath121 we point out that this estimate is positive while the conjectured value above in equation  ( [ eqn : bn - scaling - dims ] ) is not . versus @xmath122 , together with a straight - line fit . the difference between data from different simulations up to lengths @xmath109 , @xmath100 , and @xmath4 indicate the accuracy achieved . the extrapolated value for @xmath83 shown is derived from fitting straight lines through lengths @xmath113 to @xmath109 to data from the best - converged simulation . ]    to obtain an independent estimate of @xmath94 we attempted to estimate the universal quantity @xmath83 described above . in figure [ fig : lambda ] we plot the finite - size amplitude ratio combination @xmath123 versus @xmath122 , which is the natural scale given the results above for the size measures . we find an estimate of this universal value as @xmath124 unfortunately , the error estimate here is relatively larger than that estimated from the partition function analysis and we estimated @xmath125 , which encompasses our more precise estimate in ( [ eqn : xh - estimate ] ) . for the sake of completeness we have also found estimates of the universal amplitude ratios @xmath126 and @xmath127 by fitting against a correction of @xmath122 , which provide consistent straight fit extrapolations @xmath128 these values of @xmath126 and @xmath127 are different from the values for any of the three collapse models considered in @xcite . we have simulated the special point , known as the bn ( blte - nienhuis ) point , of the semi - flexible visaw model of polymer collapse , which is associated with an integrable branch of the @xmath10 loop model @xcite . the exponent estimates we find , @xmath129 and @xmath130 , are not in accord with those previously found from the @xmath10 loop model . our estimate of @xmath7 is compatible with the value accepted for the @xmath8-point , which is @xmath131 , and in good agreement with the results of foster and pinettes @xcite who have used transfer matrices and dmrg . however , our estimate of @xmath60 is not comparable to any known value . we have found estimates of @xmath60 via two different methods : one method we used involved the direct estimation of the exponent from the partition function , and the other used results from conformal field theory and universal amplitude ratios of different size measures of the polymer ; our estimates from these two methods broadly agree . our results seem to suggest that the bn point is @xmath8 like , at least with respect to its size scaling exponent with @xmath16 . this may seem at odds with our recent claim @xcite that the visaws , which do nt weight straight segments and have @xmath132 in the notation of this paper , have a collapse transition in the same universality class as the interacting self - avoiding trails @xcite . this was based , however , upon analysis of the specific heat . of course , the two claims are not in direct contradiction but they lie uncomfortably together . in particular , it leaves open the question whether the conclusion that the isat universality class extends down to , and importantly includes , the visaw line , where the weight for crossings segments ( @xmath133 in @xcite ) vanishes . on the other hand , if both claims are true , there must be a change of universality class on varying @xmath28 . it should be emphasised however that an estimate of the exponent @xmath7 for collapsing visaws is not available at the moment , since the lack of knowledge of the exact location of the transition for @xmath134 makes obtaining good estimates a significantly harder task . clearly , something subtle is occurring in this system if our numerical analysis is accurate . of course , large corrections to scaling may be at work here . in any case , further theoretical work is needed to tease out this issue .    financial support from the australian research council via its support for the centre of excellence for mathematics and statistics of complex systems and through its discovery program is gratefully acknowledged by the authors . a l owczarek thanks the school of mathematical sciences , queen mary , university of london for hospitality .
Abstract:

Answer: we revisit an integrable lattice model of polymer collapse using numerical simulations . this model was first studied by blte and nienhuis in j. phys . a. * 22 * , 1415 ( 1989 ) and it describes polymers with some attraction , providing thus a model for the polymer collapse transition . at a particular set of boltzmann weights the model is integrable and the exponents @xmath0 and @xmath1 have been computed via identification of the scaling dimensions @xmath2 and @xmath3 . we directly investigate the polymer scaling exponents via monte carlo simulations using the perm algorithm . by simulating this polymer model for walks up to length @xmath4 we find @xmath5 and @xmath6 , which are clearly different from the predicted values . our estimate for the exponent @xmath7 is compatible with the known @xmath8-point value of @xmath9 and in agreement with very recent numerical evaluation by foster and pinettes @xcite .


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: statistical mechanics of random networks gained recently many applications in interdisciplinary sciences . the list of references is already very rich ; in almost each year new monographies appear @xcite . in theory , the promising challenge is to investigate collective phenomena in networks @xcite . more than often it is useful to decorate nodes @xmath7 with additional variables , as ising spins @xmath8 . properties of such networks are of interest for theory of computations , as inference problems , but also for the theory of disordered magnetic systems . here we are interested in the spin - glass phase of the small - world random networks . + for trees , where closed loops are absent , there is a consistent theory of ising magnetism , i.e. the bethe theory @xcite . once the loops appear in the system , the bethe theory becomes an approximation . in our system , small loops are introduced when we enhance the clustering coefficient @xcite . still , the results of the bethe theory are useful as a point of reference . as it was demonstrated in @xcite , the accordance of the numerical results with this theory was deteriorated when @xmath0 increases . on the other hand , there is at least one periodic two - dimensional ising lattice when all bonds are antiferromagnetic , the density of frustration is high and the transition temperature is positive ; this is one of the archimedean lattices @xcite . the ground state of this system is highly frustrated , but at least some of the energy barriers between different states remain finite . although at zero field the net magnetization is zero , there is no disorder in the system ; therefore it is hard to speak about the spin - glass phase . then , the @xmath9 ) archimedean lattice can be compared to our system in the case where @xmath0 is maximal . + recently we investigated the transition from the paramagnetic to the spin - glass phase in the random erds - rnyi network with enhanced clustering coefficient @xmath0 @xcite . the enhancement is introduced by adding new links between neighbours of the same sites @xcite . in this way , @xmath0 varied from almost zero to about 0.3 . the main result was the transition temperature @xmath10 dependence on the clustering coefficient @xmath0 . however , in the numerical plots the transition was partially hidden by the contribution of spins which could flip with zero energy cost . that is why here we investigate the same transition in the regular random network , where the degree of each node is an odd number - here it is equal to three . in such systems no spin can flip at zero energy cost in zero external magnetic field . + in the next section we show the method and the numerical results . in section iii the transition temperature @xmath2 is compared with the predictions of the bethe theory . short discussion closes the text . initial form of the constructed network is prepared as an even number @xmath11 of unlinked nodes . the system is divided into two equal parts . three dangling links are assigned to each node . then , the links of one part of nodes are randomly joint to links of the second part . in this way , initially the system is bipartite , with the clustering coefficient @xmath0 equal to zero provided that the number of nodes is large enough . next step is performed for each node with the probability @xmath12 : the node is substituted by a group of three nodes , mutually linked . after this substitution , three previous neighbours of the node are linked to the nodes of the group . in this way , the degree of each node remains exactly three . as the ising interaction is exclusively antiferromagnetic , the frustration is purely geometrical . when @xmath3 , there is no frustration . the density of frustrated bonds increases with @xmath0 . if @xmath13 , the clustering is maximal and for each node , two out of its three neigbours are linked to each other ; then @xmath14 . the final number of nodes is @xmath15 ; for each @xmath12 the amount @xmath11 is chosen as to get approximately the same @xmath16 . + the heat - bath monte carlo algorithm is applied to investigate the magnetic properties : the susceptibility @xmath17 , the specific heat @xmath18 and the edwards - anderson order parameter @xmath1 . @xmath17 can be calculated from the field derivative of the magnetization @xmath19 or from the variance of the spectrum of @xmath20 . similarly @xmath18 can be obtained from the temperature derivative of energy or from the variance of the energy fluctuations . the parameter @xmath1 is calculated from the formula @xcite    @xmath21 ^ 2\ ] ]    the antiferromagnetic exchange integral @xmath22 is set to -1 . as a rule , the calculations are performed for @xmath16 equal at least @xmath23 spins . the time of calculation - after a necessary transient - was usually @xmath24 steps , where one step is equivalent to probing @xmath16 spins in random order . the results are limited to temperature @xmath25 , where the transient time for relaxation of energy was smaller than @xmath26 timesteps . +    in fig . 1 we show the magnetic susceptibilities @xmath27 for different values of the clustering coefficient @xmath0 . the temperature is expressed in energy units @xmath28 . the finite size effect is checked for @xmath3 and @xmath29 ; the differences between @xmath30 and @xmath31 are invisible . as a rule , the plots obtained from the field derivative of the magnetization coincide with those from the variance of the magnetization at zero field above the transition temperature . below @xmath2 , the curves split for intermediate values of @xmath0 ( between 0.1 and 0.29 ) . the plots for the magnetic specific heat obtained from the variance of energy ( figs . 2 and 3 ) and from its thermal derivative coincide in most cases , even below @xmath2 and for intermediate values of @xmath0 . however , the data from the maxima of the specific heat are known to provide an evaluation of the upper limit of the transition temperature @xmath2 rather than @xmath2 itself . the results on @xmath2 obtained by different methods are compared in fig . as we see , there is a systematic split between @xmath2 obtained from @xmath32 and @xmath2 obtained from @xmath18 , but the character of the curve @xmath33 is preserved . in fig . 4 we show the data on @xmath2 obtained from the thermal dependence of the edwards - anderson order parameter @xmath1 . these data also show a decrease of @xmath2 with @xmath0 . however , this decrease persists till @xmath34 , where our numerical results are less reliable . + for @xmath3 the network is bipartite . although the interaction is antiferromagnetic , the system is equivalent to a ferromagnet . to see this , we have to flip spins at half of nodes and to invert simultaneously the sign of all exchange integrals @xmath22 from -1 to + 1 . the formula for the curie temperature ( @xmath35 ) for the regular bethe lattice with the coordination number @xmath36 is @xcite        for @xmath39 the system contains loops and it is no more equivalent to a ferromagnet . on the other hand , the network is no more a regular bethe lattice . the number of second neighbours decreases gradually with @xmath12 from 6 when @xmath40 to 4 when @xmath13 . the latter case is , however , in some sense more regular than the one with smaller @xmath12 , because all nodes have again the same number of the second neighbours . then the nel temperature ( @xmath38 ) between the paramagnetic and the antiferromagnetic phase is to be found from          where @xmath43 is the average branching parameter , i.e. @xmath44 , where @xmath45 ( @xmath46 ) is the average number of first ( second ) neighbours @xcite . + although the data from the specific heat fit better to the bethe theory , it is known that the position of the maximum of @xmath18 is rather the upper bound of the transition temperature than this temperature itself . +    the numerical results indicate , that for @xmath3 the low - temperature phase is antiferromagnetic . they also suggest that for @xmath47 and @xmath48 the system becomes a spin glass . however , the identity of this phase remains not clear . for @xmath14 the system can be compared to the @xmath49 archimedean lattice @xcite with random rewiring . we can expect that the ground state is degenerated in the same way as in this archimedean lattice . however , the condition is that the rewiring does not destroy the small triangles introduced when @xmath0 is enhanced . in this way the frustration is not altered by rewiring : the frustration remains local . then , there is frustration and disorder , but the disorder does not influence the frustration . on the other hand , the energy barriers between the local energy minima remain finite , because the system can move from one minimum to another by flipping a finite amount of spins . although the system behaves as a spin glass , some ingredients of this mysterious phase are missing . +    to summarize , our intention was to compare the numerical results on the transition temperature @xmath2 with the results of the bethe approximation . in ref . @xcite , distinct departures have been found between the bethe theory and the numerical experiment . here the departure is smaller and quantitative rather than qualitative . as a rule , the transition temperature is overestimated by the bethe approximation . most important difference between the system considered in this text and the system discussed in ref . @xcite is the degree distribution . this suggests , that the qualitative departure of the results of ref . @xcite from those of the bethe approximation is due to the variance of the degree distribution . +      88 a .- barabasi , _ linked : how everything is connected to everything else and what it means for business , science , and everyday life _ , plume books , new york 2003 . s. n. dorogovtsev and j. f. f. mendes , _ evolution of networks : from biological nets to the internet and www _ , oxford up , oxford 2003 . , eds . s. bornholdt and h. g. schuster , wiley - vch , berlin 2003 . r. pastor - satorras and a. vespignani , _ evolution and structure of the internet : a statistical physics approach _ , cambridge up , cambridge 2004 . r. durrett , _ random graph dynamics _ , cambridge up , cambridge 2006 . g. caldarelli , _ scale - free networks _ , oxford up , oxford 2007 . s. n. dorogovtsev and a. v. goltsev , _ critical phenomena in complex networks _ , rev . mod . phys . * 80 * ( 2008 ) 1275 . s. katsura and m. takizawa , _ bethe lattice and bethe approximation _ , prog . * 51 * ( 1974 ) 82 . r. j. baxter , _ exactly solved models in statistical mechanics _ , academic press , london 1982 . j. m. mooij and h. j. kappen , _ on the properties of the bethe approximation and loopy belief propagation on binary networks _ , j. stat . mechanics : theory and experiment ( 2005 ) p11012 . p. holme and b. j. kim , _ growing scale - free networks with tunable clustering _ , e * 65 * ( 2002 ) 026107 . a. maka , k. malarz and k. kuakowski , _ clusterization , frustration and collectivity in random networks _ , c * 18 * ( 2007 ) 1765 . m. j. krawczyk , k. malarz , b. kawecka - magiera , a. z. maksymowicz and k. kuakowski , _ spin - glass properties of an ising antiferromagnet on the archimedean @xmath49 lattice _ , b * 72 * ( 2005 ) 24445 . k. binder and a. p. young , _ spin glasses : experimental facts , theoretical concepts , and open questions _ , rev . * 58 * ( 1986 ) 801 .
Abstract:

Answer: we consider a regular random network where each node has exactly three neighbours . ising spins at the network nodes interact antiferromagnetically along the links . the clustering coefficient @xmath0 is tuned from zero to 1/3 by adding new links . at the same time , the density of geometrically frustrated links increases . we calculate the magnetic specific heat , the spin susceptibility and the edwards - anderson order parameter @xmath1 by means of the heat - bath monte carlo simulations . the aim is the transition temperature @xmath2 dependence on the clustering coefficient @xmath0 . the results are compared with the predictions of the bethe approximation . at @xmath3 , the network is bipartite and the low temperature phase is antiferromagnetic . when @xmath0 increases , the critical temperature falls down towards the values which are close to the theoretical predictions for the spin - glass phase . * magnetism of frustrated regular networks *    anna maka - kraso@xmath4 and krzysztof kuakowski@xmath5    _ faculty of physics and applied computer science , agh university of science and technology , al . mickiewicza 30 , pl-30059 krakw , poland + _ @xmath6kulakowski@novell.ftj.agh.edu.pl    _ pacs numbers : 75.30.kz , 64.60.aq , 05.10.ln_    _ keywords : antiferromagnetism , spin glass , disorder , frustration , regular random networks _