Gaussian Behavior and Geometric Gaps in Decompositions from Recurrences with Zero Coefficients

Resumo Técnico: Comportamento Gaussiano e Lacunas Geométricas em Recorrências Lineares com Coeficientes Zero

1. Problema e Contexto

O teorema de Zeckendorf é um pilar da teoria aditiva dos números, estabelecendo que todo inteiro positivo possui uma representação única como soma de números de Fibonacci não consecutivos. Esta estrutura foi generalizada para Sequências de Recorrência Linear Positiva (PLRS), onde os coeficientes da relação de recorrência são estritamente positivos. Em PLRS, propriedades estatísticas fundamentais foram comprovadas, como a distribuição gaussiana do número de somandos e o decaimento geométrico da distribuição de lacunas (gaps) entre os índices dos somandos.

O problema central abordado neste trabalho é investigar o que ocorre quando a condição de "positividade" é relaxada. Especificamente, o autor estuda Relações de Recorrência Linear Zero (ZLRRs), onde o coeficiente líder ($c_1$) é zero. O exemplo canônico analisado é a Sequência Lagonacci, definida por $Z_{n+1} = Z_{n-1} + Z_{n-2}$.
Neste cenário, a unicidade da decomposição é perdida (um inteiro pode ter múltiplas representações legais), levantando a questão: As propriedades estatísticas robustas observadas em PLRS (Gaussianidade e decaimento geométrico) persistem mesmo na ausência de unicidade?

2. Metodologia

O artigo emprega uma combinação de métodos combinatórios, análise assintótica e teoria da probabilidade:

• Algoritmo Ganancioso (Greedy): Embora a representação não seja única, o autor foca na decomposição canônica gerada pelo algoritmo ganancioso (subtrair repetidamente o maior termo possível).
• Funções Geradoras e Análise de Recorrência: Utilização de funções geradoras para modelar a contagem de somandos e lacunas, explorando a estrutura recursiva induzida pela relação de recorrência.
• Teorema da Continuidade de Lévy: Aplicado para provar a convergência da distribuição do número de somandos para uma distribuição normal, analisando a função característica e os cumulantes.
• Princípio de Equivalência de Ensembles: Uma ferramenta emprestada da mecânica estatística, adaptada para teoria dos números. O autor define dois "ensembles":
  • Microcanônico: Inteiros escolhidos uniformemente em um intervalo $[Z_N, Z_{N+1})$.
  • Canônico: Sequências infinitas de dígitos com pesos determinados pela raiz dominante da equação característica.
    A prova de que as expectativas de estatísticas locais convergem para os mesmos limites em ambos os ensembles permite transferir propriedades do ensemble canônico (mais fácil de analisar) para o microcanônico.
• Matrizes de Transferência: Utilizadas para contar o número de decomposições legais (strings binárias que evitam padrões proibidos) e determinar a taxa de crescimento exponencial do número de representações.

3. Principais Contribuições e Resultados

A. Persistência do Comportamento Gaussiano
O artigo prova que, mesmo na ausência de unicidade, o número de somandos ($k(m)$) na decomposição gananciosa de inteiros aleatórios converge para uma distribuição Gaussiana (Normal) quando $N \to \infty$.

• A média e a variância crescem linearmente com $N$ (o índice da sequência).
• A prova utiliza a análise de cumulantes da função geradora, mostrando que os cumulantes de ordem superior ($j \ge 3$) tornam-se desprezíveis em relação à variância, levando à função característica da normal padrão.

B. Decaimento Geométrico das Lacunas (Gaps)
A distribuição das lacunas entre os índices dos somandos na decomposição gananciosa também exibe regularidade estatística:

• A probabilidade de uma lacuna de tamanho $k$ converge para uma distribuição que decai geometricamente: $P(g=k) \sim C \cdot \lambda_1^{-k}$, onde $\lambda_1$ é a raiz dominante do polinômio característico (a razão plástica, $\approx 1.3247$).
• Isso demonstra que a estrutura de "não-consecutividade" (ou restrições locais) impõe um decaimento exponencial nas lacunas, similar ao caso PLRS.

C. Não-Unicidade e Crescimento Exponencial
Um dos resultados mais significativos é a quantificação da perda de unicidade:

• O número de decomposições legais distintas para um inteiro $N$, denotado por $d(N)$, cresce exponencialmente.
• A taxa de crescimento total das decomposições é governada pelo autovalor de Perron-Frobenius $\alpha = 2$ da matriz de transferência associada às restrições da sequência Lagonacci.
• Como a própria sequência $Z_N$ cresce com a taxa $\lambda_1 \approx 1.3247$, o número médio de representações por inteiro cresce como $(\alpha / \lambda_1)^N \approx (1.5097)^N$.
• Isso marca uma divergência fundamental: enquanto em PLRS há uma representação única, em ZLRRs o número de representações explode exponencialmente mais rápido que o número de inteiros.

D. Generalização via Equivalência de Ensembles
O autor demonstra que esses resultados não são específicos da sequência Lagonacci, mas se aplicam a uma classe ampla de ZLRRs que possuem uma única raiz real dominante simples. O princípio de equivalência de ensembles serve como a ponte teórica que garante que as leis limite (Lei dos Grandes Números e Teorema do Limite Central) derivadas para o ensemble canônico são válidas para a amostragem uniforme de inteiros.

4. Significado e Conclusão

Este trabalho desafia a intuição de que a unicidade da representação é um pré-requisito para a regularidade estatística em sistemas de numeração baseados em recorrências lineares.

• Robustez das Leis Estatísticas: As propriedades de Gaussianidade e decaimento geométrico são mostradas como consequências fundamentais da estrutura algébrica da recorrência (especificamente a existência de uma raiz dominante) e não apenas de restrições combinatórias de unicidade.
• Novo Paradigma: O estudo de ZLRRs abre um novo campo onde a complexidade combinatória (múltiplas representações) coexiste com a simplicidade estatística (distribuições bem comportadas).
• Implicações Futuras: O artigo sugere que a análise de sistemas não-únicos pode ser realizada com ferramentas estatísticas robustas, e aponta para futuras investigações sobre a distribuição fina do número de decomposições (além da média logarítmica) e a extensão para recorrências com múltiplas raízes de módulo igual.

Em suma, o paper estabelece que, embora a "beleza" da unicidade de Zeckendorf seja perdida ao permitir coeficientes zero, a "ordem" estatística subjacente permanece intacta e previsível.