Sign conditions for the existence of at least one positive solution of a sparse polynomial system (Q2213792)

Let \(\mathcal A=\{a_1,\ldots,a_n\}\subset \mathbb R^d\), \(C=(c_{i,j})\in \mathbb R^{d\times n}\) and \(x=(x_1,\ldots,x_d)\). \(\mathcal A\) and \(C\) define a sparse generalized multivariate polynomial system \[f_i(x)=\sum_jc_{i,j}x^{a_j} \text{ , } i=1,\ldots,d.\] Sign conditions on the support \(\mathcal A\) and the coefficients \(C\) of the system \(f_1,\ldots,f_d\) are given that guarantee the existence of at least one positive real root, based on degree theory and Gale duality. In case of integer exponents algebraic conditions are given.