---
title: Coarse Reducibility in Computability
url: https://www.emergentmind.com/topics/coarse-reducibility
type: topic
---

# Coarse Reducibility in Computability

Searching arXiv for the cited papers and related coarse reducibility work.
arXiv search query: "coarse reducibility algorithmic randomness 1505.01707"
Coarse reducibility is a computability-theoretic notion of robust information coding in which sets, and more generally functions, are compared up to errors on a density-$0$ set. A coarse description of a set $A \subseteq \omega$ is a set $D \subseteq \omega$ such that $\rho(A \triangle D)=0$, and coarse reducibility asks whether every such approximate presentation of one object still suffices to recover an approximate presentation of another. In the form developed by Hirschfeldt, Jockusch, Kuyper, and Schupp, the subject studies both uniform and nonuniform reducibility, the induced degree structures, and their interaction with algorithmic randomness and genericity [1505.01707]. In a broader framework of robust reducibilities, coarse reducibility sits between generic reducibility and Turing reducibility [1406.2982], and later work extends the notion from subsets of $\omega$ to functions in $\omega^\omega$ while showing that the corresponding coarse degrees remain arithmetical and that every uniform coarse degree contains a set [2508.06925].

## 1. Definitions and basic framework

Let $\omega=\{0,1,2,\dots\}$ and $A\subseteq \omega$. For $n\in \omega$, write $[0,n)=\{0,1,\dots,n-1\}$ and
$$
p_n(A)=|A\cap [0,n)|/(n+1).
$$
The upper density and lower density are
$$
\bar\rho(A)=\limsup_{n\to\infty} p_n(A), \qquad \underline\rho(A)=\liminf_{n\to\infty} p_n(A),
$$
and when these agree one writes
$$
\rho(A)=\lim_{n\to\infty} p_n(A).
$$
A set $D\subseteq \omega$ is a coarse description of $A$ if
$$
\rho(A\triangle D)=0,
$$
where $A\triangle D=(A\setminus D)\cup (D\setminus A)$ is the symmetric difference. Thus a coarse description is total but may disagree with the target on a sparse set [1505.01707].

The later function-theoretic version replaces subsets of $\omega$ by total functions $f\in \omega^\omega$. A total function $f':\omega\to\omega$ is a coarse description of $f$ if
$$
\mathrm{udensity}(\{n:f(n)\neq f'(n)\})=0.
$$
For sets $A,B\subseteq \omega$, nonuniform coarse reducibility is defined by
$$
B\le_{\mathrm{nc}} A
$$
iff every coarse description of $A$ computes some coarse description of $B$, while uniform coarse reducibility is defined by
$$
B\le_{\mathrm{uc}} A
$$
iff there is a single Turing functional $\Phi$ such that for every coarse description $D$ of $A$, $\Phi^D$ is a coarse description of $B$. Uniform reducibility implies nonuniform reducibility, but not conversely [1505.01707].

In the earlier robust-coding formulation, coarse reducibility is presented as a relativization of coarse computability. A set $B$ is coarsely computable if there is a total computable function $\Phi$ such that $\{n:\Phi(n)=B(n)\}$ has asymptotic density $1$. The relativized notion requires that whenever a total oracle $C$ agrees with $A$ on a set of density $1$, the functional $\Phi^C$ is total and agrees with $B$ on a set of density $1$ [1406.2982]. This suggests that coarse reducibility is best viewed as stability of computation under sparse oracle corruption rather than exact oracle access.

## 2. Uniformity, nonuniformity, and robust coding

The distinction between uniform and nonuniform reducibility is structural. In the uniform case, a single Turing functional must transform every coarse description of the source into a coarse description of the target. In the nonuniform case, different coarse descriptions of the source may compute coarse descriptions of the target by different methods. The basic implication
$$
\le_{\mathrm{uc}} \Rightarrow \le_{\mathrm{nc}}
$$
holds immediately, but the two notions diverge in the coarse degrees [1505.01707].

Within the larger family of robust reducibilities, coarse reducibility appears in the implication chain
$$
\leq_{1}\Longrightarrow \leq_{\mathrm{cf}}\Longrightarrow \leq_{\mathrm{gen}}\Longrightarrow \leq_{\mathrm{coarse}}\Longrightarrow \leq_T,
$$
and separately
$$
\leq_{1}\Longrightarrow \leq_{\mathrm{mf}}\Longrightarrow \leq_T.
$$
No other implications hold among these notions. In particular, generic reducibility and coarse reducibility are incomparable, and neither is equivalent to ordinary Turing reducibility [1406.2982].

The same work records several natural variants. One may allow the reduction functional to depend on the particular oracle close to $A$, yielding a non-uniform coarse reducibility. One may also consider a partial-oracle version, in which the output computation is allowed to diverge on a density-$0$ set, or an equality-on-$A$ requirement, in which one asks additionally that $\Phi^A=B$ exactly. These variants are explicitly noted but not developed there in detail [1406.2982]. A plausible implication is that coarse reducibility was recognized from the outset as one point in a broader design space of density-robust reducibilities rather than as a single isolated definition.

## 3. Randomness, genericity, and K-triviality

A central theorem of Hirschfeldt, Jockusch, Kuyper, and Schupp states that if $A$ is $1$-random and $B\le_{\mathrm{nc}} A$, then $B$ is $K$-trivial. Consequently, if $A$ is weakly $2$-random, then any $B\le_{\mathrm{nc}} A$ is computable. The same two-step conclusion holds when “$A$ is weakly $2$-random” is replaced by “$A$ is $1$-generic”: if $A$ is $1$-generic and $B\le_{\mathrm{nc}} A$, then $B$ is computable [1505.01707].

These results place $K$-triviality at the boundary of information recoverable from all coarse descriptions of a random source. The paper also proves that for some $1$-random $A\le_T 0'$, there is a noncomputable c.e. set $B$ with $B\le_{\mathrm{nc}} A$. In the opposite direction, not every $K$-trivial set arises this way: there is a $K$-trivial $A$ such that no $1$-random $X$ satisfies $A\le_{\mathrm{nc}} X$ [1505.01707].

Earlier work already recorded a negative interaction between coarse reducibility and randomness or genericity in the relative setting: if $B$ is $1$-random, or even weakly $1$-generic, relative to $A$, then $B\not\leq_{\mathrm{coarse}} A$ [1406.2982]. Taken together, these results show that coarse reducibility is sharply constrained by randomness and genericity, but not in a way that collapses entirely to computability. The appearance of $K$-triviality indicates that the residual information preserved under coarse descriptions of a random set is exactly the low-complexity portion singled out by algorithmic randomness theory.

## 4. Cone-avoiding compactness and proof methods

The main technical tool in “Coarse Reducibility and Algorithmic Randomness” is a compactness theorem for cone-avoiding descriptions. Its statement is as follows: let $X,A\subseteq \omega$ be arbitrary. Suppose that for every $\varepsilon>0$ there is a set $D_\varepsilon$ with
$$
\rho(X\triangle D_\varepsilon)\le \varepsilon
$$
and
$$
A\nle_T D_\varepsilon.
$$
Then there exists $D$ with
$$
\rho(X\triangle D)=0
$$
and
$$
A\nle_T D.
$$
In other words, one can amalgamate approximate descriptions of $X$ into a single coarse description while still avoiding the Turing cone above $A$ [1505.01707].

The proof proceeds by a finite-extension, forcing-style construction. At stage $e$ one has an initial segment $\sigma_e$ of $D$ and chooses a longer $\sigma_{e+1}$ so that $\sigma_{e+1}$ remains $\varepsilon_e$-close to $X$ on its length and forces failure of the $e$-th attempted computation of $A$. If neither of two good-extension options ever applies, then for sufficiently small $\varepsilon$ every string sufficiently close to $X$ would compute $A$, contradicting the hypothesis that $A\nle_T D_\varepsilon$. The triangle inequality for Hamming distance and a careful choice of densities yield $\rho(X\triangle D)=0$ in the limit [1505.01707].

Later work on functions in $\omega^\omega$ introduces another forcing notion tailored to coarse descriptions. Conditions are triples $q=(\sigma,k,\gamma)$, where $\sigma\in 2^{<\omega}$ selects a finite error-set of density at most $2^{-k}$ and $\gamma$ is a finite partial function giving proposed values of $f$ on the support of $\sigma$. The forcing is used to show that $g\le_{\mathrm{NC\,coarse}} f$ iff some finite condition forces that every extension computes, via some oracle index $e$, a total oracle whose symmetric-difference with $g$ has density $0$ [2508.06925]. This suggests that the nonuniform theory can often be reduced to finite combinatorial control together with uniform density bounds.

## 5. Degree structure, embeddings, and minimal pairs

A map $C:2^\omega\to 2^\omega$ is called a coarsening if for every $A$ one has $C(A)\le_T A$ and every coarse description $D$ of $C(A)$ satisfies $A\le_T D$. It is uniform if there is a single functional $\Gamma$ so that from any coarse description $D$ of $C(A)$ the computation of $A$ from $D$ converges in a stage-wise uniform manner. A canonical example uses intervals $I_n=[n!, (n+1)!)$ and defines
$$
I(A)=\bigcup_{n\in A} I_n.
$$
To obtain a uniform coarsening, one interleaves via
$$
H(A)=\{(n,i): n\in A,\, i\in \omega\},
$$
and then sets
$$
\mathcal E(A)=I(H(A)).
$$
The map $\mathcal E$ is a uniform coarsening [1505.01707].

For any coarsening $C$ and sets $A,B$,
$$
B\le_T A \iff C(B)\le_{\mathrm{nc}} C(A),
$$
and if $C$ is uniform then also
$$
B\le_T A \iff C(B)\le_{\mathrm{uc}} C(A).
$$
Thus $A\mapsto C(A)$ embeds the Turing degrees into the nonuniform coarse degrees, and into the uniform coarse degrees when $C$ is uniform. The embedding is not surjective: for a $2$-generic $X$, the two natural coarsenings $I(X)$ and $\mathcal E(X)$ are distinct in the uniform coarse degrees, in effect because $X$ is not jump-autoreducible [1505.01707].

Minimal-pair phenomena are also present. If $A$ is not coarsely computable and $X$ is weakly $3$-random relative to $A$, then no $X$-computable coarse description of $A$ exists. Hence if $Y$ is not coarsely computable and $X$ is weakly $3$-random relative to $Y$, then the nonuniform coarse degrees of $X$ and $Y$ form a minimal pair, and so do their uniform coarse degrees. This fails at the level of $2$-randomness in the nonuniform degrees: there exist $X,Y$ both $2$-random for which the nonuniform coarse degrees do not form a minimal pair, and indeed one can construct a noncoarsely computable c.e. $A$ with $A\le_{\mathrm{nc}} X,Y$ [1505.01707].

Earlier work showed that the coarse degrees form an upper-semilattice and that the join of two degrees is their ordinary Turing join: for any $A,B\subseteq \omega$, $A\oplus B$ is the least coarse-upper-bound of $A$ and $B$ [1406.2982]. It also exhibited an embedding of the mod-finite degrees into the coarse degrees via
$$
\widetilde{\mathcal R}(S)=\{2^n+m : n\in S,\; m<2^n\}.
$$
These facts situate coarse reducibility within a degree theory that is richer than Turing reducibility but still retains familiar algebraic features [1406.2982].

## 6. Extensions to functions and comparison with effective dense reducibility

The function-theoretic extension in $\omega^\omega$ shows that every uniform coarse degree contains a set. Specifically, there are computable maps
$$
\Gamma:\omega^\omega\to 2^\omega \qquad\text{and}\qquad \widehat G:2^\omega\to \omega^\omega
$$
such that for all $f\in \omega^\omega$: $\Gamma(f)$ is a set, $\Gamma$ is a uniform coarse reduction of $\Gamma(f)$ to $f$, $\widehat G\circ \Gamma$ is the identity on $\omega^\omega$, and $\widehat G$ is a uniform coarse reduction of $f$ to $\Gamma(f)$. Hence every uniform coarse degree, and thus every nonuniform coarse degree, contains at least one set [2508.06925].

The same paper gives an arithmetic characterization of nonuniform coarse reducibility. One can show that
$$
g\le_{\mathrm{NC\,coarse}} f
$$
iff there exist numbers $e,k$ such that for every total $f'\in \omega^\omega$ with
$$
\mathrm{udensity}(f'\leftrightarrow f)\le 2^{-k},
$$
the function $\Phi_e(f')$ is total and
$$
\mathrm{udensity}(\Phi_e(f')\leftrightarrow g)=0.
$$
Theorem 4.1 shows that $\le_{\mathrm{NC\,coarse}}$ is a $\Delta^0_5$-predicate, equivalently $\Sigma^0_4\wedge \Pi^0_4$, and the relation can be written by a $\Sigma^0_4$ formula in the real parameters $f,g$ [2508.06925].

This arithmetic behavior contrasts sharply with effective dense reducibility. In the coarse setting, every function-degree even uniformly contains a set-degree. In the effective dense setting, a $3$-generic function $f$ has no set $X$ with $f\equiv_{\mathrm{ed}} X$, and the nonuniform effective dense relation is $\Pi^1_1$-complete as a relation of reals [2508.06925]. A plausible implication is that coarse reducibility behaves as a comparatively tame generalization of ordinary degree theory, whereas effective dense reducibility lies substantially closer to descriptive-set-theoretic complexity.

## 7. Terminological extension in stochastic and quantum dynamics

The phrase “coarse reducibility” also appears in a distinct literature on state-space reduction for stochastic and quantum dynamics. There a coarse-graining of a finite Markov chain with state-space $\mathcal A$ is given by a partition into macro-blocks and a lumping map
$$
M:\mathbb R^{|A|}\to \mathbb R^{|B|}, \qquad (Mp)_k=\sum_{\alpha_i\in B_k} p_i,
$$
with Moore–Penrose pseudo-inverse $M^+$ and projector $P=M^+M$. The coarse-graining reduces the dynamics precisely when the projected dynamics is again Markovian, equivalently when
$$
PQ=PQP,
$$
in which case the reduced generator is $\widetilde Q=MQM^+$ [1801.09770].

In the quantum setting, a coarse-graining is defined from an isometric embedding
$$
V:\mathcal H\to \mathcal H^A\otimes \mathcal H^B
$$
and the map
$$
\mathcal C=\mathrm{tr}_A\circ(\cdot\mapsto V(\cdot)V^\dagger).
$$
A quantum coarse-graining reduces the dynamics generated by $\mathcal L$ iff
$$
\mathcal P\mathcal L=\mathcal P\mathcal L\mathcal P,
$$
where $\mathcal P$ is the induced orthogonal projection; for unitary dynamics $\mathcal L(\rho)=-i[H,\rho]$, this is equivalent to the condition that for every $S$ in the span of the bipartition operators $S_{kl}$,
$$
[H,S]\in \mathrm{span}\{S_{kl}\}.
$$
The same paper further shows that symmetry-based reduction extends beyond strict Noether-type commutation: coarse-graining by symmetrization over a group $G$ is compatible with $H$ iff for every $g\in G$,
$$
[U(g),H]\in U(G)'',
$$
equivalently in the algebra generated by the group [1801.09770].

This use of the term is conceptually related through error-tolerant or information-discarding reduction, but it is mathematically separate from the computability-theoretic theory. The shared terminology reflects a common concern with identifying which information is safely ignorable, while the formal objects, reducibility criteria, and applications are entirely different.

Source: https://www.emergentmind.com/topics/coarse-reducibility