On μ-symmetric polynomials

Jing Yang, Chee K. Yap

Research output: Contribution to journalArticlepeer-review


We study functions of the roots of an integer polynomial p = p(x) with m ≥ 2 distinct roots ρ = (ρ1,⋯,ρm) of multiplicity μ = (μ1,⋯,μm), μ1 ≥⋯ ≥ μm ≥ 1. Traditionally, root functions are studied via the theory of symmetric polynomials; we generalize this theory to μ-symmetric polynomials. We initiate the study of the vector space of μ-symmetric polynomials of a given degree δ via the concepts of μ-gist and μ-ideal. In particular, we are interested in the root Dμ+(r 1,⋯,rm):= Π1≤i<j≤m(ri - rj)μi+μj. The D-plus discriminant of p is D+(p):=D μ+(ρ 1,⋯,ρm). This quantity appears in the complexity analysis of the root clustering algorithm of Becker et al. (ISSAC 2016). We conjecture that Dμ+(r 1,⋯,rm) is μ-symmetric, which implies D+(p) is rational. To explore this conjecture experimentally, we introduce algorithms for checking if a given root function is μ-symmetric. We design three such algorithms: one based on Gröbner bases, another based on canonical bases and reduction, and the third based on solving linear equations. Each of these algorithms has variants that depend on the choice of a basis for the μ-symmetric functions. We implement these algorithms (and their variants) in Maple and experiments show that the latter two algorithms are significantly faster than the first.

Original languageEnglish (US)
Article number2250233
JournalJournal of Algebra and Its Applications
Issue number12
StatePublished - Dec 1 2022


  • D -plus discriminant
  • gist polynomial
  • lift polynomial
  • multiple roots
  • symmetric function
  • μ -ideal
  • μ -symmetric polynomial

ASJC Scopus subject areas

  • Algebra and Number Theory
  • Applied Mathematics


Dive into the research topics of 'On μ-symmetric polynomials'. Together they form a unique fingerprint.

Cite this