Almost all orbits of the Collatz map attain almost bounded values

Terence Tao

Paper

Almost all orbits of the Collatz map attain almost bounded values

Abstract

Define the \emph{Collatz map}

on the positive integers

by setting

equal to

when

is odd and

when

is even, and let

denote the minimal element of the Collatz orbit

. The infamous \emph{Collatz conjecture} asserts that

for all

. Previously, it was shown by Korec that for any

, one has

for almost all

(in the sense of natural density). In this paper we show that for \emph{any} function

with

, one has

for almost all

(in the sense of logarithmic density). Our proof proceeds by establishing an approximate transport property for a certain first passage random variable associated with the Collatz iteration (or more precisely, the closely related Syracuse iteration), which in turn follows from estimation of the characteristic function of a certain skew random walk on a

-adic cyclic group at high frequencies. This estimation is achieved by studying how a certain two-dimensional renewal process interacts with a union of triangles associated to a given frequency.