# Products of positive definite quadratic forms

`2023-08-10 10:30:00``2023-08-10 11:30:00``Products of positive definite quadratic forms``In 1927, E. Artin solved Hilbert’s 17th problem and showed that real positive definite forms are exactly the quotients of sums of squares of forms, but did not provide any bound on the number of squares appearing in such sums. In 1967, A. Pfister showed for every natural number n that all positive definite forms in R(X_1, …, X_n) are sums of 2^n squares. When restricting to quadratic forms, this bound is easily seen not to be optimal. In this talk, based on joint work with K. J. Becher, a sharper bound is presented for the products of positive definite real quadratic forms in n variables, for certain n. More precisely, we use methods from classical quadratic form theory to show, for any natural k, that the product of two positive definite quadratic forms in R[X_1, …, X_n], where n = 2^{k+1} + 1, is the sum of (3n-1)/2 squares of rational functions in R(X_1, …, X_n). ================================================ https://us02web.zoom.us/j/87856132062 Meeting ID: 878 5613 2062``Third floor seminar room and Zoom``אוניברסיטת בר-אילן - Department of Mathematics``mathoffice@math.biu.ac.il``Asia/Jerusalem``public`In 1927, E. Artin solved Hilbert’s 17th problem and showed that real positive definite forms are exactly the quotients of sums of squares of forms, but did not provide any bound on the number of squares appearing in such sums. In 1967, A. Pfister showed for every natural number n that all positive definite forms in R(X_1, …, X_n) are sums of 2^n squares. When restricting to quadratic forms, this bound is easily seen not to be optimal. In this talk, based on joint work with K. J. Becher, a sharper bound is presented for the products of positive definite real quadratic forms in n variables, for certain n.

More precisely, we use methods from classical quadratic form theory to show, for any natural k, that the product of two positive definite quadratic forms in R[X_1, …, X_n], where n = 2^{k+1} + 1, is the sum of (3n-1)/2 squares of rational functions in R(X_1, …, X_n).

================================================

https://us02web.zoom.us/j/87856132062

Meeting ID: 878 5613 2062

Last Updated Date : 01/08/2023