On multivariate Descartes' rule -- a counterexample
type: Item
instance of: scholarly article
title: On multivariate Descartes' rule -- a counterexample
zbMATH Open document ID: 0905.14033
published in: Beiträge zur Algebra und Geometrie
publication date: 1998-04-06T00:00:00Z
full work available at URL: https://eudml.org/doc/228888
full work available at URL: 1.html
review text: Let \(P_1, \dots, P_k\) be real polynomials in \(k\) variables, and \(A_1, \dots, A_k\) be the supports of these polynomials. Equip each \(A_i\) with a distribution \(\sigma_i\) of signs: A point gets the sign (``+'' or ``--'') of the coefficient of the corresponding monomial of \(P_i\). Suppose that the polynomials \(P_1, \dots, P_k\) have a finite number \(r\) of common zeros in \((\mathbb{R}^*)^k\). We can choose for each \(A_i\) a real-valued function \(\omega_i\) defined on \(A_i\), and compare \(r\) with the number of common zeroes in \((\mathbb{R}^*)^k\) of \(T\)-polynomials provided by the combinatorial patchworking [see \textit{I. Itenberg} and \textit{O. Viro}, Math. Intell. 18, No. 4, 19-28 (1996; Zbl 0876.14017) and \textit{B. Sturmfels}, Ann. Sc. Norm. Super. Pisa, Cl. Sci., IV. Ser. 21, No. 3, 377-386 (1994; Zbl 0826.14032)] with the initial data \((A_1, \sigma_1, \omega_1), \dots, (A_k, \sigma_k, \omega_k)\). The paper is devoted to a counterexample to the following conjecture: (1) There exist functions \(\omega_1, \dots, \omega_k\) such that the number of common zeros in \((\mathbb{R}^*)^k\) of \(T\)-polynomials obtained from the initial data \((A_1,\sigma_1,\omega_1), \dots, (A_k, \sigma_k, \omega_k)\) is at least \(r\). (2) Let \(m\) be an open orthant of \(\mathbb{R}^k\). Then, there exist functions \(\omega_1,\dots,\omega_k\) such that the number of common zeroes in \(m\) of \(T\)-polynomials obtained from the initial data \((A_1,\sigma_1,\omega_1),\dots,(A_k,\sigma_k,\omega_k)\) is greater or equal to the number of common zeros of \(P_1, \dots, P_k\) in \(m\). [In fact, in the paper, the conjecture is formulated in combinatorial terms; for details see \textit{I. Itenberg} and \textit{M.-F. Roy}, Beitr. Algebra Geom. 37, No. 2, 337-346 (1996; Zbl 0870.14038)]. This conjecture is an attempt to generalize Descartes' rule to the case of several variables. The constructed counterexample is a pair of polynomials \(P_1\) and \(P_2\) in two variables co…
Mathematics Subject Classification ID: 14P05
Mathematics Subject Classification ID: 12D10
Mathematics Subject Classification ID: 14M25
Mathematics Subject Classification ID: 65H10
zbMATH DE Number: 1127634
zbMATH Keywords: number of common zeroes of polynomials
author: Tien-Yien Li
author: Xiaoshen Wang
reviewed by: Ilia Itenberg
MaRDI profile type: Publication
Recommended article: Q5288187
Recommended article: Solving systems of algebraic equations
Recommended article: On zeros of bounded degree of systems of homogeneous polynomial equations
Recommended article: Q4649891
Recommended article: Degree 5 polynomials and Descartes' rule of signs
Recommended article: Constraints on the angular distribution of the zeros of a polynomial of low complexity
Recommended article: Descartes’ Rule of Signs for Polynomial Systems Supported on Circuits
Recommended article: Polynomials with high multiplicity at unity and Tarry's problem
Recommended article: The Gabrielov-Khovanskii problem for polynomials
description: scientific article; zbMATH DE number 1127634