Abstract:Models of computations over the integers are equivalent from a computability and complexity theory point of view by the Church-Turing thesis. It is not possible to unify discrete-time models over the reals. The situation is unclear but simpler for continuous-time models, as there is a unifying mathematical model provided by ordinary differential equations (ODEs). For example, the GPAC model of Shannon is known to correspond to polynomial ODEs. However, the question of a robust complexity theory for such models and its relations to classical (discrete) computation theory is an old problem. There was some recent significant progress: it has been proved that (classical) time complexity corresponds to the length of the involved curves. The question of whether there is a simple and robust way to measure space complexity remains. We argue that space complexity corresponds to precision and conversely. We propose and prove an algebraic characterisation of FPSPACE, using continuous ODEs. Recent papers proposed algebraic characterisations of polynomial-time and -space complexity classes over the reals, but with a discrete-time: those algebras rely on discrete ODE schemes. Here, we use classical (continuous) ODEs, with the classic definition of derivation and hence with the more natural context of continuous-time associated with ODEs. We characterise both the case of polynomial space functions over the integers and the reals. We prove that Turing machines, with a proper representation of real numbers, can be simulated by continuous ODEs and not just discrete ODEs. A major consequence is that the associated space complexity is provably related to the numerical stability of involved schemas and the associated required precision. We obtain that a problem can be solved in polynomial space if and only if it can be simulated by some numerically stable ODE, using a polynomial precision.

A computing machinery using a continuous memory tape

Memcomputing NP-complete problems in polynomial time using polynomial resources and collective states

Efficient Solution of Boolean Satisfiability Problems with Digital MemComputing

A Programmable Approach to Evaluate Ramanujan Sums

Implementation of digital MemComputing using standard electronic components

The complexity of computing in continuous time: space complexity is precision

A Polynomial Time Algorithm for Calculating Fourier-Dedekind Sums

Quantitative Coding and Complexity Theory of Continuous Data

In‐Memory Mathematical Operations with Spin‐Orbit Torque Devices

Time-domain computing for Boolean logic using STT-MRAM

A Variation-Tolerant Continuous-Time Ising Machine with Edram-Based Spin Interaction and Leaked Negative Feedback Annealing

Superior Memory Efficiency of Quantum Devices for the Simulation of Continuous-Time Stochastic Processes

Occam's Vorpal Quantum Razor: Memory Reduction when Simulating Continuous-Time Stochastic Processes with Quantum Devices

The Synthesis of Complex Arithmetic Computation on Stochastic Bit Streams Using Sequential Logic

Continuous and monotone machines

A Continuous Time Dynamical Turing Machine

Memcomputing with membrane memcapacitive systems

Representation Theory of Compact Metric Spaces and Computational Complexity of Continuous Data

Threshold Logic Computing: Memristive-CMOS Circuits for Fast Fourier Transform and Vedic Multiplication

Hardware implementation of digital memcomputing on small-size FPGAs