Related papers: Semipullbacks of labelled Markov processes
Polarization, understood as a division into mutually hostile groups, is a common feature of social systems. It is studied in Structural Balance Theory (SBT) in terms of semicycles in signed networks. However, enumerating semicycles is…
We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisimulation for continuous-time probabilistic processes to a…
We investigate a piecewise-deterministic Markov process, evolving on a Polish metric space, whose deterministic behaviour between random jumps is governed by some semi-flow, and any state right after the jump is attained by a randomly…
We show that any $\mathbb{R}^d\setminus\{0\}$-valued self-similar Markov process $X$, with index $\alpha>0$ can be represented as a path transformation of some Markov additive process (MAP) $(\theta,\xi)$ in $S_{d-1}\times\mathbb{R}$. This…
We consider an infinite extension $K$ of a local field of zero characteristic which is a union of an increasing sequence of finite extensions. $K$ is equipped with an inductive limit topology; its conjugate $\bar{K}$ is a completion of $K$…
In this work we establish the posterior consistency for a parametrized family of partially observed, fully dominated Markov models. As a main assumption, we suppose that the prior distribution assigns positive probability to all…
We introduce a new distance, a Lipschitz-Prokhorov distance $d_{LP}$, on the set $\mathcal {PM}$ of isomorphism classes of pairs $(X, P)$ where $X$ is a compact metric space and $P$ is the law of a continuous stochastic process on $X$. We…
We consider a finite-state, continuous-time Markov process, represented in the "linear framework" by a directed graph with labelled edges which specifies the infinitesimal generator of the process. If the graph is strongly connected, the…
The matrix of a permutation is a partial case of Markov transition matrices. In the same way, a measure preserving bijection of a space A with finite measure is a partial case of Markov transition operators. A Markov transition operator…
We study the approximation of operators acting on probability measures on a product space with prescribed marginal. Let $I$ be a label space endowed with a reference measure $\lambda$, and define $\cal M_\lambda$ as the set of probability…
While behavioural equivalences among systems of the same type, such as Park/Milner bisimilarity of labelled transition systems, are an established notion, a systematic treatment of relationships between systems of different type is…
We revisit, in a self contained way, the Markov property on planar maps and decorated planar maps from three perspectives. First, we characterize the laws on these planar maps that satisfy both the Markov property and rerooting invariance,…
We derive a new representation of the Brownian disk in terms of a forest of labeled trees, where labels correspond to distances from a subset of the boundary. We then use this representation to obtain a spatial Markov property showing that…
A scaling on some space is a measurable action of the group of positive real numbers. A measure on a measurable space equipped with a scaling is said to be $\alpha$-homogeneous for some nonzero real number $\alpha$ if the mass of any…
A labelled Markov decision process (MDP) is a labelled Markov chain with nondeterminism; i.e., together with a strategy a labelled MDP induces a labelled Markov chain. The model is related to interval Markov chains. Motivated by…
In the development of stochastic integration and the theory of semimartingales, Markov processes have been a constant source of inspiration. Despite this historical interweaving, it turned out that semimartingales should be considered the…
The theory of ``Markov-up'' processes is being developed. This is a new class of stochastic processes with ``partial'' markovian features; it could also be called ``one-sided Markov''. Such a behavior may be found in the real world and in…
Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This…
Let $S$ be a Polish space and $(X_n:n\geq1)$ an exchangeable sequence of $S$-valued random variables. Let $\alpha_n(\cdot)=P(X_{n+1}\in \cdot\mid X_1,\...,X_n)$ be the predictive measure and $\alpha$ a random probability measure on $S$ such…
While finite non-commutative operator systems lie at the foundation of quantum measurement, they are also tools for understanding geometric iterations as used in the theory of iterated function systems (IFSs) and in wavelet analysis. Key is…