On the Total Variation Distance of Labelled Markov Chains
|
|
- Avis Wilkinson
- 5 years ago
- Views:
Transcription
1 On the Total Variation Distance of Labelled Markov Chains Taolue Chen Stefan Kiefer Middlesex University London, UK University of Oxford, UK CSL-LICS, Vienna 4 July 04
2 Labelled Markov Chains (LMCs) a c 4 c An LMC generates infinite words randomly. 4 b Pr({abacccc...}) = 4 4 = 64 Pr({a}Σ ω ) = Pr({b}Σ ω ) = 4 Pr( eventually only c ) = Pr assigns a measurable event E Σ ω a probability [0, ]. E Σ ω could be defined by an LTL formula.
3 Labelled Markov Chains (LMCs) a c 4 a c 4 c 4 c 4 b b Pr ({accc...}) = 4 = 8 Pr ({accc...}) = 4 4 = 6 The two LMCs are not equivalent and have positive distance. TV-distance d(pr, Pr ) := max E Σ ω Pr (E) Pr (E) How large can Pr (E) Pr (E) get?
4 Labelled Markov Chains (LMCs) a c 4 a c 4 c 4 c 4 b b Pr ({accc...}) = 4 = 8 Pr ({accc...}) = 4 4 = 6 The two LMCs are not equivalent and have positive distance. TV-distance d(pr, Pr ) := max E Σ ω Pr (E) Pr (E) How large can Pr (E) Pr (E) get? No larger than 5 6 <.
5 Digression: Total Variation Distance Pr Taolue Pr Stefan ({ }) ({ }) Pr Taolue Pr Stefan = 0. Pr Taolue Pr Stefan = 0. Pr Taolue, Pr Stefan, ({ }) ({ }) Pr Taolue Pr Stefan = 0. = 0.
6 What is the Maximising Event? a c 4 a c 4 c 4 c 4 b b d(pr, Pr ) := max E Σ ω Pr (E) Pr (E) d(pr, Pr ) = Pr (E) Pr (E) holds for E = {wccc... w {a, b}, # a (w) # b (w)} E is a maximising event It s not clear that there is always a maximising event.
7 More Careful Definition d(pr, Pr ) := max E Σ ω Pr (E) Pr (E)
8 More Careful Definition d(pr, Pr ) := max E Σ ω Pr (E) Pr (E) d(pr, Pr ) := sup E Σ ω Pr (E) Pr (E)
9 More Careful Definition d(pr, Pr ) := max E Σ ω Pr (E) Pr (E) d(pr, Pr ) := sup E Σ ω Pr (E) Pr (E) Technically, E ranges only over the measurable subsets of Σ ω (still uncountably many such events E).
10 More Careful Definition d(pr, Pr ) := max E Σ ω Pr (E) Pr (E) d(pr, Pr ) := sup E Σ ω Pr (E) Pr (E) Technically, E ranges only over the measurable subsets of Σ ω (still uncountably many such events E). Proposition (Existence of a Maximising Event) There is an event E Σ ω with d(pr, Pr ) = Pr (E) Pr (E). d(pr, Pr ) := max E Σ ω Pr (E) Pr (E)
11 The Distance Can Be Irrational. a c 4 a c 4 c 4 c 4 b b d(pr, Pr ) := max E Σ ω Pr (E) Pr (E) d(pr, Pr ) = Pr (E) Pr (E) = /4 holds for E = {wccc... w {a, b}, # a (w) # b (w)}
12 Example for Distance 3 b 3 a 3 a 3 b The LMC is very symmetric. Both states enable all runs. But d(pr, Pr ) =. What is the maximising event? b a a b b a a b b a b a b a b b
13 Example for Distance 3 b 3 a 3 a 3 b The LMC is very symmetric. Both states enable all runs. But d(pr, Pr ) =. What is the maximising event? b a a b b a a b b a b a b a b b
14 Example for Distance 3 b 3 a 3 a 3 b The LMC is very symmetric. Both states enable all runs. But d(pr, Pr ) =. What is the maximising event? b a a b b a a b b a b a b a b b b b a b 0 Let E = this sequence converges to 3. Then: Pr (E) = and Pr (E) =
15 Example for Distance 3 b 3 a 3 a 3 b The LMC is very symmetric. Both states enable all runs. But d(pr, Pr ) =. What is the maximising event? b a a b b a a b b a b a b a b b b b a b 0 Let E = this sequence converges to 3. Then: Pr (E) = and Pr (E) = 0 There is no ω-regular maximising event
16 A Maximising Event: Intuition Pr Taolue ({ Pr Taolue Pr Stefan , }) Pr Stefan ({, }) = 0. For LMCs, define L(w) := Pr (w) Pr (w) Maybe E = {w Σ ω L(w) } is a maximising event?
17 A Maximising Event: Intuition Pr Taolue ({ Pr Taolue Pr Stefan , }) Pr Stefan ({, }) = 0. For LMCs, define L(w) := Pr (w) Pr (w) Maybe E = {w Σ ω L(w) } is a maximising event? Redefine L(w)...
18 A Maximising Event 3 b 3 a 3 a 3 b Fix a run w = a a a 3 Σ ω. For every k N define a nonnegative value: L k (w) := Pr (a a k Σ ω ) Pr (a a k Σ ω ) If the run w is produced randomly (by the first LMC), L, L,... is a sequence of random variables.
19 A Maximising Event The sequence L, L,... is a nonnegative martingale. = Martingale Convergence Theorem applies. = L := lim k L k exists almost surely. (L is a random variable.) Theorem (A Generic Maximising Event) Define E := {w Σ ω L(w) }. Then d(pr, Pr ) = Pr (E) Pr (E).
20 Approximation: Lower Bound a 4 a b b 3 4 b d(pr, Pr ) := max E Σ ω Pr (E) Pr (E) Fix k N. Idea: consider only events definable by the length-k prefix. I.e., define d k (Pr, Pr ) := max W Σ k Pr (W Σ ω ) Pr (W Σ ω ). Proposition For all k N: d k (Pr, Pr ) d k+ (Pr, Pr ) d (Pr, Pr ) = d(pr, Pr )
21 Approximation: Upper Bound a 4 a b b 3 4 b (, 0, 0) (0, 0, ) 0 =: con(0) a b (, 0, 0) (0, 0, 4 ) (0,, 0) (0, 3 4, 0) =: con() a b a b ( 4, 0, 0) (0, 0, 6 ) (0, 4, 0) (0, 3 6, 0) (0, 0, 0) (0, 0, 0) (0,, 0) (0, 3 4, 0) =: con()
22 Approximation: Upper Bound This defines an increasing sequence: 0 con(0) con()... con( ) = d(pr, Pr ) In general, define con(k) using equivalent distributions rather than equal states.
23 Approximation: Upper Bound This defines an increasing sequence: 0 con(0) con()... con( ) = d(pr, Pr ) In general, define con(k) using equivalent distributions rather than equal states. Theorem Given ε > 0, one can compute x Q with d(pr, Pr ) [x, x + ε]. Open: convergence speed
24 The Distance- Problem: Deniability Taolue: Stefan: Task for NSA: { distinguish those} guys! ω Is there E,, with Pr Taolue (E) = and Pr Stefan (E) = 0?
25 The Distance- Problem: Deniability Taolue: Stefan: Task for NSA: { distinguish those} guys! ω Is there E,, with Pr Taolue (E) = and Pr Stefan (E) = 0? If not, Taolue can plausibly deny that he is Taolue.
26 The Distance- Problem a 4 a b b 3 4 b (, 0, 0) (0, 0, ) 0 =: con(0) a b (, 0, 0) (0, 0, 4 ) (0,, 0) (0, 3 4, 0) =: con() a b a b ( 4, 0, 0) (0, 0, 6 ) (0, 4, 0) (0, 3 6, 0) (0, 0, 0) (0, 0, 0) (0,, 0) (0, 3 4, 0) =: con() The distance is < k N : con(k) > 0
27 The Distance- Problem: in PSPACE a (, 0, 0) (0, 0, ) b a ( 4, 0, 0) (0, 0, 6 ) (, 0, 0) (0, 0, 4 ) b (0, 4, 0) (0, 3 6, 0) a (0, 0, 0) (0, 0, 0) (0,, 0) (0, 3 4, 0) b (0,, 0) (0, 3 4, 0) = µ bb = µ bb The distance is < u Σ : µ u and µu overlap. It suffices to check words u of length at most Q. PSPACE algorithm: guess a word u Σ Q and check if µ u, µu overlap.
28 The Distance- Problem: in P To get a polynomial-time algorithm: Generalise distance between states to distance between state distributions. Exploit structural properties of the generalised notion: Lemma d(π, π ) = 0 = q supp(π ) : d(q, π ) < d(π, π ) < = q supp(π ) : d(q, π ) <
29 The Distance- Problem: in P To get a polynomial-time algorithm: Generalise distance between states to distance between state distributions. Exploit structural properties of the generalised notion: Lemma d(π, π ) = 0 = q supp(π ) : d(q, π ) < d(π, π ) < = q supp(π ) : d(q, π ) < 3 Exploit previous work on LMC equivalence and use linear programming. Theorem (Distance- Problem) One can decide in polynomial time whether the distance between two LMCs is.
30 Threshold Problem Threshold Problem Input: LMCs and threshold τ [0, ] Output: Is d(pr, Pr ) τ? Square-Root-Sum Problem Input: s,..., s n N and t N Output: Is n i= si t? The Square-Root-Sum problem is not known to be in NP.
31 Threshold Problem Threshold Problem Input: LMCs and threshold τ [0, ] Output: Is d(pr, Pr ) τ? Square-Root-Sum Problem Input: s,..., s n N and t N Output: Is n i= si t? The Square-Root-Sum problem is not known to be in NP. Theorem The Threshold Problem is NP-hard. The Threshold Problem is hard for the Square-Root-Sum Problem.
32 LMC with Parameters a b ( + x)b ( x)b a ( x)a ( + x)a ( θ )a θ a θ b ( θ )b b
33 Distance as Function in x θ = 3 d θ (x) x d θ (x)
34 Distance as Function in x θ = 3 d θ (x) x d θ (x)
35 Bernoulli-Convolutions d θ (x) (rescaled) is the cumulative distribution function of i=0 X i θ i with Pr(X i = ) = Pr(X i = +) = Bernoulli convolutions : studied since the 930s θ > : d θ is either absolutely continuous or singular. is the (ternary) Cantor function. d 3 For almost all θ (, ]: d θ is absolutely continuous. If θ is a Pisot number, then d θ is singular. [Erdős, 939] It is open, e.g., whether d 3/ is absolutely continuous.
36 Related Work: Bisimilarity Pseudometric b a b a c c a LMCs are (trace) equivalent, but not bisimilar. More precisely: TV-distance is 0, but bisimilarity distance is. [D. Chen, F. van Breugel, J. Worrell, FoSSaCS ]: TV-distance bisimilarity distance
37 Results and Open Problems Positive Results: There is a maximising event. The distance can be approximated within arbitrary precision. The distance- problem is in P. Negative Results: The maximising event may not be ω-regular. The threshold problem is NP-hard and hard for square-root-sum. The distance is related to Bernoulli convolutions. Open Questions: Efficient approximation? Is the threshold problem decidable?
38 Pisot Number: Definition A Pisot number is a real algebraic integer greater than such that all its Galois conjugates are less than in absolute value. Smallest Pisot number (.347): the real root of x 3 x Another one is the golden ratio
39 Motivation: Efficient Model Checking similar LMCs M,..., M n (ω-regular) events E,..., E m want: bounds on Pr i (E j ) for all i, j Assume d(pr, Pr i ) ε for all i n. Then by definition i j : Pr i (E j ) [Pr (E j ) ε, Pr (E j ) + ε]
Converging from Branching to Linear Metrics for Weighted Transition Systems
Converging from Branching to Linear Metrics for Weighted Transition Systems Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, and Radu Mardare Dept. Computer Science, Aalborg University WATA 2016 1/24 Motivations
More informationOn-the-Fly Exact Computation of Bisimilarity Distances
On-the-Fly Exact Computation of Bisimilarity Distances Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare Dept. of Computer Science, Aalborg University Quantitative Models: Expressiveness, Analysis,
More informationMultifractal analysis of Bernoulli convolutions associated with Salem numbers
Multifractal analysis of Bernoulli convolutions associated with Salem numbers De-Jun Feng The Chinese University of Hong Kong Fractals and Related Fields II, Porquerolles - France, June 13th-17th 2011
More informationStat 451: Solutions to Assignment #1
Stat 451: Solutions to Assignment #1 2.1) By definition, 2 Ω is the set of all subsets of Ω. Therefore, to show that 2 Ω is a σ-algebra we must show that the conditions of the definition σ-algebra are
More informationTaking the Convoluted out of Bernoulli. Bernoulli Convolutions: A Combinatorial Approach
Taking the Convoluted out of Bernoulli Convolutions A Combinatorial Approach Additive Combinatorics Mini-Conference Georgia Tech June 26, 2010 Neil Calkin, Julia Davis,, Zebediah Engberg, Jobby Jacob,
More informationRandom walks on Z with exponentially increasing step length and Bernoulli convolutions
Random walks on Z with exponentially increasing step length and Bernoulli convolutions Jörg Neunhäuserer University of Hannover, Germany joerg.neunhaeuserer@web.de Abstract We establish a correspondence
More informationLecture 20 : Markov Chains
CSCI 3560 Probability and Computing Instructor: Bogdan Chlebus Lecture 0 : Markov Chains We consider stochastic processes. A process represents a system that evolves through incremental changes called
More informationTHE REAL NUMBERS Chapter #4
FOUNDATIONS OF ANALYSIS FALL 2008 TRUE/FALSE QUESTIONS THE REAL NUMBERS Chapter #4 (1) Every element in a field has a multiplicative inverse. (2) In a field the additive inverse of 1 is 0. (3) In a field
More informationUniversity of Sheffield. School of Mathematics & and Statistics. Measure and Probability MAS350/451/6352
University of Sheffield School of Mathematics & and Statistics Measure and Probability MAS350/451/6352 Spring 2018 Chapter 1 Measure Spaces and Measure 1.1 What is Measure? Measure theory is the abstract
More informationLet (Ω, F) be a measureable space. A filtration in discrete time is a sequence of. F s F t
2.2 Filtrations Let (Ω, F) be a measureable space. A filtration in discrete time is a sequence of σ algebras {F t } such that F t F and F t F t+1 for all t = 0, 1,.... In continuous time, the second condition
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationRational numbers with purely periodic beta-expansion. Boris Adamczeswki, C. Frougny, A. Siegel, W.Steiner
Rational numbers with purely periodic beta-expansion Boris Adamczeswki, C. Frougny, A. Siegel, W.Steiner Fractals, Tilings, and Things? Fractals, Tilings, and Things? Number theory : expansions in several
More informationSTAT 7032 Probability Spring Wlodek Bryc
STAT 7032 Probability Spring 2018 Wlodek Bryc Created: Friday, Jan 2, 2014 Revised for Spring 2018 Printed: January 9, 2018 File: Grad-Prob-2018.TEX Department of Mathematical Sciences, University of Cincinnati,
More informationSpring 2014 Advanced Probability Overview. Lecture Notes Set 1: Course Overview, σ-fields, and Measures
36-752 Spring 2014 Advanced Probability Overview Lecture Notes Set 1: Course Overview, σ-fields, and Measures Instructor: Jing Lei Associated reading: Sec 1.1-1.4 of Ash and Doléans-Dade; Sec 1.1 and A.1
More informationThe main results about probability measures are the following two facts:
Chapter 2 Probability measures The main results about probability measures are the following two facts: Theorem 2.1 (extension). If P is a (continuous) probability measure on a field F 0 then it has a
More informationModel Counting for Logical Theories
Model Counting for Logical Theories Wednesday Dmitry Chistikov Rayna Dimitrova Department of Computer Science University of Oxford, UK Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern
More informationProbabilistic Bisimilarity as Testing Equivalence
Probabilistic Bisimilarity as Testing Equivalence Yuxin Deng a,, Yuan Feng b a Shanghai Key Laboratory of Trustworthy Computing, MOE International Joint Lab of Trustworthy Software, and International Research
More informationComputable structures and operations on the space of continuous functions
F U N D A M E N T A MATHEMATICAE Online First version Computable structures and operations on the space of continuous functions by Alexander G. Melnikov (Auckland) and Keng Meng Ng (Singapore) Abstract.
More informationAnalysis of Algorithms I: Perfect Hashing
Analysis of Algorithms I: Perfect Hashing Xi Chen Columbia University Goal: Let U = {0, 1,..., p 1} be a huge universe set. Given a static subset V U of n keys (here static means we will never change the
More informationTemporal logics and model checking for fairly correct systems
Temporal logics and model checking for fairly correct systems Hagen Völzer 1 joint work with Daniele Varacca 2 1 Lübeck University, Germany 2 Imperial College London, UK LICS 2006 Introduction Five Philosophers
More informationSome techniques and results in deciding bisimilarity
Some techniques and results in deciding bisimilarity Petr Jančar Dept of Computer Science Technical University Ostrava (FEI VŠB-TU) Czech Republic www.cs.vsb.cz/jancar Talk at the Verification Seminar,
More informationA Survey of Partial-Observation Stochastic Parity Games
Noname manuscript No. (will be inserted by the editor) A Survey of Partial-Observation Stochastic Parity Games Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger the date of receipt and acceptance
More informationC.7. Numerical series. Pag. 147 Proof of the converging criteria for series. Theorem 5.29 (Comparison test) Let a k and b k be positive-term series
C.7 Numerical series Pag. 147 Proof of the converging criteria for series Theorem 5.29 (Comparison test) Let and be positive-term series such that 0, for any k 0. i) If the series converges, then also
More informationRandom Variable. Pr(X = a) = Pr(s)
Random Variable Definition A random variable X on a sample space Ω is a real-valued function on Ω; that is, X : Ω R. A discrete random variable is a random variable that takes on only a finite or countably
More informationRatio and Weight Objectives in Annotated Markov Chains
Technische Universität Dresden - Faculty of Computer Science Chair of Algebraic and Logical Foundations of Computer Science Diploma Thesis Ratio and Weight Objectives in Annotated Markov Chains Jana Schubert
More informationReachability Problems for Continuous Linear Dynamical Systems
Reachability Problems for Continuous Linear Dynamical Systems James Worrell Department of Computer Science, Oxford University (Joint work with Ventsislav Chonev and Joël Ouaknine) CONCUR September 2nd
More informationA Lower Bound for the Size of Syntactically Multilinear Arithmetic Circuits
A Lower Bound for the Size of Syntactically Multilinear Arithmetic Circuits Ran Raz Amir Shpilka Amir Yehudayoff Abstract We construct an explicit polynomial f(x 1,..., x n ), with coefficients in {0,
More informationDynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor)
Dynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor) Matija Vidmar February 7, 2018 1 Dynkin and π-systems Some basic
More informationAnswers to the CSCE 551 Final Exam, April 30, 2008
Answers to the CSCE 55 Final Exam, April 3, 28. (5 points) Use the Pumping Lemma to show that the language L = {x {, } the number of s and s in x differ (in either direction) by at most 28} is not regular.
More information7.1 Coupling from the Past
Georgia Tech Fall 2006 Markov Chain Monte Carlo Methods Lecture 7: September 12, 2006 Coupling from the Past Eric Vigoda 7.1 Coupling from the Past 7.1.1 Introduction We saw in the last lecture how Markov
More informationCorrespondence Principles for Effective Dimensions
Correspondence Principles for Effective Dimensions John M. Hitchcock Department of Computer Science Iowa State University Ames, IA 50011 jhitchco@cs.iastate.edu Abstract We show that the classical Hausdorff
More informationLecture Learning infinite hypothesis class via VC-dimension and Rademacher complexity;
CSCI699: Topics in Learning and Game Theory Lecture 2 Lecturer: Ilias Diakonikolas Scribes: Li Han Today we will cover the following 2 topics: 1. Learning infinite hypothesis class via VC-dimension and
More informationRENEWAL THEORY STEVEN P. LALLEY UNIVERSITY OF CHICAGO. X i
RENEWAL THEORY STEVEN P. LALLEY UNIVERSITY OF CHICAGO 1. RENEWAL PROCESSES A renewal process is the increasing sequence of random nonnegative numbers S 0,S 1,S 2,... gotten by adding i.i.d. positive random
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 3 9/10/2008 CONDITIONING AND INDEPENDENCE
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 3 9/10/2008 CONDITIONING AND INDEPENDENCE Most of the material in this lecture is covered in [Bertsekas & Tsitsiklis] Sections 1.3-1.5
More informationON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS
ARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), 151 158 ON THE LIMIT POINTS OF THE FRACTIONAL PARTS OF POWERS OF PISOT NUMBERS ARTŪRAS DUBICKAS Abstract. We consider the sequence of fractional parts {ξα
More informationParity Objectives in Countable MDPs
Parity Objectives in Countable MDPs Stefan Kiefer Richard Mayr Mahsa Shirmohammadi Dominik Wojtczak LICS 07, Reykjavik 0 June 07 Kiefer, Mayr, Shirmohammadi, Wojtczak Parity Objectives in Countable MDPs
More informationReachability Problems for Continuous Linear Dynamical Systems
Reachability Problems for Continuous Linear Dynamical Systems James Worrell Department of Computer Science, Oxford University (Joint work with Ventsislav Chonev and Joël Ouaknine) FICS 2015 September 12th,
More informationMATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets
MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course
More informationThe theory of regular cost functions.
The theory of regular cost functions. Denis Kuperberg PhD under supervision of Thomas Colcombet Hebrew University of Jerusalem ERC Workshop on Quantitative Formal Methods Jerusalem, 10-05-2013 1 / 30 Introduction
More informationTowards Trace Metrics via Functor Lifting
Towards Trace Metrics via Functor Lifting Paolo Baldan 1,Filippo Bonchi 2, Henning Kerstan 3 and Barbara König 3 1 Università di Padova, Italy 2 CNRS, ENS Lyon, Université de Lyon, France 3 Universität
More informationMarkov chains. Randomness and Computation. Markov chains. Markov processes
Markov chains Randomness and Computation or, Randomized Algorithms Mary Cryan School of Informatics University of Edinburgh Definition (Definition 7) A discrete-time stochastic process on the state space
More informationUniversal probability-free conformal prediction
Universal probability-free conformal prediction Vladimir Vovk and Dusko Pavlovic March 20, 2016 Abstract We construct a universal prediction system in the spirit of Popper s falsifiability and Kolmogorov
More informationFourier Bases on Fractals
Fourier Bases on Fractals Keri Kornelson University of Oklahoma - Norman February Fourier Talks February 21, 2013 K. Kornelson (U. Oklahoma) Fractal Fourier Bases FFT 02/21/2013 1 / 21 Coauthors This is
More informationDecidable and Expressive Classes of Probabilistic Automata
Decidable and Expressive Classes of Probabilistic Automata Yue Ben a, Rohit Chadha b, A. Prasad Sistla a, Mahesh Viswanathan c a University of Illinois at Chicago, USA b University of Missouri, USA c University
More informationRandom measures, intersections, and applications
Random measures, intersections, and applications Ville Suomala joint work with Pablo Shmerkin University of Oulu, Finland Workshop on fractals, The Hebrew University of Jerusalem June 12th 2014 Motivation
More informationTheorem 2.1 (Caratheodory). A (countably additive) probability measure on a field has an extension. n=1
Chapter 2 Probability measures 1. Existence Theorem 2.1 (Caratheodory). A (countably additive) probability measure on a field has an extension to the generated σ-field Proof of Theorem 2.1. Let F 0 be
More informationExistence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets
Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R
More informationReal Variables: Solutions to Homework 3
Real Variables: Solutions to Homework 3 September 3, 011 Exercise 0.1. Chapter 3, # : Show that the cantor set C consists of all x such that x has some triadic expansion for which every is either 0 or.
More informationThree hours THE UNIVERSITY OF MANCHESTER. 24th January
Three hours MATH41011 THE UNIVERSITY OF MANCHESTER FOURIER ANALYSIS AND LEBESGUE INTEGRATION 24th January 2013 9.45 12.45 Answer ALL SIX questions in Section A (25 marks in total). Answer THREE of the
More informationLecture 17 Brownian motion as a Markov process
Lecture 17: Brownian motion as a Markov process 1 of 14 Course: Theory of Probability II Term: Spring 2015 Instructor: Gordan Zitkovic Lecture 17 Brownian motion as a Markov process Brownian motion is
More informationMeasures. Chapter Some prerequisites. 1.2 Introduction
Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques
More informationMeasure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India
Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,
More informationPlaying Stochastic Games Precisely
Playing Stochastic Games Precisely Taolue Chen 1, Vojtěch Forejt 1, Marta Kwiatkowska 1, Aistis Simaitis 1, Ashutosh Trivedi 2, and Michael Ummels 3 1 Department of Computer Science, University of Oxford,
More informationLecture 12. F o s, (1.1) F t := s>t
Lecture 12 1 Brownian motion: the Markov property Let C := C(0, ), R) be the space of continuous functions mapping from 0, ) to R, in which a Brownian motion (B t ) t 0 almost surely takes its value. Let
More informationA Direct Proof of the Bichteler-Dellacherie Theorem and Connections to Arbitrage
A Direct Proof of the Bichteler-Dellacherie Theorem and Connections to Arbitrage Bezirgen Veliyev, University of Vienna (joint with Mathias Beiglböck and Walter Schachermayer) August 23, 2010 Paris, European
More informationFunctions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B.
Chapter 4 Functions Definition 1 Let A and B be sets. A relation between A and B is any subset of A B. Definition 2 Let A and B be sets. A function from A to B is a relation f between A and B such that
More informationThe strictly 1/2-stable example
The strictly 1/2-stable example 1 Direct approach: building a Lévy pure jump process on R Bert Fristedt provided key mathematical facts for this example. A pure jump Lévy process X is a Lévy process such
More informationThe Target Discounted-Sum Problem
The Target Discounted-Sum Problem Udi Boker The Interdisciplinary Center (IDC), Herzliya, Israel Email: udiboker@idc.ac.il Thomas A. Henzinger and Jan Otop IST Austria Klosterneuburg, Austria Email: {tah,
More informationErgodic Theorems. Samy Tindel. Purdue University. Probability Theory 2 - MA 539. Taken from Probability: Theory and examples by R.
Ergodic Theorems Samy Tindel Purdue University Probability Theory 2 - MA 539 Taken from Probability: Theory and examples by R. Durrett Samy T. Ergodic theorems Probability Theory 1 / 92 Outline 1 Definitions
More informationi=1 β i,i.e. = β 1 x β x β 1 1 xβ d
66 2. Every family of seminorms on a vector space containing a norm induces ahausdorff locally convex topology. 3. Given an open subset Ω of R d with the euclidean topology, the space C(Ω) of real valued
More informationValue Iteration. 1 Introduction. Krishnendu Chatterjee 1 and Thomas A. Henzinger 1,2
Value Iteration Krishnendu Chatterjee 1 and Thomas A. Henzinger 1,2 1 University of California, Berkeley 2 EPFL, Switzerland Abstract. We survey value iteration algorithms on graphs. Such algorithms can
More informationP (A G) dp G P (A G)
First homework assignment. Due at 12:15 on 22 September 2016. Homework 1. We roll two dices. X is the result of one of them and Z the sum of the results. Find E [X Z. Homework 2. Let X be a r.v.. Assume
More informationRENEWAL THEORY STEVEN P. LALLEY UNIVERSITY OF CHICAGO. X i
RENEWAL THEORY STEVEN P. LALLEY UNIVERSITY OF CHICAGO 1. RENEWAL PROCESSES A renewal process is the increasing sequence of random nonnegative numbers S 0,S 1,S 2,... gotten by adding i.i.d. positive random
More informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
More informationChapter One. The Real Number System
Chapter One. The Real Number System We shall give a quick introduction to the real number system. It is imperative that we know how the set of real numbers behaves in the way that its completeness and
More informationarxiv: v1 [math.pr] 26 Mar 2008
arxiv:0803.3679v1 [math.pr] 26 Mar 2008 The game-theoretic martingales behind the zero-one laws Akimichi Takemura 1 takemura@stat.t.u-tokyo.ac.jp, http://www.e.u-tokyo.ac.jp/ takemura Vladimir Vovk 2 vovk@cs.rhul.ac.uk,
More information9. Integral Ring Extensions
80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationHitting Probabilities
Stat25B: Probability Theory (Spring 23) Lecture: 2 Hitting Probabilities Lecturer: James W. Pitman Scribe: Brian Milch 2. Hitting probabilities Consider a Markov chain with a countable state space S and
More informationA CS look at stochastic branching processes
A computer science look at stochastic branching processes T. Brázdil J. Esparza S. Kiefer M. Luttenberger Technische Universität München For Thiagu, December 2008 Back in victorian Britain... There was
More informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More informationSolution Set for Homework #1
CS 683 Spring 07 Learning, Games, and Electronic Markets Solution Set for Homework #1 1. Suppose x and y are real numbers and x > y. Prove that e x > ex e y x y > e y. Solution: Let f(s = e s. By the mean
More informationDiophantine approximation of fractional parts of powers of real numbers
Diophantine approximation of fractional parts of powers of real numbers Lingmin LIAO (joint work with Yann Bugeaud, and Micha l Rams) Université Paris-Est Numeration 2015, Nancy May 20th 2015 Lingmin LIAO,
More informationFOR PISOT NUMBERS β. 1. Introduction This paper concerns the set(s) Λ = Λ(β,D) of real numbers with representations x = dim H (Λ) =,
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 349, Number 11, November 1997, Pages 4355 4365 S 0002-9947(97)02069-2 β-expansions WITH DELETED DIGITS FOR PISOT NUMBERS β STEVEN P. LALLEY Abstract.
More information1.3 Linear Dependence & span K
( ) Conversely, suppose that every vector v V can be expressed uniquely as v = u +w for u U and w W. Then, the existence of this expression for each v V is simply the statement that V = U +W. Moreover,
More informationA MODEL FOR THE LONG-TERM OPTIMAL CAPACITY LEVEL OF AN INVESTMENT PROJECT
A MODEL FOR HE LONG-ERM OPIMAL CAPACIY LEVEL OF AN INVESMEN PROJEC ARNE LØKKA AND MIHAIL ZERVOS Abstract. We consider an investment project that produces a single commodity. he project s operation yields
More informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
More informationOn the quantiles of the Brownian motion and their hitting times.
On the quantiles of the Brownian motion and their hitting times. Angelos Dassios London School of Economics May 23 Abstract The distribution of the α-quantile of a Brownian motion on an interval [, t]
More information5 Birkhoff s Ergodic Theorem
5 Birkhoff s Ergodic Theorem Birkhoff s Ergodic Theorem extends the validity of Kolmogorov s strong law to the class of stationary sequences of random variables. Stationary sequences occur naturally even
More informationMarkov Decision Processes with Multiple Long-run Average Objectives
Markov Decision Processes with Multiple Long-run Average Objectives Krishnendu Chatterjee UC Berkeley c krish@eecs.berkeley.edu Abstract. We consider Markov decision processes (MDPs) with multiple long-run
More informationAsymmetric Information Security Games 1/43
Asymmetric Information Security Games Jeff S. Shamma with Lichun Li & Malachi Jones & IPAM Graduate Summer School Games and Contracts for Cyber-Physical Security 7 23 July 2015 Jeff S. Shamma Asymmetric
More informationDigit Frequencies and Bernoulli Convolutions
Digit Frequencies and Bernoulli Convolutions Tom Kempton November 22, 202 arxiv:2.5023v [math.ds] 2 Nov 202 Abstract It is well known that the Bernoulli convolution ν associated to the golden mean has
More informationReal Analysis - Notes and After Notes Fall 2008
Real Analysis - Notes and After Notes Fall 2008 October 29, 2008 1 Introduction into proof August 20, 2008 First we will go through some simple proofs to learn how one writes a rigorous proof. Let start
More informationarxiv: v1 [math.nt] 5 Nov 2018
Noname manuscript No. (will be inserted by the editor The conumerator Buket Eren Gökmen A. Muhammed Uludağ arxiv:8.088v [math.nt] 5 Nov 208 Received: date / Accepted: date Abstract We give an extension
More informationRENEWAL THEORY STEVEN P. LALLEY UNIVERSITY OF CHICAGO. X i
RENEWAL THEORY STEVEN P. LALLEY UNIVERSITY OF CHICAGO 1. RENEWAL PROCESSES A renewal process is the increasing sequence of random nonnegative numbers S 0,S 1,S 2,... gotten by adding i.i.d. positive random
More informationLecture Notes Introduction to Ergodic Theory
Lecture Notes Introduction to Ergodic Theory Tiago Pereira Department of Mathematics Imperial College London Our course consists of five introductory lectures on probabilistic aspects of dynamical systems,
More information18.175: Lecture 2 Extension theorems, random variables, distributions
18.175: Lecture 2 Extension theorems, random variables, distributions Scott Sheffield MIT Outline Extension theorems Characterizing measures on R d Random variables Outline Extension theorems Characterizing
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationOn the Set of Limit Points of Normed Sums of Geometrically Weighted I.I.D. Bounded Random Variables
On the Set of Limit Points of Normed Sums of Geometrically Weighted I.I.D. Bounded Random Variables Deli Li 1, Yongcheng Qi, and Andrew Rosalsky 3 1 Department of Mathematical Sciences, Lakehead University,
More informationMORE ON CONTINUOUS FUNCTIONS AND SETS
Chapter 6 MORE ON CONTINUOUS FUNCTIONS AND SETS This chapter can be considered enrichment material containing also several more advanced topics and may be skipped in its entirety. You can proceed directly
More informationOn Fixed Point Equations over Commutative Semirings
On Fixed Point Equations over Commutative Semirings Javier Esparza, Stefan Kiefer, and Michael Luttenberger Universität Stuttgart Institute for Formal Methods in Computer Science Stuttgart, Germany {esparza,kiefersn,luttenml}@informatik.uni-stuttgart.de
More informationMAGIC010 Ergodic Theory Lecture Entropy
7. Entropy 7. Introduction A natural question in mathematics is the so-called isomorphism problem : when are two mathematical objects of the same class the same (in some appropriately defined sense of
More informationMyopic Models of Population Dynamics on Infinite Networks
Myopic Models of Population Dynamics on Infinite Networks Robert Carlson Department of Mathematics University of Colorado at Colorado Springs rcarlson@uccs.edu June 30, 2014 Outline Reaction-diffusion
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationFundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales
Fundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales Prakash Balachandran Department of Mathematics Duke University April 2, 2008 1 Review of Discrete-Time
More informationThe Complexity of Ergodic Mean-payoff Games,
The Complexity of Ergodic Mean-payoff Games, Krishnendu Chatterjee Rasmus Ibsen-Jensen Abstract We study two-player (zero-sum) concurrent mean-payoff games played on a finite-state graph. We focus on the
More informationThe Locale of Random Sequences
1/31 The Locale of Random Sequences Alex Simpson LFCS, School of Informatics University of Edinburgh, UK The Locale of Random Sequences 2/31 The Application Problem in probability What is the empirical
More informationInjective semigroup-algebras
Injective semigroup-algebras J. J. Green June 5, 2002 Abstract Semigroups S for which the Banach algebra l (S) is injective are investigated and an application to the work of O. Yu. Aristov is described.
More information