Generic and Isometric Embeddings in Reservoir Computers

We prove that a generic reservoir system admits a generalized synchronization that is a topological embedding of the input system's attractor. We also prove that for sufficiently high reservoir dimension (given by Nash's embedding theorem) there exists an isometric embedding generalized synchronization. The isometric embedding can be constructed explicitly when the reservoir system and source dynamics are linear.