English
Related papers

Related papers: Partial Markov Categories

200 papers

In this note, we present few examples of Piecewise Deterministic Markov Processes and their long time behavior. They share two important features: they are related to concrete models (in biology, networks, chemistry,. . .) and they are…

Probability · Mathematics 2014-12-24 Florent Malrieu

We give a simple and entirely elementary proof of Gasper's theorem on the Markov sequence problem for Jacobi polynomials. It is based on the spectral analysis of an operator that arises in the study of a probabilistic model of colliding…

Classical Analysis and ODEs · Mathematics 2010-03-11 Eric A. Carlen , Jeffrey S. Geronimo , Michael Loss

In a standard possibilistic logic, prioritized information are encoded by means of weighted knowledge base. This paper proposes an extension of possibilistic logic for dealing with partially ordered information. We Show that all basic…

Artificial Intelligence · Computer Science 2012-12-12 Salem Benferhat , Sylvain Lagrue , Odile Papini

Markov kernels play a decisive role in probability and mathematical statistics theories, and are an extension of the concepts of sigma-field and statistic. Concepts such as independence, sufficiency, completeness, ancillarity or conditional…

Statistics Theory · Mathematics 2021-10-28 Agustín G. Nogales

We explore the connection between the notion of Hopf category and the categorification of the infinite dimensional Heisenberg algebra via graphical calculus proposed by M.Khovanov. We show that the existence of a Hopf structure on a…

Representation Theory · Mathematics 2016-12-22 Elena Gal

This paper deals with control of partially observable discrete-time stochastic systems. It introduces and studies Markov Decision Processes with Incomplete Information and with semi-uniform Feller transition probabilities. The important…

Optimization and Control · Mathematics 2022-08-30 Eugene A. Feinberg , Pavlo O. Kasyanov , Michael Z. Zgurovsky

We define a category of planar diagrams whose Grothendieck group contains an integral version of the infinite rank Heisenberg algebra, thus yielding a categorification of this algebra. Our category, which is a q-deformation of one defined…

Representation Theory · Mathematics 2014-10-24 Anthony Licata , Alistair Savage

Restriction categories provide a categorical framework for partiality. In this paper, we introduce three new categorical theories for partiality: local categories, partial categories, and inclusion categories. The objects of a local…

Category Theory · Mathematics 2025-12-04 Marcello Lanfranchi , Jean-Simon Pacaud Lemay

We show that stochastic processes with linear conditional expectations and quadratic conditional variances are Markov, and their transition probabilities are related to a three-parameter family of orthogonal polynomials which generalize the…

Probability · Mathematics 2007-05-23 Wlodzimierz Bryc , Jacek Wesolowski

We develop a framework for the operationalization of models and parameters by combining de Finetti's representation theorem with a conditional form of Sanov's theorem. This synthesis, the tilted de Finetti theorem, shows that conditioning…

Statistics Theory · Mathematics 2025-09-17 Nicholas G. Polson , Daniel Zantedeschi

We provide a Lawvere-style definition for partial theories, extending the classical notion of equational theory by allowing partially defined operations. As in the classical case, our definition is syntactic: we use an appropriate class of…

Logic in Computer Science · Computer Science 2020-11-16 Ivan Di Liberti , Fosco Loregian , Chad Nester , Paweł Sobociński

An extension of the conditional expectations (those under a given subalgebra of events and not the simple ones under a single event) from the classical to the quantum case is presented. In the classical case, the conditional expectations…

Mathematical Physics · Physics 2010-01-22 Gerd Niestegge

We comment on some conceptual and and technical problems related to computational mechanics, point out some errors in several papers, and straighten out some wrong priority claims. We present explicitly the correct algorithm for…

Data Analysis, Statistics and Probability · Physics 2018-04-09 Peter Grassberger

Many aspects of the asymptotics of Plancherel distributed partitions have been studied in the past fifty years, in particular the limit shape, the distribution of the longest rows, connections with random matrix theory and characters of the…

Combinatorics · Mathematics 2017-01-20 Dario De Stavola

Various categories have been proposed as targets for the denotational semantics of higher-order probabilistic programming languages. One such proposal involves joint probability distributions (couplings) used in Bayesian statistical models…

Programming Languages · Computer Science 2024-12-09 Dexter Kozen , Alexandra Silva , Erik Voogd

As the unification of various models of ordered quantities, generalized order statistics act as a simplistic approach introduced in \cite{kamps1995concept}. In this present study, results pertaining to the expressions of marginal and joint…

Methodology · Statistics 2025-02-04 Neetu Gupta , S. K. Neogy , Qazi J. Azhad , Bhagwati Devi

We introduce categories of extended Gaussian maps and Gaussian relations which unify Gaussian probability distributions with relational nondeterminism in the form of linear relations. Both have crucial and well-understood applications in…

Logic in Computer Science · Computer Science 2023-06-08 Dario Stein , Richard Samuelson

In this note the Choquet type operators are introduced, in connection to Choquet's theory of integrability with respect to a not necessarily additive set function. Based on their properties, a quantitative estimate for the nonlinear…

Classical Analysis and ODEs · Mathematics 2021-04-14 Sorin G. Gal , Constantin P. Niculescu

We introduce a filtration-based framework for studying when and why adding taxa improves phylodynamic inference, by constructing a natural ordering of observed tips and applying sequential Bayesian analysis to the resulting filtration. We…

Quantitative Methods · Quantitative Biology 2026-04-07 David J Pascall

We extend to general Cartesian categories the idea of Coherent Differentiation recently introduced by Ehrhard in the setting of categorical models of Linear Logic. The first ingredient is a summability structure which induces a partial…

Logic in Computer Science · Computer Science 2023-06-08 Thomas Ehrhard , Aymeric Walch