Related papers: Noninvadability implies noncoexistence for a class…
The aim of this work is to establish the existence of invariant manifolds in complex systems. Considering trajectory curves integral of multiple time scales dynamical systems of dimension two and three (predator-prey models, neuronal…
We consider particles on a one-dimensional lattice whose evolution is governed by nearest-neighbor interactions where particles that have reached size zero are removed from the system. Concentrating on configurations with infinitely many…
Topological theory predicts the necessary conditions for robust dimensional reduction in a host of quantum and classical systems. Models have recently been proposed for stochastic systems which describe many biological and chemical…
State convergence is essential in several scientific areas, e.g. multi-agent consensus/disagreement, distributed optimization, monotone game theory, multi-agent learning over time-varying networks. This paper is the first on state…
In this paper we use duality techniques to study a combination of the well-known contact process (CP) and the somewhat less-known annihilating branching process. As the latter can be seen as a cancellative version of the contact process, we…
Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such…
We investigate classes of interacting systems that allow for a mapping to disordered noninteracting systems. As we show, such a mapping is possible for interacting systems with a suppressed density of states at the chemical potential,…
Time-invariant finite-dimensional systems, under reasonable continuity assumptions, exhibit the property that if solutions exist for all future times, the set of vectors reachable from a bounded set of initial conditions over bounded time…
State of the art optimisation passes for dependently typed languages can help erase the redundant information typical of invariant-rich data structures and programs. These automated processes do not dramatically change the structure of the…
Persistence and permanence are properties of dynamical systems that describe the long-term behavior of the solutions, and in particular specify whether positive solutions approach the boundary of the positive orthant. Mass-action systems…
We consider a logic used to describe sets of configurations of distributed systems, whose network topologies can be changed at runtime, by reconfiguration programs. The logic uses inductive definitions to describe networks with an unbounded…
We study molecular dynamics within populations of diffusively coupled cells under the assumption of fast diffusive exchange. As a technical tool, we propose conditions on boundedness and ultimate boundedness for systems with a singular…
Studying systems where many individual bodies in motion interact with one another is a complex and interesting area. Simple mechanisms that may be determined for biological, chemical, or physical reasons can lead to astonishingly complex…
Two generically different but universal dynamical quantum many-body behaviors are discovered by probing the stability of trapped fragmented bosonic systems with strong repulsive finite/long range inter-particle interactions. We use…
We derive conditions for a nonholonomic system subject to nonlinear constraints (obeying Chetaev's rule) to preserve a smooth volume form. When applied to affine constraints, these conditions dictate that a basic invariant density exists if…
The interface between two materials described by spectrally gapped Hamiltonians is expected to host an in-gap interface mode, whenever a certain topological invariant changes across the interface. We provide a precise statement of this…
It is shown that a compound elastic structure, which displays a dynamic instability, may be designed as the union (or 'fusion') of two structures which are stable when separately analyzed. The compound elastic structure has two degrees of…
We consider continuous-time consensus systems whose interactions satisfy a form or reciprocity that is not instantaneous, but happens over time. We show that these systems have certain desirable properties: They always converge…
A class of models is presented, in the form of continuation monads polymorphic for first-order individuals, that is sound and complete for minimal intuitionistic predicate logic. The proofs of soundness and completeness are constructive and…
This paper presents a theory of systemic undecidability, reframing incomputability as a structural property of systems rather than a localized feature of specific functions or problems. We define a notion of causal embedding and prove a…