Related papers: Canonical heights for Henon maps

We consider the practical computation of rational points on y^2=x(x^2+ax+b). The algebra necessary for a 4-descent procedure is described. A simple further descent is then described which only uses integer arithmetic. Numerous examples are…

For polynomials and rational maps of fixed degree over a finite field, we bound both the average number of connected components of their functional graphs as well as the average number of periodic points of their associated dynamical…

Over fields of characteristic zero, we show that for $n=1,d\geq4$ or $n=2,d\geq5$ or $n\geq3, d\geq 2n$, the generic $m$-marked degree-$d$ hypersurface in $\mathbb{P}^{n+1}$ admits the $m$ marked points as all the rational points. Over…

For $E_{b}: y^{2}=x^{3}+b$, we establish Lang's conjecture on a lower bound for the canonical height of non-torsion points along with upper and lower bounds for the difference between the canonical and logarithmic height. In many cases, our…

We produce a short and elementary algorithm to compute an upper bound for the canonical dimension of a spit semisimple linear algebraic group. Using this algorithm we confirm previously known bounds by Karpenko and Devyatov as well as we…

We consider drawings of graphs in the plane in which vertices are assigned distinct points in the plane and edges are drawn as simple curves connecting the vertices and such that the edges intersect only at their common endpoints. There is…

We show that if $f : \mathbb{A}_{\bar{\mathbb{Q}}}^r \to \mathbb{A}_{\bar{\mathbb{Q}}}^r$ is a regular self-map and $P \in \mathbb{A}^r(\bar{\mathbb{Q}})$ has $\limsup_{n \in \mathbb{N}} \frac{\log{h_{\mathrm{aff}}(f^nP)}}{\log{n}} < 1/r$,…

We show that the canonical-lift construction for ordinary elliptic curves over perfect fields of characteristic $p>0$ extends uniquely to arbitrary families of ordinary elliptic curves, even over $p$-adic formal schemes. In particular, the…

We give a mathematical structure on an arithmetic surface, that has algebraic meanings over finite places and can estimate the canonical norm for a relative differential form on the arithmetic surface. This will give a lower bound for the…

We look at Bohemians, specifically those with population $\{-1, 0, {+1}\}$ and sometimes $\{0,1,i,-1,-i\}$. More, we specialize the matrices to be upper Hessenberg Bohemian. From there, focusing on only those matrices whose characteristic…

This survey is a presentation of the arguments in the proof that Henon-like maps f_a(x,y)=(1-a x^2,0) + R(a,x,y) with |R(a,x,y)|< b have a "strange attractor", with positive Lebesgue probability in the parameter "a", if the perturbation…

A rational triangle is a triangle with rational sides and rational area. A Heron triangle is a triangle with integral sides and integral area. In this article we will show that there exist infinitely many rational parametrizations, in terms…

We construct three sequences of regular surfaces of general type with unbounded numerical invariants whose canonical map is 2-to-1 onto a canonically embedded surface. Only sporadic examples of surfaces with these properties were previously…

We establish an explicit lower bound for the N\'eron-Tate height on elliptic curves with complex multiplication, for nontorsion points defined over the maximal abelian extension of a number field. Building on a strategy developed by…

Canonical quantization relies on Cartesian, canonical, phase-space coordinates to promote to Hermitian operators, which also become the principal ingredients in the quantum Hamiltonian. While generally appropriate, this procedure can also…

An asymptotic formula is established for the number of rational points of bounded anticanonical height which lie on a certain Zariski open subset of an arbitrary smooth biquadratic hypersurface in sufficiently many variables. The proof uses…

In this paper geometric properties of infinitely renormalizable real H\'enon-like maps $F$ in $\R^2$ are studied. It is shown that the appropriately defined renormalizations $R^n F$ converge exponentially to the one-dimensional…

Consider the celebrated Lyness recurrence $x_{n+2}=(a+x_{n+1})/x_{n}$ with $a\in\Q$. First we prove that there exist initial conditions and values of $a$ for which it generates periodic sequences of rational numbers with prime periods…

Let $\F_p = \Z/p\Z$. The \emph{height} of a point $\mathbf{a}=(a_1,..., a_d) \in \F_p^d$ is $h_p(\mathbf{a}) = \min \left\{\sum_{i=1}^d (ka_i \mod p) : k=1,...,p-1\right\}.$ Explicit formulas and estimates are obtained for the values of the…

We look at Bohemian matrices, specifically those with entries from $\{-1, 0, {+1}\}$. More, we specialize the matrices to be upper Hessenberg, with subdiagonal entries $\pm1$. Many properties remain after these specializations, some of…