English
Related papers

Related papers: Dynamical properties of logical substitutions

200 papers

This text deals with birationnal diffeomorphisms of real algebraic surfaces which have simple real dynamics and rich complex dynamics. We give an example of such a transformation on P^1xP^1, then we show that this situation is exceptional…

Dynamical Systems · Mathematics 2012-06-19 Arnaud Moncet

We present a general scheme how to construct a substitution rule for generating $d$-dimensional analogues of the paperfolding structures. This substitution is proven to be primitive, so that the translation action on the hull forms a…

Dynamical Systems · Mathematics 2014-08-22 Franz Gähler , Johan Nilsson

In order to enrich dynamic semantic theories with a `pragmatic' capacity, we combine dynamic and nonmonotonic (preferential) logics in a modal logic setting. We extend a fragment of Van Benthem and De Rijke's dynamic modal logic with…

cmp-lg · Computer Science 2008-02-03 Jan Jaspars , Megumi Kameyama

Dynamic logic is a powerful framework for reasoning about imperative programs. An extension with a concurrent operator [18] was introduced to formalise programs running in parallel. In other direction, other authors proposed a systematic…

Logic in Computer Science · Computer Science 2019-11-04 Leandro Gomes

This paper focuses on polynomial dynamical systems over finite fields. These systems appear in a variety of contexts, in computer science, engineering, and computational biology, for instance as models of intracellular biochemical networks.…

Algebraic Geometry · Mathematics 2008-03-13 Abdul S. Jarrah , Reinhard Laubenbacher

Polynomials commute under composition are referred to as commuting polynomials. In this paper, we study division properties for commuting polynomials with rational (and integer) coefficients. As a consequence, we show an algebraic…

Commutative Algebra · Mathematics 2026-03-05 Kimiko Hasegawa , Rin Sugiyama

The analysis of observable phenomena (for instance, in biology or physics) allows the detection of dynamical behaviors and, conversely, starting from a desired behavior allows the design of objects exhibiting that behavior in engineering.…

Discrete Mathematics · Computer Science 2026-04-10 Antonio E. Porreca , Marius Rolland

In this paper we prove the Dynamical Mordell-Lang Conjecture for polynomial endomorphisms of the affine plane.

Algebraic Geometry · Mathematics 2015-11-06 Junyi Xie

In this article we raise some new questions about positive definite functions on free groups, and explain how these are related to more well-known questions. The article is intended as a survey of known results that also offers some new…

Operator Algebras · Mathematics 2021-03-24 Benoît Collins , Michael Magee , Doron Puder

We consider moduli spaces of dynamical systems of correspondences over the projective line as a generalization of moduli spaces of dynamical systems of endomorphisms on the projective line. We obtain the rationality of the moduli spaces.…

Dynamical Systems · Mathematics 2021-09-15 Rin Gotou

Variational formulations of statics and dynamics of mechanical systems controlled by external forces are presented as examples of variational principles.

Mathematical Physics · Physics 2015-06-26 Antonio De Nicola , Wlodzimierz M. Tulczyjew

The vector space of the multi-indexed sequences over a field and the vector space of the sequences with finite support are dual to each other, with respect to a \textit{scalar product}, which we used to define \textit{orthogonals} in these…

Dynamical Systems · Mathematics 2021-05-12 Ramamonjy Andriamifidisoa , Juanito Andrianjanahary

We focus on various dynamical invariants associated to toric correspondences, using algebraic geometry or arithmetic. We find a formula for the dynamical degrees, relate the exponential growth of the degree sequences with a strict…

Dynamical Systems · Mathematics 2020-04-01 Nguyen-Bac Dang , Rohini Ramadas

We consider model-theoretic properties related to the expressive power of three analogues of $L_{\omega_1, \omega}$ for metric structures. We give an example showing that one of these infinitary logics is strictly more expressive than the…

Logic · Mathematics 2017-08-10 Christopher J. Eagle

The existence of exponential dichotomies has been well-established as a powerful tool to study existence, stability, and bifurcations of coherent structures. Currently, the application of exponential dichotomies to elliptic problems posed…

Analysis of PDEs · Mathematics 2026-03-25 Margaret Beck , Ryan Goh , Alanna Haslam-Hyde

We investigate the dynamics of tiling dynamical systems and their deformations. If two tiling systems have identical combinatorics, then the tiling spaces are homeomorphic, but their dynamical properties may differ. There is a natural map…

Dynamical Systems · Mathematics 2018-07-11 Alex Clark , Lorenzo Sadun

We study endomorphisms and derivations of infinite dimensional cyclic Leibniz algebra.

Rings and Algebras · Mathematics 2021-04-14 Leonid A. Kurdachenko , Igor Ya. Subbotin , Viktoriia S. Yashchuk

We find a translation with particularly nice properties from intuitionistic propositional logic in countably many variables to intuitionistic propositional logic in two variables. In addition, the existence of a possibly-not-as-nice…

Logic · Mathematics 2007-05-23 Michael O'Connor

Sometimes we obtain attractive results when associating facts to simple elements. The goal of this work is to introduce a possible alternative in the study of the dynamics of rational maps.

Dynamical Systems · Mathematics 2010-02-02 H. Melo , J. Cabral

Representations are essential to mathematically model phenomena, but there are many options available. While each of those options provides useful properties with which to solve problems related to the phenomena in study, comparing results…

Logic in Computer Science · Computer Science 2025-10-01 Luke Bayzid , Alexandre Madeira , Manuel A. Martins