When does a polynomial ideal contain a positive polynomial?

DOI10.1016/S0022-4049(00)00148-1MaRDI QIDQ5951561zbMATH OpenFDO

Authors Manfred Einsiedler, Selim Tuncel

Publication date 2 December 2002

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0022-4049(00)00148-1

zbMATH Keywords

positive polynomialuniversal Gröbner bases

Mathematics Subject Classification ID

Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10) Real algebra (13J30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Review text

Let \(\mathbb{R}\) be the field of real numbers. The authors show that an ideal \(I\) of \(\mathbb{R}[x_1, \dots, x_k]\) contains a polynomial with positive coefficients if and only if no initial ideal \(\text{in}_v(I)\), \(v\in \mathbb{R}^k\), has a zero with positive components. The proof is based on a result of \textit{D. Handelman} [``Positive polynomials and product type actions of compact groups, Mem. Am. Math. Soc. 320 (1985; Zbl 0571.46045)] dealing with the case of a principal ideal and on the existence of universal Gröbner bases established by \textit{V. Weispfenning} [in: Applied algebra, algebraic algorithms and error-correcting codes, Proc. 5th Int. Conf., AAECC 5, Menorca 1987, Lect. Notes Comput. Sci. 356, 408-417 (1987; Zbl 0695.13002)].

Recommendations

• When is C(X) polynomially ideal?
• Publication:3491705
• When is a polynomial ideal binomial after an ambient automorphism?
• Do most polynomials generate a prime ideal?
• scientific article; zbMATH DE number 2196568
• Polynomials Contained in a Finite Number of Maximal Ideals
• Conditions for an ideal in a polynomial ring to be principal
• scientific article; zbMATH DE number 3957265
• A negative answer to a question about leading terms ideals of polynomial ideals
• On a property of the ideals of the polynomial ring $R[x]$

Cites work

• scientific article; zbMATH DE number 1714669 (Why is no real title available?)
• scientific article; zbMATH DE number 4137919 (Why is no real title available?)
• scientific article; zbMATH DE number 638938 (Why is no real title available?)
• scientific article; zbMATH DE number 835749 (Why is no real title available?)
• Positive polynomials and product type actions of compact groups

Cited in

(8)

• When does a submodule of \((\mathbb{R}[x_1,\dots,x_k])^n\) contain a positive element?
• General non-realizability certificates for spheres with linear programming
• The tropical totally positive Grassmannians
• On real tropical bases and real tropical discriminants
• Real radical initial ideals
• scientific article; zbMATH DE number 221433 (Why is no real title available?)
• Adjacency for scattering amplitudes from the Gröbner fan
• Computing positive tropical varieties and lower bounds on the number of positive roots

This page was built for publication: When does a polynomial ideal contain a positive polynomial?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5951561)