Publicação
Piecewise rational affine maps, multidimensional generalized shifts, and computation over the real numbers
| datacite.subject.sdg | 04:Educação de Qualidade | |
| datacite.subject.sdg | 09:Indústria, Inovação e Infraestruturas | |
| datacite.subject.sdg | 08:Trabalho Digno e Crescimento Económico | |
| dc.contributor.author | Graça, Daniel | |
| dc.date.accessioned | 2026-09-19T10:24:45Z | |
| dc.date.available | 2026-09-19T10:24:45Z | |
| dc.date.issued | 2026-02 | |
| dc.description.abstract | In this paper we study the computational power of certain classes of dynamical systems defined by the iteration of piecewise rational affine maps on the compact set [0, 1] n as a model of computation over the real numbers. To achieve this aim we use symbolic dynamics to study the dynamics of this class of piecewise rational affine maps and in the process introduce multidimensional generalized shifts, which are an extension of the generalized shift of Moore to higher dimensional spaces. We show that multidimensional generalized shifts are not equivalent (conjugate) to (one-dimensional) generalized shifts. We then establish that computable analysis, which allows to extend computability based on Turing machines to real numbers, is computationally equivalent to multidimensional generalized shifts, both at a computability and at a computational complexity (polynomial time) level. This implies that a certain class of dynamical systems defined by the iteration of rational piecewise affine maps on the unit ball can thus compute any function computable over the real numbers in the computable analysis sense. These results highlight that several distinct models of computation over the real numbers, such as computable analysis, Claude Shannon’s General Purpose Analog Computer, certain classes of piecewise rational affine maps, and the generalized shift, are all computationally equivalent. | eng |
| dc.description.sponsorship | UID/04106/2025; UID/PRR/04106/2025 | |
| dc.identifier.doi | 10.1016/j.jcss.2026.103847 | |
| dc.identifier.issn | 0022-0000 | |
| dc.identifier.uri | http://hdl.handle.net/10400.1/29485 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | |
| dc.publisher | Elsevier | |
| dc.relation.ispartof | Journal of Computer and System Sciences | |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | |
| dc.subject | Analog models of computation | |
| dc.subject | Computation over the real numbers | |
| dc.subject | Piecewise rational affine maps | |
| dc.subject | Computable analysis | |
| dc.subject | Church-Turing thesis | |
| dc.title | Piecewise rational affine maps, multidimensional generalized shifts, and computation over the real numbers | eng |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.citation.startPage | 103847 | |
| oaire.citation.title | Journal of Computer and System Sciences | |
| oaire.citation.volume | 163 | |
| oaire.version | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |
| person.familyName | Graça | |
| person.givenName | Daniel | |
| person.identifier.ciencia-id | 2D11-56DE-3F11 | |
| person.identifier.orcid | 0000-0002-0330-833X | |
| person.identifier.rid | D-2335-2011 | |
| person.identifier.scopus-author-id | 8882791800 | |
| relation.isAuthorOfPublication | ba0c1461-5d2d-4f06-b648-df4a1a505bdf | |
| relation.isAuthorOfPublication.latestForDiscovery | ba0c1461-5d2d-4f06-b648-df4a1a505bdf |