四维空间是什么？三个空间维度加一个时间维度？不，那是四维时空，跟四维空间是两个不同的概念。
四维空间的第四个维度也是空间维度，和我们熟知的 x、y、z 属于同一性质。作为一个三维世界的生物，人类是很难想象出四维空间的，就像一个困在二维空间里的人无法想象三维空间一样。
对于这个二维世界的小人来说，一个三维世界的物体是神秘莫测的，它会时而变换形态，时而消失，因为该物体转换了角度或移动到了第三个维度。所以，对于一个没有上帝视角的二维世界小人来说，预测三维物体的移动轨迹、形状变化着实有点困难，因为他只能看到一条条变幻莫测的线。
同理，在一个四维空间里，我们就变成了那个可怜的小人，眼前的四维物体似乎和三维物体没什么两样，但当它们在四维空间自由移动、碰撞时，我们也会发现它们时而变换形态，时而消失不见。
这种情景我们通常只会想象一下，毕竟在现实生活中是体验不到的。但也有人对此兴味盎然，将其搬到了游戏世界中，甚至还凭借游戏的论文中了计算机图形学顶会 SIGGRAPH。
在这篇论文中，研究者提出了一个适用于任何空间维度的刚体动力学公式。用几何代数来描述刚体的状态和运动方程。他将碰撞检测算法扩展到𝑛维，解析了物体之间的碰撞和接触。虽然作者实现的是四维，但该方法可以扩展到任意维度。他通过这些四维刚体的三维截面来展示他们，用户可以实时操纵这些物体。
不同于常见的研究，这篇 6 页的论文充满了各式各样的几何代数公式。在双盲审稿过程中，一位审稿人对该论文的评价是：「异想天开（whimsical）」。大部分研究工作都是从 2012 年开始的，但作者也根据审稿人的建议增加了关于神秘翻转（Dzhanibekov effect）的部分。
在此之前，物理模拟一直集中并局限于二维和三维的情况。但作者提出，使用所需方程式的恰当公式，就有可能将它们推广到更高维度。几何代数提供了一个简单的与维度无关的公式，可以实时操作相互碰撞的 n 维物体，就好像它们是真实的物体一样。这使得这些高维物体不那么抽象，和大多数人对它们的体验形成鲜明对比。
这篇论文的贡献在于：
1、将基于几何代数的经典三维刚体动力学公式推广到了 n 维。通过将几何代数算子表示为矩阵，以一种简单的方式构建、对角化（diagonalize）、转换任意 n 维简单网格，无论这个 n 是多少。这样一来，就可以在 n 维中建立欧拉方程，比如研究四维欧拉方程在无力矩条件下的情况。
2、计算 n 维中的碰撞和接触处理过程，包括静摩擦和动摩擦。作者给出了 Minkowski 差分法和基于几何代数的分离轴定理碰撞检测方法的 n 维公式。
3、提出了一种类似于我们对现实三维空间体验的四维物体互动方法。也许这篇论文最大的意义在于，它为我们提供了一种从侧面了解四维空间的方式。基于这篇论文中提到的技术，论文作者 Marc ten Bosch 开发了两款游戏，上面动图展示的就是其中一款游戏——「4D Toys」。这款游戏旨在以三维视角展示四维物体在四维空间里的特性。有人表示，该游戏就像在向一位盲人解释颜色的含义。目前，该游戏已经在 Steam、IOS 等平台上线。
除此之外，他还打造了另外一款 4D 游戏「Miegakure」。在这个游戏中，一系列平行的 3D 世界因谜题而串联在一起，玩家可用视角转换的方式触发穿越机制，到达其他的 3D 场景。
在 SIGGRAPH 2020 技术论文专场，作者也将详细介绍 4D Toys 和 Miegakure 游戏。对于 Miegakure 的老粉来说，论文被大会接收也令他们激动不已：
还有人表示：「终于等到点书面的资料了，感觉 follow 这项研究已经有十年了！」
估计这也是 SIGGRAPH 2020 技术论文计划开展以来，史上第一项介绍独立游戏的研究吧。
