Alperen A. Ergür,Máté L. Telek,Josué Tonelli-Cueto
Abstract:Consider a random system $\mathfrak{f}_1(x)=0,\ldots,\mathfrak{f}_n(x)=0$ of $n$ random real polynomials in $n$ variables, where each $\mathfrak{f}_k$ has a prescribed set of exponent vectors in a set $A_k\subseteq \mathbb{Z}^n$ of size $t_k$. Assuming that the coefficients of the $\mathfrak{f}_k$ are independent Gaussian of any variance, we prove that the expected number of zeros of the random system in the positive orthant is bounded from above by $4^{-n} \prod_{k=1}^n t_k(t_k-1)$. This result is a probabilisitc version of Kushnirenko's conjecture; it provides a bound that only depends on the number of terms and is independent of their degree.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the estimation of the number of real zeros of random sparse polynomial systems in the positive quadrant. Specifically, the goal of the paper is to prove that the expected value of the number of real zeros of a random sparse polynomial system can be bounded by an upper bound that only depends on the number of polynomial terms, rather than on the degrees of these polynomials. This result is a proof of a probabilistic version of the Kushnirenko conjecture.
### Background and Motivation
The problem of solving polynomial systems has wide applications in many fields, such as mechanics, dynamical systems, chemical reaction network modeling, computer vision, and computer - aided geometric design. In these applications, the structure of polynomial systems is usually regular, and the most interesting solutions are often real solutions. Therefore, a fundamental question is: how many real zeros does a polynomial system have?
When considering zeros in the complex field, we have powerful tools in intersection theory. In particular, for sparse polynomial systems, the number of complex solutions is given by the well - known BKK bound. However, for real zeros, the situation becomes more complex and interesting. Khovanskiĭ pointed out in his classic work "Fewnomials" that the maximum number of real zeros of a polynomial system can be estimated based on the description complexity of the system. He proved that, regardless of the degree of the polynomial, the number of real zeros of a polynomial system with real coefficients (i.e., the "fewnomial" system) is always finite.
### Main Contributions
The main contribution of this paper is to provide an upper bound for the expected value of the number of real zeros of a random sparse polynomial system in the positive quadrant. Specifically, the paper proves that:
\[ E_f \# Z(f, \mathbb{R}_+^n) \leq \frac{1}{4^n} \prod_{k = 1}^n t_k(t_k - 1) \]
where:
- \( f \) is a system consisting of \( n \) random sparse polynomials.
- \( t_k \) is the number of terms in the \( k \)-th polynomial.
- \( Z(f, \mathbb{R}_+^n) \) represents the zero - set of \( f \) in the positive quadrant.
- \( E_f \) represents the expected value of \( f \).
The significance of this result is that it provides an upper bound that only depends on the number of polynomial terms, rather than on the degree of the polynomial. This is very useful in practical applications because polynomial systems in many practical problems are often sparse and may have a high degree.
### Technical Details
To prove the above result, the paper uses the integral - probability formula (Rice formula) and the Cauchy - Binet formula. The specific steps are as follows:
1. **Integral - Probability Formula**: Through the integral - probability formula, the expected value of the number of real zeros of the random polynomial system is transformed into a complex integral expression.
2. **Cauchy - Binet Formula**: Using the Cauchy - Binet formula, the complex determinant expression is decomposed into the sum of several smaller determinants.
3. **Polyhedron Subdivision**: By subdividing the polyhedron, the problem in the general random case is simplified to the case of a deterministic binomial system.
4. **Upper Bound of Expected Value**: By estimating the upper bound of the expected value of the number of real zeros in each sub - region, the upper bound of the expected value of the number of real zeros of the entire system is finally obtained.
### Applications and Significance
This result is not only of great significance in the field of real algebraic geometry in theory, but also has broad application prospects in practical applications. For example, in the study of chemical reaction networks, the steady state of the system corresponds to the positive real zeros of a parameterized polynomial system. Therefore, the estimation of the number of these zeros is crucial for understanding the dynamic behavior of the system.
In conclusion, this paper provides a new perspective for solving the Kushnirenko conjecture by providing an upper bound of the expected value of the number of real zeros of a random sparse polynomial system, and has important value in practical applications.