73 research outputs found
An O(M(n) log n) algorithm for the Jacobi symbol
The best known algorithm to compute the Jacobi symbol of two n-bit integers
runs in time O(M(n) log n), using Sch\"onhage's fast continued fraction
algorithm combined with an identity due to Gauss. We give a different O(M(n)
log n) algorithm based on the binary recursive gcd algorithm of Stehl\'e and
Zimmermann. Our implementation - which to our knowledge is the first to run in
time O(M(n) log n) - is faster than GMP's quadratic implementation for inputs
larger than about 10000 decimal digits.Comment: Submitted to ANTS IX (Nancy, July 2010
A one-dimensional Vlasov-Maxwell equilibrium for the force-free Harris sheet
In this paper the first non-linear force-free Vlasov-Maxwell equilibrium is
presented. One component of the equilibrium magnetic field has the same spatial
structure as the Harris sheet, but whereas the Harris sheet is kept in force
balance by pressure gradients, in the force-free solution presented here force
balance is maintained by magnetic shear. Magnetic pressure, plasma pressure and
plasma density are constant. The method used to find the equilibrium is based
on the analogy of the one-dimensional Vlasov-Maxwell equilibrium problem to the
motion of a pseudo-particle in a two-dimensional conservative potential. This
potential is equivalent to one of the diagonal components of the plasma
pressure tensor. After finding the appropriate functional form for this
pressure tensor component, the corresponding distribution functions can be
found using a Fourier transform method. The force-free solution can be
generalized to a complete family of equilibria that describe the transition
between the purely pressure-balanced Harris sheet to the force-free Harris
sheet.Comment: 10 pages, 2 figures, submitted to PRL, revised versio
Gradual sub-lattice reduction and a new complexity for factoring polynomials
We present a lattice algorithm specifically designed for some classical
applications of lattice reduction. The applications are for lattice bases with
a generalized knapsack-type structure, where the target vectors are boundably
short. For such applications, the complexity of the algorithm improves
traditional lattice reduction by replacing some dependence on the bit-length of
the input vectors by some dependence on the bound for the output vectors. If
the bit-length of the target vectors is unrelated to the bit-length of the
input, then our algorithm is only linear in the bit-length of the input
entries, which is an improvement over the quadratic complexity floating-point
LLL algorithms. To illustrate the usefulness of this algorithm we show that a
direct application to factoring univariate polynomials over the integers leads
to the first complexity bound improvement since 1984. A second application is
algebraic number reconstruction, where a new complexity bound is obtained as
well
Improving the Berlekamp Algorithm for Binomials x n âââa
In this paper, we describe an improvement of the Berlekamp algorithm, a method for factoring univariate polynomials over finite fields, for binomials xn âa over finite fields Fq. More precisely, we give a deterministic algorithm for solving the equation h(x)qâĄh(x) (mod xnâa) directly without applying the sweeping-out method to the corresponding coefficient matrix. We show that the factorization of binomials using the proposed method is performed in OË, (n log q) operations in Fq if we apply a probabilistic version of the Berlekamp algorithm after the first step in which we propose an improvement. Our method is asymptotically faster than known methods in certain areas of q, n and as fast as them in other areas
Fast linear algebra is stable
In an earlier paper, we showed that a large class of fast recursive matrix
multiplication algorithms is stable in a normwise sense, and that in fact if
multiplication of -by- matrices can be done by any algorithm in
operations for any , then it can be done
stably in operations for any . Here we extend
this result to show that essentially all standard linear algebra operations,
including LU decomposition, QR decomposition, linear equation solving, matrix
inversion, solving least squares problems, (generalized) eigenvalue problems
and the singular value decomposition can also be done stably (in a normwise
sense) in operations.Comment: 26 pages; final version; to appear in Numerische Mathemati
Finite precision measurement nullifies the Kochen-Specker theorem
Only finite precision measurements are experimentally reasonable, and they
cannot distinguish a dense subset from its closure. We show that the rational
vectors, which are dense in S^2, can be colored so that the contradiction with
hidden variable theories provided by Kochen-Specker constructions does not
obtain. Thus, in contrast to violation of the Bell inequalities, no
quantum-over-classical advantage for information processing can be derived from
the Kochen-Specker theorem alone.Comment: 7 pages, plain TeX; minor corrections, interpretation clarified,
references update
A low-memory algorithm for finding short product representations in finite groups
We describe a space-efficient algorithm for solving a generalization of the
subset sum problem in a finite group G, using a Pollard-rho approach. Given an
element z and a sequence of elements S, our algorithm attempts to find a
subsequence of S whose product in G is equal to z. For a random sequence S of
length d log_2 n, where n=#G and d >= 2 is a constant, we find that its
expected running time is O(sqrt(n) log n) group operations (we give a rigorous
proof for d > 4), and it only needs to store O(1) group elements. We consider
applications to class groups of imaginary quadratic fields, and to finding
isogenies between elliptic curves over a finite field.Comment: 12 page
Fast construction of irreducible polynomials over finite fields
International audienceWe present a randomized algorithm that on input a finite field with elements and a positive integer outputs a degree irreducible polynomial in . The running time is elementary operations. The in is a function of that tends to zero when tends to infinity. And the in is a function of that tends to zero when tends to infinity. In particular, the complexity is quasi-linear in the degree
- âŠ