Andrew Murdza,Khai T. Nguyen,Etienne Phillips
Abstract:The paper provides an elementary proof establishing a sharp universal bound on the $(d-1)$-Hausdorff measure of the zeros of any nontrivial multivariable polynomial $p:\mathbb{R}^d\to\mathbb{R}$ within a $d$-dimensional cube of size $r$. This bound depends solely on the parameter $r$, the dimension $d$, and the degrees of $p$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: to provide results similar to the fundamental theorem of algebra for the zero - sets of multivariate polynomials.
Specifically, the fundamental theorem of algebra states that the number of roots (including multiple roots) of a non - constant univariate polynomial is equal to its degree. However, for a multivariate polynomial \(p: \mathbb{R}^d\rightarrow\mathbb{R}\), the properties of the zero - set \(Z_p = \{x=(x_1,\dots,x_d)\in\mathbb{R}^d:p(x) = 0\}\) are more complex. Although it is known that the Hausdorff dimension of \(Z_p\) does not exceed \(d - 1\), the specific upper bound of the \((d-1)\)-Hausdorff measure of \(Z_p\) in a \(d\)-dimensional cube has not been made clear yet.
Therefore, the main goal of this paper is to establish an accurate and generally applicable upper bound, that is, the upper bound of the \((d - 1)\)-Hausdorff measure of the zero - set of any non - trivial multivariate polynomial in a \(d\)-dimensional cube. This upper bound only depends on the size \(r\) of the cube, the dimension \(d\) and the degrees of each variable of the polynomial.
The core results of the paper are as follows:
\[
H^{d-1}(Z_p\cap[a,b]^d)\leq\left(\sum_{k = 1}^d\deg_{x_k}p\right)\cdot(b - a)^{d-1},\quad a < b
\]
where \(\deg_{x_k}p\) represents the degree of the polynomial \(p\) in the variable \(x_k\).
Through this result, the author provides a clear and strict measure estimate for the zero - sets of multivariate polynomials, filling the gap of the fundamental theorem of algebra in the multivariate case.