Abstract:Define the map $\mathsf{T}$ on the positive integers by $\mathsf{T}(m)=\frac{m}{2}$ if $m$ is even and by $\mathsf{T}(m)=\frac{3m+1}{2}$ if $m$ is odd. Results of Terras and Everett imply that, given any $\epsilon>0$, almost all $m\in\mathbb{Z}^+$ (in the sense of natural density) fulfill $(\frac{\sqrt{3}}{2})^km^{1-\epsilon}\leq \mathsf{T}^k(m)\leq (\frac{\sqrt{3}}{2})^km^{1+\epsilon}$ simultaneously for all $0\leq k\leq \alpha\log m$ with $\alpha=(\log 2)^{-1}\approx 1.443$. We extend this result to $\alpha=2(\log\frac{4}{3})^{-1}\approx 6.952$, which is the maximally possible value. Set $\mathsf{T}_{\min}(m):=\min_{n\in\mathbb{N}}\mathsf{T}^n(m)$. As an immediate consequence, one has $\mathsf{T}_{\min}(m)\leq\mathsf{T}^{\left\lfloor2(\log\frac{4}{3})^{-1}\log m\right\rfloor}(m)\leq m^{\epsilon}$ for almost all $m\in\mathbb{Z}^+$ for any given $\epsilon>0$. Previously, Korec has shown that $\mathsf{T}_{\min}(m)\leq m^\epsilon$ for almost all $m\in\mathbb{Z}^+$ if $\epsilon>\frac{\log3}{\log4}$, and recently Tao proved that $\mathsf{T}_{\min}(m)\leq f(m)$ for almost all $m\in\mathbb{Z}^+$ (in the sense of logarithmic density) for all functions $f$ diverging to $\infty$. Denote by $\tau(m)$ the minimal $n\in\mathbb{N}$ for which $\mathsf{T}^n(m)=1$ if there exists such an $n$ and set $\tau(m)=\infty$ otherwise. As another application, we show that $\liminf_{x\rightarrow\infty}\frac{1}{x\log x}\sum_{m=1}^{\lfloor x\rfloor}\tau(m)\geq 2(\log\frac{4}{3})^{-1}$, partially answering a question of Crandall and Shanks. Under the assumption that the Collatz Conjecture is true in the strong sense that $\tau(m)$ is in $O(\log m)$, we show that $\lim_{x\rightarrow\infty}\frac{1}{x\log x}\sum_{m=1}^{\lfloor x\rfloor}\tau(m)= 2(\log\frac{4}{3})^{-1}$.
What problem does this paper attempt to address?
### The problems the paper attempts to solve
This paper aims to solve mathematical problems related to the Collatz conjecture. Specifically, the author attempts to improve the approximate estimation of the Collatz mapping by extending previous research results and provide a lower bound on its average total stopping time.
### Background and motivation
The Collatz conjecture is a well - known unsolved mathematical problem. It defines a simple recursive function \(T\):
\[T(m)=\begin{cases}
\frac{m}{2}&\text{if }m\text{ is even}\\
\frac{3m + 1}{2}&\text{if }m\text{ is odd}
\end{cases}\]
The Collatz conjecture claims that for any positive integer \(m\), repeatedly applying \(T\) will eventually reach 1. Although this problem seems simple, it has not been proven yet.
### Main contributions
1. **Extending previous results**:
- The author extends the results of Terras and Everett, expanding the approximation range from \(0\leq k\leq\alpha\log_2 m\) to \(0\leq k\leq 2(\log_4 3)^{-1}\log_2 m\).
- This new range is the currently possible maximum, that is, \(\alpha = 2(\log_4 3)^{-1}\approx6.952\).
2. **Improving the minimum estimate of the Collatz mapping**:
- The author proves that for almost all \(m\in\mathbb{Z}^+\), there exists a constant \(\epsilon> 0\) such that \(T_{\lfloor 2(\log_4 3)^{-1}\log m\rfloor}(m)\leq m^\epsilon\).
- This result partially answers the question raised by Korec and improves Tao's result in the sense of natural density.
3. **Average total stopping time of the Collatz mapping**:
- The author studies \(\tau(m)\), that is, the minimum value of \(n\) such that \(T^n(m) = 1\). If such an \(n\) does not exist, then \(\tau(m)=\infty\) is set.
- The author proves that \(\liminf_{x\rightarrow\infty}\frac{1}{x\log x}\sum_{m = 1}^{\lfloor x\rfloor}\tau(m)\geq 2(\log_4 3)^{-1}\).
- Under the assumption that the Collatz conjecture holds, the author further proves that \(\lim_{x\rightarrow\infty}\frac{1}{x\log x}\sum_{m = 1}^{\lfloor x\rfloor}\tau(m)=2(\log_4 3)^{-1}\).
### Methods and techniques
1. **Probabilistic method**:
- The author uses Hoeffding's inequality in probability theory to analyze the properties of the Collatz mapping.
- By defining the parity sequence \(p(m)_k\), the author is able to transform the problem into an analysis of probability distributions.
2. **Iterative argument**:
- The author gradually expands the approximation range by an iterative method, using the concept of \(*\)-dense sets to prove the main theorem.
- By defining and analyzing the properties of \(*\)-dense sets, the author is able to prove the key lemma and thus complete the proof of the main theorem.
### Applications and significance
1. **Partial solution to the Collatz conjecture**:
- The author's results partially answer some important questions of the Collatz conjecture and provide new tools and methods for future research.
2. **Mathematical theory**