arxiv: v2 [math.pr] 31 Jan 2018

Transcription

1 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 lmin) with uniform density ρ tht occupies region R of the plne. We show tht the loction of the center of mss, lso known s the centroid, of the region equls the expected vector of bivrite continuous rndom vrible with uniform probbility distribution tking vlues on the region R. Using this property, we prove tht the Voronoi regions of n optiml set of two-mens with respect to the uniform distribution defined on disc prtition the disc into two regions bounded by the semicircles. Besides, we show tht if n isosceles tringle is prtitioned into n isosceles tringle nd n isosceles trpezoid in the Golden rtio, then their centers of mss form centroidl Voronoi tesselltion of the tringle. In ddition, using the properties of center of mss we determine the optiml sets of two-mens nd the corresponding quntiztion error for uniform distribution defined on region with uniform density bounded by rhombus. Further, we determine the optiml sets of n-mens, nd the nth quntiztion errors for two different discrete uniform distributions for some positive integers n crd(supp(p )).. Introduction Let us consider flt plte, clled lmin, with uniform density ρ tht occupies region R of the plne. By the density ρ, it is ment tht the mss per unit re of the region R is ρ. The center of mss or the centroid of the region is the point in which the region will be perfectly blnced horizontlly if suspended from the point. Let the region R lies between the two curves x = f(x ) nd x = g(x ) bounded by the lines x = nd x = b, where f(x ) g(x ) for ll (x, x ) R. Let A be the totl re of the region R. Then, A = b (f(x ) g(x ))dx. It is known tht if (x, x ) is the centroid of the region R, then () x = A b x (f(x ) g(x ))dx nd x = A b ([f(x )] [g(x )] )dx. Given finite subset α of R, the Voronoi region generted by α is the set of ll elements in R which re nerest, nd is denoted by M( α), i.e., M( α) = {x R : x = min x b }, b α where denotes the Eucliden norm on R. The set {M( α) : α} is clled the Voronoi digrm or Voronoi tesselltion of R with respect to the set α. A Voronoi tesselltion is clled centroidl Voronoi tesselltion (CVT) if ech of the genertors of the tesselltion is lso the centroid of its own Voronoi region. Centroidl Voronoi tesselltions (CVTs) hve become useful tool in mny pplictions rnging from geometric modeling, imge nd dt nlysis, nd numericl prtil differentil equtions, to problems in physics, strophysics, chemistry, nd biology (see [DFG] for some more detils). Let P denote Borel probbility mesure on R. For finite set α R, the error min α x dp (x) is often referred to s the cost or distortion error for α, nd is denoted by V (P ; α). For ny positive integer n, write V n := V n (P ) = inf{v (P ; α) : α R, crd(α) n}. Then, V n is clled the nth quntiztion error for P. If x dp (x) <, then there is Mthemtics Subject Clssifiction. 6Exx, 6Exx, 94A4. Key words nd phrses. Center of mss, uniform distribution, optiml sets.

2 Mrinl Knti Roychowdhury some set α for which the infimum is chieved (see [GKL, GL, GL]). Such set α for which the infimum occurs nd contins no more thn n points is clled n optiml set of n-mens. The elements of n optiml set re clled optiml centers, or optiml quntizers. In some literture it is lso referred to s principl points (see [MKT], nd the references therein). Let α be n optiml set of n-mens for Borel probbility mesure P on R. Let α, nd M( α) be the Voronoi region generted by α. Then, for every α it is well-known tht = E(X : X M( α)) (see [GL, Section 4.] nd [GG, Chpter 6 nd Chpter ]). It hs brod pplictions in signl processing nd dt compression. For some detils nd comprehensive lists of references one cn see [GG, GKL, GN, Z]. Rigorous mthemticl tretment of the quntiztion theory is given in Grf-Luschgy s book (see [GL]). For some recent work in this direction one cn see [DR, R]. In this pper, we consider flt plte (clled lmin) with uniform density ρ tht occupies region R of the plne. In Proposition., we show tht the loction of the center of mss of the region equls the expected vector of bivrite continuous rndom vrible with uniform probbility distribution tking vlues on the region R. In other words, we show tht with respect to the uniform distribution, the point in n optiml set of one-men coincides with the center of mss of the lmin. If the probbility distribution is not uniform, then Proposition. is not true. In this regrd we give counter exmple Exmple.. In [R], Roychowdhury gve conjecture tht with respect to the uniform distribution defined on disc, the Voronoi regions of the points in n optiml set of two-mens prtition the disc into two semicircles. Here by the semicircle it is ment one hlf of the disc bounded by the semicircle. Using Proposition., in Proposition.4, we prove tht the conjecture is true. Besides, in Proposition.5, we show tht if n isosceles tringle is prtitioned into n isosceles tringle nd n isosceles trpezoid in the Golden rtio, then their centers of mss form centroidl Voronoi tesselltion of the tringle. In ddition, in Proposition.6, using the properties of center of mss, we determine the optiml set of two-mens nd the corresponding quntiztion error for uniform distribution defined on region with uniform density bounded by rhombus. The proof of this proposition shows tht the optiml set of two-mens forms centroidl Voronoi tesselltion, but the converse is not true (see Remrk.7). Finlly, in the lst section, for two different discrete distributions P, we determine the optiml sets of n-mens nd the nth quntiztion errors for some positive integers n crd(supp(p )).. Min Result For bivrite continuous rndom vrible X := (X, X ) tking vlues on region with some probbility distribution, let E(X) represent the expected vector of X. On the other hnd, by E(X ) nd E(X ), we denote the expecttions of the rndom vribles X nd X with respect to their mrginl distributions. By the position vector ã of point A, it is ment tht OA = ã. In the sequel, we will identify the position vector of point (, ) by (, ) := i + j, nd pologize for ny buse in nottion. Here i nd j re the two unit vectors in the positive directions of x - nd x -xes, respectively. For ny two vectors u nd v, let u v denote the dot product between the two vectors u nd v. Then, for ny vector v, by ( v), we men ( v) := v v. Thus, v := v v, which is clled the length of the vector v. For ny two position vectors ã := (, ) nd b := (b, b ), we write ρ(ã, b) := (( b, b )) = ( b ) +( b ) to represent the squred Eucliden distnce between the two points (, ) nd (b, b ). Let us now prove the following proposition. Proposition.. Let (x, x ) be the center of mss of lmin with uniform density ρ. Let X := (X, X ) be bivrite continuous rndom vrible with uniform distribution tking

3 Center of mss nd the optiml quntizers for some continuous nd discrete uniform distributions x c 6 x = f(x ) Region J 5 c 5 c 4 Region J 4 Region J c Region J c Region J O c b x = g(x ) x Figure. Prtition of the region R. vlues on the region R occupied by the lmin. Then, E(X) = (E(X ), E(X )) = (x, x ). Proof. Let f(x, x ) be the probbility density function (pdf) of the bivrite continuous rndom vrible X := (X, X ) tking vlues on the region R with respect to the uniform distribution. Let A represent the re of the region. Then, { for (x f(x, x ) = A, x ) R, otherwise. Let f (x ) nd f (x ) represent the mrginl pdfs of the rndom vribles X nd X, respectively. Then, following the definitions in Probbility Theory, we hve f (x ) = f(x ) g(x ) f(x, x )dx for x b. To find f (x ) we hve to proceed s follows: Split the region R into five regions such s J, J,, J 5 (see Figure ). The regions J, J,, J 5 hevily depend on the two functions f(x ) nd g(x ). We might hve even more thn five regions, or less in some cses. Thus, J, J,, J 5 re bounded by the lines x =, x = b, nd x = c i for i 6, nd the curves x = g(x ) nd x = f(x ). Hence, s shown in Figure, we hve J = {(x, x ) : min(g (x )) x mx(g (x )) nd c x c }, J = {(x, x ) : x g (x ) nd c x c }, J = {(x, x ) : x b nd c x c 4 }, J 4 = {(x, x ) : x f (x ) nd c 4 x c 5 }, J 5 = {(x, x ) : min(f (x )) x mx(f (x )) nd c 5 x c 6 },

4 4 Mrinl Knti Roychowdhury x = x O x = x yielding Figure. The bounded region described in Exmple. f (x ) = mx(g (x )) min(g (x )) f(x, x )dx for c x c, g (x ) b f(x, x )dx for c x c, f(x, x )dx for c x c 4, f (x ) f(x, x )dx for c 4 x c 5, mx(f (x )) f(x min(f (x )), x )dx for c 5 x c 6. Recll tht for ny (x, x ) R, f(x, x ) =, nd zero, otherwise. Thus, we hve A E(X ) = b x f (x ) dx = A b f(x ) g(x ) x dx dx = A b x (f(x ) g(x ))dx, which by () implies tht E(X ) = x. To show E(X ) = x, we will minly use the chnging in the order of integrtion in the regions of double integrls. We hve E(X ) = c6 = [( c A c ( c 5 + = A = A [ b c x f (x )dx mx(g (x )) c 4 c g(x ) b f(x ) g(x ) min(g (x )) f (x ) x dx dx + x dx dx + x dx dx + x dx dx = A b c4 b c g (x ) c c6 mx(f (x )) c 5 x dx dx ) + x dx dx )] min(f (x )) b f(x ) c x dx dx + c4 b c c 4 x dx dx ([f(x )] [g(x )] )dx, which by () implies tht E(X ) = x. Hence, E(X) = (x i + x j)dx dx = i x f (x )dx + j A ] x dx dx x f (x )dx = x i + x j = (x, x ), nd thus, the proof of the proposition is complete. In support of the proposition, we give the following exmple.

5 Center of mss nd the optiml quntizers for some continuous nd discrete uniform distributions 5 Exmple.. Let us consider lmin with uniform density ρ which occupies region R in the plne bounded by the circle x + x =, nd the lines x = x nd x = (see Figure ). Let A be the re of the region. Then, A = π + = +π. Let (x 4 4, x ) be the centroid of the region R. Here f(x ) = x nd g(x ) = x. Then, using the formuls given by (), we hve x = A x = A x (f(x ) g(x ))dx = + π, nd ([f(x )] [g(x )] )dx = ( + π). Let f(x, x ) be the pdf of bivrite continuous rndom vrible X := (X, X ) with uniform distribution tking vlues on R. Then, f(x, x ) = A for (x, x ) R, nd f(x, x ) = if (x, x ) R, where R = {(x, x ) : x, x g (x )} {(x, x ) : x, x f (x )}. Let f (x ) nd f (x ) be the mrginl distributions of X nd X, respectively. Then, nd f (x ) = Thus, f(x ) g(x ) f (x ) = f(x, x )dx = A (f(x ) g(x )) = A ( x (x )) for x, { g (x ) f(x, x )dx = A (x + ) for x, f (x ) f(x, x )dx = A x for x. E(X ) = x ( x A (x )) dx = + π, nd E(X ) = ( ) x (x + )dx + x x dx = A ( + π), implying E(X ) = x nd E(X ) = x. If the bivrite continuous rndom vrible X := (X, X ) is not uniformly distributed on the region R, then the Proposition. is not true. In this regrd, we give the following counter exmple. Exmple.. Let R be the squre with vertices O(, ), A(, ), B(, ), nd C(, ) occupied by lmin with uniform density ρ. Then, its re A is given by A =. Let (x, x ) be its center of mss. Then, we see tht (x, x ) = (, ). Let X := (X, X ) be bivrite continuous rndom vrible with probbility density function f(x, x ) tking vlues on the squre R given by { 4x x f(x, x ) = if (x, x ) R, otherwise. Then, if f (x ) nd f (x ) re mrginl pdfs of X nd X, respectively, we hve { { x for < x f (x ) = <, x for < x nd f otherwise, (x ) = <, otherwise. Thus, we see tht E(X ) = x f(x )dx =, nd E(X ) = x f (x )dx =, implying E(X) = (x i + x j)dx dx = i x f (x )dx + j x f (x )dx = A i + j = (, ), i.e., E(X) := (E(X ), E(X )) = (, ) (x, x ).

6 6 Mrinl Knti Roychowdhury In the following proposition we use Proposition. nd prove conjecture given by Roychowdhury (see [R, Conjecture.7]). Proposition.4. The Voronoi regions of the points in n optiml set of two-mens with respect to the uniform distribution defined on disc prtition the disc into two regions bounded by the semicircles. Proof. It is enough to prove the proposition for the disc bounded by the circle given by the eqution x + x =. Let P nd Q be the two points in n optiml set of two-mens with respect to the uniform distribution on the disc. Let ρ be the density, i.e., mss per unit re of the disc. Due to rottionl symmetry of the disc bout its center, without ny loss of generlity, we cn ssume tht the boundry of the Voronoi regions of the points P nd Q cut the circle t the points A nd B, nd the line AB is prllel to the x -xis. Thus, we cn tke the coordintes of A nd B s (, b) nd (, b), respectively, where + b =. Notice tht due to rottionl symmetry of the disc we cn ssume tht b. Moreover, we cn ssume tht P is bove the line AB, nd Q is below the line AB. Due to Proposition., we use the formuls given by () to clculte the loctions of P nd Q. Let (u, u ) nd (v, v ) be the coordintes of P nd Q, respectively. Here there is no need to use the formul to clculte u nd v becuse, by the symmetry principle, the center of mss must lie on the x -xis, so u = v =. Now, we clculte u nd v s follows: nd v = u = (( x ) ( )) dx ( x ) = dx + x dx + ( sin () ), (( ) ( x )) dx + ( + ) x = ( + sin () + cos () ). dx + x dx Since the boundry of the Voronoi regions of ny two points in n optiml set is the perpendiculr bisector of the line segment joining the two points, we cn sy tht the point ( (u + v ), (u + v )) lies on the line AB yielding (u + v ) = b =. Putting the vlues of u nd v in the bove eqution, nd solving it, we hve =, nd so b = implying the fct tht the line AB coincides with the x -xis. In other words, the boundry of the Voronoi regions of the two points P nd Q coincides with digonl of the circle. Thus, the proof of the proposition is complete. In the sequel by the tringle it it ment the lmin bounded by the tringle, nd by the isosceles trpezoid it is ment the lmin bounded by the isosceles trpezoid. We now stte nd prove the following proposition. Proposition.5. If n isosceles tringle is prtitioned into n isosceles tringle nd n isosceles trpezoid in the Golden rtio, then their centers of mss form centroidl Voronoi tesselltion of the tringle. Proof. Let be the isosceles tringle with uniform density ρ. It is enough to prove the proposition for the tringle with vertices O(, ), A(, ), nd B(, ) (see Figure ). Let l be the line which prtitions into n isosceles tringle nd n isosceles trpezoid. Let l intersects the sides OA nd AB t the points C nd D, respectively. Let AC = AD = α. Then, the

7 Center of mss nd the optiml quntizers for some continuous nd discrete uniform distributions 7 B Q D P O C A Figure. P nd Q form centroidl Voronoi tesselltion. re of the tringle ACD is α, nd so, the re of the isosceles trpezoid is ( α ). The eqution of the line OB is x = x, nd the eqution of the line CD is x = x + α. Let P (u, u ) nd Q(v, v ) be the centers of mss of the tringle ACD nd the isosceles trpezoid, respectively. Then, (u, u ) = ( α ). Now, using (), we hve nd v = α, α x (x ) dx + x α (x (α + x )) dx α (x ) dx + (x = α + α +, α (α + x )) dx α + α v = (x ) dx + α (x (α + x ) ) dx α (x ) dx + (x = α + α + α (α + x )) dx α +. If P nd Q form Centroidl Voronoi tesselltion, then the line CD must be the perpendiculr bisection of the line segment joining P nd Q. Thus, we hve (u + v ) = (u + v ) + α. Next, putting the vlues of u, u, v nd v, nd solving the eqution, we hve α = ( 5 ), which is the Golden rtio. Since α + α =, we see tht Are of the isosceles tringle BCD Are of the isosceles trpezoid OCDB = α ( α ) = α. Thus, the proof of the proposition is complete. Let R be the region occupied by lmin with uniform density such tht the boundry of R forms rhombus. Then, it cn be seen tht the center of mss of the lmin is locted t the center of the rhombus, i.e., t the point where the two digonls intersect, in other words, the optiml set of one-men with respect to the uniform distribution defined on the region R consists of the center of the rhombus. The following proposition gives the optiml sets of two-mens nd the corresponding quntiztion error with respect to the uniform distribution defined on such region R. Proposition.6.. Let R be the region bounded by the rhombus with vertices O(, ), A(, ), B( +, ) nd C(, ). Then, with respect to the uniform distribution the optiml set of two-mens is the set {( (+ ), error is V = 8 = ), ( ( +), )}, nd the corresponding quntiztion Proof. Let OABC be the rhombus with vertices O(, ), A(, ), B(+, ) nd C(, ). Let f(x, x ) be the probbility density function of the rndom vrible X := (X, X ) tking

8 8 Mrinl Knti Roychowdhury β E C B O α D A Figure 4. vlues on the region R bounded by the rhombus. Then, f(x, x ) = for (x, x ) R, nd zero, otherwise. Let the position vectors of A, B, C be ã, b, c, respectively. Then, ã = (, ), b = ( +, ), nd c = (, ). Let P nd Q be the loctions of the two points in n optiml set of two-mens. Let p nd q be the position vectors of P nd Q, respectively. Let l be the boundry of the Voronoi regions of P nd Q. Then, the following cses cn rise: Cse. l intersects the sides OA nd OC. Let l intersect OA nd OC t the points D nd E, such tht the lengths of OD nd OE be α nd β, respectively, with their position vectors d nd ẽ (see Figure 4). Then, d = αã, ẽ = β c, p = d+ẽ, nd q = ( +, ) αβ p ( αβ ), where the loction of the center of mss of the lmin is ( +, ). Since l is the boundry of the Voronoi regions of P nd Q, it is the perpendiculr bisector of the line segment joining the points P nd Q. Thus, we hve ρ( p, d) ρ( q, d) =, nd ρ( p, ẽ) ρ( q, ẽ) =. Solving the bove two equtions, we hve α = nd β =, which implies the fct tht the line l is the digonl AC of the rhombus. Then, we hve p = ( ( + ), ), q = ( ( + ), ). Notice tht the eqution of the line OC is x = x, nd the eqution of the line AC is x = ( + )(x ). Thus, if V (Cse ) is the distortion error in this cse, then, due to symmetry of the rhombus with respect to the digonl AC, we hve V (Cse ) = x + ρ((x, x ), p)dx dx = x 8 = Cse. l intersects the sides AB nd BC. This cse is the reflection of Cse with respect to the digonl AC, nd thus, we obtin the sme set of solutions nd the corresponding distortion error s in Cse. Cse. l intersects the sides OA nd AB. Let l intersect OA nd AB t the points D nd E such tht the lengths of AD nd AE be α nd β, respectively, with their position vectors d nd ẽ. Then, d = ( α)ã, ẽ = β b + ( β)ã, p = (ã + d + ẽ), nd q = ( +, ) αβ p ( αβ ), where the loction of the center of mss of the lmin is ( +, ). As Cse, we hve ρ( p, d) ρ( q, d) =, nd ρ( p, ẽ) ρ( q, ẽ) =.

9 Center of mss nd the optiml quntizers for some continuous nd discrete uniform distributions 9 C β E B O α D A Figure 5. Solving the two equtions, we hve α = nd β =, which implies the fct tht the line l is the digonl OB of the rhombus. Then, we hve p = ( ( + ), ( + ), ). ), q = ( Notice tht the eqution of the line AB is x = x, nd the eqution of the line OB is x = ( )x. Thus, if V (Cse ) is the distortion error in this cse, then, due to symmetry of the rhombus with respect to the digonl OB, we hve x + + V (Cse ) = ( +)x ρ((x, x ), p)dx dx = 8 =.595. Cse 4. l intersects the sides OC nd BC. This cse is the reflection of Cse with respect to the digonl OB, nd thus, we obtin the sme set of solutions nd the corresponding distortion error s in Cse. Cse 5. l intersects the two opposite sides OA nd BC. Let l intersect the sides OA nd BC t the points D nd E, such tht the lengths of OD nd CE be α nd β, respectively, with their position vectors d nd ẽ (see Figure 5). Then, d = αã, ẽ = β b + ( β) c, p = As Cse, we hve α c+ d + β α + β ( c + d + ẽ), nd q = α (ã + b + d) + β α + β ρ( p, d) ρ( q, d) =, nd ρ( p, ẽ) ρ( q, ẽ) =. ( b + d + ẽ). Solving the bove equtions, we obtin two sets of solutions: {α =, β = }, nd {α =, β = }. If {α =, β = }, then the results obtined in this cse re sme s the results obtined in Cse. If {α =, β = }, then the results obtined in this cse re sme s the results obtined in Cse. Cse 6. l intersects the two opposite sides AB nd OC. Let l intersect the sides AB nd OC t the points D nd E, such tht the lengths of AD nd OE be α nd β, respectively, with their position vectors d nd ẽ. Then, d = ( α)ã + α b, ẽ = β c, p = As Cse, we hve β ã+ẽ + α α + β (ã + d + ẽ), nd q = α ( b + c + d) + β α + β ρ( p, d) ρ( q, d) =, nd ρ( p, ẽ) ρ( q, ẽ) =. ( c + d + ẽ).

10 Mrinl Knti Roychowdhury Solving the bove equtions, we obtin two sets of solutions: {α =, β = }, nd {α =, β = }. Thus, we see tht the results obtined in this cse re sme s the results obtined in Cse 5. Recll tht optiml set of two-mens gives the smllest distortion error. Thus, considering ll the bove possible cses, we see tht the set {( ( + ), ), ( ( + ), )} forms unique optiml set of two-mens with quntiztion error V = 8 = Thus, the proof of the proposition is complete. Remrk.7. From the proof of Proposition.6, we see tht the region bounded by rhombus hs two different centroidl Voronoi tesselltions (CVTs) with two genertors, nd the CVT with the smllest distortion error gives the optiml set of two-mens with respect to the uniform distribution. In the next section, we describe the optiml quntiztion for some discrete uniform distributions.. optiml quntiztion for discrete unform distributions Let S := {(x i, y j ) : i, j n} for some positive integer n. Then, S is dt set contining n observtions. Let X := (X, Y ) be rndom vector tking vlues on S with discrete uniform distribution P. P being discrete uniform, the mss function f(x, y) of P is given by { for (x, y) S, f(x, y) = n otherwise. Let E( X) be the expected vector of X. Then, we hve () E( X) = n u,v= ( (x u i + y v j)f(x u, y v ) = n (x + x + + x n ), ) n (y + y + + y n ), i.e., E( X) = (E(X), E(Y )), where E(X) = n (x +x + +x n ), nd E(Y ) = n (y +y + +y n ), implying the fct tht the expected vector of the rndom vector X with respect to the discrete uniform distribution is the men of the dt set S. Proceeding in the similr wy we cn prove the following proposition: Proposition.. Let P be discrete uniform distribution on dt set S contining finite number of observtions. Let A S. Then, the conditionl expected vector E( X : X A) of the rndom vector X tking vlues on A with distribution P is the men of the dt points belonging to the subset A. Recll tht if α is n optiml set of n-mens for probbility distribution P, then for ny α, is the expected vlue (vector) of its own Voronoi region. Using the bove proposition we cn determine the optiml sets of n-mens nd the nth quntiztion errors for mny finite discrete distributions s illustrted in the following exmples. In the following two exmples, we give the optiml sets α n of n-mens, nd the nth quntiztion errors V n (P ) for some n for two different discrete distributions. Notice tht in the two exmples the elements in the two dt sets re symmetriclly locted, nd the ssocited probbility distributions re lso uniform. It is not difficult to determine the optiml sets of n-mens for smller vlues of n crd(supp(p )) for such dt sets with uniform distributions. Thus, here we do not show the detils of the clcultions. Notice tht in the figures the optiml quntizers re denoted by, nd the elements in the corresponding Voronoi regions re denoted by the sme color.

11 Center of mss nd the optiml quntizers for some continuous nd discrete uniform distributions Figure 6. Optiml sets of n-mens for n = nd n =. Exmple.. Consider the dt set S given by S := {(, ), (, ), (, ), (, ), ( 6, 6 ), (, ), (, ), (5 6, 6 ), (, )} ssocited with the probbility mss function f(x, y) given by f(x, y) = if (x, y) S, nd 9 zero, otherwise. Then, by (), we hve E( X) = (, ), i.e., the optiml set of one-men is 6 the singleton {(, )} nd the corresponding quntiztion error is the vrince V given by 6 V = V (P ) = (x,y) S (x, y) (, 6 ) f(x, y) = Now, due to Proposition., fter some clcultions, we hve (i) α = {(.5,.67575), (.5,.965)} with quntiztion error.. Notice tht due to rottionl symmetry there re three different optiml sets of three-mens (see Figure 6). (ii) α = {(.66666,.965), (.8,.965), (.5,.67575)} with quntiztion error.77. Notice tht the optiml set of three-mens is unique (see Figure 6). (iii) α 4 = {(.8,.965), (.66666, ), (.5,.67575), (.66666,.88675)} with quntiztion error.864. There re severl optiml sets of four-mens with the sme quntiztion error.864 (see Figure 7). Exmple.. Let S be the dt set given by S := {(i, j) N : i, j 4}, nd the ssocited probbility mss function f(x, x ) is given { if (x f(x, x ) = 6, x ) S, otherwise. Let X := (X, X ) be the rndom vector given by the mss function f(x, x ). Then, we hve E(X) = (x,x ) R (x i + x j)f(x, x ) = ( 5, 5 ),

12 Mrinl Knti Roychowdhury Figure 7. Optiml sets of n-mens for n = 4. Figure 8. Optiml sets of n-mens for n = nd n =.

13 Center of mss nd the optiml quntizers for some continuous nd discrete uniform distributions Figure 9. Optiml set of n-mens for n = 4. Figure. Optiml sets of n-mens for n = 5.

14 4 Mrinl Knti Roychowdhury Figure. The set of the mens does not form n optiml set. i.e., the optiml set of one-men is the singleton {( 5, 5 )} nd the corresponding quntiztion error is the vrince V given by V = V (P ) = (x, x ) ( 5, 5 ) f(x, x ) =.5. (x,x ) S Now, due to Proposition., fter some clcultions, we hve (i) α = {(.5,.5), (.5,.5)} with quntiztion error.5. Notice tht due to rottionl symmetry there re two different optiml sets of two-mens (see Figure 8). (ii) α = {(.4,.8), (.6,.8), (.5, )} with quntiztion error.978. Notice tht due to rottionl symmetry there re four different optiml sets of three-mens (see Figure 8). (iii) α 4 = {(.5,.5), (.5,.5), (.5,.5), (.5,.5)} with quntiztion error.5. Notice tht the optiml set of four-mens is unique (see Figure 9). (iv) α 5 = {(.5,.5), (.5,.5), (.5, 4), (.5,.5), (.5, )} with quntiztion error.475. Notice tht there re severl optiml sets of five-mens (see Figure ). We now conclude the pper with the following remrk. Remrk.4. From Exmple. nd Exmple., we see tht if α is n optiml set of n- mens, then ech α is the men of its own Voronoi region. But, the converse is not true. For exmple, the elements in the set β := {(.8,.6), (.67,.67), (.6,.8), (,.5), (, )} re the mens of their own Voronoi regions (see Figure ) for the dt set ssocited with the uniform distribution given by Exmple.. But, the set β is not n optiml set of n-mens for n = 5, becuse the distortion error given by the set β is.6458 which is lrger thn the distortion error given by the set α 5 = {(.5,.5), (.5,.5), (.5, 4), (.5,.5), (.5, )} s described in (iv) of Exmple.. References [DFG] Q. Du, V. Fber nd M. Gunzburger, Centroidl Voronoi Tesselltions: Applictions nd Algorithms, SIAM Review, Vol. 4, No. 4 (999), pp [DR] C.P. Dettmnn nd M.K. Roychowdhury, Quntiztion for uniform distributions on equilterl tringles, Rel Anlysis Exchnge, Vol. 4(), 7, pp [GG] A. Gersho nd R.M. Gry, Vector quntiztion nd signl compression, Kluwer Acdemy publishers: Boston, 99. [GKL] R.M. Gry, J.C. Kieffer nd Y. Linde, Loclly optiml block quntizer design, Informtion nd Control, 45 (98), pp

15 Center of mss nd the optiml quntizers for some continuous nd discrete uniform distributions 5 [GL] A. György nd T. Linder, On the structure of optiml entropy-constrined sclr quntizers, IEEE trnsctions on informtion theory, vol. 48, no., Februry. [GL] S. Grf nd H. Luschgy, Foundtions of quntiztion for probbility distributions, Lecture Notes in Mthemtics 7, Springer, Berlin,. [GN] R. Gry nd D. Neuhoff, Quntiztion, IEEE Trns. Inform. Theory, 44 (998), pp [MKT] S. Mtsuur, H. Kurt nd T. Trpey, Optiml estimtors of principl points for minimizing expected men squred distnce, Journl of Sttisticl Plnning nd Inference, 67 (5), -. [R] M.K. Roychowdhury, Optiml quntizers for some bsolutely continuous probbility mesures, Rel Anlysis Exchnge, Vol. 4(), 7, pp [Z] R. Zm, Lttice Coding for Signls nd Networks: A Structured Coding Approch to Quntiztion, Modultion, nd Multiuser Informtion Theory, Cmbridge University Press, 4. School of Mthemticl nd Sttisticl Sciences, University of Texs Rio Grnde Vlley, West University Drive, Edinburg, TX , USA. E-mil ddress: mrinl.roychowdhury@utrgv.edu