The expansion of real forms on the simplex and applications

Yong Yao,Jie Xu,Jingzhong Zhang

DOI: https://doi.org/10.48550/arxiv.1209.3080

2012-01-01

Abstract:If n points B1,...,Bn in the standard simplexn are affinely independent, then they can span an (n − 1)−simplex denoted by � = Con(B1,...,Bn). Herecorresponds to an n×n matrix (�) whose columns are B1,...,Bn. In this paper, we firstly proved that ifof diameter sufficiently small contains a point P, and f(P) > 0 (< 0) for a form f ∈ R(X), then the coefficients of f((�)X) are all positive (negative). Next, as an application of this result, a necessary and sufficient condition for determining the real zerosonn of a system of homogeneous algebraic equations with integral coefficients is established.