English

A Variant Of Chaitin's Omega function

Logic 2026-03-04 v3

Abstract

We investigate the continuous function ff defined by xσLx2K(σ)x\mapsto \sum_{\sigma\le_L x }2^{-K(\sigma)} as a variant of Chaitin's Omega from the perspective of analysis, computability, and algorithmic randomness. Among other results, we obtain that: (i) ff is differentiable precisely at density random points; (ii) f(x)f(x) is xx-random if and only if xx is weakly low for KK (low for Ω\Omega); (iii) the range of ff is a null, nowhere dense, perfect Π10()\Pi^0_1(\emptyset') class with Hausdorff dimension 11; (iv) f(x)xTf(x)\oplus x\ge_T\emptyset' for all xx; (v) there are 202^{\aleph_0} many xx such that f(x)f(x) is not 1-random; (vi) ff is not Turing invariant but is Turing invariant on the ideal of KK-trivial reals. We also discuss the connection between ff and other variants of Omega.

Keywords

Cite

@article{arxiv.2508.16892,
  title  = {A Variant Of Chaitin's Omega function},
  author = {Yuxuan Li and Shuheng Zhang and Xiaoyan Zhang and Xuanheng Zhao},
  journal= {arXiv preprint arXiv:2508.16892},
  year   = {2026}
}
R2 v1 2026-07-01T05:02:39.087Z