self - similar fractals are usually constructed as the compact invariant set of an iterated function system .
analysis on these sets is still a rapidly growing field in mathematics .
one approach is to study self - similar graphs as the discretization of fractals and then transfer the results on these graphs back to the fractals via rescaling .
in this way one can construct brownian motion on fractals by starting with random walks on graphs , see for example barlow @xcite , lindstrm @xcite and the references therein .
contracted images of a fractal as compact subsets of the fractal are called _
cells_. correspondingly , self - similar graphs have _ cell graphs _ as finite subgraphs which carry essential information of the whole graph .
malozemov and teplyaev defined self - similarity of graphs axiomatically in @xcite .
their definition was restricted to the case where the cells of the graph have exactly two boundary points . in @xcite
one of the authors introduced self - similarity for an arbitrary number of boundary points .
another axiomatic approach for self - similar graphs with more boundary points was chosen in @xcite .
sabot constructed self - similar graphs using equivalence relations on word spaces , see @xcite .
probably the most extensively studied self - similar graph is the sierpiski graph . in @xcite grabner and woess
considered the green function of the simple random walk on the sierpiski graph which describes the returning of the random walk to a certain origin vertex . a combinatorial substitution based on path arguments
was used to obtain a functional equation for this green function .
iterating this equation they obtained the analytic continuation of the green function as a rapidly converging product of rational terms .
the asymptotic behaviour and oscillation phenomena were computed by analysing the singularity of the green function in @xmath3 .
these techniques had been introduced by flajolet and odlyzko in @xcite . _
symmetrically self - similar _ graphs were constructed in @xcite as class of self - similar graphs such that the combinatorial substitution mentioned above can be applied .
sections  [ sec : asymptotic ] to [ sec : transition ] of the present paper are a generalisation and a further development of the asymptotic analysis in @xcite .
in section  [ sec : ssg ] we recall from @xcite the axiomatic definition of self - similarity of graphs and a graph theoretic analogue to the banach fixed point theorem for self - similar graphs .
heuristically , this theorem says that a self - similar graph has a `` centre '' , either as an origin vertex or as an origin cell .
we will later focus on self - similar graphs with an origin vertex .
our axiomatic approach to self - similarity of graphs is based on contracting a given infinite graph . on the other hand one
can obtain self - similar graphs by a `` blow - up '' construction , starting with a finite cell graph .
theorem  [ thm : blowup ] yields this construction explicitly , the resulting graphs may have more irregular structures than discretized post critically finite self - similar ( pcfss ) sets , see @xcite for the notion of pcfss sets .
it is proved that a symmetrically self - similar graph is bipartite if and only if its cell graphs are bipartite .    section  [ sec : green ] is devoted to the study of green functions . for the sierpiski graph ,
a functional equation @xmath4 is valid for the green function @xmath5 at the origin vertex , which was first observed by rammal and toulouse @xcite , see also @xcite . in @xcite
this equation was generalised to the class of so called _ symmetrically _ self - similar graphs .
one property of these graphs is that their cell graphs are all isomorphic .
the functions @xmath6 and @xmath7 are rational functions associated with the simple random walk on the cell graph @xmath0 .
the _ transition function _
@xmath6 is the generating function of the probabilities that the simple random walk , starting in the boundary of @xmath0 , hits another vertex in the boundary for the first time after exactly @xmath2 steps .
the product @xmath8 converges on the fatou set @xmath9 of @xmath6 ( possibly with the exception of countably many points ) to the green function @xmath5 as a solution of the functional equation above .
the point @xmath10 is the only attracting fixed point of @xmath6 and the fatou set @xmath9 contains @xmath11 .
the simple random walk on a cell graph @xmath0 of a symmetrically self - similar graph @xmath12 is studied in section  [ sec : geometric ] .
the number @xmath13 of vertices in the boundary of a cell graph does not depend on the choice of the cell .
the graph @xmath0 consists of @xmath14 amalgamated copies of the @xmath13-complete graph @xmath15 .
this parameter @xmath14 corresponds to the usual _
mass scaling factor _ of self - similar sets .
the number @xmath16 is called _ time scaling factor_. let this random walk start at a vertex @xmath1 in the boundary of @xmath17 .
then @xmath18 is the average time until hitting another boundary vertex than @xmath1 .
for symmetrically self - similar graphs with bounded geometry it is proved that @xmath19 , where @xmath20 is the expected number of returns to @xmath1 before hitting a new vertex in the boundary of @xmath0 and @xmath21 is the _ resistance scaling factor _ , see @xcite . for the proof we use the relation @xmath22 .
in section  [ sec : asymptotic ] we study the asymptotic behaviour of the @xmath2-step return probabilities . using the functional equation of section  [ sec : green ]
we derive a local singular expansion of @xmath5 in @xmath3 , @xmath23 for all @xmath24 such that @xmath25 and @xmath26 , where @xmath27 and @xmath28 .
the function @xmath29 is @xmath30-periodic and holomorphic on some horizontal strip around the real axes . in @xcite this type of expansion
was computed for the sierpiski graph with a weaker error term . using the method of singularity analysis we obtain the asymptotics of the @xmath2-step return probabilities @xmath31 to an origin vertex @xmath32 . for the case that @xmath12 is not bipartite we have @xmath33 where @xmath34 is a @xmath30-periodic , holomorphic function defined on some horizontal strip around the real axes . if @xmath12 is bipartite
, then @xmath35 and @xmath36 satisfies the above asymptotic behaviour .
this type of oscillation seems to be typical for random walks on self - similar graphs and brownian motion on fractals , see @xcite .
it is proved in section  [ sec : oscillation ] that the function @xmath34 is not constant if the julia set @xmath37 of @xmath6 is a cantor set .    in section  [ sec : transition ] it is shown that for any pair of vertices @xmath38 and @xmath39 , the transition probabilities @xmath40 satisfy the same asymptotic behaviour as @xmath31 . for this purpose
we use a ratio limit theorem , see @xcite .
section [ sec : line ] is devoted to the case where the cell graph is a finite line @xmath41 of length @xmath2 .
the corresponding transition functions @xmath42 are conjugated to the chebychev polynomials @xmath43 via conjugacy map @xmath44 .
their julia set is @xmath45 and the periodic function @xmath34 is constant .
we study the probability for hitting a given vertex in the minimal number of steps for general , locally finite , reversible markov chains .
this probability is maximal whenever the process can be projected on the simple random walk on @xmath41 . from this
we deduce that the cell - graphs of symmetrically self - similar graphs are isomorphic to @xmath41 if and only if the transition function is conjugated to @xmath43 in the sense above .
we are interested in characterisations of this type because we believe that these are the only symmetrically self - similar graphs with a constant periodic function @xmath34 .
this would mean that in all other cases we may observe a non trivial oscillation of the asymptotic transition probabilities .    in section  [ sec :
examples ] some examples are discussed .
graphs @xmath46 with vertex set @xmath47 and edge set @xmath48 are always supposed to be undirected , without loops or multiple edges .
vertices @xmath38 and @xmath39 are _ adjacent _ if @xmath49 is an edge in @xmath48 .
the _ degree _ @xmath50 of @xmath38 is the number of vertices in @xmath47 being adjacent to @xmath38 .
a graph has _ bounded geometry _ if the set of vertex degrees is bounded .
the _ vertex boundary _ or _ boundary _ @xmath51 of a set @xmath17 of vertices in @xmath47 is the set of vertices in @xmath52 which are adjacent to some vertex in @xmath17 .
a _ path of length @xmath53 _ from a vertex @xmath1 to a vertex @xmath54 is an @xmath55-tuple @xmath56 of vertices such that @xmath57 and @xmath58 are adjacent for @xmath59 .
the path @xmath60 is _ closed _ if @xmath61 .
the distance @xmath62 of @xmath1 and @xmath54 in @xmath12 is the length of the shortest path from @xmath1 to @xmath54 .
a set @xmath17 of vertices is called _ connected _ if any pair of vertices in @xmath17 can be connected by a path in @xmath12 which does not leave @xmath17 .
we write @xmath0 for the subgraph of @xmath12 spanned by @xmath63 .
we briefly repeat the definition of self - similar graphs , see definitions  1 and 2 in @xcite or in @xcite : let @xmath64 be a set of vertices in @xmath47 and let @xmath65 be the set of connected components in @xmath66 .
we define the _ reduced graph _ @xmath67 of @xmath12 be setting @xmath68 and connecting two vertices @xmath38 and @xmath39 in @xmath69 by an edge if and only if there exists a component @xmath17 in @xmath65 such that @xmath38 and @xmath39 are in the boundary of @xmath17 .
[ def : selfsimilar ] a connected infinite graph @xmath12 is called _ self - similar _ with respect to @xmath70 and @xmath71 if    1 .
no vertices in @xmath64 are adjacent in @xmath12 , 2 .
the intersection of the boundaries of two different components in @xmath65 contains not more than one vertex and 3 .
@xmath72 is an isomorphism between @xmath12 and @xmath67 .
we will write @xmath73 instead of @xmath74 and @xmath75 instead of @xmath76 , where @xmath77 denotes the @xmath2-fold iterate of @xmath72 .
components of @xmath78 are _ @xmath2-cells _ , 1-cells are also just called _ cells_. an _ origin cell _ is a cell @xmath17 such that @xmath79 . a fixed point of @xmath72
is called _ origin
vertex_. see section  [ sec : examples ] for examples .
the following lemma is a graph theoretic analogue to the banach fixed point theorem , see ( * ? ? ?
* theorem
1 ) or ( * ? ? ?
* lemma  1 ) .
[ lem : banach ] let @xmath12 be self - similar with respect to @xmath64 and @xmath72 . then @xmath12 is self - similar with respect to @xmath80 and @xmath81 , for any positive integer @xmath82 .
either @xmath12 has    exactly one origin cell and no origin vertex or    exactly one origin vertex @xmath32 .
if in this case @xmath12 is locally finite , then there is a positive integer @xmath2 such that the subgraphs @xmath83 of @xmath12 which are spanned by @xmath84 , for components @xmath85 in @xmath86 , are self - similar graphs with respect to @xmath87 the graphs @xmath83 have exactly one origin cell and @xmath32 is their origin vertex .
let @xmath12 be a graph which is self - similar with respect to @xmath64 and @xmath88 .
we call @xmath89 the _ @xmath2-cell graph _ @xmath90 , 1-cell graphs are also called _
cell graphs_. the graph @xmath12 is _ symmetric _ ( or _ doubly symmetric _ )
if it is locally finite and satisfies the following axioms :    1 .
all cells are finite and for any pair of cells @xmath17 and @xmath91 in @xmath65 there exists an isomorphism @xmath92 of @xmath0 and @xmath93 such that @xmath94 .
the automorphism group @xmath95 of @xmath0 acts doubly transitive on @xmath51 , which means that it acts transitively on the set @xmath96 where @xmath97 is defined as @xmath98 for any @xmath99 .    if a self - similar graph @xmath12 satisfies ( s1 ) then let @xmath13 be the number of vertices in the boundary of a cell . axiom ( s1 ) implies that @xmath13 is independent of the choice of the cell @xmath17 .
the next theorem describes a ` blow - up ' construction for self - similar graphs satisfying axiom ( s1 ) .
[ thm : blowup ] let @xmath100 be a finite , connected graph and let @xmath101 be a subset of @xmath102 with the following properties :    * the set @xmath101 has at least two elements , @xmath103 is connected and no pair of vertices in @xmath101 is adjacent in @xmath5 .
* the graph @xmath5 consists of @xmath14 complete subgraphs @xmath104 which are isomorphic to the complete graph @xmath15 with @xmath13 vertices , such that @xmath105 and any two of these complete subgraphs have at most one vertex in common .
then for each @xmath106 in @xmath107 there is a graph @xmath12 , a set @xmath108 and a map @xmath109 such that @xmath12 is self - similar with respect to @xmath64 and @xmath72 , and the following statements are true :    the set @xmath103 is the unique origin cell of @xmath12 , @xmath5 is the corresponding cell graph and @xmath110 .
for any cell @xmath17 there exists an isomorphism @xmath111 of @xmath0 and @xmath5 such that @xmath112 .
a vertex @xmath32 is the origin vertex of @xmath12 if and only if it is a fixed point of @xmath72 in @xmath113 . in this case @xmath114 and @xmath115 is connected .
we construct sequences of graphs @xmath116 , sets of vertices @xmath117 , where @xmath118 , and functions @xmath119 inductively such that they satisfy the following :    * the function @xmath120 is an isomorphism between @xmath121 and the reduced graph @xmath122 . * the graph @xmath123 ( seen as union of graphs and not as set theoretic union ) is self - similar with respect to @xmath124 and @xmath125 , where @xmath72 is defined by @xmath126 , * and @xmath12 has the properties required in the theorem .
first we set @xmath127 , @xmath128 , @xmath129 and @xmath130 .
let @xmath131 be any bijective function .
we suppose that there are graphs @xmath132 and sets of vertices @xmath133 , for @xmath134 , such that @xmath135 is a subgraph of @xmath132 and there is an isomorphism @xmath136 of @xmath135 and @xmath137 .
let @xmath138 be a disjoint , isomorphic copy of @xmath139 and let @xmath140 be the corresponding isomorphism . in @xmath138 the image @xmath141 is now replaced by @xmath139 such that for any @xmath142 the vertex @xmath143 is identified with @xmath144 . in the resulting graph we replace every @xmath13-complete graph @xmath145 , which is not completely contained in @xmath139 , by an isomorphic copy of @xmath5 such that any different vertices in the copy , that correspond to vertices in @xmath101 , are amalgamated with different vertices in @xmath146 .
in general this procedure of replacing the @xmath13-complete graphs is not unique .
let @xmath147 be the resulting graph .
we set @xmath148 .
the function @xmath149 defined by @xmath150 is an isomorphism between @xmath139 and @xmath151 .
the sequences @xmath152 and @xmath153 are increasing and @xmath123 is self - similar with respect to @xmath124 and @xmath125 defined by @xmath154 .
this construction implies that ( a ) and ( b ) are satisfied .
we have @xmath155 for the ` blow - up ' function @xmath72 and vertices @xmath38 and @xmath39 in @xmath156 and @xmath157 for its inverse contraction @xmath158 which is defined on @xmath64 , for details see ( * ? ? ?
* theorem  1 ) .
this implies that a fixed - point @xmath32 has must lie in @xmath159 and this intersection is a singleton .
the set @xmath160 is connected in @xmath12 , thus @xmath115 is connected .    by choosing @xmath161
every connected finite graph which is not complete can occur as cell graph of a self - similar graph satisfying ( s1 ) . any self - similar graph with a unique origin cell
can be obtained as a blow - up in the sense of theorem  [ thm : blowup ] , thus it characterises self - similar graphs which remain connected by removing an origin vertex , see lemma  [ lem : banach ] .
let @xmath12 be a symmetrically self - similar graph and let @xmath17 be any 1-cell of @xmath12 .
then there exists exactly one 2-cell @xmath162 , such that @xmath163 .
we denote the 1-cells being contained in @xmath162 by @xmath164 . the cell graph @xmath0 consists of @xmath14 amalgamated @xmath13-complete graphs @xmath165 , where @xmath166 and @xmath167 , see @xcite . for a vertex @xmath168
we call @xmath169 the _ branching number _ of @xmath1 . by axiom  ( s2 ) , @xmath95 acts transitively on @xmath51 .
thus all vertices @xmath1 of the boundary @xmath51 have the same branching number @xmath170 .
furthermore , axiom  ( s1 ) implies that all cell graphs are isomorphic and @xmath170 does also not depend on the choice of the cell @xmath17 . consequently , we define the branching number @xmath171 of a symmetrically self - similar graph as the branching number @xmath170 of any vertex @xmath1 in @xmath64 .
this branching number characterises symmetrically self - similar graphs with bounded geometry :    [ thm : bounded ] a symmetrically self - similar graph @xmath12 has bounded geometry if and only if @xmath172 .
this theorem is an immediate consequence of theorem  3 in @xcite .
the next theorem is a special case of corollary  1 in @xcite .
[ thm : unbounded ] let @xmath12 be a symmetrically self - similar graph with unbounded geometry
. then either there exists no origin vertex and @xmath12 is locally finite .
or there is an origin vertex which is then the only vertex with infinite degree .    in the following lemma
we characterise those self - similar graphs satisfying ( s1 ) , which are bipartite .
[ lem : bipartite ] let @xmath12 be a self - similar graph with respect to @xmath64 and @xmath72 satisfying axiom  ( s1 ) .
then @xmath12 is bipartite if and only if some cell graph is bipartite .
furthermore , we have @xmath161 if @xmath12 is bipartite .
if @xmath12 is bipartite then every cell graph is bipartite , since it is a subgraph of @xmath12 .
now suppose that some cell graph is bipartite , whence all cell graphs are bipartite thanks to axiom  ( s1 ) .
a @xmath13-complete graph is bipartite if and only if @xmath173 . any cell graph @xmath0 consists of @xmath14 amalgamated copies of @xmath13-complete graphs , hence @xmath161 .
every closed path in @xmath0 has even length .
either all paths in @xmath0 connecting the two vertices in @xmath51 have even length or they have all odd length .
suppose that @xmath12 is not bipartite
. then there exists a closed path @xmath60 in @xmath12 with minimal odd length .
this path can not be completely contained in one cell graph , hence it meets vertices in @xmath64 .
let @xmath174 with @xmath175 and @xmath176 for all @xmath177 .
let @xmath58 , @xmath178 be vertices in @xmath64 such that @xmath179 and @xmath180 for all @xmath181
. then @xmath182 , since @xmath60 is not contained in one cell graph .
moreover , we have @xmath183 . otherwise @xmath184 would be a closed path in one cell graph and @xmath185 would be a closed path in @xmath12 with odd length strictly smaller than @xmath2 .
let @xmath186 be all those indices , such that @xmath187 for @xmath188 . since the lengths of the paths @xmath189 for @xmath190 have same parity
, @xmath191 is a closed path in @xmath12 of odd length strictly smaller than @xmath2 in contradiction to the minimality of @xmath60 .
in this section we repeat and reformulate results and definitions from @xcite .
let @xmath192 be the matrix of transition probabilities for the simple random walk on a symmetrically self - similar graph @xmath12 which is locally finite .
the green function for vertices @xmath38 and @xmath39 in @xmath47 is defined as the generating function @xmath193 of the @xmath2-step transition probabilities @xmath40 from @xmath38 to @xmath39 for @xmath194 , where @xmath195 for any @xmath196 and @xmath28 .
if the green function is considered as infinite dimensional matrix , we have @xmath197    let @xmath17 be a cell and let @xmath101 be a nonempty subset of @xmath51 .
then @xmath198 denotes the transition matrix of the simple random walk on @xmath0 with absorbing boundary @xmath101 .
this means that @xmath199 if @xmath200 is adjacent to a vertex @xmath39 in @xmath201 and @xmath202 otherwise .
we define @xmath203 for all @xmath24 such that @xmath204 is invertible .
the entries of the matrix @xmath205 are rational functions in @xmath206 which are holomorphic on @xmath207 for some @xmath208 .
this follows from the fact that the simple random walk is absorbed by @xmath101 almost surely , since the graph @xmath0 is finite .
let @xmath209 , then we define the rational functions @xmath6 and @xmath7 by @xmath210 the functions @xmath6 and @xmath7 are independent of the choice of @xmath1 because @xmath95 acts transitively on @xmath51 .
furthermore , double transitivity implies @xmath211 for any vertex @xmath212 .
now @xmath6 is the generating function of the probabilities that the simple random walk on @xmath0 starting in some vertex @xmath1 in @xmath51 hits a vertex in @xmath213 for the first time after exactly @xmath2 steps . whereas @xmath7 is the generating function of the probabilities that the random walk starting in @xmath1 returns to @xmath1 after @xmath2 steps without hitting a vertex in @xmath213 before .
the start is counted as first visit , thus @xmath214 .
we call @xmath6 the _ transition function _ and @xmath7 the _ return function _ of @xmath12 .
we write @xmath215 instead of @xmath216 if @xmath12 is a self - similar graph with origin vertex @xmath32 .
[ lem : funceq ] let @xmath12 be a symmetrically self - similar graph with origin vertex @xmath32 .
then @xmath217 for all @xmath218 .
this functional equation was shown for the sierpiski graph in @xcite and @xcite .
it is a special case of lemma  6 in @xcite .    the basic idea behind this identity is the substitution @xmath219 which corresponds to a combinatorial path substitution reflecting the self - similarity of the graph .
for more details see section  4 in @xcite .
the number of orbits of @xmath95 on the set @xmath220 is the number of ` types ' of transitions from one boundary vertex in @xmath51 to another .
it is the number of variables that is needed for the functional equations of the green functions .
similarly , this is the number of variables in the renormalization equations for constructing brownian motion on fractals ( see for example @xcite ) .
axiom  ( s2 ) ensures that only one variable is needed .
our techniques would apply to more general self - similar graphs if the dynamics of multidimensional transition functions could be understood .
let @xmath221 be the set of all poles of the function @xmath7 , and let @xmath222 be the set of all @xmath223 such that @xmath224 for some @xmath53 .
the following lemma corresponds to the lemmata  9 , 11 , 12 and theorem  4 in @xcite .
[ lem : dynamics ] let @xmath12 be a symmetrically self - similar graph with bounded geometry .
the point @xmath3 is a repelling fixed point of the transition function @xmath6 .
the point @xmath10 is a super - attracting fixed point of @xmath6 , and it is the only attracting fixed point
.    the fatou set @xmath9 of @xmath6 is the immediate basin of attraction of @xmath10 .
the julia set @xmath37 of @xmath6 is a subset of @xmath45 .
the set @xmath222 is a subset of @xmath45 .
every green function @xmath225 is holomorphic in @xmath226 and can not be continued holomorphically to any point in @xmath37 .    in @xcite
this information was used for the description of the spectrum of the laplacian . here
it is the basic tool for studying the transition probabilities .
we recall that a point @xmath227 is called _ exceptional point _ of the map @xmath6 if the smallest completely invariant set containing @xmath227 is finite .
let @xmath228 be an exceptional point of @xmath6 .
then the smallest completely invariant set containing @xmath227 must also contain @xmath229 , since @xmath9 is the immediate basin of attraction of @xmath229 .
since a rational function of degree greater or equal two has at most two exceptional points , we have @xmath230 and @xmath231 , see the proof of theorem  4.1.2 in the book of beardon @xcite .
thus @xmath6 has at most the exceptional point @xmath10 .
since @xmath232 the set of accumulation points of @xmath222 coincides with @xmath37 , see ( * ? ? ?
* theorem  4.2.7 and 4.2.8 ) .
hence @xmath233 and @xmath234 .
we remark that either @xmath10 is exceptional and @xmath6 is conjugated to a polynomial or there are no exceptional points at all .
actually , both cases can occur , as we will show by examples in sections  [ sec : line ] and [ sec : examples ] .
[ cor : continuation ] let @xmath12 be a symmetrically self - similar graph with bounded geometry and origin vertex @xmath32 .
the green function @xmath5 has a unique holomorphic continuation to @xmath226 and @xmath235 for all @xmath236 .
this convergence is uniform on any compact subset of @xmath226 .
if @xmath12 is not bipartite then @xmath226 contains an interval @xmath237 $ ] for some @xmath238 .
the first part is a consequence of lemma  [ lem : dynamics ] .
let @xmath12 be not bipartite .
then , by lemma  [ lem : bipartite ] , the cell graph @xmath0 is not bipartite .
hence @xmath6 is neither even nor odd
. therefore @xmath239 and @xmath226 contains @xmath237 $ ] for some @xmath208 .
let @xmath12 be a symmetrically self - similar graph with respect to @xmath64 and @xmath72 .
we call @xmath240 the _ time scaling factor _ of @xmath12
. then @xmath18 is the expected number of steps of the simple random walk on the cell graph @xmath0 for hitting @xmath213 , when starting in some @xmath209 .
let @xmath162 be any 2-cell of @xmath12 .
then the number of 1-cells in a 2-cell @xmath241 is called the _ mass scaling factor _ of @xmath12 . axiom
( s1 ) implies that @xmath14 is independent of the choice of the 2-cell @xmath162 .
furthermore , we call @xmath242 the _ spectral dimension _ of @xmath12 . the spectral dimension was first introduced in physics literature using the density of states of the laplacian , see @xcite and the references therein .
later on , the exponent @xmath243 was studied from several points of view , see @xcite .
a measure @xmath244 on the set of vertices @xmath245 of a countable graph @xmath246 is _ invariant _ with respect to a transition matrix @xmath247 if @xmath248 , where @xmath244 is considered as row vector . written in coordinates this is @xmath249 for any @xmath250 .
if @xmath246 is connected and finite , then the unique invariant probability measure of the simple random walk is given by @xmath251    [ lem : invmeasure ] let @xmath12 be a symmetrically self - similar graph , and let @xmath17 be any cell of @xmath12 . then @xmath252 defined by @xmath253 is the unique invariant probability measure of the simple random walk on @xmath0 .
let @xmath38 be any vertex in @xmath201 .
since the cell graph @xmath0 consists of @xmath14 amalgamated @xmath13-complete graphs , we have @xmath254 and @xmath255 .
this implies the lemma .    in the following we will make use of path arguments . for similar path decompositions
see @xcite , @xcite , and especially @xcite .
these constructions can be seen in the context of more general generating functions , see goulden and jackson @xcite .
let @xmath17 be a cell of a symmetrically self - similar graph @xmath12 .
for @xmath256 and @xmath257 let @xmath258 be the set of paths from @xmath1 to @xmath54 which do not hit any vertex in @xmath101 except for their start and their end vertex .
the set of paths in @xmath258 with positive length is denoted by @xmath259 .
the _ weight _ of a path @xmath260 in @xmath0 is defined by @xmath261 for @xmath262 .
now @xmath263 is the probability , that the simple random walk on @xmath0 , starting in @xmath264 , follows the path @xmath60 in its first @xmath2 steps . for a set of paths @xmath265 we set @xmath266 for @xmath267 and @xmath268 we write @xmath269 for the set of all concatenations of paths in @xmath270 with paths in @xmath271 .
then @xmath272    let @xmath1 again be a vertex in @xmath51 .
we define @xmath273 and @xmath274 by @xmath275 then @xmath276 is the generating function of the probabilities that the simple random walk on @xmath0 , starting in @xmath1 , returns for the first time to @xmath1 after exactly @xmath2 steps , where @xmath277 . and
@xmath278 is the generating function of the first return after @xmath2 steps without hitting any vertex in @xmath213 before . since @xmath95 acts transitively on @xmath51 , the functions @xmath276 and @xmath278 are independent of the choice of @xmath1 .    [
lem : dfweight ] let @xmath17 be a cell of a symmetrically self - similar graph @xmath12 , and let @xmath1 and @xmath54 be two different vertices in @xmath51 .
then @xmath279 and @xmath280    since @xmath281 is the set of all paths in @xmath0 from @xmath1 to @xmath1 which do not hit vertices in @xmath213 , we get @xmath282 every path in @xmath283 can be obtained by concatenating a finite number of paths in @xmath284 , therefore @xmath285 the definition of @xmath6 implies @xmath286 here we used the fact , that @xmath287 axiom ( s2 ) now yields the rest of the statement .
[ lem : firstreturn ] let @xmath12 be a symmetrically self - similar graph , then @xmath288    let @xmath17 be any cell of @xmath12 and let @xmath1 be any vertex in @xmath51 .
if we denote by @xmath289 those paths in @xmath290 , which hit a vertex in @xmath213 , then @xmath291 and therefore @xmath292 . for an integer @xmath2 in @xmath293 let @xmath294 be the set of all @xmath55-tuples @xmath295 in @xmath296 , such that @xmath297 for @xmath298 .
if we write @xmath299 for the set @xmath300 then , by lemma  [ lem : dfweight ] , @xmath301 now we can decompose @xmath289 in the following way : @xmath302 from this we obtain @xmath303 using lemma  [ lem : dfweight ] and the fact , that @xmath304 .    for the following statements we recall that @xmath172 if and only if the graph has bounded geometry , see theorem  [ thm : bounded ]
. let the simple random walk on @xmath0 start in a vertex @xmath1 in @xmath51
. then @xmath20 is the expected number of returns to @xmath1 ( the start is counted as the first visit ) before hitting another vertex in @xmath51 .
resistance scaling factor _ is defined by the relation @xmath22 , see ( * ? ? ?
* equation  ( 6.29 ) ) .
[ thm : dim ] let @xmath12 be a symmetrically self - similar graph
. then @xmath305 .
since @xmath306 and @xmath307 , we obtain @xmath308 using lemma  [ lem : dfweight ] and [ lem : firstreturn ] .
now @xmath309 is the expected number of steps of the first return of simple random walk on @xmath0 starting in vertex @xmath1 in @xmath51 .
thus @xmath310 . a proof of this well known identity can be found in the book of brmaud , see ( * ? ? ?
* theorem  3.2 ) . by lemma  [ lem : invmeasure
] , we have @xmath311 completing the proof .
let @xmath12 be a symmetrically self - similar graph
. then @xmath312 .
if @xmath12 is a symmetrically self - similar graph with bounded geometry then the last corollary implies @xmath313 .
throughout the rest of this paper let @xmath12 be a symmetrically self - similar graph with bounded geometry and origin vertex @xmath32 .
we recall that symmetrically self - similar graphs with an origin vertex have either bounded geometry or the origin vertex is the only vertex with infinite degree , see theorem  [ thm : unbounded ] .    since @xmath307 and @xmath314 there exists a holomorphic local inverse @xmath315 of @xmath6 in a neighbourhood of @xmath3 , which has a attracting fixed point at @xmath3 .
for @xmath316 we write @xmath317 for the @xmath2-fold iterate of @xmath315 .
let @xmath196 , @xmath318 and @xmath319 ; then we write @xmath320 for the set of all @xmath321 , such that @xmath322 and @xmath323 .
in particular , we have @xmath324 .
furthermore , we write @xmath325 for the horizontal strip @xmath326    [ lem : period ] let @xmath327 be a holomorphic function for some @xmath328 which satisfies the equation @xmath329 whenever @xmath206 in @xmath330 and @xmath331 .
then there exists a @xmath30-periodic , holomorphic function @xmath29 defined on the strip @xmath332 and a @xmath333 , such that @xmath334 holds for @xmath335 for all @xmath27 .
the function @xmath29 is constant if and only if @xmath145 is constant .
this lemma was proved by one of the authors in ( * ? ? ?
* lemma  5 ) .
the proof of the lemma and the following theorem are based on ideas of de bruijn @xcite , odlyzko @xcite and grabner and woess @xcite . a detailed discussion of the methods can be found in the book ( * ? ? ?
* section  16 ) .
the point @xmath3 is a non - polar singularity of any green function of any recurrent random walk on an infinite , locally finite graph , see for example ( * ? ? ?
* lemma  10 ) .
lemma  3 in @xcite implies that the simple random walk on any symmetrically self - similar graph with bounded geometry is recurrent .
[ thm : greenasymp ] let @xmath12 be a symmetrically self - similar graph with bounded geometry and origin vertex @xmath32 , then there exists a @xmath30-periodic , holomorphic function @xmath29 on the strip @xmath332 , such that the green function @xmath5 has the local singular expansion @xmath336 for @xmath335 and @xmath27 , where @xmath28 .
we substitute @xmath337 into , where @xmath338 is holomorphic in @xmath339 and @xmath340 is some constant .
this yields @xmath341 , where @xmath342 is given by @xmath343 and @xmath344 .
furthermore we define @xmath345 since @xmath7 and @xmath342 are holomorphic in @xmath346 for some @xmath347 , the last product converges if @xmath348 .
hence , we have to choose @xmath349 moreover , the convergence is uniform in @xmath346 , and therefore the function @xmath350 is holomorphic in @xmath346 .
obviously , @xmath351 holds for all @xmath352 such that @xmath353 .
let @xmath327 be defined by @xmath354 , then @xmath145 is holomorphic and satisfies @xmath355 whenever @xmath206 and @xmath356 are contained in @xmath330 .
applying lemma  [ lem : period ] to @xmath145 we get a @xmath30-periodic holomorphic function @xmath29 on the strip @xmath332 and a @xmath333 , such that @xmath334 holds for @xmath335 for all @xmath27 .
since @xmath357 and @xmath350 is holomorphic in @xmath358 , we finally obtain @xmath359 for @xmath335 and @xmath27 .
we will now use the method of ` singularity analysis ' due to flajolet and odlyzko @xcite , in order to obtain the asymptotic behaviour of @xmath31 .
it should be mentioned here that a real tauberian theorem would not reveal the oscillating nature .
[ thm : asymp ] let @xmath12 be a symmetrically self - similar graph with bounded geometry and origin vertex @xmath32 . if @xmath12 is not bipartite , then @xmath360 where @xmath361 is a @xmath30-periodic , holomorphic function given by its fourier series @xmath362
if @xmath12 is bipartite , then @xmath35 and @xmath363    since the @xmath30-periodic function @xmath29 of theorem  [ thm : greenasymp ] is holomorphic in @xmath332 , we have @xmath364 for all @xmath365 and @xmath366 , where @xmath367 denotes the @xmath82-th fourier coefficient of @xmath29 .
therefore it is possible to apply the method of ` singularity analysis ' . for the technical details of the transfer we refer to (
* section  5 ) and ( * ? ? ?
* section  16 ) .    if @xmath12 is not bipartite , then @xmath3 is the only singularity of @xmath5 at the boundary of the unit disk .
the asymptotic of @xmath31 is now a consequence of the singularity analysis .
if @xmath12 is bipartite , then @xmath5 is an even function . hence @xmath35 .
furthermore , @xmath5 has the same singularity at @xmath368 as at @xmath3 .
thus we have to add up the terms corresponding to the singularities @xmath3 and @xmath368 for the asymptotics of @xmath36 .
we remark here that the function @xmath145 of the proof of theorem  [ thm : greenasymp ] maps the interval @xmath369 to @xmath370 . by inspection of the proof of lemma  [ lem : period ] in @xcite
, we see that both @xmath29 and @xmath34 map @xmath370 to @xmath370 .
hence the fourier coefficients of @xmath29 and @xmath34 satisfy @xmath371 for all @xmath365 .
it is possible to compute the fourier coefficients of @xmath29 for a given graph @xmath12 numerically , see @xcite .
let @xmath12 be a symmetrically self - similar graph with bounded geometry and origin vertex @xmath32 .
we have shown that the asymptotics of @xmath31 carries an oscillating factor given by @xmath372 where @xmath34 is a @xmath30-periodic , holomorphic function given by the fourier series in theorem  [ thm : asymp ] . in this section
we will give a necessary condition for the case that the @xmath30-periodic function @xmath34 is constant .
first of all we note that the following statements are equivalent :    * the @xmath30-periodic function @xmath34 is constant . *
the @xmath30-periodic function @xmath29 of theorem  [ thm : greenasymp ] is constant . *
the function @xmath145 given in the proof of theorem  [ thm : greenasymp ] is constant .    a closed interval in @xmath373
is denoted by @xmath374 $ ] , where @xmath375 . here
@xmath376 and @xmath377 do not necessarily satisfy the inequality @xmath378 .
for example , @xmath379 $ ] is the set @xmath380 .
the same notation is used for open , respectively half open , intervals .
[ thm : oscillation ] if @xmath34 is constant then the julia set @xmath37 of the transition function @xmath6 is a closed interval @xmath381 $ ] in the extended real line @xmath373 , where @xmath382 $ ] .
the julia set @xmath383 is either a cantor set or a closed interval , see ( * ? ? ?
* theorem  5.7.1 ) .
we will use the notation of the proof of theorem  [ thm : greenasymp ] . if @xmath34 is constant then
the function @xmath145 is also constant .
hence we obtain @xmath384 for @xmath385 , where @xmath17 is some constant and @xmath28 .
since @xmath3 is not a polar singularity by lemma  10 in @xcite , we have @xmath386 . therefore @xmath5 has no analytic continuation to the interval @xmath387 and corollary  [ cor : continuation ] implies that @xmath388 .
furthermore , the set of accumulation points of @xmath222 coincide with @xmath37 .
thus @xmath37 contains the interval @xmath387 and must therefore be itself a closed interval in @xmath373 .
[ cor : oscillation ] if @xmath37 is a cantor set , then @xmath34 is non - constant .
it is not clear , if the opposite direction of this corollary is also true . for rational functions with real julia set
there is a general method to decide whether their julia set is an interval or a cantor set .
therefore we refer to inninger s detailed discussion of rational functions in section  3 and section  4 of @xcite
. however , for a given transition function @xmath6 the following observation may be useful as well : if we can find a real number @xmath389 which is smaller than some @xmath6-backwards iterate of @xmath3 together with an integer @xmath2 such that @xmath390 , then @xmath37 set is a cantor set .
let @xmath12 be a symmetrically self - similar graph with bounded geometry and let @xmath391 be the matrix of transition probabilities for the simple random walk on @xmath12 .
if @xmath12 is not bipartite , then @xmath391 is strongly aperiodic , that is , there exists a number @xmath392 such that @xmath393 for all @xmath394 . in general
, @xmath395 is strongly aperiodic .
since @xmath12 has bounded geometry and is connected , there exists a @xmath396 such that @xmath397 for all @xmath398 .
thus @xmath395 is strongly aperiodic .
if @xmath12 is not bipartite , then the cell graph @xmath0 of @xmath12 is not bipartite by lemma  [ lem : bipartite ] .
hence for any vertex @xmath168 there exists a closed path in @xmath0 from @xmath1 to @xmath1 of odd length . by adding a path of the form @xmath399 , where @xmath54 is adjacent to @xmath1 in @xmath0
, we can extend such a path for @xmath1 by an even number of edges .
thus there is an odd number @xmath400 such that for any @xmath401 we can find a closed path from @xmath1 to @xmath1 of length @xmath400 .
since any vertex @xmath398 is contained in at least one cell graph , there is a real number @xmath402 such that @xmath403 for all @xmath398 .
as every @xmath404 can be written in the form @xmath405 with @xmath406 , strong aperiodicity follows .
we remark here , that it is possible to choose @xmath407 , if @xmath408 , since the cell graph consists of @xmath14 copies of the @xmath13-complete graph .
[ thm : offdiagonal ] let @xmath38 and @xmath39 be two vertices of a symmetrically self - similar graph @xmath12 with bounded geometry and origin vertex @xmath32 . if @xmath12 is not bipartite , then @xmath409 if @xmath12 is bipartite , let @xmath410 be an element of @xmath411 such that @xmath412 .
then @xmath413 and @xmath414    if @xmath12 is not bipartite then @xmath415 by ( * ? ? ?
* theorem  2 ) , since @xmath391 is irreducible , strongly aperiodic and recurrent .
thus @xmath416 now theorem  [ thm : asymp ] implies the statement .
if @xmath12 is bipartite then we can partition @xmath47 into classes @xmath417 and @xmath418 , such that edges in @xmath48 only connect vertices in @xmath417 with vertices in @xmath418 .
then @xmath395 restricted to @xmath419 for @xmath420 is irreducible , strongly aperiodic and recurrent .
if @xmath421 , then @xmath38 and @xmath39 are in the same class . hence @xmath422 and @xmath423 if @xmath424 , then @xmath425 and @xmath426 note that the above sum is finite , since there are only finitely many vertices @xmath427 such that @xmath428 . furthermore
, @xmath429 as @xmath34 is a @xmath30-periodic , holomorphic function , it is uniformly continuous on the real line .
we have @xmath430 and therefore @xmath431 which completes the proof .
jones computed estimates for the transition probabilities @xmath40 on the sierpiski graph which are uniform in space ( @xmath432 ) and time ( @xmath316 ) .
his result yields the correct asymptotic type @xmath433 as @xmath434 , see @xcite .
[ exmp : line ] let the cell graphs of a self - similar graph @xmath12 be isomorphic to the line @xmath41 of length @xmath435 ( figure  [ fig : line]a ) . if the graph @xmath12 has an origin vertex @xmath32 , then it consists of an arbitrary number of one - sided infinite lines which are amalgamated in their initial vertex @xmath32 , see figure  [ fig : line]b .
if there is no origin vertex then @xmath12 is the two - sided infinite line .
( 290,80)(0,-35 ) [ fig : line ] ( 0,5)(0,0)(30,0)3 ( 60,0)(80,0 ) ( 110,0)(130,0 ) ( 130,0)(160,0 ) ( 130,0)(30,0)2 ( 0,0)(60,0 ) ( -3,-10)@xmath264 ( 27,-10)@xmath436 ( 57,-10)@xmath437 ( 127,-10)@xmath438 ( 157,-10)@xmath439 ( 80,10)@xmath41 ( 240,14 ) ( 100,0 ) ( 200,0 ) ( 93.97,34.2 ) ( 187.94,68.4 ) ( 76.6,64.28 ) ( 153.2,128.56 ) ( 93.97,-34.2 ) ( 187.94,-68.4 ) ( 0,0 ) ( -40,-10)@xmath32 ( 30,100)@xmath12 ( 187.94,68.4)(0,0)(153.2,128.56)(0,0)(200,0)(0,0)(187.94,-68.4 ) ( 187.94,68.4)(244.322,88.92 ) ( 153.2,128.56)(199.16,167.128 ) ( 187.94,-68.4)(244.322,-88.92 ) ( 0,0)(199.16,-167.128 ) ( 200,0)(260,0 ) ( 60,-35)_figure _  [ fig : line]a ( 238,-35)_figure _  [ fig : line]b    the corresponding transition function @xmath42 is conjugated to the @xmath2-th chebychev polynomial with conjugacy map @xmath440 , @xmath441 see ( * ? ? ? * example  1 ) . as @xmath442
$ ] we get @xmath443 = ( \r \cup \{\infty\ } ) \setminus ( -1,1)$ ] .
we have @xmath161 , @xmath444 , @xmath172 , @xmath445 and @xmath446 . furthermore ,
if there is an origin vertex , we have @xmath447 for @xmath448 .
hence the function @xmath34 is constant .    to prove that lines as cell graphs are characterised by its return and transition functions we state the following lemma .
[ lem : lines ] let @xmath246 be a locally finite , connected graph , and let @xmath449 be the @xmath2-step transition probabilities of a reversible markov chain on @xmath246 which is of nearest neighbourhood type .
then @xmath450 for different vertices @xmath38 and @xmath39 , which are at distance @xmath451 from each other .
here equality holds , if and only if @xmath452 and @xmath453 for all @xmath454 , this is , the markov chain can be projected to the simple random walk on the line @xmath41 .
we prove a more general statement which is more adequate for induction : for a vertex @xmath455 and a finite set of vertices @xmath456 of @xmath245 we write @xmath457 .
let @xmath316 and let @xmath85 and @xmath101 be finite subsets of @xmath245 such that @xmath458 for all @xmath459 and @xmath460 . for @xmath461
we introduce the level set @xmath462 by @xmath463 these level sets are finite , @xmath464 and @xmath465 .
furthermore , we define @xmath466 , and @xmath467 @xmath468 for a vertex @xmath38 in @xmath469 , where @xmath470 . we define @xmath471 for @xmath472 .
then we claim that @xmath473 .
equality holds , if and only @xmath474 for any vertex @xmath38 in @xmath469 , where @xmath475 .
first of all we notice that the condition for equality indeed imply @xmath476 .
we use induction over @xmath2 .
for @xmath477 the inequality is immediate .
now let @xmath478 and let the statement hold for all @xmath479 .
factorizing with respect to the @xmath82-th step and using the reversibility yields @xmath480 for @xmath475 .
now we use the inequality @xmath481 for @xmath482 , where @xmath475 . here
equality holds if and only if @xmath474 .
thus we obtain @xmath483 using cauchy - schwarz inequality for the second step .
now reversibility together with the induction hypothesis for @xmath484 and @xmath485 implies that @xmath486 as we can factorize with respect to any @xmath475 we get the postulated conditions for equality .    [ cor : lines ] let @xmath42 be the transition function and let @xmath487 be the return function of a cell graph which is isomorphic to the line @xmath41 of length @xmath435 .
then there is no other cell graph of a self - similar graph with bounded geometry with transition function @xmath42 or return function @xmath487 .
let the transition function of a cell graph be the function @xmath42 .
then @xmath42 is either even or odd , whence the cell graph must be bipartite . by lemma  [ lem : bipartite ]
the self - similar graph itself must be bipartite and therefore @xmath161 . as we have bounded geometry , @xmath172 by theorem  [ thm : bounded ] .
the series expansion of @xmath42 in @xmath10 starts with @xmath488 .
now lemma  [ lem : lines ] implies that the cell graph @xmath0 must be the line @xmath41 .
suppose @xmath487 is the return function of a cell graph @xmath0 which is not isomorphic to @xmath41 and let @xmath1 be a vertex in the boundary @xmath51 .
since @xmath487 is even , we have @xmath161 and @xmath172 as before .
there are vertices in @xmath17 which have edge degree strictly larger than 2 in the graph @xmath0 .
let @xmath244 be the minimal distance of @xmath1 to a vertex @xmath489 with @xmath490 .
then the probability of returning to @xmath1 in exactly @xmath491 steps is strictly smaller than the corresponding probability for the line @xmath41 .
this means that the @xmath491-th coefficients of the series expansions of the return functions of @xmath0 and @xmath41 around @xmath10 are different .
well known examples of symmetrically self - similar graphs are the viek graph and the sierpiski graph
. both graphs do not belong to the following simple example of an infinite class of self - similar graphs .
[ exmp : flake ] let the cell graph @xmath492 consist of @xmath2 copies of the @xmath2-complete graph which are amalgamated in one vertex @xmath38 , where @xmath435 .
the boundary of the cell contains exactly one vertex from each of these copies , but not the vertex @xmath38 . starting with these cell graphs
we can construct different symmetrically self - similar graphs in the sense of theorem  [ thm : blowup ] .
the four vertices of the cell graph @xmath493 in figure  [ fig : flake4]a which constitute the boundary @xmath494 of the cell are drawn fat .
figure  [ fig : flake4]b shows the corresponding 4-cell graph @xmath495 .
( 345,235 ) [ fig : flake4 ] ( 0,85)(0,0 ) ( 40,40 ) ( 80,80 ) ( 80,0 ) ( 0,80 ) ( 5,45 ) ( 5,35 ) ( 75,35 ) ( 75,45 ) ( 35,5 ) ( 35,75 ) ( 45,5 ) ( 45,75 ) ( 0,0)(1,1)80 ( 0,80)(1,-1)80 ( 5,35)(75,45)(80,80)(45,75)(35,5)(0,0)(5,35)(35,5 ) ( 75,35)(5,45)(0,80)(35,75)(5,45 ) ( 35,75)(45,5)(80,0)(75,35)(45,5 ) ( 45,75)(75,45 ) ( 20,-20)_figure _  [ fig : flake4]a ( 120,0)(0,10 ) ( 90,0)_figure _  [ fig : flake4]b    the transition function @xmath42 of @xmath492 is given by @xmath496 for @xmath435 .
for the parameters we have @xmath497 , @xmath172 , @xmath498 and @xmath499 .
we remark that for @xmath500 the cells are isomorphic to the line @xmath501 , @xmath502 , and @xmath503 $ ] , see example  [ exmp : line ] . for @xmath504
we have @xmath505 here @xmath506 has to be read as @xmath507 if @xmath508 . as @xmath30 and @xmath506 belongs to @xmath509 , whereas @xmath229 and @xmath510 does not , the julia set is not connected in @xmath373 .
hence @xmath509 is a cantor set for @xmath504 . in the case
that there is an origin vertex we can conclude that the @xmath30-periodic function @xmath34 is not constant , using corollary  [ cor : oscillation ] .
many transition functions are of the form @xmath511 , where @xmath2 is the minimal number of steps from one point in the boundary of a cell @xmath17 to another ( in other words @xmath512 ) and @xmath391 is a polynomial with integer coefficients . as the following example shows , this is not true for all transition functions .
[ exmp:34sierp ] the 3-dimensional , 4-scaled sierpiski graph consists of 20 amalgamated 4-complete graphs .
the 1-cell and 2-cell can be seen in figure  [ fig:34sierp ] .
their boundary vertices are drawn fat .
each 4-complete graph is represented by a solid tetrahedron .
[ fig:34sierp ]        _ figure _  [ fig:34sierp ]    here we have @xmath513 and @xmath514 , @xmath515 , @xmath172 , @xmath516 and @xmath517 .
as @xmath518 the julia set @xmath37 is a cantor set .
if the constructed self - similar graph has an origin vertex then the @xmath30-periodic function @xmath34 is not constant .
the authors want to thank peter  grabner , klaus  schmidt and wolfgang  woess for fruitful discussions and financial support .
especially , the results in section  [ sec : geometric ] would not have been possible without the contributions of peter  grabner and wolfgang  woess .