Abstract:Polynomial multiplication is a fundamental problem in symbolic computation. There are efficient methods for the multiplication of two univariate polynomials. However, there is rarely efficiently nontrivial method for the multiplication of two multivariate polynomials. Therefore, we consider a new multiplication mechanism that involves a) reversibly reducing multivariate polynomials into univariate polynomials, b) calculating the product of the derived univariate polynomials by the Toom-Cook or FFT algorithm, and c) correctly recovering the product of multivariate polynomials from the product of two univariate polynomials. This work focuses on step a), expecting the degrees of the derived univariate polynomials to be as small as possible. We propose iterative Kronecker substitution, where smaller substitution exponents are selected instead of standard Kronecker substitution. We also apply the Chinese remainder theorem to polynomial reduction and find its advantages in some cases. Afterwards, we provide a hybrid reduction combining the advantages of both reduction methods. Moreover, we compare these reduction methods in terms of lower and upper bounds of the degree of the product of two derived univariate polynomials, and their computational complexities. With randomly generated multivariate polynomials, experiments show that the degree of the product of two univariate polynomials derived from the hybrid reduction can be reduced even to approximately 3% that resulting from the standard Kronecker substitution, implying an efficient subsequent multiplication of two univariate polynomials.

On the Solutions of Three Variable Frobenius Related Problems Using Order Reduction Approach

A Graphical Approach to the Frobenius Number Problem in Three Variables

Solving Order 3 Difference Equations

Diophantine equations with three monomials

Algorithmic Reduction and Rational Solutions of First Order Algebraic Difierential Equations 1)

On a problem of Frobenius in three numbers

Process Analysis On Multiple Solutions Of Semi Algebraic Systems

Solving Third Order Linear Difference Equations in Terms of Second Order Equations

Superposition, reduction of multivariable problems, and approximation

A Novel Elementary Operation Approach with Jordan Transformation to Order Reduction for Roesser State-Space Model

Symmetries and reductions of order for certain nonlinear third and second-order differential equations with arbitrary nonlinearity

Existence of Three Solutions for Nonlinear Operator Equations and Applications to Second-Order Differential Equations

Nonlinear Model Order Reduction with Low Rank Tensor Approximation

On the solution of the extended generalized order linear complementarity problem

A Solution of Simultaneous Recurrences

Generalized high-order iterative methods for solutions of nonlinear systems and their applications

Regular decomposition and a framework of order reducd methods for fourth order problems

A New Reduction Method from Multivariate Polynomials to Univariate Polynomials

On the Order of Power Series and the Sum of Square Roots Problem

When any three solutions are independent

On Pairs of Linear Equations in Three Prime Variables