On the Relation Between Matrix-Geometric and Discrete Phase-Type Distributions

Total Page:16

File Type:pdf, Size:1020Kb

On the Relation Between Matrix-Geometric and Discrete Phase-Type Distributions On the relation between matrix-geometric and discrete phase-type distributions Sietske Greeuw Kongens Lyngby/Amsterdam 2009 Master thesis Mathematics University of Amsterdam Technical University of Denmark Informatics and Mathematical Modelling Building 321, DK-2800 Kongens Lyngby, Denmark Phone +45 45253351, Fax +45 45882673 [email protected] www.imm.dtu.dk University of Amsterdam Faculty of Science Science Park 404, 1098 XH Amsterdam, The Netherlands Phone +32 20 5257678, Fax +31 20 5257675 [email protected] www.science.uva.nl Summary A discrete phase-type distribution describes the time until absorption in a discrete-time Markov chain with a finite number of transient states and one absorbing state. The density f(n) of a discrete phase-type distribution can be expressed by the initial probability vector α, the transition probability matrix T of the transient states of the Markov chain and the vector t containing the probabilities of entering the absorbing state from the transient states: n−1 f(n) = αT t, n ∈ N. If we take a probability density of the same form, but not necessarily require α,T and t to have the probabilistic Markov-chain interpretation, we obtain the density of a matrix-geometric distribution. Matrix-geometric distributions can equivalently be defined as distributions on the non-negative integers that have a rational probability generating function. In this thesis it is shown that the class of matrix-geometric distributions is strictly larger than the class of discrete phase-type distributions. We give an example of a set of matrix-geometric distributions that are not of discrete phase- type. We also show that there is a possible order reduction when representing a discrete phase-type distribution as a matrix-geometric distribution. The results parallel the continuous case, where the class of matrix-exponential distributions is strictly larger than the class of continuous phase-type distribu- tions, and where there is also a possible order reduction. Keywords: discrete phase-type distributions, phase-type distributions, matrix- exponential distributions, matrix-geometric distributions. ii Resum´e En diskret fasetype fordeling er fordelingen af tiden til absorption i en diskret- tids Markov kæde med et begrænset antal transiente tilstande og ´en absorbe- rende tilstand. Tætheden f(n) af en diskret fasetype fordeling kan udtrykkes ved vektoren med den initielle fordeling α, matricen T, der beskriver de mulige over- gange mellem transiente tilstande i Markov kæden, og vektoren t med sandsyn- ligheder for at springe til den absorberende tilstand fra de transiente tilstande: n−1 f(n) = αT t, n ∈ N. Hvis vi tager en tæthed af samme form, men ikke nødvendigvis kræver, at α,T og t har probabilistisk Markov kæde fortolkning, f˚arvi tætheden af en matrix-geometrisk fordeling. Matrix-geometriske fordelinger kan tilsvarende de- fineres som fordelinger p˚aikke-negative heltal, der har en rationel sandsyn- lighedsgenererende funktion. I denne projekt er det vist, at mængden af matrix-geometriske fordelinger er strengt større end mængden af diskrete fasetype fordelinger. Der gives et ek- sempel p˚aen mængde af matrix-geometriske fordelinger, der ikke er af diskret fasetype. Vi viser ogs˚a,at der er en mulighed for reduktion af størrelse af repræsentationen, n˚arde repræsenterer en diskret fasetype fordeling som en matrix-geometrisk fordeling. Resultaterne svarer til det kontinuerte tilfælde, hvor klassen af matrix- eksponentielle fordelinger er strengt større end klassen af kontinuert fasetype fordelinger, og hvor reduktion af størrelse af repræsentation ogs˚aer muligt. iv Preface This thesis was prepared in partial fulfillment of the requirements for acquiring the master of science degree in Mathematics. It has been prepared during a five month Erasmus-stay at the Danish Technical University, at the institute for Informatics and Mathematical Modelling. I would like to thank my two supervisors, Bo Friis Nielsen and Michel Mandjes, for both being very supportive in my decision of doing my master project abroad. Furthermore I want to thank Bo for his friendly and informative guidance, and Michel for his help with the final parts of my thesis. Finally I want to thank my family and my friends and all other people who have supported me during this process. Amsterdam, March 2009 Sietske Greeuw vi Contents Summary i Resum´e iii Preface v 1 Introduction 1 2 Phase-type distributions 5 2.1 Discrete phase-type distributions . 5 2.2 Continuous phase-type distributions . 19 3 Matrix-exponential distributions 23 3.1 Definition . 24 3.2 Examples of matrix-exponential distributions . 25 4 Matrix-geometric distributions 31 4.1 Definition . 32 4.2 Existence of genuine matrix-geometric distributions . 34 4.3 Order reduction for matrix-geometric distributions . 38 4.4 Properties of matrix-geometric distributions . 45 viii CONTENTS Chapter 1 Introduction In this thesis the relation between matrix-geometric and discrete phase-type distributions will be explored. Matrix-geometric distributions (MG) are distri- butions on the non-negative integers that possess a density of the form n−1 f(n) = αT t, n ∈ N (1.1) together with f(0) = ∆, the point mass in zero. The parameters (α,T, t) are a row vector, matrix and column vector respectively, that satisfy the necessary conditions for f(n) to be a density. Hence αT n−1t ≥ 0 for all n ∈ N and P∞ −1 n=0 f(n) = ∆ + α(I − T ) t = 1. The class MG is a generalization of the class of discrete phase-type distributions (DPH). A discrete phase-type distribution describes the time until absorption in a finite-state discrete-time Markov chain. A discrete phase-type density has the same form as (1.1) but requires the parameters to have the interpretation as initial probability vector (α), sub-transition probability matrix (T ) and exit probability vector (t) of the underlying Markov chain. The analogous setup in continuous time is given by matrix-exponential distri- butions (ME) that are a generalization of continuous phase-type distributions (PH). The latter describe the time until absorption in a continuous-time finite- state Markov chain. The name phase-type refers to the states of the Markov chain. Each visit to a 2 Introduction state can be seen as a phase with a geometric (in continuous time exponential) distribution, and the resulting Markovian structure gives rise to a discrete (con- tinuous) phase-type distribution. The method of phases has been introduced by A.K. Erlang in the beginning of the 20th century and has later been generalized by M.F. Neuts. A general probability distribution can be approximated arbi- trarily closely by a phase-type distribution. This makes phase-type distributions a powerful tool in the modelling of e.g. queueing systems. Another nice feature of phase-type distributions is that they often give rise to closed form solutions. The main reference on discrete phase-type distributions is ‘Probability distribu- tions of phase type’ by M.F. Neuts, published in 1975 [12]. This article gives a thorough introduction to discrete phase-type distributions, their main proper- ties and their use in the theory of queues. In his 1981 book ‘Matrix-geometric Solutions in Stochastic Models’ [13], M.F. Neuts gives again an introduction to phase-type distributions, this time focussing on the continuous case. Another clear introduction of continuous phase-type distributions can be found in the book by G. Latouche and V. Ramaswami [10]. A good survey on the class ME is given in the entry on matrix-exponential distributions in the Encyclopedia of Statistical Sciences by Asmussen and O’Cinneide [4]. In this article the rela- tion of the class ME to the class PH is discussed, some properties of ME are given and the use of these distributions in applied probability is explained. The authors mention the class of matrix-geometric distributions as the analogous discrete counterpart of ME. However, no explicit examples are given. The main question addressed in this thesis is what the relation is between the classes DPH and MG. From their definition it is clear that DPH ⊆ MG. It is however not immediately clear, whether there exists distributions that are in MG but do not have a discrete phase-type representation. The second question is on the order of the distribution. This order is defined as the minimal dimension of the matrix T in (1.1) needed to represent the distribution. It is of interest to know if there exist discrete phase-type distributions that have a lower order representation when they are represented as a matrix-geometric distribution. Such a reduced-order representation can be much more convenient to work with, for example in solving high-dimensional queueing systems. In the continuous case it is known that PH ( ME, that is, PH is a strict subset of ME [3, 4]. A standard example of a distribution that is in ME but not in PH is a distribution represented by a density which has a zero on (0, ∞). Such a distribution cannot be in PH, as a phase-type density 3 is strictly positive on (0, ∞) [13]. There is no equivalent result in discrete time, as discrete phase-type densities can be zero with a certain periodicity. A sec- ond way of showing that ME is larger than PH is by using the characterization of phase-type distributions stated by O’Cinneide in [14] which is based on the absolute value of the poles of the Laplace transform. In [15] O’Cinneide gives a lower bound on the order of a phase-type represen- tation. He shows that there is possible order reduction when using a matrix- exponential representation rather than a phase-type representation. We will use the characterization of discrete phase-type distributions by O’Cinneide [14], to give a set of distributions that is in MG but not in DPH.
Recommended publications
  • Generalized Factorial Cumulants Applied to Coulomb-Blockade Systems Signal
    Generalized factorial cumulants applied to Coulomb-blockade systems signal time Von der Fakultät für Physik der Universität Duisburg-Essen genehmigte Dissertation zur Erlangung des Grades Dr. rer. nat. von Philipp Stegmann aus Bottrop Tag der Disputation: 05.07.2017 Referent: Prof. Dr. Jürgen König Korreferent: Prof. Dr. Christian Flindt Korreferent: Prof. Dr. Thomas Guhr Summary Tunneling of electrons through a Coulomb-blockade system is a stochastic (i.e., random) process. The number of the transferred electrons per time interval is determined by a prob- ability distribution. The form of this distribution can be characterized by quantities called cumulants. Recently developed electrometers allow for the observation of each electron transported through a Coulomb-blockade system in real time. Therefore, the probability distribution can be directly measured. In this thesis, we introduce generalized factorial cumulants as a new tool to analyze the information contained in the probability distribution. For any kind of Coulomb-blockade system, these cumulants can be used as follows: First, correlations between the tunneling electrons are proven by a certain sign of the cumulants. In the limit of short time intervals, additional criteria indicate correlations, respectively. The cumulants allow for the detection of correlations which cannot be noticed by commonly used quantities such as the current noise. We comment in detail on the necessary ingredients for the presence of correlations in the short-time limit and thereby explain recent experimental observations. Second, we introduce a mathematical procedure called inverse counting statistics. The procedure reconstructs, solely from a few experimentally measured cumulants, character- istic features of an otherwise unknown Coulomb-blockade system, e.g., a lower bound for the system dimension and the full spectrum of relaxation rates.
    [Show full text]
  • The Q-Factorial Moments of Discrete Q-Distributions and a Characterization of the Euler Distribution
    3 The q-Factorial Moments of Discrete q-Distributions and a Characterization of the Euler Distribution Ch. A. Charalambides and N. Papadatos Department of Mathematics, University of Athens, Athens, Greece ABSTRACT The classical discrete distributions binomial, geometric and negative binomial are defined on the stochastic model of a sequence of indepen- dent and identical Bernoulli trials. The Poisson distribution may be defined as an approximation of the binomial (or negative binomial) distribution. The cor- responding q-distributions are defined on the more general stochastic model of a sequence of Bernoulli trials with probability of success at any trial depending on the number of trials. In this paper targeting to the problem of calculating the moments of q-distributions, we introduce and study q-factorial moments, the calculation of which is as ease as the calculation of the factorial moments of the classical distributions. The usual factorial moments are connected with the q-factorial moments through the q-Stirling numbers of the first kind. Several ex- amples, illustrating the method, are presented. Further, the Euler distribution is characterized through its q-factorial moments. Keywords and phrases: q-distributions, q-moments, q-Stirling numbers 3.1 INTRODUCTION Consider a sequence of independent Bernoulli trials with probability of success at the ith trial pi, i =1, 2,.... The study of the distribution of the number Xn of successes up to the nth trial, as well as the closely related to it distribution of the number Yk of trials until the occurrence of the kth success, have attracted i−1 i−1 special attention.
    [Show full text]
  • Functions of Random Variables
    Names for Eg(X ) Generating Functions Topic 8 The Expected Value Functions of Random Variables 1 / 19 Names for Eg(X ) Generating Functions Outline Names for Eg(X ) Means Moments Factorial Moments Variance and Standard Deviation Generating Functions 2 / 19 Names for Eg(X ) Generating Functions Means If g(x) = x, then µX = EX is called variously the distributional mean, and the first moment. • Sn, the number of successes in n Bernoulli trials with success parameter p, has mean np. • The mean of a geometric random variable with parameter p is (1 − p)=p . • The mean of an exponential random variable with parameter β is1 /β. • A standard normal random variable has mean0. Exercise. Find the mean of a Pareto random variable. Z 1 Z 1 βαβ Z 1 αββ 1 αβ xf (x) dx = x dx = βαβ x−β dx = x1−β = ; β > 1 x β+1 −∞ α x α 1 − β α β − 1 3 / 19 Names for Eg(X ) Generating Functions Moments In analogy to a similar concept in physics, EX m is called the m-th moment. The second moment in physics is associated to the moment of inertia. • If X is a Bernoulli random variable, then X = X m. Thus, EX m = EX = p. • For a uniform random variable on [0; 1], the m-th moment is R 1 m 0 x dx = 1=(m + 1). • The third moment for Z, a standard normal random, is0. The fourth moment, 1 Z 1 z2 1 z2 1 4 4 3 EZ = p z exp − dz = −p z exp − 2π −∞ 2 2π 2 −∞ 1 Z 1 z2 +p 3z2 exp − dz = 3EZ 2 = 3 2π −∞ 2 3 z2 u(z) = z v(t) = − exp − 2 0 2 0 z2 u (z) = 3z v (t) = z exp − 2 4 / 19 Names for Eg(X ) Generating Functions Factorial Moments If g(x) = (x)k , where( x)k = x(x − 1) ··· (x − k + 1), then E(X )k is called the k-th factorial moment.
    [Show full text]
  • Basic Combinatorics
    Basic Combinatorics Carl G. Wagner Department of Mathematics The University of Tennessee Knoxville, TN 37996-1300 Contents List of Figures iv List of Tables v 1 The Fibonacci Numbers From a Combinatorial Perspective 1 1.1 A Simple Counting Problem . 1 1.2 A Closed Form Expression for f(n) . 2 1.3 The Method of Generating Functions . 3 1.4 Approximation of f(n) . 4 2 Functions, Sequences, Words, and Distributions 5 2.1 Multisets and sets . 5 2.2 Functions . 6 2.3 Sequences and words . 7 2.4 Distributions . 7 2.5 The cardinality of a set . 8 2.6 The addition and multiplication rules . 9 2.7 Useful counting strategies . 11 2.8 The pigeonhole principle . 13 2.9 Functions with empty domain and/or codomain . 14 3 Subsets with Prescribed Cardinality 17 3.1 The power set of a set . 17 3.2 Binomial coefficients . 17 4 Sequences of Two Sorts of Things with Prescribed Frequency 23 4.1 A special sequence counting problem . 23 4.2 The binomial theorem . 24 4.3 Counting lattice paths in the plane . 26 5 Sequences of Integers with Prescribed Sum 28 5.1 Urn problems with indistinguishable balls . 28 5.2 The family of all compositions of n . 30 5.3 Upper bounds on the terms of sequences with prescribed sum . 31 i CONTENTS 6 Sequences of k Sorts of Things with Prescribed Frequency 33 6.1 Trinomial Coefficients . 33 6.2 The trinomial theorem . 35 6.3 Multinomial coefficients and the multinomial theorem . 37 7 Combinatorics and Probability 39 7.1 The Multinomial Distribution .
    [Show full text]
  • 12. Probability Generating Functions for a Non-Negative Discrete Random
    PROBABILITY MODELS 47 12. Probability generating functions For a non-negative discrete random variable X, the probability generating function contains all possible information about X and is remarkably useful for easily deriving key properties about X. Definition 12.1 (Probability generating function). Let X 0 be a discrete random variable on 0; 1; 2;::: and let p := P X = k , k = 0; 1; 2;:::. The probability≥ generating function of X is f g k f g X X 1 k (21) GX(z):= Ez := z pk: k=0 For example, for X taking values 1 with probability 1=2, 2 with probability 1=3, and 3 with probability 1=6, we have 1 1 1 G (z) = z + z2 + z3: X 2 3 6 Paraphrasing Herb Wilf, we say that the probability generating function “hangs the distri- bution of X on a clothesline.” Notice that GX(1) = 1 and GX(0) = p0 for any random variable X. We summarize further properties of probability generating functions in the following theorem. Theorem 12.2 (Properties of generating functions). For non-negative discrete random variables X; Y 0, let GX and GY be their probability generating functions, respectively. Then ≥ a b (i) If Y = a + bX for scalars a; b R, then GY(z) = z GX(z ). 2 (ii) If X and Y are independent, then GX+Y(z) = GX(z)GY(z). (iii) P X = n = G(n)(0)=n!, for every n 0; 1; 2;::: , where G(n)(z):= dnG=dzn. f g 2 f g (iv) G(n)(1) = EX n, for every n 0; 1; 2;::: .
    [Show full text]
  • Hungarian Academy of Sciences CENTRAL RESEARCH INSTITUTE for PHYSICS
    KFKI-1991-28/A % Т. CSÖRGŐ S. HEGYI В. LUKÁCS J. »MÁNYI (•dltors) PROCEEDINGS OF THE WORKSHOP ON RELATIVISTIC HEAVY ION PHYSICS AT PRESENT AND FUTURE ACCELERATORS Hungarian Academy of Sciences CENTRAL RESEARCH INSTITUTE FOR PHYSICS BUDAPEST KFKI-1991-28/A PREPRINT PROCEEDINGS OF THE WORKSHOP ON RELATSVISTIC HEAVY ION PHYSICS AT PRESENT AND FUTURE ACCELERATORS T. CSÖRGŐ, S. HEGYI, В. LUKÁCS, J. ZIMÁNYI (eds.) Central Research Institute for Physics H-1625 Budapest 114, P.O.B. 49, Hungary Held In Budapest, 17 21 June, 1991 HU I88N 0368 5330 Т. C«örg6,8. Hegyi, В. Lukács, J. Zlmányi (eds.): Proceedings of the Workshop on Reiativistic Heavy Ion Physics at Present and Future Accelerators. KFKl-1991 28/A ABSTRACT This volume Is the Proceedings of the Budapest Workshop on Reiativistic Heavy Ion Physics at Present and Future Accelerators. The topics Includes experimental heavy ion physics, partidé phenomenology. Bose Einstein correlations, reiativistic transport theory. Quark Gluon Plasma rehadronlzatlon. astronuclear physics, leptonpalr production and inter mlttency Т. Чёргё, Ш. Хеди, Б. Лукач, й. Эимани (ред.): Международная теоретическая рабочая группа по релятивистской физике тяжелых ионов в настоящих и будущих ускорителях. KFKI-1991-28/A АННОТАЦИЯ В том включены доклады, прочитанные на встрече международной теоретической рабочей группы, состоявшейся с 17 по 21 июля 1991 г. в Будапеште, по следующим те­ матикам: экспериментальная физика тяжелых ионов, феноменология частиц, корреляции Бозе-Эйнштейна, теория релятивистского транспорта, реадронизация к&эрковой плазмы, астроядерная физика, образование и интермиттенция лептонных пар. Csörgd Т., Hegyi 8., Lukács В., Zlmányi J. (szerk): Nemzetközi elméleti műhely a jelen ós jövendő gyorsítók relalivlsztlkue nehézlonílzlkajáról KFKI 1990 28/A KIVONAT A kötet tanulmányokat tartalmaz a következő témákban: kísérleti nehézionfizika, részecskefizikai fenomenológia, Bose Einstein korrelációk, relatlvlsztikus transzporielmélet, kvarkplazma rehadronizációja, asztromagfizika, leptonpárkeltés és Intermittencia.
    [Show full text]
  • An Experimental Mathematics Approach to Several Combinatorial Problems
    AN EXPERIMENTAL MATHEMATICS APPROACH TO SEVERAL COMBINATORIAL PROBLEMS By YUKUN YAO A dissertation submitted to the School of Graduate Studies Rutgers, The State University of New Jersey In partial fulfillment of the requirements For the degree of Doctor of Philosophy Graduate Program in Mathematics Written under the direction of Doron Zeilberger And approved by New Brunswick, New Jersey May, 2020 ABSTRACT OF THE DISSERTATION An Experimental Mathematics Approach to Several Combinatorial Problems By YUKUN YAO Dissertation Director: Doron Zeilberger Experimental mathematics is an experimental approach to mathematics in which programming and symbolic computation are used to investigate mathematical objects, identify properties and patterns, discover facts and formulas and even automatically prove theorems. With an experimental mathematics approach, this dissertation deals with several combinatorial problems and demonstrates the methodology of experimental mathemat- ics. We start with parking functions and their moments of certain statistics. Then we discuss about spanning trees and \almost diagonal" matrices to illustrate the methodol- ogy of experimental mathematics. We also apply experimental mathematics to Quick- sort algorithms to study the running time. Finally we talk about the interesting peace- able queens problem. ii Acknowledgements First and foremost, I would like to thank my advisor, Doron Zeilberger, for all of his help, guidance and encouragement throughout my mathematical adventure in graduate school at Rutgers. He introduced me to the field of experimental mathematics and many interesting topics in combinatorics. Without him, this dissertation would not be possible. I am grateful to many professors at Rutgers: Michael Kiessling, for serving on my oral qualifying exam and thesis defense committee; Vladimir Retakh, for serving on my defense committee; Shubhangi Saraf and Swastik Kopparty, for teaching me combinatorics and serving on my oral exam committee.
    [Show full text]
  • Method of Moments Estimates for the Four-Parameter Beta Compound Binomial Model and the Calculation of Classification Consistency Indexes
    ACT Research Report Series 91-5 Method of Moments Estimates for the Four-Parameter Beta Compound Binomial Model and the Calculation of Classification Consistency Indexes Bradley A. Hanson September 1991 For additional copies write: ACT Research Report Series P.O. Box 168 Iowa City, Iowa 52243 ©1991 by The American College Testing Program. All rights reserved. Method of Moments Estimates for the Four-Parameter Beta Compound Binomial Model and the Calculation of Classification Consistency Indexes Bradley A. Hanson American College Testing September, 1991 I I Four-parameter Beta. Compound Binomial Abstract This paper presents a detailed derivation of method of moments estimates for the four- parameter beta compound binomial strong true score model. A procedure is presented to deal with the case in which the usual method of moments estimates do not exist or result in invalid parameter estimates. The results presented regarding the method of moments estimates are used to derive formulas for computing classification consistency indices under the four-paxameter beta compound binomial model. Acknowledgement. The author thanks Robert L. Brennan for carefully reading an earlier version of this paper and offering helpful suggestions and comments. Four-parameter Beta Compound Binomial The first part of this paper discusses estimation of the four-parameter beta compound binomial model by the method of moments. Most of the material in the first part of this paper is a restatement of material presented in Lord (1964, 1965) with some added details. The second part of this paper uses the results presented in the first part to obtain formulas for computing the classification consistency indexes described by Hanson and Brennan (1990).
    [Show full text]
  • Analysis of Static Cellular Cooperation Between Mutually Nearest
    Analysis of Static Cellular Cooperation between Mutually Nearest Neighboring Nodes Luis David Alvarez Corrales, Anastasios Giovanidis, Philippe Martins, Laurent Decreusefond To cite this version: Luis David Alvarez Corrales, Anastasios Giovanidis, Philippe Martins, Laurent Decreusefond. Analysis of Static Cellular Cooperation between Mutually Nearest Neighboring Nodes. 2016. hal-01394181 HAL Id: hal-01394181 https://hal.archives-ouvertes.fr/hal-01394181 Preprint submitted on 8 Nov 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives| 4.0 International License 1 Analysis of Static Cellular Cooperation between Mutually Nearest Neighboring Nodes Luis David Alvarez´ Corrales, Anastasios Giovanidis, Member, IEEE, Philippe Martins, Senior Member, IEEE, and Laurent Decreusefond Abstract—Cooperation in cellular networks is a promising scheme to improve system performance. Existing works consider that a user dynamically chooses the stations that cooperate for his/her service, but such assumption often has practical limitations. Instead, cooperation groups can be predefined and static, with nodes linked by fixed infrastructure. To analyze such a potential network, we propose a grouping method based on node proximity. With the Mutually Nearest Neighbour Relation, we allow the formation of singles and pairs of nodes.
    [Show full text]
  • Arxiv:Math/0412052V1 [Math.PR] 2 Dec 2004 Aetemto Loehruwed N Naaebe O Nywa Only Not Unmanageable
    An umbral setting for cumulants and factorial moments E. Di Nardo, D. Senato ∗ Abstract We provide an algebraic setting for cumulants and factorial moments through the classical umbral calculus. Main tools are the compositional inverse of the unity umbra, connected with the logarithmic power series, and a new umbra here introduced, the singleton umbra. Various formulae are given expressing cumulants, factorial moments and central moments by umbral functions. Keywords: Umbral calculus, generating function, cumulant, factorial moment MSC-class: 05A40, 60C05 (Primary) 62A01(Secondary) 1 Introduction The purpose of this paper is mostly to show how the classical umbral calculus gives a lithe algebraic setting in handling cumulants and factorial moments. The classical umbral calculus consists of a symbolic technique dealing with sequences of numbers an indexed by nonnegative integers n = 0, 1, 2, 3,..., where the subscripts are treated as if they were powers. This kind of device was extensively used since the nineteenth century although the mathematical community was sceptic of it, owing to its lack of foundation. To the best of our knowledge, the method was first proposed by Rev. John Blissard in a series of papers as from 1861 (cf. [5] for the full list of papers), nevertheless it is impossible to put the credit of the original idea down to him since the Blissard’s calculus has its mathematical source in symbolic differentiation. In the thirties, Bell [1] reviewed the whole subject in several papers, restoring the purport of the Blissard’s idea and in [2] he tried to give a rigorous foundation of the arXiv:math/0412052v1 [math.PR] 2 Dec 2004 mystery at the ground of the umbral calculus but his attempt did not have a hold.
    [Show full text]
  • Raw and Central Moments of a Variety of Generalized Beta-Binomial Distributions Via Stirling Numbers
    "Science Stays True Here" Journal of Mathematics and Statistical Science, Volume 2016, 655-674 | Science Signpost Publishing Raw and Central Moments of a Variety of Generalized Beta-Binomial Distributions via Stirling Numbers Rachel Ogal School of Mathematics, CBPS College, University of Nairobi, P. O. Box 30197-00100, Nairobi, Kenya. Abstract In this article, we consider the construction of various compound Binomials by mixing the success parameter with generalized Beta distributions within the unit interval. We then proceed to calculate the moments of the derived mixtures using Stirling numbers of the second kind. Keywords: Binomial mixtures, Central moments, Factorial moments, Generalized Beta distributions, Raw moments, Stirling numbers. 1. Introduction If we let a random variable X to represent the total number of successes in n Bernoulli experiments, then X is said to be Binomially distributed and has parameters n and ϑ . ϑ denotes the probability of success hence lies within the unit interval, 01<<ϑ , and can be taken to be a continuous random variable with density g()ϑ . This formulates the density fx() referred to as a Binomial mixture. 1 n x nx− fx()=∫ ϑ( 1 − ϑ) g () ϑϑ d (1) 0 x The Beta distribution offers a tractable prior to the Binomial, and has been used in this sense (see, for instance, Skellam (1948); Ishii and Hayakawa (1960); Chatfield and Goodhardt (1970)). Various generalizations of the Beta distribution have also been developed and used as priors to the Binomial (see, for instance, Gerstenkorn (2004); Rodriguez-Avi et al. (2007)). 656 Raw and Central Moments of a Variety of Generalized Beta-Binomial Distributions via Stirling Numbers We aim to construct Binomial mixtures whose priors are generalizations of the Beta, and derive some of their properties using stirling numbers of the second kind.
    [Show full text]
  • Spatial Point Process Theory
    16 Spatial Point Process Theory Marie-Colette van Lieshout CONTENTS 16.1 Spatial Point Process Theory ..........................................................................................263 16.1.1 Introduction ........................................................................................................263 16.1.2 Characterization of Point Process Distributions............................................266 16.1.3 Campbell and Moment Measures....................................................................267 16.1.4 Reduced and Higher-Order Campbell Measures..........................................270 16.1.5 Palm Theory and Conditioning .......................................................................273 16.1.6 Finite Point Processes ........................................................................................278 16.1.7 Gibbs Measures by Local Specification...........................................................280 References.....................................................................................................................................281 16.1 Spatial Point Process Theory 16.1.1 Introduction A spatial point process is a stochastic process each of whose realizations consists of a finite or countably infinite set of points in the plane. This chapter sets out the mathematical theory of such processes. After some motivation, several ways to characterize the distribution of a point process are described in Section 16.1.2. The important notions of Campbell and moment measures are introduced
    [Show full text]