The binary polynomial Collatz conjecture

Let AF2[x]{0}A\in\mathbb{F}_2[x]\setminus\{0\}. Define the associated sequences (a2k)k(a_{2k})_k, (A2k)k(A_{2k})_k, and (A2k+1)k(A_{2k+1})_k by A0=AA_0=A, A2k=1+(x2+x+1)A2k1A_{2k}=1+(x^2+x+1)A_{2k-1}, and by removing all powers of xx and x+1x+1 from each even polynomial to obtain the following odd polynomial. Binary polynomial Collatz conjecture. For a given AF2[x]{0}A\in\mathbb{F}_2[x]\setminus\{0\}, there exists mNm\in\mathbb{N}^* such that for all kmk\geq m, A2k=x(x+1)A_{2k}=x(x+1) and A2k+1=1A_{2k+1}=1. This is the proposed analogue over binary polynomials of the integer Collatz conjecture; the source does not provide a resolution.

Sources & referencesView supporting material

Primary source

Luis H. Gallardo and Olivier Rahavandrainy, “A variant of Collatz's Conjecture over Binary Polynomials”, arXiv:2510.07530 (2025).

Additional references

2 papers in this index state this conjecture (2023–2025). The statement above is taken from the most recent of them; the others are arXiv:2308.01181.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.