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: suppose we are given a finite family of finite or countable sets @xmath1 with distinguished vertices @xmath2 for @xmath3 . the free product of the sets @xmath4 is given by @xmath5 , the set of all finite words of the form @xmath6 such that each letter is an element of @xmath7 and two consecutive letters arise not from the same @xmath4 . we consider a transient markov chain @xmath8 on @xmath9 starting at the empty word @xmath10 , which arises from a convex combination of transition probabilities on the sets @xmath4 . denote by @xmath11 the distribution of @xmath12 . we are interested in whether the sequence @xmath13/n$ ] converges , and if so , to compute this constant . if the limit exists , it is called the _ asymptotic entropy_. in this paper , we study this question for random walks on general free products . in particular , we will derive three different formulas for the entropy by using three different techniques . let us outline some results about random walks on free products : for free products of finite groups , mairesse and mathus @xcite computed an explicit formula for the rate of escape and asymptotic entropy by solving a finite system of polynomial equations . their result remains valid in the case of free products of infinite groups , but one needs then to solve an infinite system of polynomial equations . gilch @xcite computed two different formulas for the rate of escape with respect to the word length of random walks on free products of graphs by different techniques , and also a third formula for free products of ( not necessarily finite ) groups . the techniques of @xcite are adapted to the present setting . asymptotic behaviour of return probabilities of random walks on free products has also been studied in many ways ; e.g. gerl and woess @xcite , @xcite , sawyer @xcite , cartwright and soardi @xcite , and candellero and gilch @xcite . our proof of existence of the entropy envolves generating functions techniques . the techniques we use for rewriting probability generating functions in terms of functions on the factors of the free product were introduced independently and simultaneously by cartwright and soardi @xcite , woess @xcite , voiculescu @xcite and mclaughlin @xcite . in particular , we will see that asymptotic entropy is the rate of escape with respect to a distance function in terms of green functions . while it is well - known by kingman s subadditive ergodic theorem ( see kingman @xcite ) that entropy ( introduced by avez @xcite ) exists for random walks on groups whenever @xmath14<\infty$ ] , existence for random walks on other structures is not known a priori . we are not able to apply kingman s theorem in our present setting , since we have no ( general ) subadditivity and we have only a partial composition law for two elements of the free product . for more details about entropy of random walks on groups we refer to kaimanovich and vershik @xcite and derriennic @xcite . an important link between drifts and harmonic analysis was obtained by he proved that for symmetric finite range random walks on groups the existence of non - trivial bounded harmonic functions is equivalent to a non - zero rate of escape . karlsson and ledrappier @xcite generalized this result to symmetric random walks with finite first moment of the step lengths . this leads to a link between the rate of escape and the entropy of random walks , compare e.g. with kaimanovich and vershik @xcite and erschler and kaimanovich @xcite asked if drift and entropy of random walks on groups vary continuously on the probability measure , which governs the random walk . we prove real - analyticity of the entropy when varying the probabilty measure of constant support ; compare also with the recent work of ledrappier @xcite , who simultaneously proved this property for finite - range random walks on free groups . apart from the proof of existence of the asymptotic entropy @xmath15/n$ ] ( theorem [ thm : entropy ] ) , we will calculate explicit formulas for the entropy ( see theorems [ thm : entropy ] , [ th : entropy2 ] , [ thm : entropy - groups ] and corollary [ cor : entropy - dgf ] ) and we will show that the entropy is non - zero . the technique of our proof of existence of the entropy was motivated by benjamini and peres @xcite , where it is shown that for random walks on groups the entropy equals the rate of escape w.r.t . the greenian distance ; compare also with blachre , hassinsky and mathieu @xcite . we are also able to show that , for random walks on free products of graphs , the asymptotic entropy equals just the rate of escape w.r.t . the greenian distance ( see corollary [ cor : greenroe ] in view of theorem [ thm : entropy ] ) . moreover , we prove convergence in probability and convergence in @xmath16 ( if the non - zero single transition probabilities are bounded away from @xmath17 ) of the sequence @xmath18 to @xmath19 ( see corollary [ cor : entropy3 ] ) , and we show also that @xmath19 can be computed along almost every sample path as the limes inferior of the aforementioned sequence ( corollary [ cor : entropy2 ] ) . in the case of random walks on discrete groups , kingman s subadditive ergodic theorem provides both the almost sure convergence and the convergence in @xmath16 to the asymptotic entropy ; in the case of general free products there is neither a global composition law for elements of the free product nor subadditivity . thus , in the latter case we have to introduce and investigate new processes . the question of almost sure convergence of @xmath20 to some constant @xmath19 , however , remains open . similar results concerning existence and formulas for the entropy are proved in gilch and mller @xcite for random walks on directed covers of graphs . the reasoning of our proofs follows the argumentation in @xcite : we will show that the entropy equals the rate of escape w.r.t . some special length function , and we deduce the proposed properties analogously . in the present case of free products of graphs , the reasoning is getting more complicated due to the more complex structure of free products in contrast to directed covers , although the main results about existence and convergence types are very similar . we will point out these difficulties and main differences to @xcite at the end of section [ subsec : entropy ] . finally , we will link entropy with the rate of escape and the growth rate of the free product , resulting in two inequalities    the plan of the paper is as follows : in section [ sec : preliminaries ] we define the random walk on the free product and the associated generating functions . in section [ sec : entropy ] we prove existence of the asymptotic entropy and give also an explicit formula for it . another formula is derived in section [ sec : dgf ] with the help of double generating functions and a theorem of sawyer and steger @xcite . in section [ sec : groups ] we use another technique to compute a third explicit formula for the entropy of random walks on free products of ( not necessarily finite ) groups . links entropy with the rate of escape and the growth rate of the free product . sample computations are presented in section [ sec : examples ] . let @xmath21 , where @xmath22 . for each @xmath23 , consider a random walk with transition matrix @xmath24 on a finite or countable state space @xmath4 . we assume that the sets @xmath4 are pairwise disjoint and we exclude the case @xmath25 ( see below for further explanation ) . the corresponding single and @xmath26-step transition probabilities are denoted by @xmath27 and @xmath28 , where @xmath29 . for every @xmath23 , we select an element @xmath30 of @xmath4 as the `` root '' . to help visualize this , we think of graphs @xmath31 with vertex sets @xmath4 and roots @xmath30 such that there is an oriented edge @xmath32 if and only if @xmath33 . thus , we have a natural graph metric on the set @xmath4 . furthermore , we shall assume that for every @xmath23 and every @xmath34 there is some @xmath35 such that @xmath36 . for sake of simplicity we assume @xmath37 for every @xmath23 and @xmath34 . moreover , we assume that the random walks on @xmath4 are _ uniformly irreducible _ , that is , there are @xmath38 and @xmath39 such that for all @xmath29 @xmath40 we set @xmath41 and @xmath42 . for instance , this property is satisfied for nearest neighbour random walks on cayley graphs of finitely generated groups , which are governed by probability measures on the groups . let @xmath43 for every @xmath23 and let @xmath44 . free product _ is given by @xmath45 the elements of @xmath9 are `` words '' with letters , also called _ blocks _ , from the sets @xmath46 such that no two consecutive letters come from the same @xmath4 . the empty word @xmath10 describes the root if @xmath47 and @xmath48 with @xmath49 and @xmath50 then @xmath51 stands for their concatenation as words . this is only a partial composition law , which makes defining the asymptotic entropy more complicated than in the case of free products of _ groups_. in particular , we set @xmath52 for all @xmath23 and @xmath53 . note that @xmath54 and @xmath30 as a word in @xmath9 is identified with @xmath10 . the _ block length _ of a word @xmath55 is given by @xmath56 . additionally , we set @xmath57 . the _ type _ @xmath58 of @xmath59 is defined to be @xmath60 if @xmath61 ; we set @xmath62 . finally , @xmath63 denotes the last letter @xmath64 of @xmath59 . the set @xmath9 can again be interpreted as the vertex set of a graph @xmath65 , which is constructed as follows : take copies of @xmath66 and glue them together at their roots to one single common root , which becomes @xmath10 ; inductively , at each vertex @xmath67 with @xmath68 attach a copy of every @xmath69 , @xmath70 , and so on . thus , we have also a natural graph metric associated to the elements    the next step is the construction of a new markov chain on the _ free product_. for this purpose , we lift @xmath24 to a transition matrix @xmath71 on @xmath9 : if @xmath72 with @xmath73 and @xmath74 , then @xmath75 . otherwise we set @xmath76 . we choose @xmath77 with @xmath78 . then we obtain a new transition matrix on @xmath9 given by @xmath79 the random walk on @xmath9 starting at @xmath10 , which is governed by @xmath80 , is described by the sequence of random variables @xmath8 . for @xmath81 , the associated single and @xmath26-step transition probabilities are denoted by @xmath82 and @xmath83 . thus , @xmath80 governs a nearest neighbour random walk on the graph @xmath65 , where @xmath80 arises from a convex combination of the nearest neighbour random walks on the graphs @xmath31 . theorem 3.3 in @xcite shows existence ( including a formula ) of a positive number @xmath84 such that @xmath85 almost surely . the number @xmath84 is called the _ rate of escape w.r.t . the block length_. denote by @xmath11 the distribution of @xmath12 . if there is a real number @xmath19 such that @xmath86,\ ] ] then @xmath19 is called the _ asymptotic entropy _ of the process @xmath87 ; we write @xmath88 . if the sets @xmath4 are groups and the random walks @xmath24 are governed by probability measures @xmath89 , existence of the asymptotic entropy rate is well - known , and in this case we even have almost surely ; see derriennic @xcite and kaimanovich and we prove existence of @xmath19 in the case of general free products .      our main tool will be the usage of generating functions , which we introduce now . the _ green functions _ related to @xmath24 and @xmath80 are given by @xmath90 where @xmath91 , @xmath92 and @xmath81 . at this point we make the _ basic assumption _ that the radius of convergence @xmath93 of @xmath94 is strictly bigger than @xmath95 . this implies _ transience _ of our random walk on @xmath9 . thus , we may exclude the case @xmath25 , because we get recurrence in this case . for instance , if all @xmath24 govern _ reversible _ markov chains , then @xmath96 ; see ( * ? ? ? * theorem 10.3 ) . furthermore , it is easy to see that @xmath96 holds also if there is some @xmath23 such that @xmath97 for all @xmath98 . the _ first visit generating functions _ related to @xmath24 and @xmath80 are given by @xmath99z^n\ \textrm { and}\\ f(x , y|z ) & : = & \sum_{n\geq 0 } { \mathbb{p}}\bigl[x_n = y,\forall m\leq n-1 : x_m\neq y \mid x_0=x\bigr]z^n,\end{aligned}\ ] ] where @xmath100 describes a random walk on @xmath4 governed by @xmath24 . the stopping time of the first return to @xmath10 is defined as for @xmath23 , define @xmath101\,z^n \ \textrm { and } \ \xi_i(z ) : = \frac{\alpha_i z}{1-\overline{h}_i(z)}.\ ] ] we write also @xmath102 , @xmath103 and @xmath104 . observe that @xmath105 ; see ( * ? ? ? * lemma 2.3 ) . we have @xmath106 for all @xmath92 ; see woess ( * ? ? ? * prop . thus , @xmath107 for @xmath108 and @xmath72 , define the stopping times @xmath109 and @xmath110 , which take both values in @xmath111 . then the _ last visit generating functions _ related to @xmath24 and @xmath80 are defined as @xmath112\,z^n,\\ l(x , y|z ) & : = & \sum_{n\geq 0 } { \mathbb{p}}\bigl[x_n = y , t_x > n \mid x_0=x\bigr]\,z^n.\end{aligned}\ ] ] if @xmath113 with @xmath114 then @xmath115 this equation is proved completely analogously to ( * ? ? ? if all paths from @xmath72 to @xmath116 have to pass through @xmath117 , then @xmath118 this can be easily checked by conditioning on the last visit of @xmath119 when walking from @xmath120 we have the following important equations , which follow by conditioning on the last visits of @xmath121 and @xmath120 , the first visits of @xmath122 and @xmath119 respectively : @xmath123 g(x , y|z ) & = & g(x , x|z)\cdot l(x , y|z ) = f(x , y|z)\cdot g(y , y|z ) . \end{array}\ ] ] observe that the generating functions @xmath124 and @xmath125 have also radii of convergence strictl bigger than @xmath95 . in this subsection we prove existence of the rate of escape with respect to a specific length function . from this we will deduce existence and a formula for the asymptotic entropy in the upcoming subsection . we assign to each element @xmath108 the `` length '' @xmath126 we extend it to a length function on @xmath9 by assigning to @xmath127 the length @xmath128 observe that the lengths can also be negative . e.g. , this can be interpreted as height differences . the aim of this subsection is to show existence of a number @xmath129 such that the quotient @xmath130 tends to @xmath131 almost surely as @xmath132 . we call @xmath131 the _ rate of escape w.r.t . the length function @xmath133_.    we follow now the reasoning of ( * ? ? ? * section 3 ) . denote by @xmath134 the projection of @xmath12 to the first @xmath135 letters . we define the _ @xmath135-th exit time _ as @xmath136 moreover , we define @xmath137 , @xmath138 and @xmath139 . we remark that @xmath140 as @xmath132 , and consequently @xmath141 almost surely for every @xmath142 ; see ( * ? ? ? recall that @xmath143 is just the laster letter of the random word @xmath144 . the process @xmath145 is markovian and has transition probabilities @xmath146 for @xmath147 and @xmath148 ; see ( * ? ? ? * lemma 3.4 ) . this process is positive recurrent with invariant probability measure @xmath149 see ( * ? ? ? * section 3 ) . furthermore , the rate of escape w.r.t . the block length exists almost surely and is given by the almost sure constant limit @xmath150 ( see ( * ? ? ? * theorem 3.3 ) ) , where @xmath151    [ lemma : tildew - process ] the process @xmath152 is markovian and has transition probabilities @xmath153 furthermore , the process is positive recurrent with invariant probability measure @xmath154    _ remark : _ observe that the transition probabilities @xmath155 of @xmath152 do not depend on @xmath156 . therefore , we will write sometimes an asterisk instead of @xmath156 .    by ( * ? ? ? * section 3 ) , the process @xmath157 is markovian and has transition probabilities @xmath158 where @xmath159 $ ] for @xmath160 . thus , @xmath161 is also markovian and has the following transition probabilities if @xmath147 : @xmath162 in the third equality we conditioned on the last visit of @xmath10 before finally walking from @xmath10 to @xmath163 and we remark that @xmath164 . a straight - forward computation shows that @xmath165 is the invariant probability measure of @xmath152 , where we write @xmath166 : @xmath167    now we are able to prove the following :    [ prop : ell - existence ] there is a number @xmath168 such that @xmath169    define @xmath170 by @xmath171 . then @xmath172 . an application of the ergodic theorem for positive recurrent markov chains yields @xmath173 if the integral on the right hand side exists . we now show that this property holds . observe that the values @xmath174 are uniformly bounded from above for all @xmath175 : @xmath176 for @xmath177 , denote by @xmath178 the smallest @xmath98 such that @xmath179 . uniform irreducibility of the random walk @xmath24 on @xmath4 implies that there are some @xmath180 and @xmath181 such that for all @xmath182 , @xmath183 with @xmath184 we have @xmath185 for some @xmath186 . thus , for @xmath175 we have @xmath187 observe that the inequality @xmath188 holds if and only if @xmath189 . define the sets @xmath190 ) . we can now prove existence of @xmath191 : @xmath192 since @xmath193 ; see ( * ? ? ? * proof of prop . 3.2 ) . from this follows that @xmath194 tends to @xmath195 almost surely . the next step is to show that @xmath196 to prove this , assume now that we have the representations @xmath197 and @xmath198 . define @xmath199 & & \quad + \bigl(\|x_n\|-{\mathbf{k}}(n)\bigr ) \cdot   \big| \log ( 1-\xi_{\max})\bigr|\end{aligned}\ ] ] @xmath200 & \leq & 3 \cdot m\cdot ( n-{\mathbf{e}_{{\mathbf{k}}(n)}}).\end{aligned}\ ] ] dividing the last inequality by @xmath26 and letting @xmath132 provides analogously to nagnibeda and woess ( * ? ? ? * section 5 ) that @xmath201 almost surely . recall also that @xmath202 and @xmath203 almost surely ; compare ( * ? ? ? * proof of theorem d ) and ( * ? ? ? * prop . 3.2 , thm . now we can conclude : @xmath204    we now compute the constant @xmath195 from the last proposition explicitly : @xmath205 we conclude this subsection with the following observation :    [ cor : greenroe ] the rate of escape @xmath131 is non - negative and it is the rate of escape w.r.t . the greenian metric , which is given by @xmath206 . that is , @xmath207    by ( [ gl - equations ] ) , we get @xmath208 since @xmath209 it remains to show that @xmath210 is uniformly bounded in @xmath72 : for @xmath211 , the _ first visit generating function _ is defined as @xmath212\,z^n.\ ] ] therefore , @xmath213 since @xmath214 for all @xmath215 , @xmath216 and @xmath217 is continuous , stricly increasing and strictly convex , we must have @xmath218 , that is , @xmath219 . this finishes the proof .      in this subsection we will prove that @xmath131 equals the asymptotic entropy , and we will give explicit formulas for it . the technique of the proof which we will give was motivated by benjamini and peres @xcite , where it is shown that the asymptotic entropy of random walks on discrete groups equals the rate of escape w.r.t . the greenian distance . the proof follows the same reasoning as in gilch and mller @xcite . recall that we made the assumption that the spectral radius of @xmath87 is strictly smaller than @xmath95 , that is , the green function @xmath220 has radius of convergence @xmath96 . moreover , the functions @xmath221 , @xmath222 , have radius of convergence bigger than @xmath95 . recall that @xmath223 for every @xmath222 . thus , we can choose @xmath224 such that @xmath225 for all @xmath222 . we now need the following three technical lemmas :    [ lemma : prob - bound ] for all @xmath226 , @xmath227    denote by @xmath228 the circle with radius @xmath229 in the complex plane centered at @xmath17 . a straightforward computation shows for @xmath230 : @xmath231 let be @xmath232 . an application of fubini s theorem yields @xmath233 since @xmath234 is analytic on @xmath228 , we have @xmath235 for all @xmath236 . thus , @xmath237 iterated applications of equations ( [ l - equation ] ) and ( [ gl - equations ] ) provide @xmath238 since @xmath239 , we obtain @xmath240    [ cut - lemma ] let @xmath241 , @xmath242 , @xmath243 be sequences of strictly positive numbers with @xmath244 . assume that @xmath245 and that @xmath246 for all @xmath247 . then @xmath248 .    under the made assumptions it can not be that @xmath249 for every indeed , assume that this would hold . choose any @xmath250 . then there is a subseqence @xmath251 with @xmath252 . moreover , there is @xmath253 such that @xmath254 for all @xmath255 . but this implies @xmath256 the last inequality holds for every @xmath250 , yielding that @xmath257 , a contradiction .    thus , there is some @xmath258 such that @xmath259 for all @xmath260 . we get for all @xmath260 : @xmath261 taking limits yields that @xmath262 tends to @xmath263 , since the leftmost and rightmost side of this inequality chain tend to @xmath263 .    for the next lemma recall the definition of @xmath264 from @xmath265 . [ lemma : sum - bounds ] for @xmath98 , consider the function @xmath266 defined by @xmath267 then there are constants @xmath268 and @xmath269 such that @xmath270 for all @xmath98 and @xmath72 . assume that @xmath271 . recall from the proof of corollary [ cor : greenroe ] that we have @xmath272 . therefore , @xmath273 that is @xmath274 for the upper bound , observe that , by uniform irreducibility , @xmath72 with @xmath271 can be reached from @xmath10 in @xmath275 steps with a probability of at least @xmath276 , where @xmath277 from ( [ def : uniform - irred ] ) is independent from @xmath120 . thus , at least one of the summands in @xmath278 has a value greater or equal to @xmath279 . thus , @xmath280 . now we can state and prove our first main result :    [ thm : entropy ] assume @xmath96 . then the asymptotic entropy exists and is given by @xmath281    by ( [ gl - equations ] ) we can rewrite @xmath131 as @xmath282 since @xmath283 we have @xmath284 the next aim is to prove @xmath285 \leq \ell$ ] . we now apply lemma [ cut - lemma ] by setting @xmath286 by lemma [ lemma : prob - bound ] , @xmath287 therefore , @xmath288 decays faster than any geometric sequence . applying lemma [ cut - lemma ] yields @xmath289 by lemma [ lemma : sum - bounds ] , we may apply the dominated convergence theorem and get : @xmath290 recall that _ shannon s inequality _ gives @xmath291 for every finitely supported probability measure @xmath292 on @xmath9 . we apply now this inequality by setting @xmath293 : @xmath294 now we can conclude with fatou s lemma : @xmath295 thus , @xmath296 $ ] exists and the limit equals @xmath131 . the rest follows from ( [ ell0-limit ] ) and ( [ ch - formel ] ) . we now give another formula for the asymptotic entropy which shows that it is strictly positive . [ th : entropy2 ] assume @xmath96 . then the asymptotic entropy is given by @xmath297    _ remarks : _ observe that the sum on the right hand side of theorem [ th : entropy2 ] equals the entropy rate ( for positive recurrent markov chains ) of @xmath152 , which is defined by the almost sure constant limit @xmath298 where @xmath299 is the joint distribution of @xmath300 . that is , @xmath301 . for more details , we refer e.g. to cover and thomas ( * ? ? ? * chapter 4 ) .    at this point it is essential that we have defined the length function @xmath133 with the help of the functions @xmath302 and not by the greenian metric .    for a moment let be @xmath303 . then : @xmath304 we now replace @xmath120 by @xmath305 in the last equation : since @xmath130 tends to @xmath19 almost surely , the subsequence @xmath306 converges also to @xmath19 . since @xmath307 and @xmath308 , we get @xmath309 where @xmath310 and @xmath311 . by positive recurrence of @xmath152 , an application of the ergodic theorem yields @xmath312 whenever @xmath313 . obviously , for every @xmath314 @xmath315 since @xmath316 we get @xmath317 whenever @xmath313 . in particular , @xmath318 since @xmath319 by ( * ? ? ? * section 4 ) . it remains to show that it can not be that @xmath320 . for this purpose , assume now @xmath320 . define for @xmath258 the function @xmath321 by @xmath322 then @xmath323 observe that @xmath324 as @xmath325 . since @xmath326 and @xmath320 by assumption there is for every @xmath327 and almost every trajectory of @xmath328 an almost surely finite random time @xmath329 such that for all @xmath330 @xmath331 on the other hand side there is for every @xmath332 , every small @xmath333 and almost every trajectory an almost surely finite random time @xmath334 such that for all @xmath335 @xmath336 furthermore , since @xmath337 and @xmath338 there is an almost surely finite random time @xmath339 such that for all @xmath340 and all @xmath341 and @xmath342 @xmath343 choose now @xmath344 . then we get the desired contradiction , when we substitute in equality ( [ q - entropy ] ) the vertex @xmath120 by @xmath305 with @xmath340 , divide by @xmath345 on both sides and see that the left side is in @xmath346 and the rightmost side is bigger than @xmath347 . this finishes the proof of theorem [ th : entropy2 ] . [ cor : entropy2 ] assume @xmath96 . then we have for almost every path of the random walk @xmath87 @xmath348    recall inequality ( [ equ : liminf - h ] ) . integrating both sides of this inequality yields together with the inequality chain ( [ eq : entropy - final ] ) that @xmath349 providing that @xmath350 for almost every realisation of the random walk . the following lemma gives some properties concerning general measure theory :    [ lemma : measuretheory ] let @xmath351 be a sequence of non - negative random variables and suppose that @xmath352 almost surely and @xmath353 = c$ ] . then the following holds :    1 . @xmath354 , that is , @xmath355 converges in probability to @xmath263 . 2 .   if @xmath355 is uniformly bounded then @xmath356 , that is , @xmath357 as @xmath132 . first , we prove convergence in probability of @xmath351 . for every @xmath358 , there is some index @xmath359 such that for all @xmath360 @xmath361 furthermore , due to the above made assumptions on @xmath362 there is for every @xmath363 some index @xmath364 such that for all @xmath365 @xmath366 > 1-\delta_2.\ ] ] since @xmath367 it must be that for every arbitrary but fixed @xmath333 , every @xmath368 and for all @xmath26 big enough @xmath369\cdot ( c-\delta_1 ) +   { \mathbb{p}}\bigl[z_n > c + { \varepsilon}\bigr]\cdot ( { \varepsilon}+\delta_1 ) \leq \int z_n\,d{\mathbb{p}}\leq c+\delta_1,\ ] ] or equivalently , @xmath370 \leq \frac{c+\delta_1 -{\mathbb{p}}\bigl[z_n > c-\delta_1\bigr]\cdot ( c-\delta_1)}{{\varepsilon}+\delta_1}.\ ] ] letting @xmath371 we get @xmath372 \leq \frac{2\delta_1}{{\varepsilon}+\delta_1}.\ ] ] since we can choose @xmath373 arbitrarily small we get @xmath370 \xrightarrow{n\to\infty } 0 \quad \textrm { for all } { \varepsilon}>0.\ ] ] this yields convergence in probability of @xmath355 to @xmath263 .    in order to prove the second part of the lemma we define for any small @xmath333 and @xmath98 the events @xmath374 \ \textrm { and } b_{n,{\varepsilon}}:=\bigl[|z_n - c| > { \varepsilon}\bigr].\ ] ] for arbitrary but fixed @xmath333 , convergence in probability of @xmath355 to @xmath263 gives an integer @xmath375 such that @xmath376<{\varepsilon}$ ] for all @xmath377 . since @xmath378 is assumed to be uniformly bounded , we get for @xmath379 : @xmath380 thus , we have proved the second part of the lemma . we can apply the last lemma immediately to our setting :    [ cor : entropy3 ] assume @xmath96 . then we have the following types of convergence :    1 . convergence in probability : @xmath381 2 . assume that there is @xmath382 such that @xmath383 whenever @xmath384 . then : @xmath385    setting @xmath386 and applying lemma [ lemma : measuretheory ] yields the claim . note that the assumption @xmath383 yields @xmath387 . the assumption of the second part of the last corollary is obviously satisfied if we consider free products of _ finite _ graphs .    the reasoning in our proofs for existence of the entropy and its different properties ( in particular , the reasoning in section [ subsec : entropy ] ) is very similar to the argumentation in @xcite . however , the structure of free products of graphs is more complicated than in the case of directed covers as considered in @xcite . we outline the main differences to the reasoning in the aforementionend article . first , in @xcite a very similar rate of escape ( compare with proposition [ prop : ell - existence ] ) is considered , which arises from a length function induced by last visit generating functions . while the proof of existence of the rate of escape in @xcite is easy to check , we have to make more effort in the case of free products , since @xmath388 is not necessarily bounded for @xmath34 . additionally , one has to study the various ingridients of the proof more carefully , since non - trivial loops are possible in our setting in contrast to random walks on trees . secondly , in @xcite the invariant measure @xmath389 of our proof collapses to @xmath390 , that is , in @xcite one has to study the sequence @xmath391 , while in our setting we have to study the more complex sequence @xmath392 ; compare with lemma [ lemma : tildew - process ] and proposition [ prop : ell - existence ] . in this section we derive another formula for the asymptotic entropy . the main tool is the following theorem of sawyer and steger ( * ? ? ? * theorem 2.2 ) :    [ sawyer ] let @xmath393 be a sequence of real - valued random variables such that , for some @xmath394 , @xmath395 where @xmath396 and @xmath397 are analytic for @xmath398 and . denote by @xmath399 and @xmath400 the partial derivatives of @xmath156 with respect to @xmath401 and @xmath163 . then @xmath402    setting @xmath403 and @xmath404 the expectation in theorem [ sawyer ] becomes @xmath405 we define for @xmath222 , @xmath406 : @xmath407 finally , @xmath408 is defined by @xmath409 with these definitions we have @xmath410 and @xmath411 . simple computations analogously to ( * ? ? ? * lemma 4.2 , corollary 4.3 ) yield @xmath412 we now define @xmath413 and @xmath414 and apply theorem [ sawyer ] by differentiating @xmath415 and evaluating the derivatives at @xmath416 : @xmath417    [ cor : entropy - dgf ] assume @xmath96 . then the entropy can be rewritten as @xmath418    @xmath419 in this section let each @xmath4 be a finitely generated group @xmath420 with identity @xmath421 . we assume that the @xmath4 s are pairwise disjoint . the free product is again a group with concatenation ( followed by iterated cancellations and contractions ) as group operation . we write @xmath422 . suppose we are given a probability measure @xmath89 on @xmath423 for every @xmath222 governing a random walk on @xmath420 , that is , @xmath424 for all @xmath425 . let @xmath426 be a family of strictly positive real numbers with @xmath427 . then the random walk on the free product @xmath428 is defined by the transition probabilities @xmath429 , where @xmath430 analogously , @xmath431 denotes the @xmath26-th convolution power of @xmath292 . the random walk on @xmath432 starting at the identity @xmath433 of @xmath432 is again denoted by the sequence @xmath87 . in particular , the radius of convergence of the associated green function is strictly bigger than @xmath95 ; see ( * ? ? ? * theorem 10.10 , corollary 12.5 ) . in the case of free products of groups it is well - known that the entropy exists and can be written as @xmath434 see derriennic @xcite , kaimanovich and vershik @xcite and blachre , hassinsky and mathieu @xcite . for free products of _ finite _ groups , mairesse and mathus @xcite give an explicit formula for @xmath19 , which remains also valid for free products of countable groups , but in the latter case one needs the solution of an infinite system of polynomial equations . in the following we will derive another formula for the entropy , which holds also for free products of _ infinite _ groups . we set @xmath435 . observe that transitivity yields @xmath436 . thus , @xmath437 first , we rewrite the following expectations as @xmath438 thus , @xmath439 recall that @xmath440 almost surely . that is , @xmath12 converges almost surely to a random infinite word @xmath441 of the form @xmath442 , where two consecutive letters are not from the same @xmath443 . denote by @xmath444 the first letter of @xmath441 . let be @xmath445 . for @xmath446 , the integrand in @xmath447 is constant : if @xmath448 then @xmath449 and if @xmath450 then @xmath451 by ( * ? ? ? * section 5 ) , for @xmath23 and @xmath452 , @xmath453 = 1-(1-\xi_i)\,g_i(o_i , o_i|\xi_i ) \quad \textrm { and}\\ { \mathbb{p}}[x_\infty^{(1)}=g ] & = & f(o_i , g|\xi_i ) \ , ( 1-\xi_i)\,g_i(o_i , o_i|\xi_i ) = ( 1-\xi_i)\,g_i(o_i , g|\xi_i).\end{aligned}\ ] ] recall that @xmath454 for each @xmath455 . we get :    [ thm : entropy - groups ] whenever @xmath456 for all @xmath222 , that is , when all random walks on the factors @xmath420 have finite single - step entropy , then the asymptotic entropy @xmath19 of the random walk on @xmath432 is given by @xmath457,\ ] ] where @xmath458    consider the sequence @xmath459 . if this sequence converges , its limit must equal @xmath19 . by the above made considerations we get @xmath460 \log \frac{f_i(o_i , gg'|\xi_i)}{f_i(o_i , g'|\xi_i)}\biggr],\end{aligned}\ ] ] if the sum on the right hand side is finite . we have now established the proposed formula , but it remains to verify finiteness of the sum above . this follows from the following observations :    @xmath461 is finite . observe that @xmath462 for @xmath463 . thus , @xmath464 this proves claim a.    @xmath465 is finite . observe that @xmath466 . obviously , @xmath467 for @xmath468 set @xmath469 . then : @xmath470\cdot \big| \log g_i(o_i , g'|\xi_i)\bigr| \\ & = & \sum_{g'\in\gamma_i^\times } ( 1-\xi_i)\cdot g_i(o_i , g'|\xi_i)\cdot \big| \log g_i(o_i , g'|\xi_i)\bigr|\\ & = & \sum_{g'\in\gamma_i^\times } ( 1-\xi_i)\cdot \sum_{n\in n(g ' ) } \mu_i^{(n)}(g')\cdot \xi_i^n\cdot \big| \log g_i(o_i , g'|\xi_i)\bigr|\\ & \leq & \sum_{g'\in\gamma_i^\times } ( 1-\xi_i)\cdot \sum_{n\in n(g ' ) } \mu_i^{(n)}(g')\cdot \xi_i^n\cdot   \max\bigl\lbrace -\log \bigl(\mu_i^{(n)}(g')\,\xi_i^n\bigr ) , -\log(1-\xi_i)\bigr\rbrace\\ & \leq & ( 1-\xi_i ) \cdot \sum_{n\in n(g ' ) } n\,\xi_i^n \cdot\underbrace{\frac{-1}{n } \sum_{g'\in\gamma_i } \mu_i^{(n)}(g ' ) \log \mu_i^{(n)}(g')}_{(\ast ) } - ( 1-\xi_i)\,\log \xi_i \sum_{n\geq 1 } n\,\xi_i^n\\ & & \quad - ( 1-\xi_i)\,\log ( 1-\xi_i ) \sum_{n\geq 1 } \xi_i^n.\end{aligned}\ ] ] recall that @xmath471 together with kingman s subadditive ergodic theorem implies existence of a constant @xmath472 with @xmath473 thus , if @xmath98 is large enough , the sum @xmath474 is in the interval @xmath475 for any arbitrarily small @xmath333 . that is , the sum @xmath474 is uniformly bounded for all @xmath98 . from this follows that the rightmost side of the last inequality chain is finite . furthermore , we have for each @xmath455 with @xmath476 : @xmath477\cdot \big| \log g_i(o_i , gg'|\xi_i)\bigr|\\ & = & \sum_{g'\in\gamma_i^\times } ( 1-\xi_i)\cdot g_i(o_i , g'|\xi_i)\cdot \bigl| \log g_i(o_i , gg'|\xi_i)\bigr|\\ & = & \sum_{g'\in\gamma_i^\times } ( 1-\xi_i ) \cdot\sum_{n\in n(g ' ) } \mu_i^{(n)}(g')\cdot \xi_i^n\cdot \bigl| \log g_i(o_i , gg'|\xi_i)\bigr|\\ & \leq & \sum_{g'\in\gamma_i^\times } ( 1-\xi_i)\cdot \sum_{n\in n(g ' ) } \mu_i^{(n)}(g')\cdot \xi_i^n \cdot \max\bigl\lbrace -\log \bigl(\mu_i(g)\,\mu_i^{(n)}(g')\,\xi_i^{n+1}\bigr),-\log(1-\xi_i)\bigr\rbrace\\ & \leq & -(1-\xi_i ) \cdot \sum_{n\in n(g ' ) } \xi_i^n \cdot \sum_{g'\in\gamma_i } \mu_i^{(n)}(g ' ) \log \mu_i^{(n)}(g ' ) - ( 1-\xi_i)\cdot \log \xi_i \cdot \sum_{n\geq 1 } ( n+1)\,\xi_i^n\\ & & \quad - \log \mu_i(g)- \log ( 1-\xi_i).\end{aligned}\ ] ] if we sum up over all @xmath156 with @xmath478 , we get : @xmath479 convergence of @xmath480 follows from ( [ convergence - hi ] ) , @xmath481 converges since @xmath105 and @xmath482 is convergent by assumption @xmath471 . this finishes the proof of claim b , and thus the proof of the theorem . erschler and kaimanovich @xcite asked if drift and entropy of random walks on groups depend continuously on the probability measure , which governs the random walk . ledrappier @xcite proves in his recent , simultaneous paper that drift and entropy of finite - range random walks on free groups vary analytically with the probability measure of constant support . by theorem [ thm : entropy - groups ] , we are even able to show continuity for free products of finitely generated groups , but restricted to nearest neighbour random walks with fixed set of generators . [ cor : analyticity ] let @xmath420 be generated as a semigroup by @xmath483 . denote by @xmath484 the set of probability measures @xmath89 on @xmath483 with @xmath485 for all @xmath486 . furthermore , we write @xmath487 . then the entropy function @xmath488 is real - analytic . the claim follows directly with the formula given in theorem [ thm : entropy - groups ] : the involved generating functions @xmath489 and @xmath490 are analytic when varying the probability measure of constant support , and the values @xmath491 can also be rewritten as @xmath492 where @xmath493 . this yields the claim . _ remarks : _    1 . corollary [ cor : analyticity ] holds also for the case of free products of _ finite _ graphs , if one varies the transition probabilities continously under the assumption that the sets @xmath494 remain constant : one has to rewrite @xmath491 as power series in terms of ( finitely many ) @xmath495 and gets analyticity with the formula given in theorem [ thm : entropy ] . 2 .   analyticity holds also for the drift ( w.r.t . the block length and w.r.t . the natural graph metric ) of nearest neighbour random walks due to the formulas given 3 . the formula for entropy and drift given in mairesse and mathus @xcite for random walks on free products of _ finite _ groups depends also analytically on the transition probabilities . in this section we consider the case of free products of _ finite _ sets @xmath1 , where @xmath4 has @xmath496 vertices . we want to establish a connection between asymptotic entropy , rate of escape and the volume growth rate of the free product @xmath9 . for @xmath497 , let @xmath498 be the set of all words of @xmath9 of block length @xmath26 . the following lemmas give an answer how fast the free product grows .    the sphere growth rate w.r.t . the block length is given by @xmath499 where @xmath500 is the perron - frobenius eigenvalue of the @xmath501-matrix @xmath502 with @xmath503 for @xmath504 and @xmath505 otherwise . denote by @xmath506 the @xmath507-diagonal matrix , which has entries @xmath508-vector with all entries equal to @xmath95 . thus , we can write @xmath509 let @xmath510 and @xmath511 be eigenvectors of @xmath269 w.r.t . the perron - frobenius then @xmath512 are some constants independent from @xmath26 . thus , @xmath513    recall from the perron - frobenius theorem that @xmath514 for each @xmath182 ; in particular , @xmath515 . we also take a look on the natural graph metric and its growth rate . for this purpose , we define @xmath516 that is , the set of all vertices in @xmath9 which are at distance @xmath26 to the root @xmath10 w.r.t . the natural graph metric . we now construct a new graph , whose adjacency matrix allows us to describe the exponential growth of @xmath517 as @xmath132 . for this purpose , we visualize the sets @xmath1 as graphs @xmath518 with vertex sets @xmath1 equipped with the following edges : for @xmath29 , there is a directed edge from @xmath120 to @xmath119 if and only if @xmath33 . consider now directed spanning trees @xmath519 of the graphs @xmath518 such that the graph distances of vertices in @xmath520 to the root @xmath30 remain the same as in @xmath31 . we now investigate the free product @xmath521 , which is again a tree . we make the crucial observation that @xmath522 can be seen as the directed cover of a finite directed graph @xmath523 , where @xmath523 is defined in the following way :    1 . the vertex set of @xmath523 is given by @xmath524 with root @xmath10 . the edges of @xmath523 are given as follows : first , we add all edges inherited from one of the trees @xmath519 , where @xmath10 plays the role of @xmath30 for each @xmath23 . secondly , we add for all @xmath23 and every @xmath525 an edge from @xmath120 to each @xmath526 , @xmath70 , whenever there is an edge from @xmath30 to @xmath119 in @xmath527 . the tree @xmath522 can be seen as a _ periodic tree _ , which is also called a _ tree with finitely many cone types _ ; for more details we refer to lyons @xcite and nagnibeda and woess @xcite . now we are able to state the following lemma :    the sphere growth rate w.r.t . the natural graph metric defined by @xmath528 exists . moreover , we have the equation @xmath529 , where @xmath530 is the perron - frobenius eigenvalue of the adjacency matrix of the graph @xmath523 .    since the graph metric remains invariant under the restriction of @xmath9 to @xmath522 and since it is well - known that the growth rate exists for periodic trees ( see we have existence of the limit @xmath531 . more precisely , @xmath532 tends to the perron - frobenius eigenvalue of the adjacency matrix of @xmath523 as @xmath132 . for sake of completeness , we remark that the root of @xmath522 plays a special role ( as a cone type ) but this does not affect the application of the results about directed covers to our case .    for @xmath533 , we write @xmath534 . now we can prove :    the volume growth w.r.t . the block length , w.r.t . the natural graph metric respectively , is given by @xmath535    for ease of better readability , we omit the subindex @xmath533 in the following , since the proofs for @xmath536 and @xmath537 are completely analogous . choose any small @xmath538 . then there is some @xmath539 such that for all @xmath540 @xmath541 write @xmath542 . then for @xmath543 : @xmath544{c_\varepsilon + \sum_{k = k_\varepsilon}^n \lambda^k e^{k\varepsilon } }   =   \lambda e^{\varepsilon } \sqrt[n]{\frac{c_\varepsilon}{\lambda^n e^{n\varepsilon } } +      \sum_{k = k_\varepsilon}^n \frac{1}{\lambda^{n - k } e^{(n - k)\varepsilon}}}\\ & \leq & \lambda e^{\varepsilon } \sqrt[n]{\frac{c_\varepsilon}{\lambda^n e^{n\varepsilon } } +      ( n - k_\varepsilon+1 ) } \xrightarrow{n\to\infty } \lambda e^{\varepsilon}.\end{aligned}\ ] ] in the last inequality we used the fact @xmath545 . since we can choose @xmath538 arbitrarily small , we get @xmath546 . analogously : @xmath547{c_\varepsilon + \sum_{k = k_\varepsilon}^n \lambda^k e^{-k\varepsilon } }   =   \lambda \sqrt[n]{\frac{c_\varepsilon}{\lambda^n } +      \sum_{k = k_\varepsilon}^n \frac{e^{-k\varepsilon}}{\lambda^{n - k } } } \xrightarrow{n\to\infty } \lambda e^{-\varepsilon}.\ ] ] that is , @xmath548 .    for @xmath533 , define @xmath549 by @xmath550 and @xmath551 . then the limits @xmath552 exist ; see ( * ? ? ? * theorem 3.3 , section 7.ii ) . now we can establish a connection between entropy , rate of escape and volume growth :    [ cor : inequalities ] @xmath553 and @xmath554 .    let be @xmath533 and @xmath555 . then there is some @xmath556 such that for all @xmath557 @xmath558 that is , @xmath559 if we let @xmath26 tend to infinity and make @xmath560 arbitrarily small , we get the claim . finally , we remark that an analogous inequality for random walks on groups was given by and more generally for space- and time - homogeneous markov chains by kaimanovich and woess ( * ? ? ? * theorem 5.3 ) . consider the graphs @xmath561 and @xmath562 with the transition probabilities sketched in figure [ entropy - bsp2 ] . we set @xmath563 . for the computation of @xmath84 we need the following functions : @xmath564 \xi_1(z ) & = & \frac{z/2}{1-\frac{z}{2}\frac{\xi_2(z)^2}{2}\frac{1}{1-\xi_2(z)^3/2 } } , & \quad & \xi_2(z ) & = &   \frac{z/2}{1-\frac{z}{2}\frac{\xi_1(z)^2}{2}\frac{1}{1-\xi_1(z)^2/2}}. \end{array}\ ] ] simple computations with the help of ( * ? ? ? * section 3 ) and mathematica allow us to determine the rate of escape of the random walk on @xmath565 as @xmath566 . for the computation of the entropy , we need also the following generating functions : @xmath567 thus , we get the asymptotic entropy as @xmath568 . [ entropy - bsp2 ]   and @xmath562,title="fig:",width=226 ]      consider the free product @xmath570 of the _ infinite _ groups @xmath571 with @xmath572 and @xmath573 for each @xmath574 . we set @xmath575 , @xmath576 , @xmath577 and @xmath578 for @xmath579 . define @xmath580\,z^n,\\ \hat f(b|z ) & : = & \sum_{n\geq 1 } { \mathbb{p}}\bigl[y_n = b , \forall m < n : \lambda(y_m)<1\,\bigl|\ , y_0=(0,0)\bigr]\,z^n,\end{aligned}\ ] ] where @xmath581 is a random walk on @xmath582 governed by @xmath583 . the above functions satisfy the following system of equations : @xmath584 from this system we obtain explicit formulas for @xmath585 and @xmath586 . we write @xmath587 for @xmath588 . to compute the entropy rate we have to solve the following system of equations : @xmath589 moreover , we need the value @xmath590 . this value can be computed analogously to ( * ? ? ? * section 6.2 ) , that is , @xmath591 has to be computed numerically from the equation @xmath592 solving this equation with mathematica yields @xmath593 . to compute the entropy we have to evaluate the functions @xmath594 at @xmath595 for each @xmath596 . for even @xmath98 , we have the following formulas : @xmath597 for odd @xmath98 , @xmath598 moreover , we define @xmath599 $ ] . this probability can be computed by conditioning on the first step and solving @xmath600 that is , @xmath601 . observe that we get the following estimations : @xmath602 these bounds allow us to cap the sum over all @xmath603 in ( [ equ - mathcalf ] ) and to estimate the tails of these sums . thus , we can compute the entropy rate numerically as @xmath604 . the author is grateful to frdric mathus for discussion on the problems and several hints regarding content and exposition . 99 a.  avez . entropie des groupes de type fini . _ c.r.acad.sci.paris sr . , 275:a1363a1366 , 1972 . i.  benjamini and y.  peres . tree - indexed random walks on groups and first passage percolation . _ probab . theory related fields _ , 98(1 ) : 91112 , 1994 . s.  blachre and p.  hassinsky and p.  mathieu . asymptotic entropy and green speed for random walks on countable groups . _ ann . of probab . _ , 36(3):11341152 , 2008 . e.  candellero and l.  gilch . phase transitions for random walk asymptotics on free products of groups . submitted , current version available at arxiv:0909.1893v3 , 2009 . d.i .  cartwright and p.m.  soardi . random walks on free products , quotients and amalgams . _ nagoya math . j. _ , 102:163180 , 1986 . t.  cover and j.  thomas . _ elements of information theory_. wiley & sons , 2nd edition , 2006 . y.  derriennic . quelques applications du thorme ergodique sous - additif . _ astrisque _ , 74:183201 , 1980 . a.  erschler . on the asymptotics of drift . _ j. of math . sciences _ , 121(3):24372440 , 2004 . a.  erschler and v.  kaimanovich . continuity of entropy for random walks on hyperbolic groups . _ in preparation _ , 2010 . p.  gerl and w.  woess . local limits and harmonic functions for nonisotropic random walks on free groups . theory rel . fields _ , 71:341355 , 1986 . l.  a.  gilch . rate of escape of random walks on free products . _ j. aust . _ , 83(i):3154 , 2007 . l.  a.  gilch and s.  mller . random walks on directed covers of graphs . _ j. of theoret . _ , doi 10.1007/s10959 - 009 - 0256 - 0 , 2009 . y.  guivarch . sur la loi des grands nombres et le rayon spectral dune marche alatoire . _ astrisque _ , 74:4798 , 1980 . kaimanovich and a.m.  vershik . random walks on discrete groups : boundary and entropy . _ ann . of prob . _ , 11:457490 , 1983 . v.  kaimanovich and w.  woess . boundary and entropy of space homogeneous markov chains . _ ann . of prob . _ , 30:323363 , 2002 . a.  karlsson and f.  ledrappier . linear drift and poisson boundary for random walks . _ pure appl . , 3:10271036 , 2007 . the ergodic theory of subadditive processes . _ j. royal stat . b _ , 30:499510 , 1968 . s.  lalley . finite range random walk on free groups and homogeneous trees . _ ann . of prob . _ , 21(4):20872130 , 1993 . f.  ledrappier . analyticity of the entropy for some random walks . _ preprint , available at arxiv:1009.5354v1 _ , 2010 . r.  lyons , with y. peres . _ probability on trees and networks_. in preparation . current version available at http://mypage.iu.edu/  rdlyons/ , 2010 . j.  mairesse and f.  mathus . random walks on free products of cyclic groups . _ j. london math . _ , 75(1):4766 , 2007 . _ random walks and convolution operators on free products . _ phd thesis , new york univ . , t.  nagnibeda and w.  woess . random walks on trees with finitely many cone types . _ j. theoret . _ , 15:399438 , 2002 . s.  sawyer . isotropic random walks in a tree . _ zeitschrift f. wahrscheinlichkeitstheorie _ , 42:279292 , 1978 . s.  sawyer and t.  steger . the rate of escape for anisotropic random walks in a tree . theory rel . fields _ , 76:207230 , 1987 . long range estimates for markov chains . _ , 109:225252 , 1985 . d.  voiculescu . addition of certain non - commuting random variables . _ j. funct . _ , 66:323346 , 1986 . w.  woess . nearest neighbour random walks on free products of discrete groups . _ _ , 5-b:961982 , 1986 . w.  woess . _ random walks on infinite graphs and groups_. cambridge university press , 2000 .
Abstract:

Answer: suppose we are given the free product v of a finite family of finite or countable sets . we consider a transient random walk on the free product arising naturally from a convex combination of random walks on the free factors . we prove the existence of the asymptotic entropy and present three different , equivalent formulas , which are derived by three different techniques . in particular , we will show that the entropy is the rate of escape with respect to the greenian metric . moreover , we link asymptotic entropy with the rate of escape and volume growth resulting in two inequalities . lorenz a. gilch     graz university of technology + institut fr mathematische strukturtheorie ( math . c ) + steyrergasse 30 + a-8010 graz + austria + email : gilch@tugraz.at + url : http://www.math.tugraz.at/@xmath0gilch/