arXiv subjects
Publications and source records attributed to Xuanheng Zhao.
A set B is AEWG if almost every set computes a weakly 1-B-generic. Extending two results of Hirschfeldt, Jockusch and Schupp, we prove that there is an AEWG superhigh r.e. set and every low2 r.e. set is AEWG.
We prove that there is a 1-generic set which computes a uniformly almost everywhere dominating function. The proof has two ingredients: a Baire space version of the Chong-Downey Sigma01-density criterion and the forcing of Cholak-Greenberg-Miller.
We investigate the continuous function $f$ defined by $$x\mapsto \sum_{σ\le_L x }2^{-K(σ)}$$ as a variant of Chaitin's Omega from the perspective of analysis, computability, and algorithmic randomness. Among other results, we obtain that: (i) $f$ is differentiable precisely at density random points; (ii) $f(x)$ is $x$-random if and only if $x$ is weakly low for $K$ (low for $Ω$); (iii) the range of $f$ is a null, nowhere dense, perfect $Π^0_1(\emptyset')$ class with Hausdorff dimension $1$; (iv) $f(x)\oplus x\ge_T\emptyset'$ for all $x$; (v) there are $2^{\aleph_0}$ many $x$ such that $f(x)$ is not 1-random; (vi) $f$ is not Turing invariant but is Turing invariant on the ideal of $K$-trivial reals. We also discuss the connection between $f$ and other variants of Omega.