Maximally positive polynomial systems supported on circuits. (May 2015)

• Record Type: Journal Article
• Authors: Bihan, Frédéric
• Is Part Of: Journal of symbolic computation. Volume 68:Part 2(2015)
• Page Start: 61
• Page End: 74
• Publication Date: 2015-05
• Subjects: 14T05; Polynomial systems -- Fewnomial -- Circuits; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2014.09.003
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: A real polynomial system with support W ⊂ Z n is called maximally positive if all its complex solutions are positive solutions. A support W having n + 2 elements is called a circuit. We previously showed that the number of non-degenerate positive solutions of a system supported on a circuit W ⊂ Z n is at most m ( W ) + 1, where m ( W ) ≤ n is the degeneracy index of W . We prove that if a circuit W ⊂ Z n supports a maximally positive system with the maximal number m ( W ) + 1 of non-degenerate positive solutions, then it is unique up to the obvious action of the group of invertible integer affine transformations of Z n . In the general case, we prove that any maximally positive system supported on a circuit can be obtained from another one having the maximal number of positive solutions by means of some elementary transformations. As a consequence, we get for each n and up to the above action a finite list of circuits W ⊂ Z n which can support maximally positive polynomial systems. We observe that the coefficients of the primitive affine relation of such circuit have absolute value 1 or 2 and make a conjecture in the general case for supports of maximally positive systems.