Related papers: On the dynamical Mordell-Lang conjecture in positi…

We prove a quantitative partial result in support of the Dynamical Mordell-Lang Conjecture (also known as the DML conjecture) in positive characteristic. More precisely, we show the following: given a field $K$ of characteristic $p$, given…

We solve the dynamical Mordell-Lang problem in positive characteristic for automorphisms of projective surfaces.

We prove the dynamical Mordell-Lang conjecture for birational polynomial morphisms on $\mathbb{A}^2$.

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

In this paper, we prove the converse of the dynamical Mordell--Lang conjecture in positive characteristic: For every subset $S \subseteq \mathbb{N}_0$ which is a union of finitely many arithmetic progressions along with finitely many…

There are three aims of this note. The first one is to report some advances around the dynamical Mordell-Lang (=DML) conjecture. Second, we generalize some known results. For example, the Dynamical Mordell-lang conjecture was known for…

We prove a dynamical version of the Mordell-Lang conjecture in the context of Drinfeld modules. We use analytic methods similar to the ones employed by Skolem, Chabauty, and Coleman for studying diophantine equations.

We prove the dynamical Mordell-Lang conjecture for product of endomorphisms of an affine curve and a projective curve over $\overline{\mathbb{Q}}$.

We prove that in positive characteristic, the Manin-Mumford conjecture implies the Mordell-Lang conjecture, in the situation where the ambient variety is an abelian variety defined over the function field of a smooth curve over a finite…

Let K be an algebraically closed field of prime characteristic p, let X be a semiabelian variety defined over a finite subfield of K, let f be a regular self-map on X defined over K, let V be a subvariety of X defined over K, and let x be a…

In this paper, we study arithmetic dynamics in arbitrary characteristic, in particular in positive characteristic. We generalise some basic facts on arithmetic degree and canonical height in positive characteristic. As applications, we…

We prove that if $K$ is a complete algebraically closed non-archimedian valuation field of positive characteristic and $f$ is an endomorphism of $\mathbb{P}_{K}^{N}$ which is totally inseparable and behaves as the Frobenius on the special…

We give a complete proof for the implication from the Manin-Mumford conjecture to the Mordell-Lang conjecture in positive characteristic, using integral models of semi-abelian varieties over a ring of formal power series, and the machinery…

Let K be an algebraically closed field of prime characteristic p, let N be a positive integer, let f be a self-map on the algebraic torus T=G_m^N defined over K, let V be a curve in T defined over K, and let x be a K-point of T. We show…

Using the Skolem-Mahler-Lech theorem, we prove a dynamical Mordell-Lang conjecture for semiabelian varieties.

We present a reduction of the function field Mordell-Lang conjecture to the function field Manin-Mumford conjecture, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski…

We give a conditional proof of the Uniform Boundedness Conjecture of Morton and Silverman in the case of polynomials over number fields, assuming a standard conjecture in arithmetic geometry. Our technique simultaneously yields a dynamical…

We estalish the conjectures of Sprindzhuk over a local field of positive characteristic using the dynamical method of Kleinbock-Margulis.

We prove a dynamical version of the Mordell-Lang conjecture for subvarieties of quasiprojective varieties X, endowed with the action of a morphism f:X --> X. We use an analytic method based on the technique of Skolem, Mahler, and Lech,…

In this article, the decidability and computability issues of dynamic probability logic (DPL) are addressed. Firstly, a proof system $\mathcal{H}_{DPL}$ is introduced for DPL and shown that it is weakly complete. Furthermore, this logic has…