Resumen Técnico: Redundancia Intrínseca y Robustez Local en Sistemas de Expansión $\beta$-Finita

1. Planteamiento del Problema

La computación digital moderna depende casi exclusivamente de la representación binaria, sin embargo, los sistemas de base no entera (expansiones $\beta$) ofrecen un espacio de diseño más amplio donde la base, el alfabeto de dígitos y el lenguaje admisible pueden elegirse de forma independiente. Si bien la literatura sobre codificadores $\beta$ analógicos y dinámica simbólica ha establecido que las bases no enteras (específicamente $1 < \beta < 2$) exhiben no unicidad semántica (múltiples cadenas de dígitos distintas que representan un mismo valor), el valor operativo de esta redundancia en la aritmética digital finita sigue sin estar claro.

El artículo aborda una pregunta específica y estrecha: ¿Qué robustez operativa suministra la redundancia $\beta$ intrínseca cuando los números se almacenan como palabras de código canónicas finitas? Los autores distinguen entre:

1. No unicidad semántica ambiental: La existencia de múltiples cadenas para un solo valor en el espacio completo de cadenas de dígitos.
2. Admisibilidad del libro de códigos canónico: El subconjunto estricto de cadenas seleccionadas para el almacenamiento (por ejemplo, la regla de "no adyacencia de unos" en la base de la razón áurea).

El desafío central es determinar si la estructura intrínseca de estos lenguajes admisibles puede detectar fallos, reparar estados corruptos o recuperar valores originales sin mecanismos externos de control de errores (como bits de paridad o códigos Hamming).

2. Metodología

El estudio emplea un modelo computacional de ventana acotada para simular hardware de precisión finita. La metodología separa dos canales operativos distintos:

A. El Modelo de Ventana Finita

• Ventana: Se define un ancho entero fijo $W$ con índices $I_{L,R} = \{-R, \dots, L\}$.
• Libros de Códigos: Las palabras almacenadas válidas deben satisfacer restricciones de admisibilidad local (por ejemplo, no "11" para $\beta=\phi$, no "111" para Tribonacci).
• Efectos de Frontera: El modelo rastrea explícitamente el desbordamiento (overflow, escrituras más allá de $L$) y la truncación (escrituras por debajo de $-R$), reconociendo que la preservación exacta del valor puede fallar en los límites.

B. Canales Operativos

1. Canonicidad Aritmética: Los operandos válidos se suman dígito a dígito, produciendo estados intermedios no canónicos (por ejemplo, dígitos $\ge 2$ o patrones prohibidos). Un programador MSB-first (de mayor peso primero) determinista aplica reglas de reescritura local (por ejemplo, $011 \to 100$ para $\phi$) para restaurar la admisibilidad.
2. Reparación de Corrupción: Un código canónico ya almacenado es perturbado por un cambio de un solo dígito o una corrupción de ráfaga local. El sistema intenta reparar el estado observado mediante la normalización de ventana acotada.

C. Métricas de Evaluación

El documento define una jerarquía de criterios de corrección:

• Detectabilidad Estructural: ¿La corrupción viola las restricciones de admisibilidad (haciendo que la palabra sea sintácticamente inválida)?
• Exactitud Estructural (Preservación de Valor): ¿El proceso de reparación devuelve una palabra admisible con el mismo valor que la palabra corrupta?
• Supervivencia Semántica: ¿El proceso de reparación recupera el valor original previo al fallo?
• Costo: Medido por el número de operaciones de reescritura ($\kappa$) y la profundidad de propagación ($\pi$).

D. Sistemas Comparativos

El estudio compara:

• Binario (B): Base 2 estándar, alfabeto $\{0,1\}$. Línea base no redundante.
• NAF con Signo (S): Base 2, alfabeto $\{-1, 0, 1\}$ con restricciones de Forma No Adyacente. Representa la redundancia impulsada por el alfabeto.
• Razón Áurea ($\Phi$): Base $\phi$, alfabeto $\{0,1\}$, prohibiendo "11".
• Tribonacci ($T_3$) & Tetranacci ($T_4$): Bases multinacci de orden superior con patrones prohibidos más largos ("111", "1111").

3. Contribuciones Clave

A. Resultados Teóricos

1. Resultado de Imposibilidad de un Solo Dígito: Los autores formalizan que en cualquier libro de códigos canónico inyectivo, las corrupciones genuinas de un solo dígito no pueden recuperarse semánticamente sin información externa. Dado que un cambio de un solo dígito altera el valor numérico, y el libro de códigos canónico es inyectivo (mapeo uno a uno de valor a cadena), la reparación de preservación de valor del estado corrupto produce un valor distinto al del estado original.
2. Condición del Núcleo Algebraico para la Supervivencia Semántica: La supervivencia semántica para corrupciones de múltiples dígitos (ráfagas) es posible si y solo si el vector de error reside en el núcleo algebraico del mapa de evaluación. Esto ocurre solo cuando la corrupción coincide con una identidad local de preservación de valor (por ejemplo, $100 \leftrightarrow 011$ en $\phi$).
3. Distinción de Tipos de Redundancia: El documento separa rigurosamente la multiplicidad semántica ambiental (una propiedad del espacio infinito) de la admisibilidad canónica (el lenguaje almacenado). Argumenta que la redundancia intrínseca es un recurso de lenguaje restringido para la integridad estructural, distinta de la redundancia clásica de control de errores.

B. Hallazgos Experimentales

1. Detectabilidad Estructural:
   • El binario tiene cero detectabilidad estructural (todos los cambios de bit son válidos).
   • Los sistemas redundantes (NAF, $\Phi$, $T_3$, $T_4$) detectan una fracción positiva de fallos.
   • Compromiso (Trade-off): Los lenguajes más estrictos (como $\Phi$) tienen una mayor detectabilidad de fallos de un solo dígito que los lenguajes más densos (como $T_4$), pero a costa de una menor capacidad de almacenamiento (dispersión).
2. Costo de Reparación vs. Exactitud:
   • El NAF con Signo logra la mayor exactitud aritmética pero requiere un alto costo computacional (recodificación global).
   • Los sistemas de reescritura local ($\Phi, T_3, T_4$) tienen costos de reparación muy bajos (a menudo $< 1$ operación en promedio para fallos de un solo dígito) pero menor exactitud aritmética debido a la truncación de frontera.
3. Supervivencia Semántica:
   • Un solo dígito: Tasa de supervivencia cero para todos los sistemas (confirmando el resultado de imposibilidad).
   • Corrupción de ráfaga: Tasas de supervivencia pequeñas pero no nulas para los sistemas redundantes, alineadas estrictamente con identidades algebraicas. Por ejemplo, en $\Phi$, una ráfaga que coincida con $100 \to 011$ sobrevive; las ráfagas aleatorias no lo hacen.
4. Efectos de Frontera: La truncación del límite inferior es una fuente importante de error en bases no enteras. Añadir dígitos de guarda suprime eficazmente la truncación, pero no resuelve el desbordamiento del límite superior.

4. Resumen de Resultados

Los experimentos cuantifican los compromisos entre sistemas (con un ancho de ventana $W=24$):

• Detectabilidad: Signed NAF (0.489) > $\Phi$ (0.431) > $T_3$ (0.223) > $T_4$ (0.119).
• Costo de Reparación: Signed NAF (23.03 ops) >> $\Phi$ (0.66 ops) > $T_3$ (0.26 ops) > $T_4$ (0.13 ops).
• Supervivencia Semántica (Ráfaga): Signed NAF (2.3%) > $\Phi$ (1.8%) > $T_3$ (0.3%) > $T_4$ (0.1%).
• Exactitud Aritmética: Signed NAF (75.3%) > Binario (49.2%) > $\Phi$ (32.3%) > $T_3$ (7.4%) > $T_4$ (1.7%).

Los datos indican que $\Phi$ (Razón Áurea) ofrece un equilibrio favorable: proporciona una visibilidad significativa de fallos estructurales y costos de reparación local extremadamente bajos, aunque sufre de una menor exactitud aritmética debido a la truncación de frontera en comparación con el NAF con signo.

5. Significado y Reivindicaciones

El artículo concluye con una afirmación modesta pero precisa respecto al papel de la redundancia $\beta$ intrínseca:

• No es un Código de Corrección de Errores General: La redundancia $\beta$ intrínseca no funciona como un código de corrección de errores clásico capaz de recuperar corrupciones arbitrarias de un solo dígito. El "resultado de imposibilidad" establece un límite teórico duro: sin información externa, el valor original no puede reconstruirse a partir de un fallo de un solo dígito.
• Un Recurso de Lenguaje Restringido: En su lugar, la redundancia intrínseca sirve como un mecanismo para la visibilidad de fallos estructurales y la re-admisibilización preservadora de valor. Permite que un sistema detecte cuándo una palabra almacenada ha salido del lenguaje válido y la repare a un estado válido que preserve el valor observado (corrupto).
• Supervivencia Semántica Selectiva: La recuperación real del valor original (supervivencia semántica) es posible solo para perturbaciones específicas de múltiples dígitos (ráfagas) que están algebraicamente alineadas y coinciden con las identidades de reescritura local del sistema.
• Implicaciones Arquitectónicas: El estudio sugiere que las expansiones $\beta$ pueden proporcionar un mecanismo "nativo" para detectar violaciones estructurales y normalizar intermediarios aritméticos con una baja sobrecarga local, pero deben combinarse con otros mecanismos (como dígitos de guarda o controles externos) para manejar las pérdidas de frontera y la corrección de errores genérica.

Los autores enfatizan que este trabajo aísla las propiedades del lenguaje admisible almacenado en sí mismo, separándolo del contexto más amplio de la codificación analógica o los códigos de control de errores externos, proporcionando una base rigurosa para comprender los límites de la redundancia intrínseca en sistemas digitales finitos.