English
Related papers

Related papers: Representable Markov Categories and Comparison of …

200 papers

We derive explicit upper bounds for the $\bar{d}$-distance between a chain of infinite order and its canonical $k$-steps Markov approximation. Our proof is entirely constructive and involves a "coupling from the past" argument. The new…

Probability · Mathematics 2012-01-16 Sandro Gallo , Matthieu Lerasle , Daniel Yasumasa Takahashi

Markov processes are used in a wide range of disciplines, including finance. The transition densities of these processes are often unknown. However, the conditional characteristic functions are more likely to be available, especially for…

Statistics Theory · Mathematics 2013-02-04 Song X. Chen , Liang Peng , Cindy L. Yu

Markov chains provide a foundational framework for modeling sequential stochastic processes, with the transition probability matrix characterizing the dynamics of state evolution. While classical estimation methods such as maximum…

Methodology · Statistics 2025-07-11 Agamani Saha , Souvik Roy

An extension of Cencov's categorical description of classical inference theory to the domain of quantum systems is presented. It provides a novel categorical foundation to the theory of quantum information that embraces both classical and…

Continuous-time Markov decision processes are an important class of models in a wide range of applications, ranging from cyber-physical systems to synthetic biology. A central problem is how to devise a policy to control the system in order…

Systems and Control · Computer Science 2016-06-01 Ezio Bartocci , Luca Bortolussi , Tomǎš Brázdil , Dimitrios Milios , Guido Sanguinetti

Many complex systems can be described by population models, in which a pool of agents interacts and produces complex collective behaviours. We consider the problem of verifying formal properties of the underlying mathematical representation…

Logic in Computer Science · Computer Science 2017-11-13 Luca Bortolussi , Roberta Lanciani , Laura Nenzi

We study the positivity and causality axioms for Markov categories as properties of dilations and information flow in Markov categories, and in variations thereof for arbitrary semicartesian monoidal categories. These help us show that…

We develop the foundations of Algebraic Stochastic Calculus, with an aim to replacing what is typically referred to as Stochastic Calculus by a purely categorical version thereof. We first give a sheaf theoretic reinterpretation of…

Algebraic Geometry · Mathematics 2014-07-28 Renaud Gauthier

We present a novel proof of de Finetti's Theorem characterizing permutation-invariant probability measures of infinite sequences of variables, so-called exchangeable measures. The proof is phrased in the language of Markov categories, which…

Probability · Mathematics 2021-11-08 Tobias Fritz , Tomáš Gonda , Paolo Perrone

Building on work of Chen, we give a universal property of the Markov category BorelStoch of standard Borel spaces and Markov kernels between them. To do this, we introduce a new notion of *coinflip*, or unbiased binary choice, in a Markov…

Category Theory · Mathematics 2025-12-19 Eigil Fjeldgren Rischel

Positive dependencies have been compared in the literature under rather strong assumptions such as equality of conditional distributions, exchangeability, or stationarity. We establish supermodular ordering results for distributions that…

Statistics Theory · Mathematics 2025-11-11 Jonathan Ansari , Moritz Ritter

The purpose of this paper is to introduce a notion of causality in Markov decision processes based on the probability-raising principle and to analyze its algorithmic properties. The latter includes algorithms for checking cause-effect…

Logic in Computer Science · Computer Science 2022-01-24 Christel Baier , Florian Funke , Jakob Piribauer , Robin Ziemek

Representations of branching Markov processes and their measure-valued limits in terms of countable systems of particles are constructed for models with spatially varying birth and death rates. Each particle has a location and a "level,"…

Probability · Mathematics 2011-04-11 Thomas G. Kurtz , Eliane R. Rodrigues

Random variables $X^i$, $i=1,2$ are 'probabilistically equivalent' if they have the same law. Moreover, in any class of equivalent random variables it is easy to select canonical representatives. The corresponding questions are more…

Probability · Mathematics 2024-04-10 Mathias Beiglböck , Gudmund Pammer , Stefan Schrott , Xin Zhang

This paper presents categorical structures on classical measure spaces and quantum measure spaces in order to deal with canonical maps associated with conditional measures as morphisms. We extend the Riesz-Markov-Kakutani representation…

Operator Algebras · Mathematics 2016-08-25 Hitoshi Motoyama , Kohei Tanaka

This brief article gives an overview of quantum mechanics as a {\em quantum probability theory}. It begins with a review of the basic operator-algebraic elements that connect probability theory with quantum probability theory. Then quantum…

Quantum Physics · Physics 2020-02-04 Hendra I. Nurdin

Interacting systems of particles with generalized statistics are considered on both classical and quantum level. It is shown that all possible quantum states and corresponding processes can be represented in terms of certain specific…

Quantum Algebra · Mathematics 2007-05-23 Wladyslaw Marcinek

Markov models are widely used to describe processes of stochastic dynamics. Here, we show that Markov models are a natural consequence of the dynamical principle of Maximum Caliber. First, we show that when there are different possible…

Statistical Mechanics · Physics 2015-05-28 Hao Ge , Steve Presse , Kingshuk Ghosh , Ken Dill

In this paper, we introduce the fundamental notion of a Markov basis, which is one of the first connections between commutative algebra and statistics. The notion of a Markov basis is first introduced by Diaconis and Sturmfels (1998) for…

Statistics Theory · Mathematics 2016-07-27 Satoshi Aoki

This paper presents a categorical account of conditional probability, covering both the classical and the quantum case. Classical conditional probabilities are expressed as a certain "triangle-fill-in" condition, connecting marginal and…

Category Theory · Mathematics 2015-11-06 Robert Furber , Bart Jacobs