Método de decodificación secuencial que estima bits de un código uno a uno en un orden predeterminado, utilizando los bits decididos previamente como entradas conocidas para los cálculos de verosimilitud de los bits siguientes; ampliamente asociado a los códigos polares y usado para reducir la complejidad de decodificación a costa de sensibilidad ante errores tempranos.

Principio

Condicionar cada decisión de bit a los bits ya decodificados transforma un problema de decodificación conjunta de alta dimensión en una secuencia de decisiones de menor dimensión; la corrección de decisiones posteriores depende causalmente de la precisión de las primeras, creando potencial propagación de errores.

Demostración

Escenario ilustrativo: decodificación de un código polar de longitud N. El decodificador calcula las verosimilitudes para el primer bit usando las observaciones del canal y las restricciones de bits congelados, decide u_1, después trata u_1 como conocido al calcular la verosimilitud de u_2, y así sucesivamente hasta u_N. Si las decisiones tempranas son correctas, las verosimilitudes posteriores se simplifican; si una decisión temprana es incorrecta, las decisiones siguientes pueden verse sesgadas.

Aplicación incorrecta

Suponer que las decisiones duras iniciales están libres de error y descuidar su incertidumbre es un error de razonamiento; considerar SC puro suficiente para longitudes de bloque cortas sin medidas adicionales (decodificación en lista, CRC o comprobaciones repetidas) subestima la propagación de errores a longitud finita.

Consecuencia

Para códigos suficientemente largos y bien construidos, SC puede alcanzar asintóticamente tasas óptimas bajo la polarización asumida; en longitud finita, SC sin mitigación puede producir tasas de error superiores a las de métodos que gestionan la incertidumbre temprana (por ejemplo, SCL o belief propagation).

Inversión

El principio SC depende de la polarización o de una estructura que haga las decisiones condicionales progresivamente más sencillas; cuando esa estructura es débil (bloques cortos, mala polarización) o las decisiones tempranas son poco fiables, se requieren decodificadores aumentados (decodificación en lista, con CRC, o algoritmos híbridos) para un rendimiento práctico.

Límite

Claramente dentro: decodificación de códigos polares usando el orden de polarización natural y las asignaciones de bits congelados. Caso límite: aplicar SC a códigos sin propiedad de polarización conduce a rendimiento impredecible. Claramente fuera: decodificación de máxima verosimilitud o exhaustiva que no depende de condicionamiento secuencial.

Tensión semántica

Baja complejidad computacional y claridad estructural de las decisiones secuenciales frente a la vulnerabilidad a la propagación de errores y el rendimiento degradado a longitud finita; los diseños prácticos equilibran la simplicidad de SC con técnicas que protegen o revisan decisiones tempranas.

Síntesis

La decodificación por cancelación sucesiva explota la estructura condicional de un código para cambiar la complejidad de búsqueda conjunta por simplicidad secuencial; hacer práctico ese intercambio requiere mecanismos para detectar o corregir errores tempranos cuando la longitud de bloque o las condiciones de canal impiden decisiones iniciales fiables.