19,122 research outputs found
Nearly Optimal Algorithms for the Decomposition of Multivariate Rational Functions and the Extended L\"uroth's Theorem
The extended L\"uroth's Theorem says that if the transcendence degree of
\KK(\mathsf{f}_1,\dots,\mathsf{f}_m)/\KK is 1 then there exists f \in
\KK(\underline{X}) such that \KK(\mathsf{f}_1,\dots,\mathsf{f}_m) is equal
to \KK(f). In this paper we show how to compute with a probabilistic
algorithm. We also describe a probabilistic and a deterministic algorithm for
the decomposition of multivariate rational functions. The probabilistic
algorithms proposed in this paper are softly optimal when is fixed and
tends to infinity. We also give an indecomposability test based on gcd
computations and Newton's polytope. In the last section, we show that we get a
polynomial time algorithm, with a minor modification in the exponential time
decomposition algorithm proposed by Gutierez-Rubio-Sevilla in 2001
Geometry of free loci and factorization of noncommutative polynomials
The free singularity locus of a noncommutative polynomial f is defined to be
the sequence of hypersurfaces. The main
theorem of this article shows that f is irreducible if and only if is
eventually irreducible. A key step in the proof is an irreducibility result for
linear pencils. Apart from its consequences to factorization in a free algebra,
the paper also discusses its applications to invariant subspaces in
perturbation theory and linear matrix inequalities in real algebraic geometry.Comment: v2: 32 pages, includes a table of content
Computing low-degree factors of lacunary polynomials: a Newton-Puiseux approach
We present a new algorithm for the computation of the irreducible factors of
degree at most , with multiplicity, of multivariate lacunary polynomials
over fields of characteristic zero. The algorithm reduces this computation to
the computation of irreducible factors of degree at most of univariate
lacunary polynomials and to the factorization of low-degree multivariate
polynomials. The reduction runs in time polynomial in the size of the input
polynomial and in . As a result, we obtain a new polynomial-time algorithm
for the computation of low-degree factors, with multiplicity, of multivariate
lacunary polynomials over number fields, but our method also gives partial
results for other fields, such as the fields of -adic numbers or for
absolute or approximate factorization for instance.
The core of our reduction uses the Newton polygon of the input polynomial,
and its validity is based on the Newton-Puiseux expansion of roots of bivariate
polynomials. In particular, we bound the valuation of where is
a lacunary polynomial and a Puiseux series whose vanishing polynomial
has low degree.Comment: 22 page
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
- …