[论文解读] Cyclic network automata and cohomological waves

Yiqing Cai, Robert Ghrist|arXiv (Cornell University)|Apr 15, 2014

Cellular Automata and Applications参考文献 23被引用 1

一句话总结

本文提出循环网络自动机（CNA）作为一种去中心化的动态传感器覆盖协议，利用由拓扑缺陷产生的拓扑波模式，无需中心协调即可解决追逃问题。关键贡献在于对脉冲波的上同调分类，使得可通过诸如卷绕数等拓扑不变量‘编程’传感器网络的动力学。

ABSTRACT

Following Baryshnikov-Coffman-Kwak, we use cyclic network automata (CNA) to generate a decentralized protocol for dynamic coverage problems in a sensor network, with only a small fraction of sensors awake at every moment. This paper gives a rigorous analysis of CNA and shows that waves of awake-state nodes automatically solve pusuit/evasion-type problems without centralized coordination. As a corollary of this work, we unearth some interesting topological interpretations of features previously observed in cyclic cellular automata (CCA). By considering CCA over networks and completing to simplicial complexes, we induce dynamics on the higher-dimensional complex. In this setting, waves are seen to be generated by topological defects with a nontrivial degree (or winding number). The simplicial complex has the topological type of the underlying map of the workspace (a subset of the plane), and the resulting waves can be classified cohomologically. This allows one to 'program' pulses in the sensor network according to cohomology class. We give a realization theorem for such pulse waves.

研究动机与目标

• 开发一种仅在任意时刻激活少量传感器的去中心化协议，用于动态传感器网络覆盖。
• 严格分析循环网络自动机（CNA），并证明其无需中心协调即可解决追逃问题的能力。
• 通过将其扩展至单纯复形，揭示循环细胞自动机（CCA）中特征的拓扑解释。
• 建立一个上同调框架，用于对传感器网络中的脉冲波进行分类与编程。
• 基于上同调类，证明脉冲波的实现定理。

提出的方法

• 将传感器网络建模为图，并应用循环网络自动机（CNA）在节点间传播唤醒状态波。
• 将CNA动力学从图扩展到由底层平面工作空间构建的单纯复形，以实现更高维度的拓扑分析。
• 将波的生成与复形中非平凡度（卷绕数）的拓扑缺陷相关联。
• 使用上同调理论根据其拓扑不变量对波进行分类，将动力学与代数拓扑相联系。
• 构建一个实现定理，表明任何上同调类均可在该网络中实现为脉冲波。
• 分析单纯复形上的动力学，表明波可自然地从拓扑缺陷中产生，而无需显式编程。

实验结果

研究问题

• RQ1 如何利用循环网络自动机在仅激活少量传感器的条件下实现传感器网络的去中心化动态覆盖？
• RQ2 在网络上的循环细胞自动机中，波模式自发涌现的拓扑特征是什么？
• RQ3 如何利用上同调类对传感器网络中的脉冲波进行分类与控制？
• RQ4 具有非平凡卷绕数的拓扑缺陷在波生成中起什么作用？
• RQ5 是否可以通过CNA将任意上同调类实现为传感器网络中的稳定脉冲波？

主要发现

• 循环网络自动机生成自组织的唤醒状态节点波，无需中心控制即可解决追逃问题。
• CNA中的波由具有非平凡卷绕数的缺陷拓扑生成，为波的形成提供了几何解释。
• 由平面工作空间诱导的单纯复形与底层环境具有相同的拓扑类型，保留了空间结构。
• 网络中的脉冲波可依据上同调类进行分类与编程，从而实现对网络动力学的拓扑控制。
• 建立了实现定理，证明任意上同调类均对应于网络中可实现的脉冲波。