Lumpability and Absorbing Markov Chains
|
|
- Melinda Houston
- 5 years ago
- Views:
Transcription
1 umbility nd Absorbing rov Chins By Ahmed A.El-Sheih Dertment of Alied Sttistics & Econometrics Institute of Sttisticl Studies & Reserch (I.S.S.R Ciro University Abstrct We consider n bsorbing rov Chin Y (t tht result of n ggregtion finite rov Chin X (t of higher dimension with resect to the rtition A nd unnown trnsition robbility mtrix (t..m P the question of whether X (t is(not lso bsorbing will be study for the lumed nd the wely lumed bsorbing rov Chin for ll (certin rtitions within isomorhic with resect to the cses ( + nd (. Secil cses will be introduced for ech cse for ech rtition. ey Words Absorbing rov Chins Aggregtion of Sttes Identifibility Problem umbility Isomorhic.. Introduction G.A. Wtterson (96 gve the theoreticl formul for the robbility distribution its generting function nd moments of the time ten to first rech n bsorbing stte of finite rov Chin (discrete time discrete sttes. Also these formuls hve been lied to n exmle ten from genetics. A.B.Volidis (985 gve the sufficient conditions for l( P A P where P is the trnsition robbility mtrix (t..m of n bsorbing rov Chin X (t nd P is the t..m of the lumed rocess Y (t which is lso n bsorbing chin. He exressed
2 the fundmentl mtrix of Y (t in terms of the fundmentl mtrix of the originl chin X (t..a.novotny (999 hs demonstrted severl dynmiclly fithful lgorithms to study homogeneous nucletion nd growth in discrete sin models which include the Constrined Trnsfer trix(ct method the Projective Dynmics(PD method nd the onte Crlo with Absorbing rov Chins (CAC method which is generliztion of the n-fold wy lgorithm. edoux nd eguesdron ( exlored how n initil distribution with resect to the lumed chin my differ from seudosttionry initil distribution. They lso illustrted the stochstic equivlence nd the cone invrince roches by chrcterizing the set of ll bsortion time distributions of finite stte bsorbing rov Chin which re geometric. E.V.Denrfo nd et l (7 discussed bsorbing rov Decision Processes (DPs which re generliztions of discounted DPs. They resented two results on slitting of rndomized sttionry olicy into mixture of nonrndomized sttionry olicies for bsorbing DPs with Borel stte nd ction sets. E.A.vn Doorn (7 considered rov Chins in continuous time with n bsorbing coffin stte nd finite set S of trnsient sttes. The limiting distribution of the chin s t conditionl on survivl u to time t chin when is nown to equl the qusi-sttionry distribution of the S is irreducible. He ddressed the roblem of generlizing this result to setting in which S my be reducible nd resented comlete solution when the eigenvlue with mximl rel rt of the genertor of the (sub rov Chin on S hs multilicity one. A rov Chin is clled n bsorbing chin if (i It hs t lest one bsorbing stte ( stte i is n bsorbing stte if nd only if P nd P for ii i j nd (ii For every stte in the chin the robbility of reching n bsorbing stte in finite number of stes is nonzero.
3 Assume tht Y (t is n bsorbing rov Chins tht result of n ggregtion finite rov Chin X (t of higher dimension under given rtition { A A Am A nd unnown trnsition robbility mtrix (t..m P with t..m P. In this er two cses will be considered: - Y (t hs one bsorbing stte nd - Y (t hs two bsorbing sttes. l( P A P So in the next sections the form of ll t..m P such tht (umed nd l( P A S P (wely lumed where S is non emty subclss of robbility vectors of the clss V of ll initil robbility vectors for ll (certin rtitions within isomorhic will be given.. The Generl Cse m n+ form: In this cse we hve just one rtition within isomorhic te the A {{{ { + A- The umed Sitution-One bsorbing stte The t..m P of the rov chin Y (t will be j P i (. The form of ll trnsition mtrices P of the rov Chin X (t of order ( + ( + such tht l( P A P will be I O P (. R T I is the identity mtrix of order ( O is the zero mtrix of order (
4 R T ( ( + ( + ( + ( + ( + ( + ( + j i +. The Secil Cse m n5 The form of the t..m P such tht l( P A P is: j P i So the form of ll t..m P will be: P j i B- The umed Sitution-Two bsorbing sttes The t..m of the lumed chin Y (t will be j P i ( (. ( The form of ll trnsition mtrices P of the rov Chin X (t of order ( + ( + such tht l( P A P will be
5 I O P (. R T I is the identity mtrix of order ( O is the zero mtrix of order ( ( R ( T ( + ( + ( + ( + ( + ( + ( ( + j i +. The Secil Cse m n5 The form of the t..m P P such tht l( P A P is: j i So the form of ll t..m P will be: P j i C- The Wely umed Sitution-One bsorbing stte In this section we generlize the solution of the identifibility roblem nd introduce the form of ll trnsition mtrices P of the rov Chin X (t of order ( + ( + such tht l( P A S P. 5
6 et + j P ( + ( + ( + ( + ( + ( + i + The t..m P of the rov chin (.5 Y (t will te the sme form s in (.. So the form of ll trnsition mtrices P of the rov Chin X (t will be I is the identity mtrix of order ( O is the zero mtrix of order ( R ( + ( + ( I O P (.6 R T T ( + ( + ( + ( ( + ( +. The Secil Cse m n The form of the t..m P such tht ( nd + ( + ( + ( + & ( ( + ( + l( P A S P is: j ( + j P So the form of ll t..m P will be: 6
7 P ( nd D- The Wely umed Sitution-Two bsorbing sttes The form of ll trnsition mtrices P of the rov Chin X (t of order ( + ( + where l( P A S P will be the sme s in (.5. Also j j the t..m P of the rov chin will te the sme form s in (.. Y (t So the form of ll trnsition mtrices P of the rov Chin X (t will be I O P (.7 R T I is the identity mtrix of order ( O is the zero mtrix of order ( ( R ( + ( + ( ( + ( + ( nd + & T ( + ( + ( + ( + ( + ( + ( ( ( + ( ( + ( + ( + j ( + j 7
8 . The Secil Cse m n The form of the t..m P such tht l( P A S P is: P j i So the form of ll t..m P will be: P. The Generl Cse m n ( nd In this section the solution of the identifibility roblem will be generlized nd the forms of ll t..m P where l( P A P nd when l( P A S P for certin rtitions within isomorhic will be introduced. The rtitions re: The t..m - { {... A { { -... A P of the rov chin Y (t will be: j j P b (. b & b b A- The umed Sitution-One bsorbing stte The t..m of the rov chin Y (t will be P b b (. 8
9 b b The rtition {{{... A The form of ll trnsition mtrices P of the rov Chin X (t of order ( where l( P A P will be I O P (. R T I is the identity mtrix of order ( O is the zero mtrix of order ( b b R b ( T b b b b b b b b b ( ( i j. The Secil Cse m n The form of ll t..m P will be: b P b b b b b b b b b b b j i The rtition { {... A The form of ll trnsition mtrices P of the rov Chin X (t of order ( where l( P A P will be Α Α O P (. Β C j i 9
10 O is the zero mtrix of order ( b b b b Β b b ( j i C b b b b b b b b b ( ( j i. The Secil Cse m n The form of ll t..m P will be: j P b b i & b b b b b b j i & j i B- The umed Sitution-Two bsorbing sttes The t..m of the rov chin The rtition {{{... A Y (t will be P (.5 The form of ll trnsition mtrices P of the rov Chin X (t of order ( where l( P A P will be
11 I O P (.6 t O T I is the identity mtrix of order ( O is the zero mtrix of order ( T ( ( j i. The Secil Cse m n The form of ll t..m P will be: P j i The rtition { {... A The form of ll trnsition mtrices P of the rov Chin X (t of order ( where l( P A P will be Α O P (.7 t O C Α j i O is the zero mtrix of order (
12 C ( ( j i. The Secil Cse m n5 The form of ll t..m P P will be: j i & j i C- The Wely umed Sitution-One bsorbing stte In this section the solution of the identifibility roblem nd the form of ll trnsition mtrices P of the rov Chin X (t of order ( where l( P A S P cn be considered s secil cse of A.A.El-Sheih (7. The t..m P of the rov chin Y (t will te the sme form s in (.. The rtition {{{... A The form of ll trnsition mtrices P of the rov Chin X (t of order ( where l( P A S P will be I O P (.8 R T I is the identity mtrix of order ( O is the zero mtrix of order (
13 R T ( ( ( ( ( ( ( b ( b i ( i+ i ( i+ i i ( b i ( i+ i j j (.5 The Secil Cse m n The form of ll t..m P will be: P b i i ( i+ ( b ( b j ( j The rtition { {... A The form of ll trnsition mtrices P of the rov Chin X (t of order ( where l( P A S P will be Α O P (.9 Β C Α + nd + O is the zero mtrix of order (
14 Β C ( ( ( ( ( ( ( ( ( b i ( i+ i nd b ( b i ( i+ i ( i+ i i j j & i ( i.6 The Secil Cse m n The form of ll t..m P will be: P nd will be the sme s bove nd b b ( b j j & i ( i D- The Wely umed Sitution-Two bsorbing sttes The solution of the identifibility roblem nd the form of ll trnsition mtrices P of the rov Chin X (t of order ( where l( P A S P The t..m is considered s secil cse of A.A. El-Sheih (7. P of the rov chin Y (t will te the sme form s in (.5. The rtition {{{... A The form of ll trnsition mtrices P of the rov Chin X (t of order ( where l( P A S P will be
15 I O P (. t O T I is the identity mtrix of order ( O is the zero mtrix of order ( T ( ( ( ( ( ( i ( i+ i ( i i ( i+ j ( j.7 The Secil Cse m n The form of ll t..m ( ( P will be: P ( The rtition { {... A nd j j The form of ll trnsition mtrices P of the rov Chin X (t of order ( where l( P A S P will be Α Α O P (. t O C + nd + 5
16 O is the zero mtrix of order ( C ( ( ( ( ( ( nd ( i ( i+ i j j & i ( i.8 The Secil Cse m n The form of ll t..m P will be: P nd will be the sme s bove nd ( nd & i ( i. Summry In this er we considered the question of whether the originl finite rov Chin X (t will be bsorbing chin if the lumed or the wely lumed rov Chin Y (t ws bsorbing in cse of hving one (two bsorbing sttes for ll (certin rtitions within isomorhic with resect to the cses ( + nd (. First for the generl cse ( + there is only one rtition within isomorhic so we reresented the trnsition robbility mtrix P of X (t s mtrix of rtition mtrices with different dimensions ccording to the number of bsorbing sttes. It cn be shown tht the originl rov Chin X (t will be lso bsorbing with the sme number 6
17 of bsorbing sttes whether the bsorbing rov Chin Y (t lumed or wely lumed. Second for the cse ( the roblem hs been studied for certin rtitions within isomorhic nd gin the t..m P of rov Chin X (t hs been reresented s mtrix of rtitioned mtrices ccording to the rtition within isomorhic number of bsorbing sttes nd whether Y (t lumed or wely lumed bsorbing rov Chin. The t..m P of the lumed (wely lumed Y (t will te the form of the identity mtrix I ( if there exist two bsorbing sttes nd s result the cse of two bsorbing sttes cn be considered s secil cse of one bsorbing stte. With resect to the rtition A the rov Chin X (t will be bsorbing including just one bsorbing stte whether the number of bsorbing sttes of the lumed (wely lumed rov Chin one or two sttes nd this result cn be exlined by the nture of the rtition A {{{... where there is one stte in the first clss nd the remining sttes in the second clss. X (t According to the rtition A { {... Y (t the rov Chin will not be bsorbing whtever the number of bsorbing sttes of the lumed (wely lumed rov Chin Y (t where there is two sttes in the first clss nd the remining sttes in the second clss. Finlly it cn be seen tht if Y (t bsorbing chin (lumed or wely lumed the originl chin X (t my or my not be lso bsorbing deending on mny resons such s the cse under study the number of bsorbing sttes nd the rtition within isomorhic. A ossible future wor ln is to discuss the generl cse if we hve bsorbing sttes of the rov Chin Y (t nd see under wht conditions the originl rov chin X (t will be lso bsorbing? 7
18 References - Ahmed A. A. E. (7 On Wely umed Discrete Stochstic Process Proceeding of the nd Annul Conference on Sttistics Comuter Sciences nd Oertion Reserches I.S.S.R Ciro University Egyt. - E.A.vn Doorn (7 Survivl in qusi-deth rocess th INFORS Alied Probbility Conference University of Technology Eindhoven. - E.V.Denrdo E.A.Feinberg nd U.G. Rothblum (7 Slitting of rndomized sttionry olicies in bsorbing rov Decision Processes th INFORS Alied Probbility Conference University of Technology Eindhoven. - G.A. Wtterson (96 rov Chins with Absorbing Sttes: A Genetic Exmle Ann.th.Sttist. ( edouxj. nd eguesdronp. ( We umbility nd Pseudo- Sttionrity of Finite rov Chins Commun.Sttist.- Stochstic odels 6( A.Novotny (999 Advnced Dynmic Algorithms for the Decy of etstble Phses in Discrete Sin odels: Bridging Disrte Time Scles Int. J. od.phys.c ( VolidisA.B.(985 On the Proerties of Functions of rov Chins. An.Sc.Thesis t Institute of Sttisticl Studies nd Reserch Ciro University. 8
Families of Solutions to Bernoulli ODEs
In the fmily of solutions to the differentil eqution y ry dx + = it is shown tht vrition of the initil condition y( 0 = cuses horizontl shift in the solution curve y = f ( x, rther thn the verticl shift
More informationName of the Student:
SUBJECT NAME : Discrete Mthemtics SUBJECT CODE : MA 2265 MATERIAL NAME : Formul Mteril MATERIAL CODE : JM08ADM009 Nme of the Student: Brnch: Unit I (Logic nd Proofs) 1) Truth Tble: Conjunction Disjunction
More informationLecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations.
Lecture 3 3 Solving liner equtions In this lecture we will discuss lgorithms for solving systems of liner equtions Multiplictive identity Let us restrict ourselves to considering squre mtrices since one
More informationSupplement 4 Permutations, Legendre symbol and quadratic reciprocity
Sulement 4 Permuttions, Legendre symbol nd qudrtic recirocity 1. Permuttions. If S is nite set contining n elements then ermuttion of S is one to one ming of S onto S. Usully S is the set f1; ; :::; ng
More informationChapter 14. Matrix Representations of Linear Transformations
Chpter 4 Mtrix Representtions of Liner Trnsformtions When considering the Het Stte Evolution, we found tht we could describe this process using multipliction by mtrix. This ws nice becuse computers cn
More informationLecture 09: Myhill-Nerode Theorem
CS 373: Theory of Computtion Mdhusudn Prthsrthy Lecture 09: Myhill-Nerode Theorem 16 Ferury 2010 In this lecture, we will see tht every lnguge hs unique miniml DFA We will see this fct from two perspectives
More informationModule 6: LINEAR TRANSFORMATIONS
Module 6: LINEAR TRANSFORMATIONS. Trnsformtions nd mtrices Trnsformtions re generliztions of functions. A vector x in some set S n is mpped into m nother vector y T( x). A trnsformtion is liner if, for
More informationTheory of Computation Regular Languages. (NTU EE) Regular Languages Fall / 38
Theory of Computtion Regulr Lnguges (NTU EE) Regulr Lnguges Fll 2017 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of Finite Automt A finite utomton hs finite set of control
More informationDesigning finite automata II
Designing finite utomt II Prolem: Design DFA A such tht L(A) consists of ll strings of nd which re of length 3n, for n = 0, 1, 2, (1) Determine wht to rememer out the input string Assign stte to ech of
More informationCoalgebra, Lecture 15: Equations for Deterministic Automata
Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined
More informationHeteroclinic cycles in coupled cell systems
Heteroclinic cycles in coupled cell systems Michel Field University of Houston, USA, & Imperil College, UK Reserch supported in prt by Leverhulme Foundtion nd NSF Grnt DMS-0071735 Some of the reserch reported
More informationFinite Automata. Informatics 2A: Lecture 3. John Longley. 22 September School of Informatics University of Edinburgh
Lnguges nd Automt Finite Automt Informtics 2A: Lecture 3 John Longley School of Informtics University of Edinburgh jrl@inf.ed.c.uk 22 September 2017 1 / 30 Lnguges nd Automt 1 Lnguges nd Automt Wht is
More informationCf. Linn Sennott, Stochastic Dynamic Programming and the Control of Queueing Systems, Wiley Series in Probability & Statistics, 1999.
Cf. Linn Sennott, Stochstic Dynmic Progrmming nd the Control of Queueing Systems, Wiley Series in Probbility & Sttistics, 1999. D.L.Bricker, 2001 Dept of Industril Engineering The University of Iow MDP
More informationarxiv: v1 [math.ra] 1 Nov 2014
CLASSIFICATION OF COMPLEX CYCLIC LEIBNIZ ALGEBRAS DANIEL SCOFIELD AND S MCKAY SULLIVAN rxiv:14110170v1 [mthra] 1 Nov 2014 Abstrct Since Leibniz lgebrs were introduced by Lody s generliztion of Lie lgebrs,
More informationTheory of Computation Regular Languages
Theory of Computtion Regulr Lnguges Bow-Yw Wng Acdemi Sinic Spring 2012 Bow-Yw Wng (Acdemi Sinic) Regulr Lnguges Spring 2012 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of
More informationResearch Article Moment Inequalities and Complete Moment Convergence
Hindwi Publishing Corportion Journl of Inequlities nd Applictions Volume 2009, Article ID 271265, 14 pges doi:10.1155/2009/271265 Reserch Article Moment Inequlities nd Complete Moment Convergence Soo Hk
More informationSome Hardy Type Inequalities with Weighted Functions via Opial Type Inequalities
Advnces in Dynmicl Systems nd Alictions ISSN 0973-5321, Volume 10, Number 1,. 1 9 (2015 htt://cmus.mst.edu/ds Some Hrdy Tye Inequlities with Weighted Functions vi Oil Tye Inequlities Rvi P. Agrwl Tes A&M
More information1 Online Learning and Regret Minimization
2.997 Decision-Mking in Lrge-Scle Systems My 10 MIT, Spring 2004 Hndout #29 Lecture Note 24 1 Online Lerning nd Regret Minimiztion In this lecture, we consider the problem of sequentil decision mking in
More informationChapter 6 Notes, Larson/Hostetler 3e
Contents 6. Antiderivtives nd the Rules of Integrtion.......................... 6. Are nd the Definite Integrl.................................. 6.. Are............................................ 6. Reimnn
More informationMath Lecture 23
Mth 8 - Lecture 3 Dyln Zwick Fll 3 In our lst lecture we delt with solutions to the system: x = Ax where A is n n n mtrix with n distinct eigenvlues. As promised, tody we will del with the question of
More informationReinforcement Learning
Reinforcement Lerning Tom Mitchell, Mchine Lerning, chpter 13 Outline Introduction Comprison with inductive lerning Mrkov Decision Processes: the model Optiml policy: The tsk Q Lerning: Q function Algorithm
More informationCSCI 340: Computational Models. Kleene s Theorem. Department of Computer Science
CSCI 340: Computtionl Models Kleene s Theorem Chpter 7 Deprtment of Computer Science Unifiction In 1954, Kleene presented (nd proved) theorem which (in our version) sttes tht if lnguge cn e defined y ny
More informationk and v = v 1 j + u 3 i + v 2
ORTHOGONAL FUNCTIONS AND FOURIER SERIES Orthogonl functions A function cn e considered to e generliztion of vector. Thus the vector concets like the inner roduct nd orthogonlity of vectors cn e extended
More informationMonte Carlo method in solving numerical integration and differential equation
Monte Crlo method in solving numericl integrtion nd differentil eqution Ye Jin Chemistry Deprtment Duke University yj66@duke.edu Abstrct: Monte Crlo method is commonly used in rel physics problem. The
More information1.2. Linear Variable Coefficient Equations. y + b "! = a y + b " Remark: The case b = 0 and a non-constant can be solved with the same idea as above.
1 12 Liner Vrible Coefficient Equtions Section Objective(s): Review: Constnt Coefficient Equtions Solving Vrible Coefficient Equtions The Integrting Fctor Method The Bernoulli Eqution 121 Review: Constnt
More informationdx dt dy = G(t, x, y), dt where the functions are defined on I Ω, and are locally Lipschitz w.r.t. variable (x, y) Ω.
Chpter 8 Stility theory We discuss properties of solutions of first order two dimensionl system, nd stility theory for specil clss of liner systems. We denote the independent vrile y t in plce of x, nd
More informationFinite Automata. Informatics 2A: Lecture 3. Mary Cryan. 21 September School of Informatics University of Edinburgh
Finite Automt Informtics 2A: Lecture 3 Mry Cryn School of Informtics University of Edinburgh mcryn@inf.ed.c.uk 21 September 2018 1 / 30 Lnguges nd Automt Wht is lnguge? Finite utomt: recp Some forml definitions
More informationRecitation 3: More Applications of the Derivative
Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech
More information13: Diffusion in 2 Energy Groups
3: Diffusion in Energy Groups B. Rouben McMster University Course EP 4D3/6D3 Nucler Rector Anlysis (Rector Physics) 5 Sept.-Dec. 5 September Contents We study the diffusion eqution in two energy groups
More informationModule 6 Value Iteration. CS 886 Sequential Decision Making and Reinforcement Learning University of Waterloo
Module 6 Vlue Itertion CS 886 Sequentil Decision Mking nd Reinforcement Lerning University of Wterloo Mrkov Decision Process Definition Set of sttes: S Set of ctions (i.e., decisions): A Trnsition model:
More informationEVOLUTIONARY DYNAMICS ON GRAPHS
Rev. Semin. Iberom. Mt. 4 fsc. II (03) 3 7 EVOLUTIONARY DYNAMICS ON GRAPHS FERNANDO ALCALDE CUESTA, PABLO GONZÁLEZ SEQUEIROS, AND ÁLVARO LOZANO ROJO Abstrct. In this pper, we summrize some ides nd results
More informationMaximum Likelihood Estimation for Allele Frequencies. Biostatistics 666
Mximum Likelihood Estimtion for Allele Frequencies Biosttistics 666 Previous Series of Lectures: Introduction to Colescent Models Comuttionlly efficient frmework Alterntive to forwrd simultions Amenble
More informationThe p-folded Cumulative Distribution Function and the Mean Absolute Deviation from the p-quantile
The -folded Cumultive Distribution Function nd the Men Absolute Devition from the -quntile Jing-Ho Xue,, D. Michel Titterington b Dertment of Sttisticl Science, University College London, London WC1E 6BT,
More informationProperties of Lorenz Curves for Transformed Income Distributions
Theoreticl Economics etters 22 2 487-493 htt://ddoiorg/4236/tel22259 Published Online December 22 (htt://wwwscirporg/journl/tel) Proerties of orenz Curves for Trnsformed Income Distributions John Fellmn
More informationQuadratic Forms. Quadratic Forms
Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte
More informationTHE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.
THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem
More informationWe will see what is meant by standard form very shortly
THEOREM: For fesible liner progrm in its stndrd form, the optimum vlue of the objective over its nonempty fesible region is () either unbounded or (b) is chievble t lest t one extreme point of the fesible
More informationMATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35
MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35 9. Modules over PID This week we re proving the fundmentl theorem for finitely generted modules over PID, nmely tht they re ll direct sums of cyclic modules.
More information19 Optimal behavior: Game theory
Intro. to Artificil Intelligence: Dle Schuurmns, Relu Ptrscu 1 19 Optiml behvior: Gme theory Adversril stte dynmics hve to ccount for worst cse Compute policy π : S A tht mximizes minimum rewrd Let S (,
More informationARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac
REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b
More informationDriving Cycle Construction of City Road for Hybrid Bus Based on Markov Process Deng Pan1, a, Fengchun Sun1,b*, Hongwen He1, c, Jiankun Peng1, d
Interntionl Industril Informtics nd Computer Engineering Conference (IIICEC 15) Driving Cycle Construction of City Rod for Hybrid Bus Bsed on Mrkov Process Deng Pn1,, Fengchun Sun1,b*, Hongwen He1, c,
More informationPRIMES AND QUADRATIC RECIPROCITY
PRIMES AND QUADRATIC RECIPROCITY ANGELICA WONG Abstrct We discuss number theory with the ultimte gol of understnding udrtic recirocity We begin by discussing Fermt s Little Theorem, the Chinese Reminder
More informationIntroduction To Matrices MCV 4UI Assignment #1
Introduction To Mtrices MCV UI Assignment # INTRODUCTION: A mtrix plurl: mtrices) is rectngulr rry of numbers rrnged in rows nd columns Exmples: ) b) c) [ ] d) Ech number ppering in the rry is sid to be
More informationQUADRATIC RESIDUES MATH 372. FALL INSTRUCTOR: PROFESSOR AITKEN
QUADRATIC RESIDUES MATH 37 FALL 005 INSTRUCTOR: PROFESSOR AITKEN When is n integer sure modulo? When does udrtic eution hve roots modulo? These re the uestions tht will concern us in this hndout 1 The
More informationAUTOMATA AND LANGUAGES. Definition 1.5: Finite Automaton
25. Finite Automt AUTOMATA AND LANGUAGES A system of computtion tht only hs finite numer of possile sttes cn e modeled using finite utomton A finite utomton is often illustrted s stte digrm d d d. d q
More informationExamples for 2.4, 2.5
STAT 400 Exmles for 2.4, 2. Fll 207 A. Stenov Binomil Distribution:. The number of trils, n, is fixed. 2. Ech tril hs two ossible outcomes: success nd filure. 3. The robbility of success,, is the sme from
More informationNew Expansion and Infinite Series
Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University
More informationDefinite integral. Mathematics FRDIS MENDELU
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová Brno 1 Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function defined on [, b]. Wht is the re of the
More informationContents. Outline. Structured Rank Matrices Lecture 2: The theorem Proofs Examples related to structured ranks References. Structure Transport
Contents Structured Rnk Mtrices Lecture 2: Mrc Vn Brel nd Rf Vndebril Dept. of Computer Science, K.U.Leuven, Belgium Chemnitz, Germny, 26-30 September 2011 1 Exmples relted to structured rnks 2 2 / 26
More informationStrong Bisimulation. Overview. References. Actions Labeled transition system Transition semantics Simulation Bisimulation
Strong Bisimultion Overview Actions Lbeled trnsition system Trnsition semntics Simultion Bisimultion References Robin Milner, Communiction nd Concurrency Robin Milner, Communicting nd Mobil Systems 32
More informationLECTURE 10: JACOBI SYMBOL
LECTURE 0: JACOBI SYMBOL The Jcobi symbol We wish to generlise the Legendre symbol to ccomodte comosite moduli Definition Let be n odd ositive integer, nd suose tht s, where the i re rime numbers not necessrily
More informationELE B7 Power System Engineering. Unbalanced Fault Analysis
Power System Engineering Unblnced Fult Anlysis Anlysis of Unblnced Systems Except for the blnced three-phse fult, fults result in n unblnced system. The most common types of fults re single lineground
More informationJim Lambers MAT 169 Fall Semester Lecture 4 Notes
Jim Lmbers MAT 169 Fll Semester 2009-10 Lecture 4 Notes These notes correspond to Section 8.2 in the text. Series Wht is Series? An infinte series, usully referred to simply s series, is n sum of ll of
More information1B40 Practical Skills
B40 Prcticl Skills Comining uncertinties from severl quntities error propgtion We usully encounter situtions where the result of n experiment is given in terms of two (or more) quntities. We then need
More informationa 2 +x 2 x a 2 -x 2 Figure 1: Triangles for Trigonometric Substitution
I.B Trigonometric Substitution Uon comletion of the net two sections, we will be ble to integrte nlyticlly ll rtionl functions of (t lest in theory). We do so by converting binomils nd trinomils of the
More informationa a a a a a a a a a a a a a a a a a a a a a a a In this section, we introduce a general formula for computing determinants.
Section 9 The Lplce Expnsion In the lst section, we defined the determinnt of (3 3) mtrix A 12 to be 22 12 21 22 2231 22 12 21. In this section, we introduce generl formul for computing determinnts. Rewriting
More informationWorked out examples Finite Automata
Worked out exmples Finite Automt Exmple Design Finite Stte Automton which reds inry string nd ccepts only those tht end with. Since we re in the topic of Non Deterministic Finite Automt (NFA), we will
More informationDefinite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová (Mendel University) Definite integrl MENDELU / Motivtion - re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function
More informationBases for Vector Spaces
Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything
More informationResearch Article Harmonic Deformation of Planar Curves
Interntionl Journl of Mthemtics nd Mthemticl Sciences Volume, Article ID 9, pges doi:.55//9 Reserch Article Hrmonic Deformtion of Plnr Curves Eleutherius Symeonidis Mthemtisch-Geogrphische Fkultät, Ktholische
More informationA BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int
A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE HANS RINGSTRÖM. Questions nd exmples In the study of Fourier series, severl questions rise nturlly, such s: () (2) re there conditions on c n, n Z, which ensure
More informationn f(x i ) x. i=1 In section 4.2, we defined the definite integral of f from x = a to x = b as n f(x i ) x; f(x) dx = lim i=1
The Fundmentl Theorem of Clculus As we continue to study the re problem, let s think bck to wht we know bout computing res of regions enclosed by curves. If we wnt to find the re of the region below the
More informationMAA 4212 Improper Integrals
Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which
More information2. VECTORS AND MATRICES IN 3 DIMENSIONS
2 VECTORS AND MATRICES IN 3 DIMENSIONS 21 Extending the Theory of 2-dimensionl Vectors x A point in 3-dimensionl spce cn e represented y column vector of the form y z z-xis y-xis z x y x-xis Most of the
More informationComputing with finite semigroups: part I
Computing with finite semigroups: prt I J. D. Mitchell School of Mthemtics nd Sttistics, University of St Andrews Novemer 20th, 2015 J. D. Mitchell (St Andrews) Novemer 20th, 2015 1 / 34 Wht is this tlk
More informationM344 - ADVANCED ENGINEERING MATHEMATICS
M3 - ADVANCED ENGINEERING MATHEMATICS Lecture 18: Lplce s Eqution, Anltic nd Numericl Solution Our emple of n elliptic prtil differentil eqution is Lplce s eqution, lso clled the Diffusion Eqution. If
More informationHow do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?
XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk bout solving systems of liner equtions. These re problems tht give couple of equtions with couple of unknowns, like: 6 2 3 7 4
More informationJack Simons, Henry Eyring Scientist and Professor Chemistry Department University of Utah
1. Born-Oppenheimer pprox.- energy surfces 2. Men-field (Hrtree-Fock) theory- orbitls 3. Pros nd cons of HF- RHF, UHF 4. Beyond HF- why? 5. First, one usully does HF-how? 6. Bsis sets nd nottions 7. MPn,
More informationUNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3
UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,
More informationMath 270A: Numerical Linear Algebra
Mth 70A: Numericl Liner Algebr Instructor: Michel Holst Fll Qurter 014 Homework Assignment #3 Due Give to TA t lest few dys before finl if you wnt feedbck. Exercise 3.1. (The Bsic Liner Method for Liner
More informationTANDEM QUEUE WITH THREE MULTISERVER UNITS AND BULK SERVICE WITH ACCESSIBLE AND NON ACCESSBLE BATCH IN UNIT III WITH VACATION
Indin Journl of Mthemtics nd Mthemticl Sciences Vol. 7, No., (June ) : 9-38 TANDEM QUEUE WITH THREE MULTISERVER UNITS AND BULK SERVICE WITH ACCESSIBLE AND NON ACCESSBLE BATCH IN UNIT III WITH VACATION
More informationCS 311 Homework 3 due 16:30, Thursday, 14 th October 2010
CS 311 Homework 3 due 16:30, Thursdy, 14 th Octoer 2010 Homework must e sumitted on pper, in clss. Question 1. [15 pts.; 5 pts. ech] Drw stte digrms for NFAs recognizing the following lnguges:. L = {w
More informationLecture Solution of a System of Linear Equation
ChE Lecture Notes, Dept. of Chemicl Engineering, Univ. of TN, Knoville - D. Keffer, 5/9/98 (updted /) Lecture 8- - Solution of System of Liner Eqution 8. Why is it importnt to e le to solve system of liner
More informationStudent Activity 3: Single Factor ANOVA
MATH 40 Student Activity 3: Single Fctor ANOVA Some Bsic Concepts In designed experiment, two or more tretments, or combintions of tretments, is pplied to experimentl units The number of tretments, whether
More information12.1 Nondeterminism Nondeterministic Finite Automata. a a b ε. CS125 Lecture 12 Fall 2016
CS125 Lecture 12 Fll 2016 12.1 Nondeterminism The ide of nondeterministic computtions is to llow our lgorithms to mke guesses, nd only require tht they ccept when the guesses re correct. For exmple, simple
More informationOn the free product of ordered groups
rxiv:703.0578v [mth.gr] 6 Mr 207 On the free product of ordered groups A. A. Vinogrdov One of the fundmentl questions of the theory of ordered groups is wht bstrct groups re orderble. E. P. Shimbirev [2]
More informationMinimal DFA. minimal DFA for L starting from any other
Miniml DFA Among the mny DFAs ccepting the sme regulr lnguge L, there is exctly one (up to renming of sttes) which hs the smllest possile numer of sttes. Moreover, it is possile to otin tht miniml DFA
More informationMath 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008
Mth 520 Finl Exm Topic Outline Sections 1 3 (Xio/Dums/Liw) Spring 2008 The finl exm will be held on Tuesdy, My 13, 2-5pm in 117 McMilln Wht will be covered The finl exm will cover the mteril from ll of
More informationCS103B Handout 18 Winter 2007 February 28, 2007 Finite Automata
CS103B ndout 18 Winter 2007 Ferury 28, 2007 Finite Automt Initil text y Mggie Johnson. Introduction Severl childrens gmes fit the following description: Pieces re set up on plying ord; dice re thrown or
More informationResearch Article Determinant Representations of Polynomial Sequences of Riordan Type
Discrete Mthemtics Volume 213, Article ID 734836, 6 pges http://dxdoiorg/11155/213/734836 Reserch Article Determinnt Representtions of Polynomil Sequences of Riordn Type Sheng-ling Yng nd Si-nn Zheng Deprtment
More informationTheoretical foundations of Gaussian quadrature
Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of
More informationN 0 completions on partial matrices
N 0 completions on prtil mtrices C. Jordán C. Mendes Arújo Jun R. Torregros Instituto de Mtemátic Multidisciplinr / Centro de Mtemátic Universidd Politécnic de Vlenci / Universidde do Minho Cmino de Ver
More informationDuke Math Meet
Duke Mth Meet 01-14 Power Round Qudrtic Residues nd Prime Numers For integers nd, we write to indicte tht evenly divides, nd to indicte tht does not divide For exmle, 4 nd 4 Let e rime numer An integer
More informationChapter 3 MATRIX. In this chapter: 3.1 MATRIX NOTATION AND TERMINOLOGY
Chpter 3 MTRIX In this chpter: Definition nd terms Specil Mtrices Mtrix Opertion: Trnspose, Equlity, Sum, Difference, Sclr Multipliction, Mtrix Multipliction, Determinnt, Inverse ppliction of Mtrix in
More information1 1D heat and wave equations on a finite interval
1 1D het nd wve equtions on finite intervl In this section we consider generl method of seprtion of vribles nd its pplictions to solving het eqution nd wve eqution on finite intervl ( 1, 2. Since by trnsltion
More informationarxiv:math/ v2 [math.ho] 16 Dec 2003
rxiv:mth/0312293v2 [mth.ho] 16 Dec 2003 Clssicl Lebesgue Integrtion Theorems for the Riemnn Integrl Josh Isrlowitz 244 Ridge Rd. Rutherford, NJ 07070 jbi2@njit.edu Februry 1, 2008 Abstrct In this pper,
More informationFinite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018
Finite Automt Theory nd Forml Lnguges TMV027/DIT321 LP4 2018 Lecture 10 An Bove April 23rd 2018 Recp: Regulr Lnguges We cn convert between FA nd RE; Hence both FA nd RE ccept/generte regulr lnguges; More
More informationMAC-solutions of the nonexistent solutions of mathematical physics
Proceedings of the 4th WSEAS Interntionl Conference on Finite Differences - Finite Elements - Finite Volumes - Boundry Elements MAC-solutions of the nonexistent solutions of mthemticl physics IGO NEYGEBAUE
More informationMore on automata. Michael George. March 24 April 7, 2014
More on utomt Michel George Mrch 24 April 7, 2014 1 Automt constructions Now tht we hve forml model of mchine, it is useful to mke some generl constructions. 1.1 DFA Union / Product construction Suppose
More informationZero-Sum Magic Graphs and Their Null Sets
Zero-Sum Mgic Grphs nd Their Null Sets Ebrhim Slehi Deprtment of Mthemticl Sciences University of Nevd Ls Vegs Ls Vegs, NV 89154-4020. ebrhim.slehi@unlv.edu Abstrct For ny h N, grph G = (V, E) is sid to
More informationNFAs and Regular Expressions. NFA-ε, continued. Recall. Last class: Today: Fun:
CMPU 240 Lnguge Theory nd Computtion Spring 2019 NFAs nd Regulr Expressions Lst clss: Introduced nondeterministic finite utomt with -trnsitions Tody: Prove n NFA- is no more powerful thn n NFA Introduce
More informationAntiderivatives Introduction
Antierivtives 0. Introuction So fr much of the term hs been sent fining erivtives or rtes of chnge. But in some circumstnces we lrey know the rte of chnge n we wish to etermine the originl function. For
More informationChapter 3. Vector Spaces
3.4 Liner Trnsformtions 1 Chpter 3. Vector Spces 3.4 Liner Trnsformtions Note. We hve lredy studied liner trnsformtions from R n into R m. Now we look t liner trnsformtions from one generl vector spce
More informationInfinite Geometric Series
Infinite Geometric Series Finite Geometric Series ( finite SUM) Let 0 < r < 1, nd let n be positive integer. Consider the finite sum It turns out there is simple lgebric expression tht is equivlent to
More informationIN GAUSSIAN INTEGERS X 3 + Y 3 = Z 3 HAS ONLY TRIVIAL SOLUTIONS A NEW APPROACH
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A2 IN GAUSSIAN INTEGERS X + Y = Z HAS ONLY TRIVIAL SOLUTIONS A NEW APPROACH Elis Lmpkis Lmpropoulou (Term), Kiprissi, T.K: 24500,
More informationLinear Systems with Constant Coefficients
Liner Systems with Constnt Coefficients 4-3-05 Here is system of n differentil equtions in n unknowns: x x + + n x n, x x + + n x n, x n n x + + nn x n This is constnt coefficient liner homogeneous system
More informationThe mth Ratio Convergence Test and Other Unconventional Convergence Tests
The mth Rtio Convergence Test nd Other Unconventionl Convergence Tests Kyle Blckburn My 14, 2012 Contents 1 Introduction 2 2 Definitions, Lemms, nd Theorems 2 2.1 Defintions.............................
More informationLecture 08: Feb. 08, 2019
4CS4-6:Theory of Computtion(Closure on Reg. Lngs., regex to NDFA, DFA to regex) Prof. K.R. Chowdhry Lecture 08: Fe. 08, 2019 : Professor of CS Disclimer: These notes hve not een sujected to the usul scrutiny
More informationMatrices 13: determinant properties and rules continued
Mtrices : determinnt properties nd rules continued nthony Rossiter http://controleduction.group.shef.c.uk/indexwebbook.html http://www.shef.c.uk/cse Deprtment of utomtic Control nd Systems Engineering
More informationElements of Matrix Algebra
Elements of Mtrix Algebr Klus Neusser Kurt Schmidheiny September 30, 2015 Contents 1 Definitions 2 2 Mtrix opertions 3 3 Rnk of Mtrix 5 4 Specil Functions of Qudrtic Mtrices 6 4.1 Trce of Mtrix.........................
More information