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: for about 20 years the problem of properties of short - term changes of solar activity has been considered extensively . many investigators studied the short - term periodicities of the various indices of solar activity . several periodicities were detected , but the periodicities about 155 days and from the interval of @xmath3 $ ] days ( @xmath4 $ ] years ) are mentioned most often . first of them was discovered by @xcite in the occurence rate of gamma - ray flares detected by the gamma - ray spectrometer aboard the _ solar maximum mission ( smm ) . this periodicity was confirmed for other solar flares data and for the same time period @xcite . it was also found in proton flares during solar cycles 19 and 20 @xcite , but it was not found in the solar flares data during solar cycles 22 @xcite . _    several autors confirmed above results for the daily sunspot area data . @xcite studied the sunspot data from 18741984 . she found the 155-day periodicity in data records from 31 years . this periodicity is always characteristic for one of the solar hemispheres ( the southern hemisphere for cycles 1215 and the northern hemisphere for cycles 1621 ) . moreover , it is only present during epochs of maximum activity ( in episodes of 13 years ) . similarinvestigationswerecarriedoutby + @xcite . they applied the same power spectrum method as lean , but the daily sunspot area data ( cycles 1221 ) were divided into 10 shorter time series . the periodicities were searched for the frequency interval 57115 nhz ( 100200 days ) and for each of 10 time series . the authors showed that the periodicity between 150160 days is statistically significant during all cycles from 16 to 21 . the considered peaks were remained unaltered after removing the 11-year cycle and applying the power spectrum analysis . @xcite used the wavelet technique for the daily sunspot areas between 1874 and 1993 . they determined the epochs of appearance of this periodicity and concluded that it presents around the maximum activity period in cycles 16 to 21 . moreover , the power of this periodicity started growing at cycle 19 , decreased in cycles 20 and 21 and disappered after cycle 21 . similaranalyseswerepresentedby + @xcite , but for sunspot number , solar wind plasma , interplanetary magnetic field and geomagnetic activity index @xmath5 . during 1964 - 2000 the sunspot number wavelet power of periods less than one year shows a cyclic evolution with the phase of the solar cycle.the 154-day period is prominent and its strenth is stronger around the 1982 - 1984 interval in almost all solar wind parameters . the existence of the 156-day periodicity in sunspot data were confirmed by @xcite . they considered the possible relation between the 475-day ( 1.3-year ) and 156-day periodicities . the 475-day ( 1.3-year ) periodicity was also detected in variations of the interplanetary magnetic field , geomagnetic activity helioseismic data and in the solar wind speed @xcite . @xcite concluded that the region of larger wavelet power shifts from 475-day ( 1.3-year ) period to 620-day ( 1.7-year ) period and then back to 475-day ( 1.3-year ) . the periodicities from the interval @xmath6 $ ] days ( @xmath4 $ ] years ) have been considered from 1968 . @xcite mentioned a 16.3-month ( 490-day ) periodicity in the sunspot numbers and in the geomagnetic data . @xcite analysed the occurrence rate of major flares during solar cycles 19 . they found a 18-month ( 540-day ) periodicity in flare rate of the norhern hemisphere . @xcite confirmed this result for the @xmath7 flare data for solar cycles 20 and 21 and found a peak in the power spectra near 510540 days . @xcite found a 17-month ( 510-day ) periodicity of sunspot groups and their areas from 1969 to 1986 . these authors concluded that the length of this period is variable and the reason of this periodicity is still not understood . @xcite and + @xcite obtained statistically significant peaks of power at around 158 days for daily sunspot data from 1923 - 1933 ( cycle 16 ) . in this paper the problem of the existence of this periodicity for sunspot data from cycle 16 is considered . the daily sunspot areas , the mean sunspot areas per carrington rotation , the monthly sunspot numbers and their fluctuations , which are obtained after removing the 11-year cycle are analysed . in section 2 the properties of the power spectrum methods are described . in section 3 a new approach to the problem of aliases in the power spectrum analysis is presented . in section 4 numerical results of the new method of the diagnosis of an echo - effect for sunspot area data are discussed . in section 5 the problem of the existence of the periodicity of about 155 days during the maximum activity period for sunspot data from the whole solar disk and from each solar hemisphere separately is considered . to find periodicities in a given time series the power spectrum analysis is applied . in this paper two methods are used : the fast fourier transformation algorithm with the hamming window function ( fft ) and the blackman - tukey ( bt ) power spectrum method @xcite . the bt method is used for the diagnosis of the reasons of the existence of peaks , which are obtained by the fft method . the bt method consists in the smoothing of a cosine transform of an autocorrelation function using a 3-point weighting average . such an estimator is consistent and unbiased . moreover , the peaks are uncorrelated and their sum is a variance of a considered time series . the main disadvantage of this method is a weak resolution of the periodogram points , particularly for low frequences . for example , if the autocorrelation function is evaluated for @xmath8 , then the distribution points in the time domain are : @xmath9 thus , it is obvious that this method should not be used for detecting low frequency periodicities with a fairly good resolution . however , because of an application of the autocorrelation function , the bt method can be used to verify a reality of peaks which are computed using a method giving the better resolution ( for example the fft method ) . it is valuable to remember that the power spectrum methods should be applied very carefully . the difficulties in the interpretation of significant peaks could be caused by at least four effects : a sampling of a continuos function , an echo - effect , a contribution of long - term periodicities and a random noise . first effect exists because periodicities , which are shorter than the sampling interval , may mix with longer periodicities . in result , this effect can be reduced by an decrease of the sampling interval between observations . the echo - effect occurs when there is a latent harmonic of frequency @xmath10 in the time series , giving a spectral peak at @xmath10 , and also periodic terms of frequency @xmath11 etc . this may be detected by the autocorrelation function for time series with a large variance . time series often contain long - term periodicities , that influence short - term peaks . they could rise periodogram s peaks at lower frequencies . however , it is also easy to notice the influence of the long - term periodicities on short - term peaks in the graphs of the autocorrelation functions . this effect is observed for the time series of solar activity indexes which are limited by the 11-year cycle .    to find statistically significant periodicities it is reasonable to use the autocorrelation function and the power spectrum method with a high resolution . in the case of a stationary time series they give similar results . moreover , for a stationary time series with the mean zero the fourier transform is equivalent to the cosine transform of an autocorrelation function @xcite . thus , after a comparison of a periodogram with an appropriate autocorrelation function one can detect peaks which are in the graph of the first function and do not exist in the graph of the second function . the reasons of their existence could be explained by the long - term periodicities and the echo - effect . below method enables one to detect these effects . ( solid line ) and the 95% confidence level basing on thered noise ( dotted line ) . the periodogram values are presented on the left axis . the lower curve illustrates the autocorrelation function of the same time series ( solid line ) . the dotted lines represent two standard errors of the autocorrelation function . the dashed horizontal line shows the zero level . the autocorrelation values are shown in the right axis . ]     because the statistical tests indicate that the time series is a white noise the confidence level is not marked . ]    . ] the method of the diagnosis of an echo - effect in the power spectrum ( de ) consists in an analysis of a periodogram of a given time series computed using the bt method . the bt method bases on the cosine transform of the autocorrelation function which creates peaks which are in the periodogram , but not in the autocorrelation function . the de method is used for peaks which are computed by the fft method ( with high resolution ) and are statistically significant . the time series of sunspot activity indexes with the spacing interval one rotation or one month contain a markov - type persistence , which means a tendency for the successive values of the time series to remember their antecendent values . thus , i use a confidence level basing on the red noise of markov @xcite for the choice of the significant peaks of the periodogram computed by the fft method . when a time series does not contain the markov - type persistence i apply the fisher test and the kolmogorov - smirnov test at the significance level @xmath12 @xcite to verify a statistically significance of periodograms peaks . the fisher test checks the null hypothesis that the time series is white noise agains the alternative hypothesis that the time series contains an added deterministic periodic component of unspecified frequency . because the fisher test tends to be severe in rejecting peaks as insignificant the kolmogorov - smirnov test is also used . the de method analyses raw estimators of the power spectrum . they are given as follows    @xmath13    for @xmath14 + where @xmath15 for @xmath16 + @xmath17 is the length of the time series @xmath18 and @xmath19 is the mean value . the first term of the estimator @xmath20 is constant . the second term takes two values ( depending on odd or even @xmath21 ) which are not significant because @xmath22 for large m. thus , the third term of ( 1 ) should be analysed . looking for intervals of @xmath23 for which @xmath24 has the same sign and different signs one can find such parts of the function @xmath25 which create the value @xmath20 . let the set of values of the independent variable of the autocorrelation function be called @xmath26 and it can be divided into the sums of disjoint sets : @xmath27 where + @xmath28 + @xmath29 @xmath30 @xmath31 + @xmath32 + @xmath33 @xmath34 @xmath35 @xmath36 @xmath37 @xmath38 @xmath39 @xmath40    well , the set @xmath41 contains all integer values of @xmath23 from the interval of @xmath42 for which the autocorrelation function and the cosinus function with the period @xmath43 $ ] are positive . the index @xmath44 indicates successive parts of the cosinus function for which the cosinuses of successive values of @xmath23 have the same sign . however , sometimes the set @xmath41 can be empty . for example , for @xmath45 and @xmath46 the set @xmath47 should contain all @xmath48 $ ] for which @xmath49 and @xmath50 , but for such values of @xmath23 the values of @xmath51 are negative . thus , the set @xmath47 is empty .    . the periodogram values are presented on the left axis . the lower curve illustrates the autocorrelation function of the same time series . the autocorrelation values are shown in the right axis . ] let us take into consideration all sets \{@xmath52 } , \{@xmath53 } and \{@xmath41 } which are not empty . because numberings and power of these sets depend on the form of the autocorrelation function of the given time series , it is impossible to establish them arbitrary . thus , the sets of appropriate indexes of the sets \{@xmath52 } , \{@xmath53 } and \{@xmath41 } are called @xmath54 , @xmath55 and @xmath56 respectively . for example the set @xmath56 contains all @xmath44 from the set @xmath57 for which the sets @xmath41 are not empty . to separate quantitatively in the estimator @xmath20 the positive contributions which are originated by the cases described by the formula ( 5 ) from the cases which are described by the formula ( 3 ) the following indexes are introduced : @xmath58 @xmath59 @xmath60 @xmath61 where @xmath62 @xmath63 @xmath64 taking for the empty sets \{@xmath53 } and \{@xmath41 } the indices @xmath65 and @xmath66 equal zero . the index @xmath65 describes a percentage of the contribution of the case when @xmath25 and @xmath51 are positive to the positive part of the third term of the sum ( 1 ) . the index @xmath66 describes a similar contribution , but for the case when the both @xmath25 and @xmath51 are simultaneously negative . thanks to these one can decide which the positive or the negative values of the autocorrelation function have a larger contribution to the positive values of the estimator @xmath20 . when the difference @xmath67 is positive , the statement the @xmath21-th peak really exists can not be rejected . thus , the following formula should be satisfied : @xmath68    because the @xmath21-th peak could exist as a result of the echo - effect , it is necessary to verify the second condition :    @xmath69\in c_m.\ ] ]    . the periodogram values are presented on the left axis . the lower curve illustrates the autocorrelation function of the same time series ( solid line ) . the dotted lines represent two standard errors of the autocorrelation function . the dashed horizontal line shows the zero level . the autocorrelation values are shown in the right axis . ]    to verify the implication ( 8) firstly it is necessary to evaluate the sets @xmath41 for @xmath70 of the values of @xmath23 for which the autocorrelation function and the cosine function with the period @xmath71 $ ] are positive and the sets @xmath72 of values of @xmath23 for which the autocorrelation function and the cosine function with the period @xmath43 $ ] are negative . secondly , a percentage of the contribution of the sum of products of positive values of @xmath25 and @xmath51 to the sum of positive products of the values of @xmath25 and @xmath51 should be evaluated . as a result the indexes @xmath65 for each set @xmath41 where @xmath44 is the index from the set @xmath56 are obtained . thirdly , from all sets @xmath41 such that @xmath70 the set @xmath73 for which the index @xmath65 is the greatest should be chosen .    the implication ( 8) is true when the set @xmath73 includes the considered period @xmath43 $ ] . this means that the greatest contribution of positive values of the autocorrelation function and positive cosines with the period @xmath43 $ ] to the periodogram value @xmath20 is caused by the sum of positive products of @xmath74 for each @xmath75-\frac{m}{2k},[\frac{2m}{k}]+\frac{m}{2k})$ ] .    when the implication ( 8) is false , the peak @xmath20 is mainly created by the sum of positive products of @xmath74 for each @xmath76-\frac{m}{2k},\big [ \frac{2m}{n}\big ] + \frac{m}{2k } \big ) $ ] , where @xmath77 is a multiple or a divisor of @xmath21 . it is necessary to add , that the de method should be applied to the periodograms peaks , which probably exist because of the echo - effect . it enables one to find such parts of the autocorrelation function , which have the significant contribution to the considered peak . the fact , that the conditions ( 7 ) and ( 8) are satisfied , can unambiguously decide about the existence of the considered periodicity in the given time series , but if at least one of them is not satisfied , one can doubt about the existence of the considered periodicity . thus , in such cases the sentence the peak can not be treated as true should be used .    using the de method it is necessary to remember about the power of the set @xmath78 . if @xmath79 is too large , errors of an autocorrelation function estimation appear . they are caused by the finite length of the given time series and as a result additional peaks of the periodogram occur . if @xmath79 is too small , there are less peaks because of a low resolution of the periodogram . in applications @xmath80 is used . in order to evaluate the value @xmath79 the fft method is used . the periodograms computed by the bt and the fft method are compared . the conformity of them enables one to obtain the value @xmath79 .    . the fft periodogram values are presented on the left axis . the lower curve illustrates the bt periodogram of the same time series ( solid line and large black circles ) . the bt periodogram values are shown in the right axis . ] in this paper the sunspot activity data ( august 1923 - october 1933 ) provided by the greenwich photoheliographic results ( gpr ) are analysed . firstly , i consider the monthly sunspot number data . to eliminate the 11-year trend from these data , the consecutively smoothed monthly sunspot number @xmath81 is subtracted from the monthly sunspot number @xmath82 where the consecutive mean @xmath83 is given by @xmath84 the values @xmath83 for @xmath85 and @xmath86 are calculated using additional data from last six months of cycle 15 and first six months of cycle 17 .    because of the north - south asymmetry of various solar indices @xcite , the sunspot activity is considered for each solar hemisphere separately . analogously to the monthly sunspot numbers , the time series of sunspot areas in the northern and southern hemispheres with the spacing interval @xmath87 rotation are denoted . in order to find periodicities , the following time series are used : + @xmath88   + @xmath89    + @xmath90     + in the lower part of figure [ f1 ] the autocorrelation function of the time series for the northern hemisphere @xmath88 is shown . it is easy to notice that the prominent peak falls at 17 rotations interval ( 459 days ) and @xmath25 for @xmath91 $ ] rotations ( [ 81 , 162 ] days ) are significantly negative . the periodogram of the time series @xmath88 ( see the upper curve in figures [ f1 ] ) does not show the significant peaks at @xmath92 rotations ( 135 , 162 days ) , but there is the significant peak at @xmath93 ( 243 days ) . the peaks at @xmath94 are close to the peaks of the autocorrelation function . thus , the result obtained for the periodicity at about @xmath0 days are contradict to the results obtained for the time series of daily sunspot areas @xcite .    for the southern hemisphere ( the lower curve in figure [ f2 ] ) @xmath25 for @xmath95 $ ] rotations ( [ 54 , 189 ] days ) is not positive except @xmath96 ( 135 days ) for which @xmath97 is not statistically significant . the upper curve in figures [ f2 ] presents the periodogram of the time series @xmath89 . this time series does not contain a markov - type persistence . moreover , the kolmogorov - smirnov test and the fisher test do not reject a null hypothesis that the time series is a white noise only . this means that the time series do not contain an added deterministic periodic component of unspecified frequency . the autocorrelation function of the time series @xmath90 ( the lower curve in figure [ f3 ] ) has only one statistically significant peak for @xmath98 months ( 480 days ) and negative values for @xmath99 $ ] months ( [ 90 , 390 ] days ) . however , the periodogram of this time series ( the upper curve in figure [ f3 ] ) has two significant peaks the first at 15.2 and the second at 5.3 months ( 456 , 159 days ) . thus , the periodogram contains the significant peak , although the autocorrelation function has the negative value at @xmath100 months .    to explain these problems two following time series of daily sunspot areas are considered : + @xmath101   + @xmath102     + where @xmath103    the values @xmath104 for @xmath105 and @xmath106 are calculated using additional daily data from the solar cycles 15 and 17 .     and the cosine function for @xmath45 ( the period at about 154 days ) . the horizontal line ( dotted line ) shows the zero level . the vertical dotted lines evaluate the intervals where the sets @xmath107 ( for @xmath108 ) are searched . the percentage values show the index @xmath65 for each @xmath41 for the time series @xmath102 ( in parentheses for the time series @xmath101 ) . in the right bottom corner the values of @xmath65 for the time series @xmath102 , for @xmath109 are written . ] ( the 500-day period ) ]    the comparison of the functions @xmath25 of the time series @xmath101 ( the lower curve in figure [ f4 ] ) and @xmath102 ( the lower curve in figure [ f5 ] ) suggests that the positive values of the function @xmath110 of the time series @xmath101 in the interval of @xmath111 $ ] days could be caused by the 11-year cycle . this effect is not visible in the case of periodograms of the both time series computed using the fft method ( see the upper curves in figures [ f4 ] and [ f5 ] ) or the bt method ( see the lower curve in figure [ f6 ] ) . moreover , the periodogram of the time series @xmath102 has the significant values at @xmath112 days , but the autocorrelation function is negative at these points . @xcite showed that the lomb - scargle periodograms for the both time series ( see @xcite , figures 7 a - c ) have a peak at 158.8 days which stands over the fap level by a significant amount . using the de method the above discrepancies are obvious . to establish the @xmath79 value the periodograms computed by the fft and the bt methods are shown in figure [ f6 ] ( the upper and the lower curve respectively ) . for @xmath46 and for periods less than 166 days there is a good comformity of the both periodograms ( but for periods greater than 166 days the points of the bt periodogram are not linked because the bt periodogram has much worse resolution than the fft periodogram ( no one know how to do it ) ) . for @xmath46 and @xmath113 the value of @xmath21 is 13 ( @xmath71=153 $ ] ) . the inequality ( 7 ) is satisfied because @xmath114 . this means that the value of @xmath115 is mainly created by positive values of the autocorrelation function . the implication ( 8) needs an evaluation of the greatest value of the index @xmath65 where @xmath70 , but the solar data contain the most prominent period for @xmath116 days because of the solar rotation . thus , although @xmath117 for each @xmath118 , all sets @xmath41 ( see ( 5 ) and ( 6 ) ) without the set @xmath119 ( see ( 4 ) ) , which contains @xmath120 $ ] , are considered . this situation is presented in figure [ f7 ] . in this figure two curves @xmath121 and @xmath122 are plotted . the vertical dotted lines evaluate the intervals where the sets @xmath107 ( for @xmath123 ) are searched . for such @xmath41 two numbers are written : in parentheses the value of @xmath65 for the time series @xmath101 and above it the value of @xmath65 for the time series @xmath102 . to make this figure clear the curves are plotted for the set @xmath124 only . ( in the right bottom corner information about the values of @xmath65 for the time series @xmath102 , for @xmath109 are written . ) the implication ( 8) is not true , because @xmath125 for @xmath126 . therefore , @xmath43=153\notin c_6=[423,500]$ ] . moreover , the autocorrelation function for @xmath127 $ ] is negative and the set @xmath128 is empty . thus , @xmath129 . on the basis of these information one can state , that the periodogram peak at @xmath130 days of the time series @xmath102 exists because of positive @xmath25 , but for @xmath23 from the intervals which do not contain this period . looking at the values of @xmath65 of the time series @xmath101 , one can notice that they decrease when @xmath23 increases until @xmath131 . this indicates , that when @xmath23 increases , the contribution of the 11-year cycle to the peaks of the periodogram decreases . an increase of the value of @xmath65 is for @xmath132 for the both time series , although the contribution of the 11-year cycle for the time series @xmath101 is insignificant . thus , this part of the autocorrelation function ( @xmath133 for the time series @xmath102 ) influences the @xmath21-th peak of the periodogram . this suggests that the periodicity at about 155 days is a harmonic of the periodicity from the interval of @xmath1 $ ] days . ( solid line ) and consecutively smoothed sunspot areas of the one rotation time interval @xmath134 ( dotted line ) . both indexes are presented on the left axis . the lower curve illustrates fluctuations of the sunspot areas @xmath135 . the dotted and dashed horizontal lines represent levels zero and @xmath136 respectively . the fluctuations are shown on the right axis . ] the described reasoning can be carried out for other values of the periodogram . for example , the condition ( 8) is not satisfied for @xmath137 ( 250 , 222 , 200 days ) . moreover , the autocorrelation function at these points is negative . these suggest that there are not a true periodicity in the interval of [ 200 , 250 ] days . it is difficult to decide about the existence of the periodicities for @xmath138 ( 333 days ) and @xmath139 ( 286 days ) on the basis of above analysis . the implication ( 8) is not satisfied for @xmath139 and the condition ( 7 ) is not satisfied for @xmath138 , although the function @xmath25 of the time series @xmath102 is significantly positive for @xmath140 . the conditions ( 7 ) and ( 8) are satisfied for @xmath141 ( figure [ f8 ] ) and @xmath142 . therefore , it is possible to exist the periodicity from the interval of @xmath1 $ ] days . similar results were also obtained by @xcite for daily sunspot numbers and daily sunspot areas . she considered the means of three periodograms of these indexes for data from @xmath143 years and found statistically significant peaks from the interval of @xmath1 $ ] ( see @xcite , figure 2 ) . @xcite studied sunspot areas from 1876 - 1999 and sunspot numbers from 1749 - 2001 with the help of the wavelet transform . they pointed out that the 154 - 158-day period could be the third harmonic of the 1.3-year ( 475-day ) period . moreover , the both periods fluctuate considerably with time , being stronger during stronger sunspot cycles . therefore , the wavelet analysis suggests a common origin of the both periodicities . this conclusion confirms the de method result which indicates that the periodogram peak at @xmath144 days is an alias of the periodicity from the interval of @xmath1 $ ] in order to verify the existence of the periodicity at about 155 days i consider the following time series : + @xmath145     + @xmath146    + @xmath147   + the value @xmath134 is calculated analogously to @xmath83 ( see sect . the values @xmath148 and @xmath149 are evaluated from the formula ( 9 ) . in the upper part of figure [ f9 ] the time series of sunspot areas @xmath150 of the one rotation time interval from the whole solar disk and the time series of consecutively smoothed sunspot areas @xmath151 are showed . in the lower part of figure [ f9 ] the time series of sunspot area fluctuations @xmath145 is presented . on the basis of these data the maximum activity period of cycle 16 is evaluated . it is an interval between two strongest fluctuations e.a . @xmath152 $ ] rotations . the length of the time interval @xmath153 is 54 rotations . if the about @xmath0-day ( 6 solar rotations ) periodicity existed in this time interval and it was characteristic for strong fluctuations from this time interval , 10 local maxima in the set of @xmath154 would be seen . then it should be necessary to find such a value of p for which @xmath155 for @xmath156 and the number of the local maxima of these values is 10 . as it can be seen in the lower part of figure [ f9 ] this is for the case of @xmath157 ( in this figure the dashed horizontal line is the level of @xmath158 ) . figure [ f10 ] presents nine time distances among the successive fluctuation local maxima and the horizontal line represents the 6-rotation periodicity . it is immediately apparent that the dispersion of these points is 10 and it is difficult to find even few points which oscillate around the value of 6 . such an analysis was carried out for smaller and larger @xmath136 and the results were similar . therefore , the fact , that the about @xmath0-day periodicity exists in the time series of sunspot area fluctuations during the maximum activity period is questionable .    . the horizontal line represents the 6-rotation ( 162-day ) period . ]    ]    ]    to verify again the existence of the about @xmath0-day periodicity during the maximum activity period in each solar hemisphere separately , the time series @xmath88 and @xmath89 were also cut down to the maximum activity period ( january 1925december 1930 ) . the comparison of the autocorrelation functions of these time series with the appriopriate autocorrelation functions of the time series @xmath88 and @xmath89 , which are computed for the whole 11-year cycle ( the lower curves of figures [ f1 ] and [ f2 ] ) , indicates that there are not significant differences between them especially for @xmath23=5 and 6 rotations ( 135 and 162 days ) ) . this conclusion is confirmed by the analysis of the time series @xmath146 for the maximum activity period . the autocorrelation function ( the lower curve of figure [ f11 ] ) is negative for the interval of [ 57 , 173 ] days , but the resolution of the periodogram is too low to find the significant peak at @xmath159 days . the autocorrelation function gives the same result as for daily sunspot area fluctuations from the whole solar disk ( @xmath160 ) ( see also the lower curve of figures [ f5 ] ) . in the case of the time series @xmath89 @xmath161 is zero for the fluctuations from the whole solar cycle and it is almost zero ( @xmath162 ) for the fluctuations from the maximum activity period . the value @xmath163 is negative . similarly to the case of the northern hemisphere the autocorrelation function and the periodogram of southern hemisphere daily sunspot area fluctuations from the maximum activity period @xmath147 are computed ( see figure [ f12 ] ) . the autocorrelation function has the statistically significant positive peak in the interval of [ 155 , 165 ] days , but the periodogram has too low resolution to decide about the possible periodicities . the correlative analysis indicates that there are positive fluctuations with time distances about @xmath0 days in the maximum activity period . the results of the analyses of the time series of sunspot area fluctuations from the maximum activity period are contradict with the conclusions of @xcite . she uses the power spectrum analysis only . the periodogram of daily sunspot fluctuations contains peaks , which could be harmonics or subharmonics of the true periodicities . they could be treated as real periodicities . this effect is not visible for sunspot data of the one rotation time interval , but averaging could lose true periodicities . this is observed for data from the southern hemisphere . there is the about @xmath0-day peak in the autocorrelation function of daily fluctuations , but the correlation for data of the one rotation interval is almost zero or negative at the points @xmath164 and 6 rotations . thus , it is reasonable to research both time series together using the correlative and the power spectrum analyses . the following results are obtained :    1 . a new method of the detection of statistically significant peaks of the periodograms enables one to identify aliases in the periodogram . 2 .   two effects cause the existence of the peak of the periodogram of the time series of sunspot area fluctuations at about @xmath0 days : the first is caused by the 27-day periodicity , which probably creates the 162-day periodicity ( it is a subharmonic frequency of the 27-day periodicity ) and the second is caused by statistically significant positive values of the autocorrelation function from the intervals of @xmath165 $ ] and @xmath166 $ ] days . the existence of the periodicity of about @xmath0 days of the time series of sunspot area fluctuations and sunspot area fluctuations from the northern hemisphere during the maximum activity period is questionable . the autocorrelation analysis of the time series of sunspot area fluctuations from the southern hemisphere indicates that the periodicity of about 155 days exists during the maximum activity period . i appreciate valuable comments from professor j. jakimiec .
Abstract:

Answer: the short - term periodicities of the daily sunspot area fluctuations from august 1923 to october 1933 are discussed . for these data the correlative analysis indicates negative correlation for the periodicity of about @xmath0 days , but the power spectrum analysis indicates a statistically significant peak in this time interval . a new method of the diagnosis of an echo - effect in spectrum is proposed and it is stated that the 155-day periodicity is a harmonic of the periodicities from the interval of @xmath1 $ ] days .    the autocorrelation functions for the daily sunspot area fluctuations and for the fluctuations of the one rotation time interval in the northern hemisphere , separately for the whole solar cycle 16 and for the maximum activity period of this cycle do not show differences , especially in the interval of @xmath2 $ ] days . it proves against the thesis of the existence of strong positive fluctuations of the about @xmath0-day interval in the maximum activity period of the solar cycle 16 in the northern hemisphere . however , a similar analysis for data from the southern hemisphere indicates that there is the periodicity of about @xmath0 days in sunspot area data in the maximum activity period of the cycle 16 only .


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: for a general metric measure space we give sufficient conditions to assure that the group of isometries and the group of measure - preserving isometries are lie groups . as a particular case , spaces satisfying the _ riemannian curvature - dimension condition _ , @xmath0spaces , fulfill the conditions .    for certain classes of spaces it has been shown that the full group of isometries , @xmath2 , is a lie group . for example , myers and steenrod proved this fact for riemannian manifolds in @xcite , fukaya and yamaguchi for alexandrov spaces with curvature bounded by above and by below see @xcite and @xcite , and cheeger , colding , and naber in the case of ricci limit spaces in @xcite and @xcite . in contrast , there are examples of metric spaces for which @xmath2 is not a lie group . assume that @xmath3 is a fully supported measure in the remaining of the text . the main result of this article is :    [ th:03 ] let @xmath4 be a locally compact , length metric measure space . assume    a.   @xmath5 has @xmath3-@xmath6 unique euclidean ( metric ) tangent cones , and that b.   for every @xmath7 with @xmath8 there exists a unique optimal dynamical plan @xmath9 and it is induced by a map .    then the group of measure - preserving isometries , @xmath10 , and the group of isometries , @xmath2 , are lie groups with respect to the compact - open topology .    by a theorem of van danzig and van der waerden @xcite and lemma [ cl:01 ] we can conclude that @xmath2 and @xmath10 are compact if @xmath5 is compact . the essential property of assumption @xmath11 in theorem [ th:03 ] is that the set of metric spaces that might appear as tangent cones is compact , and that the isometry groups of the tangent cones are lie groups with a uniform positive lower bound on the size of its subgroups . consequently we can relax hypothesis @xmath11 by only requiring such a behavior of the tangent cones @xmath3-almost everywhere . we remark that the hypothesis of a fully supported measure is a natural requirement for metric measure spaces . nonetheless , we can drop this hypothesis in the theorem by demanding instead a geodesically convex support and that assumption @xmath12 holds for arbitrary @xmath13 rather than just for absolutely continuous final measures . for a comment on the choice of topology on the groups see remark [ re:01 ] .    the so - called _ curvaturedimension conditions _ generalize the notion of a lower ricci curvature bound to metric measure spaces . the use of optimal mass transport theory to state the conditions is characteristic to all of them . the conditions are crucial refinements made from an intintal condition introduced first independently by lott and villani and by sturm in @xcite , and in @xcite , @xcite . the current shape of the curvature - dimension conditions is result of the works of various researchers . some important contributors are l. ambrosio , k. bacher , m. erbar , k. kuwada , n. gigli , a. mondino , t. rajala , g. savar , and k.t . sturm , for a historical recount one can consult for example @xcite and @xcite . we study spaces satisfying the _ riemannian curvature - dimension condition _ , the _ reduced curvature - dimension condition _ , and the _ measure contraction property_. we write for short @xmath14-condition , @xmath15-condition , and @xmath16 . among these conditions @xmath0-spaces reproduce behavior characteristic of riemannian manifolds better than the others , for instance see @xcite . on the other hand , the other two conditions allow spaces with finsleriann geometries @xcite . the @xmath16 is the weakest condition among them all . the inclusion relation between these spaces can be written as @xmath17 riemannian manifolds with weighted volume measure and alexandrov spaces with the hausdorff measure are examples of spaces that satisfy the hypotheses of theorem [ th:03 ] . furthermore , due to works of mondino - naber@xcite , and of rajala - sturm @xcite it s known that @xmath0-spaces also meet the assumptions of the main theorem . [ th:01 ] let @xmath18 , @xmath19 , and @xmath20 be an @xmath14-space . then the group @xmath10 is a lie group . [ th:02 ] let @xmath18 , @xmath19 , and @xmath20 be an @xmath14-space . then the group @xmath2 is a lie group . examples of @xmath0-spaces are alexandrov and ricci limit spaces with the hausdorff measure , and generalized cone constructions over @xmath0-spaces ( @xcite , @xcite , @xcite , @xcite , @xcite ) . however , it is not known whether the class of @xmath0-spaces is strictly bigger than that of ricci limit spaces . another class of examples of @xmath0-spaces comes from limits of weighted manifolds with a lower bound on the bakry - emery ricci tensor . hence the present work is a generalization of previous results . a question that arises is under which conditions the automorphism groups are lie groups for spaces satisfying different curvature - dimension conditions . as corollary of theorem [ th:03 ] we obtain that    [ co:02 ] the groups @xmath2 and @xmath10 are lie groups for essentially non - branching @xmath15-spaces and essentially non - branching @xmath1-spaces that have @xmath3-@xmath6 euclidean tangents . the corollary follows from the results of @xcite , and @xcite where the existence and uniqueness of optimal geodesic maps is proved on these classes of spaces . furthermore , we also show that the @xmath1-condition by itself is not enough to guarantee a lie group behavior of such groups . this is concluded from lemma [ lm : mcp ] . [ co:03 ] there exists an @xmath21 space for which neither @xmath10 nor @xmath2 are lie groups . corollaries [ th:02 ] , [ co:02 ] and [ co:03 ] are new in the literature . corollary [ th:01 ] is a new result as well and it was also proved by guijarro and santos - rodrguez in @xcite which appeared during the completion of this manuscript . we describe now the basic ideas of the proof of theorem [ th:03 ] . a remarkable result of gleason@xcite and yamabe@xcite in the early 1950 s asserts that a locally compact , topological group is not a lie group if and only if every neighborhood of the identity has a non - trivial subgroup . and the remarks below . ] if a group has this property we say that it has the small subgroup property , @xmath22 , for short . supposing that @xmath2 is not a lie group , by using a blow up argument , we show that the assumption of the @xmath3-@xmath6 infinitesimal euclideanity and the @xmath22 imply the existence of non - trivial isometries with large measure of the fixed point set . this is shown in proposition [ pr:01 ] . the existence of a single non - trivial isometry with a fixed point set of positive measure violates the assumption of the uniqueness of the optimal geodesic maps . this is in contradiction with the assumptions , thus we conclude that @xmath2 is a lie group . finally , calling into play the closed subgroup theorem we show that @xmath10 is a lie group . the use of blow - up arguments is common in the proofs done for alexandrov and ricci limit spaces . the delicate point is to guarantee a non - trivial convergence ( or a convergence at all ) of subgroups of isometries acting on the sequence of scaled spaces . in comparison to alexandrov spaces it is not known that in our spaces geodesics do not branch . whereas in the case of ricci limit spaces a crucial step in the works of cheeger - colding and of colding - naber depends on the connectedness properties of the regular set . these are difficult results to obtain and there s no reason to expect that they hold in the general setting of theorem [ th:03 ] . therefore we proceed in a different manner , giving a short argument that use optimal transport tools and measure properties of the regular set .    in the next section we summarize definitions and results that will be used . in section [ se : mms ] we find proposition [ pr:01 ] . the rest of the work needed to conclude the proof of theorem [ th:03 ] , and the proof itself is in section [ se : pr ] . in the end of the manuscript we present an example of an @xmath1-space where @xmath10 is not a lie group . the author would like to express his gratitude to jrgen jost for his crucial support and valuable advise and to rostislav matveev , and jim portegies for their significant involvement in this work . he thanks fernando galaz - garcia , martin kell , and tapio rajala for the observations and discussions that led to some of the remarks after theorem [ th:03 ] , as well as fabio cavalletti and andrea mondino for bringing @xcite to his attention . the author is thankful to nidhi kaihnsa and ruijun wu for commenting on earlier versions of the manuscript . this work was supported by the imprs program of the max planck institute for mathematics in the sciences and partially by conacyt . we set notation and compile definitions and results used in the paper . the text is mainly self - contained , however , we provide references for some more elaborate definitions to maintain brevity . readers familiar with the @xmath0-condition can skip the first and last subsection probably just taking a look at the remarks .      in what follows we denote by @xmath20 a metric measure space , that is , a triple @xmath20 where    * @xmath23 is a @xmath24 and , * @xmath3 is a _ non - negative borel measure finite on every bounded set_.    we assume @xmath25 . a pointed metric measure space ( @xmath26 ) , @xmath27 , is a @xmath28 together with a base point @xmath29 . in the text a geodesics is a map , @xmath30 \to x$ ] , such that : @xmath31 where @xmath32 . we write @xmath33 for the space of all geodesics on @xmath5 endowed with the `` @xmath34 '' distance . a metric space is called a _ geodesic space _ if for every given pair of points @xmath35 there exists a geodesic , @xmath36 , that joins @xmath37 and @xmath38 . for @xmath39 $ ] define the _ evaluation map _ , @xmath40 , as @xmath41 for @xmath42 . the _ restriction map _ , @xmath43 , is defined as @xmath44 for @xmath45 , \gamma \in { \mathrm{geo}}(x)$ ] and the real function @xmath46 . we deal with group actions on sequences of @xmath26 . the pointed gromov - hausdorff ( @xmath47 ) and pointed equivariant gromov - hausdorff convergence ( @xmath48 ) provide a canonical type of convergence in this framework . for definitions we refer to @xcite and @xcite , @xcite . any @xmath47-limit of a sequence of scaled spaces , @xmath49 for @xmath50 , is called a ( metric ) . we denote the set of all tangent cones of @xmath5 at @xmath37 by @xmath51 . the existence or uniqueness of tangent cones is not guaranteed in a general setting . however , the set of points of @xmath5 with unique euclidean tangent cones is called the @xmath52 @xmath53 of @xmath5 , written as @xmath54 . in detail , @xmath55 we say that @xmath20 has _ @xmath3-@xmath6 euclidean tangents _ if the set of numbers @xmath56 is finite and if @xmath57 . for a fixed @xmath58 , the @xmath59-@xmath52 @xmath53 , @xmath60 , is the set @xmath61 , where for a given @xmath62 the set @xmath63 is defined as all points @xmath29 for which there exists a @xmath64 such that @xmath65 above @xmath66 is the gromov - housdorff distance and @xmath67 is the ball of radius @xmath68 around @xmath69 . note that @xmath70 and that for every @xmath71 the measure @xmath72=0 if @xmath5 has @xmath3-@xmath6 euclidean tangents . we write @xmath73 and @xmath74 for the support and the _ pushforward measure _ of a measure @xmath75 . two @xmath28 @xmath76 , @xmath77 are isomorphic if there exists an isometry @xmath78 we use the word @xmath79 to make reference to usual metric isometries . in contrast , we refer to maps satisfying ( [ def : iso ] ) as _ measure - preserving isometries_. particularly , we note that an isometry is defined on the whole space @xmath80 and does not necessarily satisfy ( [ def : iso ] ) .    by definition @xmath20 is always isomorphic to @xmath81 . this induces a canonical equivalence class of isometric metric measure spaces where * only the support of the measure is relevant*. we assume that @xmath82 . this is a natural restriction in the class of isomorphisms of @xmath28 . we endow the groups @xmath2 and @xmath10 with the compact - open topology , making them topological groups ( @xcite pp.46 ) . [ re:01 ] we explain and motivate our choice of topology for @xmath10 . for locally compact metric spaces it s natural to endow @xmath2 with the compact - open topology since the structure under study is of pure metric nature . in addition , in this context , the rigidity of the isometries assures that pointwise convergence implies convergence w.r.t . the compact - open topology . being second - countable . in turn , second - countability of @xmath2 is concluded form the fact that @xmath5 is a locally compact metric space . consult for instance @xcite pp.46.][footnote ] alternatively , on @xmath28 and @xmath10 there is an additional structure of interest , namely , the measure structure . however , as we explain below , once again the rigidity of the measure - preserving isometries guarantee that any reasonable choice of topology on @xmath10 coincides with the compact - open topology .    observe that topology that only considers the measure structure is too coarse for our purposes since it does nt see metric properties . therefore , a logical way to proceed is to couple a measure - wise and a metric - wise convergence . however , as we explained , the weakest metric convergence , the pointwise convergence , coincides with the compact - open convergence . on the other hand , in lemma ( [ cl:01 ] ) we prove that for a locally compact @xmath28 compact - open convergence of measure - preserving isometries implies the weak convergence of the pushforward measures . this motivates our choice of topology . denote by @xmath83 the identity component of @xmath84 , that is , the largest connected set containing the identity element @xmath85 . as definition we say that @xmath84 is a lie group if and only if the identity component @xmath83 is a lie group and if @xmath86 is discrete . see remark [ rm : car ] ] recall that for a connected , locally compact metric space @xmath2 is a topological group with respect to the compact - open topology . [ th : da - wa ] let @xmath87 be a connected , locally compact metric space . then @xmath2 is locally compact with respect to the compact - open topology . furthermore if @xmath5 is compact , then @xmath2 is compact . a topological group has the @xmath88 , @xmath22 , if every neighborhood of the identity contains a non - trivial subgroup . if there exists a neighborhood of the identity with no non - trivial subgroup we say that @xmath84 has the @xmath89 @xmath90 , @xmath91 for short . below we cite an outstanding result that characterizes lie groups in terms of the @xmath91 . [ th : gl - ya ] let @xmath84 be a locally compact , topological group . then @xmath84 is a lie group if and only if it has the no small subgroups property .    in @xcite yamabe generalizes gleason s theorem to the infinite dimensional case , however , @xmath84 is assumed to be connected . we present an argument , due to an undisclosed russian mathematician , which shows that we can also consider non - connected groups .    an equivalent way of stating theorem [ th : gl - ya ] is : assuming the same hypothesis , then there exists an open subgroup @xmath92 such that for every neighborhood of @xmath93 there exists a normal subgroup @xmath94 that makes @xmath95 a lie group @xcite . if @xmath84 has the @xmath91 the only small normal subgroup is @xmath85 itself , thus making @xmath96 a lie group which by definition means that @xmath97 is discrete . however , this implies that @xmath98 is discrete since @xmath99 is discrete and @xmath100 . [ rm : car ] we make another observation regarding the cardinality of @xmath86 . in principle the group of components might be uncountable . fortunately , we can also discard this behavior . assume that @xmath84 is a second - countable lie group . by definition @xmath86 is discrete which is equivalent to @xmath83 being open . in turn , this implies that the quotient map is open and it follows that @xmath86 is second - countable since by assumption @xmath84 is second - countable . a second - countable space is separable , and discrete separable spaces are countable . to end , recall that in a locally compact , connected metric space @xmath2 is second - countable . the following result due to cartan will be useful to us . [ th : ca ] let @xmath101 be a closed subgroup of a lie group @xmath84 . then @xmath101 is an embedded lie group . curvature - dimension conditions require a type of convexity condition of an entropy functional defined on the space of probability measures of a metric measure space . the different versions of the curvature - dimension conditions arise from different versions of the convexity type condition . however , all curvature - dimension conditions are compatible with the smooth framework and are stable under pointed measured - gromov - hausdorff convergence . optimal transport theory provides the appropriate tools to formalize the ideas . let @xmath102 be the space of probability measures defined on @xmath87 and @xmath103 the subspace of measures with finite second moments . for @xmath104 the wasserstein squared distance is defined as @xmath105 the infimum taken over all measures @xmath106 with first and second marginals equal to @xmath107 and @xmath108 respectively . if there exists a measurable function @xmath109 such that the measure @xmath110 is a minimum we call @xmath111 an _ optimal map_. given @xmath104 define the set @xmath112 as the set of all measures @xmath113 such that the pushforward @xmath114 realizes the minimum in ( [ eq : w - d ] ) . a measure @xmath115 is called an _ optimal geodesic plan _ and if such a measure @xmath113 is the lift of an optimal map we call it an _ optimal geodesic map_. next we define for @xmath116 and @xmath117 the distortion coefficient , @xmath118\times { \mathbb r}^+\to { \mathbb r}\cup\infty$ ] , as : @xmath119 we ve decided not to include the definition of the @xmath0-condition since it s rather technical and we do nt use it explicitly . alternatively , we present the results that show that @xmath14-spaces satisfy the assumptions of theorem [ th:03 ] . nevertheless , before let s recall that the condition was introduced in @xcite and further developed in @xcite and @xcite to which the reader is referred to for a comprehensive discussion on the subject . the condition itself couples a curvature - dimension condition with an infinitesimal riemannian behavior known as infinitesimally hilbertianity . [ th : gi - ra - st ] let @xmath18 , and @xmath120 $ ] and @xmath20 be an @xmath14 space . then for every @xmath104 , @xmath121 there exist a unique optimal geodesic plan @xmath9 . furthermore , there exists @xmath122 with @xmath123 such that the map @xmath124 is injective for all @xmath125 . the existence of @xmath126 euclidean tangents in @xmath0-spaces was proved in @xcite , later the uniqueness was shown by mondino and naber as a byproduct of the rectifiability of @xmath14-spaces as metric spaces ( compare with @xcite for rectifiability as @xmath28 ) . a weaker version of their result is enough for us . [ th : mo - na ] let @xmath127 , @xmath128 and @xmath20 be an @xmath14 space . then @xmath129 has @xmath3-@xmath6 euclidean ( metric ) tangents , i.e. @xmath57 .    in the last section we will work with ohta s definition of the @xmath1-condition . intuitively , it requires contraction properties of measures as the @xmath0-condition but only for starting @xmath130 measures . the condition is stable w.r.t . to @xmath131-convergence @xcite . [ def : mcp ] for @xmath132 , @xmath133 , or @xmath134 and @xmath135 a @xmath28 , @xmath20 , has the @xmath136-measure contraction property , @xmath137 , if the following conditions are satisfied . for every point @xmath138 and a measurable set @xmath139 with @xmath140 ( and @xmath141 if @xmath142 ) there exists a probability measure @xmath113 on @xmath33 such that @xmath143 , @xmath144 , and @xmath145.\ ] ] below we show the existence of isometries with large fixed point set , @xmath146 , if @xmath2 has the small subgroup property . define for @xmath147 , @xmath138 , and a subgroup @xmath148 : @xmath149 for fixed @xmath150 , the function @xmath151 is continuous in @xmath68 and @xmath37 as long as every closed ball in @xmath5 is the closure of its interior , as noted in @xcite . this holds true when @xmath5 is a length space , for example . we do not assume a fully supported measure in the coming proposition . [ pr:01 ] let @xmath152 be a @xmath28 where every closed ball coincides with the closure of its interior . assume that @xmath25 and that @xmath5 has @xmath3-@xmath6 euclidean tangents . if @xmath2 has the small subgroups property , then for every @xmath29 , @xmath153 , and @xmath154 there exist a non - trivial subgroup @xmath155 such that for every @xmath156 @xmath157    we assume that @xmath158 since the inequality above trivially holds true if @xmath159 . we will argue by contradiction . the strategy is the following : assuming that inequality ( [ eq : resultado ] ) does nt hold we will find for every @xmath160 a quadruple @xmath161 with the following properties : @xmath162 the existence of such a family of quadruples leads to a contradiction as we explain now . observe that if for every @xmath160 there exists a quadruple as above , then for a sequence @xmath163 we can pick a converging subsequence @xmath164 , denoted in the same way , such that the scaled spaces converge in the @xmath165-sense to @xmath166 where @xmath167 , and @xmath168 is a non - trivial subgroup satisfying @xmath169 . this creates the contradiction , since there does not exist a non - trivial subgroup of euclidean isometries , @xmath170 , such that @xmath171 . therefore , in order to complete the proof it s enough to show the existence of such a family of quadruples as was just argued . we proceed to construct such a family . suppose that ( [ eq : resultado ] ) does not hold . that is , there exist @xmath138 , @xmath153 , and @xmath154 such that for every non - trivial subgroup @xmath172 there exists an @xmath173 where @xmath174 note that necessarily@xmath175 . take @xmath176 and choose small enough @xmath177 so that @xmath178 , and @xmath179 the @xmath3-@xmath6 euclidean tangents of @xmath5 , together with the continuity from below of the measure and the fact that @xmath180 make possible the choice of such a @xmath181 . indeed , since for @xmath182 it holds that @xmath183 we can write @xmath184 as a countable union of sets . now just notice that @xmath185 choose @xmath186 big enough and take @xmath187 . inequality ( [ eq : regular grande ] ) combined with the @xmath188 assumption imply that for every non - trivial @xmath189 there exist @xmath190 such that @xmath191    on the other hand , we can find a non - trivial small subgroup @xmath192 because of the small subgroups property of @xmath2 . in particular , because of inequality ( [ fixed smaller regular ] ) , there exists @xmath193 and @xmath194 such that @xmath195 denote by @xmath196 . by construction it follows that @xmath197 finally , the continuity of @xmath198 and the intermediate value theorem imply that there exists @xmath199 such that @xmath200 , and @xmath201 ( see figure [ figura 1 ] ) . hence for @xmath160 we have found a quadruple @xmath202 satisfying ( [ eq : condiciones ] ) which finishes the proof . ( -0.2,0 )  ( 4.2,0 ) node[right]@xmath203 ; ( 0,-.2 )  ( 0,4.2 ) ; ( 1,0 ) node[below ] @xmath204 ; ( 3.8,0 ) node[below ] @xmath181 ; plot ( x_,x _ ) node[right ] @xmath205 ; ( 0,1 ) to[out=20,in=180 ] ( 2,2 ) ; ( 2,2 ) to[out=0,in=230 ] ( 4.2,3 ) ; ( 4.2,3 ) node[right ] @xmath206 ; ( 1,0 )  ( 1,1.69 ) ; ( 3.8,0 )  ( 3.8,2.6 ) ;    the result can be interpreted in the following manner . suppose that @xmath20 satisfies the hypotheses of the proposition [ pr:01 ] . then for every @xmath207 there exist an isometry @xmath208 with @xmath209 . we start this section by proving a lemma that shows that the uniqueness of optimal geodesic maps is sufficient to guarantee that non - trivial isometries have fixed - point sets of measure zero . [ lm:02 ] let @xmath20 be a @xmath28 such that for every @xmath7 with @xmath121 there exists a unique optimal geodesic plan @xmath9 . furthermore , assume that @xmath113 is concentrated on a set of geodesics , @xmath122 , such that the map @xmath210 is injective . let @xmath175 be an isometry of @xmath5 . then @xmath211 . we proceed by contradiction . suppose that there exist @xmath212 , and a set @xmath213 with positive measure . let @xmath214 and define the probability measures @xmath215 and @xmath216 . we denote by @xmath9 the unique geodesic plan between @xmath107 and @xmath108 . let @xmath122 be the set where @xmath113 is concentrated and where @xmath217 is injective . set : @xmath218 @xmath219 is the subset of geodesics of @xmath220 that end in @xmath221 and @xmath222 is the projection of @xmath223 onto the set @xmath224 . we have that none of these sets are empty , that the measures @xmath225 and that @xmath226 . the last fact is a consequence of the injectivity of @xmath227 . we define now the measure @xmath228 as @xmath229{\kern-.6pt\bigwedge\kern-.6pt }     { \rule[-\textheight/2]{1ex}{\textheight } }   } { \textheight}}{0.5ex}}\stackon[1pt]{{f^{-1}}}{\tmpbox}})_{\#}\pi|_{\gamma_2},\ ] ] where the bijection of @xmath33 , @xmath230 , induced by some @xmath231 is written as @xmath232 . the measure @xmath233 is a symmetric analog of @xmath113 but @xmath234 . indeed , note that @xmath235 because @xmath236 by construction . we claim that @xmath237 is also a dynamical plan . this would contradict the hypothesis of the uniqueness of @xmath113 and finish the proof of the lemma . we proceed to verify the claim . we need to show that @xmath233 minimizes @xmath238 . the minimum taken over all measures @xmath239 such that @xmath240 for @xmath241 . we check that the pushforwards of @xmath233 under the evaluation map are as above . for this we observe that for @xmath231 , @xmath242 , and @xmath243 $ ] @xmath244 and that @xmath245{\kern-.6pt\bigwedge\kern-.6pt }     { \rule[-\textheight/2]{1ex}{\textheight } }   } { \textheight}}{0.5ex}}\stackon[1pt]{g^{-1}}{\tmpbox}}$ ] . next we compute the pushforward of @xmath233 under @xmath246 : @xmath247{\kern-.6pt\bigwedge\kern-.6pt }     { \rule[-\textheight/2]{1ex}{\textheight } }   } { \textheight}}{0.5ex}}\stackon[1pt]{f^{-1}}{\tmpbox}})_{\#}\pi|_{\gamma_2 } \\ & = & ( f)_\ # ( e_t)_{\#}\pi|_{\gamma_1}+(f^{-1})_\ # ( e_t)_{\#}\pi|_{\gamma_2}.\end{aligned}\ ] ] then @xmath248 since @xmath249 . as for the other pushforward we have that @xmath250 . to finish we see that @xmath237 by showing that the value of @xmath251 is the minimum of the functional . @xmath252{\kern-.6pt\bigwedge\kern-.6pt }     { \rule[-\textheight/2]{1ex}{\textheight } }   } { \textheight}}{0.5ex}}\stackon[1pt]{f^{-1}}{\tmpbox}})_{\#}\pi|_{\gamma_2 } \right)(\gamma)\\ & = & \int_{{\mathrm{geo}}(x ) } l\circ\hat{f}(\gamma)\cdot \chi_{\gamma_1 } ( \gamma ) { \mathrm{d}}\pi ( \gamma ) + l\circ { \savestack{\tmpbox}{\stretchto {   \scaleto {     \scalerel*[\widthof{\ensuremath{f^{-1}}}]{\kern-.6pt\bigwedge\kern-.6pt }     { \rule[-\textheight/2]{1ex}{\textheight } }   } { \textheight}}{0.5ex}}\stackon[1pt]{f^{-1}}{\tmpbox}}(\gamma ) \cdot \chi_{\gamma_2}(\gamma){\mathrm{d}}\pi ( \gamma)\\ & = &   \int_{{\mathrm{geo}}(x ) } l(\gamma ) \cdot ( \chi_{\gamma_1}+\chi_{\gamma_2})(\gamma){\mathrm{d}}\pi ( \gamma ) = \int_{{\mathrm{geo}}(x ) } l(\gamma ) { \mathrm{d}}\pi(\gamma).\end{aligned}\ ] ]    [ rmk : weaken ] the hypothesis in lemma [ lm:02 ] can be we weaken . we may require the existence of the unique geodesic plan only for final measures satisfying @xmath253 rather than for an arbitrary @xmath254 . we can repeat the proof choosing as final measure @xmath255 where @xmath256 is a sufficiently small ball . consistently with theorem [ th : gi - ra - st ] we get the next result . recall that for @xmath19 it holds that @xmath257 . [ co:01 ] let @xmath20 be an @xmath258-space . if @xmath259 for some @xmath260 then @xmath261 . next we show that @xmath10 is a closed subgroup of @xmath2 . [ cl:01 ] let @xmath20 be a connected , locally compact @xmath28 . then @xmath10 is a locally compact closed subgroup of @xmath2 with respect to the compact - open topology . we show that @xmath10 is closed . the local compactness of @xmath10 follows from the fact that @xmath10 is a closed subgroup of a locally compact group . let @xmath262 be a converging sequence w.r.t . the compact - open topology with limit @xmath263 . it is easy to see that @xmath264 is an isometry . thus , to finish the proof , it remains to check that @xmath265 . this follows from the regularity of the measure , as we argue below .    indeed , since the measures @xmath266 are all equal , they trivially converge weakly to @xmath3 . on the other hand we will show that the pushforward of @xmath3 under @xmath267 weakly converges to the measure @xmath268 . therefore , @xmath265 by the uniqueness of the limit . by using the definition of the pushforward and the continuity of @xmath269 , it is enough to verify that for every bounded continuous function with bounded support , @xmath270 , it holds that @xmath271 to show that @xmath272 . after the following observation it is clear that this last equality holds .    assuming that @xmath273 is as above we can construct an @xmath3-integrable function , @xmath84 , such that @xmath274 for all @xmath29 and make use of the dominated convergence theorem . take for example the multiple of the characteristic function @xmath275 , where @xmath276 is a bound on @xmath273 and @xmath277 and @xmath278 are such that @xmath279 . the existence of such a pair @xmath280 is guaranteed because @xmath273 has bounded support , and because @xmath281 converges uniformly in compact subsets . the integrability of @xmath84 follows from @xmath3 being finite on bounded sets . we give the proof of the main result . compare theorem [ th:03 ] to theorem 4.5 in @xcite . we begin by recalling that a locally compact , complete length space is a geodesic space . then @xmath20 satisfies the assumptions of lemma [ lm:02 ] and proposition [ pr:01 ] . for now we focus on the isometry group @xmath2 . lemma [ lm:02 ] asserts that the fixed point set of any non - trivial isometry has measure zero . since there does not exist a non - trivial isometry with large fixed point set @xmath2 has the no small subgroup property , this is the contrapositive to proposition [ pr:01 ] . finally , because @xmath2 is locally compact , the @xmath91 is equivalent to @xmath2 being a lie group as stated in theorem [ th : gl - ya ] . the fact that @xmath10 is a lie group is concluded by using the closed subgroup theorem . we are able to use the closed subgroup theorem since we have proved that @xmath282 is a closed subgroup in lemma [ cl:01 ] . we show that the @xmath1-condition is not strong enough to guarantee that the group of measure - preserving isometries is a lie group . we also see that for a geodesic and compact @xmath28 with finite measure @xmath10 might fail to be a lie group . we start by presenting a well - known example to develop intuition about the connection between @xmath10 not being a lie group , @xmath10 having small subgroups , and the branching of geodesics .    denote the circle of radius @xmath68 by @xmath283 . the hawaiian earring , @xmath284 , is the space we obtain after gluing the circles @xmath285 by identifying one point of every circle , see figure [ fg : ex ] . endow @xmath284 with the arc - length distance @xmath286 and the 1-dimensional hausdorff measure @xmath287 . this makes @xmath288 a compact , geodesic metric measure space with finite measure . observe that @xmath289 where the compact - open topology coincides with the product topology . hence @xmath2 is totally disconnected but not discrete . by definition , @xmath2 is not a lie group since @xmath290 is not discrete . ( 8.5,2)(8,1.8 ) ; ( 8.5,2)(10.5,2)(10.9,2 ) ; ( 11.4,2)(10.9,2 ) ; ( 8.5,2.13)(8,1.8 ) ; ( 8.5,2.13)(9,2.2)(10.5,2 ) ; ( 11.4,1.8)(10.9,2 ) ; ( 8.5,2.26)(8,1.8 ) ; ( 8.5,2.26)(9,2.4)(10.5,2 ) ; ( 11.4,1.9)(10.9,2 ) ; ( 8.5,2.4)(8,1.8 ) ; ( 8.5,2.4)(9,2.6)(10.5,2 ) ; ( 11.4,1.95)(10.9,2 ) ; ( 8.5,1.9)(8,1.8 ) ; ( 8.5,1.9)(9,1.85)(10.5,2 ) ; ( 11.4,1.85)(10.9,2 ) ; ( 8.5,1.8)(8,1.8 ) ; ( 8.5,1.8)(9,1.7)(10.5,2 ) ; ( 11.4,2.1)(10.9,2 ) ; ( 11.4,2.05)(10.9,2 ) ; ( 8.5,1.8 )  ( 8.5,2.4 ) ; ( 11.4,1.8 )  ( 11.4,2.1 ) ;            consider the segment @xmath296\times \{0\ } \subset { \mathbb r}^2 $ ] and define the set @xmath297 by replacing the segment @xmath298\times \{0\ } \subset y^{n-1 } $ ] with a 2-dimensional diamond - shaped set @xmath299 for @xmath300 , see figure [ fg : ex ] . the @xmath301-th diamond @xmath299 is chosen to such that it does not intersect @xmath302 , for @xmath303 . specifically , the sets @xmath299 are the 2-dimensional symmetric diamond - shaped sets of width @xmath304 , height @xmath305 , and center @xmath306 given by @xmath307 for @xmath308 , and @xmath309 . we then give @xmath310 an @xmath28-structure and define @xmath311 the existence of the limit follows from the compactness of @xmath1-spaces since lemma [ lm : mcp ] shows that @xmath310 satisfies the @xmath21-condition for every @xmath312 . we fix the distance , @xmath313 , coming from the @xmath314-norm on @xmath297 for every @xmath315 . to fix a measure define @xmath316 on @xmath302 by @xmath317^{-1 } \cos^2(x)\ , \chi|_{d_k}(x)\qquad \hfill \text{for } k\in { \mathbb n},\ ] ] and @xmath318 the characteristic function of the set @xmath224 . denote by @xmath319 and by @xmath320 . we set on @xmath297 the measure @xmath321 defined as @xmath322 in words , @xmath321 has a 2-dimensional contribution from @xmath323 with constant density for fixed @xmath37-coordinate , and a 1-dimensional contribution from @xmath324 which is absolutely continuous w.r.t . the 1-dimensional hausdorff measure . we fix some notation before the next lemma . given an @xmath301-tuple @xmath325 consider the the projected @xmath326-diamond space , @xmath327 , that we obtain from the sequence @xmath328 for some @xmath329 . that is , the @xmath326-diamond space @xmath327 is the space we obtain by replacing the @xmath330th - diamond with a segment inside @xmath310 . we write @xmath331 , and define the height as @xmath332 for @xmath333 and @xmath334 . we also define @xmath335 the set @xmath336 consists of euclidean geodesics that go from @xmath337 to @xmath338 . for @xmath339 and @xmath340 define @xmath341 as the geodesic obtained after gluing @xmath342 with @xmath343 and reparametrizing . the image of @xmath344 is the union of a line segment going from the left vertex of @xmath302 to @xmath345 with its reflection over @xmath346 . define @xmath347 as the set of all such geodesics .      because of the stability of the @xmath1-condition it is enough to show that @xmath310 @xmath349 for every @xmath312 and every pair of @xmath350-tuples @xmath351 as above . we proceed to check the condition borrowing key ideas from the proof of @xcite . fix @xmath352 and @xmath350-tuple . definition [ def : mcp ] requires that for every @xmath353 and @xmath139 with @xmath140 we give @xmath354 such that @xmath355 , @xmath356 and , @xmath357 we will define such a @xmath113 as the uniformly distributed probability measure on a carefully chosen set @xmath358 . we start by noting that we can analyze separately the sets @xmath359 for fixed @xmath360 . the simplification can be made because we will pick geodesics with projection @xmath361 , for @xmath362 . the choice implies that the first coordinate contributes to the dilatation of the measure @xmath363 a factor equal to @xmath203 . because of this we are able to reduce the analysis to estimating separately the dilatation of the sets @xmath364 for every @xmath365 . accordingly , to verify the @xmath21-condition , it is enough to provide a @xmath366 such that @xmath367 , @xmath368 , and @xmath369,\ , \gamma \in \gamma.\ ] ] we fix now an @xmath370 . suppose the exists some @xmath373 for which @xmath374 . we can assure that the density @xmath375 is independent of @xmath376 for @xmath377 by transporting the measure , @xmath378 , along geodesics whose restriction to @xmath302 is exactly the set @xmath347 . this implies that there is no contribution to the contraction of the measure coming from the @xmath38-coordinate . hence the density @xmath379 changes as if we were transporting measure inside the projected @xmath326-diamond space @xmath380 and therefore the density of @xmath378 would satisfy inequality ( [ eq : mcp ex ] ) if the @xmath326-diamond spaces @xmath381 . however , if there exists @xmath382 such that @xmath383 we can repeat the argument and estimate the density @xmath379 as if we were transporting the measure in an @xmath384-diamond space . finally we just realize that for every initial @xmath385 we can keep finding such @xmath330 s until we have projected to an @xmath386-diamond space @xmath387 for @xmath372 . we have that the segment @xmath388 because of@xcite , and in @xcite it is shown that @xmath389 satisfies the @xmath21-condition , this covers the cases of @xmath390 so we move to @xmath391 . we assume that @xmath392 because of symmetry and fix @xmath393 and @xmath394 . we can conclude from the preceding claim that the only situation left to check is that of @xmath395 and @xmath396 . the way in which we transport the measure is the following . we start by expanding the measure uniformly from @xmath397 to a set @xmath398 with the same relative height as @xmath364 . then we transport the measure from @xmath398 to @xmath399 without changing the relative height of the set @xmath400 with respect to @xmath401 . we continue through @xmath402 and expand again keeping the heights ratio constant from @xmath403 to @xmath364 . the image of a transporting geodesic is the union of segments of straight lines described below , see figure [ fg : ex ] . to define @xmath220 first choose any set @xmath404 such that @xmath405 for @xmath406 . write @xmath407 , @xmath408 , and @xmath409 for the times at which the @xmath37-coordinate of any geodesic @xmath410 is equal to @xmath411 , @xmath399 , and @xmath403 . geodesics in @xmath412 have the same length . now define @xmath220 as the set of all geodesics satisfying the following : @xmath413 , @xmath414 , @xmath415 , and @xmath416 , where @xmath417 is the subset of geodesics of @xmath418 that cross through @xmath364 . we estimate the density of the corresponding measure , for @xmath419 we have that @xmath420 for @xmath421 . the shape of the diamond @xmath422 allows to estimate @xmath423 . we can bound the time when the geodesics reach @xmath411 by @xmath424 , and the length of the geodesics is necessarily @xmath425 . moreover in @xcite the estimate @xmath426 for all @xmath427   \times   ( 0 , \pi/2 + 1/4)$ ] is proved . putting inequalities together we obtain inequality ( [ eq : mcp ex ] ) for @xmath428 $ ] . to finish note that for @xmath429 $ ] , @xmath378 is uniformly distributed in the @xmath38-coordinate . thus , its density is equal to the one of the transport in the projected space @xmath389 , which is a @xmath430-space . this shows that inequality ( [ eq : mcp ex ] ) is satisfied for @xmath429 $ ] . observe that the automorphism groups of @xmath431 are @xmath432 . thus we obtain corollary @xmath433 , confirming that the measure contraction property is not strong enough to guarantee that the isometry group or the measure - preserving isometry group are lie groups .
Abstract:

Answer: we give sufficient conditions to show that both the group of isometries and the group of measure - preserving isometries of a metric measure space are lie groups . in addition , we study in which cases spaces satisfying a generalized lower ricci curvature bound satisfy these assumptions . the conditions are fulfilled in the class of @xmath0-spaces , however , we give an example of an @xmath1-space for which these automorphism groups are not lie groups . = 1