A jump operator on the Weihrauch degrees

A partial order $(P,\le)$ admits a jump operator if there is a map $j\colon P \to P$ that is strictly increasing and weakly monotone. Despite its name, the jump in the Weihrauch lattice fails to satisfy both of these properties: it is not degree-theoretic and there are functions $f$ such that $f\equiv_{\mathrm{W}} f’$. This raises the question: is there a jump operator in the Weihrauch lattice? We answer this question positively and provide an explicit definition for an operator on partial multi-valued functions that, when lifted to the Weihrauch degrees, induces a jump operator. This new operator, called the totalizing jump, can be characterized in terms of the total continuation, a well-known operator on computational problems. The totalizing jump induces an injective endomorphism of the Weihrauch degrees. We study some algebraic properties of the totalizing jump and characterize its behavior on some pivotal problems in the Weihrauch lattice.

💡 Research Summary

The paper addresses a fundamental gap in the theory of Weihrauch degrees: the traditional jump operator (denoted f′) does not satisfy the abstract definition of a jump operator, which requires strict increase (p < j(p) for every p) and weak monotonicity (p ≤ q ⇒ j(p) ≤ j(q)). While f′ is motivated by applying the limit operator once before using f, it fails to be strictly increasing for many natural problems (e.g., constant functions) and is not monotone on the ordinary Weihrauch lattice.

To remedy this, the authors introduce a new operator called the totalizing jump (tJ). The construction relies on a computable enumeration (Φ_e)_e∈ℕ of partial computable functionals. For a partial multi‑valued function f : ⊆ℕ^ℕ ⇒ ℕ^ℕ, the value of tJ(f) on an input triple (e,i,p) is defined as follows: if Φ_e(p) lies in the domain of f and for every q ∈ f(Φ_e(p)) the computation Φ_i(p,q) halts, then tJ(f)(e,i,p) = {Φ_i(p,q) : q ∈ f(Φ_e(p))}; otherwise the output is the whole space ℕ^ℕ. Intuitively, the pair (e,i) encodes a specific Weihrauch reduction to f, and tJ(f) aggregates the results of all such reductions and then totalizes them (by returning ℕ^ℕ on undefined inputs).

The central technical result (Theorem 3.3) shows that the Weihrauch degree of tJ(f) is the supremum of the degrees of the totalizations T g of all problems g that are Weihrauch reducible to f. Formally: if g ≤_W f then T g ≤_W tJ(f), and there exists h ≡_W f such that tJ(f) ≡_W T h. Consequently, tJ is strictly increasing (f < _W tJ(f) for every f) and weakly monotone (f ≤_W g ⇒ tJ(f) ≤_W tJ(g)), satisfying the abstract definition of a jump operator on the Weihrauch lattice (Theorem 3.4). Moreover, tJ is injective on degrees (Theorem 3.7), yielding an embedding of the Weihrauch degrees into themselves that is not surjective. This injectivity also gives two distinct embeddings of the Medvedev degrees into the Weihrauch degrees.

Section 4 applies tJ to several benchmark problems, especially choice principles C_X (where X ranges over finite sets, ℕ, 2^ℕ, and ℕ^ℕ). The authors compute tJ(C_k), tJ(C_ℕ), tJ(C_{2^ℕ}), and tJ(C_{ℕ^ℕ}) and show, for instance, that tJ(C_ℕ) is Weihrauch equivalent to the double jump C_ℕ′′, thereby aligning the totalizing jump with iterated classical jumps for these natural problems. The analysis demonstrates that tJ preserves known separations while often strengthening them.

Section 5 discusses the broader notion of abstract jump operators on partial orders, emphasizing that tJ provides a concrete, natural example that works without invoking the axiom of choice. The authors compare tJ with other operators such as parallelization, composition, and the classical derivative, highlighting its degree‑theoretic robustness.

Finally, Section 6 lists open questions: (1) characterizing the image of tJ (which degrees are of the form tJ(f)?), (2) understanding how tJ interacts with lattice operations (joins, meets, compositional products), (3) exploring possible connections between tJ and higher‑order jumps or transfinite iterations, and (4) investigating whether tJ can be extended to a surjective endomorphism by suitable modifications. These problems point toward a richer algebraic theory of Weihrauch degrees centered around the totalizing jump.

Overall, the paper provides a rigorous definition of a genuine jump operator on the Weihrauch lattice, establishes its fundamental algebraic properties, and demonstrates its utility on central computational problems, thereby opening a new avenue for structural investigations in computable analysis.