Characterization of Kurtz randomness by a differentiation theorem

News
Dec 25, 2012, Published
Aug 8, 2012, Published online
July 12, 2012, Accepted with a minor revision
Dec 23, 2011, Need to fix it
Oct 18, 2011, Submitted to a Journal

Title
Characterization of Kurtz randomness by a differentiation theorem

Type
Fullpaper

Journal
Theory of Computing Systems: Volume 52, Issue 1 (2013), Page 113-132
The page in TOCS

Abstract
Brattka, Miller and Nies showed that some major algorithmic randomness notions are characterized via differentiability.
The main goal of this paper is to characterize Kurtz randomness by a differentiation theorem on a computable metric space.
The proof shows that characterization by integral tests plays an essential part and shows that how randomness and differentiation are connected.

Download
preprint

Weak L^1-computability and Limit L^1-computability

The result in this paper was included in L1-computability, layerwise computability and Solovay reducibility

News
Mar 12, 2012, Draft

Title
Weak L^1-computability and Limit L^1-computability

Type
Extended abstract

Journal
in preparation

Abstract
The class of the differences between two integral tests for Schnorr ran- domness is an important class related to Schnorr randomness. In this paper we study other randomness versions. We also claim that Solovay reducibility for lower semicomputable functions generalizes layerwise com- putability.

Download
in preparation

An integral test for Schnorr randomness and its application

The result in this paper was included in L1-computability, layerwise computability and Solovay reducibility

News
Jan 26, 2012, Submitted to a conference

Title
An integral test for Schnorr randomness and its application

Type
Fullpaper

Journal
Submitted

Abstract
The author proposed in the previous paper that a characterization of a randomness notion by integral tests is a useful tool to study the relation between algorithmic randomness and computable analysis. In this paper we give a version of Schnorr randomness. With this result we show the connection between L1-computability and Schnorr layerwise computability. Finally we apply them to study the points on which two Radon-Nikodym derivatives are equal.

Download
preprint

Convergence of random series and the rate of convergence of the strong law of large numbers in game-theoretic probability

News
Oct 25, 2011, Available on line
Oct 18, 2011, Accepted
April 5, 2011, Submitted

Title
Convergence of random series and the rate of convergence of the strong law of large numbers in game-theoretic probability

Type
Fullpaper

Conference and Journal
Stochastic Processes and their Applications, 122:1-30, 2012.
Journal
arXiv

Abstract
We give a unified treatment of the convergence of random series and the rate of convergence of strong law of large numbers in the framework of game-theoretic probability of Shafer and Vovk (2001). We consider games with the quadratic hedge as well as more general weaker hedges. The latter corresponds to existence of an absolute moment of order smaller than two in the measure-theoretic framework. We prove some precise relations between the convergence of centered random series and the convergence of the series of prices of the hedges. When interpreted in measure-theoretic framework, these results characterize convergence of a martingale in terms of convergence of the series of conditional absolute moments. In order to prove these results we derive some fundamental results on deterministic strategies of Reality, who is a player in a protocol of game-theoretic probability. It is of particular interest, since Reality’s strategies do not have any counterparts in measure-theoretic framework, ant yet they can be used to prove results, which can be interpreted in measure-theoretic framework.

You can read a comment by Vovk at Working Papers in
the website of “Probability and Finance”.