# A tractable case of the Turing automorphism problem: bi-uniformly $E_0$-invariant Cantor homeomorphisms

## TL;DR

This paper investigates bi-uniform $E_0$-invariant Cantor homeomorphisms and proves they can only induce trivial automorphisms of the Turing degrees, shedding light on the structure of such automorphisms.

## Contribution

It establishes that bi-uniform $E_0$-invariant Cantor homeomorphisms induce only trivial Turing degree automorphisms, addressing a specific case of the Turing automorphism problem.

## Key findings

- Bi-uniform $E_0$-homeomorphisms induce trivial Turing automorphisms.
- Characterization of $E_0$-isomorphisms in Cantor space.
- Insight into the Turing automorphism problem for specific automorphisms.

## Abstract

A function $F:2^\omega\to 2^\omega$ is an $E_0$-isomorphism if for all $x,y\in 2^\omega$, we have $xE_0y\iff f(x)E_0 f(y)$, where $xE_0y\iff(\exists a)(\forall n\ge b) x(n)=y(n)$. If such witnesses $a$ for $xE_0 y$ and for $f(x)E_0 f(y)$ depend on each other but not on $x$, $y$, then $F$ is called bi-uniform. It is shown that a homeomorphism of Cantor space which is a bi-uniform $E_0$-isomorphism can induce only the trivial automorphism of the Turing degrees.