Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: the study of spectra of graphs associated with finitely generated groups , such as cayley graphs or schreier graphs ( natural analogues of cayley graphs associated to not necessarily free group actions ) has a long history and is related to many problems in modern mathematics . still , very little is known about the dependence of the spectrum of the laplacian on the choice of generators in the group and on the weight on these generators . in the recent paper @xcite we addressed the issue of dependence on the weights on generators in the example of grigorchuk s group of intermediate growth . more specifically , we determined the spectral type of the laplacian on the schreier graphs describing the action of grigorchuk s group on the boundary of the infinite binary tree and showed that it is different in the isotropic and anisotropic cases . in fact , the spectrum is shown to be a cantor set of lebesgue measure zero in the anisotropic case , whereas , as has been known for a long time , it consists of one or two intervals in the isotropic case . moreover , we showed almost surely ( with respect to a natural measure on the boundary of the tree ) the absence of eigenvalues for the laplacians in question . our investigation in @xcite provides ( and relies on ) a surprising link between discrete schrdinger operators with aperiodic order and the substitutional dynamics arising from a presentation of the group by generators and relators . the purpose of the present paper is two - fold . firstly , we want to survey the spectral theoretic results of @xcite . secondly , we want to put these results in wider perspective by discussing the background on aperiodic order in dimension one . in this context we present a discussion of subshifts and aperiodic order in section [ section - subshifts ] and of schrdinger operators arising in models of ( dis)ordered solids in section [ schroedinger ] . we also continue our study of the substitution that is instrumental for the results in @xcite . it first appeared in 1985 in the presentation of grigorchuk s group by generators and relators found by lysenok @xcite ( such infinite recursive presentations are now called l - presentations ) . a remarkable fact is that the same substitution also describes basic dynamical properties of the group . here we review its combinatorial properties and carry out a detailed study of the factor map to its maximal equicontinuous factor , which is the binary odometer . this factor map is proven to be one - to - one everywhere except on three orbits . this in turn can be linked to the phenomenon of pure point diffraction which is at the core of aperiodic order . all these discussions concerning the substitution are contained in section [ the - substitution ] . the necessary background from graphs and dynamical systems is discussed in section [ section - background - graphs - etc ] and basics on grigorchuk s group and its schreier graphs can be found in section [ grigorchuk ] . the connection between schrdinger operators and laplacians on schreier graphs revealed in @xcite ( and reviewed in sections [ connecting ] and [ section - spectral ] ) can also be used to show that the kesten - von - neuman trace and the integrated density of states agree . this seems to be somewhat folklore . we provide a proof in section [ ids - schreier ] . our approach can certainly be carried out for various further families of groups generalizing grigorchuk s group . in particular , our results fully extend to a larger family of self - similar groups acting on the infinite binary tree considered by sunic in @xcite , as well as to similar families of self - similar groups acting on regular rooted trees of arbitrary degrees that also have linear schreier graphs for their action on the boundary of the tree . moreover , each of these self - similar groups belongs to an uncountable family of groups parametrized by sequences in a certain finite alphabet , in the same way as grigorchuk s group belongs to the family of groups @xmath0 constructed by the first named author in @xcite . the schreier graphs of the groups in the same family look the same , but their labelling by generators , and thus their spectra , depend on the sequence @xmath1 . the associated subshifts are also different , in particular , they do nt have to come from a substitution in the case when the corresponding group is not self - similar . this more general setup will be considered in a separate paper . * acknowledgments . * r. g. was partially supported by the nsf grant dms-1207669 , by erc ag compasp and by the nsa grant h98230 - 15 - 1 - 0328 . the authors acknowledge support of the swiss national science foundation . part of this research was carried out while d.l . and r. g. were visiting the department of mathematics of the university of geneva . the hospitality of the department is gratefully acknowledged . the authors also thank fabien durand and ian putnam for most enlightening discussions concerning the material gathered in section [ section - recoding ] , yaroslav vorobets for allowing them to use his figures @xmath2 and @xmath3 and olga klimecki for help in preparing figure @xmath4 . finally , the authors would like to thank the anonymous referee for a very careful reading of the manuscript and several helpful suggestions . long range aperiodic order ( or aperiodic order for short ) denotes an intermediate regime of order between periodicity and randomness . it has received a lot of attention over the last thirty years or so , see e.g. the article collections and monographs @xcite . this interest in aperiodic order has various reasons . on the one hand it is due to the many remarkable and previously unknown features and phenomena arising from aperiodic order in various branches of mathematics . on the other hand , it is also due to the relevance of aperiodic order in physics and chemistry . indeed , aperiodic order provides a mathematical theory for the description of a new type of matter discovered in 1982 by shechtman via diffraction experiments @xcite . these experiments showed sharp peaks in the diffraction pattern indicating long range order and at the same time a five fold symmetry indicating absence of periodicity . the discovery of solids combining both long range order with aperiodicity came as a complete surprise to physicists and chemists and shechtman was honored with a nobel prize in 2011 . by now , the solids in question are known as quasicrystals .    in one dimension aperiodic order is commonly modeled by subshifts of low complexity . in higher dimensions it is modeled by dynamical systems consisting of point sets with suitable regularity features ( which are known as delone dynamical systems ) . here , we present the necessary notation in order to deal with the one - dimensional situation . * when we speak about aperiodic order subsequently , this will always mean that we have a subshift with suitable minimality features at our disposal . *    let a finite set @xmath5 be given . we call @xmath5 the _ alphabet _ and refer to its elements as _ letters_. we will consider the set @xmath6 of finite words ( including the empty word ) over the alphabet @xmath5 , viewed as a free monoid ( with the multiplication given by concatenation of words and the empty word representing the identity ) . elements of @xmath6 will often be written as @xmath7 with @xmath8 . the length of a word is the number of its letters . it will be denoted by @xmath9 . the empty word has length zero . then , @xmath10 denotes the set of functions from @xmath11 to @xmath5 . we think of the elements of @xmath10 as of bi - infinite words over the alphabet @xmath5 . the set @xmath12 denotes the set of functions from @xmath13 to @xmath5 . we think of its elements of one - sided infinite words over @xmath5 . they will often be denoted by @xmath14 . if @xmath15 are finite words and @xmath16 satisfies @xmath17 we write @xmath18 and say that @xmath19 _ denotes the position of the origin_.    we equip @xmath5 with the discrete topology and @xmath20 with the product topology . by the tychonoff theorem , @xmath10 is then compact . in fact , it is homeomorphic to the cantor set . a pair @xmath21 is called a _ subshift _ over @xmath5 if @xmath22 is a closed subset of @xmath20 which is invariant under the _ shift transformation _ @xmath23 if there exists a natural number @xmath24 with @xmath25 for all @xmath26 then @xmath21 is called _ periodic _ otherwise it is called _ non - periodic_.    whenever @xmath1 is a word over @xmath5 ( finite or infinite , indexed by @xmath13 or by @xmath11 ) we define @xmath27 by convention , the set of finite subwords includes the empty word . every subshift @xmath28 comes naturally with the set @xmath29 of associated finite words given by    @xmath30 a word @xmath31 is said to _ occur with bounded gaps _ if there exists an @xmath32 such that every @xmath33 with @xmath34 contains a copy of @xmath35 . as is well known ( and not hard to see ) @xmath28 is minimal if and only if every @xmath36 occurs with bounded gaps . for proofs and further discussion we refer to standard textbooks such as @xcite . we will be concerned here with the following strengthening of the bounded gaps condition . it concerns the case that @xmath37 can be chosen as @xmath38 with fixed @xmath39 ( independent of @xmath35 ) . a subshift @xmath21 is called _ linearly repetitive _ ( lr ) , if there exists a constant @xmath40 such that any word @xmath41 occurs in any word @xmath42 of length at least @xmath38 . this notion has been discussed under various names by various people . in particular it was studied by durand , host and skau @xcite in the setting of subshifts ( under the name linearly recurrent ) . for delone dynamical systems it was brought forward at about the same time by lagarias and pleasants @xcite under the name linearly repetitive. it has also featured in the work of boris solomyak @xcite ( under the name uniformly repetitive ) . it was also already discussed in an unpublished work of boshernitzan in the 90s . that work also contains a characterization in terms of positivity of weights . a corresponding result for delone systems was recently given in @xcite . durand @xcite gives a characterization of such subshifts in terms of primitive @xmath43-adic systems and shows the following ( which was already known to boshernitzan ) . [ theorem - unique - ergodicity ] let @xmath21 be a linearly repetitive subshift . then , the subshift is uniquely ergodic . in fact , linear repetitivity implies a strong form of subadditive ergodic theorem @xcite . validity of such a result together with the fundamental work of kotani @xcite is at the core of the approach to cantor spectrum of lebesgue measure zero developed in @xcite . our considerations on cantor spectrum rely on an extension of that approach worked out in @xcite . in this section , we present ( parts of ) the spectral theory of discrete schrdinger operators associated to minimal dynamical systems . schrdinger operators occupy a prominent position in the theory of aperiodic order . indeed , they arise in the quantum mechanical description of conductance properties of quasicrystals and exhibit quite interesting mathematical properties . in fact , already the first two papers on them written by physicists suggest that the corresponding spectral measures are purely singular continuous and the spectrum is a cantor set of lebesgue measure zero @xcite . by now these features as well as other conductance - related properties known as anomalous transport have been thoroughly studied in a variety of models by various authors , see the survey articles @xcite . the phenomenon that the underlying spectrum is a cantor set of lebesgue measure zero is usually referred to as _ cantor spectrum of lebesgue measure zero _ and this is how we will refer to it subsequently . the laplacians on schreier graphs discussed later will turn out to be unitarily equivalent to certain such schrdinger operators . subsequently , we first discuss basic mathematical features of schrdinger operators associated to dynamical systems in the next section [ basic - schroedinger ] , then turn to absolutely continuous spectrum and the spectrum as a set for subshifts in section [ spectrum - set - ac ] and finally give some background from physics in section [ aperiodic - order - schroedinger ] . in this section we review some basic theory of discrete schrdinger operators ( or rather jacobi matrices ) associated to minimal topological dynamical systems . this framework is slightly more general than the framework of minimal subshifts . the results we discuss include constancy of the spectrum and uniform convergence of the so - called integrated density of states . all these results are well known .    whenever @xmath44 is a homeomorphism of the compact space @xmath22 we will refer to @xmath21 as a _ topological dynamical system_. later we will meet an even more general definition of dynamical system . to continuous functions @xmath45 we then associate a family of _ discrete operators _ @xmath46 . specifically , for each @xmath47 , @xmath48 is a bounded selfadjoint operator from @xmath49 to @xmath49 acting via @xmath50 for @xmath51 and @xmath52 .    in the case @xmath53 the above operators are known as _ discrete schrdinger operators_. for general @xmath54 the name _ jacobi matrices _ is often used in the literature . here , we will deal with the case @xmath55 but still mostly refer to the arising operators as schrdinger operators . as the operator @xmath48 is selfadjoint , the operator @xmath56 is bijective with continuous inverse @xmath57 for any @xmath58 . moreover , for any @xmath59 there exists a unique positive borel measure @xmath60 on @xmath61 with @xmath62 for any @xmath58 . this measure if finite and assigns the value @xmath63 to the set @xmath61 .    for fixed @xmath64 , the measures @xmath60 , @xmath65 , are called the _ spectral measures _ of @xmath48 . the spectrum of @xmath48 is defined as @xmath66 it is the smallest set containing the support of any @xmath60 ( see e.g. @xcite ) . the spectrum is said to be _ purely absolutely continuous _ if the spectral measures for all @xmath67 are absolutely continuous with respect to lebesgue measure . the spectrum is said to be _ purely singular continuous _ if all spectral measures are both continuous ( i.e. do not have discrete parts ) and singular with respect to lebesgue measure . the following result is well - known . it can be found in various places , see e.g. @xcite . recall that @xmath21 is called _ minimal _ if @xmath68 is dense in @xmath22 for any @xmath47 . [ constancy]let @xmath21 be minimal and @xmath69 continuous . then , there exists a closed subset @xmath70 such that the spectrum @xmath71 of @xmath48 equals @xmath72 for any @xmath64 . we will refer to the set @xmath72 in the previous theorem as the _ spectrum of the schrdinger operator associated to @xmath21 ( and ( f , g))_. the spectrum @xmath72 is a one of the main objects of interest in our study .    before turning to a finer analysis of the spectrum we will introduce a further quantity of interest the so called integrated density of states . in order to do so , we will assume that the underlying dynamical system @xmath21 is not only minimal but also _ uniquely ergodic _ i.e. possesses a unique invariant probability measure , which we call @xmath73 . then , we can associate to the family @xmath74 the positive measure @xmath75 on @xmath61 defined via @xmath76 ( for @xmath77 any continuous function on @xmath61 with compact support ) . here , @xmath78 is just the characteristic function of @xmath79 . this measure @xmath75 is called the _ integrated density of states_. let @xmath80 , n(e):=\int_{(-\infty , e ] } d k,\ ] ] be the distribution function of @xmath75 . there is a direct relation between the measure @xmath75 and the spectrum of the @xmath48 . [ theorem - support - and - atomfree ] let @xmath21 be minimal and uniquely ergodic . then , the set @xmath72 is the support of the measure @xmath75 . if the function @xmath54 does not vanish anywhere then @xmath75 does not have atoms ( i.e. it assigns the value zero to any set containing only one element ) . this is rather standard in the theory of random operators . specific variants of it can be found in many places . in particular , the first statement of the theorem can be found in @xcite . in the case of @xmath54 which do not vanish anywhere the statements of the theorem are contained in section 5 of @xcite . given the constancy of the spectrum , theorem [ constancy ] , the statements are also very special cases of the results of section 5 of @xcite . the key ingredient for the absence of atoms is amenability of the underlying group @xmath11 . the statement on the support does not even need this property . as is well known , it is possible to calculate @xmath75 via an approximation procedure . this will be discussed next . for @xmath81 let @xmath82 be the canonical inclusion and let @xmath83 be the adjoint of @xmath84 . thus , @xmath85 is the canonical projection . define for @xmath64 then @xmath86 we will be concerned with the spectral theory of these operators . let the measure @xmath87 on @xmath61 be defined as @xmath88 ( for any continuous @xmath77 on @xmath61 with compact support ) and let @xmath89,\ : n_\omega^{n } ( e):=\int_{(\infty , e ] } d k_\omega^{n } ( x),\ ] ] be its distribution function . let @xmath90 be the eigenvalues of @xmath91 counted with multiplicity . then , straightforward linear algebra ( diagonalization of @xmath91 and independence of the trace of the chosen orthonormal basis ) shows that @xmath92 holds for any continuous @xmath77 on @xmath61 with compact support and that the distribution functions of the measures @xmath93 are given by @xmath94 where @xmath95 denotes the cardinality of a set . in this sense , @xmath87 is just an averaged eigenvalue counting . [ theorem - convergence - ids ] let @xmath21 be minimal and uniquely ergodic . then , for any continuous @xmath77 on @xmath61 with compact support and any @xmath96 there exists an @xmath97 with @xmath98 for all @xmath64 and all @xmath52 with @xmath99 . it is well - known that the measures @xmath100 converge weakly toward @xmath75 for @xmath101 for almost every @xmath64 . this can be found in many places , see e.g. lemma 5.12 in @xcite . ( that lemma assumes that @xmath54 does not vanish anywhere but its proof does not use this assumption . ) a key step in the proof is the use of the birkhoff ergodic theorem . the desired statement now follows by replacing the birkhoff ergodic theorem with the uniform ergodic theorem ( oxtoby theorem ) valid for uniquely ergodic systems @xcite . the operators @xmath91 are sometimes thought of as arising out of the @xmath48 by some form of dirichlet boundary condition. the previous result is stable under taking different boundary conditions. in fact , even a more general statement is true as we will discuss next . ( the more general statement will even save us from saying what we mean by boundary condition . ) let for any @xmath102 and @xmath103 be a selfadjoint operator @xmath104 on @xmath105 be given . then , the statement of the theorem essentially continues to hold if the operators @xmath91 are replaced by the operators @xmath106 provided the rank of the @xmath107 is not too big . here , the rank of an operator @xmath39 on a finite dimensional space , denoted by @xmath108 , is just the dimension of the range of @xmath39 .    in order to be more specific , we introduce the measure @xmath109 on @xmath61 defined as @xmath110 ( for any continuous @xmath77 on @xmath61 with compact support ) and its distribution function given by @xmath111,\ ; \widetilde{n}_\omega^{n } ( e):= \frac{1}{n } \sharp\{\mbox{eigenvalues of $ \widetilde{h}_\omega^{n}$ not exceeding $ e$ } \}.\ ] ]    [ perturbation - ids ] consider the situation just described . let @xmath64 be given with @xmath112 then , for any continuous @xmath77 on @xmath61 with compact support and any @xmath96 there exists an @xmath97 with @xmath113 for all @xmath99 . a consequence of the min - max principle , see e.g. theorem 4.3.6 in @xcite shows @xmath114 independent of @xmath115 . this directly gives the desired statement . the theorem allows one to obtain an inclusion formula for the spectrum @xmath72 . denote the spectrum of the operator @xmath116 by @xmath117 . by construction , @xmath117 is just the support of the measure @xmath109 . [ cor - inclusion ] assume the situation of the previous theorem . then , the inclusion @xmath118 holds for all @xmath119 . the corollary is somewhat unsatisfactory in that it only gives an inclusion . in certain cases more is known . this is further discussed in section [ ids - equal - kvns - trace ] . for a general result on how to construct approximations whose spectra converge with respect to the hausdorff distance we refer the reader to @xcite .      in this section we consider schrdinger operators associated to locally constant functions on minimal subhifts . here , a function @xmath120 on a subshift @xmath22 over a finite alphabet is _ locally constant _ if there exists an @xmath121 such that the value of @xmath122 only depends on the word @xmath123 . a key distinction in our considerations will then be whether @xmath124 is periodic or not . the overall structure of the spectrum in the periodic case is well - known . this can be found in many references , see e.g. the monograph @xcite . [ theorem - periodic - abstract ] let @xmath21 be a minimal subshift and @xmath69 locally constant with @xmath125 for all @xmath26 . if @xmath124 is periodic ( with period @xmath126 ) , then the spectra @xmath72 of the associated schrdinger operators consist of finitely many ( and not more than @xmath126 ) closed intervals of positive length and all spectral measures are absolutely continuous with respect to lebesgue measure . note that periodicity of @xmath124 may have its origin in both properties of @xmath21 and properties of @xmath124 . for example periodicity always occurs if @xmath127 irrespective of the nature of @xmath21 . also , periodicity occurs for arbitrary @xmath128 if @xmath21 is periodic ( i.e. there exists a natural number @xmath129 with @xmath130 for all @xmath64 ) . the previous theorem gives rather complete information on @xmath72 in the periodic case . in order to deal with the non - periodic case , we will need a further assumption on @xmath21 . this condition is linear repetitivity . [ theorem - aperiodic - abstract ] let @xmath21 be a linearly repetitive subshift and @xmath69 locally constant with @xmath125 for all @xmath26 . if @xmath124 is non - periodic , then there exists a cantor set @xmath72 of lebesgue measure zero in @xmath61 such that @xmath131 for all @xmath103 . the above theorem was first proven in @xcite in the case @xmath53 . this result was then extended in @xcite from linearly repetitive subshifts to arbitrary subshifts satisfying a certain condition known as boshernitzan condition ( b ) ( again for the case @xmath132 ) . in the form stated above it can be inferred from the recent work @xcite , corollary 4 . this corollary treats the even more general situation , where condition ( b ) is satisfied . condition ( b ) was introduced by boshernitzan as a sufficient condition for unique ergodicity @xcite ( see @xcite for an alternative approach as well ) . in our context , we do not actually need its definition here . it suffices to know that linear repetitivity implies ( b ) ( see e.g. @xcite ) .    the previous result deals with the appearance of @xmath72 as a set . it also gives some information on the spectral type . [ corollary - aperiodic - abstract ] assume the situation of the previous theorem . then , no spectral measure can be absolutely continuous with respect to the lebesgue measure . schrdinger operators with aperiodic order can be considered within the context of random schrdinger operators . indeed , they arise in quantum mechanical treatment of solids . as this may be revealing we briefly present this context in this section . further discussion and references can be found e.g. in the textbooks @xcite .    consider a subshift @xmath21 over the finite alphabet @xmath5 . assume without loss of generality that @xmath5 is a subset of the real numbers . let a @xmath44-invariant probability measure @xmath133 on @xmath22 be given . to these data we can associate the family @xmath134 of bounded selfadjoint operators on @xmath49 acting via @xmath135 such operators are ( slightly special ) cases of the operators considered in the previous section . they arise in the quantum mechanical treatment of disordered solids . the solid in question is modeled by the sequence @xmath26 . the operator @xmath48 then describes the behavior of one electron under the influence of this @xmath1 . more specifically , if the state of the electron is @xmath136 at time @xmath137 then the time evolution is governed by the _ schrdinger equation _ @xmath138 this equation has a unique solution given by @xmath139 the behavior of this solution is then linked to the spectral properties of @xmath48 . the two basic pieces of philosophy underlying the investigations are now the following :    * increasing regularity of the spectral measures increases the conductance properties of the solid in question . * the more disordered the subshift is the more singular the spectral measures are . of course , this has to be taken with ( more than ) a grain of salt . in particular , precise meaning has to be given to what is meant by _ regularity and singularity of the spectral measures _ and _ conductance properties _ and _ disorder in the subshift_. a large part of the theory is then devoted to giving precise sense to these concepts and then prove ( or disprove ) specific formulations of the mentioned two pieces of philosophy .    regarding the first point of the philosophy we mention @xcite as basic references for proofs of lower bounds on transport via quantitative continuity of the spectral measures .    as for the second point of the philosophy , the two - in some sense - most extremal cases are given by periodic subshifts representing the maximally ordered case on the one hand and the bernoulli subshift ( with uniform measure ) on the other hand representing the maximally disordered case . the periodic situation can be thought of as one with maximal order . as discussed in the previous section the spectral measures are all absolutely continuous ( hence not at all singular ) and the spectrum consists of non - trivial intervals . these intervals are known in the physics literature as ( conductance ) bands . the bernoulli subshift can be thought of as having maximal disorder . in this case all spectral measures turn out to be pure point measures and the spectrum is pure point spectrum with the eigenvalues densely filling suitable intervals . we refer to the monographs @xcite for details and further references . the subshifts considered in the previous section are characterized by some intermediate form of disorder . they are not periodic . however , they are still minimal and uniquely ergodic and have very low complexity . so they are close to the periodic situation ( or rather well approximable by periodic models with bigger and bigger periods ) . accordingly , one can expect the following spectral features of the associated schrdinger operators :    * absence of absolutely continuous spectral measures ( due to the presence of disorder i.e. the lack of periodicity ) . * absence of point spectrum ( due to the closeness to the periodic case ) . * cantor spectrum of lebesgue measure zero ( as a consequence of approximation by periodic models with bigger and bigger periods and , hence , more and more gaps ) .    indeed , a large part of the theory for schrdinger operators with aperiodic order is devoted to proving these features ( as well as more subtle properties ) for specific classes of models . further details and references can be found in the surveys @xcite . here , we emphasize that also our discussion of the operators associated to a certain substitution generated subshift below will be focused on establishing the above features . in this section we study the two - sided subshift @xmath143 induced by a particular substitution @xmath140 on @xmath144 with @xmath145 the one - sided subshift induced by this substitution had already been studied by vorobets @xcite . some of our results can be seen as providing the two - sided counterparts to his investigations . the key ingredient in the investigations of @xcite is that the arising one - sided sequences can be considered as toeplitz sequences . this is equally true in our case of two - sided sequences . thus , it seems very likely that one could also base our analysis of the corresponding features on the connection to toeplitz sequenes . here , we will present a different approach based the @xmath146-decomposition and @xmath146-partition introduced in @xcite . the subshift @xmath142 will be of crucial importance for us as it will turn out that the schrdinger operators associated to it are unitarily equivalent to the laplacians on the schreier graphs of the grigorchuk s group @xmath147 .    while we do not use it in the sequel we would like to highlight that the substitution in question has already earlier appeared in the study of grigorchuk s group @xmath147 . indeed , it is ( a version of ) the substitution used by lysenok @xcite for getting a presentation of grigorchuk s group @xmath147 . more specifically , @xcite gives that @xmath148 where @xmath149 is the substitution on @xmath150 obtained from @xmath140 by replacing @xmath151 by @xmath152 , @xmath153 by @xmath154 and @xmath155 by @xmath156 . let the alphabet @xmath144 be given and let @xmath140 be the substitution mentioned above mapping @xmath157 , @xmath158 , @xmath159 , @xmath160 . let @xmath141 be the associated set of words given by @xmath161 then , the following three properties obviously hold true :    * the letter @xmath162 is a prefix of @xmath163 for any @xmath164 . * the lengths @xmath165 converge to @xmath166 for @xmath167 . * any letter of @xmath5 occurs in @xmath168 for some @xmath146 .    by the first two properties @xmath163 is a prefix of @xmath169 for any @xmath170 . thus , there exists a unique one - sided infinite word @xmath171 such that @xmath163 is a prefix of @xmath171 for any @xmath170 . this @xmath171 is then a fixed point of @xmath140 i.e. @xmath172 . we will refer to it as _ the fixed point of the substitution @xmath140_. clearly , @xmath171 is then a fixed point of @xmath173 as well for any natural number @xmath146 .    by the third property we then have @xmath174 we can now associate to @xmath140 the subshift @xmath175 note that every other letter of @xmath171 is an @xmath162 ( as can easily be seen ) . thus , @xmath162 occurs in @xmath171 with bounded gaps . this implies that any word of @xmath141 occurs with bounded gaps ( as the word is a subword of @xmath163 and @xmath171 is a fixed point of @xmath173 ) . for this reason @xmath142 is minimal and @xmath176 holds for any @xmath177 . we can then apply theorem 1 of @xcite to obtain the following . [ theorem - tau - linear - repetitive ] the subshift @xmath142 is linearly repetitive . in particular , @xmath142 is uniquely ergodic and minimal . it is well - known that subshifts associated to primitive substitutions are linearly repetitive ( see e.g. @xcite ) . theorem 1 of @xcite shows that linear repetitivity in fact holds for subshifts associated to any substitution provided minimality holds . unique ergodicity is then a direct consequence of linear repetitivity due to theorem [ theorem - unique - ergodicity ] . our further considerations will be based on a more careful study of the @xmath163 . we set @xmath178 a direct calculation gives @xmath179 thus , the following _ recursion formula _ for the @xmath180 @xmath181 with @xmath182 is valid[recursion ] . this recursion formula is a very powerful tool . this will become clear in the subsequent sections . here we first note that it implies @xmath183 for all @xmath184 . we will now use it to present a formula for the occurrences of the @xmath185 in @xmath171 and to introduce some special elements in @xmath186 .    consider the fixed point @xmath187 of @xmath188 on @xmath10 . then the following holds .    * the letter @xmath162 occurs exactly at the positions @xmath189 , @xmath190 ( i.e. at the odd positions ) . * the letter @xmath151 occurs exactly at the positions of the form @xmath191 , @xmath192 ( i.e. at the positions of the form @xmath193 with @xmath194 an odd integer and @xmath164 arbitrary ) . * the letter @xmath153 occurs exactly at the positions of the form @xmath195 , @xmath192 ( i.e. at the positions of the form @xmath196 with @xmath194 an odd integer and @xmath164 arbitrary ) . * the letter @xmath155 occurs exactly at the positions of the form @xmath197 , @xmath192 ( i.e. at the positions of the form @xmath198 with @xmath194 an odd integer and @xmath164 arbitrary ) . we first note that the given sets of positions are pairwise disjoint and cover @xmath13 . thus , it suffices to show that the mentioned letters occur at these positions . the statement for @xmath162 is clear . the statements for @xmath185 can all be proven similarly . thus , we only discuss the statement for @xmath151 . repeated application of ( rf ) shows that @xmath199 with @xmath200 . moreover , ( rf ) implies @xmath201 combining these formula we see that @xmath151 must occur at all positions of the form @xmath202 this finishes the proof . the previous proposition shows that @xmath171 is a _ toeplitz sequence _ ( with periods of the form @xmath203 for @xmath204 ) . as mentioned already the analysis of the one - sided subshift in @xcite is based on this property . we now head further to use ( rf ) to introduce some special two - sided sequences . as is not hard to see from ( rf ) , for any @xmath164 and any single letter @xmath205 the word @xmath206 occurs in @xmath171 . thus , for any @xmath205 there exists a unique element @xmath207 such that @xmath208 holds for all natural numbers @xmath146 , where the @xmath19 denotes the position of the origin . the elements @xmath209 will play an important role in our subsequent analysis . they clearly have the property that they agree on @xmath13 with @xmath171 . indeed , they can be shown to be exactly those elements of @xmath186 which agree with @xmath171 on @xmath13 ( see below ) . here , we already note that these three sequences are different . thus , @xmath186 contains different sequences , which agree on @xmath13 . hence , @xmath22 is not periodic . we finish this section by noting a certain reflection invariance of our system . recall that a non - empty word @xmath210 with @xmath8 is called a _ palindrome _ if @xmath211 . an easy induction using ( rf ) shows that for any @xmath212 the word @xmath180 is a palindrome . it starts and ends with @xmath213 for any @xmath190 with @xmath214 . as each @xmath180 is a palindrome and any word belonging to @xmath141 is a subword of some @xmath180 we immediately infer that @xmath141 is closed under reflections in the sense that the following proposition holds . [ prop - palindrome ] whenever @xmath215 with @xmath8 belongs to @xmath141 then so does @xmath216 .      as a direct consequence of the definitions we obtain that for any @xmath170 the word @xmath171 has a ( unique ) decomposition as @xmath217 with @xmath218 . clearly , this decomposition can be thought of as a way of writing @xmath171 with letters from the alphabet @xmath219 . moreover , setting @xmath220 we have @xmath221 for any @xmath222 . this way of writing @xmath171 will be called the _ @xmath146-decomposition of @xmath171_. it turns out that an analogous decomposition can actually be given for any element @xmath223 . this will be discussed in this section . specifically , we will discuss next that each @xmath224 admits for each @xmath170 a unique decomposition of the form @xmath225 with    * @xmath226 for all @xmath227 , * the origin @xmath228 belongs to @xmath229 . such a decomposition will be referred to as _ @xmath146-decomposition _ of @xmath1 . a short moment s thought reveals that if such a decomposition exists at all , then it is uniquely determined by the position of any of the @xmath230 s in @xmath1 . moreover , the positions of the @xmath230 s are given by @xmath231 with @xmath232 . thus , the positions are given by an element of @xmath233 . this suggests the following definition .    for @xmath212 we call an element @xmath234 an @xmath235 of @xmath223 if for any @xmath236 both    * @xmath237 and * @xmath238    hold .    clearly , for each @xmath239 , existence ( uniqueness ) of an @xmath146-partition is equivalent to existence ( uniqueness ) of an @xmath146-decomposition . in this sense these two concepts are equivalent . it is not apparent that such an @xmath146-partition exists at all . here is our corresponding result . [ theorem - n - partition ] let @xmath170 be given . then any @xmath223 admits a unique @xmath146-partition @xmath240 and the map @xmath241 is continuous and equivariant ( i.e. @xmath242 ) . based on n - partitions ( and n - decompositions ) and the previous theorem one can then study the dynamical system @xmath142 as well as various questions on the structure of @xmath141 . this is the content of the next sections .      in this section we use n - partitions to study the structure of the dynamical system @xmath142 .    for any @xmath243 we can consider the cyclic group @xmath244 together with the map @xmath245 , called _ addition map _ , which sends @xmath246 to @xmath247 . then , @xmath248 is a periodic minimal dynamical system . moreover , there are natural maps @xmath249 for any @xmath250 . these maps allow one to construct the topological abelian group @xmath251 as the inverse limit of the system @xmath252 , @xmath243 . specifically , the elements of @xmath251 are sequences @xmath253 with @xmath254 and @xmath255 for all @xmath243 . this group is called the _ group of dyadic integers_. the addition maps @xmath245 are compatible with the inverse limit and lift to a map @xmath256 on @xmath251 ( which is just addition by @xmath4 on each member of the sequence in question ) . in this way , we obtain a dynamical system @xmath257 . it is known as the _ binary odometer_. as @xmath256 is just addition one can think of this system as an adding machine. it is well known that this dynamical system is minimal . now theorem [ theorem - n - partition ] can be rephrased as saying that the dynamical system @xmath258 is a factor of @xmath142 via the factor map @xmath259 . clearly , the factor maps @xmath259 are compatible with the natural canonical projections @xmath260 in the sense that @xmath261 holds for all @xmath262 . thus , we can combine the @xmath259 for all @xmath263 to get a factor map @xmath264    we first use this to study continuous eigenvalues . let @xmath265 be a dynamical system ( i.e. @xmath266 is a compact space and @xmath267 is a homeomorphism ) . denote the unit circle in @xmath268 by @xmath269 . then , @xmath270 is called a _ continuous eigenvalue _ of the dynamical system @xmath265 if there exists a continuous not everywhere vanishing function @xmath54 with values in @xmath268 on @xmath266 satisfying @xmath271 for all @xmath272 . such a function is called a _ continuous eigenfunction_. then , any continuous eigenvalue belongs to @xmath269 and the continuous eigenvalues form a group under multiplication whenever the underlying dynamical system is minimal . indeed , by minimality any continuous eigenfunction has constant ( non - vanishing ) modulus . then , the product of two eigenfunctions is an eigenfunction to the product of the corresponding eigenvalues . the complex conjugate of an eigenfunction is an eigenfunction to the inverse of the corresponding eigenvalue and the constant function is an eigenfunction to the eigenvalue @xmath4 . moreover , it is not hard to see that minimality implies that the multiplicity of each continuous eigenvalue is one ( i.e. for any two continuous eigenfunctions @xmath128 to the same eigenvalue there exists a complex number c with @xmath273 ) . let now @xmath274 be the group of continuous eigenvalues of @xmath275 . this is just the subgroup of @xmath269 given by @xmath276 . then , clearly the groups @xmath274 and @xmath275 are dual to each other via @xmath277 the dual maps to the canonical projections @xmath278 are then the canonical embeddings @xmath279 thus , @xmath274 is a subgroup of @xmath280 . let @xmath281 be the group arising as the union of the @xmath282 , i.e. @xmath283 this group is often denoted as @xmath284 . equip it with the discrete topology and denote its pontryagin dual @xmath285 by @xmath286 . [ prop - canonical - isom ] the group @xmath286 is canonically isomorphic to the group @xmath251 via @xmath287    by construction @xmath251 comes about as inverse limit of the @xmath252 , @xmath262 . then , the dual group of @xmath251 arises as the direct limit of the dual system @xmath288 . this limit is just the group @xmath281 . dualising once more we obtain that @xmath286 is indeed canonically isomorphic to the dual of @xmath251 . to obtain the actual formula we can proceed as follows : define @xmath289 . then , each @xmath290 is a complex primitive @xmath291-th root of @xmath4 with @xmath292 . now , consider an arbitrary element @xmath293 i.e. a character @xmath294 . then , @xmath295 is completely determined by its values on the @xmath290 , @xmath296 . moreover , for each @xmath146 we have @xmath297 for a unique @xmath298 as @xmath299 it is not hard to see that @xmath300 goes to @xmath301 under the natural surjection @xmath302 . thus , to each character @xmath303 there corresponds a sequence @xmath304 with @xmath305 and @xmath255 for all @xmath263 ( and vice versa ) . the set of such sequences is exactly @xmath251 . as any eigenvalue belongs to @xmath269 , there is a canonical embedding of groups @xmath306 . in fact , as things are set up here this embedding is just inclusion of subsets of @xmath268 .    by duality , this gives rise to a group homomorphism @xmath307 with dense range . this homomorphism induces then an action @xmath308 of @xmath11 on @xmath286 via @xmath309 it is not hard to see that this @xmath308 corresponds to @xmath256 if @xmath286 is identified with @xmath251 according to proposition [ prop - canonical - isom ] .    disentangling definitions , we also infer that the action is given by @xmath310 ( for @xmath311 and @xmath312 ) . we denote the arising dynamical system as @xmath313 . it is isomorphic to the binary odometer . by its very construction it is what is called a _ rotation on a compact abelian group _ ( viz the action @xmath308 comes about by multiplication with @xmath314 , where @xmath315 is a group homomorphism ) . thus , by standard theory ( see e.g. @xcite ) its group of continuous eigenvalues is exactly given by the dual of @xmath286 i.e. by @xmath281 .    now , obviously any eigenfunction of @xmath275 gives immediately rise to an eigenfunction of @xmath186 for the same eigenvalue ( by composing with the factor map ) . as the factor map is continuous , we obtain in this way continuous eigenfunctions to each of the elements from @xmath281 . minimality easily shows that ( up to an overall scaling ) each of these eigenfunctions is unique . thus , we obtain a family of continuous eigenfunctions . at this point it is not clear that all continuous eigenvalues of @xmath142 belongs to @xmath281 . however , this ( and more ) will be shown later . we can use the preceding considerations to introduce a closed equivalence relation @xmath316 on @xmath186 via @xmath317 then , @xmath318 is a compact topological space when equipped with the quotient topology . clearly , @xmath319 if and only if @xmath320 . thus , the relation @xmath316 is compatible with the shift operation . hence , the quotient @xmath318 becomes a dynamical system with the operation @xmath321 induced by the shift . fix now an @xmath322 . as discussed above continuous eigenfunctions do not vanish anywhere and the multiplicity of each continuous eigenvalue is one . thus , for each @xmath312 there exists a unique eigenfunction @xmath323 to @xmath75 on @xmath186 with @xmath324 . then , the arising system of eigenfunctions will have the property that @xmath325 for all @xmath326 . thus , any @xmath224 will give rise to an element of @xmath327 via @xmath328 even more is true and the following result holds . it is well - known and can be found in various places in the literature . recent discussions are given in @xcite . [ conjugate ] the dynamical systems @xmath329 and @xmath313 are conjugate via the map @xmath330 \mapsto ( k\mapsto f_k ( \omega)).\ ] ] in particular , the eigenvalues of @xmath331 are exactly given by the elements of @xmath281 .    we now further investigate @xmath316 and provide a characterization of @xmath319 . here , we will again use the special words @xmath332 introduced above . [ prop - characterization - approx ] for @xmath333 the relation @xmath319 holds if and only if one of the following two properties hold :    * @xmath334 . * there exist @xmath335 with @xmath336 and @xmath337 with @xmath338 and @xmath339 . let @xmath340 with @xmath341 and @xmath342 be given . by definition of @xmath316 and the above construction of the eigenfunctions of @xmath142 , we then have that @xmath343 for all @xmath212 . call this quantity @xmath259 . in the remaining part of the proof we will identify such a @xmath259 with its unique representative in @xmath344 .    as @xmath341 we infer that one of the sequences @xmath345 or @xmath346 must be bounded . ( otherwise , @xmath1 and @xmath347 would agree on larger and larger pieces around the origin and then had to be equal . ) assume without loss of generality that @xmath348 is bounded . by restricting attention to a subsequence we can then assume without loss of generality that @xmath349 for all @xmath146 . after shifting the sequences by @xmath350 to the left we can then assume without loss of generality that @xmath351 for all @xmath146 . by definition of @xmath350 , there exist then letters @xmath352 with latexmath:[\[\omega = ... s| p^{(n)} ... \;\:\mbox{and}\;\ : \omega { ' } = ... s { ' }    denotes the position of the origin . this gives , by definition of the @xmath146-partition that in fact @xmath354 and @xmath355 . as @xmath356 we infer that @xmath357 . this finishes the proof . the previous result shows that the factor map from @xmath186 to @xmath358 is one - to - one except on three orbits . this has strong consequences as will be discussed next . as @xmath142 is uniquely ergodic , there exists a unique @xmath44-invariant probability measure @xmath73 on @xmath186 . the operation @xmath44 then induces a unitary operator @xmath359 on the associated @xmath360-space via @xmath361 an element @xmath362 ( with @xmath363 ) is called a _ measurable eigenfunction to @xmath364 _ if @xmath365 . the subshift is said to have _ pure point spectrum _ if there exists an orthonormal basis of measurable eigenfunctions . from the two previous results we immediately infer the following . the dynamical system @xmath142 has pure point spectrum and any measurable eigenvalue is a continuous eigenvalue and belongs to @xmath281 . the dynamical system @xmath366 has pure point spectrum with all eigenvalues being continuous and belonging to @xmath281 as it is a shift on the compact abelian group @xmath286 which is the pontryagin dual of @xmath281 , @xcite . as the dynamical system @xmath318 is conjugate to @xmath313 due to lemma [ conjugate ] it has also pure point spectrum with all eigenvalues being continuous and belonging to @xmath281 . now , proposition [ prop - characterization - approx ] shows that factor map from @xmath186 to @xmath358 is one - to - one except on three countable orbits . this implies that in terms of measures the associated @xmath360-spaces are isomorphic . this easily gives the desired result . the occurrence of pure point dynamical spectrum is a key feature in the investigation of aperiodic order . in fact , while there is no axiomatic framework for aperiodic order a distinctive feature is ( pure ) point diffraction . now , pure point diffraction has been shown to be equivalent to pure point dynamical spectrum . for the case of subshifts at hand this can be inferred ( after some work ) from @xcite . a more general result ( dealing with uniquely ergodic delone systems ) was then given in @xcite . the result can even further be generalized to measure dynamical systems and even processes @xcite . the previous theorem implies that @xmath313 is exactly the _ maximal equicontinuous factor _ of @xmath142 ( see e.g. @xcite for definition ) . indeed , one of the many equivalent ways to describe this factor is as the dual group of the group of continuous eigenvalues . a recent discussion of this and various related facts can be found in @xcite . henceforth , we will denote the maximal equicontinuous factor of @xmath142 by @xmath367 and the corresponding factor map by @xmath368 . then , our findings so far provide the following theorem . [ main - max - equicontinuous - factor ] the three dynamical systems @xmath369 , @xmath370 , @xmath313 and @xmath367 are topologically conjugate . the factor map @xmath371 is one - to - one in all points except on the images of the points of the orbits of @xmath332 . in these points it is three - to - one .    * minimal systems with the property that their factor map to the maximal equicontinuous factor is one - to - one in at least one point are known as _ almost automorphic systems _ ( see e.g. @xcite for further details ) . their study has attracted a lot of attention . as the previous result shows , @xmath142 is an almost automorphic system . in fact , as @xmath186 is uncountable , the factor map is one - to - one in almost every point with respect to the unique invariant probability measure @xmath73 on @xmath186 . this is sometimes expressed as _ the factor map from @xmath142 to its maximal equicontinuous factor is almost - everywhere one - to - one_. * there is an alternative description of the relation @xmath316 for almost automorphic systems . more specifically , define the _ proximality relation _ @xmath372 by @xmath373 where @xmath156 is any metric on @xmath186 inducing the topology . ( due to compactness of @xmath186 the relation is indeed independent of the chosen metric . ) note that the proximality relation can be though of as describing asymptotic agreement . then , for almost automorphic systems the proximality relation @xmath372 and the relation @xmath316 agree . this can be found in the book of auslander @xcite . a recent discussion is given in @xcite . in fact , this result is even more general in that one does not need almost automorphy but only a weaker condition called _ coincidence rank one_. we refrain from further discussion of this concept and refer the reader to e.g. @xcite for further investigation . we just note that in our situation equality of @xmath372 and @xmath316 and the characterization of @xmath316 in proposition [ prop - characterization - approx ] imply that sequences which are proximal ( i.e. asymptotically equal ) are in fact equal everywhere up to one position . * in @xcite vorobets shows that the one - dimensional subshift associated to @xmath140 has the binary odometer @xmath313 as a factor with the factor map being @xmath374 in all points except three orbits . he uses this to conclude pure point spectrum and unique ergodicity . our corresponding results above for the two - sided subshift can therefore be seen as analogues to his results . however , our approach is different : it is based on @xmath146-partition whereas his approach is based on toeplitz sequences .      in this section we have a closer look at the structure of @xmath141 . the main focus will be on occurrences of three blocks and the index of words ( also known as critical exponent ) . we will use @xmath146-partitions in our study in a spirit similar to @xcite . we start by investigating occurrences of almost four blocks . an easy inspection of @xmath171 gives the following lemma . [ one - three - plus - block ] the word @xmath375 belongs to @xmath141 .    the previous result deals with occurrence of a cube ( and even a bit more ) of the special word @xmath376 . as @xmath141 is invariant under @xmath140 this then yields the occurrence of many more cubes . this can be used to exclude eigenvalues for schrdinger operators via the so - called gordon argument . this is discussed in @xcite for the case at hand . such an application of the gordon arguments for subshifts coming from substitution goes back to @xcite , see @xcite for a survey as well .    here , we turn next to showing that there are no fourth powers occurring in @xmath141 . let us recall from the considerations on @xmath146-partitions in section [ section - n - partition ] that there exists a sequence @xmath377 such that the fixed point @xmath171 of @xmath378 can be written as @xmath217 with @xmath379 for any @xmath380 . this way of writing @xmath171 is referred to as the @xmath146-decomposition of @xmath171 . call the sequence @xmath381 the _ @xmath146-th derived sequence of @xmath171_. note that for any natural number @xmath146 the combinatorial properties of the sequence @xmath382 are exactly the same as the combinatorial properties of the sequence @xmath383 as @xmath173 is injective on @xmath384 and @xmath385 holds . @xcite[isolation ] in the derived sequence @xmath386 the letters @xmath153 and @xmath155 always occur isolated preceded and followed by an @xmath151 . the letter @xmath151 always occurs either isolated ( i.e. preceded and followed by elements of @xmath387 ) or in the form @xmath388 . in particular , there is no occurrence of @xmath389 . the analogue statements hold for any natural number @xmath146 for the sequence @xmath382 ( with @xmath185 replaced by @xmath390 and @xmath391 ) .    in terms of information the derived sequences @xmath382 are as useful as the original sequence . we will base our subsequent investigations on the relatively simple properties of the derived sequence @xmath383 given in the preceding proposition . more information should be obtainable from a more detailed study of the derived sequences . the @xmath146-decomposition of @xmath171 gives a way of writing @xmath171 as a concatenation of the words @xmath180 and elements from @xmath384 . for example @xmath171 can be written as @xmath392 where we have put brackets around the @xmath393 . still , @xmath171 can contain further occurrences of @xmath394 as indicated in the preceding formula . more generally , it is not true that a @xmath180 occurring somewhere in @xmath171 is in fact one of the words @xmath180 appearing in the @xmath146-decomposition of @xmath171 . however , it turns out that whenever @xmath206 occurs in @xmath171 then both of its @xmath180 actually stem from the @xmath146-partition . in this sense , there is some form of alignment . this is the content of the next proposition @xcite . [ prop - alignment ] consider a natural number @xmath146 and @xmath395 . if @xmath396 occurs in @xmath171 at the position @xmath397 ( i.e. @xmath398 holds ) , then @xmath397 is of the form @xmath399 for some @xmath400 . this means that if @xmath401 occurs somewhere in @xmath171 then both of its words @xmath180 actually agree with blocks @xmath180 appearing in the @xmath146-decomposition @xmath402    if @xmath403 is a finite word in @xmath141 and @xmath35 is a prefix of @xmath403 and @xmath126 is a natural number we define the _ index of the word @xmath403 in @xmath404 _ by @xmath405 and denote it by @xmath406 . we then define the _ index of the word @xmath403 _ by @xmath407 as our subshift is minimal and aperiodic the index of every word can easily be seen to be finite . \(a ) for every @xmath408 the inequality @xmath409 holds . in particular , @xmath171 does not contain a fourth power . \(b ) we have @xmath410    _ remark . _ the supremum over all the indices is sometimes known as the critical exponent . a proof can be found in @xcite . here , we only sketch the idea . by lemma [ one - three - plus - block ] the word @xmath411 ( with @xmath412 ) belongs to @xmath141 . for each @xmath263 we then have @xmath413 and we infer that the index must be at least @xmath3 . thus , it suffices to show that @xmath171 does not contain a fourth power . to do so , it suffices to consider occurrences of powers of words @xmath403 in @xmath171 . for short words the statement can easily be checked . consider now the case @xmath414 for some @xmath262 . assume that @xmath415 occurs in @xmath141 . then , the proposition on alignment gives that the length of @xmath403 is given by @xmath416 . this then easily implies the desired statement . the proof of the theorem shows that the length of any word @xmath408 whose cube @xmath415 also belongs to @xmath141 is given by @xmath291 for some @xmath263 . in this section we present a result on the word complexity of @xmath141 . a detailed proof can be found in @xcite . we define the _ word complexity _ of the subshift @xmath142 as @xmath417    recall that a word @xmath418 is called _ right special _ if the set of its extensions @xmath419 has more than one element . \(a ) for any @xmath420 and @xmath421 with @xmath422 we have @xmath423    \(b ) the complexity function @xmath424 satisfies @xmath425 and then for any @xmath420 and @xmath421 with @xmath422 @xmath426    \(c ) consider @xmath420 and @xmath421 with @xmath422 .    * if @xmath427 , then there exist exactly two right special words of length @xmath428 . these are given by the suffix of @xmath180 of length @xmath428 ( which can be extended by @xmath185 ) and the suffix of @xmath429 of length @xmath428 ( which can be extended by @xmath430 and by @xmath431 ) . * if @xmath432 , then there exists exactly one right special words of length @xmath428 . this is given by the suffix of @xmath180 of length @xmath428 ( which can be extended by @xmath185 ) . the proof relies on a detailed investigation of the @xmath146-partition of @xmath171 . this allows one to directly determine all words of length @xmath433 in @xmath141 and this gives @xmath434 for all @xmath250 . at the same time the study of the @xmath146-partition allows one to obtain a lower bound on the difference @xmath435 for all @xmath436 . this in turn gives a lower bound on @xmath424 . combining the lower bound and the precise values we obtain the statements of the theorem .    as @xmath141 is closed under reflections by proposition [ prop - palindrome ] the above statements about right special words easily translate on corresponding statements about left special words . ( here , a word @xmath418 is called _ left special _ if the set @xmath437 has more than one element . ) this shows in particular that the words @xmath180 , @xmath250 , are both right special and left special ( and are the only words with this property ) .      in this section we present an automaton that generates the fixed point @xmath171 of the substitution @xmath140 . this is well in line with general theory on how to exhibit fixed points of substitutions by automata , see e.g. the monograph @xcite to which we also refer for background on automata . there are numerous applications of automatic sequences in group theory . for a recent example and a list of further reference we refer the reader to @xcite .    ] consider the automaton @xmath5 from figure [ automaton ] . it is an automaton over the alphabet @xmath438 with four states @xmath439 , which are labeled by @xmath440 respectively . then , the infinite sequence @xmath441 generated by the automaton with initial state @xmath442 is defined as follows : write @xmath250 in its binary expansion as @xmath443 with @xmath444 and @xmath445 , @xmath446 . consider now the path @xmath447 in the automaton starting in @xmath442 and following the sequence @xmath448 . then , @xmath449 is defined to be the label of the state where this path ends . the fixed point @xmath171 of @xmath140 agrees with @xmath450 ( where the fixed point is considered as a map from @xmath451 to @xmath452 ) . this theorem is an immediate consequence of the next proposition . to state the proposition we will need some further pieces of notation . for each @xmath250 and each state @xmath453 of the automaton we define @xmath454 to be the word over @xmath452 of length @xmath455 obtained in the following way : let @xmath456 be the list of all words of length @xmath146 over @xmath438 in lexicographic order ( where @xmath457 ) . consider now for each @xmath458 the path in the automaton starting at @xmath453 and following the word @xmath459 . then , the @xmath75-th letter of @xmath460 is defined to be the label of the state where this path ends . define the letters @xmath182 and recall the recursion formula @xmath461 with @xmath462 .    for each natural number @xmath146 and each @xmath463 we have @xmath464    this is proven by induction . the case @xmath465 follows by inspection . assume now that the statement is true for some @xmath466 and consider @xmath467 . then the lexicographic ordering of the words of length @xmath468 over @xmath438 is given by @xmath469 where @xmath470 is the lexicographic ordering of the words of length @xmath467 over @xmath438 . thus , from the rules of the automaton we obtain for each @xmath463 @xmath471 where we set @xmath472 . from our assumption for @xmath146 and the recursion we then find @xmath473 for each @xmath474 and this is the desired statement . the substitution @xmath140 arises naturally in the study of grigorchuk groups @xmath147 and its schreier graphs ( see below ) . from the point of view of subshifts it has the ( slight ) disadvantage of not being primitive . it turns out that it is possible to find a primitive substitution @xmath475 with the same fixed point - and hence the same subshift - as @xmath140 . this can then be used to obtain alternative proofs for the ( proven above ) linear repetitivity and pure discreteness of the spectrum . this is discussed at the end of this section . the material presented here was pointed out to us by fabien durand @xcite . consider the substitution @xmath476 on the alphabet @xmath452 with @xmath477 as any letter of the alphabet is contained in @xmath478 for any letter @xmath479 , this is a primitive substitution .    to relate it to @xmath140 we use ( again ) for @xmath250 the letters @xmath480 as well as the recursion formula @xmath481 with @xmath462 . for any natural number @xmath146 the equality @xmath482 holds . in particular , the fixed point @xmath171 of @xmath140 agrees with the fixed point of @xmath476 . this is shown by induction . the cases @xmath483 are easily checked by direct inspection . assume now that the statement is true for all integers up to some @xmath484 . then , we can compute @xmath485 by @xmath486 we then find @xmath487 from our assumption on @xmath146 we then infer @xmath488 successive application of the recursion formula and the fact that @xmath489 then give @xmath490 this is the desired statement . the subshift @xmath491 generated by the primitive substitution @xmath476 agrees with the subshift @xmath142 . as it is well known , see e.g. @xcite , that subshifts associated to primitive substitutions are linearly repetitive , an immediate consequence of the previous corollary is that @xmath142 is linearly repetitive . also , as @xmath476 has constant length ( i.e. the length of @xmath492 is the same for any letter @xmath493 ) and @xmath494 starts with @xmath162 for any letter @xmath493 we can apply a result of dekking @xcite to obtain purely discrete spectrum . in this section we recall some basic notions and concepts from the theory of graphs , dynamical systems , and schreier graphs . in the next section we will meet all these abstract concepts in the context of a particular group . here we first recall some terminology from the theory of graphs and introduce the topological space of ( isomorphism classes of ) rooted labeled graphs . let @xmath495 be a finite non - empty set together with an involution @xmath496 . graph with edges labeled by @xmath495 _ is a pair @xmath497 consisting of a set @xmath498 and a set @xmath499 such that @xmath500 belongs to @xmath501 if @xmath502 belongs to @xmath501 . the elements of @xmath498 are called vertices and the elements of @xmath501 are called edges . whenever @xmath503 is an edge , then @xmath154 is called the _ label _ , @xmath504 the _ origin _ and @xmath505 the _ terminal vertex _ of the edge . we say that _ there is an edge from the vertex @xmath35 the the vertex @xmath403 with label @xmath154 _ if @xmath500 belongs to @xmath501 . an edge @xmath506 is said to _ emanate _ from the vertex @xmath35 if @xmath507 . the number of edges emanating from a vertex is called the _ degree _ of the vertex . an edge of the form @xmath508 is called a _ loop _ at @xmath35 ( with label @xmath154 ) . we will a need the _ combinatorial distance _ on a graph given as follows . each vertex has distance @xmath509 to itself . the distance between different vertices @xmath35 and @xmath403 is one if and only if there exists a label @xmath154 such that @xmath500 belongs to @xmath501 . more generally the distance between different vertices @xmath35 and @xmath403 is then defined inductively as the smallest natural number @xmath146 such that there exists a vertex @xmath510 with distance @xmath511 to @xmath35 and distance one to @xmath403 . if no such @xmath146 exists the combinatorial distance is defined to be @xmath166 . the graph is called _ connected _ if the distance between any two if its vertices is finite . likewise the _ connected component _ of a vertex is the set of all vertices with finite distance to it . a _ ray _ in an infinite graph is an infinite sequence @xmath512 of pairwise different vertices with distance one between consecutive vertices . two rays are equivalent if there exists a third ray containing infinitely many vertices of each of the rays . an equivalence class of rays is called an _ end _ of the graph . for example finite graphs have @xmath509 ends , the cayley graphs of @xmath11 , @xmath513 and @xmath514 ( the free group on two letters ) have @xmath515 and infinitely many ends , respectively . in general the cayley graph of a group may have @xmath516 or infinitely many ends . a _ rooted graph _ is a pair consisting of a graph and a vertex belonging to the vertex set of the graph . this vertex is then called the _ root_.    two rooted graphs @xmath517 and @xmath518 labeled by the same set @xmath495 are called isomorphic if there exists a bijective map @xmath519 from the vertices of @xmath520 to the vertices of @xmath521 taking @xmath522 to @xmath523 such that the vertices @xmath151 and @xmath153 in @xmath520 are connected by an edge of color @xmath154 if and only if their images in @xmath524 are connected by an edge of color @xmath154 . in this case we write @xmath525 . let us now consider the set @xmath526 of isomorphism classes of connected rooted graphs labeled with elements from @xmath495 that we endow with the following natural metric . the distance between the isomorphism classes of the two rooted graphs @xmath527 and @xmath528 is then defined as @xmath529,[(y_2,v_2)]):=\inf\left\{\frac{1}{r+1 } : b_{y_1}(v_1,r ) \cong b_{y_2}(v_2,r ) \right\}\ ] ] where @xmath530 is the ( labeled ) ball of radius @xmath531 centered in @xmath35 in the combinatorial metric on @xmath266 . if we only consider graphs of uniformly bounded degree ( as we will in this paper ) , the space @xmath532 is compact . we now turn to dynamical systems . whenever the group @xmath533 acts on the compact space @xmath266 via the continuous map @xmath534 we call @xmath535 a _ dynamical system_. we will mostly suppress the @xmath536 in the notation . in particular , we will write @xmath537 instead of @xmath538 and we will write @xmath539 for @xmath540 ( with @xmath272 and @xmath541 ) . if @xmath533 is the infinite cyclic group @xmath11 , then the action of @xmath533 on @xmath266 is determined by @xmath542 and we then just write @xmath543 instead of @xmath544 ( and this is well in line with the notation used in the previous sections ) .    whenever a dynamical system @xmath537 and @xmath272 is given we call @xmath545 the _ orbit of @xmath153 ( under h)_.    the dynamical system @xmath537 is _ minimal _ if every orbit is dense in @xmath266 . the dynamical system @xmath537 is called _ uniquely ergodic _ if there exists exactly one @xmath533-invariant probability measure on @xmath266 . the dynamical system @xmath537 is called a _ factor _ of the dynamical system @xmath546 if there exist a continuous surjective map @xmath547 with @xmath548 for all @xmath541 and @xmath549 . this map @xmath550 is then called _ factor map_. the dynamical system @xmath537 is then also referred to as _ extension _ of the dynamical system @xmath546 .    we will deal with graphs arising from dynamical systems . more specifically , consider a group @xmath533 generated by a symmetric finite set @xmath43 and assume that @xmath533 acts on the compact space @xmath266 . then any point @xmath272 gives rise to the _ orbital schreier graph of @xmath153 _ denoted by @xmath551 . this is a rooted graph labeled by @xmath43 , which is equipped with the involution @xmath552 . the set of vertices of @xmath551 is given by the points in the orbit of @xmath153 . the root is given by @xmath153 and rhere is an edge from @xmath35 to @xmath403 with label @xmath553 if @xmath554 . note that by the required symmetry of @xmath43 we then have also an edge from @xmath403 to @xmath35 with label @xmath555 ( as is needed according to our definition of a labeled graph ) .    as an example we note the cayley graph of a group @xmath147 with generating set @xmath43 . this cayley graph ( with the neutral element of @xmath147 as the root ) is the orbital schreier graph of @xmath147 corresponding to the action of @xmath147 on itself via left multiplication . if the elements of @xmath43 happen to all be involutions then there will be an edge of label @xmath479 from @xmath35 to @xmath403 if and only if there is an edge of label @xmath479 from @xmath403 to @xmath35 . this is the situation we will encounter in the next section . in this section we introduce the main object of our interest : the first group of intermediate growth @xmath147 and the laplacians on the associated schreier graphs . the group @xmath147 is the first group with intermediate word growth and was introduced by the first author in @xcite . by now it is generally known as grigorchuk s group @xmath147 and this is how we will refer to it . it is generated by four involutions @xmath556 . with notation to be introduced presently , the group @xmath147 can be viewed as a group acting by automorphisms on the full infinite binary tree @xmath557 . the action extends by continuity to an action by homeomorphisms on the boundary @xmath558 . the action of @xmath147 gives rise to schreier graphs    the schreier graphs arising from actions of automorphism groups of infinite regular rooted trees have attracted substantial attention in recent years @xcite . of particular interest are so - called self - similar groups ( as @xmath147 ) whose action reflect the self - similar structure of the tree . their schreier graphs also have self - similarity features . some are closely related to julia sets @xcite , others are fractal sets close to e.g. the sierpinski gasket or the apollonian gasket @xcite . the spectra of the laplacians on such graphs have been described in some cases @xcite . the spectrum can be a union of intervals @xcite , a cantor set @xcite , or a union of a cantor set together with an infinite set of isolated points that accumulate to it , as in the case of the so - called hanoi tower group @xcite . these investigations all use the method introduced in @xcite . here we study the spectra of the laplacians on the schreier graphs by a different method via the connection to aperiodic order . this allows us to determine the spectral type of the laplacians for arbitrary choice of weights on the generators of the group . we thus obtain one of the rare examples where we understand how the spectrum of the laplacian depends on the weights . in general this dependence is very poorly understood , as well as the dependence of the spectrum on the generating set in the group . let us mention here a recent result of grabowski and virag who show in @xcite that there is a weighted laplacian on the lamplighter group that has singular continous spectrum , whereas the unweighted laplacian on the same generators is known to have pure point spectrum @xcite . let us denote by @xmath559 , @xmath560 with @xmath561 , the _ rooted regular tree of degree _ @xmath453 . the vertex set of @xmath559 is given by @xmath562 , i.e. the set of all words over the alphabet @xmath563 . the root of @xmath559 is the empty word . there is an edge between @xmath35 and @xmath403 whenever @xmath564 or @xmath565 holds for some @xmath566 . the words @xmath567 constitute the _ @xmath146-the level _ of the tree . ( in the tree , they are at combinatorial distance exactly @xmath146 from the root . )    the boundary @xmath568 of @xmath559 consisting of infinite geodesic rays in @xmath559 emanating from the root ( i.e. infinite paths starting in the root all of whose edges are pairwise different ) can then be identified with the set @xmath569 of one - sided infinite words over @xmath570 . as mentioned above , the set @xmath571 is equipped with the product topology and is thus a compact space homeomorphic to the cantor set . any automorphism of @xmath559 necessarily preserves the root ( which is the only vertex with degree @xmath453 ) and maps paths starting in the root to paths starting in the root . this readily implies that any automorphisms group action on @xmath559 is level preserving , i.e. maps words of length @xmath146 to words of length @xmath146 . any such action then extends to an action of the same group by homeomorphisms on the boundary @xmath568 . a regular rooted tree is a self - similar object . indeed , the subtree rooted at an arbitrary vertex of the tree is isomorphic to the whole tree @xmath559 . the full group of automorphisms inherits this self - similarity property in the following sense : any automorphism of @xmath559 is completely determined by the permutation it induces on the @xmath453 branches growing from the root ( an element of @xmath572 ) and the collection of @xmath453 automorphisms @xmath573 which coincide with the restrictions of @xmath574 on the corresponding branches . however , if one is interested in a subgroup @xmath575 and wants it to be self - similar , one has to impose the condition that all the restrictions @xmath573 are again elements of the same group @xmath533 , so that every @xmath576 can be represented as @xmath577 where @xmath536 belongs to @xmath578 and describes the action of @xmath574 on the first level of @xmath559 and @xmath579 is the restriction of @xmath574 on the full subtree of @xmath559 rooted at the vertex @xmath580 of the first level of @xmath559 . this leads to the following definition . [ defiselfsimilar ] a group @xmath533 of automorphisms of @xmath559 is _ self - similar _ if , for all @xmath581 , there exist @xmath582 such that @xmath583 for all finite words @xmath403 over the alphabet @xmath563 . we refer the interested reader to @xcite for more information about self - similar groups . we now turn our attention to one particular example of a self - similar group that will be the central object of our study , the grigorchuk group @xmath147 . it is generated by four automorphisms @xmath556 of the rooted binary tree @xmath584 as follows :    * @xmath585 , @xmath586 * @xmath587 , @xmath588 * @xmath589 , @xmath590 * @xmath591 , @xmath592    for an arbitrary word @xmath403 over @xmath438 . these automorphisms can also be expressed in the self - similar form , as above : @xmath593 where @xmath506 and @xmath594 are , respectively , the trivial and the non - trivial permutations in the group @xmath595 . observe that all the generators are involutions and that @xmath596 commute and constitute a group isomorphic to the klein group @xmath597 . let as also mention that there are many more relations and the group is not finitely presented . for our subsequent discussion it will be important that @xmath147 acts _ transitively _ on each level , i.e. for arbitrary words @xmath598 over @xmath438 with the same length there exists a @xmath599 with @xmath600 . the action of @xmath147 on the set @xmath602 of vertices of the rooted binary tree and on its boundary @xmath603 induces on this set the structure of a graph labeled with @xmath604 . specifically , the vertex set of this graph is given by @xmath605 and there is an edge with label @xmath606 and origin @xmath35 and terminal vertex @xmath403 if and only if @xmath607 holds . note that the set of arising edges has indeed the symmetry property required in our definition of a labeled graph as any @xmath608 is an involution . for the first three levels of the tree the resulting graphs are shown in figure [ schreier - finite ] . the connected components of this graph correspond to the orbits of the group action . thus , the rooted graphs consisting of such a connected component together with a root are orbital schreier graphs ( in the sense defined above ) . there are two kind of such connected components viz finite and infinite components . the finite ones correspond to the levels of the tree ( recall that the action of @xmath147 on the levels of the tree is transitive ) . we will refer to them simply as _ schreier graphs_. the infinite ones correspond to the orbits of the action on the boundary . the corresponding rooted graphs will be referred to as _ orbital schreier graphs_.        we will need the isomorphism classes of schreier graphs and introduce therefore the map @xmath609,\ ] ] where @xmath610 is the connected component of @xmath35 .    the graphs @xmath611 and @xmath610 coincide ( as non - rooted graphs ) whenever @xmath35 and @xmath403 are in the same orbit of the action of @xmath147 . in particular , as @xmath147 acts transitively on each level of the tree , for @xmath263 we can therefore define @xmath612 which coincides with @xmath611 for all @xmath613 with @xmath614 . in general , the graph @xmath615 has a linear shape ; it has @xmath616 simple edges , all labeled by @xmath162 , and @xmath617 cycles of length 2 whose edges are labeled by @xmath618 . it is regular of degree 4 , with one loop at each edge . the loop contributes 1 to the degree of the vertex because all generators are elements of order 2 , and the labeling of the loop is uniquely determined by the labeling of the other edges around the vertex , as edges around one vertex are labeled by @xmath150 . the graphs @xmath619 , @xmath620 corresponding to the action of @xmath147 on the boundary are infinite and have either two ends or one end . the graph @xmath621 corresponding to the orbit of the rightmost infinite ray , is one - ended ( see figure [ one - ended ] ) , and so are then all graphs in the same orbit .    . ] all the other graphs @xmath622 , are two - ended . they are all isomorphic as unlabeled graphs .    in @xcite , vorobets studied the closure @xmath623 of the space of schreier graphs in the space of isomorphism classes of rooted labeled graphs . we recall some of his results next . he showed that the one - ended graphs are exactly the isolated points of this closure @xmath623 , and that the other points in @xmath624 are two ended graphs . this suggests to consider the compact set @xmath625 the group @xmath147 acts on @xmath626 by changing the root of the graph . the arising dynamical system is denoted as @xmath601 . it is minimal and uniquely ergodic and its invariant probability measure will be denoted as @xmath627 . a precise description of @xmath626 can be given as follows . the space @xmath626 consists of all isomorphism classes of two - ended rooted schreier graphs @xmath628 and of three additional countable families of isomorphism classes of two - ended graphs . these families are obtained by gluing two copies of the one - ended graph @xmath629 , at the root in three possible ways corresponding to choosing a pair @xmath630 , @xmath631 or @xmath632 and then choosing an arbitrary vertex of the arising graph as the root . one of these three possibilities is shown in figure [ connecting - two - copies ] . there , the chosen pair is @xmath632 and to avoid confusion with other edges with the same labels , labels at the gluing point are denoted with a prime .    ]    the decomposition of @xmath626 into isomorphism classes of the @xmath633 and the three families mentioned above gives immediately rise to a factor map @xmath634 which is one - to - one except in a countable set of points , where it is three - to - one . in fact , the inverse map @xmath635 exists on the complement @xmath636 of the orbit of the point @xmath637 and agrees there with @xmath638 .    under this factor map @xmath639 the unique @xmath147-invariant probability measure @xmath627 on @xmath626 is mapped to the uniform bernoulli measure @xmath133 on @xmath640 . whenever a group @xmath533 acts on a measure space @xmath641 by measure preserving transformations , one obtains the _ koopman representation _ @xmath642 of @xmath533 on @xmath643 via @xmath644 ( for @xmath645 ) . any @xmath646 is then a unitary operator ( as the action is measure preserving ) . in our situation when @xmath647 , we have moreover that for @xmath608 the unitary operator @xmath648 is its own inverse ( as @xmath479 is an involution ) and hence must be selfadjoint . in particular , for any set of parameters @xmath649 we obtain a selfadjoint operator @xmath650    consider first an arbitrary @xmath620 . then , there is an action of @xmath147 on the ( countable ) vertex set of @xmath651 of @xmath619 . specifically , @xmath652 maps the vertex @xmath653 to the vertex @xmath654 , which is the unique vertex of @xmath655 connected to @xmath35 by an edge of label @xmath479 . clearly , this action preserves the counting measure on @xmath651 . thus , we obtain a representation @xmath656 of @xmath147 on @xmath657 . an operator @xmath658 defined by @xmath659 with @xmath620 and @xmath649 will be called _ ( weighted ) laplacian of the schreier graph _ @xmath619 . * it is possible to understand @xmath651 as @xmath660 , where @xmath661 is the stabilizer of @xmath475 in the action of @xmath147 on @xmath558 , and then @xmath656 is the quasi - regular representation @xmath662 associated to @xmath660 . * if @xmath663 are positive with @xmath664 then it is possible to interpret the operators @xmath665 as the markov operators of a random walk on the graph @xmath619 . in the general case , the operator @xmath666 can still be seen as the natural weighted adjacency matrix or laplacian associated to the the graph @xmath619 . we can also equip @xmath667 with the uniform bernoulli measure @xmath133 and consider the koopman representation @xmath668 of @xmath147 on @xmath669 given via @xmath670 this is a unitary representation of @xmath147 and any @xmath671 , @xmath672 , is a unitary selfadjoint involution . for @xmath673 we then obtain the operator @xmath674 via @xmath675    the following is a crucial result on the spectral theory of the above operators . [ constancy - bg ] for any given set of parameters @xmath649 the spectrum of @xmath666 does not depend on @xmath676 and coincides with the spectrum of @xmath677 .    of course , there is the question what the spectrum is in terms of the parameters @xmath663 . a complete answer was given in @xcite in the case @xmath678 . the spectrum then consists of two points or one or two intervals , and an explicit description of the spectrum can be given in terms of the parameters@xmath679 and @xmath680 . in fact , the case @xmath680 is the case of periodic schrdinger type operators and can easily be treated by classical means ( floquet decomposition ) . it can also be treated by the method suggested in @xcite . for related results on the kesten - von - neummann - serre trace we refer to @xcite . below we will come to a main result of @xcite which treats the case , where @xmath680 does not hold . we will see that in this case , the spectrum is a cantor set of lebesgue measure zero . we will now provide a map @xmath681 from @xmath186 to ( isomorphism classes of ) labeled rooted graphs with labels belonging to the alphabet @xmath150 . in order to get a better understanding of this map it will be useful to think of the letters @xmath185 as encoding the pairs @xmath682 respectively . roughly speaking the map will convert @xmath224 into a graph with vertex set @xmath11 and root @xmath4 and edges between @xmath146 and @xmath467 with labels from @xmath150 according to the value of @xmath683 . we now provide the precise * definition of the labeled rooted graph @xmath684 * associated to @xmath239 as follows :    _ vertices : _ the set of vertices is @xmath11 .    _ root : _ the number @xmath4 is chosen as the root . _ edges : _ there are edges between vertices @xmath685 if an only if @xmath686 . specifically , edges are assigned between @xmath146 and @xmath467 and from @xmath146 to itself and from @xmath467 to itself in the following way :    * if @xmath687 , then there is an edge between @xmath146 and @xmath467 and this edge carries the label @xmath162 . * if @xmath688 , then there are two edges between @xmath146 and @xmath467 ; one carries the label @xmath154 and the other carries the label @xmath152 . moreover , there is an additional edge from @xmath146 to itself labeled with @xmath156 and an additional edge from @xmath467 to itself labeled with @xmath156 . * if @xmath689 , then there are two edges between @xmath146 and @xmath467 ; one carries the label @xmath154 and the other carries the label @xmath156 . moreover , there is an additional edge from @xmath146 to itself labeled with @xmath152 and an additional edge from @xmath467 to itself labeled with @xmath152 . * if @xmath690 , then there are two edges between @xmath146 and @xmath467 ; one carries the label @xmath152 and the other carries the label @xmath156 . moreover , there is an additional edge from @xmath146 to itself labeled with @xmath154 and an additional edge from @xmath467 to itself labeled with @xmath154 . we note that in this way any vertex has for each label @xmath150 exactly one edge of this color emanating from it . we also note that the arising graphs have a linear structure in a natural sense . let @xmath691 be the metric space of isomorphism classes of connected rooted graphs labeled with elements from @xmath150 . then , @xmath681 gives rise to a map @xmath692 via @xmath693,\ ] ] where @xmath694 $ ] is the equivalence class of @xmath695 in the space of isomorphism classes of the rooted connected labeled graphs . recall that @xmath626 denotes the closure of @xmath696 in @xmath697 without its isolated points ( see section [ section - schreier ] ) . then , it turns out that the image of @xmath186 under @xmath692 is exactly @xmath626 . in fact , much more is true and this is our main result on the connection of the subshift @xmath142 and the dynamical system @xmath601 . define the maps @xmath698 from @xmath186 into itself by    * @xmath699 if @xmath700 and @xmath701 if @xmath702 . * @xmath703 if @xmath704 , @xmath705 if @xmath706 and @xmath707 in all other cases . * @xmath708 if @xmath709 , @xmath710 if @xmath711 and @xmath712 in all other cases . * @xmath713 if @xmath714 , @xmath715 if @xmath716 and @xmath717 in all other cases .    then , clearly , @xmath698 are homeomorphisms and involutions . let @xmath533 be the group generated by @xmath698 ( within the group of homeomorphisms of @xmath186 ) . [ main - connection ] the following statements hold :    \(a ) the group @xmath147 is isomorphic to the group @xmath533 via @xmath718 with @xmath719 , @xmath720 , @xmath721 and @xmath722 . in particular , there is a well defined action @xmath536 of @xmath147 on @xmath186 given by @xmath723 for @xmath599 and @xmath724 and via this action we obtain a dynamical system @xmath725 . \(b ) the dynamical system @xmath601 is a factor of the dynamical system @xmath725 with factor map @xmath726 which is two - to - one . \(c ) for every @xmath177 the orbits @xmath727 and @xmath728 coincide . \(d ) the dynamical system @xmath725 is uniquely ergodic and the unique @xmath44-invariant probability measure on @xmath186 coincides with the unique @xmath147-invariant probability measure on @xmath186 . the theorem provides a factor map @xmath729 . in section [ section - schreier ] we have already encountered the factor map @xmath730 . putting together these factor maps provide a tower of extensions of the dynamical system @xmath731 via @xmath732 the remainder of this section is devoted to providing additional perspective on these two factor maps by discussing their respective merits . we will see that @xmath639 resolves the non - typical points and that @xmath733 allows one to embed the group @xmath147 into a topological full group . we will need a bit of notation first . let @xmath537 be a dynamical system . let @xmath576 be given . then , an @xmath272 is called _ @xmath574-typical _ if either @xmath734 or @xmath574 acts trivially in some neighborhood of @xmath153 . if @xmath272 is @xmath574-typical for any @xmath735 it is called _ typical_. typical points have many claims to be indeed typical . for instance , if @xmath533 is countable the set of typical points has a meager complement @xcite . moreover , the following is shown in @xcite . let @xmath537 be a minimal dynamical system and @xmath533 finitely generated . then , the schreier graphs of typical points are locally isomorphic ( as labeled graphs ) . moreover , if @xmath736 is typical and @xmath272 is not typical , then any ball around a vertex of @xmath737 is isomorphic to a ball around some vertex in @xmath551 .    in order to get a further understanding of the typical points we will next discuss another characterization of typical points . define the _ stabilizer _ of @xmath153 as @xmath738 and the _ neighborhood stabilizer _ of @xmath153 as @xmath739 then , @xmath740 is a normal subgroup of @xmath741 and the quotient @xmath742 is called the _ group of germs _ ( at @xmath153 ) . let @xmath537 be a dynamical system . then , the following assertions are equivalent for @xmath272 .    * the point @xmath153 is typical . * the group of germs @xmath743 is trivial . ( i)@xmath744 ( ii ) : if @xmath745 is not trivial , there exits a @xmath746 . hence , @xmath153 is not typical . ( ii)@xmath744 ( i ) : if @xmath153 is not typical then there exists a @xmath599 with @xmath747 but @xmath574 is not the identity on a neighborhood of @xmath153 . thus , @xmath743 is not trivial ( as it contains the class of @xmath574 ) . the points @xmath153 with non - trivial @xmath745 are sometimes called _ singular_.    we will also need the concept , going back to @xcite , of the ( topological ) _ full group _ @xmath748 $ ] of a homeomorphism @xmath749 of the cantor set @xmath266 . this is the group of those homeomorphisms of @xmath266 that at any point coincide locally with powers of t. it is a countable group with remarkable properties . for example it is amenable if @xmath44 is minimal @xcite , its commutator subgroup is simple @xcite and it is finitely generated if and only if @xmath44 is a minimal subshift over a finite alphabet @xcite .    after these preparations we can now came back to the situation at hand . the dynamical system @xmath731 is minimal and uniquely ergodic . however , it does have non - typical points . in fact , a point in @xmath750 is non - typical if and only if it belongs to @xmath751 ( see @xcite ) . the dynamical system @xmath601 is minimal and uniquely ergodic ( as discussed in @xcite ) . moreover , all its points are typical ( as can easily be seen ) . thus , from this point of view a key merit of @xmath601 is to provide an extension of of @xmath731 which resolves the non - typical points . the dynamical system @xmath725 is minimal and uniquely ergodic and all its points are typical ( as can easily be seen ) . moreover , as shown in the previous theorem , the dynamical system @xmath725 has the additional feature that there exists a homeomorphism @xmath44 on @xmath186 such that the orbits of @xmath44 agree with the orbits of @xmath147 . this in turn can be seen to imply that @xmath147 is a subgroup of the topological full group @xmath752 $ ] of @xmath44 . in fact , @xmath147 embeds into the topological full group of @xmath753 , as the action of generators @xmath556 on @xmath754 can be represented locally as the action by @xmath755 and @xmath756 , so @xmath147 embeds into @xmath748 $ ] . [ connection - bon ] in this context we also mention a recent article of matte bon @xcite showing that the group @xmath147 ( and other groups of intermediate growth introduced by the first author in @xcite ) embed into the topological full group @xmath757 $ ] of a minimal subshift @xmath639 over a finite alphabet . while his approach is different from ours it leads to the the same subshift for the group @xmath147 . we finish this section with the question whether there exists a minimal homeomorphism @xmath43 on @xmath626 such that @xmath147 is a subgroup of @xmath758 $ ] . in this section we discuss spectral theory of the operators @xmath666 ( defined in section [ operators ] ) for arbitrary values of the parameters @xmath663 . we do so by using the results of the previous section to transfer the problem of spectral theory of the operators @xmath666 , @xmath760 , to the field of the spectral theory of discrete schrdinger operators with aperiodic order , @xmath761 . we consider the subshift @xmath142 . in order to define the schrdinger operators we will define specific functions @xmath128 on @xmath186 depending on four real parameters @xmath663 . given these parameters we set    @xmath762 and define @xmath763 and @xmath764    for a given @xmath765 and these @xmath128 we let @xmath48 , @xmath239 , be the associated operators . @xcite[unitary - equivalence ] let @xmath766 be given . let @xmath767 be arbitrary . then , there exists an @xmath1 in @xmath186 such that @xmath48 is unitarily equivalent to @xmath666 .    as a consequence of the previous proposition we can translate results on the spectral theory of schrdinger operators associated to @xmath142 into results on the @xmath665 . recall that the spectrum of the @xmath666 does not depend on @xmath768 ( due to theorem [ constancy - bg ] ) . define @xmath769    [ main - laplacian - cantor ] let @xmath770 be given and let @xmath771 be the spectrum of the associated family of laplacians @xmath666 , @xmath772 . then , the following holds :    \(a ) if @xmath773 holds then @xmath72 consists of one or two closed non - trivial intervals and all spectral measures are absolutely continuous . \(b ) if @xmath680 does not hold then @xmath72 is a cantor set of lebesgue measure zero and no spectral measure is absolutely continuous . note that @xmath142 is linearly repetitive due to theorem [ theorem - tau - linear - repetitive ] . now , the theorem is a direct consequence of the preceding proposition and theorem [ theorem - periodic - abstract ] and theorem [ theorem - aperiodic - abstract ] . the case @xmath680 has already be treated in @xcite and an explicit description of the spectrum ( in terms of the value of @xmath774 ) has been given there . we can also use the above considerations to translate results on absence of eigenvalues from the @xmath74 to the @xmath665 . recall that @xmath133 denotes the uniform bernoulli measure on @xmath775 . [ main - laplacian - absence - eigenvalues ] let @xmath770 be given and assume that @xmath680 does not hold . \(a ) for @xmath133-almost every @xmath620 the operator @xmath665 does not have eigenvalues . \(b ) for any @xmath776 the operator @xmath777 does not have eigenvalues . the considerations of this section are concerned with the case @xmath778 . for @xmath779 the operators in question can be decomposed as a sum of finitely many different finite dimensional operators each appearing with infinite multiplicity . thus , the spectrum is pure point with finitely many eigenvalues each with infinite multiplicity . in this section we show that the kesten - von - neumann - serre spectral measure actually agrees with the integrated density of states . this result is folklore and certainly known to experts . also , a recent discussion of a somewhat more general setting can also be found in @xcite . here , we give a direct reasoning for the case at hand based on our approach . there is one more representation studied in the context of spectral approximation . this representation comes from the action of @xmath147 on the @xmath146-th level of the tree . this action clearly preserves the counting measure on the finite set of vertices of the @xmath146-th level . it hence gives rise to a representation @xmath780 of @xmath147 on the finite dimensional @xmath781 . for @xmath673 we then set @xmath782    to each such @xmath783 we associate the _ spectral distribution _ which is the measure @xmath784 on @xmath61 given by @xmath785 where the sum runs over eigenvalues @xmath501 of @xmath783 counted with multiplicities . in the case @xmath678 it is shown in @xcite that the measures @xmath786 , @xmath263 , converge weakly and the limiting measure @xmath787 is called the _ kesten - von - neumann - serre spectral measure _ there . next we will show that the limiting measure exists for any values of the parameters @xmath663 and coincides with the so - called _ integrated density of states _ of the associated schrdinger operators . [ ids - equal - kvns - trace ] let @xmath788 be given . for @xmath263 , let @xmath783 be the corresponding operator on @xmath789 and @xmath786 its spectral distribution . then , the sequence of measures @xmath790 converges weakly towards the integrated density of states @xmath75 of @xmath74 . in particular , the integrated density of states of the @xmath74 agrees with the kesten - von - neumann - serre spectral measure . the graph arising from restricting @xmath791 to the vertex set @xmath792 $ ] and the graph @xmath789 differ at most in @xmath793 loops at the ends ( as is clear from the definitions ) . thus , a simple variant of the argument in proposition [ unitary - equivalence ] shows that the restriction of the operator @xmath794 to @xmath792 $ ] is a perturbation of @xmath783 of rank at most @xmath793 . now , corollary [ perturbation - ids ] gives the convergence of the @xmath795 towards the integrated density of states of @xmath74 . * denote the @xmath475-independent spectrum of the operators @xmath796 by @xmath797 and the spectrum of @xmath798 by @xmath799 . clearly , the support of @xmath786 is given by @xmath799 . by theorem [ theorem - support - and - atomfree ] support of the integrated density of states @xmath75 is given by @xmath797 . thus , the previous theorem gives in a certain and very weak sense the convergence of the @xmath799 towards @xmath797 . in particular , there is an inclusion of spectra as shown in corollary [ cor - inclusion ] . + in the case at hand , however , convergence of the @xmath800 towards @xmath797 holds in a much stronger sense . more precisely , the results of @xcite give the following : * * @xmath801 for all @xmath263 . * * @xmath802 . + these are rather remarkable features and not at all true for approximation of the integrated density of states of schrdinger operators in other cases . + let us note , however , that there are recent results on approximation of spectra of minimal subshifts with respect to the hausdorff distance by suitable periodic approximations @xcite . * it is also worth pointing out that the approximation of the spectra is done from below i.e. via unions . this is in contrast to other approximation schemes used in the investigations of schrdinger operators , where the approximation is done from above i.e. via intersections . * the feature presented in the preceding two points also explain that the spectrum of @xmath677 agrees with @xmath803 . the reason is simply that the representation @xmath668 decomposes as a sum of the representations @xmath260 ( as shown in @xcite ) . accordingly , @xmath677 is a sum of the finite dimensional operators @xmath783 , @xmath243 , and its spectrum is then given as the closure of the union of the spectra of the @xmath798 . l.  bartholdi and r.  i.  grigorchuk : _ on the spectrum of hecke type operators related to some fractal groups _ , steklova * 231 * ( 2000 ) , din . gruppy , 545 ; translation in _ proc . steklov inst . _ ( 2000 ) , no . 4 ( * 231 * ) , 141 . l.  bartholdi , r.  i.  grigorchuk and v.  nekrashevych : _ from fractal groups to fractal sets _ in : fractals in graz ( p. grabner and w. woess editors ) , trends in mathematics , birkuser verlag , basel , 2003 , 25118 . r.  i.  grigorchuk : _ some problems of the dynamics of group actions on rooted trees ( russian ) _ , tr . mat . steklova * 273 * ( 2011 ) , sovremennye problemy matematiki , 72191 ; translation in proc . * 273 * ( 2011 ) , 64175 . r.  i.  grigorchuk , ya . s.  krylyuk : _ the spectral measure of the markov operator related to 3-generated 2-group of intermediate growth and its jacobi parameters _ , algebra discrete math . * 13 * ( 2012 ) , 237272 .
Abstract:

Answer: there is a recently discovered connection between the spectral theory of schr - dinger operators whose potentials exhibit aperiodic order and that of laplacians associated with actions of groups on regular rooted trees , as grigorchuk s group of intermediate growth . we give an overview of corresponding results , such as different spectral types in the isotropic and anisotropic cases , including cantor spectrum of lebesgue measure zero and absence of eigenvalues . moreover , we discuss the relevant background as well as the combinatorial and dynamical tools that allow one to establish the afore - mentioned connection . the main such tool is the subshift associated to a substitution over a finite alphabet that defines the group algebraically via a recursive presentation by generators and relators . = 0,4 mm = 16.00 cm = 22.00 cm = 0.12 in = 0.12 in