Formalising the role of behaviour in neuroscience

Steven T. Piantadosi,Charles R. Gallistel
DOI: https://doi.org/10.1111/ejn.16372
IF: 3.698
2024-06-12
European Journal of Neuroscience
Abstract:We develop a mathematical framework for converting the space of all possible behaviours (left) into a representational theory (right, in this case, a map) that is necessarily represented neurally. Our approach formalises the notion of representation and uses only observed behaviour to formally infer structural relationships between representations. We develop a mathematical approach to formally proving that certain neural computations and representations exist based on patterns observed in an organism's behaviour. To illustrate, we provide a simple set of conditions under which an ant's ability to determine how far it is from its nest would logically imply neural structures isomorphic to the natural numbers N . We generalise these results to arbitrary behaviours and representations and show what mathematical characterisation of neural computation and representation is simplest while being maximally predictive of behaviour. We develop this framework in detail using a path integration example, where an organism's ability to search for its nest in the correct location implies representational structures isomorphic to two‐dimensional coordinates under addition. We also study a system for processing anbn strings common in comparative work. Our approach provides an objective way to determine what theory of a physical system is best, addressing a fundamental challenge in neuroscientific inference. These results motivate considering which neurobiological structures have the requisite formal structure and are otherwise physically plausible given relevant physical considerations such as generalisability, information density, thermodynamic stability and energetic cost.
neurosciences
What problem does this paper attempt to address?