计算Conley指数理论中指标对的高效自动化
动力系统
2023-05-26 v2
摘要
我们提出了自动化构造指标对的新方法，指标对是离散Conley指数理论的基本要素。这些新算法是朝着自动化计算机辅助证明从流形上的映射到有限型子转移的半共轭方向迈出的进一步步骤。我们将这些新算法应用于不同扰动参数{\epsilon}值的标准映射，并为{\epsilon}在[.7, 2]范围内的拓扑熵获得了严格的下界。
引用
@article{arxiv.1008.3918,
title = {Efficient automation of index pairs in computational Conley index theory},
author = {Rafael M. Frongillo and Rodrigo Treviño},
journal= {arXiv preprint arXiv:1008.3918},
year = {2023}
}