A Monad for Probabilistic Point Processes

01/26/2021
by   Swaraj Dash, et al.
0

A point process on a space is a random bag of elements of that space. In this paper we explore programming with point processes in a monadic style. To this end we identify point processes on a space X with probability measures of bags of elements in X. We describe this view of point processes using the composition of the Giry and bag monads on the category of measurable spaces and functions and prove that this composition also forms a monad using a distributive law for monads. Finally, we define a morphism from a point process to its intensity measure, and show that this is a monad morphism. A special case of this monad morphism gives us Wald's Lemma, an identity used to calculate the expected value of the sum of a random number of random variables. Using our monad we define a range of point processes and point process operations and compositionally compute their corresponding intensity measures using the monad morphism.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

06/15/2018

A β-mixing inequality for point processes induced by their intensity functions

We prove a general inequality on β-mixing coefficients of point processe...
05/31/2020

Point Process Regression

Point processes in time have a wide range of applications that include t...
10/01/2021

Decomposing Monolithic Processes in a Process Algebra with Multi-actions

A monolithic process is a single recursive equation with data parameters...
12/11/2020

Decompositional Minimisation of Monolithic Processes

Compositional minimisation can be an effective technique to reduce the s...
11/14/2006

Working times in atypical forms of employment: the special case of part-time work

In the present article, we attempt to devise a typology of forms of part...
07/28/2020

Universal Approximation with Neural Intensity Point Processes

We propose a class of neural network models that universally approximate...
11/28/2013

Shape from Texture using Locally Scaled Point Processes

Shape from texture refers to the extraction of 3D information from 2D im...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.