相关论文: Dynamical properties of logical substitutions
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…
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…
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…
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…
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.…
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…
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.…
In this paper we prove the Dynamical Mordell-Lang Conjecture for polynomial endomorphisms of the affine plane.
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…
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.…
Variational formulations of statics and dynamics of mechanical systems controlled by external forces are presented as examples of variational principles.
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…
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…
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…
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…
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…
We study endomorphisms and derivations of infinite dimensional cyclic Leibniz algebra.
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…
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.
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…