Showing 1–1 of 1 results for author: Yasugi, M

Computability of Probability Distributions and Characteristic Functions

Authors: Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi

Abstract: As a part of our works on effective properties of probability distributions, we deal with the corresponding characteristic functions. A sequence of probability distributions is computable if and only if the corresponding sequence of characteristic functions is computable. As for the onvergence problem, the effectivized Glivenko's theorem holds. Effectivizations of Bochner's theorem and de Moivre-… ▽ More As a part of our works on effective properties of probability distributions, we deal with the corresponding characteristic functions. A sequence of probability distributions is computable if and only if the corresponding sequence of characteristic functions is computable. As for the onvergence problem, the effectivized Glivenko's theorem holds. Effectivizations of Bochner's theorem and de Moivre-Laplace central limit theorem are also proved. △ Less

Submitted 20 September, 2013; v1 submitted 24 July, 2013; originally announced July 2013.

Journal ref: Logical Methods in Computer Science, Volume 9, Issue 3 (September 3, 2013) lmcs:888