Related papers: p-adic integration on bad reduction hyperelliptic …
A new algorithms for computing discrete logarithms on elliptic curves defined over finite fields is suggested. It is based on a new method to find zeroes of summation polynomials. In binary elliptic curves one is to solve a cubic system of…
Many boundary element integral equation kernels are based on the Green's functions of the Laplace and Helmholtz equations in three dimensions. These include, for example, the Laplace, Helmholtz, elasticity, Stokes, and Maxwell's equations.…
Physically meaningful periodic solutions to certain integrable partial differential equations are given in terms of multi-dimensional theta functions associated to real Riemann surfaces. Typical analytical problems in the numerical…
This paper is an attempt to solve an important class of hypersingular integral equations of the second kind. To this end, we apply a new weighted and modified perturbation method which includes some special cases of the Adomian…
In this work we bring to light some anabelian behaviours of analytic curves in the setting of Berkovich geometry. We show more precisely that the knowledge of the tempered fundamental group of some curves that we call analytically anabelian…
Given a principally polarized abelian variety $A$ of dimension $g$ over an algebraically closed field $k$ of characteristic $p$, the $p$ torsion $A[p]$ is a finite flat $p$-torsion group scheme of rank $p^{2g}$. There are exactly $2^g$…
The arithmetic of elliptic curves, namely polynomial addition and scalar multiplication, can be described in terms of global sections of line bundles on $E\times E$ and $E$, respectively, with respect to a given projective embedding of $E$…
We provide a unified analysis of a posteriori and a priori error bounds for a broad class of discontinuous Galerkin and $C^0$-IP finite element approximations of fully nonlinear second-order elliptic Hamilton--Jacobi--Bellman and Isaacs…
We give a new construction of $p$-adic heights on varieties over number fields using $p$-adic Arakelov theory. In analogy with Zhang's construction of real-valued heights in terms of adelic metrics, these heights are given in terms of…
We design algorithms for computing values of many p-adic elementary and special functions, including logarithms, exponentials, polylogarithms, and hypergeometric functions. All our algorithms feature a quasi-linear complexity with respect…
We present a database of rational elliptic curves, up to Q-isomorphism, with good reduction outside {2,3,5,7,11,13}. We provide a heuristic involving the abc and BSD conjectures that the database is likely to be the complete set of such…
We investigate the iterative methods proposed by Maz'ya and Kozlov (see [3], [4]) for solving ill-posed reconstruction problems modeled by PDE's. We consider linear time dependent problems of elliptic, hyperbolic and parabolic types. Each…
In this paper we study the reduction of $p$-cyclic covers of the $p$-adic line ramified at exactly four points. For $p=2$ these covers are elliptic curves and Deuring has given a criterion for when such a curve has good reduction. Here we…
Given a finite morphism $\varphi:Y\to X$ of quasi-smooth Berkovich curves over a complete, algebraically closed field $k$ of characteristic $0$, we prove a Riemann-Hurwitz formula relating their Euler-Poincar\'e characteristics (calculated…
Contour integral algorithms seek to compute a small number of eigenvalues located within a bounded region of the complex plane. These methods can be applied to both linear and nonlinear matrix eigenvalue problems. In the latter case, the…
In this article we explain the Buium--Coleman approach to the Manin--Mumford conjecture, and outline its generalisations. As an illustration, we give a $p$-adic proof of a theorem of Bombieri, Masser and Zannier on curves in tori.
We prove that the p-adic height pairing of Nekovar, considered for algebraic curves, gives the p-adic height pairing of Coleman and Gross, defined using Coleman integration.
Building on the positive solution of Pillay's conjecture we present a notion of "intrinsic" reduction for elliptic curves over a real closed field K. We compare such notion with the traditional algebro-geometric reduction and produce a…
Motivated by an application to LDPC (low density parity check) algebraic geometry codes described by Voloch and Zarzar, we describe a computational procedure for establishing an upper bound on the arithmetic or geometric Picard number of a…
Let $X$ be a smooth projective curve over a finite field of characteristic $p$. We describe and implement a practical algorithm for computing the $p$-divisible group $Jac(X)[p^\infty]$ via computing its Dieudonn\'{e} module, or equivalently…