# 3n+1 problem and cycles

Just to make sure I am up to date with this problem. I know (or I think I do) that it is not yet proven that there are no non-trivial cycles for the collatz sequence (please correct me if I am wrong). But have we already reduced this problem to finding a non-trivial cycle? i.e. if we suppose that there are no non-trivial cycles at all, is it already proven that with this assumption the Collatz conjecture holds? As far as I can see in the literatures, even this is not shown (i.e. we can reduce the problem to proving whether there are no non-trivial cycles). But I may be wrong, so please correct me if I am wrong.

Edit: Most of my knowledge are on par with Lagarias annotated bibliography and I believe it has been a few years since this literature review.

-
A priori, the Collatz conjecture could fail in two ways: a non-trivial cycle or a Collatz sequence tending to infinity. As far as I know, both possibilities are still open. –  Andreas Blass Aug 3 at 22:40
I can only confirm what Andreas Blass has written. The Wikipedia article on the Collatz conjecture is usually kept up-to-date: en.wikipedia.org/wiki/Collatz_conjecture. –  Stefan Kohl Aug 3 at 22:47
With respect to Lagarias' bibliography: on February 12, 2012, when he updated his bibliography for the last time so far, Lagarias has written to me: "I am happy to hear about other articles but I have run out of energy for updating the annotated bibliography from 2010 -- on." -- I think this is quite a pity, and it would certainly be good if the further maintenance of this valuable bibliography would be passed on to somebody else, rather than just letting it become a document of purely historical interest by the time. –  Stefan Kohl Aug 4 at 9:16
@Stefan agreed! –  Jose Capco Aug 4 at 11:38

The page http://www.ericr.nl/wondrous/index.html lists numerous records and data related to the Collatz problem, and was updated recently (only about two month ago).

It explictly lists as open the problem:

Conjecture 1a : (weak 3x+1 conjecture) No integer N is divergent.

(There divergent has the natural meaning means that the sequence of iterations diverges.)

It is thus possible that there is no other cycle but the known one, yet still the conjecture fails as there might be divergent elements. Thus, the reduction asked about in OP is not known.

(To be very precise let me add that it could be theoretically possible there is some result that shows: if there were divergent elements there'd be other cycles, so that the above could be open while the reduction in OP still known, yet neither do I know such a result nor does it seem natural.)

-