タイトル
一様Kurtzランダムネスに対する独立性定理
種類
セミナー
発表場所
東京工業大学 2013年1月26日
ダウンロード
スライド
宮部賢志(ミヤベケンシ)
履歴
2013年3月 CiEにて発表受理,LNCSには非採択
2013年1月15日 投稿
タイトル
Lowness for uniform Kurtz randomness
種類
会議
T. Kiharaとの共著
雑誌
Sumitted
Abstract
We propose studying uniform Kurtz randomness, which is the uniform relativization of Kurtz randomness. One advantage of this notion is that lowness for uniform Kurtz randomness has many character- izations, such as those via complexity, martingales, Kurtz tt-traceability, and Kurtz dimensional measure.
ダウンロード
プレプリント
この論文の結果は他の結果と一緒に別の論文に含める予定です.
履歴
2012年12月25日出版
2012年8月8日オンライン
2012年7月12日アクセプト報告
2011年10月18日投稿
タイトル
Characterization of Kurtz randomness by a differentiation theorem
種類
論文
雑誌
Theory of Computing Systems: Volume 52, Issue 1 (2013), Page 113-132
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.
ダウンロード
プレプリント