Ver el código de «Código binario de Golay»

[[Archivo:BinaryGolayCode.png|miniaturadeimagen|[[Matriz generadora]] del código binario de Golay extendido. La matriz comprende la [[matriz identidad]] y el complemento de la [[matriz de adyacencia]] del [[icosaedro]].]]
En las [[matemáticas]] y en la [[informática]] el '''código binario de Golay''' es un tipo de [[Códigos detectores y correctores de error|código corrector de errores]] usado en las [[Transmisión de datos|comunicaciones digitales]]. El código binario de Golay, junto con el código ternario de Golay, tiene una particularidad y conexión interesante con la teoría de los [[Grupo esporádico|grupos esporádicos]] finitos en matemáticas. El código lleva el nombre en honor a [[Marcel J. E. Golay]].

Hay dos tipos de códigos de Golay que están relacionados entre sí. El primero es el código binario de Golay extendido que codifica 12 bits de datos en una palabra de 24 bits de tal manera que cualquier error de 3 bits puede ser corregido y cualquier error de 7 bits puede ser detectado. El otro es el código binario perfecto de Golay tiene palabras código de longitud 23 bits, y es obtenido directamente del código binario extendido de Golay al suprimir una posición de coordenadas, de otra manera se puede decir que el código binario extendido de Golay se obtiene a partir del código binario perfecto al añadir un [[bit de paridad]].

== Cómo son los códigos de Golay trasmitidos ==
Es posible enviar 8 bits estándar utilizando el código binario de Golay estándar que utiliza una modulación de 8 a 12. Otros esquemas para posicionar los bits puede ser la utilización que permite compartir 8 bits de datos en el ancho de banda con 4 bits de telemetría.

== Definición matemática ==
En los términos matemáticos el código binario extendido de Golay consiste en un [[subespacio vectorial|subespacio]] W de 12 dimensiones del espacio ''V''='''F'''<sub>2</sub><sup>24</sup> de palabras de 24 bits de tal manera que dos elementos distintos en el espacio ''W'' se diferencian al menos en las últimas 8 coordenadas. De manera equivalente cualquier elemento no cero de ''W'' tiene al menos 8 coordenadas que no son cero.

* El conjunto posible de coordenadas no cero así como los rangos w sobre el espacio W son llamadas palabras código. En el código binario extendido de Golay todas las palabras código tienen un [[peso de Hamming]] de 0, 8, 12, 16 o 24.
* Las palabras código Golay son elementos del [[sistema Steiner]] S(5,8,24).
* ''W'' es único salvo reetiquetado de coordenadas.

El código binario perfecto de Golay es un código perfecto, lo que significa que esferas de radio 3 alrededor de las palabras código forman una partición del [[espacio vectorial]].

El [[grupo de automorfismos]] del código binario perfecto de Golay es el [[grupo de Mathieu]] <math>M_{23}</math>, y el grupo de [[automorfismo]] del código binario extendido de Golay es el grupo de Mathieu <math>M_{24}</math>. Los demás grupos de Mathieu actúan como [[Acción (matemática)|estabilizadores]] de uno o de varios elementos de ''W''.

== Construcciones ==
# [[Código lexicográfico]]: El orden de los vectores en V (por ejemplo, se interpretan como enteros binarios sin signo de 24 bits y toman el orden normal). Empezando con ''w''<sub>0</sub>=0, definimos ''w''<sub>1</sub>, ''w''<sub>2</sub>, ..., ''w''<sub>12</sub> de forma que ''w''<sub>''n''</sub> es el entero más pequeño que se diferencia de las combinaciones lineales de los elementos previos en al menos 8 coordenadas. Entonces el espacio W se puede definir como el espacio formado por ''w''<sub>1</sub>, ..., ''w''<sub>12</sub>.
# [[Código de residuos cuadráticos]]: Considera el conjunto N de los cuadrados no residuales (mod 23). Esto es un subconjunto de 11 elementos del [[grupo cíclico]] '''Z'''/23'''Z'''. Considera la translación t+N de este subconjunto. Aumenta cada traslado al conjunto de 12 elementos S_t al añadir un elemento infinito. Entonces el etiquetado de los elementos básicos de V es 0, 1, 2,..., 22, ∞, ''W'' se puede definir como el espacio de las palabras de ''S''<sub>''t''</sub> con las palabras conseguidas a través de los vectores básicos. (El código perfecto se obtiene dejando fuera el infinito)
# [[Código cíclico]]: El código perfecto G23, se puede construir al factorizar <math>x^{23}-1</math>, es el código generado por <math>x^{11}+x^{10}+x^6+x^5+x^4+x^2+1 / x^{23}-1</math>
# Generador milagroso de óctadas de R. T. Curtis: Utiliza una matriz de 4x6 celdas cuadradas para dibujar los 759 palabras código del [[código de Hamming]] de peso 8 u óctadas de código binario extendido de Golay. Las palabras que quedan se obtienen a través de diferencias simétricas de subconjuntos de 24 celdas, por ejemplo a través de la adicción binaria.
# La posición ganadora en el [[juego matemático]] de Mogul: la posición es Mogul es una columna de 24 monedas. Cada turno consiste en tirar de 1 a 7 monedas de tal forma que la que más lejos quede va a la cabeza de la cola. Las posiciones perdedoras son aquellas que no tiene un movimiento legal. Si las cabezas son interpretadas como uno y las cruces como cero mueves de tal manera las palabras código del código extendido de Golay entonces garantizas que es posible ganar la partida.

== Aplicaciones prácticas de los códigos de Golay ==
=== Misiones NASA en el espacio ===
Las sondas [[Voyager 1]] y [[Voyager 2|2]] necesitaban transmitir cientos de fotografías en color de [[Júpiter (planeta)|Júpiter]] y [[Saturno (planeta)|Saturno]] entre 1979 y 1980 con un ancho de banda de comunicaciones muy bajo.

* Cada imagen transmitida requería 3 veces la cantidad de datos, de manera que se usaba el código de Golay (24,12,8).
* Este código de Golay solo corregía 3 errores, pero puede transmitir datos a mucha más velocidad.

=== Comunicaciones de datos de alta frecuencia ALE ===

Los estándar del nuevo gobierno de EE. UU. para el ALE (automatic link establishment) en el sistema de radio de [[alta frecuencia]] especifica el uso del código extendido de Golay (24,12) para poder corregir el error antes de que se produzca.

* El código extendido de Golay(24,12) es un código en bloque (24,12).
* El código codifica 12 bits de datos para producir palabras de 24 bits.
* Además es un código sistemático, significa que las palabras de 12 bits se presentan en un formato incambiable en todas las palabras código.
* El polinomio generador de este código es <math>g(x) = x^{11} + x^9 + x^7 + x^6 + x^5 + x + 1</math>

La mínima distancia entre dos palabras código (es decir, el mínimo número de bits en que se diferencian) es 8, lo que proporciona que este código pueda detectar hasta 7 errores en cada palabra código (y corregir ninguno), corrige 3 errores y detecta 4 en cualquier combinación intermedia.

== Enlaces externos ==
* [http://www.uam.es/personal_pdi/ciencias/gallardo/codigos.pdf Códigos correctores de errores]
* [https://web.archive.org/web/20070114180042/http://www.uam.es/departamentos/ciencias/matematicas/docencia/14452.html Teoría de código. Criptografía]
* [https://web.archive.org/web/20070221182933/http://www.famaf.unc.edu.ar/series/pdf/pdfCMat/CMat35-3.pdf Introducción a la teoría de códigos autocorrectores]

{{ORDENAR:Codigo Binario de Golay}}

{{Control de autoridades}}
[[Categoría:Detección y corrección de errores]]
[[Categoría:Aritmética computacional]]