710 research outputs found
Using approximate roots for irreducibility and equi-singularity issues in K[[x]][y]
We provide an irreducibility test in the ring K[[x]][y] whose complexity is
quasi-linear with respect to the valuation of the discriminant, assuming the
input polynomial F square-free and K a perfect field of characteristic zero or
greater than deg(F). The algorithm uses the theory of approximate roots and may
be seen as a generalization of Abhyankhar's irreducibility criterion to the
case of non algebraically closed residue fields. More generally, we show that
we can test within the same complexity if a polynomial is pseudo-irreducible, a
larger class of polynomials containing irreducible ones. If is
pseudo-irreducible, the algorithm computes also the valuation of the
discriminant and the equisingularity types of the germs of plane curve defined
by F along the fiber x=0.Comment: 51 pages. Title modified. Slight modifications in Definition 5 and
Proposition 1
Sequences of irreducible polynomials without prescribed coefficients over odd prime fields
In this paper we construct infinite sequences of monic irreducible
polynomials with coefficients in odd prime fields by means of a transformation
introduced by Cohen in 1992. We make no assumptions on the coefficients of the
first polynomial of the sequence, which belongs to \F_p [x], for some
odd prime , and has positive degree . If for
some odd integer and non-negative integer , then, after an initial
segment with , the degree of the polynomial
is twice the degree of for any .Comment: 10 pages. Fixed a typo in the reference
Note on Integer Factoring Methods IV
This note continues the theoretical development of deterministic integer
factorization algorithms based on systems of polynomials equations. The main
result establishes a new deterministic time complexity bench mark in integer
factorization.Comment: 20 Pages, New Versio
On the discrete logarithm problem in finite fields of fixed characteristic
For a prime power, the discrete logarithm problem (DLP) in
consists in finding, for any
and , an integer such that . We present
an algorithm for computing discrete logarithms with which we prove that for
each prime there exist infinitely many explicit extension fields
in which the DLP can be solved in expected quasi-polynomial
time. Furthermore, subject to a conjecture on the existence of irreducible
polynomials of a certain form, the algorithm solves the DLP in all extensions
in expected quasi-polynomial time.Comment: 15 pages, 2 figures. To appear in Transactions of the AM
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
Factoring bivariate lacunary polynomials without heights
We present an algorithm which computes the multilinear factors of bivariate
lacunary polynomials. It is based on a new Gap Theorem which allows to test
whether a polynomial of the form P(X,X+1) is identically zero in time
polynomial in the number of terms of P(X,Y). The algorithm we obtain is more
elementary than the one by Kaltofen and Koiran (ISSAC'05) since it relies on
the valuation of polynomials of the previous form instead of the height of the
coefficients. As a result, it can be used to find some linear factors of
bivariate lacunary polynomials over a field of large finite characteristic in
probabilistic polynomial time.Comment: 25 pages, 1 appendi
An examination of the structure of extension families of irreducible polynomials over finite fields
In this paper we examine the behavior of particular family of polynomial over a
nite eld. The family studied is that obtained by composing an irreducible poly-
nomial with prime power monomials. We examine methods of testing irreducibility
via a new method of discriminant calculation. We also provide new incite into how
the members of the given family factor when not irreducible. Further, we provided
a nite eld generalization to "Roots Appearing in Quanta", an article presented by
Perlis
- âŠ