Billiard Table Can Theoretically Perform Any Computation上的单球

本期编译精选。

【导语】将一球放过桌子，它的路径遵循一个简单的规则：它以直线行走，直到撞到一堵墙，然后以它进来的同样角度弹出。然而，即使是这样一个简单系统，至少在理论上，也可以复制任何可以由更复杂的计算机完成的计算

将一球放过桌子。但是，它的路径遵循一个简单的规则：它以直线行走，直到撞到一堵墙，然后以它进来的同样角度弹出。然而，即使是这样一个简单系统，至少在理论上。但是，也可以复制任何可以由更复杂的计算机完成的计算

根据西班牙加泰罗尼亚理工学院大学的数学家伊娃·米兰达和瑞士ETH Zürich的艾萨克·拉莫斯(Isaac Ramos)的说法。围绕一个特制二维台球的单个球可以模拟一款通用的图灵机——一台能够模拟任何其他图灵机。

对于米兰达来说，这是多年工作的顶点，将机械系统蒸馏到它作为计算机运行所需的最小数量。

“允许物理系统进行通用计算的最低几何机制是什么？

台球是这种简化过程最严格的考验。单机粒子。整个程序被刻入边界几何.

图灵机其实不是传统意义上的机器。它是由英国数学家艾伦·图灵于1936年设计的计算数学模型。

最简单的形式是，它包括一个假想的磁带条被分割成细胞，一个头可以读取并写出该磁带上的符号，以及一套指示它下一步要做什么的指示。

每个个体的operation都极其简单：读出一个符号，写出一个符号，沿着磁带移动，重复。

通用图灵机更进一步：它可以模拟任何其他的图灵机，意思是它原则上可以执行任何可以以算法表示的计算。

图灵机（左）及其台球等同（右）的图示。（米兰达和拉莫斯，PNAS,2026)

（原文共 6 张图片，此处展示前 3 张，更多图片请前往原文查看）

（编译自 ScienceAlert；原文