Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
OK
Please make all selections above before adding to cart
OK
Share this page via the icons above, or by copying the link below:
Copy To Clipboard
Successfully Copied!
An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th Problem
 
Henri Lombardi Université de Franche-Comté, Besançon, France
Daniel Perrucci Universidad de Buenos Aires, Buenos Aires, Argentina
Marie-Françoise Roy Université de Rennes, Rennes, France
An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert's 17th Problem
Softcover ISBN:  978-1-4704-4108-1
Product Code:  MEMO/263/1277
List Price: $85.00
MAA Member Price: $76.50
AMS Member Price: $51.00
eBook ISBN:  978-1-4704-5662-7
Product Code:  MEMO/263/1277.E
List Price: $85.00
MAA Member Price: $76.50
AMS Member Price: $51.00
Softcover ISBN:  978-1-4704-4108-1
eBook: ISBN:  978-1-4704-5662-7
Product Code:  MEMO/263/1277.B
List Price: $170.00 $127.50
MAA Member Price: $153.00 $114.75
AMS Member Price: $102.00 $76.50
An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert's 17th Problem
Click above image for expanded view
An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th Problem
Henri Lombardi Université de Franche-Comté, Besançon, France
Daniel Perrucci Universidad de Buenos Aires, Buenos Aires, Argentina
Marie-Françoise Roy Université de Rennes, Rennes, France
Softcover ISBN:  978-1-4704-4108-1
Product Code:  MEMO/263/1277
List Price: $85.00
MAA Member Price: $76.50
AMS Member Price: $51.00
eBook ISBN:  978-1-4704-5662-7
Product Code:  MEMO/263/1277.E
List Price: $85.00
MAA Member Price: $76.50
AMS Member Price: $51.00
Softcover ISBN:  978-1-4704-4108-1
eBook ISBN:  978-1-4704-5662-7
Product Code:  MEMO/263/1277.B
List Price: $170.00 $127.50
MAA Member Price: $153.00 $114.75
AMS Member Price: $102.00 $76.50
  • Book Details
     
     
    Memoirs of the American Mathematical Society
    Volume: 2632020; 125 pp
    MSC: Primary 12; 14; 13

    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.

  • Table of Contents
     
     
    • Chapters
    • 1. Introduction
    • 2. Weak inference and weak existence
    • 3. Intermediate value theorem
    • 4. Fundamental theorem of algebra
    • 5. Hermite’s Theory
    • 6. Elimination of one variable
    • 7. Proof of the main theorems
    • 8. Annex
  • Additional Material
     
     
  • Requests
     
     
    Review Copy – for publishers of book reviews
    Permission – for use of book, eBook, or Journal content
    Accessibility – to request an alternate format of an AMS title
Volume: 2632020; 125 pp
MSC: Primary 12; 14; 13

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.

  • Chapters
  • 1. Introduction
  • 2. Weak inference and weak existence
  • 3. Intermediate value theorem
  • 4. Fundamental theorem of algebra
  • 5. Hermite’s Theory
  • 6. Elimination of one variable
  • 7. Proof of the main theorems
  • 8. Annex
Review Copy – for publishers of book reviews
Permission – for use of book, eBook, or Journal content
Accessibility – to request an alternate format of an AMS title
Please select which format for which you are requesting permissions.