arXiv subjects

Rodrigo Pena

Publications and source records attributed to Rodrigo Pena.

6 recordsLinked to original sources

arXiv2026

Petri Net Description of Biological Neural Circuits for Fast Hardware Prototyping

Current approaches to simulating biological neural circuits, whether on general-purpose hardware or dedicated neuromorphic platforms, remain constrained by fixed-timestep numerical integration, hardware-imposed precision limits, and an inability to guarantee timing correctness for event-driven spiking dynamics under real-time constraints. Here, we propose a Petri net description of biological neural circuits that overcomes these limitations by modeling neurons, synapses, and spike events as a T-timed Petri net with formally verifiable timing semantics, enabling deadline-guaranteed real-time execution and analytically tractable correspondence to continuous-time leak-integrate-and-fire dynamics, independent of the underlying integration timestep. To test the model, we present the results of three simulated microcircuits: feedback inhibition, lateral inhibition, and hierarchical feature detector. The Petri neuron reproduces the expected dynamical signatures of each circuit while providing formally bounded timing guarantees throughout, with worst-case response times matching analytical predictions across all three cases.

cs.NE↗

arXiv2026

The effect of the excitatory feedback in anticipated synchronization and phase bistability regimes in neuronal populations

Anticipated synchronization (AS), in which the receiver leads the sender and the phase lag is negative, can emerge in unidirectionally coupled dynamical systems when the receiver has faster internal dynamics than the sender. In cortical-like population models, AS and bistability between AS and delayed synchronization (DS) have been reported mainly in unidirectional motifs and have been proposed as possible explanations for phase relations observed in electrophysiological recordings. Because cortical areas are often connected bidirectionally, it is important to understand how excitatory feedback from the receiver to the sender affects the emergence and persistence of anticipatory synchronization and phase-bistable regimes. Here, we investigate the effect of the excitatory feedback on the phase relations between two cortical-like neuronal populations. We show that AS and phase bistability are not restricted to strictly unidirectional architectures, but remain robust in the presence of reciprocal coupling. In addition, we find that the transition from AS to DS can occur through different routes within the same motif, either via a bistable regime or via zero-lag synchronization, depending on the inhibitory coupling. More generally, the model exhibits a rich repertoire of phase relations, including: positive, negative, and zero-lag phase-lockings, as well as phase bistability, and phase-drift regimes. These results are consistent with the diversity of phase relations reported in electrophysiological experiments and suggest that fixed structural connectivity may support rapid reconfiguration of functional dynamics without requiring structural rewiring.

q-bio.NC↗

arXiv2026

A Mathematical Theory of Agency and Intelligence

To operate reliably under changing conditions, complex systems require feedback on how effectively they use resources, not just whether objectives are met. Current AI systems process vast information to produce sophisticated predictions, yet predictions can appear successful while the underlying interaction with the environment degrades. What is missing is a principled measure of how much of the total information a system deploys is actually shared between its observations, actions, and outcomes. We prove this shared fraction, which we term bipredictability, P, is intrinsic to any interaction, derivable from first principles, and strictly bounded: P can reach unity in quantum systems, P equal to, or smaller than 0.5 in classical systems, and lower once agency (action selection) is introduced. We confirm these bounds in a physical system (double pendulum), reinforcement learning agents, and multi turn LLM conversations. These results distinguish agency from intelligence: agency is the capacity to act on predictions, whereas intelligence additionally requires learning from interaction, self-monitoring of its learning effectiveness, and adapting the scope of observations, actions, and outcomes to restore effective learning. By this definition, current AI systems achieve agency but not intelligence. Inspired by thalamocortical regulation in biological systems, we demonstrate a feedback architecture that monitors P in real time, establishing a prerequisite for adaptive, resilient AI.

cs.AI↗

arXiv2025

A Single-Equation Approach to Classifying Neuronal Operational Modes

The neural coding is yet to be discovered. The neuronal operational modes that arise with fixed inputs but with varying degrees of stimulation help to elucidate their coding properties. In neurons receiving {\it in vivo} stimulation, we show that two operation modes can be described with simplified models: the coincidence detection mode and the integration mode. Our derivations include a simplified polynomial model with non-linear coefficients ($\beta_i$) that capture the subthreshold dynamics of these modes of operation. The resulting model can explain these transitions with the sign and size of the smallest nonlinear coefficient of the polynomial alone. Defining neuronal operational modes provides insight into the processing and transmission of information through electrical currents. Requisite operational modes for proper neuronal functioning may explain disorders involving dysfunction of electrophysiological behavior, such as channelopathies.

q-bio.NC↗

arXiv2018

Self-sustained activity of low firing rate in balanced networks

Self-sustained activity in the brain is observed in the absence of external stimuli and contributes to signal propagation, neural coding, and dynamic stability. It also plays an important role in cognitive processes. In this work, by means of studying intracellular recordings from CA1 neurons in rats and results from numerical simulations, we demonstrate that self-sustained activity presents high variability of patterns, such as low neural firing rates and activity in the form of small-bursts in distinct neurons. In our numerical simulations, we consider random networks composed of coupled, adaptive exponential integrate-and-fire neurons. The neural dynamics in the random networks simulate regular spiking (excitatory) and fast-spiking (inhibitory) neurons. We show that both the connection probability and network size are fundamental properties that give rise to self-sustained activity in qualitative agreement with our experimental results. Finally, we provide a more detailed description of the self-sustained activity in terms of lifetime distributions, synaptic conductances, and synaptic currents.

q-bio.NC↗

arXiv2016

Source Localization on Graphs via l1 Recovery and Spectral Graph Theory

We cast the problem of source localization on graphs as the simultaneous problem of sparse recovery and diffusion kernel learning. An l1 regularization term enforces the sparsity constraint while we recover the sources of diffusion from a single snapshot of the diffusion process. The diffusion kernel is estimated by assuming the process to be as generic as the standard heat diffusion. We show with synthetic data that we can concomitantly learn the diffusion kernel and the sources, given an estimated initialization. We validate our model with cholera mortality and atmospheric tracer diffusion data, showing also that the accuracy of the solution depends on the construction of the graph from the data points.

cs.LG↗