Pseudo-Hyperjump Inversion Fails for Turing Degrees

Abstract

Jananthan and Simpson asked in Conjecture~4.5 whether every pseudo-hyperjump $\operatorname{HJ}_e(X)=X\oplus V_e^X$, with $V_e^X$ uniformly $Π^1_1(X)$, admits Turing-degree inversion above Kleene's $\mathcal{O}$. We settle their conjecture in the negative. We construct one index $e_*$ such that $X<_{\mathrm T}\operatorname{HJ}_{e_*}(X)$ for every real $X$, while the range of $\operatorname{HJ}_{e_*}$ omits every Turing degree $\mathbf d$ such that $°_{\mathrm T}(\mathcal{O})\leq\mathbf d<°_{\mathrm T}(\mathcal{O}^{\mathcal{O}})$. Thus Conjecture~4.5 fails even for an operator which strictly raises the Turing degree of every input. Each of Properties~4.6--4.8 implies Conjecture~4.5; consequently, the accompanying class-characterisation problems collapse: no class of reals, even without a definability assumption, satisfies any one of these properties.