Conditioning and Markov Properties

Total Page:16

File Type:pdf, Size:1020Kb

Conditioning and Markov Properties Conditioning and Markov properties Anders Rønn-Nielsen Ernst Hansen Department of Mathematical Sciences University of Copenhagen Department of Mathematical Sciences University of Copenhagen Universitetsparken 5 DK-2100 Copenhagen Copyright 2014 Anders Rønn-Nielsen & Ernst Hansen ISBN 978-87-7078-980-6 Contents Preface v 1 Conditional distributions 1 1.1 Markov kernels . 1 1.2 Integration of Markov kernels . 3 1.3 Properties for the integration measure . 6 1.4 Conditional distributions . 10 1.5 Existence of conditional distributions . 16 1.6 Exercises . 23 2 Conditional distributions: Transformations and moments 27 2.1 Transformations of conditional distributions . 27 2.2 Conditional moments . 35 2.3 Exercises . 41 3 Conditional independence 51 3.1 Conditional probabilities given a σ{algebra . 52 3.2 Conditionally independent events . 53 3.3 Conditionally independent σ-algebras . 55 3.4 Shifting information around . 59 3.5 Conditionally independent random variables . 61 3.6 Exercises . 68 4 Markov chains 71 4.1 The fundamental Markov property . 71 4.2 The strong Markov property . 84 4.3 Homogeneity . 90 4.4 An integration formula for a homogeneous Markov chain . 99 4.5 The Chapmann-Kolmogorov equations . 100 iv CONTENTS 4.6 Stationary distributions . 103 4.7 Exercises . 104 5 Ergodic theory for Markov chains on general state spaces 111 5.1 Convergence of transition probabilities . 113 5.2 Transition probabilities with densities . 115 5.3 Asymptotic stability . 117 5.4 Minorisation . 122 5.5 The drift criterion . 127 5.6 Exercises . 131 6 An introduction to Bayesian networks 141 6.1 Introduction . 141 6.2 Directed graphs . 143 6.3 Moral graphs and separation . 145 6.4 Bayesian networks . 146 6.5 Global Markov property . 151 A Supplementary material 155 A.1 Measurable spaces . 155 A.2 Random variables and conditional expectations . 157 B Hints for exercises 161 B.1 Hints for chapter 1 . 161 B.2 Hints for chapter 2 . 162 B.3 Hints for chapter 3 . 163 B.4 Hints for chapter 4 . 164 B.5 Hints for chapter 5 . 167 Preface The present lecture notes are intended for the course "Beting". The purpose is to give a detailed probabilistic introduction to conditional distributions and how this concept is used to define and describe Markov chains and Bayesian networks. The chapters 1{4 are mainly based on different sets of lecture notes written by Ernst Hansen but are adapted to suit students with the knowledge obtained in the courses MI, VidSand1, and VidSand2. Parts of these chapters also contain material inspired by lecture notes written by Martin Jacobsen and Søren Tolver Jensen. Chapter 5 is an adapted version of a set of lecture notes written by Søren Tolver Jensen and Martin Jacobsen. These notes themselves were inspired by earlier notes by Søren Feodor Nielsen. Chapter 6 contains some standard results on Bayesian networks - though both formulations and proofs are formulated in the rather general framework from chapter 3 and 4. There are exercises in the end of each chapter and hints to selected exercises in the end of the notes. Some exercises are adapted versions of exercises and exam exercises from previous lecture notes. Others are inspired by examples and results collected from a large number of monographs on Markov chains, stochastic simulation, and probability theory in general. I am grateful to both students and the teaching assistants from the last two years, Ketil Bier- ing Tvermosegaard and Daniele Cappelletti, who have contributed to the notes by identifying mistakes and suggesting improvements. Anders Rønn-Nielsen København, 2014 vi CONTENTS Chapter 1 Conditional distributions Let (X ; E) and (Y; K) be two measurable spaces. In this chapter we shall discuss the relation between measures on the product space (X × Y; E ⊗ K) and measures on the two marginal spaces (X ; E) and (Y; K). More precisely we will see that measures on the product space can be constructed from measures on the two marginal spaces. A particularly simple example is a product measure µ ⊗ ν where µ and ν are measures on (X ; E) and (Y; K) respectively. The two factors X and Y will not enter the setup symmetrically in the more general con- struction. 1.1 Markov kernels Definition 1.1.1. A (X ; E){Markov Kernel on (Y; K) is a family of probability measures (Px)x2X on (Y; K) indexed by points in X such that the map x 7! Px(B) is E − B{measurable for every fixed B 2 K. Theorem 1.1.2. Let (X ; E) and (Y; K) be measurable spaces, let ν be a σ–finite measure on (Y; K), and let f 2 M+(X × Y; E ⊗ K) have the property that Z f(x; y) dν(y) = 1 for all x 2 X : 2 Conditional distributions Then (Px)x2X given by Z Px(B) = f(x; y) dν(y) for all B 2 K; x 2 X B is a (X ; E){Markov Kernel on (Y; K). Proof. For each fixed set B 2 K we need to argue that Z x 7! 1X ×B(x; y)f(x; y) dν(y) is an E{measurable function. That is a direct result of EH Theorem 8.7 applied to the function 1X ×Bf. Lemma 1.1.3. If (Y; K) has an intersection{stable generating system D, then (Px)x2X is a (X ; E){Markov Kernel on (Y; K) if only x 7! Px(D) is E − B-measurable for all fixed D 2 D. Proof. Define H = fF 2 K : x 7! Px(F ) is E − B{measurableg It is easily checked that H is a Dynkin Class. Since D ⊆ H, we have H = K. Lemma 1.1.4. Let (Px)x2X be a (X ; E){Markov kernel on (Y; K). For each G 2 E ⊗ K the map x x 7! Px(G ) is E − B{measurable. Proof. Let x H = fG 2 E ⊗ K : x 7! Px(G ) is E − B{measurableg and consider a product set A × B 2 E ⊗ K. Then ( ; if x2 = A (A × B)x = B if x 2 A such that ( x 0 if x2 = A Px((A × B) ) = = 1A(x) · Px(B) Px(B) if x 2 A 1.2 Integration of Markov kernels 3 This is a product of two E−B{measurable functions. Hence it is E−B{measurable. Thereby we conclude that H contains all product sets, and since this is a intersection stable generating system for E ⊗ K, we have H = E ⊗ K, if we can show that H is a Dynkin class: We already have that X × Y 2 H { it is a product set! Assume that G1 ⊆ G2 are two sets x x in H. Then obviously also G1 ⊆ G2 for all x 2 X , and x x x (G2 n G1) = G2 n G1 : Then x x x Px((G2 n G1) ) = Px(G2 ) − Px(G1 ) which is a difference between two measurable functions. Hence G2 n G1 2 H. Finally, assume that G1 ⊆ G2 ⊆ · · · is an increasing sequence of H{sets. Similarly to above x x we have G1 ⊆ G2 ⊆ · · · and 1 !x 1 [ [ x Gn = Gn : n=1 n=1 Then 1 !x! 1 ! [ [ x x Px Gn = Px Gn = lim Px(Gn) n!1 n=1 n=1 x This limit is E − B{measurable, since each of the functions x 7! Px(Gn) are measurable. S1 Then n=1 Gn 2 H. 1.2 Integration of Markov kernels Theorem 1.2.1. Let µ be a probability measure on (X ; E) and let (Px)x2X be a (X ; E){ Markov kernel on (Y; K). There exists a uniquely determined probability measure λ on (X × Y; E ⊗ K) satisfying Z λ(A × B) = Px(B) dµ(x) A for all A 2 E and B 2 K. The probability measure λ constructed in Theorem 1.2.1 is called the integration of (Px)x2X with respect to µ. The interpretation is that λ describes an experiment on X × Y that is performed in two steps: The first step is drawing x 2 X . The second step is drawing y 2 Y according to a probability measure that is determined by x. 4 Conditional distributions Proof. The uniqueness follows, since λ is determined on all product sets and these form an intersection stable generating system for E ⊗ K. In order to prove the existence, we define Z x λ(G) = Px(G ) dµ(x) For each G 2 E ⊗ K the integrand is measurable according to Lemma 1.1.4. It is furthermore non{negative, such that λ(G) is well–defined with values in [0; 1]. Now let G1;G2;::: be a sequence of disjoint sets in E ⊗ K. Then for each x 2 X the sets x x G1 ;G2 ;::: are disjoint as well. Hence 1 Z 1 x Z 1 1 [ [ X x X λ Gn = Px Gn dµ(x) = Px(Gn) dµ(x) = λ(Gn) n=1 n=1 n=1 n=1 In the second equality we have used that each Px is a measure, and in the third equality we have used monotone convergence to interchange integration and summation. From this we have that λ is a measure. And since Z Z Z x λ(X × Y) = Px((X × Y) ) dµ(x) = Px(Y) dµ(x) = 1 dµ(x) = 1 we obtain, than λ is actually a probability measure. Finally, it follows that Z Z Z x λ(A × B) = Px((A × B) ) dµ(x) = 1A(x)Px(B) dµ(x) = Px(B) dµ(x) A for all A 2 E and B 2 K.
Recommended publications
  • A Predictive Model Using the Markov Property
    A Predictive Model using the Markov Property Robert A. Murphy, Ph.D. e-mail: [email protected] Abstract: Given a data set of numerical values which are sampled from some unknown probability distribution, we will show how to check if the data set exhibits the Markov property and we will show how to use the Markov property to predict future values from the same distribution, with probability 1. Keywords and phrases: markov property. 1. The Problem 1.1. Problem Statement Given a data set consisting of numerical values which are sampled from some unknown probability distribution, we want to show how to easily check if the data set exhibits the Markov property, which is stated as a sequence of dependent observations from a distribution such that each suc- cessive observation only depends upon the most recent previous one. In doing so, we will present a method for predicting bounds on future values from the same distribution, with probability 1. 1.2. Markov Property Let I R be any subset of the real numbers and let T I consist of times at which a numerical ⊆ ⊆ distribution of data is randomly sampled. Denote the random samples by a sequence of random variables Xt t∈T taking values in R. Fix t T and define T = t T : t>t to be the subset { } 0 ∈ 0 { ∈ 0} of times in T that are greater than t . Let t T . 0 1 ∈ 0 Definition 1 The sequence Xt t∈T is said to exhibit the Markov Property, if there exists a { } measureable function Yt1 such that Xt1 = Yt1 (Xt0 ) (1) for all sequential times t0,t1 T such that t1 T0.
    [Show full text]
  • Local Conditioning in Dawson–Watanabe Superprocesses
    The Annals of Probability 2013, Vol. 41, No. 1, 385–443 DOI: 10.1214/11-AOP702 c Institute of Mathematical Statistics, 2013 LOCAL CONDITIONING IN DAWSON–WATANABE SUPERPROCESSES By Olav Kallenberg Auburn University Consider a locally finite Dawson–Watanabe superprocess ξ =(ξt) in Rd with d ≥ 2. Our main results include some recursive formulas for the moment measures of ξ, with connections to the uniform Brown- ian tree, a Brownian snake representation of Palm measures, continu- ity properties of conditional moment densities, leading by duality to strongly continuous versions of the multivariate Palm distributions, and a local approximation of ξt by a stationary clusterη ˜ with nice continuity and scaling properties. This all leads up to an asymptotic description of the conditional distribution of ξt for a fixed t> 0, given d that ξt charges the ε-neighborhoods of some points x1,...,xn ∈ R . In the limit as ε → 0, the restrictions to those sets are conditionally in- dependent and given by the pseudo-random measures ξ˜ orη ˜, whereas the contribution to the exterior is given by the Palm distribution of ξt at x1,...,xn. Our proofs are based on the Cox cluster representa- tions of the historical process and involve some delicate estimates of moment densities. 1. Introduction. This paper may be regarded as a continuation of [19], where we considered some local properties of a Dawson–Watanabe super- process (henceforth referred to as a DW-process) at a fixed time t> 0. Recall that a DW-process ξ = (ξt) is a vaguely continuous, measure-valued diffu- d ξtf µvt sion process in R with Laplace functionals Eµe− = e− for suitable functions f 0, where v = (vt) is the unique solution to the evolution equa- 1 ≥ 2 tion v˙ = 2 ∆v v with initial condition v0 = f.
    [Show full text]
  • Strong Memoryless Times and Rare Events in Markov Renewal Point
    The Annals of Probability 2004, Vol. 32, No. 3B, 2446–2462 DOI: 10.1214/009117904000000054 c Institute of Mathematical Statistics, 2004 STRONG MEMORYLESS TIMES AND RARE EVENTS IN MARKOV RENEWAL POINT PROCESSES By Torkel Erhardsson Royal Institute of Technology Let W be the number of points in (0,t] of a stationary finite- state Markov renewal point process. We derive a bound for the total variation distance between the distribution of W and a compound Poisson distribution. For any nonnegative random variable ζ, we con- struct a “strong memoryless time” ζˆ such that ζ − t is exponentially distributed conditional on {ζˆ ≤ t,ζ>t}, for each t. This is used to embed the Markov renewal point process into another such process whose state space contains a frequently observed state which repre- sents loss of memory in the original process. We then write W as the accumulated reward of an embedded renewal reward process, and use a compound Poisson approximation error bound for this quantity by Erhardsson. For a renewal process, the bound depends in a simple way on the first two moments of the interrenewal time distribution, and on two constants obtained from the Radon–Nikodym derivative of the interrenewal time distribution with respect to an exponential distribution. For a Poisson process, the bound is 0. 1. Introduction. In this paper, we are concerned with rare events in stationary finite-state Markov renewal point processes (MRPPs). An MRPP is a marked point process on R or Z (continuous or discrete time). Each point of an MRPP has an associated mark, or state.
    [Show full text]
  • Markov Chains on a General State Space
    Markov chains on measurable spaces Lecture notes Dimitri Petritis Master STS mention mathématiques Rennes UFR Mathématiques Preliminary draft of April 2012 ©2005–2012 Petritis, Preliminary draft, last updated April 2012 Contents 1 Introduction1 1.1 Motivating example.............................1 1.2 Observations and questions........................3 2 Kernels5 2.1 Notation...................................5 2.2 Transition kernels..............................6 2.3 Examples-exercises.............................7 2.3.1 Integral kernels...........................7 2.3.2 Convolution kernels........................9 2.3.3 Point transformation kernels................... 11 2.4 Markovian kernels............................. 11 2.5 Further exercises.............................. 12 3 Trajectory spaces 15 3.1 Motivation.................................. 15 3.2 Construction of the trajectory space................... 17 3.2.1 Notation............................... 17 3.3 The Ionescu Tulce˘atheorem....................... 18 3.4 Weak Markov property........................... 22 3.5 Strong Markov property.......................... 24 3.6 Examples-exercises............................. 26 4 Markov chains on finite sets 31 i ii 4.1 Basic construction............................. 31 4.2 Some standard results from linear algebra............... 32 4.3 Positive matrices.............................. 36 4.4 Complements on spectral properties.................. 41 4.4.1 Spectral constraints stemming from algebraic properties of the stochastic matrix.......................
    [Show full text]
  • Simulation of Markov Chains
    Copyright c 2007 by Karl Sigman 1 Simulating Markov chains Many stochastic processes used for the modeling of financial assets and other systems in engi- neering are Markovian, and this makes it relatively easy to simulate from them. Here we present a brief introduction to the simulation of Markov chains. Our emphasis is on discrete-state chains both in discrete and continuous time, but some examples with a general state space will be discussed too. 1.1 Definition of a Markov chain We shall assume that the state space S of our Markov chain is S = ZZ= f:::; −2; −1; 0; 1; 2;:::g, the integers, or a proper subset of the integers. Typical examples are S = IN = f0; 1; 2 :::g, the non-negative integers, or S = f0; 1; 2 : : : ; ag, or S = {−b; : : : ; 0; 1; 2 : : : ; ag for some integers a; b > 0, in which case the state space is finite. Definition 1.1 A stochastic process fXn : n ≥ 0g is called a Markov chain if for all times n ≥ 0 and all states i0; : : : ; i; j 2 S, P (Xn+1 = jjXn = i; Xn−1 = in−1;:::;X0 = i0) = P (Xn+1 = jjXn = i) (1) = Pij: Pij denotes the probability that the chain, whenever in state i, moves next (one unit of time later) into state j, and is referred to as a one-step transition probability. The square matrix P = (Pij); i; j 2 S; is called the one-step transition matrix, and since when leaving state i the chain must move to one of the states j 2 S, each row sums to one (e.g., forms a probability distribution): For each i X Pij = 1: j2S We are assuming that the transition probabilities do not depend on the time n, and so, in particular, using n = 0 in (1) yields Pij = P (X1 = jjX0 = i): (Formally we are considering only time homogenous MC's meaning that their transition prob- abilities are time-homogenous (time stationary).) The defining property (1) can be described in words as the future is independent of the past given the present state.
    [Show full text]
  • Brownian Motion and the Strong Markov Property
    BROWNIAN MOTION AND THE STRONG MARKOV PROPERTY JAMES LEINER Abstract. This paper is an introduction to Brownian motion. After a brief introduction to measure-theoretic probability, we begin by constructing Brow- d nian motion over the dyadic rationals and extending this construction to R . After establishing some relevant features, we introduce the strong Markov property and its applications. We then use these tools to demonstrate the existence of various Markov processes embedded within Brownian motion. Contents 1. Introduction 1 2. Construction 5 3. Non-Differentiability 9 4. Invariance Properties 10 5. Markov Properties 11 6. Applications 13 7. Derivative Markov Processes 15 Acknowledgments 16 References 16 1. Introduction With a varied array of uses across pure and applied mathematics, Brownian motion is one of the most widely studied stochastic processes. This paper seeks to provide a rigorous introduction to the topic, using [3] and [4] as our primary references. In order to properly ground our discussion, however, we must first become com- fortable with the basic framework of measure-theoretic probability. In this section, we provide a terse review of the subject sufficient to prepare the reader for some of the more advanced proofs within this paper. Most of the important results in this section are presented without proof and individuals wishing for a more detailed exposition of the topic can consult [1]. If so inclined, a large portion of the first half of the paper can be understood without measure theory. In this case, consult [2] for a more basic introduction to probability not requiring measure theory. Definition 1.1.
    [Show full text]
  • Interacting Particle Systems MA4H3
    Interacting particle systems MA4H3 Stefan Grosskinsky Warwick, 2009 These notes and other information about the course are available on http://www.warwick.ac.uk/˜masgav/teaching/ma4h3.html Contents Introduction 2 1 Basic theory3 1.1 Continuous time Markov chains and graphical representations..........3 1.2 Two basic IPS....................................6 1.3 Semigroups and generators.............................9 1.4 Stationary measures and reversibility........................ 13 2 The asymmetric simple exclusion process 18 2.1 Stationary measures and conserved quantities................... 18 2.2 Currents and conservation laws........................... 23 2.3 Hydrodynamics and the dynamic phase transition................. 26 2.4 Open boundaries and matrix product ansatz.................... 30 3 Zero-range processes 34 3.1 From ASEP to ZRPs................................ 34 3.2 Stationary measures................................. 36 3.3 Equivalence of ensembles and relative entropy................... 39 3.4 Phase separation and condensation......................... 43 4 The contact process 46 4.1 Mean field rate equations.............................. 46 4.2 Stochastic monotonicity and coupling....................... 48 4.3 Invariant measures and critical values....................... 51 d 4.4 Results for Λ = Z ................................. 54 1 Introduction Interacting particle systems (IPS) are models for complex phenomena involving a large number of interrelated components. Examples exist within all areas of natural and social sciences, such as traffic flow on highways, pedestrians or constituents of a cell, opinion dynamics, spread of epi- demics or fires, reaction diffusion systems, crystal surface growth, chemotaxis, financial markets... Mathematically the components are modeled as particles confined to a lattice or some discrete geometry. Their motion and interaction is governed by local rules. Often microscopic influences are not accesible in full detail and are modeled as effective noise with some postulated distribution.
    [Show full text]
  • Pre-Publication Accepted Manuscript
    P´eterE. Frenkel Convergence of graphs with intermediate density Transactions of the American Mathematical Society DOI: 10.1090/tran/7036 Accepted Manuscript This is a preliminary PDF of the author-produced manuscript that has been peer-reviewed and accepted for publication. It has not been copyedited, proof- read, or finalized by AMS Production staff. Once the accepted manuscript has been copyedited, proofread, and finalized by AMS Production staff, the article will be published in electronic form as a \Recently Published Article" before being placed in an issue. That electronically published article will become the Version of Record. This preliminary version is available to AMS members prior to publication of the Version of Record, and in limited cases it is also made accessible to everyone one year after the publication date of the Version of Record. The Version of Record is accessible to everyone five years after publication in an issue. This is a pre-publication version of this article, which may differ from the final published version. Copyright restrictions may apply. CONVERGENCE OF GRAPHS WITH INTERMEDIATE DENSITY PÉTER E. FRENKEL Abstract. We propose a notion of graph convergence that interpolates between the Benjamini–Schramm convergence of bounded degree graphs and the dense graph convergence developed by László Lovász and his coauthors. We prove that spectra of graphs, and also some important graph parameters such as numbers of colorings or matchings, behave well in convergent graph sequences. Special attention is given to graph sequences of large essential girth, for which asymptotics of coloring numbers are explicitly calculated. We also treat numbers of matchings in approximately regular graphs.
    [Show full text]
  • A Review on Statistical Inference Methods for Discrete Markov Random Fields Julien Stoehr
    A review on statistical inference methods for discrete Markov random fields Julien Stoehr To cite this version: Julien Stoehr. A review on statistical inference methods for discrete Markov random fields. 2017. hal-01462078v1 HAL Id: hal-01462078 https://hal.archives-ouvertes.fr/hal-01462078v1 Preprint submitted on 8 Feb 2017 (v1), last revised 11 Apr 2017 (v2) 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. A review on statistical inference methods for discrete Markov random fields Julien Stoehr1 1School of Mathematical Sciences & Insight Centre for Data Analytics, University College Dublin, Ireland February 8, 2017 Abstract Developing satisfactory methodology for the analysis of Markov random field is a very challenging task. Indeed, due to the Markovian dependence structure, the normalizing con- stant of the fields cannot be computed using standard analytical or numerical methods. This forms a central issue for any statistical approach as the likelihood is an integral part of the procedure. Furthermore, such unobserved fields cannot be integrated out and the like- lihood evaluation becomes a doubly intractable problem. This report gives an overview of some of the methods used in the literature to analyse such observed or unobserved random fields.
    [Show full text]
  • CONDITIONAL EXPECTATION Definition 1. Let (Ω,F,P) Be A
    CONDITIONAL EXPECTATION STEVEN P.LALLEY 1. CONDITIONAL EXPECTATION: L2 THEORY ¡ Definition 1. Let (­,F ,P) be a probability space and let G be a σ algebra contained in F . For ¡ any real random variable X L2(­,F ,P), define E(X G ) to be the orthogonal projection of X 2 j onto the closed subspace L2(­,G ,P). This definition may seem a bit strange at first, as it seems not to have any connection with the naive definition of conditional probability that you may have learned in elementary prob- ability. However, there is a compelling rationale for Definition 1: the orthogonal projection E(X G ) minimizes the expected squared difference E(X Y )2 among all random variables Y j ¡ 2 L2(­,G ,P), so in a sense it is the best predictor of X based on the information in G . It may be helpful to consider the special case where the σ algebra G is generated by a single random ¡ variable Y , i.e., G σ(Y ). In this case, every G measurable random variable is a Borel function Æ ¡ of Y (exercise!), so E(X G ) is the unique Borel function h(Y ) (up to sets of probability zero) that j minimizes E(X h(Y ))2. The following exercise indicates that the special case where G σ(Y ) ¡ Æ for some real-valued random variable Y is in fact very general. Exercise 1. Show that if G is countably generated (that is, there is some countable collection of set B G such that G is the smallest σ algebra containing all of the sets B ) then there is a j 2 ¡ j G measurable real random variable Y such that G σ(Y ).
    [Show full text]
  • Lecture Notes on Markov and Feller Property
    AN INTRODUCTION TO MARKOV PROCESSES AND THEIR APPLICATIONS IN MATHEMATICAL ECONOMICS UMUT C¸ETIN 1. Markov Property During the course of your studies so far you must have heard at least once that Markov processes are models for the evolution of random phenomena whose future behaviour is independent of the past given their current state. In this section we will make precise the so called Markov property in a very general context although very soon we will restrict our selves to the class of `regular' Markov processes. As usual we start with a probability space (Ω; F;P ). Let T = [0; 1) and E be a locally compact separable metric space. We will denote the Borel σ-field of E with E . Recall that the d-dimensional Euclidean space Rd is a particular case of E that appears very often in applications. For each t 2 T, let Xt(!) = X(t; !) be a function from Ω to E such that it is F=E - −1 measurable, i.e. Xt (A) 2 F for every A 2 E . Note that when E = R this corresponds to the familiar case of Xt being a real random variable for every t 2 T. Under this setup X = (Xt)t2T is called a stochastic process. We will now define two σ-algebras that are crucial in defining the Markov property. Let 0 0 Ft = σ(Xs; s ≤ t); Ft = σ(Xu; u ≥ t): 0 0 Observe that Ft contains the history of X until time t while Ft is the future evolution of X 0 after time t.
    [Show full text]
  • Geometric Ergodicity of the Random Walk Metropolis with Position-Dependent Proposal Covariance
    mathematics Article Geometric Ergodicity of the Random Walk Metropolis with Position-Dependent Proposal Covariance Samuel Livingstone Department of Statistical Science, University College London, London WC1E 6BT, UK; [email protected] Abstract: We consider a Metropolis–Hastings method with proposal N (x, hG(x)−1), where x is the current state, and study its ergodicity properties. We show that suitable choices of G(x) can change these ergodicity properties compared to the Random Walk Metropolis case N (x, hS), either for better or worse. We find that if the proposal variance is allowed to grow unboundedly in the tails of the distribution then geometric ergodicity can be established when the target distribution for the algorithm has tails that are heavier than exponential, in contrast to the Random Walk Metropolis case, but that the growth rate must be carefully controlled to prevent the rejection rate approaching unity. We also illustrate that a judicious choice of G(x) can result in a geometrically ergodic chain when probability concentrates on an ever narrower ridge in the tails, something that is again not true for the Random Walk Metropolis. Keywords: Monte Carlo; MCMC; Markov chains; computational statistics; bayesian inference 1. Introduction Markov chain Monte Carlo (MCMC) methods are techniques for estimating expecta- Citation: Livingstone, S. Geometric tions with respect to some probability measure p(·), which need not be normalised. This is Ergodicity of the Random Walk done by sampling a Markov chain which has limiting distribution p(·), and computing Metropolis with Position-Dependent empirical averages. A popular form of MCMC is the Metropolis–Hastings algorithm [1,2], Proposal Covariance.
    [Show full text]