Abstract:We initiate a line of investigation into biological neural networks from an algorithmic perspective. We develop a simplified but biologically plausible model for distributed computation in stochastic spiking neural networks and study tradeoffs between computation time and network complexity in this model. Our aim is to abstract real neural networks in a way that, while not capturing all interesting features, preserves high-level behavior and allows us to make biologically relevant conclusions. In this paper, we focus on the important `winner-take-all' (WTA) problem, which is analogous to a neural leader election unit: a network consisting of $n$ input neurons and $n$ corresponding output neurons must converge to a state in which a single output corresponding to a firing input (the `winner') fires, while all other outputs remain silent. Neural circuits for WTA rely on inhibitory neurons, which suppress the activity of competing outputs and drive the network towards a converged state with a single firing winner. We attempt to understand how the number of inhibitors used affects network convergence time. We show that it is possible to significantly outperform naive WTA constructions through a more refined use of inhibition, solving the problem in $O(\theta)$ rounds in expectation with just $O(\log^{1/\theta} n)$ inhibitors for any $\theta$. An alternative construction gives convergence in $O(\log^{1/\theta} n)$ rounds with $O(\theta)$ inhibitors. We compliment these upper bounds with our main technical contribution, a nearly matching lower bound for networks using $\ge \log\log n$ inhibitors. Our lower bound uses familiar indistinguishability and locality arguments from distributed computing theory. It lets us derive a number of interesting conclusions about the structure of any network solving WTA with good probability, and the use of randomness and inhibition within such a network.

Convergence in Discrete-Time Neural Networks with Specific Performance.

Convergence Analysis of General Neural Networks under Almost Periodic Stimuli

Convergent dynamics analysis of neural networks: A decomposition approach

Stability analysis for neural dynamics with time-varying delays.

Convergence dynamics of stochastic Cohen-Grossberg neural networks with unbounded distributed delays

A Note on Exponential Convergence of Neural Networks with Unbounded Distributed Delays

Analysis of discrete time competitive-cooperative neural networks

Convergence Analysis of Signed Nonlinear Networks

Global Convergence of Delayed Neural Network Systems.

Convergence Enhancement for Neural Network Integrated Power System Time Domain Simulation

Analysis of Cyclic Dynamics for Networks of Linear Threshold Neurons.

Exponential Synchronization of Discrete-Time Chaotic Delayed Neural Networks

New Necessary and Sufficient Conditions for Absolute Stability of Neural Networks

Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels

A Convergence Theory Towards Practical Over-parameterized Deep Neural Networks

Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All Networks

Dynamical Convergence Tiajectory In Networks

Convergence Rate of Consensus in a Network of Networks

Exponential Convergence Estimates for Analog Neural Networks with Multiple Delays

Global Exponential Convergence Analysis of Delayed Neural Networks with Time-Varying Delays

On the Stability and Convergence of Physics Informed Neural Networks