18 research outputs found
Fast Arithmetics Using Chinese Remaindering
In this paper, some issues concerning the Chinese remaindering representation
are discussed. Some new converting methods, including an efficient
probabilistic algorithm based on a recent result of von zur Gathen and
Shparlinski \cite{Gathen-Shparlinski}, are described. An efficient refinement
of the NC division algorithm of Chiu, Davida and Litow
\cite{Chiu-Davida-Litow} is given, where the number of moduli is reduced by a
factor of
Towards an exact adaptive algorithm for the determinant of a rational matrix
In this paper we propose several strategies for the exact computation of the
determinant of a rational matrix. First, we use the Chinese Remaindering
Theorem and the rational reconstruction to recover the rational determinant
from its modular images. Then we show a preconditioning for the determinant
which allows us to skip the rational reconstruction process and reconstruct an
integer result. We compare those approaches with matrix preconditioning which
allow us to treat integer instead of rational matrices. This allows us to
introduce integer determinant algorithms to the rational determinant problem.
In particular, we discuss the applicability of the adaptive determinant
algorithm of [9] and compare it with the integer Chinese Remaindering scheme.
We present an analysis of the complexity of the strategies and evaluate their
experimental performance on numerous examples. This experience allows us to
develop an adaptive strategy which would choose the best solution at the run
time, depending on matrix properties. All strategies have been implemented in
LinBox linear algebra library
A Randomized Sublinear Time Parallel GCD Algorithm for the EREW PRAM
We present a randomized parallel algorithm that computes the greatest common
divisor of two integers of n bits in length with probability 1-o(1) that takes
O(n loglog n / log n) expected time using n^{6+\epsilon} processors on the EREW
PRAM parallel model of computation. We believe this to be the first randomized
sublinear time algorithm on the EREW PRAM for this problem
An introspective algorithm for the integer determinant
We present an algorithm computing the determinant of an integer matrix A. The
algorithm is introspective in the sense that it uses several distinct
algorithms that run in a concurrent manner. During the course of the algorithm
partial results coming from distinct methods can be combined. Then, depending
on the current running time of each method, the algorithm can emphasize a
particular variant. With the use of very fast modular routines for linear
algebra, our implementation is an order of magnitude faster than other existing
implementations. Moreover, we prove that the expected complexity of our
algorithm is only O(n^3 log^{2.5}(n ||A||)) bit operations in the dense case
and O(Omega n^{1.5} log^2(n ||A||) + n^{2.5}log^3(n||A||)) in the sparse case,
where ||A|| is the largest entry in absolute value of the matrix and Omega is
the cost of matrix-vector multiplication in the case of a sparse matrix.Comment: Published in Transgressive Computing 2006, Grenade : Espagne (2006
Fast Arithmetics in Artin-Schreier Towers over Finite Fields
An Artin-Schreier tower over the finite field F_p is a tower of field
extensions generated by polynomials of the form X^p - X - a. Following Cantor
and Couveignes, we give algorithms with quasi-linear time complexity for
arithmetic operations in such towers. As an application, we present an
implementation of Couveignes' algorithm for computing isogenies between
elliptic curves using the p-torsion.Comment: 28 pages, 4 figures, 3 tables, uses mathdots.sty, yjsco.sty Submitted
to J. Symb. Compu
On Solving a Generalized Chinese Remainder Theorem in the Presence of Remainder Errors
In estimating frequencies given that the signal waveforms are undersampled
multiple times, Xia et. al. proposed to use a generalized version of Chinese
remainder Theorem (CRT), where the moduli are which are
not necessarily pairwise coprime. If the errors of the corrupted remainders are
within \tau=\sds \max_{1\le i\le k} \min_{\stackrel{1\le j\le k}{j\neq i}}
\frac{\gcd(M_i,M_j)}4, their schemes can be used to construct an approximation
of the solution to the generalized CRT with an error smaller than .
Accurately finding the quotients is a critical ingredient in their approach. In
this paper, we shall start with a faithful historical account of the
generalized CRT. We then present two treatments of the problem of solving
generalized CRT with erroneous remainders. The first treatment follows the
route of Wang and Xia to find the quotients, but with a simplified process. The
second treatment considers a simplified model of generalized CRT and takes a
different approach by working on the corrupted remainders directly. This
approach also reveals some useful information about the remainders by
inspecting extreme values of the erroneous remainders modulo . Both of
our treatments produce efficient algorithms with essentially optimal
performance. Finally, this paper constructs a counterexample to prove the
sharpness of the error bound
The complexity of class polynomial computation via floating point approximations
We analyse the complexity of computing class polynomials, that are an
important ingredient for CM constructions of elliptic curves, via complex
floating point approximations of their roots. The heart of the algorithm is the
evaluation of modular functions in several arguments. The fastest one of the
presented approaches uses a technique devised by Dupont to evaluate modular
functions by Newton iterations on an expression involving the
arithmetic-geometric mean. It runs in time for any , where
is the CM discriminant and is the degree of the class polynomial.
Another fast algorithm uses multipoint evaluation techniques known from
symbolic computation; its asymptotic complexity is worse by a factor of . Up to logarithmic factors, this running time matches the size of the
constructed polynomials. The estimate also relies on a new result concerning
the complexity of enumerating the class group of an imaginary-quadratic order
and on a rigorously proven upper bound for the height of class polynomials
Computing zeta functions of arithmetic schemes
We present new algorithms for computing zeta functions of algebraic varieties
over finite fields. In particular, let X be an arithmetic scheme (scheme of
finite type over Z), and for a prime p let zeta_{X_p}(s) be the local factor of
its zeta function. We present an algorithm that computes zeta_{X_p}(s) for a
single prime p in time p^(1/2+o(1)), and another algorithm that computes
zeta_{X_p}(s) for all primes p < N in time N (log N)^(3+o(1)). These generalise
previous results of the author from hyperelliptic curves to completely
arbitrary varieties.Comment: 23 pages, to appear in the Proceedings of the London Mathematical
Societ