Résumé technique : Redondance intrinsèque et robustesse locale dans les systèmes de $\beta$-expansion finis

1. Énoncé du problème

Le calcul numérique moderne repose presque exclusivement sur la représentation binaire, pourtant les systèmes de bases non entières ($\beta$-expansions) offrent un espace de conception plus large où la base, l'alphabet des chiffres et le langage admissible peuvent être choisis indépendamment. Bien que la littérature sur les encodeurs analogiques $\beta$ et la dynamique symbolique ait établi que les bases non entières (spécifiquement $1 < \beta < 2$) présentent une non-unicité sémantique (plusieurs chaînes de chiffres distinctes représentant la même valeur), la valeur opérationnelle de cette redondance dans l'arithmétique numérique finie reste incertaine.

L'article répond à une question spécifique et étroite : Quelle robustesse opérationnelle est fournie par la redondance intrinsèque de $\beta$ lorsque les nombres sont stockés sous forme de mots de code canoniques finis ? Les auteurs distinguent entre :

1. La non-unicité sémantique ambiante : l'existence de multiples chaînes pour une seule valeur dans l'espace complet des chaînes de chiffres.
2. L'admissibilité du codebook canonique : le sous-ensemble strict de chaînes sélectionnées pour le stockage (par exemple, la règle du « pas de 1 adjacents » pour le ratio d'or).

Le défi central est de déterminer si la structure intrinsèque de ces langages admissibles peut détecter des fautes, réparer des états corrompus ou récupérer les valeurs originales sans mécanismes externes de contrôle d'erreurs (comme les bits de parité ou les codes de Hamming).

2. Méthodologie

L'étude emploie un modèle de calcul à fenêtre bornée pour simuler un matériel de précision finie. La méthodologie sépare deux pipelines opérationnels distincts :

A. Le modèle à fenêtre finie

• Fenêtre : Une largeur entière fixe $W$ est définie avec des indices $I_{L,R} = \{-R, \dots, L\}$.
• Codebooks : Les mots stockés valides doivent satisfaire des contraintes d'admissibilité locales (par exemple, pas de « 11 » pour $\beta=\phi$, pas de « 111 » pour Tribonacci).
• Effets de bord : Le modèle suit explicitement le dépassement (écritures au-delà de $L$) et la troncation (écritures en dessous de $-R$), reconnaissant que la préservation exacte de la valeur peut échouer aux limites.

B. Pipelines opérationnels

1. Canonicalisation arithmétique : Des opérandes valides sont additionnés chiffre par chiffre, produisant des états intermédiaires non canoniques (par exemple, des chiffres $\ge 2$ ou des motifs interdits). Un ordonnanceur MSB-first déterministe applique des règles de réécriture locales (par exemple, $011 \to 100$ pour $\phi$) pour restaurer l'admissibilité.
2. Réparation de corruption : Un mot de code admissible déjà stocké est perturbé par un basculement de chiffre unique ou une corruption par rafale locale. Le système tente de réparer l'état observé via une normalisation à fenêtre bornée.

C. Métriques d'évaluation

L'article définit une hiérarchie de critères de correction :

• Détectabilité structurelle : La corruption viole-t-elle les contraintes d'admissibilité (rendant le mot syntaxiquement invalide) ?
• Exactitude structurelle (Préservation de la valeur) : Le processus de réparation renvoie-t-il un mot admissible ayant la même valeur que le mot corrompu ?
• Survie sémantique : Le processus de réparation récupère-t-il la valeur originale pré-faute ?
• Coût : Mesuré par le nombre d'opérations de réécriture ($\kappa$) et la profondeur de propagation ($\pi$).

D. Systèmes comparatifs

L'étude compare :

• Binaire (B) : Base 2 standard, alphabet $\{0,1\}$. Référence non redondante.
• NAF signé (S) : Base 2, alphabet $\{-1, 0, 1\}$ avec des contraintes de forme non adjacente. Représente la redondance pilotée par l'alphabet.
• Ratio d'or ($\Phi$) : Base $\phi$, alphabet $\{0,1\}$, interdisant « 11 ».
• Tribonacci ($T_3$) & Tetranacci ($T_4$) : Bases multinacci d'ordre supérieur avec des motifs interdits plus longs (« 111 », « 1111 »).

3. Contributions clés

A. Résultats théoriques

1. Résultat d'impossibilité du chiffre unique : Les auteurs formalisent le fait que dans tout codebook fini canoniquement injectif, les corruptions de chiffre unique authentiques ne peuvent pas être récupérées sémantiquement sans information externe. Puisqu'un changement d'un seul chiffre modifie la valeur numérique, et que le codebook canonique est injectif (correspondance univoque entre valeur et chaîne), la réparation préservant la valeur du mot corrompu produit une valeur différente de la valeur originale.
2. Condition du noyau algébrique pour la survie sémantique : La survie sémantique pour les corruptions de plusieurs chiffres (rafales) est possible si et seulement si le vecteur d'erreur réside dans le noyau algébrique de l'application d'évaluation. Cela se produit uniquement lorsque la corruption correspond à une identité locale préservant la valeur (par exemple, $100 \leftrightarrow 011$ pour $\phi$).
3. Distinction des types de redondance : L'article sépare rigoureusement la multiplicité sémantique ambiante (une propriété de l'espace infini) de l'admissibilité canonique (le langage stocké). Il soutient que la redondance intrinsèque est une ressource de langage contraint pour l'intégrité structurelle, distincte de la redondance classique de contrôle d'erreurs.

B. Résultats expérimentaux

1. Détectabilité structurelle :
   • Le binaire a une détectabilité structurelle nulle (tous les basculements de bits sont valides).
   • Les systèmes redondants (NAF, $\Phi, T_3, T_4$) détectent une fraction positive de fautes.
   • Compromis : Les langages plus stricts (comme $\Phi$) ont une détectabilité plus élevée pour les fautes de chiffre unique que les langages plus denses (comme $T_4$), mais au prix d'une capacité de stockage plus faible (rareté).
2. Coût de réparation vs Exactitude :
   • Le NAF signé atteint l'exactitude arithmétique la plus élevée mais nécessite un coût de calcul élevé (recodage global).
   • Les systèmes de réécriture locale ($\Phi, T_3, T_4$) ont des coûts de réparation très faibles (souvent $< 1$ opération en moyenne pour une faute de chiffre unique) mais une exactitude arithmétique moindre en raison de la troncature aux limites.
3. Survie sémantique :
   • Chiffre unique : Taux de survie nul pour tous les systèmes (confirmant le résultat d'impossibilité).
   • Corruption par rafale : Faibles taux de survie non nuls pour les systèmes redondants, strictement alignés sur les identités algébriques. Par exemple, dans $\Phi$, une rafale correspondant à $100 \to 011$ survit ; les rafales aléatoires non.
4. Effets de bord : La troncature de la limite inférieure est une source majeure d'erreur dans les bases non entières. L'ajout de chiffres de garde supprime efficacement la troncation mais ne résout pas le dépassement de la limite supérieure.

4. Résumé des résultats

Les expériences quantifient les compromis entre les systèmes (pour une largeur de fenêtre $W=24$) :

• Détectabilité : NAF signé (0,489) > $\Phi$ (0,431) > $T_3$ (0,223) > $T_4$ (0,119).
• Coût de réparation : NAF signé (23,03 ops) >> $\Phi$ (0,66 ops) > $T_3$ (0,26 ops) > $T_4$ (0,13 ops).
• Survie sémantique (Rafale) : NAF signé (2,3 %) > $\Phi$ (1,8 %) > $T_3$ (0,3 %) > $T_4$ (0,1 %).
• Exactitude arithmétique : NAF signé (75,3 %) > Binaire (49,2 %) > $\Phi$ (32,3 %) > $T_3$ (7,4 %) > $T_4$ (1,7 %).

Les données indiquent que $\Phi$ (le ratio d'or) offre un équilibre favorable : il fournit une visibilité significative des fautes structurelles et des coûts de réparation locale extrêmement bas, bien qu'il souffre d'une exactitude arithmétique moindre due à la troncature aux limites par rapport au NAF signé.

5. Signification et affirmations

L'article conclut par une affirmation modeste mais précise concernant le rôle de la redondance intrinsèque de $\beta$ :

• Pas un code correcteur d'erreurs général : La redondance intrinsèque de $\beta$ ne fonctionne pas comme un code correcteur d'erreurs classique capable de récupérer des corruptions de chiffres uniques arbitraires. Le « résultat d'impossibilité » établit une limite théorique dure : sans information externe, la valeur originale ne peut être reconstruite à partir d'une faute de chiffre unique.
• Une ressource de langage contraint : Au lieu de cela, la redondance intrinsèque sert de mécanisme de visibilité des fautes structurelles et de ré-admissibilisation préservant la valeur. Elle permet à un système de détecter quand un mot stocké a quitté le langage valide et de le réparer vers un état valide qui préserve la valeur observée (corrompue).
• Survie sémantique sélective : La véritable récupération de la valeur originale (survie sémantique) n'est possible que pour des perturbations de plusieurs chiffres (rafales) spécifiques et algébriquement alignées qui correspondent aux identités de réécriture locales du système.
• Implications architecturales : L'étude suggère que les $\beta$-expansions peuvent fournir un mécanisme « natif » pour détecter les violations structurelles et normaliser les intermédiaires arithmétiques avec un faible surcoût local, mais elles doivent être combinées avec d'autres mécanismes (comme les chiffres de garde ou des contrôles externes) pour gérer les pertes aux limites et la correction d'erreurs générique.

Les auteurs soulignent que ce travail isole les propriétés du langage admissible stocké lui-même, en le séparant du contexte plus large de l'encodage analogique ou des codes de contrôle d'erreurs externes, fournissant ainsi une base rigoureuse pour comprendre les limites de la redondance intrinsèque dans les systèmes numériques finis.