Related papers: A Euclidean Skolem-Mahler-Lech-Chabauty method

Let F : P^n --> P^n be a morphism of degree d > 1 defined over C. The dynamical Mordell--Lang conjecture says that the intersection of an orbit O_F(P) and a subvariety X of P^n is usually finite. We consider the number of linear…

The Skolem-Mahler-Lech theorem states that if $f(n)$ is a sequence given by a linear recurrence over a field of characteristic 0,then the set of $m$ such that $f(m)$ is equal to 0 is the union of a finite number of arithmetic progressions…

We prove estimates of a $p$-harmonic measure, $p \in (n-m, \infty]$, for sets in $\mathbf{R}^n$ which are close to an $m$-dimensional hyperplane $\Lambda \subset \mathbf{R}^n$, $m \in [0,n-1]$. Using these estimates, we derive results of…

We prove existence and multiplicity results for the fractional Schroedinger--Poisson--Slater equation $(-\Delta)^s u + (I_\alpha * u^2)u = f(|x|,u)$ in $\mathbb{R}^N$, where $0<s<1$ and $\alpha \in (1,N)$. We seek solutions in a fractional…

We investigate the relation of countable closed subsets of the reals with respect to continuous monotone embeddability; we show that there are exactly aleph_1 many equivalence classes with respect to this embeddability relation. This is an…

Lech proved in 1953 that the set of zeroes of a linear recurrence sequence in a field of characteristic 0 is the union of a finite set and finitely many infinite arithmetic progressions. This result is known as the Skolem-Mahler-Lech…

Erd\H{o}s \cite{MR168482} proved that the Continuum Hypothesis (CH) is equivalent to the existence of an uncountable family $\mathcal{F}$ of (real or complex) analytic functions, such that $\big\{ f(x) \ : \ f \in \mathcal{F} \big\}$ is…

Let $f_{\bf c}(r)=\sum_{n=0}^\infty e^{c_n}r^n$ be an analytic function; ${\bf c}=(c_n)\in l_\infty$. We assume that $r$ is some logarithmically convex and lower semicontinuous functional on a locally convex topological space $L$. In this…

The degree sequence of the algebraic numbers in an algebraic linear recurrence sequence is shown to be virtually periodic. This is proved using the Skolem-Mahler-Lech theorem. It has applications to the degree sequence and the minimal…

Let $\mathcal{N}$ be a non-Archimedean ordered field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order, and whose Hahn group is Archimedean. In this paper, we first review the…

Let X be a Noetherian space, let f be a continuous self-map on X, let Y be a closed subset of X, and let x be a point on X. We show that the set S consisting of all nonnegative integers n such that f^n(x) is in Y is a union of at most…

We give an introductory account of two recent approaches towards an effective proof of the Mordell conjecture, due to Lawrence--Venkatesh and Kim. The latter method, which is usually called the method of Chabauty--Kim or non-abelian…

Near every point of a real-analytic set in $\mathbb R^n$, we make use of Hironaka's resolution of singularity theorem to construct a family of continuous functions in $W^{1, 1}_{loc}$ such that their weak derivatives have (removable)…

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 show that if a real $x$ is strongly Hausdorff $h$-random, where $h$ is a dimension function corresponding to a convex order, then it is also random for a continuous probability measure $\mu$ such that the $\mu$-measure of the basic open…

Let $K$ be a finitely generated field of characteristic zero. We study, for fixed $m \geq 2$, the rational functions $\phi$ defined over $K$ that have a $K$-orbit containing infinitely many distinct $m$th powers. For $m \geq 5$ we show the…

In this note, we study solutions to semiclassical Schrodinger equations on a real analytic manifold with a real analytic potential and prove the semiclassical version of Cauchy estimates on derivatives. As an application, we use Donnelly…

Consider the vanishing locus of a real analytic function on $\mathbb{R}^n$ restricted to $[0,1]^n$. We bound the number of rational points of bounded height that approximate this set very well. Our result is formulated and proved in the…

We describe a class of sharply o-minimal structures, called analytically generated structures, whose definable sets and their complexity filtration are determined by the collection of definable complex cells. We prove a polynomially…

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…