Open sub-categorical dynamics in interaction

Stéphane Dugowson

DOI: https://doi.org/10.48550/arXiv.1508.02059

2015-08-10

Abstract:The aim of this paper is to define what we call open sub-categorical dynamics, their interactions and the sub-categorical dynamics produced by those interactions, thanks to the stability theorem we prove here and which motivates all this study.

Dynamical Systems

What problem does this paper attempt to address?

Double Categories of Open Dynamical Systems (Extended Abstract)

David Jaz Myers

DOI: https://doi.org/10.4204/EPTCS.333.11

2021-02-04

Abstract:A (closed) dynamical system is a notion of how things can be, together with a notion of how they may change given how they are. The idea and mathematics of closed dynamical systems has proven incredibly useful in those sciences that can isolate their object of study from its environment. But many changing situations in the world cannot be meaningfully isolated from their environment - a cell will die if it is removed from everything beyond its walls. To study systems that interact with their environment, and to design such systems in a modular way, we need a robust theory of open dynamical systems. In this extended abstract, we put forward a general definition of open dynamical system. We define two general sorts of morphisms between these systems: covariant morphisms which include trajectories, steady states, and periodic orbits; and contravariant morphisms which allow for plugging variables of some systems into parameters of other systems. We define an indexed double category of open dynamical systems indexed by their interface and use a double Grothendieck construction to construct a double category of open dynamical systems. In our main theorem, we construct covariantly representable indexed double functors from the indexed double category of dynamical systems to an indexed double category of spans. This shows that all covariantly representable structures of dynamical systems - including trajectories, steady states, and periodic orbits - compose according to the laws of matrix arithmetic.

Category Theory,Dynamical Systems
Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing

Toby St. Clere Smithe

DOI: https://doi.org/10.4204/EPTCS.380.18

2023-07-31

Abstract:We present categories of open dynamical systems with general time evolution as categories of coalgebras opindexed by polynomial interfaces, and show how this extends the coalgebraic framework to capture common scientific applications such as ordinary differential equations, open Markov processes, and random dynamical systems. We then extend Spivak's operad Org to this setting, and construct associated monoidal categories whose morphisms represent hierarchical open systems; when their interfaces are simple, these categories supply canonical comonoid structures. We exemplify these constructions using the 'Laplace doctrine', which provides dynamical semantics for active inference, and indicate some connections to Bayesian inversion and coalgebraic logic.

Category Theory,Logic in Computer Science,Dynamical Systems
A Lax Functorial Definition of Open Dynamics

Stéphane Dugowson

DOI: https://doi.org/10.48550/arXiv.1805.11369

2018-05-29

Dynamical Systems

Abstract:This paper provides a rewording in the language of lax-functors of the definition of open dynamics given in our systemic theory of interactivity exposed in previous papers.
Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets

Brandon T. Shapiro,David I. Spivak

DOI: https://doi.org/10.4204/EPTCS.380.11

2023-07-31

Abstract:Natural organized systems adapt to internal and external pressures and this happens at all levels of the abstraction hierarchy. Wanting to think clearly about this idea motivates our paper, and so the idea is elaborated extensively in the introduction, which should be broadly accessible to a philosophically-interested audience. In the remaining sections, we turn to more compressed category theory. We define the monoidal double category Org of dynamic organizations, we provide definitions of Org-enriched, or dynamic, categorical structures -- e.g. dynamic categories, operads, and monoidal categories -- and we show how they instantiate the motivating philosophical ideas. We give two examples of dynamic categorical structures: prediction markets as a dynamic operad and deep learning as a dynamic monoidal category.

Category Theory,Machine Learning,Multiagent Systems,Dynamical Systems
Subdynamics in Knowledge-Based Systems

l leydesdorff

DOI: https://doi.org/10.1007/978-3-030-59951-5_9

2021-01-01

Abstract:Abstract Using a set of six equations, I propose to model “interactions,” the “organization of meaning,” and “self-organization” as three coordination mechanisms among expectations; three further equations can be derived to operationalize “double contingency,” “identity,” and “reflection.” One can expect that the subdynamics update one another in co-evolutions as feedbacks and feed-forwards. Interfaces among two (sub)dynamics can be expected to operate with time differences (At). Interactions among horizontal and vertical time differences can generate hyper-incursivity in interhuman communications. Hyper-incursion enables us to reconstruct expectations. The social system is probably the only system which can be expected to carry “strong” anticipation while being reproduced as expectations. A system of expectations is not alive, is not constrained by a life-cycle, and does not need to “exist” otherwise than as expectations. The dynamics against the arrow of time are “cultural”: they rest on codes as the pillars of discursive knowledge driven upward into horizons of meaning.
$C^1$-generic dynamics: tame and wild behaviour

Christian Bonatti

DOI: https://doi.org/10.48550/arXiv.math/0304451

2003-04-29

Abstract:This paper gives a survey of recent results on the maximal transitive sets of $C^1$-generic diffeomorphisms.

Dynamical Systems
Dynamical systems defined on simplicial complexes: symmetries, conjugacies, and invariant subspaces

Eddie Nijholt,Lee DeVille

DOI: https://doi.org/10.1063/5.0093842

2022-04-18

Abstract:We consider the general model for dynamical systems defined on a simplicial complex. We describe the conjugacy classes of these systems and show how symmetries in a given simplicial complex manifest in the dynamics defined thereon, especially with regard to invariant subspaces in the dynamics.

Dynamical Systems,Algebraic Topology,Classical Analysis and ODEs,Chaotic Dynamics
When Are All Closed Subsets Recurrent?

Jie Li,Piotr Oprocha,Xiangdong Ye,Ruifeng Zhang

DOI: https://doi.org/10.1017/etds.2016.5

2016-01-01

Ergodic Theory and Dynamical Systems

Abstract:In the paper we study relations of rigidity, equicontinuity and pointwise recurrence between an invertible topological dynamical system (t.d.s.)$(X,T)$and the t.d.s. $(K(X),T_{K})$induced on the hyperspace$K(X)$of all compact subsets of$X$, and provide some characterizations. Among other examples, we construct a minimal, non-equicontinuous, distal and uniformly rigid t.d.s. and a weakly mixing t.d.s. which induces dense periodic points on the hyperspace$K(X)$but itself does not have dense distal points, solving in that way a few open questions from earlier articles by Dong, and Li, Yan and Ye.
On the Dynamics of Nonautonomous General Dynamical Systems and Differential Inclusions

Desheng Li,Yejuan Wang,Suyun Wang

DOI: https://doi.org/10.1007/s11228-007-0054-8

2007-01-01

Set-Valued Analysis

Abstract:This paper is concerned with the dynamics of nonautonomous general dynamical systems (NAGDSs in short) and applications to differential inclusions on ℝ m . First, we show that if a NAGDS has a compact uniformly attracting set, then it has a pullback attractor $\mathcal{A}$ with the parametrically inflated pullback attractor $\mathcal{A}(\varepsilon_0)$ being uniformly forward attracting. Then, we establish some stability results for pullback attractors. Finally, we apply the abstract theory to nonautonomous differential inclusions on ℝ m to obtain some interesting results. In particular, the effects of small time delays to asymptotic stability is addressed.
The Bicategory of Open Functors

Alexandre Fernandez,Luidnel Maignan,Antoine Spicher

DOI: https://doi.org/10.48550/arXiv.2102.08051

2021-02-16

Abstract:We want to replace categories, functors and natural transformations by categories, open functors and open natural transformations. In analogy with open dynamical systems, the adjective open is added here to mean that some external information is taken into account. For the particular use of the authors, such an open functor is described by two components: a presheaf representing the possible external influences for each input, and a classical functor from the category of elements of this presheaf to the category of results. Considering the appropriate notion of composition then leads to a bicategory. This report describes this bicategory with as little auxiliary constructions as possible and gives all the details of all the proofs needed to establish the bicategory, as explicitly as possible. Subsequent reports will give other presentations of this bicategory and compare it to other existing constructions, e.g. spans, fibrations, pseudoadjunctions, Kleisli bicategories of pseudo-monads, and profunctors (or distributors).

Category Theory
A Categorical Treatment of Open Linear Systems

Dario Stein,Richard Samuelson

2024-03-07

Abstract:An open stochastic system à la Willems is a system affected two qualitatively different kinds of uncertainty -- one is probabilistic fluctuation, and the other one is nondeterminism caused by lack of information. We give a formalization of open stochastic systems in the language of category theory. A new construction, which we term copartiality, is needed to model the propagating lack of information (which corresponds to varying sigma-algebras).

Logic in Computer Science,Category Theory,Probability
Nonuniqueness phenomena in discontinuous dynamical systems and their regularizations

Alessia andò,Roderick Edwards,Nicola Guglielmi

DOI: https://doi.org/10.1137/23M1587488

2024-06-01

Abstract:In a recent paper by Guglielmi and Hairer (SIADS 2015), an analysis in the $\varepsilon\to 0$ limit was proposed of regularized discontinuous ODEs in codimension-2 switching domains; this was obtained by studying a certain 2-dimensional system describing the so-called hidden dynamics. In particular, the existence of a unique limit solution was not proved in all cases, a few of which were labeled as ambiguous, and it was not clear whether or not the ambiguity could be resolved. In this paper, we show that it cannot be resolved in general. A first contribution of this paper is an illustration of the dependence of the limit solution on the form of the switching function. Considering the parameter dependence in the ambiguous class of discontinuous systems, a second contribution is a bifurcation analysis, revealing a range of possible behaviors. Finally, we investigate the sensitivity of solutions in the transition from codimension-2 domains to codimension-3 when there is a limit cycle in the hidden dynamics.

Dynamical Systems
An Abstract Category of Dynamical Systems

James Schmidt

2023-12-15

Abstract:A notion of time is fundamental in the study of dynamical systems. Time arises as a standalone dynamical system and also in solutions or trajectories as a special kind of map between systems. We characterize time by a universal property and use universality to motivate an abstract definition for categories of dynamical systems. We propose this definition as guidance in concrete instantiations for other kinds of systems.

Dynamical Systems,Category Theory
An Algebra of Resource Sharing Machines

Sophie Libkind

DOI: https://doi.org/10.48550/arXiv.2007.14442

2020-07-29

Abstract:Dynamical systems are a broad class of mathematical tools used to describe the evolution of physical and computational processes. Traditionally these processes model changing entities in a static world. Picture a ball rolling on an empty table. In contrast, open dynamical systems model changing entities in a changing world. Picture a ball in an ongoing game of billiards. In the literature, there is ambiguity about the interpretation of the "open" in open dynamical systems. In other words, there is ambiguity in the mechanism by which open dynamical systems interact. To some, open dynamical systems are input-output machines which interact by feeding the input of one system with the output of another. To others, open dynamical systems are input-output agnostic and interact through a shared pool of resources. In this paper, we define an algebra of open dynamical systems which unifies these two perspectives. We consider in detail two concrete instances of dynamical systems -- continuous flows on manifolds and non-deterministic automata.

Category Theory,Dynamical Systems
Dynamics on Networks of Manifolds

Lee DeVille,Eugene Lerman

DOI: https://doi.org/10.3842/SIGMA.2015.022

2015-03-12

Abstract:We propose a precise definition of a continuous time dynamical system made up of interacting open subsystems. The interconnections of subsystems are coded by directed graphs. We prove that the appropriate maps of graphs called graph fibrations give rise to maps of dynamical systems. Consequently surjective graph fibrations give rise to invariant subsystems and injective graph fibrations give rise to projections of dynamical systems.

Dynamical Systems,Molecular Networks,Neurons and Cognition
An open-closed cobordism category with background space

Elizabeth Hanbury

DOI: https://doi.org/10.2140/agt.2009.9.833

2009-02-04

Abstract:In this paper we introduce an open-closed cobordism category with maps to a background space. We identify the classifying space of this category for certain classes of background space. The key ingredient is the homology stability of mapping class groups with twisted coefficients.

Algebraic Topology
Dynamics of non-autonomous systems with nested invariant cone structure and its applications

Dun Zhou

2024-11-19

Abstract:The current paper is devoted to the investigation of the influence of nested invariant cone structure on the dynamics, in the context of non-autonomous (time almost periodic)cases. We first prove that the nested invariant cone structure can persistent under C1 perturbations; and the dynamics of the omega-limit set of any precompact orbit can be reduced to the dynamics of a compact invariant of a suitable finite dimensional system(see Theorem 2.1). In some special cases, the dynamics of any omega-limit set generated by the skew product semiflow of such a system is similar to a one-dimensional system, that is, the omega-limit set contains at most two minimal sets, and any minimal set is an almost automorphic extension of its base flow(a universal phenomenon in multi-frequency driven systems, introduced by S. Bochner), these results are also correct for such systems under C1 small perturbations(see Theorems 2.2, 2.3). To our best knowledge, it is the first paper to touch the global dynamics of abstract non-autonomous systems with invariant nested cones; the setting is general, since it contains an autonomous system plus an almost-periodic perturbation term, and a periodic system with another periodic perturbation term (these two periods are irrationally dependent)as special cases. The results can be viewed as a generalization of important works of W. Shen and Y. Yi(1995 J. Differential Equations 122 114-136) for scalar parabolic equations with separated boundary conditions, Y. Wang(2007 Nonlinearity 20 831-843) for tridiagonal competitive cooperative systems(see Section 4).

Dynamical Systems,Analysis of PDEs,Classical Analysis and ODEs
Complexes of stable $\infty$-categories

Merlin Christ,Tobias Dyckerhoff,Tashi Walde

2024-02-16

Abstract:We study complexes of stable $\infty$-categories, referred to as categorical complexes. As we demonstrate, examples of such complexes arise in a variety of subjects including representation theory, algebraic geometry, symplectic geometry, and differential topology. One of the key techniques we introduce is a totalization construction for categorical cubes which is particularly well-behaved in the presence of Beck-Chevalley conditions. As a direct application we establish a categorical Koszul duality result which generalizes previously known derived Morita equivalences among higher Auslander algebras and puts them into a conceptual context. We explain how spherical categorical complexes can be interpreted as higher-dimensional perverse schobers, and introduce Calabi-Yau structures on categorical complexes to capture noncommutative orientation data. A variant of homological mirror symmetry for categorical complexes is proposed and verified for $\mathbb{C}\mathrm{P}^2$.

Algebraic Geometry,Category Theory,K-Theory and Homology
Dynamics in Numerics: on a Discrete Predator-Prey Model

Yu Huang,Xiamei Jiang,Xingfu Zou

DOI: https://doi.org/10.1007/s12591-008-0010-6

2008-01-01

Differential Equations and Dynamical Systems

Abstract:In this paper, we consider the dynamics of a discrete predator-prey model which is a result of discretization of the corresponding continuous Lotka-Volterra predator-prey model. Among the topis are equilibria and their stability, existence and stability of a period-2 orbit, as well the chaotic behavior of F . The chaos here is in the sense of topological horseshoe and is obtained for certain range of parameter values by applying a recent result from [5]. Our results are in contrast to the recent ones in [6] which claimed that if the predator-prey interaction is replaced by cooperative or competitive interaction, the discretization preserves the property of convergence to the equilibrium, regardless of the step size.
Competing holes in open dynamical systems

A. Della Corte,M. Farotti,S. Rodríguez Martín

DOI: https://doi.org/10.1090/proc/16920

IF: 0.9709

2024-10-18

Proceedings of the American Mathematical Society

Abstract:We consider open dynamical systems defined on compact metric spaces with multiple shrinking holes. We study the points which are indecisive, i.e. change infinitely many times the escape hole as the holes shrink. We prove that, for transitive homeomorphisms, complete indecisiveness is generic. We provide examples of applications of the results.

mathematics, applied

Open sub-categorical dynamics in interaction

Double Categories of Open Dynamical Systems (Extended Abstract)

Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing

A Lax Functorial Definition of Open Dynamics

Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets

Subdynamics in Knowledge-Based Systems

$C^1$-generic dynamics: tame and wild behaviour

Dynamical systems defined on simplicial complexes: symmetries, conjugacies, and invariant subspaces

When Are All Closed Subsets Recurrent?

On the Dynamics of Nonautonomous General Dynamical Systems and Differential Inclusions

The Bicategory of Open Functors

A Categorical Treatment of Open Linear Systems

Nonuniqueness phenomena in discontinuous dynamical systems and their regularizations

An Abstract Category of Dynamical Systems

An Algebra of Resource Sharing Machines

Dynamics on Networks of Manifolds

An open-closed cobordism category with background space

Dynamics of non-autonomous systems with nested invariant cone structure and its applications

Complexes of stable $\infty$-categories

Dynamics in Numerics: on a Discrete Predator-Prey Model

Competing holes in open dynamical systems