Кванты бильярда. Ученые доказали, всего что один шар на столе способен помочь выполнять любые вычисления

Трудно представить себе физическую систему проще, чем бильярдный стол, однако даже она может воспроизвести любые алгоритмические задачи. По мнению математиков Евы Миранды из Политехнического университета Каталонии и Исаака Рамоса из Цюрихского технологического института, один шар, отскакивающий от особым образом созданного двумерного стола, может имитировать универсальную машину Тьюринга. Для Миранды это кульминация работы по сведению механической системы к минимуму деталей, где программа вписана в геометрию границы, а алгоритм — это буквальная траектория движения частицы.

Машина Тьюринга, предложенная Аланом Тьюрингом в 1936 году, является фундаментальной математической моделью вычислений. В исследовании Миранда и Рамоса положение бильярдного шара кодирует информацию, а форма стен определяет реакцию системы. Предыдущие модели требовали нескольких шаров, трехмерных структур или подвижных стен, в то время как новая система использует только одну частицу между неподвижными стенками. Однако такой бильярд наследует и фундаментальные ограничения компьютеров, в частности, знаменитую «проблему остановки». Исследователи показали, что достижение этой точкой определенного угла удара соответствует остановке алгоритма, а хаос создает логический барьер точности.

Конечно, никто не собирается заменять кремниевые процессоры бильярдными столами из-за невозможности достижения неограниченной точности на практике. Тем не менее, такие идеализированные математические модели служат «скелетом классической механики» для физиков. Они помогают моделировать более сложные системы — от газа в резервуарах до небесной механики и задачи трех тел, открывая новые вопросы о пределах предсказуемости нашей Вселенной.

Результаты этой работы опубликованы в журнале Proceedings of the National Academy of Sciences.