arxiv: v1 [cs.it] 8 May 2016

Size: px
Start display at page:

Download "arxiv: v1 [cs.it] 8 May 2016"

Transcription

1 NONHOMOGENEOUS DISTRIBUTIONS AND OPTIMAL QUANTIZERS FOR SIERPIŃSKI CARPETS MRINAL KANTI ROYCHOWDHURY arxiv:605.08v [cs.it] 8 May 06 Abstract. The purpose of quantization of a probability distribution is to estimate the probability by a discrete probability with finite support. In this paper, a nonhomogeneous probability measure P on R which has support the Sierpiński carpet generated by a set of four contractive similarity mappings with equal similarity ratios has been considered. For this probability measure, the optimal sets of n-means and the nth quantization errors are investigated for all n.. Introduction Quantization is a destructive process. Its purpose is to reduce the cardinality of the representation space, in particular when the input data is real-valued. It is a fundamental problem in signal processing, data compression and information theory. We refer to [GG, GN, Z] for surveys on the subject and comprehensive lists of references to the literature, see also [AW, GKL, GL, GL]. Let R d denote the d-dimensional Euclidean space, denote the Euclidean norm on R d for any d, and n N. Then the nth quantization error for a Borel probability measure P on R d is defined by V n := V n (P ) = inf { min a α x a dp (x) : α R d, card(α) n where the infimum is taken over all subsets α of R d with card(α) n. If x dp (x) < then there is some set α for which the infimum is achieved (see [AW, GKL, GL, GL]). Such a set α for which the infimum occurs and contains no more than n points is called an optimal set of n-means, or optimal set of n-quantizers. The collection of all optimal sets of n-means for a probability measure P is denoted by C n := C n (P ). It is known that for a continuous probability measure an optimal set of n-means always has exactly n-elements (see [GL]). Given a finite subset α R d, the Voronoi region generated by a α is defined by M(a α) = {x R d : x a = b } b α i.e., the Voronoi region generated by a α is the set of all points in R d which are closest to a α, and the set {M(a α) : a α} is called the Voronoi diagram or Voronoi tessellation of R d with respect to α. A Borel measurable partition {A a : a α} of R d is called a Voronoi partition of R d with respect to α (and P ) if A a M(a α) (P -a.e.) for every a α. Given a Voronoi tessellation {M i } k i= generated by a set of points {z i } k i= (called sites or generators), the mass centroid c i of M i with respect to the probability measure P is given by c i = P (M i ) M i xdp = M i xdp M i dp. }, 00 Mathematics Subject Classification. 60Exx, 8A80, 9A. Key words and phrases. Sierpiński carpet, self-affine measure, optimal quantizers, quantization error. The research of the author was supported by U.S. National Security Agency (NSA) Grant H

2 Mrinal Kanti Roychowdhury The Voronoi tessellation is called the centroidal Voronoi tessellation (CVT) if z i = c i for i =,,, k, that is, if the generators are also the centroids of the corresponding Voronoi regions. Let us now state the following proposition (see [GG, GL]): Proposition.. Let α be an optimal set of n-means and a α. Then, (i) P (M(a α)) > 0, (ii) P ( M(a α)) = 0, (iii) a = E(X : X M(a α)), and (iv) P -almost surely the set {M(a α) : a α} forms a Voronoi partition of R d. Let α be an optimal set of n-means and a α, then by Proposition., we have a = xdp = xdp M(a α) P (M(a α)) M(a α) M(a α) dp, which implies that a is the centroid of the Voronoi region M(a α) associated with the probability measure P (see also [DFG, R]). A transformation f : X X on a metric space (X, d) is called contractive or a contraction mapping if there is a constant 0 < c < such that d(f(x), f(y)) cd(x, y) for all x, y X. On the other hand, f is called a similarity mapping or a similitude if there exists a constant s > 0 such that d(f(x), f(y)) = sd(x, y) for all x, y X. Here s is called the similarity ratio of the similarity mapping f. Let C be the Cantor set generated by the two contractive similarity mappings S and S on R given by S (x) = r x and S (x) = r x + ( r ) where 0 < r, r < and r + r <. Let P = p P S + p P S, where P S i denotes the image measure of P with respect to S i for i =, and (p, p ) is a probability vector with 0 < p, p <. Then, P is a singular continuous probability measure on R with support the Cantor set C (see [H]). For r = r = and p = p =, Graf and Luschgy gave a closed formula to determine the optimal sets of n-means for the probability distribution P for any n (see [GL]). For r =, r =, p = and p =, L. Roychowdhury gave an induction formula to determine the optimal sets of n-means and the nth quantization error for the probability distribution P for any n (see [R]). Let us now consider the Sierpiński carpet which is generated by the four contractive similarity mappings S, S, S and S on R such that S (x, x ) = (x, x ), S (x, x ) = (x, x ) + (, 0), S (x, x ) = (x, x ) + (0, ), and S (x, x ) = (x, x ) + (, ) for all (x, x ) R. If P is a Borel probability measure on R such that P = P S + P S + P S + P S, then P has support the Sierpiński carpet. For this probability measure, Cömez and Roychowdhury gave closed formulas to determine the optimal sets of n-means and the nth quantization error for any n (see [CR]). In this paper, we have considered the probability distribution P given by P = P 8 S + P 8 S + P 8 S + P 8 S which has support the Sierpiński carpet generated by the four contractive similarity mappings given by S (x, x ) = (x, x ), S (x, x ) = (x, x ) + (, 0), S (x, x ) = (x, x ) + (0, ), and S (x, x ) = (x, x ) + (, ) for all (x, x ) R. The probability distribution P considered in this paper is called nonhomogeneous to mean that the probabilities associated with the mappings S, S, S and S are not equal. For this probability distribution in Proposition., Proposition. and Proposition., first we have determined the optimal sets of n-means and the nth quantization errors for n =,, and. Then, in Theorem.9 we state and prove an induction formula to determine the optimal sets of n- means for all n. We also give some figures to illustrate the location of the optimal points (see Figure ). In addition, running the induction formula in computer algorithm, we obtain some results and observations about the optimal sets of n-means which are given in Section ; a tree diagram of the optimal sets of n-means for a certain range of n is also given (see Figure ).

3 Nonhomogeneous distributions and optimal quantizers for Sierpiński carpets. Preliminaries In this section, we give the basic definitions and lemmas that will be instrumental in our analysis. For k, by a word ω of length k over the alphabet I := {,,, } it is meant that ω := ω ω ω k, i.e., ω is a finite sequence of symbols over the alphabet I. Here k is called the length of the word ω. If k = 0, i.e., if ω is a word of length zero, we call it the empty word and is denoted by. Length of a word ω is denoted by ω. I denotes the set of all words over the alphabet I including the empty word. By ωτ := ω ω k τ τ l it is meant that the word obtained from the concatenations of the words ω := ω ω ω k and τ := τ τ τ l for k, l 0. The maps S i : R R, i, will be the generating maps of the Sierpiński carpet defined as before. For ω = ω ω ω k I k, set S ω = S ω S ωk and J ω = S ω ([0, ] [0, ]). For the empty word, by S we mean the identity mapping on R, and write J = J = S ([0, ] [0, ]) = [0, ] [0, ]. The sets {J ω : ω {,,, } k } are just the k squares in the kth level in the construction of the Sierpiński carpet. The squares J ω, J ω, J ω and J ω into which J ω is split up at the (k + )th level are called the basic squares of J ω. The set S = k N ω {,,,} k J ω is the Sierpiński carpet and equals the support of the probability measure P given by P = P 8 S + P 8 S + P 8 S + P 8 S. Set s = s = s = s =, p = p = and p 8 = p =, and for ω = ω 8 ω ω k I k, write c(ω) := card({i : ω i = or, i k}), where card(a) of a set A represents the number of elements in the set A. Then, for ω = ω ω ω k I k, k, we have s ω = k and p ω = p ω p ω p ωk = c(ω) 8 k. Let us now give the following lemma. Lemma.. Let f : R R + be Borel measurable and k N. Then, f dp = p ω f S ω dp. ω I k Proof. We know P = p P S + p P S + p P S + p P S, and so by induction P = ω I p k ω P Sω, and thus the lemma is yielded. Let S (i), S (i) be the horizontal and vertical components of the transformation S i for i =,,,. Then for any (x, x ) R we have S () (x ) = x, S () (x ) = x, S () (x ) = x +, S ()(x ) = x, S () (x ) = x, S () (x ) = x +, and S ()(x ) = x +, S () (x ) = x +. Let X = (X, X ) be a bivariate random variable with distribution P. Let P, P be the marginal distributions of P, i.e., P (A) = P (A R) for all A B, and P (B) = P (R B) for all B B. Here B is the Borel σ-algebra on R. Then X has distribution P and X has distribution P. Let us now state the following lemma. The proof is similar to Lemma. in [CR]. Lemma.. Let P and P be the marginal distributions of the probability measure P. Then, P = P 8 S () + P 8 S () + P 8 S () + P 8 S () and P = P 8 S () + P 8 S () + P 8 S () + P 8 S (). Let us now give the following lemma. Lemma.. Let E(X) and V (X) denote the the expectation and the variance of the random variable X. Then, E(X) = (E(X ), E(X )) = (, ) and V := V (X) = E X (, ) = 7.

4 Mrinal Kanti Roychowdhury Proof. We have E(X ) = x dp = x dp S () 8 + x dp S () 8 + x dp S () = 8 x dp + ( 8 x + ) dp + 8 x dp + ( 8 x + ) dp, which after simplification yields E(X ) =, and similarly E(X ) =. Now, E(X) = x dp = x dp S () 8 + x dp S () 8 + x dp S () 8 + x dp S () 8 x dp S () = ( 8 x) dp + 8 = 9 x dp + ( x + ) dp + 8 ( 9 x + 9 x + 9 ) dp ( x) dp + 8 ( x + ) dp = 8 E(X ) + 8 E(X ) + 8 E(X ) + 8 = 9 E(X ) +. This implies E(X) =. Similarly, we can show 8 E(X ) =. Thus, V (X ) = E(X) (E(X )) = =, and similarly V (X 8 8 ) =. Hence, E X (, ) = E(X ) + E(X ) = V (X ) + V (X ) = 7. Thus, the proof of the lemma follows. Let us now give the following note. Note.. From Lemma. it follows that the optimal set of one-mean is the expected value and the corresponding quantization error is the variance V of the random variable X. For words β, γ,, δ in I, by a(β, γ,, δ) we mean the conditional expectation of the random variable X given J β J γ J δ, i.e., () a(β, γ,, δ) = E(X X J β J γ J δ ) = xdp. P (J β J δ ) J β J δ For ω I k, k, since a(ω) = E(X : X J ω ), using Lemma., we have a(ω) = x dp (x) = x dp Sω (x) = S ω (x) dp (x) = E(S ω (X)) = S ω ( P (J ω ) J ω J ω, ). For any (a, b) R, E X (a, b) = V + (, ) (a, b). In fact, for any ω I k, k, we have J ω x (a, b) dp = p ω (x, x ) (a, b) dp Sω, which implies () x (a, b) dp = p ω (s ωv ) + a(ω) (a, b). J ω The expressions () and () are useful to obtain the optimal sets and the corresponding quantization errors with respect to the probability distribution P.

5 Nonhomogeneous distributions and optimal quantizers for Sierpiński carpets 5 Figure. Configuration of the points in an optimal set of n-means for n 6.. Optimal sets of n-means for all n In this section we determine the optimal sets of n-means for all n. First, prove the following proposition. Proposition.. The set α = {a(, ), a(, )}, where a(, ) = (, ) and a(, ) = ( 5, ), is 6 6 an optimal set of two-means with quantization error V = = Proof. With respect to the vertical line passing through the centroid (, ), the Sierpiński carpet has the maximum symmetry, i.e., with respect to the line x = the Sierpiński carpet is geometrically symmetric. Also, observe that, if the two basic rectangles of similar geometrical shape lie in the opposite sides of the line x =, and are equidistant from the line x =, then they have the same probability; hence, they are symmetric with respect to the probability distribution P as well. Due to this, among all the pairs of two points which have the boundaries of the Voronoi regions oblique lines passing through the point (, ), the two points which have the boundary of the Voronoi regions the line x = will give the smallest distortion error. Again, we know that the two points which give the smallest distortion error are the centroids of their own Voronoi regions. Let (a, b ) and (a, b ) be the centroids of the left half and the right half of the Sierpiński carpet with respect to the line x = respectively. Then using (),

6 6 Mrinal Kanti Roychowdhury we have and (a, b ) = E(X : X J J ) = (a, b ) = E(X : X J J ) = ( ) P (J ) xdp + P (J ) xdp = ( P (J ) + P (J ) 6, ) J J ( ) P (J ) xdp + P (J ) xdp = ( 5 P (J ) + P (J ) 6, ). J J Write α := {(, ), ( 5, )}. Then, the distortion error is obtained as 6 6 c α c dp = x ( 6, 5 ) dp + x ( 6, ) dp = 88 = J J J J Since V is the quantization error for two-means, we have V. Suppose that the points in an optimal set of two-means lie on a vertical line. Then, we can assume that β = {(p, a), (p, b)} is an optimal set of two-means with a b. Then, by the properties of centroids we have (p, a)p (M((p, a) β)) + (p, b)p (M((p, b) β)) = (, ), which implies pp (M((p, a) β))+pp (M((p, b) β)) = and ap (M((p, a) β))+bp (M((p, b) β)) =. Thus, we see that p =, and the two points (p, a) and (p, b) lie on the opposite sides of the point (, ). Since the optimal points are the centroids of their own Voronoi regions, we have 0 a b. Then, notice that J J J J M((, b) β) and J J M(( 5, a) β). Suppose that a. Then as a(,,, ) = E(X : X J J J J ) = (, 5 ), we have 6 min c α x c dp x (, 5 ) dp + x (, 5 6 ) dp = = 0.76, J J J J J J which is a contradiction, as 0.76 > V and α is an optimal set of two-means. Thus, we can assume that a < 5. Since a < 5 and b, we have (a + b) ( ) =, which yields that B M((, b) α) where B = J J J J J J J J J J J J. Using (), we have E(X : X B) = (, Now if a, we have min c α x c dp x (, ) dp + J J B ) which implies that b x (, ) dp = = > V, which is a contradiction. So, we can assume that a <. Then, J J M((, a) α) and J J M((, b) α), and so (, a) = E(X : X J J ) = (, ) and (, b) = E(X : X J J ) = (, ), and c α c dp = x (, ) dp + x (, ) dp = 96 = 0.57 > V, J J J J which leads to another contradiction. Therefore, we can assume that the points in an optimal set of two-means can not lie on a vertical line. Hence, α = {(, ), ( 5, )} forms an optimal 6 6 set of two-means with quantization error V = = Remark.. The set α in Proposition. forms a unique optimal set of two-means.

7 Nonhomogeneous distributions and optimal quantizers for Sierpiński carpets 7 Proposition.. The set α = {a(, ), a(), a()}, where a(, ) = E(X : X J J ) = (, ), a() = E(X : X J ) = (, ) and a() = E(X : X J 6 ) = ( 5, ), forms an optimal 6 set of three-means with quantization error V = 5 = Proof. Let us first consider the three-point set β given by β = {a(, ), a(), a()}. Then, the distortion error is obtained as c α c dp = x a(, ) dp + x a() dp + x a() dp = J J J J Since V is the quantization error for an optimal set of three-means, we have V. Let α := {(a i, b i ) : i } be an optimal set of three-means. Since the optimal points are the centroids of their own Voronoi regions, we have α [0, ] [0, ]. Then, by the definition of centroid, we have (a i, b i )P (M((a i, b i ) α)) = (, ), (a i,b i ) α which implies (a i,b i ) α a ip (M((a i, b i ) α)) = and (a i,b i ) α b ip (M((a i, b i ) α)) =. Thus, we conclude that all the optimal points can not lie in one side of the vertical line x = or in one side of the horizontal line x =. Without any loss of generality, due to symmetry we can assume that one of the optimal points, say (a, b ), lies on the vertical line x =, i.e., a =, and the optimal points (a, b ) and (a, b ) lie on a horizontal line and are equidistant from the vertical line x =. Further, due to symmetry we can assume that (a, b ) and (a, b ) lie on the vertical lines x = and x 6 = 5 respectively, i.e., a 6 = and a 6 = 5. 6 Suppose that (, b ) lies on or above the horizontal line x =, and so (, b 6 ) and ( 5, b 6 ) lie on or below the line x =. Then, if b, b, we have c α c dp ( b 6, b) dp = > V, J J J which is a contradiction. If b, b, c α c dp ( ( b 6, b) dp + x ( 6, ) dp + J J J J ( 65 = ) = > V, 059 which leads to a contradiction. If b, b, then c α c dp ( x ( 6, ) dp + x ( 6, ) dp + J J J J ( 8 = ) = > V, J J J J ( ) b, b) dp ( ) b, b) dp

8 8 Mrinal Kanti Roychowdhury which gives a contradiction. If 0 b, b, then ( c α c dp x a() dp + ( ) b, b) dp J J J ( 7 = ) = > V 07 which leads to another contradiction. Therefore, we can assume that (, b ) lies on or below the horizontal line x =, and (, b 6 ) and ( 5, b 6 ) lie on or above the line x =. Notice that for any position of (, b ) on or below the line x =, always J J J M((, b 6 ) α) which implies that b 79. Similarly, b Suppose that b 8. Then, writing A = J J J and B = J J J J, we have c α c dp ( ( 6, b) dp + x ( 6, ) dp + x (, ) ) dp J J J J b 79 8 ( = ) = > V, 68 which is a contradiction. So, we can assume that b <. Suppose that b <. Then, as b 79, we see that J 8 J J J J J M((, b 6 ) α). Then, writing A := J J J J J J and A := J J J J J J and A := J J J J J J J, we have c α c dp ( ( 79 b 6, b) dp + x ( 6, ) dp + x (, ) ) dp 8 A A A ( 9 = ) = > V, 957 which gives a contradiction. So, we can assume that b. Then, notice that J J J J J J J J J J J J M((, b ) α) which implies that b. Thus, we have b Suppose that b, b 5. Then, 6 c α c dp ( J ( b 5 6, b) dp + 6 A J J J J J B ( 68 b, b) dp ) + x ( 6, ) dp + x (, ) dp J J J J ( = ) = > V, 70 which leads to a contradiction. So, we can assume that 5 < b 6, b. Then, we have J J M((, b ) α), J M((, b 6 ) α) and J M(( 5, b 6 ) α) which yield that (, b ) = a(, ), ( 6, b ) = a() and ( 5 6, b ) = a(), and the quantization error is V = 5 96 = Thus, the proof of the proposition is complete.

9 Nonhomogeneous distributions and optimal quantizers for Sierpiński carpets 9 Proposition.. The set α = {a(), a(), a(), a()} forms an optimal set of four-means with quantization error V = 7 88 = Proof. Let us consider the four-point set β given by β := {a(), a(), a(), a()}. Then, the distortion error is given by c β c dp = x a(i) dp = 7 J i 88 = i= Since, V is the quantization error for four-means, we have V. As the optimal points are the centroids of their own Voronoi regions, α J. Let α be an optimal set of n-means for n =. By the definition of centroid, we know () (a, b)p (M((a, b) α)) = (, ). (a,b) α If all the points of α are below the line x =, i.e., if b < for all (a, b) α, then by (), we see that = (a,b) α bp (M((a, b) α)) < (a,b) α P (M((a, b) α)) =, which is a contradiction. Similarly, it follows that if all the points of α are above the line x =, or left of the line x =, or right of the line x =, a contradiction will arise. Suppose that all the points of α are on the line x =. Then, for (x, x ) i,j=j ij, we have min c α (x, x ) c 5, and 6 for (x, x ) i,j=j ij, we have min c α (x, x ) c, which implies that 6 c α c dp min (x, x ) c dp + c α J min (x, x ) c dp c α J ( 5 ) P ( ) P = (J ) + (J ) = = > V, which is a contradiction. Thus, we see that all the points of α can not lie on x =. Similarly, all the points of α can not lie on x =. Recall that the Sierpiński carpet has maximum symmetry with respect to the line x =. As all the points of α can not lie on the line x =, due to symmetry we can assume that the points of α lie either on the three lines x =, x 6 = 5 6 and x =, or on the two lines x = and x 6 = 5. 6 Suppose α contains points from the line x =. As α can not contain all the points from x =, we can assume that α contains two points, say (, b ) and (, b ) with b < b, from the line x = which are in the opposite sides of the centroid (, ), and the other two points, say (, a 6 ) and ( 5, a 6 ), from the lines x = and x 6 = 5. Then, if α does not contain any 6 point from J J, we have c α c dp x ( 6, ) dp = = > V, J J which leads to a contradiction. So, we can assume that (, a 6 ) J and ( 5, a 6 ) J. Suppose a, a 5. Then, notice that J 6 J J J M((, a 6 ) α) and similar is the expression for the point ( 5, a 6 ). Further, notice that J J J J J J M((, ) α). Therefore, under the assumption a, a 5, writing A 6 := J J J J and A := J J J, we have the distortion error as ( c α c dp A ( b 5 6, b) dp + 6 ( 05 = ) = > V, 7680 A ( ) 0 b, b) dp

10 0 Mrinal Kanti Roychowdhury which leads to a contradiction. So, we can assume that 5 < a 6, a. Then, we see that J J M((, b ) α) for b =, and so the distortion error is c α c dp ( J 0 b, b) dp = 8 = > V which is a contradiction. All these contradictions arise due to our assumption that α contains points from the line x =. So, we can assume that α can not contain any point from the line x =, i.e., we can assume that α contains two points from the line x = and two points 6 from the line x = 5. Thus, we can take α := {(, a 6 6 ), (, b 6 ), ( 5, a 6 ), ( 5, b 6 )} where a b and a b. Notice that the Voronoi region of (, a 6 ) contains J and the Voronoi region of ( 5, a 6 ) contains J. If the Voronoi region of (, a 6 ) contains points from J, we must have (a + b ) which yields a b = 7, and similarly if the Voronoi region of ( 5, a 6 ) contains points from J, we must have a 7. But, then c α c dp 6, 7 ) dp + = = > V, J x ( J J x a(, ) dp which is a contradiction. So, we can assume that the Voronoi regions of (, a 6 ) and ( 5, a 6 ) do not contain any point from J J. Thus, we have (, a 6 ) = a() = (, ), ( 5, a 6 6 ) = a() = ( 5, ), (, b 6 6 ) = a() = (, ), and ( 5, b 6 6 ) = a() = ( 5, ), and the quantization error is 6 V = 7 = Thus, the proof of the proposition is complete. 88 Note.5. Let α be an optimal set of n-means for some n. Then, for a α, we have a = a(ω), a = a(ω, ω), or a = a(ω, ω) for some ω I. Moreover, if a α, then P -almost surely M(a α) = J ω if a = a(ω), M(a α) = J ω J ω if a = a(ω, ω), and M(a α) = J ω J ω if a = a(ω, ω). For ω I, (i = and j = ), (i = and j = ), or (i =, j = ) write () E(ω) := x a(ω) dp, and E(ωi, ωj) := x a(ωi, ωj) dp. J ω J ωi J ωj Let us now give the following lemma. Lemma.6. For any ω I, let E(ω), E(ω, ω), E(ω, ω), and E(ω, ω) be defined by (). Then, E(ω, ω) = E(ω, ω) = E(ω), E(ω, ω) = E(ω), E(ω) = E(ω) = E(ω), and E(ω) = E(ω) = E(ω). Proof. By (), we have E(ω, ω) = x a(ω, ω) dp = x a(ω, ω) dp + J ω J ω J ω = p ω (s ωv + a(ω) a(ω, ω) ) + p ω (s ωv + a(ω) a(ω, ω) ). Notice that a(ω, ω) = J ω x a(ω, ω) dp ( p ω S ω ( p ω + p ω, ) + p ωs ω (, ) ) = ( + 8 S ω(, ) + 8 S ω(, ) ), 8 8 which implies a(ω, ω) = S ω(, ) + S ω(, ). Thus, we have a(ω) a(ω, ω) = S ω (, ) S ω(, ) S ω(, ) = 9 6 s ω (0, ) = s ω,

11 Nonhomogeneous distributions and optimal quantizers for Sierpiński carpets and similarly, a(ω) a(ω, ω) = 6 s ω (0, ) = 6 s ω. Thus, we obtain, E(ω, ω) = p ω (s ωv + s ω) + p ω (s ωv + 6 s ω) = p ω s ωv (p s + p s ) + p ω s ω( p + 6 p ) = p ω s ωv ( 8 + V ) = 6 E(ω), and similarly, we can prove the rest of the lemma. Thus, the proof of the lemma is complete. Remark.7. From the above lemma it follows that E(ω, ω) = E(ω, ω) > E(ω, ω) > E(ω) = E(ω) > E(ω) = E(ω). The following lemma gives some important properties about the distortion error. Lemma.8. Let ω, τ I. Then (i) E(ω) > E(τ) if and only if E(ω, ω)+e(ω, ω)+e(τ) < E(ω)+E(τ, τ)+e(τ, τ); (ii) E(ω) > E(τ, τ)(= E(τ, τ)) if and only if E(ω, ω) + E(ω, ω) + E(τ, τ) + E(τ, τ) < E(ω) + E(τ, τ) + E(τ) + E(τ); (iii) E(ω, ω)(= E(ω, ω)) > E(τ, τ)(= E(τ, τ)) if and only if E(ω, ω) + E(ω) + E(ω) + E(τ, τ) + E(τ, τ) < E(ω, ω) + E(ω, ω) + E(τ, τ) + E(τ) + E(τ); (iv) E(ω, ω)(= E(ω, ω)) > E(τ) if and only if E(ω, ω) + E(ω) + E(ω) + E(τ) < E(ω, ω) + E(ω, ω) + E(τ, τ) + E(τ, τ); (v) E(ω, ω) > E(τ) if and only if E(ω) + E(ω) + E(τ) < E(ω, ω) + E(τ, τ) + E(τ, τ); (vi) E(ω, ω) > E(τ, τ)(= E(τ, τ)) if and only if E(ω) + E(ω) + E(τ, τ) + E(τ, τ) < E(ω, ω) + E(τ, τ) + E(τ) + E(τ); (vii) E(ω, ω) > E(τ, τ) if and only if E(ω)+E(ω)+E(τ, τ) < E(ω, ω)+e(τ)+ E(τ); (viii) E(ω) > E(τ, τ) if and only if E(ω, ω) + E(ω, ω) + E(τ, τ) < E(ω) + E(τ) + E(τ). Proof. Let us first prove (iii). Using Lemma.6, we see that LHS = E(ω, ω) + E(ω) + E(ω) + E(τ, τ) + E(τ, τ) = 5 E(ω) + 6 E(τ), RHS = E(ω, ω) + E(ω, ω) + E(τ, τ) + E(τ) + E(τ) = 6 E(ω) + 5 E(τ). 5 Thus, LHS < RHS if and only if E(ω) + E(τ) < E(ω) + 5 E(τ), which yields E(ω) > 6 6 E(τ), i.e., E(ω, ω) > E(τ, τ). Thus (iii) is proved. The other parts of the lemma can similarly be proved. Thus, the lemma follows. In the following theorem, we give the induction formula to determine the optimal sets of n-means for any n. Theorem.9. For any n, let α n := {a(i) : i n} be an optimal set of n-means, i.e., α n C n := C n (P ). For ω I, let E(ω), E(ω, ω) and E(ω, ω) be defined by (). Set { E(ω) if a(i) = a(ω) for some ω I Ẽ(a(i)) :=, E(ωk, ωl) if a(i) = a(ωk, ωl) for some ω I, where (k =, l = ), or (k =, l = ), or (k =, l = ), and W (α n ) := {a(j) : a(j) α n and Ẽ(a(j)) Ẽ(a(i)) for all i n}. Take any a(j) W (α n), and write (α n \ {a(j)}) {a(ω, ω), a(ω, ω)} if a(j) = a(ω), (α α n+ (a(j)) := n \ {a(ω, ω), a(ω, ω)}) {a(ω, ω), a(ω), a(ω)} if a(j) = a(ω, ω) or a(ω, ω), (α n \ {a(j)}) {a(ω), a(ω)} if a(j) = a(ω, ω),

12 Mrinal Kanti Roychowdhury α α, α, α 5, α 5, α α 6 α, α, α 7, α 7, α 7, α 7, α 0 α 8, α 8, α 8, α 8, α 8,5 α 8,6 α 9, α 9, α 9, α 9, α 9, α 9, α 8 α 0 α, α, α, α, α,5 α,6 α,7 α,8 Figure. Tree diagram of the optimal sets from α 8 to α. Then α n+ (a(j)) is an optimal set of (n + )-means, and the number of such sets is given by ( ) card {α n+ (a(j)) : a(j) W (α n )}. α n C n Proof. By Proposition., Proposition. and Proposition., we know that the optimal sets of two-, three-, and four-means are respectively {a(, ), a(, )}, {a(, ), a(), a()}, and

13 Nonhomogeneous distributions and optimal quantizers for Sierpiński carpets {a(), a(), a(), a()}. Notice that by Lemma.6, we know E(, ) E(, ), and E(, ) E() = E(). Thus, the lemma is true for n = and n =. For any n, let us now assume that α n is an optimal set of n-means. Let α n := {a(i) : i n}. Let Ẽ(a(i)) and W (α n) be defined as in the hypothesis. If a(j) W (α n ), i.e., if a(j) α n \ W (α n ), then by Lemma.8, the error Ẽ(a(i)) + E(ω, ω) + E(ω, ω) if a(j) = a(ω), a(i) (α n\{a(j)}) a(i) (α n\{a(ω,ω), a(ω,ω)}) Ẽ(a(i)) + E(ω, ω) + E(ω) + E(ω) if a(j) = a(ω, ω) or a(ω, ω), a(i) (α n\{a(j)}) Ẽ(a(i)) + E(ω) + E(ω) if a(j) = a(ω, ω), obtained in this case is strictly greater than the corresponding error obtained in the case when a(j) W (α n ). Hence for any a(j) W (α n ), the set α n+ (a(j)), where (α n \ {a(j)}) {a(ω, ω), a(ω, ω)} if a(j) = a(ω), (α α n+ (a(j)) := n \ {a(ω, ω), a(ω, ω)}) {a(ω, ω), a(ω), a(ω)} if a(j) = a(ω, ω) or a(ω, ω), (α n \ {a(j)}) {a(ω), a(ω)} if a(j) = a(ω, ω), is an optimal set of (n + )-means, and the number of such sets is ( ) card {α n+ (a(j)) : a(j) W (α n )}. α n C n Thus the proof of the theorem is complete (also see Note.). Remark.0. Once an optimal set of n-means is known, by using (), the corresponding quantization error can easily be calculated. Remark.. By Theorem.9, we note that to obtain an optimal set of (n + )-means one needs to know an optimal set of n-means. We conjecture that unlike the homogeneous probability distribution, i.e., when the probability measures on the basic rectangles at each level of the Sierpiński carpet construction are equal, for the nonhomogeneous probability distribution considered in this paper, to obtain the optimal sets of n-means a closed formula can not be obtained. Running the induction formula given by Theorem.9 in computer algorithm, we obtain some results and observations about the optimal sets of n-means, which are given in the following section.. Some results and observations First, we explain about some notations that we are going to use in this section. Recall that the optimal set of one-mean consists of the expected value of the random variable X, and the corresponding quantization error is its variance. Let α n be an optimal set of n-means, i.e., α n C n, and then for any a α n, we have a = a(ω), or a = a(ωi, ωj) for some ω I, where (i =, j = ), (i =, j = ), or (i =, j = ). For ω = ω ω ω k I k, k, in the sequel, we will identify the elements a(ω) and a(ωi, ωj) by the set {{ω, ω,, ω k }} and {{ω, ω,, ω k, i}, {ω, ω,, ω k, j}} respectively. Thus, we can write α = {{{}, {}}, {{}, {}}}, α = {{{}, {}}, {{}}, {{}}}, α = {{{}}, {{}}, {{}}, {{}}},

14 Mrinal Kanti Roychowdhury and so on. For any n, if card(c n ) = k, we write { {αn,, α C n = n,,, α n,k } if k, {α n } if k =. If card(c n ) = k and card(c n+ ) = m, then either k m, or m k (see Table ). Moreover, by Theorem.9, an optimal set at stage n can contribute multiple distinct optimal sets at stage n +, and multiple distinct optimal sets at stage n can contribute one common optimal set at stage n + ; for example from Table, one can see that the number of α = 8, the number of α = 8, the number of α = 56, the number of α = 70, and the number of α 5 = 56. By α n,i α n+,j, it is meant that the optimal set α n+,j at stage n + is obtained from the optimal set α n,i at stage n, similar is the meaning for the notations α n α n+,j, or α n,i α n+, for example from Figure : {α 6 α 7,, α 6 α 7,, α 6 α 7,, α 6 α 7, } ; {{α 7, α 8,, α 7, α 8,, α 7, α 8, }, {α 7, α 8,, α 7, α 8,, α 7, α 8,5 }, {α 7, α 8,, α 7, α 8,, α 7, α 8,6 }, {α 7, α 8,, α 7, α 8,5, α 7, α 8,6 }}; {{α 8, α 9,, α 8, α 9, }, {α 8, α 9,, α 8, α 9, }, {α 8, α 9,, α 8, α 9, }, {α 8, α 9,, α 8, α 9, }, {α 8,5 α 9,, α 8,5 α 9, }, {α 8,6 α 9,, α 8,6 α 9, }} ; {α 9, α 0, α 9, α 0, α 9, α 0, α 9, α 0 }. Moreover, one can see that { α 8 = {{, }, {, }}, {{, }, {, }}, {{, }, {, }}, {{, }, {, }}, {{, }, {, }}, } {{, }, {, }}, {{, }, {, }}, {{, }, {, } with V 8 = 59 = ; { α 9, = {{, }}, {{, }}, {{, }, {, }}, {{, }, {, }}, {{, }, {, }}, {{, }, {, }}, } {{, }, {, }}, {{, }, {, }}, {{, }, {, }}, { α 9, = {{, }}, {{, }}, {{, }, {, }}, {{, }, {, }}, {{, }, {, }}, {{, }, {, }}, } {{, }, {, }}, {{, }, {, }}, {{, }, {, }} with V 9 = 5 59 = ; { α 0 = {{, }}, {{, }}, {{, }}, {{, }}, {{, }, {, }}, {{, }, {, }}, {{, }, {, }}, } {{, }, {, }}, {{, }, {, }}, {{, }, {, }} with V 0 = 9 59 = , and so on. Note.. Notice that there is only one optimal set of n-means for n = 7. By the notations used in Theorem.9, we can write α 7 = {a(i) : i 7}. Then, W (α 7 ) = {{{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}, {{,, }}}. Since card(w (α 7 )) =, by the theorem, we have card(c 7 ) = ( ) =, card(c7 ) = ( ) = 76, card(c 75 ) = ( ) = 0, card(c76 ) = ( ) = 066, etc., for details see Table.

15 Nonhomogeneous distributions and optimal quantizers for Sierpiński carpets 5 n card(c n ) n card(c n ) n card(c n ) n card(c n ) n card(c n ) n card(c n ) Table. Number of α n in the range 5 n 8. Let us now conclude the paper with the following remark: Remark.. Consider a set of four contractive affine transformations S (i,j) on R, such that S (,) (x, x ) = ( x, x ), S (,) (x, x ) = ( x +, x ), S (,) (x, x ) = ( x, x + ), and S (,) (x, x ) = ( x +, x + ) for all (x, x ) R. Let S be the limit set of these contractive mappings. Then, S is called the Sierpiński carpet generated by S (i,j) for all i, j. Let P be the Borel probability measure on R such that P = P 6 S (,) + P 6 S (,) + P 6 S (,) + 9 P 6 S (,). Then, P has support the Siepiński carpet S. For this probability measure, the optimal sets of n-means and the nth quantization error are not known yet for all n. References [AW] E.F. Abaya and G.L. Wise, Some remarks on the existence of optimal quantizers, Statistics & Probability Letters, Volume, Issue 6, December 98, Pages 9-5. [CR] D. Çömez and M.K. Roychowdhury, Optimal quantizers for probability distributions on Sierpinski carpets, arxiv: [math.ds]. [DFG] Q. Du, V. Faber and M. Gunzburger, Centroidal Voronoi Tessellations: Applications and Algorithms, SIAM Review, Vol., No. (999), pp [GG] A. Gersho and R.M. Gray, Vector quantization and signal compression, Kluwer Academy publishers: Boston, 99. [GKL] R.M. Gray, J.C. Kieffer and Y. Linde, Locally optimal block quantizer design, Information and Control, 5 (980), pp [GL] A. György and T. Linder, On the structure of optimal entropy-constrained scalar quantizers, IEEE transactions on information theory, vol. 8, no., February 00. [GL] S. Graf and H. Luschgy, Foundations of quantization for probability distributions, Lecture Notes in Mathematics 70, Springer, Berlin, 000. [GL] S. Graf and H. Luschgy, The Quantization of the Cantor Distribution, Math. Nachr., 8 (997), -. [GN] R.M. Gray and D.L. Neuhoff, Quantization, IEEE Transactions on Information Theory, October 998, Vol. Issue 6, 5-8. [H] J. Hutchinson, Fractals and self-similarity, Indiana Univ. J., 0 (98), [R] M.K. Roychowdhury, Quantization and centroidal Voronoi tessellations for probability measures on dyadic Cantor sets, arxiv: [math.ds]. [R] L. Roychowdhury, Optimal quantizers for probability distributions on nonhomogeneous Cantor sets, arxiv: [stat.co]. [Z] R. Zam, Lattice Coding for Signals and Networks: A Structured Coding Approach to Quantization, Modulation, and Multiuser Information Theory, Cambridge University Press, 0.

16 6 Mrinal Kanti Roychowdhury School of Mathematical and Statistical Sciences, University of Texas Rio Grande Valley, 0 West University Drive, Edinburg, TX , USA. address: mrinal.roychowdhury@utrgv.edu

arxiv: v8 [stat.co] 28 Jan 2018

arxiv: v8 [stat.co] 28 Jan 2018 OPTIMAL QUANTIZATION FOR NONUNIFORM CANTOR DISTRIBUTIONS LAKSHMI ROYCHOWDHURY arxiv:151.00379v8 [stat.co] 8 Jan 018 Abstract. Let P be a Borel probability measure on R such that P = 1 4 P S 1 1 + 3 4 P

More information

arxiv: v3 [math.ds] 11 Apr 2018

arxiv: v3 [math.ds] 11 Apr 2018 CANONICAL SEQUENCES OF OPTIMAL QUANTIZATION FOR CONDENSATION MEASURES DOĞAN ÇÖMEZ AND MRINAL KANTI ROYCHOWDHURY arxiv:705.088v3 [math.ds] Apr 08 Abstract. Let P : 3 P S + 3 P S + 3 ν, where S x 5 x, S

More information

A NOTE ON CORRELATION AND LOCAL DIMENSIONS

A NOTE ON CORRELATION AND LOCAL DIMENSIONS A NOTE ON CORRELATION AND LOCAL DIMENSIONS JIAOJIAO YANG, ANTTI KÄENMÄKI, AND MIN WU Abstract Under very mild assumptions, we give formulas for the correlation and local dimensions of measures on the limit

More information

Quantization dimension of probability measures supported on Cantor-like sets

Quantization dimension of probability measures supported on Cantor-like sets J. Math. Anal. Appl. 338 (2008) 742 750 Note www.elsevier.com/locate/jmaa Quantization dimension of probability measures supported on Cantor-like sets Sanguo Zhu Department of Mathematics, Huazhong University

More information

Fractal Dimension and Vector Quantization

Fractal Dimension and Vector Quantization Fractal Dimension and Vector Quantization [Extended Abstract] Krishna Kumaraswamy Center for Automated Learning and Discovery, Carnegie Mellon University skkumar@cs.cmu.edu Vasileios Megalooikonomou Department

More information

On the Structure of Optimal Entropy-Constrained Scalar Quantizers

On the Structure of Optimal Entropy-Constrained Scalar Quantizers 416 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 48, NO. 2, FEBRUARY 2002 On the Structure of Optimal Entropy-Constrained Scalar Quantizers András György, Student Member, IEEE, Tamás Linder, Senior Member,

More information

Section 2: Classes of Sets

Section 2: Classes of Sets Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks

More information

Uniform Convergence of a Multilevel Energy-based Quantization Scheme

Uniform Convergence of a Multilevel Energy-based Quantization Scheme Uniform Convergence of a Multilevel Energy-based Quantization Scheme Maria Emelianenko 1 and Qiang Du 1 Pennsylvania State University, University Park, PA 16803 emeliane@math.psu.edu and qdu@math.psu.edu

More information

On some non-conformal fractals

On some non-conformal fractals On some non-conformal fractals arxiv:1004.3510v1 [math.ds] 20 Apr 2010 Micha l Rams Institute of Mathematics, Polish Academy of Sciences ul. Śniadeckich 8, 00-950 Warszawa, Poland e-mail: rams@impan.gov.pl

More information

The Hausdorff measure of a Sierpinski-like fractal

The Hausdorff measure of a Sierpinski-like fractal Hokkaido Mathematical Journal Vol. 6 (2007) p. 9 19 The Hausdorff measure of a Sierpinski-like fractal Ming-Hua Wang (Received May 12, 2005; Revised October 18, 2005) Abstract. Let S be a Sierpinski-like

More information

Measures. 1 Introduction. These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland.

Measures. 1 Introduction. These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland. Measures These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland. 1 Introduction Our motivation for studying measure theory is to lay a foundation

More information

An example of a convex body without symmetric projections.

An example of a convex body without symmetric projections. An example of a convex body without symmetric projections. E. D. Gluskin A. E. Litvak N. Tomczak-Jaegermann Abstract Many crucial results of the asymptotic theory of symmetric convex bodies were extended

More information

THE SHIFT SPACE FOR AN INFINITE ITERATED FUNCTION SYSTEM

THE SHIFT SPACE FOR AN INFINITE ITERATED FUNCTION SYSTEM THE SHIFT SPACE FOR AN INFINITE ITERATED FUNCTION SYSTEM ALEXANDRU MIHAIL and RADU MICULESCU The aim of the paper is to define the shift space for an infinite iterated function systems (IIFS) and to describe

More information

18.175: Lecture 3 Integration

18.175: Lecture 3 Integration 18.175: Lecture 3 Scott Sheffield MIT Outline Outline Recall definitions Probability space is triple (Ω, F, P) where Ω is sample space, F is set of events (the σ-algebra) and P : F [0, 1] is the probability

More information

Introduction to Real Analysis Alternative Chapter 1

Introduction to Real Analysis Alternative Chapter 1 Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces

More information

POSITIVE AND NEGATIVE CORRELATIONS FOR CONDITIONAL ISING DISTRIBUTIONS

POSITIVE AND NEGATIVE CORRELATIONS FOR CONDITIONAL ISING DISTRIBUTIONS POSITIVE AND NEGATIVE CORRELATIONS FOR CONDITIONAL ISING DISTRIBUTIONS CAMILLO CAMMAROTA Abstract. In the Ising model at zero external field with ferromagnetic first neighbors interaction the Gibbs measure

More information

Jónsson posets and unary Jónsson algebras

Jónsson posets and unary Jónsson algebras Jónsson posets and unary Jónsson algebras Keith A. Kearnes and Greg Oman Abstract. We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than P, and κ is a cardinal

More information

Approximation of the attractor of a countable iterated function system 1

Approximation of the attractor of a countable iterated function system 1 General Mathematics Vol. 17, No. 3 (2009), 221 231 Approximation of the attractor of a countable iterated function system 1 Nicolae-Adrian Secelean Abstract In this paper we will describe a construction

More information

Introduction to Hausdorff Measure and Dimension

Introduction to Hausdorff Measure and Dimension Introduction to Hausdorff Measure and Dimension Dynamics Learning Seminar, Liverpool) Poj Lertchoosakul 28 September 2012 1 Definition of Hausdorff Measure and Dimension Let X, d) be a metric space, let

More information

Counting Matrices Over a Finite Field With All Eigenvalues in the Field

Counting Matrices Over a Finite Field With All Eigenvalues in the Field Counting Matrices Over a Finite Field With All Eigenvalues in the Field Lisa Kaylor David Offner Department of Mathematics and Computer Science Westminster College, Pennsylvania, USA kaylorlm@wclive.westminster.edu

More information

arxiv: v2 [math.pr] 31 Jan 2018

arxiv: v2 [math.pr] 31 Jan 2018 CENTER OF MASS AND THE OPTIMAL QUANTIZERS FOR SOME CONTINUOUS AND DISCRETE UNIFORM DISTRIBUTIONS MRINAL KANTI ROYCHOWDHURY rxiv:77.6v [mth.pr] Jn 8 Abstrct. In this pper, we first consider flt plte (clled

More information

Randomized Quantization and Optimal Design with a Marginal Constraint

Randomized Quantization and Optimal Design with a Marginal Constraint Randomized Quantization and Optimal Design with a Marginal Constraint Naci Saldi, Tamás Linder, Serdar Yüksel Department of Mathematics and Statistics, Queen s University, Kingston, ON, Canada Email: {nsaldi,linder,yuksel}@mast.queensu.ca

More information

EE368B Image and Video Compression

EE368B Image and Video Compression EE368B Image and Video Compression Homework Set #2 due Friday, October 20, 2000, 9 a.m. Introduction The Lloyd-Max quantizer is a scalar quantizer which can be seen as a special case of a vector quantizer

More information

PROBABLILITY MEASURES ON SHRINKING NEIGHBORHOODS

PROBABLILITY MEASURES ON SHRINKING NEIGHBORHOODS Real Analysis Exchange Summer Symposium 2010, pp. 27 32 Eric Samansky, Nova Southeastern University, Fort Lauderdale, Florida, USA. email: es794@nova.edu PROBABLILITY MEASURES ON SHRINKING NEIGHBORHOODS

More information

arxiv: v1 [math.ds] 31 Jul 2018

arxiv: v1 [math.ds] 31 Jul 2018 arxiv:1807.11801v1 [math.ds] 31 Jul 2018 On the interior of projections of planar self-similar sets YUKI TAKAHASHI Abstract. We consider projections of planar self-similar sets, and show that one can create

More information

Topological automorphisms of modified Sierpiński gaskets realize arbitrary finite permutation groups

Topological automorphisms of modified Sierpiński gaskets realize arbitrary finite permutation groups Topology and its Applications 101 (2000) 137 142 Topological automorphisms of modified Sierpiński gaskets realize arbitrary finite permutation groups Reinhard Winkler 1 Institut für Algebra und Diskrete

More information

Correlation dimension for self-similar Cantor sets with overlaps

Correlation dimension for self-similar Cantor sets with overlaps F U N D A M E N T A MATHEMATICAE 155 (1998) Correlation dimension for self-similar Cantor sets with overlaps by Károly S i m o n (Miskolc) and Boris S o l o m y a k (Seattle, Wash.) Abstract. We consider

More information

arxiv: v1 [math.nt] 20 Nov 2017

arxiv: v1 [math.nt] 20 Nov 2017 REDUCED IDEALS FROM THE REDUCTION ALGORITHM HA THANH NGUYEN TRAN arxiv:171107573v1 [mathnt] 20 Nov 2017 Abstract The reduction algorithm is used to compute reduced ideals of a number field However, there

More information

Jeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA

Jeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA #A33 INTEGERS 10 (2010), 379-392 DISTANCE GRAPHS FROM P -ADIC NORMS Jeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA 30118 jkang@westga.edu Hiren Maharaj Department

More information

On the Set of Limit Points of Normed Sums of Geometrically Weighted I.I.D. Bounded Random Variables

On the Set of Limit Points of Normed Sums of Geometrically Weighted I.I.D. Bounded Random Variables On the Set of Limit Points of Normed Sums of Geometrically Weighted I.I.D. Bounded Random Variables Deli Li 1, Yongcheng Qi, and Andrew Rosalsky 3 1 Department of Mathematical Sciences, Lakehead University,

More information

IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT

IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT MRINAL KANTI ROYCHOWDHURY Abstract. Two invertible dynamical systems (X, A, µ, T ) and (Y, B, ν, S) where X, Y

More information

arxiv: v2 [math.fa] 27 Sep 2016

arxiv: v2 [math.fa] 27 Sep 2016 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

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

ORBIT-HOMOGENEITY IN PERMUTATION GROUPS

ORBIT-HOMOGENEITY IN PERMUTATION GROUPS Submitted exclusively to the London Mathematical Society DOI: 10.1112/S0000000000000000 ORBIT-HOMOGENEITY IN PERMUTATION GROUPS PETER J. CAMERON and ALEXANDER W. DENT Abstract This paper introduces the

More information

AN ASYMPTOTIC BEHAVIOR OF QR DECOMPOSITION

AN ASYMPTOTIC BEHAVIOR OF QR DECOMPOSITION Unspecified Journal Volume 00, Number 0, Pages 000 000 S????-????(XX)0000-0 AN ASYMPTOTIC BEHAVIOR OF QR DECOMPOSITION HUAJUN HUANG AND TIN-YAU TAM Abstract. The m-th root of the diagonal of the upper

More information

TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS

TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS YUSUKE SUYAMA Abstract. We give a necessary and sufficient condition for the nonsingular projective toric variety associated to a building set to be

More information

SMALL SUBSETS OF THE REALS AND TREE FORCING NOTIONS

SMALL SUBSETS OF THE REALS AND TREE FORCING NOTIONS SMALL SUBSETS OF THE REALS AND TREE FORCING NOTIONS MARCIN KYSIAK AND TOMASZ WEISS Abstract. We discuss the question which properties of smallness in the sense of measure and category (e.g. being a universally

More information

Decomposing Bent Functions

Decomposing Bent Functions 2004 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 49, NO. 8, AUGUST 2003 Decomposing Bent Functions Anne Canteaut and Pascale Charpin Abstract In a recent paper [1], it is shown that the restrictions

More information

COMPLEXITY OF SHORT RECTANGLES AND PERIODICITY

COMPLEXITY OF SHORT RECTANGLES AND PERIODICITY COMPLEXITY OF SHORT RECTANGLES AND PERIODICITY VAN CYR AND BRYNA KRA Abstract. The Morse-Hedlund Theorem states that a bi-infinite sequence η in a finite alphabet is periodic if and only if there exists

More information

A spectral gap property for subgroups of finite covolume in Lie groups

A spectral gap property for subgroups of finite covolume in Lie groups A spectral gap property for subgroups of finite covolume in Lie groups Bachir Bekka and Yves Cornulier Dedicated to the memory of Andrzej Hulanicki Abstract Let G be a real Lie group and H a lattice or,

More information

arxiv: v1 [math.co] 25 Jun 2014

arxiv: v1 [math.co] 25 Jun 2014 THE NON-PURE VERSION OF THE SIMPLEX AND THE BOUNDARY OF THE SIMPLEX NICOLÁS A. CAPITELLI arxiv:1406.6434v1 [math.co] 25 Jun 2014 Abstract. We introduce the non-pure versions of simplicial balls and spheres

More information

Hanoi attractors and the Sierpiński Gasket

Hanoi attractors and the Sierpiński Gasket Int. J.Mathematical Modelling and Numerical Optimisation, Vol. x, No. x, xxxx 1 Hanoi attractors and the Sierpiński Gasket Patricia Alonso-Ruiz Departement Mathematik, Emmy Noether Campus, Walter Flex

More information

Lebesgue Measure on R n

Lebesgue Measure on R n 8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets

More information

Invariant measures for iterated function systems

Invariant measures for iterated function systems ANNALES POLONICI MATHEMATICI LXXV.1(2000) Invariant measures for iterated function systems by Tomasz Szarek (Katowice and Rzeszów) Abstract. A new criterion for the existence of an invariant distribution

More information

Undecidable properties of self-affine sets and multi-tape automata

Undecidable properties of self-affine sets and multi-tape automata Undecidable properties of self-affine sets and multi-tape automata Timo Jolivet 1,2 and Jarkko Kari 1 1 Department of Mathematics, University of Turku, Finland 2 LIAFA, Université Paris Diderot, France

More information

Convergence of a distributed asynchronous learning vector quantization algorithm.

Convergence of a distributed asynchronous learning vector quantization algorithm. Convergence of a distributed asynchronous learning vector quantization algorithm. ENS ULM, NOVEMBER 2010 Benoît Patra (UPMC-Paris VI/Lokad) 1 / 59 Outline. 1 Introduction. 2 Vector quantization, convergence

More information

Optimal Multiple Description and Multiresolution Scalar Quantizer Design

Optimal Multiple Description and Multiresolution Scalar Quantizer Design Optimal ultiple Description and ultiresolution Scalar Quantizer Design ichelle Effros California Institute of Technology Abstract I present new algorithms for fixed-rate multiple description and multiresolution

More information

1 Measurable Functions

1 Measurable Functions 36-752 Advanced Probability Overview Spring 2018 2. Measurable Functions, Random Variables, and Integration Instructor: Alessandro Rinaldo Associated reading: Sec 1.5 of Ash and Doléans-Dade; Sec 1.3 and

More information

THE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM

THE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM Bull. Aust. Math. Soc. 88 (2013), 267 279 doi:10.1017/s0004972713000348 THE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM MICHAEL F. BARNSLEY and ANDREW VINCE (Received 15 August 2012; accepted 21 February

More information

STRICTLY ERGODIC PATTERNS AND ENTROPY FOR INTERVAL MAPS

STRICTLY ERGODIC PATTERNS AND ENTROPY FOR INTERVAL MAPS Acta Math. Univ. Comenianae Vol. LXXII, (2003), pp. 8 STRICTLY ERGODIC PATTERNS AND ENTROPY FOR INTERVAL MAPS J. BOBOK Abstract. Let M be the set of all pairs (T,g) such that T R is compact, g : T T is

More information

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers. MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

SOME ADDITIVE DARBOUX LIKE FUNCTIONS

SOME ADDITIVE DARBOUX LIKE FUNCTIONS Journal of Applied Analysis Vol. 4, No. 1 (1998), pp. 43 51 SOME ADDITIVE DARBOUX LIKE FUNCTIONS K. CIESIELSKI Received June 11, 1997 and, in revised form, September 16, 1997 Abstract. In this note we

More information

ON ASSOUAD S EMBEDDING TECHNIQUE

ON ASSOUAD S EMBEDDING TECHNIQUE ON ASSOUAD S EMBEDDING TECHNIQUE MICHAL KRAUS Abstract. We survey the standard proof of a theorem of Assouad stating that every snowflaked version of a doubling metric space admits a bi-lipschitz embedding

More information

Foliation dynamics, shape and classification

Foliation dynamics, shape and classification Foliation dynamics, shape and classification Steve Hurder University of Illinois at Chicago www.math.uic.edu/ hurder Theorem: [Denjoy, 1932] There exist a C 1 -foliation F of codimension-1 with an exceptional

More information

Linear distortion of Hausdorff dimension and Cantor s function

Linear distortion of Hausdorff dimension and Cantor s function Collect. Math. 57, 2 (2006), 93 20 c 2006 Universitat de Barcelona Linear distortion of Hausdorff dimension and Cantor s function O. Dovgoshey and V. Ryazanov Institute of Applied Mathematics and Mechanics,

More information

Key words and phrases. Hausdorff measure, self-similar set, Sierpinski triangle The research of Móra was supported by OTKA Foundation #TS49835

Key words and phrases. Hausdorff measure, self-similar set, Sierpinski triangle The research of Móra was supported by OTKA Foundation #TS49835 Key words and phrases. Hausdorff measure, self-similar set, Sierpinski triangle The research of Móra was supported by OTKA Foundation #TS49835 Department of Stochastics, Institute of Mathematics, Budapest

More information

ON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS

ON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS Acta Math. Univ. Comenianae Vol. LXXXVII, 2 (2018), pp. 291 299 291 ON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS B. FARHI Abstract. In this paper, we show that

More information

A New Shuffle Convolution for Multiple Zeta Values

A New Shuffle Convolution for Multiple Zeta Values January 19, 2004 A New Shuffle Convolution for Multiple Zeta Values Ae Ja Yee 1 yee@math.psu.edu The Pennsylvania State University, Department of Mathematics, University Park, PA 16802 1 Introduction As

More information

arxiv: v2 [math.ca] 4 Jun 2017

arxiv: v2 [math.ca] 4 Jun 2017 EXCURSIONS ON CANTOR-LIKE SETS ROBERT DIMARTINO AND WILFREDO O. URBINA arxiv:4.70v [math.ca] 4 Jun 07 ABSTRACT. The ternary Cantor set C, constructed by George Cantor in 883, is probably the best known

More information

Local time of self-affine sets of Brownian motion type and the jigsaw puzzle problem

Local time of self-affine sets of Brownian motion type and the jigsaw puzzle problem Local time of self-affine sets of Brownian motion type and the jigsaw puzzle problem (Journal of Mathematical Analysis and Applications 49 (04), pp.79-93) Yu-Mei XUE and Teturo KAMAE Abstract Let Ω [0,

More information

Functional Properties of MMSE

Functional Properties of MMSE Functional Properties of MMSE Yihong Wu epartment of Electrical Engineering Princeton University Princeton, NJ 08544, USA Email: yihongwu@princeton.edu Sergio Verdú epartment of Electrical Engineering

More information

arxiv: v1 [math.mg] 28 Dec 2018

arxiv: v1 [math.mg] 28 Dec 2018 NEIGHBORING MAPPING POINTS THEOREM ANDREI V. MALYUTIN AND OLEG R. MUSIN arxiv:1812.10895v1 [math.mg] 28 Dec 2018 Abstract. Let f: X M be a continuous map of metric spaces. We say that points in a subset

More information

Two-Step Iteration Scheme for Nonexpansive Mappings in Banach Space

Two-Step Iteration Scheme for Nonexpansive Mappings in Banach Space Mathematica Moravica Vol. 19-1 (2015), 95 105 Two-Step Iteration Scheme for Nonexpansive Mappings in Banach Space M.R. Yadav Abstract. In this paper, we introduce a new two-step iteration process to approximate

More information

THE CONTRACTION MAPPING THEOREM, II

THE CONTRACTION MAPPING THEOREM, II THE CONTRACTION MAPPING THEOREM, II KEITH CONRAD 1. Introduction In part I, we met the contraction mapping theorem and an application of it to solving nonlinear differential equations. Here we will discuss

More information

Theoretical Computer Science

Theoretical Computer Science Theoretical Computer Science 406 008) 3 4 Contents lists available at ScienceDirect Theoretical Computer Science journal homepage: www.elsevier.com/locate/tcs Discrete sets with minimal moment of inertia

More information

Week 9-10: Recurrence Relations and Generating Functions

Week 9-10: Recurrence Relations and Generating Functions Week 9-10: Recurrence Relations and Generating Functions April 3, 2017 1 Some number sequences An infinite sequence (or just a sequence for short is an ordered array a 0, a 1, a 2,..., a n,... of countably

More information

The small ball property in Banach spaces (quantitative results)

The small ball property in Banach spaces (quantitative results) The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence

More information

HAUSDORFF DIMENSION AND ITS APPLICATIONS

HAUSDORFF DIMENSION AND ITS APPLICATIONS HAUSDORFF DIMENSION AND ITS APPLICATIONS JAY SHAH Abstract. The theory of Hausdorff dimension provides a general notion of the size of a set in a metric space. We define Hausdorff measure and dimension,

More information

The Gaussian coefficient revisited

The Gaussian coefficient revisited The Gaussian coefficient revisited Richard EHRENBORG and Margaret A. READDY Abstract We give new -(1+)-analogue of the Gaussian coefficient, also now as the -binomial which, lie the original -binomial

More information

QUASI-LIPSCHITZ EQUIVALENCE OF SUBSETS OF AHLFORS DAVID REGULAR SETS

QUASI-LIPSCHITZ EQUIVALENCE OF SUBSETS OF AHLFORS DAVID REGULAR SETS Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 39, 2014, 759 769 QUASI-LIPSCHITZ EQUIVALENCE OF SUBSETS OF AHLFORS DAVID REGULAR SETS Qiuli Guo, Hao Li and Qin Wang Zhejiang Wanli University,

More information

18.175: Lecture 2 Extension theorems, random variables, distributions

18.175: Lecture 2 Extension theorems, random variables, distributions 18.175: Lecture 2 Extension theorems, random variables, distributions Scott Sheffield MIT Outline Extension theorems Characterizing measures on R d Random variables Outline Extension theorems Characterizing

More information

Bounds for pairs in partitions of graphs

Bounds for pairs in partitions of graphs Bounds for pairs in partitions of graphs Jie Ma Xingxing Yu School of Mathematics Georgia Institute of Technology Atlanta, GA 30332-0160, USA Abstract In this paper we study the following problem of Bollobás

More information

Convergence of Banach valued stochastic processes of Pettis and McShane integrable functions

Convergence of Banach valued stochastic processes of Pettis and McShane integrable functions Convergence of Banach valued stochastic processes of Pettis and McShane integrable functions V. Marraffa Department of Mathematics, Via rchirafi 34, 90123 Palermo, Italy bstract It is shown that if (X

More information

MATH 202B - Problem Set 5

MATH 202B - Problem Set 5 MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there

More information

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

Partitions and Algebraic Structures

Partitions and Algebraic Structures CHAPTER A Partitions and Algebraic Structures In this chapter, we introduce partitions of natural numbers and the Ferrers diagrams. The algebraic structures of partitions such as addition, multiplication

More information

A ZERO ENTROPY T SUCH THAT THE [T,ID] ENDOMORPHISM IS NONSTANDARD

A ZERO ENTROPY T SUCH THAT THE [T,ID] ENDOMORPHISM IS NONSTANDARD A ZERO ENTROPY T SUCH THAT THE [T,ID] ENDOMORPHISM IS NONSTANDARD CHRISTOPHER HOFFMAN Abstract. We present an example of an ergodic transformation T, a variant of a zero entropy non loosely Bernoulli map

More information

CLUSTERING is the problem of identifying groupings of

CLUSTERING is the problem of identifying groupings of IEEE TRANSACTIONS ON INFORMATION THEORY, VOL 54, NO 2, FEBRUARY 2008 781 On the Performance of Clustering in Hilbert Spaces Gérard Biau, Luc Devroye, and Gábor Lugosi, Member, IEEE Abstract Based on n

More information

Boolean Inner-Product Spaces and Boolean Matrices

Boolean Inner-Product Spaces and Boolean Matrices Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver

More information

Math 117: Infinite Sequences

Math 117: Infinite Sequences Math 7: Infinite Sequences John Douglas Moore November, 008 The three main theorems in the theory of infinite sequences are the Monotone Convergence Theorem, the Cauchy Sequence Theorem and the Subsequence

More information

On families of anticommuting matrices

On families of anticommuting matrices On families of anticommuting matrices Pavel Hrubeš December 18, 214 Abstract Let e 1,..., e k be complex n n matrices such that e ie j = e je i whenever i j. We conjecture that rk(e 2 1) + rk(e 2 2) +

More information

Fourier Bases on the Skewed Sierpinski Gasket

Fourier Bases on the Skewed Sierpinski Gasket Fourier Bases on the Skewed Sierpinski Gasket Calvin Hotchkiss University Nebraska-Iowa Functional Analysis Seminar November 5, 2016 Part 1: A Fast Fourier Transform for Fractal Approximations The Fractal

More information

1 The Heisenberg group does not admit a bi- Lipschitz embedding into L 1

1 The Heisenberg group does not admit a bi- Lipschitz embedding into L 1 The Heisenberg group does not admit a bi- Lipschitz embedding into L after J. Cheeger and B. Kleiner [CK06, CK09] A summary written by John Mackay Abstract We show that the Heisenberg group, with its Carnot-Caratheodory

More information

A PASCAL-LIKE BOUND FOR THE NUMBER OF NECKLACES WITH FIXED DENSITY

A PASCAL-LIKE BOUND FOR THE NUMBER OF NECKLACES WITH FIXED DENSITY A PASCAL-LIKE BOUND FOR THE NUMBER OF NECKLACES WITH FIXED DENSITY I. HECKENBERGER AND J. SAWADA Abstract. A bound resembling Pascal s identity is presented for binary necklaces with fixed density using

More information

Connectivity of addable graph classes

Connectivity of addable graph classes Connectivity of addable graph classes Paul Balister Béla Bollobás Stefanie Gerke January 8, 007 A non-empty class A of labelled graphs that is closed under isomorphism is weakly addable if for each graph

More information

Compact subsets of the Baire space

Compact subsets of the Baire space Compact subsets of the Baire space Arnold W. Miller Nov 2012 Results in this note were obtained in 1994 and reported on at a meeting on Real Analysis in Lodz, Poland, July 1994. Let ω ω be the Baire space,

More information

P-Spaces and the Prime Spectrum of Commutative Semirings

P-Spaces and the Prime Spectrum of Commutative Semirings International Mathematical Forum, 3, 2008, no. 36, 1795-1802 P-Spaces and the Prime Spectrum of Commutative Semirings A. J. Peña Departamento de Matemáticas, Facultad Experimental de Ciencias, Universidad

More information

Connectivity of addable graph classes

Connectivity of addable graph classes Connectivity of addable graph classes Paul Balister Béla Bollobás Stefanie Gerke July 6, 008 A non-empty class A of labelled graphs is weakly addable if for each graph G A and any two distinct components

More information

Yuqing Chen, Yeol Je Cho, and Li Yang

Yuqing Chen, Yeol Je Cho, and Li Yang Bull. Korean Math. Soc. 39 (2002), No. 4, pp. 535 541 NOTE ON THE RESULTS WITH LOWER SEMI-CONTINUITY Yuqing Chen, Yeol Je Cho, and Li Yang Abstract. In this paper, we introduce the concept of lower semicontinuous

More information

Lebesgue Measure and The Cantor Set

Lebesgue Measure and The Cantor Set Math 0 Final year project Lebesgue Measure and The Cantor Set Jason Baker, Kyle Henke, Michael Sanchez Overview Define a measure Define when a set has measure zero Find the measure of [0, ], I and Q Construct

More information

ON A GENERALIZED VERSION OF THE NAKAYAMA CONJECTURE MAURICE AUSLANDER1 AND IDUN REITEN

ON A GENERALIZED VERSION OF THE NAKAYAMA CONJECTURE MAURICE AUSLANDER1 AND IDUN REITEN PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 52, October 1975 ON A GENERALIZED VERSION OF THE NAKAYAMA CONJECTURE MAURICE AUSLANDER1 AND IDUN REITEN ABSTRACT. Nakayama proposed a conjecture

More information

NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES

NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)

More information

ATOMIC AND AP SEMIGROUP RINGS F [X; M], WHERE M IS A SUBMONOID OF THE ADDITIVE MONOID OF NONNEGATIVE RATIONAL NUMBERS. Ryan Gipson and Hamid Kulosman

ATOMIC AND AP SEMIGROUP RINGS F [X; M], WHERE M IS A SUBMONOID OF THE ADDITIVE MONOID OF NONNEGATIVE RATIONAL NUMBERS. Ryan Gipson and Hamid Kulosman International Electronic Journal of Algebra Volume 22 (2017) 133-146 DOI: 10.24330/ieja.325939 ATOMIC AND AP SEMIGROUP RINGS F [X; M], WHERE M IS A SUBMONOID OF THE ADDITIVE MONOID OF NONNEGATIVE RATIONAL

More information

Fundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales

Fundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales Fundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales Prakash Balachandran Department of Mathematics Duke University April 2, 2008 1 Review of Discrete-Time

More information

ON FUNCTIONS WHOSE GRAPH IS A HAMEL BASIS II

ON FUNCTIONS WHOSE GRAPH IS A HAMEL BASIS II To the memory of my Mother ON FUNCTIONS WHOSE GRAPH IS A HAMEL BASIS II KRZYSZTOF P LOTKA Abstract. We say that a function h: R R is a Hamel function (h HF) if h, considered as a subset of R 2, is a Hamel

More information

To appear in Monatsh. Math. WHEN IS THE UNION OF TWO UNIT INTERVALS A SELF-SIMILAR SET SATISFYING THE OPEN SET CONDITION? 1.

To appear in Monatsh. Math. WHEN IS THE UNION OF TWO UNIT INTERVALS A SELF-SIMILAR SET SATISFYING THE OPEN SET CONDITION? 1. To appear in Monatsh. Math. WHEN IS THE UNION OF TWO UNIT INTERVALS A SELF-SIMILAR SET SATISFYING THE OPEN SET CONDITION? DE-JUN FENG, SU HUA, AND YUAN JI Abstract. Let U λ be the union of two unit intervals

More information

SPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction

SPACES ENDOWED WITH A GRAPH AND APPLICATIONS. Mina Dinarvand. 1. Introduction MATEMATIČKI VESNIK MATEMATIQKI VESNIK 69, 1 (2017), 23 38 March 2017 research paper originalni nauqni rad FIXED POINT RESULTS FOR (ϕ, ψ)-contractions IN METRIC SPACES ENDOWED WITH A GRAPH AND APPLICATIONS

More information

Topological properties of Z p and Q p and Euclidean models

Topological properties of Z p and Q p and Euclidean models Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete

More information

Ch. 10 Vector Quantization. Advantages & Design

Ch. 10 Vector Quantization. Advantages & Design Ch. 10 Vector Quantization Advantages & Design 1 Advantages of VQ There are (at least) 3 main characteristics of VQ that help it outperform SQ: 1. Exploit Correlation within vectors 2. Exploit Shape Flexibility

More information

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

More information