玻尔百科在从元胞自动机到基于主体的系统的广阔计算模型宇宙中，复杂性常常源于最简单的局部相互作用。在设计这些系统时，一个根本性的选择是定义“局部”的含义：一个实体与谁互动？这一个决定，即邻域的定义，对整个系统的演化具有深远的影响。虽然看似微不足道，但不同邻域结构的选择从根本上改变了信息流的几何形状、可能涌现的模式类型，以及模拟世界的“物理学”本身。理解这一选择是释放这些模型的全部潜力并正确解释其结果的关键。
本文深入探讨了最常见且最强大的定义之一：摩尔邻域。在第一章 原理与机制 中，我们将探讨其基于切比雪夫距离的正式数学定义，分析它如何定义网格上的“光速”，并讨论其对涌现现象对称性的影响。随后，在 应用与跨学科联系 中，我们将遍览其多样化的应用，从康威生命游戏中标志性的模式，到其在物理学、免疫学、计算机视觉和生态学等领域的关键作用，揭示其作为贯穿科学的统一概念。
想象你是一位神，但却是一位懒惰的神。你希望创造一个充满复杂、演化模式的宇宙，但你不想事无巨细地进行微观管理。于是，你决定设置一些简单的局部规则，让宇宙自行运转。一个广受欢迎的宇宙基底选择是一块巨大的二维棋盘，一个由单元格组成的无限网格。这就是 元胞自动机 的世界，而你必须决定的第一条规则，或许也是最重要的一条，就是：谁能与谁对话？
这个关于“谁是我的邻居？”的简单问题，是构建整个数字宇宙的基础。答案定义了信息如何传播，模式如何形成，以及何种复杂性能够涌现。让我们来探索回答这个问题最著名的答案之一——摩尔邻域——所带来的美妙而深刻的后果。
在我们的棋盘网格上，我们可以用整数坐标 来标记，我们如何定义一个邻域？让我们将自己置于世界的中心，即坐标为 的单元格，并环顾四周。定义邻居最直接、最亲密的方式是包括我们接触到的每一个单元格，即使只是一个角。如果你是棋盘上的王，你单步移动所能到达的王国就是紧邻你周围的八个方格。这就是半径为1的 摩尔邻域 的精髓。
但是，如果我们想包括更远的单元格呢？半径为2或半径为 的邻域又该如何呢？我们需要一个更严谨的概念，数学为此提供了一个强大的工具：距离。一个邻域就是距离中心单元格一定范围内的所有单元格的集合。
现在，你可能会把距离想象成鸟儿飞行的直线，也就是数学家所说的欧几里得距离。但在网格上，还有其他更自然的方式来衡量世界。
考虑 切比雪夫距离，通常被称为“棋盘距离”。它被定义为王在两个方格之间移动所需的最少步数。要从 移动到 ，王必须覆盖水平距离 和垂直距离 。由于王可以对角移动，一步之内同时覆盖一个单位的 和一个单位的 ，所以总步数仅受这两个距离中较大者的限制。因此，切比雪夫距离是：
这也被称为 范数。有了这个强大的工具，我们可以给出一个精确而优美的定义：半径为 的摩尔邻域 是所有与中心的切比雪夫距离小于或等于 的单元格的集合。对于 ，我们得到熟悉的 的九个单元格（包括中心）。对于 ，我们得到一个 的方块，依此类推。这个邻域的形状总是一个与网格轴对齐的正方形。
这与另一个常见的选择——冯·诺依曼邻域——形成了优雅的对比，后者对应于车（国际象棋中的rook）的移动方式。该邻域由 曼哈顿距离（或 范数）定义，，它计算的是你在一个矩形街道网格的城市中需要走过的步数。在这个度量下，半径为 的“球体”不是一个正方形，而是一个旋转了45度的菱形。在网格上如何测量距离这个简单的选择，从根本上改变了局部相互作用的几何形状。
这种几何选择具有直接的动态后果。在元胞自动机中，时间以离散的节拍推进。在每个节拍，一个单元格根据其邻居在 上一个 节拍的状态来更新自己的状态。这意味着信息一次只能传播一个邻域半径的距离。因此，邻域定义了这个宇宙的“光速”。
让我们想象一个信号在时间 时从原点开始。经过一个节拍（），它的影响可以到达其半径为 的邻域内的任何单元格。经过两个节拍（），那些新受影响的单元格中的每一个又可以影响 它们 的邻居，导致影响区域扩大。经过 步后所有可能被影响的单元格的集合，就是通过进行 次“跳跃”可以到达的所有位置的集合，其中每次跳跃都是跳到单个邻域内的任何地方。
对于摩尔邻域，这意味着经过 步后，信号可以到达任何单元格 ，只要其切比雪夫距离满足 。从原点扩散的“光锥”是一个不断增长的正方形！信息的最大速度是每时间步长 个单元格，这是以王的移动方式来衡量的。要找到信号到达切比雪夫距离为 的单元格所需的最短时间 ，我们只需找到满足 的最小整数 。这给我们一个非常简单的公式：
这表明，局部的相互作用规则，即邻域的形状，决定了你所创造的宇宙的全局因果律和最终速度极限。
让我们来感受一下这些邻域的大小。我们正在处理多少个单元格？
对于半径为 的摩尔邻域，其形状是网格上的一个正方形。坐标 和 的范围可以从 到 。这个范围内的整数值的数量是 。由于 和 的选择是独立的，邻域中的总单元格数（包括中心）就是 。实际 邻居 的数量是这个总数减去中心单元格本身：。对于 ，邻居数为 。对于 ，邻居数为 。其大小随半径呈二次方增长。
现在是一个深刻洞察的时刻。让我们考虑一个非常大的半径 。半径为 的摩尔邻域中的单元格数量是 。当 变得很大时，这大约是 。对于冯·诺依曼邻域，单元格数量是 ，当 很大时，这大约是 。
一个大的摩尔邻域与一个大的冯·诺依曼邻域中的单元格数量之比是多少？
这个比率恰好是2！ 这并非巧合。在连续平面中，“半径”为 （半边长）的正方形面积是 。而“半径”为 （从中心到顶点的距离）的菱形面积是 。它们的面积之比是2。这向我们揭示了一些非凡的事情：当从远处观察时，元胞自动机的离散、像素化的世界，完美地反映了它所近似的光滑、连续空间的几何形状。几何学的基本性质被保留了下来。
选择邻域也许最微妙而强大的后果是，其内在的对称性如何塑造从局部规则中涌现出的模式。摩尔邻域的正方形和冯·诺依曼邻域的菱形都具有高度对称性；你可以将它们旋转90度或沿轴线和对角线反射，它们看起来都一样。它们拥有正方形的完全对称性，数学家称之为二面体群 。
当我们使用这些离散的邻域来模拟物理过程，如扩散——热量在金属板中的传播或一滴墨水在水中的扩散——这种底层的网格对称性可能会留下不希望有的印记。现实世界中的扩散过程是完全 各向同性 的，意味着它会以完美的圆形向外扩散。然而，网格上的模拟可能会产生略带“方形”的模式。
冯·诺依曼邻域只允许沿网格轴进行通信，尤其容易出现这种情况。它创建的模拟扩散沿轴向的传播速度略快于沿对角线。这可能导致涌现的模式，比如数字化学反应中的条纹，优先与网格对齐，这是模拟的产物，而非模型物理的真实特征。
在这里，摩尔邻域显示了其真正的力量。通过包含对角线连接，它为信息流动提供了一种更均衡的方式。更值得注意的是，通过仔细 调整相互作用的权重——将轴向邻居和对角线邻居视为具有不同的影响——我们可以创建一个离散算子，它能更好地逼近现实世界中完美的圆形扩散。存在一个权重的“神奇比例”，在这个比例下，导致“方形化”的最低阶误差会完全抵消！这使得模拟的模式能够以一种更忠实于底层模型、更少受其所在网格影响的方式打破对称性。
这是建模艺术与科学中的一堂深刻的课。我们选择的工具，甚至到“邻居”最基本的定义，都具有深远的影响。摩尔邻域以其简单的优雅，为创造复杂世界提供了丰富的结构。它定义了邻近的几何学、因果关系的速度以及涌现形式的对称性。从它在生成康威生命游戏（它在摩尔邻域上使用“诞生/存活”规则）令人惊叹的复杂性中的应用，到它在高保真科学模拟中的作用，摩尔邻域都证明了最简单的局部规则如何能够产生最丰富的全局现象。
我们花了一些时间来理解摩尔邻域的形式结构——它是什么以及它如何工作。但科学真正的乐趣始于我们将一个想法付诸实践，看看它能 做 什么。这个关于网格上八个邻居的简单概念出现在哪里？答案是，几乎无处不在。它就像树木的分叉或星系的螺旋一样，是自然界和科学家们一次又一次偶然发现的美妙简单模式之一。我们探索这些联系的旅程将带我们从人工生命的抽象数字世界，到抗击疾病、模拟流体，甚至理解合作演化的具体问题。
也许摩尔邻域最著名的试验场是约翰·[康威的生命游戏](@entry_id:273037)。它不是传统意义上你“玩”的游戏；而是一个你启动并观察的宇宙。设置极其简单：一个由“活”或“死”的单元格组成的网格，以及摩尔邻域。我们已经看到，规则根据活邻居的简单计数来决定诞生和存活。一个单元格如果有恰好3个活邻居就会诞生；如果有2或3个活邻居就会存活。仅此而已。
由此涌现的不仅仅是混沌，而是一个令人惊叹的复杂数字生态系统。我们看到静止不动的稳定模式，称为“静物”，以及原地脉动的模式，称为“振荡器”。最引人注目的是，我们看到了“宇宙飞船”——在网格上移动的模式。其中最标志性的是“滑翔机”，一个由五个单元格组成的微小结构，每四代之后，它会重构自己，但位置向下和向右各移动一格。
想一想这意味着什么。生命游戏中没有“移动”的规则。只有计算邻居的局部规则。然而，系统自我组织，创造出一个能够移动的持久对象。滑翔机的速度，即每四个节拍移动一个对角线步长，相对于网格的“光速”是 ，这是其宇宙的一个基本常数。摩尔邻域为这场错综复杂的生与死的舞蹈提供了一个精确的几何舞台，使其能够以自持波的形式在网格上传播。这是关于涌现的深刻一课：从最简单的局部相互作用中产生复杂的、类似物理学的行为。
邻域的几何形状不仅能促成移动，它还将其烙印在生长的形态上。想象一下，在一片均匀的干草地上，从一个火花开始点火。火线将如何蔓延？如果我们在网格上模拟这个过程，我们对邻域的选择就变得至关重要。
让我们考虑一个简单的生长模型：如果一个单元格的至少一个邻居是“活跃”的，那么它也变得“活跃”。如果我们使用冯·诺依曼（4邻域）规则，一个单独的活跃种子将长成菱形。为什么？因为这个世界中的“距离”是用城市街区（ 度量）来测量的——向右移动一单位再向上移动一单位需要两步。但如果我们使用摩尔邻域，种子会长成一个完美的正方形。对角线移动和正交移动一样容易，所以“距离”是由水平或垂直移动的最大值来测量的（ 度量）。
这不仅仅是一个几何上的奇特现象，而是科学建模中的一个根本问题。在计算免疫学中，研究人员可能会使用基于主体的模型来模拟免疫细胞如何聚集形成肉芽肿以控制感染。如果他们使用带有摩尔邻域的晶格模型，他们可能会发现他们模拟的肉芽肿形状可疑地呈方形。一个非晶格模型，其中细胞在连续空间中移动，会产生更逼真的圆形。这个正方形是网格的产物，是摩尔邻域强加的底层 度量的幽灵。 理解这一点有助于科学家区分真正的生物现象和他们所选择的数学工具留下的指纹。
摩尔邻域也作为数字世界和自然世界中感知和连接的模型。
在计算机视觉领域，一个基本操作是“形态学膨胀”。这是一种使二值图像中的对象“变胖”的方法。你可以把它想象成扩展每个白色形状的边界。神奇的是，用一个正方形“结构元素”进行膨胀，在数学上等同于用摩尔邻域和一个简单的阈值规则运行一个元胞自动机一个时间步：如果一个像素的八个邻居中至少有一个是白色的，那么它就变成白色。 这是一个美丽的例子，展示了两个不同领域——计算机科学和复杂系统——如何独立地发现了相同的基本空间操作。
这种连通性的思想直接延伸到自然界。生态学家使用来自卫星的栅格数据来模拟动物栖息地。想象一张地图，其中每个像素要么是“栖息地”，要么是“非栖息地”。一片大森林是被分割成两个独立的斑块，还是一个连通的整体？答案可能取决于物种。一个可以短距离对角跳跃或飞行的动物可能会将两个角接触的斑块视为连通的（一个摩尔世界），而一个必须停留在清晰路径上的地栖生物可能会将它们视为分离的（一个冯·诺依曼世界）。在生态模型中这个简单的邻域选择，可以改变景观中预测的连通组分的数量，对保护和野生动物管理产生深远影响。
同样的逻辑也适用于疾病的传播。在网格上的流行病学模型中，邻域定义了潜在的传播途径。在摩尔邻域中的主体比在冯·诺依曼邻域中的主体接触的人多一倍（ vs ）。这种增加的连通性可能是一个小规模局部爆发和一场全面大流行之间的区别。这直接对应于物理学中一个深刻的思想，即逾渗理论。为了让一种疾病在全球范围内传播，感染的“传播能力”必须超过一个临界值，即网络的逾渗阈值。因为摩尔邻域为“火”的蔓延提供了更多的途径，其逾渗阈值显著低于冯·诺依曼邻域。更多的连接使得整个系统更容易发生大规模的级联效应。
摩尔邻域的影响甚至延伸得更远，进入了对物理定律和社会动态的模拟。
模拟流体动力学最强大的技术之一是格子玻尔兹曼方法（LBM）。LBM不是求解复杂的微分方程，而是模拟“流体粒子”集合在网格上的流动和碰撞。该方法的一个基石是D2Q9模型，代表“2维，9个速度”。那九个速度是什么？它们是零（静止的粒子）、四个指向正交邻居的向量，以及四个指向对角邻居的向量。这正是摩尔邻域，加上中心单元格！ 这并非偶然。物理学家们发现，在方形晶格上，这种精确的速度几何排列是能够正确再现真实流体各向同性的、类似压力的行为的最简单排列。为了得到正确的物理，数学几乎神奇地将你引回到我们熟悉的8邻域模式。
最后，让我们考虑通过演化博弈论建模的社会互动世界。想象网格上的个体与他们的邻居玩囚徒困境游戏。一个策略（如“合作”或“背叛”）的成功取决于所获得的收益。邻域定义了你与谁博弈。在摩尔世界中，每个主体有8个互动。这放大了所有事情。一个被合作者包围的背叛者可以剥削8个邻居，获得巨大的累积收益。一个合作集群中的合作者从8个互惠互利的互动中受益。 将互动结构从冯·诺依曼改为摩尔，从根本上改变了策略格局，影响了合作集群是否能够在背叛者的剥削下生存和繁荣。
从数字生命形式的舞蹈到水的流动，从病毒的传播到森林的形态，摩尔邻域作为结构和相互作用的基本核心出现。它证明了简单规则的力量，也是贯穿科学结构中统一原则的一个美丽范例。