We introduce an algorithm that can be used to compute the canonical height of a point on an elliptic curve over the rationals in quasi-linear time. As in most previous algorithms, we decompose the difference between the canonical and the naive height into an archimedean and a non-archimedean term. Our main contribution is an algorithm for the computation of the non-archimedean term that require...

Non-archimedean seminorms on rings and modules provide in general a structure which is richer than the associated linear topology [3], [2]. We want to characterize Banach spaces and commutative algebras over a complete non-trivially valued nonarchimedean field K, as linearly topologized modules over the ring of integers K◦ of K, with no reference to any specific norm. This is analog to the clas...

Understanding the nature of dense particle packings is a subject of intense research in the physical, mathematical, and biological sciences. The preponderance of previous work has focused on spherical particles and very little is known about dense polyhedral packings. We formulate the problem of generating dense packings of nonoverlapping, nontiling polyhedra within an adaptive fundamental cell...

A complex manifold X is said to be hyperbolic (in the sense of Brody) if every analytic map from the complex plane C to X is constant. From Picard’s “little” theorem, an entire function missing more than two values must be constant. It is equivalent to say that P \ {0, 1,∞} is hyperbolic. Picard’s theorem also show that a Riemann surface of genus one omitting one point and Riemann surfaces of g...

The automaton transformation of infinite words over alphabet Fp = {0, 1, . . . , p− 1}, where p is a prime number, coincide with the continuous transformation (with respect to the p-adic metric) of a ring Zp of p-adic integers. The objects of the study are non-Archimedean dynamical systems generated by automata mappings on the space Zp. Measure-preservation (with the respect to the Haar measure...

This paper presents a general tail approximation method for evaluating the Valueat-Risk of any norm of random vectors with multivariate regularly varying distributions. The main result is derived using the relation between the intensity measure of multivariate regular variation and tail dependence function of the underlying copula, and in particular extends the tail approximation discussed in E...

In this paper, we study iterative methods on the coefficients of the rational univariate representation (RUR) of a given algebraic set, called global Newton iteration. We compare two natural approaches to define locally quadratically convergent iterations: the first one involves Newton iteration applied to the approximate roots individually and then interpolation to find the RUR of these approx...

A notion of completeness and completion suitable for use in the absence of countable choice is developed. This encompasses the construction of the real numbers as well as the completion of an arbitrary metric space. The real numbers are characterized as a complete archimedean Heyting …eld, a terminal object in the category of archimedean Heyting …elds.

The aim of this paper is to generalize the results of Ahmad, Ashraf and Rhoades [1] in the setting of 2 Non Archimedean Menger PM-space introduced by Renu Chugh and Sumitra [2]. In fact, 2 nonArchimedean Menger PM-space (briefly 2 N. A. Menger PM-space ) is the generalization of 2-metric space in probabilistic setting, i.e., the case where instead of the distances between two or more points one...

In this paper, we prove the generalized Hyers-Ulam stability of the quadratic functionalequation$$f(x+y)+f(x-y)=2f(x)+2f(y)$$in non-Archimedean $mathcal{L}$-fuzzy normed spaces.