Sintesi Tecnica: Ridondanza Intrinseca e Robustezza Locale nei Sistemi di Espansione $\beta$-Finita

1. Definizione del Problema

Il calcolo digitale moderno si affida quasi esclusivamente alla rappresentazione binaria, tuttavia i sistemi di base non intera ($\beta$-espansioni) offrono uno spazio di progettazione più ampio dove la base, l'alfabeto delle cifre e il linguaggio ammissibile possono essere scelti indipendentemente. Sebbene la letteratura sulla codifica analogica $\beta$ e sulla dinamica simbolica abbia stabilito che le basi non intere (specificamente $1 < \beta < 2$) esibiscono una non-unicità semantica (molteplici stringhe di cifre distinte che rappresentano lo stesso valore), il valore operativo di questa ridondanza nella aritmetica digitale finita rimane poco chiaro.

Il documento affronta una domanda specifica e ristretta: Quale robustezza operativa è fornita dalla ridondanza intrinseca $\beta$ quando i numeri sono memorizzati come codici canonici finiti? Gli autori distinguono tra:

1. Non-unicità semantica ambiente: L'esistenza di molteplici stringhe per un singolo valore nello spazio completo delle stringhe di cifre.
2. Ammissibilità del codicebook canonico: Il sottoinsieme ristretto di stringhe selezionate per la memorizzazione (ad esempio, la regola "niente uno adiacenti" nella base del rapporto aureo).

La sfida centrale è determinare se la struttura intrinseca di questi linguaggi ammissibili possa rilevare guasti, riparare stati corrotti o recuperare i valori originali senza meccanismi esterni di controllo dell'errore (come bit di parità o codici Hamming).

2. Metodologia

Lo studio impiega un modello computazionale a finestra limitata per simulare l'hardware a precisione finita. La metodologia separa due pipeline operative distinte:

A. Il Modello a Finestra Finita

• Finestra: Viene definita una larghezza intera fissa $W$ con indici $I_{L,R} = \{-R, \dots, L\}$.
• Codebook: Le parole memorizzate valide devono soddisfare vincoli di ammissibilità locale (ad esempio, nessun "11" per $\phi$, nessun "111" per Tribonacci).
• Effetti di Bordo: Il modello traccia esplicitamente l'overflow (scritture oltre $L$) e la troncatura (scritture sotto $-R$), riconoscendo che la preservazione esatta del valore può fallire ai bordi.

B. Pipeline Operative

1. Canonicalizzazione Aritmetica: Gli operandi validi vengono sommati cifra per cifra, producendo stati intermedi non canonici (ad esempio, cifre $\ge 2$ o pattern proibiti). Uno scheduler MSB-first deterministico applica regole di riscrittura locale (ad esempio, $011 \to 100$ per $\phi$) per ripristinare l'ammissibilità.
2. Riparazione della Corruzione: Un codicebook canonico già memorizzato viene perturbato da un flip di singola cifra o da una corruzione a burst locale. Il sistema tenta di riparare lo stato osservato tramite normalizzazione a finestra limitata.

C. Metriche di Valutazione

Il documento definisce una gerarchia di criteri di correttezza:

• Rilevabilità Strutturale: La corruzione viola i vincoli di ammissibilità (rendendo la parola sintatticamente invalida)?
• Esattezza Strutturale (Preservazione del Valore): Il processo di riparazione restituisce una parola ammissibile con lo stesso valore della parola corrotta?
• Sopravvivenza Semantica: Il processo di riparazione recupera il valore originale pre-guasto?
• Costo: Misurato dal numero di operazioni di riscrittura ($\kappa$) e dalla profondità di propagazione ($\pi$).

D. Sistemi Comparativi

Lo studio confronta:

• Binario (B): Base 2 standard, alfabeto $\{0,1\}$. Baseline non ridondante.
• NAF con Segno (S): Base 2, alfabeto $\{-1, 0, 1\}$ con vincoli di forma non adiacente (Non-Adjacent Form). Rappresenta la ridondanza guidata dall'alfabeto.
• Rapporto Aureo ($\Phi$): Base $\phi$, alfabeto $\{0,1\}$, proibisce "11".
• Tribonacci ($T_3$) & Tetranacci ($T_4$): Basi multinacci di ordine superiore con pattern proibiti più lunghi ("111", "1111").

3. Contributi Chiave

A. Risultati Teorici

1. Risultato di Impossibilità della Singola Cifra: Gli autori formalizzano che in qualsiasi codebook canonico iniettivo, le corruzioni genuine di singola cifra non possono essere recuperate semanticamente senza informazioni esterne. Poiché un cambiamento di singola cifra altera il valore numerico e il codebook canonico è iniettivo (mappatura uno-a-uno tra valore e stringa), la riparazione preservante il valore dello stato corrotto produce un valore diverso rispetto allo stato originale.
2. Condizione del Kernel Algebrico per la Sopravvivenza Semantica: La sopravvivenza semantica per corruzioni di più cifre (burst) è possibile se e solo se il vettore di errore risiede nel kernel algebrico della mappa di valutazione. Ciò accade solo quando la corruzione corrisponde a un'identità locale che preserva il valore (ad esempio, $100 \leftrightarrow 011$ in $\phi$).
3. Distinzione dei Tipi di Ridondanza: Il documento separa rigorosamente la molteplicità semantica ambiente (proprietà dello spazio infinito) dalla ammissibilità canonica (il linguaggio memorizzato). Sostiene che la ridondanza intrinseca è una risorsa di linguaggio vincolato per l'integrità strutturale, distinta dal classico controllo dell'errore.

B. Risultati Sperimentali

1. Rilevabilità Strutturale:
   • Il binario ha zero rilevabilità strutturale (tutti i bit flip sono validi).
   • I sistemi ridondanti (NAF, $\Phi, T_3, T_4$) rilevano una frazione positiva di guasti.
   • Trade-off: I linguaggi più stretti (come $\Phi$) hanno una maggiore rilevabilità per i guasti a singola cifra rispetto ai linguaggi più densi (come $T_4$), ma al costo di una minore capacità di memorizzazione (sparsità).
2. Costo di Riparazione vs Esattezza:
   • NAF con Segno raggiunge la massima esattezza aritmetica ma richiede un alto costo computazionale (ricodifica globale).
   • Sistemi a riscrittura locale ($\Phi, T_3, T_4$) hanno costi di riparazione molto bassi (spesso $< 1$ operazione in media per i guasti a singola cifra) ma una minore esattezza aritmetica a causa della troncatura ai bordi.
3. Sopravvivenza Semantica:
   • Singola cifra: Tasso di sopravvivenza nullo per tutti i sistemi (confermando il risultato di impossibilità).
   • Corruzione a burst: Piccoli tassi non nulli di sopravvivenza per i sistemi ridondanti, strettamente allineati con le identità algebriche. Ad esempio, in $\Phi$, un burst che corrisponde a $100 \to 011$ sopravvive; i burst casuali no.
4. Effetti di Bordo: La troncatura del limite inferiore è una fonte primaria di errore nelle basi non intere. L'aggiunta di cifre di guardia sopprime efficacemente la troncatura ma non risolve l'overflow del limite superiore.

4. Sintesi dei Risultati

Gli esperimenti quantificano i trade-off tra i sistemi (con larghezza di finestra $W=24$):

• Rilevabilità: NAF con Segno (0.489) > $\Phi$ (0.431) > $T_3$ (0.223) > $T_4$ (0.119).
• Costo di Riparazione: NAF con Segno (23.03 ops) >> $\Phi$ (0.66 ops) > $T_3$ (0.26 ops) > $T_4$ (0.13 ops).
• Sopravvivenza Semantica (Burst): NAF con Segno (2.3%) > $\Phi$ (1.8%) > $T_3$ (0.3%) > $T_4$ (0.1%).
• Esattezza Aritmetica: NAF con Segno (75.3%) > Binario (49.2%) > $\Phi$ (32.3%) > $T_3$ (7.4%) > $T_4$ (1.7%).

I dati indicano che il Rapporto Aureo ($\Phi$) offre un equilibrio favorevole: fornisce una significativa visibilità strutturale dei guasti e costi di riparazione locale estremamente bassi, sebbene soffra di una minore esattezza aritmetica rispetto al NAF con Segno a causa della troncatura ai bordi.

5. Significato e Rivendicazioni

Il documento conclude con una rivendicazione modesta ma precisa riguardo al ruolo della ridondanza intrinseca $\beta$:

• Non è un Codice di Correzione dell'Errore Generale: La ridondanza intrinseca $\beta$ non funziona come un classico codice di correzione dell'errore capace di recuperare arbitrarie corruzioni di singola cifra. Il "risultato di impossibilità" stabilisce un limite teorico netto: senza informazioni esterne, il valore originale non può essere ricostruito da un guasto di singola cifra.
• Una Risorsa di Linguaggio Vincolato: Invece, la ridondanza intrinseca funge da meccanismo per la visibilità strutturale dei guasti e la ri-ammissibilizzazione preservante il valore. Permette a un sistema di rilevare quando una parola memorizzata è uscita dal linguaggio valido e di ripararla in uno stato valido che preservi il valore osservato (corrotto).
• Sopravvivenza Semantica Selettiva: Il vero recupero del valore originale (sopravvivenza semantica) è possibile solo per specifiche perturbazioni a più cifre (burst) allineate algebricamente che corrispondono alle identità di riscrittura locale del sistema.
• Implicazioni Architetturali: Lo studio suggerisce che le $\beta$-espansioni possono fornire un meccanismo "nativo" per rilevare violazioni strutturali e normalizzare gli intermedi aritmetici con un basso overhead locale, ma devono essere combinate con altri meccanismi (come cifre di guardia o controlli esterni) per gestire le perdite ai bordi e la correzione degli errori generica.

Gli autori sottolineano che questo lavoro isola le proprietà del linguaggio ammissibile memorizzato in sé, separandolo dal contesto più ampio della codifica analogica o dei codici di controllo dell'errore esterni, fornendo una base rigorosa per comprendere i limiti della ridondanza intrinseca nei sistemi digitali finiti.