Resumo Técnico: Redundância Intrínseca e Robustez Local em Sistemas de Expansão $\beta$-Finita

1. Enunciado do Problema

A computação digital moderna depende quase exclusivamente da representação binária, contudo, sistemas de base não inteira (expansões $\beta$) oferecem um espaço de projeto mais amplo, onde a base, o alfabeto de dígitos e a linguagem admissível podem ser escolhidos independentemente. Embora a literatura sobre codificadores $\beta$ analógicos e dinâmica simbólica tenha estabelecido que bases não inteiras (especificamente $1 < \beta < 2$) exibem não-unicidade semântica (múltiplas strings de dígitos distintas representando o mesmo valor), o valor operacional desta redundância na aritmética digital finita permanece incerto.

O artigo aborda uma questão específica e restrita: Que robustez operacional é fornecida pela redundância intrínseca de $\beta$ quando os números são armazenados como palavras-chave canônicas finitas? Os autores distinguem entre:

1. Não-unicidade semântica ambiente: A existência de múltiplas strings para um único valor no espaço total de strings de dígitos.
2. Admissibilidade do código-livro canônico: O subconjunto estrito de strings selecionadas para armazenamento (ex: a regra "sem uns adjacentes" na base da razão áurea).

O desafio central é determinar se a estrutura intrínseca dessas linguagens admissíveis pode detectar falhas, reparar estados corrompidos ou recuperar valores originais sem mecanismos externos de controle de erro (como bits de paridade ou códigos Hamming).

2. Metodologia

O estudo emprega um modelo computacional de janela limitada para simular hardware de precisão finita. A metodologia separa dois pipelines operacionais distintos:

A. O Modelo de Janela Finita

• Janela: Uma largura inteira fixa $W$ é definida com índices $I_{L,R} = \{-R, \dots, L\}$.
• Códigos-livro (Codebooks): Palavras armazenadas válidas devem satisfazer restrições de admissibilidade local (ex: nenhum "11" para $\beta=\phi$, nenhum "111" para Tribonacci).
• Efeitos de Fronteira: O modelo rastreia explicitamente o overflow (escritas além de $L$) e a truncagem (escritas abaixo de $-R$), reconhecendo que a preservação exata do valor pode falhar nas fronteiras.

B. Pipelines Operacionais

1. Canonicalização Aritmética: Operandos válidos são somados dígito a dígito, produzindo estados intermediários não canônicos (ex: dígitos $\ge 2$ ou padrões proibidos). Um agendador MSB-first determinístico aplica regras de reescrita local (ex: $011 \to 100$ para $\phi$) para restaurar a admissibilidade.
2. Reparo de Corrupção: Um código-livro admissível já armazenado é perturbado por uma inversão de dígito único ou uma corrupção de rajada (burst) local. O sistema tenta reparar o estado observado via normalização de janela limitada.

C. Métricas de Avaliação

O artigo define uma hierarquia de critérios de correção:

• Detectabilidade Estrutural: A corrupção viola as restrições de admissibilidade (tornando a palavra sintaticamente inválida)?
• Exatidão Estrutural (Preservação de Valor): O processo de reparo retorna uma palavra admissível com o mesmo valor que a palavra corrompida?
• Sobrevivência Semântica: O processo de reparo recupera o valor original pré-falha?
• Custo: Medido pelo número de operações de reescrita ($\kappa$) e profundidade de propagação ($\pi$).

D. Sistemas Comparativos

O estudo compara:

• Binário (B): Base 2 padrão, alfabeto $\{0,1\}$. Baseline não redundante.
• NAF Assinado (S): Base 2, alfabeto $\{-1, 0, 1\}$ com restrições de Forma Não Adjacente. Representa a redundância impulsionada pelo alfabeto.
• Razão Áurea ($\Phi$): Base $\phi$, alfabeto $\{0,1\}$, proibindo "11".
• Tribonacci ($T_3$) & Tetranacci ($T_4$): Bases multinacci de ordem superior com padrões proibidos mais longos ("111", "1111").

3. Contribuições Principais

A. Resultados Teóricos

1. Resultado de Impossibilidade de Dígito Único: Os autores formalizam que, em qualquer código-livro finito canonicamente injetivo, corrupções genuínas de dígito único não podem ser semanticamente recuperadas sem informação externa. Como uma mudança de dígito único altera o valor numérico, e o código-livro canônico é injetivo (mapeamento um-para-um de valor para string), o reparo preservador de valor do estado corrompido resulta em um valor diferente do estado original.
2. Condição de Núcleo Algébrico para Sobrevivência Semântica: A sobrevivência semântica para corrupções de múltiplos dígitos (rajada) é possível se, e somente se, o vetor de erro estiver no núcleo algébrico do mapa de avaliação. Isso ocorre apenas quando a corrupção corresponde a uma identidade local preservadora de valor (ex: $100 \leftrightarrow 011$ em $\phi$).
3. Distinção de Tipos de Redundância: O artigo separa rigorosamente a multiplicidade semântica ambiente (uma propriedade do espaço infinito) da admissibilidade canônica (a linguagem armazenada). Argumenta-se que a redundância intrínseca é um recurso de linguagem restrita para integridade estrutural, distinta da redundância clássica de controle de erro.

B. Achados Experimentais

1. Detectabilidade Estrutural:
   • O binário possui zero detectabilidade estrutural (todas as inversões de bits são válidas).
   • Sistemas redundantes (NAF, $\Phi, T_3, T_4$) detectam uma fração positiva de falhas.
   • Compromisso (Trade-off): Linguagens mais estritas (como $\Phi$) possuem maior detectabilidade para falhas de dígito único do que linguagens mais densas (como $T_4$), mas ao custo de menor capacidade de armazenamento (esparsidade).
2. Custo de Reparo vs. Exatidão:
   • O NAF Assinado alcança a maior exatidão aritmética, mas requer alto custo computacional (recodificação global).
   • Sistemas de reescrita local ($\Phi, T_3, T_4$) possuem custos de reparo muito baixos (frequentemente $< 1$ operação em média para falhas de dígito único), mas menor exatidão aritmética devido à truncagem de fronteira.
3. Sobrevivência Semântica:
   • Dígito único: Taxa de sobrevivência zero para todos os sistemas (confirmando o resultado de impossibilidade).
   • Corrupção de rajada (Burst): Pequenas taxas não nulas de sobrevivência para sistemas redundantes, estritamente alinhadas com identidades algébricas. Por exemplo, em $\Phi$, uma rajada correspondente a $100 \to 011$ sobrevive; rajadas aleatórias não.
4. Efeitos de Fronteira: A truncagem da fronteira inferior é uma fonte importante de erro em bases não inteiras. Adicionar dígitos de guarda efetivamente suprime a truncagem, mas não resolve o overflow da fronteira superior.

4. Resumo dos Resultados

Os experimentos quantificam os compromissos entre os sistemas (com largura de janela $W=24$):

• Detectabilidade: NAF Assinado (0.489) > $\Phi$ (0.431) > $T_3$ (0.223) > $T_4$ (0.119).
• Custo de Reparo: NAF Assinado (23.03 ops) >> $\Phi$ (0.66 ops) > $T_3$ (0.26 ops) > $T_4$ (0.13 ops).
• Sobrevivência Semântica (Rajada): NAF Assinado (2.3%) > $\Phi$ (1.8%) > $T_3$ (0.3%) > $T_4$ (0.1%).
• Exatidão Aritmética: NAF Assinado (75.3%) > Binário (49.2%) > $\Phi$ (32.3%) > $T_3$ (7.4%) > $T_4$ (1.7%).

Os dados indicam que a Razão Áurea ($\Phi$) oferece um equilíbrio favorável: fornece visibilidade significativa de falhas estruturais e custos de reparo local extremamente baixos, embora sofra de menor exatidão aritmética devido à truncagem de fronteira em comparação ao NAF Assinado.

5. Significância e Alegações

O artigo conclui com uma alegação modesta, mas precisa, sobre o papel da redundância intrínseca de $\beta$:

• Não é um Código de Correção de Erros Geral: A redundância intrínseca de $\beta$ não funciona como um código de correção de erros clássico capaz de recuperar corrupções arbitrárias de dígito único. O "resultado de impossibilidade" estabelece um limite teórico rígido: sem informação externa, o valor original não pode ser reconstruído a partir de uma falha de dígito único.
• Um Recurso de Linguagem Restrita: Em vez disso, a redundância intrínseca serve como um mecanismo para visibilidade de falhas estruturais e re-admissibilização preservadora de valor. Ela permite que um sistema detecte quando uma palavra armazenada deixou a linguagem válida e a repare para um estado válido que preserve o valor observado (corrompido).
• Sobrevivência Semântica Seletiva: A recuperação real do valor original (sobrevivência semântica) é possível apenas para perturbações de múltiplos dígitos (rajadas) específicas e alinhadas algebricamente que correspondam às identidades de reescrita local do sistema.
• Implicações Arquiteturais: O estudo sugere que as expansões $\beta$ podem fornecer um mecanismo "nativo" para detectar violações estruturais e normalizar intermediários aritméticos com baixo overhead local, mas devem ser combinadas com outros mecanismos (como dígitos de guarda ou verificações externas) para lidar com perdas de fronteira e correção de erros genérica.

Os autores enfatizam que este trabalho isola as propriedades da própria linguagem admissível armazenada, separando-a do contexto mais amplo de codificação analógica ou códigos externos de controle de erro, fornecendo uma base rigorosa para entender os limites da redundância intrínseca em sistemas digitais finitos.