Emergence of universal computations through neural manifold dynamics

There is growing evidence that many forms of neural computation may be implemented by low-dimensional dynamics unfolding at the population scale. However, neither the connectivity structure nor the general capabilities of these embedded dynamical processes are currently understood. In this work, the two most common formalisms of firing-rate models are evaluated using tools from analysis, topology and nonlinear dynamics in order to provide plausible explanations for these problems. It is shown that low-rank structured connectivity predicts the formation of invariant and globally attracting manifolds in both formalisms, which generalizes existing theories to different neural models. Regarding the dynamics arising in these manifolds, it is proved they are topologically equivalent across the considered formalisms. It is also stated that under the low-rank hypothesis, dynamics emerging in neural models are universal. These include input-driven systems, which broadens previous findings. It is then explored how low-dimensional orbits can bear the production of continuous sets of muscular trajectories, the implementation of central pattern generators and the storage of memory states. It is also proved these dynamics can robustly simulate any Turing machine over arbitrary bounded memory strings, virtually endowing rate models with the power of universal computation. In addition, it is shown how the low-rank hypothesis predicts the parsimonious correlation structure observed in cortical activity. Finally, it is discussed how this theory could provide a useful tool from which to study neuropsychological phenomena using mathematical methods.