Tropicalization and Irreducibility of Generalized Vandermonde Determinants

Total Page:16

File Type:pdf, Size:1020Kb

Tropicalization and Irreducibility of Generalized Vandermonde Determinants PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 137, Number 11, November 2009, Pages 3647–3656 S 0002-9939(09)09951-1 Article electronically published on June 12, 2009 TROPICALIZATION AND IRREDUCIBILITY OF GENERALIZED VANDERMONDE DETERMINANTS CARLOS D’ANDREA AND LUIS FELIPE TABERA (Communicated by Martin Lorenz) Abstract. We find geometric and arithmetic conditions in order to charac- terize the irreducibility of the determinant of the generic Vandermonde matrix over the algebraic closure of any field k. We also characterize those determi- nants whose tropicalization with respect to the variables of a row is irreducible. 1. Introduction Let n, N be positive integers, let X1,...,XN be n-tuples of indeterminates, i.e. Xi := Xi1,...,Xin ,i=1,...,N, where each Xij is an indeterminate, and let Γ := γ1,...,γN be an N-tuple of n vectors in N , with γj =(γj1,...,γjn). Set γ11 γ12 γ1n γN1 γN2 γNn X X ···X ...... X X ···X 11 12 1n 11 12 1n γ11 γ12 γ1n γN1 γN2 γNn X X ···X ...... X X ···X 21 22 2n 21 22 2n V (X, Γ) := . ......... γ11 γ12 ··· γ1n γN1 γN2 ··· γNn XN1 XN2 XNn ...... XN1 XN2 XNn We call the polynomial V (X, Γ) ∈ Z (Xi,j)1≤i≤N,1≤j≤n the generalized Vander- monde determinant associated to Γ. Example 1.1. If n =1andΓ=(0, 1,...,N − 1), then V (X, Γ) = ± (Xi1 − Xj1), 1≤i<j≤N the classical Vandermonde determinant. Received by the editors March 14, 2008, and, in revised form, February 27, 2009. 2000 Mathematics Subject Classification. Primary 12E05; Secondary 14M12. Key words and phrases. Vandermonde determinants, multivariate factorization, tropical ge- ometry, valuations. The first author was supported by the Programa Ram´on y Cajal and the Research Project grant MTM2007–67493 from the Ministerio de Educaci´on y Ciencia, Spain. The second author was supported by the Research Project grant MTM2005-08690-CO2-02 and a postdoctoral fellowship from the Ministerio de Educaci´on y Ciencia, Spain. c 2009 American Mathematical Society Reverts to public domain 28 years from publication 3647 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 3648 CARLOS D’ANDREA AND LUIS FELIPE TABERA Example 1.2. It is a classical result (see for instance [Mac]) that if n =1,thenfor any set Γ ⊂ N of N elements, the determinant V (X, Γ) is a multiple of the classical − Vandermonde determinant 1≤i<j≤N (Xi1 Xj1). Example 1.3. Suppose n =2,N = 3 and Γ := ((2, 0), (0, 2), (2, 2)). By computing the 3 × 3 determinant we have that V (X, Γ) is equal to 2 2 2 2 − 2 2 2 2 − 2 2 2 2 X11X22X31X32 X11X32X21X22 X12X21X31X32 2 2 2 2 2 2 2 2 − 2 2 2 2 + X12X31X21X22 + X11X12X21X32 X11X12X31X22. { } Set Γ := (1, 0), (0, 1), (1, 1) ;itiseasytoseethat • If char(k) =2,V(X, Γ) is absolutely irreducible over k (Xi,j )1≤i≤N,1≤j≤n (i.e. irreducible over k (Xi,j )1≤i≤N,1≤j≤n , k being the algebraic closure of k). 2 • If char(k)=2,thenV (X, Γ) = V (X, Γ ) in k (Xi,j )1≤i≤N,1≤j≤n . Example 1.4. As an easy exercise, it can be proved that if Γ ⊂ Nn is contained in an affine line, then V (X, Γ) factorizes in a similar way as in Example 1.2. In the univariate case (n = 1), the Vandermonde determinant is associated with the interpolation problem, and it has been extensively studied (see [GV, Gow, ElM] and the references therein). The multivariate interpolation problem is naturally as- sociated with generalized Vandermonde determinants, and there is also an extensive and current literature on the topic. See for instance [CL, GS, LS, Olv, Zhu]. The purpose of this article is to study the irreducibility of V (X, Γ). As Ex- ample 1.3 suggests, the answer will depend on the characteristic of k. Also, our intuition from the univariate case may lead us to believe that generalized Vander- monde determinants have lots of irreducible factors. Our main result essentially tells us that in general these polynomials are absolutely irreducible. There are some trivial factors that can already be read from the set of exponents. { } Let γ := (g1 ...,gn)whereeachgi is defined as min γ1i,...,γN i , i =1,...,n. It is easy to check that the following factorization holds: n N gi V X, (γ1,...,γN ) = Xij V X, (γ1 − γ,...,γN − γ) , i=1 j=1 where V X, (γ1 − γ,...,γN − γ) has no monomial factor. Let dΓ be the largest 1 n n integer such that {γ1 − γ,...,γN − γ}⊂N , and let LΓ ⊂ R be the affine dΓ subspace spanned by Γ. Theorem 1.5. Let N ≥ 3. The Vandermonde polynomial V (X, Γ) is irreducible in k (Xij)1≤i,j,≤N if and only if the following three conditions apply: • dim(LΓ)≥ 2, • γi gcd X 1≤i≤N =1or equivalently γ =(0,...,0), • char(k) does not divide dΓ. Note that dim(LΓ) ≥ 2 implies N ≥ 3andn>1. When n =2andN = 3 or 4, Theorem 1.5 can also be obtained from an application of Ostrowski’s work [Ost] on the irreducibility of fewnomials (see also [BP]). We will prove the general case by making use of Bertini’s theorem on the variety defined by V (X, Γ), and applying some results concerning algebraic independence of maximal Vandermonde minors obtained in [Tab]. License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use GENERALIZED VANDERMONDE DETERMINANTS 3649 When dealing with the problem of factorizing multivariate polynomials, several approaches like those given in [Ost, Gao] focus on the irreducibility of the Newton polytope of the polynomial with respect to the operation of computing Minkowski sums, which gives sufficient conditions to show irreducibility. A refinement of this method can be obtained with the aid of tropical geometry: instead of working with Newton polytopes, we can study regular subdivisions of them. So, we can cover more general families of polynomials, but at the cost of losing track of the characteristic of the ground field k. In our case, the problem can be dealt with as follows: by expanding the determi- nant of the generalized Vandermonde determinant with respect to the first row, we N γ − σi i get the following expansion: V (X, Γ) = i=1( 1) ∆iX1 . For the irreducibility problem, it is enough to consider a dehomogenized version of V (X, Γ) as follows: N−1 γN γi V (X, Γ)aff := X1 + AiX1 , i=1 σ ∆i where Ai := (−1) i ,i=1,...N − 1. ∆N WecanthenregardV (X, Γ)aff as a polynomial in K[X1], K beingnowafield containing all the Ai’s, i =1,...,N − 1. Given any rank one valuation v : K → R, we can extend it to Kn componentwise as follows: v : Kn → Rn (z1,...,zn) → (v(z1),...,v(zn)). The tropicalization of V (X, Γ) is then defined as n Trop(V (X, Γ)) = v({V (X, Γ)aff =0}) ⊆ R , where the closure on the right hand side is taken with respect to the standard topology in Rn. It turns out (see for instance [BG] or [EKL]) that Trop(V (X, Γ)) is a connected polyhedral complex of codimension 1. If V (X, Γ)aff is reducible over K[X1], then Trop(V (X, Γ)) is a reducible tropical hypersurface; i.e. it can be expressed as the union of two proper tropical hypersurfaces. So, if we prove that for a special valuation v,Trop(V (X, Γ)) is irreducible, then V (X, Γ) will be irreducible over any field k. Theorem 1.6. Let N ≥ 3. Given any field K ⊇ k(A1,...,AN−1),thereexists a valuation v defined over K such that Trop(V (X, Γ)) is an irreducible tropical variety if and only if: • dim(LΓ)≥ 2, • γi gcd X 1≤i≤N =1or equivalently γ =(0,...,0), • dΓ =1. This result is optimal in the following sense: it is known that Trop({f =0}) does not depend on the field but only on the values v(Ai). N i Take for instance f = i=0 AiY over a field of characteristic zero with dΓ > 1, N i and let g := i=0 BiY be a polynomial with the same support and with coefficients in a field of characteristic p|dΓ. Give to these polynomials valuations v and v such that v (Bi)=v(Ai). In these conditions, we will have Trop({g =0})=Trop({f =0}), License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 3650 CARLOS D’ANDREA AND LUIS FELIPE TABERA N 1/p i/p p but g =( i=0 Bi Y ) factorizes in the algebraic closure of its field of definition; hence Trop({f =0}) will always be reducible. So, the tropical criteria will not help to deduce the irreducibility of f. The paper is organized as follows: in Section 2, we give explicit conditions for the irreducibility of the Vandermonde variety. In Section 3 we prove Theorem 1.5. We conclude by introducing some tools from tropical geometry and by proving Theorem 1.6 in Section 4. 2. Bertini’s theorem and the irreducibility of the Vandermonde variety We begin by studying the geometric irreducibility of the variety defined by Nn V (X, Γ) in k . In order to do this, we will apply one of the several versions of Bertini’s theorem given in [Jou].
Recommended publications
  • Effective Noether Irreducibility Forms and Applications*
    Appears in Journal of Computer and System Sciences, 50/2 pp. 274{295 (1995). Effective Noether Irreducibility Forms and Applications* Erich Kaltofen Department of Computer Science, Rensselaer Polytechnic Institute Troy, New York 12180-3590; Inter-Net: [email protected] Abstract. Using recent absolute irreducibility testing algorithms, we derive new irreducibility forms. These are integer polynomials in variables which are the generic coefficients of a multivariate polynomial of a given degree. A (multivariate) polynomial over a specific field is said to be absolutely irreducible if it is irreducible over the algebraic closure of its coefficient field. A specific polynomial of a certain degree is absolutely irreducible, if and only if all the corresponding irreducibility forms vanish when evaluated at the coefficients of the specific polynomial. Our forms have much smaller degrees and coefficients than the forms derived originally by Emmy Noether. We can also apply our estimates to derive more effective versions of irreducibility theorems by Ostrowski and Deuring, and of the Hilbert irreducibility theorem. We also give an effective estimate on the diameter of the neighborhood of an absolutely irreducible polynomial with respect to the coefficient space in which absolute irreducibility is preserved. Furthermore, we can apply the effective estimates to derive several factorization results in parallel computational complexity theory: we show how to compute arbitrary high precision approximations of the complex factors of a multivariate integral polynomial, and how to count the number of absolutely irreducible factors of a multivariate polynomial with coefficients in a rational function field, both in the complexity class . The factorization results also extend to the case where the coefficient field is a function field.
    [Show full text]
  • The Origin of Representation Theory
    THE ORIGIN OF REPRESENTATION THEORY KEITH CONRAD Abstract. Representation theory was created by Frobenius about 100 years ago. We describe the background that led to the problem which motivated Frobenius to define characters of a finite group and show how representation theory solves the problem. The first results about representation theory in characteristic p are also discussed. 1. Introduction Characters of finite abelian groups have been used since Gauss in the beginning of the 19th century, but it was only near the end of that century, in 1896, that Frobenius extended this concept to finite nonabelian groups [21]. This approach of Frobenius to group characters is not the one in common use today, although some of his ideas that were overlooked for a long period have recently been revived [30]. Here we trace the development of the problem whose solution led Frobenius to introduce characters of finite groups, show how this problem can be solved using classical representa- tion theory of finite groups, and indicate some relations between this problem and modular representations. Other surveys on the origins of representation theory are by Curtis [7], Hawkins [24, 25, 26, 27], Lam [32], and Ledermann [35]. While Curtis describes the development of modular representation theory focusing on the work of Brauer, we examine the earlier work in characteristic p of Dickson. 2. Circulants For a positive integer n, consider an n × n matrix where each row is obtained from the previous one by a cyclic shift one step to the right. That is, we look at a matrix of the form 0 1 X0 X1 X2 :::Xn−1 B Xn−1 X0 X1 :::Xn−2 C B C B .
    [Show full text]
  • Fast Parallel Absolute Irreducibility Testing*
    Fast Parallel Absolute Irreducibility Testing* ErichKaltofen University of Toronto Department of Computer Science Toronto, Ontario M5S1A4, Canada Abstract We present a fast parallel deterministic algorithm for testing multivariate integral polyno- mials for absolute irreducibility,that is irreducibility overthe complexnumbers. More precisely, we establish that the set of absolutely irreducible integral polynomials belongs to the complexity class NC of Boolean circuits of polynomial size and logarithmic depth. Therefore it also belongs to the class of sequentially polynomial-time problems. Our algorithm can be extended to com- pute in parallel one irreducible complexfactor of a multivariate integral polynomial. However, the coefficients of the computed factor are only represented modulo a not necessarily irreducible polynomial specifying a splitting field. Aconsequence of our algorithm is that multivariate poly- nomials overfinite fields can be tested for absolute irreducibility in deterministic sequential poly- nomial time in the size of the input. We also obtain a sharp bound for the last prime p for which, when taking an absolutely irreducible integral polynomial modulo p,the polynomial’sirre- ducibility in the algebraic closure of the finite field of order p is not preserved. Ke ywords:Absolute Irreducibility,Polynomial-Time Complexity,Parallel Algorithm. *This research was partially supported by the National Science and Engineering Council of Canada under grant 3-643-126-90. Author’scurrent address: Rensselaer Polytechnic Institute, Department of Computer Science, Troy, New York, 12181. This paper appears in the Journal of Symbolic Computation, vol. 1, nr.1,pp. 57-67 (1985). -2- 1. Introduction The determination of the irreducibility of a polynomial with coefficients in a unique factor- ization domain is an old problem.
    [Show full text]
  • Arxiv:1711.06021V3 [Math.CO] 29 Apr 2021
    PROBABILITIES OF INCIDENCE BETWEEN LINES AND A PLANE CURVE OVER FINITE FIELDS MEHDI MAKHUL∗, JOSEF SCHICHO⋄, AND MATTEO GALLET• Abstract. We study the probability for a random line to intersect a given plane curve, over a finite field, in a given number of points over the same field. In particular, we focus on the limits of these probabilities under successive finite field extensions. Supposing absolute irreducibility for the curve, we show how a variant of the Chebotarev density theorem for function fields can be used to prove the existence of these limits, and to compute them under a mildly stronger condition, known as simple tangency. Partial results have already appeared in the literature, and we propose this work as an introduction to the use of the Chebotarev theorem in the context of incidence geometry. Finally, Veronese maps allow us to compute similar probabilities of intersection between a given curve and random curves of given degree. 1. Introduction What is the probability that a random line in the (affine or projective) plane intersects a curve of given degree in a given number of points? More precisely, what happens if we consider a finite field with q elements as base field, and then we ask the same question for a field with q2, q3,...,qN elements, analyzing how these probabilities behave as N goes to infinity? In this work we investigate this problem by means of algebro-geometric techniques. Recently, the interplay be- tween combinatorial problems and algebraic techniques has become more and more common, and has been revealing to be extremely fruitful.
    [Show full text]
  • GROUP REPRESENTATIONS and LATTICES This Paper Began As An
    JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 3, Number 4, October 1990 GROUP REPRESENTATIONS AND LATTICES BENEDICT H. GROSS This paper began as an attempt to understand the Euclidean lattices that were recently constructed (using the theory of elliptic curves) by Elkies [E] and Shioda [Sh I, Sh2], from the point of view of group representations. The main idea appears in a note of Thompson [Th2]: if one makes strong irreducibility hypotheses on a rational representation V of a finite group G, then the G-stable Euclidean lattices in V are severely restricted. Unfortunately, these hypotheses are rarely satisfied when V is absolutely irreducible over Q. But there are many examples where the ring EndG ( V) is an imaginary quadratic field or a definite quaternion algebra. These representations allow us to construct some of the Mordell-Weillattices considered by Elkies and Shioda, as well as some interesting even unimodular lattices that do not seem to come from the theory of elliptic curves. In § I we discuss lattices and Hermitian forms on T/, and in §§2-4 the strong irreducibility hypotheses we wish to make. In §5 we show how our hypotheses imply the existence of a finite number (up to isomorphism) of Euclidean Z[G]- lattices L in V with EndG(L) a maximal order in EndG(V). We give some examples with dim V :5 8 in §6, and in §§7-9 discuss the invariants of L, such as the dual lattice and theta function. The rest of the paper is devoted to examples: in most, G is a finite group of Lie type and V is obtained as an irreducible summand of the Weil representation of G.
    [Show full text]
  • Pre-Publication Accepted Manuscript
    Gebhard B¨ockle, Wojciech Gajda, Sebastian Petersen On the semisimplicity of reductions and adelic openness for E-rational compatible systems over global function fields Transactions of the American Mathematical Society DOI: 10.1090/tran/7788 Accepted Manuscript This is a preliminary PDF of the author-produced manuscript that has been peer-reviewed and accepted for publication. It has not been copyedited, proofread, or finalized by AMS Production staff. Once the accepted manuscript has been copyedited, proofread, and finalized by AMS Production staff, the article will be published in electronic form as a \Recently Published Article" before being placed in an issue. That electronically published article will become the Version of Record. This preliminary version is available to AMS members prior to publication of the Version of Record, and in limited cases it is also made accessible to everyone one year after the publication date of the Version of Record. The Version of Record is accessible to everyone five years after publication in an issue. On the semisimplicity of reductions and adelic openness for E-rational compatible systems over global function fields Gebhard B¨ockle, Wojciech Gajda and Sebastian Petersen October 10, 2018 Contents 1 Introduction 2 2 Notation 7 3 Basic results on compatible systems over function fields 9 3.1 Compatible systems . .9 3.2 The motivic group . 13 3.3 Reduction to the curve case and almost independence . 16 3.4 Geometric monodromy . 17 4 Absolute irreducibility 18 4.1 Basic results on absolute irreducibility . 18 4.2 Chin's theorem in the non-pure case . 20 4.3 G-compatible systems .
    [Show full text]
  • Testing Modules for Irreducibility
    J. Austral. Math. Soc. (Series A) 57 (1994), 1-16 TESTING MODULES FOR IRREDUCIBILITY DEREK F. HOLT and SARAH REES (Received 13 May 1993) Communicated by L. G. Kovfics Abstract A practical method is described for deciding whether or not a finite-dimensional module for a group over a finite field is reducible or not. In the reducible case, an explicit submodule is found. The method is a generalisation of the Parker-Norton 'Meataxe' algorithm, but it does not depend for its efficiency on the field being small. The principal tools involved are the calculation of the nullspace and the characteristic polynomial of a matrix over a finite field, and the factorisation of the latter. Related algorithms to determine absolute irreducibility and module isomorphism for irreducibles are also described. Details of an implementation in the GAP system, together with some performance analyses are included. 1991 Mathematics subject classification (Amer. Math. Soc): 20C40, 20-04. 1. Introduction The purpose of this paper is to describe a practical method for deciding whether or not a finite dimensional FG-module M is irreducible, where F = GF(q) is a finite field and G is a finite group. The module is assumed to be defined by matrices over F for a set of generators of the group. The method is a generalisation of the 'Meataxe' algorithm of Richard Parker, which is described in [8]. Unlike Parker's algorithm, however, it does not depend on the field F being small. In fact, on the assumption that the field operations within F are performed using look-up tables, its performance is virtually independent of the field.
    [Show full text]
  • Irreducibility Tests Over K O of Degree at Most D
    Using approximate roots for irreducibility and equi-singularity issues in K[[x]][y] Adrien POTEAUX, CRIStAL-INRIA Universit´ede Lille UMR CNRS 9189, Bˆatiment M3 59655 Villeneuve d’Ascq, France [email protected] Martin WEIMANN, GAATI∗ Universit´ede Polyn´esie Fran¸caise BP 6570, 98702 Faa’a [email protected] November 6, 2019 We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the discriminant valuation, 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 F is pseudo- irreducible, the algorithm computes also the discriminant valuation of F and arXiv:1904.00286v2 [math.AG] 5 Nov 2019 the equisingularity classes of the germs of plane curves defined by F along the fiber x = 0. ∗ Current delegation. Permanent position at LMNO, University of Caen-Normandie, BP 5186, 14032 Caen Cedex, France. 1 1 Introduction Context and main result. This paper provides new complexity results for testing the irreducibility of polynomials with coefficients in a ring of formal power series of charac- teristic zero or big enough. We consider K a perfect field, x and y two indeterminates over K and F K[[x]][y] a polynomial of degree d.
    [Show full text]
  • Semi-Numerical Absolute Factorization of Polynomials with Integer Coefficients
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Symbolic Computation 37 (2004) 557–574 www.elsevier.com/locate/jsc Semi-numerical absolute factorization of polynomials with integer coefficients David Rupprecht Laboratoire de Math´ematiques, Universit´edeNice-Sophia Antipolis, Parc Valrose, Nice 06108, Cedex 2, France Accepted 5 March 2001 Abstract In this paper, we propose a semi-numerical algorithm for computing absolute factorization of multivariate polynomials. It is based on some properties appearing after a generic change of coordinate. Using numerical computation, Galois group action and rational approximation, this method provides an efficient probabilistic algorithm for medium degrees. Two implementations are presented and compared to other algorithms. © 2003 Published by Elsevier Ltd Keywords: Polynomials; Algorithm 1. Introduction The computation of absolute factorization of polynomials has been studied by many authors these last years (Kaltofen, 1985, 1995; Duval, 1991; Sasaki et al., 1991; Yokoyama et al., 1992; Galligo and Watt, 1997). However, implementations of the current algorithms in classical system like Maple or Mathematica or more specialized packages can hardly handle general bivariate polynomials with degree higher than 15. In this paper, we focus on the following problem: given a multivariate polynomial P with rational coefficients, is it possible to find its factorization over C?Moreprecisely, is it possible to find a minimal extension Q[α] of Q and an irreducible (on C)factor of P in that extension? Various algorithms have been proposed to solve this problem. Classical CA system use an implementation of the “Single Extension Method”.
    [Show full text]
  • Arxiv:2106.14593V1 [Math.NT] 28 Jun 2021 Oyoil Ihcecet N[ in Coefficients with Polynomials Reuiiiyterm[0 Httenumber the That [30] Theorem Irreducibility fields
    TOWARDS VAN DER WAERDEN’S CONJECTURE SAM CHOW AND RAINER DIETMANN Abstract. How often is a quintic polynomial solvable by radicals? We establish that the number of such polynomials, monic and irreducible with integer coefficients in [−H,H], is O(H3.91). More generally, we show that if n > 3 and n∈ / {7, 8, 10} then there are O(Hn−1.017) monic, irreducible polynomials of degree n with integer coefficients in [−H,H] and Galois group not containing An. Save for the alternating group and degrees 7, 8, 10, this establishes a 1936 conjecture of van der Waerden. 1. Introduction 1.1. Counting solvable quintics. By the Abel–Ruffini theorem, there are integer quintic polynomials that cannot be solved by radicals. But how often is a quintic polynomial solvable by radicals? Let H be a large, positive real number. In this article, one objective is to count monic, irreducible quintic polynomials f(X)= X5 + aX4 + bX3 + cX2 + dX + e (1.1) that are solvable by radicals, where a, b, c, d, e ∈ Z ∩ [−H,H], denoting their number by ε+25/6 N(H). It follows from a more general result [22, Theorem 1] that N(H) ≪ε H , and we are able to improve upon this. Theorem 1.1. We have ε+7/2+1/√6 3.91 N(H) ≪ε H 6 H . We will see that H4 is a significant threshold. The Galois group of a separable polynomial is the automorphism group of its splitting field [20, §6.3]. An irreducible polynomial is solvable by radicals if and only if its Galois group is a solvable group.
    [Show full text]
  • Irreducibility of Multivariate Polynomials*
    JOURNAL OF COMPUTER AND SYSTEM SCENCFS 31, 225-264 (1985) Irreducibility of Multivariate Polynomials* JOACHIM VON ZUR GATHEN Department of Computer Science, University of Toronto, Toronto, MS.9 IA4 Canada This paper deals with the problem of computing the degrees and multiplicities of the irreducible factors of a given multivariate polynomial. This includes the important question of testing for irreducibility. A probabilistic reduction from multivariate to bivariate polynomials is given, over an arbitrary (effectively computable) field. It uses an expected number of field operations (and certain random choices) that is polynomial in the length of a computation by which the input polynomial is presented, and the degree of the polynomial. Over algebraic number fields and over finite fields, we obtain polynomial-time probabilistic algorithms. They are based on an effective version of Hilbert’s irreducibility theorem. T 1985 Academic Press, Inc. 1. INTRODUCTION The problem of factoring polynomials has a venerable history going back to the last century. The first polynomial-time algorithms are Berlekamp’s [2, 31 (probabilistic) methods over finite fields. Zassenhaus[52] proposed a Hensel lifting method for integral polynomials, but no polynomial-time algorithm was known for more than a decade. Lenstra, Lenstra and Lovasz [32] provided polynomial-time factorization for univariate polynomials over the rational numbers, and Kaltofen [ 18, 19, 223 for multivariate polynomials. The subsequent results by Chistov and Grigoryev [6], von zur Gathen and Kaltofen [ 111, Landau [26], Lenstra [29-311 show that multivariate polynomials over algebraic number fields or finite fields can be factored in polynomial time. All factoring algorithms rely on a modular approach, which eventually reduces the given problem to that of univariate polynomials over finite fields, which is then solved by some variant of Berlekamp’s algorithm.
    [Show full text]
  • ON a CONJECTURE of SCHUR Michael Fried
    ON A CONJECTURE OF SCHUR Michael Fried from the MICHIGAN MATBEMA TICAL JOURNAL vol. 17 (1970) pp. 41-55 ON A CONJECTURE OF SCHUR Michael Fried The main purpose of this paper is to prove a conjecture due to I. Schur [ll, p. 1251. Let K be a number field, finite-dimensional over the rational field Q. If f(x) denotes an element of the polynomial domain K[x], then we may reduce the poly- nomial? modulo any prime /' (of the ring of integers of K) that does not appear in the denominators of the coefficients of f(x). Let Vp(f) denote the values assumed by f(x), modulo /; . An inspection of VF(f) for only a few primes cannot be expected to contribute immensely to our knowledge of f(x). However, Schur conjectured that if Vb (f) consists of all cosets modulo /<,for infinitely many p,rimes /i of K, then f(x) is a composition of polynomials of two special types: (i) axn + b (cyclic polynomials), In the lemma at the end of Section 1, we shall show that if f(x) e Q[x] is a composi- tion of polynomials of type (i) and (ii) such that the degree of f is relatively prime to 6, then f is one-to-one (mod p) for infinitely many rational primes p. The condition (deg f, 6) = 1 will also be shown to be necessary. The elegant part of the argument is due to H. Davenport. That Schur 's conjecture is true is our Theorem 2 which follows from our Theo- rem 1.
    [Show full text]