COARSE-GRAINING OPEN MARKOV PROCESSES

被引:0
作者
Baez, John C. [1 ]
Courser, Kenny [1 ]
机构
[1] Univ Calif Riverside, Dept Math, Riverside, CA 92521 USA
来源
THEORY AND APPLICATIONS OF CATEGORIES | 2018年 / 33卷
关键词
double category; cospan; Markov process; coarse-graining; network; black box;
D O I
暂无
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Coarse-graining is a standard method of extracting a simpler Markov process from a more complicated one by identifying states. Here we extend coarse-graining to 'open' Markov processes: that is, those where probability can flow in or out of certain states called 'inputs' and 'outputs'. One can build up an ordinary Markov process from smaller open pieces in two basic ways: composition, where we identify the outputs of one open Markov process with the inputs of another, and tensoring, where we set two open Markov processes side by side. In previous work, Fong, Pollard and the first author showed that these constructions make open Markov processes into the morphisms of a symmetric monoidal category. Here we go further by constructing a symmetric monoidal double category where the 2-morphisms include ways of coarse-graining open Markov processes. We also extend the already known 'black-boxing' functor from the category of open Markov processes to our double category. Black-boxing sends any open Markov process to the linear relation between input and output data that holds in steady states, including nonequilibrium steady states where there is a nonzero flow of probability through the process. To extend black-boxing to a functor between double categories, we need to prove that black-boxing is compatible with coarse-graining.
引用
收藏
页码:1223 / 1268
页数:46
相关论文
共 25 条
[1]   The Compositional Construction of Markov Processes [J].
Albasini, Luisa de Francesco ;
Sabadini, Nicoletta ;
Walters, Robert F. C. .
APPLIED CATEGORICAL STRUCTURES, 2011, 19 (01) :425-437
[2]   Bounding the coarse graining error in hidden Markov dynamics [J].
Andrieux, David .
APPLIED MATHEMATICS LETTERS, 2012, 25 (11) :1734-1739
[3]  
[Anonymous], 1998, Cambridge Series in Statistical and Probabilistic Mathematics
[4]  
[Anonymous], 2002, THEOR APPL CATEG
[5]  
Baez JC, 2018, THEOR APPL CATEG, V33, P1158
[6]   A compositional framework for reaction networks [J].
Baez, John C. ;
Pollard, Blake S. .
REVIEWS IN MATHEMATICAL PHYSICS, 2017, 29 (09)
[7]   A compositional framework for Markov processes [J].
Baez, John C. ;
Fong, Brendan ;
Pollard, Blake S. .
JOURNAL OF MATHEMATICAL PHYSICS, 2016, 57 (03)
[8]  
Baez JC, 2015, THEOR APPL CATEG, V30, P836
[9]  
Benabou J., 1967, LECT NOTES MATH, V47, P1
[10]  
Brown R., 1976, Cah. Topol. Geom. Differ. Categ., V17, P343