Related papers: Computing Canonical Heights on Elliptic Curves in …

A theorem of Tate asserts that, for an elliptic surface E/X defined over a number field k, and a section P of E, there exists a divisor D on X such that the canonical height of the specialization of P to the fibre above t differs from the…

We give two algorithms to compute linear determinantal representations of smooth plane curves of any degree over any field. As particular examples, we explicitly give representatives of all equivalence classes of linear determinantal…

It was shown by Faltings and Hriljac that the N\'eron-Tate height of a point on the Jacobian of a curve can be expressed as the self-intersection of a corresponding divisor on a regular model of the curve. We make this explicit and use it…

In this article we give explicit formulae for a lift of the relative Frobenius morphism between elliptic curves and show how one can compute this lift in the case of ordinary reduction in odd characteristic. Our theory can also be used in…

We compute the log canonical thresholds of non-negatively curved singular hermitian metrics on ample linearized line bundles on bi-equivariant group compactifications of complex reductive groups. To this end, we associate to any such metric…

We present algorithms to compute the topology of 2D and 3D hyperelliptic curves. The algorithms are based on the fact that 2D and 3D hyperelliptic curves can be seen as the image of a planar curve (the Weierstrass form of the curve), whose…

Left-right and conjugation actions on matrix tuples have received considerable attention in theoretical computer science due to their connections with polynomial identity testing, group isomorphism, and tensor isomorphism. In this paper, we…

Given a subgroup $\Gamma$ of rational points on an elliptic curve $E$ defined over ${\mathbf Q}$ of rank $r \ge 1$ and any sufficiently large $x \ge 2$, assuming that the rank of $\Gamma$ is less than $r$, we give upper and lower bounds on…

Let X be a smooth projective curve of positive genus defined over a number field K. Assume given a Galois covering map x from X to the projective line over K and a place v of K. We introduce a local canonical height on the set of K_v-valued…

We show the existence of canonical heights of subvarieties for bounded sequences of morphisms and give some applications.

We present a novel approach to quantizing the length in noncommutative spaces with positional-dependent noncommutativity. The method involves constructing ladder operators that change the length not only along a plane but also along the…

In this article we study the inverse problem of determining a semilinear term appearing in an elliptic equation from boundary measurements. Our main objective is to develop flexible and general theoretical results that can be used for…

In characteristic $p>0$ and for $q$ a power of $p$, we compute the number of nonplanar rational curves of arbitrary degrees on a smooth Hermitian surface of degree $q+1$ under the assumption that the curves have a parametrization given by…

We describe a $O(\log n )$-approximation algorithm for computing the homotopic \Frechet distance between two polygonal curves that lie on the boundary of a triangulated topological disk. Prior to this work, algorithms were known only for…

We show that for every fixed non-negative integer k there is a quadratic time algorithm that decides whether a given graph has crossing number at most k and, if this is the case, computes a drawing of the graph in the plane with at most k…

Quantum computers are predicted to outperform classical ones for solving partial differential equations, perhaps exponentially. Here we consider a prototypical PDE - the heat equation in a rectangular region - and compare in detail the…

We consider canonical/Weyl-Moyal type noncommutative (NC) spaces with rectilinear coordinates. Motivated by the analogy of the formalism of the quantum mechanical harmonic oscillator problem in quantum phase-space with that of the…

A well-known and difficult problem in computational number theory and algebraic geometry is to write down equations for branched covers of algebraic curves with specified monodromy type. In this article, we present a technique for computing…

The canonical height associated to a polarized endomporhism of a projective variety, constructed by Call and Silverman and generalizing the N\'eron-Tate height on a polarized Abelian variety, plays an important role in the arithmetic theory…

We prove a lower bound on the canonical height associated to polynomials over number fields evaluated at points with infinite forward orbit. The lower bound depends only on the degree of the polynomial, the degree of the number field, and…