arxiv: v2 [math.fa] 27 Sep 2016

Transcription

1 Decomposition of Integral Self-Affine Multi-Tiles Xiaoye Fu and Jean-Pierre Gabardo arxiv:43.335v2 [math.fa] 27 Sep 26 Abstract. In this paper we propose a method to decompose an integral self-affine Z n -tiling set K into measure disjoint pieces K j satisfying K = K j in such a way that the collection of sets K j forms an integral self-affine collection associated with the matrix B and this with a minimum number of pieces K j. When used on a given measurable Z n -tiling set K R n this decomposition terminates after finitely many steps if and only if the set K is an integral self-affine multi-tile. Furthermore we show that the minimal decomposition we provide is uniue. Key words. self-affine collection tiling sets self-affine multi-tiles AMS subject classifications. 52C22 28A8 Introduction In the relevant literature it has been shown that integral self-affine (multi-)tiles can be used to construct Haar-type wavelet and multiwavelet basis. They also arise in the construction of certain compactly supported wavelets and multiwavelets in the freuency domain with the representations of their set-valued euations playing an essential role in this procedure (see [ 5 6]). The set-valued euation of an integral self-affine tile is uniuely determined. However for an integral self-affine multi-tile the set-valued euation defining it may not be uniue as shown in [8]. Suppose that B M n (Z) the set n n matrices with integer entries and that B is expansive. i.e. all of its eigenvalues have moduli greater than one. For a given measurable set K R n we can determine whether or not K is an integral self-affine tile by checking if it satisfies a set-valued euation. However this is not the case for integral self-affine multi-tiles since we would need to know a priori a measure disjoint partition of K to make this determination. This yields a natural uestion: Given a measurable set K R n and an associated expansive matrix B M n (Z) how can we verify whether or not K is an integral self-affine multi-tile associated with B? In the case of a positive answer the set K could then be used for constructing associated Haar-type wavelets. We first recall the definition of integral self-affine multi-tiles associated with a given expansive matrix with integral entries. School of Mathematics and Statistics Central China Normal University P. R. China. xiaoyefu@mail.ccnu.edu.cn Department of Mathematics and Statistics McMaster University Hamilton Ontario L8S 4K Canada. gabardo@mcmaster.ca The research is supported in part by the NSFC 425

2 A finite collection of sets K i R n i M that are either compact or empty is said to be an integral self-affine collection if there is an expansive matrix B M n (Z) and finite (possibly empty) sets Γ ij Z n i j =... M such that and for any i j k {... M} BK i = M (Γ ij + K j ) for i =... M (.) (β + K i ) (γ + K j ) = for β Γ ki γ Γ kj and i j or β γ (.2) where for two measurable sets E F R n E = F means that the symmetric difference (F \E) (E\ F ) has zero Lebesgue measure. The set Γ := {Γ ij } ij M is called a collection of digit sets and it M is called a standard collection of digit sets if for each j {... M} D j := Γ ij is a complete set of coset representatives for the group Z n /BZ n [8 9 5]. A finite collection of sets {K i R n i M} is said to Λ-tile R n or to be a Λ-tiling set (see [8]) if K i K j M = for i j {... M} and for K := K i we have l Λ (l + K) = R n (K + l ) (K + l 2 ) = for l l 2 Λ and l l 2. If an integral self-affine collection {K i R n i M} Λ-tiles R n we call K := M K i an integral self-affine Λ-tiling set with M prototiles or an integral self-affine multi-tile for short. K is called an integral self-affine tile if M =. It is known that (.) has exactly one solution [2] if M = i.e. K R n is uniuely determined by the associated n n expansive matrix B M n (Z) and the digit set Γ and conversely if B and K are fixed the set of digits satisfying (.) is uniue. The geometry topological structure and tiling property of self-affine tiles [ ] and the connections to wavelet theory have been studied uite extensively ([ ]). In contrast if M > and B and K are fixed there may exist several sets of digits for which Euation (.) holds. The study of self-affine multi-tiles is not as well developed because of their complicated structure. For a detailed study of the general solutions of (.) and the relationship between multi-wavelets and the theory of integral self-affine multi-tiles we refer the reader to [8 3 8]. As another application to wavelet theory we considered the problem of constructing wavelet sets using integral self-affine multi-tiles in the freuency domain [5]. The wavelet sets constructed in [5] depends in an essential way on the structure of the associated integral self-affine multi-tiles. The decomposition (or the representation) of self-affine multi-tiles allowed us to obtain rather explicit descriptions of the wavelet sets we constructed there. This motivated us to consider the problem of decomposing a measurable set into a self-affine collection in the best possible way if it is an integral self-affine multi-tile. It is known that an integral self-affine multi-tile must be a Z n -tiling set if it can be used to construct a Haar-type multiwavelet [8 3]. Thus we will restrict our attention to Z n -tiling sets and 2

3 we will consider the problem of representing a Z n -tiling set which is an integral self-affine multi-tile as the union of an integral self-affine collection with the minimal number of prototiles since as we mentioned before the representation of an integral self-affine multi-tile is not necessarily uniue. For example in dimension one if K = [ ] associated with B = 2 then K is not only an integral self-affine Z-tiling set with 3 prototiles but also an integral self-affine Z-tiling set with 4 prototiles (see section 3). The main goal of this paper is to provide a method to decompose an integral self-affine multi-tile K which is a Z n -tiling set associated with some expansive matrix B M n (Z) into distinct measure disjoint pieces K j such that the collection of sets K j is an integral self-affine collection associated with B and the number of prototiles is minimal. Moreover this minimal representation will be shown to be uniue. We will show that the proposed decomposition will terminate in finitely many steps only when the measurable Z n -tiling set to which it is applied is in fact an integral self-affine multi-tile associated with the expansive matrix B M n (Z). The paper is organized as follows. In Section 2 we provide a method to represent a Z n -tiling set which is an integral self-affine multi-tile as a union of prototiles with the least number of prototiles. In section 3 we give some examples to illustrate our method given in Section 2. Moreover we construct some examples showing that some wavelet sets cannot be constructed by the method in [5] using integral self-affine multi-tiles. 2 The representation of integral self-affine multi-tiles In the following K denotes the Lebesgue measure of a measurable set K R n. We will M assume that K := K i with K i > is an integral self-affine Z n -tiling set with M prototiles satisfying (.) and (.2). Moreover we assume here that for each j S D j := complete set of coset representatives for Z n /BZ n. This condition is known to be necessary in order for an integral self-affine multi-tile K to be a Z n -tiling set [8]. Define Γ m ij Zn for m by B m K i = M Γ ij is a M (K j + Γ m ij ) i =... M. (2.) It follows from (.) that Γ ij = Γ ij. Using (.) with each prototile K j we have M M M M M B 2 K i = (BK l + BΓ il ) = (K j + Γ lj + BΓ il ) = (K j + (Γ lj + BΓ il )). l= l= M Thus Γ 2 ij = (Γ lj + BΓ il ). Inductively we obtain l= Γ m ij = l= M (Γ lj + BΓ m il ). (2.2) l= 3

4 Define M Dj m := Γ m ij m. (2.3) Then the corresponding self-affine multi-tile K = and more generally M K i satisfies M M M M BK = BK i = (K j + Γ ij ) = (K j + D j ) (2.4) M M M M B m K = B m K i = (K j + Γ m ij ) = (K j + Dj m ) m. (2.5) Denote S := {... M}. Define for each m an euivalence relation m on S by i m j D k i = D k j k m for i j S. For each m we will denote by F m... FS m the corresponding euivalence classes. Obviously F m... FS m m give a partition of S. If Di m = Dj m for any m we say that i is euivalent to j and denote as i j. According to this euivalence relation we can get a partition {F j } l < l M of S where the sets F j j l are the corresponding euivalence classes. Then we have the following result. Lemma 2.. Let K = M K j = K i be an integral self-affine Z n -tiling set with M prototiles and let K i j =... l where the partition {F j } l of S is defined as above. Then K := i F j is an integral self-affine Z n -tiling set with l ( M) prototiles. l K j Proof. Obviously K := l K j = M K i is a Z n -tiling set by the assumption. It is left to prove that the collection { K j j l} is an integral self-affine collection. First we will prove that Γ ij does not depend on j for j F t t {... l}. Without loss of i F s generality we can assume that i i 2 F t for some t {... l}. Then for any m using (2.2) (2.3) and that S = l F j we have D m+ i = D m+ i 2 M l s= (Γ ii + BDi m) = M (Γ ii2 + BDi m) i F s (Γ ii + BD m i ) = l s= i F s (Γ ii2 + BD m i ). (2.6) 4

5 Let φ si = Note that i F s Γ ii φ si2 = i F s Γ ii2. Next we want to show that φ si = φ si2 for any i i 2 F t. D i = l φ si = s= l φ si2 = D i2 (2.7) s= which is a complete set of coset representatives for Z n /BZ n by assumption. By the definition of F s the sets D m i are the same for i F s and any m. We will denote this common set by D m τ s. Then euation (2.6) can be rewritten as the following D m+ i = D m+ i 2 l (φ si + BDτ m s ) = s= l (φ si2 + BDτ m s ). (2.8) Suppose that for some s {... l} φ si φ si2. Then φ si \ φ si2 or φ si2 \ φ si. WLOG we assume that there exists x φ si \φ si2 then x φ ti2 for some t { 2... l} and t s by (2.7). Next we will prove that (x + BDτ m s ) (y + BDτ m w ) = for any y φ wi2 w { 2... l} and y x. Otherwise there is y φ wi2 and y x such that (x + BDτ m s ) (y + BDτ m w ). This implies that (x y) BZ n which gives a contradiction since x φ si D i y φ wi2 D i2 and D i = D i2 is a complete set of coset representatives for Z n /BZ n by (2.7). Hence it follows from (2.8) that the only possibility is x + BDτ m s = x + BDτ m t which forces that Dτ m s = Dτ m t for any m N contradicting the fact that F s and F t are different euivalence classes. Therefore φ si = φ si2 for any i i 2 F t. In other words Γ ij is independent of j F t. Let Λ st = Γ ij j F t. Then i F s i F s B K s = B i F s K i = i F s M (K j + Γ ij ) = l t= s= j F t (K j + i F s Γ ij ) = This proves that { K j j l} is an integral self-affine collection. l ( K t + Λ st ). Lemma 2. provides us an idea to decompose K according to the euivalence relation. We can decompose K by finding the intersection of non-zero measure between different integer translations of its B-dilations and itself. For m let C m be the collection of sets with positive Lebesgue measure of the form t= (B k K + l ) (B k2 K + l 2 ) (B kr K + l r ) K where k i m l i Z n r. Then C C 2 and each C m is finite since for a fixed k only finitely integral translates of B k K can intersect K. Furthermore C m is stable under intersection i.e. A B C m implies that A B C m if A B. For each m we order the sets in C m by inclusion and we denote by C m the subset of C m consisting of all minimal sets in C m. Minimal sets in C m means that A C m if and only if A C m and A has the property that if B C m and B A then B = A. Then the elements of C m are of the form (B m K + l m )... (BK + l ) K (2.9) l m L m l L 5

6 for some subsets L i Z n i =... m and any element of C m can be written as a union of sets in C m. Clearly the collection of sets in C m forms a partition of K. We should mention here that the partitions of K considered in this work are always meant up to intersections of zero-measure. Lemma 2.2. Let K be an integral self-affine Z n -tiling set with M prototiles. For each m a set E C m if and only if E = K i for some s with s S m where Fs m is some euivalence i F m s class according to the euivalence relation m in the m-th step and S m is the number of euivalence class in this step. Proof. To prove that E = i F m s K i for some s S m implies that E C m. We will first prove that if i S K i E C m m and i 2 i then K i2 E. Indeed any E C m can be written as E = (B m K + l m )... (BK + l ) K l m L m l L = = l m L m l m L m M l L j j...j m= l L (K jm + D m j m + l m )... (K j + D j + l ) K j M (K j + Dj m + l m )... (K j + D j + l ) K j. It follows that the inclusion K i E is euivalent to L Di L 2 Di 2... L m Di m. m Thus if i 2 i we have K i2 E K i E. Next we will prove that E C m implies that E = K i for some s S m. Using the definition of C m and the fact that K is an integral self-affine Z n -tiling set it is easy to see that any element of C m and thus of C m is the union of some sets K i i I S. In the following we will show that I = Fs m for some s S m. we use induction on m. For m = suppose that (BK + l ) K C. Then there exists some T S such that l L i F m s M (BK + l ) K = (K j + D j + l ) K j = K i l L l L i T which implies that L D i. If T contains at least two different elements then D i i T for any i i 2 T. Otherwise we can find p (D i \ D i2 ) and we have = D i2 Thus we obtain that K i K i (BK + p) K C and K i2 (BK + p) K =. l L (BK + l ) K (BK + p) = i T K i (BK + p) K i T \{i 2} K i 6

7 which contradicts the fact that (BK + l ) K = K i is the minimal set. This proves our l L i T claim for m = i.e. that I = Fs for some s S. Suppose that our claim is true for some m >. Then we will prove it is true for m +. Let (B m+ K + l m+ )... (BK + l ) K = K i C m+. l m+ L m+ l L i T m+ S Since any element of C m+ is contained in some element of C m we here have K i K i i T m+ i T m C m for some set T m S. Next we will prove that T m+ is an euivalence class associated with m+. Using our induction hypothesis T m is an euivalence class associated with. m If T m+ contains only one element we are done. Assume that T m+ contains at least two different elements say i i 2 and D m+ i D m+ i 2. Then there exists p (D m+ i \ D m+ ) such that Hence we have K i K i (B m+ K + p) K C m+ and K i2 (B m+ K + p) K =. (B m+ K + l m+ )... (BK + l ) K (B m+ K + p) l m+ L m+ l L K i i T m+\{i 2} which implies that K i is not a minimal one in C m. This is a contradiction. So D m+ i = D m+ i 2. i T m+ m On the other hand since i i2 for any i i 2 T m+ T m we have Di k = Di k 2 for k =... m. This proves that T m+ is an euivalence class for the euivalence under m+. As we mentioned in the introduction the representation of an integral self-affine Z n -tiling set is not uniue. For convenience we call the representation of an integral self-affine tiling set K = S M to be in its simplest form if the number S M is the minimal. i 2 K i Given an integral self-affine Z n -tiling set K the sets in C m form a partition of K. Let C m = {K mi i =... S m }. Since each set in C m is a finite union of the prototiles making up the set K the cardinality of C m is bounded independently of m and thus for some m C m = C m for m m and thus C m = C m for m m. We let S m = N and K mi = W i i =... N. The procedure just described provides a method to decompose any integral self-affine Z n -tiling set into measure disjoint prototiles with a representation in its simplest form as shown in the following theorem. Theorem 2.3. Suppose that K is an integral self-affine Z n -tiling set. Then K = N W i is an integral self-affine Z n -tiling set with N prototiles where W i i =... N are defined as above. Furthermore the representation K = N W i is in its simplest form and the simplest form representation of K is uniue. 7

8 Proof. Since K is an integral self-affine Z n -tiling set there exists a partition {K i } M of K such that K = M K i is an integral self-affine Z n -tiling set with M prototiles. By the definition of W i the sets W i i =... N are measure disjoint and Lemma 2.2 implies that W i = K j j T i S for each i =... N where the sets T i i =... N are the euivalence classes obtained by the euivalence relation. Thus S = N T i. It follows from Lemma 2. that the collection {W i } N is an integral self-affine collection. Therefore K = N W i is an integral self-affine Z n -tiling set with N prototiles. We note that the sets W i i =... N do not depend on the sets K i i =... M. For any representation of the set K which satisfies the integral self-affine conditions the set W i is the union of some prototiles K i for each i =... N. Thus we have N M. This proves that the representation K = N W i is in its simplest form and the simplest form representation of K is uniue. Theorem 2.3 shows that if an integral self-affine Z n -tiling set K = M K i is not in its simplest form then there exists a partition {F j } l of the set S with F j having at least two elements for at least one j such that the collection { K i } l is an integral self-affine collection. Combining i F j all above results we get the following corollary which provides a necessary and sufficient condition for an integral self-affine Z n -tiling set to be in its simplest form. Corollary 2.4. Let K = M K i be an integral self-affine Z n -tiling set with M prototiles. Then the representation K = M K i is in its simplest form if and only if for any i i 2 S with i i 2 there exists some m such that D m i D m i 2. Theorem 2.3 gives us an iterative method to decompose an integral self-affine Z n -tiling set K into measure disjoint prototiles K j j =... M such that the collection {K j } M is an integral self-affine collection. Moreover this representation is in its simplest form and the decomposition is uniue in the sense that the number of prototiles is least by Corollary 2.4 and also in the sense that given any representation of K as a union of prototiles K j j =... M the elements of the minimal representation can always be written as finite unions of these sets K j. Given an integral self-affine Z n -tiling set K we compute the collection C m step by step until we find an integer m such that C m = C m for any m m. Or alternatively we check whether or not the collection C m obtained at each step is an integral self-affine collection. If it is we stop and K = Sm K mi is an integral self-affine Z n -tiling set and the representation is in its simplest form. As we mentioned before there are many integral self-affine Z n -tiling sets which have different representations. However the representation we provide here is uniue by Corollary 2.4. Such examples will be given in Section 3. Furthermore we can also use this iterative method to determine whether or not a given measurable Z n -tiling set K R n is an integral self-affine multi-tile associated 8

9 with any given n n integral expansive matrix B. K is an integral self-affine Z n -tiling set if and only if the process stops after finitely many steps. Finally we mention that our iterative method can only be applied to measurable Z n -tiling sets. For a non Z n -tiling set it is not applicable. 3 Examples For some integral self-affine tiling sets with simple geometrical shape it is easy to see how to decompose the given measurable set K R n into measure disjoint pieces K j such that K j j I where I is a finite set is an integral self-affine collection. However for those with complicated geometrical shape it might not be easy to represent it as an integral self-affine collection. For such self-affine tiling sets we can use the method introduced in Section 2 to solve this problem. In this section we will give some examples to show how to use the method given in Section 2 to represent an integral self-affine Z n -tiling set in its simplest form. Example 3.. In dimension one consider the set K = [ ] associated with B = 2. The set K here can be not only an integral self-affine Z-tiling set with 4 prototiles but an integral self-affine Z-tiling set with 3 prototiles. In the following we will give its representation for each case. For the first case let Then we have K = [ ] K 2 = [ 2 4 ] K 3 = [ 4 ] K 4 = [ 4 ]. BK = [ 3 2 ] = (K 2 ) (K 3 ) = Γ = Γ 2 = { } Γ 3 = { } Γ 4 = BK 2 = [ 2 ] = (K 4 ) K = Γ 2 = {} Γ 22 = Γ 23 = Γ 24 = { } BK 3 = [ 2 ] = K 2 K 3 = Γ 3 = Γ 32 = {} Γ 33 = {} Γ 34 = BK 4 = [ 2 ] = (K + ) K 4 = Γ 4 = {} Γ 42 = Γ 43 = Γ 44 = {} and D = D 3 = 4 Γ i = 4 Γ i3 = { } D 2 = { } D 4 = 4 Γ i2 = 4 Γ i4 = { } { }. This shows that for each j { 2 3 4} D j is a complete set of coset representatives for the group Z/2Z and the set K is an integral self-affine Z-tiling set with 4 prototiles. Define Dj m as in (2.3). It follows from (2.2) and (2.3) that Dj m = 4 (Γ ij + 2D m i ). Note that for i { 2 3 4} Γ i2 = Γ i3. 9

10 Thus we get D2 m = D3 m for any m by the definition of Dj m. On the other hand since D 2 = 4 (Γ i + 2D i ) = { } 2 = D2 2 D4 2 = 4 (Γ i4 + 2D i ) = { } 3 2 it follows that D D 2 D 2 D4 2 and D2 2 D4. 2 The euivalence classes for the euivalence relation are thus {} {2 3} and {4}. By Theorem 2.3 K = 4 K i is not in the simplest form. By the proof in Theorem 2.3 we let Define Γ ij i j = 2 3 to satisfy BK i = Furthermore D = K = [ ] K 2 = [ 2 ] K 3 = [ 4 ]. 3 (K j + Γ ij ) and D j = 3 BK = [ 3 2 ] = (K 2 ) = Γ = Γ 2 = Γ 3 = Γ ij. Then we have BK 2 = [ ] = K K 2 (K 3 ) = Γ 2 = Γ 22 = Γ 23 = BK 3 = [ 2 ] = (K + ) K 3 = Γ 3 = Γ 32 = Γ 33 =. 3 Γ i = { } D 2 = 3 Γ i2 = { } D 3 = 3 Γ i3 = { }. This shows that for each i { 2 3} D i is a complete set of coset representatives for Z/2Z and that K = 3 is an integral self-affine Z-tiling set with 3 prototiles. K i Remark 3.. Let K = M K j be an integral self-affine Z n -tiling set with M prototiles. If Γ ij = Γ ij2 for any i S then j j 2. But the converse is not necessarily true as shown in the next example. Example 3.2. In dimension one consider the set K = [ ] associated with B = 3. Obviously K is a Z-tiling set. For this example the set K can be represented as a union of many different kinds of prototiles. The simplest form is the representation of K as an integral self-affine tile since BK = [ ] = K (K + ) (K + 2). 4 On the other hand we can also let K = [ ] and K 2 = [ 4 4 ] then BK = [ ] = (K + 2) (K 2 + { 2}) = Γ = {2} Γ 2 = { 2} BK 2 = [ ] = (K + { }) K 2 = Γ 2 = { } Γ 22 = {}

11 and This shows that K = 2 D = 2 Γ i = { 2} = 2 Γ i2 = D 2. K i is an integral self-affine Z-tiling set with 2 prototiles. Hence K is not only an integral self-affine Z-tiling set with one prototiles but an integral self-affine Z-tiling set with two prototiles. Corollary 2.4 shows that D m = D m 2 for any m i.e. 2. However Γ i Γ i2 for any i = 2. Example 3.3. In dimension two consider the set K = H ( H) K associated with the matrix B = ( ) 3 where { (/3 ) ( )} { ( /6 H = conv /6 and K ) ( ) ( )} = conv /6 ) ( 2/3 ) ( where conv(e) denotes the convex hull of E. ) ( It is easy to see that K is a Z 2 -tiling set. The sets K and BK are depicted in Figure. Clearly we can divide K into six pieces {K j } 6 with K = H K 2 = E K 3 = F K 4 = E K 5 = F K 6 = H where E = conv { (/3 ) ( ) ( Moreover we have (see Figure ) ) ( /6 )} and F = conv { ( /6 ) ( ) ( /6 /3 ) ( )}. BK = (K + ( ) ) (K2 + ( BK 4 = K 3 (K 5 + ( ) ) BK2 = (K 3 + ( ) ) K5 BK 3 = K K 2 ) ) BK5 = K 4 K 6 BK 6 = (K 4 + ( ) ) (K6 + ( ) ) which implies that {K j } 6 is an integral self-affine collection. Therefore K is an integral self-affine Z n -tiling set with 6 prototiles. However this representation is not in its simplest form. We will use the method introduced in Section 2 to represent the set K in its simplest form. At the first step we get a partition C = {K i } 2 of K by computing (2.9) for m = (see Figure 2). K = (BK + ( ) ) K = K K 2 K 3 K 2 = (BK + ( ) ) K = K4 K 5 K 6. It is easy to check that {K i } 2 is not an integral self-affine collection. Thus we need to decompose K i i = 2 further using (2.9) (see Figure 3) and we have K 2 = (B 2 K + ( ) ) K = K K 2 K 22 = (B 2 K + ( ) ) K = K 3 K 23 = (B 2 K + ( ) ) K2 = K 4 K 6 K 24 = (B 2 K + ( ) ) K2 = K 5. Furthermore {K 2i } 4 is an integral self-affine collection since BK 2 = (K 2 + ( ) ) (K2 + ( ) ) K24 BK 22 = K 2 BK 23 = (K 23 + ( ) ) K22 (K 24 + ( ) ) BK24 = K 23.

12 Therefore K = 4 K 2i is an integral self-affine Z 2 -tiling set with 4 prototiles and this representation is in its simplest form. It has been shown in [8] that the theory of interal self-affine multi-tiles is closely related to the theory of wavelets. We also considered in [5] the problem of constructing wavelet sets using integral self-affine multi-tiles and gave a sufficient condition for an integral self-affine Z n -tiling set with multi-prototiles to be a scaling set. The example below shows that some wavelet sets cannot be constructed using integral self-affine Z n -tiling sets with multi-prototiles as was done in [5]. Example 3.4. In dimension one consider the set K = [ a a] where < a < associated with B = 2. Then K is an integral self-affine multi-tile if and only if a Q BK 6 BK 4 BK 3 K 6 K 3 K 2 K 4 K 5 K BK 5 BK 2 BK Figure : K i and its B-dilation BK i 234 2

13 BK+() t K K 2 K K 22 BK+( ) t (a).k (BK + ( ) ( ) ) (b).k (BK + ) Figure 2: The intersection of K and integer translations of BK. B 2 K + () t 2 3 K 2 K 3 2 K 2 B 2 K + ( ) t K (a) K i (B 2 K + ( ) ) i = 2 (b) Ki (B 2 K + ( ) ) i = 2 Figure 3: The intersection of K i i = 2 and integer translations of B 2 K 3

14 Proof. It has been proved in [4] that K is a 2-dilation MRA scaling set and the set Q := 2K \ K is a 2-dilation MRA wavelet set. Obviously K is a Z-tiling set. We will divide into two cases to prove our claim. Case : a Q. Then a = p for some p N and (p ) = p < since < a <. In this case K = [ p p ] = [ p p ]. Let K i = [ p i + p i ] i =.... Then K = K i where the union is measure disjoint and we have Note that and BK i = 2[ p i+ = [ 2(p i+) 2(p i + ) { 2(p i) { p i ] = [ 2p 2i+2 2p 2i 2p 2i+ p p p p 2 ] [ 2p 2i+ ] 2(p i) ] p } + Z p } + Z. Thus we have BK i = (K j + l ) (K j2 + l 2 ) for some l l 2 Z and j j 2 { 2... }. This proves that the collection {K i } is an integral self-affine collection. Therefore K = K i is an integral self-affine Z-tiling set with prototiles. Case 2: a / Q. Let a denote the minimum integer not less than a. Note that for any m (2 m K + 2 m a a ) K since a 2 m a a 2 m a < a which implies that the collection of each step in Section 2 must contain the sets with left endpoints 2 m a a 2 m a. Then it is infinite since a / Q. This shows that the iteration will go on infinitely and thus K = [ a a] is not an integral self-affine multi-tile. References [] J. J. Benedetto and S. Sumetkijakan A fractal set constructed from a class of wavelet sets inverse problems image analysis and medical imaging Contemp. Math. 33 Amer. Math. Soc. Providence RI 22. [2] K. J. Falconer The geometry of fractal sets Cambridge University Press Cambridge (985). [3] T. Flaherty and Y. Wang Haar-type multiwavelet bases and self-affine multi-tiles Asian J. Math. 3 (999) pp [4] X. Y. Fu and J.-P. Gabardo Self-affine scaling sets in R 2 Mem. Amer. Math. Soc. 233 (25) no. 97. [5] X. Y Fu and J.-P. Gabardo Construction of wavelet sets using integral self-affine multi-tiles J. Fourier Anal. Appl. 2 (24) no. 2 pp

15 [6] J. P. Gabardo and X. Y. Yu Construction of wavelet sets with certain self-similarity properties Journal of Geometric Analysis 4 (24) pp [7] K. Gröchenig and A. Haas Self-similar lattice tilings J. Fourier Anal. Appl. (994) pp [8] K. Gröchenig A. Haas and A. Raugi Self-affine tilings with several tiles Appl. Comput. Harmon. Anal. 7 (999) pp [9] K. Gröchenig and W. Madych Multiresolution analysis. haar bases and self-similar tilings of R n IEEE Trans. Inform. Theory 38 (992) pp [] Q. Gu and D. Han On multiresolution analysis (MRA) wavelets in R N J. Fourier Anal. Appl. 6 (2) pp [] X. G. He K. S. Lau Characterization of tile digit sets with prime determinants. Appl. Comput. Harmon. Anal. 6(24) pp [2] J. E. Hutchinson Fractals and self-similarity Indiana Univ. Math. J. 3 (98) pp [3] R. Kenyon Self-replicating tilings P. Walters (Ed.) Symbolic Dynamics and Its Applications Contemp. Math. 35(992) pp [4] J. C. Lagarias and Y. Wang Self-affine tiles in R n Adv. Math. 2 (996) pp [5] J. C. Lagarias and Y. Wang Integral self-affine tiles in R n I. Standard and nonstandard digit sets J. London Math. Soc. 54 (996) pp [6] J. C. Lagarias and Y. Wang Integral self-affine tiles in R n part II: Lattice tilings J. Fourier Anal. Appl. 3 (997) pp [7] J. C. Lagarias and Y. Wang Haar-type orthonormal wavelet bases in R 2 J. Fourier Anal. Appl. 2 (995) pp. 4. [8] J. C. Lagarias and Y. Wang Substitution Delone sets Discrete Comput. Geom. 29 (23) pp [9] K. S. Lau J. J. Luo and H. Rao Topological structure of fractal suares Math. Proc. Cambridge Philos. Soc. 55() (23) pp. 73C86. [2] K. S. Lau and H. Rao On one-dimensional self-similar tilings and the p-tilings Trans. Amer. Math. Soc. 355(23) pp [2] C. K. Lai K. S. Lau and H. Rao Spectral structure of digit sets of self-similar tiles on R Trans. Amer. Math. Soc. 365(23) pp [22] J. Luo H. Rao and B. Tan Topological structure of self-similar sets Fractals (22) pp. 223C227. 5