Related papers: Synchronizing Dynamical Systems: Finitely presente…
To study discrete dynamical systems of different types --- deterministic, statistical and quantum --- we develop various approaches. We introduce the concept of a system of discrete relations on an abstract simplicial complex and develop…
We investigate subshifts with a general algebraic structure and cellular automata on them, with an emphasis on (order-theoretic) lattices. Our main results concern the characterization of Boolean algebraic subshifts, conditions for…
The T-systems and Y-systems are classes of algebraic relations originally associated with quantum affine algebras and Yangians. Recently they were generalized to quantum affinizations of quantum Kac-Moody algebras associated with a wide…
The connection between symmetries and linearizations of discrete-time dynamical systems is being inverstigated. It is shown, that existence of semigroup structures related to the vector field and having linear representations enables…
We initiate the study of correspondences for Smale spaces. Correspondences are shown to provide a notion of a generalized morphism between Smale spaces and are a special case of finite equivalences. Furthermore, for shifts of finite type, a…
We propose a functional description of rewriting systems on topological vector spaces. We introduce the topological confluence property as an approximation of the confluence property. Using a representation of linear topological rewriting…
We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations -- that is, as quotients of term algebras over decidable sets…
Within the C*-algebraic framework of the resolvent algebra for canonical quantum systems, the structure of oscillating lattice systems with bounded nearest neighbor interactions is studied in any number of dimensions. The global dynamics of…
In his seminal paper "Generalized Fixed Point Algebras and Square-Integrable Group Actions", Ralf Meyer showed how to construct generalized fixed-point algebras for $ C^{\ast} $-dynamical systems via their square-integrable representations…
In this paper, we aim to investigate the synchronization problem of dynamical systems, which can be of generic linear or Lipschitz nonlinear type, communicating over directed switching network topologies. A mild connectivity assumption on…
We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a regular set of words, and the interpretation of the…
Enveloping $C^*$-algebras for some finitely generated $*$-algebras are considered. It is shown that all of the considered algebras are identically defined by their dual spaces. The description in terms of matrix-functions is given. Keywords…
The concurrent refinement algebra has been developed to support rely/guarantee reasoning about concurrent programs. The algebra supports atomic commands and defines parallel composition as a synchronous operation, as in Milner's SCCS. In…
D. Ruelle considered a general setting where he is able to characterize equilibrium states for H\"older potentials based on properties of conjugating homeomorphism in the so called Smale spaces. On this setting he also shows a relation of…
We study the $C^*$-algebras associated to upper-semicontinuous Fell bundles over second-countable Hausdorff groupoids. Based on ideas going back to the Packer--Raeburn "Stabilization Trick," we construct from each such bundle a groupoid…
Dirac structures and Morse families are used to obtain a geometric formalism that unifies most of the scenarios in mechanics (constrained calculus, nonholonomic systems, optimal control theory, higher-order mechanics, etc.), as the examples…
Let $R$ be a rational function. The iterations $(R^n)_n$ of $R$ gives a complex dynamical system on the Riemann sphere. We associate a $C^*$-algebra and study a relation between the $C^*$-algebra and the original complex dynamical system.…
By choosing a dynamical system with d different couplings, one can rearrange a system based on the graph with given vertex dependent on the dynamical system elements. The relation between the dynamical elements (coupling) is replaced by a…
Any symmetric closed subset of a finite crystallographic root system must be a closed subroot system. This is not, in general, true for real affine root systems. In this paper, we determine when this is true and also give a very explicit…
We introduce a finitely presented prop $\mathcal{S} = \{\mathcal{S}(n,m)\}$ in the category of differential graded modules whose associated operad $U(\mathcal{S})=\{\mathcal{S}(1,m)\}$ is a model for the $E_\infty$-operad. This finite…