{"id":"arxiv/2601.09973","url":"https://arxiv.org/abs/2601.09973","tags":["cs.CC","math.DS"],"score":0,"title":"Correspondences in computational and dynamical complexity II: forcing complex reductions","domain":"cs.CC","source":"arxiv","authors":["Samuel Everett"],"reviews":0,"subject":"cs.CC","summary":"An algebraic telic problem is a decision problem in $\\textsf{NP}_\\mathbb{R}$ formalizing finite-time reachability questions for one-dimensional dynamical systems. We prove that the existence of \"natural\" mapping reductions between algebraic telic problems coming from distinct dynamical systems implies the two dynamical systems exhibit similar behavior (in a precise sense). As a consequence, we obtain explicit barriers for algorithms solving algebraic telic problems coming from complex dynamical systems, such as those with positive topological entropy. For example, some telic problems cannot…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-01-15","reactions":{}}