English
Related papers

Related papers: A Lax Functorial Definition of Open Dynamics

200 papers

The dynamics of a linear dynamical system over a finite field can be described by using the elementary divisors of the corresponding matrix. It is natural to extend the investigation to a general finite commutative ring. In a previous…

Rings and Algebras · Mathematics 2017-09-26 Yangjiang Wei , Guangwu Xu , Yi Ming Zou

The idea of using unfolding as a way of computing a program semantics has been applied successfully to logic programs and has shown itself a powerful tool that provides concrete, implementable results, as its outcome is actually source…

Programming Languages · Computer Science 2017-08-29 José María Rey-Poza , Julio Mariño-Carballo

The theoretical understanding of active matter, which is driven out of equilibrium by directed motion, is still fragmental and model oriented. Stochastic thermodynamics, on the other hand, is a comprehensive theoretical framework for driven…

Statistical Mechanics · Physics 2017-01-05 Thomas Speck

The mechanics of the structured particles develops. The substantiation of applicability of such mechanics for the description of processes of evolution in open nonequilibrium systems is offered. The consequences following from the equations…

General Physics · Physics 2012-10-03 V. M. Somsikov

In many complex systems, states and interaction structure coevolve towards a dynamic equilibrium. For the adaptive contact process, we obtain approximate expressions for the degree distributions that characterize the interaction network in…

Adaptation and Self-Organizing Systems · Physics 2015-07-01 Stefan Wieland , Ana Nunes

Using the Lax operator formalism, we construct a family of pairwise commuting operators such that the Macdonald symmetric functions of infinitely many variables and of two parameters $q,t$ are their eigenfunctions. We express our operators…

Exactly Solvable and Integrable Systems · Physics 2020-11-06 Maxim Nazarov , Evgeny Sklyanin

Two families of denotational models have emerged from the semantic analysis of linear logic: dynamic models, typically presented as game semantics, and static models, typically based on a category of relations. In this paper we introduce a…

Logic in Computer Science · Computer Science 2025-10-29 Pierre Clairambault , Federico Olimpieri , Hugo Paquet

A recursion operator is constructed for a hydrodynamic type system admitting dispersionless Lax representation with non-rational Lax function.

Exactly Solvable and Integrable Systems · Physics 2014-04-14 Kostyantyn Zheltukhin

Many forms of dependence manifest themselves over time, with behavior of variables in dynamical systems as a paradigmatic example. This paper studies temporal dependence in dynamical systems from a logical perspective, by enriching a…

Logic in Computer Science · Computer Science 2024-03-29 Alexandru Baltag , Johan van Benthem , Dazhu Li

We introduce dynamical systems $(X,G)$ with closed relations $G$ on compact metric spaces $X$ and discuss different types of minimality of such dynamical systems, all of them generalizing minimal dynamical systems $(X,f)$ with continuous…

Dynamical Systems · Mathematics 2022-05-09 Iztok Banic , Goran Erceg , Rene Gril Rogina , Judy Kennedy

We exhibit a new relationship between dynamic and static semantics. We define the categorical outlay needed to define Interaction Graphs models, a generalisation of Girard's Geometry of Interaction models, which strongly relate to game…

Logic in Computer Science · Computer Science 2016-04-19 Thomas Seiller

We present the first steps of interaction spaces theory, a universal mathematical theory of complex systems which is able to embed cellular automata, agent based models, master equation based models, stochastic or deterministic, continuous…

Mathematical Physics · Physics 2024-07-03 Paolo Giordano

This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of…

Logic in Computer Science · Computer Science 2024-05-20 Daniel Lu

We use dynamic equations to derive a relation between correlation functions and response or relaxation functions in many-body systems. The relation is very general and holds both in equilibrium, when the usual fluctuation-dissipation…

Statistical Mechanics · Physics 2024-07-09 T. R. Kirkpatrick , D. Belitz

This chapter reviews four notions of system structure, three of which are contextual and classic (i.e. the complete computational structure linked to a state space model, the sparsity pattern of a transfer function, and the interconnection…

Systems and Control · Computer Science 2014-06-10 Vasu Chetty , Sean Warnick

The goal of this work is to develop, in a systematic way and in a full natural generality, the foundations of a theory of functions of (free) noncommuting variables.

Operator Algebras · Mathematics 2014-07-28 Dmitry S. Kaliuzhnyi-Verbovetskyi , Victor Vinnikov

Determining functionals are tools to describe the finite dimensional long-term dynamics of infinite dimensional dynamical systems. There also exist several applications to infinite dimensional {\em random} dynamical systems. In these…

Chaotic Dynamics · Physics 2007-05-23 Igor Chueshov , Jinqiao Duan , Bjorn Schmalfuss

Dynamics near and far away from thermal equilibrium is studied within the framework of Langevin equations. A stochasticity-dissipation relation is proposed to emphasize the equal importance of the stochastic and deterministic forces in…

Classical Physics · Physics 2007-05-23 P. Ao

In this survey we will present the symbolic extension theory in topological dynamics, which was built over the past twenty years.

Dynamical Systems · Mathematics 2020-09-29 Tomasz Downarowicz , Guohua Zhang

Comment on the literature definition(s) of "dynamical phase transition"

Statistical Mechanics · Physics 2021-12-17 Stephen Whitelam