License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.CCA.2009.2270
URN: urn:nbn:de:0030-drops-22704
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2009/2270/
Go to the corresponding OASIcs Volume Portal

Mori, Takakazu ; Tsujii, Yoshiki ; Yasugi, Mariko
Contributed Papers

Computability of Probability Distributions and Distribution Functions

pdf-format:
Mori.2270.pdf (0.3 MB)

Abstract

We define the computability of probability distributions on the real line as well as that of distribution functions. Mutual relationships between the computability notion of a probability distribution and that of the corresponding distribution function are discussed. It is carried out through attempts to effectivize some classical fundamental theorems concerning probability distributions. We then define the effective convergence of probability distributions as an effectivization of the classical vague convergence. For distribution functions, computability and effective convergence are naturally defined as real functions. A weaker effective convergence is also defined as an effectivization of pointwise convergence.

BibTeX - Entry

@InProceedings{mori_et_al:OASIcs:2009:2270,
  author =	{Takakazu Mori and Yoshiki Tsujii and Mariko Yasugi},
  title =	{{Computability of Probability Distributions and Distribution Functions}},
  booktitle =	{6th International Conference on Computability and Complexity in Analysis (CCA'09)},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-12-5},
  ISSN =	{2190-6807},
  year =	{2009},
  volume =	{11},
  editor =	{Andrej Bauer and Peter Hertling and Ker-I Ko},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2009/2270},
  URN =		{urn:nbn:de:0030-drops-22704},
  doi =		{10.4230/OASIcs.CCA.2009.2270},
  annote =	{Keywords: Computable probability distribution, computable probability distribution function, effective convergence of probability distributions}
}

Keywords: Computable probability distribution, computable probability distribution function, effective convergence of probability distributions
Collection: 6th International Conference on Computability and Complexity in Analysis (CCA'09)
Issue Date: 2009
Date of publication: 25.11.2009

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI