PÓLYA URN MODELS UNDER GENERAL REPLACEMENT SCHEMES

Save this PDF as:

Size: px
Start display at page:

Transcription

1 J. Japan Statist. Soc. Vol. 31 No PÓLYA URN MODELS UNDER GENERAL REPLACEMENT SCHEMES Kiyoshi Inoue* and Sigeo Aki* In this paper, we consider a Pólya urn model containing balls of m different labels under a general replacement scheme, which is characterized by an m m addition matrix of integers without constraints on the values of these m 2 integers other than non-negativity. This urn model includes some important urn models treated before. By a method based on the probability generating functions, we consider the exact joint distribution of the numbers of balls with particular labels which are drawn within n draws. As a special case, for m = 2, the univariate distribution, the probability generating function and the expected value are derived exactly. We present methods for obtaining the probability generating functions and the expected values for all n exactly, which are very simple and suitable for computation by computer algebra systems. The results presented here develop a general workable framework for the study of Pólya urn models and attract our attention to the importance of the exact analysis. Our attempts are very useful for understanding non-classical urn models. Finally, numerical examples are also given in order to illustrate the feasibility of our results. Key words and phrases: Pólya urn, replacement scheme, addition matrix, probability generating functions, double generating functions, expected value. 1. Introduction Urn models have been among the most popular probabilistic schemes and have received considerable attention in the literature (see Johnson et al. (1997), Feller (1968)). The Pólya urn was originally applied to problems dealing with the spread of a contagious disease (see Johnson and Kotz (1977), Marshall and Olkin (1993)). We describe the Pólya urn scheme briefly. From an urn containing α 1 balls labeled 1 and α 2 balls labeled 2, a ball is drawn, its label is noted and the ball is returned to the urn along with additional balls depending on the label of the ball drawn; If a ball labeled i (i =1, 2)is drawn, a ij balls labeled j (j =1, 2) are added. This ( scheme is characterized by the following 2 2 addition matrix of integers, a11 a 21 a 12 a 22 ); whose rows are indexed by the label selected and whose columns are indexed by the label of the ball added. Several Pólya urn models have been studied by many authors in the various addition matrices, which generate many fruitful results. The case of the classical Pólya urn model (a 11 = a 22,a 12 = a 21 = 0)was studied earlier and a detailed discussion can be found in Johnson and Kotz (1977). In the case of a 11 = a 22, a 12 = a 21 = 0, Aki and Hirano (1988)obtained the Pólya distribution of order Received March 14, Revised April 27, Accepted May 8, *Department of Informatics and Mathematical Science, Graduate School of Engineering Science, Osaka University, 1-3 Machikaneyama-cho, Toyonaka, Osaka , Japan.

2 194 J. JAPAN STATIST. SOC. Vol.31 No k. In the case of a ii = c, a ij = 0 for i j (i, j = 0, 1,...,m), Inoue and Aki (2000)considered the waiting time problem for the first occurrence of a pattern in the sequence obtained by an (m +1) (m +1)Pólya urn scheme. In the case of a 11 = a 22, a 12 = a 21, Friedman (1949)obtained the moment generating function of the total number of balls with a particular label remaining in the urn after n draws; Friedman s urn can be used to model the growth of leaves in recursive trees (see also Mahmoud and Smythe (1991)). In the case of a 11 + a 12 = a 21 + a 22, Bagchi and Pal (1985)showed an interesting example of Pólya urn scheme applied to data structures in computer. (Gouet (1989, 1993) corrected some of the statements made by Bagchi and Pal (1985)). In a p p Pólya urn scheme (constant row sums allowing negative entries on the diagonal, but having several constraints on the eigenvalue structure), Smythe (1996)considered a central limit theorem. One interest has been focused on the exact distribution of the total numbers of balls with particular labels remaining in the urn after n draws, or the exact distribution of the numbers of balls with particular labels which are drawn within n draws from the urn. Their derivation involves a combinatorial method of counting paths representing a realization of the urn development. For a long time, most investigations have been made under the special structure of the constant addition matrix with constant row sums, which implies a steady linear growth of the urn size. The reason for the imposition of this constraint is mathematical convenience; Urn schemes where the constraint is imposed are generally much simpler to analyze than those where it was not imposed. Recently, Kotz et al. (2000)attempted to treat a Pólya urn model containing 2 different labels according to a general replacement scheme, and pointed out that no constraint case is considerably more challenging even in 2 2 case. That is, the exact distribution of the number of balls with a particular label which are drawn within n draws is rather convoluted and such an exact distribution is rather unwieldy for large n for numerical computation. Our purpose in the present paper is to develop a general workable framework for the exact distribution theory for Pólya urn models mentioned before and to emphasize the importance of the exact analysis. The approach is to solve a system of equations of conditional probability generating functions (p.g.f. s). Then, the probability functions and moments are derived from an expansion of the solution regardless of whether or not the constraint is imposed. In this paper, a Pólya urn model containing balls of m different labels and characterized by a general replacement scheme is considered, which include some important models treated before. We consider the exact joint distribution of the numbers of balls with particular labels which are drawn within n draws. As a special case, a univariate distribution is derived from a Pólya urn model containing balls of 2 different labels. For the derivation of the main part of the results, we use the method based on the conditional p.g.f. s. This method was introduced by Ebneshahrashoob and Sobel (1990), and was developed by Aki and Hirano (1993, 1999), Aki et al. (1996). The procedure is very simple and suitable for computation by computer

3 PÓLYA URN MODELS UNDER GENERAL REPLACEMENTSCHEMES 195 algebra systems. Furthermore, we propose two methods for the Pólya urn model. One is a recurrence for obtaining the expected values for all n, which is derived from the system of equations of conditional p.g.f. s. The other is a useful method for obtaining the p.g.f. s. Here, a double variable generating function and a notion of truncation parameter are introduced, where, for a sequence of p.g.f. s {φ n (t)} n 0, we define the double variable generating function by Φ(t,z)= n=0 φ n (t)z n. The p.g.f. s are derived from the system of equations of the double variable generating functions. The difference between the method of conditional p.g.f. s and the method based on the double variable generating function is that for a fixed n, the p.g.f. φ n (t)is obtained by the former method, whereas, for a fixed truncation parameter u 0, all the p.g.f. s up to u 0, φ 0 (t), φ 1 (t),...,φ u0 (t)are obtained by the latter method. The procedures of two methods presented here are also very simple and suitable for computation by computer algebra systems. The rest of this paper is organized in the following ways. In Section 2, a Pólya urn model containing balls of m different labels is introduced, which is characterized by the general replacement scheme. As a special case, a univariate distribution is derived from a Pólya urn model containing balls of 2 different labels. Section 3 gives two methods for the Pólya urn models. One is a recurrence for obtaining the expected values for all n. The other is a useful method for obtaining the p.g.f. s. Here, double variable generating function and a notion of truncation parameter are introduced, which play an important role. Both methods are also very simple and suitable for computation by computer algebra systems. In Section 4, numerical examples are given in order to illustrate the feasibility of our main results. 2. The models In this section, we consider a Pólya urn model characterized by an m m addition matrix. As a special case, for m = 2, the univariate distribution, the probability generating function and the expected value are derived exactly The Pólya urn model containing m different labels From an urn containing α 1 balls labeled 1, α 2 balls labeled 2,...,α m balls labeled m, a ball is chosen at random, its label is noted and the ball is returned to the urn along with additional balls according to the addition matrix of nonnegative integers, A =(a ij ) i, j =1,...,m, whose rows are indexed by the label of the ball chosen and whose columns are indexed by the label of the ball added. Always starting with the newly constituted urn, this experiment is continued n times. Let Z 1,Z 2,...,Z n be a sequence obtained by the above scheme, which take values in a finite set B = {1, 2,...,m}. Let r be a positive integer such that 1 r 2 m 1 and let B 1,B 2,...,B r be subsets of B, where B i and B i B j for i j. Then, we define the numbers of balls whose labels belong to the subsets B i (i =1,...,r)which are drawn within n draws by X n (i) = n j=1 I Bi (Z j ) (i =1,...,r), where I Bi ( ) (i =1,...,r)means the indicator function of the subset B i.

4 196 J. JAPAN STATIST. SOC. Vol.31 No In the sequel, we will obtain the p.g.f. E[t X n 1 t X n 2 t X(r) n r ] of the joint distribution of (X n,x n,...,x n (r) ). Hereafter, we denote the urn composition and the total of the balls in the urn by b = (α 1,α 2,...,α m )and b = α 1 + α α m, respectively. We denote the i-th row of the addition matrix A by a i =(a i1,a i2,...,a im ). Needless to say, α i 0(i =1,...,m)and b 0 are assumed throughout this paper. Suppose that we have an urn composition b =(α 1,α 2,...,α m )after l (l = 0, 1,...,n)draws. Then, we denote by φ n l (b; t)the p.g.f. of the conditional distribution of the numbers of balls whose labels belong to the subsets B i (i = 1,...,r)which are drawn within (n l)draws, where t =(t 1,...,t r ). Theorem 2.1. From the definitions of φ n l (b; t) (l =0, 1,...,n), we have the following system of the equations; (2.1) (2.2) (2.3) m α i φ n (b; t) = b t IB(i) φ n 1 (b + a i ; t), m α i φ n l (b; t) = b t IB(i) φ n l 1 (b + a i ; t), l =1, 2,...,n 1, φ 0 (b; t) =1, where, t IB(i) = t I B 1 (i) 1 t I B 2 (i) 2 t I Br r (i). Proof. It is easy to see that φ 0 (b; t)= 1 by the definition of the p.g.f.. Suppose that the urn composition is b =(α 1,α 2,...,α m )after l (l =0, 1,...,n 1)draws. Then, the p.g.f. of the conditional distribution of the numbers of balls whose labels belong to the subsets B j (j =0,...,r)which are drawn within (n l)draws is φ n l (b; t) (l =0, 1,...,n 1). We should consider the condition of one-step ahead from every condition. Given the condition we observe the (l + 1)-th draw. For every i =1,...,m, the probability that we draw the ball labeled i is α i / b. If we have the ball labeled i (i =1,...,m), then the p.g.f. of the conditional distribution of the numbers of balls whose labels belong to the subsets B j (j =0,...,r)which are drawn within (n l 1)draws is φ n l 1 (b + a i ; t) (l =0, 1,...,n 1). Therefore, we obtain the equations (2.1) and (2.2). Example 2.1. Assume that B = {1, 2, 3, 4}, B 1 = {2, 4}, B 2 = {3, 4}, t = (t 1,t 2 )and the addition matrix is equal to the 4 4 zero matrix. Suppose that we have an urn composition b =(α 1,α 2,α 3,α 4 )after l (l =0, 1,...,n)draws. Then, we denote by φ n l (b; t)the p.g.f. of the conditional distribution of the numbers of balls whose labels belong to the subsets B 1,B 2 which are drawn within (n l) draws. Then, we have the following system of the equations; (2.4) (2.5) ( α1 φ n l (b; t 1,t 2 )= b + α 2 b t 1 + α 3 b t 2 + α ) 4 b t 1t 2 φ n l 1 (b; t 1,t 2 ), l =0, 1,...,n 1, φ 0 (b; t 1,t 2 )=1.

5 PÓLYA URN MODELS UNDER GENERAL REPLACEMENTSCHEMES 197 Under an initial urn composition b 0 =(α 01,α 02,α 03,α 04 ), we get ( α01 φ n (b 0 ; t 1,t 2 )= b 0 + α 02 b 0 t 1 + α 03 b 0 t 2 + α ) n 04 (2.6) b 0 t 1t 2. In this example, if the labels 1, 2, 3, 4 are regarded as (0, 0), (1, 0), (0, 1), (1, 1), respectively, the equation (2.6) is the p.g.f. of joint distribution of the number of balls with the first label 1 and the number of balls with the second label 1 which are drawn within n draws. The distribution is called the bivariate binomial distribution (see Kocherlakota (1989), Marshall and Olkin (1985)) The Pólya urn model containing 2 different labels As a special case, for m = 2, we study the Pólya urn model containing 2 different labels. Assume that B = {1, 2}, B 1 = {2} and A =(a ij ) i, j =1, 2. Let Y n = n I B1 (Z i ). Suppose that we have an urn composition b =(α 1,α 2 ) after l (l =0, 1,...,n)draws. Then, we denote by ψ n l (b; t 1 )the p.g.f. of the conditional distribution of the number of balls labeled 2 which are drawn within (n l)draws. From Theorem 2.1, we have the following Corollary 2.1. Corollary 2.1. From the definitions of ψ n l (b; t 1 )(l =0, 1,...,n), we have the following system of the equations; (2.7) ψ n (b; t 1 )= α 1 b ψ n 1(b + a 1 ; t 1 )+ α 2 b t 1ψ n 1 (b + a 2 ; t 1 ), (2.8) ψ n l (b; t 1 )= α 1 b ψ n l 1(b + a 1 ; t 1 )+ α 2 b t 1ψ n l 1 (b + a 2 ; t 1 ), l =1, 2,...,n 1, (2.9) ψ 0 (b; t 1 )=1. We will solve the system of the equations (2.7), (2.8) and (2.9) under an initial urn composition b 0 =(α 01,α 02 ). First, we note that the above equation (2.7)can be written in matrix form as α 01 ψ n (b 0 ; t 1 )= ψ n 1 (b 0 + a 1 ; t 1 )+ t 1 ψ n 1 (b 0 + a 2 ; t 1 ), α 01 + α 02 α 01 + α 02 ( ) α 01 α ( ) 02 ψ n 1 (b 0 + a 1 ; t 1 ) = t 1, α 01 + α 02 α 01 + α 02 ψ n 1 (b 0 + a 2 ; t 1 ) = C 1 (t 1 )ψ n 1 (t 1 ), (say). Next, for l = 1, we write the equation (2.8)as α 01 + a 11 ψ n 1 (b 0 + a 1 ; t 1 )= ψ n 2 (b 0 +2a 1 ; t 1 ) α 01 + α 02 + a 11 + a 12 α 02 + a 12 + t 1 ψ n 2 (b 0 + a 1 + a 2 ; t 1 ), α 01 + α 02 + a 11 + a 12 α 01 + a 21 ψ n 1 (b 0 + a 2 ; t 1 )= ψ n 2 (b 0 + a 1 + a 2 ; t 1 ) α 01 + α 02 + a 21 + a 22 α 02 + a 22 + t 1 ψ n 2 (b 0 +2a 2 ; t 1 ), α 01 + α 02 + a 21 + a 22 α 02

6 198 J. JAPAN STATIST. SOC. Vol.31 No or, equivalently, ( ) ψn 1 (b 0 + a 1 ; t 1 ) ψ n 1 (b 0 + a 2 ; t 1 ) α 01 + a 11 α 02 + a 12 t 1 0 = α 01 + α 02 + a 11 + a 12 α 01 + α 02 + a 11 + a 12 α 01 + a 21 α 02 + a 22 0 t 1 α 01 + α 02 + a 21 + a 22 α 01 + α 02 + a 21 + a 22 ψ n 2 (b 0 +2a 1 ; t 1 ) ψ n 2 (b 0 + a 1 + a 2 ; t 1 ). ψ n 2 (b 0 +2a 2 ; t 1 ) We write ψ n 1 (t 1 )=C 2 (t 1 )ψ n 2 (t 1 ). For non-negative integers l 1, l 2 such that l 1 + l 2 = l, let ψ n l (b 0 + la 1 ; t 1 ) ψ n l (b 0 +(l 1)a 1 + a 2 ; t 1 ) ψ n l (b 0 +(l 2)a 1 +2a 2 ; t 1 ) ψ n l (t 1 )=.. ψ n l (b 0 + l 1 a 1 + l 2 a 2 ; t 1 ). ψ n l (b 0 + la 2 ; t 1 ) Then, the system of the equations (2.7), (2.8)and (2.9)can be written in matrix form as ψ n l+1 (t 1 )=C l (t 1 )ψ n l (t 1 )(l =1,...,n), and ψ 0 (t 1 )=1 (n+1) = (1, 1,...,1), where, 1 (n+1) denotes the (n +1) 1 column vector whose components are all unity and C l (t 1 )denotes the l (l + 1)matrix whose (i, j)-th component is given by, α 01 +(l i)a 11 +(i 1)a 21 α 01 + α 02 +(l i)(a 11 + a 12 )+(i 1)(a 21 + a 22 ), j = i, i =1,...,l, α c ij (l; t 1 )= 02 +(l i)a 12 +(i 1)a (2.10) 22 α 01 + α 02 +(l i)(a 11 + a 12 )+(i 1)(a 21 + a 22 ) t 1, j = i +1,,...,l, 0, otherwise. Proposition 2.1. The probability generating function ψ n (b 0 ; t 1 ), the exact distribution of Y n and its expected value are given by n ψ n (b 0 ; t 1 )=C 1 (t 1 )C 2 (t 1 ) C n (t 1 )1 (n+1) = C i (t 1 )1 (n+1),

7 PÓLYA URN MODELS UNDER GENERAL REPLACEMENTSCHEMES 199 P (Y n = y) = C 1 (0) Ċn 1 (0) Ċn y (0) C n (0)1 (n+1), 1 n 1 < <n y n n E[Y n ; b 0 ]= C 1 Ċi C n 1 (n+1), where, Ċ k (t 1 )= dc k(t 1 ) dt 1 = ( dcij (k; t 1 ) dt 1 ). In a similar way, under an initial urn composition b 0 =(α 01,α 02,...,α 0m ),we can solve the system of the equations in Theorem 2.1 by virtue of their linearity and obtain the p.g.f.. However, we do not write it due to lack of space. Remark 1. In this Pólya urn model, Kotz et al. (2000)derived the exact distribution of Y n by another approach, and derived the recurrence relation for the expected value. They also reported that the expected value can be derived from the recurrence relation in a case that the constraint is imposed, whereas the expected value can not be derived from it in a case that the constraint is not imposed. Then, we present a useful recurrence for the expected values, as will be shown later. 3. Methods for computation In this section, we present two methods for the exact analysis, which are very simple and suitable for computation by computer algebra systems. One is a recurrence for obtaining the expected values for all n. The other is a method for obtaining p.g.f. s The recurrences for the expected values Theorem 3.1. (The Pólya urn model containing m different labels) The expected values of X n (i) (i =0, 1,...,r), E[X n (i) ; b] say, satisfy the recurrences; (3.1) (3.2) E[X (i) n ; b] = m j=1 E[X (i) 0 ; b] =0, i =1,...,r. α j b (I B i (j)+e[x (i) n 1 ; b + a j ]), n 1, i =1,...,r, Proof. It is easy to check the equation (3.2). The equation (3.1) is obtained by differentiating both sides of the equation (2.1)with respect to t i (i =1,...,r)and then setting t 1 = = t r = 1. The proof is completed. As a special case, for m = 2, we consider the Pólya urn model containing 2 different labels treated in Section 2.2. Then, from Theorem 3.1, we have the following Corollary 3.1.

8 200 J. JAPAN STATIST. SOC. Vol.31 No Corollary 3.1. (The Pólya urn model containing 2 different labels) The expected value of Y n, E[Y n ; b] say, satisfies the recurrence; (3.3) (3.4) E[Y n ; b] = α 1 b E[Y n 1; b + a 1 ]+ α 2 b E[Y n 1; b + a 2 ]+ α 2 b, n 1, E[Y 0 ; b] = The double generating functions Until now, our results are derived from the p.g.f. directly. The most of this section will be devoted to the double variable generating functions. First, we will begin by considering the Pólya urn model containing 2 different labels treated in Section 2.2. We define Ψ(b) = ψ n (b; t 1 )z n. n=0 Then, the equations (2.7)and (2.9)in Corollary 2.1 lead to (3.5) Ψ(b) =1+ α 1 b zψ(b + a 1 )+ α 2 b zt 1Ψ(b + a 2 ). Given an initial urn composition b 0 =(α 01,α 02 ), we have (3.6) Ψ(b 0 )=1+ α 01 b 0 zψ(b 0 + a 1 )+ α 02 b 0 zt 1Ψ(b 0 + a 2 ). We will show that the truncated generating function of Ψ(b 0 ),sayˆψ(b 0 ), can be obtained in a polynomial form of z up to the arbitrary order by using the equation (3.5)for the right-hand side of the equation (3.6)recursively. The idea of truncation is also illustrated. From the equation (3.5), we have (3.7) (3.8) Ψ(b 0 + a 1 )=1+ α 01 + a 11 b 0 + a 1 zψ(b 0 +2a 1 )+ α 02 + a 12 b 0 + a 1 zt 1Ψ(b 0 + a 1 + a 2 ), Ψ(b 0 + a 2 )=1+ α 01 + a 21 b 0 + a 2 zψ(b 0 + a 1 + a 2 )+ α 02 + a 22 b 0 + a 2 zt 1Ψ(b 0 +2a 2 ). Substituting (3.7)and (3.8)into the right-hand side of (3.6), we have (3.9) Ψ(b 0 ) =1+ α ( 01 b 0 z 1+ α 01 + a 11 b 0 + a 1 zψ(b 0 +2a 1 )+ α 02 + a 12 + α 02 b 0 zt 1 ) b 0 + a 1 zt 1Ψ(b 0 + a 1 + a 2 ) ) ( 1+ α 01 + a 21 b 0 + a 2 zψ(b 0 + a 1 + a 2 )+ α 02 + a 22 b 0 + a 2 zt 1Ψ(b 0 +2a 2 ). Setting Ψ(b 0 +2a 1 )=Ψ(b 0 + a 1 + a 2 )=Ψ(b 0 +2a 2 )= 0 in the right-hand side of (3.9)(if we need ˆΨ(b 0 )up to the first order), we obtain α01 ˆΨ(b 0 )=1+( b 0 + α ) 02 b 0 t 1 z.

9 PÓLYA URN MODELS UNDER GENERAL REPLACEMENTSCHEMES 201 Thus, the above substitution enables us to obtain ˆΨ(b 0 )up to the first order. Hence, ψ 0 (b 0 ; t 1 )and ψ 1 (b 0 ; t 1 )are obtained. If we need ˆΨ(b 0 )up to the second order, we should use the equation (3.5)again. Similarly, by substituting the equation (3.5)into the terms Ψ(b 0 +2a 1 ), Ψ(b 0 +a 1 +a 2 ), Ψ(b 0 +2a 2 )in the righthand side of (3.9), respectively, and then setting Ψ(b 0 +3a 1 )=Ψ(b 0 +2a 1 +a 2 )= Ψ(b 0 + a 1 +2a 2 )=Ψ(b 0 +3a 2 )= 0, we have ˆΨ(b 0 )up to the second order. Therefore, ψ 0 (b 0 ; t 1 ), ψ 1 (b 0 ; t 1 )and ψ 2 (b 0 ; t 1 )are obtained. Since we can repeat the above substitution a sufficient number of times, we can obtain the truncated generating function ˆΨ(b 0 )up to the arbitrary order and obtain all the p.g.f. s ψ n (b 0 ; t 1 )(n =0, 1,...). A parameter of a non-negative integer u is introduced into the generating function Ψ(b), denoted by Ψ(b; u). From the equations (3.5) and (3.6), we have (3.10) (3.11) Ψ(b 0 ;0)=1+ α 01 b 0 zψ(b 0 + a 1 ;1)+ α 02 b 0 zt 1Ψ(b 0 + a 2 ;1), Ψ(b; u) =1+ α 1 b zψ(b + a 1 ; u +1)+ α 2 b zt 1Ψ(b + a 2 ; u +1). By using the equation (3.11)for the right-hand side of the equation (3.10)recursively, we can obtain the truncated generating function of Ψ(b 0 ;0), say ˆΨ(b 0 ;0), in a polynomial form up to the arbitrary order. For the truncation parameter of a non-negative integer u 0, the following Proposition 3.1 gives the method for obtaining the p.g.f. s ψ i (b 0 ; t 1 )(i =0,...,u 0 ). Proposition 3.1. (The Pólya urn model containing 2 different labels) For any non-negative integer u 0, the following system of the equations leads to the truncated generating function of Ψ(b 0 ;0), ˆΨ(b 0 ;0) say, which is in a polynomial form of z up to the u 0 -th order, so that ψ i (b 0 ; t 1 )(i =0,...,u 0 ) are obtained. (3.12) (3.13) (3.14) ˆΨ(b 0 ;0)=1+ α 01 b 0 z ˆΨ(b 0 + a 1 ;1)+ α 02 b 0 zt 1 ˆΨ(b 0 + a 2 ;1), ˆΨ(b; u) =1+ α 1 b z ˆΨ(b + a 1 ; u +1)+ α 2 b zt 1 ˆΨ(b + a 2 ; u +1), for 0 u u 0, ˆΨ(b; u) =0, for u>u 0. Proof. We continue to substitute the equation (3.11)into the right-hand side of the equation (3.10)until all the parameters in the generating functions in the right-hand side of the equation (3.10)are equal to u Then, Ψ(b 0 ;0) takes the following form; (3.15) Ψ(b 0 ;0)= u 0 +1 v=0 g v (t 1 )z u 0+1 Ψ(b 0 + va 1 +(u 0 +1 v)a 2 ; u 0 +1)+f u0 (z), where, g v (t 1 )is a polynomial of t 1, and f u0 (z)is a polynomial of z up to the u 0 -th order. Setting Ψ(b 0 + va 1 +(u 0 +1 v)a 2 ; u 0 + 1)= 0 for all v such that

10 202 J. JAPAN STATIST. SOC. Vol.31 No v u in the right-hand side of (3.15), we can obtain the truncated generating function ˆΨ(b 0 ; 0)in a polynomial form up to the u 0 -th order. Notice that the order of the vanished terms is greater than u 0. The proof is completed. It is easy to extend this result to the general case. Similarly, the parameter of the non-negative integer u is introduced into the generating function Φ(b),say Φ(b; u), where, Φ(b) =Φ(b; u) = n=0 φ n (b; t)z n. From the following equations, (3.16) (3.17) Φ(b 0 ;0)=1+z Φ(b; u) =1+z m m α 0i b 0 t I B(i) Φ(b 0 + a i ;1), α i b t I B(i) Φ(b + a i ; u +1), we can obtain the truncated generating function of Φ(b 0 ;0), say ˆΦ(b 0 ;0). Theorem 3.2. (The Pólya urn model containing m different labels) For any non-negative integer u 0, the following system of the equations leads to the truncated generating function of Φ(b 0 ;0), ˆΦ(b 0 ;0)say, which is in a polynomial form of z up to the u 0 -th order, so that φ i (b 0 ; t) (i =0,...,u 0 ) are obtained. (3.18) (3.19) (3.20) ˆΦ(b 0 ;0)=1+z ˆΦ(b; u) =1+z m m α 0i b 0 t I B(i) ˆΦ(b0 + a i ;1), α i b t I B(i) ˆΦ(b + ai ; u +1), for 0 u u 0, ˆΦ(b; u) =0, for u>u 0, where, t I B(i) = t I B 1 (i) 1 t I B 2 (i) 2 t I Br (i) r. 4. Numerical examples In this section, we illustrate how to obtain the distributions and the expected values by using computer algebra systems. Example 4.1. The Pólya urn model containing 4 different labels Assume that b 0 =(1, 2, 1, 2), B = {1, 2, 3, 4}, B 1 = {2, 4}, B 2 = {3, 4} and 1011 A = Let X(i) n = n j=1 I Bi (Z j )(i =1, 2). For n = 3, the p.g.f. is φ 3 (b 0 ; t 1,t 2 )= t t t t 1t t t t 1 2 t t 1t t t 1 3 t t 1 2 t t 1t t 1 3 t t 1 2 t t 1 3 t 2 3.

11 PO LYA URN MODELS UNDER GENERAL REPLACEMENT SCHEMES 203 Figure 1. The exact joint probability function of (X10, X10 ) in the Example 4.1, given b0 = (1, 2, 1, 2) and the addition matrix A. Table 1. The exact joint probability function of (, ), given b0 = (1, 2, 1, 2). =0 =1 =2 =3 = = = = For n = 10, we give Fig. 1, which is the three-dimensional plot of the exact joint probability function of (X10, X10 ), given b0 = (1, 2, 1, 2) and the addition matrix A. Marshall and Olkin (1990) discussed this model in case that the addition matrix is the identity matrix. So far as we know, it was ﬁrst proposed by Kaiser and Stefansky (1972). Example 4.2. The Po lya urn model containing 2 diﬀerent labels Assume that b0 = (2, 3), B = {1, 2}, B1 = {2} and A = Let Yn = n j=1 IB1 (Zj ). For n = 10, the p.g.f. and the expected value are, respectively, ψ10 (bb0 ; t1 ) = t t t1, E[Y10 ; b0 ] = ψ 10 (bb0 ; 1) = = We give Fig. 2, which is the two-dimensional plot of the exact expected values of

12 204 J. JAPAN STATIST. SOC. Vol.31 No Figure 2. The exact expected values of Y n, given three initial urn compositions b 0 =(1, 1), (2, 3), (5, 1) and the addition matrix A in Example 4.2. Value I, II, III are, respectively, the values given initial urn compositions b 0 =(1, 1), (2, 3), (5, 1). Y n, given three initial urn compositions b 0 =(1, 1), (2, 3), (5, 1)and the addition matrix A. Remark 2. In this example, Kotz et al. (2000)suggested that the fixed values of the initial condition will be asymptotically negligible with regard to Y n for large n and E[Y n ] n/ ln n, asn. By calculating the exact expected values of Y n given three initial conditions, we observe that their values depend on the initial conditions when n is small. However, when n comes to 250, it seems that the exact expected values of Y n still heavily depend on their initial conditions. Therefore, we think that the exact analysis is important. Acknowledgements We wish to thank the editor and the referees for careful reading of our paper and helpful suggestions which led to improved results. References Aki, S., Balakrishnan, N. and Mohanty, S. G. (1996). Sooner and later waiting time problems and failure runs in higher order Markov dependent trials, Ann. Inst. Statist. Math., 48, Aki, S. and Hirano, K. (1988). Some characteristics of the binomial distribution of order k and related distributions, in Statistical Theory and Data Analysis II, Proceedings of the Second Pacific Area Statistical Conference (Eds. K. Matusita), , Amsterdam: North- Holland. Aki, S. and Hirano, K. (1993). Discrete distributions related to succession events in a two-state Markov chain, Statistical Sciences and Data Analysis; Proceedings of the Third Pacific Area Statistical Conference (eds. K. Matusita, M. L. Puri and T. Hayakawa), , VSP International Science Publishers, Zeist.

13 PÓLYA URN MODELS UNDER GENERAL REPLACEMENTSCHEMES 205 Aki, S. and Hirano, K. (1999). Sooner and later waiting time problems for runs in Markov dependent bivariate trials, Ann. Inst. Statist. Math., 51, Bagchi, A. and Pal, A. (1985). Asymptotic normality in the generalized Pólya-Eggenberger urn model with application to computer data structures, SIAM J. Algebraic Discrete Methods, 6, Ebneshahrashoob, M. and Sobel, M. (1990). Sooner and later waiting time problems for Bernoulli trials: frequency and run quotas, Statist. Probab. Lett., 9, Feller, W. (1968). An Introduction to Probability Theory and Its Applications, Vol. I, 3rd ed., Wiley, New York. Friedman, B. (1949). A simple urn model, Comm. Pure Appl. Math., 2, Gouet, R. (1989). A martingale approach to strong convergence in a generalized Pólya Eggenberger urn model, Statist. Probab. Lett., 8, Gouet, R. (1993). Martingale functional central limit theorems for a generalized Pólya urn, Ann. Probab., 21, Inoue, K. and Aki, S. (2000). Generalized waiting time problems associated with patterns in Pólya s urn scheme, Research Report on Statistics, 50, Osaka University. Johnson, N. L. and Kotz, S. (1977). Urn Models and Their Applications, Wiley, New York. Johnson, N. L., Kotz, S. and Balakrishnan, N. (1997). Discrete Multivariate Distributions, Wiley, New York. Kaiser, H. F. and Stefansky, W. (1972). A Pólya distribution for teaching, Amer. Statist., 26, Kocherlakota, S. (1989). A note on the bivariate binomial distribution, Statist. Probab. Lett., 8, Kotz, S., Mahmoud, H. and Robert, P. (2000). On generalized Pólya urn models, Statist. Probab. Lett., 49, Mahmoud, H. and Smythe, R. T. (1991). On the distribution of leaves in rooted subtrees of recursive trees, Ann. Appl. Probab., 1, Marshall, A. W. and Olkin, I. (1985). A family of bivariate distributions generated by the bivariate Bernoulli distribution, J. Amer. Statist. Assoc., 80, Marshall, A. W. and Olkin, I. (1990). Bivariate distributions generated from Pólya-Eggenberger urn models, J. Multivariate Anal., 35, Marshall, A. W. and Olkin, I. (1993). Bivariate life distributions from Pólya s urn model for contagion, J. Appl. Prob., 30, Smythe, R. (1996). Central limit theorems for urn models, Stochastic Process. Appl., 65,

Markov Chains, Stochastic Processes, and Advanced Matrix Decomposition

Markov Chains, Stochastic Processes, and Advanced Matrix Decomposition Jack Gilbert Copyright (c) 2014 Jack Gilbert. Permission is granted to copy, distribute and/or modify this document under the terms

SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,

MATH 304 Linear Algebra Lecture 8: Inverse matrix (continued). Elementary matrices. Transpose of a matrix.

MATH 304 Linear Algebra Lecture 8: Inverse matrix (continued). Elementary matrices. Transpose of a matrix. Inverse matrix Definition. Let A be an n n matrix. The inverse of A is an n n matrix, denoted

Similarity and Diagonalization. Similar Matrices

MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that

1 Limiting distribution for a Markov chain

Copyright c 2009 by Karl Sigman Limiting distribution for a Markov chain In these Lecture Notes, we shall study the limiting behavior of Markov chains as time n In particular, under suitable easy-to-check

UNIT 2 MATRICES - I 2.0 INTRODUCTION. Structure

UNIT 2 MATRICES - I Matrices - I Structure 2.0 Introduction 2.1 Objectives 2.2 Matrices 2.3 Operation on Matrices 2.4 Invertible Matrices 2.5 Systems of Linear Equations 2.6 Answers to Check Your Progress

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

Catalan Numbers. Thomas A. Dowling, Department of Mathematics, Ohio State Uni- versity.

7 Catalan Numbers Thomas A. Dowling, Department of Mathematics, Ohio State Uni- Author: versity. Prerequisites: The prerequisites for this chapter are recursive definitions, basic counting principles,

LOOKING FOR A GOOD TIME TO BET

LOOKING FOR A GOOD TIME TO BET LAURENT SERLET Abstract. Suppose that the cards of a well shuffled deck of cards are turned up one after another. At any time-but once only- you may bet that the next card

The Characteristic Polynomial

Physics 116A Winter 2011 The Characteristic Polynomial 1 Coefficients of the characteristic polynomial Consider the eigenvalue problem for an n n matrix A, A v = λ v, v 0 (1) The solution to this problem

Chapter 4 Lecture Notes

Chapter 4 Lecture Notes Random Variables October 27, 2015 1 Section 4.1 Random Variables A random variable is typically a real-valued function defined on the sample space of some experiment. For instance,

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS

Bull Austral Math Soc 77 (2008), 31 36 doi: 101017/S0004972708000038 COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V EROVENKO and B SURY (Received 12 April 2007) Abstract We compute

Sign pattern matrices that admit M, N, P or inverse M matrices

Sign pattern matrices that admit M, N, P or inverse M matrices C Mendes Araújo, Juan R Torregrosa CMAT - Centro de Matemática / Dpto de Matemática Aplicada Universidade do Minho / Universidad Politécnica

Conditional Tail Expectations for Multivariate Phase Type Distributions

Conditional Tail Expectations for Multivariate Phase Type Distributions Jun Cai Department of Statistics and Actuarial Science University of Waterloo Waterloo, ON N2L 3G1, Canada jcai@math.uwaterloo.ca

Analysis of a Production/Inventory System with Multiple Retailers

Analysis of a Production/Inventory System with Multiple Retailers Ann M. Noblesse 1, Robert N. Boute 1,2, Marc R. Lambrecht 1, Benny Van Houdt 3 1 Research Center for Operations Management, University

MATH 2030: SYSTEMS OF LINEAR EQUATIONS. ax + by + cz = d. )z = e. while these equations are not linear: xy z = 2, x x = 0,

MATH 23: SYSTEMS OF LINEAR EQUATIONS Systems of Linear Equations In the plane R 2 the general form of the equation of a line is ax + by = c and that the general equation of a plane in R 3 will be we call

1 Determinants. Definition 1

Determinants The determinant of a square matrix is a value in R assigned to the matrix, it characterizes matrices which are invertible (det 0) and is related to the volume of a parallelpiped described

MATH 423 Linear Algebra II Lecture 38: Generalized eigenvectors. Jordan canonical form (continued).

MATH 423 Linear Algebra II Lecture 38: Generalized eigenvectors Jordan canonical form (continued) Jordan canonical form A Jordan block is a square matrix of the form λ 1 0 0 0 0 λ 1 0 0 0 0 λ 0 0 J = 0

Corollary. (f є C n+1 [a,b]). Proof: This follows directly from the preceding theorem using the inequality

Corollary For equidistant knots, i.e., u i = a + i (b-a)/n, we obtain with (f є C n+1 [a,b]). Proof: This follows directly from the preceding theorem using the inequality 120202: ESM4A - Numerical Methods

JUST THE MATHS UNIT NUMBER 1.8. ALGEBRA 8 (Polynomials) A.J.Hobson

JUST THE MATHS UNIT NUMBER 1.8 ALGEBRA 8 (Polynomials) by A.J.Hobson 1.8.1 The factor theorem 1.8.2 Application to quadratic and cubic expressions 1.8.3 Cubic equations 1.8.4 Long division of polynomials

1 Sets and Set Notation.

LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

Notes on Determinant

ENGG2012B Advanced Engineering Mathematics Notes on Determinant Lecturer: Kenneth Shum Lecture 9-18/02/2013 The determinant of a system of linear equations determines whether the solution is unique, without

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V. EROVENKO AND B. SURY ABSTRACT. We compute commutativity degrees of wreath products A B of finite abelian groups A and B. When B

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given

Chapter 6. Orthogonality

6.3 Orthogonal Matrices 1 Chapter 6. Orthogonality 6.3 Orthogonal Matrices Definition 6.4. An n n matrix A is orthogonal if A T A = I. Note. We will see that the columns of an orthogonal matrix must be

Stationary random graphs on Z with prescribed iid degrees and finite mean connections

Stationary random graphs on Z with prescribed iid degrees and finite mean connections Maria Deijfen Johan Jonasson February 2006 Abstract Let F be a probability distribution with support on the non-negative

Longest runs in coin tossing. Comparison of recursive formulae, asymptotic theorems, computer simulations

Acta Univ. Sapientiae, Mathematica, 2, 2 (21) 215 228 Longest runs in coin tossing. Comparison of formulae, theorems, computer s István Fazekas Department of Applied Mathematics and Probability, University

ON THE COEFFICIENTS OF THE LINKING POLYNOMIAL

ADSS, Volume 3, Number 3, 2013, Pages 45-56 2013 Aditi International ON THE COEFFICIENTS OF THE LINKING POLYNOMIAL KOKO KALAMBAY KAYIBI Abstract Let i j T( M; = tijx y be the Tutte polynomial of the matroid

Cofactor Expansion: Cramer s Rule

Cofactor Expansion: Cramer s Rule MATH 322, Linear Algebra I J. Robert Buchanan Department of Mathematics Spring 2015 Introduction Today we will focus on developing: an efficient method for calculating

RECURSIVE TREES. Michael Drmota. Institue of Discrete Mathematics and Geometry Vienna University of Technology, A 1040 Wien, Austria

RECURSIVE TREES Michael Drmota Institue of Discrete Mathematics and Geometry Vienna University of Technology, A 040 Wien, Austria michael.drmota@tuwien.ac.at www.dmg.tuwien.ac.at/drmota/ 2008 Enrage Topical

Determinants. Dr. Doreen De Leon Math 152, Fall 2015

Determinants Dr. Doreen De Leon Math 52, Fall 205 Determinant of a Matrix Elementary Matrices We will first discuss matrices that can be used to produce an elementary row operation on a given matrix A.

MATHEMATICAL METHODS OF STATISTICS

MATHEMATICAL METHODS OF STATISTICS By HARALD CRAMER TROFESSOK IN THE UNIVERSITY OF STOCKHOLM Princeton PRINCETON UNIVERSITY PRESS 1946 TABLE OF CONTENTS. First Part. MATHEMATICAL INTRODUCTION. CHAPTERS

THE DYING FIBONACCI TREE. 1. Introduction. Consider a tree with two types of nodes, say A and B, and the following properties:

THE DYING FIBONACCI TREE BERNHARD GITTENBERGER 1. Introduction Consider a tree with two types of nodes, say A and B, and the following properties: 1. Let the root be of type A.. Each node of type A produces

Probability and Statistics

CHAPTER 2: RANDOM VARIABLES AND ASSOCIATED FUNCTIONS 2b - 0 Probability and Statistics Kristel Van Steen, PhD 2 Montefiore Institute - Systems and Modeling GIGA - Bioinformatics ULg kristel.vansteen@ulg.ac.be

Mathematics of Cryptography

CHAPTER 2 Mathematics of Cryptography Part I: Modular Arithmetic, Congruence, and Matrices Objectives This chapter is intended to prepare the reader for the next few chapters in cryptography. The chapter

ECEN 5682 Theory and Practice of Error Control Codes

ECEN 5682 Theory and Practice of Error Control Codes Convolutional Codes University of Colorado Spring 2007 Linear (n, k) block codes take k data symbols at a time and encode them into n code symbols.

5. Convergence of sequences of random variables

5. Convergence of sequences of random variables Throughout this chapter we assume that {X, X 2,...} is a sequence of r.v. and X is a r.v., and all of them are defined on the same probability space (Ω,

Spectral Measure of Large Random Toeplitz Matrices

Spectral Measure of Large Random Toeplitz Matrices Yongwhan Lim June 5, 2012 Definition (Toepliz Matrix) The symmetric Toeplitz matrix is defined to be [X i j ] where 1 i, j n; that is, X 0 X 1 X 2 X n

FEGYVERNEKI SÁNDOR, PROBABILITY THEORY AND MATHEmATICAL

FEGYVERNEKI SÁNDOR, PROBABILITY THEORY AND MATHEmATICAL STATIsTICs 4 IV. RANDOm VECTORs 1. JOINTLY DIsTRIBUTED RANDOm VARIABLEs If are two rom variables defined on the same sample space we define the joint

4. MATRICES Matrices

4. MATRICES 170 4. Matrices 4.1. Definitions. Definition 4.1.1. A matrix is a rectangular array of numbers. A matrix with m rows and n columns is said to have dimension m n and may be represented as follows:

The Dirichlet Unit Theorem

Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

CONVERGENCE OF SEQUENCES OF ITERATES OF RANDOM-VALUED VECTOR FUNCTIONS

C O L L O Q U I U M M A T H E M A T I C U M VOL. 97 2003 NO. 1 CONVERGENCE OF SEQUENCES OF ITERATES OF RANDOM-VALUED VECTOR FUNCTIONS BY RAFAŁ KAPICA (Katowice) Abstract. Given a probability space (Ω,

4.5 Linear Dependence and Linear Independence

4.5 Linear Dependence and Linear Independence 267 32. {v 1, v 2 }, where v 1, v 2 are collinear vectors in R 3. 33. Prove that if S and S are subsets of a vector space V such that S is a subset of S, then

DATA ANALYSIS II. Matrix Algorithms

DATA ANALYSIS II Matrix Algorithms Similarity Matrix Given a dataset D = {x i }, i=1,..,n consisting of n points in R d, let A denote the n n symmetric similarity matrix between the points, given as where

Recall that two vectors in are perpendicular or orthogonal provided that their dot

Orthogonal Complements and Projections Recall that two vectors in are perpendicular or orthogonal provided that their dot product vanishes That is, if and only if Example 1 The vectors in are orthogonal

SPECTRAL POLYNOMIAL ALGORITHMS FOR COMPUTING BI-DIAGONAL REPRESENTATIONS FOR PHASE TYPE DISTRIBUTIONS AND MATRIX-EXPONENTIAL DISTRIBUTIONS

Stochastic Models, 22:289 317, 2006 Copyright Taylor & Francis Group, LLC ISSN: 1532-6349 print/1532-4214 online DOI: 10.1080/15326340600649045 SPECTRAL POLYNOMIAL ALGORITHMS FOR COMPUTING BI-DIAGONAL

Math 115A HW4 Solutions University of California, Los Angeles. 5 2i 6 + 4i. (5 2i)7i (6 + 4i)( 3 + i) = 35i + 14 ( 22 6i) = 36 + 41i.

Math 5A HW4 Solutions September 5, 202 University of California, Los Angeles Problem 4..3b Calculate the determinant, 5 2i 6 + 4i 3 + i 7i Solution: The textbook s instructions give us, (5 2i)7i (6 + 4i)(

ON SOME ANALOGUE OF THE GENERALIZED ALLOCATION SCHEME

ON SOME ANALOGUE OF THE GENERALIZED ALLOCATION SCHEME Alexey Chuprunov Kazan State University, Russia István Fazekas University of Debrecen, Hungary 2012 Kolchin s generalized allocation scheme A law of

Integer Factorization using the Quadratic Sieve

Integer Factorization using the Quadratic Sieve Chad Seibert* Division of Science and Mathematics University of Minnesota, Morris Morris, MN 56567 seib0060@morris.umn.edu March 16, 2011 Abstract We give

Chapter 4 Expected Values

Chapter 4 Expected Values 4. The Expected Value of a Random Variables Definition. Let X be a random variable having a pdf f(x). Also, suppose the the following conditions are satisfied: x f(x) converges

Lecture 6: The Group Inverse

Lecture 6: The Group Inverse The matrix index Let A C n n, k positive integer. Then R(A k+1 ) R(A k ). The index of A, denoted IndA, is the smallest integer k such that R(A k ) = R(A k+1 ), or equivalently,

Introduction to Flocking {Stochastic Matrices}

Supelec EECI Graduate School in Control Introduction to Flocking {Stochastic Matrices} A. S. Morse Yale University Gif sur - Yvette May 21, 2012 CRAIG REYNOLDS - 1987 BOIDS The Lion King CRAIG REYNOLDS

Chapter 8. Matrices II: inverses. 8.1 What is an inverse?

Chapter 8 Matrices II: inverses We have learnt how to add subtract and multiply matrices but we have not defined division. The reason is that in general it cannot always be defined. In this chapter, we

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

7 Communication Classes

this version: 26 February 2009 7 Communication Classes Perhaps surprisingly, we can learn much about the long-run behavior of a Markov chain merely from the zero pattern of its transition matrix. In the

RAMANUJAN S HARMONIC NUMBER EXPANSION INTO NEGATIVE POWERS OF A TRIANGULAR NUMBER

Volume 9 (008), Issue 3, Article 89, pp. RAMANUJAN S HARMONIC NUMBER EXPANSION INTO NEGATIVE POWERS OF A TRIANGULAR NUMBER MARK B. VILLARINO DEPTO. DE MATEMÁTICA, UNIVERSIDAD DE COSTA RICA, 060 SAN JOSÉ,

Probability Generating Functions

page 39 Chapter 3 Probability Generating Functions 3 Preamble: Generating Functions Generating functions are widely used in mathematics, and play an important role in probability theory Consider a sequence

Permanents, Order Statistics, Outliers, and Robustness

Permanents, Order Statistics, Outliers, and Robustness N. BALAKRISHNAN Department of Mathematics and Statistics McMaster University Hamilton, Ontario, Canada L8S 4K bala@mcmaster.ca Received: November

1. LINEAR EQUATIONS. A linear equation in n unknowns x 1, x 2,, x n is an equation of the form

1. LINEAR EQUATIONS A linear equation in n unknowns x 1, x 2,, x n is an equation of the form a 1 x 1 + a 2 x 2 + + a n x n = b, where a 1, a 2,..., a n, b are given real numbers. For example, with x and

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following

F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)

Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p

α = u v. In other words, Orthogonal Projection

Orthogonal Projection Given any nonzero vector v, it is possible to decompose an arbitrary vector u into a component that points in the direction of v and one that points in a direction orthogonal to v

UNCOUPLING THE PERRON EIGENVECTOR PROBLEM

UNCOUPLING THE PERRON EIGENVECTOR PROBLEM Carl D Meyer INTRODUCTION Foranonnegative irreducible matrix m m with spectral radius ρ,afundamental problem concerns the determination of the unique normalized

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory

princeton univ. F 13 cos 521: Advanced Algorithm Design Lecture 6: Provable Approximation via Linear Programming Lecturer: Sanjeev Arora

princeton univ. F 13 cos 521: Advanced Algorithm Design Lecture 6: Provable Approximation via Linear Programming Lecturer: Sanjeev Arora Scribe: One of the running themes in this course is the notion of

Chapter 3. Distribution Problems. 3.1 The idea of a distribution. 3.1.1 The twenty-fold way

Chapter 3 Distribution Problems 3.1 The idea of a distribution Many of the problems we solved in Chapter 1 may be thought of as problems of distributing objects (such as pieces of fruit or ping-pong balls)

Degree Hypergroupoids Associated with Hypergraphs

Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated

SECRET sharing schemes were introduced by Blakley [5]

206 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 1, JANUARY 2006 Secret Sharing Schemes From Three Classes of Linear Codes Jin Yuan Cunsheng Ding, Senior Member, IEEE Abstract Secret sharing has

15 Markov Chains: Limiting Probabilities

MARKOV CHAINS: LIMITING PROBABILITIES 67 Markov Chains: Limiting Probabilities Example Assume that the transition matrix is given by 7 2 P = 6 Recall that the n-step transition probabilities are given

THE CENTRAL LIMIT THEOREM TORONTO

THE CENTRAL LIMIT THEOREM DANIEL RÜDT UNIVERSITY OF TORONTO MARCH, 2010 Contents 1 Introduction 1 2 Mathematical Background 3 3 The Central Limit Theorem 4 4 Examples 4 4.1 Roulette......................................

A simple criterion on degree sequences of graphs

Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree

Chapter 2 Limits Functions and Sequences sequence sequence Example

Chapter Limits In the net few chapters we shall investigate several concepts from calculus, all of which are based on the notion of a limit. In the normal sequence of mathematics courses that students

1. (First passage/hitting times/gambler s ruin problem:) Suppose that X has a discrete state space and let i be a fixed state. Let

Copyright c 2009 by Karl Sigman 1 Stopping Times 1.1 Stopping Times: Definition Given a stochastic process X = {X n : n 0}, a random time τ is a discrete random variable on the same probability space as

A Tutorial on Probability Theory

Paola Sebastiani Department of Mathematics and Statistics University of Massachusetts at Amherst Corresponding Author: Paola Sebastiani. Department of Mathematics and Statistics, University of Massachusetts,

3. Examples of discrete probability spaces.. Here α ( j)

3. EXAMPLES OF DISCRETE PROBABILITY SPACES 13 3. Examples of discrete probability spaces Example 17. Toss n coins. We saw this before, but assumed that the coins are fair. Now we do not. The sample space

AN ALGORITHM FOR DETERMINING WHETHER A GIVEN BINARY MATROID IS GRAPHIC

AN ALGORITHM FOR DETERMINING WHETHER A GIVEN BINARY MATROID IS GRAPHIC W. T. TUTTE. Introduction. In a recent series of papers [l-4] on graphs and matroids I used definitions equivalent to the following.

THIS paper deals with a situation where a communication

IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 44, NO. 3, MAY 1998 973 The Compound Channel Capacity of a Class of Finite-State Channels Amos Lapidoth, Member, IEEE, İ. Emre Telatar, Member, IEEE Abstract

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column

Senior Secondary Australian Curriculum

Senior Secondary Australian Curriculum Mathematical Methods Glossary Unit 1 Functions and graphs Asymptote A line is an asymptote to a curve if the distance between the line and the curve approaches zero

A CHARACTERIZATION OF TREE TYPE

A CHARACTERIZATION OF TREE TYPE LON H MITCHELL Abstract Let L(G) be the Laplacian matrix of a simple graph G The characteristic valuation associated with the algebraic connectivity a(g) is used in classifying

9.2 Summation Notation

9. Summation Notation 66 9. Summation Notation In the previous section, we introduced sequences and now we shall present notation and theorems concerning the sum of terms of a sequence. We begin with a

Poisson Models for Count Data

Chapter 4 Poisson Models for Count Data In this chapter we study log-linear models for count data under the assumption of a Poisson error structure. These models have many applications, not only to the

Breaking The Code. Ryan Lowe. Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and

Breaking The Code Ryan Lowe Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and a minor in Applied Physics. As a sophomore, he took an independent study

MT426 Notebook 3 Fall 2012 prepared by Professor Jenny Baglivo. 3 MT426 Notebook 3 3. 3.1 Definitions... 3. 3.2 Joint Discrete Distributions...

MT426 Notebook 3 Fall 2012 prepared by Professor Jenny Baglivo c Copyright 2004-2012 by Jenny A. Baglivo. All Rights Reserved. Contents 3 MT426 Notebook 3 3 3.1 Definitions............................................

ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION. E. I. Pancheva, A. Gacovska-Barandovska

Pliska Stud. Math. Bulgar. 22 (2015), STUDIA MATHEMATICA BULGARICA ON LIMIT LAWS FOR CENTRAL ORDER STATISTICS UNDER POWER NORMALIZATION E. I. Pancheva, A. Gacovska-Barandovska Smirnov (1949) derived four

Discrete Mathematics: Homework 7 solution. Due: 2011.6.03

EE 2060 Discrete Mathematics spring 2011 Discrete Mathematics: Homework 7 solution Due: 2011.6.03 1. Let a n = 2 n + 5 3 n for n = 0, 1, 2,... (a) (2%) Find a 0, a 1, a 2, a 3 and a 4. (b) (2%) Show that

Bipan Hazarika ON ACCELERATION CONVERGENCE OF MULTIPLE SEQUENCES. 1. Introduction

F A S C I C U L I M A T H E M A T I C I Nr 51 2013 Bipan Hazarika ON ACCELERATION CONVERGENCE OF MULTIPLE SEQUENCES Abstract. In this article the notion of acceleration convergence of double sequences

Continuity of the Perron Root

Linear and Multilinear Algebra http://dx.doi.org/10.1080/03081087.2014.934233 ArXiv: 1407.7564 (http://arxiv.org/abs/1407.7564) Continuity of the Perron Root Carl D. Meyer Department of Mathematics, North

About the inverse football pool problem for 9 games 1

Seventh International Workshop on Optimal Codes and Related Topics September 6-1, 013, Albena, Bulgaria pp. 15-133 About the inverse football pool problem for 9 games 1 Emil Kolev Tsonka Baicheva Institute

MATH 304 Linear Algebra Lecture 4: Matrix multiplication. Diagonal matrices. Inverse matrix.

MATH 304 Linear Algebra Lecture 4: Matrix multiplication. Diagonal matrices. Inverse matrix. Matrices Definition. An m-by-n matrix is a rectangular array of numbers that has m rows and n columns: a 11

SUMMING CURIOUS, SLOWLY CONVERGENT, HARMONIC SUBSERIES

SUMMING CURIOUS, SLOWLY CONVERGENT, HARMONIC SUBSERIES THOMAS SCHMELZER AND ROBERT BAILLIE 1 Abstract The harmonic series diverges But if we delete from it all terms whose denominators contain any string

Orthogonal Diagonalization of Symmetric Matrices

MATH10212 Linear Algebra Brief lecture notes 57 Gram Schmidt Process enables us to find an orthogonal basis of a subspace. Let u 1,..., u k be a basis of a subspace V of R n. We begin the process of finding

LINEAR ALGEBRA W W L CHEN

LINEAR ALGEBRA W W L CHEN c W W L Chen, 1997, 2008 This chapter is available free to all individuals, on understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied,

Math 4707: Introduction to Combinatorics and Graph Theory

Math 4707: Introduction to Combinatorics and Graph Theory Lecture Addendum, November 3rd and 8th, 200 Counting Closed Walks and Spanning Trees in Graphs via Linear Algebra and Matrices Adjacency Matrices

Direct Methods for Solving Linear Systems. Linear Systems of Equations

Direct Methods for Solving Linear Systems Linear Systems of Equations Numerical Analysis (9th Edition) R L Burden & J D Faires Beamer Presentation Slides prepared by John Carroll Dublin City University

Some ergodic theorems of linear systems of interacting diffusions

Some ergodic theorems of linear systems of interacting diffusions 4], Â_ ŒÆ êæ ÆÆ Nov, 2009, uà ŒÆ liuyong@math.pku.edu.cn yangfx@math.pku.edu.cn 1 1 30 1 The ergodic theory of interacting systems has

Lecture Notes on Polynomials

Lecture Notes on Polynomials Arne Jensen Department of Mathematical Sciences Aalborg University c 008 Introduction These lecture notes give a very short introduction to polynomials with real and complex