What problem does this paper attempt to address?

The problem that this paper attempts to solve is to construct a variant of the Collatz conjecture for binary polynomials and prove that this variant can be solved. Specifically, the authors generalize the classical Collatz conjecture to polynomials over the finite field \(F_2\) and verify through a series of transformations that these polynomial sequences will eventually converge to a specific form. ### Main problems 1. **Constructing a variant of the Collatz conjecture**: - The author defines a transformation rule similar to the integer Collatz conjecture but applied to binary polynomials. - For a given non - zero binary polynomial \(A\in F_2[x]\), two sequences are generated through a series of "Collatz transformations": one consists of even polynomials, and the other consists of odd polynomials. 2. **Proving the convergence of the variant**: - The author proposes and proves a conjecture (Conjecture 1.1) about these polynomial sequences, that is, for any non - zero binary polynomial \(A\), there exists a positive integer \(m\) such that when \(k\geq m\), the even polynomial \(A_{2k}=x(x + 1)\) and the odd polynomial \(A_{2k+1}=1\) in the sequence. 3. **Determining the upper bound of the sequence length**: - The author also explores the length \(\ell_A\) of these sequences and gives an upper bound estimate \(\ell_A\leq2\deg(A)-1\), although actual calculations show that this upper bound may be too loose. ### Formulas and symbol explanations - \(F_2\): represents the finite field \(\{0,1\}\). - \(M := x^2+x + 1\): the first non - constant and odd binary polynomial. - \(\text{val}_x(S)\) and \(\text{val}_{x+1}(S)\): represent the evaluations of the polynomial \(S\) at \(x\) and \(x + 1\) respectively. - \(A_0=A\), \(a_0=\text{val}_x(A_0)\), \(b_0=\text{val}_{x+1}(A_0)\). - \(A_1\) is an odd polynomial satisfying \(A_0=x^{a_0}(x + 1)^{b_0}A_1\). - \(A_2=1+MA_1\), \(a_2=\text{val}_x(A_2)\), \(b_2=\text{val}_{x+1}(A_2)\), \(A_3=\frac{A_2}{x^{a_2}(x + 1)^{b_2}}\). ### Summary This paper successfully constructs a new mathematical structure by introducing the Collatz transformation of binary polynomials and proves its convergence. This not only extends the research scope of the classical Collatz conjecture but also provides a new perspective for understanding the behavior of polynomials over finite fields.

On Collatz Conjecture for binary polynomials

A polynomial approach to the Collatz conjecture

On the stopping time of the Collatz map in $\mathbb{F}_2[x]$

Using binary string to prove the Collatz conjecture

A Proof for the Collatz Conjecture

On the Collatz Problem

On the intimate association between even binary palindromic words and the Collatz-Hailstone iterations

A window to the Convergence of a Collatz Sequence

The Proof of the Collatz Conjecture

A Collatz Conjecture Proof

An Automated Approach to the Collatz Conjecture

Application of Operator Theory for the Collatz Conjecture

A Brand new Approach to Collatz Conjecture

A new conjecture equivalent to Collatz conjecture

A Conjecture Equivalent to the Collatz Conjecture

Half an Induction Proof of the Collatz Conjecture

The intricate labyrinth of Collatz sequences

Polynomials and algebraic curves related to certain binary and $b$-ary overpartitions

A proof of a conjecture on permutation trinomials

On the Construction of Convergent Iterative Sequences of Polynomials

On the average stopping time of the Collatz map in $\mathbb{F}_2[x]$