On Zeckendorf-Niven numbers and arithmetic progressions

Resumo Técnico: Sobre Números de Zeckendorf-Niven e Progressões Aritméticas

Enunciado do Problema
Este artigo investiga a distribuição dos números de Zeckendorf-Niven e Lucas-Niven em progressões aritméticas. Um número inteiro positivo $n$ é definido como Zeckendorf-Niven se for divisível por $s_Z(n)$, o número de somandos não nulos em sua decomposição de Zeckendorf única (uma representação de $n$ como uma soma de números de Fibonacci $F_i$ não consecutivos com $i \ge 2$). Da mesma forma, $n$ é Lucas-Niven se for divisível por $s_L(n)$, o número de somandos em sua decomposição de Lucas única (usando números de Lucas $L_i$ com $i \ge 0$).

Embora a distribuição de números Niven padrão em progressões aritméticas seja bem estudada (por exemplo, a existência de infinitos tais números e limites sobre termos consecutivos), o comportamento dessas variantes baseadas em Fibonacci em progressões aritméticas não havia sido totalmente caracterizado. Especificamente, o artigo aborda se toda progressão aritmética contém infinitos tais números e estabelece limites para o comprimento máximo de termos consecutivos que compartilham essas propriedades.

Metodologia
Os autores empregam propriedades de teoria dos números das sequências de Fibonacci e Lucas, particularmente sua periodicidade módulo $d$ (períodos de Pisano) e regras de divisibilidade.

1. Periodicidade e Divisibilidade: As provas baseiam-se fortemente no fato de que a sequência de Fibonacci $(F_i)$ e a sequência de Lucas $(L_i)$ são periódicas módulo qualquer inteiro $d$. Os autores utilizam propriedades específicas dos períodos de Pisano, como $\pi(F_{2j}) = 4j$ e $\pi(F_{2j+1}) = 8j+4$, para construir termos com propriedades específicas.
2. Construção de Termos: Para provar a existência de infinitos números Niven em uma progressão aritmética $(a + kd)$, os autores constroem termos específicos $N$ dentro da progressão. Eles manipulam as decomposições de Zeckendorf ou Lucas adicionando grandes números de Fibonacci/Lucas que são múltiplos da diferença comum (ou períodos relacionados). Isso permite controlar o número de somandos $s_Z(N)$ ou $s_L(N)$ enquanto garantem que o número resultante permaneça na progressão.
3. Aritmética Modular e Análise de Casos: Para o caso Lucas-Niven, a falta de propriedades diretas de divisibilidade (como $F_i | F_j$ se $i|j$) na sequência de Lucas exige uma abordagem mais matizada. Os autores utilizam o Teorema de Dirichlet sobre primos para selecionar um primo $p \equiv -1 \pmod{10\pi_L(d)}$ e analisam casos baseados na paridade dos índices na decomposição para garantir que o número construído seja divisível por $p$.
4. Análise Local para Termos Consecutivos: Para limitar o número de termos consecutivos, os autores definem somas truncadas $z_6(n)$ (somas de componentes de Fibonacci até $F_6$) e analisam como a decomposição de Zeckendorf muda ao adicionar a diferença comum (por exemplo, $n \to n+2$). Ao rastrear as mudanças no número de somandos $s_Z(n)$, eles derivam contradições para sequências mais longas que limites específicos.

Principais Contribuições e Resultados

• Infinitude em Progressões Aritméticas:

  • Teorema 2.6: Toda progressão aritmética contém infinitos números de Zeckendorf-Niven. A prova constrói um termo $N'$ na progressão tal que $s_Z(N')$ divide $N'$.
  • Teorema 3.4: Toda progressão aritmética contém infinitos números de Lucas-Niven. Este resultado é alcançado adaptando a técnica de construção para lidar com as restrições modulares específicas da sequência de Lucas.

• Distribuição de Números Não-Niven:

  • Teorema 2.7: Toda progressão aritmética contém subsequências arbitrariamente longas de termos consecutivos não-Zeckendorf-Niven. Isso demonstra que, embora os números Niven sejam densos, eles não são distribuídos uniformemente.

• Limites em Termos Consecutivos em 2-APs:

  • Teorema 4.3: O número máximo de termos Zeckendorf-Niven consecutivos em uma 2-AP (diferença comum 2) é 8. A única tal sequência de comprimento 8 ou mais é a subsequência $2, 4, 6, 8, 10, 12, 14, 16, 18$.
  • Teorema 4.4: Existem sequências de cinco termos consecutivos Zeckendorf-Niven em uma 2-AP (por exemplo, $n, n+2, n+4, n+6, n+8$ onde $n = 27 + F_{120j+17}$).

• Termos Consecutivos com Contagem de Somandos Constante:

  • Teorema 5.1: Em uma progressão aritmética com uma diferença comum de Fibonacci $F_d$, existem infinitos pontos de partida $a$ tais que $s_Z(a) = s_Z(a+F_d) = s_Z(a+2F_d)$. No entanto, é impossível ter quatro termos consecutivos com o mesmo valor de $s_Z$.
  • Teorema 5.2: Para $d \ge 3$, existem infinitos $a$ tais que $a, a+F_d, a+2F_d$ são todos Zeckendorf-Niven e compartilham o mesmo valor de $s_Z$.

Significância e Alegações
O artigo afirma estender a teoria dos números Niven de representações de base padrão para representações de Zeckendorf e Lucas. A principal significância reside em estabelecer que, similar aos números Niven padrão, os números de Zeckendorf-Niven e Lucas-Niven não são raros; eles aparecem infinitamente muitas vezes em cada progressão aritmética.

Além disso, o trabalho fornece limitações estruturais precisas sobre o agrupamento desses números. Enquanto os números Niven padrão podem ter longas corridas de termos consecutivos (até 20 em 1-APs), os números Zeckendorf-Niven em 2-APs são estritamente limitados (máximo de 8). O artigo também destaca um fenômeno único em progressões com diferença de Fibonacci, onde o número de somandos pode permanecer constante para exatamente três termos consecutivos, uma propriedade que não pode ser estendida para quatro.

Os autores observam que estes resultados dependem das propriedades de decomposição únicas dos números de Fibonacci e Lucas e da periodicidade destas sequências módulo inteiros. O trabalho não propõe aplicações experimentais, mas contribui para a compreensão teórica da distribuição de inteiros definidos por propriedades aditivas de teoria dos números.