[论文解读] Braidlab: A Software Package for Braids and Loops

Jean‐Luc Thiffeault, Marko Budišić|arXiv (Cornell University)|Oct 2, 2014

Geometric and Algebraic Topology参考文献 32被引用 14

一句话总结

braidlab 是一个 MATLAB 软件包，利用代数和几何辫子理论对辫子和简单闭合环路进行拓扑分析。它通过辫子迭代下环路坐标的增长来计算拓ological熵，并引入了新的观察结果，例如辫子在环路空间上的有效线性作用中的极限环。

ABSTRACT

Braidlab is a Matlab package for analyzing data using braids. It was designed to be fast, so it can be used on relatively large problems. It uses the object-oriented features of Matlab to provide a class for braids on punctured disks and a class for equivalence classes of simple closed loops. The growth of loops under iterated action by braids is used to compute the topological entropy of braids, as well as for determining the equality of braids. This guide is a survey of the main capabilities of braidlab, with many examples; the help messages of the various commands provide more details. Some of the examples contain novel observations, such as the existence of cycles of the linear effective action for arbitrary braids.

研究动机与目标

• 为动力系统中的辫子和环路分析提供一个高性能、面向对象的 MATLAB 工具包。
• 通过辫子迭代下环路坐标的增长率，实现拓扑熵的计算。
• 通过代数和几何不变量，支持辫子等价性和复杂性的研究。
• 为通过辫子表示分析二维动力系统中的周期轨道，提供一个可扩展、可扩展的框架。
• 促进检测辫子在环路空间上的线性作用中的拓扑结构，例如极限环。

提出的方法

• 使用面向对象的 MATLAB 类来表示带 punctured disk 上的辫子以及简单闭合环路的等价类。
• 采用列车轨道映射和转移矩阵，通过转移矩阵的谱半径计算辫子的拓扑熵。
• 应用辫子在环路坐标上的有效线性作用，以检测动力学复杂性和循环结构。
• 通过将粒子轨迹数据投影到一条直线上，并检测相邻交换作为生成元，来构建辫子。
• 对性能关键的操作（如辫子构建和环路变换）实现基于 MEX 的 C++ 代码。
• 同时支持代数辫子表示（通过生成元 σi）和几何数据输入（通过 databraid 类），并允许自定义投影直线。

实验结果

研究问题

• RQ1 如何通过辫子迭代下环路增长，高效计算辫子的拓扑熵？
• RQ2 辫子在环路坐标上的有效线性作用的结构是什么？该作用中是否存在极限环？
• RQ3 如何系统地将二维动力系统中的粒子轨迹转换为代数辫子表示？
• RQ4 可以使用哪些不变量和表示方法来确定辫子等价性和复杂性？
• RQ5 braidlab 软件包在哪些方面可以扩展或适配，以分析现实世界中的动力系统（如焦糖拉伸器）？

主要发现

• 该软件成功通过从列车轨道映射导出的转移矩阵的谱半径，计算了辫子的拓扑熵。
• 辫子在环路坐标上的有效线性作用对任意辫子均表现出极限环，这一新发现已通过计算实验得到验证。
• 由于采用了基于 C++ 的优化 MEX 实现，braidlab 能够高效处理大规模辫子问题。
• 该软件包支持通过自定义投影直线和闭合强制机制，灵活构建辫子。
• databraid 类能够即使在非标准配置下，也实现粒子轨道数据到辫子表示的稳健转换。
• 全局调试和配置标志（例如 BRAIDLAB_debuglvl、BRAIDLAB_nomex）允许用户诊断并自定义性能和行为。