K-trivials are NCR

(George Barmpalias) Let \big((E_i^e)\big)_{e\in\mathbb{N}} be a uniform sequence of all oracle Martin-Löf tests. A standard construction of a universal oracle Martin-Löf test (T_i) (e.g. see [nies:2009]) gives a recursive function f such that \forall Z\subseteq \omega\ (E_{f(i,e)}^{e,Z}\subseteq T_i^Z) for all e,i\in\mathbb{N}. Let T:=T_2 and f(e):=f(2,e) for all e\in\mathbb{N}, so that \mu( T^Y) \leq 2^{-2} for all Y \in 2^\omega and E_{f(e)}^e\subseteq T for all e\in\mathbb{N}. In [MR2336587] it was shown that X is K-trivial iff for some member T of a universal oracle Martin-Löf test, there is a \Sigma^0_1 class V with T^X \subseteq V and \mu(V) < 1.

Now given a uniform enumeration (U_e) of oracle \Sigma^0_1 classes we have the following property of T:

To see why this is true, note that every U_e can be effectively mapped to the oracle Martin-Löf test (M_i) where M_i^Z=U_e^Z[s_i] and s_i is the largest stage such that \mu(U_e^Z[s_i])<2^{-i-1} (which could be infinity). Effectively in e we can get an index n of (M_i). It follows that if \mu(U^Z_e)<2^{-f(n)-1} for all Z, then U_e^X = M_{f(n)}^X = E^{n,X}_{f(n)} \subseteq T^X \subseteq V. So g(e)=f(n)+1 is as wanted.

Let Y be K-trivial and let \mu be a continuous measure with representation m; we want to show Y is not \mu-random. By Theorem 1.9, let X be a computably enumerable K-trivial sequence that computes Y. Let f be the iterated convergence function as defined above for the computable approximation to Y given by approximating X’s computation of Y. Since X is computably enumerable, X can compute the convergence function for its own enumeration and hence f is computable from X.

Let s_m be the granularity function for \mu as represented by m. By Theorem 1.7, f eventually dominates s_m. By changing finitely many values of f, we may assume that f dominates s_m everywhere. So, we have that for every n

Further, we may assume that f can be obtained as the limit of a computable function f(n,s) such that for all s, f(n-1,s)\leq f(n,s)\leq f(n,s+1).

We will build an m-test \{S_i:i\in\omega\} which is Solovay-correct for \mu and which Y does not pass, thereby concluding that Y is not \mu-random. That is, we plan to build \{S_i:i\in\omega\} to be a uniformly \Sigma^{0,m}_1 sequence of sets such that \sum_{i\in\omega}\mu(S_i) is bounded and such that there are co-finitely i for which Y\in[S_i]. Our construction will not be uniform.

X’s K-triviality is exploited in the form of Theorem 1.10. Let V and g be given by Theorem 1.10 where \{U_e^X:e\in\omega\} is a listing of all \Sigma^{0,X}_1 sets. We will build an oracle \Sigma^0_1 class U along the construction. We use the recursion theorem to assume that in advance we know an index e such that U=U_e. During the construction we will make sure that for every oracle Z, \lambda(U^Z)<2^{-g(e)}. Theorem 1.10 then implies that U^X\subseteq V where V is a \Sigma^0_1 class of measure less than 1. To simplify our notation, let a denote g(e). Furthermore, assume a is large enough so that \lambda(V)+2^{-a}<1.

We use the approximation to X as a computably enumerable set to enumerate approximations to initial segments of Y into the sets S_i; we rely on the K-triviality of X to keep the total \mu-measure of the S_i’s bounded.

For each n>a we have a requirement R_n whose task is to enumerate Y\mathop{\upharpoonright} f(n) into S_n. Let y_{n,s}=Y_s\mathop{\upharpoonright} f(n,s) the stage s approximation to Y\mathop{\upharpoonright} f(n). Let x_{n,s} be the initial segment of X_s necessary to compute y_{n,s} and f(n,s). So, if y_{n,s+1}\neq y_{n,s}, it is because x_{n,s+1}\neq x_{n,s}. In this case, x_{n,s+1} is not only different than x_{n,s}, but also incomparable. At stage s, R_n would like to enumerate y_{n,s} into S_n, but before doing that it will ask for confirmation using the fact that U^X\subseteq V. Since we are constrained to keep \lambda(U^X) less than or equal to 2^{-a}, we will restrict R_n to enumerate at most 2^{-n} measure into U^X. The reason why we need a bit of security before enumerating a string in S_n is that we have to ensure that \sum_i\mu(S_i) is bounded. For this purpose, we will only enumerate mass into S_n when we see an equivalent mass going into V.

Action of requirement R_n:

1. The first time after R_n is initialized, R_n chooses a clopen subset of 2^{\omega}, \sigma_n, of m-measure 2^{-n}, that is disjoint form V_s and U_s^{X_s}. Note that since V and U^{X_s} have measure less than \lambda(V)+2^{-a}<1, we can always find such a clopen set. Furthermore we can chose \sigma_n to be different from the \sigma_i chosen by other requirements R_i, i>a. We note the value of \sigma_n might change if R_n is initialized.

2. To confirm x_{n,s}, requirement R_n enumerates \sigma_n into U^{x_{n,s}}. Requirement R_n will not be allowed to enumerate anything else into U^{X_s} unless X_s changes below x_{n,s}. This way R_n is always responsible for at most 2^{-n} measure enumerated in U^{X_s}.

3. Then, we wait until a stage t>s such that

   1. either x_{n,s}\not\subseteq x_{n,t} (as strings),

   2. or \sigma_n\subseteq V_t.

   Observe that if x_{n,s} is actually an initial segment of X, then we will have \sigma_n\subseteq U^X\subseteq V. So, we will eventually find such a stage t.

   • In Case 3(a), we start over with R_n. Note that in this case \sigma_n has come out of U^{X_t}, and hence R_n is responsible for no measure inside U^{X_t} at stage t.

   • In Case 3(b), if \mu([y_{n,t}])\leq 2^{-n}, enumerate y_{n,t} into S_n. (Recall that we are allowed to use the representation of \mu as an oracle when enumerating S_n.)

Since we only enumerate y_{n,t} of \mu-measure less than 2^{-n} when \sigma_n is enumerated in V, we have that

It is not hard to check that \lambda(U^X) \leq \sum_{n=a+1}^\infty 2^{-n} =2^{-a}, so we actually have that U^X\subseteq V. Also notice that once x_{n,s} is a initial segment of X, we will eventually enumerate \sigma_n into V and an initial segment of Y into S_n.