1701062459
为了更好地理解和体会这个问题的困难程度，我在计算机上用两种不同的方式运行了这个问题。第一种方法是向前再进一步，尝试三振子问题。我模仿佩斯金的策略，设置极小的刺激和漏电流，让计算机处理所有的代数问题。即使这样，得出的方程仍然十分恐怖——有些写满了好几页，在计算机的帮助下，我将它们简化到了可理解的程度。结果表明，对于3个振子的情况，佩斯金的推测可能是正确的。同时，结果也表明了这不是正确的处理方法。即便有计算机的帮助，这种代数问题也只会让人望而却步。
1701062460
1701062461
第二种方法是模拟。脱除公式，只是让计算机一步步推进系统的演化，然后观察会发生什么。模拟无法代替数学，因为它无法给出证明，但如果佩斯金的推测是错误的，这种方法则会揭露出反例，从而为我们节约大量时间。这种证据在数学上非常有价值。当你试图证明一件事的时候，它会帮助你了解事情正确与否，给予你坚持寻找严格证明的信心。
1701062462
1701062463
编程仿真很容易。当一个振子发射的时候，它会刺激其他所有振子的电压上升一个固定的量。如果任何被刺激的振子的电压超过了阈值，它就会发射，同样也会刺激其他振子。当振子处于发射间隔内的时候，使用佩斯金的公式，所有振子的电压都会朝向阈值增加。
1701062464
1701062465
我尝试了100个完全相同的振子的情形。它们的初始电压随机分布在零电位和阈值之间，我将它们描绘成一群朝向阈值运动的点，这些点沿着它们共同的拱形充电曲线上升（横坐标为时间，纵坐标为电压）。即便在计算机图形技术的帮助下，我仍无法在它们的集体运动中发现某种模式，只有一片喧嚣的混乱。
1701062466
1701062467
此时的问题在于信息太多。所以我开始认识到佩斯金的频闪法的另一个优势：它不仅简化了分析，而且是使系统的演化可视化的最佳方法。除了恰好在某一特定的振子发射的时刻，所有的振子都是不可见的。在这些时刻，一道假想的频闪光照亮了其余所有振子，显示出了它们的瞬时电压值。随后，整个系统陷于黑暗，直到那个特定的振子下次发射。佩斯金的模型具有一种特性，即振子是轮流发射的，没有哪个振子会插队，所以在下一次闪光之前，其他99个振子会在黑暗中发射。
1701062468
1701062469
在计算机上观察可以发现，这些计算十分迅速，以至于屏幕出现了闪烁，99个振子沿着充电曲线上蹿下跳，每次闪光时它们的位置都会发生改变。这种模式是不会错的。点聚集在一起，形成零星的同步，然后合并成为更大规模的同步，就像雨滴在玻璃窗上合流一样。
1701062470
1701062471
系统自发趋于同步，这简直不可思议。这是对菲利普·劳伦特和所有坚决认为萤火虫的同步在理论上不可能，并认为这种事情“必然是违背一切自然规律”的怀疑论者们的公然反对。计算机显示了一群没有意识的微小振子可以自动趋于同步，这种结果简直不可思议。人们不禁会认为这些振子是在有意识地配合，努力趋于有序，但它们并非如此。每个振子只是机械地响应其他振子发射的脉冲，完全没有目标。
1701062472
1701062473
为了确认我的第一次尝试并非侥幸，我重复模拟了很多次，每次都是随机的初始条件，以及不同的振子数目，但每次都会出现同步。佩斯金的猜想似乎是正确的，我现在面临的挑战是去证明它。只有确凿的证据才能证明同步是必然的，这种证明方法是计算机无法做到的。最好的证明将澄清为什么同步是必然出现的。我请教了我的朋友，波士顿大学的数学家伦尼·米洛罗。
1701062474
1701062475
◎ ◎ ◎
1701062476
1701062477
我和伦尼已经相识10年了，在哈佛大学读研究生的时候，我们周末经常一起出去玩，凌晨两点一边用油腻的勺子吃炸薯条，一边以大致相同的观点谈论数学和女人。但那时我们从未一起工作过。他的研究方向是纯数学，而我是应用数学。我们可以互相理解，但并不能完全理解对方。
1701062478
1701062479
读博期间，伦尼研究了一个非常抽象的问题，希望以这一课题完成博士论文。他的直觉告诉自己某个理论一定是正确的，于是他花了三年时间试图证明它。但有一天，他意识到这个理论是错误的，因为他发现了一个反例可以摧毁一切。一切都已无法挽救。然而，他并没有沮丧，反而切换到数学领域的一个新分支，解决了其中的一个关键问题，完成了论文，所有这一切只用了一年时间。
1701062480
1701062481
1987年前后，我和伦尼开始一起工作。我们二人优势互补，通常由我提出问题，解释其科学背景，进行计算机模拟，提出直观论证。而伦尼会思考解决这个问题的策略，然后找到证明这一理论的方法。
1701062482
1701062483
当我告诉伦尼我对佩斯金的模型进行的计算机实验时，他最初很好奇。在理解了这个问题后，他就变得跃跃欲试起来，就像一位等待走上拳台的拳击手。他给了我几分钟时间来总结我所做的工作，但没过多久，他就坚持要用自己的方法来观察它。
1701062484
1701062485
伦尼毫不留情地简化了模型。对于佩斯金的原始电路模型中原有的电容、电阻、电压这些细节，他完全没有耐心。他猜测，这个模型唯一关键的特征是：每个振子都遵循一个缓慢上升的电压曲线，直至升到阈值，所以他从一开始就利用了这一曲线。他抛弃了电路，取而代之的是一个抽象的、类似于电压的变量，这个变量反复上升到阈值、发射，然后复位。然后他假想了n个完全相同的这种变量的集合，各个变量都像以前一样相互作用：当一个振子发射的时候，会刺激其他振子上升一个固定的数值，达到阈值的就会发射，而后者上升的数值稍小些。
1701062486
1701062487
伦尼的简化模型不仅清晰（减少了大量代数运算），而且适用范围更广。它不再只是电压形式的电气学解释，我们现在可以将变量当作测量任何准备发射的振子，无论是心脏起搏细胞还是蟋蟀，也无论是神经元还是萤火虫。
1701062488
1701062489
我们能够证明，对于任意数量的振子，无论它们如何启动，这个广义的系统几乎总是会达到同步。证明中一个关键的要素是“吸收”的概念，简单来说就是，如果一个振子刺激另一个振子超越了阈值，它们便会永远保持同步，仿佛一个振子吸收了另一个。在我的计算机实验中，吸收是显而易见的，振子会像雨滴一样融合。它们同样也是不可逆的：一旦两个振子一起发射，它们就再也不会自己分开，因为它们的动力学特性完全相同。此外，它们与其他振子的耦合也完全相同，所以即使被其他振子刺激，它们也会保持同步，因为它们受到的刺激是相同的。因此，吸收的作用就像棘轮，总是会把系统推向同步。
1701062490
1701062491
这个证明的核心是，一系列的吸收把振子锁在不断增长的集群中，直到它们最终凝聚成一个庞大的群体。如果你不是数学家，你可能会好奇如何去证明这样的东西。系统有着无穷多的不同的启动方式，如何才能包含所有的可能性？如何确保会发生足够多次的吸收，使系统一路走向最终的同步？
1701062492
1701062493
我会在下文概述原因，不必太担心具体的细节。这里只是想要给你一种如何建立这种证明的意识。现在你所期待的证明并不像你经历过的高中几何证明那样，经常以一种机械、专业的方式出现。完成一个数学证明实际上是一个非常具有创造性的过程，充满了模糊的想法和图景，特别是在证明的初期，而那些严谨的证明后来才会出现。
1701062494
1701062495
◎ ◎ ◎
1701062496
1701062497
第一步是列出所有可能的起始状态。例如，让我们重新考虑两个振子的情形。由于有佩斯金的频闪方法，我们无须在所有时刻都观察振子，观察每个周期中的一个时刻就足矣。我们选择振子A发射后返回零位的时刻，那么振子B可能位于零电位与阈值之间的任意位置。将B的电压视为数轴上的一点，零电位是0，阈值是1，我们可以看到不同的可能性组成了一个线段。这个一维线段包括了系统所有可能的起始条件（因为我们知道A位于0点，刚刚释放回到零位；B的电压是唯一的变量，一定位于0和1之间的线段上的某个位置）。
1701062498
1701062499
3个振子创造了一个更大的概率空间。现在我们需要了解两个数字：鉴于A刚刚释放回到0点，我们仍然需要指定这一刻振子B和C的电压数值，我们要看到这两个概率的分布，即B和C电压的所有组合。与几何学上与一对数字对应相似，我们可以把它们看作二维空间中一个点的横纵坐标。
1701062500
1701062501
我们画出x、y平面，与高中数学类似，x轴为横坐标，代表A发射时B的电压。y轴为纵坐标，代表同一时刻C的电压。一对电压值便可表示为此平面中的一个点。
1701062502
1701062503
因为我们允许B和C的电压可以独立地在0和1之间自由变化（包含所有的可能性），相应的点便在一个正方形区域内移动。正如旋转蚀刻素描(2)上的两个旋钮在正方形屏幕上移动机械笔。
1701062504
1701062505
3个振子的结果是，所有可能的初始条件构成了一个正方形区域：一个轴表示B，另一个表示C。在这里，我们不需要为A建立一个轴，因为A的起始位置总是在0点，通过我们对系统的定义便可以知晓（见图1-2）。
1701062506
1701062507
1701062508