Primitive Recursion without Composition: Dynamical Characterizations, from Neural Networks to Polynomial ODEs

TL;DR

This paper establishes equivalences between recurrent neural networks, polynomial ODEs, and polynomial maps in computing primitive recursive functions, highlighting their structural differences and potential for dynamical complexity analysis.

Contribution

It provides a unified framework linking these models through primitive recursion, revealing how they compensate for each other's limitations and enabling complexity classification.

Findings

Primitive recursive functions can be represented via bounded iteration in all three models.

Polynomial ODEs perform robust continuous-time rounding and phase selection.

ReLU networks provide exact branching, complementing the continuous dynamics.

Abstract

What do recurrent neural networks, polynomial ODEs, and discrete polynomial maps each bring to computation, and what do they lack? All three operate over the continuum--real-valued states evolved by real-valued dynamics--even when the target functions are discrete. We study them through primitive recursion. We prove that primitive recursion admits equivalent characterizations in all three frameworks: bounded iteration of a fixed recurrent ReLU network, robust computation by a fixed polynomial ODE, and iteration of a fixed polynomial map with an externally supplied step-size parameter. In each, the time bound is itself primitive recursive, composition emerges from the dynamics rather than as a closure rule, and inputs are raw integer vectors. Every primitive recursive function is first compiled into bounded iteration of a single threshold-affine normal form, then interpreted as a ReLU computation and as a polynomial ODE. The equivalences expose a structural asymmetry: no fixed polynomial map can round uniformly to the nearest integer or realize exact phase selection--operations polynomial ODEs perform robustly via continuous-time flow. Each formalism compensates for a limitation the others lack: the ReLU gate provides exact branching, continuous time provides autonomous rounding and control, and the step-size parameter recovers both at the cost of discretization precision. This opens dynamical characterizations of subrecursive hierarchies and complexity classes by restricting time bounds, polynomial degrees, or discretization resources within one framework. More broadly, these models do not compute by composing subroutines: they shape the trajectory of a dynamical system through clocks, phase selectors, and error correction built into the dynamics. This differs structurally from symbolic programming, and our theorem gives a precise framework to study the difference.