Complexity of deep computations via topology of function spaces

Source: arxiv.org/abs/2601.00528

Eduardo Dueñez, José Iovino, Tonatiuh Matos-Wiederhold, Luciano Salvetti, Franklin D. Tall

arXivarxiv/2601.00528Jan 2, 2026math.LOscore 0

We bring Shelah's theory of independence and Todorčević's classification of Rosenthal compacta to bear on limits of computations beyond the continuous case. The first paper of this series characterized computability through continuous extendibility in a framework for floating-point computation. Limits of continuous computations may nevertheless be discontinuous, as familiar iterative algorithms demonstrate. We identify the regime in which these limits remain of the first Baire class and apply its structure theory to classify their complexity. For countably many real-valued features, and…

JSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2601.00528
curl -X POST /api/v1/records/arxiv/2601.00528/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.00528/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'