Resumo Técnico: Um Operador de Polinômio Booleano para o Problema de Collatz 3n + 1

Declaração do Problema

O artigo aborda o problema de Collatz $3n+1$, uma questão de longa data na teoria dos números sobre se o mapa $C(k)$, definido como $k/2$ para $k$ par e $3k+1$ para $k$ ímpar, eventualmente alcança 1 para cada entrada de número inteiro positivo. O autor reformula este problema consolidando as divisões por 2 em um único passo, levando ao mapa $O(k) = 2^{v_2(k)} + 3k$, onde $v_2(k)$ é o expoente da maior potência de 2 que divide $k$. O objetivo é expressar este operador $O$ como uma transformação em sequências de polinômios booleanos, analisando o problema através da lente das estruturas algébricas sobre o corpo $\mathbb{F}_2$.

Metodologia

O artigo constrói um arcabouço onde os inteiros são representados como sequências de elementos de uma álgebra booleana $R = \mathbb{F}_2[x_1, \dots, x_n]/I$, onde $I$ é o ideal gerado por $x_i^2 - x_i$. Um inteiro $k$ corresponde a uma sequência $y = (y(i))_{i=1}^\infty$ representando sua expansão binária.

A metodologia central envolve a definição do operador $O$ através de uma série de operações booleanas:

1. Adição e Carregamentos (Carries): O artigo define uma operação Add em sequências $u$ e $v$ que produz uma sequência de soma e uma correspondente "sequência de carry" $c(u, v)$. A sequência de carry é definida recursivamente com base na lógica padrão de adição binária.
2. Mapas de Componentes:
   • PlusPowerTwo(y): Representa a adição de $2^{v_2(k)}$ a $3k$. É construído usando a sequência definida por PlusPowerTwo(y) = (y(j)P(y; j -1))_{j=1}^\infty, onde $P(y; j) = \prod_{i=1}^j (1 + y(i))$. Este termo facilita a lógica de carry necessária para adicionar $2^{v_2(k)}$ à sequência.
   • Shift1(y): Representa a multiplicação por 2 (um deslocamento à esquerda em binário).
3. Composição: O mapa $O(y)$ é definido como o resultado da adição de PlusPowerTwo(y) a Shift1(y). Esta composição envolve duas camadas de sequências de carry:
   • $\gamma(y)$: A sequência de carry resultante da adição de $y$ e PlusPowerTwo(y).
   • $\delta(y)$: A sequência de carry resultante da adição da soma intermediária e Shift1(y).
     O artigo visa derivar fórmulas polinomiais explícitas para os termos da sequência resultante $O(y)$ em termos da sequência de entrada $y$.

Contribuições Principais e Resultados

1. Fórmula Explícita para o Operador

O principal resultado (Teorema 1) fornece uma fórmula explícita para o $i$-ésimo termo do output do operador $O(y)(i)$:
$$O(y)(i) = \delta(y; i) + \gamma(y; i) + y(i)P(y; i - 1) + y(i) + y(i - 1)$$
Isso reduz o problema de iterar o mapa de Collatz ao cálculo das sequências de carry $\gamma$ e $\delta$.

2. Fórmula para a Primeira Sequência de Carry ($\gamma$)

O artigo deriva uma fórmula explícita para $\gamma(y; j+1)$, a sequência de carry associada à adição de $y$ e $2^{v_2(k)}$.

• O Teorema 2 afirma que $\gamma(y; j+1)$ pode ser expressa como uma soma envolvendo produtos dos termos da sequência de entrada e o polinômio $P$. Especificamente, é uma soma sobre $k$ de termos envolvendo $P(y; j-2k-2)$ e um termo de produto $U$ definido sobre a sequência $y$.
• A prova utiliza indução e a propriedade de que $y(i)(1+y(i)) = 0$ no anel booleano para simplificar as definições recursivas.

3. Fórmula para a Segunda Sequência de Carry ($\delta$)

A derivação para $\delta(y)$, a sequência de carry para a adição final, é mais complexa.

• O Lema 1 estabelece uma propriedade de ortogonalidade crucial: $\gamma(y; j)\delta(y; j) = 0$. Isso implica que as duas sequências de carry não podem estar simultaneamente ativas no mesmo índice.
• O Lema 2 decompõe $\delta(y; j+1)$ em dois componentes, $\delta_1$ e $\delta_2$, baseando-se na definição recursiva da sequência de carry.
• O Teorema 3 fornece uma fórmula explícita para $\delta_2$ usando o termo $V_2$, que envolve produtos de termos de $y$ com restrições de paridade alternadas.
• O Teorema 4 fornece uma fórmula explícita abrangente para $\delta_1$ (e, por extensão, $\delta$) ao caracterizar os subconjuntos de índices que contribuem com termos não nulos. Isso envolve a definição de "skip-1 sets" (conjuntos de salto-1) e "block sequences" (sequências de blocos) de subconjuntos de índices. A fórmula expressa a soma sobre subconjuntos específicos $S$ como uma combinação dos polinômios $P$, $V_1$ e $U$.

4. Definições Estruturais

O artigo introduz várias definições combinatórias para gerenciar a complexidade das sequências de carry:

• Block Sequences (Sequências de Blocos): Decomposição de subconjuntos de índices em intervalos contíguos (blocos).
• Skip-1 Sets (Conjuntos de Salto-1): Conjuntos onde as lacunas entre os blocos são de comprimento 1.
• Lead Sets (Conjuntos de Liderança): Subconjuntos específicos derivados da estrutura de blocos que determinam as contribuições não nulas para as somas de carry.

Significância e Alegações

O artigo afirma fornecer uma "reformulação" do mapa de Collatz que o expressa como um operador em sequências de polinômios booleanos. Ao derivar fórmulas explícitas para as sequências de carry $\gamma$ e $\delta$, o autor traduz a dinâmica aritmética do problema $3n+1$ para a estrutura algébrica de polinômios booleanos.

A significância reside na natureza explícita dessas fórmulas. Em vez de simular o mapa numericamente, o artigo oferece uma representação algébrica de forma fechada do passo de iteração $O(k)$. O autor observa na seção "Further Work" (Trabalhos Futuros) que o próximo passo lógico é analisar as sequências de carry para as combinações específicas de PlusPowerTwo e Shift1 para potencialmente descobrir padrões ou invariantes dentro do arcabouço booleano. O artigo não pretende resolver a conjectura de Collatz, mas sim estabelecer uma nova linguagem algébrica para descrever o comportamento do mapa.