it is well known that if @xmath3 is a self - similar measure arising from an ifs satisfying the open set condition , then the set of local dimensions of the measure is a closed interval whose endpoints are easily computed .
further , the hausdorff dimension of the set of points whose local dimension is a given value can be determined using the legendre transform of the @xmath4-spectrum of the measure .
this is known as the multifractal formalism and we refer the reader to @xcite for more details .    for measures that do not satisfy the open set condition ,
the multifractal analysis is more complicated and , in general , much more poorly understood . in @xcite , hu and
lau discovered that the @xmath5-fold convolution of the classical middle - third cantor measure fails the multifractal formalism as there is an isolated point in the set of local dimensions .
subsequently , in @xcite further examples of this phenomena were explored and it was shown , for example , that there is always an isolated point in the set of local dimensions of the @xmath0-fold convolution of the cantor measure associated with a cantor set with ratio of dissection @xmath6 when the integer @xmath2 .
more recently , it was proven in @xcite that continuous measures satisfying a weak technical condition have the property that a suitably large convolution power admits an isolated point in its set of local dimensions .    in @xcite , ngai and
wang introduced the notion of finite type ( see section 2 for the definition ) .
this property is stronger than the weak separation condition introduced in @xcite , but is satisfied by many self - similar measures which fail to possess the open set condition .
examples include bernoulli convolutions , @xmath7 , with contraction factor @xmath8 equal to the reciprocal of a pisot number @xcite and the cantor - like measures mentioned above .
building on earlier work ( c.f . , @xcite ) ,
feng undertook a study of equicontractive , self - similar measures of finite type in @xcite .
his main results were for bernoulli convolutions .
in particular , he proved that despite the failure of the open set condition , the multifractal formalism still holds for the bernoulli convolutions whose contraction factor was the reciprocal of a simple pisot number ( meaning , a pisot number whose minimal polynomial is of the form @xmath9 ) .
a particularly interesting example is when the contraction factor is the golden ratio with minimal polynomial @xmath10 ( also called the golden mean ) .    in this  paper
we study the local dimension theory of equicontractive , self - similar measures @xmath3 of finite type , whose support is a compact interval and for which the underlying probabilities are regular .
we first give a simple formula for the value of the local dimension of @xmath3 at any `` periodic '' point of its support .
the finite type condition leads naturally to a combinatorial notion we call a `` loop class '' . for a `` positive '' loop class
we prove that the set of attainable local dimensions of the measure is a closed interval and that the set of local dimensions at periodic points in the loop class is a dense subset of this interval .
these self - similar measures have a distinguished positive loop class that is called the essential class .
thus the set of attainable local dimensions is the union of a closed interval together with the local dimensions at points in loop classes external to the essential class .
we will say that a point is an essential point if it is in the essential class .
the set of essential points has full lebesgue measure on the support of the measure and in many interesting examples the set of essential points is the interior of the support of the measure .
this is the case with many bernoulli convolutions , @xmath7 , including when @xmath11 is the golden ratio ( c.f .
section [ ex : other pisot ] ) , and with the @xmath0-fold convolution of the cantor measure on a cantor set with ratio of dissection @xmath1 when @xmath12 ( see section [ sec : cantor ] ) .
when the essential set is the interior of the support of the measure @xmath13 then @xmath3 has no isolated point in its set of attainable local dimensions if and only if @xmath14 coincides with the local dimension of @xmath3 at an essential point . in that case
, the set of attainable local dimensions of @xmath15 is a closed interval .
the bernoulli convolution @xmath7 , with @xmath16 a simple pisot number has this property .
however , we construct other examples of bernoulli convolutions ( with contraction factor a pisot inverse ) which do have an isolated point in their set of attainable local dimensions ( see subsection [ bcisolatedpt ] ) .
as far as we are aware , these are the first examples of bernoulli convolutions known to admit an isolated point .
we also construct a cantor - like measure of finite type , whose set of local dimensions consists of ( precisely ) two distinct points ( see example [ ex : isolated points ] ) . in all of these examples ,
the essential set is the interior of the support of the measure .
the convolution square of the bernoulli convolution , @xmath7 , with @xmath16 the golden ratio , is another example of a self - similar measure to which our theory applies .
it , too , has exactly one isolated point in its set of attainable local dimensions , although in this case the set of non - essential points is countably infinite ( see subsection [ ssec : golden square ] ) .
the computer was used to help obtain some of these results . in principle , the techniques could be applied to other convolutions of bernoulli convolutions and other measures of finite type , however even with the simple examples given here , the problem can become computationally difficult .
the paper is organized as follows : in section [ sec : term ] , we detail the structure of self - similar measures of finite type , introduce terminology and describe a number of examples that we will return to throughout the paper . the notion of transition matrices and properties of local dimensions of measures of finite type
are discussed in section [ sec : trans ] . in section [ sec : loop ] we introduce the notion of loop class , essential class and periodic points .
a formula is given for the local dimension at a periodic point and we prove that the essential class is always of positive type . in section [ sec : main ] we prove that the set of local dimensions at periodic points in a positive loop class is dense in the set of local dimensions at all points in the loop class .
we also show that the set of local dimensions at the points of a positive loop class is a closed interval .
in particular , this implies that the set of local dimensions at the essential points is a closed interval .    in section [ sec : comp ] we give a detailed description of our computer algorithm by means of a worked example .
we also explain our main techniques for finding bounds on sets of local dimensions and illustrate these by constructing a cantor - like measure of finite type whose local dimension is the union of two distinct points . in section
[ sec : cantor ] we show that with our approach we can partially recover results from @xcite about the local dimensions of cantor - like measures of finite type .
we also show that some facts about the endpoints of the interval portion of the local dimension , that are known to be true for cantor - like measures in the small " overlap case , do not hold in general .
bernoulli convolutions , @xmath7 , where @xmath17 is the reciprocal of a pisot number of degree at most four , are studied in section [ sec : pisot ] and we see that two of these measures admit an isolated point .
we also study the convolution square of the bernoulli convolution with the golden ratio in this final section .    for the examples in this paper , we present only minimal information .
a more detailed analysis of all of these examples can found as supplemental information appended to the arxiv version of the paper @xcite .
consider the iterated function system ( ifs ) consisting of the contractions @xmath18 , @xmath19 , defined by @xmath20 where @xmath21 , @xmath22 and @xmath23 is an integer . by the associated self - similar set , we mean the unique , non - empty , compact set @xmath24
satisfying @xmath25    suppose @xmath26 , @xmath19 are probabilities , i.e. , @xmath27 for all @xmath28 and @xmath29 .
our interest is in the self - similar measure @xmath30 associated to the family of contractions @xmath31 as above , which satisfies the identity @xmath32these measures are sometimes known as _ equicontractive _ , or _ @xmath8-equicontractive _ if we want to emphasize the contraction factor @xmath8 .
they are non - atomic , probability measures whose support is the self - similar set .
we put @xmath33 .
given an @xmath34-tuple @xmath35 @xmath36 , we write @xmath37 for the composition @xmath38 and let @xmath39    the iterated function system , @xmath40 , is said to be of * * finite type * * _ _  _ _ if there is a finite set @xmath41 such that for each positive integer @xmath34 and any two sets of indices @xmath42 , @xmath43 @xmath36 , either @xmath44 where @xmath45 is the diameter of @xmath24 .
if @xmath31 is of finite type and @xmath3 is an associated self - similar measure , we also say that @xmath3 is of finite type .
it is worth noting here that the definition of finite type is independent of the choice of probabilities .    in @xcite
, nguyen showed that any ifs satisfying the open set condition is of finite type , but there are also examples of iterated function systems of finite type that fail the open set condition . indeed , recall that an algebraic integer greater than @xmath46 is called a _ pisot number _ if all its galois conjugates are less than @xmath46 in absolute value .
examples include integers greater than @xmath46 and the golden ratio , @xmath47 . in ( * ?
2.9 ) , ngai and wang showed that if @xmath16 is a pisot number and all @xmath48 $ ] , then the measure @xmath3 satisfying ( [ ss ] ) is of finite type .
this result allows us to produce many examples of measures of finite type that do not satisfy the open set condition .
the case when the ifs is generated by two contractions is of particular interest .
we will use the notation @xmath7 to denote the self - similar measure @xmath49 where @xmath50 for @xmath51 .    [
ex : pisot ] when @xmath52 the measures , @xmath53 are known as * cantor measures * ( or uniform cantor measures ) .
their support is the cantor set with ratio of dissection @xmath17 and they satisfy the open set condition .
when @xmath54 these measures are called * bernoulli convolutions*. they fail to satisfy the open set condition , but are of finite type whenever @xmath16 is a pisot number .    given two probability measures , @xmath55 , the convolution of @xmath3 and @xmath56 is defined as @xmath57the name bernoulli convolution  comes from the fact that @xmath58where the infinite convolution is understood to converge in a weak sense .
bernoulli convolutions , @xmath7 , with contraction factor @xmath17 the inverse of a pisot number , have been long studied .
they have unusual properties and are of interest in fractal geometry , number theory and harmonic analysis .
for example , although almost every bernoulli convolution is absolutely continuous with respect to lebesgue measure , and even has an @xmath59 density function , those with a pisot inverse as the contraction factor are not only purely singular , but their fourier transform , @xmath60 , does not even tend to zero as @xmath61 .
we refer the reader to @xcite and @xcite for some of the interesting history of these measures .
[ ex : convolution ] suppose @xmath3 and @xmath62 are @xmath17-equicontractive measures , say @xmath63 and @xmath64 where @xmath65 and @xmath66 .
then @xmath67 is the @xmath17-equicontractive , self - similar measure satisfying @xmath68where @xmath69 and @xmath70 .
it follows directly from ngai and wang s result @xcite that any @xmath0-fold convolution power of the bernoulli convolution or cantor measure , @xmath53 is of finite type when @xmath11 is pisot .
[ ex : shmerkin ] another consequence of @xcite is that the ifs @xmath71where @xmath72 is an integer , is of finite type .
the convex hull of the self - similar set is @xmath73 $ ] and the self - similar set is the full interval @xmath74 $ ] when @xmath75 . when @xmath76 , the open set condition is not satisfied .
the @xmath0-fold convolutions of cantor measures with contraction factor @xmath1 are examples of self - similar measures associated with such an ifs .
these cantor - like measures were studied in @xcite using different methods . in section [ sec : cantor ] we will see how our approach relates to some of their results
.      we will refer to the following conditions on a self - similar measure @xmath3 as our standard technical assumptions .    1 .
the measure @xmath77 is a @xmath17-equicontractive , self - similar measure , as in ( [ ss ] ) , that is of finite type .
2 .   the probabilities , @xmath78 satisfy @xmath79 ( we call these _ regular probabilities _ ) .
the support of @xmath3 ( equivalently , the underlying self - similar set ) is a closed interval . by rescaling the @xmath80 appropriately
, we can assume without loss of generality that this interval is @xmath73 $ ] .
we remark that supp@xmath81 $ ] if and only if ( the rescaled ) @xmath82 satisfy @xmath83 , @xmath84 and @xmath85 for all @xmath86 . in this case , @xmath87 in the definition of finite type .
although some of what we say is true more generally for self - similar measures of finite type , we make use of the standard technical assumptions at key points throughout the paper
.    the bernoulli convolutions @xmath7 and the @xmath0-fold convolutions of uniform cantor measures @xmath7 with @xmath88 are examples of measures satisfying the standard technical assumptions .
( see examples [ ex : pisot ] and [ ex : convolution ] ) .
the measures of example [ ex : shmerkin ] , where @xmath75 , are also examples of such measures when regular probabilities are chosen .
as we have seen , measures that are of finite type need not satisfy the open set condition .
our primary interest is in this case .
the finite type property is , however , stronger than the weak separation condition ( see ng for a proof ) , and the multifractal analysis of self - similar measures of finite type is somewhat more tractable because of their better structure .
this structure is explained in detail in @xcite , but we will give a quick overview here .
for each integer @xmath34 , let @xmath89 be the collection of elements of the set @xmath90 @xmath91 , listed in increasing order . put @xmath92:1\leq j\leq s_{n}\}\text{.}\]]elements of @xmath93 are called _ net intervals of level _ @xmath34 . for each @xmath94 , @xmath95 , there is a unique element @xmath96 which contains @xmath97 .
we call @xmath98 the _ parent _ of @xmath97 and @xmath97 a _ child _ of @xmath98 .
we denote the _ normalized length _ of @xmath99 $ ] by @xmath100note that by definition there is no @xmath101 with @xmath102 , nor can we have @xmath103 .
furthermore , there must be some @xmath104 with @xmath105 for suitable choices of @xmath106 @xmath107 .
next , we consider all @xmath101 with @xmath108 $ ]
. as @xmath109 $ ] is a closed interval of length @xmath110 this is the same as the set of all @xmath111 with @xmath112 .
we suppose @xmath113\}=\{a_{1},\dots , a_{k}\}\]]and assume @xmath114 .
we define the _ neighbour set _ of @xmath97 as @xmath115    let @xmath96 be the parent of @xmath97 , and @xmath116 ( listed in order from left to right ) be all the net intervals of level @xmath34 which are also children of @xmath98 and have the same normalized length and neighbour set as @xmath97 .
define @xmath117 to be the integer @xmath118 with @xmath119 .
the _ characteristic _ _ vector of _
@xmath97 is the triple @xmath120 we also speak of the pair of characteristic vectors , @xmath121 as parent and child if @xmath122 and @xmath123 for a parent / child pair @xmath124 .
the characteristic vector is important because it carries the neighbourhood information about @xmath97 .
put @xmath125 if the measure is of finite type , then @xmath126 will contain only finitely many distinct characteristic vectors .
suppose the net interval , @xmath127 has two children , @xmath128 and @xmath129 that differ only in the value of @xmath130 , that is , they have the same length and the same neighbourhood set .
the characteristic vectors for the children of @xmath131 and @xmath132 , will be identical as they depend only on @xmath133 and @xmath134 and not on @xmath135 . for notational reasons ,
we find it convenient to take advantage of this when drawing the directed graph relating parents to children by suppressing @xmath136 equating these two children on the graph , and allowing multiple edges from @xmath98 to @xmath131 .
we will call the characteristic vectors where we have suppressed the numbers @xmath130 the reduced characteristic vectors , and we will call the resulting graph the reduced transition graph .    [
ex : golden diagram ] in ( * ? ? ?
* section 4 ) and ( * ? ? ?
* section 6 ) , feng studied the bernoulli convolution @xmath7 , with @xmath137the golden ratio , and found that there were seven characteristic vectors .
their normalized lengths and neighbourhood sets are given by :    * characteristic vector 1 : @xmath138 * characteristic vector 2 : @xmath139 * characteristic vectors 3a and 3b : @xmath140 and @xmath141 * characteristic vector 4 : @xmath142 * characteristic vector 5 : @xmath143 * characteristic vector 6 : @xmath144    notice there are only six reduced characteristic vectors ; we label the two characteristic vectors with identical length and neighbourhood set as 3a and 3b . in @xcite these
were labelled as 3 and 7 .
the directed graphs in figure [ fig : golden ] show the parent / children relationships .
the term `` essential class '' , referred to in the figure , is defined in section 4 .
[ ex : bc ]    by an _
admissible path , _
@xmath145 _ _  of length _ _ @xmath146 we will mean an ordered @xmath34-tuple , @xmath147 where @xmath148 for all @xmath28 and the characteristic vector , @xmath149 is the parent of @xmath150 .    by the _ symbolic expression _ of @xmath94 we mean an admissible path of length @xmath151 , denoted @xmath152=(\mathcal{c}_{0}(\delta _ { 0}),\dots,\mathcal{c}_{n}(\delta _ { n})),\ ] ] where @xmath153 and for each @xmath154 , @xmath155 . here
@xmath156 is @xmath73 $ ] .
feng @xcite proved that the symbolic expression uniquely determines @xmath97 .    for @xmath157 $ ]
, the symbolic representation for @xmath158 , denoted @xmath159,$ ] will mean the sequence @xmath160 of characteristic vectors where @xmath161 for all @xmath34 and @xmath162 is the parent of @xmath163 . we note that unless @xmath158 is an endpoint of a net interval ( in which case there are two representations of @xmath158 ) , @xmath159 $ ] is unique .
the notation @xmath164 $ ] will mean the admissible path consisting of the first @xmath165 characteristic vectors of @xmath159 $ ] .
we frequently write @xmath166 for the net interval of level @xmath34 containing @xmath158 .
thus @xmath159 $ ] is the sequence where the first @xmath151 terms gives the symbolic representation of @xmath166 for each @xmath34 .
given a probability measure @xmath3 , by the * upper local dimension * of @xmath3 _ _  _ _ at @xmath167 supp@xmath3 , we mean the number @xmath168)}{\log r}.\]]replacing the @xmath169 by @xmath170 gives the * lower local dimension * , denoted @xmath171 .
if the limit exists , we call the number the * local dimension * of @xmath3 at @xmath158 and denote this by @xmath172 .
multifractal analysis refers to the study of the local dimensions of measures .    for a @xmath17-equicontractive measure @xmath3 , it is easy to check that @xmath173)}{n\log \varrho } \text { for } x\in \text{supp}\mu , \label{locdim}\ ] ] and similarly for the upper and lower local dimensions .
our first several lemmas will enable us to show that we can replace the interval @xmath174 $ ] by @xmath166 .
suppose @xmath3 satisfies the standard technical assumptions .
let @xmath175\in \mathcal{f}_{n},$ ] with @xmath176 .
then @xmath177\sum   _ { \substack { \sigma \in \mathcal{a}^{n }   \\
\varrho ^{-n}(a - s_{\sigma } ( 0))=a_{i}}}p_{\sigma } .\ ] ]    this argument can basically be found in feng @xcite , but we give the details here for completeness . iterating ( [ ss ] )
@xmath34 times gives @xmath178 since @xmath3 is a non - atomic measure supported on @xmath73 $ ] , we have @xmath179    now , @xmath180 implies that @xmath181 $ ] , hence by definition of the neighbourhood set @xmath182 for some @xmath183 .
thus @xmath184 , so @xmath185 = [ a - a_i \varrho^n , a - a_i + \varrho^n]$ ] .
this implies that @xmath186 we observe that @xmath187 , and hence @xmath188 )       & = [ a_i \varrho^n + a - a_i \varrho^n , a_i \varrho^n + a - a_i \varrho^n + \ell_n(\delta)\varrho^n ] \\      &   = [ a , a+\ell_n(\delta ) \varrho^n ] = [ a , b ] = \delta.\end{aligned}\ ] ] hence @xmath189 \\      & = \sum_{i=1}^{k } \mu [ a_i , a_i + \ell_n(\delta ) ]        \sum_{\substack{\sigma \in \mathcal{a}^{n}\\ \varrho^{-n}(a - s_{\sigma}(0))=a_{i } } } p_{\sigma } \end{aligned}\ ] ] as claimed .    for @xmath190card@xmath191 ,
put @xmath192and @xmath193    here we have chosen to normalize by multiplying by @xmath194 .
this is done so that the minimal non - zero entry in the transition matrices ( defined in the next subsection ) is at least @xmath46 .
[ cor]there is a constant @xmath195 such that for any @xmath34 and any @xmath196 @xmath197    the upper bound is clear from the lemma . for the lower
bound we note that each @xmath198 > 0 $ ] as the support of @xmath3 is the full interval @xmath73 $ ] .
the finite type condition ensures there are only finitely many choices for @xmath199 $ ] .
[ lem1 ] suppose @xmath3 satisfies the standard technical assumptions .
there are constants @xmath200 such that if @xmath131 , @xmath201 are two adjacent net intervals of level @xmath34 , then @xmath202    the proof is similar to that of ( * ? ? ?
* lemma 2.11 ) and proceeds by induction on @xmath34 .
the base case holds as there are only finitely many choices for @xmath203 when @xmath204 .
now assume the result for level @xmath205 and we will verify it holds for level @xmath34 .
if @xmath206 have the same parent @xmath98 , the result follows easily from the observation that @xmath207    otherwise , @xmath131 and @xmath201 are children of adjacent net intervals of level @xmath205 , @xmath208 respectively , and we can suppose @xmath131 is to the left of @xmath209 . as in @xcite , put @xmath210\text { and they share the same right endpoint\thinspace } \ } \\ d_{2 } & = \{\sigma \in \mathcal{a}^{n-1}:\widehat{\delta _ { 2}}\text { } \subseteq s_{\sigma } [ 0,1]\text { and they share the same left endpoint\thinspace } \ } \\ e_{j } & = \{\sigma \in \mathcal{a}^{n-1}\diagdown d_{j}:\widehat{\delta _ { j } } \subseteq s_{\sigma } [ 0,1]\}\text { , } j=1,2.\end{aligned}\ ] ] the definitions ensure that @xmath211 , @xmath212 and @xmath213 applying the induction assumption gives @xmath214 taking @xmath215 gives @xmath216    the other inequality is similar .
note that in the proof the assumption that @xmath217 were regular probabilities was important .
the following is immediate from the two previous results .
there are constants @xmath218 such that if @xmath206 are adjacent net intervals of level @xmath34 , then @xmath219    together these results yield the following useful approach to computing local dimensions .
[ cor1]suppose @xmath3 satisfies the standard technical assumptions .
let @xmath167supp@xmath3 and @xmath166 denote a net interval of level @xmath34 containing @xmath158 .
then @xmath220a similar statement holds for the ( lower ) local dimensions .
since any net interval of level @xmath34 has length at most @xmath221 , the interval @xmath174 $ ] contains @xmath166 .
the finite type property ensures it is contained in a union of a bounded number of @xmath34th level net intervals , say @xmath222 , where @xmath223 is adjacent to @xmath224 and for a suitable index @xmath28 , @xmath225 .
thus for constants @xmath226 , @xmath227 ( independent of the choice of @xmath34 and @xmath158 ) , @xmath228)\leq \sum_{j=1}^{n}\mu ( \delta _ { n}(x_{j } ) ) \\ & \leq \sum_{j=1}^{n}p_{0}^{n}p_{n}(\delta _ { n}(x_{j}))\leq np_{0}^{n}c^{n}n^{n}p_{n}(\delta _ { n}(x)).\end{aligned}\ ] ] thus the limiting behaviour of the three expressions @xmath229)}{n\log \varrho } , \text { } \frac{\log \mu ( \delta _ { n}(x))}{n\log \varrho } \ ] ] and @xmath230 coincide .
if @xmath231 $ ] , then @xmath232 and hence @xmath233 .
consequently , @xmath234 .
more generally , since @xmath235 is never empty and @xmath236 is the minimal probability , it follows that @xmath237 for all @xmath34 and @xmath238 . consequently , @xmath239      the results of the previous subsection show that for studying the local dimensions of these measures it will be helpful to make accurate estimates of @xmath240 . towards this , slightly modifying @xcite we define _ primitive transition matrices _ ,
@xmath241 @xmath242 for a net interval @xmath175 $ ] of level @xmath34 and parent @xmath243 $ ] as follows :    suppose @xmath244 and @xmath245 . for @xmath246 and @xmath247
we set @xmath248if @xmath249 and there exists @xmath250 with @xmath251 and @xmath252 .
this is equivalent to saying @xmath253we set @xmath254 otherwise .
as @xmath126 is finite for a measure of finite type , there is an upper bound on the size of these matrices .
the entries are non - negative and all non - zero entries are at least one .
each column has at least one non - zero entry because @xmath255 if and only if there is some @xmath256 which `` contributes '' to it , in the sense defined above .
it is also important to note that the standard technical assumption that supp@xmath81 $ ] guarantees that given @xmath250 such that @xmath257 , there exists @xmath249 such that @xmath258 $ ] .
this means that each row of the matrix @xmath259 also has a non - zero entry .    for @xmath260 card@xmath261 ,
put @xmath262the same reasoning as in ( * ? ? ?
* theorem 3.3 ) shows that @xmath263thus if @xmath264=(\gamma _ { 0},\dots,\gamma _ { n})$ ] ( that is , @xmath265 and @xmath266)$ ] ) , then since @xmath267=\left [ 1\right ] $ ] we have @xmath268where by the norm of matrix @xmath269 we mean @xmath270    given an admissible path @xmath271 , we write @xmath272 and refer to such a product as a _ transition matrix_.    with this notation , the results of the previous subsection can be stated as    [ corlocdim ] suppose @xmath3 satisfies the standard technical assumptions . if @xmath167supp@xmath3 , then @xmath273)\right\vert } { n\log \varrho }   \label{f2}\]]and similarly for the ( lower ) local dimension .
[ ex : golden transition ] again , consider the bernoulli convolution , @xmath274 , with @xmath16 the golden ratio .
feng @xcite showed that @xmath275 has symbolic representation @xmath276 $ ] and that @xmath277 $ ] .
applying corollary [ corlocdim ] gives another proof that @xmath278 .
next , we give a useful simple lemma .    [
compare ] suppose @xmath3 satisfies the standard technical assumptions .
let @xmath279 and @xmath280 be transition matrices
. then @xmath281 and @xmath282 .
we have @xmath283since all the entries of each of the matrices is nonnegative and each column of @xmath279 has an entry @xmath284 , it follows that @xmath285    the argument for the other inequality is similar , noting that each row of @xmath279 has an entry @xmath284 as a consequence of the standard technical assumptions .
an important consequence of this result is that the local dimension of @xmath3 at @xmath158 depends only on the tail of the symbolic representation of @xmath158 .
suppose @xmath159=(\gamma _
{ 0},\gamma _ { 1},\dots)$ ] . for any @xmath165 , @xmath286and similarly for the ( lower ) local dimension .
if @xmath287=(\gamma _ { 0},\beta _ { 1},\dots,\beta _ { n},\gamma _ { n},\gamma _ { n+1},\dots ) $ ] , then the ( upper or lower ) local dimensions of @xmath3 at @xmath158 and @xmath288 agree .
this holds since @xmath289    by @xmath290 we mean the spectral radius of the square matrix @xmath291 the largest eigenvalue of @xmath292 in absolute value .
recall that @xmath293    we will call a matrix @xmath292 _ positive _ if all its entries are strictly positive and write @xmath294 .
we record here some elementary facts about positive matrices that will be useful later .
[ normsprod ] suppose @xmath3 satisfies the standard technical assumptions .
assume @xmath295 are transition matrices and @xmath280 is positive .    1 .
then @xmath296 .
[ it2:1 ] 2 .
there is a constant @xmath297 such that if @xmath298 is a square matrix , then @xmath299 [ it2:2 ] 3 .
suppose @xmath280 is a square matrix .
there is a constant @xmath300 such that @xmath301 [ it2:3 ]    to see ( [ it2:1 ] ) , let @xmath302 .
as all @xmath303 a simple calculation gives @xmath304    for ( [ it2:2 ] ) , assume @xmath305 is a @xmath306 matrix .
let @xmath307 .
as the entries of @xmath279 are non - negative and the entries of @xmath280 are at least 1 , it is easy to see that @xmath308with the final inequality holding because the sum of the diagonal entries of @xmath298 is the sum of the eigenvalues of @xmath298 , counted by multiplicity .    for ( [ it2:3 ] ) ,
let @xmath309 be the jordan decomposition of @xmath280 and let @xmath310 .
by the perron - frobenius theory , @xmath311 is a simple root of the characteristic polynomial of @xmath280 and all other eigenvalues of @xmath280 are strictly less than @xmath311 in modulus . since all entries of @xmath280 are at least @xmath46 , it can be easily seen that @xmath312 . as @xmath313
, it is enough to prove @xmath314 where @xmath315 depends on @xmath280 , but not @xmath34 .
assume @xmath280 is of size @xmath316 . since the jordan block for @xmath311 is @xmath317 , all entries of @xmath318 , other than the @xmath319 entry which is @xmath320 , are either @xmath275 or of the form @xmath321 where @xmath322 and @xmath323 is an eigenvalue of @xmath280 with @xmath324 .
thus @xmath325where @xmath326 is the maximum of @xmath46 and the modulus of the eigenvalues of @xmath280 other than @xmath311 . as @xmath327 for
all @xmath34 sufficiently large depending on @xmath328 , it follows that for some constant @xmath329 depending on @xmath330 ( and hence depending only on @xmath280 ) we have @xmath331 for all @xmath34 .
this proves the right hand inequality .
the left hand inequality is obvious .
feng in @xcite also introduced the notion of an essential class for measures of finite type . here
we introduce the more general definition of a loop class , of which the essential class is a special case .
\(i ) a non - empty subset @xmath332 is called a * *  loop class * * if whenever @xmath333 , then there are characteristic vectors @xmath334 , @xmath335 , such that @xmath336 , @xmath337 and @xmath338 is an admissible path with all @xmath339 .
\(ii ) a loop class @xmath332 is called an**essential class * * if , in addition , whenever @xmath340 and @xmath341 is a child of @xmath323 , then @xmath342 .
\(iii ) we call a loop class * maximal * if it is not properly contained in any other loop class .
the finite type property ensures that every element in the support of @xmath15 is contained in a loop class .
clearly every loop class is contained in a unique maximal loop class .
feng in ( * ? ? ?
* lemma 6.4 ) , proved there is always precisely one essential class .
of course , the essential class is a maximal loop class .
we will denote the essential class by @xmath343 and here - after speak of `` the '' essential class .
if @xmath159=(\gamma _ { 0},\gamma _ { 1},\gamma _ { 2},\dots)$ ] with @xmath344 for all large @xmath28 , we will say that _ _  _ _ @xmath158 is an * essential point * ( or is * in the essential class * ) and call @xmath158 a * non - essential point * otherwise .
the phrase , @xmath158 is * in the loop class * @xmath345 will have a similar meaning .
an admissible path will be said to be in a given loop class if all its members are in that class .
note that if @xmath159=(\gamma _ { j})$ ] is non - essential , then none of the characteristic vectors @xmath334 belong to @xmath343 .
a non - essential point necessarily has its tail in some loop class external to the essential class .
we remark that the essential class is dense in @xmath73 $ ] .
this is because the uniqueness of the essential class ensures that every net interval contains a net subinterval of higher level whose characteristic vector is in the essential class .
in fact , we show next that the set of essential points has full lebesgue measure in @xmath73 $ ] .
suppose @xmath3 satisfies the standard technical assumptions .
then the set of non - essential points is a subset of a closed set of lebesgue measure @xmath275 .
as we already observed , every net interval contains a descendent net subinterval whose characteristic vector is in the essential class .
( we will abuse notation slightly and call such a net subinterval `` essential '' . )
the finite type property ensures we can find such a net subinterval in a bounded number of generations and that there exists some @xmath346 such that the proportion of the length of the net subinterval to the length of the original interval is @xmath347 .
we now exhibit a cantor - like construction .
we begin with @xmath73 $ ] .
consider the first level at which there is a net subinterval that is essential .
remove the interiors of all the net subintervals of this level that are essential .
the resulting closed subset of @xmath73 $ ] is a finite union of closed intervals , say @xmath348 , whose lengths total at most @xmath349 .
we repeat the process of removing the interiors of the essential net subintervals at the next level at which there are essential net subintervals in each of the intervals of @xmath348 .
the resulting closed subset now has length at most @xmath350 .    after repeating this procedure @xmath351 times one can see that the non - essential points are contained in a finite union of closed intervals , @xmath352 whose is total length is at most @xmath353 .
it follows that the non - essential points are contained in the closed set @xmath354 and this set has measure @xmath275 .
it is worth remarking that the construction above may leave some essential points within the cantor - like construction . as the resulting set is measure @xmath355 , the smaller set of just the non - essential points will also be measure @xmath356 .
[ ex : golden essential ] from figure [ fig : golden ] one can see that the bernoulli convolution @xmath7 , with @xmath16 the golden ratio , has seven distinct loop classes : @xmath357 , @xmath358 , @xmath359 , @xmath360 , @xmath361 , @xmath362 , and @xmath363 . of these , @xmath362 , @xmath364 and the essential class , @xmath357 ( with 3 reduced elements ) are maximal .
the two loop classes external to the essential class , @xmath362 and @xmath365 are associated to the two endpoints , @xmath275 and @xmath46 .
these are the only two non - essential points , in other words , the set of essential points is @xmath366 .
we will say the loop class @xmath367 is of * positive type * if there is an admissible path @xmath368 in @xmath367 such that @xmath369 is a positive matrix .
we note that as there is a non - zero entry in each row and column of each primitive transition matrix , then any loop class @xmath367 of positive type has the property that for every @xmath370 there is an admissible path @xmath371 in @xmath367 such that @xmath372 is positive .
[ ex : golden positive type ] the loop classes @xmath362 and @xmath363 of example [ ex : golden essential ] are of positive type since ( as shown in ( * ? ? ?
* section 4 ) ) @xmath373 $ ] .
as @xmath374 , $ ] the essential class , @xmath375 is also of positive type .
however , the loop class , @xmath376 is not of positive type since all transition matrices from this loop class are of the form @xmath377 $ ] for some @xmath34 .    in  example
[ ex:@xmath378 ) ] we give a bernoulli convolution where a maximal loop class is not of positive type .    however , the essential class is always of positive type under our standard technical assumptions .    [
prop : pos ] suppose @xmath3 satisfies the standard technical assumptions .
then the essential class is of positive type .
fix @xmath379 .
we recall that feng in ( * ? ? ?
* lemma 6.4 ) showed that given any positive integer @xmath380 cardinality@xmath381 , there is an admissible path @xmath382 in the essential class , going from @xmath383 to @xmath384 such that all entries of the @xmath351th row of @xmath385 are non - zero .
choose such a path , @xmath386 with all the entries of row @xmath46 of @xmath387 non - zero .
row @xmath388 of @xmath389 has a non - zero entry in some column , say @xmath390 and , of course , the @xmath391 entry is also non - zero .
choose an essential , admissible path @xmath392 from @xmath393 to @xmath384 with all entries of row @xmath351 non - zero .
matrix multiplication shows that all entries of both rows 1 and 2 of @xmath394 are non - zero . by repeated application of this reasoning
we can construct an admissible path @xmath368 in @xmath395 from @xmath393 to @xmath396 such that all entries of @xmath372 are strictly positive .
we call @xmath167supp@xmath3 a * periodic point * if @xmath158 has symbolic representation@xmath397=(\gamma _ { 0},\dots,\gamma _ { s},\theta ^{-},\theta ^{-},\dots)\]]where @xmath398 is an admissible cycle ( a non - trivial path with the same first and last letter ) and @xmath399 is the path with the last letter of @xmath398 deleted .
we refer to @xmath398 as a period of @xmath158 .
we will say that periodic @xmath158 is _ _  _ _ * positive * if the square transition matrix @xmath400 is positive .
it is worth noting that @xmath398 and @xmath399 are not uniquely defined .
for example , the path @xmath401 from example ex : golden essential can be decomposed as @xmath402 and @xmath403 , or as @xmath404 and @xmath405 , or as @xmath404 and @xmath406 , etc . in what follows
, it will not make any significant difference as to which choice is made .
observe that @xmath407)=t(\gamma _ { 0},\dots , \gamma _ { s},\delta _ { 1})(t(\theta ) ) ^{n}\]]when @xmath408 and @xmath409 is the first letter of @xmath410 .
( recall @xmath411 is the length of path @xmath399 . )
a periodic @xmath158 is in the essential class if it has a period that is a path in the essential class .
there is a simple formula for the local dimensions at periodic points .
[ periodic ] suppose @xmath3 satisfies the standard technical assumptions .
let @xmath158 be the periodic point with period @xmath398 .
then@xmath412    suppose @xmath159=(\gamma _
{ 0},\dots,\gamma _ { s},\theta ^{-},\theta ^{-},\dots)$ ] and @xmath413 .
let @xmath414 . according to lemma [ compare ]
, there is a constant @xmath195 such that @xmath415for any @xmath416 .
thus corollary [ corlocdim ] implies that @xmath417since @xmath418 @xmath419 the result follows .
in @xcite and @xcite , feng showed that the set of local dimensions for the bernoulli convolution @xmath53 with @xmath16 the golden ratio , was an interval and determined its endpoints .
this is not true , in general , for measures of finite type .
for instance , it is known that the set of local dimensions of the @xmath0-fold convolution of uniform cantor measures with contraction factor @xmath6 for integer @xmath420 is the union of an interval and an isolated point ( see @xcite ) .
feng also proved that the set of attainable local dimensions of @xmath274 was the closure of the set of local dimensions at periodic points . in this section
we will prove that if a loop class , @xmath421 is of positive type , then the set of local dimensions at points in @xmath422 is a closed interval .
moreover , this interval is the closure of the set of local dimensions at the periodic points in @xmath423 .
these statements hold , in particular , for the essential class , @xmath424 since the essential class is a positive loop class according to proposition [ prop : pos ] .    in sections [ sec : comp ] , [ sec : cantor ] and [ sec : pisot ] we give examples to illustrate that the set of local dimensions attained at points of a loop class external to the essential class can overlap , or may be disjoint from the local dimensions of the essential class .
[ periodicdense ] suppose @xmath3 satisfies the standard technical assumptions .
assume that @xmath367 is a loop class of positive type .
the set of local dimensions of @xmath3 at positive , periodic points in the loop class @xmath367 is dense in the set of all local dimensions at points in @xmath367 .
it is also dense in the set of all upper ( or lower ) local dimensions at points in @xmath367 .
we remark that in this theorem ( and other results of this section ) the assumption that the loop class is of positive type may not be necessary for particular ifs and particular loops .
we will prove denseness in the set of lower local dimensions at points in the loop class @xmath367 .
the arguments for the ( upper ) local dimensions are the same .
fix @xmath158 in @xmath345 say @xmath159=(\gamma _ { 0},\gamma _ { 1},\gamma _ { 2},\dots)$ ] with @xmath425 for all @xmath426 .
choose a subsequence @xmath427 such that @xmath428as @xmath367 is finite , by passing to a further subsequence if necessary ( not renamed ) we can assume all @xmath429 .
put @xmath430    let @xmath368 be an admissible path in @xmath367 going from @xmath393 to @xmath431 such that @xmath432 .
( we remark that it is important that this transition matrix is independent of the choice of @xmath351 . ) of course , then @xmath433 is an admissible cycle in @xmath367 .    as @xmath372 is a positive matrix , lemmas [ compare ] and [ normsprod](2 )
imply that there are constants , @xmath434 , bounded above and bounded below away from @xmath275 such that @xmath435    consider the local dimension at the periodic point @xmath436 in @xmath423 given by @xmath437=(\gamma _ { 0},\dots,\gamma _ { m-1},\theta _ { k}^{-},\theta _ { k}^{-},\dots).\]]since @xmath438 is positive , @xmath436 is a positive point .
furthermore , we have@xmath439fix @xmath440 .
the choice of @xmath441 and boundedness of @xmath434 ensures we can choose @xmath351 large enough so that @xmath442@xmath443it is now easy to see that@xmath444    since the essential class is of positive type , we immediately deduce the following important fact about these measures of finite type .
the set of local dimensions at essential periodic points is dense in the set of local dimensions at all essential points .
here is another needed elementary fact whose proof is an exercise for the reader .
[ lem : cyclicshift ] let @xmath445 be a cycle and let @xmath446 be any cyclic shift of @xmath398 .
then @xmath447    [ limitperiodic ] suppose @xmath3 satisfies the standard technical assumptions .
assume that the loop class , @xmath345 is of positive type and suppose @xmath448 is a sequence of positive , periodic points in @xmath422 .
then there is some @xmath158 in @xmath367 such that @xmath449    assume @xmath450 has period @xmath451 in @xmath367 and that @xmath452 .
we put @xmath453so @xmath454and @xmath455by passing to a subsequence , not renamed , we can assume all @xmath456where @xmath457 is a decreasing sequence tending to 0 .
further , we can assume that all the even labelled paths , @xmath458 , have the same first letter , say @xmath459 , and the same last letter , @xmath460 .
similarly , we can assume all the odd labelled paths have a common first letter @xmath461 and common last letter @xmath462 .    since @xmath367 is of positive type , we can certainly choose two admissible paths in @xmath367 , @xmath463 going from @xmath464 to @xmath461 and @xmath465 going from @xmath462 to @xmath466 , so that @xmath467 and @xmath468 are positive .
we want to inductively define a rapidly increasing subsequence @xmath469 such that @xmath397=(\eta , \underbrace{\theta _ { 1}^{-},\dots,\theta _ { 1}^{-}}% _ { k_{1}},\lambda _ { is},\underbrace{\theta _ { 2}^{-},\dots,\theta _ { 2}^{-}}% _ { k_{2}},\lambda _ { si},\underbrace{\theta _ { 3}^{-},\dots,\theta _ { 3}^{-}}% _ { k_{3}},\dots)\]]has the desired property , where @xmath368 is an admissible path beginning with @xmath470)$ ] and ending with the parent of @xmath461 .
temporarily fix @xmath34 . with abuse of notation
we will write the truncated product as @xmath397_{n}=\eta \prod_{i=1}^{n}(\theta _ { i}^{-})^{k_{i}}\lambda _ { i}\]]where @xmath471 if @xmath183 is even , and @xmath465 if @xmath183 is odd .    define @xmath472 as the maximal @xmath473 coming from lemma [ normsprod](3 ) taken over all cyclic shifts of @xmath474 of @xmath475 .
let @xmath476 be any prefix of @xmath477 and @xmath478 any prefix of @xmath479 .
the elementary lemmas of the previous section imply that @xmath480_{n-1}(\theta _ { n}^{-})^{k}\lambda _ { n}^{\prime } ) \right\vert ) } { % l([x]_{n-1}(\theta _ { n}^{-})^{k}\lambda _ { n}^{\prime } ) } -\frac{\log ( sp(t(\theta _ { n})))}{l(\theta _ { n}^{-})}\right\vert = 0   \label{2 - 1}\]]and@xmath480_{n-1}(\theta _ { n}^{-})^{k}\lambda _ { n}\theta _ { n+1}^{\prime } ) \right\vert ) } { l([x]_{n-1}(\theta _ { n}^{-})^{k}\lambda _ { n}\theta _ { n+1}^{\prime } ) } -\frac{\log ( sp(t(\theta _ { n})))}{l(\theta _ { n}^{-})}% \right\vert = 0 .
\label{2 - 2}\]]obviously , @xmath481_{n-1}(\theta _ { n}^{-})^{k}\lambda _ { n}\theta _ { n+1}^{\prime } ) } = 0   \label{2 - 3}\]]and@xmath482we pick @xmath483 such that the left hand side of these four limits are each less than @xmath457 for all choices of @xmath476 and @xmath478 .
certainly this process defines an @xmath158 belonging to @xmath367 .
we need to check that the upper and lower dimensions of @xmath3 at @xmath158 are correct . by construction , the limiting behaviour ( as @xmath484 ) of @xmath485_{n-1}(\theta _ { n}^{-})^{k_{n}}\lambda _ { n}^{\prime } ) ) \right\vert ) } { l([x]_{n-1}(\theta _ { n}^{-})^{k_{n}}\lambda _ { n}^{\prime } ) ) } \ \ \mathrm{and}\ \ \frac{\log ( \left\vert t([x]_{n-1}(\theta _ { n}^{-})^{k_{n}}\lambda _ { n}\theta _ { n+1}^{\prime } ) \right\vert ) } { l([x]_{n-1}(\theta _ { n}^{-})^{k_{n}}\lambda _ { n}\theta _ { n+1}^{\prime } ) } \]]approach the values @xmath486 and @xmath487 in the infimum / supremum respectively .
hence it remains to consider the case @xmath485_{n-1}(\theta _ { n}^{-})^{k_{n}}\lambda _ { n}(\theta _ { n+1}^{-})^{p_{n+1}}\theta _ { n+1}^{\prime } ) \right\vert ) } { % l([x]_{n-1}(\theta _ { n}^{-})^{k_{n}}\lambda _ { n}(\theta _ { n+1}^{-})^{p_{n+1}}\theta _ { n+1}^{\prime } ) } \]]for @xmath488 , and @xmath478 some prefix of @xmath489 .
this is equivalent to @xmath485_{n-1}(\theta _
{ n}^{-})^{k_{n}}\lambda _ { n}\theta _ { n+1}^{\prime } ( \theta _ { n+1}^{\ast -})^{p_{n+1}})\right\vert ) } { % l([x]_{n-1}(\theta _ { n}^{-})^{k_{n}}\lambda _ { n}\theta _ { n+1}^{\prime } ( \theta _ { n+1}^{\ast -})^{p_{n+1}})}\]]for some cyclic shift @xmath490 of @xmath475 .    for ease of notation ,
let @xmath491_{n-1}(\theta _ { n}^{-})^{k_{n}}\lambda _ { n}\theta _ { n+1}^{\prime } ( \theta _ { n+1}^{\ast -})^{p_{n+1}})}$ ] .
first , observe that : @xmath492_{n-1}(\theta _ { n}^{-})^{k_{n}}\lambda _ { n}\theta _ { n+1}^{\prime } ( \theta _ { n+1}^{\ast -})^{p_{n+1}})\right\vert ) } { l_{0 } } \\   & \leq    \frac{\log ( \left\vert t([x]_{n-1}(\theta _ { n}^{-})^{k_{n}}\lambda _ { n}\theta _ { n+1}^{\prime } \right\vert ) } { l_{0}}+\frac{\log ( \left\vert t(\theta _ { n+1}^{\ast } ) ^{p_{n+1}})\right\vert ) } { l_{0 } } \\   & \leq    \frac{l([x]_{n-1}(\theta _ { n}^{-})^{k_{n}}\lambda _ { n}\theta _ { n+1}^{\prime } ) } { l_{0}}\cdot \frac{\log ( sp(t(\theta _ { n})))}{l(\theta _ { n}^{-})}+\frac{\log ( k_{n}sp((t(\theta _ { n+1}))^{p_{n}+1}))}{l_{0}}% + \varepsilon _ { n } \\   & \leq    \frac{l_{0}-l((\theta _ { n+1}^{-})^{p_{n}+1})}{l_{0}}\cdot \frac{% \log ( sp(t(\theta _ { n})))}{l(\theta _ { n}^{-})}\\&\hspace{10pt } + \frac{l((\theta _ { n+1}^{-})^{p_{n}+1})}{l_{0}}\cdot \frac{\log ( sp(t(\theta _ { n+1}))^{p_{n}+1})}{l((\theta _ { n+1}^{-})^{p_{n}+1})}+\frac{\log k_{n}}{% l_{0}}+\varepsilon _ { n } \\   & \leq    \frac{l_{0}-l((\theta _ { n+1}^{-})^{p_{n}+1})}{l_{0}}\cdot \frac{% \log ( sp(t(\theta _ { n})))}{l(\theta _ { n}^{-})}\\&\hspace{10pt } + \frac{l((\theta _ { n+1}^{-})^{p_{n}+1})}{l_{0}}\cdot \frac{\log ( sp(t(\theta _ { n+1})))}{% l(\theta _ { n+1}^{-})}+2\varepsilon _ { n } \\   & =   ( 1-t_{n})\left ( \frac{\log ( sp(t(\theta _ { n})))}{l(\theta _ { n}^{-})}% \right ) + t_{n}\left ( \frac{\log ( sp(t(\theta _ { n+1})))}{l(\theta _ { n+1}^{-})}% \right ) + 2\varepsilon _ { n}.%\end{aligned}\]]for @xmath493here the second inequality comes from ( [ 2 - 2 ] ) , lemma [ normsprod](3 ) and lemma [ lem : cyclicshift ] , and the final inequality from ( [ 2 - 3 ] ) .    for the opposite inequality , we use the fact that @xmath494 and lemma [ normsprod](1 ) for the first inequality below , and ( [ 2 - 1 ] ) and ( [ 2 - 4 ] ) for the second and third inequalities to obtain @xmath495_{n-1}(\theta _ { n}^{-})^{k_{n}}\lambda _ { n}\theta _ { n+1}^{\prime } ( \theta _ { n+1}^{\ast -})^{p_{n+1}})\right\vert ) } { l_{0 } } \\   & \geq   \frac{\log ( \left\vert t([x]_{n-1}(\theta _ { n}^{-})^{k_{n}}\right\vert ) } { l_{0}}+\frac{\log ( \left\vert t((\theta _ { n+1}^{\ast } ) ^{p_{n+1}})\right\vert ) } { l_{0 } } \\   & \geq   \frac{l([x]_{n-1}(\theta _ { n}^{-})^{k_{n}})}{l_{0}}\cdot \frac{\log ( sp(t(\theta _ { n})))}{l(\theta _ { n}^{-})}\\ & \hspace{10pt } + \frac{l((\theta _ { n+1}^{-})^{p_{n}+1})}{l_{0}}\cdot \frac{\log ( sp(t(\theta _ { n+1}))^{p_{n}+1})}{l((\theta _ { n+1}^{-})^{p_{n}+1})}-\varepsilon _ { n } \\   & \geq   ( 1-t_{n})\left ( \frac{\log ( sp(t(\theta _ { n})))}{l(\theta _ { n}^{-})}% \right ) + t_{n}\left ( \frac{\log ( sp(t(\theta _ { n+1})))}{l(\theta _ { n+1}^{-})}% \right ) -2\varepsilon _ { n}%\end{aligned}\]]together these estimates prove @xmath496 lies within @xmath497 of the same convex combination of @xmath498 and @xmath499 , and hence @xmath500 and @xmath501 both belong to the interval @xmath502 $ ] . that completes the proof .
combining theorems [ periodicdense ] and [ limitperiodic ] , it follows that these measures satisfy the following .
the set of local dimensions at essential points coincides with the set of lower ( or upper ) local dimensions at essential points .
moreover , @xmath503      the final result of this section will be to show that the set of local dimensions at points in a loop class of positive type is a closed interval .
of course , in particular , this applies to the essential class .    [ interval ] suppose @xmath3 satisfies the standard technical assumptions . further , suppose that the loop class @xmath367 is of positive type .
assume @xmath288 and @xmath504 are periodic , positive points in @xmath423 .
then the set of local dimensions of @xmath3 contains the closed interval with endpoints @xmath505 and @xmath506 .
suppose @xmath288 has period @xmath507 and @xmath504 has period @xmath398 where @xmath508 and @xmath509 are positive matrices with spectral radii @xmath510 and @xmath311 , respectively . with this notation , @xmath511let @xmath512 .
we want to prove that there exists a @xmath158 such that @xmath513    appealing to theorem [ limitperiodic ] , we see it will be enough to show that there is some sequence of periodic , positive points @xmath514 in the loop class @xmath345 such that @xmath515    to do this , we start by choosing admissible paths in @xmath367 , @xmath516 joining the last letter of @xmath398 to the first letter of @xmath517 and @xmath392 doing the opposite , such that @xmath518 . then for any positive integers , @xmath519 , @xmath520 is a square transition matrix .
select two sequences of integers , @xmath521 , @xmath522 tending to infinity , with @xmath523we will prove that the periodic points with period @xmath524 satisfying@xmath525 work .    as @xmath518 , lemmas [ compare ] and [ normsprod ]
combine to imply that for all @xmath390@xmath526and@xmath527    thus @xmath528it follows that ( [ key ] ) is satisfied .    combining the three theorems
we deduce that the set of local dimensions at the essential points of such measures is a closed interval whose endpoints are given by the infimum and the supremum of the local dimensions at essential , periodic points .
[ intend]let @xmath529 essential , positive periodic@xmath530 and @xmath531 essential and positive periodic@xmath532 then@xmath533\text{.}\ ] ]    another immediate corollary is that if the set of essential points is @xmath366 , then the measure admits at most one isolated point .    if the set of essential points of @xmath3 is @xmath366 , then the set of local dimensions of @xmath3 consists of a closed interval together with @xmath534 .
[ ex : golden local dimension ] as observed in example [ ex : golden essential ] , this is the situation for the bernoulli convolution @xmath274 , with @xmath16 the golden ratio .
further , since @xmath535 and @xmath360 is in the essential class , it follows that @xmath14 coincides with the local dimension at an essential point .
consequently , the set of local dimensions of @xmath274 is equal to the closed interval @xmath502 $ ] consisting of the local dimensions at the essential points of @xmath7 .
in @xcite it is shown that @xmath536 and @xmath537 .    more generally , we have the following .
if every maximal loop class is of positive type , then the set of local dimensions of @xmath3 is a finite union of closed intervals .
these intervals can be disjoint .
indeed , in example [ ex : isolated points ] we construct a measure whose set of local dimensions consists of two points ( degenerate intervals ) .
given a family of contractions , @xmath538 , and probabilities @xmath26 , we have implemented an algorithm to find @xmath126 and all of the associated transition matrices .
we use a modified version of @xcite to perform these calculations .
we give an overview here , by means of a worked example .
for this we consider the six contractions , the maps @xmath539 for @xmath540 , for @xmath541 the corresponding self - similar set is the @xmath542-fold sum of the middle - third cantor set rescaled to @xmath73 $ ] .
suppose the maps have normalized probabilities @xmath543 .
one can see that @xmath544\in \mathcal{f}_{0}$ ] has characteristic vector @xmath545 .
we will call this characteristic vector 1 . here
the first @xmath46 is the normalized length of the interval .
the sequence @xmath546 is @xmath547 is the neighbourhood set .
the last @xmath548 is @xmath549 . for the questions we are interested in ,
@xmath550 is not needed , hence we will suppress it in the future , instead allowing multiple edges between nodes in the graph .
this gives a reduced characteristic vector of @xmath551 .    instead of considering all intervals in @xmath552
, we only consider those that arise from new reduced characteristic vectors found to be in @xmath553 .
so , initially , we look at those children of reduced characteristic vector 1 . in this case , these two things are the same , but we will see later on that this is not always the case .
we first subdivide @xmath73 $ ] by considering the maps @xmath554 and and @xmath555 for all @xmath556 and @xmath557 .
this partitions the interval at the points @xmath558 .
consider first @xmath559 $ ] coming from this subdivision .
we see that its normalized length is @xmath560 and it has neighbourhood set @xmath546 .
we label @xmath561 as the reduced characteristic vector 2 .
the @xmath80 that contributes to @xmath275 is @xmath562 and is associated to the normalized probability of @xmath46 .
hence the transition matrix is @xmath563 $ ] .
now , consider @xmath564 $ ] .
this again has normalized length @xmath565 and neighbourhood set @xmath566 .
we label @xmath567 as the reduced characteristic vector 3 .
the @xmath275 comes from @xmath568 and the @xmath565 from @xmath569 , hence the transition matrix is @xmath570 $ ] .
we continue in this fashion , noting that for @xmath571 $ ] , where @xmath572 , the characteristic vector is @xmath573 , which we label as 4 . in feng s notation , we would distinguish these as four different characteristic vectors by use of their third component , @xmath574 .
we will not distinguish these , but will instead allow multiple maps from the reduced characteristic vector 1 to the reduced characteristic vector 4 . these are @xmath575 \text { } \mathrm{or}\ \left [   \begin{array}{ccc } p_{3 } & p_{2 } & p_{1}% \end{array}% \right ] \\ & \mathrm{or}\ \left [   \begin{array}{ccc } p_{4 } & p_{3 } & p_{2}% \end{array}% \right ] \mathrm{or}\
\left [   \begin{array}{ccc } p_{5 } & p_{4 } & p_{3}% \end{array}% \right ] .\end{aligned}\ ] ]    continuing in this fashion , we can compute the finite set of reduced characteristic vectors obtaining    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath576 * reduced characteristic vector 3 : @xmath577 * reduced characteristic vector 4 : @xmath578 * reduced characteristic vector 5 : @xmath579 * reduced characteristic vector 6 : @xmath580 * reduced characteristic vector 7 : @xmath581    the characteristic vectors 4 and 5 comprise the essential set .
, with @xmath582    for a complete list of transition matrices , see the supplementary information @xcite .      given a loop class of positive type , there are two main ways we obtain good estimates on the set of local dimensions associated to this loop class .
the first is to find explicit examples of periodic points within the loop class and calculate their local dimensions by determining the spectral radius of the transition matrix of the cycle .
applying theorem [ periodicdense ] , this will produce an interval contained in the set of local dimensions of the loop class .    to find upper and lower bounds on the set of local dimensions we use the family of pseudo - norms : @xmath583these are the sub - norm on indices @xmath227 , the total sub - norm and the total sup - norm respectively .
the total sup - norm is actually a norm . here
@xmath227 is a subset of the indices of the column vectors .
care must be take here that the subset @xmath227 is valid for all matrices within the loop class one is considering , as different transition matrices may have different dimensions .
for all matrices , @xmath584 we have @xmath585and latexmath:[\[\left\vert t\right\vert _
{ \min } , \left\vert t\right\vert _ { c,\min } \leq    @xmath368 is the number of columns in @xmath587 .
we can thus obtain upper and lower bounds for the local dimensions at points in the loop class by calculating these pseudo - norms for all admissible products of primitive transition matrices from the loop class up to some fixed length and using formula ( [ f2 ] ) .
we remark that pseudo - norms based on a subset of the indices of the row vectors would serve , as well .
[ ex : isolated points ] a measure whose local dimension is two isolated points : we continue with the example described above , but now take the normalized uniform weights @xmath588 .
let @xmath3 denote the associated self - similar measure .    the essential class ,
as mentioned above , is \{4 , 5 } and its primitive transition matrices are : @xmath589 & t(4,5 ) & = \left [   \begin{array}{cc } 1 & 0 \\   \noalign{\medskip}1 & 1 \\   \noalign{\medskip}0 & 1% \end{array}% \right ] \\
t(4,4 ) & = \left [   \begin{array}{ccc } 1 & 1 & 0 \\   \noalign{\medskip}1 & 1 & 1 \\   \noalign{\medskip}0 & 0 & 1% \end{array}% \right ] & t(5,5 ) & = \left [   \begin{array}{cc } 1 & 1 \\   \noalign{\medskip}1 & 1% \end{array}% \right ] \\
t(5,4 ) & = \left [   \begin{array}{ccc } 1 & 1 & 1 \\   \noalign{\medskip}1 & 1 & 1% \end{array}% \right ] & t(5,5 ) & = \left [   \begin{array}{cc } 1 & 1 \\   \noalign{\medskip}1 & 1% \end{array}% \right ] \\ & & & \end{aligned}\ ] ]    as the total column sub and sup - norms for all these matrices is @xmath388 , it follows that all @xmath351-fold products of primitive transition matrices in the essential class will have their ( usual ) norm in the interval @xmath590 $ ] .
it follows that the local dimension at any point in the essential class is @xmath591 .    as the local dimension at @xmath275 and @xmath46 is equal to @xmath592 , the set of local dimensions of @xmath3 consists of the two distinct points , @xmath593\}=\{1\}\cup \left\ { 1+\log 2/\log 3\right\ } .\ ] ]
in example [ ex : shmerkin ] we considered the ifs @xmath594for integers @xmath595 and the self - similar cantor - like measures @xmath3 associated with this ifs and probabilities @xmath596 .
this class of measures includes , for example , the @xmath0-fold convolution of the uniform cantor measure with contraction factor @xmath6 rescaled to @xmath73 $ ] .
the self - similar set is the full interval @xmath73 $ ] when @xmath75 .    the results in @xcite and @xcite , which extend @xcite , together
imply that if @xmath597 and @xmath598 , @xmath599 , then the set of local dimensions of @xmath3 consists of a closed interval and one ( or two ) isolated points , the local dimensions at @xmath275 and @xmath46 .
these facts can be recovered by our methods as well , when , in addition , @xmath600 .
let @xmath3 be the self - similar measure associated with the ifs ( [ cantor ] ) with @xmath601 and probabilities satisfying @xmath602 .
then the set of essential points is the open interval @xmath366 and @xmath14 is an isolated point in the set of all local dimensions . indeed , for @xmath603 , @xmath604    we note , first , that the iterates of @xmath275 at level @xmath34 ( meaning the real values @xmath605 for @xmath101 ) occur every @xmath606 , beginning at @xmath275 and ending at @xmath607 .
similarly , the iterates of @xmath46 are spaced the same distance apart , but start at @xmath608 and end at @xmath46 . in the subinterval
@xmath609 $ ] they alternate , except in the special case that @xmath610 mod@xmath611 , when they coincide .
we will assume @xmath612 mod@xmath611 and leave the easier case for the reader .
adjacent @xmath34th level net intervals contained in @xmath609 $ ] are of the form @xmath613 $ ] , @xmath614 $ ] where if @xmath615 is an iterate of @xmath275 , then @xmath616for suitable integers @xmath617 .
there is a similar formula when @xmath615 is an iterate of @xmath46 .
if @xmath618 for integer @xmath619 and @xmath620 , then it is easily seen that @xmath621 .
thus @xmath34th level net intervals have either ( non - normalized ) length @xmath622and , in either case , have length between @xmath623 and @xmath624 .
let @xmath625 and assume @xmath34 is chosen so large that @xmath626 .
let @xmath627 $ ] denote the @xmath34th level net interval containing @xmath158 .
the choice of @xmath34 ensures that all the numbers of the form @xmath628 for integer @xmath183 with @xmath629 are iterates of @xmath275 at level @xmath34 and hence comprise the neighbour set of @xmath630 $ ] .
thus the neighbour set depends only upon whether @xmath279 is an iterate of @xmath275 or an iterate of @xmath46 .
it follows that there are only two reduced characteristic vectors associated with these net intervals .
furthermore , the length of these net intervals is sufficiently large to ensure that that the interior of each such interval contains at least one @xmath631-iterate of @xmath275 and one @xmath151-iterate of @xmath46 .
consequently , each such @xmath34th level net interval contains both styles of net intervals of level @xmath151 ( and no other children ) .
it follows that their characteristic vectors belong to the essential class and that proves the set of essential points is @xmath366 .    to prove the upper bound given in the statement of the proposition for @xmath632 with @xmath633
we will show that if @xmath159=(\gamma _ { 0},\gamma _ { 1},\dots)$ ] and @xmath34 is sufficiently large , then @xmath634 where @xmath635 is the total column sub - norm introduced in the preceding section .
we can assume @xmath636 and take @xmath637 .
suppose @xmath638 , @xmath639 $ ] , @xmath640 $ ] , and the neighbour sets are @xmath641 and @xmath642 respectively , where @xmath643 .    temporarily fix @xmath351 . by definition ,
@xmath644 when there is some @xmath101 and @xmath249 such that @xmath645 and @xmath646 and @xmath647 @xmath275 otherwise .
of course , there is some choice of @xmath28 with a valid choice of @xmath648 . if @xmath649 we are done .
so assume this @xmath650 .
that means @xmath651 .
the bounds on @xmath158 ensure that for some @xmath652 , @xmath653furthermore , @xmath654 this implies there is some @xmath183 such that @xmath655 ; indeed , @xmath656 .
another routine calculation shows @xmath657 , thus @xmath658 .    if , instead , @xmath659 , similar arguments prove @xmath660 .
this completes the proof .
we are not claiming that these bounds on @xmath661 for @xmath603 are sharp , merely illustrating that we can recover the property that @xmath662 is an isolated point with our approach .    in ( * ? ? ? * thm .
6.1 ) , the minimum and maximum local dimensions , other than at @xmath663 , were investigated for the case of the @xmath0-fold convolution of the uniform cantor measure for small @xmath0 .
we show that there exists @xmath0 outside of these ranges where these formula do not hold .
[ ex : m - fold convolution ] consider the @xmath0-fold convolution of the uniform cantor measure with contraction factor @xmath1 , for integer @xmath664 .
it is shown in @xcite that if @xmath665 , then @xmath666where @xmath667it was also shown there that for all even @xmath0 , @xmath668 .    using the computer ,
we have checked these formulas for @xmath669 and @xmath670 .
we have found that the right hand side of ( [ eq : min ] ) is not @xmath671 and is not the minimal local dimension for @xmath672 moreover , for @xmath673 the minimal local dimension does not occur at the point @xmath674 .
in fact , the predicted value of the minimum local dimension is greater than the maximum local dimension other than for @xmath675 .
see tables [ tab : min ] and [ tab : max ] .
we note that in tables tab : min and [ tab : max ] , when the formula is known to hold for theoretical reasons , we put the precise value , otherwise we put a range , coming from the techniques of section [ sec : comp ] .    in @xcite , there was also a formula given for the maximum local dimension other than at @xmath675 .
let @xmath676 , @xmath677 and @xmath678 . put @xmath679it was shown that for @xmath680 , @xmath681 and @xmath682here @xmath26 should be understood as @xmath275 if @xmath683 .
using our methods , we can show that for @xmath669 , @xmath684 , these statements continue to be true , that is , @xmath685 @xmath686 and @xmath687 is the value specified by the right hand side of formula ( [ eq : max ] ) .
but for @xmath669 and @xmath688 , the predicted maximum local dimension from the right hand side of is too big .
we have not been able to determine if @xmath689 is the point where the maximum dimension occurs .
we refer the reader to the supplementary information @xcite where this example is worked out in full detail .
.minimal local dimensions [ cols= " < , < , < , < " , ]     .      in this subsection
we study the rescaled measure @xmath691 where @xmath7 is the bernoulli convolution with @xmath16 the golden ratio .
this is the self - similar measure associated with the ifs of contractions @xmath692 , @xmath693 and @xmath694 , with corresponding ( regular ) probabilities @xmath695 .
it is of finite type and has support @xmath73 $ ] .
the reduced transition diagram has 40 reduced characteristic vectors .
the essential class can be naturally identified with those labelled by @xmath696 .
two cycles in the essential class are @xmath697 and @xmath698 .
the spectral radius of @xmath699 is approximately @xmath700 , while the spectral radius of @xmath701 is approximately @xmath702 .
this shows that@xmath703\subseteq \{\dim \nu _ { \rho } ( x):x\text{essential}\}.\ ] ]    we have also been able to find upper and lower bounds on the local dimensions from the essential class using the method described in subsection [ algdim ] .
we obtain an upper bound by taking the column sub - norm with the subset @xmath704 @xmath705 and taking admissible products of up to 20 primitive transition matrices .
we obtain a lower bound by using the total column sup - norm with products of up to 10 primitive transition matrices .
these calculations give@xmath706.\ ] ]    there are four non - essential maximal loops , each of which is a singleton .
the maximal loop classes @xmath362 and @xmath707 correspond to the two endpoints of the support , @xmath663 . the transition matrix in both cases is the @xmath708 identity matrix and the points have local dimension @xmath709    the other two maximal loop classes are @xmath710 and @xmath711 .
the characteristic vector of 25 is @xmath712 .
its transition matrix has the same spectral radius as @xmath713 , hence the local dimension at any point in the loop class @xmath710 coincides with the local dimension at some essential point .
similar statements hold for the loop class @xmath711 .
thus the set of local dimensions of @xmath714 consists of an interval and an isolated point , @xmath715 .
we recall that a point @xmath158 can have a most two symbolic representations , and that this will occur only if @xmath716 .
let @xmath717 be the point with symbolic representation @xmath718this point also has symbolic representation @xmath719we see that both representations of these points are external to the loop class , and hence we have a countable number of non - essential points .    not all points with a symbolic representation in a loop class external to the essential set need be non - essential . to see this we observe that @xmath720 are two symbolic representations for the same point , one of which is in the essential class , and one of which is not .
hence this point is an essential point .
the transition matrices of the cycles @xmath721 and @xmath392 give the extreme values of spectral radii over all transition matrices of essential cycles of length up to 10
. it would be interesting to know if these give the endpoints of the interval portion of the set of local dimensions .
we thank m. ng for helping with some of the calculations on the cantor - like measures .
99 c. bruggeman and k. e. hare , _ multi - fractal analysis of convolution powers of measures _ , real anal .
exch . * 38*(2013 ) , 391 - 408 .    c. bruggeman , k. e. hare and c. mak , _ multi - fractal spectrum of self - similar measures with overlap _ , nonlinearity * 27*(2014 ) , 227 - 256 .
r. cawley and r.d .
mauldin , _ multi - fractal decompositions of moran fractals _ , adv . math . *
92*(1992 ) , 196 - 236 .
deng , k - s .
lau and s - m .
ngai , _ separation conditions for iterated function systems with overlaps _ , contemporary math . *
600*(2013 ) , 1 - 20 .
k. falconer , _ techniques in fractal geometry _ , john wiley and sons , new york , 1997 .    a - h .
fan , k - s .
lau and s - m .
ngai , _ iterated function systems with overlaps _ , asian j. math . *
4*(2000 ) , 243 - 250 .
feng , _ smoothness of the _ @xmath722__-spectrum of self - similar measures with overlaps _ _ ,
j. london math .
68*(2003 ) , 102 - 118 .
feng , _ the limited rademacher functions and bernoulli convolutions asociated with pisot numbers _ , adv . in math . *
195*(2005 ) , 24 - 101 .
feng , _ lyapunov exponents for products of matrices and multifractal analysis .
part ii : general matrices _ ,
isr . j. math . *
170*(2009 ) , 355 - 394 .
feng and k - s .
lau , _ multi - fractal formalism for self - similar measures with weak separation condition _
, j. math .
pures appl . *
92*(2009 ) , 407 - 428 .
feng , k - s . lau and x - y .
wang , _ some exceptional phenomena in multi - fractal formalism :  part ii _ , asian j. math . *
9*(2005 ) , 473 - 488 .
feng and e. olivier , _ multifractal analysis of the weak gibbs measures and phase transition - application to some bernoulli convolutions _
, ergodic theory dynamical systems * 23*(2003 ) , 1751 - 1784 .
fong , k. e. hare and d. johnstone , _ multi - fractal analysis for convolutions of overlapping cantor measures _ , asian j. math . * 15*(2011 ) , 53 - 70 .
k. e. hare , k. g. hare , k. r. matthews , _ local dimensions of measures of finite type  supplementary information _ , preprint 2015 , arxiv .
hu , _ the local dimensions of bernoulli convolution associated with the golden number _ , trans .
349*(1997 ) , 2917 - 2940 .
hu and k - s .
lau , _ multi - fractal structure of convolution of the cantor measure _ , adv .
app . math . *
27*(2001 ) , 1 - 16 .
s. lalley , @xmath311__-expansions with deleted digits for pisot numbers , _ _ trans .
soc . * 349*(1997 ) , 4355 - 4365 .
k. s. lau and s. m. ngai , _ multifractal measures and a weak separation condition _ ,
adv . math . * 141*(1999 ) , 45 - 96 .    k. s. lau and s. m. ngai , @xmath722__-spectrum of the bernoulli convolution associated with the golden ratio _
_ , studia math . * 131*(1998 ) , 225 - 251 .
k - s . lau and x - y .
wang , _ some exceptional phenomena in multi - fractal formalism :  part i _ , asian j. math * 9*(2005 ) , 275 - 294 .
s. m. ngai and y. wang , _ hausdorff dimension of self - similar sets with overlaps _ , j. london math
* 63*(2001 ) , 655 - 672 .
n. t. nguyen , _
iterated function systems of finite type nd the weak separation property _ , proc .
soc . * 130*(2001 ) , 483 - 487 .
e. olivier , n. sidorov and a. thomas , _ on the gibbs properties of bernoulli convolutions related to _ @xmath311__-enumeration in multinacci bases _ _ , monatsh . math . * 145*(2005 ) , 145 - 174 .
y. peres , w. schlag and b. solomyak , _ sixty years of bernoulli convolutions _ , fractal geometry and stochasics , ii , progress in probability * 46 * , birkhuser , basel , 2000 , 39 - 65 .
a. porzio , _ on the regularity of the multifractal spectrum of bernoulli convolutions _ , j. stats
. phys . *  91*(1998 ) , 17 - 29 .
p. shmerkin , _ a modified multi - fractal formalism for a class of self - similar measures with overlap _ , asian j. math * 9*(2005 ) , 323 - 348 .
b. solomyak , _ notes on bernoulli convolutions _ , fractal geometry and applications : a jubilee of benot mandelbrot , proc . sympos . pure math . ,
*  72 * , amer .
soc . , providence , ri , 2004 , 207230 .
b.  testud , _ phase transitions for the multi - fractal analysis of self - similar measures _ , nonlinearity * 19*(2006 ) , 12011217 .
dept . of pure mathematics ,
university of waterloo , waterloo , ont .
, n2l 3g1 , canada . ` kehare@uwaterloo.ca ` + dept . of pure mathematics ,
university of waterloo , waterloo , ont .
, n2l 3g1 , canada . ` kghare@uwaterloo.ca ` + dept . of pure mathematics ,
university of waterloo , waterloo , ont .
, n2l 3g1 , canada . ` kevinmatthews12@hotmail.com `    * local dimensions of measures of finite type
supplementary information *    kathryn e. hare , kevin g. hare , and kevin r. matthews
this is the supplementary information for the manuscript _ local dimensions of measures of finite type _ by kathryn e. hare , kevin g. hare and kevin r. matthews .
this contains the details of the examples mentioned in this manuscript .    by ``
the probabilities are uniform '' we mean that @xmath723 .    the spectral range of a loop class is @xmath724 recalling that the dimension of a periodic point with cycle @xmath725 is @xmath726 allows an easy translation from the spectral range of a loop and the set of local dimensions of a loop class .    the outline of the examples are as follows .    * examples 2.6 , 3.11 , 4.7 , 4.10 . * * section [ sec:1 ] is for the minimal polynomial @xmath727 with @xmath728 $ ] ( page ) . * examples from section 7 . *
* section [ sec:2 ] is for the minimal polynomial @xmath729 with @xmath730 ( page ) . *
* section [ sec:3 ] is for the minimal polynomial @xmath729 with @xmath731 ( page ) . *
* section [ sec:4 ] is for the minimal polynomial @xmath729 with @xmath732 ( page ) . * * section [ sec:5 ] is for the minimal polynomial @xmath729 with @xmath733 ( page ) . *
* section [ sec:6 ] is for the minimal polynomial @xmath729 with @xmath734 ( page ) . *
* section [ sec:7 ] is for the minimal polynomial @xmath729 with @xmath735 ( page ) . *
* section [ sec:8 ] is for the minimal polynomial @xmath729 with @xmath736 ( page ) . *
* section [ sec:9 ] is for the minimal polynomial @xmath729 with @xmath737 ( page ) .
* examples from section 8 , including table 3 and examples 8.1 and 8.2 * * section [ sec:10 ] is for the minimal polynomial @xmath738 with @xmath728 $ ] ( page ) . *
* section [ sec:11 ] is for the minimal polynomial @xmath739 with @xmath728 $ ] ( page ) . *
* section [ sec:12 ] is for the minimal polynomial @xmath740 with @xmath728 $ ] ( page ) . * * section [ sec:13 ] is for the minimal polynomial @xmath741 with @xmath728 $ ] ( page ) . * * section [ sec:14 ] is for the minimal polynomial @xmath742 with @xmath728 $ ] ( page ) . *
* section [ sec:15 ] is for the minimal polynomial @xmath743 with @xmath728 $ ] ( page ) . *
* section [ sec:16 ] is for the minimal polynomial @xmath744 with @xmath728 $ ] ( page ) .
* example in section 8.2 . *
* section [ sec:17 ] is for the minimal polynomial @xmath727 with @xmath745 $ ] ( page ) .
* example 6.1 * * section [ sec:18 ] is for the minimal polynomial @xmath729 with @xmath730 ( page ) . *
* section [ sec:19 ] is for the minimal polynomial @xmath729 with @xmath731 ( page ) .
* * section [ sec:20 ] is for the minimal polynomial @xmath729 with @xmath732 ( page ) .
consider @xmath746 , the root of @xmath727 and the maps @xmath747 with @xmath748 , and @xmath749 .
the probabilities are uniform .
the reduced transition diagram has 6 reduced characteristic vectors .
the reduced characteristic vectors are :    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath750 * reduced characteristic vector 3 : @xmath751 * reduced characteristic vector 4 : @xmath752 * reduced characteristic vector 5 : @xmath753 * reduced characteristic vector 6 : @xmath754    see figure [ fig : pic1 ] for the transition diagram .     with @xmath728 $ ] , full set + essential class ]    this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(3,5 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\end { array } \right ] \\
t(4,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(4,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(5,3 ) & =   \left [ \begin { array}{cc } 1&0\\ 1&1\end { array } \right ] &    t(5,6 ) & =   \left [ \begin { array}{c } 1\\ 1\end { array } \right ]
\\   t(5,3 ) & =   \left [ \begin { array}{cc } 1&1\\ 0&1\end { array } \right ] &    t(6,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
\end{aligned}\ ] ]    the essential class is : [ 3 , 5 , 6 ] .
the essential class is of positive type .
an example is the path [ 5 , 6 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath756 $ ] .
the minimum comes from the loop @xmath757 $ ] .
the maximum comes from the loop @xmath758 $ ] .
these points will include points of local dimension [ .9404200909 , 1.440420090 ] .
the spectral range is contained in the range @xmath759 $ ] .
the minimum comes from the total row sub - norm of length 10 .
the maximum comes from the total row sup - norm of length 10 .
these points will have local dimension contained in [ .8642520535 , 1.440420090 ] .
there are 2 additional maximal loops .
maximal loop class : [ 4 ] .
the maximal loop class is a simple loop .
it s spectral radius is an isolated points of 1 .
these points have local dimension 1.440420090 .    maximal loop class : [ 2 ] .
the maximal loop class is a simple loop .
it s spectral radius is an isolated points of 1 .
these points have local dimension 1.440420090 .
consider @xmath746 , the root of @xmath729 and the maps @xmath747 with @xmath748 , @xmath761 , @xmath762 , and @xmath763 .
the probabilities are given by @xmath764 , @xmath765 , @xmath766 , and @xmath767 .
the reduced transition diagram has 5 reduced characteristic vectors .
the reduced characteristic vectors are :    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath768 * reduced characteristic vector 3 : @xmath769 * reduced characteristic vector 4 : @xmath770 * reduced characteristic vector 5 : @xmath771    see figure [ fig : pic2 ] for the transition diagram .     with @xmath760 $ ] , full set + essential class ]
this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 3&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{c } 3\end { array } \right ] &    t(1,3 ) & =   \left [ \begin { array}{cc } 3&3\end { array } \right ] \\   t(1,4 ) & =   \left [ \begin { array}{c } 3\end { array } \right ] &    t(1,3 ) & =   \left [ \begin { array}{cc } 1&3\end { array } \right ] \\
t(1,5 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,3 ) & =   \left [ \begin { array}{cc } 3&1\end { array } \right ] &    t(2,4 ) & =   \left [ \begin { array}{c } 3\end { array } \right ] \\
t(2,3 ) & =   \left [ \begin { array}{cc } 3&3\end { array } \right ] &    t(2,4 ) & =   \left [ \begin { array}{c } 3\end { array } \right ] \\
t(3,3 ) & =   \left [ \begin { array}{cc } 1&0\\ 1&3\end { array } \right ] &    t(3,4 ) & =   \left [ \begin { array}{c } 1\\ 1\end { array } \right ] \\
t(3,3 ) & =   \left [ \begin { array}{cc } 3&1\\ 0&1\end { array } \right ] &
t(4,4 ) & =   \left [ \begin { array}{c } 3\end { array } \right ] \\
t(4,3 ) & =   \left [ \begin { array}{cc } 3&3\end { array } \right ] &    t(4,4 ) & =   \left [ \begin { array}{c } 3\end { array } \right ] \\
t(5,4 ) & =   \left [ \begin { array}{c } 3\end { array } \right ] &    t(5,3 ) & =   \left [ \begin { array}{cc } 3&3\end { array } \right ] \\
t(5,4 ) & =   \left [ \begin { array}{c } 3\end { array } \right ] &    t(5,3 ) & =   \left [ \begin { array}{cc } 1&3\end { array } \right ] \\
t(5,5 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    \end{aligned}\ ] ]    the essential class is : [ 3 , 4 ] .
the essential class is of positive type .
an example is the path [ 3 , 4 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath772 $ ] .
the minimum comes from the loop @xmath773 $ ] .
the maximum comes from the loop @xmath774 $ ] .
these points will include points of local dimension [ .892789260 , 1.133544891 ] . the spectral range is contained in the range @xmath775 $ ] .
the minimum comes from the total row sub - norm of length 5 .
the maximum comes from the total row sup - norm of length 5 .
these points will have local dimension contained in [ .892789260 , 1.150482354 ] .
there are 2 additional maximal loops .    maximal loop class : [ 5 ] .
the maximal loop class is a simple loop .
it s spectral radius is an isolated points of 1 .
these points have local dimension 1.892789260 .
maximal loop class : [ 2 ] .
the maximal loop class is a simple loop .
it s spectral radius is an isolated points of 1 .
these points have local dimension 1.892789260 .
consider @xmath746 , the root of @xmath729 and the maps @xmath747 with @xmath748 , @xmath761 , @xmath762 , and @xmath763 .
the probabilities are uniform .
the reduced transition diagram has 5 reduced characteristic vectors .
the reduced characteristic vectors are :    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath768 * reduced characteristic vector 3 : @xmath769 * reduced characteristic vector 4 : @xmath770 * reduced characteristic vector 5 : @xmath771        this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(1,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(1,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(1,5 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &
t(2,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(2,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\   t(3,3 ) & =   \left [ \begin { array}{cc } 1&0\\ 1&1\end { array } \right ] &
t(3,4 ) & =   \left [ \begin { array}{c } 1\\ 1\end { array } \right ] \\
t(3,3 ) & =   \left [ \begin { array}{cc } 1&1\\ 0&1\end { array } \right ] &    t(4,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(4,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(4,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(5,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(5,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(5,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(5,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(5,5 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    \end{aligned}\ ] ]    the essential class is : [ 3 , 4 ] .
the essential class is of positive type .
an example is the path [ 3 , 4 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath1123 $ ] .
the minimum comes from the loop @xmath774 $ ] .
the maximum comes from the loop @xmath773 $ ] .
these points will include points of local dimension [ .8238416275 , 1.261859507 ] . the spectral range is contained in the range @xmath1124 $ ] .
the minimum comes from the total row sub - norm of length 5 .
the maximum comes from the total row sup - norm of length 5 .
these points will have local dimension contained in [ .7949160034 , 1.261859507 ] .
consider @xmath746 , the root of @xmath729 and the maps @xmath747 with @xmath748 , @xmath777 , @xmath778 , @xmath779 , and @xmath780 .
the probabilities are given by @xmath781 , @xmath782 , @xmath766 , @xmath783 , and @xmath784 .
the reduced transition diagram has 4 reduced characteristic vectors .
the reduced characteristic vectors are :    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath785 * reduced characteristic vector 3 : @xmath786 * reduced characteristic vector 4 : @xmath787    see figure [ fig : pic3 ] for the transition diagram .     with @xmath776 $ ] , full set + essential class ]
this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 4&1\end { array } \right ] \\
t(1,3 ) & =   \left [ \begin { array}{cc } 6&4\end { array } \right ] &    t(1,3 ) & =   \left [ \begin { array}{cc } 4&6\end { array } \right ] \\
t(1,3 ) & =   \left [ \begin { array}{cc } 1&4\end { array } \right ] &    t(1,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,3 ) & =   \left [ \begin { array}{cc } 4&1\end { array } \right ] \\
t(2,3 ) & =   \left [ \begin { array}{cc } 6&4\end { array } \right ] &    t(3,3 ) & =   \left [ \begin { array}{cc } 1&0\\ 4&6\end { array } \right ] \\
t(3,3 ) & =   \left [ \begin { array}{cc } 4&1\\ 1&4\end { array } \right ] &    t(3,3 ) & =   \left [ \begin { array}{cc } 6&4\\ 0&1\end { array } \right ] \\
t(4,3 ) & =   \left [ \begin { array}{cc } 4&6\end { array } \right ] &    t(4,3 ) & =   \left [ \begin { array}{cc } 1&4\end { array } \right ] \\
t(4,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    \end{aligned}\ ] ]    the essential class is : [ 3 ] .
the essential class is of positive type .
an example is the path [ 3 , 3 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath788 $ ] .
the minimum comes from the loop @xmath774 $ ] .
the maximum comes from the loop @xmath774 $ ] .
these points will include points of local dimension [ .892789260 , 1.058745493 ] . the spectral range is contained in the range @xmath789 $ ] .
the minimum comes from the total row sub - norm of length 5 .
the maximum comes from the total row sup - norm of length 5 .
these points will have local dimension contained in [ .892789260 , 1.058745493 ] .
there are 2 additional maximal loops .    maximal loop class : [ 4 ] .
the maximal loop class is a simple loop .
it s spectral radius is an isolated points of 1 .
these points have local dimension 2.523719013 .    maximal loop class : [ 2 ] .
the maximal loop class is a simple loop .
it s spectral radius is an isolated points of 1 .
these points have local dimension 2.523719013 .
consider @xmath746 , the root of @xmath729 and the maps @xmath747 with @xmath748 , @xmath777 , @xmath778 , @xmath779 , and @xmath780 .
the probabilities are uniform .
the reduced transition diagram has 4 reduced characteristic vectors .
the reduced characteristic vectors are :          this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(1,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(1,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(1,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(1,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(2,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(3,3 ) & =   \left [ \begin { array}{cc } 1&0\\ 1&1\end { array } \right ] \\
t(3,3 ) & =   \left [ \begin { array}{cc } 1&1\\ 1&1\end { array } \right ] &    t(3,3 ) & =   \left [ \begin { array}{cc } 1&1\\ 0&1\end { array } \right ] \\
t(4,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(4,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(4,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    \end{aligned}\ ] ]    the essential class is : [ 3 ] .
the essential class is of positive type .
an example is the path [ 3 , 3 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath1125 $ ] .
the minimum comes from the loop @xmath774 $ ] .
the maximum comes from the loop @xmath774 $ ] .
these points will include points of local dimension [ .8340437666 , 1.464973520 ] . the spectral range is contained in the range @xmath1126 $ ] .
the minimum comes from the total row sub - norm of length 5 .
the maximum comes from the total row sup - norm of length 5 .
these points will have local dimension contained in [ .8340437666 , 1.464973520 ] .
consider @xmath746 , the root of @xmath729 and the maps @xmath747 with @xmath748 , @xmath791 , @xmath792 , @xmath793 , @xmath794 , and @xmath795 .
the probabilities are given by @xmath796 , @xmath797 , @xmath798 , @xmath799 , @xmath800 , and @xmath801 .
the reduced transition diagram has 7 reduced characteristic vectors .
the reduced characteristic vectors are :    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath576 * reduced characteristic vector 3 : @xmath577 * reduced characteristic vector 4 : @xmath578 * reduced characteristic vector 5 : @xmath579 * reduced characteristic vector 6 : @xmath580 * reduced characteristic vector 7 : @xmath802        this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 5&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 10&5&1\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cc } 10&5\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 10&10&5\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cc } 10&10\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 5&10&10\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cc } 5&10\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 1&5&10\end { array } \right ] &    t(1,6 ) & =   \left [ \begin { array}{cc } 1&5\end { array } \right ] \\
t(1,7 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,3 ) & =   \left [ \begin { array}{cc } 5&1\end { array } \right ] &    t(2,4 ) & =   \left [ \begin { array}{ccc } 10&5&1\end { array } \right ] \\
t(2,5 ) & =   \left [ \begin { array}{cc } 10&5\end { array } \right ] &    t(3,4 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 10&10&5\end { array } \right ] \\
t(3,5 ) & =   \left [ \begin { array}{cc } 1&0\\ 10&10\end { array } \right ] &    t(3,4 ) & =   \left [ \begin { array}{ccc } 5&1&0\\ 5&10&10\end { array } \right ] \\
t(3,5 ) & =   \left [ \begin { array}{cc } 5&1\\ 5&10\end { array } \right ] &    t(3,4 ) & =   \left [ \begin { array}{ccc } 10&5&1\\ 1&5&10\end { array } \right ] \\
t(3,5 ) & =   \left [ \begin { array}{cc } 10&5\\ 1&5\end { array } \right ] &    t(4,4 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 10&10&5\\ 0&1&5\end { array } \right ] \\
t(4,5 ) & =   \left [ \begin { array}{cc } 1&0\\ 10&10\\ 0&1\end { array } \right ] &    t(4,4 ) & =   \left [ \begin { array}{ccc } 5&1&0\\ 5&10&10\\ 0&0&1\end { array } \right ] \\
t(5,5 ) & =   \left [ \begin { array}{cc } 5&1\\ 5&10\end { array } \right ] &
t(5,4 ) & =   \left [ \begin { array}{ccc } 10&5&1\\ 1&5&10\end { array } \right ] \\
t(5,5 ) & =   \left [ \begin { array}{cc } 10&5\\ 1&5\end { array } \right ] &    t(6,5 ) & =   \left [ \begin { array}{cc } 5&1\\ 5&10\end { array } \right ] \\
t(6,4 ) & =   \left [ \begin { array}{ccc } 10&5&1\\ 1&5&10\end { array } \right ] &    t(6,5 ) & =   \left [ \begin { array}{cc } 10&5\\ 1&5\end { array } \right ] \\
t(6,4 ) & =   \left [ \begin { array}{ccc } 10&10&5\\ 0&1&5\end { array } \right ] &    t(6,5 ) & =   \left [ \begin { array}{cc } 10&10\\ 0&1\end { array } \right ] \\
t(6,4 ) & =   \left [ \begin { array}{ccc } 5&10&10\\ 0&0&1\end { array } \right ] &    t(7,5 ) & =   \left [ \begin { array}{cc } 5&10\end { array } \right ] \\
t(7,4 ) & =   \left [ \begin { array}{ccc } 1&5&10\end { array } \right ] &    t(7,6 ) & =   \left [ \begin { array}{cc } 1&5\end { array } \right ] \\
t(7,7 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    \end{aligned}\ ] ]    the essential class is : [ 4 , 5 ] .
the essential class is of positive type .
an example is the path [ 5 , 4 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath803 $ ] .
the minimum comes from the loop @xmath804 $ ] .
the maximum comes from the loop @xmath805 $ ] .
these points will include points of local dimension [ .972638047 , 1.027566600 ] .
the spectral range is contained in the range @xmath806 $ ] .
the minimum comes from the total row sub - norm of length 5 .
the maximum comes from the total row sup - norm of length 5 .
these points will have local dimension contained in [ .972381959 , 1.031992942 ] .
consider @xmath746 , the root of @xmath729 and the maps @xmath747 with @xmath748 , @xmath791 , @xmath792 , @xmath793 , @xmath794 , and @xmath795 .
the probabilities are uniform .
the reduced transition diagram has 7 reduced characteristic vectors .
the reduced characteristic vectors are :    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath576 * reduced characteristic vector 3 : @xmath577 * reduced characteristic vector 4 : @xmath578 * reduced characteristic vector 5 : @xmath579 * reduced characteristic vector 6 : @xmath580 * reduced characteristic vector 7 : @xmath802        this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 1&1&1\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 1&1&1\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 1&1&1\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 1&1&1\end { array } \right ] &    t(1,6 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(1,7 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(2,4 ) & =   \left [ \begin { array}{ccc } 1&1&1\end { array } \right ] \\
t(2,5 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(3,4 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 1&1&1\end { array } \right ] \\
t(3,5 ) & =   \left [ \begin { array}{cc } 1&0\\ 1&1\end { array } \right ] &    t(3,4 ) & =   \left [ \begin { array}{ccc } 1&1&0\\ 1&1&1\end { array } \right ] \\
t(3,5 ) & =   \left [ \begin { array}{cc } 1&1\\ 1&1\end { array } \right ] &    t(3,4 ) & =   \left [ \begin { array}{ccc } 1&1&1\\ 1&1&1\end { array } \right ] \\
t(3,5 ) & =   \left [ \begin { array}{cc } 1&1\\ 1&1\end { array } \right ] &    t(4,4 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 1&1&1\\ 0&1&1\end { array } \right ] \\
t(4,5 ) & =   \left [ \begin { array}{cc } 1&0\\ 1&1\\ 0&1\end { array } \right ] &    t(4,4 ) & =   \left [ \begin { array}{ccc } 1&1&0\\ 1&1&1\\ 0&0&1\end { array } \right ] \\
t(5,5 ) & =   \left [ \begin { array}{cc } 1&1\\ 1&1\end { array } \right ] &
t(5,4 ) & =   \left [ \begin { array}{ccc } 1&1&1\\ 1&1&1\end { array } \right ] \\
t(5,5 ) & =   \left [ \begin { array}{cc } 1&1\\ 1&1\end { array } \right ] &    t(6,5 ) & =   \left [ \begin { array}{cc } 1&1\\ 1&1\end { array } \right ] \\
t(6,4 ) & =   \left [ \begin { array}{ccc } 1&1&1\\ 1&1&1\end { array } \right ] &    t(6,5 ) & =   \left [ \begin { array}{cc } 1&1\\ 1&1\end { array } \right ] \\
t(6,4 ) & =   \left [ \begin { array}{ccc } 1&1&1\\ 0&1&1\end { array } \right ] &    t(6,5 ) & =   \left [ \begin { array}{cc } 1&1\\ 0&1\end { array } \right ] \\
t(6,4 ) & =   \left [ \begin { array}{ccc } 1&1&1\\ 0&0&1\end { array } \right ] &    t(7,5 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(7,4 ) & =   \left [ \begin { array}{ccc } 1&1&1\end { array } \right ] &    t(7,6 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(7,7 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    \end{aligned}\ ] ]    the essential class is : [ 4 , 5 ] .
the essential class is of positive type .
an example is the path [ 5 , 4 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath1127 $ ] .
the minimum comes from the loop @xmath826 $ ] .
the maximum comes from the loop @xmath826 $ ] .
these points will include points of local dimension [ .9999999996 , .9999999996 ] . the spectral range is contained in the range @xmath1128 $ ] .
the minimum comes from the total row sub - norm of length 5 .
the maximum comes from the total row sup - norm of length 5 .
these points will have local dimension contained in [ .9999999996 , .9999999996 ] .
consider @xmath746 , the root of @xmath729 and the maps @xmath747 with @xmath748 , @xmath808 , @xmath809 , @xmath810 , @xmath811 , @xmath812 , and @xmath813 .
the probabilities are given by @xmath814 , @xmath815 , @xmath816 , @xmath799 , @xmath817 , @xmath818 , and @xmath819 .
the reduced transition diagram has 6 reduced characteristic vectors .
the reduced characteristic vectors are :    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath820 * reduced characteristic vector 3 : @xmath821 * reduced characteristic vector 4 : @xmath822 * reduced characteristic vector 5 : @xmath823 * reduced characteristic vector 6 : @xmath824        this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 6&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 15&6&1\end { array } \right ] &    t(1,4 ) & =   \left [ \begin { array}{ccc } 20&15&6\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 15&20&15\end { array } \right ] &    t(1,4 ) & =   \left [ \begin { array}{ccc } 6&15&20\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 1&6&15\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cc } 1&6\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,3 ) & =   \left [ \begin { array}{cc } 6&1\end { array } \right ] &    t(2,4 ) & =   \left [ \begin { array}{ccc } 15&6&1\end { array } \right ] \\
t(3,4 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 20&15&6\end { array } \right ] &    t(3,4 ) & =   \left [ \begin { array}{ccc } 6&1&0\\ 15&20&15\end { array } \right ] \\
t(3,4 ) & =   \left [ \begin { array}{ccc } 15&6&1\\ 6&15&20\end { array } \right ] &    t(4,4 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 20&15&6\\ 1&6&15\end { array } \right ] \\
t(4,4 ) & =   \left [ \begin { array}{ccc } 6&1&0\\ 15&20&15\\ 0&1&6\end { array } \right ] &    t(4,4 ) & =   \left [ \begin { array}{ccc } 15&6&1\\ 6&15&20\\ 0&0&1\end { array } \right ] \\
t(5,4 ) & =   \left [ \begin { array}{ccc } 20&15&6\\ 1&6&15\end { array } \right ] &    t(5,4 ) & =   \left [ \begin { array}{ccc } 15&20&15\\ 0&1&6\end { array } \right ] \\
t(5,4 ) & =   \left [ \begin { array}{ccc } 6&15&20\\ 0&0&1\end { array } \right ] &    t(6,4 ) & =   \left [ \begin { array}{ccc } 1&6&15\end { array } \right ] \\
t(6,5 ) & =   \left [ \begin { array}{cc } 1&6\end { array } \right ] &    t(6,6 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\ \end{aligned}\ ] ]    the essential class is : [ 4 ] .
the essential class is of positive type .
an example is the path [ 4 , 4 , 4 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath825 $ ] .
the minimum comes from the loop @xmath826 $ ] .
the maximum comes from the loop @xmath826 $ ] .
these points will include points of local dimension [ .976628124 , 1.014334771 ] .
the spectral range is contained in the range @xmath827 $ ] .
the minimum comes from the total row sub - norm of length 5 .
the maximum comes from the total row sup - norm of length 5 .
these points will have local dimension contained in [ .975486976 , 1.014334771 ] .
consider @xmath746 , the root of @xmath729 and the maps @xmath747 with @xmath748 , @xmath829 , @xmath830 , @xmath831 , @xmath832 , @xmath833 , @xmath834 , and @xmath835 .
the probabilities are given by @xmath836 , @xmath837 , @xmath838 , @xmath839 , @xmath840 , @xmath841 , @xmath842 , and @xmath843 .
the reduced transition diagram has 9 reduced characteristic vectors .
the reduced characteristic vectors are :    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath844 * reduced characteristic vector 3 : @xmath845 * reduced characteristic vector 4 : @xmath846 * reduced characteristic vector 5 : @xmath847 * reduced characteristic vector 6 : @xmath848 * reduced characteristic vector 7 : @xmath849 * reduced characteristic vector 8 : @xmath850 * reduced characteristic vector 9 : @xmath851        this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 7&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 21&7&1\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cccc } 35&21&7&1\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{ccc } 35&21&7\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cccc } 35&35&21&7\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{ccc } 35&35&21\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cccc } 21&35&35&21\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{ccc } 21&35&35\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cccc } 7&21&35&35\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{ccc } 7&21&35\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cccc } 1&7&21&35\end { array } \right ] \\
t(1,7 ) & =   \left [ \begin { array}{ccc } 1&7&21\end { array } \right ] &    t(1,8 ) & =   \left [ \begin { array}{cc } 1&7\end { array } \right ] \\
t(1,9 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,3 ) & =   \left [ \begin { array}{cc } 7&1\end { array } \right ] &    t(2,4 ) & =   \left [ \begin { array}{ccc } 21&7&1\end { array } \right ] \\
t(3,5 ) & =   \left [ \begin { array}{cccc } 1&0&0&0\\ 35&21&7&1\end { array } \right ] &    t(3,6 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 35&21&7\end { array } \right ] \\
t(3,5 ) & =   \left [ \begin { array}{cccc } 7&1&0&0\\ 35&35&21&7\end { array } \right ] &    t(3,6 ) & =   \left [ \begin { array}{ccc } 7&1&0\\ 35&35&21\end { array } \right ] \\
t(3,5 ) & =   \left [ \begin { array}{cccc } 21&7&1&0\\ 21&35&35&21\end { array } \right ] &    t(3,6 ) & =   \left [ \begin { array}{ccc } 21&7&1\\ 21&35&35\end { array } \right ] \\
t(4,5 ) & =   \left [ \begin { array}{cccc } 1&0&0&0\\ 35&21&7&1\\ 7&21&35&35\end { array } \right ] &    t(4,6 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 35&21&7\\ 7&21&35\end { array } \right ] \\
t(4,5 ) & =   \left [ \begin { array}{cccc } 7&1&0&0\\ 35&35&21&7\\ 1&7&21&35\end { array } \right ] &    t(4,6 ) & =   \left [ \begin { array}{ccc } 7&1&0\\ 35&35&21\\ 1&7&21\end { array } \right ] \\
t(4,5 ) & =   \left [ \begin { array}{cccc } 21&7&1&0\\ 21&35&35&21\\ 0&1&7&21\end { array } \right ] &    t(4,6 ) & =   \left [ \begin { array}{ccc } 21&7&1\\ 21&35&35\\ 0&1&7\end { array } \right ] \\
t(5,5 ) & =   \left [ \begin { array}{cccc } 1&0&0&0\\ 35&21&7&1\\ 7&21&35&35\\ 0&0&1&7\end { array } \right ] &    t(5,6 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 35&21&7\\ 7&21&35\\ 0&0&1\end { array } \right ] \\
t(5,5 ) & =   \left [ \begin { array}{cccc } 7&1&0&0\\ 35&35&21&7\\ 1&7&21&35\\ 0&0&0&1\end { array } \right ] &    t(6,6 ) & =   \left [ \begin { array}{ccc } 7&1&0\\ 35&35&21\\ 1&7&21\end { array } \right ] \\
t(6,5 ) & =   \left [ \begin { array}{cccc } 21&7&1&0\\ 21&35&35&21\\ 0&1&7&21\end { array } \right ] &    t(6,6 ) & =   \left [ \begin { array}{ccc } 21&7&1\\ 21&35&35\\ 0&1&7\end { array } \right ] \\
t(7,6 ) & =   \left [ \begin { array}{ccc } 7&1&0\\ 35&35&21\\ 1&7&21\end { array } \right ] &
t(7,5 ) & =   \left [ \begin { array}{cccc } 21&7&1&0\\ 21&35&35&21\\ 0&1&7&21\end { array } \right ] \\
t(7,6 ) & =   \left [ \begin { array}{ccc } 21&7&1\\ 21&35&35\\ 0&1&7\end { array } \right ] &    t(7,5 ) & =   \left [ \begin { array}{cccc } 35&21&7&1\\ 7&21&35&35\\ 0&0&1&7\end { array } \right ] \\
t(7,6 ) & =   \left [ \begin { array}{ccc } 35&21&7\\ 7&21&35\\ 0&0&1\end { array } \right ] &    t(7,5 ) & =   \left [ \begin { array}{cccc } 35&35&21&7\\ 1&7&21&35\\ 0&0&0&1\end { array } \right ] \\
t(8,6 ) & =   \left [ \begin { array}{ccc } 35&35&21\\ 1&7&21\end { array } \right ] &    t(8,5 ) & =   \left [ \begin { array}{cccc } 21&35&35&21\\ 0&1&7&21\end { array } \right ] \\
t(8,6 ) & =   \left [ \begin { array}{ccc } 21&35&35\\ 0&1&7\end { array } \right ] &    t(8,5 ) & =   \left [ \begin { array}{cccc } 7&21&35&35\\ 0&0&1&7\end { array } \right ] \\
t(8,6 ) & =   \left [ \begin { array}{ccc } 7&21&35\\ 0&0&1\end { array } \right ] &    t(8,5 ) & =   \left [ \begin { array}{cccc } 1&7&21&35\\ 0&0&0&1\end { array } \right ] \\
t(9,7 ) & =   \left [ \begin { array}{ccc } 1&7&21\end { array } \right ] &    t(9,8 ) & =   \left [ \begin { array}{cc } 1&7\end { array } \right ] \\
t(9,9 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    \end{aligned}\ ] ]    the essential class is : [ 5 , 6 ] .
the essential class is of positive type .
an example is the path [ 6 , 5 , 5 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath852 $ ] .
the minimum comes from the loop @xmath804 $ ] .
the maximum comes from the loop @xmath853 $ ] .
these points will include points of local dimension [ .993847946 , 1.006057728 ] . the spectral range is contained in the range @xmath854 $ ] .
the minimum comes from the total row sub - norm of length 5 .
the maximum comes from the total row sup - norm of length 5 .
these points will have local dimension contained in [ .993576302 , 1.007354690 ] .
consider @xmath746 , the root of @xmath729 and the maps @xmath747 with @xmath748 , @xmath856 , @xmath857 , @xmath858 , @xmath859 , @xmath860 , @xmath861 , @xmath862 , and @xmath863 .
the probabilities are given by @xmath864 , @xmath865 , @xmath866 , @xmath867 , @xmath840 , @xmath868 , @xmath869 , @xmath870 , and @xmath871 .
the reduced transition diagram has 8 reduced characteristic vectors .
the reduced characteristic vectors are :    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath872 * reduced characteristic vector 3 : @xmath873 * reduced characteristic vector 4 : @xmath874 * reduced characteristic vector 5 : @xmath875 * reduced characteristic vector 6 : @xmath876 * reduced characteristic vector 7 : @xmath877 * reduced characteristic vector 8 : @xmath878        this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 8&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 28&8&1\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cccc } 56&28&8&1\end { array } \right ] \\
t(1,5 ) & =   \left [ \begin { array}{cccc } 70&56&28&8\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cccc } 56&70&56&28\end { array } \right ] \\
t(1,5 ) & =   \left [ \begin { array}{cccc } 28&56&70&56\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cccc } 8&28&56&70\end { array } \right ] \\
t(1,5 ) & =   \left [ \begin { array}{cccc } 1&8&28&56\end { array } \right ] &    t(1,6 ) & =   \left [ \begin { array}{ccc } 1&8&28\end { array } \right ] \\
t(1,7 ) & =   \left [ \begin { array}{cc } 1&8\end { array } \right ] &    t(1,8 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,3 ) & =   \left [ \begin { array}{cc } 8&1\end { array } \right ] \\
t(2,4 ) & =   \left [ \begin { array}{ccc } 28&8&1\end { array } \right ] &    t(3,5 ) & =   \left [ \begin { array}{cccc } 1&0&0&0\\ 56&28&8&1\end { array } \right ] \\
t(3,5 ) & =   \left [ \begin { array}{cccc } 8&1&0&0\\ 70&56&28&8\end { array } \right ] &    t(3,5 ) & =   \left [ \begin { array}{cccc } 28&8&1&0\\ 56&70&56&28\end { array } \right ]
\\   t(4,5 ) & =   \left [ \begin { array}{cccc } 1&0&0&0\\ 56&28&8&1\\ 28&56&70&56\end { array } \right ] &    t(4,5 ) & =   \left [ \begin { array}{cccc } 8&1&0&0\\ 70&56&28&8\\ 8&28&56&70\end { array } \right ] \\
t(4,5 ) & =   \left [ \begin { array}{cccc } 28&8&1&0\\ 56&70&56&28\\ 1&8&28&56\end { array } \right ] &    t(5,5 ) & =   \left [ \begin { array}{cccc } 1&0&0&0\\ 56&28&8&1\\ 28&56&70&56\\ 0&1&8&28\end { array } \right ] \\
t(5,5 ) & =   \left [ \begin { array}{cccc } 8&1&0&0\\ 70&56&28&8\\ 8&28&56&70\\ 0&0&1&8\end { array } \right ] &    t(5,5 ) & =   \left [ \begin { array}{cccc } 28&8&1&0\\ 56&70&56&28\\ 1&8&28&56\\ 0&0&0&1\end { array } \right ] \\
t(6,5 ) & =   \left [ \begin { array}{cccc } 56&28&8&1\\ 28&56&70&56\\ 0&1&8&28\end { array } \right ] &    t(6,5 ) & =   \left [ \begin { array}{cccc } 70&56&28&8\\ 8&28&56&70\\ 0&0&1&8\end { array } \right ] \\
t(6,5 ) & =   \left [ \begin { array}{cccc } 56&70&56&28\\ 1&8&28&56\\ 0&0&0&1\end { array } \right ] &    t(7,5 ) & =   \left [ \begin { array}{cccc } 28&56&70&56\\ 0&1&8&28\end { array } \right ] \\
t(7,5 ) & =   \left [ \begin { array}{cccc }
8&28&56&70\\ 0&0&1&8\end { array } \right ] &    t(7,5 ) & =   \left [ \begin { array}{cccc } 1&8&28&56\\ 0&0&0&1\end { array } \right ] \\
t(8,6 ) & =   \left [ \begin { array}{ccc } 1&8&28\end { array } \right ] &    t(8,7 ) & =   \left [ \begin { array}{cc } 1&8\end { array } \right ] \\
t(8,8 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    \end{aligned}\ ] ]    the essential class is : [ 5 ] .
the essential class is of positive type .
an example is the path [ 5 , 5 , 5 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath879 $ ] .
the minimum comes from the loop @xmath880 $ ] .
the maximum comes from the loop @xmath880 $ ] .
these points will include points of local dimension [ .995246196 , 1.003425326 ] . the spectral range is contained in the range @xmath881 $ ] .
the minimum comes from the total row sub - norm of length 5 .
the maximum comes from the total row sup - norm of length 5 .
these points will have local dimension contained in [ .994695517 , 1.003455237 ] .
consider @xmath746 , the root of @xmath729 and the maps @xmath747 with @xmath748 , @xmath883 , @xmath884 , @xmath885 , @xmath886 , @xmath887 , @xmath888 , @xmath889 , @xmath890 , and @xmath891 .
the probabilities are given by @xmath892 , @xmath893 , @xmath894 , @xmath895 , @xmath896 , @xmath897 , @xmath898 , @xmath899 , @xmath900 , and @xmath901 .
the reduced transition diagram has 11 reduced characteristic vectors .
the reduced characteristic vectors are :    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath902 * reduced characteristic vector 3 : @xmath903 * reduced characteristic vector 4 : @xmath904 * reduced characteristic vector 5 : @xmath905 * reduced characteristic vector 6 : @xmath906 * reduced characteristic vector 7 : @xmath907 * reduced characteristic vector 8 : @xmath908 * reduced characteristic vector 9 : @xmath909 * reduced characteristic vector 10 : @xmath910 * reduced characteristic vector 11 : @xmath911        this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 9&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 36&9&1\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cccc } 84&36&9&1\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{ccccc } 126&84&36&9&1\end { array } \right ] &    t(1,7 ) & =   \left [ \begin { array}{cccc } 126&84&36&9\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{ccccc } 126&126&84&36&9\end { array } \right ] &    t(1,7 ) & =   \left [ \begin { array}{cccc } 126&126&84&36\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{ccccc } 84&126&126&84&36\end { array } \right ] &    t(1,7 ) & =   \left [ \begin { array}{cccc } 84&126&126&84\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{ccccc } 36&84&126&126&84\end { array } \right ] &    t(1,7 ) & =   \left [ \begin { array}{cccc } 36&84&126&126\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{ccccc } 9&36&84&126&126\end { array } \right ] &    t(1,7 ) & =   \left [ \begin { array}{cccc } 9&36&84&126\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{ccccc } 1&9&36&84&126\end { array } \right ] &    t(1,8 ) & =   \left [ \begin { array}{cccc } 1&9&36&84\end { array } \right ] \\
t(1,9 ) & =   \left [ \begin { array}{ccc } 1&9&36\end { array } \right ] &    t(1,10 ) & =   \left [ \begin { array}{cc } 1&9\end { array } \right ] \\
t(1,11 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,3 ) & =   \left [ \begin { array}{cc } 9&1\end { array } \right ] &    t(2,4 ) & =   \left [ \begin { array}{ccc } 36&9&1\end { array } \right ] \\
t(3,5 ) & =   \left [ \begin { array}{cccc } 1&0&0&0\\ 84&36&9&1\end { array } \right ] &    t(3,6 ) & =   \left [ \begin { array}{ccccc } 9&1&0&0&0\\ 126&84&36&9&1\end { array } \right ] \\
t(3,7 ) & =   \left [ \begin { array}{cccc } 9&1&0&0\\ 126&84&36&9\end { array } \right ] &    t(3,6 ) & =   \left [ \begin { array}{ccccc } 36&9&1&0&0\\ 126&126&84&36&9\end { array } \right ] \\
t(3,7 ) & =   \left [ \begin { array}{cccc } 36&9&1&0\\ 126&126&84&36\end { array } \right ] &    t(4,6 ) & =   \left [ \begin { array}{ccccc } 1&0&0&0&0\\ 84&36&9&1&0\\ 84&126&126&84&36\end { array } \right ] \\
t(4,7 ) & =   \left [ \begin { array}{cccc } 1&0&0&0\\ 84&36&9&1\\ 84&126&126&84\end { array } \right ] &    t(4,6 ) & =   \left [ \begin { array}{ccccc } 9&1&0&0&0\\ 126&84&36&9&1\\ 36&84&126&126&84\end { array } \right ] \\
t(4,7 ) & =   \left [ \begin { array}{cccc } 9&1&0&0\\ 126&84&36&9\\ 36&84&126&126\end { array } \right ] &    t(4,6 ) & =   \left [ \begin { array}{ccccc } 36&9&1&0&0\\ 126&126&84&36&9\\ 9&36&84&126&126\end { array } \right ] \\
t(4,7 ) & =   \left [ \begin { array}{cccc } 36&9&1&0\\ 126&126&84&36\\ 9&36&84&126\end { array } \right ] &    t(5,6 ) & =   \left [ \begin { array}{ccccc } 1&0&0&0&0\\ 84&36&9&1&0\\ 84&126&126&84&36\\ 1&9&36&84&126\end { array } \right ] \\
t(5,7 ) & =   \left [ \begin { array}{cccc } 1&0&0&0\\ 84&36&9&1\\ 84&126&126&84\\ 1&9&36&84\end { array } \right ] &    t(5,6 ) & =   \left [ \begin { array}{ccccc } 9&1&0&0&0\\ 126&84&36&9&1\\ 36&84&126&126&84\\ 0&1&9&36&84\end { array } \right ] \\
t(5,7 ) & =   \left [ \begin { array}{cccc } 9&1&0&0\\ 126&84&36&9\\ 36&84&126&126\\ 0&1&9&36\end { array } \right ] &    t(5,6 ) & =   \left [ \begin { array}{ccccc } 36&9&1&0&0\\ 126&126&84&36&9\\ 9&36&84&126&126\\ 0&0&1&9&36\end { array } \right ] \\   t(5,7 ) & =   \left [ \begin { array}{cccc } 36&9&1&0\\ 126&126&84&36\\ 9&36&84&126\\ 0&0&1&9\end { array } \right ] &    t(6,6 ) & =   \left [ \begin { array}{ccccc } 1&0&0&0&0\\ 84&36&9&1&0\\ 84&126&126&84&36\\
1&9&36&84&126\\ 0&0&0&1&9\end { array } \right ] \\
t(6,7 ) & =   \left [ \begin { array}{cccc } 1&0&0&0\\ 84&36&9&1\\ 84&126&126&84\\
1&9&36&84\\ 0&0&0&1\end { array } \right ] &    t(6,6 ) & =   \left [ \begin { array}{ccccc } 9&1&0&0&0\\ 126&84&36&9&1\\ 36&84&126&126&84\\
0&1&9&36&84\\ 0&0&0&0&1\end { array } \right ] \\
t(7,7 ) & =   \left [ \begin { array}{cccc } 9&1&0&0\\ 126&84&36&9\\ 36&84&126&126\\ 0&1&9&36\end { array } \right ] &    t(7,6 ) & =   \left [ \begin { array}{ccccc } 36&9&1&0&0\\ 126&126&84&36&9\\ 9&36&84&126&126\\ 0&0&1&9&36\end { array } \right ] \\
t(7,7 ) & =   \left [ \begin { array}{cccc } 36&9&1&0\\ 126&126&84&36\\ 9&36&84&126\\ 0&0&1&9\end { array } \right ] &    t(8,7 ) & =   \left [ \begin { array}{cccc } 9&1&0&0\\ 126&84&36&9\\ 36&84&126&126\\ 0&1&9&36\end { array } \right ] \\
t(8,6 ) & =   \left [ \begin { array}{ccccc } 36&9&1&0&0\\ 126&126&84&36&9\\ 9&36&84&126&126\\ 0&0&1&9&36\end { array } \right ] &    t(8,7 ) & =   \left [ \begin { array}{cccc } 36&9&1&0\\ 126&126&84&36\\ 9&36&84&126\\ 0&0&1&9\end { array } \right ] \\
t(8,6 ) & =   \left [ \begin { array}{ccccc } 84&36&9&1&0\\ 84&126&126&84&36\\ 1&9&36&84&126\\ 0&0&0&1&9\end { array } \right ] &    t(8,7 ) & =   \left [ \begin { array}{cccc } 84&36&9&1\\ 84&126&126&84\\ 1&9&36&84\\ 0&0&0&1\end { array } \right ] \\
t(8,6 ) & =   \left [ \begin { array}{ccccc } 126&84&36&9&1\\ 36&84&126&126&84\\ 0&1&9&36&84\\ 0&0&0&0&1\end { array } \right ] &    t(9,7 ) & =   \left [ \begin { array}{cccc } 126&84&36&9\\ 36&84&126&126\\ 0&1&9&36\end { array } \right ] \\
t(9,6 ) & =   \left [ \begin { array}{ccccc } 126&126&84&36&9\\ 9&36&84&126&126\\ 0&0&1&9&36\end { array } \right ] &    t(9,7 ) & =   \left [ \begin { array}{cccc } 126&126&84&36\\ 9&36&84&126\\ 0&0&1&9\end { array } \right ] \\
t(9,6 ) & =   \left [ \begin { array}{ccccc } 84&126&126&84&36\\ 1&9&36&84&126\\ 0&0&0&1&9\end { array } \right ] &    t(9,7 ) & =   \left [ \begin { array}{cccc } 84&126&126&84\\ 1&9&36&84\\ 0&0&0&1\end { array } \right ] \\
t(9,6 ) & =   \left [ \begin { array}{ccccc } 36&84&126&126&84\\ 0&1&9&36&84\\ 0&0&0&0&1\end { array } \right ] &    t(10,7 ) & =   \left [ \begin { array}{cccc } 36&84&126&126\\ 0&1&9&36\end { array } \right ] \\
t(10,6 ) & =   \left [ \begin { array}{ccccc } 9&36&84&126&126\\ 0&0&1&9&36\end { array } \right ] &    t(10,7 ) & =   \left [ \begin { array}{cccc } 9&36&84&126\\ 0&0&1&9\end { array } \right ] \\
t(10,6 ) & =   \left [ \begin { array}{ccccc } 1&9&36&84&126\\ 0&0&0&1&9\end { array } \right ] &    t(10,8 ) & =   \left [ \begin { array}{cccc } 1&9&36&84\\ 0&0&0&1\end { array } \right ] \\
t(11,9 ) & =   \left [ \begin { array}{ccc } 1&9&36\end { array } \right ] &    t(11,10 ) & =   \left [ \begin { array}{cc } 1&9\end { array } \right ] \\
t(11,11 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    \end{aligned}\ ] ]    the essential class is : [ 6 , 7 ] .
the essential class is of positive type .
an example is the path [ 7 , 6 , 6 ] . the essential class is not a simple loop .
this spectral range will include the interval @xmath912 $ ] .
the minimum comes from the loop @xmath913 $ ] .
the maximum comes from the loop @xmath853 $ ] .
these points will include points of local dimension [ .998657167 , 1.001330544 ] . the spectral range is contained in the range @xmath914 $ ] .
the minimum comes from the total row sub - norm of length 5 .
the maximum comes from the total row sup - norm of length 5 .
these points will have local dimension contained in [ .998541136 , 1.001708776 ] .
consider @xmath746 , the root of @xmath729 and the maps @xmath747 with @xmath748 , @xmath916 , @xmath917 , @xmath918 , @xmath919 , @xmath920 , @xmath921 , @xmath922 , @xmath923 , @xmath924 , and @xmath925 .
the probabilities are given by @xmath926 , @xmath927 , @xmath928 , @xmath929 , @xmath930 , @xmath897 , @xmath931 , @xmath932 , @xmath933 , @xmath934 , and @xmath935 .
the reduced transition diagram has 10 reduced characteristic vectors .
the reduced characteristic vectors are :    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath936 * reduced characteristic vector 3 : @xmath937 * reduced characteristic vector 4 : @xmath938 * reduced characteristic vector 5 : @xmath939 * reduced characteristic vector 6 : @xmath940 * reduced characteristic vector 7 : @xmath941 * reduced characteristic vector 8 : @xmath942 * reduced characteristic vector 9 : @xmath943 * reduced characteristic vector 10 : @xmath944        this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 10&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 45&10&1\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cccc } 120&45&10&1\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{ccccc } 210&120&45&10&1\end { array } \right ] &    t(1,6 ) & =   \left [ \begin { array}{ccccc } 252&210&120&45&10\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{ccccc } 210&252&210&120&45\end { array } \right ] &    t(1,6 ) & =   \left [ \begin { array}{ccccc } 120&210&252&210&120\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{ccccc } 45&120&210&252&210\end { array } \right ] &    t(1,6 ) & =   \left [ \begin { array}{ccccc } 10&45&120&210&252\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{ccccc } 1&10&45&120&210\end { array } \right ] &    t(1,7 ) & =   \left [ \begin { array}{cccc } 1&10&45&120\end { array } \right ] \\
t(1,8 ) & =   \left [ \begin { array}{ccc } 1&10&45\end { array } \right ] &    t(1,9 ) & =   \left [ \begin { array}{cc } 1&10\end { array } \right ] \\
t(1,10 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,3 ) & =   \left [ \begin { array}{cc } 10&1\end { array } \right ] &    t(2,4 ) & =   \left [ \begin { array}{ccc } 45&10&1\end { array } \right ] \\
t(3,5 ) & =   \left [ \begin { array}{cccc } 1&0&0&0\\ 120&45&10&1\end { array } \right ] &    t(3,6 ) & =   \left [ \begin { array}{ccccc } 10&1&0&0&0\\ 210&120&45&10&1\end { array } \right ] \\
t(3,6 ) & =   \left [ \begin { array}{ccccc } 45&10&1&0&0\\ 252&210&120&45&10\end { array } \right ] &    t(4,6 ) & =   \left [ \begin { array}{ccccc } 1&0&0&0&0\\ 120&45&10&1&0\\ 210&252&210&120&45\end { array } \right ] \\
t(4,6 ) & =   \left [ \begin { array}{ccccc } 10&1&0&0&0\\ 210&120&45&10&1\\ 120&210&252&210&120\end { array } \right ] &    t(4,6 ) & =   \left [ \begin { array}{ccccc } 45&10&1&0&0\\ 252&210&120&45&10\\ 45&120&210&252&210\end { array } \right ] \\
t(5,6 ) & =   \left [ \begin { array}{ccccc } 1&0&0&0&0\\ 120&45&10&1&0\\ 210&252&210&120&45\\ 10&45&120&210&252\end { array } \right ] &    t(5,6 ) & =   \left [ \begin { array}{ccccc } 10&1&0&0&0\\ 210&120&45&10&1\\ 120&210&252&210&120\\ 1&10&45&120&210\end { array } \right ] \\
t(5,6 ) & =   \left [ \begin { array}{ccccc } 45&10&1&0&0\\ 252&210&120&45&10\\ 45&120&210&252&210\\ 0&1&10&45&120\end { array } \right ] &    t(6,6 ) & =   \left [ \begin { array}{ccccc } 1&0&0&0&0\\ 120&45&10&1&0\\ 210&252&210&120&45\\
10&45&120&210&252\\ 0&0&1&10&45\end { array } \right ] \\
t(6,6 ) & =   \left [ \begin { array}{ccccc } 10&1&0&0&0\\ 210&120&45&10&1\\ 120&210&252&210&120\\
1&10&45&120&210\\ 0&0&0&1&10\end { array } \right ] &    t(6,6 ) & =   \left [ \begin { array}{ccccc } 45&10&1&0&0\\ 252&210&120&45&10\\ 45&120&210&252&210\\
0&1&10&45&120\\ 0&0&0&0&1\end { array } \right ] \\
t(7,6 ) & =   \left [ \begin { array}{ccccc } 120&45&10&1&0\\ 210&252&210&120&45\\ 10&45&120&210&252\\ 0&0&1&10&45\end { array } \right ] &
t(7,6 ) & =   \left [ \begin { array}{ccccc } 210&120&45&10&1\\ 120&210&252&210&120\\ 1&10&45&120&210\\ 0&0&0&1&10\end { array } \right ] \\
t(7,6 ) & =   \left [ \begin { array}{ccccc } 252&210&120&45&10\\ 45&120&210&252&210\\ 0&1&10&45&120\\ 0&0&0&0&1\end { array } \right ] &    t(8,6 ) & =   \left [ \begin { array}{ccccc } 210&252&210&120&45\\ 10&45&120&210&252\\ 0&0&1&10&45\end { array } \right ] \\
t(8,6 ) & =   \left [ \begin { array}{ccccc } 120&210&252&210&120\\ 1&10&45&120&210\\ 0&0&0&1&10\end { array } \right ] &    t(8,6 ) & =   \left [ \begin { array}{ccccc } 45&120&210&252&210\\ 0&1&10&45&120\\ 0&0&0&0&1\end { array } \right ] \\
t(9,6 ) & =   \left [ \begin { array}{ccccc } 10&45&120&210&252\\ 0&0&1&10&45\end { array } \right ] &    t(9,6 ) & =   \left [ \begin { array}{ccccc } 1&10&45&120&210\\ 0&0&0&1&10\end { array } \right ] \\
t(9,7 ) & =   \left [ \begin { array}{cccc } 1&10&45&120\\ 0&0&0&1\end { array } \right ] &    t(10,8 ) & =   \left [ \begin { array}{ccc } 1&10&45\end { array } \right ] \\
t(10,9 ) & =   \left [ \begin { array}{cc } 1&10\end { array } \right ] &    t(10,10 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\ \end{aligned}\ ] ]    the essential class is : [ 6 ] .
the essential class is of positive type .
an example is the path [ 6 , 6 , 6 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath945 $ ] .
the minimum comes from the loop @xmath946 $ ] .
the maximum comes from the loop @xmath946 $ ] .
these points will include points of local dimension [ .999021586 , 1.000793713 ] . the spectral range is contained in the range @xmath947 $ ] .
the minimum comes from the total row sub - norm of length 5 .
the maximum comes from the total row sup - norm of length 5 .
these points will have local dimension contained in [ .998839826 , 1.000814954 ] .
the number of reduced characteristic vectors in the essential class is 46 .
the essential class is of positive type .
an example is the path [ 129 , 92 , 91 , 114 , 112 , 127 , 140 , 150 , 75 , 75 , 75 , 75 , 75 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath948 $ ] .
the minimum comes from the loop @xmath949 $ ] .
the maximum comes from the loop @xmath950 $ ] .
these points will include points of local dimension [ .9702219294 , 1.077705433 ] . the spectral range is contained in the range @xmath951 $ ] .
the minimum comes from the column sub - norm on the subset @xmath952 of length 15 .
the maximum comes from the total column sup - norm of length 10 .
these points will have local dimension contained in [ .8483019061 , 1.532658865 ] .
* reduced characteristic vector 40 : @xmath953 * reduced characteristic vector 41 : @xmath954 * reduced characteristic vector 45 : @xmath955 * reduced characteristic vector 46 : @xmath956 * reduced characteristic vector 47 : @xmath957 * reduced characteristic vector 51 : @xmath958 * reduced characteristic vector 52 : @xmath959 * reduced characteristic vector 53 : @xmath960 * reduced characteristic vector 54 : @xmath961 * reduced characteristic vector 61 : @xmath962 * reduced characteristic vector 62 : @xmath963 * reduced characteristic vector 63 : @xmath964 * reduced characteristic vector 70 : @xmath965 * reduced characteristic vector 71 : @xmath966 * reduced characteristic vector 72 : @xmath967 * reduced characteristic vector 82 : @xmath968 * reduced characteristic vector 84 : @xmath969 * reduced characteristic vector 86 : @xmath970 * reduced characteristic vector 96 : @xmath971 * reduced characteristic vector 106 : @xmath972 * reduced characteristic vector 122 : @xmath973 * reduced characteristic vector 135 : @xmath974 * reduced characteristic vector 146 : @xmath975        this has transition matrices : @xmath976 \\
t(41,54 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 0&1&0&0&0&0&0\\ 0&0&0&1&0&0&0\\ 0&0&1&0&1&0&0\\ 0&0&0&1&0&1&0\\
0&0&0&0&1&0&0\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(45,61 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 0&1&0&0&0&0\\ 1&0&0&1&0&0\\ 0&0&1&0&0&1\\
0&0&0&1&0&0\\ 0&0&0&0&1&0\end { array } \right ] \\
t(46,62 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 0&1&0&0&0&0\\ 0&0&1&0&0&0\\ 0&1&0&0&1&0\\ 0&0&0&1&0&0\\
0&0&0&0&1&0\\ 0&0&0&0&0&1\end { array } \right ] \\
t(47,63 ) & =   \left [ \begin { array}{cccccc } 0&1&0&0&0&0\\ 0&0&1&0&0&0\\ 1&0&0&1&0&0\\ 0&0&1&0&0&1\\ 0&0&0&0&1&0\\ 0&0&0&0&0&1\end { array } \right ] \\
t(51,70 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 0&0&1&0&0&0&0\\ 0&1&0&1&0&0&0\\ 0&0&1&0&1&0&0\\ 0&0&0&1&0&0&0\\ 0&0&0&0&0&1&0\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(52,71 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 0&0&1&0&0&0\\ 0&1&0&1&0&0\\ 0&0&1&0&1&0\\
0&0&0&1&0&0\\ 0&0&0&0&0&1\end { array } \right ] \\
t(53,45 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 0&1&0&0&0&0\\ 0&0&1&0&0&0\\ 0&0&1&0&0&1\\
0&0&0&1&0&0\\ 0&0&0&0&1&0\end { array } \right ] \\
t(53,46 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 0&0&1&0&0&0&0\\ 1&0&0&1&0&0&0\\ 0&0&0&1&0&0&1\\ 0&0&0&0&1&0&0\\ 0&0&0&0&0&1&0\end { array } \right ] \\
t(54,72 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 0&0&1&0&0&0&0\\ 0&0&0&1&0&0&0\\ 0&1&0&0&1&0&0\\ 0&0&0&0&1&0&0\\
0&0&0&0&0&1&0\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(61,82 ) & =   \left [ \begin { array}{ccccc } 1&0&0&0&0\\ 0&1&0&0&0\\ 1&0&1&0&0\\ 0&1&0&0&1\\
0&0&0&1&0\\ 0&0&0&0&1\end { array } \right ] \\
t(62,84 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 0&0&1&0&0&0\\ 0&1&0&1&0&0\\ 0&0&1&0&1&0\\
0&0&0&1&0&0\\ 0&0&0&0&0&1\end { array } \right ] \\
t(63,86 ) & =   \left [ \begin { array}{ccccc } 1&0&0&0&0\\ 0&1&0&0&0\\ 1&0&0&1&0\\ 0&0&1&0&1\\
0&0&0&1&0\\ 0&0&0&0&1\end { array } \right ] \\
t(70,96 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 0&1&0&0&0&0&0\\ 0&0&1&0&0&0&0\\ 0&0&1&0&0&1&0\\ 0&0&0&1&0&0&0\\
0&0&0&0&1&0&0\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(71,46 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 0&0&1&0&0&0&0\\ 1&0&0&1&0&0&0\\ 0&0&0&1&0&0&1\\ 0&0&0&0&1&0&0\\ 0&0&0&0&0&1&0\end { array } \right ] \\
t(71,47 ) & =   \left [ \begin { array}{cccccc } 0&1&0&0&0&0\\ 0&0&1&0&0&0\\ 1&0&0&1&0&0\\ 0&0&0&1&0&0\\ 0&0&0&0&1&0\\ 0&0&0&0&0&1\end { array } \right ] \\
t(72,63 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 0&1&0&0&0&0\\ 0&0&1&0&0&0\\ 1&0&0&1&0&0\\ 0&0&1&0&0&1\\ 0&0&0&0&1&0\\ 0&0&0&0&0&1\end { array } \right ] \\
t(82,51 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 1&0&0&1&0&0&0\\ 0&0&1&0&0&1&0\\ 0&0&0&1&0&0&1\\ 0&0&0&0&1&0&0\end { array } \right ] \\
t(82,52 ) & =   \left [ \begin { array}{cccccc } 0&1&0&0&0&0\\ 1&0&0&1&0&0\\ 0&0&1&0&0&1\\ 0&0&0&1&0&0\\ 0&0&0&0&1&0\end { array } \right ] &    t(84,106 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 0&1&0&0&0&0\\ 1&0&0&1&0&0\\ 0&0&1&0&0&1\\
0&0&0&0&1&0\\ 0&0&0&0&0&1\end { array } \right ] \\
t(86,40 ) & =   \left [ \begin { array}{cccccc } 0&1&0&0&0&0\\ 0&0&1&0&0&0\\ 1&0&0&1&0&0\\ 0&0&1&0&0&1\\ 0&0&0&0&1&0\end { array } \right ] &
t(86,41 ) & =   \left [ \begin { array}{ccccccc } 0&0&1&0&0&0&0\\ 1&0&0&1&0&0&0\\ 0&1&0&0&1&0&0\\ 0&0&0&1&0&0&1\\
0&0&0&0&0&1&0\end { array } \right ] \\
t(96,61 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 0&1&0&0&0&0\\ 1&0&0&1&0&0\\ 0&0&1&0&0&1\\ 0&0&0&1&0&0\\
0&0&0&0&1&0\\ 0&0&0&0&0&1\end { array } \right ] \\
t(106,122 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 0&1&0&0&0&0\\ 1&0&0&1&0&0\\ 0&0&1&0&0&1\\ 0&0&0&0&1&0\\
0&0&0&0&0&1\end { array } \right ] \\
t(122,51 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 0&0&1&0&0&0&0\\ 1&0&0&1&0&0&0\\ 0&0&1&0&0&1&0\\ 0&0&0&1&0&0&1\\ 0&0&0&0&1&0&0\end { array } \right ] \\
t(122,135 ) & =   \left [ \begin { array}{cccccc } 0&1&0&0&0&0\\ 0&0&1&0&0&0\\ 1&0&0&1&0&0\\ 0&0&1&0&0&1\\ 0&0&0&1&0&0\\
0&0&0&0&1&0\end { array } \right ] \\
t(122,41 ) & =   \left [ \begin { array}{ccccccc } 0&0&1&0&0&0&0\\ 1&0&0&1&0&0&0\\ 0&1&0&0&1&0&0\\ 0&0&0&1&0&0&1\\
0&0&0&0&1&0&0\\ 0&0&0&0&0&1&0\end { array } \right ] \\
t(135,146 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 0&0&1&0&0&0\\ 0&1&0&1&0&0\\ 0&0&1&0&1&0\\ 0&0&0&1&0&0\\ 0&0&0&0&0&1\end { array } \right ] \\
t(146,46 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 0&0&1&0&0&0&0\\ 1&0&0&1&0&0&0\\ 0&0&0&1&0&0&1\\ 0&0&0&0&1&0&0\\ 0&0&0&0&0&1&0\end { array } \right ] \\
\end{aligned}\ ] ] the maximal loop class is of positive type .
an example is the path [ 82 , 52 , 71 , 46 , 62 , 84 , 106 , 122 , 135 ] .
the maximal loop class is not a simple loop .
this spectral range will include the interval @xmath977 $ ] .
the minimum comes from the loop @xmath978 $ ] .
the maximum comes from the loop @xmath979 $ ] .
these points will include points of local dimension [ .9702219294 , .9918974638 ] . the spectral range is contained in the range @xmath980 $ ] .
the minimum comes from the total column sub - norm of length 15 .
the maximum comes from the total column sup - norm of length 15 .
these points will have local dimension contained in [ .8875527238 , 1.309253535 ] .
this has transition matrices : @xmath983 &    t(30,22 ) & =   \left [ \begin { array}{cccc } 0&1&0&0\\ 1&0&1&0\\ 0&0&1&0\\ 0&0&0&1\end { array } \right ] \\
\end{aligned}\ ] ] the maximal loop class is a simple loop .
it s spectral radius is an isolated points of 1.380277569 .
these points have local dimension .9702219294 .
the number of reduced characteristic vectors in the essential class is 1207 .
the essential class is of positive type .
an example is the path [ 683 , 631 , 688 , 624 , 683 , 631 , 688 , 624 , 683 , 631 , 688 , 624 , 683 , 631 , 688 , 624 , 683 , 631 , 688 , 624 , 683 , 631 , 689 , 625 , 684 , 632 , 690 , 509 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath988 $ ] .
the minimum comes from the loop @xmath989 $ ] .
the maximum comes from the loop @xmath990 $ ] .
these points will include points of local dimension [ .997948624 , 1.008536243 ] . the spectral range is contained in the range @xmath991 $ ] .
the minimum comes from the column sub - norm on the subset @xmath992 of length 15 .
the maximum comes from the total column sup - norm of length 10 .
these points will have local dimension contained in [ .747923631 , 1.971972204 ] .
* reduced characteristic vector 388 : @xmath993 * reduced characteristic vector 454 : @xmath994 * reduced characteristic vector 460 : @xmath995 * reduced characteristic vector 524 : @xmath996 * reduced characteristic vector 531 : @xmath997 * reduced characteristic vector 590 : @xmath998        this has transition matrices : @xmath999 \\
t(454,524 ) & =   \left [ \begin { array}{ccccccccccccccccccccc } 1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&1&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&1&0&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&1&0&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&0&1&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0\\
0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1\end { array } \right ] \\
t(460,531 ) & =   \left [ \begin { array}{ccccccccccccccccccccc } 1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 1&0&0&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&1&0&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&1&0&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&1&0&0&0&0&1&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&0&1&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0\\
0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1\end { array } \right ] \\
t(524,590 ) & =   \left [ \begin { array}{ccccccccccccccccccccc } 1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&1&0&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&1&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&1&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&1&0&0&0&0&1&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&0&1&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&0&1&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&0&0&1\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1\end { array } \right ] \\
t(531,454 ) & =   \left [ \begin { array}{ccccccccccccccccccccc } 0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 1&0&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&1&0&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&1&0&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&1&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&1&0&0&0&0&0&0&1&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&1&0&0&0&0&0&0&1&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&0&1&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&1\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0\\
0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1\end { array } \right ] \\
t(590,388 ) & =   \left [ \begin { array}{ccccccccccccccccccccc } 1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 1&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&1&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&1&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&1&0&0&0&0&0&0&1&0&0&0&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&1&0&0&0&0&0&0&1&0&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&1&0&0&0&0&0&0&1&0&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&1&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&0&1&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&0&1&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0&0&1\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0\\
0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0&0\\ 0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0&1&0\end { array } \right ] \\
\end{aligned}\ ] ] the maximal loop class is a simple loop .
it s spectral radius is an isolated points of 1.510392888 .
these points have local dimension .998498570 .
this has transition matrices : @xmath1001 \\ \end{aligned}\ ] ] the maximal loop class is a simple loop .
it s spectral radius is an isolated points of 1.506135679 .
these points have local dimension 1.008536246 .
this has transition matrices : @xmath1003 \\ \end{aligned}\ ] ] the maximal loop class is a simple loop .
it s spectral radius is an isolated points of 1.506135679 .
these points have local dimension 1.008536246 .
consider @xmath746 , the root of @xmath740 and the maps @xmath747 with @xmath748 , and @xmath749 .
the probabilities are uniform .
the reduced transition diagram has 30 reduced characteristic vectors .
the reduced characteristic vectors are :    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath1006 * reduced characteristic vector 3 : @xmath1007 * reduced characteristic vector 4 : @xmath1008 * reduced characteristic vector 5 : @xmath1009 * reduced characteristic vector 6 : @xmath751 * reduced characteristic vector 7 : @xmath1010 * reduced characteristic vector 8 : @xmath1011 * reduced characteristic vector 9 : @xmath1012 * reduced characteristic vector 10 : @xmath1013 * reduced characteristic vector 11 : @xmath1014 * reduced characteristic vector 12 : @xmath1015 * reduced characteristic vector 13 : @xmath1016 * reduced characteristic vector 14 : @xmath1017 * reduced characteristic vector 15 : @xmath1018 * reduced characteristic vector 16 : @xmath1019 * reduced characteristic vector 17 : @xmath1020 * reduced characteristic vector 18 : @xmath1021 * reduced characteristic vector 19 : @xmath1022 * reduced characteristic vector 20 : @xmath1023 * reduced characteristic vector 21 : @xmath1024 * reduced characteristic vector 22 : @xmath1025 * reduced characteristic vector 23 : @xmath1026 * reduced characteristic vector 24 : @xmath1027 * reduced characteristic vector 25 : @xmath1028 * reduced characteristic vector 26 : @xmath1029 * reduced characteristic vector 27 : @xmath754 * reduced characteristic vector 28 : @xmath1030 * reduced characteristic vector 29 : @xmath1031 * reduced characteristic vector 30 : @xmath1032        this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\   t(2,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(2,5 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(3,6 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\end { array } \right ] &    t(4,7 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(4,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(4,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\   t(5,7 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(5,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(6,8 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\end { array } \right ] &    t(7,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(7,5 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(8,9 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\end { array } \right ] \\
t(8,10 ) & =   \left [ \begin { array}{ccc } 0&1&0\\ 1&0&1\end { array } \right ] &    t(8,11 ) & =   \left [ \begin { array}{cc } 0&1\\ 1&0\end { array } \right ] \\
t(8,12 ) & =   \left [ \begin { array}{ccc } 1&0&1\\ 0&1&0\end { array } \right ] &    t(8,13 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\end { array } \right ] \\
t(9,3 ) & =   \left [ \begin { array}{cc } 1&0\\ 1&1\end { array } \right ] &    t(9,5 ) & =   \left [ \begin { array}{c } 1\\ 1\end { array } \right ] \\
t(10,14 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\\ 0&1\end { array } \right ] &    t(10,15 ) & =   \left [ \begin { array}{ccc } 0&1&0\\ 1&0&1\\ 0&0&1\end { array } \right ] \\
t(11,16 ) & =   \left [ \begin { array}{cc } 0&1\\ 1&0\end { array } \right ] &    t(12,17 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 1&0&1\\ 0&1&0\end { array } \right ] \\
t(12,18 ) & =   \left [ \begin { array}{cc } 1&0\\ 1&0\\ 0&1\end { array } \right ] &    t(13,7 ) & =   \left [ \begin { array}{c } 1\\ 1\end { array } \right ] \\
t(13,3 ) & =   \left [ \begin { array}{cc } 1&1\\ 0&1\end { array } \right ] &
t(14,19 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\end { array } \right ] \\
t(15,20 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 0&1&0\\ 0&0&1\end { array } \right ] &    t(16,12 ) & =   \left [ \begin { array}{ccc } 0&1&0\\ 1&0&1\end { array } \right ] \\
t(16,21 ) & =   \left [ \begin { array}{cc } 0&1\\ 1&0\end { array } \right ] &    t(16,10 ) & =   \left [ \begin { array}{ccc } 1&0&1\\ 0&1&0\end { array } \right ] \\
t(17,22 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 0&1&0\\ 0&0&1\end { array } \right ] &    t(18,23 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\end { array } \right ] \\
t(19,9 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\end { array } \right ] &    t(19,10 ) & =   \left [ \begin { array}{ccc } 0&1&0\\ 1&0&1\end { array } \right ] \\
t(20,24 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 0&0&1\\ 0&1&0\end { array } \right ] &    t(20,25 ) & =   \left [ \begin { array}{cccc } 0&1&0&0\\ 1&0&0&1\\ 0&0&1&0\end { array } \right ] \\
t(20,26 ) & =   \left [ \begin { array}{ccc } 0&1&0\\ 1&0&0\\ 0&0&1\end { array } \right ] &    t(21,27 ) & =   \left [ \begin { array}{c } 1\\ 1\end { array } \right ] \\
t(22,28 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 0&0&1\\ 0&1&0\end { array } \right ] &    t(22,29 ) & =   \left [ \begin { array}{cccc } 0&1&0&0\\ 1&0&0&1\\ 0&0&1&0\end { array } \right ] \\
t(22,30 ) & =   \left [ \begin { array}{ccc } 0&1&0\\ 1&0&0\\ 0&0&1\end { array } \right ] &    t(23,12 ) & =   \left [ \begin { array}{ccc } 1&0&1\\ 0&1&0\end { array } \right ] \\
t(23,13 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\end { array } \right ] &    t(24,28 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 0&0&1\\ 0&1&0\end { array } \right ] \\
t(25,29 ) & =   \left [ \begin { array}{cccc } 1&0&0&0\\ 0&1&0&0\\ 1&0&0&1\\ 0&0&1&0\end { array } \right ] &    t(25,30 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 0&1&0\\ 1&0&0\\ 0&0&1\end { array } \right ] \\
t(26,12 ) & =   \left [ \begin { array}{ccc } 0&1&0\\ 1&0&1\\ 0&1&0\end { array } \right ] &    t(26,21 ) & =   \left [ \begin { array}{cc } 0&1\\ 1&0\\ 0&1\end { array } \right ] \\
t(26,10 ) & =   \left [ \begin { array}{ccc } 1&0&1\\ 0&1&0\\ 0&0&1\end { array } \right ] &    t(27,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(28,12 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 0&1&0\\ 1&0&1\end { array } \right ] &    t(28,21 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\\ 1&0\end { array } \right ] \\
t(28,10 ) & =   \left [ \begin { array}{ccc } 0&1&0\\ 1&0&1\\ 0&1&0\end { array } \right ] &    t(29,24 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 0&0&1\\ 0&1&0\\ 0&0&1\end { array } \right ] \\
t(29,25 ) & =   \left [ \begin { array}{cccc } 0&1&0&0\\ 1&0&0&1\\ 0&0&1&0\\ 0&0&0&1\end { array } \right ] &    t(30,26 ) & =   \left [ \begin { array}{ccc } 0&1&0\\ 1&0&0\\ 0&0&1\end { array } \right ] \\
\end{aligned}\ ] ]    the essential class is : [ 3 , 5 , 6 , 7 , 8 , 9 , 10 , 11 , 12 , 13 , 14 , 15 , 16 , 17 , 18 , 19 , 20 , 21 , 22 , 23 , 24 , 25 , 26 , 27 , 28 , 29 , 30 ] .
the essential class is of positive type .
an example is the path [ 5 , 3 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath1033 $ ] .
the minimum comes from the loop @xmath1034 $ ] .
the maximum comes from the loop @xmath1035 $ ] .
these points will include points of local dimension [ .8778224563 , 1.232482628 ] .
the spectral range is contained in the range @xmath1036 $ ] .
the minimum comes from the total row sub - norm of length 10 .
the maximum comes from the total row sup - norm of length 10 .
these points will have local dimension contained in [ .7764098609 , 1.232482628 ] .
consider @xmath746 , the root of @xmath741 and the maps @xmath747 with @xmath748 , and @xmath749 .
the probabilities are uniform .
the reduced transition diagram has 11 reduced characteristic vectors .
the reduced characteristic vectors are :    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath1037 * reduced characteristic vector 3 : @xmath1038 * reduced characteristic vector 4 : @xmath1039 * reduced characteristic vector 5 : @xmath1040 * reduced characteristic vector 6 : @xmath1041 * reduced characteristic vector 7 : @xmath1042 * reduced characteristic vector 8 : @xmath1043 * reduced characteristic vector 9 : @xmath753 * reduced characteristic vector 10 : @xmath1044 * reduced characteristic vector 11 : @xmath1045        this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(2,5 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(3,6 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\end { array } \right ] &    t(4,7 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(4,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(4,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(5,7 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(5,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(5,8 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(6,9 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\end { array } \right ] \\
t(7,10 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(7,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(7,5 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(8,7 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(9,3 ) & =   \left [ \begin { array}{cc } 1&0\\ 1&1\end { array } \right ] &    t(9,11 ) & =   \left [ \begin { array}{c } 1\\ 1\end { array } \right ] \\
t(9,3 ) & =   \left [ \begin { array}{cc } 1&1\\ 0&1\end { array } \right ] &
t(10,5 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(11,7 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(11,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(11,5 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    \end{aligned}\ ] ]    the essential class is : [ 3 , 5 , 6 , 7 , 8 , 9 , 10 , 11 ] .
the essential class is of positive type .
an example is the path [ 5 , 3 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath1046 $ ] .
the minimum comes from the loop @xmath1034 $ ] .
the maximum comes from the loop @xmath1047 $ ] .
these points will include points of local dimension [ .8531002132 , 1.137466951 ] . the spectral range is contained in the range @xmath1048 $ ] .
the minimum comes from the total row sub - norm of length 10 .
the maximum comes from the total row sup - norm of length 10 .
these points will have local dimension contained in [ .7962268660 , 1.137466951 ] .
the number of reduced characteristic vectors in the essential class is 535 .
the essential class is of positive type .
an example is the path [ 5 , 3 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath1049 $ ] .
the minimum comes from the loop @xmath1050 $ ] .
the maximum comes from the loop @xmath1051 $ ] .
these points will include points of local dimension [ .8572351366 , 1.075364982 ] . the spectral range is contained in the range @xmath1052 $ ] .
the minimum comes from the total column sub - norm of length 10 .
the maximum comes from the total column sup - norm of length 10 .
these points will have local dimension contained in [ .8256729656 , 1.075364982 ] .
the number of reduced characteristic vectors in the essential class is 187 .
the essential class is of positive type .
an example is the path [ 5 , 3 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath1055 $ ] .
the minimum comes from the loop @xmath1034 $ ] .
the maximum comes from the loop @xmath1056 $ ] .
these points will include points of local dimension [ .8974197439 , 1.110448830 ] . the spectral range is contained in the range @xmath1057 $ ] .
the minimum comes from the total row sub - norm of length 10 .
the maximum comes from the total row sup - norm of length 10 .
these points will have local dimension contained in [ .7584448787 , 1.110448830 ] .
consider @xmath746 , the root of @xmath744 and the maps @xmath747 with @xmath748 , and @xmath749 .
the probabilities are uniform .
the reduced transition diagram has 14 reduced characteristic vectors .
the reduced characteristic vectors are :    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath1060 * reduced characteristic vector 3 : @xmath1061 * reduced characteristic vector 4 : @xmath1062 * reduced characteristic vector 5 : @xmath1063 * reduced characteristic vector 6 : @xmath1064 * reduced characteristic vector 7 : @xmath1065 * reduced characteristic vector 8 : @xmath1066 * reduced characteristic vector 9 : @xmath1041 * reduced characteristic vector 10 : @xmath1067 * reduced characteristic vector 11 : @xmath1068 * reduced characteristic vector 12 : @xmath753 * reduced characteristic vector 13 : @xmath1069 * reduced characteristic vector 14 : @xmath1070        this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(2,5 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(3,6 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\end { array } \right ] &
t(4,7 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(4,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &
t(4,4 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(5,7 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(5,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(5,8 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(6,9 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\end { array } \right ] \\
t(7,10 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(7,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] \\
t(7,5 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(8,7 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(8,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(8,11 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(9,12 ) & =   \left [ \begin { array}{cc } 1&0\\ 0&1\end { array } \right ] &    t(10,13 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(10,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(10,5 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(11,7 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(12,3 ) & =   \left [ \begin { array}{cc } 1&0\\ 1&1\end { array } \right ] \\
t(12,14 ) & =   \left [ \begin { array}{c } 1\\ 1\end { array } \right ] &    t(12,3 ) & =   \left [ \begin { array}{cc } 1&1\\ 0&1\end { array } \right ] \\
t(13,5 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(14,7 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(14,3 ) & =   \left [ \begin { array}{cc } 1&1\end { array } \right ] &    t(14,5 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\ \end{aligned}\ ] ]    the essential class is : [ 3 , 5 , 6 , 7 , 8 , 9 , 10 , 11 , 12 , 13 , 14 ] .
the essential class is of positive type .
an example is the path [ 5 , 3 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath1071 $ ] .
the minimum comes from the loop @xmath1034 $ ] .
the maximum comes from the loop @xmath1072 $ ] .
these points will include points of local dimension [ .8449717217 , 1.056214652 ] . the spectral range is contained in the range @xmath1073 $ ] .
the minimum comes from the total row sub - norm of length 10 .
the maximum comes from the total row sup - norm of length 10 .
these points will have local dimension contained in [ .7831871251 , 1.056214652 ] .
consider @xmath746 , the root of @xmath727 and the maps @xmath747 with @xmath748 , @xmath1074 , and @xmath1075 .
the probabilities are given by @xmath1076 , @xmath1077 , and @xmath1078 .
the reduced transition diagram has 40 reduced characteristic vectors .
the reduced characteristic vectors are :    * reduced characteristic vector 1 : @xmath551 * reduced characteristic vector 2 : @xmath1079 * reduced characteristic vector 3 : @xmath1080 * reduced characteristic vector 4 : @xmath1081 * reduced characteristic vector 5 : @xmath1082 * reduced characteristic vector 6 : @xmath1083 * reduced characteristic vector 7 : @xmath1084 * reduced characteristic vector 8 : @xmath1085 * reduced characteristic vector 9 : @xmath1086 * reduced characteristic vector 10 : @xmath1087 * reduced characteristic vector 11 : @xmath1088 * reduced characteristic vector 12 : @xmath1089 * reduced characteristic vector 13 : @xmath1090 * reduced characteristic vector 14 : @xmath1091 * reduced characteristic vector 15 : @xmath1092 * reduced characteristic vector 16 : @xmath1093 * reduced characteristic vector 17 : @xmath1094 * reduced characteristic vector 18 : @xmath1095 * reduced characteristic vector 19 : @xmath1096 * reduced characteristic vector 20 : @xmath1097 * reduced characteristic vector 21 : @xmath1098 * reduced characteristic vector 22 : @xmath1099 * reduced characteristic vector 23 : @xmath1100 * reduced characteristic vector 24 : @xmath1101 * reduced characteristic vector 25 : @xmath1102 * reduced characteristic vector 26 : @xmath1103 * reduced characteristic vector 27 : @xmath1104 * reduced characteristic vector 28 : @xmath1105 * reduced characteristic vector 29 : @xmath1106 * reduced characteristic vector 30 : @xmath1107 * reduced characteristic vector 31 : @xmath1108 * reduced characteristic vector 32 : @xmath1109 * reduced characteristic vector 33 : @xmath1110 * reduced characteristic vector 34 : @xmath1111 * reduced characteristic vector 35 : @xmath1112 * reduced characteristic vector 36 : @xmath1113 * reduced characteristic vector 37 : @xmath1114 * reduced characteristic vector 38 : @xmath1115 * reduced characteristic vector 39 : @xmath1116 * reduced characteristic vector 40 : @xmath1117        this has transition matrices : @xmath755 &    t(1,3 ) & =   \left [ \begin { array}{cc } 2&1\end { array } \right ] \\
t(1,4 ) & =   \left [ \begin { array}{ccc } 1&2&1\end { array } \right ] &    t(1,5 ) & =   \left [ \begin { array}{cc } 1&2\end { array } \right ] \\
t(1,6 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(2,2 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] \\
t(2,7 ) & =   \left [ \begin { array}{cc } 2&1\end { array } \right ] &    t(3,8 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 0&2&1\end { array } \right ] \\
t(3,9 ) & =   \left [ \begin { array}{cccc } 0&1&0&0\\ 1&0&2&1\end { array } \right ] &    t(3,10 ) & =   \left [ \begin { array}{ccccc } 2&0&1&0&0\\ 0&1&0&2&1\end { array } \right ] \\
t(4,11 ) & =   \left [ \begin { array}{ccccc } 1&0&0&0&0\\ 0&2&0&1&0\\ 0&0&1&0&2\end { array } \right ] &    t(4,12 ) & =   \left [ \begin { array}{cccccc } 0&1&0&0&0&0\\ 1&0&2&0&1&0\\ 0&0&0&1&0&2\end { array } \right ] \\
t(4,13 ) & =   \left [ \begin { array}{cccccc } 2&0&1&0&0&0\\ 0&1&0&2&0&1\\ 0&0&0&0&1&0\end { array } \right ] &    t(4,14 ) & =   \left [ \begin { array}{ccccc } 2&0&1&0&0\\ 0&1&0&2&0\\ 0&0&0&0&1\end { array } \right ] \\
t(5,15 ) & =   \left [ \begin { array}{ccccc } 1&2&0&1&0\\ 0&0&1&0&2\end { array } \right ] &    t(5,16 ) & =   \left [ \begin { array}{cccc } 1&2&0&1\\ 0&0&1&0\end { array } \right ] \\
t(5,17 ) & =   \left [ \begin { array}{ccc } 1&2&0\\ 0&0&1\end { array } \right ] &    t(6,18 ) & =   \left [ \begin { array}{cc } 1&2\end { array } \right ] \\
t(6,6 ) & =   \left [ \begin { array}{c } 1\end { array } \right ] &    t(7,8 ) & =   \left [ \begin { array}{ccc } 1&0&0\\ 0&2&1\end { array } \right ] \\
t(7,9 ) & =   \left [ \begin { array}{cccc } 0&1&0&0\\ 1&0&2&1\end { array } \right ] &    t(8,10 ) & =   \left [ \begin { array}{ccccc } 1&0&0&0&0\\ 2&0&1&0&0\\ 0&1&0&2&1\end { array } \right ] \\
t(9,11 ) & =   \left [ \begin { array}{ccccc } 1&0&0&0&0\\ 0&1&0&0&0\\ 0&2&0&1&0\\ 0&0&1&0&2\end { array } \right ] &    t(9,12 ) & =   \left [ \begin { array}{cccccc } 0&1&0&0&0&0\\ 2&0&1&0&0&0\\ 1&0&2&0&1&0\\ 0&0&0&1&0&2\end { array } \right ] \\
t(10,19 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 2&0&1&0&0&0\\ 0&2&0&1&0&0\\ 0&1&0&2&0&1\\
0&0&0&0&1&0\end { array } \right ] &    t(10,20 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 0&2&0&1&0&0&0\\ 1&0&2&0&1&0&0\\ 0&0&1&0&2&0&1\\ 0&0&0&0&0&1&0\end { array } \right ] \\
t(10,21 ) & =   \left [ \begin { array}{cccccc } 0&1&0&0&0&0\\ 0&2&0&1&0&0\\ 1&0&2&0&1&0\\ 0&0&1&0&2&0\\ 0&0&0&0&0&1\end { array } \right ] &    t(11,22 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 2&0&1&0&0&0\\ 1&0&2&0&1&0\\
0&1&0&2&0&1\\ 0&0&0&1&0&2\end { array } \right ] \\
t(12,23 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 0&1&0&0&0&0\\ 0&2&0&1&0&0\\ 0&1&0&2&0&1\\
0&0&1&0&2&0\\ 0&0&0&0&1&0\end { array } \right ] \\
t(12,24 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 2&0&1&0&0&0&0\\ 1&0&2&0&1&0&0\\ 0&0&1&0&2&0&1\\ 0&0&0&1&0&2&0\\
0&0&0&0&0&1&0\end { array } \right ] \\
t(12,25 ) & =   \left [ \begin { array}{cccccc } 0&1&0&0&0&0\\ 2&0&1&0&0&0\\ 1&0&2&0&1&0\\ 0&0&1&0&2&0\\
0&0&0&1&0&2\\ 0&0&0&0&0&1\end { array } \right ] \\
t(13,19 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 2&0&1&0&0&0\\ 0&2&0&1&0&0\\ 0&1&0&2&0&1\\ 0&0&0&1&0&2\\ 0&0&0&0&1&0\end { array } \right ] \\
t(13,20 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 0&2&0&1&0&0&0\\ 1&0&2&0&1&0&0\\ 0&0&1&0&2&0&1\\ 0&0&0&0&1&0&2\\ 0&0&0&0&0&1&0\end { array } \right ] \\
t(13,21 ) & =   \left [ \begin { array}{cccccc } 0&1&0&0&0&0\\ 0&2&0&1&0&0\\ 1&0&2&0&1&0\\ 0&0&1&0&2&0\\ 0&0&0&0&1&0\\ 0&0&0&0&0&1\end { array } \right ] \\
t(14,22 ) & =   \left [ \begin { array}{cccccc } 2&0&1&0&0&0\\ 1&0&2&0&1&0\\ 0&1&0&2&0&1\\
0&0&0&1&0&2\\ 0&0&0&0&0&1\end { array } \right ] &    t(15,23 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 0&2&0&1&0&0\\ 0&1&0&2&0&1\\
0&0&1&0&2&0\\ 0&0&0&0&1&0\end { array } \right ] \\
t(15,24 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 1&0&2&0&1&0&0\\ 0&0&1&0&2&0&1\\ 0&0&0&1&0&2&0\\ 0&0&0&0&0&1&0\end { array } \right ] &    t(15,25 ) & =   \left [ \begin { array}{cccccc } 0&1&0&0&0&0\\ 1&0&2&0&1&0\\ 0&0&1&0&2&0\\ 0&0&0&1&0&2\\ 0&0&0&0&0&1\end { array } \right ] \\
t(16,13 ) & =   \left [ \begin { array}{cccccc } 2&0&1&0&0&0\\ 0&1&0&2&0&1\\ 0&0&0&1&0&2\\ 0&0&0&0&1&0\end { array } \right ] &    t(16,14 ) & =   \left [ \begin { array}{ccccc } 2&0&1&0&0\\ 0&1&0&2&0\\ 0&0&0&1&0\\ 0&0&0&0&1\end { array } \right ] \\
t(17,15 ) & =   \left [ \begin { array}{ccccc } 1&2&0&1&0\\ 0&0&1&0&2\\ 0&0&0&0&1\end { array } \right ] &    t(18,16 ) & =   \left [ \begin { array}{cccc } 1&2&0&1\\ 0&0&1&0\end { array } \right ] \\
t(18,17 ) & =   \left [ \begin { array}{ccc } 1&2&0\\ 0&0&1\end { array } \right ] &    t(19,19 ) & =   \left [ \begin { array}{cccccc } 1&0&0&0&0&0\\ 2&0&1&0&0&0\\ 0&2&0&1&0&0\\ 0&1&0&2&0&1\\
0&0&0&1&0&2\\ 0&0&0&0&1&0\end { array } \right ] \\
t(19,20 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 0&2&0&1&0&0&0\\ 1&0&2&0&1&0&0\\ 0&0&1&0&2&0&1\\ 0&0&0&0&1&0&2\\ 0&0&0&0&0&1&0\end { array } \right ] \\
t(20,26 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 0&0&1&0&0&0&0\\ 0&0&2&0&1&0&0\\ 0&1&0&2&0&1&0\\ 0&0&0&1&0&2&0\\
0&0&0&0&0&1&0\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(21,27 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 2&0&0&1&0&0&0\\ 1&0&0&2&0&1&0\\ 0&0&1&0&2&0&1\\
0&0&0&0&1&0&2\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(22,28 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 2&0&1&0&0&0&0\\ 0&2&0&0&1&0&0\\ 0&1&0&0&2&0&1\\
0&0&0&1&0&2&0\\ 0&0&0&0&0&1&0\end { array } \right ] \\
t(22,29 ) & =   \left [ \begin { array}{cccccccc } 0&1&0&0&0&0&0&0\\ 0&2&0&1&0&0&0&0\\ 1&0&2&0&0&1&0&0\\ 0&0&1&0&0&2&0&1\\ 0&0&0&0&1&0&2&0\\ 0&0&0&0&0&0&1&0\end { array } \right ] \\
t(22,30 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 0&2&0&1&0&0&0\\ 1&0&2&0&0&1&0\\ 0&0&1&0&0&2&0\\ 0&0&0&0&1&0&2\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(23,31 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 2&0&1&0&0&0&0\\ 1&0&2&0&1&0&0\\ 0&1&0&2&0&0&1\\ 0&0&0&1&0&0&2\\
0&0&0&0&0&1&0\end { array } \right ] \\
t(24,32 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 0&1&0&0&0&0&0\\ 0&2&0&1&0&0&0\\ 0&1&0&2&0&1&0\\ 0&0&1&0&2&0&0\\
0&0&0&0&1&0&0\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(25,24 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 2&0&1&0&0&0&0\\ 1&0&2&0&1&0&0\\ 0&0&1&0&2&0&1\\
0&0&0&1&0&2&0\\ 0&0&0&0&0&1&0\end { array } \right ] \\
t(25,25 ) & =   \left [ \begin { array}{cccccc } 0&1&0&0&0&0\\ 2&0&1&0&0&0\\ 1&0&2&0&1&0\\ 0&0&1&0&2&0\\
0&0&0&1&0&2\\ 0&0&0&0&0&1\end { array } \right ] \\
t(26,27 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 0&1&0&0&0&0&0\\ 2&0&0&1&0&0&0\\ 1&0&0&2&0&1&0\\ 0&0&1&0&2&0&1\\
0&0&0&0&1&0&2\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(27,28 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 0&1&0&0&0&0&0\\ 2&0&1&0&0&0&0\\ 0&2&0&0&1&0&0\\ 0&1&0&0&2&0&1\\
0&0&0&1&0&2&0\\ 0&0&0&0&0&1&0\end { array } \right ] \\
t(27,29 ) & =   \left [ \begin { array}{cccccccc } 0&1&0&0&0&0&0&0\\ 2&0&1&0&0&0&0&0\\ 0&2&0&1&0&0&0&0\\ 1&0&2&0&0&1&0&0\\ 0&0&1&0&0&2&0&1\\
0&0&0&0&1&0&2&0\\ 0&0&0&0&0&0&1&0\end { array } \right ] \\
t(27,30 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 2&0&1&0&0&0&0\\ 0&2&0&1&0&0&0\\ 1&0&2&0&0&1&0\\ 0&0&1&0&0&2&0\\ 0&0&0&0&1&0&2\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(28,33 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 2&0&1&0&0&0&0\\ 0&2&0&1&0&0&0\\ 1&0&2&0&1&0&0\\ 0&1&0&2&0&0&1\\
0&0&0&1&0&0&2\\ 0&0&0&0&0&1&0\end { array } \right ] \\
t(28,34 ) & =   \left [ \begin { array}{cccccccc } 0&1&0&0&0&0&0&0\\ 0&2&0&1&0&0&0&0\\ 1&0&2&0&1&0&0&0\\ 0&1&0&2&0&1&0&0\\ 0&0&1&0&2&0&0&1\\
0&0&0&0&1&0&0&2\\ 0&0&0&0&0&0&1&0\end { array } \right ] \\
t(29,35 ) & =   \left [ \begin { array}{cccccccc } 1&0&0&0&0&0&0&0\\ 0&0&1&0&0&0&0&0\\ 0&0&2&0&1&0&0&0\\ 0&1&0&2&0&1&0&0\\ 0&0&1&0&2&0&1&0\\ 0&0&0&1&0&2&0&0\\ 0&0&0&0&0&1&0&0\\
0&0&0&0&0&0&0&1\end { array } \right ] \\
t(30,36 ) & =   \left [ \begin { array}{cccccccc } 0&1&0&0&0&0&0&0\\ 2&0&0&1&0&0&0&0\\ 1&0&0&2&0&1&0&0\\ 0&0&1&0&2&0&1&0\\ 0&0&0&1&0&2&0&1\\
0&0&0&0&1&0&2&0\\ 0&0&0&0&0&0&1&0\end { array } \right ] \\
t(30,37 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 2&0&0&1&0&0&0\\ 1&0&0&2&0&1&0\\ 0&0&1&0&2&0&1\\ 0&0&0&1&0&2&0\\ 0&0&0&0&1&0&2\\
0&0&0&0&0&0&1\end { array } \right ] \\
t(31,28 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 2&0&1&0&0&0&0\\ 0&2&0&0&1&0&0\\ 0&1&0&0&2&0&1\\ 0&0&0&1&0&2&0\\
0&0&0&0&1&0&2\\ 0&0&0&0&0&1&0\end { array } \right ] \\
t(31,29 ) & =   \left [ \begin { array}{cccccccc } 0&1&0&0&0&0&0&0\\ 0&2&0&1&0&0&0&0\\ 1&0&2&0&0&1&0&0\\ 0&0&1&0&0&2&0&1\\ 0&0&0&0&1&0&2&0\\
0&0&0&0&0&1&0&2\\ 0&0&0&0&0&0&1&0\end { array } \right ] \\
t(31,30 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 0&2&0&1&0&0&0\\ 1&0&2&0&0&1&0\\ 0&0&1&0&0&2&0\\ 0&0&0&0&1&0&2\\
0&0&0&0&0&1&0\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(32,31 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 2&0&1&0&0&0&0\\ 1&0&2&0&1&0&0\\ 0&1&0&2&0&0&1\\ 0&0&0&1&0&0&2\\
0&0&0&0&0&1&0\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(33,28 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 2&0&1&0&0&0&0\\ 0&2&0&0&1&0&0\\ 0&1&0&0&2&0&1\\ 0&0&0&1&0&2&0\\ 0&0&0&0&1&0&2\\
0&0&0&0&0&1&0\end { array } \right ] \\
t(33,29 ) & =   \left [ \begin { array}{cccccccc } 0&1&0&0&0&0&0&0\\ 0&2&0&1&0&0&0&0\\ 1&0&2&0&0&1&0&0\\ 0&0&1&0&0&2&0&1\\ 0&0&0&0&1&0&2&0\\ 0&0&0&0&0&1&0&2\\ 0&0&0&0&0&0&1&0\end { array } \right ] \\
t(34,38 ) & =   \left [ \begin { array}{cccccccc } 1&0&0&0&0&0&0&0\\ 0&0&1&0&0&0&0&0\\ 0&0&2&0&1&0&0&0\\ 0&1&0&2&0&0&1&0\\ 0&0&0&1&0&0&2&0\\ 0&0&0&0&0&1&0&2\\
0&0&0&0&0&0&1&0\\ 0&0&0&0&0&0&0&1\end { array } \right ] \\
t(35,39 ) & =   \left [ \begin { array}{cccccccc } 1&0&0&0&0&0&0&0\\ 0&1&0&0&0&0&0&0\\ 2&0&0&1&0&0&0&0\\ 1&0&0&2&0&1&0&0\\ 0&0&1&0&2&0&0&1\\ 0&0&0&0&1&0&0&2\\
0&0&0&0&0&0&1&0\\ 0&0&0&0&0&0&0&1\end { array } \right ] \\
t(36,40 ) & =   \left [ \begin { array}{cccccccc } 1&0&0&0&0&0&0&0\\ 0&1&0&0&0&0&0&0\\ 2&0&1&0&0&0&0&0\\ 0&2&0&0&1&0&0&0\\ 0&1&0&0&2&0&1&0\\ 0&0&0&1&0&2&0&0\\
0&0&0&0&0&1&0&0\\ 0&0&0&0&0&0&0&1\end { array } \right ] \\
t(37,29 ) & =   \left [ \begin { array}{cccccccc } 0&1&0&0&0&0&0&0\\ 2&0&1&0&0&0&0&0\\ 0&2&0&1&0&0&0&0\\ 1&0&2&0&0&1&0&0\\ 0&0&1&0&0&2&0&1\\
0&0&0&0&1&0&2&0\\ 0&0&0&0&0&0&1&0\end { array } \right ] \\
t(37,30 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 2&0&1&0&0&0&0\\ 0&2&0&1&0&0&0\\ 1&0&2&0&0&1&0\\ 0&0&1&0&0&2&0\\
0&0&0&0&1&0&2\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(38,36 ) & =   \left [ \begin { array}{cccccccc } 1&0&0&0&0&0&0&0\\ 0&1&0&0&0&0&0&0\\ 2&0&0&1&0&0&0&0\\ 1&0&0&2&0&1&0&0\\ 0&0&1&0&2&0&1&0\\ 0&0&0&1&0&2&0&1\\
0&0&0&0&1&0&2&0\\ 0&0&0&0&0&0&1&0\end { array } \right ] \\
t(38,37 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 0&1&0&0&0&0&0\\ 2&0&0&1&0&0&0\\ 1&0&0&2&0&1&0\\ 0&0&1&0&2&0&1\\ 0&0&0&1&0&2&0\\
0&0&0&0&1&0&2\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(39,28 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 0&1&0&0&0&0&0\\ 2&0&1&0&0&0&0\\ 0&2&0&0&1&0&0\\ 0&1&0&0&2&0&1\\ 0&0&0&1&0&2&0\\
0&0&0&0&1&0&2\\ 0&0&0&0&0&1&0\end { array } \right ] \\
t(39,29 ) & =   \left [ \begin { array}{cccccccc } 0&1&0&0&0&0&0&0\\ 2&0&1&0&0&0&0&0\\ 0&2&0&1&0&0&0&0\\ 1&0&2&0&0&1&0&0\\ 0&0&1&0&0&2&0&1\\ 0&0&0&0&1&0&2&0\\ 0&0&0&0&0&1&0&2\\ 0&0&0&0&0&0&1&0\end { array } \right ] \\
t(39,30 ) & =   \left [ \begin { array}{ccccccc } 0&1&0&0&0&0&0\\ 2&0&1&0&0&0&0\\ 0&2&0&1&0&0&0\\ 1&0&2&0&0&1&0\\ 0&0&1&0&0&2&0\\ 0&0&0&0&1&0&2\\
0&0&0&0&0&1&0\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(40,33 ) & =   \left [ \begin { array}{ccccccc } 1&0&0&0&0&0&0\\ 2&0&1&0&0&0&0\\ 0&2&0&1&0&0&0\\ 1&0&2&0&1&0&0\\ 0&1&0&2&0&0&1\\ 0&0&0&1&0&0&2\\ 0&0&0&0&0&1&0\\ 0&0&0&0&0&0&1\end { array } \right ] \\
t(40,34 ) & =   \left [ \begin { array}{cccccccc } 0&1&0&0&0&0&0&0\\ 0&2&0&1&0&0&0&0\\ 1&0&2&0&1&0&0&0\\ 0&1&0&2&0&1&0&0\\ 0&0&1&0&2&0&0&1\\ 0&0&0&0&1&0&0&2\\
0&0&0&0&0&0&1&0\\ 0&0&0&0&0&0&0&1\end { array } \right ] \\
\end{aligned}\ ] ]    the essential class is : [ 28 , 29 , 30 , 33 , 34 , 35 , 36 , 37 , 38 , 39 , 40 ] .
the essential class is of positive type .
an example is the path [ 28 , 34 , 38 , 36 , 40 , 34 , 38 , 37 ] .
the essential class is not a simple loop .
this spectral range will include the interval @xmath1118 $ ] .
the minimum comes from the loop @xmath1119 $ ] .
the maximum comes from the loop @xmath1120 $ ] .
these points will include points of local dimension [ 3.873239615 , 3.883344935 ] .
the spectral range is contained in the range @xmath1121 $ ] .
the minimum comes from the column sub - norm on the subset @xmath1122 of length 20 .
the maximum comes from the total column sup - norm of length 10 .
these points will have local dimension contained in [ 3.696560893 , 4.281748469 ] .