arxiv: v1 [math.ds] 3 Feb 2010

Transcription

1 COMBINATORIAL TOPOLOGY OF THREE-DIMENSIONAL SELF-AFFINE TILES arxv: v1 [math.ds] 3 Feb 2010 CHRISTOPH BANDT Abstract. We develop tools to study the topology and geometry of self-affne fractals n dmenson three and hgher. We use the self-affne structure and obtan rather detaled nformaton about the connectedness of nteror and boundary sets, and on the dmensons and ntersectons of boundary sets. As an applcaton, we descrbe n algebrac terms the polyhedral structure of the sx fractal threedmensonal twndragons. Only two of them can be homeomorphc to a ball but even these have faces whch are not homeomorphc to a dsk. 1. Introducton When Lévy [32] ntroduced hs famous curve n 1938, he also constructed fractal surfaces n a smlar way. 70 years later, we have plenty of papers on fractal sets n the plane, and a number of general statements and constructons whch hold n every dmenson, but very few studes on the geometry of fractals n dmenson 3. Vsualzaton s certanly one reason to prefer plane sets: they can be easly shown on a computer screen. In dmenson 3, vsualzaton s more dffcult, even though there are good ray-tracng programs, lke chaoscope [15] and IFS bulder [27], whch allow to look at three-dmensonal fractals from any chosen vewpont, wth prescrbed lght sources. Fgure 1 shows two vews of one of our man examples. Does t have nteror ponts? If so, s the nteror connected? Is the fgure smply connected? Unlke n two dmensons, the answer to such questons can hardly be guessed from the pctures - ths requres tools whch we develop here. There are several mathematcal dffcultes n dmenson 3. We avod the problem that lnear maps do usually not commute, by concentratng ourselves to fractals generated by a sngle matrx. But there s another problem whch wll concern us: proper self-smlarty s rather an exceptonal case. The modul of all egenvalues of a 3 3 matrx do rarely concde whle for a 2 2 matrx they concde as soon as the egenvalues are complex. Ths problem s addressed n Secton 2, and Theorem 2.3 mples that n R 3 there s essentally only one type of nteger self-smlar tle wth 2 up to 7 peces. Other dffcultes concern the topology of three-dmensonal fractals. Our man am here s to study the topology of self-affne tles, and of ther boundares whch are fractal surfaces. In partcular, we would lke to know whch of these tles are homeomorphc to a closed ball. In two dmensons, the correspondng queston for dsk-lke tles was dscussed nalargenumber of papers [3, 4, 7, 12, 19, 33, 31, 36, 38] (more references can be found n [31, 42, 43]), and Jordan curve arguments were Date: February 3,

2 2 CHRISTOPH BANDT Fgure 1. Two vews of the twndragon C, made by chaoscope [15]. Is ths set homeomorphc to a ball? Is the nteror connected? We develop concepts and tools to answer such questons. heavly used. Among others, t s easy to see that connectedness of the nteror of a self-affne tle n the plane s suffcent for ts dsk-lkeness. In R 3 ths s not the case. The topology of the boundary of a tle can be much more complcated than n R 2. Even the connectedness of a tle s not so easy to verfy [1, 26]. The geometrc phenomena whch we encounter n fractal tles are not caused by knots or wld spheres [14]. It s rather the self-affne fbre structure of the boundary whch makes the topology complcated. Apparently, the dfferent egenvalues of the generatng matrx produce long and thn fbres whch can perce the nteror of neghborng tles, or dstort the boundary structure. We develop algebrac tools whch descrbe the geometry of a self-affne tle T n arbtrary dmenson, n a smlar way as homotopy and homology groups descrbe the geometry of manfolds. Our tools use self-affnty n a specfc way, and they yeld qute detaled nformaton about the geometry. The basc concept s the neghbor graph G = (V,E). It can be consdered as a blueprnt of T whch contans all nformaton about the topology of T n a smple scheme. In the case where T tles by translatons n a unque way, the vertces v V are those translatons for whch T +v belongs to the tlng and ntersects T. Such translatons v wll be called neghbor maps, and they do not only represent the neghborng pece T +v but also the boundary set T (T +v) of T. Ths set can be a face, an edge or just a pont of T, or a more complcated fractal boundary set. For a ball-lke tle we expect that faces are homeomorphc to dsks and edges are homeomorphc to ntervals, and we have to check ths dea. Neghbors n lattce tlngs were ntroduced by Indlekofer, Káta and Racsko [24], and neghbor maps for self-smlar sets were defned by Bandt and Graf [7]. For a self-affne tle, the boundary sets have themselves a self-affne structure: each face or edge s the unon of smaller copes of other boundary sets. Ths s ndcated by

3 COMBINATORIAL TOPOLOGY OF THREE-DIMENSIONAL SELF-AFFINE TILES 3 the edges of the graph G. The defnton of G n Secton 3 mples that the boundary T s a self-affne graph-drected constructon n the sense of Mauldn and Wllams [34], and the graph whch drects ths constructon s G tself. Ths fact was stated by Schecher and Thuswaldner [36] for lattce tles, and used n many other papers to determne the Hausdorff dmenson and topologcal structure of T for plane selfsmlar tles [21, 37, 25, 33, 31, 38, 39]. Some authors [16, 36, 3, 4, 2] prefer the contact matrx defned by Gröcheng and Haas [22] whch descrbes a subgraph of G. A frst applcaton of the neghbor graph concerns the exstence of self-affne lattce tlngs, a problem treated n [22] and n a seres of papers by Vnce [40, 41, 42]. Theorem 5.1 shows that the exstence of such tlngs s equvalent to the compatblty of all neghbors, whch can be easly checked wth G. In sectons 7 to 12 we study the topology of the boundary of T. In secton 8 we defne the herarchy of dfferent boundary sets lke faces, edges, ponts etc. whch corresponds to the herarchy of sets wth dfferent Hausdorff dmensons n Mauldn- Wllams constructons. An mportant problem s to determne all faces those boundary sets whch cover an open set on the boundary. Two methods are developed for ths purpose. Theorem 9.2 gves an algorthmc approach whch only uses the combnatorcs of the neghbor graph. Theorem 10.1 provdes an analytc approach based on recent work by He and Lau [23] and Akyama and Lordant [2], connected wth egenvalues of adjacency matrces and Hausdorff dmenson. In secton 11 we defne a polyhedral structure of fractal tles by the ntersecton sets of two and more faces. There are correspondng neghbor ntersecton graphs G 2,G 3,... whch allow to calculate detals of the polyhedral structure and compare t wth the structure of ordnary polyhedra. In contrast to the contact matrx, all these tools can also be appled to tles wth ncompatble neghbors as well as to fractals whch are not tles, and neghbors can be related by arbtrary sometres of R 3 nstead of translatons. To llustrate our methods, we selected a small class of examples, whch s ntroduced n secton 6: the twndragons. These are the self-affne lattce tles wth two peces. The onedmensonal twndragon s the nterval. In the plane, there are three examples: rectangle or parallelogram, the twndragon and the tame twndragon. They are all dsk-lke [24, 7]. In three-dmensonal space, there are seven examples, whch we denote by letters A to G. Whle A s conjugate to a cube, F and G have an extremely ntrcate structure. We menton some of ther propertes wthout proof. For D and E we determne the boundary faces and ther ntersectons, and we show that ther nteror s not smply connected. B and C seem to be homeomorphc to a ball. In secton 12 we determne ther exact polyhedral structure. We show that they have faces whch are not homeomorphc to a dsk, but C has connected nteror. Ths paper focusses on concepts rather than algorthmc questons although t seems clear that the neghbor graph and related fnte automata are well-suted for computerzed evaluaton. Secton 14 gves a short account of algorthmc aspects.

4 4 CHRISTOPH BANDT 2. Self-affne lattce tles Basc concepts. The followng defntons are standard [28, 29, 42, 43]. A lattce L n R n s the set of nteger lnear combnatons of n lnearly ndependent vectors e 1,...,e n. Usually we take L = Z n. A regular-closed set T s called a tle f t admts a tlng of R n. A tlng by the tle T s a countable unon k T k whch covers R n, such that each T k s sometrc to T, and no two tles have nteror ponts n common. We have a lattce tlng by L f the tles T k are just the translates T +k wth k L. A tle T s a self-affne lattce tle f there s an affne expandng mappng g and a lattce L such that g preserves L and maps T to a unon of tles T + k wth k L. Wth respect to the bass vectors e, the map g has a matrx representaton g(x) = Mx where M s an nteger matrx. Expandng means that all egenvalues of M have modulus greater one. T s determned by the map g and by the lattce coordnates k 1,...,k m of the tles whch form the supertle g(t). m g(t) = MT = T +k j (1) For T to become a tle, we must have m = detm, and the set K = {k 1,...,k m } must fulfl some condton. A suffcent condton s [5] m g(l) = L+k j = L+K (2) j=1 n whch case K s called a standard dgt set or complete resdue system. The latter name comes from the fact that for detg = m, the subgroup g(l) of the addtve group L has m resdue classes, so by (2) each class s represented by exactly one k. See Lagaras and Wang [28, 29] who also studed non-standard dgt sets. In ths paper, we consder only standard dgt sets. The self-affne tle T s called self-smlar f the mappng g s a smlarty mappng wth respect to the Eucldean metrc. In ths case, we must dstngush the standard bass whch defnes the Eucldean dstance, and the bass for the lattce L whch need not be orthonormal. Conjugacy of tles. T s sad to be conjugate to a self-smlar tle f there s a lnear map h so that T = h(t) s a self-smlar tle. The expandng map for T s g = hgh 1, the lattce s L = h(l), and the dgts are k = h(k ), for whch (1) and (2) are easly checked. Example 2.1. In the plane, we consder the dgts k 1 = ( ) 0,k2 = ( 1 0 0). The parallelogram T wth vertces ( ( 0 0), 1 ( 0), 1 ( 1), 2 ) ( 1 s a self-smlar tle wth respect to M = 1 1 ) 1 1 and the lattce L = Z 2. The rectangle T = [0,1] [0, 2] s also a self-smlar lattce tle, wth M = ( 0 ) and L = { ( ) 2n m m,n Z}. The unt square T = [0,1] 2 s a self-affne tle wth respect to the matrx M = ( 02 10) and L = Z 2, but not selfsmlar. However, T s conjugate to the self-smlar tle T snce h(x) = ( 1 0 fulfls h(t ) = T. Note that h(t) = T for h(x) = ( ) x. j=1 0 2) x

5 COMBINATORIAL TOPOLOGY OF THREE-DIMENSIONAL SELF-AFFINE TILES 5 We shall dentfy conjugate tles so that T,T,T are consdered as dfferent versons of the same tle, whch s essentally self-smlar. Consderng tles up to conjugacy means that we focus on the essental data: the characterstc polynomal of g nstead of dfferent matrx representatons. We shall also assume that k 1 = ( 0 0) snce ths can be obtaned by conjugacy wth a translaton. Proposton 2.2. (The class of self-smlar tles) A self-affne lattce tle T wth respect to g(x) = Mx s conjugate to a self-smlar tle f and only f all egenvalues of M have the same modulus. Proof. Necessty of the condton follows from the fact that egenvalues are not changed under conjugacy. On the other hand, f the egenvalues have equal modulus, there s a matrx B such that g(x) = BMB 1 x s a smlarty map. Thus h(x) = Bx maps T to a self-smlar tle. Theorem 2.3. (Very few self-smlar lattce tles n dmenson 3) If n R 3 a self-affne lattce tle T wth respect to g(x) = Mx s conjugate to a self-smlar tle, then one of the followng two condtons s true. () m = detm s a cubc number - n partcular m 8, () M s conjugate to M = 0 0 ±m Proof. Wth respect to the lattce base, g has an nteger matrx, and so the characterstc polynomal p(λ) of M has nteger coeffcents. We express them n terms of the egenvalues λ. p(λ) = λ 3 +(λ 1 +λ 2 +λ 3 ) λ 2 (λ 1 λ 2 +λ 1 λ 3 +λ 2 λ 3 ) λ+λ 1 λ 2 λ 3 where λ 1 λ 2 λ 3 = detm = ±m. Snce T s conjugate to a self-smlar tle, all λ have equal modulus: λ = r > 1. If the egenvalues are real, then λ = ±r and m = ±r 3. In ths case λ 1 +λ 2 +λ 3 {±r,±2r,±3r}, so r must be an nteger and m a cubc number. Now let us assume λ 1,λ 2 are complex egenvalues. Then λ 1 = r(cosα + snα) and λ 2 = r(cosα snα) for some α, so p(λ) = λ 3 +2r(cosα+ s 2 ) λ2 (r 2 +2sr 2 cosα) λ+r 3 s wheres=±1sthesgnofλ 3.Thecoeffcentofλcanbewrttenas 2sr 2 (cosα+ s). 2 Snce the coeffcents are ntegers, ether r must be a ratonal number - and hence an nteger, and m a cubc number. Or cosα+ s must be zero. In ths case, p(λ) = 2 λ 3 +sm whch s the characterstc functon of M. Remark 2.4. The orthogonal part of M s a rotaton around 120 o for s = +1, and a rotaton around 60 o composed wth a reflecton at the plane of rotaton for s = 1. Even n the case where r s an nteger and m a cubc number, 2rcosα must be an nteger and α can assume only few values. Thus there are really very few self-smlar lattce tles n R 3.

6 6 CHRISTOPH BANDT 3. Neghbors of tles and self-affne sets When we want to study the boundary B of a lattce tle T, t s qute natural to consder the neghbors n the tlng - those tles T +k for whch B k = T (T +k) s non-empty. The B k can be consdered as the faces of T, and B s the unon of the B k. Obvously, the number of neghbors s fnte. Ths dea was ntroduced by Glbert [21] and Indlekofer, Káta and Racsko [24] and used n many other papers. Neghbors n fractals. There s a related concept of neghbor n self-smlar fractalswhchappearedfrstn[7]. SupposewehaveafractalAwhchconsstsoftwo copes or tself: A = f 1 (A) f 2 (A), where the f denote contractng smlarty maps. Then the geometry and topology s determned by the structure of the ntersecton set C = f 1 (A) f 2 (A). Only at ponts of C t makes sense to zoom nto the pcture. If x s n f 1 (A), say, and U s a neghborhood of x n A whch does not ntersect C, then the magnfed copy f1 1 (U) of U does already exst n A. The sets f1 1 (C) and f 1 2 (C) can be consdered as boundary sets of A, where A ntersects a potental neghbor f1 1 f 2 (A) or f2 1 f 1 (A). These need not be the only boundary sets, however, snce C conssts of ntersectons of smaller peces lke f 1 f 2 (A) f 2 f 2 (A), and these may be at other postons when they are pulled back to A. Ths argument shows that the boundary sets have a self-smlar structure. The number of boundary sets obtaned by gong to smaller and smaller peces need not be fnte, but n most common examples t s. Let us defne neghbors n ths general sense. Let f 1,...,f m denote contractve affne mappngs on R n. There s a unque compact non-empty set A wth A = m f j (A), (3) j=1 the self-affne set wth respect to the f, cf. [17]. For each nteger q the set A splts nto m q small copes f j (A) = A j, where j = j 1...j q denotes a word of length q from the alphabet I = {1,...,m}, and f j = f j1... f jq. A potental neghbor of A has the form h(a) = f 1 f j (A) where,j I are any words over I such that the peces A = f (A) and A j = f j (A) ntersect. The dea s that f 1 maps A to A and A j to h(a), a neghbor set whch ntersects A and should be of comparable sze. h s called a neghbor map and the set B = A h(a) the correspondng boundary set of A. To get comparable sze, we confne ourselves to words,j of equal length and make some assumptons concernng the f. Proposton 3.1. (Neghbor maps whch are sometres) Let A R n be a self-affne set of the form (3). Let,j be words of the same length q, and h = f 1 f j. () If all f j are smlarty maps wth the same smlarty factor r, then h s a Eucldean sometry. () If f j (x) = M 1 (x+k j ) where M s an expandng matrx and k 1,...,k m R n, then h s a translaton.

7 COMBINATORIAL TOPOLOGY OF THREE-DIMENSIONAL SELF-AFFINE TILES 7 Proof. (): Ifthef j aresmlarty mapswthfactorrthenf j andf 1 are smlarty maps wth factor r q and r q, respectvely. Thus h s an sometry. () s frst proved for q = 1. Snce f 1 (y) = My k, we have f 1 f j (x) = x+k j k (4) Moreover, f h(x) = x+v s a translaton then f 1 hf j (x) = x+mv +k j k (5) Now nducton on q shows that for h = f 1 f j, h(x) = f 1 q...f 1 1 f j1...f jq (x) = x+m q 1 (k j1 k 1 )+M q 2 (k j2 k 2 )+...+(k jq k q ) (6) Lattce tles as a specal case. The case () ncludes our self-affne lattce tles snce the defnng equaton (1) can be rewrtten as m m T = g 1 (T)+g 1 (k j ) = M 1 (T +k j ) (7) j=1 We get f j (x) = M 1 (x+k j ) as contractng maps for the self-affne set T. At ths pont t s possble to explan the concept of standard dgt set k 1,...,k m whch says that k jq k q s not n ML for j q q (see secton 2). Ths property mples that the translaton vector n (6) can never be zero f j q q snce k jq k q cannot cancel wth the other terms n (6). As a consequence, the nequalty h d then holds whenever j. From the results n [7] then follows the so-called open set condton whch says that the peces f (T) and f j (T) have no nteror ponts n common. (In [5], ths was shown by Bare s category theorem.) In other words, T and a translate h(t) n (6) have no common nteror ponts. j=1 4. The neghbor graph Self-smlarty of boundary sets. To explan the self-smlar structure of boundary sets, we return to the general case. Consder ntersectng peces A and A j n the self-affne set A. Snce all peces dvde nto m subpeces, lke A n (3), m A A j = A A jj.,j=1 Now consder the boundary sets B = f 1 (A A j ) and B j = f 1 (A A jj ). Then ( m ) m m B = f 1 A A jj = f f 1 f 1 (A A jj ) = f (B j ).,j=1,j=1 At B,B j we suppressed the subscrpts,j snce such an equaton holds for each possble boundary set. In other words, the subdvson of peces nduces self-smlar representatons of the type (3) for all boundary sets - not wth one type of set, but wth several types. We must assume now that we have only fntely many possble boundary sets, whch s true for lattce tles wth standard dgt sets. The unons,j=1

8 8 CHRISTOPH BANDT on the rght contan a lot of empty terms, so we ntroduce a graph whch better descrbes the system of equatons. Concept and propertes of neghbor graph. The neghbor graph G = (V,E) of aself-affne fractal Ahasasvertex set all neghbor mapsh = f 1 f j, andadrected edge marked wth goes from h to h = f 1 f 1 f j f j. Loops and multple edges (even wth the same label) are possble [10]. For a formal defnton, we focus on self-affne tles. Defnton 4.1. Let T = f j (T) be a self-affnelattce tle wth f j (x) = M 1 (x+k j ) so that the neghbor maps have the form h(x) = x + k. We dentfy h wth the translaton vector k, and asopcate t wth the boundary set B k = T (T + k). An edge from k to k wth label s drawn when relaton (5) holds: G = (V,E) wth V = {k T (T +k) } and m E = E wth E = {(k,k,) k = Mk +k j k } (8) =1 Here E denotes the set of edges wth label. It should be mentoned that V contans a root vertex k = 0 (or h 0 = d n the more general notaton) whch does not correspond to a boundary set. There are edges (0,k j k,) from the root whch correspond to the frst step (4) n the calculaton of neghbor maps. The loops (0,0,) wll not be drawn, however. For the calculaton of G, see secton 14, [10, 11] and the example below. Proposton 4.2. (The boundary equatons) Let T = m j=1 f j(t) be a self-affne lattce tle wth neghbor graph G = (V,E). The boundary sets B k correspondng to the k V \{0} fulfl the followng equatons. B k = {f j (B k j {1,...,m}, (k,k,j) E} (9) Ths s an mmedate consequence of Defnton 4.1 and of the dscusson above. Mauldn and Wllams [34] called famles of such fractals B k graph-drected constructons, and proved that the B k are unquely determned by the graph G and the maps f j. At the end of secton 10 we brefly dscuss the open set condton of (9). Proposton 4.3. (The basc symmetry of G) If h s a neghbor map, then h 1 s also a neghbor map. For translaton ths means that to every k there s a k, and each boundary set B k = T (T + k) has an opposte set B k = (T k) T = B k k. Ths symmetry of V wll extend as a graph somorphsm to the edges, but not to the labels. If k = Mk +k j k then (k,k ) has label and ( k, k ) has label j. In a prevous publcaton wth M. Mesng [10], we wrote both labels,j at the edge (k,k ). Ths s not necessary here snce we can always recover the second label from the opposte edge. A two-dmensonal example. In our examples, neghbors wll be denoted by lower-case Roman letters, and b wll denote the opposte vertex of b. We start

9 COMBINATORIAL TOPOLOGY OF THREE-DIMENSIONAL SELF-AFFINE TILES 9 Fgure 2. A two-dmensonal tle and ts neghbor translatons. wth a two-dmensonal tle [5, 42] whch can be consdered as a modfcaton of the square, and as an extenson of the Serpńsk gasket. The constructon of neghbor graphs for three-dmensonal tles proceeds n the same way as demonstrated here. Example 4.4. Let f j (x) = (x+k j )/2 for j = 1,...,4 where k 1 = ( ) 0,k2 = ( 1 ( 0 0),k3 = 0 1), and k4 = ( 1). The tle T s shown n Fgure 2. Clearly, T [ 1,+1] 2. Thus a translaton x = ( x 1 ) x 2 wth T (T+x) must fulfl x1 2 and x 2 2. Moreover, L s the nteger lattce, so x 1,x 2 { 2, 1,0,1,2}. In ths way we prove that for an arbtrary self-affne lattce tle, the set V s fnte. The tle T has sx neghbors whch ntersect T n a sngle pont, and sx neghbors whch ntersect T n an uncountable set whch s n fact a Serpńsk gasket. Proof. We start wth the translaton vectors k = k j k where j, see the rght-hand part of Fgure 2. If k s n V, there s the edge (0,k,). Snce our matrx s M = ( ), all these ponts do belong to V, wth a loop (k,k,j) at each pont k, because k j k = 2(k j k )+k k j. Moreover, these wll be the only ponts of V. For the other ponts x wth x 1 2, x 2 2 the recurson (5) wll lead to vectors k whch are outsde the range of x 1,x 2 and thus are no neghbor maps. A smple calculaton [10] shows that once we are outsde the range, we can never come n agan by the recurson (5). Thus the translatons ±a = ± ( ) ( 1 1,±b = ± 1 ) ( 0,±c = ± 0 ) 1 marked by, and ± ( ( 2 1),± 1 ) ( 2,± 1 1) marked by are the vertces of our neghbor graph. The last sx vertces have only the loop and no further outgong edges. These sx vectors are the translatons along the sdes of the bg trangle n Fgure 2. They translate T to a neghbor h(t) whch has a sngle pont as ntersecton wth T. These neghbors are called pont neghbors. To fnd pont neghbors, we need only look at the graph, not at the pcture. The loop at k = ( 2 1) wth label 2 says that the boundary set has address = 2,

10 10 CHRISTOPH BANDT c a b 0 1 -b a c Fgure 3. The reduced neghbor graph for the Serpńsk tle. and the opposte vector ( 2 1) has address 4. Ths means that T (T +k) s exactly one pont, whch has address 2 n T and address 4 n T +k. Indeed the ntersecton s the pont k 2 = ( 1 0) whch s the fxed pont of f2, and T +k wll meet ths pont wth the translate of k 4, the fxed pont of f 4. The translate of k 3 along the vector k = ( ) 1 1 s also k2. Ths way t turns out that two of the sx pont neghbors wll meet T at each vertex of the trangle. We now forget the pont neghbors. The graph of the remanng sx neghbors ±a,±b,±c and the root, shown n Fgure 3, wll be called the reduced neghbor graph [10]. On the left of Fgure 2, the correspondng boundary sets are ndcated. As mentoned above, each vertex k = k j k has a loop wth label. The edge ( b,a) has label 2 and the opposte edge has label 3 because a = 2 ( b)+k 3 k 2. In a smlar way, all other edges were determned. The graph n Fgure 2 s rreducble whch means that all correspondng boundary sets have a smlar structure. Ths also follows from the equatons of the graphdrected system (9): B a = f 1 (B a ) f 2 (B c ) f 3 (B b ), B b = f 2 (B a B b B c ), B c = f 3 (B a B b B c ). All these boundary sets are n fact small Serpńsk gaskets, as can be seen n the fgure. The theorem below shows that they are uncountable. Topology and address map. A sequence ß = s 1 s 2... I s called address of the pont x n a self-affne tle T f t s contaned n the peces T s1...s n for n = 1,2,... (cf. [13], Chapter IV, [17], Secton 9.1). The ponts of the ntersecton sets T T j have two addresses, one startng wth and the other one wth j. The address map π : I T s a quotent map, t determnes the topology of T. For that reason t s mportant to know whch addresses wll be dentfed. The neghbor graph provdes ths nformaton, as can be easly shown ([10], sectons 4 and 5). A path n the drected graph G s a fnte or nfnte sequence e 1 e 2... such that the termnal vertex of e k concdes wth the ntal vertex of e k+1. A fnte path e 1...e n s a cycle f the termnal vertex of e n s the ntal vertex of e 1.

11 COMBINATORIAL TOPOLOGY OF THREE-DIMENSIONAL SELF-AFFINE TILES 11 Theorem 4.5. (Neghbor graph and addresses of ponts, see [10]) Let T be a self-affne tle wth the address map π : I T and the neghbor graph G = (V,E). () Two sequences ß = s 1 s 2... and t = t 1 t 2... are addresses of the same pont f and only f there s a path e 1 e 2... startng n the root wth labels s 1 s 2..., such that the opposte path -e 1 -e 2... has labels t 1 t 2... () The addresses of the ponts of a boundary set B k concde wth label sequences of paths startng n the vertex k. They form a regular language L k. () If only one cycle can be reached from the vertex k by a drected path, then B k s a sngleton. (v) If two dfferent cycles can be reached from k, and these cycles can be reached from each other, then the set B k s uncountable. Note that a cycle wth a dagonal, or wth a loop at one of ts ponts counts as two dfferent cycles whch can reach each other. 5. Exstence of self-affne lattce tlngs Before we can go on, we must settle one dffculty wth neghbors. They need not be compatble: h(t) and h(t) can be neghbors of T, but not of each other. In that case, dfferent tles n a tlng wll have dfferent neghborhoods. It turns out that the compatblty of neghbors s connected wth another queston whch was studed by Gröcheng and Haas [22] and n several papers of Vnce [40, 41, 42] as a central problem n the feld. A self-affne lattce tle wth standard dgt set wll always admt self-affne tlngs. It s a non-trval result that t wll also admt lattce tlngs [30] but these need not be self-affne n the sense that tles assemble to form supertles ([42], Example 4.2). Vnce ([41],[42], Theorem 4.3) gave 10 equvalent condtons for the exstence of a self-affne lattce tlng. Two of them are of an algorthmc nature. Here we extend Vnce s lst by provng that a self-affne lattce tlng exsts f and only f all neghbors are compatble wth each other, and we show that ths property can be easly decded wth the neghbor graph. The followng theorem also shows that all self-affne sets wth mappngs f j (x) = M 1 (x + k j ) whch are not lattce tles must have ncompatble neghbors. Theorem 5.1. (Compatble neghbors and self-affne lattce tlngs) Let A R n be a connected self-affne set wth respect to mappngs f j (x) = M 1 (x+ k j ),j = 1,...,m where M s an expandng matrx and the open set condton holds. Then the followng condtons are equvalent. () All potental neghbors appear together at one pece A. () A s a self-affne lattce tle whch admts a self-affne tlng by a lattce. () In the neghbor graph, each vertex k 0 has at least one ncomng edge wth each of the labels j = 1,...,m. Proof. () (): Weassume Asaself-affneset, anda hasallpossble neghbors. Then the number of neghbors must be fnte, at most m n f = 1... n. Moreover,

12 12 CHRISTOPH BANDT f 1 (A) conssts of copes of A whch nclude all possble neghbors h(a). Snce the maps are translatons h(x) = x+k by Proposton 3.1, let agan K denote the set of all these translaton vectors. We defne an nfnte pattern of translates of A as a unon of ncreasng compact sets: f q (A). q=1 All translates A of A n ths pattern have the form f q (A j ) for some number q and some word j. Ths mples that they all have the same neghbors as A. To see ths, consder the (potental) boundary of a subpece A j wth j {1,...,m}, defned as the unon of all ts ntersectons wth potental neghbors. Ths boundary s contaned n the unon of the boundary of A and the ntersectons A j A wth = 1,...,m, j. So by assumpton the boundary of A j s contaned n A, and by nducton on the length of j ths s proved for subpeces A j. Thus all atoms A of our nfnte pattern have a maxmal set of neghbors whch covers ther boundary completely. But there s only one maxmal set: the complete set of translates A +k wth k K. Let L denote the lattce generated by K. Snce A was connected, any two peces of the same level are connected by a chan of neghborng peces (cf. [11], 8.2.1), and each atom has the form A = A+k wth k L. Moreover, L has the same rank as the lnear subspace generated by A, whch we wll now assume s R n. Snce all A have the neghbor vectors K, the nfnte pattern concdes wth A+L. As aconsequence, thepatternmust beatlng ofr n :If there wasasmall openset U outsde A+L then there would be arbtrary large copes f q (U) outsde A+L whch would contradct the fnte mesh sze of L. Thus we have constructed a self-affne lattce tlng by copes of A. () (): Let R n = A+L be a self-affne lattce tlng by the tle A. Then each tle of the tlng has the same set of neghbor translatons K. Thus f k s n K, then k appears as a neghbor translaton of any pece T j of a supertle T, where j {1,...,m}. If the neghbor s another pece T of T, there s the edge (0,k,j) n G. If the neghbor of T j s n another supertle T then we have the edge (k,k,j) where k s the neghbor map between T and T. Thus for each vertex k of the vertex set K, there s an ncomng edge wth label j. () (): We assume that each vertex k n the neghbor graph G = (V,E) has ncomng edges wth each label j. We have to fnd a word = 1... N such that A has all neghbors k V. For each k there must be a suffx n(k)... N of whch conssts of labels of a path from 0 to k. It s not dffcult to construct such a word by nducton, gong paths backwards (aganst the drecton of edges) towards 0. Start wth a vertex k 1 and let j 1 = j 1...j q1 bethelabelsofabackwardpathfromk 1 to0. Accordngtoourassumpton, thereare also backward paths wth label sequence j 1 from all other vertces. Ther endponts, whch are dfferent from 0, wll form a set V 1. Next, take a k 2 V 1 and a backward path j 2 = j q j q2 from k 2 to 0. Also take backward paths from all other k V 1 wth label sequence j 2 and denote the set of

13 COMBINATORIAL TOPOLOGY OF THREE-DIMENSIONAL SELF-AFFINE TILES 13 ther non-zeroendpontsbyv 2.Contnue wthk 3 V 2,andsoon. SnceV n+1 hasless ponts than V n, we wll have V n = for some n. The sequence = j qn...j qn 1...j q1...j 1 wll have all requred suffxes. All examples consdered n ths paper wll fulfl the condton of theorem 5.1. For Example 4.4 ths can be seen n Fgure 3, for the twndragons n the fgures below. 6. The seven three-dmensonal twndragons Twndragons and ther symmetry. We now defne the famly of examples we are gong to study here. A twndragon s a self-affne lattce tle wth m = 2 peces. The expandng matrx M has determnant ±2. In dmenson 1, a twndragon s an nterval. In R 2, there are three examples: the rectangle (Example 2.1), the ordnary twndragon and the tame twndragon, and they are all dsk-lke [7]. Snce we dentfed conjugate tles, we could take k 1 = 0 n secton 2. For twndragons n R n, we can also choose k 2 arbtrarly, as long as k 2 s not n an nvarant lnear subspace of M. For the bass {k 2,g(k 2 ),...,g n 1 (k 2 )} the matrx M of g wll always be the same, determned by the characterstc polynomal of g (see [20] and the proof of Theorem 6.2 below). For our twndragons n R 3, we choose another normalzaton: k 1 = ( 1 2,0,0), k 2 = ( 1 2,0,0) (10) Ths has the effect that 0 s the symmetry center of T, and n the neghbor graph, an edge wth label 1 passes from the root to a = (1,0,0). Proposton 6.1. (Symmetry of twndragons) Each twndragon T n R n has a symmetry center at c = 1 2 (k 1 + k 2 ). The pont reflecton at c nterchanges the two peces T 1,T 2, and each boundary set B k wth the opposte set B k. Moreover, each boundary set B k of T also has a symmetry center at c k = c+ k 2. Proof. Wecantakek 1,k 2 from(10)sncethesymmetrysnotchangedbyanaffne conjugacy. Thus f 1 (x) = M 1 x+k 1,f 2 (x) = M 1 x k 1. Wth φ(x) = x we obtan φf 1 = f 2 φ or f = φf 3 φ 1 snce φ 1 = φ. For any word = 1... n on I = {1,2}, we have f = φf j φ 1, where each j q = 3 q s the opposte symbol. Snce the pont of T wth address ß = can be represented as x = lm n f 1 f 2...f n (z) where z s any startng pont [17], ths mples that φ transforms ths pont nto the pont wth the opposte address. In partcular φ(t) = T and φ(t ) = T 3 from whch t follows that φ maps T 1 T 2 onto tself. For each boundary set B k = T (T+k), the map φ transforms T+k to φ(t) k = T k, thus φ(b k ) = B k. Onthe other hand we had B k = B k k, so ψ(x) = x+k maps B k to tself. ψ s the pont reflecton at c k = k. 2 The seven twndragons. The last proposton shows that the tle generated by f 1,f 2 can also be generated by f 1 φ and f 2 φ, where φ s the pont reflecton at c. Snce n R 3 the map φ has determnant -1, ths has the consequence that we need only consder thematrces M wth detm = 2. Wth -2we get thesame twndragons.

14 14 CHRISTOPH BANDT Fgure 4. Twndragon B, shown frst n [20] Theorem 6.2. (Lst of three-dmensonal twndragons, cf. [26, 1]) Up to conjugacy, there are exactly seven twndragons, each of whch s unquely determned by the par of coeffcents (a, b) of ts characterstc polynomal p(λ) = λ 3 +aλ 2 +bλ+2 : Twndragon A B C D E F G Parameter (0,0) (-1,1) (1,-1) (0,1) (2,-2) (1,0) (0,2) Proof. These are the only ntegers (a,b) for whch p(λ) has only roots of modulus > 1 [26, 1]. For k 1 = 0,k 2 = (1,0,0) and the bass {k 2,Mk 2,M 2 k 2 } the affne map g(x) = b x 0 1 a has characterstc polynomal p(λ), and yelds a twndragon. The standardzaton (10) translates ths twndragon by ( 1 2,0,0) so that ts center s 0. Example 6.3. ( The non-fractal twndragon A ) A, the self-affne cube wth 2 peces, s the three-dmensonal analogue of Example 2.1. When consdered as a rectangular parallelepped wth sde lengths 1, 3 2, 3 4, t s the self-smlar excepton mentoned n Theorem 2.3, (). The smlarty map g then s a 120 o rotaton composed wth a homothety by the factor 3 2. Of course, ths tle has 26 neghbors: 6 faces, 12 edge neghbors and 8 pont neghbors. Number of neghbors of twndragons. The twndragons form a nce lttle famly wth seven examples on whch we can test our neghbor methods. However, the sx fractal examples are truly self-affne, whch makes ther topology ntrcate. As a frst overvew, we compare the modul of egenvalues of M - the nverses of the contracton factors of the f j along dfferent drectons - and the number of

15 COMBINATORIAL TOPOLOGY OF THREE-DIMENSIONAL SELF-AFFINE TILES 15 Fgure 5. Twndragon E neghbors. If the contracton factors dffer much, there are lots of neghbors. We also determne the number of nfnte boundary sets, by deletng from the neghbor graph the vertces representng fnte boundary sets, as was explaned n Example 4.4 and Theorem 4.5. It turns out that all nfnte boundary sets are uncountable. The number of faces wll be determned n the sectons below. Proposton 6.4. (Frst neghbor calculaton for the seven twndragons) Twndragon A B C D E F G Parameter (0,0) (-1,1) (1,-1) (0,1) (2,-2) (1,0) (0,2) Complex egenvalues modulus Real egenvalue Number of neghbors Uncountable boundary sets Faces For B, C and D the number of nfnte boundary sets s smaller than for the cube, so that we can expect them to be more or less ball-lke. E has medum complexty, and the last two examples have many nfnte neghbor sets they could be threedmensonal counterparts of Example 4.4. When we compare wth the fgures, we see that the twndragons possess a knd of fbre structure along the drecton of the smaller egenvalues of M, that s, the larger egenvalues of M 1. For B, the peces drawn n Fgure 4 are stretched along the drecton of the real egenvalue of M 1 whch s the largest contracton factor. So roughly the peces look lke cgars. In all other examples, the larger contracton factor s gven by the complex egenvalues, and the peces look lke leaves or plates. For C n Fgure 1, the leaves stll have some thckness, whle for E llustrated n Fgure 5, the plates are already very thn. For the other three twndragons, the plates look smlar or stll thnner.

16 16 CHRISTOPH BANDT c a b e f d j h g a b c d e f g h j Fgure 6. The neghbor graph for C contans all nformaton about the topology of Fgure 1. The translaton vectors, whch we shall not need, ndcate the poston of the center of the neghbor. How to draw neghbor graphs of twndragons. Let us menton some other nce propertes of our famly and fx some notaton for the neghbor graphs. Frst, all twndragons are connected. For two peces ths follows from T 1 T 2 (see Barnsley [13], 8.2.1). If ths relaton would not hold, T would be a Cantor set and would have no nteror ponts. Next, the only possble dfferences k j k are k 2 k 1 = (1,0,0),k 1 k 2 = ( 1,0,0), and k k = 0. The correspondng labels of the edges are 1 and 2 and where the last case means two edges labelled wth 1 and 2. We shall draw edges for the last case as double arrows, and we dstngush labels 1 and 2 by assgnng a fat tp to the arrows wth label 2. Ths way we save the labellng of edges. The label of the opposte edge s j = 3 for smple arrows, and j = for double arrows. In vew of the symmetry, we can smplfy the neghbor graph further by drawng only one vertex from each par of opposte vertces k, k and ntroducng the conventon that a wavy arrow to k denotes an arrow to k. Ths wll also smplfy the equaton systems (9) for the boundary sets. It really matters whether one has to work wth 20 or 40 vertces! Note that the opposte vertex of k s k not only as a vector, but by Proposton 6.1 also as a boundary set: B k = B k. For sake of brevty, we shall provde no detals for the complcated twndragons F and G, but we gve full arguments for the other four examples. To verfy the condton of Theorem 5.1, we check n Fgures 6, 7, 8, and 9 that each vertex s reached ether by a double arrow, or by two ordnary arrows wth dfferent tps ndcatng label 1 and 2, or by an ordnary and a wavy arrow wth equal tps. In the last case the wavy arrow leads to k, so we have to count the opposte edge.

17 COMBINATORIAL TOPOLOGY OF THREE-DIMENSIONAL SELF-AFFINE TILES 17 c a b d e f g h Fgure 7. Neghbor graph for the twndragon B. There are two pont neghbors: wth address 2 and h wth address 12. Example 6.5. We derve the equatons (9) of the boundary sets from Fgure 6. We neglect all pont neghbors, gven by vertces below the thn lne. B a = f 1 (B b ) f 2 (B b ) f 2 (B c ), B b = f 1 (B d ) f 2 (B d ), B d = f 2 (B f ), B c = f 1 (B e ) f 2 (B e ) f 1 (B f ), B e = f 2 ( B c ), B f = f 2 (B a ). By substtuton we reduce the system to two equatons: 2 B a = f 2 (B c ) f j22 (B a ), B c = f 12 (B a ),j=1 2 f 2 ( B c ). =1 7. Identfyng faces: the smple case Defnng faces. The topologcal boundary of a set T wll be denoted by T = T \ntt. If T s a tle n a tlng, then T must be covered by the boundary of neghborng tles: T = k V B k. Theorem 4.5 says that we can determne the cardnalty of a boundary set B k by countng the number of paths startng from k n the neghbor graph G. It s much more complcated to determne the topology of B k. In three-dmensonal self-affne tles, we would lke to dstngush boundary sets whch are two-dmensonal fractals, one-dmensonal curves, Cantor sets or just fnte sets. Let us say that the boundary set B k = T (T +k) s a face of T f there s a pont x B k and an open neghborhood U of x wth U T B k and U T (T +k). In that case, all boundary ponts of U ntt must belong to B k. Thus B k has topologcal dmenson 2 snce the boundary of each open set n R n has dmenson n 1. The followng statement shows that we have sx faces n Example 4.4. Proposton 7.1. Let k 0 be a vertex n G such that for each other vertex k 0, ether k or the opposte vertex k can be reached by a path from k. Then B k s a face of T.

18 18 CHRISTOPH BANDT b a c e d f g r p h k s j m q n Fgure 8. Neghbor graph for the twndragon D. The neghbors,r,p and k descrbe fnte boundary sets wth more than one pont. Proof. Each tle must have faces. By (9), any path from k to k mples the exstence of a small copy of B k n B k. Thus our assumpton mples that B k contans copes of faces, so t must be a face (cf. Proposton 8.1). For twndragons, there s always an edge wth label 1 from the root to the frst other vertex a = k 2 k 1 = (1,0,0). and ths must be a face by Proposton 7.1. It turns out that for the twndragons B, C and D, all nfnte boundary sets fulfl the assumpton of the proposton snce from ther vertces n G, there s a path to a. The neghbor graphs are shown n Fgures 6, 7 and 8. The pont neghbors are separated from the faces by a thn lne. They are found by Theorem 4.5, (). For B ths can be seen n Fgure 7. For C we have the loop at g wth address 2, and the 2-cycle {,h} n Fgure 6 whch denotes a 4-cycle {, h,,h} n the complete neghbor graph, wth address (The wavy arrow ndcates that we go to the opposte sets, and there the labels 1 and 2 have to be nterchanged. A second wavy arrow reestablshes the orgnal labels.) In Fgure 8 we have a smlar 4-cycle {q, s, j, n} whch denotes an 8-cycle of pont neghbors n the complete neghbor graph wth address Also h and m are pont neghbors, whle,r,p and k descrbe fnte boundary sets wth more than one pont. We summarze: Proposton 7.2. (Faces of B, C and D ) The twndragon C has 12 faces and 8 pont neghbors. B has 14 faces and 4 pont neghbors. The twndragon D has 14 faces, 12 pont neghbors and 8 further fnte boundary sets.

19 COMBINATORIAL TOPOLOGY OF THREE-DIMENSIONAL SELF-AFFINE TILES Dfferent types of boundary sets The partal order for boundary sets. To compare dfferent nfnte boundary sets, we defne an order on the vertces of G. For u,v V we wrte u v f there s a drected path from u to v. We say that the vertces are equvalent, and wrte u v f ether u = v or both u v and v u. For the boundary sets, u v means that B u f (B v ) for some word = 1... q. Proposton 8.1. If u v then dmb u dmb v holds for the topologcal dmenson, the Hausdorff dmenson and the box dmenson. Moreover, f B v s a face, then also B u wll be a face. Proof. The dmenson concepts mentoned here (and also some others [17]) have the followng propertes. () If A B then dma dmb. () If h s an affne map then dmh(b) = dmb. Together wth the remark above ths proves the frst asserton. If B v = T T+v s a face, there s x B v wth anopen neghborhood U T T+v. Now u v means that B u f (B v ) for some word where T +u f (T +v). So y = f (x) and ts neghborhood f (U) can be taken to show that B u s a face. Strong components of the neghbor graph. We can now classfy the vertces of G n a smlar way as states of a Markov chan. Clearly s an equvalence relaton. The topologcal and Hausdorff dmenson, as well as the property of descrbng a face, are nvarant wth respect to. Let Ṽ be the set of equvalence classes wth respect to whch are called strong components of G. Then we get a new graph G by drawng an edge from (ũ,ṽ) f there s u ũ and v ṽ such that (u,v) s an edge n G. The graph G compresses the structure of G. If two vertces u,v G belong to the same class, ths means that B u contans a copy of B v and conversely, so both boundary sets have essentally the same structure. The root 0 V would also be the root of G but t has no meanng and s omtted. The relaton s a partal order on Ṽ. If ũ ṽ then all boundary sets B u contan copes of all boundary sets B v, and dmb u dmb v for all choces u ũ,v ṽ. Thus the largest classes of boundary sets are the faces, then we have one-dmensonal sets, Cantor sets, and as termnal classes countable and fnte sets. Boundary sets from classes ũ,ṽ wth ũ ṽ can also have equal dmensons, however. Remark 8.2. Consder a class ũ Ṽ, as a subset of V. There are three cases. () ũ contans only one vertex. Then the boundary set B u has the same dmenson as the successor vertex v (n case of several successors, the unon of the successor boundary sets). Namely B u = f (B v ). () ũ s a cycle n G, wthout loops and dagonals. In that case the boundary sets B u wth u ũ are countable unons of copes of the successor boundary sets. () ũ contans two cycles. Only n ths case ũ produces ts own Cantor structure, and the B u can have larger dmenson than the successor sets.

20 20 CHRISTOPH BANDT In Fgures 6, 7, and 8 we have one class of faces, a number of sngleton classes and a termnal cycle whch s a class of two, one or four ponts. In Fgure 9 we have a class of sx faces, and a class of eght nfnte neghbors h..r on the rght, as well as three sngleton classes. The vertex s descrbes a pont neghbor, the vertces g and p correspond to nfnte boundary sets wth equal dmensons as h..r, by the above remark, (). We now have to decde whether g,p and h..r are faces. 9. Identfyng faces: the general case An algorthmc approach to fnd the faces. When we consder one equvalence class of the neghbor graph whch contans a face, then t conssts of faces only. Problem 9.1. Must all faces belong to one equvalence class of G? Ths problem also arses when we work wth the contact matrx. In[2], rreducblty was just assumed. We present methods to decde the problem algorthmcally. We start wth a smple topologcal observaton. Proposton 9.2. The faces cover the boundary of a self-affne lattce tle T. Proof. Let x be a boundary pont of T and U an open neghborhood of x. Let E = U T and let T k,k = 1,...,q denote the neghbor tles of T. The sets T T k cover E, and by the Bare category theorem one of these sets, say T T 1, must contan an open subset V of E. Each y V has a neghborhood W n R n whch s contaned n T T 1. So T T 1 s a face. Snce ths holds for any U, the pont x s an accumulaton pont of the faces. Snce we have only fntely many faces, x must belong to one of them. Theorem 9.3. (The neghbor graph decdes whch boundary sets are faces) Let us assume that all neghbors of the tle T are compatble. Then a boundary set B u s a face f t s not contaned n the unon of all other boundary sets. For the neghbor graph ths means that there s a word whch belongs to the language L u of labels of paths startng n u, but not to L v for any other v u. Proof. Consder the unon of the tle T and all ts neghbor tles. If B u s not a face, then by the proposton t s contaned n the unon of the remanng boundary sets. If B u s a face, there s x B u and a neghborhood U T T +u of x. Then U cannot ntersect any other neghbor T +v snce neghbors must have no common nteror ponts. The frst part of the theorem s proved. Now x has an address: x = π(ß) where π s the projecton from the symbol space I to T. Snce π s contnuous [11, 17], there s a prefx of x such that all addresses t whch begn wth wll fulfl π(t) U. By Theorem 4.5 (), ths shows that for a face B u there s a word whch s contaned n L u and n no other L v. Conversely, suppose B u s not a face and L u. There s an address ß whch begns wth such that π(ß) = x s not on the ntersecton of dfferent peces f j (T). (It s known that the ntersectons have Lebesgue measure 0 [7], and snce the normalzed

21 COMBINATORIAL TOPOLOGY OF THREE-DIMENSIONAL SELF-AFFINE TILES 21 d a g h s m j c b k q n e f p r Fgure 9. Neghbor graph of twndragon E. The strong component of a..f represents faces, s s a pont neghbor. Vertces h..r form a strong component representng nfnte boundary sets. g and p are components wth boundary sets of the same dmenson as h..r. Lebesgue measure on T can be consdered as the mage measure of the product measure { 1,..., 1 m m }oni, no cylnder canbe mappedcompletely nto thentersectons.) Snce x s also n a face B v and has only one address, L v contans the sequence ß startng wth. Examples of address calculatons for boundary sets. We shall apply our theorem to Fgure 9. Address calculatons are borng and best left to the computer, but they can provde valuable nformaton about the ntersecton of peces. We start wth smple examples. Example 9.4. ( Pont neghbors n C and B ) Whch faces contan the pont neghbors of C and B? In Fgure 6 we fnd B g = π(2) = B a B b B c B d, B h = π(2211) B c B d B e and B = π(2112) = B c B e B f, B j = π(21221) B a B c so g,h, seem proper vertces but j seems to be on an edge. On the other hand, both pont neghbors of Fgure 7 concde wth the ntersecton of only two faces: B = π(2) = B c B e, B h = π(12) = B a B c. Already these calculatons show the strange polyhedral structure of twndragons. For Fgure 9 the boundary sets look much more complcated than for ordnary polyhedra where an edge s covered by two faces. The proof of the next proposton wll also reveal hdden symmetry behnd the apparently orderless structure of G. Proposton 9.5. ( Boundary structure of E ) The vertces g, p, h..r n the neghbor graph of the twndragon E do not represent faces. The boundary set s contaned n the unon of the four faces e, -f, c, -a and not n a unon of three of them.

22 22 CHRISTOPH BANDT Proof. We determne the language L from the three elementary cycles whch lead n G from to ether or - (cf. secton 7 and Example 9.4). L = 2111L 12L 1122L = C 1 L C 2 L 4 D j L (11) where s consdered as a wldcard for both 1 and 2, and C 1 = 12111,C 2 = 22111,D 0 = 12,D 1 = ,D 2 = ,D 3 = ,D 4 = We now consder the set of faces J = {e, f,c, a}. We wll show j=0 L L J = L e L f L c L a. (12) Frst we study the acton of C 1 and C 2 on the vertces of J. In the followng table + means there s path from x to y wth label C 1, and means the same for C 2. x y e -f c -a e -f + + c -a + + Clam 1: any word C {C 1,C 2 } s n L J, and t can be realzed wth any prescrbed termnal pont n J. Ths clam can be proved by nducton on the number t of terms n C = C n 1 q 1...C nt usng the table. The startng pont always depends on the word. For nstance, t must be -f for C = C 3 1. Now we study how the D j,j = 0,..,4 lead from J to J. In G t can be seen that D 0 leads from e to -e, -f to f, c to a, and -a to -c, respectvely. Moreover, D 1 leads from -a to all vertces of J, and from no other vertex of J to any vertex of J. Smlarly, D 2 leads exclusvely from -f to all of J, and D 3 leads exclusvely from e to all of J, and D 4 leads exclusvely from c to all of J. From ths observaton t follows that all vertces of J are needed to obtan L L J. Moreover, t s clear that Clam 2: any word D j,j = 0,..,4 can be realzed by a path from J to J wth any prescrbed termnal pont n J, provded we can select the startng pont. Applyng Clams 1 and 2 alternatngly, to J and ts opposte set J, we complete the proof of (12). The rest follows from Theorem 9.3. q t, 10. Dmensons and egenvalues The modfed Hausdorff dmenson. In ths secton we gve an alternatve proof for the fact that E has only 12 faces. It s based on recent work of He and Lau [23] and of Akyama and Lordant [2]. Let H denote the adjacency matrx of the graph G\{0}. For two non-zero vertces u,v the entry h uv denotes the number of edges leadng from u to v. It s also possble to take the adjacency matrx of our smplfed graphs, where onlyonevertexfromeachpar{k, k}stakenntoaccount and h uv counts the edges from u to {v, v}. Snce H s a non-negatve matrx t has a real egenvalue of maxmum modulus whch we call λ.