Skip to main content
2 of 2
Removed some unnecessary notation
LSpice
  • 12.9k
  • 4
  • 45
  • 69

A possibly easy question about latent geometry in Collatz sequences

I have a question about some (seemingly unimportant) behavior I noticed in Collatz sequences, which I haven't been able to find a general answer to upon rough scan of the literature (please be aware that this is not my field, so there may be some ignorance here).

A length-$m$ Collatz tuple is an $m$-tuple of the form $(c_0, c_1, \dotsc, c_{m - 1})$, where $c_0 \in \mathbb N$ and $c_{i + 1}$ is the Collatz iterate of $c_i$ for all $i$.

It appears that all length $m$ Collatz tuples lie on one of $m$ distinct lines in $m$-dimensional space, where the angle between each pair of such lines is $\pi/4$. This fact is clear for $m=2$, where all length-2 Collatz tuples lie on the lines $y = 3x+1$ and $y = x/2$ which have an intersection angle of $\pi/4$.

That this necessarily holds for the general $m$ case however is not immediately obvious to me (where we take Collatz orbits of length greater than or equal to $m$). I have been able to come up with a variety of arguments for why this may be the case, but none have been entirely convincing or neat. Can someone elucidate why this appears to be so, and if this property fails for some $m$, why? Can you provide sketch of proof (unless I am missing something basic)?

user918212
  • 1.1k
  • 1
  • 9
  • 22