![Für diesen Artikel ist leider kein Bild verfügbar.](/img/platzhalter480px.png)
An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert's 17th Problem
Seiten
2020
American Mathematical Society (Verlag)
978-1-4704-4108-1 (ISBN)
American Mathematical Society (Verlag)
978-1-4704-4108-1 (ISBN)
The authors prove an elementary recursive bound on the degrees for Hilbert's 17th problem. More precisely they express a nonnegative polynomial as a sum of squares of rational functions and obtain as degree estimates for the numerators and denominators the following tower of five exponentials $ 2^{ 2^{ 2^{d^{4^{k}}} } } $.
The authors prove an elementary recursive bound on the degrees for Hilbert's 17th problem. More precisely they express a nonnegative polynomial as a sum of squares of rational functions and obtain as degree estimates for the numerators and denominators the following tower of five exponentials $ 2^{ 2^{ 2^{d^{4^{k}}} } } $ where $d$ is the number of variables of the input polynomial. The authors' method is based on the proof of an elementary recursive bound on the degrees for Stengle's Positivstellensatz. More precisely the authors give an algebraic certificate of the emptyness of the realization of a system of sign conditions and obtain as degree bounds for this certificate a tower of five exponentials, namely $ 2^{ 2^{/left(2^{/max/{2,d/}^{4^{k}}}+ s^{2^{k}}/max/{2, d/}^{16^{k}{/mathrm bit}(d)} /right)} } $ where $d$ is a bound on the degrees, $s$ is the number of polynomials and $k$ is the number of variables of the input polynomials.
The authors prove an elementary recursive bound on the degrees for Hilbert's 17th problem. More precisely they express a nonnegative polynomial as a sum of squares of rational functions and obtain as degree estimates for the numerators and denominators the following tower of five exponentials $ 2^{ 2^{ 2^{d^{4^{k}}} } } $ where $d$ is the number of variables of the input polynomial. The authors' method is based on the proof of an elementary recursive bound on the degrees for Stengle's Positivstellensatz. More precisely the authors give an algebraic certificate of the emptyness of the realization of a system of sign conditions and obtain as degree bounds for this certificate a tower of five exponentials, namely $ 2^{ 2^{/left(2^{/max/{2,d/}^{4^{k}}}+ s^{2^{k}}/max/{2, d/}^{16^{k}{/mathrm bit}(d)} /right)} } $ where $d$ is a bound on the degrees, $s$ is the number of polynomials and $k$ is the number of variables of the input polynomials.
Henri Lombardi, Universite de Franche-Comte, Besancon, France Daniel Perrucci, Universidad de Buenos Aires, Argentina Marie-Francoise Roy, Universite de Rennes, France
Introduction
Weak inference and weak existence
Intermediate value theorem
Fundamental theorem of algebra
Hermite's theory
Elimination of one variable
Proof of the main theorems
Bibliography/References.
Erscheinungsdatum | 03.03.2020 |
---|---|
Reihe/Serie | Memoirs of the American Mathematical Society |
Verlagsort | Providence |
Sprache | englisch |
Maße | 178 x 254 mm |
Gewicht | 252 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Algebra |
Mathematik / Informatik ► Mathematik ► Geometrie / Topologie | |
ISBN-10 | 1-4704-4108-X / 147044108X |
ISBN-13 | 978-1-4704-4108-1 / 9781470441081 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2015)
Springer Vieweg (Verlag)
37,99 €