Efficient automation of index pairs in computational Conley index theory
Dynamical Systems
2023-05-26 v2
Abstract
We present new methods of automating the construction of index pairs, essential ingredients of discrete Conley index theory. These new algorithms are further steps in the direction of automating computer-assisted proofs of semi-conjugacies from a map on a manifold to a subshift of finite type. We apply these new algorithms to the standard map at different values of the perturbative parameter {\epsilon} and obtain rigorous lower bounds for its topological entropy for {\epsilon} in [.7, 2].
Keywords
Cite
@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}
}