[论文解读] Phase synchronization of pulse-coupled excitable clocks

Hanbaek Lyu|arXiv (Cornell University)|Apr 28, 2016

Nonlinear Dynamics and Pattern Formation参考文献 53被引用 4

一句话总结

该论文提出了一种新颖的抑制性脉冲耦合机制，用于树状网络中振子的相位同步，通过局部事件触发的交互实现，无需全局协调。证明了在最大度数 ≤3 且直径为 $d$ 的树上，任意初始相位配置均可在最多 $24d$ 时间内实现同步，并将该方法扩展至一般有限树，实现同步时间 $51d$，从而构建了一个通用的自稳定时钟同步算法，每个节点仅需 $O(\log \Delta)$ 内存，期望时间复杂度为 $O(d^{O(1)} + |V|)$。

ABSTRACT

Consider a distributed network on a simple graph $G=(V,E)$ where each node has a phase oscillator revolving on $S^{1}=\mathbb{R}/\mathbb{Z}$ with unit speed. Pulse-coupling is a class of distributed time evolution rule for such networked clock system inspired by biological oscillators, where local interactions between neighboring nodes are event-triggered and do not depend on any kind of global information. In this paper, we propose a novel inhibitory pulse-coupling and prove that arbitrary phase configuration on any tree with maximum degree at most 3 and diameter $d$ synchronizes in at most $24d$ time. We extend this pulse-coupling by making each oscillator adjust its phase response curve depending on local events, and show that arbitrary initial configuration on any finite tree with diameter $d$ synchronizes in at most $51d$ time. As an application, we obtain a universal Las Vegas self-stabilizing distributed phase clock synchronization algorithm, using $O(\log \Delta)$ memory per node with $O(d^{O(1)}+|V|)$ expected time complexity, where $d$ and $\Delta$ denote the diameter and the maximum degree of $G$, respectively.

研究动机与目标

• 设计一种无需依赖全局信息的分布式、自稳定相位时钟同步算法，适用于网络化振子。
• 在新型抑制性脉冲耦合规则下，证明最大度数 ≤3 的树形网络在有界时间内实现同步。
• 通过基于局部事件的相位响应曲线自适应调整，将同步保证扩展至任意有限树。
• 在确保快速收敛和跨网络拓扑普遍适用性的前提下，最小化每个节点的内存使用量。

提出的方法

• 提出一种新颖的抑制性脉冲耦合规则，其中相位更新由局部事件触发，且仅依赖于邻近振子的状态。
• 采用基于局部交互历史动态调整的相位响应曲线，以改善收敛特性。
• 使用图 $G = (V,E)$ 上的离散事件动力学分析系统，每个节点在 $S^1 = \mathbb{R}/\mathbb{Z}$ 上以单位速度演化。
• 基于树的直径 $d$ 进行时间边界分析，推导出同步保证为 $24d$ 和 $51d$ 个时间单位。
• 构建一个拉斯维加斯算法，以高概率保证正确同步，且每个节点仅使用 $O(\log \Delta)$ 内存。

实验结果

研究问题

• RQ1 是否存在一种分布式、事件触发的脉冲耦合机制，可在无全局协调的情况下实现树状网络的相位同步？
• RQ2 在最大度数 ≤3 的树上，所提出的抑制性脉冲耦合规则下，同步所需的最长时间是多少？
• RQ3 如何通过局部自适应调整相位响应曲线，将同步保证扩展至任意有限树？
• RQ4 在该类系统中，实现通用自稳定相位同步的每个节点最小内存需求是多少？

主要发现

• 对于最大度数不超过 3、直径为 $d$ 的树，任意初始相位配置均可在 $24d$ 时间内保证同步。
• 扩展后的脉冲耦合机制确保任意有限树的同步时间不超过 $51d$，与最大度数无关。
• 构建了一个通用的拉斯维加斯自稳定算法，每个节点仅需 $O(\log \Delta)$ 内存，期望时间复杂度为 $O(d^{O(1)} + |V|)$。
• 该算法对任意初始配置具有鲁棒性，且完全通过局部交互运行，无需全局同步信号。