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 .


in 1917 , einstein replaced the euclidean three - space by the three - sphere and so introduced the first spherical manifold to describe the spatial part of the universe  @xcite . more generally , three - manifolds with non - euclidean topology have in recent years found applications in cosmology , in particular in relation to the multipole analysis of the cosmic microwave background ( cmb ) radiation .
cosmological models with positive curvature are related to the three - sphere .
the three - sphere covers all spherical three - manifolds , including the platonic manifolds considered here . for the poincars dodecahedral three - manifold , the first orthonormal basis required for the multipole analysis was constructed in  @xcite , using lie algebraic methods and drawing on work by klein 1884  @xcite .
compared to other manifolds , the platonic three - manifolds have the advantage that their homotopies have been derived and classified in 2003 by everitt  @xcite .
the homotopies are fundamental for the mathematical analysis of the topology of manifolds  @xcite .
the connection of multipole - resolved cmb measurements to cosmic topology is provided by selection rules for the harmonic analysis .
surprisingly , there is no systematic account that links the homotopy of platonic manifolds to deck groups and to their harmonic analysis and selection rules .
our aim is to close this gap .
we start by relating the three - sphere to the group @xmath0 in section  [ sec:3sphere ] .
the representations of the group @xmath0 yield the wigner polynomials introduced in section  [ sec : wigner ] , with unitary actions resulting in a  multipole decomposition discussed in section  [ sec : unitary ] . in section  [ sec : grids ] , we index the wigner basis polynomials by points on an  @xmath1-grid in two dimensions in preparation for deriving topological selection rules .    the platonic spherical polyhedra are constructed in sections  [ sec : coxeter ] and  [ sec : unimodular ] by use of four spherical coxeter groups for the tetrahedron , cube , octahedron and dodecahedron .
the platonic homotopy groups from  @xcite are expressed in sections  [ sec : homotopy ] and  [ sec : synopsis ] by the gluings of faces and directed edges of the platonic polyhedra .    in the central section  [ sec : deck ] ,
we use the isomorphism of homotopy and deck groups .
any topological spherical three - manifold appears on its universal cover @xmath2 in the form of a  tiling .
any tile is an  image of the spherical manifold .
the tiles are related to one another by deck actions from the deck group .
we construct from the homotopies of  @xcite the isomorphic deck actions on the three - sphere @xmath2 and , from them determine , the deck groups for the platonic manifolds .
the deck groups are factorized in section  [ sec : point ] by the point symmetry groups of the platonic polyhedra .
we handle fixpoints under rotations in point groups by the new construction of multiply - connected topological orbifolds .
whereas a  topological manifold strictly excludes fixpoints under deck actions , orbifolds allow for such fixpoints @xcite , @xcite  pp .
652714 .    for the harmonic analysis on orbifolds
, we employ in section  [ sec : orbi ] wigner polynomials with restrictions to the subgrid representation of topological selection rules .
the resulting subbases appear as denumerable sets of wigner polynomials on subgrids , as shown in figure  [ fig : subgrids ] and extend earlier work  @xcite .
the @xmath1-grid representation allows in section  [ sec : harmonic ] for a  very transparent graphical display of the restriction from general bases to subbases of a given topology .    finally in section  [ sec
: cmb ] , we present the application of topology to cosmology .
in contrast to einstein s closure of the spatial part of space - time on the simply - connected three - sphere , we discuss the closure on spherical orbifolds and incorporate a  wider variety of multiply - connected cosmologies .
our harmonic analysis on orbifolds yields for each orbifold specific multipole selection rules and , moreover , predicts topological correlations between different multipole orders @xmath3 of the cmb .
in three - dimensional topology , the three - sphere @xmath2 is the simply - connected universal cover  @xcite ( p.  290 ) of  spherical topologies .
the points of the three - sphere , seen in euclidean space @xmath4 with covariant coordinates , are : @xmath5 they are in one - to - one correspondence to the elements of the unitary unimodular group @xmath0 . from real coordinates of @xmath4 : @xmath6 , we pass to a  @xmath7 unimodular unitary matrix @xmath8 in the form : @xmath9 = \left [ \begin{array}{ll }   x_0-ix_3&x_2-ix_1\\ -x_2-ix_1&x_0+ix_3\\ \end{array } \right ] , \ : { \rm det } ( u)=1\ ] ] as angular coordinates on @xmath0 , we can use the euler angles @xmath10  @xcite ( pp .  68 ) . in these
, the matrix @xmath11 takes the form : @xmath12\end{aligned}\ ] ] the measure of integration in the euler angles becomes  @xcite ( p.  62 ) , @xmath13    summary : the three - sphere @xmath2 corresponds one - to - one to the group @xmath0 . from this correspondence ,
the isometries of @xmath2 inherit a  unitary structure .
this provides the full representation theory  @xcite of the group @xmath0 as a tool for spherical topology .
the finite irreducible unitary representations of @xmath0 were studied by wigner  @xcite . for  unitarity and the irreducibility of representations ,
we refer to his monograph .
we now introduce the wigner polynomials .
we shall show that they span the harmonic analysis on the three - sphere  @xcite and play an  important part in topological analysis .
let the matrix @xmath14 equation  ( [ u1 ] ) act from the left on the complex column vector : @xmath15\\ \rightarrow u(z_1,z_2)\left[\begin{array}{l }   a\\   b   \end{array}\right]\ ] ] in the bargmann
hilbert space of analytic functions  @xcite in two complex variables @xmath16 , the monomials : @xmath17 are normalized with the measure : @xmath18 with @xmath1 either an integer or half - integer , under the action equation  ( [ u5 ] ) , the monomials in equation  ( [ u6 ] ) carry irreducible representations of @xmath0 and transform as : @xmath19 the @xmath20 coefficients in this equation are the wigner @xmath21-functions  @xcite ( equation  ( 4.1.10 ) ) .
wigner  @xcite has shown that the @xmath21-functions are the unitary irreducible representations of @xmath0 .
we replace euler angles by four complex variables from equation  ( [ u1 ] ) in the arguments of the @xmath21 . following  @xcite ,
we term the resulting complex valued polynomials wigner polynomials . from equation  ( [ u8 ] ) , they are given  by : @xmath22^{1/2}\nonumber\\\nonumber & & \sum_{\upsigma } \frac{(j+m_2)!(j - m_2)!}{(j+m_1-\upsigma)!(m_2-m_1+\upsigma)!\upsigma!(j - m_2-\upsigma ) ! } \\   & & \times ( -1)^{m_2-m_1+\upsigma } z_1^{j+m_1-\upsigma}\overline{z}_2^{m_2-m_1+\upsigma}z_2^{\upsigma }   \overline{z}_1^{j - m_2-\upsigma } \vspace{-10pt } \label{u9}\end{aligned}\ ] ] all exponents of the four complex variables in equation  ( [ u8a ] ) are integers and must be non - negative .
this restricts the summation over the integer @xmath23 .
two important properties of these wigner polynomials arise under inversion and under complex conjugation of the matrix @xmath11 , @xmath24 we prove that the wigner polynomials vanish under the laplacian on @xmath4 and , so , are harmonic .
consider first the case @xmath25 .
this implies @xmath26 , @xmath27^{1/2 } ( z_1)^{j+m_2}(z_2)^{j - m_2}\ ] ] the polynomials equation  ( [ u11 ] ) are analytic in @xmath28 , and so , by the cauchy  riemann differential equations , vanish under the laplacian @xmath29 on @xmath4 . from the particular polynomials equation  ( [ u11 ] )
, we can lower the eigenvalue @xmath30 to any value @xmath31 for fixed degree @xmath32 by the application of the left lowering operator @xmath33 of @xmath34 , given from  @xcite ( equation  ( 35 ) ) by : @xmath35 \vspace{-6pt}\ ] ] by repeated application of this lowering operator , we can reach all of the @xmath20 wigner polynomials for fixed degree @xmath32 . the lowering operator commutes with the laplacian @xmath29 on @xmath4 and ,
so , can not change its eigenvalue zero .
it follows that all of the wigner polynomials equation  ( [ u8a ] ) are harmonic .
the action of the rotation group @xmath36 is expressed by left and right actions on @xmath0 . when restricted to conjugation
, its action reduces to rotations only of the three coordinates @xmath37 ; see equation  ( [ u14db ] ) .
the orthogonality of the wigner polynomials , expressed in the euler angles , is  @xcite ( p. 62 ) @xmath38    summary : the wigner polynomials , equation  ( [ u6 ] ) , are harmonic , orthonormal and homogeneous of degree @xmath39 .
their transformation properties under @xmath0 are well known from the theory of angular momentum in quantum mechanics @xcite .
the group of isometries of @xmath2 is @xmath36 .
the action of this group is isomorphic to the direct product of a  left and a  right group @xmath40 acting on @xmath41 in the form : @xmath42 the left and right action groups in equation  ( [ u2 ] ) commute and act as : @xmath43 the subgroup @xmath44 in equation  ( [ u2 ] ) is generated by @xmath45 .
the direct product form equation  ( [ u2 ] ) , contrary to what is asserted in  @xcite ( p.  277 ) , in general does not extend to subgroups of @xmath36 and , so , can not yield their classification .
a counter - example is provided by the deck group @xmath46 of the tetrahedral manifold ( equation  ( [ f12 ] ) ) , which entangles left and right actions .    among the actions described by equation  ( [ u3 ] )
are the conjugation actions : @xmath47 which form a subgroup @xmath48 .
the action equation  ( [ u3b ] ) preserves the trace , @xmath49 and therefore operates only on the subspace with coordinates @xmath50 .
the unitary structure of the three - sphere governs its isometries and introduces the representation theory of  @xmath0 .
in particular , we obtain for the action of @xmath36 on a  wigner polynomial equation  ( [ u9 ] ) : @xmath51 the expression in the last line is the matrix element of the irreducible representation @xmath52 of @xmath36 for the pair @xmath53 .
the degree @xmath32 stays fixed under the action of @xmath36 , while the pairs @xmath54 take @xmath20 values .    the actions by conjugation equation  ( [ u3b ] ) of the subgroup @xmath34 reduce into irreducible form  upon transforming the wigner polynomial basis ; compare also  @xcite , with wigner coefficients of @xmath0  @xcite ( pp .
3152 ) , into a  spherical basis by : @xmath55 equation  ( [ u14b ] ) implies that the irreducible representation @xmath56 of @xmath57 when reduced to the subgroup @xmath48 contains any irreducible representation @xmath58 of @xmath48 once and only once for @xmath59 . the transformation inverse to equation  ( [ u14b ] ) is : @xmath60 the two transformations equations  ( [ u14b ] ) and ( [ u14c ] ) will play a  crucial role in the recursive construction of the harmonic analysis for orbifolds in section  [ sec : projharmonic ] . in cosmic topology
, section  [ sec : cmb ] , the spherical basis equation  ( [ u14b ] ) in terms of spherical harmonics @xmath61 is required for the multipole analysis of physical observables , like the cmb radiation .
it is given by : @xmath62 where @xmath63 denotes the gegenbauer polynomial .
as a  result of equation  ( [ u14b ] ) , the conjugation action of @xmath48 on the spherical basis becomes : @xmath64 identical to the irreducible action of the rotation operator @xmath65 on the usual spherical harmonics @xmath66 in @xmath67  @xcite ( pp .
the coordinate @xmath68 in @xmath4 is unchanged under this action , and so , we find : summary : the action of the rotation @xmath69 on wigner polynomials is given by the representation @xmath52 , equation  ( [ u14 ] ) .
the rotations @xmath70 act only on the first three  coordinates , and the spherical basis equation  ( [ u14b ] ) yields the decomposition of wigner polynomials into irreducible subbases characterized by the multipole order @xmath71 .
to display the topological selection rules for wigner polynomials , we concentrate on their discrete labels @xmath73 . both of them are an integer or half - integer .
these labels form an  integer plus a  half - integer @xmath72 @xmath1-grid , both of spacing @xmath74 , on a  @xmath72 plane . from the point of view of representations of @xmath0 ,
the grid points fix subrepresentations of left and right subgroups @xmath75 .
consider the set of wigner polynomials as being attached to the grid points @xmath54 . at a  given grid point @xmath54 ,
the labels @xmath76 of all wigner polynomials attached to it have the denumerable range @xmath77 .
conversely , the wigner polynomials for fixed degree @xmath32 occur with values @xmath73 on a  centered square @xmath78 . in section  [ sec :
subgrids ] , we shall see that harmonic analysis on topological orbifolds selects wigner bases on subgrids .
summary : a  denumerable set of wigner polynomials @xmath79 with the index pair @xmath54 and degree @xmath80 is associated with any single point @xmath54 of a  @xmath72 @xmath1-grid .
geometric orbifolds @xmath81 , @xmath82 are shown in the top panels and @xmath83 , @xmath84 in the bottom panels .
the yellow color marks the duplex form of the orbifolds as pairs of coxeter simplices , glued with triangular faces in blue color .
the axes of the covering rotations @xmath85 for each orbifold are marked by thin lines .
the parts of these axes that bound the glue triangles carry fixpoints of integer order @xmath86 .
, scaledwidth=80.0% ]    in this section , we turn from the three - sphere to the spherical manifolds of platonic polyhedra shown in figure  [ fig : duplices ] . to describe their geometrical transformation properties , we use spherical coxeter groups .
coxeter groups @xmath87 are generated by weyl reflections in ( hyper-)planes of euclidean space @xmath88 .
any weyl reflection @xmath89 is characterized by a  unit vector @xmath90 , normal to the reflection ( hyper-)plane .
the action of the weyl reflection @xmath89 on @xmath91 is given by : @xmath92 a weyl reflection is a  euclidean isometry of determinant @xmath93 .
a coxeter group @xmath87 is generated by weyl reflections @xmath94 .
for a  fixed coxeter group @xmath87 , we use the short - hand notation @xmath95 .
@xmath87 is graphically denoted by a  coxeter diagram , built from circles for each generator and connected by a  sequence of lines .
the diagram allows one to construct the group @xmath87 from its weyl reflection generators and their relations  @xcite ( pp .
1223 ) ,  @xcite .
the lines between circles carry integer numbers @xmath96 .
lines without numbers are short - hand for @xmath97 .
the number @xmath98 between two successive reflections @xmath99 implies the relation : @xmath100 the number @xmath98 is the order of the rotation generated by @xmath101 .    in tables  [ tab : coxa ] and [ tab : coxb ] , we list the four spherical coxeter groups of the tetrahedron , cube , octahedron and dodecahedron , each with four generators , their diagrams and quadruples of unit vectors @xmath102 .
these coxeter groups produce tilings  @xcite of the three - sphere @xmath2 by platonic polyhedra .
.[tab : coxa ] diagrams of four spherical coxeter groups @xmath87 of order @xmath103 , four platonic polyhedra @xmath104 and seven deck groups @xmath105 of order @xmath106 according to  @xcite ( p.  134 ) . in the table
, @xmath107 denotes a  cyclic , @xmath108 the quaternion , @xmath109 the binary tetrahedral and @xmath110 the binary icosahedral group . the symbols @xmath111 are adapted from  @xcite . [ cols="<,<,<,<,<,<",options="header " , ]
the enumeration of faces and directed edges of the platonic polyhedra is shown in figure  [ fig : platonicpoly ] . in table
[ tab : homo ] , we list the gluing of faces and directed edges as given in  @xcite .
homotopic gluings relate faces and edges of a  single polyhedron .
a  new geometric view of topologies emerges on the universal covering manifold @xmath2 . a  general theorem , given by seifert and threlfall  @xcite ( pp .
181203 ) , proves for topological manifolds the isomorphism between the first homotopy group and the group of deck or covering actions on the universal cover .
we implement this theorem for the cubic spherical manifold @xmath82 and convert its homotopic gluings from table [ tab : homo ] into deck actions between neighboring copies of a  single proto - cube with fixed face and edge enumeration .
the deck rotations , which generate the tiling of @xmath2 , form the topological deck group .
the eight cubic copies tile the three - sphere in the form of the eight - cell shown in figure  [ fig : platonicpoly ] in a  projection from  @xcite ( p.  170 ) .
this means that the topological deck group must be of order eight .    for the homotopy of @xmath82 , we make full use of the prescriptions of table [
tab : homo ] .
any quadratic face of the proto - cube is surrounded by four directed edges given in figure  [ fig : platonicpoly ] .
these four directed edges in turn determine the face and , moreover , give its orientation with respect to a  four - fold axis perpendicular to the  face .
we use square diagrams as given in equation  ( [ u54 ] ) , formed from four directed edges , to denote edges around a  face plus their orientation .
this orientation must be respected in the homotopic gluing of faces and their edges given in table [ tab : homo ] .
it suffices to convert only the homotopic face gluings of a  proto - cube , the glue generators , into deck actions .
then , these deck actions by multiplication generate the full deck group .    in @xmath67
, we choose the coordinates @xmath112 normal to the three faces labeled @xmath113 in figure  [ fig : platonicpoly ] .
positive rotations by an  angle @xmath114 around these normals we denote as @xmath115 .    before turning to the manifold @xmath82 in equation  ( [ u55 ] )
, we first treat in equation  ( [ u54 ] ) a simple reference glue @xmath116 of two opposite faces of the proto - cube .
we convert this glue into a  deck action of two  copies of the proto - cube and write it algebraically in equation  ( [ u54 ] ) as a  product of weyl reflections and inversions .
by @xmath117 , we denote the inversions in @xmath118 .
we find this action in the form : @xmath119 \leftarrow   \left[\begin{array}{lll } & \overline{10}&\\   \overline{6}&&12 \\   & \overline{11 } &    \end{array}\right ]   \\
\nonumber   & & = w_4 { \cal j}_3= w_4 w_0 { \cal j}_4\end{aligned}\ ] ] the product of weyl reflections and inversions in equation  ( [ u54 ] ) combines into an  overall unimodular rotation matrix . for convenience , we introduced the additional weyl reflection operator @xmath120 , @xmath121 .
now , we return to the cubic manifold @xmath82 . by use of two rotations ,
we convert its first face gluing , @xmath122 , into the reference deck action equation  ( [ u54 ] ) , @xmath123 by similar conjugations as in equation  ( [ u54 ] ) , we convert the two other face gluings of the manifold @xmath82 in equation  ( [ u52 ] ) into deck actions , @xmath124 from products of two weyl reflection operators in equation  ( [ u56 ] ) , we pass to elements @xmath125 given in table  [ tab : coxb ] by equation  ( [ b3 ] ) . as shown in  @xcite , the deck generator in equation  ( [ u55 ] ) generates a  cyclic group @xmath126 of order eight , which paves the eight - cell tiling of @xmath2 by copies of the  prototile .
the eight - cell admits a  second inequivalent cubic homotopy @xmath83  @xcite .
its deck group derived in  @xcite is the quaternion group @xmath108 .
we give the generating elements in equation  ( [ qg ] ) .
for the other platonic homotopies studied by everitt  @xcite , the conversions to deck actions are carried out in  @xcite .
summary : the homotopic gluings for platonic polyhedra from  @xcite are listed in table  [ tab : homo ] . we convert them into actions of deck groups @xmath127 on the covering three - sphere .
they generate tilings by @xmath106 tiles of the covering three - sphere .
the spherical platonic polyhedra cover the three - sphere by deck transformations . by use of its point symmetry group @xmath128 , we can decompose a  single platonic polyhedron under @xmath128 into a  fundamental domain and its orbit .
we must remove two obstacles towards a  topological interpretation :    \(i ) to keep the orientation under deck actions , we restrict the point group @xmath128 to proper rotations . for the coxeter group action ,
its fundamental domain is a  simplex bounded by four weyl reflection planes .
when we restrict to rotations to preserve orientation , the actions belong to the unimodular subgroup of @xmath87 of determinant one , which we denote as @xmath129 . when passing to @xmath129 , we must extend the fundamental simplex domain of @xmath87 for @xmath129 to a  duplex , consisting of a  simplex and its image under a  reflection , see figure  [ fig : duplices ] .
\(ii ) a  topological manifold strictly excludes fixpoints under deck actions . here , they appear on the rotation axes of the point groups .
we must extend our topological notion from a  manifold to an  orbifold  @xcite , which allows for fixpoints of finite order .
the notion of orbifolds is explained in more detail in  @xcite ( pp .
652714 ) . in figure
[ fig : duplices ] , we give the construction of orbifolds by gluing pairs of coxeter simplices into duplices for the four platonic polyhedra .
the fixpoints appear on the edges of the blue glue triangles for the two coxeter simplices .
to cover the full three - sphere by orbifolds , we proceed in two steps .
first of all , any platonic polyhedron under its rotational point symmetry group @xmath128 is paved by @xmath130 copies of spherical orbifolds .
these spherical orbifolds we take as duplices glued from a  coxeter simplex and its mirror image .
copies of the duplices shown in figure  [ fig : duplices ] under the point group @xmath128 tile the platonic polyhedra , but have fixpoints on their edges . to cover the full three - sphere , we augment the rotational point symmetry group @xmath128 by the operations of the full deck group @xmath127 of the platonic manifold .
these two groups share only the identity element , @xmath131 .
the product @xmath132 of point and deck operations @xmath133 , acting on a  proto - orbifold , generates as the deck group the unimodular subgroup @xmath134 of the coxeter group .
the images of the proto - duplex under all of these products cover the three - sphere .
summary : the topological orbifolds for platonic spherical polyhedra are duplices ( figure  [ fig : duplices ] ) , glued from two coxeter simplices .
their deck groups are the unimodular subgroups @xmath135 .
each orbifold deck group is factorized as @xmath136 , into the point symmetry group @xmath128 and the deck group @xmath127 for the platonic polyhedron .
as the general basis for all of these topologies , we take the harmonic wigner polynomials . to adapt them to specific orbifolds , we shall present in the following subsections different routes . by graphical means
, we shall illuminate on @xmath72 @xmath1-subgrids ; see figure  [ fig : subgrids ] , denumerable sets of wigner polynomials for orbifolds , selected from the full harmonic set on the three - sphere .
more details of the harmonic analysis on the platonic orbifolds are given in section  [ sec : harmonic ] .
subgrids of integer / half - integer black / red points @xmath137 are spanned by heavy black / red vectors .
the marked grid points select the bases @xmath138 for a  spherical orbifold @xmath111 from the square grid formed by thin lines .
coordinate transformations are given in equation  ( [ u14e ] ) .
tetrahedral case @xmath81 , coordinates @xmath139 , integer black and half - integer red grid points .
cubic case @xmath82 , coordinates @xmath139 , with integer black grid points .
cubic case @xmath83 , coordinates @xmath140 , vertical broken mirror line , integer black grid points .
octahedral case @xmath141 , coordinates @xmath140 , horizontal broken mirror line , integer black grid points.,scaledwidth=51.0% ]      the unitary structure of the three - sphere allows one to reduce any given deck action to a  pure phase transformation .
a general rotation operator @xmath142 can be brought to a  simple form by unitary diagonalizations of the matrices @xmath143 , @xmath144 ,   \updelta_r=\left [   \begin{array}{ll } \exp(i\upgamma ) & 0\\ 0 & \exp(-i\upgamma ) \end{array}\right ] \vspace{4pt}\end{aligned}\ ] ] to find the angular parameters @xmath145 of the diagonal form , one can avoid the explicit diagonalization equation  ( [ u14da ] ) .
for any @xmath41 , use the trace relation : @xmath146 to determine @xmath147 .
we now pass from @xmath140 to a  new matrix @xmath139 by the @xmath36 rotation : @xmath148 the matrix @xmath139 represents a  new system of coordinates on @xmath2 .
it follows from equation  ( [ u14da ] ) that to the action of @xmath149 on the coordinates @xmath140 , there corresponds the action @xmath150 on the coordinates @xmath139 .
if we pass in a  wigner polynomial from the coordinates @xmath151 to euler angles , we find in this parametrization : @xmath152 that is , a  pure phase transformation .
the condition of invariance of a  wigner polynomial @xmath153 under the diagonal action of the operator @xmath150 now takes the form of a  phase condition : @xmath154    summary : any deck action on  wigner polynomials by a  rotation can be converted into a  pure phase transformation equation  ( [ u14q ] ) .
any deck group with a  single - generator can be treated in this way .
the harmonic analysis must be restricted to the modes admissible for a  specific spherical topology .
a denumerable set of wigner polynomials @xmath79 with the index pair @xmath54 and degree @xmath80 is achieved by choosing from the harmonic wigner basis a subbasis invariant under the relevant point and deck group .
since all deck actions are of finite order , the angles @xmath155 in equation  ( [ u14q ] ) must be integral fractions of @xmath156 of the forms @xmath157 . for groups with a  single generator , rewrite equation  ( [ xx1 ] ) in the form
: @xmath158 the solutions @xmath159 of equation  ( [ xx2 ] ) for @xmath160 form integer multiples of a  grid vector @xmath161
. solutions of equation  ( [ xx2 ] ) for @xmath162 are on lines parallel to @xmath163 .
we choose a  second vector @xmath164 to a  grid point outside , but next to the line spanned by @xmath163 .
then , the vectors @xmath165 form the basis of an  @xmath1-subgrid , whose points yield all solutions of equations  ( [ xx1 ] ) and ( [ xx2 ] ) .
this case applies to the orbifolds @xmath81 and @xmath82 with cyclic deck groups @xmath46 , @xmath126 . in figure
[ fig : subgrids ] , we mark the subgrids for the orbifolds @xmath81 , @xmath82 , @xmath83 , @xmath141 .
note that the topological rules equation  ( [ xx2 ] ) , given in terms of subgrids , select enumerable sets of harmonic widner basis polynomials of unrestricted degree @xmath32 .
the subgrid method can be extended to orbifolds when at most two wigner polynomials with index pairs @xmath166 $ ] or @xmath167 $ ] linearly combine into an  invariant basis polynomial .
we call these two cases vertical and horizontal mirror pairs
. it then suffices to mark one  partner of this pair and to give the algebraic phase for its partner .
these cases apply for the orbifolds @xmath82 and @xmath83 , illustrated in figure  [ fig : subgrids ] .      for more general deck groups ,
we establish the identity representation by application to a  wigner polynomial @xmath21 of degree @xmath32 the projection operator @xmath168 equation  ( [ u57 ] ) to the identity representation of the deck group @xmath127 , @xmath169 by equation  ( [ u14 ] ) , this application produces for any degree @xmath32 a  linear combination of wigner polynomials .
if this can be normalized , it contributes to the harmonic analysis . for platonic spherical manifolds ,
these projections were carried out in  @xcite . in many cases ,
it is possible to display the results of the projection equation  ( [ u57 ] ) on an  @xmath1-subgrid : the non - vanishing wigner polynomials selected by projection are located on a  subgrid , dependent on the manifold , and spanned by two specific grid vectors @xmath165 .
we display subgrids in figure  [ fig : subgrids ] .
the advantage of the subgrid method is that different topologies can be directly compared in terms of their subgrids .
summary : the wigner polynomials invariant under a  single - generator deck group are located on a  subgrid spanned by two grid vectors @xmath165 .
any subgrid point @xmath54 stands for an  enumerable set of invariant wigner polynomials of degree @xmath170 .
the spherical manifolds @xmath171 with cyclic deck groups @xmath172 belong to this set .      the basis of the harmonic analysis for a  specific topology can be recursively computed , as we shall show .
we have seen that the deck group of the orbifold factorizes into the symmetry group @xmath128 of the platonic manifold and its deck group @xmath127 .
the basis functions for the harmonic analysis must be invariant under the deck group @xmath132 , which is possible only if they are invariant under both @xmath128 and @xmath127 . the two  projectors for the groups @xmath128 and @xmath127 commute  @xcite .
we start for the cubic orbifold @xmath83 the first loop of a  recursive construction of basis functions of increasing degree @xmath32 :    \(i ) the action of symmetry groups @xmath173 of the platonic manifolds is known from the euclidean setting in @xmath67 .
the point group @xmath174 is a  subgroup of the rotation group @xmath175 ; therefore , any @xmath128-invariants must appear for fixed @xmath71 as  linear combinations of spherical harmonics @xmath176 .
standard spherical harmonics @xmath177 with lowest label @xmath178 and invariant under @xmath174 can be found in  @xcite ( pp .
436438 ) for the cubic group and in  @xcite ( pp .  105114 ) . for several point groups @xmath128 , the onset @xmath179 of spherical harmonics invariant under @xmath128
is listed in  @xcite , table 3 .
the linear combinations of lowest @xmath178 can be expressed in the spherical basis equation  ( [ u14b ] ) of @xmath36 .
for the cubic point group @xmath174 , the lowest linear combination of spherical harmonics given in table  [ tab : cubicl ] has @xmath180 .
\(ii ) to also project on an invariant under @xmath127 , which is @xmath181 for the orbifold @xmath83 , we transform with equation  ( [ u14c ] ) from the spherical basis back to the wigner basis and then apply the projector equation  ( [ u57 ] ) with the matrix element : @xmath182 once the result of ( ii ) is transformed back into the spherical basis with equation  ( [ u14b ] ) , we recover linear combinations with new values of multipole order @xmath183 , which , if non - vanishing , can be normalized .
these new states must still be invariant under the point group @xmath128 .
it follows that they must contain @xmath128-invariant linear combination of spherical harmonics with @xmath184 . for the cubic point group @xmath174
, we demonstrate this result in table  [ tab : cubicl ] with new cubic invariants for @xmath185 and @xmath186 .    with them ,
we enter the next loop with steps ( i ) and ( ii ) in search of new invariant basis functions for the deck group @xmath187 .
this recursive method uses only well - known wigner coefficients of @xmath0 , but avoids any new projection to invariants under @xmath128 .
the new basis functions in table  [ tab : cubicinv ] contain linear combinations of different multipole orders @xmath188 .
this implies that topology can enforce linear correlations between amplitudes of different multipole order , which has important implications for the analysis of the cosmic microwave background .
@xmath189    @xmath190    in table  [ tab : cubicinv ] , we exemplify the first basis functions for the cubic orbifold @xmath83 .
summary : the recursive method , by use of loops with steps ( i ) and ( ii ) , yields a  basis of the harmonic analysis of any platonic orbifold .
invariance under a  topological deck group will imply in general the correlation between multipoles of different orders @xmath3 .
depending on the orbifold , we apply one of the methods given in the previous section to derive the basis of each platonic orbifold .
the deck group of @xmath81 from  @xcite is the cyclic group @xmath191 of order five .
its single generator is the  rotation : @xmath192 where the vector @xmath193 of the weyl reflection @xmath194 of the coxeter group from table [ tab : coxb ] by equation  ( [ b3 ] ) determines the unitary matrix @xmath195 ( equation  ( [ b2 ] ) ) , and equation  ( [ b3 ] ) is used to convert products of two weyl reflection operators into rotations .
equation  ( [ f12 ] ) demonstrates that the entanglement of left and right actions in the group @xmath46 is enforced by the geometry of the tetrahedron .
we follow section  [ sec : wigner ] and replace the old coordinates @xmath140 by the new ones @xmath196 . by the trace relation equation  ( [ u14f ] ) for @xmath143
, we find the diagonal forms : @xmath197 ,   \:\ : \updelta_r= \left [   \begin{array}{ll }   \exp(i\:6\pi/5 ) & 0\\   0 & \exp(-i\:6\pi/5)\\   \end{array}\right ] \vspace{3pt}\ ] ] to project a  basis state invariant under @xmath46 , it suffices to make it invariant under the generator equation  ( [ f12 ] ) of @xmath46 , since then , it will be invariant under any power of this generator .
we choose a  fixed wigner polynomial and find in the coordinates @xmath139 as action the phase transformation : @xmath198 to have invariance under the generator of @xmath46 , we require : @xmath199 this condition is fulfilled on the subgrid points marked in figure  [ fig : subgrids ] , @xmath81 by black and by red circles .
the subgrids are spanned by the black vectors @xmath200 from an  integer or by the same red vectors from a  half - integer grid point .
the subgrid points form a  selection from all grid points .
the subbasis consists of all wigner polynomials associated with the subgrid points .
the deck group is @xmath126 generated by : @xmath201,\:\ :   g_r= \left[\begin{array}{ll } 0 & \overline{a}\\   -a & 0\\ \end{array } \right],\ : a=\exp(i\ : 2\pi/8)\ ] ] again , the left and right actions are entangled .
the subbasis of the harmonic analysis is of the horizontal mirror type ( see section  [ sec : mirror ] ) given by the linear combination of two wigner polynomials : @xmath202 ,   \\ \nonumber & & j \in z,\ : \text{for } \ : m_1 \ : \text{even},\ : 0 < m_2\leq j\end{aligned}\ ] ]      the deck group is the quaternionic group @xmath108 , acting from the left , with elements : @xmath203 , \ :   g_l=-{\bf j } = \left [ \begin{array}{ll }    0&-1\\    1 & 0\\    \end{array}\right],\ :    g_l=-{\bf i}= \left [ \begin{array}{ll }    -i&0\\    0 & i\\    \end{array}\right]\ ] ] the subbasis is of vertical mirror type , given by a  linear combination of two wigner polynomials : @xmath204\\   & & \text{for}\:j\:\text{odd } , \geq 3 , \text{for}\:m_1\:\text{even } , 0<m_1\leq j , -j\leq
m_2\leq j\end{aligned}\ ] ]      the deck groups here are of the order @xmath207 .
we give the basis construction to the orbifold @xmath141 with deck group @xmath208 acting from the left and from the right , respectively .
for the subbasis in new coordinates @xmath139 , we find a  horizontal mirror symmetry and , from  @xcite ( p.  26 ) , the following polynomials and mirror  phases : @xmath209 , \nonumber \\   \text{for}\:j \:\text{even } , m_2=0 :   & \upphi^j_{\uprho,0}&= d^j_{\uprho,0}(u(\tilde{x } ) ) , \nonumber \\   \text{for}\:j \:\text{even } , \geq 2,\ : 0 < m_2 \leq j :    & \upphi_{\uprho , m_2}&= [ d^j_{\uprho , m_2}(u(\tilde{x}))+ d^j_{\uprho
,- m_2}(u(\tilde{x}))]\nonumber \\ \end{aligned}\ ] ] the octahedral manifolds @xmath205 , @xmath206 are analyzed in  @xcite .
an analysis of invariant polynomials on poincar s dodecahedral manifold is given in  @xcite , based on the work of klein  @xcite .
as an  application of the derived subbases , we consider the observable effects of multiply - connected universes .
the topology of the cosmos has its roots in albert einstein s work  @xcite . in 1917 , einstein presented his pioneering paper on general relativity , cosmology and gravitation  @xcite ( pp .
160164 ) .
he communicates three fundamental ideas :    \(i ) space - time manifold and metric : space and time are unified into a  single 4d space - time manifold , with three space coordinates @xmath112 and one time coordinate @xmath210 . following riemann
, this four - manifold carries a  pseudo - euclidean metric with the space - time squared distance : @xmath211 in the second line , we adopt the usual splitting into time and space .
space - time by equation  ( [ e1 ] ) is distinct from @xmath4 used in previous sections .
\(ii ) gravity and geodesics : einstein gives field equations for newton s gravity .
they link the second derivatives of the metric tensor @xmath212 with respect to the coordinates @xmath213 linearly to the energy - momentum tensor @xmath214 .
geodesics , the shortest lines allowed by the metric equation  ( [ e1 ] ) , are the lines followed by massive test particles . for velocities small compared with the velocity @xmath215 of light , einstein s field equations reduce to newton s laws for the gravitational potential in the presence of masses and the differential equations for geodesics to newton s equations of motion . in general ,
the metric and the energy - momentum tensor with einstein become observables of astrophysics .
\(iii ) topology : the connectivity of the space - time manifold is the subject of cosmic topology .
the classes of possible closed paths are the basic concept of homotopy .
the view of space - time as a  manifold , with gravitation obtained from local differential equations , presents topology as an  observable .
when time is split off as in equation  ( [ e1 ] ) , homotopy refers to the @xmath216 space part of space - time . in cosmology , three possible curvatures of the universe are distinguished : hyperbolic space with negative , euclidean space with zero and spherical space with positive average curvature .
the present astrophysical data favor positive curvature and , hence , a  spherical spatial topology , as discussed here .
one important observable is the spatial fluctuations of the cosmic microwave background .
the cosmic microwave background ( cmb ) is an  observed uniform thermal black - body radiation of a  present temperature of 2.725 kelvin with a  peak frequency of 160.2  ghz , discovered in 1964 by a.  penzias and r. wilson @xcite . according to big bang cosmology ,
its origin is dated back to the early epoch of photon decoupling , when neutral atoms were formed at very high density and temperature .
its amplitude today is observed by the wilkinson probe and up to 2013 by the planck satellite  @xcite .
after a  non - trivial cleaning of the measured temperature for global astrophysical influences , such as the wolfe
sachs effect and the local foreground of the solar system and our galaxy , the cmb spatial temperature fluctuations are expanded in multipoles , shown for the lowest values of @xmath71 in figure  [ fig : cmb ] .
cmb temperature power - spectrum as a function of multipole order @xmath71 ; data from  @xcite ( figure  35 ) .
note the weak amplitudes of some of the lowest multipoles.,scaledwidth=50.0% ]    the connection of multipole - resolved cmb measurements to cosmic topology is provided by selection rules for the harmonic analysis .
the different topologies discussed here should imprint their selection rules on the multipole amplitudes of the cmb .
the cubic spherical manifold @xmath82 discussed here has been used for detailed predictions of the cmb temperature fluctuation map  @xcite .
in addition , the ratio of different multipole - moments encodes the specific topology ; see table  [ tab : cubicinv ] for the cubic case .
both topological signatures can be revealed with the methods given here , which yields regular tilings of the three - sphere . according to  @xcite , section  9.3 on p.  36
, the observed low amplitudes and correlations of the first cmb multipoles ( figure  [ fig : cmb ] ) might indicate a  violation of statistical isotropy or might indicate the presence of topological selection rules .    besides regular tilings , also random tilings of spherical three - manifolds have been analyzed in the literature  @xcite .
we have constructed the orthonormal basis sets for four platonic spherical topological orbifolds , required for performing a  harmonic analysis on specific topologies . the mathematical framework used starts from the homotopy or fundamental groups and yields isomorphic deck actions and deck groups on the three - sphere .
the point symmetry groups @xmath128 of the platonic manifolds lead from manifolds to orbifolds .
the orthonormal wigner polynomials provide a  basis for the harmonic analysis on @xmath0 . by deriving the subgrid of each platonic manifold on the space spanned by the indices of the wigner polynomials ,
we obtain selection rules for the harmonic analysis . moreover
, the coefficients of the multipole expansion encode the underlying topology .
in contrast to other approaches , no numerical orthogonalization of basis sets is required , and the connection between topology and geometry of space is transparent from the introduction of the homotopies . finally , we discussed the harmonic analysis of the cmb and present signatures of the underlying topology of multiply - connected universes encoded in the cmb fluctuations .
einstein , a. osmologische betrachtungen zur allgemeinen relativittstheorie . in _
sitzungsberichte der kniglich preuischen akademie der wissenschaften ( berlin ) _ ; 1917 ; pp .
kramer , p. an  invariant operator due to f klein quantizes h poincar s dodecahedral 3-manifold . , _ 38 _ , doi:10.1088/0305 - 4470/38/16/004 .
kramer , p. multipole analysis in cosmic topology . in _ symmetries in nature : symposium in memoriam marcos moshinsky _ ; american institute of physics ( aip ) publishing : college park , md , usa , 2010 ; volume 1323 , pp .