Abstract:In this paper, we try to clarify some of the questions related to a key concept in multivariate polynomial solving algorithm over a finite field: the degree of regularity. By the degree of regularity, here we refer to a concept first presented by Dubois and Gama, namely the lowest degree at which certain nontrivial degree drop of a polynomial systemoccurs. Currently, it is somehow commonly accepted that we can use this degree to estimate the complexity of solving a polynomial system, even though we do not have systematic empirical data or a theory to support such a claim. In this paper, we would like to clarify the situation with the help of experiments. We first define a concept of solving degree for a polynomial system. The key question we then need to clarify is the connection of solving degree and the degree of regularity with focus on quadratic systems. To exclude the cases that do not represent the general situation, we need to define when a system is degenerate and when it is irreducible. With extensive computer experiments, we show that the two concepts, the degree of regularity and the solving degree, are related for irreducible systems in the sense that the difference between the two degrees is indeed small, less than 3. But due to the limitation of our experiments, we speculate that this may not be the case for high degree cases. © Springer-Verlag Berlin Heidelberg 2013.

Rational Solutions of First Order Algebraic Ordinary Differential Equations

Above-room-temperature ferromagnetism in half-metallic Heusler compounds NiCrP, NiCrSe, NiCrTe and NiVAs: A first-principles study

Rational Solutions of Parametric First-Order Algebraic Differential Equations

On the Diophantine Equation F (X) F (Y) = F (Z(2))

Regularity, synthesis, rigidity and analytic classification for linear ordinary differential equations of second order

ON SOLUTIONS TO NONHOMOGENEOUS ALGEBRAIC DIFFERENTIAL EQUATIONS AND THEIR APPLICATION

Solutions of algebraic linear ordinary differential equations

On the Infinite -Order Solutions of Second Order Linear Differential Equations

Numerical Solution of Higher-Order Linear and Nonlinear Ordinary Differential Equations with Orthogonal Rational Legendre Functions

Solutions to the First Order Difference Equations in the Multivariate Difference Field

Existence of meromorphic solutions of first order difference equations

On Factorization of the Solutions of Second Order Linear Differential Equations

Polynomial Solutions to the First Order Difference Equations in the Bivariate Difference Field

Solving first order differential equations presenting elementary functions

Explicit degree bounds for right factors of linear differential operators

Rational Solutions to the First Order Difference Equations in the Bivariate Difference Field

Solving Degree and Degree of Regularity for Polynomial Systems over a Finite Fields.

Brück's Conjecture for Solutions of Second-Order Complex ODE

On the Growth of Meromorphic and Entire Solutions of Second-Order Algebraic Differential Equations

Rational methods for abstract linear, non-homogeneous problems without order reduction

Completely regular growth solutions to linear differential equations with exponential polynomials coefficients