На пръв поглед е трудно да си представим физична система, по-проста от маса за билярд. Ако изпратите топка по масата, траекторията ѝ следва просто правило: тя се движи по права линия, докато не удари стена, след което отскача под същия ъгъл, под който е дошла.

И все пак, дори една толкова проста система може – поне на теория – да възпроизведе всяко изчисление, което би могло да бъде извършено от много по-сложен компютър.

Според математиците Ева Миранда от Политехническия университет на Каталуния (Испания) и Исак Рамос от ETH Цюрих (Швейцария), една-единствена топка, отскачаща в двуизмерна билярдна система със специфична форма, може да симулира универсална машина на Тюринг – машина, способна да симулира всяка друга машина на Тюринг. За Миранда това е кулминацията на дългогодишна работа, целяща да сведе една механична система до минималния брой елементи, необходими ѝ, за да функционира като компютър.

„Кой е минималният геометричен механизъм, позволяващ на една физична система да извършва универсални изчисления, и как можем да го открием?“, пита тя. „Билярдът е най-голямото изпитание за този процес на опростяване. Една-единствена частица. Цялата програма е заложена в геометрията на границата.“

Машината на Тюринг всъщност не е машина в общоприетия смисъл на думата. Тя представлява математически модел на изчисление, разработен от британския математик Алън Тюринг през 1936 г.

В най-простия си вид тя се състои от въображаема лента, разделена на клетки, глава, която може да чете и записва символи върху тази лента, и набор от инструкции, указващи какво да се прави по-нататък. Всяка отделна операция е изключително проста: прочитане на символ, записване на символ, преместване по лентата, повторение. Универсалната машина на Тюринг отива още по-далеч: тя може да симулира всяка друга машина на Тюринг, което означава, че по принцип е способна да извърши всяко изчисление, което може да бъде представено като алгоритъм.

Миранда и Рамос откриха начин да възпроизведат функциите на машината на Тюринг, използвайки единствено геометрия и подскачаща топка.

В техния математически „билярд“ – терминът, с който описват системата си – позицията на топката може да кодира информация, докато внимателно проектираната форма на стените определя каква ще бъде съдбата на тази информация впоследствие. Докато топката се движи от една част на билярда към друга, нейната траектория придвижва изчислителния процес напред – точно както машината на Тюринг изпълнява инструкциите си стъпка по стъпка. Връзката между билярда и изчисленията е била обект на интерес и преди, но досегашните модели са изисквали допълнителна сложност, като например множество взаимодействащи си топки, триизмерни структури или подвижни стени.

Миранда и Рамос премахнаха всичко излишно. Тяхната система се нуждае само от една частица, движеща се в две измерения между неподвижни стени.

„Билярдна маса, която извършва изчисления, не прилича на компютър. Тя изглежда като зле начертан лабиринт, пълен с ъгли и дъги, които изглеждат като плод на случайни хрумвания“, казва Миранда.

„Програмата се състои във формата на стените. Алгоритъмът е, буквално, самата траектория.“

Макар да е възможно една билярдна маса да се превърне в универсален компютър, не се пренасят само полезните характеристики. Системата наследява и ограниченията.

Едно от тях е сложен проблем, известен като „проблем за спирането“ (halting problem).

Представете си, че трябва да се определи дали дадена компютърна програма в крайна сметка ще приключи работа, или ще продължи да работи безкрайно. За отделни конкретни случаи това е напълно постижимо – например при инсталирането на актуализации на операционната система или при завършването на конвертирането на файл.

Тюринг обаче доказва, че не съществува единен алгоритъм, който надеждно да отговори на този въпрос за всяка възможна програма и входни данни. Предишни изследвания показаха, че това фундаментално ограничение може да се възпроизведе във физически системи, включващи множество топки.

Билярдната система на Миранда и Рамос показва, че това може да се възпроизведе чрез движението на една-единствена топка. За да демонстрират това, изследователите проектират билярдната си система така, че достигането на изчислителен процес до състояние на спиране да съответства на момента, в който топката удря стена под ъгъл от 90 градуса, връщайки се обратно по същия път, по който е дошла.

Ако изчислението никога не приключва, траекторията на топката никога не се повтаря. Но ако съществуваше алгоритъм, способен да определи дали тя в крайна сметка ще се повтори, той би могъл да реши „проблема за спирането“ (halting problem) – което, както е доказал Тюринг, е невъзможно.

„Хаосът налага бариера по отношение на точността, докато нерешимостта поставя логическа бариера“, казва Миранда.

„Дори да знаем уравненията и началните данни с абсолютна точност, може да не съществува алгоритъм, който да определи дали дадена траектория някога ще навлезе в определена област.

Това не означава, че всяка отделна траектория е загадка. В много конкретни случаи ще получим отговор. Невъзможно е обаче да се създаде универсален метод, който да дава решение за всеки отделен случай.“

Има основателни причини никой да не се кани да замени силиция с билярдни топки. Тази конструкция е идеализиран математически модел, разчитащ на информация, кодирана във все по-фини мащаби, които не биха могли да бъдат възпроизведени с неограничена точност при реална маса.

Въпреки това, подобен вид билярд не е просто математически куриоз.

Тези теоретични структури са полезни за физиците, тъй като простото движение на частица, отскачаща между граници, може да служи като модел за по-сложни физични системи – от сблъскващи се частици в газ до системи, управлявани от силни ограничаващи сили.

„Можем да кажем, че те са своеобразен скелет на класическата механика“, отбелязва Миранда.

Тази структура може да се появи дори в небесната механика – по-специално в математическите описания на близки срещи между гравитационно взаимодействащи тела, включително при варианти на прословутата със своята сложност „задача за трите тела“.

Това не означава, че Миранда и Рамос са доказали, че самата задача за трите тела е нерешима.

По-скоро работата им повдига въпроса дали същите изчислителни ограничения биха могли да възникнат и в по-реалистични гравитационни системи, добавяйки нерешимостта – наред с хаоса – като още една фундаментална пречка пред предсказването.

„Колко планети са нужни, за да може гравитацията да извършва изчисления? – казва Миранда. – Колко са необходими, за да се появи нерешимост? Може би три, може би пет, а може би много повече. Това е напълно отворен въпрос.“

Снимка: Unsplash/(Miranda & Ramos, PNAS, 2026

Виж още: Razer Blade 16 за цели 4500 долара издържа само 7 дни преди да извади зловещата грешка Code 43