Inverse Canonical Form
Looking the other way
Last updated
Looking the other way
Last updated
ECFs provide a clean form to analyze trajectories, so much so that the entire trajectory can be represented by a single positive integer. However, they do not provide much algebraic power we require.
Inverse Canonical Form (ICF) is yet another form to represent trajectories that provide great algebraic properties. Again, consider a sequence:
with ECF . Denote the final number in this trajectory as , we will also refer to this number as the terminating number. The ICF for this trajectory is an equation, shown as:
Unlike ECF, ICF requires to be defined for the form. ECF only required the trajectory itself, not the starting number; ICF needs it for the left hand-side of the equation. can be computed from the trajectory. Same logic applies to giving and computing in reverse, but for convenience we require to be given.
Note that the leftmost two terms have the same denominator , that is not a typo!
Sequence of 3 has ECF , then the ICF is:
ICF has been discovered before too, with slightly different notation, see https://www.uni-kassel.de/fg_pur/helms/math/collatz/aboutloop/CollatzLoopIntro_General.htm.