Collatz conjecture stands as an open problem. That leads me to believe that the conjecture cannot be resolved by elementary means.
Which brings me to my question: What techniques/machinery from number theory are well suited for studying Collatz sequences/Collatz conjecture (and related problems)?
Not a direct answer to your question, but I found this blog by Tao very interesting:
Terence Tao on Collatz