Resumen Técnico: Un Operador de Polinomios Booleanos para el Problema de Collatz $3n + 1$

Planteamiento del Problema

El artículo aborda el problema de Collatz $3n+1$, una cuestión de larga data en la teoría de números relativa a si el mapa $C(k)$, definido como $k/2$ si $k$ es par y $3k+1$ si $k$ es impar, alcanza eventualmente el 1 para cada entrada de entero positivo. El autor reformula este problema consolidando las divisiones por 2 en un solo paso, lo que conduce al mapa $O(k) = 2^{v_2(k)} + 3k$, donde $v_2(k)$ es el exponente de la mayor potencia de 2 que divide a $k$. El objetivo es expresar este operador $O$ como una transformación sobre secuencias de polinomios booleanos, analizando así el problema a través de la lente de las estructuras algebraicas sobre el cuerpo $\mathbb{F}_2$.

Metodología

El artículo construye un marco donde los enteros se representan como secuencias de elementos en un álgebra booleana $R = \mathbb{F}_2[x_1, \dots, x_n]/I$, donde $I$ es el ideal generado por $x_i^2 - x_i$. Un entero $k$ corresponde a una secuencia $y = (y(i))_{i=1}^\infty$ que representa su expansión binaria.

La metodología central consiste en definir el operador $O$ a través de una serie de operaciones booleanas:

1. Suma y Acarreos: El artículo define una operación Add (Suma) en secuencias $u$ y $v$ que produce una secuencia de suma y una correspondiente "secuencia de acarreo" $c(u, v)$. La secuencia de acarreo se define recursivamente basándose en la lógica estándar de la suma binaria.
2. Mapas de Componentes:
   • PlusPowerTwo(y): Representa la suma de $2^{v_2(k)}$ a $3k$. Esto se construye utilizando la secuencia definida por PlusPowerTwo(y) = (y(j)P(y; j -1))_{j=1}^\infty, donde $P(y; j) = \prod_{i=1}^j (1 + y(i))$. Este término facilita la lógica de acarreo necesaria para sumar la secuencia $2^{v_2(k)}$ a la secuencia $y$.
   • Shift1(y): Representa la multiplicación por 2 (un desplazamiento a la izquierda en binario).
3. Composición: El mapa $O(y)$ se define como el resultado de sumar PlusPowerTwo(y) a Shift1(y). Esta composición involucra dos capas de secuencias de acarreo:
   • $\gamma(y)$: La secuencia de acarreo resultante de sumar $y$ y PlusPowerTwo(y).
   • $\delta(y)$: La secuencia de acarreo resultante de sumar la suma intermedia y Shift1(y).
     El artículo tiene como objetivo derivar fórmulas polinómicas explícitas para los términos de la secuencia resultante $O(y)$ en términos de la secuencia de entrada $y$.

Contribuciones Clave y Resultados

1. Fórmula Explícita para el Operador

El resultado principal (Teorema 1) proporciona una fórmula explícita para el $i$-ésimo término del output del operador $O(y)(i)$:
$$O(y)(i) = \delta(y; i) + \gamma(y; i) + y(i)P(y; i - 1) + y(i) + y(i - 1)$$
Esto reduce el problema de iterar el mapa de Collatz al cálculo de las secuencias de acarreo $\gamma$ y $\delta$.

2. Fórmula para la Primera Secuencia de Acarreo ($\gamma$)

El artículo deriva una fórmula explícita para $\gamma(y; j+1)$, la secuencia de acarreo asociada con la suma de $y$ y $2^{v_2(k)}$.

• El Teorema 2 establece que $\gamma(y; j+1)$ puede expresarse como una suma que involucra productos de los términos de la secuencia de entrada y el polinomio $P$. Específicamente, es una suma sobre $k$ de términos que involucran $P(y; j-2k-2)$ y un término producto $U$ definido sobre la secuencia $y$.
• La demostración utiliza inducción y la propiedad de que $y(i)(1+y(i)) = 0$ en el anillo booleano para simplificar las definiciones recursivas.

3. Fórmula para la Segunda Secuencia de Acarreo ($\delta$)

La derivación para $\delta(y)$, la secuencia de acarreo para la suma final, es más compleja.

• El Lema 1 establece una propiedad de ortogonalidad crucial: $\gamma(y; j)\delta(y; j) = 0$. Esto implica que las dos secuencias de acarreo no pueden estar activas simultáneamente en el mismo índice.
• El Lema 2 descompone $\delta(y; j+1)$ en dos componentes, $\delta_1$ y $\delta_2$, basándose en la definición recursiva de la secuencia de acarreo.
• El Teorema 3 proporciona una fórmula explícita para $\delta_2$ utilizando el término $V_2$, que involucra productos de términos de $y$ con restricciones de paridad alternante.
• El Teorema 4 proporciona una fórmula explícita exhaustiva para $\delta_1$ (y por extensión $\delta$) caracterizando los subconjuntos de índices que contribuyen con términos no nulos. Esto implica definir "conjuntos de salto-1" (skip-1 sets) y "secuencias de bloques" de subconjuntos de índices. La fórmula expresa la suma sobre subconjuntos específicos $S$ como una combinación de los polinomios $P$, $V_1$ y $U$.

4. Definiciones Estructurales

El artículo introduce varias definiciones combinatorias para gestionar la complejidad de las secuencias de acarreo:

• Secuencias de Bloques (Block Sequences): Descomposición de subconjuntos de índices en intervalos contiguos (bloques).
• Conjuntos de Salto-1 (Skip-1 Sets): Conjuntos donde los huecos entre bloques son de longitud 1.
• Conjuntos Líderes (Lead Sets): Subconjuntos específicos derivados de la estructura de bloques que determinan las contribuciones no nulas a las sumas de acarreo.

Significado y Reivindicaciones

El artículo afirma proporcionar una "reformulación" del mapa de Collatz que lo expresa como un operador sobre secuencias de polinomios booleanos. Al derivar fórmulas explícitas para las secuencias de acarreo $\gamma$ y $\delta$, el autor traduce la dinámica aritmética del problema $3n+1$ a la estructura algebraica de los polinomios booleanos.

La importancia radica en la naturaleza explícita de estas fórmulas. En lugar de simular el mapa numéricamente, el artículo ofrece una representación algebraica de forma cerrada del paso de iteración $O(k)$. El autor señala en la sección de "Trabajo Futuro" que el siguiente paso lógico es analizar las secuencias de acarreo para las combinaciones específicas de PlusPowerTwo y Shift1 para potencialmente descubrir patrones o invariantes dentro del marco booleano. El artículo no pretende resolver la conjetura de Collatz, sino establecer un nuevo lenguaje algebraico para describir el comportamiento del mapa.