Estaba escuchando Sphere Packing Solved in Higher Dimensions; Un matemático ucraniano ha resuelto el problema centenario del empaquetamiento de esferas en las dimensiones ocho y 24 y leyendo la transcripción allí.
Los matemáticos han estado estudiando los empaques de esferas desde al menos 1611, cuando Johannes Kepler conjeturó que la forma más densa de empaquetar esferas de igual tamaño en el espacio es la conocida pila piramidal de naranjas que se ve en las tiendas de comestibles. A pesar de la aparente simplicidad del problema, no se resolvió hasta 1998, cuando Thomas Hales , ahora de la Universidad de Pittsburgh, finalmente demostró la conjetura de Kepler en 250 páginas de argumentos matemáticos combinados con gigantescos cálculos informáticos .
más tarde:
Los empaques de esferas de dimensiones superiores son difíciles de visualizar, pero son objetos eminentemente prácticos: los empaques de esferas densas están íntimamente relacionados con los códigos de corrección de errores que utilizan los teléfonos móviles, las sondas espaciales e Internet para enviar señales a través de canales ruidosos . Una esfera de alta dimensión es fácil de definir: es simplemente el conjunto de puntos en el espacio de alta dimensión que están a una distancia fija de un punto central dado.
y después
La red Leech se construye de manera similar al agregar esferas a un empaque menos denso, y se descubrió casi como una ocurrencia tardía. En la década de 1960, el matemático británico John Leech estaba estudiando un empaque de 24 dimensiones que se puede construir a partir del código "Golay", un código de corrección de errores que luego se usó para transmitir las fotos históricas de Júpiter y Saturno tomadas por las sondas Voyager. . Poco después de que el artículo de Leech sobre este empaquetamiento fuera a la imprenta, notó que había espacio para colocar esferas adicionales en los orificios del empaquetamiento y que, al hacerlo, se duplicaría la densidad del empaquetamiento.
Pregunta: ¿Cómo se relaciona el apilamiento de naranjas en 24 dimensiones con la recepción y decodificación de señales de las Voyagers? ¿Es posible explicar de una manera relativamente simple a la comunidad de Space SE, o encontrar una fuente que explique la conexión adecuada para este sitio?
Thomas Hales, fotografiado en 1998, usó una computadora para probar una famosa conjetura sobre la forma más densa de apilar esferas.
Todas las diferentes palabras de datos que un transmisor puede enviar y un receptor puede detectar pueden imaginarse como puntos dispuestos en un gran espacio.
La selección de una codificación de datos para la detección y corrección de errores se trata de mantener palabras de código válidas a cierta distancia entre sí. Como resultado, un ligero cambio ("movimiento") de una palabra válida no hace que parezca otra palabra válida.
Como no voy a hacer ningún dibujo de esferas e hipercubos de 24 dimensiones, voy a restringir esta respuesta a tres dimensiones.
Cada error de transmisión, es decir un bit que es un '0' confundido con un '1' o viceversa, corresponde a avanzar un paso por una de las aristas de este cubo.
En la comunicación diaria normal con tasas de error lo suficientemente bajas, podemos tratar todos los puntos de código como válidos:
Pero, cada bit invertido conduce a otra palabra válida. Entonces, si eliminamos cada segunda palabra válida, obtenemos esto:
Ahora, todas las palabras válidas están separadas por dos bordes. Un bit invertido nos lleva a una palabra no válida y sabemos que hubo un error, pero no podemos corregirlo porque hay tres posibles bits que podrían haber invertido. Esto se denomina código de "0 errores de corrección, 1 error de detección".
Para mejorar la solidez, elimine otras dos palabras de código válidas:
Ahora, todas las palabras válidas están separadas por tres bordes. Si un bit cambia, obtenemos una palabra no válida, pero aún podemos decir de dónde venimos. Si se voltearon dos bits, no podemos corregir la palabra, porque otra palabra válida está más cerca del código incorrecto que de la palabra correcta. Por lo tanto, este código se llama "1 error de corrección, 2 bits de detección"[*]. Esto es lo mejor que podemos obtener con nuestras sencillas palabras de código de 3 bits.
Ahora, ¿cómo se relaciona esto con el empaquetamiento de esferas? De hecho, las tres imágenes muestran el empaquetamiento más denso posible de esferas con diámetros de , y , respectivamente, bajo la restricción de que sus centros deben estar ubicados en las esquinas del cubo.[**]
Obviamente, esto no parece demasiado espectacular, pero se vuelve mucho más desafiante si no estamos mirando datos binarios digitales, sino que usamos un transmisor que también admita valores intermedios, por ejemplo, usando no un simple encendido/apagado. modulación, pero agregue modulación de amplitud en la parte superior. Al agregar un paso más (por ejemplo, apagado/bajo/alto) para cada uno de los tres dígitos de nuestro ejemplo, no tenemos ocho palabras de código válidas, pero en realidad - ¡comienza a empaquetar tus esferas en esa cuadrícula!
[**] Estrictamente hablando, aquí no tratamos con esferas en un espacio euclidiano regular, sino con esferas de Hamming: se definen por el conjunto de esquinas que están a un número determinado de aristas de distancia de su centro. Esto explica el hecho de que en un mundo binario solo las esquinas del cubo representan puntos válidos, mientras que cualquier otro punto tendría coordenadas fraccionarias y simplemente no existe. Prácticamente, no hay diferencia entre los dos en los ejemplos dados aquí.
russell borogove
asdfex
UH oh
UH oh
Barmar
UH oh
Barmar
UH oh
Barmar
Barmar
ng ph
UH oh