We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.PL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: A Monad for Probabilistic Point Processes

Authors: Swaraj Dash (University of Oxford), Sam Staton (University of Oxford)
Abstract: 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.
Comments: In Proceedings ACT 2020, arXiv:2101.07888
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
Journal reference: EPTCS 333, 2021, pp. 19-32
DOI: 10.4204/EPTCS.333.2
Cite as: arXiv:2101.10479 [cs.PL]
  (or arXiv:2101.10479v1 [cs.PL] for this version)

Submission history

From: EPTCS [view email]
[v1] Tue, 26 Jan 2021 00:01:21 GMT (59kb,D)

Link back to: arXiv, form interface, contact.