Una simple bola de billar podría, en teoría, funcionar como computadora universa

Matemáticos demostraron que una sola bola en una mesa de billar bidimensional especialmente diseñada es suficiente para reproducir el funcionamiento de una computadora universal. No se requiere electrónica para ese modelo: los cálculos los determina la propia forma de las paredes, de las que la bola se refleja sucesivamente.

En trabajo se considera un billar ideal con una partícula puntual. La bola se desplaza en línea recta, choca contra el borde y cambia de dirección según la ley habitual de reflexión. Los autores eligieron la geometría de modo que la secuencia de tales colisiones realizara las mismas operaciones que una máquina de Turing universal.

La máquina de Turing es un modelo matemático de computadora con una cinta de memoria, un conjunto de símbolos y reglas de transición entre estados. La versión universal es capaz de ejecutar cualquier algoritmo que sea computable en ese marco. Por eso el resultado no significa que la bola de billar vaya a superar a un procesador moderno, sino que muestra la potencia computacional fundamental de un sistema mecánico.

Toda la lógica está oculta en la forma de la mesa. La posición de la bola codifica el estado de la memoria virtual, y tramos concretos del borde hacen que la partícula pase al siguiente paso del cálculo. Fragmentos parabólicos ayudan a desplazar la cabeza lectora hipotética entre las celdas, y superficies más complejas se encargan de leer y modificar los símbolos.

Construir una mesa así en la realidad es prácticamente imposible. Algunos tramos del borde tendrían que contener un número infinito de detalles cada vez más pequeños, y la posición de la bola tendría que fijarse con precisión ilimitada. Por eso se trata principalmente de una prueba matemática, no de un proyecto de computadora mecánica inusual.

La parte más interesante del trabajo está relacionada con el problema de la detención. Para un programa arbitrario no existe un algoritmo universal que siempre determine de antemano si la computación terminará o continuará indefinidamente. El modelo de billar hereda la misma limitación.

Si el programa modelado termina su ejecución, la bola en cierto momento choca contra un tramo especial de la pared en ángulo recto, se invierte y recorre la trayectoria anterior en sentido inverso. Como resultado, el movimiento se vuelve periódico. Si el cálculo no termina, no aparece una trayectoria cerrada.

De esto se deduce una restricción inusual: no se puede escribir un solo algoritmo que, para cualquier mesa de este tipo y cualquier condición inicial válida, determine sin error si la trayectoria será periódica o si la bola entrará en una región dada. Para casos concretos se puede encontrar la respuesta, pero no existe un método general para todas las configuraciones posibles.

Este límite difiere del caos habitual. En un sistema caótico la predicción a largo plazo falla porque el error más pequeño en los datos iniciales se amplifica con el tiempo. Aquí el problema es más profundo: incluso un estado inicial conocido de forma ideal no garantiza la existencia de un algoritmo que pueda responder a ciertas preguntas sobre el movimiento futuro.

Los sistemas de billar ya se habían usado antes como modelos de computación, pero los esquemas anteriores a menudo requerían varias bolas que colisionaran, mecanismos adicionales o una geometría espacial más compleja. La nueva construcción se conforma con una sola partícula y un borde inmóvil, mostrando cuán complejo comportamiento puede ocultarse bajo leyes de movimiento muy simples.