[论文解读] From template analysis to generating partitions II: Characterization of the symbolic encodings

Jérôme Plumecoq, Marc Lefranc|ArXiv.org|Jul 22, 1999

Chaos control and synchronization参考文献 23被引用 20

一句话总结

本文提出了一种鲁棒的拓扑方法，用于通过模板分析和符号动力学在混沌系统中构建生成划分。通过利用不稳定周期轨道及其拓扑不变量，该算法系统地构建了动态一致且符号最少的编码，并通过高精度度量熵估计和与基于同宿横截性的方法的直接比较，验证了其在实时应用中的准确性和实用性。

ABSTRACT

We give numerical evidence of the validity of a previously described algorithm for constructing symbolic encodings of chaotic attractors from a template analysis. We verify that the different solutions that can be found are dynamically equivalent, and that our approach yields results that are consistent with those obtained from methods based on homoclinic tangencies. This is further confirmed by verifying directly that the computed partitions are generating to a high degree of accuracy, and that they can be used to estimate precisely the metric entropy. It is also shown that the correct number of symbols needed to describe the dynamics is naturally provided, and that a compact parameterization of a partition can easily be determined, which makes our algorithm suitable for applications such as real-time encoding.

研究动机与目标

• 验证从模板分析中导出的符号编码在混沌吸引子中的一致性和动力等价性。
• 证明该算法能够可靠地确定描述混沌系统动力学所需的最少符号数量。
• 通过精确的度量熵估计，确认所构建划分的生成性质。
• 与基于同宿横截性的方法进行比较，建立等价性并确定误差范围。
• 通过提供紧凑的参数化划分表示，实现实际的实时符号编码。

提出的方法

• 该算法使用模板分析，从三维流的混沌吸引子中提取不稳定周期轨道（UPOs）的拓扑不变量。
• 基于其与分支流形（模板）上轨道的拓扑等价性，为UPOs分配符号名称，保留纽结理论不变量。
• 通过使用参考点（周期轨道）对区域进行参数化来构建划分，每个轨迹段通过其在截面平面上最近的参考点的符号进行编码。
• 通过插入更高周期轨道，迭代地改进初始划分（例如，来自周期-1、2和4轨道的划分），同时保持拓扑一致性。
• 通过选择最少数量的参考点，实现紧凑的参数化，从而实现高效的实时编码。
• 通过估计度量熵并确认其收敛到理论值（精度为10−4）来验证生成性质。

实验结果

研究问题

• RQ1 无论初始划分的选择如何，从模板分析中导出的符号编码是否都能产生动力等价的划分？
• RQ2 该算法是否能正确识别描述混沌系统动力学所需的最少符号数量？
• RQ3 通过精确的度量熵估计，所构建的划分是否具有生成性质？
• RQ4 与基于同宿横截性的方法相比，其在划分几何结构和精度方面表现如何？
• RQ5 该算法能否生成一种紧凑的、适用于信号编码应用的实时可实现的划分参数化？

主要发现

• 由不同初始低周期轨道集合导出的划分被证明具有拓扑等价性，彼此互为像或原像，确认了内部一致性。
• 该算法正确识别出调制激光和Duffing吸引子均为三符号动力学，与底层模板的分支数完全一致。
• 与基于同宿横截性的方法的直接比较表明，主同宿横截线位于划分边界内，精度达10−4，证实了等价性。
• 从符号编码中估计的度量熵与理论值高度一致，提供了强有力的证据，表明这些划分具有生成性质。
• 该方法自然地确定了正确的符号数量，恰好等于模板分支数，消除了符号语法中的歧义。
• 使用周期参考点的紧凑参数化使得高效实时编码成为可能，因为最近参考点可快速计算，适用于信号传输。