Related papers: On the dynamical Mordell-Lang conjecture in positi…
We introduce BPDL, a combination of propositional dynamic logic PDL with the basic four-valued modal logic BK studied by Odintsov and Wansing (`Modal logics with Belnapian truth values', J. Appl. Non-Class. Log. 20, 279--301 (2010)). We…
We study the quasi-endomorphism ring of infinitely definable subgroups in separably closed fields. Based on the results we obtain, we are able to prove a Mordell-Lang theorem for Drinfeld modules of finite characteristic. Using…
We study an open question at the interplay between the classical and the dynamical Mordell-Lang conjectures in positive characteristic. Let $K$ be an algebraically closed field of positive characteristic, let $G$ be a finitely generated…
We prove that if nonlinear complex polynomials of the same degree have orbits with infinite intersection, then the polynomials have a common iterate. We also prove a special case of a conjectured dynamical analogue of the Mordell-Lang…
In previous work, the first author, Ghioca, and the third author introduced a broad dynamical framework giving rise to many classical sequences from number theory and algebraic combinatorics. Specifically, these are sequences of the form…
We give bounds for the number and the size of the primes $p$ such that a reduction modulo $p$ of a system of multivariate polynomials over the integers with a finite number $T$ of complex zeros, does not have exactly $T$ zeros over the…
Propositional dynamic logic (PDL) is presented in Sch\"{u}tte-style mode as one-sided semiformal tree-like sequent calculus Seq$_\omega^{\text{pdl}}$ with standard cut rule and the omega-rule with principal formulas $\left[ P^{\ast }\right]…
We provide a self-contained proof to so-called Martio's conjecture in the class of mappings of bounded length distortion. Unlike the earlier proofs, our proof is not based on the modulus of continuity estimate of Martio from 1970.
A recent generalization of the Conley index to discrete multivalued dynamical systems without a continuous selector is motivated by applications to data-driven dynamics. In the present paper we continue the program by studying…
In this article, we are concerned with the Langlands functoriality conjecture. Cogdell, Kim, Piatetski-Shapiro and Shahidi proved functioriality conjecture in the case of a globally generic cuspidal automorphic representation for the split…
We present a positive solution to the so-called Bernoulli Conjecture concerning the characterization of sample boundedness of Bernoulli processes. We also discuss some applications and related open problems.
Recently ,mathematicians have been interested in studying the theory of discrete dynamical system, specifically difference equation, such that considerable works about discussing the behavior properties of its solutions (boundedness and…
A modification of perturbation theory, known as delta-expansion (variationally improved perturbation), gave rigorously convergent series in some D=1 models (oscillator energy levels) with factorially divergent ordinary perturbative…
We cosider random dynamical systems with randomly chosen jumps. The choice of deterministic dynamical system and jumps depends on a position. We proove the existence of an exponentially attractive invariant measure and the strong law of…
It is well-known that when a positively expansive dynamical system is invertible then its underlying space is finite. C.Morales has introduced a decade ago a natural way to generalize positive expansiveness, by introducing other properties…
It is shown that globally positive solutions of a linear second order parabolic partial differential equation on a bounded domain, with Dirichlet boundary conditions, are unique up to multiplication by a positive constant.
An error in the proof of Lemma 2 (ii) in [I. Werner, Math. Proc. Camb. Phil. Soc. 140(2) 333-347 (2006)], which claims the absolute continuity of dynamically defined measures (DDM), is identified. This undermines the assertion of the…
Since its establishment, propositional dynamic logic (PDL) has been a subject of intensive academic research and frequent use in the industry. We have studied the complexity of some PDL problems and in this paper, we show results for some…
We prove a dynamical version of the Mordell-Lang conjecture for subvarieties of the affine space A^g over a p-adic field, endowed with polynomial actions on each coordinate of A^g. We use analytic methods similar to the ones employed by…
Ufnarovski remarked in 1990 that it is unknown whether any finitely presented associative algebra of linear growth is automaton, that is, whether the set of normal words in the algebra form a regular language. If the algebra is graded, then…